752 lines
10 KiB
Plaintext
752 lines
10 KiB
Plaintext
iter Passed Remaining
|
|
0 18 13515
|
|
1 32 11980
|
|
2 45 11445
|
|
3 58 10965
|
|
4 72 10847
|
|
5 86 10711
|
|
6 101 10762
|
|
7 114 10659
|
|
8 129 10690
|
|
9 143 10638
|
|
10 156 10541
|
|
11 170 10511
|
|
12 184 10482
|
|
13 198 10417
|
|
14 212 10422
|
|
15 227 10443
|
|
16 242 10474
|
|
17 257 10467
|
|
18 271 10433
|
|
19 286 10444
|
|
20 300 10416
|
|
21 313 10363
|
|
22 325 10298
|
|
23 339 10281
|
|
24 352 10222
|
|
25 365 10178
|
|
26 378 10137
|
|
27 391 10085
|
|
28 403 10042
|
|
29 416 9992
|
|
30 429 9970
|
|
31 444 9974
|
|
32 458 9955
|
|
33 470 9912
|
|
34 483 9877
|
|
35 496 9856
|
|
36 510 9842
|
|
37 528 9910
|
|
38 546 9963
|
|
39 562 9988
|
|
40 581 10059
|
|
41 596 10056
|
|
42 608 10012
|
|
43 622 9983
|
|
44 635 9953
|
|
45 648 9922
|
|
46 661 9896
|
|
47 674 9869
|
|
48 687 9839
|
|
49 700 9813
|
|
50 713 9784
|
|
51 726 9758
|
|
52 740 9739
|
|
53 753 9716
|
|
54 766 9685
|
|
55 779 9661
|
|
56 792 9636
|
|
57 806 9617
|
|
58 820 9607
|
|
59 833 9583
|
|
60 846 9558
|
|
61 859 9540
|
|
62 873 9521
|
|
63 886 9497
|
|
64 907 9563
|
|
65 920 9543
|
|
66 935 9539
|
|
67 949 9523
|
|
68 961 9491
|
|
69 974 9465
|
|
70 988 9449
|
|
71 1007 9488
|
|
72 1020 9468
|
|
73 1033 9441
|
|
74 1046 9420
|
|
75 1059 9393
|
|
76 1071 9369
|
|
77 1084 9345
|
|
78 1098 9328
|
|
79 1116 9348
|
|
80 1129 9331
|
|
81 1143 9312
|
|
82 1157 9303
|
|
83 1176 9328
|
|
84 1191 9321
|
|
85 1204 9302
|
|
86 1218 9288
|
|
87 1233 9276
|
|
88 1246 9259
|
|
89 1260 9242
|
|
90 1274 9226
|
|
91 1286 9200
|
|
92 1300 9184
|
|
93 1313 9164
|
|
94 1326 9145
|
|
95 1340 9130
|
|
96 1355 9123
|
|
97 1368 9107
|
|
98 1381 9087
|
|
99 1395 9070
|
|
100 1408 9051
|
|
101 1421 9031
|
|
102 1434 9012
|
|
103 1509 9376
|
|
104 1558 9572
|
|
105 1571 9548
|
|
106 1584 9524
|
|
107 1597 9495
|
|
108 1610 9468
|
|
109 1623 9447
|
|
110 1637 9428
|
|
111 1654 9426
|
|
112 1667 9401
|
|
113 1680 9375
|
|
114 1693 9352
|
|
115 1706 9326
|
|
116 1720 9310
|
|
117 1735 9294
|
|
118 1748 9271
|
|
119 1762 9251
|
|
120 1776 9234
|
|
121 1789 9209
|
|
122 1801 9182
|
|
123 1814 9160
|
|
124 1829 9146
|
|
125 1843 9127
|
|
126 1855 9104
|
|
127 1868 9079
|
|
128 1881 9058
|
|
129 1894 9034
|
|
130 1908 9017
|
|
131 1921 8997
|
|
132 1933 8971
|
|
133 1946 8947
|
|
134 1959 8925
|
|
135 1972 8904
|
|
136 1984 8881
|
|
137 1997 8856
|
|
138 2009 8834
|
|
139 2022 8810
|
|
140 2036 8795
|
|
141 2049 8774
|
|
142 2062 8755
|
|
143 2076 8737
|
|
144 2089 8717
|
|
145 2108 8721
|
|
146 2129 8734
|
|
147 2148 8740
|
|
148 2168 8746
|
|
149 2188 8753
|
|
150 2208 8759
|
|
151 2231 8780
|
|
152 2250 8783
|
|
153 2271 8792
|
|
154 2291 8797
|
|
155 2311 8802
|
|
156 2329 8798
|
|
157 2349 8802
|
|
158 2367 8799
|
|
159 2386 8800
|
|
160 2408 8811
|
|
161 2429 8819
|
|
162 2448 8817
|
|
163 2465 8811
|
|
164 2483 8803
|
|
165 2500 8795
|
|
166 2519 8796
|
|
167 2536 8788
|
|
168 2555 8785
|
|
169 2570 8771
|
|
170 2588 8762
|
|
171 2608 8766
|
|
172 2623 8751
|
|
173 2641 8743
|
|
174 2656 8729
|
|
175 2671 8713
|
|
176 2690 8710
|
|
177 2711 8712
|
|
178 2732 8715
|
|
179 2753 8718
|
|
180 2770 8708
|
|
181 2788 8701
|
|
182 2807 8698
|
|
183 2826 8693
|
|
184 2844 8686
|
|
185 2866 8693
|
|
186 2883 8682
|
|
187 2900 8669
|
|
188 2920 8668
|
|
189 2937 8658
|
|
190 2953 8645
|
|
191 2971 8635
|
|
192 2993 8638
|
|
193 3010 8626
|
|
194 3026 8614
|
|
195 3043 8602
|
|
196 3061 8593
|
|
197 3078 8582
|
|
198 3097 8577
|
|
199 3116 8571
|
|
200 3132 8554
|
|
201 3146 8536
|
|
202 3164 8526
|
|
203 3181 8514
|
|
204 3198 8504
|
|
205 3216 8493
|
|
206 3235 8486
|
|
207 3253 8478
|
|
208 3270 8464
|
|
209 3288 8456
|
|
210 3303 8439
|
|
211 3316 8416
|
|
212 3330 8395
|
|
213 3343 8374
|
|
214 3355 8350
|
|
215 3368 8327
|
|
216 3382 8307
|
|
217 3395 8285
|
|
218 3407 8262
|
|
219 3420 8239
|
|
220 3434 8220
|
|
221 3447 8198
|
|
222 3459 8175
|
|
223 3473 8156
|
|
224 3486 8136
|
|
225 3500 8116
|
|
226 3513 8095
|
|
227 3527 8075
|
|
228 3541 8057
|
|
229 3559 8048
|
|
230 3574 8030
|
|
231 3587 8010
|
|
232 3600 7989
|
|
233 3614 7969
|
|
234 3626 7947
|
|
235 3639 7927
|
|
236 3652 7906
|
|
237 3665 7886
|
|
238 3678 7865
|
|
239 3693 7847
|
|
240 3706 7828
|
|
241 3719 7808
|
|
242 3732 7787
|
|
243 3744 7766
|
|
244 3757 7745
|
|
245 3770 7724
|
|
246 3783 7704
|
|
247 3796 7685
|
|
248 3809 7665
|
|
249 3822 7644
|
|
250 3835 7624
|
|
251 3848 7605
|
|
252 3862 7586
|
|
253 3874 7566
|
|
254 3887 7546
|
|
255 3900 7527
|
|
256 3913 7507
|
|
257 3926 7488
|
|
258 3940 7469
|
|
259 3952 7449
|
|
260 3965 7429
|
|
261 3980 7414
|
|
262 3998 7403
|
|
263 4017 7395
|
|
264 4034 7383
|
|
265 4050 7369
|
|
266 4069 7361
|
|
267 4087 7351
|
|
268 4107 7343
|
|
269 4127 7337
|
|
270 4143 7324
|
|
271 4163 7317
|
|
272 4179 7303
|
|
273 4198 7294
|
|
274 4214 7279
|
|
275 4233 7269
|
|
276 4249 7257
|
|
277 4266 7243
|
|
278 4283 7231
|
|
279 4301 7220
|
|
280 4320 7211
|
|
281 4338 7199
|
|
282 4356 7189
|
|
283 4379 7185
|
|
284 4400 7179
|
|
285 4426 7181
|
|
286 4444 7169
|
|
287 4462 7158
|
|
288 4478 7144
|
|
289 4498 7135
|
|
290 4516 7123
|
|
291 4536 7115
|
|
292 4559 7112
|
|
293 4577 7100
|
|
294 4598 7093
|
|
295 4616 7080
|
|
296 4635 7070
|
|
297 4654 7060
|
|
298 4673 7050
|
|
299 4692 7038
|
|
300 4710 7027
|
|
301 4732 7021
|
|
302 4752 7010
|
|
303 4768 6995
|
|
304 4785 6982
|
|
305 4803 6970
|
|
306 4821 6958
|
|
307 4837 6942
|
|
308 4856 6930
|
|
309 4875 6920
|
|
310 4893 6908
|
|
311 4912 6895
|
|
312 4931 6885
|
|
313 4951 6875
|
|
314 4968 6861
|
|
315 4986 6848
|
|
316 5000 6830
|
|
317 5015 6813
|
|
318 5029 6795
|
|
319 5045 6779
|
|
320 5060 6762
|
|
321 5076 6747
|
|
322 5088 6727
|
|
323 5102 6708
|
|
324 5114 6688
|
|
325 5128 6670
|
|
326 5140 6649
|
|
327 5153 6630
|
|
328 5166 6611
|
|
329 5179 6592
|
|
330 5196 6578
|
|
331 5216 6567
|
|
332 5236 6557
|
|
333 5259 6550
|
|
334 5280 6541
|
|
335 5301 6532
|
|
336 5316 6515
|
|
337 5329 6496
|
|
338 5343 6478
|
|
339 5356 6459
|
|
340 5370 6440
|
|
341 5383 6422
|
|
342 5396 6403
|
|
343 5410 6385
|
|
344 5424 6367
|
|
345 5437 6348
|
|
346 5450 6330
|
|
347 5463 6311
|
|
348 5476 6292
|
|
349 5489 6274
|
|
350 5503 6256
|
|
351 5519 6240
|
|
352 5533 6223
|
|
353 5554 6213
|
|
354 5575 6203
|
|
355 5596 6194
|
|
356 5618 6185
|
|
357 5633 6168
|
|
358 5646 6149
|
|
359 5660 6131
|
|
360 5672 6112
|
|
361 5685 6093
|
|
362 5697 6074
|
|
363 5710 6056
|
|
364 5723 6036
|
|
365 5736 6018
|
|
366 5748 5999
|
|
367 5762 5981
|
|
368 5775 5963
|
|
369 5789 5945
|
|
370 5802 5927
|
|
371 5815 5909
|
|
372 5829 5891
|
|
373 5842 5873
|
|
374 5856 5856
|
|
375 5877 5846
|
|
376 5897 5834
|
|
377 5914 5820
|
|
378 5930 5805
|
|
379 5950 5793
|
|
380 5968 5780
|
|
381 5983 5764
|
|
382 6001 5750
|
|
383 6021 5739
|
|
384 6041 5727
|
|
385 6061 5716
|
|
386 6082 5704
|
|
387 6100 5691
|
|
388 6118 5678
|
|
389 6136 5664
|
|
390 6156 5652
|
|
391 6179 5643
|
|
392 6198 5630
|
|
393 6217 5617
|
|
394 6237 5605
|
|
395 6255 5591
|
|
396 6274 5579
|
|
397 6292 5564
|
|
398 6309 5550
|
|
399 6328 5537
|
|
400 6346 5523
|
|
401 6364 5509
|
|
402 6380 5493
|
|
403 6397 5479
|
|
404 6416 5466
|
|
405 6434 5452
|
|
406 6453 5438
|
|
407 6471 5424
|
|
408 6502 5421
|
|
409 6521 5408
|
|
410 6540 5394
|
|
411 6557 5380
|
|
412 6574 5364
|
|
413 6602 5358
|
|
414 6621 5345
|
|
415 6641 5332
|
|
416 6661 5319
|
|
417 6680 5306
|
|
418 6698 5291
|
|
419 6719 5279
|
|
420 6738 5265
|
|
421 6759 5253
|
|
422 6780 5241
|
|
423 6802 5229
|
|
424 6820 5215
|
|
425 6838 5201
|
|
426 6858 5187
|
|
427 6878 5175
|
|
428 6896 5160
|
|
429 6914 5145
|
|
430 6932 5130
|
|
431 6945 5112
|
|
432 6968 5101
|
|
433 6984 5085
|
|
434 6997 5066
|
|
435 7011 5049
|
|
436 7026 5032
|
|
437 7039 5014
|
|
438 7057 4999
|
|
439 7070 4981
|
|
440 7084 4963
|
|
441 7097 4945
|
|
442 7109 4927
|
|
443 7123 4909
|
|
444 7136 4891
|
|
445 7149 4873
|
|
446 7163 4855
|
|
447 7181 4840
|
|
448 7194 4822
|
|
449 7207 4805
|
|
450 7220 4787
|
|
451 7233 4768
|
|
452 7246 4751
|
|
453 7258 4732
|
|
454 7271 4714
|
|
455 7285 4697
|
|
456 7298 4679
|
|
457 7311 4661
|
|
458 7323 4642
|
|
459 7335 4624
|
|
460 7348 4606
|
|
461 7361 4588
|
|
462 7374 4571
|
|
463 7386 4553
|
|
464 7399 4535
|
|
465 7412 4517
|
|
466 7425 4499
|
|
467 7437 4481
|
|
468 7450 4464
|
|
469 7463 4446
|
|
470 7476 4428
|
|
471 7490 4411
|
|
472 7509 4397
|
|
473 7522 4380
|
|
474 7535 4362
|
|
475 7549 4345
|
|
476 7561 4327
|
|
477 7575 4310
|
|
478 7590 4294
|
|
479 7608 4279
|
|
480 7730 4323
|
|
481 7746 4307
|
|
482 7766 4293
|
|
483 7784 4278
|
|
484 7801 4262
|
|
485 7820 4248
|
|
486 7838 4233
|
|
487 7856 4218
|
|
488 7879 4205
|
|
489 7898 4190
|
|
490 7915 4175
|
|
491 7938 4162
|
|
492 7965 4152
|
|
493 7985 4138
|
|
494 8006 4124
|
|
495 8025 4109
|
|
496 8052 4099
|
|
497 8070 4084
|
|
498 8087 4068
|
|
499 8104 4052
|
|
500 8124 4038
|
|
501 8148 4025
|
|
502 8167 4010
|
|
503 8189 3997
|
|
504 8220 3988
|
|
505 8246 3976
|
|
506 8270 3963
|
|
507 8287 3948
|
|
508 8308 3934
|
|
509 8326 3918
|
|
510 8346 3903
|
|
511 8365 3888
|
|
512 8386 3874
|
|
513 8406 3859
|
|
514 8427 3845
|
|
515 8443 3829
|
|
516 8460 3812
|
|
517 8479 3797
|
|
518 8498 3782
|
|
519 8516 3767
|
|
520 8543 3755
|
|
521 8563 3740
|
|
522 8581 3724
|
|
523 8599 3708
|
|
524 8618 3693
|
|
525 8646 3682
|
|
526 8665 3667
|
|
527 8683 3651
|
|
528 8704 3636
|
|
529 8721 3620
|
|
530 8740 3604
|
|
531 8759 3589
|
|
532 8779 3574
|
|
533 8802 3560
|
|
534 8822 3545
|
|
535 8841 3529
|
|
536 8859 3514
|
|
537 8876 3497
|
|
538 8893 3481
|
|
539 8911 3465
|
|
540 8929 3449
|
|
541 8943 3432
|
|
542 8957 3414
|
|
543 8972 3397
|
|
544 8986 3380
|
|
545 8999 3362
|
|
546 9013 3345
|
|
547 9026 3327
|
|
548 9040 3309
|
|
549 9053 3292
|
|
550 9067 3274
|
|
551 9080 3257
|
|
552 9095 3240
|
|
553 9109 3222
|
|
554 9122 3205
|
|
555 9135 3187
|
|
556 9148 3169
|
|
557 9162 3152
|
|
558 9175 3134
|
|
559 9188 3117
|
|
560 9202 3100
|
|
561 9215 3082
|
|
562 9228 3065
|
|
563 9243 3048
|
|
564 9256 3030
|
|
565 9270 3013
|
|
566 9284 2996
|
|
567 9298 2979
|
|
568 9311 2962
|
|
569 9324 2944
|
|
570 9338 2927
|
|
571 9351 2910
|
|
572 9365 2892
|
|
573 9378 2875
|
|
574 9392 2858
|
|
575 9406 2841
|
|
576 9419 2824
|
|
577 9432 2806
|
|
578 9445 2789
|
|
579 9459 2772
|
|
580 9472 2755
|
|
581 9487 2738
|
|
582 9515 2725
|
|
583 9531 2709
|
|
584 9548 2693
|
|
585 9568 2677
|
|
586 9582 2660
|
|
587 9596 2643
|
|
588 9609 2626
|
|
589 9622 2609
|
|
590 9636 2592
|
|
591 9649 2575
|
|
592 9662 2558
|
|
593 9677 2541
|
|
594 9690 2524
|
|
595 9704 2507
|
|
596 9732 2494
|
|
597 9752 2478
|
|
598 9775 2464
|
|
599 9792 2448
|
|
600 9805 2431
|
|
601 9819 2413
|
|
602 9831 2396
|
|
603 9844 2379
|
|
604 9857 2362
|
|
605 9874 2346
|
|
606 9888 2329
|
|
607 9902 2312
|
|
608 9917 2296
|
|
609 9932 2279
|
|
610 9946 2262
|
|
611 9961 2246
|
|
612 9975 2229
|
|
613 9988 2212
|
|
614 10001 2195
|
|
615 10015 2178
|
|
616 10028 2161
|
|
617 10044 2145
|
|
618 10058 2128
|
|
619 10072 2111
|
|
620 10085 2094
|
|
621 10098 2078
|
|
622 10112 2061
|
|
623 10126 2044
|
|
624 10139 2027
|
|
625 10152 2011
|
|
626 10165 1994
|
|
627 10178 1977
|
|
628 10192 1960
|
|
629 10205 1943
|
|
630 10218 1927
|
|
631 10231 1910
|
|
632 10245 1893
|
|
633 10259 1877
|
|
634 10272 1860
|
|
635 10286 1843
|
|
636 10300 1827
|
|
637 10312 1810
|
|
638 10325 1793
|
|
639 10339 1777
|
|
640 10352 1760
|
|
641 10365 1743
|
|
642 10378 1727
|
|
643 10391 1710
|
|
644 10404 1693
|
|
645 10418 1677
|
|
646 10431 1660
|
|
647 10445 1644
|
|
648 10457 1627
|
|
649 10471 1611
|
|
650 10485 1594
|
|
651 10500 1578
|
|
652 10517 1562
|
|
653 10531 1545
|
|
654 10544 1529
|
|
655 10557 1512
|
|
656 10576 1497
|
|
657 10595 1481
|
|
658 10615 1465
|
|
659 10635 1450
|
|
660 10657 1435
|
|
661 10677 1419
|
|
662 10698 1403
|
|
663 10717 1388
|
|
664 10738 1372
|
|
665 10754 1356
|
|
666 10773 1340
|
|
667 10790 1324
|
|
668 10812 1309
|
|
669 10833 1293
|
|
670 10851 1277
|
|
671 10873 1262
|
|
672 10896 1246
|
|
673 10918 1231
|
|
674 10937 1215
|
|
675 10959 1199
|
|
676 10977 1183
|
|
677 10995 1167
|
|
678 11011 1151
|
|
679 11031 1135
|
|
680 11049 1119
|
|
681 11070 1103
|
|
682 11091 1088
|
|
683 11109 1071
|
|
684 11127 1055
|
|
685 11143 1039
|
|
686 11162 1023
|
|
687 11179 1007
|
|
688 11205 992
|
|
689 11225 976
|
|
690 11247 960
|
|
691 11269 944
|
|
692 11287 928
|
|
693 11305 912
|
|
694 11324 896
|
|
695 11344 880
|
|
696 11364 864
|
|
697 11382 848
|
|
698 11398 831
|
|
699 11420 815
|
|
700 11435 799
|
|
701 11452 783
|
|
702 11474 767
|
|
703 11492 750
|
|
704 11517 735
|
|
705 11534 718
|
|
706 11556 702
|
|
707 11573 686
|
|
708 11595 670
|
|
709 11614 654
|
|
710 11633 638
|
|
711 11652 621
|
|
712 11672 605
|
|
713 11691 589
|
|
714 11713 573
|
|
715 11732 557
|
|
716 11751 540
|
|
717 11769 524
|
|
718 11782 508
|
|
719 11795 491
|
|
720 11809 474
|
|
721 11822 458
|
|
722 11837 442
|
|
723 11850 425
|
|
724 11864 409
|
|
725 11878 392
|
|
726 11892 376
|
|
727 11908 359
|
|
728 11923 343
|
|
729 11937 327
|
|
730 11950 310
|
|
731 11965 294
|
|
732 11979 277
|
|
733 11992 261
|
|
734 12005 245
|
|
735 12019 228
|
|
736 12036 212
|
|
737 12056 196
|
|
738 12074 179
|
|
739 12095 163
|
|
740 12111 147
|
|
741 12124 130
|
|
742 12137 114
|
|
743 12151 97
|
|
744 12183 81
|
|
745 12198 65
|
|
746 12214 49
|
|
747 12227 32
|
|
748 12241 16
|
|
749 12254 0
|