Standard curves and curve checking.
[u/mdw/catacomb] / tests / ec
CommitLineData
432c4e18 1# $Id: ec,v 1.3 2004/03/27 17:54:12 mdw Exp $
bc985cef 2#
3# Elliptic curve tests
4
5check {
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
f46efa79 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
bc985cef 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
115find {
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 0xdccf19d3e76abfa05d529c07575f54c94fa5fc9f3decc246";
129
f46efa79 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 0xdccf19d3e76abfa05d529c07575f54c94fa5fc9f3decc246";
143
bc985cef 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
159neg {
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
f46efa79 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
bc985cef 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
200dbl {
201 "prime: 6277101735386680763835789423207666416083908700390324961279
202 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
203 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
204 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
205 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
206 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
207 "prime: 6277101735386680763835789423207666416083908700390324961279
208 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
209 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
210 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
211 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
212 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
213
f46efa79 214 "niceprime: 6277101735386680763835789423207666416083908700390324961279
215 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
216 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
217 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
218 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
219 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
220 "niceprime: 6277101735386680763835789423207666416083908700390324961279
221 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
222 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
223 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
224 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
225 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
226
bc985cef 227 "binpoly: 0x800000000000000000000000000000000000000c9
228 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
229 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
230 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
231 "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
232 0x49ed3be7f510e30e2462c517ad39038e493fc573c";
233 "binpoly: 0x800000000000000000000000000000000000000c9
234 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
235 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
236 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
237 "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
238 0x49ed3be7f510e30e2462c517ad39038e493fc573c";
432c4e18 239
240 "binpoly: 0x020000000000000000000000000000200000000000000001
241 bin: 0, 0x1ee9"
242 "0x18, 0xd"
243 "0x1bd555555555555555555555555554e8000000000000158,
244 0x14e999999999999999999999999998d7000000000001fe6";
bc985cef 245}
246
247add {
248 "prime: 6277101735386680763835789423207666416083908700390324961279
249 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
250 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
251 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
252 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
253 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab"
254 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
255 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd";
256 "prime: 6277101735386680763835789423207666416083908700390324961279
257 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
258 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
259 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
260 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
261 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab"
262 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
263 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd";
264
f46efa79 265 "niceprime: 6277101735386680763835789423207666416083908700390324961279
266 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
267 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
268 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
269 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
270 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab"
271 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
272 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd";
273 "niceprime: 6277101735386680763835789423207666416083908700390324961279
274 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
275 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
276 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
277 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
278 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab"
279 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
280 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd";
281
bc985cef 282 "binpoly: 0x800000000000000000000000000000000000000c9
283 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
284 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
285 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
286 "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
287 0x49ed3be7f510e30e2462c517ad39038e493fc573c"
288 "0x634000577f86aa315009d6f9b906691f6edd691fe,
289 0x235a3db7a94446301e666cafea5e12cb331f4a140";
290 "binpoly: 0x800000000000000000000000000000000000000c9
291 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
292 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
293 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
294 "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
295 0x49ed3be7f510e30e2462c517ad39038e493fc573c"
296 "0x634000577f86aa315009d6f9b906691f6edd691fe,
297 0x235a3db7a94446301e666cafea5e12cb331f4a140";
298}
299
300sub {
301 "prime: 6277101735386680763835789423207666416083908700390324961279
302 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
303 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
304 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd"
305 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
306 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
307 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
308 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
309 "prime: 6277101735386680763835789423207666416083908700390324961279
310 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
311 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
312 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd"
313 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
314 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
315 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
316 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
317
f46efa79 318 "niceprime: 6277101735386680763835789423207666416083908700390324961279
319 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
320 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
321 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd"
322 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
323 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
324 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
325 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
326 "niceprime: 6277101735386680763835789423207666416083908700390324961279
327 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
328 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
329 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd"
330 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
331 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
332 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
333 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
334
bc985cef 335 "binpoly: 0x800000000000000000000000000000000000000c9
336 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
337 "0x634000577f86aa315009d6f9b906691f6edd691fe,
338 0x235a3db7a94446301e666cafea5e12cb331f4a140"
339 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
340 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
341 "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
342 0x49ed3be7f510e30e2462c517ad39038e493fc573c";
343 "binpoly: 0x800000000000000000000000000000000000000c9
344 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
345 "0x634000577f86aa315009d6f9b906691f6edd691fe,
346 0x235a3db7a94446301e666cafea5e12cb331f4a140"
347 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
348 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
349 "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
350 0x49ed3be7f510e30e2462c517ad39038e493fc573c";
351}
352
353mul {
354 "prime: 6277101735386680763835789423207666416083908700390324961279
355 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
356 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
357 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
358 6277101735386680763835789423176059013767194773182842284080
359 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
360 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
361 "prime: 6277101735386680763835789423207666416083908700390324961279
362 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
363 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
364 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
365 6277101735386680763835789423176059013767194773182842284081
366 inf;
367 "prime: 6277101735386680763835789423207666416083908700390324961279
368 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
369 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
370 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
371 6277101735386680763835789423176059013767194773182842284080
372 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
373 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
374 "prime: 6277101735386680763835789423207666416083908700390324961279
375 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
376 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
377 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
378 6277101735386680763835789423176059013767194773182842284081
379 inf;
380
f46efa79 381 "niceprime: 6277101735386680763835789423207666416083908700390324961279
382 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
383 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
384 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
385 6277101735386680763835789423176059013767194773182842284080
386 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
387 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
388 "niceprime: 6277101735386680763835789423207666416083908700390324961279
389 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
390 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
391 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
392 6277101735386680763835789423176059013767194773182842284081
393 inf;
394 "niceprime: 6277101735386680763835789423207666416083908700390324961279
395 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
396 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
397 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
398 6277101735386680763835789423176059013767194773182842284080
399 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
400 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
401 "niceprime: 6277101735386680763835789423207666416083908700390324961279
402 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
403 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
404 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
405 6277101735386680763835789423176059013767194773182842284081
406 inf;
407
bc985cef 408 "binpoly: 0x800000000000000000000000000000000000000c9
409 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
410 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
411 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
412 5846006549323611672814742442876390689256843201586
413 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
414 0xd51fbc6c71a0094fa2cdd545b11c5c0c797324f1";
415 "binpoly: 0x800000000000000000000000000000000000000c9
416 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
417 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
418 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
419 5846006549323611672814742442876390689256843201587
420 inf;
421 "binpoly: 0x800000000000000000000000000000000000000c9
422 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
423 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
424 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
425 5846006549323611672814742442876390689256843201586
426 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
427 0xd51fbc6c71a0094fa2cdd545b11c5c0c797324f1";
428 "binpoly: 0x800000000000000000000000000000000000000c9
429 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
430 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
431 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
432 5846006549323611672814742442876390689256843201587
433 inf;
f46efa79 434
435 "binpoly: 0x800000000000000000000000000000000000000c9/bin: 1, 1"
436 "0x2fe13c0537bbc11acaa07d793de4e6d5e5c94eee8,
437 0x289070fb05d38ff58321f2e800536d538ccdaa3d9"
438 5846006549323611672814741753598448348329118574063
439 inf;
440 "binpoly: 0x800000000000000000000000000000000000000c9/binproj: 1, 1"
441 "0x2fe13c0537bbc11acaa07d793de4e6d5e5c94eee8,
442 0x289070fb05d38ff58321f2e800536d538ccdaa3d9"
443 5846006549323611672814741753598448348329118574063
444 inf;
bc985cef 445}