Merge remote-tracking branch 'refs/remotes/origin/main'
diff --git a/configure.py b/configure.py
index 28a784c..8a277ef 100755
--- a/configure.py
+++ b/configure.py
@@ -11,7 +11,7 @@
 import re
 import jinja2
 
-GPIO_VALID_RANGE = [8, 36]
+GPIO_VALID_RANGE = [8, 38]
 
 def load_yaml(yaml_file):
     with open(yaml_file, "r") as stream:
diff --git a/info.yaml b/info.yaml
index 814a7ca..26fe354 100644
--- a/info.yaml
+++ b/info.yaml
@@ -4,8 +4,7 @@
   wokwi_id: 0
   source_files:
     - verilog/rtl/user_module.v
-    - verilog/rtl/top.v
-  top_module:  "top"
+  top_module:  "user_module"
 
 # As everyone will have access to all designs, try to make it easy for someone new to your design to know what
 # it does and how to operate it.
@@ -34,6 +33,13 @@
     - bit5
     - bit6
     - bit7
+    - bit8
+    - bit9
+    - bit10
+    - bit11
+    - bit12
+    - bit13
+    - bit14
   outputs:
     - count0
     - count1
@@ -43,3 +49,10 @@
     - count5
     - count6
     - count7
+    - count8
+    - count9
+    - count10
+    - count11
+    - count12
+    - count13
+    - count14
diff --git a/openlane/tiny_user_project/config.json b/openlane/tiny_user_project/config.json
index 4ff98be..9accee3 100644
--- a/openlane/tiny_user_project/config.json
+++ b/openlane/tiny_user_project/config.json
@@ -3,7 +3,6 @@
     "DESIGN_IS_CORE": 0,
     "VERILOG_FILES": [
         "dir::../../verilog/rtl/user_module.v",
-        "dir::../../verilog/rtl/cells.v",
         "dir::../../verilog/rtl/defines.v",
         "dir::../../verilog/rtl/tiny_user_project.v"
     ],
@@ -13,7 +12,7 @@
     "FP_SIZING": "absolute",
     "DIE_AREA": "0 0 600 680",
     "PL_BASIC_PLACEMENT": 1,
-    "PL_TARGET_DENSITY": 0.70,
+    "PL_TARGET_DENSITY": 0.7,
     "SYNTH_USE_PG_PINS_DEFINES": "USE_POWER_PINS",
     "VDD_NETS": [
         "vdd"
@@ -40,4 +39,4 @@
         "RT_MAX_LAYER": "Metal4",
         "SYNTH_MAX_FANOUT": 4
     }
-}
+}
\ No newline at end of file
diff --git a/verilog/rtl/tiny_user_project.v b/verilog/rtl/tiny_user_project.v
index 38a50f3..27be91b 100644
--- a/verilog/rtl/tiny_user_project.v
+++ b/verilog/rtl/tiny_user_project.v
@@ -40,12 +40,12 @@
 );
 
 // pass input and output pins defined in user_defines.v
