790 lines
13 KiB
Plaintext
790 lines
13 KiB
Plaintext
iter Passed Remaining
|
|
0 270 406186
|
|
1 481 360469
|
|
2 690 344442
|
|
3 901 337334
|
|
4 948 283470
|
|
5 1191 296729
|
|
6 1387 295989
|
|
7 1586 295882
|
|
8 1873 310381
|
|
9 2092 311845
|
|
10 2312 313086
|
|
11 2566 318243
|
|
12 2796 319839
|
|
13 3010 319545
|
|
14 3178 314720
|
|
15 3389 314392
|
|
16 3494 304805
|
|
17 3598 296307
|
|
18 3815 297412
|
|
19 4036 298730
|
|
20 4254 299647
|
|
21 4489 301590
|
|
22 4721 303194
|
|
23 4962 305188
|
|
24 5195 306532
|
|
25 5418 307197
|
|
26 5630 307155
|
|
27 5833 306674
|
|
28 6080 308410
|
|
29 6280 307761
|
|
30 6493 307704
|
|
31 6704 307549
|
|
32 6921 307674
|
|
33 7132 307553
|
|
34 7346 307504
|
|
35 7575 308081
|
|
36 7802 308511
|
|
37 8031 309012
|
|
38 8300 310946
|
|
39 8527 311240
|
|
40 8750 311379
|
|
41 8964 311197
|
|
42 9178 311011
|
|
43 9394 310883
|
|
44 9494 306993
|
|
45 9698 306550
|
|
46 9916 306561
|
|
47 10145 306892
|
|
48 10355 306661
|
|
49 10582 306882
|
|
50 10790 306565
|
|
51 11022 306936
|
|
52 11254 307270
|
|
53 11481 307447
|
|
54 11744 308547
|
|
55 12074 311340
|
|
56 12336 312302
|
|
57 12552 312087
|
|
58 12770 311897
|
|
59 12991 311800
|
|
60 13250 312575
|
|
61 13466 312333
|
|
62 13700 312504
|
|
63 13928 312530
|
|
64 14151 312432
|
|
65 14369 312217
|
|
66 14576 311773
|
|
67 14776 311165
|
|
68 14986 310807
|
|
69 15191 310349
|
|
70 15396 309873
|
|
71 15609 309581
|
|
72 15813 309123
|
|
73 16016 308638
|
|
74 16222 308224
|
|
75 16432 307884
|
|
76 16638 307479
|
|
77 16846 307117
|
|
78 17055 306788
|
|
79 17268 306517
|
|
80 17473 306110
|
|
81 17693 305962
|
|
82 17895 305508
|
|
83 18099 305106
|
|
84 18304 304714
|
|
85 18523 304555
|
|
86 18738 304335
|
|
87 18940 303907
|
|
88 19150 303617
|
|
89 19362 303338
|
|
90 19566 302960
|
|
91 19772 302608
|
|
92 19985 302368
|
|
93 20199 302133
|
|
94 20403 301750
|
|
95 20606 301365
|
|
96 20811 301014
|
|
97 21015 300647
|
|
98 21228 300419
|
|
99 21437 300124
|
|
100 21641 299772
|
|
101 21845 299415
|
|
102 22049 299060
|
|
103 22259 298784
|
|
104 22467 298494
|
|
105 22695 298471
|
|
106 22907 298222
|
|
107 23117 297953
|
|
108 23330 297733
|
|
109 23539 297455
|
|
110 23747 297165
|
|
111 23954 296859
|
|
112 24161 296566
|
|
113 24364 296221
|
|
114 24568 295891
|
|
115 24768 295512
|
|
116 24976 295233
|
|
117 25184 294960
|
|
118 25396 294726
|
|
119 25607 294487
|
|
120 25822 294296
|
|
121 26039 294119
|
|
122 26254 293925
|
|
123 26462 293650
|
|
124 26671 293386
|
|
125 26887 293206
|
|
126 27108 293071
|
|
127 27309 292722
|
|
128 27513 292412
|
|
129 27730 292237
|
|
130 27940 291993
|
|
131 28153 291770
|
|
132 28361 291505
|
|
133 28566 291204
|
|
134 28779 290996
|
|
135 28985 290711
|
|
136 29199 290507
|
|
137 29411 290274
|
|
138 29623 290053
|
|
139 29835 289826
|
|
140 30059 289719
|
|
141 30292 289696
|
|
142 30506 289488
|
|
143 30712 289207
|
|
144 30918 288929
|
|
145 31160 288983
|
|
146 31371 288741
|
|
147 31576 288453
|
|
148 31785 288199
|
|
149 31990 287911
|
|
150 32197 287644
|
|
151 32404 287375
|
|
152 32612 287120
|
|
153 32820 286856
|
|
154 33034 286650
|
|
155 33244 286411
|
|
156 33458 286207
|
|
157 33667 285959
|
|
158 33876 285714
|
|
159 34081 285428
|
|
160 34290 285189
|
|
161 34496 284916
|
|
162 34706 284680
|
|
163 34920 284472
|
|
164 35138 284306
|
|
165 35355 284125
|
|
166 35564 283877
|
|
167 35767 283587
|
|
168 35976 283341
|
|
169 36188 283118
|
|
170 36392 282837
|
|
171 36599 282584
|
|
172 36807 282331
|
|
173 37009 282039
|
|
174 37226 281857
|
|
175 37442 281669
|
|
176 37657 281475
|
|
177 37868 281250
|
|
178 38081 281039
|
|
179 38294 280824
|
|
180 38505 280597
|
|
181 38713 280353
|
|
182 38924 280125
|
|
183 39138 279928
|
|
184 39348 279694
|
|
185 39567 279528
|
|
186 39781 279319
|
|
187 39988 279072
|
|
188 40195 278816
|
|
189 40409 278614
|
|
190 40633 278479
|
|
191 40843 278245
|
|
192 41054 278019
|
|
193 41267 277808
|
|
194 41473 277554
|
|
195 41683 277323
|
|
196 41890 277069
|
|
197 42099 276834
|
|
198 42308 276597
|
|
199 42522 276394
|
|
200 42733 276174
|
|
201 42942 275940
|
|
202 43149 275688
|
|
203 43351 275406
|
|
204 43563 275195
|
|
205 43810 275196
|
|
206 44022 274983
|
|
207 44236 274779
|
|
208 44451 274577
|
|
209 44661 274346
|
|
210 44870 274111
|
|
211 45073 273845
|
|
212 45283 273613
|
|
213 45489 273359
|
|
214 45696 273113
|
|
215 45905 272883
|
|
216 46119 272680
|
|
217 46322 272408
|
|
218 46531 272179
|
|
219 46738 271935
|
|
220 46950 271716
|
|
221 47172 271560
|
|
222 47380 271320
|
|
223 47594 271116
|
|
224 47804 270894
|
|
225 48060 270924
|
|
226 48269 270692
|
|
227 48479 270463
|
|
228 48687 270225
|
|
229 48892 269970
|
|
230 49106 269764
|
|
231 49312 269516
|
|
232 49517 269264
|
|
233 49727 269036
|
|
234 49944 268852
|
|
235 50176 268743
|
|
236 50392 268546
|
|
237 50608 268353
|
|
238 50822 268145
|
|
239 51040 267964
|
|
240 51277 267879
|
|
241 51493 267680
|
|
242 51702 267446
|
|
243 51920 267262
|
|
244 52173 267254
|
|
245 52380 267015
|
|
246 52586 266766
|
|
247 52796 266538
|
|
248 53012 266340
|
|
249 53227 266136
|
|
250 53439 265920
|
|
251 53649 265694
|
|
252 53854 265439
|
|
253 54059 265190
|
|
254 54267 264953
|
|
255 54476 264721
|
|
256 54686 264493
|
|
257 54896 264271
|
|
258 55124 264130
|
|
259 55337 263919
|
|
260 55550 263705
|
|
261 55756 263460
|
|
262 55970 263250
|
|
263 56188 263065
|
|
264 56426 262967
|
|
265 56636 262744
|
|
266 56844 262506
|
|
267 57056 262290
|
|
268 57274 262101
|
|
269 57481 261859
|
|
270 57688 261618
|
|
271 57896 261385
|
|
272 58106 261160
|
|
273 58312 260917
|
|
274 58527 260712
|
|
275 58738 260494
|
|
276 58948 260267
|
|
277 59155 260030
|
|
278 59368 259815
|
|
279 59578 259593
|
|
280 59804 259437
|
|
281 60015 259215
|
|
282 60226 258993
|
|
283 60453 258842
|
|
284 60698 258766
|
|
285 60906 258533
|
|
286 61115 258303
|
|
287 61322 258065
|
|
288 61534 257850
|
|
289 61745 257629
|
|
290 61953 257395
|
|
291 62177 257227
|
|
292 62391 257020
|
|
293 62609 256827
|
|
294 62816 256589
|
|
295 63028 256371
|
|
296 63232 256125
|
|
297 63446 255915
|
|
298 63657 255694
|
|
299 63859 255437
|
|
300 64071 255222
|
|
301 64280 254994
|
|
302 64483 254741
|
|
303 64719 254618
|
|
304 64947 254465
|
|
305 65160 254254
|
|
306 65373 254039
|
|
307 65582 253810
|
|
308 65781 253547
|
|
309 65987 253305
|
|
310 66201 253097
|
|
311 66410 252870
|
|
312 66634 252699
|
|
313 66838 252453
|
|
314 67051 252241
|
|
315 67258 252005
|
|
316 67460 251754
|
|
317 67677 251556
|
|
318 67900 251379
|
|
319 68107 251146
|
|
320 68330 250969
|
|
321 68529 250706
|
|
322 68731 250453
|
|
323 68947 250252
|
|
324 69148 250000
|
|
325 69367 249806
|
|
326 69582 249602
|
|
327 69788 249364
|
|
328 70009 249183
|
|
329 70214 248943
|
|
330 70443 248785
|
|
331 70652 248559
|
|
332 70859 248326
|
|
333 71086 248164
|
|
334 71322 248033
|
|
335 71567 247929
|
|
336 71772 247689
|
|
337 71982 247465
|
|
338 72190 247235
|
|
339 72396 247001
|
|
340 72598 246748
|
|
341 72804 246514
|
|
342 73024 246325
|
|
343 73253 246165
|
|
344 73468 245960
|
|
345 73677 245732
|
|
346 73892 245528
|
|
347 74131 245399
|
|
348 74341 245178
|
|
349 74544 244932
|
|
350 74748 244690
|
|
351 74957 244462
|
|
352 75161 244220
|
|
353 75400 244093
|
|
354 75612 243877
|
|
355 75818 243640
|
|
356 76046 243477
|
|
357 76258 243260
|
|
358 76464 243023
|
|
359 76677 242812
|
|
360 76889 242595
|
|
361 77101 242379
|
|
362 77400 242437
|
|
363 77616 242233
|
|
364 77825 242005
|
|
365 78045 241812
|
|
366 78250 241575
|
|
367 78468 241376
|
|
368 78682 241164
|
|
369 78895 240952
|
|
370 79102 240720
|
|
371 79316 240507
|
|
372 79515 240252
|
|
373 79728 240036
|
|
374 79936 239810
|
|
375 80183 239697
|
|
376 80406 239513
|
|
377 80608 239265
|
|
378 80812 239025
|
|
379 81025 238811
|
|
380 81228 238567
|
|
381 81473 238447
|
|
382 81684 238227
|
|
383 81884 237975
|
|
384 82084 237725
|
|
385 82292 237497
|
|
386 82503 237278
|
|
387 82708 237041
|
|
388 82925 236838
|
|
389 83138 236625
|
|
390 83377 236484
|
|
391 83577 236233
|
|
392 83780 235992
|
|
393 83976 235731
|
|
394 84185 235506
|
|
395 84390 235271
|
|
396 84601 235052
|
|
397 84808 234821
|
|
398 85017 234595
|
|
399 85225 234369
|
|
400 85439 234159
|
|
401 85647 233932
|
|
402 85901 233832
|
|
403 86136 233677
|
|
404 86353 233474
|
|
405 86555 233230
|
|
406 86755 232981
|
|
407 86955 232733
|
|
408 87157 232491
|
|
409 87377 232296
|
|
410 87579 232053
|
|
411 87803 231869
|
|
412 88010 231641
|
|
413 88211 231395
|
|
414 88415 231158
|
|
415 88635 230964
|
|
416 88845 230741
|
|
417 89044 230494
|
|
418 89249 230260
|
|
419 89479 230089
|
|
420 89690 229872
|
|
421 89933 229736
|
|
422 90168 229579
|
|
423 90372 229340
|
|
424 90576 229106
|
|
425 90780 228868
|
|
426 90987 228641
|
|
427 91190 228402
|
|
428 91392 228161
|
|
429 91594 227920
|
|
430 91802 227696
|
|
431 92018 227490
|
|
432 92251 227326
|
|
433 92462 227107
|
|
434 92672 226887
|
|
435 92882 226668
|
|
436 93082 226423
|
|
437 93298 226216
|
|
438 93527 226042
|
|
439 93722 225786
|
|
440 93935 225573
|
|
441 94154 225375
|
|
442 94359 225142
|
|
443 94578 224942
|
|
444 94784 224713
|
|
445 94998 224504
|
|
446 95201 224266
|
|
447 95412 224049
|
|
448 95630 223848
|
|
449 95828 223599
|
|
450 96025 223350
|
|
451 96220 223095
|
|
452 96425 222863
|
|
453 96622 222615
|
|
454 96821 222370
|
|
455 97021 222128
|
|
456 97235 221918
|
|
457 97432 221669
|
|
458 97648 221463
|
|
459 97852 221232
|
|
460 98058 221003
|
|
461 98270 220790
|
|
462 98490 220592
|
|
463 98689 220350
|
|
464 98730 219755
|
|
465 98924 219502
|
|
466 99123 219261
|
|
467 99319 219012
|
|
468 99527 218790
|
|
469 99737 218574
|
|
470 99932 218323
|
|
471 100166 218159
|
|
472 100370 217928
|
|
473 100571 217693
|
|
474 100772 217457
|
|
475 101008 217295
|
|
476 101206 217053
|
|
477 101414 216832
|
|
478 101625 216617
|
|
479 101825 216378
|
|
480 102037 216165
|
|
481 102237 215928
|
|
482 102434 215685
|
|
483 102681 215545
|
|
484 102881 215308
|
|
485 103089 215088
|
|
486 103298 214870
|
|
487 103511 214660
|
|
488 103710 214420
|
|
489 103914 214191
|
|
490 104140 214008
|
|
491 104375 213841
|
|
492 104583 213622
|
|
493 104792 213404
|
|
494 105009 213200
|
|
495 105220 212986
|
|
496 105428 212766
|
|
497 105637 212548
|
|
498 105836 212309
|
|
499 106047 212094
|
|
500 106256 211875
|
|
501 106458 211645
|
|
502 106658 211408
|
|
503 106908 211271
|
|
504 107114 211047
|
|
505 107331 210845
|
|
506 107534 210614
|
|
507 107736 210383
|
|
508 107943 210161
|
|
509 108142 209924
|
|
510 108345 209693
|
|
511 108546 209461
|
|
512 108778 209286
|
|
513 108977 209049
|
|
514 109191 208841
|
|
515 109394 208613
|
|
516 109598 208384
|
|
517 109797 208148
|
|
518 110007 207933
|
|
519 110236 207752
|
|
520 110456 207556
|
|
521 110661 207332
|
|
522 110898 207165
|
|
523 111157 207041
|
|
524 111392 206872
|
|
525 111594 206641
|
|
526 111804 206425
|
|
527 112005 206191
|
|
528 112203 205954
|
|
529 112401 205716
|
|
530 112608 205493
|
|
531 112826 205292
|
|
532 113035 205076
|
|
533 113283 204927
|
|
534 113493 204713
|
|
535 113700 204491
|
|
536 113918 204289
|
|
537 114119 204057
|
|
538 114316 203818
|
|
539 114520 203592
|
|
540 114721 203359
|
|
541 114932 203146
|
|
542 115158 202959
|
|
543 115376 202757
|
|
544 115575 202522
|
|
545 115775 202289
|
|
546 115980 202064
|
|
547 116221 201902
|
|
548 116455 201729
|
|
549 116664 201512
|
|
550 116919 201372
|
|
551 117126 201151
|
|
552 117334 200932
|
|
553 117564 200750
|
|
554 117771 200529
|
|
555 118019 200379
|
|
556 118223 200151
|
|
557 118428 199927
|
|
558 118648 199728
|
|
559 118856 199508
|
|
560 119071 199301
|
|
561 119311 199135
|
|
562 119577 199012
|
|
563 119784 198790
|
|
564 119999 198583
|
|
565 120230 198401
|
|
566 120434 198175
|
|
567 120639 197950
|
|
568 120847 197730
|
|
569 121055 197510
|
|
570 121269 197302
|
|
571 121472 197074
|
|
572 121676 196848
|
|
573 121879 196620
|
|
574 122092 196409
|
|
575 122315 196214
|
|
576 122526 196000
|
|
577 122727 195769
|
|
578 122941 195559
|
|
579 123144 195333
|
|
580 123371 195144
|
|
581 123604 194963
|
|
582 123844 194795
|
|
583 124048 194569
|
|
584 124250 194340
|
|
585 124452 194111
|
|
586 124672 193911
|
|
587 124882 193694
|
|
588 125104 193498
|
|
589 125330 193306
|
|
590 125539 193088
|
|
591 125745 192866
|
|
592 125953 192646
|
|
593 126159 192424
|
|
594 126363 192200
|
|
595 126586 192003
|
|
596 126795 191786
|
|
597 127006 191572
|
|
598 127206 191341
|
|
599 127413 191119
|
|
600 127619 190897
|
|
601 127871 190745
|
|
602 128095 190549
|
|
603 128299 190324
|
|
604 128531 190141
|
|
605 128733 189913
|
|
606 128935 189686
|
|
607 129142 189465
|
|
608 129346 189241
|
|
609 129606 189098
|
|
610 129816 188882
|
|
611 130016 188651
|
|
612 130245 188463
|
|
613 130456 188248
|
|
614 130665 188031
|
|
615 130869 187806
|
|
616 131098 187617
|
|
617 131304 187396
|
|
618 131573 187264
|
|
619 131771 187031
|
|
620 132006 186850
|
|
621 132235 186660
|
|
622 132447 186446
|
|
623 132653 186224
|
|
624 132861 186005
|
|
625 133077 185797
|
|
626 133291 185587
|
|
627 133488 185353
|
|
628 133700 185139
|
|
629 133919 184935
|
|
630 134137 184731
|
|
631 134384 184566
|
|
632 134615 184378
|
|
633 134826 184163
|
|
634 135053 183969
|
|
635 135265 183757
|
|
636 135473 183537
|
|
637 135680 183316
|
|
638 135888 183099
|
|
639 136110 182898
|
|
640 136341 182710
|
|
641 136542 182481
|
|
642 136747 182259
|
|
643 136952 182036
|
|
644 137173 181834
|
|
645 137403 181644
|
|
646 137616 181432
|
|
647 137814 181200
|
|
648 138035 180998
|
|
649 138239 180774
|
|
650 138443 180551
|
|
651 138659 180342
|
|
652 138859 180113
|
|
653 139075 179905
|
|
654 139284 179688
|
|
655 139498 179476
|
|
656 139712 179265
|
|
657 139927 179055
|
|
658 140140 178843
|
|
659 140355 178634
|
|
660 140579 178436
|
|
661 140791 178223
|
|
662 141000 178005
|
|
663 141209 177787
|
|
664 141414 177565
|
|
665 141630 177357
|
|
666 141832 177131
|
|
667 142040 176912
|
|
668 142239 176683
|
|
669 142451 176469
|
|
670 142660 176252
|
|
671 142872 176039
|
|
672 143084 175825
|
|
673 143296 175612
|
|
674 143516 175409
|
|
675 143727 175195
|
|
676 143934 174974
|
|
677 144143 174757
|
|
678 144345 174532
|
|
679 144562 174325
|
|
680 144789 174130
|
|
681 144990 173903
|
|
682 145197 173683
|
|
683 145405 173466
|
|
684 145614 173249
|
|
685 145827 173037
|
|
686 146046 172832
|
|
687 146271 172634
|
|
688 146503 172444
|
|
689 146707 172222
|
|
690 146914 172002
|
|
691 147117 171779
|
|
692 147328 171564
|
|
693 147531 171340
|
|
694 147735 171118
|
|
695 147944 170901
|
|
696 148159 170691
|
|
697 148358 170463
|
|
698 148569 170249
|
|
699 148816 170076
|
|
700 149059 169898
|
|
701 149265 169677
|
|
702 149473 169459
|
|
703 149690 169252
|
|
704 149898 169034
|
|
705 150114 168825
|
|
706 150314 168599
|
|
707 150523 168382
|
|
708 150724 168156
|
|
709 150932 167939
|
|
710 151137 167718
|
|
711 151348 167504
|
|
712 151553 167283
|
|
713 151759 167062
|
|
714 151963 166841
|
|
715 152173 166625
|
|
716 152404 166433
|
|
717 152617 166221
|
|
718 152821 165998
|
|
719 153132 165893
|
|
720 153350 165686
|
|
721 153553 165463
|
|
722 153784 165270
|
|
723 153987 165047
|
|
724 154195 164830
|
|
725 154405 164613
|
|
726 154604 164386
|
|
727 154817 164174
|
|
728 155029 163960
|
|
729 155253 163760
|
|
730 155507 163591
|
|
731 155729 163388
|
|
732 155935 163168
|
|
733 156134 162941
|
|
734 156343 162725
|
|
735 156548 162503
|
|
736 156755 162285
|
|
737 156967 162071
|
|
738 157187 161867
|
|
739 157419 161673
|
|
740 157622 161451
|
|
741 157831 161235
|
|
742 158046 161024
|
|
743 158255 160807
|
|
744 158484 160611
|
|
745 158702 160404
|
|
746 158921 160197
|
|
747 159131 159982
|
|
748 159333 159758
|
|
749 159539 159539
|
|
750 159747 159321
|
|
751 159956 159105
|
|
752 160167 158891
|
|
753 160381 158679
|
|
754 160589 158462
|
|
755 160803 158250
|
|
756 161013 158035
|
|
757 161276 157872
|
|
758 161552 157721
|
|
759 161774 157517
|
|
760 161976 157293
|
|
761 162176 157068
|
|
762 162388 156855
|
|
763 162591 156632
|
|
764 162789 156405
|
|
765 162998 156188
|
|
766 163209 155974
|
|
767 163420 155759
|
|
768 163622 155537
|
|
769 163825 155314
|
|
770 164047 155110
|
|
771 164259 154897
|
|
772 164480 154692
|
|
773 164693 154479
|
|
774 164897 154259
|
|
775 165101 154038
|
|
776 165320 153830
|
|
777 165563 153646
|
|
778 165781 153438
|
|
779 165976 153208
|
|
780 166180 152988
|
|
781 166384 152767
|
|
782 166587 152545
|
|
783 166803 152335
|
|
784 167019 152125
|
|
785 167228 151910
|
|
786 167441 151696
|
|
787 167656 151486
|