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   "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
 176     "0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a, 0"
 177     "0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a, 0";
 178   "niceprime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
 179     "0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a, 0"
 180     "0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a, 0";
 181
 182   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 183      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 184     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 185        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 186     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 187        0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
 188   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 189      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 190     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 191        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 192     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 193        0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
 194
 195   "binpoly: 0x800000000000000000000000000000000000000c9
 196     bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 197     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 198       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 199     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 200       0x0d51fbc6c71a0094fa2cdd545b11c5c0c797324f1";
 201   "binpoly: 0x800000000000000000000000000000000000000c9
 202     binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 203     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 204       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 205     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 206       0x0d51fbc6c71a0094fa2cdd545b11c5c0c797324f1";
 207 }
 208
 209 dbl {
 210   "prime: 23 prime: 1, 1" "4, 0" inf;
 211   "prime: 23 primeproj: 1, 1" "4, 0" inf;
 212
 213   "prime: 6277101735386680763835789423207666416083908700390324961279
 214      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 215     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 216        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 217     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 218        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
 219   "prime: 6277101735386680763835789423207666416083908700390324961279
 220      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 221     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 222        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 223     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 224        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
 225
 226   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 227      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 228     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 229        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 230     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 231        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
 232   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 233      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 234     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 235        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 236     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 237        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
 238
 239   "binpoly: 0x800000000000000000000000000000000000000c9
 240     bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 241     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 242       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 243     "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
 244       0x49ed3be7f510e30e2462c517ad39038e493fc573c";
 245   "binpoly: 0x800000000000000000000000000000000000000c9
 246     binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 247     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 248       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 249     "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
 250       0x49ed3be7f510e30e2462c517ad39038e493fc573c";
 251
 252   "binpoly: 0x020000000000000000000000000000200000000000000001
 253     bin: 0, 0x1ee9"
 254     "0x18, 0xd"
 255     "0x1bd555555555555555555555555554e8000000000000158,
 256       0x14e999999999999999999999999998d7000000000001fe6";
 257 }
 258
 259 add {
 260   "prime: 6277101735386680763835789423207666416083908700390324961279
 261      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 262      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 263        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 264     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 265        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab"
 266     "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
 267        0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd";
 268   "prime: 6277101735386680763835789423207666416083908700390324961279
 269      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 270      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 271        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 272     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 273        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab"
 274     "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
 275        0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd";
 276
 277   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 278      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 279      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 280        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 281     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 282        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab"
 283     "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
 284        0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd";
 285   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 286      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 287      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 288        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 289     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 290        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab"
 291     "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
 292        0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd";
 293
 294   "binpoly: 0x800000000000000000000000000000000000000c9
 295     bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 296     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 297       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 298     "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
 299       0x49ed3be7f510e30e2462c517ad39038e493fc573c"
 300     "0x634000577f86aa315009d6f9b906691f6edd691fe,
 301       0x235a3db7a94446301e666cafea5e12cb331f4a140";
 302   "binpoly: 0x800000000000000000000000000000000000000c9
 303     binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 304     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 305       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 306     "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
 307       0x49ed3be7f510e30e2462c517ad39038e493fc573c"
 308     "0x634000577f86aa315009d6f9b906691f6edd691fe,
 309       0x235a3db7a94446301e666cafea5e12cb331f4a140";
 310 }
 311
 312 sub {
 313   "prime: 6277101735386680763835789423207666416083908700390324961279
 314      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 315     "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
 316        0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd"
 317      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 318        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 319     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 320        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
 321   "prime: 6277101735386680763835789423207666416083908700390324961279
 322      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 323     "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
 324        0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd"
 325      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 326        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 327     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 328        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
 329
 330   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 331      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 332     "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
 333        0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd"
 334      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 335        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 336     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 337        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
 338   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 339      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 340     "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
 341        0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd"
 342      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 343        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 344     "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
 345        0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
 346
 347   "binpoly: 0x800000000000000000000000000000000000000c9
 348     bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 349     "0x634000577f86aa315009d6f9b906691f6edd691fe,
 350       0x235a3db7a94446301e666cafea5e12cb331f4a140"
 351     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 352       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 353     "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
 354       0x49ed3be7f510e30e2462c517ad39038e493fc573c";
 355   "binpoly: 0x800000000000000000000000000000000000000c9
 356     binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 357     "0x634000577f86aa315009d6f9b906691f6edd691fe,
 358       0x235a3db7a94446301e666cafea5e12cb331f4a140"
 359     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 360       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 361     "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
 362       0x49ed3be7f510e30e2462c517ad39038e493fc573c";
 363 }
 364
 365 mul {
 366   "prime: 23 prime: 1, 1" "0, 1" 28 inf;
 367   "prime: 23 prime: 1, 1" "0, 1" 29 "0, 1";
 368   "prime: 23 primeproj: 1, 1" "0, 1" 28 inf;
 369   "prime: 23 primeproj: 1, 1" "0, 1" 29 "0, 1";
 370
 371   "prime: 6277101735386680763835789423207666416083908700390324961279
 372      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 373      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 374        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 375      6277101735386680763835789423176059013767194773182842284080
 376      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 377         0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
 378   "prime: 6277101735386680763835789423207666416083908700390324961279
 379      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 380      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 381        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 382      6277101735386680763835789423176059013767194773182842284081
 383      inf;
 384   "prime: 6277101735386680763835789423207666416083908700390324961279
 385      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 386      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 387        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 388      6277101735386680763835789423176059013767194773182842284080
 389      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 390         0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
 391   "prime: 6277101735386680763835789423207666416083908700390324961279
 392      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 393      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 394        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 395      6277101735386680763835789423176059013767194773182842284081
 396      inf;
 397
 398   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 399      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 400      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 401        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 402      6277101735386680763835789423176059013767194773182842284080
 403      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 404         0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
 405   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 406      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 407      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 408        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 409      6277101735386680763835789423176059013767194773182842284081
 410      inf;
 411   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 412      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 413      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 414        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 415      6277101735386680763835789423176059013767194773182842284080
 416      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 417         0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
 418   "niceprime: 6277101735386680763835789423207666416083908700390324961279
 419      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
 420      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
 421        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
 422      6277101735386680763835789423176059013767194773182842284081
 423      inf;
 424
 425   "binpoly: 0x800000000000000000000000000000000000000c9
 426     bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 427     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 428       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 429     5846006549323611672814742442876390689256843201586
 430     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 431       0xd51fbc6c71a0094fa2cdd545b11c5c0c797324f1";
 432   "binpoly: 0x800000000000000000000000000000000000000c9
 433     bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 434     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 435       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 436     5846006549323611672814742442876390689256843201587
 437     inf;
 438   "binpoly: 0x800000000000000000000000000000000000000c9
 439     binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 440     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 441       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 442     5846006549323611672814742442876390689256843201586
 443     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 444       0xd51fbc6c71a0094fa2cdd545b11c5c0c797324f1";
 445   "binpoly: 0x800000000000000000000000000000000000000c9
 446     binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
 447     "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
 448       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
 449     5846006549323611672814742442876390689256843201587
 450     inf;
 451
 452   "binpoly: 0x800000000000000000000000000000000000000c9; bin: 1, 1"
 453     "0x2fe13c0537bbc11acaa07d793de4e6d5e5c94eee8,
 454       0x289070fb05d38ff58321f2e800536d538ccdaa3d9"
 455     5846006549323611672814741753598448348329118574063
 456     inf;
 457   "binpoly: 0x800000000000000000000000000000000000000c9; binproj: 1, 1"
 458     "0x2fe13c0537bbc11acaa07d793de4e6d5e5c94eee8,
 459       0x289070fb05d38ff58321f2e800536d538ccdaa3d9"
 460     5846006549323611672814741753598448348329118574063
 461     inf;
 462 }