790 lines
13 KiB
Plaintext
790 lines
13 KiB
Plaintext
iter Passed Remaining
|
|
0 328 492124
|
|
1 541 405383
|
|
2 766 382310
|
|
3 971 363434
|
|
4 1011 302536
|
|
5 1217 303253
|
|
6 1441 307443
|
|
7 1646 307041
|
|
8 1849 306393
|
|
9 2053 305934
|
|
10 2263 306413
|
|
11 2472 306642
|
|
12 2677 306303
|
|
13 2882 305987
|
|
14 3046 301593
|
|
15 3264 302739
|
|
16 3366 293686
|
|
17 3473 285954
|
|
18 3687 287452
|
|
19 3900 288657
|
|
20 4112 289665
|
|
21 4336 291329
|
|
22 4568 293356
|
|
23 4771 293448
|
|
24 4977 293682
|
|
25 5183 293851
|
|
26 5388 293965
|
|
27 5594 294135
|
|
28 5812 294835
|
|
29 6030 295507
|
|
30 6241 295754
|
|
31 6453 296064
|
|
32 6668 296447
|
|
33 6876 296502
|
|
34 7081 296418
|
|
35 7294 296653
|
|
36 7524 297537
|
|
37 7731 297461
|
|
38 7937 297339
|
|
39 8151 297537
|
|
40 8357 297412
|
|
41 8570 297503
|
|
42 8811 298563
|
|
43 9022 298549
|
|
44 9118 294837
|
|
45 9336 295110
|
|
46 9577 296094
|
|
47 9787 296070
|
|
48 9993 295915
|
|
49 10204 295919
|
|
50 10405 295629
|
|
51 10613 295546
|
|
52 10818 295360
|
|
53 11029 295338
|
|
54 11237 295245
|
|
55 11444 295104
|
|
56 11654 295051
|
|
57 11860 294867
|
|
58 12069 294770
|
|
59 12287 294896
|
|
60 12504 294975
|
|
61 12776 296341
|
|
62 13010 296753
|
|
63 13219 296604
|
|
64 13427 296434
|
|
65 13635 296261
|
|
66 13870 296673
|
|
67 14075 296415
|
|
68 14282 296215
|
|
69 14488 295982
|
|
70 14692 295715
|
|
71 14909 295697
|
|
72 15114 295457
|
|
73 15327 295364
|
|
74 15538 295225
|
|
75 15755 295214
|
|
76 15960 294966
|
|
77 16171 294814
|
|
78 16385 294730
|
|
79 16596 294591
|
|
80 16816 294604
|
|
81 17084 295430
|
|
82 17284 295090
|
|
83 17494 294902
|
|
84 17700 294665
|
|
85 17909 294457
|
|
86 18126 294402
|
|
87 18339 294263
|
|
88 18604 294955
|
|
89 18820 294854
|
|
90 19036 294754
|
|
91 19240 294470
|
|
92 19457 294374
|
|
93 19667 294176
|
|
94 19871 293894
|
|
95 20078 293647
|
|
96 20289 293459
|
|
97 20495 293205
|
|
98 20704 293004
|
|
99 20914 292809
|
|
100 21149 292955
|
|
101 21369 292885
|
|
102 21587 292788
|
|
103 21810 292759
|
|
104 22018 292526
|
|
105 22230 292358
|
|
106 22438 292114
|
|
107 22645 291879
|
|
108 22856 291677
|
|
109 23063 291440
|
|
110 23272 291223
|
|
111 23483 291025
|
|
112 23693 290816
|
|
113 23902 290604
|
|
114 24108 290346
|
|
115 24314 290095
|
|
116 24556 290268
|
|
117 24802 290479
|
|
118 25011 290254
|
|
119 25224 290084
|
|
120 25488 290480
|
|
121 25725 290567
|
|
122 25966 290697
|
|
123 26173 290442
|
|
124 26382 290202
|
|
125 26592 289983
|
|
126 26801 289750
|
|
127 27010 289515
|
|
128 27216 289256
|
|
129 27446 289242
|
|
130 27683 289307
|
|
131 27901 289160
|
|
132 28117 288998
|
|
133 28324 288745
|
|
134 28537 288542
|
|
135 28751 288362
|
|
136 28961 288135
|
|
137 29171 287910
|
|
138 29379 287667
|
|
139 29650 288035
|
|
140 29865 287851
|
|
141 30086 287723
|
|
142 30302 287556
|
|
143 30507 287276
|
|
144 30738 287245
|
|
145 30962 287146
|
|
146 31174 286936
|
|
147 31380 286661
|
|
148 31593 286462
|
|
149 31797 286175
|
|
150 32002 285900
|
|
151 32210 285655
|
|
152 32418 285412
|
|
153 32635 285239
|
|
154 32848 285036
|
|
155 33056 284796
|
|
156 33272 284617
|
|
157 33492 284470
|
|
158 33760 284735
|
|
159 33977 284565
|
|
160 34245 284809
|
|
161 34452 284550
|
|
162 34695 284590
|
|
163 34902 284328
|
|
164 35111 284082
|
|
165 35318 283825
|
|
166 35521 283534
|
|
167 35726 283261
|
|
168 35933 283004
|
|
169 36146 282789
|
|
170 36359 282586
|
|
171 36572 282377
|
|
172 36810 282353
|
|
173 37020 282125
|
|
174 37236 281933
|
|
175 37452 281742
|
|
176 37669 281561
|
|
177 37904 281518
|
|
178 38166 281661
|
|
179 38377 281433
|
|
180 38633 281530
|
|
181 38848 281333
|
|
182 39056 281080
|
|
183 39277 280916
|
|
184 39503 280796
|
|
185 39722 280623
|
|
186 39938 280427
|
|
187 40150 280198
|
|
188 40369 280026
|
|
189 40578 279780
|
|
190 40802 279637
|
|
191 41009 279374
|
|
192 41217 279127
|
|
193 41425 278873
|
|
194 41635 278637
|
|
195 41843 278389
|
|
196 42071 278269
|
|
197 42315 278257
|
|
198 42528 278035
|
|
199 42758 277930
|
|
200 42990 277835
|
|
201 43200 277595
|
|
202 43414 277381
|
|
203 43622 277132
|
|
204 43885 277225
|
|
205 44092 276966
|
|
206 44298 276706
|
|
207 44509 276472
|
|
208 44719 276236
|
|
209 44930 276002
|
|
210 45148 275814
|
|
211 45353 275543
|
|
212 45565 275320
|
|
213 45808 275277
|
|
214 46027 275095
|
|
215 46303 275246
|
|
216 46534 275130
|
|
217 46749 274922
|
|
218 46971 274751
|
|
219 47179 274500
|
|
220 47386 274239
|
|
221 47603 274042
|
|
222 47819 273836
|
|
223 48031 273608
|
|
224 48256 273455
|
|
225 48478 273280
|
|
226 48701 273113
|
|
227 48929 272973
|
|
228 49137 272723
|
|
229 49342 272457
|
|
230 49558 272249
|
|
231 49768 272009
|
|
232 49975 271755
|
|
233 50209 271646
|
|
234 50456 271604
|
|
235 50725 271682
|
|
236 50934 271435
|
|
237 51151 271231
|
|
238 51369 271031
|
|
239 51590 270852
|
|
240 51821 270720
|
|
241 52041 270529
|
|
242 52246 270260
|
|
243 52466 270071
|
|
244 52687 269887
|
|
245 52894 269634
|
|
246 53124 269493
|
|
247 53340 269285
|
|
248 53555 269068
|
|
249 53766 268834
|
|
250 53974 268584
|
|
251 54181 268325
|
|
252 54388 268074
|
|
253 54607 267880
|
|
254 54841 267756
|
|
255 55074 267627
|
|
256 55283 267381
|
|
257 55510 267224
|
|
258 55728 267025
|
|
259 55954 266857
|
|
260 56174 266666
|
|
261 56385 266434
|
|
262 56598 266206
|
|
263 56813 265990
|
|
264 57028 265775
|
|
265 57247 265575
|
|
266 57460 265349
|
|
267 57675 265134
|
|
268 57904 264985
|
|
269 58147 264893
|
|
270 58352 264631
|
|
271 58556 264365
|
|
272 58767 264132
|
|
273 59043 264185
|
|
274 59321 264249
|
|
275 59530 264004
|
|
276 59730 263718
|
|
277 59933 263450
|
|
278 60135 263173
|
|
279 60342 262920
|
|
280 60570 262757
|
|
281 60775 262496
|
|
282 60995 262300
|
|
283 61199 262038
|
|
284 61406 261786
|
|
285 61619 261559
|
|
286 61824 261301
|
|
287 62034 261060
|
|
288 62241 260811
|
|
289 62443 260538
|
|
290 62641 260252
|
|
291 62853 260022
|
|
292 63081 259859
|
|
293 63344 259840
|
|
294 63550 259589
|
|
295 63763 259360
|
|
296 63972 259118
|
|
297 64190 258915
|
|
298 64399 258673
|
|
299 64599 258397
|
|
300 64809 258160
|
|
301 65019 257924
|
|
302 65221 257656
|
|
303 65425 257397
|
|
304 65641 257184
|
|
305 65847 256934
|
|
306 66050 256671
|
|
307 66262 256444
|
|
308 66467 256189
|
|
309 66673 255939
|
|
310 66875 255676
|
|
311 67118 255565
|
|
312 67353 255427
|
|
313 67623 255417
|
|
314 67854 255263
|
|
315 68067 255039
|
|
316 68272 254783
|
|
317 68493 254589
|
|
318 68701 254346
|
|
319 68909 254103
|
|
320 69113 253847
|
|
321 69317 253591
|
|
322 69521 253333
|
|
323 69726 253080
|
|
324 69934 252840
|
|
325 70142 252600
|
|
326 70347 252348
|
|
327 70555 252106
|
|
328 70770 251891
|
|
329 70974 251637
|
|
330 71183 251401
|
|
331 71411 251229
|
|
332 71629 251026
|
|
333 71839 250792
|
|
334 72053 250574
|
|
335 72271 250368
|
|
336 72484 250147
|
|
337 72691 249903
|
|
338 72905 249686
|
|
339 73120 249469
|
|
340 73323 249214
|
|
341 73533 248982
|
|
342 73736 248726
|
|
343 73954 248523
|
|
344 74171 248311
|
|
345 74375 248061
|
|
346 74587 247838
|
|
347 74807 247639
|
|
348 75012 247389
|
|
349 75215 247138
|
|
350 75422 246895
|
|
351 75664 246768
|
|
352 75879 246554
|
|
353 76090 246327
|
|
354 76294 246076
|
|
355 76499 245828
|
|
356 76707 245592
|
|
357 76925 245387
|
|
358 77134 245152
|
|
359 77347 244932
|
|
360 77550 244682
|
|
361 77759 244449
|
|
362 77963 244200
|
|
363 78172 243965
|
|
364 78386 243749
|
|
365 78596 243521
|
|
366 78801 243274
|
|
367 79021 243077
|
|
368 79241 242877
|
|
369 79457 242669
|
|
370 79675 242463
|
|
371 79899 242276
|
|
372 80122 242085
|
|
373 80336 241868
|
|
374 80545 241635
|
|
375 80753 241401
|
|
376 80966 241180
|
|
377 81170 240935
|
|
378 81376 240692
|
|
379 81579 240445
|
|
380 81785 240204
|
|
381 82003 239999
|
|
382 82220 239791
|
|
383 82423 239542
|
|
384 82627 239298
|
|
385 82837 239070
|
|
386 83051 238852
|
|
387 83260 238622
|
|
388 83466 238383
|
|
389 83680 238167
|
|
390 83891 237943
|
|
391 84112 237746
|
|
392 84320 237513
|
|
393 84523 237267
|
|
394 84766 237132
|
|
395 84976 236904
|
|
396 85188 236683
|
|
397 85399 236457
|
|
398 85610 236233
|
|
399 85813 235986
|
|
400 86032 235784
|
|
401 86234 235536
|
|
402 86451 235327
|
|
403 86653 235078
|
|
404 86856 234833
|
|
405 87061 234593
|
|
406 87265 234353
|
|
407 87470 234112
|
|
408 87676 233874
|
|
409 87886 233648
|
|
410 88102 233438
|
|
411 88332 233267
|
|
412 88547 233053
|
|
413 88755 232822
|
|
414 88959 232580
|
|
415 89185 232395
|
|
416 89392 232163
|
|
417 89595 231920
|
|
418 89798 231674
|
|
419 90008 231451
|
|
420 90221 231232
|
|
421 90429 231002
|
|
422 90633 230761
|
|
423 90843 230537
|
|
424 91054 230314
|
|
425 91263 230087
|
|
426 91484 229889
|
|
427 91686 229644
|
|
428 91890 229404
|
|
429 92098 229176
|
|
430 92321 228982
|
|
431 92550 228806
|
|
432 92754 228565
|
|
433 92957 228323
|
|
434 93170 228107
|
|
435 93385 227894
|
|
436 93589 227655
|
|
437 93796 227424
|
|
438 94003 227193
|
|
439 94233 227017
|
|
440 94449 226807
|
|
441 94652 226565
|
|
442 94867 226354
|
|
443 95090 226160
|
|
444 95299 225935
|
|
445 95510 225714
|
|
446 95715 225476
|
|
447 95919 225239
|
|
448 96140 225040
|
|
449 96350 224818
|
|
450 96559 224592
|
|
451 96771 224373
|
|
452 96987 224163
|
|
453 97195 223934
|
|
454 97401 223702
|
|
455 97607 223470
|
|
456 97830 223275
|
|
457 98035 223041
|
|
458 98254 222838
|
|
459 98465 222616
|
|
460 98672 222388
|
|
461 98883 222166
|
|
462 99083 221921
|
|
463 99288 221686
|
|
464 99335 221102
|
|
465 99540 220868
|
|
466 99749 220646
|
|
467 99956 220417
|
|
468 100193 220254
|
|
469 100418 220065
|
|
470 100650 219891
|
|
471 100881 219715
|
|
472 101091 219494
|
|
473 101300 219270
|
|
474 101505 219037
|
|
475 101723 218833
|
|
476 101925 218594
|
|
477 102129 218360
|
|
478 102331 218122
|
|
479 102534 217886
|
|
480 102741 217658
|
|
481 102948 217430
|
|
482 103160 217213
|
|
483 103373 216999
|
|
484 103578 216766
|
|
485 103793 216556
|
|
486 104002 216334
|
|
487 104216 216120
|
|
488 104419 215885
|
|
489 104630 215666
|
|
490 104847 215460
|
|
491 105067 215259
|
|
492 105273 215030
|
|
493 105482 214807
|
|
494 105692 214587
|
|
495 105905 214374
|
|
496 106118 214159
|
|
497 106332 213947
|
|
498 106534 213708
|
|
499 106747 213494
|
|
500 106961 213282
|
|
501 107168 213055
|
|
502 107374 212828
|
|
503 107584 212607
|
|
504 107791 212380
|
|
505 107993 212146
|
|
506 108207 211933
|
|
507 108416 211711
|
|
508 108639 211516
|
|
509 108854 211305
|
|
510 109064 211085
|
|
511 109284 210885
|
|
512 109521 210716
|
|
513 109729 210491
|
|
514 109947 210286
|
|
515 110157 210067
|
|
516 110364 209842
|
|
517 110568 209611
|
|
518 110770 209374
|
|
519 110972 209140
|
|
520 111181 208918
|
|
521 111386 208688
|
|
522 111598 208474
|
|
523 111811 208260
|
|
524 112028 208052
|
|
525 112234 207826
|
|
526 112468 207650
|
|
527 112674 207423
|
|
528 112877 207190
|
|
529 113103 207000
|
|
530 113316 206785
|
|
531 113532 206577
|
|
532 113741 206356
|
|
533 113946 206127
|
|
534 114147 205892
|
|
535 114355 205669
|
|
536 114572 205462
|
|
537 114773 205227
|
|
538 114982 205005
|
|
539 115192 204787
|
|
540 115399 204562
|
|
541 115619 204360
|
|
542 115824 204133
|
|
543 116027 203901
|
|
544 116229 203668
|
|
545 116432 203437
|
|
546 116636 203207
|
|
547 116847 202991
|
|
548 117057 202772
|
|
549 117301 202612
|
|
550 117523 202413
|
|
551 117733 202195
|
|
552 117948 201983
|
|
553 118166 201779
|
|
554 118392 201587
|
|
555 118607 201376
|
|
556 118811 201147
|
|
557 119014 200916
|
|
558 119235 200717
|
|
559 119440 200488
|
|
560 119648 200266
|
|
561 119852 200038
|
|
562 120054 199806
|
|
563 120266 199590
|
|
564 120483 199384
|
|
565 120696 199170
|
|
566 120906 198952
|
|
567 121111 198725
|
|
568 121344 198544
|
|
569 121568 198348
|
|
570 121816 198191
|
|
571 122023 197967
|
|
572 122230 197744
|
|
573 122428 197506
|
|
574 122641 197293
|
|
575 122845 197064
|
|
576 123052 196841
|
|
577 123265 196627
|
|
578 123470 196401
|
|
579 123678 196179
|
|
580 123884 195954
|
|
581 124089 195728
|
|
582 124311 195530
|
|
583 124531 195327
|
|
584 124734 195098
|
|
585 124939 194872
|
|
586 125152 194657
|
|
587 125360 194437
|
|
588 125596 194258
|
|
589 125823 194066
|
|
590 126027 193839
|
|
591 126237 193620
|
|
592 126441 193394
|
|
593 126650 193173
|
|
594 126861 192957
|
|
595 127085 192760
|
|
596 127302 192553
|
|
597 127549 192390
|
|
598 127749 192156
|
|
599 127957 191936
|
|
600 128163 191712
|
|
601 128372 191492
|
|
602 128578 191268
|
|
603 128783 191043
|
|
604 129007 190846
|
|
605 129210 190616
|
|
606 129415 190391
|
|
607 129624 190173
|
|
608 129890 190037
|
|
609 130138 189873
|
|
610 130380 189703
|
|
611 130600 189498
|
|
612 130808 189277
|
|
613 131009 189046
|
|
614 131214 188820
|
|
615 131416 188590
|
|
616 131632 188382
|
|
617 131839 188159
|
|
618 132054 187949
|
|
619 132253 187714
|
|
620 132463 187496
|
|
621 132670 187273
|
|
622 132886 187064
|
|
623 133101 186854
|
|
624 133345 186683
|
|
625 133573 186490
|
|
626 133787 186278
|
|
627 134032 186108
|
|
628 134259 185914
|
|
629 134479 185709
|
|
630 134699 185505
|
|
631 134913 185292
|
|
632 135132 185086
|
|
633 135330 184852
|
|
634 135554 184653
|
|
635 135767 184439
|
|
636 135987 184234
|
|
637 136203 184024
|
|
638 136427 183824
|
|
639 136650 183623
|
|
640 136860 183405
|
|
641 137067 183183
|
|
642 137283 182973
|
|
643 137533 182809
|
|
644 137744 182591
|
|
645 137951 182369
|
|
646 138227 182237
|
|
647 138476 182070
|
|
648 138707 181879
|
|
649 138913 181656
|
|
650 139125 181439
|
|
651 139352 181243
|
|
652 139573 181039
|
|
653 139849 180906
|
|
654 140062 180691
|
|
655 140284 180488
|
|
656 140498 180274
|
|
657 140709 180056
|
|
658 140923 179842
|
|
659 141129 179618
|
|
660 141333 179392
|
|
661 141541 179172
|
|
662 141754 178956
|
|
663 141964 178738
|
|
664 142175 178521
|
|
665 142451 178384
|
|
666 142682 178192
|
|
667 142891 177973
|
|
668 143093 177744
|
|
669 143309 177533
|
|
670 143547 177348
|
|
671 143775 177152
|
|
672 143979 176925
|
|
673 144190 176707
|
|
674 144394 176482
|
|
675 144646 176315
|
|
676 144854 176093
|
|
677 145066 175876
|
|
678 145277 175659
|
|
679 145492 175446
|
|
680 145717 175246
|
|
681 145921 175020
|
|
682 146133 174803
|
|
683 146365 174611
|
|
684 146585 174405
|
|
685 146860 174262
|
|
686 147074 174048
|
|
687 147283 173828
|
|
688 147490 173606
|
|
689 147692 173378
|
|
690 147901 173157
|
|
691 148106 172934
|
|
692 148342 172744
|
|
693 148600 172581
|
|
694 148816 172370
|
|
695 149031 172156
|
|
696 149249 171947
|
|
697 149453 171721
|
|
698 149662 171501
|
|
699 149870 171280
|
|
700 150089 171071
|
|
701 150292 170844
|
|
702 150535 170663
|
|
703 150748 170448
|
|
704 150992 170268
|
|
705 151212 170060
|
|
706 151422 169841
|
|
707 151649 169642
|
|
708 151860 169423
|
|
709 152068 169202
|
|
710 152275 168980
|
|
711 152493 168770
|
|
712 152701 168549
|
|
713 152907 168326
|
|
714 153113 168103
|
|
715 153325 167887
|
|
716 153540 167673
|
|
717 153755 167460
|
|
718 153972 167249
|
|
719 154203 167053
|
|
720 154423 166845
|
|
721 154648 166643
|
|
722 154866 166433
|
|
723 155107 166248
|
|
724 155316 166027
|
|
725 155530 165813
|
|
726 155732 165586
|
|
727 155948 165373
|
|
728 156158 165154
|
|
729 156375 164943
|
|
730 156593 164733
|
|
731 156815 164527
|
|
732 157024 164308
|
|
733 157231 164086
|
|
734 157455 163882
|
|
735 157696 163695
|
|
736 157906 163476
|
|
737 158120 163262
|
|
738 158324 163038
|
|
739 158547 162832
|
|
740 158756 162612
|
|
741 159041 162470
|
|
742 159263 162263
|
|
743 159463 162035
|
|
744 159671 161815
|
|
745 159888 161602
|
|
746 160096 161382
|
|
747 160322 161180
|
|
748 160537 160965
|
|
749 160772 160772
|
|
750 161008 160579
|
|
751 161223 160366
|
|
752 161432 160145
|
|
753 161648 159933
|
|
754 161871 159727
|
|
755 162078 159506
|
|
756 162288 159287
|
|
757 162499 159069
|
|
758 162718 158859
|
|
759 162949 158661
|
|
760 163192 158474
|
|
761 163422 158275
|
|
762 163683 158105
|
|
763 163906 157899
|
|
764 164104 157669
|
|
765 164317 157452
|
|
766 164531 157238
|
|
767 164749 157026
|
|
768 164953 156802
|
|
769 165159 156579
|
|
770 165373 156365
|
|
771 165587 156149
|
|
772 165797 155930
|
|
773 166007 155712
|
|
774 166221 155497
|
|
775 166442 155288
|
|
776 166661 155078
|
|
777 166869 154858
|
|
778 167093 154652
|
|
779 167310 154440
|
|
780 167554 154252
|
|
781 167765 154035
|
|
782 167970 153812
|
|
783 168192 153604
|
|
784 168417 153399
|
|
785 168626 153179
|
|
786 168836 152961
|
|
787 169050 152746
|