0;
"prime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
- "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
+ "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
0xdccf19d3e76abfa05d529c07575f54c94fa5fc9f3decc246"
0;
"prime: 6277101735386680763835789423207666416083908700390324961279
0;
"niceprime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
- "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
+ "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
0xdccf19d3e76abfa05d529c07575f54c94fa5fc9f3decc246"
0;
"niceprime: 6277101735386680763835789423207666416083908700390324961279
0;
"binpoly: 0x800000000000000000000000000000000000000c9
binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
- "0x3f0eba16286a2d57ea0591168d4994637e8343e36,
+ "0x3f0eba16286a2d57ea0591168d4994637e8343e36,
0x7fa8423c5ae194b56cdf21998ad8a721ef1201b8c"
0;
}
"prime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411
- "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
+ "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
0x2330e62c1895405fa2ad63f8a8a0ab35b05a0360c2133db9";
"niceprime: 6277101735386680763835789423207666416083908700390324961279
"niceprime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411
- "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
+ "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
0x2330e62c1895405fa2ad63f8a8a0ab35b05a0360c2133db9";
"binpoly: 0x800000000000000000000000000000000000000c9
"binpoly: 0x800000000000000000000000000000000000000c9
bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
0x3f0eba16286a2d57ea0591168d4994637e8343e36
- "0x3f0eba16286a2d57ea0591168d4994637e8343e36,
+ "0x3f0eba16286a2d57ea0591168d4994637e8343e36,
0x7fa8423c5ae194b56cdf21998ad8a721ef1201b8c";
}
"binpoly: 0x020000000000000000000000000000200000000000000001
bin: 0, 0x1ee9"
- "0x18, 0xd"
+ "0x18, 0xd"
"0x1bd555555555555555555555555554e8000000000000158,
0x14e999999999999999999999999998d7000000000001fe6";
}
0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
6277101735386680763835789423176059013767194773182842284080
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
- 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
+ 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
"prime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
6277101735386680763835789423176059013767194773182842284080
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
- 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
+ 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
"prime: 6277101735386680763835789423207666416083908700390324961279
primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
6277101735386680763835789423176059013767194773182842284080
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
- 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
+ 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
"niceprime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
6277101735386680763835789423176059013767194773182842284080
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
- 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
+ 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
"niceprime: 6277101735386680763835789423207666416083908700390324961279
primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,