1ccdb13a |
1 | # $Id$ |
bc985cef |
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 | |
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 | |
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, |
6ca13db8 |
128 | 0x2330e62c1895405fa2ad63f8a8a0ab35b05a0360c2133db9"; |
bc985cef |
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, |
6ca13db8 |
142 | 0x2330e62c1895405fa2ad63f8a8a0ab35b05a0360c2133db9"; |
f46efa79 |
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 | |
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 | |
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 | |
200 | dbl { |
1ccdb13a |
201 | "prime: 23 prime: 1, 1" "4, 0" inf; |
202 | "prime: 23 primeproj: 1, 1" "4, 0" inf; |
203 | |
bc985cef |
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 | |
f46efa79 |
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 | |
bc985cef |
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"; |
432c4e18 |
242 | |
243 | "binpoly: 0x020000000000000000000000000000200000000000000001 |
244 | bin: 0, 0x1ee9" |
245 | "0x18, 0xd" |
246 | "0x1bd555555555555555555555555554e8000000000000158, |
247 | 0x14e999999999999999999999999998d7000000000001fe6"; |
bc985cef |
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 | |
f46efa79 |
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 | |
bc985cef |
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 | |
f46efa79 |
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 | |
bc985cef |
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 { |
1ccdb13a |
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 | |
bc985cef |
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 | |
f46efa79 |
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 | |
bc985cef |
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; |
f46efa79 |
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; |
bc985cef |
453 | } |