502 lines
6.8 KiB
Plaintext
502 lines
6.8 KiB
Plaintext
iter Passed Remaining
|
|
0 31 15495
|
|
1 56 13981
|
|
2 78 13029
|
|
3 102 12704
|
|
4 125 12422
|
|
5 149 12287
|
|
6 173 12237
|
|
7 198 12212
|
|
8 221 12080
|
|
9 244 11997
|
|
10 269 11962
|
|
11 294 11978
|
|
12 320 12005
|
|
13 345 11987
|
|
14 370 11970
|
|
15 393 11913
|
|
16 416 11823
|
|
17 439 11776
|
|
18 463 11746
|
|
19 487 11705
|
|
20 512 11685
|
|
21 537 11674
|
|
22 560 11629
|
|
23 584 11596
|
|
24 607 11551
|
|
25 631 11510
|
|
26 655 11490
|
|
27 680 11469
|
|
28 705 11455
|
|
29 729 11422
|
|
30 754 11417
|
|
31 779 11393
|
|
32 803 11368
|
|
33 829 11366
|
|
34 854 11356
|
|
35 879 11329
|
|
36 902 11287
|
|
37 925 11249
|
|
38 948 11215
|
|
39 972 11184
|
|
40 995 11146
|
|
41 1020 11126
|
|
42 1045 11116
|
|
43 1068 11073
|
|
44 1091 11036
|
|
45 1113 10994
|
|
46 1137 10964
|
|
47 1160 10923
|
|
48 1185 10913
|
|
49 1209 10887
|
|
50 1233 10858
|
|
51 1258 10841
|
|
52 1280 10796
|
|
53 1305 10781
|
|
54 1329 10756
|
|
55 1353 10731
|
|
56 1377 10708
|
|
57 1398 10660
|
|
58 1422 10631
|
|
59 1446 10606
|
|
60 1468 10569
|
|
61 1490 10529
|
|
62 1513 10497
|
|
63 1537 10473
|
|
64 1561 10450
|
|
65 1585 10429
|
|
66 1610 10406
|
|
67 1636 10394
|
|
68 1659 10367
|
|
69 1683 10338
|
|
70 1706 10308
|
|
71 1730 10284
|
|
72 1754 10262
|
|
73 1778 10236
|
|
74 1801 10206
|
|
75 1825 10186
|
|
76 1850 10165
|
|
77 1875 10147
|
|
78 1899 10123
|
|
79 1924 10104
|
|
80 1948 10076
|
|
81 1971 10049
|
|
82 1994 10021
|
|
83 2016 9987
|
|
84 2041 9967
|
|
85 2065 9941
|
|
86 2089 9917
|
|
87 2113 9893
|
|
88 2139 9879
|
|
89 2162 9851
|
|
90 2186 9828
|
|
91 2211 9807
|
|
92 2234 9780
|
|
93 2258 9756
|
|
94 2283 9734
|
|
95 2307 9709
|
|
96 2332 9690
|
|
97 2356 9667
|
|
98 2380 9641
|
|
99 2404 9616
|
|
100 2428 9591
|
|
101 2450 9561
|
|
102 2474 9536
|
|
103 2497 9509
|
|
104 2518 9475
|
|
105 2542 9449
|
|
106 2567 9429
|
|
107 2590 9402
|
|
108 2613 9375
|
|
109 2638 9355
|
|
110 2661 9328
|
|
111 2685 9304
|
|
112 2711 9284
|
|
113 2736 9264
|
|
114 2764 9254
|
|
115 2788 9231
|
|
116 2814 9213
|
|
117 2840 9195
|
|
118 2865 9175
|
|
119 2892 9158
|
|
120 2916 9135
|
|
121 2941 9114
|
|
122 2965 9089
|
|
123 2990 9068
|
|
124 3014 9042
|
|
125 3038 9019
|
|
126 3062 8993
|
|
127 3087 8974
|
|
128 3113 8955
|
|
129 3137 8929
|
|
130 3162 8908
|
|
131 3185 8881
|
|
132 3208 8852
|
|
133 3232 8829
|
|
134 3256 8803
|
|
135 3278 8775
|
|
136 3302 8751
|
|
137 3327 8728
|
|
138 3352 8706
|
|
139 3378 8688
|
|
140 3402 8663
|
|
141 3426 8639
|
|
142 3452 8619
|
|
143 3476 8595
|
|
144 3501 8571
|
|
145 3524 8546
|
|
146 3547 8518
|
|
147 3571 8494
|
|
148 3593 8464
|
|
149 3616 8439
|
|
150 3641 8416
|
|
151 3665 8390
|
|
152 3688 8364
|
|
153 3711 8339
|
|
154 3737 8319
|
|
155 3761 8295
|
|
156 3785 8270
|
|
157 3809 8245
|
|
158 3832 8220
|
|
159 3856 8195
|
|
160 3881 8173
|
|
161 3907 8151
|
|
162 3931 8128
|
|
163 3954 8101
|
|
164 3980 8081
|
|
165 4004 8057
|
|
166 4031 8039
|
|
167 4056 8016
|
|
168 4080 7992
|
|
169 4103 7964
|
|
170 4127 7940
|
|
171 4152 7918
|
|
172 4177 7896
|
|
173 4201 7871
|
|
174 4224 7846
|
|
175 4247 7818
|
|
176 4274 7800
|
|
177 4299 7778
|
|
178 4329 7764
|
|
179 4359 7750
|
|
180 4386 7730
|
|
181 4424 7731
|
|
182 4465 7735
|
|
183 4500 7728
|
|
184 4527 7709
|
|
185 4559 7696
|
|
186 4586 7676
|
|
187 4617 7663
|
|
188 4642 7639
|
|
189 4667 7615
|
|
190 4690 7588
|
|
191 4715 7564
|
|
192 4738 7538
|
|
193 4762 7512
|
|
194 4786 7487
|
|
195 4809 7460
|
|
196 4834 7435
|
|
197 4861 7415
|
|
198 4888 7393
|
|
199 4913 7370
|
|
200 4937 7344
|
|
201 4959 7316
|
|
202 4981 7288
|
|
203 5007 7266
|
|
204 5030 7238
|
|
205 5052 7211
|
|
206 5075 7184
|
|
207 5100 7159
|
|
208 5124 7135
|
|
209 5148 7110
|
|
210 5174 7087
|
|
211 5197 7060
|
|
212 5219 7033
|
|
213 5245 7010
|
|
214 5268 6984
|
|
215 5293 6960
|
|
216 5319 6936
|
|
217 5342 6911
|
|
218 5368 6887
|
|
219 5392 6863
|
|
220 5418 6840
|
|
221 5443 6816
|
|
222 5469 6793
|
|
223 5493 6768
|
|
224 5518 6744
|
|
225 5542 6720
|
|
226 5568 6696
|
|
227 5594 6674
|
|
228 5618 6648
|
|
229 5642 6624
|
|
230 5665 6597
|
|
231 5692 6575
|
|
232 5716 6550
|
|
233 5738 6522
|
|
234 5762 6497
|
|
235 5784 6470
|
|
236 5808 6445
|
|
237 5830 6418
|
|
238 5854 6393
|
|
239 5880 6370
|
|
240 5905 6346
|
|
241 5932 6324
|
|
242 5958 6301
|
|
243 5983 6277
|
|
244 6006 6252
|
|
245 6031 6227
|
|
246 6055 6202
|
|
247 6079 6177
|
|
248 6105 6154
|
|
249 6130 6130
|
|
250 6156 6107
|
|
251 6180 6082
|
|
252 6206 6059
|
|
253 6231 6034
|
|
254 6255 6010
|
|
255 6280 5986
|
|
256 6305 5961
|
|
257 6330 5937
|
|
258 6354 5912
|
|
259 6378 5887
|
|
260 6404 5864
|
|
261 6429 5840
|
|
262 6451 5813
|
|
263 6476 5789
|
|
264 6503 5766
|
|
265 6529 5743
|
|
266 6552 5718
|
|
267 6576 5693
|
|
268 6601 5669
|
|
269 6626 5644
|
|
270 6650 5619
|
|
271 6673 5594
|
|
272 6697 5569
|
|
273 6723 5545
|
|
274 6748 5521
|
|
275 6773 5497
|
|
276 6797 5472
|
|
277 6821 5447
|
|
278 6846 5422
|
|
279 6870 5398
|
|
280 6895 5373
|
|
281 6918 5348
|
|
282 6943 5324
|
|
283 6968 5300
|
|
284 6994 5276
|
|
285 7018 5251
|
|
286 7040 5225
|
|
287 7066 5201
|
|
288 7089 5176
|
|
289 7114 5151
|
|
290 7139 5127
|
|
291 7162 5102
|
|
292 7186 5077
|
|
293 7209 5051
|
|
294 7232 5026
|
|
295 7255 5000
|
|
296 7279 4975
|
|
297 7302 4950
|
|
298 7325 4924
|
|
299 7349 4899
|
|
300 7372 4873
|
|
301 7397 4849
|
|
302 7422 4825
|
|
303 7445 4800
|
|
304 7468 4774
|
|
305 7490 4748
|
|
306 7512 4722
|
|
307 7534 4696
|
|
308 7557 4671
|
|
309 7580 4646
|
|
310 7604 4621
|
|
311 7628 4596
|
|
312 7650 4570
|
|
313 7674 4545
|
|
314 7700 4522
|
|
315 7723 4497
|
|
316 7747 4472
|
|
317 7770 4447
|
|
318 7795 4422
|
|
319 7820 4399
|
|
320 7844 4374
|
|
321 7867 4349
|
|
322 7892 4324
|
|
323 7914 4299
|
|
324 7937 4274
|
|
325 7961 4249
|
|
326 7984 4224
|
|
327 8008 4199
|
|
328 8033 4175
|
|
329 8056 4150
|
|
330 8080 4125
|
|
331 8105 4101
|
|
332 8126 4075
|
|
333 8149 4050
|
|
334 8172 4025
|
|
335 8196 4000
|
|
336 8218 3975
|
|
337 8242 3950
|
|
338 8267 3926
|
|
339 8288 3900
|
|
340 8311 3875
|
|
341 8335 3850
|
|
342 8356 3825
|
|
343 8380 3800
|
|
344 8403 3775
|
|
345 8427 3750
|
|
346 8450 3726
|
|
347 8474 3701
|
|
348 8498 3676
|
|
349 8519 3651
|
|
350 8542 3626
|
|
351 8565 3601
|
|
352 8588 3576
|
|
353 8613 3552
|
|
354 8636 3527
|
|
355 8659 3502
|
|
356 8682 3477
|
|
357 8705 3452
|
|
358 8728 3428
|
|
359 8750 3403
|
|
360 8776 3379
|
|
361 8799 3354
|
|
362 8822 3329
|
|
363 8846 3305
|
|
364 8868 3280
|
|
365 8890 3255
|
|
366 8913 3230
|
|
367 8935 3205
|
|
368 8958 3180
|
|
369 8982 3155
|
|
370 9003 3130
|
|
371 9028 3106
|
|
372 9051 3081
|
|
373 9073 3056
|
|
374 9095 3031
|
|
375 9117 3006
|
|
376 9141 2982
|
|
377 9164 2957
|
|
378 9186 2932
|
|
379 9208 2907
|
|
380 9230 2883
|
|
381 9256 2859
|
|
382 9278 2834
|
|
383 9300 2809
|
|
384 9324 2785
|
|
385 9346 2760
|
|
386 9372 2736
|
|
387 9394 2711
|
|
388 9420 2688
|
|
389 9445 2664
|
|
390 9467 2639
|
|
391 9491 2614
|
|
392 9515 2590
|
|
393 9539 2566
|
|
394 9564 2542
|
|
395 9590 2518
|
|
396 9614 2494
|
|
397 9640 2470
|
|
398 9665 2446
|
|
399 9689 2422
|
|
400 9716 2398
|
|
401 9739 2374
|
|
402 9761 2349
|
|
403 9784 2325
|
|
404 9807 2300
|
|
405 9830 2276
|
|
406 9853 2251
|
|
407 9876 2226
|
|
408 9900 2202
|
|
409 9921 2177
|
|
410 9943 2153
|
|
411 9965 2128
|
|
412 9987 2103
|
|
413 10008 2079
|
|
414 10030 2054
|
|
415 10055 2030
|
|
416 10081 2006
|
|
417 10105 1982
|
|
418 10129 1958
|
|
419 10156 1934
|
|
420 10180 1910
|
|
421 10206 1886
|
|
422 10229 1862
|
|
423 10252 1837
|
|
424 10274 1813
|
|
425 10295 1788
|
|
426 10318 1764
|
|
427 10340 1739
|
|
428 10364 1715
|
|
429 10388 1691
|
|
430 10410 1666
|
|
431 10434 1642
|
|
432 10458 1618
|
|
433 10481 1594
|
|
434 10507 1570
|
|
435 10531 1545
|
|
436 10555 1521
|
|
437 10579 1497
|
|
438 10601 1473
|
|
439 10623 1448
|
|
440 10645 1424
|
|
441 10669 1400
|
|
442 10692 1375
|
|
443 10714 1351
|
|
444 10736 1327
|
|
445 10759 1302
|
|
446 10783 1278
|
|
447 10808 1254
|
|
448 10829 1230
|
|
449 10852 1205
|
|
450 10874 1181
|
|
451 10897 1157
|
|
452 10921 1133
|
|
453 10943 1108
|
|
454 10965 1084
|
|
455 10988 1060
|
|
456 11013 1036
|
|
457 11035 1012
|
|
458 11058 987
|
|
459 11081 963
|
|
460 11105 939
|
|
461 11128 915
|
|
462 11150 891
|
|
463 11173 866
|
|
464 11197 842
|
|
465 11220 818
|
|
466 11243 794
|
|
467 11267 770
|
|
468 11289 746
|
|
469 11314 722
|
|
470 11339 698
|
|
471 11361 674
|
|
472 11388 650
|
|
473 11411 625
|
|
474 11436 601
|
|
475 11460 577
|
|
476 11482 553
|
|
477 11506 529
|
|
478 11530 505
|
|
479 11553 481
|
|
480 11575 457
|
|
481 11599 433
|
|
482 11622 409
|
|
483 11645 384
|
|
484 11670 360
|
|
485 11693 336
|
|
486 11714 312
|
|
487 11739 288
|
|
488 11762 264
|
|
489 11783 240
|
|
490 11806 216
|
|
491 11829 192
|
|
492 11853 168
|
|
493 11877 144
|
|
494 11900 120
|
|
495 11924 96
|
|
496 11947 72
|
|
497 11970 48
|
|
498 11992 24
|
|
499 12015 0
|