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