830 lines
14 KiB
Plaintext
830 lines
14 KiB
Plaintext
iter Passed Remaining
|
|
0 113 170657
|
|
1 276 207298
|
|
2 439 219337
|
|
3 561 209949
|
|
4 719 215159
|
|
5 876 218333
|
|
6 1030 219831
|
|
7 1110 207021
|
|
8 1275 211269
|
|
9 1321 196943
|
|
10 1351 182979
|
|
11 1512 187543
|
|
12 1667 190717
|
|
13 1743 185070
|
|
14 1898 187949
|
|
15 2061 191178
|
|
16 2220 193664
|
|
17 2250 185291
|
|
18 2375 185172
|
|
19 2527 187018
|
|
20 2675 188412
|
|
21 2826 189914
|
|
22 2982 191522
|
|
23 3027 186202
|
|
24 3179 187586
|
|
25 3222 182700
|
|
26 3381 184456
|
|
27 3540 186153
|
|
28 3695 187471
|
|
29 3850 188691
|
|
30 4010 190033
|
|
31 4088 187542
|
|
32 4156 184792
|
|
33 4310 185861
|
|
34 4355 182316
|
|
35 4399 178923
|
|
36 4550 179948
|
|
37 4703 180969
|
|
38 4865 182277
|
|
39 5027 183505
|
|
40 5187 184607
|
|
41 5310 184346
|
|
42 5456 184896
|
|
43 5608 185590
|
|
44 5630 182048
|
|
45 5697 180102
|
|
46 5850 180864
|
|
47 6007 181716
|
|
48 6161 182443
|
|
49 6204 179924
|
|
50 6366 180881
|
|
51 6493 180815
|
|
52 6568 179320
|
|
53 6721 179986
|
|
54 6845 179853
|
|
55 6922 178501
|
|
56 7082 179302
|
|
57 7233 179848
|
|
58 7389 180470
|
|
59 7514 180359
|
|
60 7673 181011
|
|
61 7832 181661
|
|
62 7866 179433
|
|
63 7905 177368
|
|
64 8025 177167
|
|
65 8181 177751
|
|
66 8343 178448
|
|
67 8376 176397
|
|
68 8528 176877
|
|
69 8681 177351
|
|
70 8844 178020
|
|
71 8995 178408
|
|
72 9153 178932
|
|
73 9209 177478
|
|
74 9366 177963
|
|
75 9525 178476
|
|
76 9599 177412
|
|
77 9752 177790
|
|
78 9779 175907
|
|
79 9802 173994
|
|
80 9824 172102
|
|
81 9977 172535
|
|
82 10092 172295
|
|
83 10248 172763
|
|
84 10275 171049
|
|
85 10425 171422
|
|
86 10546 171284
|
|
87 10698 171660
|
|
88 10857 172130
|
|
89 11012 172529
|
|
90 11162 172827
|
|
91 11323 173296
|
|
92 11475 173607
|
|
93 11625 173881
|
|
94 11784 174292
|
|
95 11938 174603
|
|
96 12068 174562
|
|
97 12226 174917
|
|
98 12358 174892
|
|
99 12387 173430
|
|
100 12545 173776
|
|
101 12596 172639
|
|
102 12749 172925
|
|
103 12804 171882
|
|
104 12965 172254
|
|
105 13129 172661
|
|
106 13292 173051
|
|
107 13449 173343
|
|
108 13485 172092
|
|
109 13633 172280
|
|
110 13756 172146
|
|
111 13906 172338
|
|
112 14059 172566
|
|
113 14105 171489
|
|
114 14264 171788
|
|
115 14415 171989
|
|
116 14567 172196
|
|
117 14731 172536
|
|
118 14892 172833
|
|
119 15057 173155
|
|
120 15108 172182
|
|
121 15271 172489
|
|
122 15431 172752
|
|
123 15556 172621
|
|
124 15626 171894
|
|
125 15781 172096
|
|
126 15942 172352
|
|
127 16104 172619
|
|
128 16265 172863
|
|
129 16419 173032
|
|
130 16577 173241
|
|
131 16735 173438
|
|
132 16858 173273
|
|
133 17013 173437
|
|
134 17142 173329
|
|
135 17218 172687
|
|
136 17374 172855
|
|
137 17397 171706
|
|
138 17549 171838
|
|
139 17712 172066
|
|
140 17870 172236
|
|
141 17902 171207
|
|
142 18062 171401
|
|
143 18223 171605
|
|
144 18381 171767
|
|
145 18543 171969
|
|
146 18711 172224
|
|
147 18874 172420
|
|
148 19025 172508
|
|
149 19182 172640
|
|
150 19344 172816
|
|
151 19502 172953
|
|
152 19659 173076
|
|
153 19813 173176
|
|
154 19975 173336
|
|
155 20010 172401
|
|
156 20127 172175
|
|
157 20279 172249
|
|
158 20435 172355
|
|
159 20517 171832
|
|
160 20672 171926
|
|
161 20829 172035
|
|
162 20985 172132
|
|
163 21148 172285
|
|
164 21305 172383
|
|
165 21457 172438
|
|
166 21618 172559
|
|
167 21784 172716
|
|
168 21915 172597
|
|
169 22076 172713
|
|
170 22144 172103
|
|
171 22294 172130
|
|
172 22444 172163
|
|
173 22480 171315
|
|
174 22631 171355
|
|
175 22795 171484
|
|
176 22958 171606
|
|
177 23107 171619
|
|
178 23265 171698
|
|
179 23433 171846
|
|
180 23595 171945
|
|
181 23758 172056
|
|
182 23910 172073
|
|
183 24074 172187
|
|
184 24227 172212
|
|
185 24283 171552
|
|
186 24440 171608
|
|
187 24606 171722
|
|
188 24728 171528
|
|
189 24884 171573
|
|
190 25036 171587
|
|
191 25094 170953
|
|
192 25252 171007
|
|
193 25405 171031
|
|
194 25533 170876
|
|
195 25691 170926
|
|
196 25849 170976
|
|
197 26000 170972
|
|
198 26147 170944
|
|
199 26309 171012
|
|
200 26464 171030
|
|
201 26583 170821
|
|
202 26736 170825
|
|
203 26889 170828
|
|
204 27045 170851
|
|
205 27201 170868
|
|
206 27357 170885
|
|
207 27518 170932
|
|
208 27571 170307
|
|
209 27727 170325
|
|
210 27804 169860
|
|
211 27967 169913
|
|
212 28133 169988
|
|
213 28292 170021
|
|
214 28455 170069
|
|
215 28606 170051
|
|
216 28759 170040
|
|
217 28919 170070
|
|
218 29071 170050
|
|
219 29232 170080
|
|
220 29402 170161
|
|
221 29557 170155
|
|
222 29681 169968
|
|
223 29839 169980
|
|
224 30001 170010
|
|
225 30158 170010
|
|
226 30184 169275
|
|
227 30338 169257
|
|
228 30371 168569
|
|
229 30417 167955
|
|
230 30538 167763
|
|
231 30697 167776
|
|
232 30860 167813
|
|
233 31025 167856
|
|
234 31189 167893
|
|
235 31317 167735
|
|
236 31484 167785
|
|
237 31646 167804
|
|
238 31796 167760
|
|
239 31951 167743
|
|
240 32107 167733
|
|
241 32262 167713
|
|
242 32414 167674
|
|
243 32572 167667
|
|
244 32737 167696
|
|
245 32774 167072
|
|
246 32928 167040
|
|
247 33088 167043
|
|
248 33257 167088
|
|
249 33423 167117
|
|
250 33580 167097
|
|
251 33620 166502
|
|
252 33655 165883
|
|
253 33813 165873
|
|
254 33970 165854
|
|
255 34130 165852
|
|
256 34285 165822
|
|
257 34448 165833
|
|
258 34573 165660
|
|
259 34722 165600
|
|
260 34878 165574
|
|
261 35040 165570
|
|
262 35200 165560
|
|
263 35356 165530
|
|
264 35425 165095
|
|
265 35582 165069
|
|
266 35740 165046
|
|
267 35897 165021
|
|
268 36050 164974
|
|
269 36208 164948
|
|
270 36366 164923
|
|
271 36525 164900
|
|
272 36689 164902
|
|
273 36850 164884
|
|
274 37011 164869
|
|
275 37086 164471
|
|
276 37247 164452
|
|
277 37407 164432
|
|
278 37558 164367
|
|
279 37714 164327
|
|
280 37871 164287
|
|
281 38028 164251
|
|
282 38183 164201
|
|
283 38342 164171
|
|
284 38507 164163
|
|
285 38673 164159
|
|
286 38830 164116
|
|
287 38888 163653
|
|
288 39047 163619
|
|
289 39177 163462
|
|
290 39337 163434
|
|
291 39493 163382
|
|
292 39644 163312
|
|
293 39710 162895
|
|
294 39861 162824
|
|
295 40021 162792
|
|
296 40068 162297
|
|
297 40225 162251
|
|
298 40380 162198
|
|
299 40530 162121
|
|
300 40686 162069
|
|
301 40852 162056
|
|
302 40925 161675
|
|
303 41086 161643
|
|
304 41255 161640
|
|
305 41425 161638
|
|
306 41583 161592
|
|
307 41735 161521
|
|
308 41894 161477
|
|
309 42061 161462
|
|
310 42224 161432
|
|
311 42390 161411
|
|
312 42552 161374
|
|
313 42713 161331
|
|
314 42879 161309
|
|
315 43040 161264
|
|
316 43197 161207
|
|
317 43358 161164
|
|
318 43512 161093
|
|
319 43672 161043
|
|
320 43834 160999
|
|
321 43994 160948
|
|
322 44158 160911
|
|
323 44321 160869
|
|
324 44483 160823
|
|
325 44635 160741
|
|
326 44790 160668
|
|
327 44818 160142
|
|
328 44973 160072
|
|
329 45118 159966
|
|
330 45162 159501
|
|
331 45315 159422
|
|
332 45470 159352
|
|
333 45624 159276
|
|
334 45791 159244
|
|
335 45951 159189
|
|
336 46082 159033
|
|
337 46242 158976
|
|
338 46396 158898
|
|
339 46548 158811
|
|
340 46712 158766
|
|
341 46840 158598
|
|
342 47000 158541
|
|
343 47163 158491
|
|
344 47324 158435
|
|
345 47483 158369
|
|
346 47639 158294
|
|
347 47798 158230
|
|
348 47875 157892
|
|
349 48030 157814
|
|
350 48184 157731
|
|
351 48347 157678
|
|
352 48505 157609
|
|
353 48661 157529
|
|
354 48821 157466
|
|
355 48986 157416
|
|
356 49150 157363
|
|
357 49191 156917
|
|
358 49342 156822
|
|
359 49498 156745
|
|
360 49651 156655
|
|
361 49800 156554
|
|
362 49957 156478
|
|
363 50086 156313
|
|
364 50248 156252
|
|
365 50412 156197
|
|
366 50572 156127
|
|
367 50730 156052
|
|
368 50884 155962
|
|
369 51037 155872
|
|
370 51196 155797
|
|
371 51360 155739
|
|
372 51512 155643
|
|
373 51670 155562
|
|
374 51830 155490
|
|
375 51982 155393
|
|
376 52014 154938
|
|
377 52063 154537
|
|
378 52219 154452
|
|
379 52379 154381
|
|
380 52542 154317
|
|
381 52586 153905
|
|
382 52741 153818
|
|
383 52900 153742
|
|
384 53054 153650
|
|
385 53205 153551
|
|
386 53356 153452
|
|
387 53389 153013
|
|
388 53540 152914
|
|
389 53705 152853
|
|
390 53775 152524
|
|
391 53926 152426
|
|
392 54085 152348
|
|
393 54245 152273
|
|
394 54409 152209
|
|
395 54575 152150
|
|
396 54732 152065
|
|
397 54893 151990
|
|
398 55039 151877
|
|
399 55191 151776
|
|
400 55348 151690
|
|
401 55389 151286
|
|
402 55445 150926
|
|
403 55602 150843
|
|
404 55729 150675
|
|
405 55882 150578
|
|
406 56031 150471
|
|
407 56190 150392
|
|
408 56355 150327
|
|
409 56520 150263
|
|
410 56681 150184
|
|
411 56842 150107
|
|
412 56992 150000
|
|
413 57150 149917
|
|
414 57305 149823
|
|
415 57427 149643
|
|
416 57588 149564
|
|
417 57619 149148
|
|
418 57779 149067
|
|
419 57823 148690
|
|
420 57968 148570
|
|
421 58118 148463
|
|
422 58275 148376
|
|
423 58346 148066
|
|
424 58496 147962
|
|
425 58609 147761
|
|
426 58722 147563
|
|
427 58874 147460
|
|
428 59041 147396
|
|
429 59195 147299
|
|
430 59345 147193
|
|
431 59502 147103
|
|
432 59657 147008
|
|
433 59807 146899
|
|
434 59963 146807
|
|
435 60119 146714
|
|
436 60282 146637
|
|
437 60435 146536
|
|
438 60592 146444
|
|
439 60757 146369
|
|
440 60908 146262
|
|
441 61058 146154
|
|
442 61213 146055
|
|
443 61369 145959
|
|
444 61527 145868
|
|
445 61685 145778
|
|
446 61839 145675
|
|
447 61992 145571
|
|
448 62145 145468
|
|
449 62299 145366
|
|
450 62457 145272
|
|
451 62624 145201
|
|
452 62776 145092
|
|
453 62930 144989
|
|
454 63049 144805
|
|
455 63205 144707
|
|
456 63363 144613
|
|
457 63531 144541
|
|
458 63688 144444
|
|
459 63839 144333
|
|
460 63992 144226
|
|
461 64150 144131
|
|
462 64317 144055
|
|
463 64473 143953
|
|
464 64629 143852
|
|
465 64785 143750
|
|
466 64937 143641
|
|
467 65094 143540
|
|
468 65258 143457
|
|
469 65418 143363
|
|
470 65576 143265
|
|
471 65740 143179
|
|
472 65900 143085
|
|
473 65946 142744
|
|
474 65998 142417
|
|
475 66158 142324
|
|
476 66318 142229
|
|
477 66480 142141
|
|
478 66636 142037
|
|
479 66789 141927
|
|
480 66949 141832
|
|
481 67112 141744
|
|
482 67280 141665
|
|
483 67441 141571
|
|
484 67600 141472
|
|
485 67752 141360
|
|
486 67915 141269
|
|
487 68073 141168
|
|
488 68227 141059
|
|
489 68385 140957
|
|
490 68539 140848
|
|
491 68691 140734
|
|
492 68852 140638
|
|
493 69011 140538
|
|
494 69168 140432
|
|
495 69329 140337
|
|
496 69482 140222
|
|
497 69607 140052
|
|
498 69761 139942
|
|
499 69885 139771
|
|
500 70046 139672
|
|
501 70195 139552
|
|
502 70228 139199
|
|
503 70391 139107
|
|
504 70556 139017
|
|
505 70707 138900
|
|
506 70864 138793
|
|
507 71018 138682
|
|
508 71175 138576
|
|
509 71334 138472
|
|
510 71497 138378
|
|
511 71614 138192
|
|
512 71775 138094
|
|
513 71930 137984
|
|
514 72087 137876
|
|
515 72245 137770
|
|
516 72399 137657
|
|
517 72553 137542
|
|
518 72704 137423
|
|
519 72755 137116
|
|
520 72911 137006
|
|
521 72983 136739
|
|
522 73137 136626
|
|
523 73169 136284
|
|
524 73329 136182
|
|
525 73487 136077
|
|
526 73522 135744
|
|
527 73681 135640
|
|
528 73839 135534
|
|
529 73913 135275
|
|
530 74068 135165
|
|
531 74234 135072
|
|
532 74302 134803
|
|
533 74451 134682
|
|
534 74612 134582
|
|
535 74653 134264
|
|
536 74725 134005
|
|
537 74887 133906
|
|
538 75048 133807
|
|
539 75213 133713
|
|
540 75365 133596
|
|
541 75513 133472
|
|
542 75669 133361
|
|
543 75829 133258
|
|
544 75882 132967
|
|
545 76033 132850
|
|
546 76194 132748
|
|
547 76344 132627
|
|
548 76495 132508
|
|
549 76653 132401
|
|
550 76817 132303
|
|
551 76969 132186
|
|
552 77122 132071
|
|
553 77278 131958
|
|
554 77437 131852
|
|
555 77592 131740
|
|
556 77757 131643
|
|
557 77915 131534
|
|
558 78062 131407
|
|
559 78224 131305
|
|
560 78297 131053
|
|
561 78449 130934
|
|
562 78605 130822
|
|
563 78760 130709
|
|
564 78810 130420
|
|
565 78969 130313
|
|
566 79129 130207
|
|
567 79295 130111
|
|
568 79449 129996
|
|
569 79599 129872
|
|
570 79748 129748
|
|
571 79901 129629
|
|
572 80056 129515
|
|
573 80210 129398
|
|
574 80355 129267
|
|
575 80504 129143
|
|
576 80664 129034
|
|
577 80826 128930
|
|
578 80987 128823
|
|
579 81146 128714
|
|
580 81297 128592
|
|
581 81447 128469
|
|
582 81601 128350
|
|
583 81749 128224
|
|
584 81906 128110
|
|
585 82058 127988
|
|
586 82227 127894
|
|
587 82386 127782
|
|
588 82540 127664
|
|
589 82613 127421
|
|
590 82772 127310
|
|
591 82927 127192
|
|
592 83083 127076
|
|
593 83243 126967
|
|
594 83394 126843
|
|
595 83473 126610
|
|
596 83598 126447
|
|
597 83767 126352
|
|
598 83928 126243
|
|
599 84084 126127
|
|
600 84126 125840
|
|
601 84284 125726
|
|
602 84438 125607
|
|
603 84586 125479
|
|
604 84747 125369
|
|
605 84901 125250
|
|
606 85049 125122
|
|
607 85204 125003
|
|
608 85359 124885
|
|
609 85514 124767
|
|
610 85665 124642
|
|
611 85789 124478
|
|
612 85946 124363
|
|
613 85992 124087
|
|
614 86142 123961
|
|
615 86263 123793
|
|
616 86396 123643
|
|
617 86546 123517
|
|
618 86706 123406
|
|
619 86860 123285
|
|
620 87007 123154
|
|
621 87161 123035
|
|
622 87208 122764
|
|
623 87366 122649
|
|
624 87493 122490
|
|
625 87656 122382
|
|
626 87823 122280
|
|
627 87988 122174
|
|
628 88153 122069
|
|
629 88316 121961
|
|
630 88480 121853
|
|
631 88643 121743
|
|
632 88801 121628
|
|
633 88960 121513
|
|
634 89124 121406
|
|
635 89276 121281
|
|
636 89301 120984
|
|
637 89451 120857
|
|
638 89605 120736
|
|
639 89761 120617
|
|
640 89919 120500
|
|
641 90074 120380
|
|
642 90222 120250
|
|
643 90386 120141
|
|
644 90549 120030
|
|
645 90703 119907
|
|
646 90865 119796
|
|
647 90948 119580
|
|
648 91101 119457
|
|
649 91254 119332
|
|
650 91419 119225
|
|
651 91585 119117
|
|
652 91746 119004
|
|
653 91905 118887
|
|
654 92069 118776
|
|
655 92226 118657
|
|
656 92387 118543
|
|
657 92464 118321
|
|
658 92588 118159
|
|
659 92660 117931
|
|
660 92703 117668
|
|
661 92866 117555
|
|
662 93021 117434
|
|
663 93183 117321
|
|
664 93344 117206
|
|
665 93513 117102
|
|
666 93672 116984
|
|
667 93832 116869
|
|
668 93871 116603
|
|
669 94031 116486
|
|
670 94184 116362
|
|
671 94340 116240
|
|
672 94492 116114
|
|
673 94641 115985
|
|
674 94800 115867
|
|
675 94926 115708
|
|
676 95073 115576
|
|
677 95230 115456
|
|
678 95391 115340
|
|
679 95550 115223
|
|
680 95705 115099
|
|
681 95855 114970
|
|
682 96011 114848
|
|
683 96166 114725
|
|
684 96323 114604
|
|
685 96453 114450
|
|
686 96608 114327
|
|
687 96771 114212
|
|
688 96930 114093
|
|
689 97080 113964
|
|
690 97233 113837
|
|
691 97394 113721
|
|
692 97548 113596
|
|
693 97714 113483
|
|
694 97873 113364
|
|
695 97996 113202
|
|
696 98152 113079
|
|
697 98310 112957
|
|
698 98459 112826
|
|
699 98612 112699
|
|
700 98763 112570
|
|
701 98914 112441
|
|
702 99074 112321
|
|
703 99224 112191
|
|
704 99372 112057
|
|
705 99525 111930
|
|
706 99678 111803
|
|
707 99736 111569
|
|
708 99887 111440
|
|
709 100036 111308
|
|
710 100194 111186
|
|
711 100362 111075
|
|
712 100525 110958
|
|
713 100685 110838
|
|
714 100845 110718
|
|
715 100998 110590
|
|
716 101044 110345
|
|
717 101197 110217
|
|
718 101352 110092
|
|
719 101512 109971
|
|
720 101666 109844
|
|
721 101831 109729
|
|
722 101998 109616
|
|
723 102158 109496
|
|
724 102317 109373
|
|
725 102477 109252
|
|
726 102532 109020
|
|
727 102691 108897
|
|
728 102853 108778
|
|
729 102885 108523
|
|
730 103042 108398
|
|
731 103198 108273
|
|
732 103354 108148
|
|
733 103519 108032
|
|
734 103669 107900
|
|
735 103824 107773
|
|
736 103993 107662
|
|
737 104152 107539
|
|
738 104191 107293
|
|
739 104346 107166
|
|
740 104495 107034
|
|
741 104649 106905
|
|
742 104699 106672
|
|
743 104854 106546
|
|
744 105010 106419
|
|
745 105167 106295
|
|
746 105325 106170
|
|
747 105477 106041
|
|
748 105641 105923
|
|
749 105790 105790
|
|
750 105950 105668
|
|
751 106112 105547
|
|
752 106150 105304
|
|
753 106303 105175
|
|
754 106461 105051
|
|
755 106616 104923
|
|
756 106773 104799
|
|
757 106932 104675
|
|
758 107089 104549
|
|
759 107128 104309
|
|
760 107290 104188
|
|
761 107449 104065
|
|
762 107603 103936
|
|
763 107636 103691
|
|
764 107788 103561
|
|
765 107944 103434
|
|
766 108109 103317
|
|
767 108267 103192
|
|
768 108426 103068
|
|
769 108591 102950
|
|
770 108626 102708
|
|
771 108775 102575
|
|
772 108928 102446
|
|
773 109085 102320
|
|
774 109249 102201
|
|
775 109410 102078
|
|
776 109565 101950
|
|
777 109712 101815
|
|
778 109866 101686
|
|
779 110018 101555
|
|
780 110168 101422
|
|
781 110322 101293
|
|
782 110480 101167
|
|
783 110632 101036
|
|
784 110788 100909
|
|
785 110948 100785
|
|
786 111096 100650
|
|
787 111257 100526
|
|
788 111415 100401
|
|
789 111570 100272
|
|
790 111722 100141
|
|
791 111792 99935
|
|
792 111958 99816
|
|
793 112116 99690
|
|
794 112156 99459
|
|
795 112312 99331
|
|
796 112479 99213
|
|
797 112634 99084
|
|
798 112791 98957
|
|
799 112944 98826
|
|
800 113111 98707
|
|
801 113262 98575
|
|
802 113413 98442
|
|
803 113565 98310
|
|
804 113717 98178
|
|
805 113752 97945
|
|
806 113907 97816
|
|
807 114063 97687
|
|
808 114223 97563
|
|
809 114374 97430
|
|
810 114539 97308
|
|
811 114690 97176
|
|
812 114839 97041
|
|
813 115002 96918
|
|
814 115167 96797
|
|
815 115318 96664
|
|
816 115478 96538
|
|
817 115547 96336
|
|
818 115713 96215
|
|
819 115878 96094
|
|
820 116038 95968
|
|
821 116110 95769
|
|
822 116155 95549
|
|
823 116309 95418
|
|
824 116466 95290
|
|
825 116630 95168
|
|
826 116786 95039
|
|
827 116939 94907
|