bc985cef |
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" |
45c0fd36 |
21 | "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411, |
bc985cef |
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 | |
f46efa79 |
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" |
45c0fd36 |
57 | "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411, |
f46efa79 |
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 | |
bc985cef |
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" |
45c0fd36 |
108 | "0x3f0eba16286a2d57ea0591168d4994637e8343e36, |
bc985cef |
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 |
45c0fd36 |
125 | "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411, |
6ca13db8 |
126 | 0x2330e62c1895405fa2ad63f8a8a0ab35b05a0360c2133db9"; |
bc985cef |
127 | |
f46efa79 |
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 |
45c0fd36 |
139 | "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411, |
6ca13db8 |
140 | 0x2330e62c1895405fa2ad63f8a8a0ab35b05a0360c2133db9"; |
f46efa79 |
141 | |
bc985cef |
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 |
45c0fd36 |
153 | "0x3f0eba16286a2d57ea0591168d4994637e8343e36, |
bc985cef |
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 | |
f46efa79 |
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 | |
bc985cef |
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 { |
1ccdb13a |
199 | "prime: 23 prime: 1, 1" "4, 0" inf; |
200 | "prime: 23 primeproj: 1, 1" "4, 0" inf; |
201 | |
bc985cef |
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 | |
f46efa79 |
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 | |
bc985cef |
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"; |
432c4e18 |
240 | |
241 | "binpoly: 0x020000000000000000000000000000200000000000000001 |
242 | bin: 0, 0x1ee9" |
45c0fd36 |
243 | "0x18, 0xd" |
432c4e18 |
244 | "0x1bd555555555555555555555555554e8000000000000158, |
245 | 0x14e999999999999999999999999998d7000000000001fe6"; |
bc985cef |
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 | |
f46efa79 |
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 | |
bc985cef |
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 | |
f46efa79 |
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 | |
bc985cef |
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 { |
1ccdb13a |
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 | |
bc985cef |
360 | "prime: 6277101735386680763835789423207666416083908700390324961279 |
361 | prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1" |
362 | "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012, |
363 | 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811" |
364 | 6277101735386680763835789423176059013767194773182842284080 |
365 | "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012, |
45c0fd36 |
366 | 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee"; |
bc985cef |
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, |
45c0fd36 |
379 | 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee"; |
bc985cef |
380 | "prime: 6277101735386680763835789423207666416083908700390324961279 |
381 | primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1" |
382 | "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012, |
383 | 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811" |
384 | 6277101735386680763835789423176059013767194773182842284081 |
385 | inf; |
386 | |
f46efa79 |
387 | "niceprime: 6277101735386680763835789423207666416083908700390324961279 |
388 | prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1" |
389 | "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012, |
390 | 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811" |
391 | 6277101735386680763835789423176059013767194773182842284080 |
392 | "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012, |
45c0fd36 |
393 | 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee"; |
f46efa79 |
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, |
45c0fd36 |
406 | 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee"; |
f46efa79 |
407 | "niceprime: 6277101735386680763835789423207666416083908700390324961279 |
408 | primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1" |
409 | "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012, |
410 | 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811" |
411 | 6277101735386680763835789423176059013767194773182842284081 |
412 | inf; |
413 | |
bc985cef |
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; |
f46efa79 |
440 | |
20095408 |
441 | "binpoly: 0x800000000000000000000000000000000000000c9; bin: 1, 1" |
f46efa79 |
442 | "0x2fe13c0537bbc11acaa07d793de4e6d5e5c94eee8, |
443 | 0x289070fb05d38ff58321f2e800536d538ccdaa3d9" |
444 | 5846006549323611672814741753598448348329118574063 |
445 | inf; |
20095408 |
446 | "binpoly: 0x800000000000000000000000000000000000000c9; binproj: 1, 1" |
f46efa79 |
447 | "0x2fe13c0537bbc11acaa07d793de4e6d5e5c94eee8, |
448 | 0x289070fb05d38ff58321f2e800536d538ccdaa3d9" |
449 | 5846006549323611672814741753598448348329118574063 |
450 | inf; |
bc985cef |
451 | } |