Skip to content

Instantly share code, notes, and snippets.

@fredrik-johansson

fredrik-johansson/gist:2954110

Created June 19, 2012 13:18
Show Gist options
  • Save fredrik-johansson/2954110 to your computer and use it in GitHub Desktop.
Save fredrik-johansson/2954110 to your computer and use it in GitHub Desktop.
Download ZIP
even more gcd timings
Raw
gistfile1.txt
iter | len(A) bits(A) | len(B) bits(B) | len(gcd) bits(gcd) | time(v1) time(v2)
0 | 2067 -400 | 22902 -476 | 1997 400 | .
1 | 219 -1168 | 200 -253 | 198 -244 | .
2 | 75 -11 | 856 -13 | 5 -7 | .
3 | 66 -65 | 393 -56 | 3 52 | .
4 | 8 -49 | 2 -23 | 1 21 | .
5 | 1 -1 | 5 -3 | 1 1 | .
6 | 897 -234 | 946 -127 | 855 -123 | .
7 | 2 39 | 369 -426 | 1 34 | .
8 | 58 -2 | 9390 -100 | 24 -1 | .
9 | 254 -41 | 1756 -456 | 201 4 | .
10 | 1 2 | 19157 -24 | 1 1 | .
11 | 1652 -357 | 267 -34 | 130 -32 | .
12 | 205 -391 | 207 -216 | 205 -13 | .
13 | 2993 -33 | 7872 -55 | 2847 -7 | .
14 | 2124 -32 | 145 -749 | 12 -14 | .
15 | 5988 -8 | 5986 -7 | 5984 -5 | .
16 | 234 -77 | 81 -64 | 80 61 | .
17 | 5006 -4 | 108 -14 | 3 1 | .
18 | 7761 -317 | 577 -16 | 9 -7 | .
19 | 753 -553 | 4495 -345 | 752 -341 | .
20 | 1270 -10 | 1328 -3 | 1252 -3 | .
21 | 45 272 | 8934 -39 | 44 37 | .
22 | 146 -36 | 176 -84 | 141 -23 | .
23 | 4 -272 | 3 -228 | 3 98 | .
24 | 7374 -271 | 7374 -130 | 7374 -42 | .
25 | 20 -78 | 2385 -84 | 2 -78 | .
26 | 55 -260 | 433 -29 | 2 25 | .
27 | 20870 -362 | 11286 -520 | 612 -353 | !!!!!!!! 7340 72470
28 | 1861 -426 | 10 -279 | 10 -279 | !!!!!!!! 790 1.7
29 | 3829 -30 | 11 -435 | 10 -8 | .
30 | 419 -89 | 16 -84 | 7 -84 | .
31 | 1 -99 | 53 -170 | 1 1 | .
32 | 571 -184 | 736 -1009 | 533 -127 | .
33 | 2031 -42 | 592 -50 | 574 -42 | .
34 | 654 -518 | 943 -8 | 11 -6 | .
35 | 184 -253 | 10 -75 | 10 -75 | .
36 | 409 -38 | 417 -515 | 402 -1 | .
37 | 99 -331 | 90 -332 | 1 321 | .
38 | 971 -8 | 2355 -9 | 703 -1 | .
39 | 2 140 | 7 -116 | 2 103 | .
40 | 30 -175 | 2 1 | 1 1 | .
41 | 5319 -98 | 5274 -520 | 5271 -12 | .
42 | 52 -6 | 7003 -10 | 46 2 | .
43 | 89 -903 | 160 -893 | 5 892 | .
44 | 1 -128 | 182 -66 | 1 48 | .
45 | 34 -81 | 20 -87 | 11 -67 | .
46 | 384 -438 | 500 7 | 384 4 | .
47 | 3657 -62 | 711 -27 | 2 -27 | .
48 | 3923 -28 | 16 -58 | 16 25 | .
49 | 7535 -1 | 59 -426 | 1 1 | .
50 | 280 -27 | 16007 -1 | 1 1 | .
51 | 22264 -20 | 23917 -129 | 142 9 | .
52 | 43 -1051 | 952 -413 | 5 -367 | .
53 | 5927 -819 | 1721 -82 | 2 1 | .
54 | 935 -587 | 6127 -584 | 933 -581 | .
55 | 720 -4 | 14 -6 | 1 1 | .
56 | 13420 -7 | 812 -335 | 802 -1 | .
57 | 70 -308 | 3272 -83 | 21 -1 | .
58 | 6406 -16 | 2 -2 | 1 1 | .
59 | 3816 -15 | 10238 -953 | 3802 -13 | .
60 | 16317 -38 | 243 -39 | 5 37 | .
61 | 368 -17 | 17 -13 | 17 12 | .
62 | 3676 -9 | 31 -14 | 31 -2 | .
63 | 6775 -18 | 780 -56 | 184 -16 | .
64 | 2 -368 | 13834 -6 | 2 1 | .
65 | 3753 -236 | 9548 -226 | 3674 -221 | !!!!!!!! 83400 620
66 | 984 -217 | 1 7 | 1 2 | .
67 | 18 7 | 18 -6 | 1 1 | .
68 | 1 1 | 4079 -122 | 1 1 | .
69 | 1257 -608 | 1248 -31 | 1248 31 | .
70 | 1806 -129 | 16 -46 | 4 31 | .
71 | 3649 -17 | 4068 -150 | 31 -5 | .
72 | 3922 -1 | 13750 -11 | 3693 -1 | .
73 | 93 -2 | 64 23 | 62 2 | .
74 | 5063 -117 | 4635 -116 | 1167 -76 | .
75 | 322 -1366 | 5374 -976 | 317 -944 | .
76 | 4492 -26 | 4506 -30 | 4491 -2 | .
77 | 2660 -9 | 31117 -59 | 1658 -1 | .
78 | 5701 -621 | 5694 -21 | 5690 -7 | .
79 | 32234 -40 | 2082 -8 | 636 -2 | .
80 | 395 -290 | 2140 -323 | 132 81 | .
81 | 2922 -769 | 2913 -360 | 2911 -355 | .
82 | 1611 16 | 71 -10 | 66 9 | .
83 | 4013 -6 | 14462 -14 | 3996 -1 | .
84 | 9 -62 | 403 -220 | 4 -15 | .
85 | 980 -69 | 1105 -73 | 953 47 | .
86 | 4804 -39 | 264 -1 | 1 1 | .
87 | 15865 -64 | 3558 -51 | 3536 -48 | .
88 | 6353 -13 | 63 -10 | 3 -4 | .
89 | 1274 -34 | 1 581 | 1 1 | .
90 | 1015 -9 | 694 -36 | 694 -6 | .
91 | 837 -119 | 398 -1044 | 126 -71 | .
92 | 736 -9 | 3789 -12 | 553 -7 | .
93 | 211 -2 | 3678 -25 | 14 1 | .
94 | 5801 -348 | 3404 -198 | 240 107 | .
95 | 939 -237 | 695 -234 | 693 -230 | .
96 | 8 -919 | 7508 -917 | 7 -915 | .
97 | 5354 -2 | 3609 -20 | 1 1 | .
98 | 21958 -25 | 5095 -501 | 4908 -3 | .
99 | 42 -321 | 165 -19 | 15 -5 | .
100 | 32716 -19 | 2 34 | 1 3 | .
101 | 8989 -250 | 10746 -334 | 7073 -221 | !!!!!!!! 1460 7480
102 | 647 -30 | 625 -37 | 622 -24 | .
103 | 3485 -864 | 1481 -5 | 1474 1 | .
104 | 1561 -934 | 907 -1052 | 907 -934 | !!!!!!!! 18700 100
105 | 33 -870 | 20 -1099 | 14 -725 | .
106 | 3474 -12 | 3670 -19 | 3474 -12 | .
107 | 173 -3 | 15716 -1 | 21 1 | .
108 | 1084 -960 | 1022 -53 | 946 -36 | .
109 | 3820 -11 | 11810 -21 | 3815 8 | .
110 | 1922 -26 | 2017 -24 | 1922 -24 | .
111 | 8 290 | 1 42 | 1 1 | .
112 | 748 -81 | 4471 -84 | 539 -81 | .
113 | 6 -6 | 199 -1 | 1 1 | .
114 | 3019 -1024 | 2366 -1364 | 2317 -941 | .
115 | 31 -1 | 62 -168 | 31 -1 | .
116 | 85 -405 | 3 -5 | 2 2 | .
117 | 7652 -17 | 7653 -14 | 7652 -14 | .
118 | 538 -57 | 781 -65 | 373 -47 | !!!!!!!! 210 44
119 | 22307 -31 | 1 -2 | 1 1 | .
120 | 12456 -395 | 4190 -374 | 3602 -200 | .
121 | 26 -1026 | 22 -1014 | 22 -997 | .
122 | 2 164 | 29 -136 | 1 3 | .
123 | 537 -1296 | 538 -780 | 531 -777 | .
124 | 1 168 | 241 -499 | 1 2 | .
125 | 667 -73 | 418 -194 | 396 2 | .
126 | 3174 -14 | 136 -137 | 90 -13 | .
127 | 2 -6 | 957 -587 | 1 1 | .
128 | 200 -39 | 3229 -95 | 178 -30 | .
129 | 2659 -458 | 2739 -361 | 1648 -1 | .
130 | 231 -69 | 1327 -69 | 170 -64 | !!!!!!!! 58 8.9
131 | 14794 -121 | 32299 -4 | 52 -2 | .
132 | 41 -129 | 282 -20 | 40 2 | .
133 | 92 -469 | 877 -23 | 36 -11 | .
134 | 409 -3 | 38 -55 | 3 1 | .
135 | 337 -125 | 1194 -1 | 1 1 | .
136 | 711 -41 | 720 -44 | 711 -41 | .
137 | 1458 74 | 1587 -131 | 1458 74 | .
138 | 578 -25 | 203 -45 | 190 -7 | .
139 | 57 -18 | 1738 380 | 42 13 | .
140 | 7 60 | 2 -35 | 2 32 | .
141 | 101 -512 | 799 -511 | 18 -509 | .
142 | 243 -83 | 217 -69 | 217 -31 | .
143 | 17 -265 | 21 -236 | 5 -234 | .
144 | 3801 -30 | 28706 -166 | 3801 -21 | .
145 | 6769 -2 | 7903 -34 | 6768 -2 | .
146 | 163 -5 | 250 -43 | 2 -1 | .
147 | 19 -645 | 116 -16 | 17 -6 | .
148 | 2416 -155 | 1857 -147 | 1851 -120 | .
149 | 786 -167 | 795 -173 | 786 -167 | .
150 | 3 -109 | 18 160 | 2 79 | .
151 | 8844 -27 | 5132 -319 | 5131 -25 | .
152 | 2261 -302 | 103 -360 | 22 295 | .
153 | 6 -52 | 181 -514 | 1 48 | .
154 | 11 324 | 99 -742 | 6 324 | .
155 | 1437 -125 | 478 -95 | 318 -95 | .
156 | 79 -449 | 3077 -461 | 21 -410 | .
157 | 237 -6 | 21799 -8 | 61 4 | .
158 | 3 111 | 5 -1 | 1 1 | .
159 | 239 -6 | 1771 -25 | 191 -1 | .
160 | 1648 -929 | 1291 -1 | 1 1 | .
161 | 5297 -137 | 5037 -130 | 1906 -129 | .
162 | 320 -32 | 19 -3 | 3 1 | .
163 | 9 -4 | 21 -132 | 8 -2 | .
164 | 27045 -114 | 135 -554 | 79 -113 | .
165 | 10 -156 | 287 -160 | 9 -152 | .
166 | 4623 -38 | 4335 -28 | 4290 -17 | .
167 | 832 -67 | 169 -17 | 1 14 | .
168 | 68 -11 | 50 -2 | 50 -2 | .
169 | 1571 -177 | 1534 -121 | 1261 -114 | .
170 | 474 -103 | 12099 -112 | 467 -38 | .
171 | 172 -5 | 4061 -167 | 22 -1 | .
172 | 281 -23 | 8091 -35 | 38 -12 | .
173 | 630 -1 | 15 -12 | 3 1 | .
174 | 3034 -11 | 2818 -18 | 2725 -8 | .
175 | 16368 -108 | 234 -17 | 222 -12 | .
176 | 3395 -158 | 375 -12 | 7 1 | .
177 | 12 -277 | 19 -315 | 4 -271 | .
178 | 5312 -888 | 1777 -17 | 416 8 | .
179 | 188 -121 | 53 -667 | 15 -49 | .
180 | 1175 -31 | 20400 -824 | 1172 1 | .
181 | 179 -180 | 607 -96 | 116 -46 | .
182 | 29 367 | 949 -359 | 20 357 | .
183 | 546 -29 | 151 -1 | 148 1 | .
184 | 15379 -127 | 1323 -467 | 1 1 | .
185 | 17977 -248 | 2 116 | 1 3 | .
186 | 574 -56 | 122 -56 | 115 9 | .
187 | 64 -1205 | 155 -412 | 1 319 | .
188 | 44 -263 | 43 -307 | 43 -229 | .
189 | 1449 -11 | 811 -6 | 797 -4 | .
190 | 3504 -169 | 1125 -22 | 492 -20 | .
191 | 256 -558 | 15 -549 | 5 -545 | .
192 | 4010 -510 | 11194 -1407 | 4010 -506 | .
193 | 1630 -67 | 3660 -116 | 1616 61 | .
194 | 362 -88 | 13 -8 | 13 -4 | !!!!!!!! 0.17 0.39
195 | 25 -18 | 2 -3 | 2 -3 | .
196 | 136 -123 | 7106 -501 | 7 115 | .
197 | 215 -30 | 1721 -12 | 16 4 | .
198 | 394 12 | 424 14 | 394 12 | .
199 | 7510 -576 | 7 -658 | 7 -550 | .
200 | 486 2 | 1830 -33 | 57 1 | .
201 | 523 -268 | 44 -859 | 38 -1 | .
202 | 1221 -357 | 910 -343 | 859 -333 | .
203 | 41 -108 | 7161 -596 | 10 2 | .
204 | 7414 -1007 | 4730 -534 | 4434 -526 | .
205 | 14 -8 | 25 -5 | 13 -3 | .
206 | 235 -114 | 844 -118 | 35 -114 | !!!!!!!! 210 22
207 | 1923 -144 | 6911 -407 | 6 142 | .
208 | 555 -964 | 117 -107 | 2 97 | .
209 | 127 -497 | 24 -1114 | 20 -497 | .
210 | 528 -616 | 337 -30 | 337 -5 | .
211 | 7128 -337 | 27 770 | 26 2 | .
212 | 3 38 | 3 -43 | 2 38 | .
213 | 84 -2 | 89 -3 | 83 1 | .
214 | 5095 -142 | 278 -148 | 68 -142 | .
215 | 66 -44 | 129 -25 | 6 -21 | .
216 | 3 -235 | 36 -233 | 3 -228 | .
217 | 6613 -63 | 7067 -55 | 6613 -1 | .
218 | 8 -581 | 3 -485 | 1 203 | .
219 | 365 -273 | 215 -206 | 203 -206 | .
220 | 1367 -603 | 1961 -4 | 1345 -3 | .
221 | 5425 -45 | 5421 -46 | 5421 -40 | .
222 | 17 -16 | 98 -5 | 1 1 | .
223 | 3806 -785 | 3809 -771 | 3806 -769 | .
224 | 95 -174 | 19533 -28 | 42 26 | .
225 | 22722 -363 | 51 -19 | 36 -4 | .
226 | 17 -10 | 34 -37 | 16 -10 | .
227 | 8107 -89 | 8117 -11 | 8098 -8 | .
228 | 9709 -18 | 15825 -778 | 26 -1 | .
229 | 69 -14 | 22 -21 | 17 -11 | .
230 | 1 -366 | 1 2 | 1 2 | .
231 | 96 -75 | 25 1 | 1 1 | .
232 | 592 -6 | 1336 -951 | 124 -1 | .
233 | 4475 -2 | 10691 -11 | 2921 -1 | .
234 | 36 17 | 642 -1 | 36 1 | .
235 | 5 -8 | 22 -2 | 1 1 | .
236 | 10 -250 | 258 -13 | 3 -5 | .
237 | 28 -718 | 10052 -555 | 27 555 | .
238 | 299 -659 | 112 -1115 | 111 -650 | !!!!!!!! 30 8.5
239 | 9 2 | 8 -61 | 1 1 | .
240 | 30 -102 | 256 -1 | 1 1 | .
241 | 712 -82 | 754 -70 | 712 -55 | .
242 | 3885 -1 | 748 -200 | 263 -1 | .
243 | 117 -45 | 937 -42 | 99 -42 | .
244 | 1640 -8 | 1982 -522 | 1208 -2 | .
245 | 3622 -17 | 124 -6 | 112 -3 | .
246 | 1941 -108 | 1015 -124 | 157 -108 | .
247 | 2080 -185 | 527 -148 | 2 -145 | .
248 | 1938 -67 | 2058 -9 | 1919 -5 | .
249 | 338 -1092 | 16238 -365 | 165 -362 | .
250 | 100 -957 | 7 -66 | 1 29 | .
251 | 64 -817 | 2800 -188 | 1 17 | .
252 | 557 -339 | 17 -301 | 1 1 | .
253 | 19 -302 | 28 -294 | 19 -291 | .
254 | 147 -631 | 21159 -869 | 100 -404 | .
255 | 3 -336 | 14081 -6 | 2 -6 | .
256 | 14950 -130 | 21785 -893 | 611 5 | .
257 | 3285 -7 | 63 326 | 1 1 | .
258 | 19 -478 | 184 -395 | 13 -393 | .
259 | 1227 -16 | 6048 -206 | 108 -9 | .
260 | 10927 238 | 634 -372 | 249 233 | .
261 | 9311 -37 | 1040 -63 | 1031 33 | .
262 | 37 -282 | 48 -23 | 35 -6 | .
263 | 234 -19 | 119 -4 | 119 -4 | .
264 | 2720 -95 | 13237 -86 | 2704 -78 | .
265 | 75 -9 | 61 -8 | 60 -4 | .
266 | 9 -591 | 2234 -531 | 5 523 | .
267 | 112 -75 | 6156 -12 | 111 -1 | .
268 | 319 -38 | 344 -30 | 317 -16 | .
269 | 11 -6 | 6157 -12 | 11 -2 | .
270 | 129 -1 | 3 -16 | 2 1 | .
271 | 69 -510 | 993 -451 | 1 438 | .
272 | 4 285 | 92 -387 | 1 276 | .
273 | 51 -60 | 3 -65 | 3 -58 | .
274 | 5516 -38 | 18729 -5 | 1 1 | .
275 | 41 -470 | 2168 -6 | 1 2 | .
276 | 2263 -6 | 1012 -2 | 1004 -1 | .
277 | 5257 -9 | 10207 -540 | 92 7 | .
278 | 1961 -4 | 19 -42 | 1 1 | .
279 | 3335 -285 | 3330 -88 | 3329 -82 | .
280 | 1169 -8 | 4582 -502 | 1 1 | .
281 | 106 -84 | 133 -180 | 80 -27 | .
282 | 36 -37 | 12114 -4 | 1 3 | .
283 | 369 -1323 | 5760 -977 | 349 -945 | .
284 | 550 -8 | 241 -514 | 55 -4 | .
285 | 10093 -538 | 4 -703 | 1 452 | .
286 | 175 -352 | 137 -408 | 126 -350 | .
287 | 3 6 | 19 -11 | 1 1 | .
288 | 1664 -910 | 1664 -798 | 1662 -791 | .
289 | 11 -59 | 1040 -3 | 9 -2 | .
290 | 18 -146 | 9101 -34 | 2 6 | .
291 | 245 -5 | 254 -50 | 239 -5 | .
292 | 3119 -42 | 4824 -405 | 3119 -1 | .
293 | 662 -803 | 1304 -710 | 412 -703 | .
294 | 14 -243 | 14565 -535 | 12 -61 | .
295 | 1726 -43 | 132 -13 | 132 -8 | .
296 | 13 -40 | 629 -52 | 13 -26 | .
297 | 11 -486 | 1 -5 | 1 1 | .
298 | 1090 -82 | 2285 -272 | 1031 -5 | .
299 | 14 -7 | 504 -137 | 1 1 | .
300 | 13500 103 | 3371 -200 | 3371 102 | .
301 | 289 -100 | 3691 -96 | 81 -96 | .
302 | 2189 -14 | 2200 -56 | 2167 -8 | .
303 | 81 -112 | 34 -11 | 6 -1 | .
304 | 3018 -29 | 43 -29 | 43 -29 | .
305 | 7523 -160 | 55 -72 | 1 58 | .
306 | 4 -16 | 9309 -996 | 1 7 | .
307 | 1014 -7 | 18 -5 | 8 -4 | .
308 | 14 -48 | 37 -175 | 13 46 | .
309 | 575 -144 | 11 -474 | 9 -74 | .
310 | 84 -802 | 366 -319 | 35 -318 | .
311 | 982 -189 | 1197 -18 | 976 10 | .
312 | 1931 -182 | 116 -185 | 4 -178 | .
313 | 4667 -45 | 26501 -8 | 1 1 | .
314 | 1 -110 | 23 -409 | 1 9 | .
315 | 3600 -183 | 264 -348 | 1 1 | .
316 | 133 -27 | 1619 -30 | 29 -16 | .
317 | 19825 -37 | 84 -22 | 75 -3 | .
318 | 4446 -211 | 4476 -148 | 4440 91 | .
319 | 26 -441 | 2398 -90 | 25 -4 | .
320 | 4794 -120 | 144 -175 | 143 -61 | .
321 | 4955 -295 | 3 -336 | 3 295 | .
322 | 31130 -8 | 1963 -121 | 52 -1 | .
323 | 55 -413 | 366 -603 | 19 -407 | .
324 | 12428 -46 | 429 -97 | 327 -44 | .
325 | 127 -5 | 130 -47 | 127 -3 | .
326 | 70 -726 | 29407 -122 | 64 -84 | .
327 | 21602 -1017 | 1270 -18 | 2 11 | .
328 | 7242 -320 | 5967 -323 | 5751 -320 | .
329 | 354 -241 | 985 -484 | 174 -1 | .
330 | 933 -82 | 73 -83 | 2 73 | .
331 | 376 -5 | 222 364 | 221 4 | .
332 | 5409 -23 | 12434 -434 | 5405 -1 | .
333 | 4734 -423 | 4 -12 | 1 1 | .
334 | 34 -18 | 1627 -25 | 33 -17 | .
335 | 2015 -6 | 536 -736 | 34 -3 | .
336 | 3525 -50 | 2882 -100 | 2868 50 | .
337 | 304 -1091 | 181 -986 | 174 -979 | .
338 | 1969 -155 | 1869 -655 | 1868 59 | .
339 | 3929 -205 | 19248 -521 | 3788 -9 | .
340 | 10 3 | 8 -22 | 8 2 | .
341 | 550 -59 | 515 -109 | 513 55 | .
342 | 448 -38 | 23488 -76 | 1 38 | .
343 | 5133 -186 | 2674 -2 | 2668 1 | .
344 | 1175 -160 | 239 -155 | 219 -98 | .
345 | 1867 -849 | 30156 -9 | 38 -1 | .
346 | 2 -152 | 771 -5 | 2 1 | .
347 | 2960 -121 | 1444 -20 | 1443 -7 | .
348 | 238 -23 | 1931 -13 | 3 1 | .
349 | 579 -5 | 7459 -2 | 574 -1 | .
350 | 55 -1 | 4 -1 | 1 1 | .
351 | 14 -240 | 10 -282 | 2 240 | .
352 | 165 -7 | 185 -418 | 151 -3 | .
353 | 838 -1437 | 222 -1048 | 222 497 | .
354 | 67 -895 | 2781 -1014 | 21 -693 | .
355 | 1324 -9 | 218 -22 | 56 -5 | .
356 | 196 -7 | 199 -133 | 195 -1 | .
357 | 27803 -519 | 20207 -101 | 4 85 | .
358 | 42 -120 | 52 -121 | 25 -113 | .
359 | 1325 -35 | 3004 -16 | 2 1 | .
360 | 515 -842 | 106 -210 | 105 -169 | .
361 | 873 -2 | 9288 -495 | 380 2 | .
362 | 10653 -1416 | 991 -948 | 990 -814 | .
363 | 971 -90 | 415 -176 | 326 -68 | .
364 | 15738 -12 | 430 -23 | 4 -12 | .
365 | 3 -5 | 937 -840 | 3 -3 | .
366 | 3781 296 | 1221 -296 | 1074 296 | .
367 | 8339 -1042 | 1634 -1022 | 1515 -1018 | .
368 | 270 -324 | 146 -314 | 85 -312 | .
369 | 4935 -202 | 4945 -180 | 4933 -176 | .
370 | 61 -390 | 7192 -348 | 58 -346 | .
371 | 1948 -17 | 27652 -99 | 1948 -3 | .
372 | 125 -17 | 19 -51 | 19 -15 | .
373 | 7079 -63 | 7016 -69 | 7016 -63 | .
374 | 1623 -667 | 25100 -167 | 304 -157 | .
375 | 572 -32 | 558 -15 | 558 -15 | .
376 | 6334 -148 | 6333 -148 | 6333 -148 | .
377 | 731 -70 | 707 -131 | 707 70 | .
378 | 8 -262 | 2463 -402 | 1 62 | .
379 | 7594 -78 | 6 -602 | 4 76 | .
380 | 987 -33 | 1 21 | 1 20 | .
381 | 100 -48 | 921 -55 | 31 46 | .
382 | 15276 -54 | 12765 -39 | 6383 -2 | .
383 | 16 -9 | 28 -482 | 1 1 | .
384 | 336 -20 | 1029 -21 | 57 -16 | .
385 | 12724 -17 | 6107 -486 | 5587 -4 | .
386 | 1975 -575 | 8 -563 | 8 563 | .
387 | 1151 -35 | 2 -306 | 1 1 | .
388 | 15166 -482 | 4358 -386 | 4355 -384 | .
389 | 6931 -334 | 7506 -132 | 6921 -123 | .
390 | 30031 -77 | 137 4 | 127 1 | .
391 | 801 -559 | 23971 -1051 | 707 -558 | !!!!!!!! 42270 1500
392 | 570 -32 | 847 -3 | 48 -1 | .
393 | 3571 -154 | 13441 -157 | 3570 -153 | .
394 | 1807 -215 | 23 -308 | 12 -213 | .
395 | 2560 -21 | 1845 -10 | 226 -3 | .
396 | 591 -338 | 858 -294 | 397 -290 | .
397 | 27775 -39 | 13 -138 | 2 -22 | .
398 | 4275 -33 | 3533 -39 | 2534 -33 | .
399 | 1 93 | 7 -91 | 1 45 | .
400 | 376 -8 | 315 -342 | 305 -5 | .
401 | 83 -127 | 417 -11 | 1 1 | .
402 | 100 -163 | 128 -72 | 96 -68 | .
403 | 25196 -306 | 1941 -273 | 164 -261 | .
404 | 171 -323 | 13 135 | 11 60 | .
405 | 22972 -354 | 104 -24 | 27 -15 | .
406 | 81 -3 | 85 -2 | 81 -2 | .
407 | 14 -29 | 119 -5 | 2 -1 | .
408 | 42 -194 | 14923 -568 | 11 1 | .
409 | 11 -215 | 250 -99 | 1 1 | .
410 | 20 174 | 11 -180 | 11 168 | .
411 | 1711 -245 | 3 4 | 1 1 | .
412 | 2 1 | 115 -6 | 2 1 | .
413 | 868 -86 | 888 -420 | 868 20 | .
414 | 4189 -415 | 3562 -670 | 1983 -291 | .
415 | 80 -674 | 5536 -2 | 1 1 | .
416 | 15169 -633 | 173 -627 | 10 -627 | .
417 | 183 -29 | 138 -104 | 135 -29 | .
418 | 1777 -19 | 549 -83 | 376 -15 | .
419 | 3444 -284 | 4 -216 | 3 -213 | .
420 | 2151 -342 | 2137 3 | 2113 3 | .
421 | 2978 -1047 | 8979 -1654 | 2932 -977 | .
422 | 8351 -250 | 8706 -8 | 7898 -2 | .
423 | 13984 -16 | 6903 -60 | 6902 -4 | .
424 | 41 -63 | 38 -8 | 17 1 | .
425 | 484 -428 | 1937 -41 | 45 -6 | .
426 | 22 -18 | 75 -27 | 1 1 | .
427 | 4961 -674 | 153 -3 | 145 3 | .
428 | 68 -6 | 12534 -196 | 2 6 | .
429 | 113 -40 | 92 -4 | 85 -3 | .
430 | 57 -484 | 3 -359 | 3 45 | .
431 | 494 -736 | 23891 -298 | 104 -37 | .
432 | 778 -395 | 780 -674 | 778 -395 | .
433 | 8020 -110 | 5254 -242 | 4096 -2 | .
434 | 809 -586 | 177 -9 | 6 8 | .
435 | 181 -107 | 997 -50 | 3 -3 | .
436 | 24 -755 | 3 11 | 1 2 | .
437 | 1609 -139 | 22166 -137 | 1482 -137 | .
438 | 6744 -252 | 52 -294 | 2 250 | .
439 | 14 -548 | 15 -543 | 12 -543 | .
440 | 6 -21 | 173 -172 | 1 1 | .
441 | 320 -432 | 891 -369 | 150 -367 | .
442 | 62 -241 | 1 59 | 1 1 | .
443 | 35 -477 | 2488 -4 | 1 4 | .
444 | 5988 305 | 6050 -455 | 5920 297 | .
445 | 503 -144 | 677 -154 | 503 -124 | !!!!!!!! 12 3.5
446 | 13315 -109 | 179 -174 | 8 -14 | .
447 | 12 -90 | 423 -76 | 11 -76 | .
448 | 4545 -283 | 10130 -67 | 63 -29 | .
449 | 223 -3 | 583 -163 | 165 -2 | .
450 | 1921 -178 | 15375 -285 | 1916 -113 | .
451 | 53 -214 | 7715 -561 | 52 -211 | .
452 | 15658 -682 | 99 -41 | 99 -3 | .
453 | 4 -482 | 210 -66 | 2 2 | .
454 | 687 -24 | 1729 -170 | 173 2 | .
455 | 25882 -347 | 56 -3 | 4 -2 | .
456 | 1772 -180 | 853 -158 | 6 -157 | .
457 | 18 -321 | 23 -513 | 15 318 | .
458 | 106 -940 | 164 -551 | 39 -550 | .
459 | 86 -38 | 8033 -949 | 31 -11 | .
460 | 42 -57 | 131 -72 | 41 52 | .
461 | 5551 -52 | 5028 -47 | 5006 -45 | .
462 | 19267 -424 | 13 -7 | 1 1 | .
463 | 211 -655 | 21 -1 | 1 1 | .
464 | 81 -421 | 2668 -355 | 56 47 | .
465 | 799 -676 | 776 -1118 | 776 -671 | .
466 | 6264 -3 | 9258 -3 | 6264 -3 | .
467 | 18115 -26 | 553 -17 | 1 1 | .
468 | 1007 -205 | 3132 -117 | 2 8 | .
469 | 14 -103 | 24 -80 | 4 -44 | .
470 | 3267 -91 | 3255 -99 | 3240 -45 | .
471 | 4888 -979 | 4907 -893 | 4888 -891 | .
472 | 1567 -151 | 2398 -109 | 711 -105 | !!!!!!!! 140 1080
473 | 674 -127 | 107 -642 | 103 -66 | .
474 | 31949 -615 | 1227 -897 | FLINT error: unable to allocate memory
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment