"0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
0x2330e62c1895405fa2ad63f8a8a0ab35b05a0360c2133db9";
+ "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
+ 0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a
+ "0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a, 0";
+
"binpoly: 0x800000000000000000000000000000000000000c9
bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
0x3f0eba16286a2d57ea0991168d4994637e8343e36
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
+ "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
+ "0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a, 0"
+ "0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a, 0";
+ "niceprime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
+ "0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a, 0"
+ "0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a, 0";
+
"niceprime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,