-top mod (
-    io_in[15:8],
-    io_out[23:16]
+user_module mod (
+    io_in[22:8],
+    io_out[37:23]
 );
 // all output enabled
-assign io_oeb[23:16] = 8'b0;
+assign io_oeb[37:23] = 8'b0;
 
 endmodule	// tiny_user_project
 
diff --git a/verilog/rtl/top.v b/verilog/rtl/top.v
deleted file mode 100644
index 4082415..0000000
--- a/verilog/rtl/top.v
+++ /dev/null
@@ -1,6 +0,0 @@
-module top(
-  input wire [7:0] io_in,
-  output wire [7:0] io_out
-);
-  user_module user_module0(io_in, io_out);
-endmodule
diff --git a/verilog/rtl/user_defines.v b/verilog/rtl/user_defines.v
index a5228a3..5903b82 100644
--- a/verilog/rtl/user_defines.v
+++ b/verilog/rtl/user_defines.v
@@ -64,27 +64,27 @@
 `define USER_CONFIG_GPIO_13_INIT `GPIO_MODE_USER_STD_INPUT_NOPULL
 `define USER_CONFIG_GPIO_14_INIT `GPIO_MODE_USER_STD_INPUT_NOPULL
 `define USER_CONFIG_GPIO_15_INIT `GPIO_MODE_USER_STD_INPUT_NOPULL
-`define USER_CONFIG_GPIO_16_INIT `GPIO_MODE_USER_STD_OUTPUT
-`define USER_CONFIG_GPIO_17_INIT `GPIO_MODE_USER_STD_OUTPUT
-`define USER_CONFIG_GPIO_18_INIT `GPIO_MODE_USER_STD_OUTPUT
-`define USER_CONFIG_GPIO_19_INIT `GPIO_MODE_USER_STD_OUTPUT
-`define USER_CONFIG_GPIO_20_INIT `GPIO_MODE_USER_STD_OUTPUT
-`define USER_CONFIG_GPIO_21_INIT `GPIO_MODE_USER_STD_OUTPUT
-`define USER_CONFIG_GPIO_22_INIT `GPIO_MODE_USER_STD_OUTPUT
+`define USER_CONFIG_GPIO_16_INIT `GPIO_MODE_USER_STD_INPUT_NOPULL
+`define USER_CONFIG_GPIO_17_INIT `GPIO_MODE_USER_STD_INPUT_NOPULL
+`define USER_CONFIG_GPIO_18_INIT `GPIO_MODE_USER_STD_INPUT_NOPULL
+`define USER_CONFIG_GPIO_19_INIT `GPIO_MODE_USER_STD_INPUT_NOPULL
+`define USER_CONFIG_GPIO_20_INIT `GPIO_MODE_USER_STD_INPUT_NOPULL
+`define USER_CONFIG_GPIO_21_INIT `GPIO_MODE_USER_STD_INPUT_NOPULL
+`define USER_CONFIG_GPIO_22_INIT `GPIO_MODE_USER_STD_INPUT_NOPULL
 `define USER_CONFIG_GPIO_23_INIT `GPIO_MODE_USER_STD_OUTPUT
-`define USER_CONFIG_GPIO_24_INIT `GPIO_MODE_USER_STD_INPUT_PULLDOWN
-`define USER_CONFIG_GPIO_25_INIT `GPIO_MODE_USER_STD_INPUT_PULLDOWN
-`define USER_CONFIG_GPIO_26_INIT `GPIO_MODE_USER_STD_INPUT_PULLDOWN
-`define USER_CONFIG_GPIO_27_INIT `GPIO_MODE_USER_STD_INPUT_PULLDOWN
-`define USER_CONFIG_GPIO_28_INIT `GPIO_MODE_USER_STD_INPUT_PULLDOWN
-`define USER_CONFIG_GPIO_29_INIT `GPIO_MODE_USER_STD_INPUT_PULLDOWN
-`define USER_CONFIG_GPIO_30_INIT `GPIO_MODE_USER_STD_INPUT_PULLDOWN
-`define USER_CONFIG_GPIO_31_INIT `GPIO_MODE_USER_STD_INPUT_PULLDOWN
-`define USER_CONFIG_GPIO_32_INIT `GPIO_MODE_USER_STD_INPUT_PULLDOWN
-`define USER_CONFIG_GPIO_33_INIT `GPIO_MODE_USER_STD_INPUT_PULLDOWN
-`define USER_CONFIG_GPIO_34_INIT `GPIO_MODE_USER_STD_INPUT_PULLDOWN
-`define USER_CONFIG_GPIO_35_INIT `GPIO_MODE_USER_STD_INPUT_PULLDOWN
-`define USER_CONFIG_GPIO_36_INIT `GPIO_MODE_USER_STD_INPUT_PULLDOWN
-`define USER_CONFIG_GPIO_37_INIT `GPIO_MODE_USER_STD_INPUT_PULLDOWN
+`define USER_CONFIG_GPIO_24_INIT `GPIO_MODE_USER_STD_OUTPUT
+`define USER_CONFIG_GPIO_25_INIT `GPIO_MODE_USER_STD_OUTPUT
+`define USER_CONFIG_GPIO_26_INIT `GPIO_MODE_USER_STD_OUTPUT
+`define USER_CONFIG_GPIO_27_INIT `GPIO_MODE_USER_STD_OUTPUT
+`define USER_CONFIG_GPIO_28_INIT `GPIO_MODE_USER_STD_OUTPUT
+`define USER_CONFIG_GPIO_29_INIT `GPIO_MODE_USER_STD_OUTPUT
+`define USER_CONFIG_GPIO_30_INIT `GPIO_MODE_USER_STD_OUTPUT
+`define USER_CONFIG_GPIO_31_INIT `GPIO_MODE_USER_STD_OUTPUT
+`define USER_CONFIG_GPIO_32_INIT `GPIO_MODE_USER_STD_OUTPUT
+`define USER_CONFIG_GPIO_33_INIT `GPIO_MODE_USER_STD_OUTPUT
+`define USER_CONFIG_GPIO_34_INIT `GPIO_MODE_USER_STD_OUTPUT
+`define USER_CONFIG_GPIO_35_INIT `GPIO_MODE_USER_STD_OUTPUT
+`define USER_CONFIG_GPIO_36_INIT `GPIO_MODE_USER_STD_OUTPUT
+`define USER_CONFIG_GPIO_37_INIT `GPIO_MODE_USER_STD_OUTPUT
 
 `endif // __USER_DEFINES_H
\ No newline at end of file
diff --git a/verilog/rtl/user_module.x b/verilog/rtl/user_module.x
index 6a51a01..bcb4435 100644
--- a/verilog/rtl/user_module.x
+++ b/verilog/rtl/user_module.x
@@ -2,8 +2,12 @@
     n[0+:u7] ++ (n[3+:u1] ^ n[4+:u1] ^ n[5+:u1] ^ n[7+:u1])
 }
 
-fn lfsr11(n : u11) -> u11 {
-    n[0+:u10] ++ (n[8+:u1] ^ n[10+:u1])
+fn lfsr7(n : u7) -> u7 {
+    n[0+:u6] ++ (n[5+:u1] ^ n[6+:u1])
+}
+
+pub fn user_module(io_in: u15) -> u15 {
+    lfsr8(io_in[0+:u8]) ++ lfsr7(io_in[8+:u7])
 }
 
 #[test]
@@ -267,2058 +271,134 @@
 }
 
 #[test]
-fn lfsr11_test() {
-    let _ = assert_eq(lfsr11(u11:0), u11:0);
-    let _ = assert_eq(lfsr11(u11:1), u11:2);
-    let _ = assert_eq(lfsr11(u11:2), u11:4);
-    let _ = assert_eq(lfsr11(u11:4), u11:8);
-    let _ = assert_eq(lfsr11(u11:8), u11:16);
-    let _ = assert_eq(lfsr11(u11:16), u11:32);
-    let _ = assert_eq(lfsr11(u11:32), u11:64);
-    let _ = assert_eq(lfsr11(u11:64), u11:128);
-    let _ = assert_eq(lfsr11(u11:128), u11:256);
-    let _ = assert_eq(lfsr11(u11:256), u11:513);
-    let _ = assert_eq(lfsr11(u11:513), u11:1026);
-    let _ = assert_eq(lfsr11(u11:1026), u11:5);
-    let _ = assert_eq(lfsr11(u11:5), u11:10);
-    let _ = assert_eq(lfsr11(u11:10), u11:20);
-    let _ = assert_eq(lfsr11(u11:20), u11:40);
-    let _ = assert_eq(lfsr11(u11:40), u11:80);
-    let _ = assert_eq(lfsr11(u11:80), u11:160);
-    let _ = assert_eq(lfsr11(u11:160), u11:320);
-    let _ = assert_eq(lfsr11(u11:320), u11:641);
-    let _ = assert_eq(lfsr11(u11:641), u11:1282);
-    let _ = assert_eq(lfsr11(u11:1282), u11:516);
-    let _ = assert_eq(lfsr11(u11:516), u11:1032);
-    let _ = assert_eq(lfsr11(u11:1032), u11:17);
-    let _ = assert_eq(lfsr11(u11:17), u11:34);
-    let _ = assert_eq(lfsr11(u11:34), u11:68);
-    let _ = assert_eq(lfsr11(u11:68), u11:136);
-    let _ = assert_eq(lfsr11(u11:136), u11:272);
-    let _ = assert_eq(lfsr11(u11:272), u11:545);
-    let _ = assert_eq(lfsr11(u11:545), u11:1090);
-    let _ = assert_eq(lfsr11(u11:1090), u11:133);
-    let _ = assert_eq(lfsr11(u11:133), u11:266);
-    let _ = assert_eq(lfsr11(u11:266), u11:533);
-    let _ = assert_eq(lfsr11(u11:533), u11:1066);
-    let _ = assert_eq(lfsr11(u11:1066), u11:85);
-    let _ = assert_eq(lfsr11(u11:85), u11:170);
-    let _ = assert_eq(lfsr11(u11:170), u11:340);
-    let _ = assert_eq(lfsr11(u11:340), u11:681);
-    let _ = assert_eq(lfsr11(u11:681), u11:1362);
-    let _ = assert_eq(lfsr11(u11:1362), u11:676);
-    let _ = assert_eq(lfsr11(u11:676), u11:1352);
-    let _ = assert_eq(lfsr11(u11:1352), u11:656);
-    let _ = assert_eq(lfsr11(u11:656), u11:1312);
-    let _ = assert_eq(lfsr11(u11:1312), u11:576);
-    let _ = assert_eq(lfsr11(u11:576), u11:1152);
-    let _ = assert_eq(lfsr11(u11:1152), u11:257);
-    let _ = assert_eq(lfsr11(u11:257), u11:515);
-    let _ = assert_eq(lfsr11(u11:515), u11:1030);
-    let _ = assert_eq(lfsr11(u11:1030), u11:13);
-    let _ = assert_eq(lfsr11(u11:13), u11:26);
-    let _ = assert_eq(lfsr11(u11:26), u11:52);
-    let _ = assert_eq(lfsr11(u11:52), u11:104);
-    let _ = assert_eq(lfsr11(u11:104), u11:208);
-    let _ = assert_eq(lfsr11(u11:208), u11:416);
-    let _ = assert_eq(lfsr11(u11:416), u11:833);
-    let _ = assert_eq(lfsr11(u11:833), u11:1667);
-    let _ = assert_eq(lfsr11(u11:1667), u11:1287);
-    let _ = assert_eq(lfsr11(u11:1287), u11:526);
-    let _ = assert_eq(lfsr11(u11:526), u11:1052);
-    let _ = assert_eq(lfsr11(u11:1052), u11:57);
-    let _ = assert_eq(lfsr11(u11:57), u11:114);
-    let _ = assert_eq(lfsr11(u11:114), u11:228);
-    let _ = assert_eq(lfsr11(u11:228), u11:456);
-    let _ = assert_eq(lfsr11(u11:456), u11:913);
-    let _ = assert_eq(lfsr11(u11:913), u11:1827);
-    let _ = assert_eq(lfsr11(u11:1827), u11:1606);
-    let _ = assert_eq(lfsr11(u11:1606), u11:1165);
-    let _ = assert_eq(lfsr11(u11:1165), u11:283);
-    let _ = assert_eq(lfsr11(u11:283), u11:567);
-    let _ = assert_eq(lfsr11(u11:567), u11:1134);
-    let _ = assert_eq(lfsr11(u11:1134), u11:221);
-    let _ = assert_eq(lfsr11(u11:221), u11:442);
-    let _ = assert_eq(lfsr11(u11:442), u11:885);
-    let _ = assert_eq(lfsr11(u11:885), u11:1771);
-    let _ = assert_eq(lfsr11(u11:1771), u11:1495);
-    let _ = assert_eq(lfsr11(u11:1495), u11:942);
-    let _ = assert_eq(lfsr11(u11:942), u11:1885);
-    let _ = assert_eq(lfsr11(u11:1885), u11:1722);
-    let _ = assert_eq(lfsr11(u11:1722), u11:1397);
-    let _ = assert_eq(lfsr11(u11:1397), u11:746);
-    let _ = assert_eq(lfsr11(u11:746), u11:1492);
-    let _ = assert_eq(lfsr11(u11:1492), u11:936);
-    let _ = assert_eq(lfsr11(u11:936), u11:1873);
-    let _ = assert_eq(lfsr11(u11:1873), u11:1698);
-    let _ = assert_eq(lfsr11(u11:1698), u11:1349);
-    let _ = assert_eq(lfsr11(u11:1349), u11:650);
-    let _ = assert_eq(lfsr11(u11:650), u11:1300);
-    let _ = assert_eq(lfsr11(u11:1300), u11:552);
-    let _ = assert_eq(lfsr11(u11:552), u11:1104);
-    let _ = assert_eq(lfsr11(u11:1104), u11:161);
-    let _ = assert_eq(lfsr11(u11:161), u11:322);
-    let _ = assert_eq(lfsr11(u11:322), u11:645);
-    let _ = assert_eq(lfsr11(u11:645), u11:1290);
-    let _ = assert_eq(lfsr11(u11:1290), u11:532);
-    let _ = assert_eq(lfsr11(u11:532), u11:1064);
-    let _ = assert_eq(lfsr11(u11:1064), u11:81);
-    let _ = assert_eq(lfsr11(u11:81), u11:162);
-    let _ = assert_eq(lfsr11(u11:162), u11:324);
-    let _ = assert_eq(lfsr11(u11:324), u11:649);
-    let _ = assert_eq(lfsr11(u11:649), u11:1298);
-    let _ = assert_eq(lfsr11(u11:1298), u11:548);
-    let _ = assert_eq(lfsr11(u11:548), u11:1096);
-    let _ = assert_eq(lfsr11(u11:1096), u11:145);
-    let _ = assert_eq(lfsr11(u11:145), u11:290);
-    let _ = assert_eq(lfsr11(u11:290), u11:581);
-    let _ = assert_eq(lfsr11(u11:581), u11:1162);
-    let _ = assert_eq(lfsr11(u11:1162), u11:277);
-    let _ = assert_eq(lfsr11(u11:277), u11:555);
-    let _ = assert_eq(lfsr11(u11:555), u11:1110);
-    let _ = assert_eq(lfsr11(u11:1110), u11:173);
-    let _ = assert_eq(lfsr11(u11:173), u11:346);
-    let _ = assert_eq(lfsr11(u11:346), u11:693);
-    let _ = assert_eq(lfsr11(u11:693), u11:1386);
-    let _ = assert_eq(lfsr11(u11:1386), u11:724);
-    let _ = assert_eq(lfsr11(u11:724), u11:1448);
-    let _ = assert_eq(lfsr11(u11:1448), u11:848);
-    let _ = assert_eq(lfsr11(u11:848), u11:1697);
-    let _ = assert_eq(lfsr11(u11:1697), u11:1347);
-    let _ = assert_eq(lfsr11(u11:1347), u11:646);
-    let _ = assert_eq(lfsr11(u11:646), u11:1292);
-    let _ = assert_eq(lfsr11(u11:1292), u11:536);
-    let _ = assert_eq(lfsr11(u11:536), u11:1072);
-    let _ = assert_eq(lfsr11(u11:1072), u11:97);
-    let _ = assert_eq(lfsr11(u11:97), u11:194);
-    let _ = assert_eq(lfsr11(u11:194), u11:388);
-    let _ = assert_eq(lfsr11(u11:388), u11:777);
-    let _ = assert_eq(lfsr11(u11:777), u11:1555);
-    let _ = assert_eq(lfsr11(u11:1555), u11:1063);
-    let _ = assert_eq(lfsr11(u11:1063), u11:79);
-    let _ = assert_eq(lfsr11(u11:79), u11:158);
-    let _ = assert_eq(lfsr11(u11:158), u11:316);
-    let _ = assert_eq(lfsr11(u11:316), u11:633);
-    let _ = assert_eq(lfsr11(u11:633), u11:1266);
-    let _ = assert_eq(lfsr11(u11:1266), u11:485);
-    let _ = assert_eq(lfsr11(u11:485), u11:971);
-    let _ = assert_eq(lfsr11(u11:971), u11:1943);
-    let _ = assert_eq(lfsr11(u11:1943), u11:1838);
-    let _ = assert_eq(lfsr11(u11:1838), u11:1628);
-    let _ = assert_eq(lfsr11(u11:1628), u11:1209);
-    let _ = assert_eq(lfsr11(u11:1209), u11:371);
-    let _ = assert_eq(lfsr11(u11:371), u11:743);
-    let _ = assert_eq(lfsr11(u11:743), u11:1486);
-    let _ = assert_eq(lfsr11(u11:1486), u11:924);
-    let _ = assert_eq(lfsr11(u11:924), u11:1849);
-    let _ = assert_eq(lfsr11(u11:1849), u11:1650);
-    let _ = assert_eq(lfsr11(u11:1650), u11:1253);
-    let _ = assert_eq(lfsr11(u11:1253), u11:459);
-    let _ = assert_eq(lfsr11(u11:459), u11:919);
-    let _ = assert_eq(lfsr11(u11:919), u11:1839);
-    let _ = assert_eq(lfsr11(u11:1839), u11:1630);
-    let _ = assert_eq(lfsr11(u11:1630), u11:1213);
-    let _ = assert_eq(lfsr11(u11:1213), u11:379);
-    let _ = assert_eq(lfsr11(u11:379), u11:759);
-    let _ = assert_eq(lfsr11(u11:759), u11:1518);
-    let _ = assert_eq(lfsr11(u11:1518), u11:988);
-    let _ = assert_eq(lfsr11(u11:988), u11:1977);
-    let _ = assert_eq(lfsr11(u11:1977), u11:1906);
-    let _ = assert_eq(lfsr11(u11:1906), u11:1764);
-    let _ = assert_eq(lfsr11(u11:1764), u11:1481);
-    let _ = assert_eq(lfsr11(u11:1481), u11:914);
-    let _ = assert_eq(lfsr11(u11:914), u11:1829);
-    let _ = assert_eq(lfsr11(u11:1829), u11:1610);
-    let _ = assert_eq(lfsr11(u11:1610), u11:1173);
-    let _ = assert_eq(lfsr11(u11:1173), u11:299);
-    let _ = assert_eq(lfsr11(u11:299), u11:599);
-    let _ = assert_eq(lfsr11(u11:599), u11:1198);
-    let _ = assert_eq(lfsr11(u11:1198), u11:349);
-    let _ = assert_eq(lfsr11(u11:349), u11:699);
-    let _ = assert_eq(lfsr11(u11:699), u11:1398);
-    let _ = assert_eq(lfsr11(u11:1398), u11:748);
-    let _ = assert_eq(lfsr11(u11:748), u11:1496);
-    let _ = assert_eq(lfsr11(u11:1496), u11:944);
-    let _ = assert_eq(lfsr11(u11:944), u11:1889);
-    let _ = assert_eq(lfsr11(u11:1889), u11:1730);
-    let _ = assert_eq(lfsr11(u11:1730), u11:1413);
-    let _ = assert_eq(lfsr11(u11:1413), u11:778);
-    let _ = assert_eq(lfsr11(u11:778), u11:1557);
-    let _ = assert_eq(lfsr11(u11:1557), u11:1067);
-    let _ = assert_eq(lfsr11(u11:1067), u11:87);
-    let _ = assert_eq(lfsr11(u11:87), u11:174);
-    let _ = assert_eq(lfsr11(u11:174), u11:348);
-    let _ = assert_eq(lfsr11(u11:348), u11:697);
-    let _ = assert_eq(lfsr11(u11:697), u11:1394);
-    let _ = assert_eq(lfsr11(u11:1394), u11:740);
-    let _ = assert_eq(lfsr11(u11:740), u11:1480);
-    let _ = assert_eq(lfsr11(u11:1480), u11:912);
-    let _ = assert_eq(lfsr11(u11:912), u11:1825);
-    let _ = assert_eq(lfsr11(u11:1825), u11:1602);
-    let _ = assert_eq(lfsr11(u11:1602), u11:1157);
-    let _ = assert_eq(lfsr11(u11:1157), u11:267);
-    let _ = assert_eq(lfsr11(u11:267), u11:535);
-    let _ = assert_eq(lfsr11(u11:535), u11:1070);
-    let _ = assert_eq(lfsr11(u11:1070), u11:93);
-    let _ = assert_eq(lfsr11(u11:93), u11:186);
-    let _ = assert_eq(lfsr11(u11:186), u11:372);
-    let _ = assert_eq(lfsr11(u11:372), u11:745);
-    let _ = assert_eq(lfsr11(u11:745), u11:1490);
-    let _ = assert_eq(lfsr11(u11:1490), u11:932);
-    let _ = assert_eq(lfsr11(u11:932), u11:1865);
-    let _ = assert_eq(lfsr11(u11:1865), u11:1682);
-    let _ = assert_eq(lfsr11(u11:1682), u11:1317);
-    let _ = assert_eq(lfsr11(u11:1317), u11:586);
-    let _ = assert_eq(lfsr11(u11:586), u11:1172);
-    let _ = assert_eq(lfsr11(u11:1172), u11:297);
-    let _ = assert_eq(lfsr11(u11:297), u11:595);
-    let _ = assert_eq(lfsr11(u11:595), u11:1190);
-    let _ = assert_eq(lfsr11(u11:1190), u11:333);
-    let _ = assert_eq(lfsr11(u11:333), u11:667);
-    let _ = assert_eq(lfsr11(u11:667), u11:1334);
-    let _ = assert_eq(lfsr11(u11:1334), u11:620);
-    let _ = assert_eq(lfsr11(u11:620), u11:1240);
-    let _ = assert_eq(lfsr11(u11:1240), u11:433);
-    let _ = assert_eq(lfsr11(u11:433), u11:867);
-    let _ = assert_eq(lfsr11(u11:867), u11:1735);
-    let _ = assert_eq(lfsr11(u11:1735), u11:1423);
-    let _ = assert_eq(lfsr11(u11:1423), u11:798);
-    let _ = assert_eq(lfsr11(u11:798), u11:1597);
-    let _ = assert_eq(lfsr11(u11:1597), u11:1147);
-    let _ = assert_eq(lfsr11(u11:1147), u11:247);
-    let _ = assert_eq(lfsr11(u11:247), u11:494);
-    let _ = assert_eq(lfsr11(u11:494), u11:989);
-    let _ = assert_eq(lfsr11(u11:989), u11:1979);
-    let _ = assert_eq(lfsr11(u11:1979), u11:1910);
-    let _ = assert_eq(lfsr11(u11:1910), u11:1772);
-    let _ = assert_eq(lfsr11(u11:1772), u11:1497);
-    let _ = assert_eq(lfsr11(u11:1497), u11:946);
-    let _ = assert_eq(lfsr11(u11:946), u11:1893);
-    let _ = assert_eq(lfsr11(u11:1893), u11:1738);
-    let _ = assert_eq(lfsr11(u11:1738), u11:1429);
-    let _ = assert_eq(lfsr11(u11:1429), u11:810);
-    let _ = assert_eq(lfsr11(u11:810), u11:1621);
-    let _ = assert_eq(lfsr11(u11:1621), u11:1195);
-    let _ = assert_eq(lfsr11(u11:1195), u11:343);
-    let _ = assert_eq(lfsr11(u11:343), u11:687);
-    let _ = assert_eq(lfsr11(u11:687), u11:1374);
-    let _ = assert_eq(lfsr11(u11:1374), u11:700);
-    let _ = assert_eq(lfsr11(u11:700), u11:1400);
-    let _ = assert_eq(lfsr11(u11:1400), u11:752);
-    let _ = assert_eq(lfsr11(u11:752), u11:1504);
-    let _ = assert_eq(lfsr11(u11:1504), u11:960);
-    let _ = assert_eq(lfsr11(u11:960), u11:1921);
-    let _ = assert_eq(lfsr11(u11:1921), u11:1794);
-    let _ = assert_eq(lfsr11(u11:1794), u11:1540);
-    let _ = assert_eq(lfsr11(u11:1540), u11:1033);
-    let _ = assert_eq(lfsr11(u11:1033), u11:19);
-    let _ = assert_eq(lfsr11(u11:19), u11:38);
-    let _ = assert_eq(lfsr11(u11:38), u11:76);
-    let _ = assert_eq(lfsr11(u11:76), u11:152);
-    let _ = assert_eq(lfsr11(u11:152), u11:304);
-    let _ = assert_eq(lfsr11(u11:304), u11:609);
-    let _ = assert_eq(lfsr11(u11:609), u11:1218);
-    let _ = assert_eq(lfsr11(u11:1218), u11:389);
-    let _ = assert_eq(lfsr11(u11:389), u11:779);
-    let _ = assert_eq(lfsr11(u11:779), u11:1559);
-    let _ = assert_eq(lfsr11(u11:1559), u11:1071);
-    let _ = assert_eq(lfsr11(u11:1071), u11:95);
-    let _ = assert_eq(lfsr11(u11:95), u11:190);
-    let _ = assert_eq(lfsr11(u11:190), u11:380);
-    let _ = assert_eq(lfsr11(u11:380), u11:761);
-    let _ = assert_eq(lfsr11(u11:761), u11:1522);
-    let _ = assert_eq(lfsr11(u11:1522), u11:996);
-    let _ = assert_eq(lfsr11(u11:996), u11:1993);
-    let _ = assert_eq(lfsr11(u11:1993), u11:1938);
-    let _ = assert_eq(lfsr11(u11:1938), u11:1828);
-    let _ = assert_eq(lfsr11(u11:1828), u11:1608);
-    let _ = assert_eq(lfsr11(u11:1608), u11:1169);
-    let _ = assert_eq(lfsr11(u11:1169), u11:291);
-    let _ = assert_eq(lfsr11(u11:291), u11:583);
-    let _ = assert_eq(lfsr11(u11:583), u11:1166);
-    let _ = assert_eq(lfsr11(u11:1166), u11:285);
-    let _ = assert_eq(lfsr11(u11:285), u11:571);
-    let _ = assert_eq(lfsr11(u11:571), u11:1142);
-    let _ = assert_eq(lfsr11(u11:1142), u11:237);
-    let _ = assert_eq(lfsr11(u11:237), u11:474);
-    let _ = assert_eq(lfsr11(u11:474), u11:949);
-    let _ = assert_eq(lfsr11(u11:949), u11:1899);
-    let _ = assert_eq(lfsr11(u11:1899), u11:1750);
-    let _ = assert_eq(lfsr11(u11:1750), u11:1453);
-    let _ = assert_eq(lfsr11(u11:1453), u11:858);
-    let _ = assert_eq(lfsr11(u11:858), u11:1717);
-    let _ = assert_eq(lfsr11(u11:1717), u11:1387);
-    let _ = assert_eq(lfsr11(u11:1387), u11:726);
-    let _ = assert_eq(lfsr11(u11:726), u11:1452);
-    let _ = assert_eq(lfsr11(u11:1452), u11:856);
-    let _ = assert_eq(lfsr11(u11:856), u11:1713);
-    let _ = assert_eq(lfsr11(u11:1713), u11:1379);
-    let _ = assert_eq(lfsr11(u11:1379), u11:710);
-    let _ = assert_eq(lfsr11(u11:710), u11:1420);
-    let _ = assert_eq(lfsr11(u11:1420), u11:792);
-    let _ = assert_eq(lfsr11(u11:792), u11:1585);
-    let _ = assert_eq(lfsr11(u11:1585), u11:1123);
-    let _ = assert_eq(lfsr11(u11:1123), u11:199);
-    let _ = assert_eq(lfsr11(u11:199), u11:398);
-    let _ = assert_eq(lfsr11(u11:398), u11:797);
-    let _ = assert_eq(lfsr11(u11:797), u11:1595);
-    let _ = assert_eq(lfsr11(u11:1595), u11:1143);
-    let _ = assert_eq(lfsr11(u11:1143), u11:239);
-    let _ = assert_eq(lfsr11(u11:239), u11:478);
-    let _ = assert_eq(lfsr11(u11:478), u11:957);
-    let _ = assert_eq(lfsr11(u11:957), u11:1915);
-    let _ = assert_eq(lfsr11(u11:1915), u11:1782);
-    let _ = assert_eq(lfsr11(u11:1782), u11:1517);
-    let _ = assert_eq(lfsr11(u11:1517), u11:986);
-    let _ = assert_eq(lfsr11(u11:986), u11:1973);
-    let _ = assert_eq(lfsr11(u11:1973), u11:1898);
-    let _ = assert_eq(lfsr11(u11:1898), u11:1748);
-    let _ = assert_eq(lfsr11(u11:1748), u11:1449);
-    let _ = assert_eq(lfsr11(u11:1449), u11:850);
-    let _ = assert_eq(lfsr11(u11:850), u11:1701);
-    let _ = assert_eq(lfsr11(u11:1701), u11:1355);
-    let _ = assert_eq(lfsr11(u11:1355), u11:662);
-    let _ = assert_eq(lfsr11(u11:662), u11:1324);
-    let _ = assert_eq(lfsr11(u11:1324), u11:600);
-    let _ = assert_eq(lfsr11(u11:600), u11:1200);
-    let _ = assert_eq(lfsr11(u11:1200), u11:353);
-    let _ = assert_eq(lfsr11(u11:353), u11:707);
-    let _ = assert_eq(lfsr11(u11:707), u11:1414);
-    let _ = assert_eq(lfsr11(u11:1414), u11:780);
-    let _ = assert_eq(lfsr11(u11:780), u11:1561);
-    let _ = assert_eq(lfsr11(u11:1561), u11:1075);
-    let _ = assert_eq(lfsr11(u11:1075), u11:103);
-    let _ = assert_eq(lfsr11(u11:103), u11:206);
-    let _ = assert_eq(lfsr11(u11:206), u11:412);
-    let _ = assert_eq(lfsr11(u11:412), u11:825);
-    let _ = assert_eq(lfsr11(u11:825), u11:1651);
-    let _ = assert_eq(lfsr11(u11:1651), u11:1255);
-    let _ = assert_eq(lfsr11(u11:1255), u11:463);
-    let _ = assert_eq(lfsr11(u11:463), u11:927);
-    let _ = assert_eq(lfsr11(u11:927), u11:1855);
-    let _ = assert_eq(lfsr11(u11:1855), u11:1662);
-    let _ = assert_eq(lfsr11(u11:1662), u11:1277);
-    let _ = assert_eq(lfsr11(u11:1277), u11:507);
-    let _ = assert_eq(lfsr11(u11:507), u11:1015);
-    let _ = assert_eq(lfsr11(u11:1015), u11:2031);
-    let _ = assert_eq(lfsr11(u11:2031), u11:2014);
-    let _ = assert_eq(lfsr11(u11:2014), u11:1980);
-    let _ = assert_eq(lfsr11(u11:1980), u11:1912);
-    let _ = assert_eq(lfsr11(u11:1912), u11:1776);
-    let _ = assert_eq(lfsr11(u11:1776), u11:1505);
-    let _ = assert_eq(lfsr11(u11:1505), u11:962);
-    let _ = assert_eq(lfsr11(u11:962), u11:1925);
-    let _ = assert_eq(lfsr11(u11:1925), u11:1802);
-    let _ = assert_eq(lfsr11(u11:1802), u11:1556);
-    let _ = assert_eq(lfsr11(u11:1556), u11:1065);
-    let _ = assert_eq(lfsr11(u11:1065), u11:83);
-    let _ = assert_eq(lfsr11(u11:83), u11:166);
-    let _ = assert_eq(lfsr11(u11:166), u11:332);
-    let _ = assert_eq(lfsr11(u11:332), u11:665);
-    let _ = assert_eq(lfsr11(u11:665), u11:1330);
-    let _ = assert_eq(lfsr11(u11:1330), u11:612);
-    let _ = assert_eq(lfsr11(u11:612), u11:1224);
-    let _ = assert_eq(lfsr11(u11:1224), u11:401);
-    let _ = assert_eq(lfsr11(u11:401), u11:803);
-    let _ = assert_eq(lfsr11(u11:803), u11:1607);
-    let _ = assert_eq(lfsr11(u11:1607), u11:1167);
-    let _ = assert_eq(lfsr11(u11:1167), u11:287);
-    let _ = assert_eq(lfsr11(u11:287), u11:575);
-    let _ = assert_eq(lfsr11(u11:575), u11:1150);
-    let _ = assert_eq(lfsr11(u11:1150), u11:253);
-    let _ = assert_eq(lfsr11(u11:253), u11:506);
-    let _ = assert_eq(lfsr11(u11:506), u11:1013);
-    let _ = assert_eq(lfsr11(u11:1013), u11:2027);
-    let _ = assert_eq(lfsr11(u11:2027), u11:2006);
-    let _ = assert_eq(lfsr11(u11:2006), u11:1964);
-    let _ = assert_eq(lfsr11(u11:1964), u11:1880);
-    let _ = assert_eq(lfsr11(u11:1880), u11:1712);
-    let _ = assert_eq(lfsr11(u11:1712), u11:1377);
-    let _ = assert_eq(lfsr11(u11:1377), u11:706);
-    let _ = assert_eq(lfsr11(u11:706), u11:1412);
-    let _ = assert_eq(lfsr11(u11:1412), u11:776);
-    let _ = assert_eq(lfsr11(u11:776), u11:1553);
-    let _ = assert_eq(lfsr11(u11:1553), u11:1059);
-    let _ = assert_eq(lfsr11(u11:1059), u11:71);
-    let _ = assert_eq(lfsr11(u11:71), u11:142);
-    let _ = assert_eq(lfsr11(u11:142), u11:284);
-    let _ = assert_eq(lfsr11(u11:284), u11:569);
-    let _ = assert_eq(lfsr11(u11:569), u11:1138);
-    let _ = assert_eq(lfsr11(u11:1138), u11:229);
-    let _ = assert_eq(lfsr11(u11:229), u11:458);
-    let _ = assert_eq(lfsr11(u11:458), u11:917);
-    let _ = assert_eq(lfsr11(u11:917), u11:1835);
-    let _ = assert_eq(lfsr11(u11:1835), u11:1622);
-    let _ = assert_eq(lfsr11(u11:1622), u11:1197);
-    let _ = assert_eq(lfsr11(u11:1197), u11:347);
-    let _ = assert_eq(lfsr11(u11:347), u11:695);
-    let _ = assert_eq(lfsr11(u11:695), u11:1390);
-    let _ = assert_eq(lfsr11(u11:1390), u11:732);
-    let _ = assert_eq(lfsr11(u11:732), u11:1464);
-    let _ = assert_eq(lfsr11(u11:1464), u11:880);
-    let _ = assert_eq(lfsr11(u11:880), u11:1761);
-    let _ = assert_eq(lfsr11(u11:1761), u11:1475);
-    let _ = assert_eq(lfsr11(u11:1475), u11:902);
-    let _ = assert_eq(lfsr11(u11:902), u11:1805);
-    let _ = assert_eq(lfsr11(u11:1805), u11:1562);
-    let _ = assert_eq(lfsr11(u11:1562), u11:1077);
-    let _ = assert_eq(lfsr11(u11:1077), u11:107);
-    let _ = assert_eq(lfsr11(u11:107), u11:214);
-    let _ = assert_eq(lfsr11(u11:214), u11:428);
-    let _ = assert_eq(lfsr11(u11:428), u11:857);
-    let _ = assert_eq(lfsr11(u11:857), u11:1715);
-    let _ = assert_eq(lfsr11(u11:1715), u11:1383);
-    let _ = assert_eq(lfsr11(u11:1383), u11:718);
-    let _ = assert_eq(lfsr11(u11:718), u11:1436);
-    let _ = assert_eq(lfsr11(u11:1436), u11:824);
-    let _ = assert_eq(lfsr11(u11:824), u11:1649);
-    let _ = assert_eq(lfsr11(u11:1649), u11:1251);
-    let _ = assert_eq(lfsr11(u11:1251), u11:455);
-    let _ = assert_eq(lfsr11(u11:455), u11:911);
-    let _ = assert_eq(lfsr11(u11:911), u11:1823);
-    let _ = assert_eq(lfsr11(u11:1823), u11:1598);
-    let _ = assert_eq(lfsr11(u11:1598), u11:1149);
-    let _ = assert_eq(lfsr11(u11:1149), u11:251);
-    let _ = assert_eq(lfsr11(u11:251), u11:502);
-    let _ = assert_eq(lfsr11(u11:502), u11:1005);
-    let _ = assert_eq(lfsr11(u11:1005), u11:2011);
-    let _ = assert_eq(lfsr11(u11:2011), u11:1974);
-    let _ = assert_eq(lfsr11(u11:1974), u11:1900);
-    let _ = assert_eq(lfsr11(u11:1900), u11:1752);
-    let _ = assert_eq(lfsr11(u11:1752), u11:1457);
-    let _ = assert_eq(lfsr11(u11:1457), u11:866);
-    let _ = assert_eq(lfsr11(u11:866), u11:1733);
-    let _ = assert_eq(lfsr11(u11:1733), u11:1419);
-    let _ = assert_eq(lfsr11(u11:1419), u11:790);
-    let _ = assert_eq(lfsr11(u11:790), u11:1581);
-    let _ = assert_eq(lfsr11(u11:1581), u11:1115);
-    let _ = assert_eq(lfsr11(u11:1115), u11:183);
-    let _ = assert_eq(lfsr11(u11:183), u11:366);
-    let _ = assert_eq(lfsr11(u11:366), u11:733);
-    let _ = assert_eq(lfsr11(u11:733), u11:1466);
-    let _ = assert_eq(lfsr11(u11:1466), u11:884);
-    let _ = assert_eq(lfsr11(u11:884), u11:1769);
-    let _ = assert_eq(lfsr11(u11:1769), u11:1491);
-    let _ = assert_eq(lfsr11(u11:1491), u11:934);
-    let _ = assert_eq(lfsr11(u11:934), u11:1869);
-    let _ = assert_eq(lfsr11(u11:1869), u11:1690);
-    let _ = assert_eq(lfsr11(u11:1690), u11:1333);
-    let _ = assert_eq(lfsr11(u11:1333), u11:618);
-    let _ = assert_eq(lfsr11(u11:618), u11:1236);
-    let _ = assert_eq(lfsr11(u11:1236), u11:425);
-    let _ = assert_eq(lfsr11(u11:425), u11:851);
-    let _ = assert_eq(lfsr11(u11:851), u11:1703);
-    let _ = assert_eq(lfsr11(u11:1703), u11:1359);
-    let _ = assert_eq(lfsr11(u11:1359), u11:670);
-    let _ = assert_eq(lfsr11(u11:670), u11:1340);
-    let _ = assert_eq(lfsr11(u11:1340), u11:632);
-    let _ = assert_eq(lfsr11(u11:632), u11:1264);
-    let _ = assert_eq(lfsr11(u11:1264), u11:481);
-    let _ = assert_eq(lfsr11(u11:481), u11:963);
-    let _ = assert_eq(lfsr11(u11:963), u11:1927);
-    let _ = assert_eq(lfsr11(u11:1927), u11:1806);
-    let _ = assert_eq(lfsr11(u11:1806), u11:1564);
-    let _ = assert_eq(lfsr11(u11:1564), u11:1081);
-    let _ = assert_eq(lfsr11(u11:1081), u11:115);
-    let _ = assert_eq(lfsr11(u11:115), u11:230);
-    let _ = assert_eq(lfsr11(u11:230), u11:460);
-    let _ = assert_eq(lfsr11(u11:460), u11:921);
-    let _ = assert_eq(lfsr11(u11:921), u11:1843);
-    let _ = assert_eq(lfsr11(u11:1843), u11:1638);
-    let _ = assert_eq(lfsr11(u11:1638), u11:1229);
-    let _ = assert_eq(lfsr11(u11:1229), u11:411);
-    let _ = assert_eq(lfsr11(u11:411), u11:823);
-    let _ = assert_eq(lfsr11(u11:823), u11:1647);
-    let _ = assert_eq(lfsr11(u11:1647), u11:1247);
-    let _ = assert_eq(lfsr11(u11:1247), u11:447);
-    let _ = assert_eq(lfsr11(u11:447), u11:895);
-    let _ = assert_eq(lfsr11(u11:895), u11:1791);
-    let _ = assert_eq(lfsr11(u11:1791), u11:1535);
-    let _ = assert_eq(lfsr11(u11:1535), u11:1022);
-    let _ = assert_eq(lfsr11(u11:1022), u11:2045);
-    let _ = assert_eq(lfsr11(u11:2045), u11:2042);
-    let _ = assert_eq(lfsr11(u11:2042), u11:2036);
-    let _ = assert_eq(lfsr11(u11:2036), u11:2024);
-    let _ = assert_eq(lfsr11(u11:2024), u11:2000);
-    let _ = assert_eq(lfsr11(u11:2000), u11:1952);
-    let _ = assert_eq(lfsr11(u11:1952), u11:1856);
-    let _ = assert_eq(lfsr11(u11:1856), u11:1664);
-    let _ = assert_eq(lfsr11(u11:1664), u11:1281);
-    let _ = assert_eq(lfsr11(u11:1281), u11:514);
-    let _ = assert_eq(lfsr11(u11:514), u11:1028);
-    let _ = assert_eq(lfsr11(u11:1028), u11:9);
-    let _ = assert_eq(lfsr11(u11:9), u11:18);
-    let _ = assert_eq(lfsr11(u11:18), u11:36);
-    let _ = assert_eq(lfsr11(u11:36), u11:72);
-    let _ = assert_eq(lfsr11(u11:72), u11:144);
-    let _ = assert_eq(lfsr11(u11:144), u11:288);
-    let _ = assert_eq(lfsr11(u11:288), u11:577);
-    let _ = assert_eq(lfsr11(u11:577), u11:1154);
-    let _ = assert_eq(lfsr11(u11:1154), u11:261);
-    let _ = assert_eq(lfsr11(u11:261), u11:523);
-    let _ = assert_eq(lfsr11(u11:523), u11:1046);
-    let _ = assert_eq(lfsr11(u11:1046), u11:45);
-    let _ = assert_eq(lfsr11(u11:45), u11:90);
-    let _ = assert_eq(lfsr11(u11:90), u11:180);
-    let _ = assert_eq(lfsr11(u11:180), u11:360);
-    let _ = assert_eq(lfsr11(u11:360), u11:721);
-    let _ = assert_eq(lfsr11(u11:721), u11:1442);
-    let _ = assert_eq(lfsr11(u11:1442), u11:836);
-    let _ = assert_eq(lfsr11(u11:836), u11:1673);
-    let _ = assert_eq(lfsr11(u11:1673), u11:1299);
-    let _ = assert_eq(lfsr11(u11:1299), u11:550);
-    let _ = assert_eq(lfsr11(u11:550), u11:1100);
-    let _ = assert_eq(lfsr11(u11:1100), u11:153);
-    let _ = assert_eq(lfsr11(u11:153), u11:306);
-    let _ = assert_eq(lfsr11(u11:306), u11:613);
-    let _ = assert_eq(lfsr11(u11:613), u11:1226);
-    let _ = assert_eq(lfsr11(u11:1226), u11:405);
-    let _ = assert_eq(lfsr11(u11:405), u11:811);
-    let _ = assert_eq(lfsr11(u11:811), u11:1623);
-    let _ = assert_eq(lfsr11(u11:1623), u11:1199);
-    let _ = assert_eq(lfsr11(u11:1199), u11:351);
-    let _ = assert_eq(lfsr11(u11:351), u11:703);
-    let _ = assert_eq(lfsr11(u11:703), u11:1406);
-    let _ = assert_eq(lfsr11(u11:1406), u11:764);
-    let _ = assert_eq(lfsr11(u11:764), u11:1528);
-    let _ = assert_eq(lfsr11(u11:1528), u11:1008);
-    let _ = assert_eq(lfsr11(u11:1008), u11:2017);
-    let _ = assert_eq(lfsr11(u11:2017), u11:1986);
-    let _ = assert_eq(lfsr11(u11:1986), u11:1924);
-    let _ = assert_eq(lfsr11(u11:1924), u11:1800);
-    let _ = assert_eq(lfsr11(u11:1800), u11:1552);
-    let _ = assert_eq(lfsr11(u11:1552), u11:1057);
-    let _ = assert_eq(lfsr11(u11:1057), u11:67);
-    let _ = assert_eq(lfsr11(u11:67), u11:134);
-    let _ = assert_eq(lfsr11(u11:134), u11:268);
-    let _ = assert_eq(lfsr11(u11:268), u11:537);
-    let _ = assert_eq(lfsr11(u11:537), u11:1074);
-    let _ = assert_eq(lfsr11(u11:1074), u11:101);
-    let _ = assert_eq(lfsr11(u11:101), u11:202);
-    let _ = assert_eq(lfsr11(u11:202), u11:404);
-    let _ = assert_eq(lfsr11(u11:404), u11:809);
-    let _ = assert_eq(lfsr11(u11:809), u11:1619);
-    let _ = assert_eq(lfsr11(u11:1619), u11:1191);
-    let _ = assert_eq(lfsr11(u11:1191), u11:335);
-    let _ = assert_eq(lfsr11(u11:335), u11:671);
-    let _ = assert_eq(lfsr11(u11:671), u11:1342);
-    let _ = assert_eq(lfsr11(u11:1342), u11:636);
-    let _ = assert_eq(lfsr11(u11:636), u11:1272);
-    let _ = assert_eq(lfsr11(u11:1272), u11:497);
-    let _ = assert_eq(lfsr11(u11:497), u11:995);
-    let _ = assert_eq(lfsr11(u11:995), u11:1991);
-    let _ = assert_eq(lfsr11(u11:1991), u11:1934);
-    let _ = assert_eq(lfsr11(u11:1934), u11:1820);
-    let _ = assert_eq(lfsr11(u11:1820), u11:1592);
-    let _ = assert_eq(lfsr11(u11:1592), u11:1137);
-    let _ = assert_eq(lfsr11(u11:1137), u11:227);
-    let _ = assert_eq(lfsr11(u11:227), u11:454);
-    let _ = assert_eq(lfsr11(u11:454), u11:909);
-    let _ = assert_eq(lfsr11(u11:909), u11:1819);
-    let _ = assert_eq(lfsr11(u11:1819), u11:1590);
-    let _ = assert_eq(lfsr11(u11:1590), u11:1133);
-    let _ = assert_eq(lfsr11(u11:1133), u11:219);
-    let _ = assert_eq(lfsr11(u11:219), u11:438);
-    let _ = assert_eq(lfsr11(u11:438), u11:877);
-    let _ = assert_eq(lfsr11(u11:877), u11:1755);
-    let _ = assert_eq(lfsr11(u11:1755), u11:1463);
-    let _ = assert_eq(lfsr11(u11:1463), u11:878);
-    let _ = assert_eq(lfsr11(u11:878), u11:1757);
-    let _ = assert_eq(lfsr11(u11:1757), u11:1467);
-    let _ = assert_eq(lfsr11(u11:1467), u11:886);
-    let _ = assert_eq(lfsr11(u11:886), u11:1773);
-    let _ = assert_eq(lfsr11(u11:1773), u11:1499);
-    let _ = assert_eq(lfsr11(u11:1499), u11:950);
-    let _ = assert_eq(lfsr11(u11:950), u11:1901);
-    let _ = assert_eq(lfsr11(u11:1901), u11:1754);
-    let _ = assert_eq(lfsr11(u11:1754), u11:1461);
-    let _ = assert_eq(lfsr11(u11:1461), u11:874);
-    let _ = assert_eq(lfsr11(u11:874), u11:1749);
-    let _ = assert_eq(lfsr11(u11:1749), u11:1451);
-    let _ = assert_eq(lfsr11(u11:1451), u11:854);
-    let _ = assert_eq(lfsr11(u11:854), u11:1709);
-    let _ = assert_eq(lfsr11(u11:1709), u11:1371);
-    let _ = assert_eq(lfsr11(u11:1371), u11:694);
-    let _ = assert_eq(lfsr11(u11:694), u11:1388);
-    let _ = assert_eq(lfsr11(u11:1388), u11:728);
-    let _ = assert_eq(lfsr11(u11:728), u11:1456);
-    let _ = assert_eq(lfsr11(u11:1456), u11:864);
-    let _ = assert_eq(lfsr11(u11:864), u11:1729);
-    let _ = assert_eq(lfsr11(u11:1729), u11:1411);
-    let _ = assert_eq(lfsr11(u11:1411), u11:774);
-    let _ = assert_eq(lfsr11(u11:774), u11:1549);
-    let _ = assert_eq(lfsr11(u11:1549), u11:1051);
-    let _ = assert_eq(lfsr11(u11:1051), u11:55);
-    let _ = assert_eq(lfsr11(u11:55), u11:110);
-    let _ = assert_eq(lfsr11(u11:110), u11:220);
-    let _ = assert_eq(lfsr11(u11:220), u11:440);
-    let _ = assert_eq(lfsr11(u11:440), u11:881);
-    let _ = assert_eq(lfsr11(u11:881), u11:1763);
-    let _ = assert_eq(lfsr11(u11:1763), u11:1479);
-    let _ = assert_eq(lfsr11(u11:1479), u11:910);
-    let _ = assert_eq(lfsr11(u11:910), u11:1821);
-    let _ = assert_eq(lfsr11(u11:1821), u11:1594);
-    let _ = assert_eq(lfsr11(u11:1594), u11:1141);
-    let _ = assert_eq(lfsr11(u11:1141), u11:235);
-    let _ = assert_eq(lfsr11(u11:235), u11:470);
-    let _ = assert_eq(lfsr11(u11:470), u11:941);
-    let _ = assert_eq(lfsr11(u11:941), u11:1883);
-    let _ = assert_eq(lfsr11(u11:1883), u11:1718);
-    let _ = assert_eq(lfsr11(u11:1718), u11:1389);
-    let _ = assert_eq(lfsr11(u11:1389), u11:730);
-    let _ = assert_eq(lfsr11(u11:730), u11:1460);
-    let _ = assert_eq(lfsr11(u11:1460), u11:872);
-    let _ = assert_eq(lfsr11(u11:872), u11:1745);
-    let _ = assert_eq(lfsr11(u11:1745), u11:1443);
-    let _ = assert_eq(lfsr11(u11:1443), u11:838);
-    let _ = assert_eq(lfsr11(u11:838), u11:1677);
-    let _ = assert_eq(lfsr11(u11:1677), u11:1307);
-    let _ = assert_eq(lfsr11(u11:1307), u11:566);
-    let _ = assert_eq(lfsr11(u11:566), u11:1132);
-    let _ = assert_eq(lfsr11(u11:1132), u11:217);
-    let _ = assert_eq(lfsr11(u11:217), u11:434);
-    let _ = assert_eq(lfsr11(u11:434), u11:869);
-    let _ = assert_eq(lfsr11(u11:869), u11:1739);
-    let _ = assert_eq(lfsr11(u11:1739), u11:1431);
-    let _ = assert_eq(lfsr11(u11:1431), u11:814);
-    let _ = assert_eq(lfsr11(u11:814), u11:1629);
-    let _ = assert_eq(lfsr11(u11:1629), u11:1211);
-    let _ = assert_eq(lfsr11(u11:1211), u11:375);
-    let _ = assert_eq(lfsr11(u11:375), u11:751);
-    let _ = assert_eq(lfsr11(u11:751), u11:1502);
-    let _ = assert_eq(lfsr11(u11:1502), u11:956);
-    let _ = assert_eq(lfsr11(u11:956), u11:1913);
-    let _ = assert_eq(lfsr11(u11:1913), u11:1778);
-    let _ = assert_eq(lfsr11(u11:1778), u11:1509);
-    let _ = assert_eq(lfsr11(u11:1509), u11:970);
-    let _ = assert_eq(lfsr11(u11:970), u11:1941);
-    let _ = assert_eq(lfsr11(u11:1941), u11:1834);
-    let _ = assert_eq(lfsr11(u11:1834), u11:1620);
-    let _ = assert_eq(lfsr11(u11:1620), u11:1193);
-    let _ = assert_eq(lfsr11(u11:1193), u11:339);
-    let _ = assert_eq(lfsr11(u11:339), u11:679);
-    let _ = assert_eq(lfsr11(u11:679), u11:1358);
-    let _ = assert_eq(lfsr11(u11:1358), u11:668);
-    let _ = assert_eq(lfsr11(u11:668), u11:1336);
-    let _ = assert_eq(lfsr11(u11:1336), u11:624);
-    let _ = assert_eq(lfsr11(u11:624), u11:1248);
-    let _ = assert_eq(lfsr11(u11:1248), u11:449);
-    let _ = assert_eq(lfsr11(u11:449), u11:899);
-    let _ = assert_eq(lfsr11(u11:899), u11:1799);
-    let _ = assert_eq(lfsr11(u11:1799), u11:1550);
-    let _ = assert_eq(lfsr11(u11:1550), u11:1053);
-    let _ = assert_eq(lfsr11(u11:1053), u11:59);
-    let _ = assert_eq(lfsr11(u11:59), u11:118);
-    let _ = assert_eq(lfsr11(u11:118), u11:236);
-    let _ = assert_eq(lfsr11(u11:236), u11:472);
-    let _ = assert_eq(lfsr11(u11:472), u11:945);
-    let _ = assert_eq(lfsr11(u11:945), u11:1891);
-    let _ = assert_eq(lfsr11(u11:1891), u11:1734);
-    let _ = assert_eq(lfsr11(u11:1734), u11:1421);
-    let _ = assert_eq(lfsr11(u11:1421), u11:794);
-    let _ = assert_eq(lfsr11(u11:794), u11:1589);
-    let _ = assert_eq(lfsr11(u11:1589), u11:1131);
-    let _ = assert_eq(lfsr11(u11:1131), u11:215);
-    let _ = assert_eq(lfsr11(u11:215), u11:430);
-    let _ = assert_eq(lfsr11(u11:430), u11:861);
-    let _ = assert_eq(lfsr11(u11:861), u11:1723);
-    let _ = assert_eq(lfsr11(u11:1723), u11:1399);
-    let _ = assert_eq(lfsr11(u11:1399), u11:750);
-    let _ = assert_eq(lfsr11(u11:750), u11:1500);
-    let _ = assert_eq(lfsr11(u11:1500), u11:952);
-    let _ = assert_eq(lfsr11(u11:952), u11:1905);
-    let _ = assert_eq(lfsr11(u11:1905), u11:1762);
-    let _ = assert_eq(lfsr11(u11:1762), u11:1477);
-    let _ = assert_eq(lfsr11(u11:1477), u11:906);
-    let _ = assert_eq(lfsr11(u11:906), u11:1813);
-    let _ = assert_eq(lfsr11(u11:1813), u11:1578);
-    let _ = assert_eq(lfsr11(u11:1578), u11:1109);
-    let _ = assert_eq(lfsr11(u11:1109), u11:171);
-    let _ = assert_eq(lfsr11(u11:171), u11:342);
-    let _ = assert_eq(lfsr11(u11:342), u11:685);
-    let _ = assert_eq(lfsr11(u11:685), u11:1370);
-    let _ = assert_eq(lfsr11(u11:1370), u11:692);
-    let _ = assert_eq(lfsr11(u11:692), u11:1384);
-    let _ = assert_eq(lfsr11(u11:1384), u11:720);
-    let _ = assert_eq(lfsr11(u11:720), u11:1440);
-    let _ = assert_eq(lfsr11(u11:1440), u11:832);
-    let _ = assert_eq(lfsr11(u11:832), u11:1665);
-    let _ = assert_eq(lfsr11(u11:1665), u11:1283);
-    let _ = assert_eq(lfsr11(u11:1283), u11:518);
-    let _ = assert_eq(lfsr11(u11:518), u11:1036);
-    let _ = assert_eq(lfsr11(u11:1036), u11:25);
-    let _ = assert_eq(lfsr11(u11:25), u11:50);
-    let _ = assert_eq(lfsr11(u11:50), u11:100);
-    let _ = assert_eq(lfsr11(u11:100), u11:200);
-    let _ = assert_eq(lfsr11(u11:200), u11:400);
-    let _ = assert_eq(lfsr11(u11:400), u11:801);
-    let _ = assert_eq(lfsr11(u11:801), u11:1603);
-    let _ = assert_eq(lfsr11(u11:1603), u11:1159);
-    let _ = assert_eq(lfsr11(u11:1159), u11:271);
-    let _ = assert_eq(lfsr11(u11:271), u11:543);
-    let _ = assert_eq(lfsr11(u11:543), u11:1086);
-    let _ = assert_eq(lfsr11(u11:1086), u11:125);
-    let _ = assert_eq(lfsr11(u11:125), u11:250);
-    let _ = assert_eq(lfsr11(u11:250), u11:500);
-    let _ = assert_eq(lfsr11(u11:500), u11:1001);
-    let _ = assert_eq(lfsr11(u11:1001), u11:2003);
-    let _ = assert_eq(lfsr11(u11:2003), u11:1958);
-    let _ = assert_eq(lfsr11(u11:1958), u11:1868);
-    let _ = assert_eq(lfsr11(u11:1868), u11:1688);
-    let _ = assert_eq(lfsr11(u11:1688), u11:1329);
-    let _ = assert_eq(lfsr11(u11:1329), u11:610);
-    let _ = assert_eq(lfsr11(u11:610), u11:1220);
-    let _ = assert_eq(lfsr11(u11:1220), u11:393);
-    let _ = assert_eq(lfsr11(u11:393), u11:787);
-    let _ = assert_eq(lfsr11(u11:787), u11:1575);
-    let _ = assert_eq(lfsr11(u11:1575), u11:1103);
-    let _ = assert_eq(lfsr11(u11:1103), u11:159);
-    let _ = assert_eq(lfsr11(u11:159), u11:318);
-    let _ = assert_eq(lfsr11(u11:318), u11:637);
-    let _ = assert_eq(lfsr11(u11:637), u11:1274);
-    let _ = assert_eq(lfsr11(u11:1274), u11:501);
-    let _ = assert_eq(lfsr11(u11:501), u11:1003);
-    let _ = assert_eq(lfsr11(u11:1003), u11:2007);
-    let _ = assert_eq(lfsr11(u11:2007), u11:1966);
-    let _ = assert_eq(lfsr11(u11:1966), u11:1884);
-    let _ = assert_eq(lfsr11(u11:1884), u11:1720);
-    let _ = assert_eq(lfsr11(u11:1720), u11:1393);
-    let _ = assert_eq(lfsr11(u11:1393), u11:738);
-    let _ = assert_eq(lfsr11(u11:738), u11:1476);
-    let _ = assert_eq(lfsr11(u11:1476), u11:904);
-    let _ = assert_eq(lfsr11(u11:904), u11:1809);
-    let _ = assert_eq(lfsr11(u11:1809), u11:1570);
-    let _ = assert_eq(lfsr11(u11:1570), u11:1093);
-    let _ = assert_eq(lfsr11(u11:1093), u11:139);
-    let _ = assert_eq(lfsr11(u11:139), u11:278);
-    let _ = assert_eq(lfsr11(u11:278), u11:557);
-    let _ = assert_eq(lfsr11(u11:557), u11:1114);
-    let _ = assert_eq(lfsr11(u11:1114), u11:181);
-    let _ = assert_eq(lfsr11(u11:181), u11:362);
-    let _ = assert_eq(lfsr11(u11:362), u11:725);
-    let _ = assert_eq(lfsr11(u11:725), u11:1450);
-    let _ = assert_eq(lfsr11(u11:1450), u11:852);
-    let _ = assert_eq(lfsr11(u11:852), u11:1705);
-    let _ = assert_eq(lfsr11(u11:1705), u11:1363);
-    let _ = assert_eq(lfsr11(u11:1363), u11:678);
-    let _ = assert_eq(lfsr11(u11:678), u11:1356);
-    let _ = assert_eq(lfsr11(u11:1356), u11:664);
-    let _ = assert_eq(lfsr11(u11:664), u11:1328);
-    let _ = assert_eq(lfsr11(u11:1328), u11:608);
-    let _ = assert_eq(lfsr11(u11:608), u11:1216);
-    let _ = assert_eq(lfsr11(u11:1216), u11:385);
-    let _ = assert_eq(lfsr11(u11:385), u11:771);
-    let _ = assert_eq(lfsr11(u11:771), u11:1543);
-    let _ = assert_eq(lfsr11(u11:1543), u11:1039);
-    let _ = assert_eq(lfsr11(u11:1039), u11:31);
-    let _ = assert_eq(lfsr11(u11:31), u11:62);
-    let _ = assert_eq(lfsr11(u11:62), u11:124);
-    let _ = assert_eq(lfsr11(u11:124), u11:248);
-    let _ = assert_eq(lfsr11(u11:248), u11:496);
-    let _ = assert_eq(lfsr11(u11:496), u11:993);
-    let _ = assert_eq(lfsr11(u11:993), u11:1987);
-    let _ = assert_eq(lfsr11(u11:1987), u11:1926);
-    let _ = assert_eq(lfsr11(u11:1926), u11:1804);
-    let _ = assert_eq(lfsr11(u11:1804), u11:1560);
-    let _ = assert_eq(lfsr11(u11:1560), u11:1073);
-    let _ = assert_eq(lfsr11(u11:1073), u11:99);
-    let _ = assert_eq(lfsr11(u11:99), u11:198);
-    let _ = assert_eq(lfsr11(u11:198), u11:396);
-    let _ = assert_eq(lfsr11(u11:396), u11:793);
-    let _ = assert_eq(lfsr11(u11:793), u11:1587);
-    let _ = assert_eq(lfsr11(u11:1587), u11:1127);
-    let _ = assert_eq(lfsr11(u11:1127), u11:207);
-    let _ = assert_eq(lfsr11(u11:207), u11:414);
-    let _ = assert_eq(lfsr11(u11:414), u11:829);
-    let _ = assert_eq(lfsr11(u11:829), u11:1659);
-    let _ = assert_eq(lfsr11(u11:1659), u11:1271);
-    let _ = assert_eq(lfsr11(u11:1271), u11:495);
-    let _ = assert_eq(lfsr11(u11:495), u11:991);
-    let _ = assert_eq(lfsr11(u11:991), u11:1983);
-    let _ = assert_eq(lfsr11(u11:1983), u11:1918);
-    let _ = assert_eq(lfsr11(u11:1918), u11:1788);
-    let _ = assert_eq(lfsr11(u11:1788), u11:1529);
-    let _ = assert_eq(lfsr11(u11:1529), u11:1010);
-    let _ = assert_eq(lfsr11(u11:1010), u11:2021);
-    let _ = assert_eq(lfsr11(u11:2021), u11:1994);
-    let _ = assert_eq(lfsr11(u11:1994), u11:1940);
-    let _ = assert_eq(lfsr11(u11:1940), u11:1832);
-    let _ = assert_eq(lfsr11(u11:1832), u11:1616);
-    let _ = assert_eq(lfsr11(u11:1616), u11:1185);
-    let _ = assert_eq(lfsr11(u11:1185), u11:323);
-    let _ = assert_eq(lfsr11(u11:323), u11:647);
-    let _ = assert_eq(lfsr11(u11:647), u11:1294);
-    let _ = assert_eq(lfsr11(u11:1294), u11:540);
-    let _ = assert_eq(lfsr11(u11:540), u11:1080);
-    let _ = assert_eq(lfsr11(u11:1080), u11:113);
-    let _ = assert_eq(lfsr11(u11:113), u11:226);
-    let _ = assert_eq(lfsr11(u11:226), u11:452);
-    let _ = assert_eq(lfsr11(u11:452), u11:905);
-    let _ = assert_eq(lfsr11(u11:905), u11:1811);
-    let _ = assert_eq(lfsr11(u11:1811), u11:1574);
-    let _ = assert_eq(lfsr11(u11:1574), u11:1101);
-    let _ = assert_eq(lfsr11(u11:1101), u11:155);
-    let _ = assert_eq(lfsr11(u11:155), u11:310);
-    let _ = assert_eq(lfsr11(u11:310), u11:621);
-    let _ = assert_eq(lfsr11(u11:621), u11:1242);
-    let _ = assert_eq(lfsr11(u11:1242), u11:437);
-    let _ = assert_eq(lfsr11(u11:437), u11:875);
-    let _ = assert_eq(lfsr11(u11:875), u11:1751);
-    let _ = assert_eq(lfsr11(u11:1751), u11:1455);
-    let _ = assert_eq(lfsr11(u11:1455), u11:862);
-    let _ = assert_eq(lfsr11(u11:862), u11:1725);
-    let _ = assert_eq(lfsr11(u11:1725), u11:1403);
-    let _ = assert_eq(lfsr11(u11:1403), u11:758);
-    let _ = assert_eq(lfsr11(u11:758), u11:1516);
-    let _ = assert_eq(lfsr11(u11:1516), u11:984);
-    let _ = assert_eq(lfsr11(u11:984), u11:1969);
-    let _ = assert_eq(lfsr11(u11:1969), u11:1890);
-    let _ = assert_eq(lfsr11(u11:1890), u11:1732);
-    let _ = assert_eq(lfsr11(u11:1732), u11:1417);
-    let _ = assert_eq(lfsr11(u11:1417), u11:786);
-    let _ = assert_eq(lfsr11(u11:786), u11:1573);
-    let _ = assert_eq(lfsr11(u11:1573), u11:1099);
-    let _ = assert_eq(lfsr11(u11:1099), u11:151);
-    let _ = assert_eq(lfsr11(u11:151), u11:302);
-    let _ = assert_eq(lfsr11(u11:302), u11:605);
-    let _ = assert_eq(lfsr11(u11:605), u11:1210);
-    let _ = assert_eq(lfsr11(u11:1210), u11:373);
-    let _ = assert_eq(lfsr11(u11:373), u11:747);
-    let _ = assert_eq(lfsr11(u11:747), u11:1494);
-    let _ = assert_eq(lfsr11(u11:1494), u11:940);
-    let _ = assert_eq(lfsr11(u11:940), u11:1881);
-    let _ = assert_eq(lfsr11(u11:1881), u11:1714);
-    let _ = assert_eq(lfsr11(u11:1714), u11:1381);
-    let _ = assert_eq(lfsr11(u11:1381), u11:714);
-    let _ = assert_eq(lfsr11(u11:714), u11:1428);
-    let _ = assert_eq(lfsr11(u11:1428), u11:808);
-    let _ = assert_eq(lfsr11(u11:808), u11:1617);
-    let _ = assert_eq(lfsr11(u11:1617), u11:1187);
-    let _ = assert_eq(lfsr11(u11:1187), u11:327);
-    let _ = assert_eq(lfsr11(u11:327), u11:655);
-    let _ = assert_eq(lfsr11(u11:655), u11:1310);
-    let _ = assert_eq(lfsr11(u11:1310), u11:572);
-    let _ = assert_eq(lfsr11(u11:572), u11:1144);
-    let _ = assert_eq(lfsr11(u11:1144), u11:241);
-    let _ = assert_eq(lfsr11(u11:241), u11:482);
-    let _ = assert_eq(lfsr11(u11:482), u11:965);
-    let _ = assert_eq(lfsr11(u11:965), u11:1931);
-    let _ = assert_eq(lfsr11(u11:1931), u11:1814);
-    let _ = assert_eq(lfsr11(u11:1814), u11:1580);
-    let _ = assert_eq(lfsr11(u11:1580), u11:1113);
-    let _ = assert_eq(lfsr11(u11:1113), u11:179);
-    let _ = assert_eq(lfsr11(u11:179), u11:358);
-    let _ = assert_eq(lfsr11(u11:358), u11:717);
-    let _ = assert_eq(lfsr11(u11:717), u11:1434);
-    let _ = assert_eq(lfsr11(u11:1434), u11:820);
-    let _ = assert_eq(lfsr11(u11:820), u11:1641);
-    let _ = assert_eq(lfsr11(u11:1641), u11:1235);
-    let _ = assert_eq(lfsr11(u11:1235), u11:423);
-    let _ = assert_eq(lfsr11(u11:423), u11:847);
-    let _ = assert_eq(lfsr11(u11:847), u11:1695);
-    let _ = assert_eq(lfsr11(u11:1695), u11:1343);
-    let _ = assert_eq(lfsr11(u11:1343), u11:638);
-    let _ = assert_eq(lfsr11(u11:638), u11:1276);
-    let _ = assert_eq(lfsr11(u11:1276), u11:505);
-    let _ = assert_eq(lfsr11(u11:505), u11:1011);
-    let _ = assert_eq(lfsr11(u11:1011), u11:2023);
-    let _ = assert_eq(lfsr11(u11:2023), u11:1998);
-    let _ = assert_eq(lfsr11(u11:1998), u11:1948);
-    let _ = assert_eq(lfsr11(u11:1948), u11:1848);
-    let _ = assert_eq(lfsr11(u11:1848), u11:1648);
-    let _ = assert_eq(lfsr11(u11:1648), u11:1249);
-    let _ = assert_eq(lfsr11(u11:1249), u11:451);
-    let _ = assert_eq(lfsr11(u11:451), u11:903);
-    let _ = assert_eq(lfsr11(u11:903), u11:1807);
-    let _ = assert_eq(lfsr11(u11:1807), u11:1566);
-    let _ = assert_eq(lfsr11(u11:1566), u11:1085);
-    let _ = assert_eq(lfsr11(u11:1085), u11:123);
-    let _ = assert_eq(lfsr11(u11:123), u11:246);
-    let _ = assert_eq(lfsr11(u11:246), u11:492);
-    let _ = assert_eq(lfsr11(u11:492), u11:985);
-    let _ = assert_eq(lfsr11(u11:985), u11:1971);
-    let _ = assert_eq(lfsr11(u11:1971), u11:1894);
-    let _ = assert_eq(lfsr11(u11:1894), u11:1740);
-    let _ = assert_eq(lfsr11(u11:1740), u11:1433);
-    let _ = assert_eq(lfsr11(u11:1433), u11:818);
-    let _ = assert_eq(lfsr11(u11:818), u11:1637);
-    let _ = assert_eq(lfsr11(u11:1637), u11:1227);
-    let _ = assert_eq(lfsr11(u11:1227), u11:407);
-    let _ = assert_eq(lfsr11(u11:407), u11:815);
-    let _ = assert_eq(lfsr11(u11:815), u11:1631);
-    let _ = assert_eq(lfsr11(u11:1631), u11:1215);
-    let _ = assert_eq(lfsr11(u11:1215), u11:383);
-    let _ = assert_eq(lfsr11(u11:383), u11:767);
-    let _ = assert_eq(lfsr11(u11:767), u11:1534);
-    let _ = assert_eq(lfsr11(u11:1534), u11:1020);
-    let _ = assert_eq(lfsr11(u11:1020), u11:2041);
-    let _ = assert_eq(lfsr11(u11:2041), u11:2034);
-    let _ = assert_eq(lfsr11(u11:2034), u11:2020);
-    let _ = assert_eq(lfsr11(u11:2020), u11:1992);
-    let _ = assert_eq(lfsr11(u11:1992), u11:1936);
-    let _ = assert_eq(lfsr11(u11:1936), u11:1824);
-    let _ = assert_eq(lfsr11(u11:1824), u11:1600);
-    let _ = assert_eq(lfsr11(u11:1600), u11:1153);
-    let _ = assert_eq(lfsr11(u11:1153), u11:259);
-    let _ = assert_eq(lfsr11(u11:259), u11:519);
-    let _ = assert_eq(lfsr11(u11:519), u11:1038);
-    let _ = assert_eq(lfsr11(u11:1038), u11:29);
-    let _ = assert_eq(lfsr11(u11:29), u11:58);
-    let _ = assert_eq(lfsr11(u11:58), u11:116);
-    let _ = assert_eq(lfsr11(u11:116), u11:232);
-    let _ = assert_eq(lfsr11(u11:232), u11:464);
-    let _ = assert_eq(lfsr11(u11:464), u11:929);
-    let _ = assert_eq(lfsr11(u11:929), u11:1859);
-    let _ = assert_eq(lfsr11(u11:1859), u11:1670);
-    let _ = assert_eq(lfsr11(u11:1670), u11:1293);
-    let _ = assert_eq(lfsr11(u11:1293), u11:538);
-    let _ = assert_eq(lfsr11(u11:538), u11:1076);
-    let _ = assert_eq(lfsr11(u11:1076), u11:105);
-    let _ = assert_eq(lfsr11(u11:105), u11:210);
-    let _ = assert_eq(lfsr11(u11:210), u11:420);
-    let _ = assert_eq(lfsr11(u11:420), u11:841);
-    let _ = assert_eq(lfsr11(u11:841), u11:1683);
-    let _ = assert_eq(lfsr11(u11:1683), u11:1319);
-    let _ = assert_eq(lfsr11(u11:1319), u11:590);
-    let _ = assert_eq(lfsr11(u11:590), u11:1180);
-    let _ = assert_eq(lfsr11(u11:1180), u11:313);
-    let _ = assert_eq(lfsr11(u11:313), u11:627);
-    let _ = assert_eq(lfsr11(u11:627), u11:1254);
-    let _ = assert_eq(lfsr11(u11:1254), u11:461);
-    let _ = assert_eq(lfsr11(u11:461), u11:923);
-    let _ = assert_eq(lfsr11(u11:923), u11:1847);
-    let _ = assert_eq(lfsr11(u11:1847), u11:1646);
-    let _ = assert_eq(lfsr11(u11:1646), u11:1245);
-    let _ = assert_eq(lfsr11(u11:1245), u11:443);
-    let _ = assert_eq(lfsr11(u11:443), u11:887);
-    let _ = assert_eq(lfsr11(u11:887), u11:1775);
-    let _ = assert_eq(lfsr11(u11:1775), u11:1503);
-    let _ = assert_eq(lfsr11(u11:1503), u11:958);
-    let _ = assert_eq(lfsr11(u11:958), u11:1917);
-    let _ = assert_eq(lfsr11(u11:1917), u11:1786);
-    let _ = assert_eq(lfsr11(u11:1786), u11:1525);
-    let _ = assert_eq(lfsr11(u11:1525), u11:1002);
-    let _ = assert_eq(lfsr11(u11:1002), u11:2005);
-    let _ = assert_eq(lfsr11(u11:2005), u11:1962);
-    let _ = assert_eq(lfsr11(u11:1962), u11:1876);
-    let _ = assert_eq(lfsr11(u11:1876), u11:1704);
-    let _ = assert_eq(lfsr11(u11:1704), u11:1361);
-    let _ = assert_eq(lfsr11(u11:1361), u11:674);
-    let _ = assert_eq(lfsr11(u11:674), u11:1348);
-    let _ = assert_eq(lfsr11(u11:1348), u11:648);
-    let _ = assert_eq(lfsr11(u11:648), u11:1296);
-    let _ = assert_eq(lfsr11(u11:1296), u11:544);
-    let _ = assert_eq(lfsr11(u11:544), u11:1088);
-    let _ = assert_eq(lfsr11(u11:1088), u11:129);
-    let _ = assert_eq(lfsr11(u11:129), u11:258);
-    let _ = assert_eq(lfsr11(u11:258), u11:517);
-    let _ = assert_eq(lfsr11(u11:517), u11:1034);
-    let _ = assert_eq(lfsr11(u11:1034), u11:21);
-    let _ = assert_eq(lfsr11(u11:21), u11:42);
-    let _ = assert_eq(lfsr11(u11:42), u11:84);
-    let _ = assert_eq(lfsr11(u11:84), u11:168);
-    let _ = assert_eq(lfsr11(u11:168), u11:336);
-    let _ = assert_eq(lfsr11(u11:336), u11:673);
-    let _ = assert_eq(lfsr11(u11:673), u11:1346);
-    let _ = assert_eq(lfsr11(u11:1346), u11:644);
-    let _ = assert_eq(lfsr11(u11:644), u11:1288);
-    let _ = assert_eq(lfsr11(u11:1288), u11:528);
-    let _ = assert_eq(lfsr11(u11:528), u11:1056);
-    let _ = assert_eq(lfsr11(u11:1056), u11:65);
-    let _ = assert_eq(lfsr11(u11:65), u11:130);
-    let _ = assert_eq(lfsr11(u11:130), u11:260);
-    let _ = assert_eq(lfsr11(u11:260), u11:521);
-    let _ = assert_eq(lfsr11(u11:521), u11:1042);
-    let _ = assert_eq(lfsr11(u11:1042), u11:37);
-    let _ = assert_eq(lfsr11(u11:37), u11:74);
-    let _ = assert_eq(lfsr11(u11:74), u11:148);
-    let _ = assert_eq(lfsr11(u11:148), u11:296);
-    let _ = assert_eq(lfsr11(u11:296), u11:593);
-    let _ = assert_eq(lfsr11(u11:593), u11:1186);
-    let _ = assert_eq(lfsr11(u11:1186), u11:325);
-    let _ = assert_eq(lfsr11(u11:325), u11:651);
-    let _ = assert_eq(lfsr11(u11:651), u11:1302);
-    let _ = assert_eq(lfsr11(u11:1302), u11:556);
-    let _ = assert_eq(lfsr11(u11:556), u11:1112);
-    let _ = assert_eq(lfsr11(u11:1112), u11:177);
-    let _ = assert_eq(lfsr11(u11:177), u11:354);
-    let _ = assert_eq(lfsr11(u11:354), u11:709);
-    let _ = assert_eq(lfsr11(u11:709), u11:1418);
-    let _ = assert_eq(lfsr11(u11:1418), u11:788);
-    let _ = assert_eq(lfsr11(u11:788), u11:1577);
-    let _ = assert_eq(lfsr11(u11:1577), u11:1107);
-    let _ = assert_eq(lfsr11(u11:1107), u11:167);
-    let _ = assert_eq(lfsr11(u11:167), u11:334);
-    let _ = assert_eq(lfsr11(u11:334), u11:669);
-    let _ = assert_eq(lfsr11(u11:669), u11:1338);
-    let _ = assert_eq(lfsr11(u11:1338), u11:628);
-    let _ = assert_eq(lfsr11(u11:628), u11:1256);
-    let _ = assert_eq(lfsr11(u11:1256), u11:465);
-    let _ = assert_eq(lfsr11(u11:465), u11:931);
-    let _ = assert_eq(lfsr11(u11:931), u11:1863);
-    let _ = assert_eq(lfsr11(u11:1863), u11:1678);
-    let _ = assert_eq(lfsr11(u11:1678), u11:1309);
-    let _ = assert_eq(lfsr11(u11:1309), u11:570);
-    let _ = assert_eq(lfsr11(u11:570), u11:1140);
-    let _ = assert_eq(lfsr11(u11:1140), u11:233);
-    let _ = assert_eq(lfsr11(u11:233), u11:466);
-    let _ = assert_eq(lfsr11(u11:466), u11:933);
-    let _ = assert_eq(lfsr11(u11:933), u11:1867);
-    let _ = assert_eq(lfsr11(u11:1867), u11:1686);
-    let _ = assert_eq(lfsr11(u11:1686), u11:1325);
-    let _ = assert_eq(lfsr11(u11:1325), u11:602);
-    let _ = assert_eq(lfsr11(u11:602), u11:1204);
-    let _ = assert_eq(lfsr11(u11:1204), u11:361);
-    let _ = assert_eq(lfsr11(u11:361), u11:723);
-    let _ = assert_eq(lfsr11(u11:723), u11:1446);
-    let _ = assert_eq(lfsr11(u11:1446), u11:844);
-    let _ = assert_eq(lfsr11(u11:844), u11:1689);
-    let _ = assert_eq(lfsr11(u11:1689), u11:1331);
-    let _ = assert_eq(lfsr11(u11:1331), u11:614);
-    let _ = assert_eq(lfsr11(u11:614), u11:1228);
-    let _ = assert_eq(lfsr11(u11:1228), u11:409);
-    let _ = assert_eq(lfsr11(u11:409), u11:819);
-    let _ = assert_eq(lfsr11(u11:819), u11:1639);
-    let _ = assert_eq(lfsr11(u11:1639), u11:1231);
-    let _ = assert_eq(lfsr11(u11:1231), u11:415);
-    let _ = assert_eq(lfsr11(u11:415), u11:831);
-    let _ = assert_eq(lfsr11(u11:831), u11:1663);
-    let _ = assert_eq(lfsr11(u11:1663), u11:1279);
-    let _ = assert_eq(lfsr11(u11:1279), u11:511);
-    let _ = assert_eq(lfsr11(u11:511), u11:1023);
-    let _ = assert_eq(lfsr11(u11:1023), u11:2047);
-    let _ = assert_eq(lfsr11(u11:2047), u11:2046);
-    let _ = assert_eq(lfsr11(u11:2046), u11:2044);
-    let _ = assert_eq(lfsr11(u11:2044), u11:2040);
-    let _ = assert_eq(lfsr11(u11:2040), u11:2032);
-    let _ = assert_eq(lfsr11(u11:2032), u11:2016);
-    let _ = assert_eq(lfsr11(u11:2016), u11:1984);
-    let _ = assert_eq(lfsr11(u11:1984), u11:1920);
-    let _ = assert_eq(lfsr11(u11:1920), u11:1792);
-    let _ = assert_eq(lfsr11(u11:1792), u11:1536);
-    let _ = assert_eq(lfsr11(u11:1536), u11:1025);
-    let _ = assert_eq(lfsr11(u11:1025), u11:3);
-    let _ = assert_eq(lfsr11(u11:3), u11:6);
-    let _ = assert_eq(lfsr11(u11:6), u11:12);
-    let _ = assert_eq(lfsr11(u11:12), u11:24);
-    let _ = assert_eq(lfsr11(u11:24), u11:48);
-    let _ = assert_eq(lfsr11(u11:48), u11:96);
-    let _ = assert_eq(lfsr11(u11:96), u11:192);
-    let _ = assert_eq(lfsr11(u11:192), u11:384);
-    let _ = assert_eq(lfsr11(u11:384), u11:769);
-    let _ = assert_eq(lfsr11(u11:769), u11:1539);
-    let _ = assert_eq(lfsr11(u11:1539), u11:1031);
-    let _ = assert_eq(lfsr11(u11:1031), u11:15);
-    let _ = assert_eq(lfsr11(u11:15), u11:30);
-    let _ = assert_eq(lfsr11(u11:30), u11:60);
-    let _ = assert_eq(lfsr11(u11:60), u11:120);
-    let _ = assert_eq(lfsr11(u11:120), u11:240);
-    let _ = assert_eq(lfsr11(u11:240), u11:480);
-    let _ = assert_eq(lfsr11(u11:480), u11:961);
-    let _ = assert_eq(lfsr11(u11:961), u11:1923);
-    let _ = assert_eq(lfsr11(u11:1923), u11:1798);
-    let _ = assert_eq(lfsr11(u11:1798), u11:1548);
-    let _ = assert_eq(lfsr11(u11:1548), u11:1049);
-    let _ = assert_eq(lfsr11(u11:1049), u11:51);
-    let _ = assert_eq(lfsr11(u11:51), u11:102);
-    let _ = assert_eq(lfsr11(u11:102), u11:204);
-    let _ = assert_eq(lfsr11(u11:204), u11:408);
-    let _ = assert_eq(lfsr11(u11:408), u11:817);
-    let _ = assert_eq(lfsr11(u11:817), u11:1635);
-    let _ = assert_eq(lfsr11(u11:1635), u11:1223);
-    let _ = assert_eq(lfsr11(u11:1223), u11:399);
-    let _ = assert_eq(lfsr11(u11:399), u11:799);
-    let _ = assert_eq(lfsr11(u11:799), u11:1599);
-    let _ = assert_eq(lfsr11(u11:1599), u11:1151);
-    let _ = assert_eq(lfsr11(u11:1151), u11:255);
-    let _ = assert_eq(lfsr11(u11:255), u11:510);
-    let _ = assert_eq(lfsr11(u11:510), u11:1021);
-    let _ = assert_eq(lfsr11(u11:1021), u11:2043);
-    let _ = assert_eq(lfsr11(u11:2043), u11:2038);
-    let _ = assert_eq(lfsr11(u11:2038), u11:2028);
-    let _ = assert_eq(lfsr11(u11:2028), u11:2008);
-    let _ = assert_eq(lfsr11(u11:2008), u11:1968);
-    let _ = assert_eq(lfsr11(u11:1968), u11:1888);
-    let _ = assert_eq(lfsr11(u11:1888), u11:1728);
-    let _ = assert_eq(lfsr11(u11:1728), u11:1409);
-    let _ = assert_eq(lfsr11(u11:1409), u11:770);
-    let _ = assert_eq(lfsr11(u11:770), u11:1541);
-    let _ = assert_eq(lfsr11(u11:1541), u11:1035);
-    let _ = assert_eq(lfsr11(u11:1035), u11:23);
-    let _ = assert_eq(lfsr11(u11:23), u11:46);
-    let _ = assert_eq(lfsr11(u11:46), u11:92);
-    let _ = assert_eq(lfsr11(u11:92), u11:184);
-    let _ = assert_eq(lfsr11(u11:184), u11:368);
-    let _ = assert_eq(lfsr11(u11:368), u11:737);
-    let _ = assert_eq(lfsr11(u11:737), u11:1474);
-    let _ = assert_eq(lfsr11(u11:1474), u11:900);
-    let _ = assert_eq(lfsr11(u11:900), u11:1801);
-    let _ = assert_eq(lfsr11(u11:1801), u11:1554);
-    let _ = assert_eq(lfsr11(u11:1554), u11:1061);
-    let _ = assert_eq(lfsr11(u11:1061), u11:75);
-    let _ = assert_eq(lfsr11(u11:75), u11:150);
-    let _ = assert_eq(lfsr11(u11:150), u11:300);
-    let _ = assert_eq(lfsr11(u11:300), u11:601);
-    let _ = assert_eq(lfsr11(u11:601), u11:1202);
-    let _ = assert_eq(lfsr11(u11:1202), u11:357);
-    let _ = assert_eq(lfsr11(u11:357), u11:715);
-    let _ = assert_eq(lfsr11(u11:715), u11:1430);
-    let _ = assert_eq(lfsr11(u11:1430), u11:812);
-    let _ = assert_eq(lfsr11(u11:812), u11:1625);
-    let _ = assert_eq(lfsr11(u11:1625), u11:1203);
-    let _ = assert_eq(lfsr11(u11:1203), u11:359);
-    let _ = assert_eq(lfsr11(u11:359), u11:719);
-    let _ = assert_eq(lfsr11(u11:719), u11:1438);
-    let _ = assert_eq(lfsr11(u11:1438), u11:828);
-    let _ = assert_eq(lfsr11(u11:828), u11:1657);
-    let _ = assert_eq(lfsr11(u11:1657), u11:1267);
-    let _ = assert_eq(lfsr11(u11:1267), u11:487);
-    let _ = assert_eq(lfsr11(u11:487), u11:975);
-    let _ = assert_eq(lfsr11(u11:975), u11:1951);
-    let _ = assert_eq(lfsr11(u11:1951), u11:1854);
-    let _ = assert_eq(lfsr11(u11:1854), u11:1660);
-    let _ = assert_eq(lfsr11(u11:1660), u11:1273);
-    let _ = assert_eq(lfsr11(u11:1273), u11:499);
-    let _ = assert_eq(lfsr11(u11:499), u11:999);
-    let _ = assert_eq(lfsr11(u11:999), u11:1999);
-    let _ = assert_eq(lfsr11(u11:1999), u11:1950);
-    let _ = assert_eq(lfsr11(u11:1950), u11:1852);
-    let _ = assert_eq(lfsr11(u11:1852), u11:1656);
-    let _ = assert_eq(lfsr11(u11:1656), u11:1265);
-    let _ = assert_eq(lfsr11(u11:1265), u11:483);
-    let _ = assert_eq(lfsr11(u11:483), u11:967);
-    let _ = assert_eq(lfsr11(u11:967), u11:1935);
-    let _ = assert_eq(lfsr11(u11:1935), u11:1822);
-    let _ = assert_eq(lfsr11(u11:1822), u11:1596);
-    let _ = assert_eq(lfsr11(u11:1596), u11:1145);
-    let _ = assert_eq(lfsr11(u11:1145), u11:243);
-    let _ = assert_eq(lfsr11(u11:243), u11:486);
-    let _ = assert_eq(lfsr11(u11:486), u11:973);
-    let _ = assert_eq(lfsr11(u11:973), u11:1947);
-    let _ = assert_eq(lfsr11(u11:1947), u11:1846);
-    let _ = assert_eq(lfsr11(u11:1846), u11:1644);
-    let _ = assert_eq(lfsr11(u11:1644), u11:1241);
-    let _ = assert_eq(lfsr11(u11:1241), u11:435);
-    let _ = assert_eq(lfsr11(u11:435), u11:871);
-    let _ = assert_eq(lfsr11(u11:871), u11:1743);
-    let _ = assert_eq(lfsr11(u11:1743), u11:1439);
-    let _ = assert_eq(lfsr11(u11:1439), u11:830);
-    let _ = assert_eq(lfsr11(u11:830), u11:1661);
-    let _ = assert_eq(lfsr11(u11:1661), u11:1275);
-    let _ = assert_eq(lfsr11(u11:1275), u11:503);
-    let _ = assert_eq(lfsr11(u11:503), u11:1007);
-    let _ = assert_eq(lfsr11(u11:1007), u11:2015);
-    let _ = assert_eq(lfsr11(u11:2015), u11:1982);
-    let _ = assert_eq(lfsr11(u11:1982), u11:1916);
-    let _ = assert_eq(lfsr11(u11:1916), u11:1784);
-    let _ = assert_eq(lfsr11(u11:1784), u11:1521);
-    let _ = assert_eq(lfsr11(u11:1521), u11:994);
-    let _ = assert_eq(lfsr11(u11:994), u11:1989);
-    let _ = assert_eq(lfsr11(u11:1989), u11:1930);
-    let _ = assert_eq(lfsr11(u11:1930), u11:1812);
-    let _ = assert_eq(lfsr11(u11:1812), u11:1576);
-    let _ = assert_eq(lfsr11(u11:1576), u11:1105);
-    let _ = assert_eq(lfsr11(u11:1105), u11:163);
-    let _ = assert_eq(lfsr11(u11:163), u11:326);
-    let _ = assert_eq(lfsr11(u11:326), u11:653);
-    let _ = assert_eq(lfsr11(u11:653), u11:1306);
-    let _ = assert_eq(lfsr11(u11:1306), u11:564);
-    let _ = assert_eq(lfsr11(u11:564), u11:1128);
-    let _ = assert_eq(lfsr11(u11:1128), u11:209);
-    let _ = assert_eq(lfsr11(u11:209), u11:418);
-    let _ = assert_eq(lfsr11(u11:418), u11:837);
-    let _ = assert_eq(lfsr11(u11:837), u11:1675);
-    let _ = assert_eq(lfsr11(u11:1675), u11:1303);
-    let _ = assert_eq(lfsr11(u11:1303), u11:558);
-    let _ = assert_eq(lfsr11(u11:558), u11:1116);
-    let _ = assert_eq(lfsr11(u11:1116), u11:185);
-    let _ = assert_eq(lfsr11(u11:185), u11:370);
-    let _ = assert_eq(lfsr11(u11:370), u11:741);
-    let _ = assert_eq(lfsr11(u11:741), u11:1482);
-    let _ = assert_eq(lfsr11(u11:1482), u11:916);
-    let _ = assert_eq(lfsr11(u11:916), u11:1833);
-    let _ = assert_eq(lfsr11(u11:1833), u11:1618);
-    let _ = assert_eq(lfsr11(u11:1618), u11:1189);
-    let _ = assert_eq(lfsr11(u11:1189), u11:331);
-    let _ = assert_eq(lfsr11(u11:331), u11:663);
-    let _ = assert_eq(lfsr11(u11:663), u11:1326);
-    let _ = assert_eq(lfsr11(u11:1326), u11:604);
-    let _ = assert_eq(lfsr11(u11:604), u11:1208);
-    let _ = assert_eq(lfsr11(u11:1208), u11:369);
-    let _ = assert_eq(lfsr11(u11:369), u11:739);
-    let _ = assert_eq(lfsr11(u11:739), u11:1478);
-    let _ = assert_eq(lfsr11(u11:1478), u11:908);
-    let _ = assert_eq(lfsr11(u11:908), u11:1817);
-    let _ = assert_eq(lfsr11(u11:1817), u11:1586);
-    let _ = assert_eq(lfsr11(u11:1586), u11:1125);
-    let _ = assert_eq(lfsr11(u11:1125), u11:203);
-    let _ = assert_eq(lfsr11(u11:203), u11:406);
-    let _ = assert_eq(lfsr11(u11:406), u11:813);
-    let _ = assert_eq(lfsr11(u11:813), u11:1627);
-    let _ = assert_eq(lfsr11(u11:1627), u11:1207);
-    let _ = assert_eq(lfsr11(u11:1207), u11:367);
-    let _ = assert_eq(lfsr11(u11:367), u11:735);
-    let _ = assert_eq(lfsr11(u11:735), u11:1470);
-    let _ = assert_eq(lfsr11(u11:1470), u11:892);
-    let _ = assert_eq(lfsr11(u11:892), u11:1785);
-    let _ = assert_eq(lfsr11(u11:1785), u11:1523);
-    let _ = assert_eq(lfsr11(u11:1523), u11:998);
-    let _ = assert_eq(lfsr11(u11:998), u11:1997);
-    let _ = assert_eq(lfsr11(u11:1997), u11:1946);
-    let _ = assert_eq(lfsr11(u11:1946), u11:1844);
-    let _ = assert_eq(lfsr11(u11:1844), u11:1640);
-    let _ = assert_eq(lfsr11(u11:1640), u11:1233);
-    let _ = assert_eq(lfsr11(u11:1233), u11:419);
-    let _ = assert_eq(lfsr11(u11:419), u11:839);
-    let _ = assert_eq(lfsr11(u11:839), u11:1679);
-    let _ = assert_eq(lfsr11(u11:1679), u11:1311);
-    let _ = assert_eq(lfsr11(u11:1311), u11:574);
-    let _ = assert_eq(lfsr11(u11:574), u11:1148);
-    let _ = assert_eq(lfsr11(u11:1148), u11:249);
-    let _ = assert_eq(lfsr11(u11:249), u11:498);
-    let _ = assert_eq(lfsr11(u11:498), u11:997);
-    let _ = assert_eq(lfsr11(u11:997), u11:1995);
-    let _ = assert_eq(lfsr11(u11:1995), u11:1942);
-    let _ = assert_eq(lfsr11(u11:1942), u11:1836);
-    let _ = assert_eq(lfsr11(u11:1836), u11:1624);
-    let _ = assert_eq(lfsr11(u11:1624), u11:1201);
-    let _ = assert_eq(lfsr11(u11:1201), u11:355);
-    let _ = assert_eq(lfsr11(u11:355), u11:711);
-    let _ = assert_eq(lfsr11(u11:711), u11:1422);
-    let _ = assert_eq(lfsr11(u11:1422), u11:796);
-    let _ = assert_eq(lfsr11(u11:796), u11:1593);
-    let _ = assert_eq(lfsr11(u11:1593), u11:1139);
-    let _ = assert_eq(lfsr11(u11:1139), u11:231);
-    let _ = assert_eq(lfsr11(u11:231), u11:462);
-    let _ = assert_eq(lfsr11(u11:462), u11:925);
-    let _ = assert_eq(lfsr11(u11:925), u11:1851);
-    let _ = assert_eq(lfsr11(u11:1851), u11:1654);
-    let _ = assert_eq(lfsr11(u11:1654), u11:1261);
-    let _ = assert_eq(lfsr11(u11:1261), u11:475);
-    let _ = assert_eq(lfsr11(u11:475), u11:951);
-    let _ = assert_eq(lfsr11(u11:951), u11:1903);
-    let _ = assert_eq(lfsr11(u11:1903), u11:1758);
-    let _ = assert_eq(lfsr11(u11:1758), u11:1469);
-    let _ = assert_eq(lfsr11(u11:1469), u11:890);
-    let _ = assert_eq(lfsr11(u11:890), u11:1781);
-    let _ = assert_eq(lfsr11(u11:1781), u11:1515);
-    let _ = assert_eq(lfsr11(u11:1515), u11:982);
-    let _ = assert_eq(lfsr11(u11:982), u11:1965);
-    let _ = assert_eq(lfsr11(u11:1965), u11:1882);
-    let _ = assert_eq(lfsr11(u11:1882), u11:1716);
-    let _ = assert_eq(lfsr11(u11:1716), u11:1385);
-    let _ = assert_eq(lfsr11(u11:1385), u11:722);
-    let _ = assert_eq(lfsr11(u11:722), u11:1444);
-    let _ = assert_eq(lfsr11(u11:1444), u11:840);
-    let _ = assert_eq(lfsr11(u11:840), u11:1681);
-    let _ = assert_eq(lfsr11(u11:1681), u11:1315);
-    let _ = assert_eq(lfsr11(u11:1315), u11:582);
-    let _ = assert_eq(lfsr11(u11:582), u11:1164);
-    let _ = assert_eq(lfsr11(u11:1164), u11:281);
-    let _ = assert_eq(lfsr11(u11:281), u11:563);
-    let _ = assert_eq(lfsr11(u11:563), u11:1126);
-    let _ = assert_eq(lfsr11(u11:1126), u11:205);
-    let _ = assert_eq(lfsr11(u11:205), u11:410);
-    let _ = assert_eq(lfsr11(u11:410), u11:821);
-    let _ = assert_eq(lfsr11(u11:821), u11:1643);
-    let _ = assert_eq(lfsr11(u11:1643), u11:1239);
-    let _ = assert_eq(lfsr11(u11:1239), u11:431);
-    let _ = assert_eq(lfsr11(u11:431), u11:863);
-    let _ = assert_eq(lfsr11(u11:863), u11:1727);
-    let _ = assert_eq(lfsr11(u11:1727), u11:1407);
-    let _ = assert_eq(lfsr11(u11:1407), u11:766);
-    let _ = assert_eq(lfsr11(u11:766), u11:1532);
-    let _ = assert_eq(lfsr11(u11:1532), u11:1016);
-    let _ = assert_eq(lfsr11(u11:1016), u11:2033);
-    let _ = assert_eq(lfsr11(u11:2033), u11:2018);
-    let _ = assert_eq(lfsr11(u11:2018), u11:1988);
-    let _ = assert_eq(lfsr11(u11:1988), u11:1928);
-    let _ = assert_eq(lfsr11(u11:1928), u11:1808);
-    let _ = assert_eq(lfsr11(u11:1808), u11:1568);
-    let _ = assert_eq(lfsr11(u11:1568), u11:1089);
-    let _ = assert_eq(lfsr11(u11:1089), u11:131);
-    let _ = assert_eq(lfsr11(u11:131), u11:262);
-    let _ = assert_eq(lfsr11(u11:262), u11:525);
-    let _ = assert_eq(lfsr11(u11:525), u11:1050);
-    let _ = assert_eq(lfsr11(u11:1050), u11:53);
-    let _ = assert_eq(lfsr11(u11:53), u11:106);
-    let _ = assert_eq(lfsr11(u11:106), u11:212);
-    let _ = assert_eq(lfsr11(u11:212), u11:424);
-    let _ = assert_eq(lfsr11(u11:424), u11:849);
-    let _ = assert_eq(lfsr11(u11:849), u11:1699);
-    let _ = assert_eq(lfsr11(u11:1699), u11:1351);
-    let _ = assert_eq(lfsr11(u11:1351), u11:654);
-    let _ = assert_eq(lfsr11(u11:654), u11:1308);
-    let _ = assert_eq(lfsr11(u11:1308), u11:568);
-    let _ = assert_eq(lfsr11(u11:568), u11:1136);
-    let _ = assert_eq(lfsr11(u11:1136), u11:225);
-    let _ = assert_eq(lfsr11(u11:225), u11:450);
-    let _ = assert_eq(lfsr11(u11:450), u11:901);
-    let _ = assert_eq(lfsr11(u11:901), u11:1803);
-    let _ = assert_eq(lfsr11(u11:1803), u11:1558);
-    let _ = assert_eq(lfsr11(u11:1558), u11:1069);
-    let _ = assert_eq(lfsr11(u11:1069), u11:91);
-    let _ = assert_eq(lfsr11(u11:91), u11:182);
-    let _ = assert_eq(lfsr11(u11:182), u11:364);
-    let _ = assert_eq(lfsr11(u11:364), u11:729);
-    let _ = assert_eq(lfsr11(u11:729), u11:1458);
-    let _ = assert_eq(lfsr11(u11:1458), u11:868);
-    let _ = assert_eq(lfsr11(u11:868), u11:1737);
-    let _ = assert_eq(lfsr11(u11:1737), u11:1427);
-    let _ = assert_eq(lfsr11(u11:1427), u11:806);
-    let _ = assert_eq(lfsr11(u11:806), u11:1613);
-    let _ = assert_eq(lfsr11(u11:1613), u11:1179);
-    let _ = assert_eq(lfsr11(u11:1179), u11:311);
-    let _ = assert_eq(lfsr11(u11:311), u11:623);
-    let _ = assert_eq(lfsr11(u11:623), u11:1246);
-    let _ = assert_eq(lfsr11(u11:1246), u11:445);
-    let _ = assert_eq(lfsr11(u11:445), u11:891);
-    let _ = assert_eq(lfsr11(u11:891), u11:1783);
-    let _ = assert_eq(lfsr11(u11:1783), u11:1519);
-    let _ = assert_eq(lfsr11(u11:1519), u11:990);
-    let _ = assert_eq(lfsr11(u11:990), u11:1981);
-    let _ = assert_eq(lfsr11(u11:1981), u11:1914);
-    let _ = assert_eq(lfsr11(u11:1914), u11:1780);
-    let _ = assert_eq(lfsr11(u11:1780), u11:1513);
-    let _ = assert_eq(lfsr11(u11:1513), u11:978);
-    let _ = assert_eq(lfsr11(u11:978), u11:1957);
-    let _ = assert_eq(lfsr11(u11:1957), u11:1866);
-    let _ = assert_eq(lfsr11(u11:1866), u11:1684);
-    let _ = assert_eq(lfsr11(u11:1684), u11:1321);
-    let _ = assert_eq(lfsr11(u11:1321), u11:594);
-    let _ = assert_eq(lfsr11(u11:594), u11:1188);
-    let _ = assert_eq(lfsr11(u11:1188), u11:329);
-    let _ = assert_eq(lfsr11(u11:329), u11:659);
-    let _ = assert_eq(lfsr11(u11:659), u11:1318);
-    let _ = assert_eq(lfsr11(u11:1318), u11:588);
-    let _ = assert_eq(lfsr11(u11:588), u11:1176);
-    let _ = assert_eq(lfsr11(u11:1176), u11:305);
-    let _ = assert_eq(lfsr11(u11:305), u11:611);
-    let _ = assert_eq(lfsr11(u11:611), u11:1222);
-    let _ = assert_eq(lfsr11(u11:1222), u11:397);
-    let _ = assert_eq(lfsr11(u11:397), u11:795);
-    let _ = assert_eq(lfsr11(u11:795), u11:1591);
-    let _ = assert_eq(lfsr11(u11:1591), u11:1135);
-    let _ = assert_eq(lfsr11(u11:1135), u11:223);
-    let _ = assert_eq(lfsr11(u11:223), u11:446);
-    let _ = assert_eq(lfsr11(u11:446), u11:893);
-    let _ = assert_eq(lfsr11(u11:893), u11:1787);
-    let _ = assert_eq(lfsr11(u11:1787), u11:1527);
-    let _ = assert_eq(lfsr11(u11:1527), u11:1006);
-    let _ = assert_eq(lfsr11(u11:1006), u11:2013);
-    let _ = assert_eq(lfsr11(u11:2013), u11:1978);
-    let _ = assert_eq(lfsr11(u11:1978), u11:1908);
-    let _ = assert_eq(lfsr11(u11:1908), u11:1768);
-    let _ = assert_eq(lfsr11(u11:1768), u11:1489);
-    let _ = assert_eq(lfsr11(u11:1489), u11:930);
-    let _ = assert_eq(lfsr11(u11:930), u11:1861);
-    let _ = assert_eq(lfsr11(u11:1861), u11:1674);
-    let _ = assert_eq(lfsr11(u11:1674), u11:1301);
-    let _ = assert_eq(lfsr11(u11:1301), u11:554);
-    let _ = assert_eq(lfsr11(u11:554), u11:1108);
-    let _ = assert_eq(lfsr11(u11:1108), u11:169);
-    let _ = assert_eq(lfsr11(u11:169), u11:338);
-    let _ = assert_eq(lfsr11(u11:338), u11:677);
-    let _ = assert_eq(lfsr11(u11:677), u11:1354);
-    let _ = assert_eq(lfsr11(u11:1354), u11:660);
-    let _ = assert_eq(lfsr11(u11:660), u11:1320);
-    let _ = assert_eq(lfsr11(u11:1320), u11:592);
-    let _ = assert_eq(lfsr11(u11:592), u11:1184);
-    let _ = assert_eq(lfsr11(u11:1184), u11:321);
-    let _ = assert_eq(lfsr11(u11:321), u11:643);
-    let _ = assert_eq(lfsr11(u11:643), u11:1286);
-    let _ = assert_eq(lfsr11(u11:1286), u11:524);
-    let _ = assert_eq(lfsr11(u11:524), u11:1048);
-    let _ = assert_eq(lfsr11(u11:1048), u11:49);
-    let _ = assert_eq(lfsr11(u11:49), u11:98);
-    let _ = assert_eq(lfsr11(u11:98), u11:196);
-    let _ = assert_eq(lfsr11(u11:196), u11:392);
-    let _ = assert_eq(lfsr11(u11:392), u11:785);
-    let _ = assert_eq(lfsr11(u11:785), u11:1571);
-    let _ = assert_eq(lfsr11(u11:1571), u11:1095);
-    let _ = assert_eq(lfsr11(u11:1095), u11:143);
-    let _ = assert_eq(lfsr11(u11:143), u11:286);
-    let _ = assert_eq(lfsr11(u11:286), u11:573);
-    let _ = assert_eq(lfsr11(u11:573), u11:1146);
-    let _ = assert_eq(lfsr11(u11:1146), u11:245);
-    let _ = assert_eq(lfsr11(u11:245), u11:490);
-    let _ = assert_eq(lfsr11(u11:490), u11:981);
-    let _ = assert_eq(lfsr11(u11:981), u11:1963);
-    let _ = assert_eq(lfsr11(u11:1963), u11:1878);
-    let _ = assert_eq(lfsr11(u11:1878), u11:1708);
-    let _ = assert_eq(lfsr11(u11:1708), u11:1369);
-    let _ = assert_eq(lfsr11(u11:1369), u11:690);
-    let _ = assert_eq(lfsr11(u11:690), u11:1380);
-    let _ = assert_eq(lfsr11(u11:1380), u11:712);
-    let _ = assert_eq(lfsr11(u11:712), u11:1424);
-    let _ = assert_eq(lfsr11(u11:1424), u11:800);
-    let _ = assert_eq(lfsr11(u11:800), u11:1601);
-    let _ = assert_eq(lfsr11(u11:1601), u11:1155);
-    let _ = assert_eq(lfsr11(u11:1155), u11:263);
-    let _ = assert_eq(lfsr11(u11:263), u11:527);
-    let _ = assert_eq(lfsr11(u11:527), u11:1054);
-    let _ = assert_eq(lfsr11(u11:1054), u11:61);
-    let _ = assert_eq(lfsr11(u11:61), u11:122);
-    let _ = assert_eq(lfsr11(u11:122), u11:244);
-    let _ = assert_eq(lfsr11(u11:244), u11:488);
-    let _ = assert_eq(lfsr11(u11:488), u11:977);
-    let _ = assert_eq(lfsr11(u11:977), u11:1955);
-    let _ = assert_eq(lfsr11(u11:1955), u11:1862);
-    let _ = assert_eq(lfsr11(u11:1862), u11:1676);
-    let _ = assert_eq(lfsr11(u11:1676), u11:1305);
-    let _ = assert_eq(lfsr11(u11:1305), u11:562);
-    let _ = assert_eq(lfsr11(u11:562), u11:1124);
-    let _ = assert_eq(lfsr11(u11:1124), u11:201);
-    let _ = assert_eq(lfsr11(u11:201), u11:402);
-    let _ = assert_eq(lfsr11(u11:402), u11:805);
-    let _ = assert_eq(lfsr11(u11:805), u11:1611);
-    let _ = assert_eq(lfsr11(u11:1611), u11:1175);
-    let _ = assert_eq(lfsr11(u11:1175), u11:303);
-    let _ = assert_eq(lfsr11(u11:303), u11:607);
-    let _ = assert_eq(lfsr11(u11:607), u11:1214);
-    let _ = assert_eq(lfsr11(u11:1214), u11:381);
-    let _ = assert_eq(lfsr11(u11:381), u11:763);
-    let _ = assert_eq(lfsr11(u11:763), u11:1526);
-    let _ = assert_eq(lfsr11(u11:1526), u11:1004);
-    let _ = assert_eq(lfsr11(u11:1004), u11:2009);
-    let _ = assert_eq(lfsr11(u11:2009), u11:1970);
-    let _ = assert_eq(lfsr11(u11:1970), u11:1892);
-    let _ = assert_eq(lfsr11(u11:1892), u11:1736);
-    let _ = assert_eq(lfsr11(u11:1736), u11:1425);
-    let _ = assert_eq(lfsr11(u11:1425), u11:802);
-    let _ = assert_eq(lfsr11(u11:802), u11:1605);
-    let _ = assert_eq(lfsr11(u11:1605), u11:1163);
-    let _ = assert_eq(lfsr11(u11:1163), u11:279);
-    let _ = assert_eq(lfsr11(u11:279), u11:559);
-    let _ = assert_eq(lfsr11(u11:559), u11:1118);
-    let _ = assert_eq(lfsr11(u11:1118), u11:189);
-    let _ = assert_eq(lfsr11(u11:189), u11:378);
-    let _ = assert_eq(lfsr11(u11:378), u11:757);
-    let _ = assert_eq(lfsr11(u11:757), u11:1514);
-    let _ = assert_eq(lfsr11(u11:1514), u11:980);
-    let _ = assert_eq(lfsr11(u11:980), u11:1961);
-    let _ = assert_eq(lfsr11(u11:1961), u11:1874);
-    let _ = assert_eq(lfsr11(u11:1874), u11:1700);
-    let _ = assert_eq(lfsr11(u11:1700), u11:1353);
-    let _ = assert_eq(lfsr11(u11:1353), u11:658);
-    let _ = assert_eq(lfsr11(u11:658), u11:1316);
-    let _ = assert_eq(lfsr11(u11:1316), u11:584);
-    let _ = assert_eq(lfsr11(u11:584), u11:1168);
-    let _ = assert_eq(lfsr11(u11:1168), u11:289);
-    let _ = assert_eq(lfsr11(u11:289), u11:579);
-    let _ = assert_eq(lfsr11(u11:579), u11:1158);
-    let _ = assert_eq(lfsr11(u11:1158), u11:269);
-    let _ = assert_eq(lfsr11(u11:269), u11:539);
-    let _ = assert_eq(lfsr11(u11:539), u11:1078);
-    let _ = assert_eq(lfsr11(u11:1078), u11:109);
-    let _ = assert_eq(lfsr11(u11:109), u11:218);
-    let _ = assert_eq(lfsr11(u11:218), u11:436);
-    let _ = assert_eq(lfsr11(u11:436), u11:873);
-    let _ = assert_eq(lfsr11(u11:873), u11:1747);
-    let _ = assert_eq(lfsr11(u11:1747), u11:1447);
-    let _ = assert_eq(lfsr11(u11:1447), u11:846);
-    let _ = assert_eq(lfsr11(u11:846), u11:1693);
-    let _ = assert_eq(lfsr11(u11:1693), u11:1339);
-    let _ = assert_eq(lfsr11(u11:1339), u11:630);
-    let _ = assert_eq(lfsr11(u11:630), u11:1260);
-    let _ = assert_eq(lfsr11(u11:1260), u11:473);
-    let _ = assert_eq(lfsr11(u11:473), u11:947);
-    let _ = assert_eq(lfsr11(u11:947), u11:1895);
-    let _ = assert_eq(lfsr11(u11:1895), u11:1742);
-    let _ = assert_eq(lfsr11(u11:1742), u11:1437);
-    let _ = assert_eq(lfsr11(u11:1437), u11:826);
-    let _ = assert_eq(lfsr11(u11:826), u11:1653);
-    let _ = assert_eq(lfsr11(u11:1653), u11:1259);
-    let _ = assert_eq(lfsr11(u11:1259), u11:471);
-    let _ = assert_eq(lfsr11(u11:471), u11:943);
-    let _ = assert_eq(lfsr11(u11:943), u11:1887);
-    let _ = assert_eq(lfsr11(u11:1887), u11:1726);
-    let _ = assert_eq(lfsr11(u11:1726), u11:1405);
-    let _ = assert_eq(lfsr11(u11:1405), u11:762);
-    let _ = assert_eq(lfsr11(u11:762), u11:1524);
-    let _ = assert_eq(lfsr11(u11:1524), u11:1000);
-    let _ = assert_eq(lfsr11(u11:1000), u11:2001);
-    let _ = assert_eq(lfsr11(u11:2001), u11:1954);
-    let _ = assert_eq(lfsr11(u11:1954), u11:1860);
-    let _ = assert_eq(lfsr11(u11:1860), u11:1672);
-    let _ = assert_eq(lfsr11(u11:1672), u11:1297);
-    let _ = assert_eq(lfsr11(u11:1297), u11:546);
-    let _ = assert_eq(lfsr11(u11:546), u11:1092);
-    let _ = assert_eq(lfsr11(u11:1092), u11:137);
-    let _ = assert_eq(lfsr11(u11:137), u11:274);
-    let _ = assert_eq(lfsr11(u11:274), u11:549);
-    let _ = assert_eq(lfsr11(u11:549), u11:1098);
-    let _ = assert_eq(lfsr11(u11:1098), u11:149);
-    let _ = assert_eq(lfsr11(u11:149), u11:298);
-    let _ = assert_eq(lfsr11(u11:298), u11:597);
-    let _ = assert_eq(lfsr11(u11:597), u11:1194);
-    let _ = assert_eq(lfsr11(u11:1194), u11:341);
-    let _ = assert_eq(lfsr11(u11:341), u11:683);
-    let _ = assert_eq(lfsr11(u11:683), u11:1366);
-    let _ = assert_eq(lfsr11(u11:1366), u11:684);
-    let _ = assert_eq(lfsr11(u11:684), u11:1368);
-    let _ = assert_eq(lfsr11(u11:1368), u11:688);
-    let _ = assert_eq(lfsr11(u11:688), u11:1376);
-    let _ = assert_eq(lfsr11(u11:1376), u11:704);
-    let _ = assert_eq(lfsr11(u11:704), u11:1408);
-    let _ = assert_eq(lfsr11(u11:1408), u11:768);
-    let _ = assert_eq(lfsr11(u11:768), u11:1537);
-    let _ = assert_eq(lfsr11(u11:1537), u11:1027);
-    let _ = assert_eq(lfsr11(u11:1027), u11:7);
-    let _ = assert_eq(lfsr11(u11:7), u11:14);
-    let _ = assert_eq(lfsr11(u11:14), u11:28);
-    let _ = assert_eq(lfsr11(u11:28), u11:56);
-    let _ = assert_eq(lfsr11(u11:56), u11:112);
-    let _ = assert_eq(lfsr11(u11:112), u11:224);
-    let _ = assert_eq(lfsr11(u11:224), u11:448);
-    let _ = assert_eq(lfsr11(u11:448), u11:897);
-    let _ = assert_eq(lfsr11(u11:897), u11:1795);
-    let _ = assert_eq(lfsr11(u11:1795), u11:1542);
-    let _ = assert_eq(lfsr11(u11:1542), u11:1037);
-    let _ = assert_eq(lfsr11(u11:1037), u11:27);
-    let _ = assert_eq(lfsr11(u11:27), u11:54);
-    let _ = assert_eq(lfsr11(u11:54), u11:108);
-    let _ = assert_eq(lfsr11(u11:108), u11:216);
-    let _ = assert_eq(lfsr11(u11:216), u11:432);
-    let _ = assert_eq(lfsr11(u11:432), u11:865);
-    let _ = assert_eq(lfsr11(u11:865), u11:1731);
-    let _ = assert_eq(lfsr11(u11:1731), u11:1415);
-    let _ = assert_eq(lfsr11(u11:1415), u11:782);
-    let _ = assert_eq(lfsr11(u11:782), u11:1565);
-    let _ = assert_eq(lfsr11(u11:1565), u11:1083);
-    let _ = assert_eq(lfsr11(u11:1083), u11:119);
-    let _ = assert_eq(lfsr11(u11:119), u11:238);
-    let _ = assert_eq(lfsr11(u11:238), u11:476);
-    let _ = assert_eq(lfsr11(u11:476), u11:953);
-    let _ = assert_eq(lfsr11(u11:953), u11:1907);
-    let _ = assert_eq(lfsr11(u11:1907), u11:1766);
-    let _ = assert_eq(lfsr11(u11:1766), u11:1485);
-    let _ = assert_eq(lfsr11(u11:1485), u11:922);
-    let _ = assert_eq(lfsr11(u11:922), u11:1845);
-    let _ = assert_eq(lfsr11(u11:1845), u11:1642);
-    let _ = assert_eq(lfsr11(u11:1642), u11:1237);
-    let _ = assert_eq(lfsr11(u11:1237), u11:427);
-    let _ = assert_eq(lfsr11(u11:427), u11:855);
-    let _ = assert_eq(lfsr11(u11:855), u11:1711);
-    let _ = assert_eq(lfsr11(u11:1711), u11:1375);
-    let _ = assert_eq(lfsr11(u11:1375), u11:702);
-    let _ = assert_eq(lfsr11(u11:702), u11:1404);
-    let _ = assert_eq(lfsr11(u11:1404), u11:760);
-    let _ = assert_eq(lfsr11(u11:760), u11:1520);
-    let _ = assert_eq(lfsr11(u11:1520), u11:992);
-    let _ = assert_eq(lfsr11(u11:992), u11:1985);
-    let _ = assert_eq(lfsr11(u11:1985), u11:1922);
-    let _ = assert_eq(lfsr11(u11:1922), u11:1796);
-    let _ = assert_eq(lfsr11(u11:1796), u11:1544);
-    let _ = assert_eq(lfsr11(u11:1544), u11:1041);
-    let _ = assert_eq(lfsr11(u11:1041), u11:35);
-    let _ = assert_eq(lfsr11(u11:35), u11:70);
-    let _ = assert_eq(lfsr11(u11:70), u11:140);
-    let _ = assert_eq(lfsr11(u11:140), u11:280);
-    let _ = assert_eq(lfsr11(u11:280), u11:561);
-    let _ = assert_eq(lfsr11(u11:561), u11:1122);
-    let _ = assert_eq(lfsr11(u11:1122), u11:197);
-    let _ = assert_eq(lfsr11(u11:197), u11:394);
-    let _ = assert_eq(lfsr11(u11:394), u11:789);
-    let _ = assert_eq(lfsr11(u11:789), u11:1579);
-    let _ = assert_eq(lfsr11(u11:1579), u11:1111);
-    let _ = assert_eq(lfsr11(u11:1111), u11:175);
-    let _ = assert_eq(lfsr11(u11:175), u11:350);
-    let _ = assert_eq(lfsr11(u11:350), u11:701);
-    let _ = assert_eq(lfsr11(u11:701), u11:1402);
-    let _ = assert_eq(lfsr11(u11:1402), u11:756);
-    let _ = assert_eq(lfsr11(u11:756), u11:1512);
-    let _ = assert_eq(lfsr11(u11:1512), u11:976);
-    let _ = assert_eq(lfsr11(u11:976), u11:1953);
-    let _ = assert_eq(lfsr11(u11:1953), u11:1858);
-    let _ = assert_eq(lfsr11(u11:1858), u11:1668);
-    let _ = assert_eq(lfsr11(u11:1668), u11:1289);
-    let _ = assert_eq(lfsr11(u11:1289), u11:530);
-    let _ = assert_eq(lfsr11(u11:530), u11:1060);
-    let _ = assert_eq(lfsr11(u11:1060), u11:73);
-    let _ = assert_eq(lfsr11(u11:73), u11:146);
-    let _ = assert_eq(lfsr11(u11:146), u11:292);
-    let _ = assert_eq(lfsr11(u11:292), u11:585);
-    let _ = assert_eq(lfsr11(u11:585), u11:1170);
-    let _ = assert_eq(lfsr11(u11:1170), u11:293);
-    let _ = assert_eq(lfsr11(u11:293), u11:587);
-    let _ = assert_eq(lfsr11(u11:587), u11:1174);
-    let _ = assert_eq(lfsr11(u11:1174), u11:301);
-    let _ = assert_eq(lfsr11(u11:301), u11:603);
-    let _ = assert_eq(lfsr11(u11:603), u11:1206);
-    let _ = assert_eq(lfsr11(u11:1206), u11:365);
-    let _ = assert_eq(lfsr11(u11:365), u11:731);
-    let _ = assert_eq(lfsr11(u11:731), u11:1462);
-    let _ = assert_eq(lfsr11(u11:1462), u11:876);
-    let _ = assert_eq(lfsr11(u11:876), u11:1753);
-    let _ = assert_eq(lfsr11(u11:1753), u11:1459);
-    let _ = assert_eq(lfsr11(u11:1459), u11:870);
-    let _ = assert_eq(lfsr11(u11:870), u11:1741);
-    let _ = assert_eq(lfsr11(u11:1741), u11:1435);
-    let _ = assert_eq(lfsr11(u11:1435), u11:822);
-    let _ = assert_eq(lfsr11(u11:822), u11:1645);
-    let _ = assert_eq(lfsr11(u11:1645), u11:1243);
-    let _ = assert_eq(lfsr11(u11:1243), u11:439);
-    let _ = assert_eq(lfsr11(u11:439), u11:879);
-    let _ = assert_eq(lfsr11(u11:879), u11:1759);
-    let _ = assert_eq(lfsr11(u11:1759), u11:1471);
-    let _ = assert_eq(lfsr11(u11:1471), u11:894);
-    let _ = assert_eq(lfsr11(u11:894), u11:1789);
-    let _ = assert_eq(lfsr11(u11:1789), u11:1531);
-    let _ = assert_eq(lfsr11(u11:1531), u11:1014);
-    let _ = assert_eq(lfsr11(u11:1014), u11:2029);
-    let _ = assert_eq(lfsr11(u11:2029), u11:2010);
-    let _ = assert_eq(lfsr11(u11:2010), u11:1972);
-    let _ = assert_eq(lfsr11(u11:1972), u11:1896);
-    let _ = assert_eq(lfsr11(u11:1896), u11:1744);
-    let _ = assert_eq(lfsr11(u11:1744), u11:1441);
-    let _ = assert_eq(lfsr11(u11:1441), u11:834);
-    let _ = assert_eq(lfsr11(u11:834), u11:1669);
-    let _ = assert_eq(lfsr11(u11:1669), u11:1291);
-    let _ = assert_eq(lfsr11(u11:1291), u11:534);
-    let _ = assert_eq(lfsr11(u11:534), u11:1068);
-    let _ = assert_eq(lfsr11(u11:1068), u11:89);
-    let _ = assert_eq(lfsr11(u11:89), u11:178);
-    let _ = assert_eq(lfsr11(u11:178), u11:356);
-    let _ = assert_eq(lfsr11(u11:356), u11:713);
-    let _ = assert_eq(lfsr11(u11:713), u11:1426);
-    let _ = assert_eq(lfsr11(u11:1426), u11:804);
-    let _ = assert_eq(lfsr11(u11:804), u11:1609);
-    let _ = assert_eq(lfsr11(u11:1609), u11:1171);
-    let _ = assert_eq(lfsr11(u11:1171), u11:295);
-    let _ = assert_eq(lfsr11(u11:295), u11:591);
-    let _ = assert_eq(lfsr11(u11:591), u11:1182);
-    let _ = assert_eq(lfsr11(u11:1182), u11:317);
-    let _ = assert_eq(lfsr11(u11:317), u11:635);
-    let _ = assert_eq(lfsr11(u11:635), u11:1270);
-    let _ = assert_eq(lfsr11(u11:1270), u11:493);
-    let _ = assert_eq(lfsr11(u11:493), u11:987);
-    let _ = assert_eq(lfsr11(u11:987), u11:1975);
-    let _ = assert_eq(lfsr11(u11:1975), u11:1902);
-    let _ = assert_eq(lfsr11(u11:1902), u11:1756);
-    let _ = assert_eq(lfsr11(u11:1756), u11:1465);
-    let _ = assert_eq(lfsr11(u11:1465), u11:882);
-    let _ = assert_eq(lfsr11(u11:882), u11:1765);
-    let _ = assert_eq(lfsr11(u11:1765), u11:1483);
-    let _ = assert_eq(lfsr11(u11:1483), u11:918);
-    let _ = assert_eq(lfsr11(u11:918), u11:1837);
-    let _ = assert_eq(lfsr11(u11:1837), u11:1626);
-    let _ = assert_eq(lfsr11(u11:1626), u11:1205);
-    let _ = assert_eq(lfsr11(u11:1205), u11:363);
-    let _ = assert_eq(lfsr11(u11:363), u11:727);
-    let _ = assert_eq(lfsr11(u11:727), u11:1454);
-    let _ = assert_eq(lfsr11(u11:1454), u11:860);
-    let _ = assert_eq(lfsr11(u11:860), u11:1721);
-    let _ = assert_eq(lfsr11(u11:1721), u11:1395);
-    let _ = assert_eq(lfsr11(u11:1395), u11:742);
-    let _ = assert_eq(lfsr11(u11:742), u11:1484);
-    let _ = assert_eq(lfsr11(u11:1484), u11:920);
-    let _ = assert_eq(lfsr11(u11:920), u11:1841);
-    let _ = assert_eq(lfsr11(u11:1841), u11:1634);
-    let _ = assert_eq(lfsr11(u11:1634), u11:1221);
-    let _ = assert_eq(lfsr11(u11:1221), u11:395);
-    let _ = assert_eq(lfsr11(u11:395), u11:791);
-    let _ = assert_eq(lfsr11(u11:791), u11:1583);
-    let _ = assert_eq(lfsr11(u11:1583), u11:1119);
-    let _ = assert_eq(lfsr11(u11:1119), u11:191);
-    let _ = assert_eq(lfsr11(u11:191), u11:382);
-    let _ = assert_eq(lfsr11(u11:382), u11:765);
-    let _ = assert_eq(lfsr11(u11:765), u11:1530);
-    let _ = assert_eq(lfsr11(u11:1530), u11:1012);
-    let _ = assert_eq(lfsr11(u11:1012), u11:2025);
-    let _ = assert_eq(lfsr11(u11:2025), u11:2002);
-    let _ = assert_eq(lfsr11(u11:2002), u11:1956);
-    let _ = assert_eq(lfsr11(u11:1956), u11:1864);
-    let _ = assert_eq(lfsr11(u11:1864), u11:1680);
-    let _ = assert_eq(lfsr11(u11:1680), u11:1313);
-    let _ = assert_eq(lfsr11(u11:1313), u11:578);
-    let _ = assert_eq(lfsr11(u11:578), u11:1156);
-    let _ = assert_eq(lfsr11(u11:1156), u11:265);
-    let _ = assert_eq(lfsr11(u11:265), u11:531);
-    let _ = assert_eq(lfsr11(u11:531), u11:1062);
-    let _ = assert_eq(lfsr11(u11:1062), u11:77);
-    let _ = assert_eq(lfsr11(u11:77), u11:154);
-    let _ = assert_eq(lfsr11(u11:154), u11:308);
-    let _ = assert_eq(lfsr11(u11:308), u11:617);
-    let _ = assert_eq(lfsr11(u11:617), u11:1234);
-    let _ = assert_eq(lfsr11(u11:1234), u11:421);
-    let _ = assert_eq(lfsr11(u11:421), u11:843);
-    let _ = assert_eq(lfsr11(u11:843), u11:1687);
-    let _ = assert_eq(lfsr11(u11:1687), u11:1327);
-    let _ = assert_eq(lfsr11(u11:1327), u11:606);
-    let _ = assert_eq(lfsr11(u11:606), u11:1212);
-    let _ = assert_eq(lfsr11(u11:1212), u11:377);
-    let _ = assert_eq(lfsr11(u11:377), u11:755);
-    let _ = assert_eq(lfsr11(u11:755), u11:1510);
-    let _ = assert_eq(lfsr11(u11:1510), u11:972);
-    let _ = assert_eq(lfsr11(u11:972), u11:1945);
-    let _ = assert_eq(lfsr11(u11:1945), u11:1842);
-    let _ = assert_eq(lfsr11(u11:1842), u11:1636);
-    let _ = assert_eq(lfsr11(u11:1636), u11:1225);
-    let _ = assert_eq(lfsr11(u11:1225), u11:403);
-    let _ = assert_eq(lfsr11(u11:403), u11:807);
-    let _ = assert_eq(lfsr11(u11:807), u11:1615);
-    let _ = assert_eq(lfsr11(u11:1615), u11:1183);
-    let _ = assert_eq(lfsr11(u11:1183), u11:319);
-    let _ = assert_eq(lfsr11(u11:319), u11:639);
-    let _ = assert_eq(lfsr11(u11:639), u11:1278);
-    let _ = assert_eq(lfsr11(u11:1278), u11:509);
-    let _ = assert_eq(lfsr11(u11:509), u11:1019);
-    let _ = assert_eq(lfsr11(u11:1019), u11:2039);
-    let _ = assert_eq(lfsr11(u11:2039), u11:2030);
-    let _ = assert_eq(lfsr11(u11:2030), u11:2012);
-    let _ = assert_eq(lfsr11(u11:2012), u11:1976);
-    let _ = assert_eq(lfsr11(u11:1976), u11:1904);
-    let _ = assert_eq(lfsr11(u11:1904), u11:1760);
-    let _ = assert_eq(lfsr11(u11:1760), u11:1473);
-    let _ = assert_eq(lfsr11(u11:1473), u11:898);
-    let _ = assert_eq(lfsr11(u11:898), u11:1797);
-    let _ = assert_eq(lfsr11(u11:1797), u11:1546);
-    let _ = assert_eq(lfsr11(u11:1546), u11:1045);
-    let _ = assert_eq(lfsr11(u11:1045), u11:43);
-    let _ = assert_eq(lfsr11(u11:43), u11:86);
-    let _ = assert_eq(lfsr11(u11:86), u11:172);
-    let _ = assert_eq(lfsr11(u11:172), u11:344);
-    let _ = assert_eq(lfsr11(u11:344), u11:689);
-    let _ = assert_eq(lfsr11(u11:689), u11:1378);
-    let _ = assert_eq(lfsr11(u11:1378), u11:708);
-    let _ = assert_eq(lfsr11(u11:708), u11:1416);
-    let _ = assert_eq(lfsr11(u11:1416), u11:784);
-    let _ = assert_eq(lfsr11(u11:784), u11:1569);
-    let _ = assert_eq(lfsr11(u11:1569), u11:1091);
-    let _ = assert_eq(lfsr11(u11:1091), u11:135);
-    let _ = assert_eq(lfsr11(u11:135), u11:270);
-    let _ = assert_eq(lfsr11(u11:270), u11:541);
-    let _ = assert_eq(lfsr11(u11:541), u11:1082);
-    let _ = assert_eq(lfsr11(u11:1082), u11:117);
-    let _ = assert_eq(lfsr11(u11:117), u11:234);
-    let _ = assert_eq(lfsr11(u11:234), u11:468);
-    let _ = assert_eq(lfsr11(u11:468), u11:937);
-    let _ = assert_eq(lfsr11(u11:937), u11:1875);
-    let _ = assert_eq(lfsr11(u11:1875), u11:1702);
-    let _ = assert_eq(lfsr11(u11:1702), u11:1357);
-    let _ = assert_eq(lfsr11(u11:1357), u11:666);
-    let _ = assert_eq(lfsr11(u11:666), u11:1332);
-    let _ = assert_eq(lfsr11(u11:1332), u11:616);
-    let _ = assert_eq(lfsr11(u11:616), u11:1232);
-    let _ = assert_eq(lfsr11(u11:1232), u11:417);
-    let _ = assert_eq(lfsr11(u11:417), u11:835);
-    let _ = assert_eq(lfsr11(u11:835), u11:1671);
-    let _ = assert_eq(lfsr11(u11:1671), u11:1295);
-    let _ = assert_eq(lfsr11(u11:1295), u11:542);
-    let _ = assert_eq(lfsr11(u11:542), u11:1084);
-    let _ = assert_eq(lfsr11(u11:1084), u11:121);
-    let _ = assert_eq(lfsr11(u11:121), u11:242);
-    let _ = assert_eq(lfsr11(u11:242), u11:484);
-    let _ = assert_eq(lfsr11(u11:484), u11:969);
-    let _ = assert_eq(lfsr11(u11:969), u11:1939);
-    let _ = assert_eq(lfsr11(u11:1939), u11:1830);
-    let _ = assert_eq(lfsr11(u11:1830), u11:1612);
-    let _ = assert_eq(lfsr11(u11:1612), u11:1177);
-    let _ = assert_eq(lfsr11(u11:1177), u11:307);
-    let _ = assert_eq(lfsr11(u11:307), u11:615);
-    let _ = assert_eq(lfsr11(u11:615), u11:1230);
-    let _ = assert_eq(lfsr11(u11:1230), u11:413);
-    let _ = assert_eq(lfsr11(u11:413), u11:827);
-    let _ = assert_eq(lfsr11(u11:827), u11:1655);
-    let _ = assert_eq(lfsr11(u11:1655), u11:1263);
-    let _ = assert_eq(lfsr11(u11:1263), u11:479);
-    let _ = assert_eq(lfsr11(u11:479), u11:959);
-    let _ = assert_eq(lfsr11(u11:959), u11:1919);
-    let _ = assert_eq(lfsr11(u11:1919), u11:1790);
-    let _ = assert_eq(lfsr11(u11:1790), u11:1533);
-    let _ = assert_eq(lfsr11(u11:1533), u11:1018);
-    let _ = assert_eq(lfsr11(u11:1018), u11:2037);
-    let _ = assert_eq(lfsr11(u11:2037), u11:2026);
-    let _ = assert_eq(lfsr11(u11:2026), u11:2004);
-    let _ = assert_eq(lfsr11(u11:2004), u11:1960);
-    let _ = assert_eq(lfsr11(u11:1960), u11:1872);
-    let _ = assert_eq(lfsr11(u11:1872), u11:1696);
-    let _ = assert_eq(lfsr11(u11:1696), u11:1345);
-    let _ = assert_eq(lfsr11(u11:1345), u11:642);
-    let _ = assert_eq(lfsr11(u11:642), u11:1284);
-    let _ = assert_eq(lfsr11(u11:1284), u11:520);
-    let _ = assert_eq(lfsr11(u11:520), u11:1040);
-    let _ = assert_eq(lfsr11(u11:1040), u11:33);
-    let _ = assert_eq(lfsr11(u11:33), u11:66);
-    let _ = assert_eq(lfsr11(u11:66), u11:132);
-    let _ = assert_eq(lfsr11(u11:132), u11:264);
-    let _ = assert_eq(lfsr11(u11:264), u11:529);
-    let _ = assert_eq(lfsr11(u11:529), u11:1058);
-    let _ = assert_eq(lfsr11(u11:1058), u11:69);
-    let _ = assert_eq(lfsr11(u11:69), u11:138);
-    let _ = assert_eq(lfsr11(u11:138), u11:276);
-    let _ = assert_eq(lfsr11(u11:276), u11:553);
-    let _ = assert_eq(lfsr11(u11:553), u11:1106);
-    let _ = assert_eq(lfsr11(u11:1106), u11:165);
-    let _ = assert_eq(lfsr11(u11:165), u11:330);
-    let _ = assert_eq(lfsr11(u11:330), u11:661);
-    let _ = assert_eq(lfsr11(u11:661), u11:1322);
-    let _ = assert_eq(lfsr11(u11:1322), u11:596);
-    let _ = assert_eq(lfsr11(u11:596), u11:1192);
-    let _ = assert_eq(lfsr11(u11:1192), u11:337);
-    let _ = assert_eq(lfsr11(u11:337), u11:675);
-    let _ = assert_eq(lfsr11(u11:675), u11:1350);
-    let _ = assert_eq(lfsr11(u11:1350), u11:652);
-    let _ = assert_eq(lfsr11(u11:652), u11:1304);
-    let _ = assert_eq(lfsr11(u11:1304), u11:560);
-    let _ = assert_eq(lfsr11(u11:560), u11:1120);
-    let _ = assert_eq(lfsr11(u11:1120), u11:193);
-    let _ = assert_eq(lfsr11(u11:193), u11:386);
-    let _ = assert_eq(lfsr11(u11:386), u11:773);
-    let _ = assert_eq(lfsr11(u11:773), u11:1547);
-    let _ = assert_eq(lfsr11(u11:1547), u11:1047);
-    let _ = assert_eq(lfsr11(u11:1047), u11:47);
-    let _ = assert_eq(lfsr11(u11:47), u11:94);
-    let _ = assert_eq(lfsr11(u11:94), u11:188);
-    let _ = assert_eq(lfsr11(u11:188), u11:376);
-    let _ = assert_eq(lfsr11(u11:376), u11:753);
-    let _ = assert_eq(lfsr11(u11:753), u11:1506);
-    let _ = assert_eq(lfsr11(u11:1506), u11:964);
-    let _ = assert_eq(lfsr11(u11:964), u11:1929);
-    let _ = assert_eq(lfsr11(u11:1929), u11:1810);
-    let _ = assert_eq(lfsr11(u11:1810), u11:1572);
-    let _ = assert_eq(lfsr11(u11:1572), u11:1097);
-    let _ = assert_eq(lfsr11(u11:1097), u11:147);
-    let _ = assert_eq(lfsr11(u11:147), u11:294);
-    let _ = assert_eq(lfsr11(u11:294), u11:589);
-    let _ = assert_eq(lfsr11(u11:589), u11:1178);
-    let _ = assert_eq(lfsr11(u11:1178), u11:309);
-    let _ = assert_eq(lfsr11(u11:309), u11:619);
-    let _ = assert_eq(lfsr11(u11:619), u11:1238);
-    let _ = assert_eq(lfsr11(u11:1238), u11:429);
-    let _ = assert_eq(lfsr11(u11:429), u11:859);
-    let _ = assert_eq(lfsr11(u11:859), u11:1719);
-    let _ = assert_eq(lfsr11(u11:1719), u11:1391);
-    let _ = assert_eq(lfsr11(u11:1391), u11:734);
-    let _ = assert_eq(lfsr11(u11:734), u11:1468);
-    let _ = assert_eq(lfsr11(u11:1468), u11:888);
-    let _ = assert_eq(lfsr11(u11:888), u11:1777);
-    let _ = assert_eq(lfsr11(u11:1777), u11:1507);
-    let _ = assert_eq(lfsr11(u11:1507), u11:966);
-    let _ = assert_eq(lfsr11(u11:966), u11:1933);
-    let _ = assert_eq(lfsr11(u11:1933), u11:1818);
-    let _ = assert_eq(lfsr11(u11:1818), u11:1588);
-    let _ = assert_eq(lfsr11(u11:1588), u11:1129);
-    let _ = assert_eq(lfsr11(u11:1129), u11:211);
-    let _ = assert_eq(lfsr11(u11:211), u11:422);
-    let _ = assert_eq(lfsr11(u11:422), u11:845);
-    let _ = assert_eq(lfsr11(u11:845), u11:1691);
-    let _ = assert_eq(lfsr11(u11:1691), u11:1335);
-    let _ = assert_eq(lfsr11(u11:1335), u11:622);
-    let _ = assert_eq(lfsr11(u11:622), u11:1244);
-    let _ = assert_eq(lfsr11(u11:1244), u11:441);
-    let _ = assert_eq(lfsr11(u11:441), u11:883);
-    let _ = assert_eq(lfsr11(u11:883), u11:1767);
-    let _ = assert_eq(lfsr11(u11:1767), u11:1487);
-    let _ = assert_eq(lfsr11(u11:1487), u11:926);
-    let _ = assert_eq(lfsr11(u11:926), u11:1853);
-    let _ = assert_eq(lfsr11(u11:1853), u11:1658);
-    let _ = assert_eq(lfsr11(u11:1658), u11:1269);
-    let _ = assert_eq(lfsr11(u11:1269), u11:491);
-    let _ = assert_eq(lfsr11(u11:491), u11:983);
-    let _ = assert_eq(lfsr11(u11:983), u11:1967);
-    let _ = assert_eq(lfsr11(u11:1967), u11:1886);
-    let _ = assert_eq(lfsr11(u11:1886), u11:1724);
-    let _ = assert_eq(lfsr11(u11:1724), u11:1401);
-    let _ = assert_eq(lfsr11(u11:1401), u11:754);
-    let _ = assert_eq(lfsr11(u11:754), u11:1508);
-    let _ = assert_eq(lfsr11(u11:1508), u11:968);
-    let _ = assert_eq(lfsr11(u11:968), u11:1937);
-    let _ = assert_eq(lfsr11(u11:1937), u11:1826);
-    let _ = assert_eq(lfsr11(u11:1826), u11:1604);
-    let _ = assert_eq(lfsr11(u11:1604), u11:1161);
-    let _ = assert_eq(lfsr11(u11:1161), u11:275);
-    let _ = assert_eq(lfsr11(u11:275), u11:551);
-    let _ = assert_eq(lfsr11(u11:551), u11:1102);
-    let _ = assert_eq(lfsr11(u11:1102), u11:157);
-    let _ = assert_eq(lfsr11(u11:157), u11:314);
-    let _ = assert_eq(lfsr11(u11:314), u11:629);
-    let _ = assert_eq(lfsr11(u11:629), u11:1258);
-    let _ = assert_eq(lfsr11(u11:1258), u11:469);
-    let _ = assert_eq(lfsr11(u11:469), u11:939);
-    let _ = assert_eq(lfsr11(u11:939), u11:1879);
-    let _ = assert_eq(lfsr11(u11:1879), u11:1710);
-    let _ = assert_eq(lfsr11(u11:1710), u11:1373);
-    let _ = assert_eq(lfsr11(u11:1373), u11:698);
-    let _ = assert_eq(lfsr11(u11:698), u11:1396);
-    let _ = assert_eq(lfsr11(u11:1396), u11:744);
-    let _ = assert_eq(lfsr11(u11:744), u11:1488);
-    let _ = assert_eq(lfsr11(u11:1488), u11:928);
-    let _ = assert_eq(lfsr11(u11:928), u11:1857);
-    let _ = assert_eq(lfsr11(u11:1857), u11:1666);
-    let _ = assert_eq(lfsr11(u11:1666), u11:1285);
-    let _ = assert_eq(lfsr11(u11:1285), u11:522);
-    let _ = assert_eq(lfsr11(u11:522), u11:1044);
-    let _ = assert_eq(lfsr11(u11:1044), u11:41);
-    let _ = assert_eq(lfsr11(u11:41), u11:82);
-    let _ = assert_eq(lfsr11(u11:82), u11:164);
-    let _ = assert_eq(lfsr11(u11:164), u11:328);
-    let _ = assert_eq(lfsr11(u11:328), u11:657);
-    let _ = assert_eq(lfsr11(u11:657), u11:1314);
-    let _ = assert_eq(lfsr11(u11:1314), u11:580);
-    let _ = assert_eq(lfsr11(u11:580), u11:1160);
-    let _ = assert_eq(lfsr11(u11:1160), u11:273);
-    let _ = assert_eq(lfsr11(u11:273), u11:547);
-    let _ = assert_eq(lfsr11(u11:547), u11:1094);
-    let _ = assert_eq(lfsr11(u11:1094), u11:141);
-    let _ = assert_eq(lfsr11(u11:141), u11:282);
-    let _ = assert_eq(lfsr11(u11:282), u11:565);
-    let _ = assert_eq(lfsr11(u11:565), u11:1130);
-    let _ = assert_eq(lfsr11(u11:1130), u11:213);
-    let _ = assert_eq(lfsr11(u11:213), u11:426);
-    let _ = assert_eq(lfsr11(u11:426), u11:853);
-    let _ = assert_eq(lfsr11(u11:853), u11:1707);
-    let _ = assert_eq(lfsr11(u11:1707), u11:1367);
-    let _ = assert_eq(lfsr11(u11:1367), u11:686);
-    let _ = assert_eq(lfsr11(u11:686), u11:1372);
-    let _ = assert_eq(lfsr11(u11:1372), u11:696);
-    let _ = assert_eq(lfsr11(u11:696), u11:1392);
-    let _ = assert_eq(lfsr11(u11:1392), u11:736);
-    let _ = assert_eq(lfsr11(u11:736), u11:1472);
-    let _ = assert_eq(lfsr11(u11:1472), u11:896);
-    let _ = assert_eq(lfsr11(u11:896), u11:1793);
-    let _ = assert_eq(lfsr11(u11:1793), u11:1538);
-    let _ = assert_eq(lfsr11(u11:1538), u11:1029);
-    let _ = assert_eq(lfsr11(u11:1029), u11:11);
-    let _ = assert_eq(lfsr11(u11:11), u11:22);
-    let _ = assert_eq(lfsr11(u11:22), u11:44);
-    let _ = assert_eq(lfsr11(u11:44), u11:88);
-    let _ = assert_eq(lfsr11(u11:88), u11:176);
-    let _ = assert_eq(lfsr11(u11:176), u11:352);
-    let _ = assert_eq(lfsr11(u11:352), u11:705);
-    let _ = assert_eq(lfsr11(u11:705), u11:1410);
-    let _ = assert_eq(lfsr11(u11:1410), u11:772);
-    let _ = assert_eq(lfsr11(u11:772), u11:1545);
-    let _ = assert_eq(lfsr11(u11:1545), u11:1043);
-    let _ = assert_eq(lfsr11(u11:1043), u11:39);
-    let _ = assert_eq(lfsr11(u11:39), u11:78);
-    let _ = assert_eq(lfsr11(u11:78), u11:156);
-    let _ = assert_eq(lfsr11(u11:156), u11:312);
-    let _ = assert_eq(lfsr11(u11:312), u11:625);
-    let _ = assert_eq(lfsr11(u11:625), u11:1250);
-    let _ = assert_eq(lfsr11(u11:1250), u11:453);
-    let _ = assert_eq(lfsr11(u11:453), u11:907);
-    let _ = assert_eq(lfsr11(u11:907), u11:1815);
-    let _ = assert_eq(lfsr11(u11:1815), u11:1582);
-    let _ = assert_eq(lfsr11(u11:1582), u11:1117);
-    let _ = assert_eq(lfsr11(u11:1117), u11:187);
-    let _ = assert_eq(lfsr11(u11:187), u11:374);
-    let _ = assert_eq(lfsr11(u11:374), u11:749);
-    let _ = assert_eq(lfsr11(u11:749), u11:1498);
-    let _ = assert_eq(lfsr11(u11:1498), u11:948);
-    let _ = assert_eq(lfsr11(u11:948), u11:1897);
-    let _ = assert_eq(lfsr11(u11:1897), u11:1746);
-    let _ = assert_eq(lfsr11(u11:1746), u11:1445);
-    let _ = assert_eq(lfsr11(u11:1445), u11:842);
-    let _ = assert_eq(lfsr11(u11:842), u11:1685);
-    let _ = assert_eq(lfsr11(u11:1685), u11:1323);
-    let _ = assert_eq(lfsr11(u11:1323), u11:598);
-    let _ = assert_eq(lfsr11(u11:598), u11:1196);
-    let _ = assert_eq(lfsr11(u11:1196), u11:345);
-    let _ = assert_eq(lfsr11(u11:345), u11:691);
-    let _ = assert_eq(lfsr11(u11:691), u11:1382);
-    let _ = assert_eq(lfsr11(u11:1382), u11:716);
-    let _ = assert_eq(lfsr11(u11:716), u11:1432);
-    let _ = assert_eq(lfsr11(u11:1432), u11:816);
-    let _ = assert_eq(lfsr11(u11:816), u11:1633);
-    let _ = assert_eq(lfsr11(u11:1633), u11:1219);
-    let _ = assert_eq(lfsr11(u11:1219), u11:391);
-    let _ = assert_eq(lfsr11(u11:391), u11:783);
-    let _ = assert_eq(lfsr11(u11:783), u11:1567);
-    let _ = assert_eq(lfsr11(u11:1567), u11:1087);
-    let _ = assert_eq(lfsr11(u11:1087), u11:127);
-    let _ = assert_eq(lfsr11(u11:127), u11:254);
-    let _ = assert_eq(lfsr11(u11:254), u11:508);
-    let _ = assert_eq(lfsr11(u11:508), u11:1017);
-    let _ = assert_eq(lfsr11(u11:1017), u11:2035);
-    let _ = assert_eq(lfsr11(u11:2035), u11:2022);
-    let _ = assert_eq(lfsr11(u11:2022), u11:1996);
-    let _ = assert_eq(lfsr11(u11:1996), u11:1944);
-    let _ = assert_eq(lfsr11(u11:1944), u11:1840);
-    let _ = assert_eq(lfsr11(u11:1840), u11:1632);
-    let _ = assert_eq(lfsr11(u11:1632), u11:1217);
-    let _ = assert_eq(lfsr11(u11:1217), u11:387);
-    let _ = assert_eq(lfsr11(u11:387), u11:775);
-    let _ = assert_eq(lfsr11(u11:775), u11:1551);
-    let _ = assert_eq(lfsr11(u11:1551), u11:1055);
-    let _ = assert_eq(lfsr11(u11:1055), u11:63);
-    let _ = assert_eq(lfsr11(u11:63), u11:126);
-    let _ = assert_eq(lfsr11(u11:126), u11:252);
-    let _ = assert_eq(lfsr11(u11:252), u11:504);
-    let _ = assert_eq(lfsr11(u11:504), u11:1009);
-    let _ = assert_eq(lfsr11(u11:1009), u11:2019);
-    let _ = assert_eq(lfsr11(u11:2019), u11:1990);
-    let _ = assert_eq(lfsr11(u11:1990), u11:1932);
-    let _ = assert_eq(lfsr11(u11:1932), u11:1816);
-    let _ = assert_eq(lfsr11(u11:1816), u11:1584);
-    let _ = assert_eq(lfsr11(u11:1584), u11:1121);
-    let _ = assert_eq(lfsr11(u11:1121), u11:195);
-    let _ = assert_eq(lfsr11(u11:195), u11:390);
-    let _ = assert_eq(lfsr11(u11:390), u11:781);
-    let _ = assert_eq(lfsr11(u11:781), u11:1563);
-    let _ = assert_eq(lfsr11(u11:1563), u11:1079);
-    let _ = assert_eq(lfsr11(u11:1079), u11:111);
-    let _ = assert_eq(lfsr11(u11:111), u11:222);
-    let _ = assert_eq(lfsr11(u11:222), u11:444);
-    let _ = assert_eq(lfsr11(u11:444), u11:889);
-    let _ = assert_eq(lfsr11(u11:889), u11:1779);
-    let _ = assert_eq(lfsr11(u11:1779), u11:1511);
-    let _ = assert_eq(lfsr11(u11:1511), u11:974);
-    let _ = assert_eq(lfsr11(u11:974), u11:1949);
-    let _ = assert_eq(lfsr11(u11:1949), u11:1850);
-    let _ = assert_eq(lfsr11(u11:1850), u11:1652);
-    let _ = assert_eq(lfsr11(u11:1652), u11:1257);
-    let _ = assert_eq(lfsr11(u11:1257), u11:467);
-    let _ = assert_eq(lfsr11(u11:467), u11:935);
-    let _ = assert_eq(lfsr11(u11:935), u11:1871);
-    let _ = assert_eq(lfsr11(u11:1871), u11:1694);
-    let _ = assert_eq(lfsr11(u11:1694), u11:1341);
-    let _ = assert_eq(lfsr11(u11:1341), u11:634);
-    let _ = assert_eq(lfsr11(u11:634), u11:1268);
-    let _ = assert_eq(lfsr11(u11:1268), u11:489);
-    let _ = assert_eq(lfsr11(u11:489), u11:979);
-    let _ = assert_eq(lfsr11(u11:979), u11:1959);
-    let _ = assert_eq(lfsr11(u11:1959), u11:1870);
-    let _ = assert_eq(lfsr11(u11:1870), u11:1692);
-    let _ = assert_eq(lfsr11(u11:1692), u11:1337);
-    let _ = assert_eq(lfsr11(u11:1337), u11:626);
-    let _ = assert_eq(lfsr11(u11:626), u11:1252);
-    let _ = assert_eq(lfsr11(u11:1252), u11:457);
-    let _ = assert_eq(lfsr11(u11:457), u11:915);
-    let _ = assert_eq(lfsr11(u11:915), u11:1831);
-    let _ = assert_eq(lfsr11(u11:1831), u11:1614);
-    let _ = assert_eq(lfsr11(u11:1614), u11:1181);
-    let _ = assert_eq(lfsr11(u11:1181), u11:315);
-    let _ = assert_eq(lfsr11(u11:315), u11:631);
-    let _ = assert_eq(lfsr11(u11:631), u11:1262);
-    let _ = assert_eq(lfsr11(u11:1262), u11:477);
-    let _ = assert_eq(lfsr11(u11:477), u11:955);
-    let _ = assert_eq(lfsr11(u11:955), u11:1911);
-    let _ = assert_eq(lfsr11(u11:1911), u11:1774);
-    let _ = assert_eq(lfsr11(u11:1774), u11:1501);
-    let _ = assert_eq(lfsr11(u11:1501), u11:954);
-    let _ = assert_eq(lfsr11(u11:954), u11:1909);
-    let _ = assert_eq(lfsr11(u11:1909), u11:1770);
-    let _ = assert_eq(lfsr11(u11:1770), u11:1493);
-    let _ = assert_eq(lfsr11(u11:1493), u11:938);
-    let _ = assert_eq(lfsr11(u11:938), u11:1877);
-    let _ = assert_eq(lfsr11(u11:1877), u11:1706);
-    let _ = assert_eq(lfsr11(u11:1706), u11:1365);
-    let _ = assert_eq(lfsr11(u11:1365), u11:682);
-    let _ = assert_eq(lfsr11(u11:682), u11:1364);
-    let _ = assert_eq(lfsr11(u11:1364), u11:680);
-    let _ = assert_eq(lfsr11(u11:680), u11:1360);
-    let _ = assert_eq(lfsr11(u11:1360), u11:672);
-    let _ = assert_eq(lfsr11(u11:672), u11:1344);
-    let _ = assert_eq(lfsr11(u11:1344), u11:640);
-    let _ = assert_eq(lfsr11(u11:640), u11:1280);
-    let _ = assert_eq(lfsr11(u11:1280), u11:512);
-    let _ = assert_eq(lfsr11(u11:512), u11:1024);
-    let _ = assert_eq(lfsr11(u11:1024), u11:1);
-}
-
-pub fn user_module(io_in: u8) -> u8 {
-    lfsr8(io_in)
+fn lfsr7_test() {
+    let _ = assert_eq(lfsr7(u7:0), u7:0);
+    let _ = assert_eq(lfsr7(u7:1), u7:2);
+    let _ = assert_eq(lfsr7(u7:2), u7:4);
+    let _ = assert_eq(lfsr7(u7:4), u7:8);
+    let _ = assert_eq(lfsr7(u7:8), u7:16);
+    let _ = assert_eq(lfsr7(u7:16), u7:32);
+    let _ = assert_eq(lfsr7(u7:32), u7:65);
+    let _ = assert_eq(lfsr7(u7:65), u7:3);
+    let _ = assert_eq(lfsr7(u7:3), u7:6);
+    let _ = assert_eq(lfsr7(u7:6), u7:12);
+    let _ = assert_eq(lfsr7(u7:12), u7:24);
+    let _ = assert_eq(lfsr7(u7:24), u7:48);
+    let _ = assert_eq(lfsr7(u7:48), u7:97);
+    let _ = assert_eq(lfsr7(u7:97), u7:66);
+    let _ = assert_eq(lfsr7(u7:66), u7:5);
+    let _ = assert_eq(lfsr7(u7:5), u7:10);
+    let _ = assert_eq(lfsr7(u7:10), u7:20);
+    let _ = assert_eq(lfsr7(u7:20), u7:40);
+    let _ = assert_eq(lfsr7(u7:40), u7:81);
+    let _ = assert_eq(lfsr7(u7:81), u7:35);
+    let _ = assert_eq(lfsr7(u7:35), u7:71);
+    let _ = assert_eq(lfsr7(u7:71), u7:15);
+    let _ = assert_eq(lfsr7(u7:15), u7:30);
+    let _ = assert_eq(lfsr7(u7:30), u7:60);
+    let _ = assert_eq(lfsr7(u7:60), u7:121);
+    let _ = assert_eq(lfsr7(u7:121), u7:114);
+    let _ = assert_eq(lfsr7(u7:114), u7:100);
+    let _ = assert_eq(lfsr7(u7:100), u7:72);
+    let _ = assert_eq(lfsr7(u7:72), u7:17);
+    let _ = assert_eq(lfsr7(u7:17), u7:34);
+    let _ = assert_eq(lfsr7(u7:34), u7:69);
+    let _ = assert_eq(lfsr7(u7:69), u7:11);
+    let _ = assert_eq(lfsr7(u7:11), u7:22);
+    let _ = assert_eq(lfsr7(u7:22), u7:44);
+    let _ = assert_eq(lfsr7(u7:44), u7:89);
+    let _ = assert_eq(lfsr7(u7:89), u7:51);
+    let _ = assert_eq(lfsr7(u7:51), u7:103);
+    let _ = assert_eq(lfsr7(u7:103), u7:78);
+    let _ = assert_eq(lfsr7(u7:78), u7:29);
+    let _ = assert_eq(lfsr7(u7:29), u7:58);
+    let _ = assert_eq(lfsr7(u7:58), u7:117);
+    let _ = assert_eq(lfsr7(u7:117), u7:106);
+    let _ = assert_eq(lfsr7(u7:106), u7:84);
+    let _ = assert_eq(lfsr7(u7:84), u7:41);
+    let _ = assert_eq(lfsr7(u7:41), u7:83);
+    let _ = assert_eq(lfsr7(u7:83), u7:39);
+    let _ = assert_eq(lfsr7(u7:39), u7:79);
+    let _ = assert_eq(lfsr7(u7:79), u7:31);
+    let _ = assert_eq(lfsr7(u7:31), u7:62);
+    let _ = assert_eq(lfsr7(u7:62), u7:125);
+    let _ = assert_eq(lfsr7(u7:125), u7:122);
+    let _ = assert_eq(lfsr7(u7:122), u7:116);
+    let _ = assert_eq(lfsr7(u7:116), u7:104);
+    let _ = assert_eq(lfsr7(u7:104), u7:80);
+    let _ = assert_eq(lfsr7(u7:80), u7:33);
+    let _ = assert_eq(lfsr7(u7:33), u7:67);
+    let _ = assert_eq(lfsr7(u7:67), u7:7);
+    let _ = assert_eq(lfsr7(u7:7), u7:14);
+    let _ = assert_eq(lfsr7(u7:14), u7:28);
+    let _ = assert_eq(lfsr7(u7:28), u7:56);
+    let _ = assert_eq(lfsr7(u7:56), u7:113);
+    let _ = assert_eq(lfsr7(u7:113), u7:98);
+    let _ = assert_eq(lfsr7(u7:98), u7:68);
+    let _ = assert_eq(lfsr7(u7:68), u7:9);
+    let _ = assert_eq(lfsr7(u7:9), u7:18);
+    let _ = assert_eq(lfsr7(u7:18), u7:36);
+    let _ = assert_eq(lfsr7(u7:36), u7:73);
+    let _ = assert_eq(lfsr7(u7:73), u7:19);
+    let _ = assert_eq(lfsr7(u7:19), u7:38);
+    let _ = assert_eq(lfsr7(u7:38), u7:77);
+    let _ = assert_eq(lfsr7(u7:77), u7:27);
+    let _ = assert_eq(lfsr7(u7:27), u7:54);
+    let _ = assert_eq(lfsr7(u7:54), u7:109);
+    let _ = assert_eq(lfsr7(u7:109), u7:90);
+    let _ = assert_eq(lfsr7(u7:90), u7:53);
+    let _ = assert_eq(lfsr7(u7:53), u7:107);
+    let _ = assert_eq(lfsr7(u7:107), u7:86);
+    let _ = assert_eq(lfsr7(u7:86), u7:45);
+    let _ = assert_eq(lfsr7(u7:45), u7:91);
+    let _ = assert_eq(lfsr7(u7:91), u7:55);
+    let _ = assert_eq(lfsr7(u7:55), u7:111);
+    let _ = assert_eq(lfsr7(u7:111), u7:94);
+    let _ = assert_eq(lfsr7(u7:94), u7:61);
+    let _ = assert_eq(lfsr7(u7:61), u7:123);
+    let _ = assert_eq(lfsr7(u7:123), u7:118);
+    let _ = assert_eq(lfsr7(u7:118), u7:108);
+    let _ = assert_eq(lfsr7(u7:108), u7:88);
+    let _ = assert_eq(lfsr7(u7:88), u7:49);
+    let _ = assert_eq(lfsr7(u7:49), u7:99);
+    let _ = assert_eq(lfsr7(u7:99), u7:70);
+    let _ = assert_eq(lfsr7(u7:70), u7:13);
+    let _ = assert_eq(lfsr7(u7:13), u7:26);
+    let _ = assert_eq(lfsr7(u7:26), u7:52);
+    let _ = assert_eq(lfsr7(u7:52), u7:105);
+    let _ = assert_eq(lfsr7(u7:105), u7:82);
+    let _ = assert_eq(lfsr7(u7:82), u7:37);
+    let _ = assert_eq(lfsr7(u7:37), u7:75);
+    let _ = assert_eq(lfsr7(u7:75), u7:23);
+    let _ = assert_eq(lfsr7(u7:23), u7:46);
+    let _ = assert_eq(lfsr7(u7:46), u7:93);
+    let _ = assert_eq(lfsr7(u7:93), u7:59);
+    let _ = assert_eq(lfsr7(u7:59), u7:119);
+    let _ = assert_eq(lfsr7(u7:119), u7:110);
+    let _ = assert_eq(lfsr7(u7:110), u7:92);
+    let _ = assert_eq(lfsr7(u7:92), u7:57);
+    let _ = assert_eq(lfsr7(u7:57), u7:115);
+    let _ = assert_eq(lfsr7(u7:115), u7:102);
+    let _ = assert_eq(lfsr7(u7:102), u7:76);
+    let _ = assert_eq(lfsr7(u7:76), u7:25);
+    let _ = assert_eq(lfsr7(u7:25), u7:50);
+    let _ = assert_eq(lfsr7(u7:50), u7:101);
+    let _ = assert_eq(lfsr7(u7:101), u7:74);
+    let _ = assert_eq(lfsr7(u7:74), u7:21);
+    let _ = assert_eq(lfsr7(u7:21), u7:42);
+    let _ = assert_eq(lfsr7(u7:42), u7:85);
+    let _ = assert_eq(lfsr7(u7:85), u7:43);
+    let _ = assert_eq(lfsr7(u7:43), u7:87);
+    let _ = assert_eq(lfsr7(u7:87), u7:47);
+    let _ = assert_eq(lfsr7(u7:47), u7:95);
+    let _ = assert_eq(lfsr7(u7:95), u7:63);
+    let _ = assert_eq(lfsr7(u7:63), u7:127);
+    let _ = assert_eq(lfsr7(u7:127), u7:126);
+    let _ = assert_eq(lfsr7(u7:126), u7:124);
+    let _ = assert_eq(lfsr7(u7:124), u7:120);
+    let _ = assert_eq(lfsr7(u7:120), u7:112);
+    let _ = assert_eq(lfsr7(u7:112), u7:96);
+    let _ = assert_eq(lfsr7(u7:96), u7:64);
+    let _ = assert_eq(lfsr7(u7:64), u7:1);
 }