432c4e18 |
1 | # $Id: ec,v 1.3 2004/03/27 17:54:12 mdw Exp $ |
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, |
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 | |
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 { |
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 | |
247 | add { |
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 | |
300 | sub { |
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 | |
353 | mul { |
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 | } |