chiark - git - mdw - catacomb/blob - math/t/ec

   1 # Elliptic curve tests
   2
   3 check {
   4   "prime: 6277101735386680763835789423207666416083908700390324961279
   5      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
   6     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
   7        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
   8     0;
   9   "prime: 6277101735386680763835789423207666416083908700390324961279
  10      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
  11     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
  12        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794810"
  13     -1;
  14   "prime: 6277101735386680763835789423207666416083908700390324961279
  15      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
  16     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
  17        0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee"
  18     0;
  19   "prime: 6277101735386680763835789423207666416083908700390324961279
  20      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
  21     "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
  22       0xdccf19d3e76abfa05d529c07575f54c94fa5fc9f3decc246"
  23     0;
  24   "prime: 6277101735386680763835789423207666416083908700390324961279
  25      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
  26     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
  27        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
  28     0;
  29   "prime: 6277101735386680763835789423207666416083908700390324961279
  30      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
  31     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
  32        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794810"
  33     -1;
  34   "prime: 6277101735386680763835789423207666416083908700390324961279
  35      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
  36     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
  37        0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee"
  38     0;
  39
  40   "niceprime: 6277101735386680763835789423207666416083908700390324961279
  41      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
  42     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
  43        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
  44     0;
  45   "niceprime: 6277101735386680763835789423207666416083908700390324961279
  46      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
  47     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
  48        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794810"
  49     -1;
  50   "niceprime: 6277101735386680763835789423207666416083908700390324961279
  51      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
  52     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
  53        0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee"
  54     0;
  55   "niceprime: 6277101735386680763835789423207666416083908700390324961279
  56      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
  57     "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
  58       0xdccf19d3e76abfa05d529c07575f54c94fa5fc9f3decc246"
  59     0;
  60   "niceprime: 6277101735386680763835789423207666416083908700390324961279
  61      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
  62     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
  63        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
  64     0;
  65   "niceprime: 6277101735386680763835789423207666416083908700390324961279
  66      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
  67     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
  68        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794810"
  69     -1;
  70   "niceprime: 6277101735386680763835789423207666416083908700390324961279
  71      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
  72     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
  73        0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee"
  74     0;
  75
  76   "binpoly: 0x800000000000000000000000000000000000000c9
  77     bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
  78     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
  79       0x0d51fbc6c71a0094fa2cdd545b11c5c0c797324f1"
  80     0;
  81   "binpoly: 0x800000000000000000000000000000000000000c9
  82     bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
  83     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
  84       0x0d51fbc6c71a0094fa2cdd545b11c5c0c797324f0"
  85     -1;
  86   "binpoly: 0x800000000000000000000000000000000000000c9
  87     bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
  88     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
  89       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
  90     0;
  91   "binpoly: 0x800000000000000000000000000000000000000c9
  92     binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
  93     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
  94       0x0d51fbc6c71a0094fa2cdd545b11c5c0c797324f1"
  95     0;
  96   "binpoly: 0x800000000000000000000000000000000000000c9
  97     binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
  98     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
  99       0x0d51fbc6c71a0094fa2cdd545b11c5c0c797324f0"
 100     -1;
 101   "binpoly: 0x800000000000000000000000000000000000000c9
 102     binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 103     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 104       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 105     0;
 106   "binpoly: 0x800000000000000000000000000000000000000c9
 107     binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 108     "0x3f0eba16286a2d57ea0591168d4994637e8343e36,
 109       0x7fa8423c5ae194b56cdf21998ad8a721ef1201b8c"
 110     0;
 111 }
 112
 113 find {
 114   "prime: 6277101735386680763835789423207666416083908700390324961279
 115      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 116     0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012
 117     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 118        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811";
 119   "prime: 6277101735386680763835789423207666416083908700390324961279
 120      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 121     0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1011 inf;
 122   "prime: 6277101735386680763835789423207666416083908700390324961279
 123      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 124     0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411
 125     "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
 126       0x2330e62c1895405fa2ad63f8a8a0ab35b05a0360c2133db9";
 127
 128   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 129      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 130     0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012
 131     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 132        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811";
 133   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 134      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 135     0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1011 inf;
 136   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 137      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 138     0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411
 139     "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
 140       0x2330e62c1895405fa2ad63f8a8a0ab35b05a0360c2133db9";
 141
 142   "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
 143     0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a
 144     "0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a, 0";
 145
 146   "binpoly: 0x800000000000000000000000000000000000000c9
 147     bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 148     0x3f0eba16286a2d57ea0991168d4994637e8343e36
 149     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 150       0x325f41d0ef702dc310254c42d65851a3b91471ac7";
 151   "binpoly: 0x800000000000000000000000000000000000000c9
 152     bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 153     0x310eba16386a2d57ea0591168d4997637e8745e36 inf;
 154   "binpoly: 0x800000000000000000000000000000000000000c9
 155     bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 156     0x3f0eba16286a2d57ea0591168d4994637e8343e36
 157     "0x3f0eba16286a2d57ea0591168d4994637e8343e36,
 158       0x7fa8423c5ae194b56cdf21998ad8a721ef1201b8c";
 159 }
 160
 161 neg {
 162   "prime: 6277101735386680763835789423207666416083908700390324961279
 163      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 164     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 165        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 166     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 167        0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
 168   "prime: 6277101735386680763835789423207666416083908700390324961279
 169      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 170     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 171        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 172     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 173        0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
 174
 175   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 176      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 177     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 178        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 179     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 180        0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
 181   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 182      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 183     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 184        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 185     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 186        0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
 187
 188   "binpoly: 0x800000000000000000000000000000000000000c9
 189     bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 190     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 191       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 192     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 193       0x0d51fbc6c71a0094fa2cdd545b11c5c0c797324f1";
 194   "binpoly: 0x800000000000000000000000000000000000000c9
 195     binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 196     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 197       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 198     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 199       0x0d51fbc6c71a0094fa2cdd545b11c5c0c797324f1";
 200 }
 201
 202 dbl {
 203   "prime: 23 prime: 1, 1" "4, 0" inf;
 204   "prime: 23 primeproj: 1, 1" "4, 0" inf;
 205
 206   "prime: 6277101735386680763835789423207666416083908700390324961279
 207      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 208     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 209        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 210     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 211        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
 212   "prime: 6277101735386680763835789423207666416083908700390324961279
 213      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 214     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 215        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 216     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 217        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
 218
 219   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 220      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 221     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 222        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 223     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 224        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
 225   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 226      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 227     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 228        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 229     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 230        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
 231
 232   "binpoly: 0x800000000000000000000000000000000000000c9
 233     bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 234     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 235       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 236     "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
 237       0x49ed3be7f510e30e2462c517ad39038e493fc573c";
 238   "binpoly: 0x800000000000000000000000000000000000000c9
 239     binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 240     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 241       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 242     "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
 243       0x49ed3be7f510e30e2462c517ad39038e493fc573c";
 244
 245   "binpoly: 0x020000000000000000000000000000200000000000000001
 246     bin: 0, 0x1ee9"
 247     "0x18, 0xd"
 248     "0x1bd555555555555555555555555554e8000000000000158,
 249       0x14e999999999999999999999999998d7000000000001fe6";
 250 }
 251
 252 add {
 253   "prime: 6277101735386680763835789423207666416083908700390324961279
 254      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 255      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 256        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 257     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 258        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab"
 259     "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
 260        0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd";
 261   "prime: 6277101735386680763835789423207666416083908700390324961279
 262      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 263      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 264        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 265     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 266        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab"
 267     "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
 268        0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd";
 269
 270   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 271      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 272      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 273        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 274     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 275        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab"
 276     "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
 277        0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd";
 278   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 279      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 280      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 281        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 282     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 283        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab"
 284     "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
 285        0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd";
 286
 287   "binpoly: 0x800000000000000000000000000000000000000c9
 288     bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 289     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 290       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 291     "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
 292       0x49ed3be7f510e30e2462c517ad39038e493fc573c"
 293     "0x634000577f86aa315009d6f9b906691f6edd691fe,
 294       0x235a3db7a94446301e666cafea5e12cb331f4a140";
 295   "binpoly: 0x800000000000000000000000000000000000000c9
 296     binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 297     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 298       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 299     "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
 300       0x49ed3be7f510e30e2462c517ad39038e493fc573c"
 301     "0x634000577f86aa315009d6f9b906691f6edd691fe,
 302       0x235a3db7a94446301e666cafea5e12cb331f4a140";
 303 }
 304
 305 sub {
 306   "prime: 6277101735386680763835789423207666416083908700390324961279
 307      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 308     "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
 309        0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd"
 310      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 311        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 312     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 313        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
 314   "prime: 6277101735386680763835789423207666416083908700390324961279
 315      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 316     "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
 317        0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd"
 318      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 319        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 320     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 321        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
 322
 323   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 324      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 325     "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
 326        0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd"
 327      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 328        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 329     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 330        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
 331   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 332      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 333     "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
 334        0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd"
 335      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 336        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 337     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 338        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
 339
 340   "binpoly: 0x800000000000000000000000000000000000000c9
 341     bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 342     "0x634000577f86aa315009d6f9b906691f6edd691fe,
 343       0x235a3db7a94446301e666cafea5e12cb331f4a140"
 344     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 345       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 346     "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
 347       0x49ed3be7f510e30e2462c517ad39038e493fc573c";
 348   "binpoly: 0x800000000000000000000000000000000000000c9
 349     binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 350     "0x634000577f86aa315009d6f9b906691f6edd691fe,
 351       0x235a3db7a94446301e666cafea5e12cb331f4a140"
 352     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 353       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 354     "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
 355       0x49ed3be7f510e30e2462c517ad39038e493fc573c";
 356 }
 357
 358 mul {
 359   "prime: 23 prime: 1, 1" "0, 1" 28 inf;
 360   "prime: 23 prime: 1, 1" "0, 1" 29 "0, 1";
 361   "prime: 23 primeproj: 1, 1" "0, 1" 28 inf;
 362   "prime: 23 primeproj: 1, 1" "0, 1" 29 "0, 1";
 363
 364   "prime: 6277101735386680763835789423207666416083908700390324961279
 365      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 366      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 367        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 368      6277101735386680763835789423176059013767194773182842284080
 369      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 370         0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
 371   "prime: 6277101735386680763835789423207666416083908700390324961279
 372      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 373      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 374        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 375      6277101735386680763835789423176059013767194773182842284081
 376      inf;
 377   "prime: 6277101735386680763835789423207666416083908700390324961279
 378      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 379      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 380        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 381      6277101735386680763835789423176059013767194773182842284080
 382      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 383         0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
 384   "prime: 6277101735386680763835789423207666416083908700390324961279
 385      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 386      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 387        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 388      6277101735386680763835789423176059013767194773182842284081
 389      inf;
 390
 391   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 392      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 393      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 394        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 395      6277101735386680763835789423176059013767194773182842284080
 396      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 397         0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
 398   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 399      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 400      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 401        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 402      6277101735386680763835789423176059013767194773182842284081
 403      inf;
 404   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 405      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 406      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 407        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 408      6277101735386680763835789423176059013767194773182842284080
 409      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 410         0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
 411   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 412      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 413      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 414        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 415      6277101735386680763835789423176059013767194773182842284081
 416      inf;
 417
 418   "binpoly: 0x800000000000000000000000000000000000000c9
 419     bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 420     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 421       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 422     5846006549323611672814742442876390689256843201586
 423     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 424       0xd51fbc6c71a0094fa2cdd545b11c5c0c797324f1";
 425   "binpoly: 0x800000000000000000000000000000000000000c9
 426     bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 427     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 428       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 429     5846006549323611672814742442876390689256843201587
 430     inf;
 431   "binpoly: 0x800000000000000000000000000000000000000c9
 432     binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 433     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 434       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 435     5846006549323611672814742442876390689256843201586
 436     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 437       0xd51fbc6c71a0094fa2cdd545b11c5c0c797324f1";
 438   "binpoly: 0x800000000000000000000000000000000000000c9
 439     binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 440     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 441       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 442     5846006549323611672814742442876390689256843201587
 443     inf;
 444
 445   "binpoly: 0x800000000000000000000000000000000000000c9; bin: 1, 1"
 446     "0x2fe13c0537bbc11acaa07d793de4e6d5e5c94eee8,
 447       0x289070fb05d38ff58321f2e800536d538ccdaa3d9"
 448     5846006549323611672814741753598448348329118574063
 449     inf;
 450   "binpoly: 0x800000000000000000000000000000000000000c9; binproj: 1, 1"
 451     "0x2fe13c0537bbc11acaa07d793de4e6d5e5c94eee8,
 452       0x289070fb05d38ff58321f2e800536d538ccdaa3d9"
 453     5846006549323611672814741753598448348329118574063
 454     inf;
 455 }