git.distorted.org.uk Git - u/mdw/catacomb/blob - tests/ec

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