505 lines
7.1 KiB
Plaintext
505 lines
7.1 KiB
Plaintext
iter Passed Remaining
|
|
0 21 10693
|
|
1 47 11830
|
|
2 71 11953
|
|
3 96 11989
|
|
4 120 11996
|
|
5 141 11754
|
|
6 167 11890
|
|
7 186 11514
|
|
8 211 11596
|
|
9 230 11346
|
|
10 254 11402
|
|
11 279 11422
|
|
12 293 11072
|
|
13 317 11096
|
|
14 343 11173
|
|
15 378 11532
|
|
16 418 11965
|
|
17 449 12106
|
|
18 477 12167
|
|
19 511 12348
|
|
20 541 12422
|
|
21 566 12390
|
|
22 594 12397
|
|
23 621 12401
|
|
24 647 12387
|
|
25 678 12452
|
|
26 705 12437
|
|
27 731 12402
|
|
28 759 12411
|
|
29 788 12433
|
|
30 815 12413
|
|
31 842 12396
|
|
32 869 12390
|
|
33 897 12377
|
|
34 925 12369
|
|
35 951 12347
|
|
36 978 12326
|
|
37 994 12164
|
|
38 1023 12180
|
|
39 1060 12270
|
|
40 1095 12347
|
|
41 1124 12337
|
|
42 1152 12333
|
|
43 1192 12435
|
|
44 1224 12463
|
|
45 1252 12441
|
|
46 1284 12464
|
|
47 1312 12444
|
|
48 1341 12426
|
|
49 1400 12691
|
|
50 1455 12901
|
|
51 1485 12881
|
|
52 1511 12834
|
|
53 1541 12817
|
|
54 1570 12790
|
|
55 1599 12770
|
|
56 1628 12739
|
|
57 1657 12713
|
|
58 1678 12635
|
|
59 1706 12601
|
|
60 1735 12578
|
|
61 1767 12573
|
|
62 1798 12558
|
|
63 1827 12535
|
|
64 1856 12513
|
|
65 1884 12476
|
|
66 1912 12445
|
|
67 1939 12405
|
|
68 1966 12365
|
|
69 1992 12324
|
|
70 2010 12234
|
|
71 2034 12179
|
|
72 2062 12148
|
|
73 2089 12113
|
|
74 2114 12068
|
|
75 2138 12013
|
|
76 2163 11968
|
|
77 2187 11921
|
|
78 2212 11874
|
|
79 2236 11825
|
|
80 2261 11781
|
|
81 2287 11743
|
|
82 2313 11704
|
|
83 2335 11651
|
|
84 2361 11610
|
|
85 2386 11571
|
|
86 2411 11529
|
|
87 2435 11486
|
|
88 2461 11447
|
|
89 2485 11407
|
|
90 2511 11371
|
|
91 2537 11335
|
|
92 2563 11299
|
|
93 2589 11268
|
|
94 2617 11240
|
|
95 2637 11183
|
|
96 2675 11197
|
|
97 2707 11188
|
|
98 2736 11165
|
|
99 2772 11174
|
|
100 2802 11154
|
|
101 2830 11128
|
|
102 2859 11104
|
|
103 2887 11078
|
|
104 2916 11056
|
|
105 2945 11031
|
|
106 2973 11004
|
|
107 3001 10977
|
|
108 3029 10951
|
|
109 3057 10924
|
|
110 3092 10921
|
|
111 3120 10894
|
|
112 3148 10867
|
|
113 3177 10843
|
|
114 3207 10821
|
|
115 3237 10800
|
|
116 3266 10777
|
|
117 3312 10806
|
|
118 3348 10803
|
|
119 3385 10805
|
|
120 3415 10783
|
|
121 3460 10805
|
|
122 3490 10783
|
|
123 3519 10758
|
|
124 3550 10737
|
|
125 3579 10711
|
|
126 3616 10705
|
|
127 3650 10694
|
|
128 3685 10685
|
|
129 3721 10676
|
|
130 3755 10663
|
|
131 3790 10653
|
|
132 3831 10659
|
|
133 3876 10674
|
|
134 3917 10677
|
|
135 3956 10677
|
|
136 3995 10674
|
|
137 4033 10668
|
|
138 4070 10659
|
|
139 4109 10654
|
|
140 4151 10657
|
|
141 4190 10652
|
|
142 4226 10640
|
|
143 4265 10633
|
|
144 4304 10627
|
|
145 4340 10614
|
|
146 4376 10598
|
|
147 4410 10580
|
|
148 4450 10574
|
|
149 4484 10552
|
|
150 4519 10535
|
|
151 4553 10515
|
|
152 4586 10492
|
|
153 4621 10472
|
|
154 4656 10453
|
|
155 4691 10435
|
|
156 4726 10415
|
|
157 4759 10392
|
|
158 4793 10370
|
|
159 4825 10345
|
|
160 4863 10331
|
|
161 4892 10299
|
|
162 4941 10307
|
|
163 4993 10322
|
|
164 5040 10324
|
|
165 5093 10341
|
|
166 5142 10347
|
|
167 5177 10324
|
|
168 5213 10303
|
|
169 5250 10284
|
|
170 5283 10257
|
|
171 5317 10232
|
|
172 5350 10206
|
|
173 5384 10181
|
|
174 5418 10156
|
|
175 5454 10135
|
|
176 5488 10109
|
|
177 5525 10088
|
|
178 5562 10067
|
|
179 5604 10057
|
|
180 5642 10038
|
|
181 5685 10027
|
|
182 5721 10004
|
|
183 5757 9981
|
|
184 5803 9974
|
|
185 5838 9950
|
|
186 5881 9939
|
|
187 5920 9920
|
|
188 5978 9933
|
|
189 6033 9940
|
|
190 6099 9963
|
|
191 6137 9942
|
|
192 6224 9998
|
|
193 6320 10067
|
|
194 6352 10034
|
|
195 6377 9989
|
|
196 6407 9952
|
|
197 6437 9916
|
|
198 6469 9883
|
|
199 6500 9848
|
|
200 6533 9817
|
|
201 6559 9774
|
|
202 6591 9740
|
|
203 6621 9705
|
|
204 6656 9675
|
|
205 6687 9642
|
|
206 6720 9610
|
|
207 6753 9578
|
|
208 6787 9548
|
|
209 6819 9515
|
|
210 6851 9481
|
|
211 6882 9446
|
|
212 6915 9416
|
|
213 6948 9383
|
|
214 6982 9352
|
|
215 7013 9319
|
|
216 7043 9282
|
|
217 7073 9247
|
|
218 7106 9215
|
|
219 7140 9184
|
|
220 7172 9152
|
|
221 7206 9122
|
|
222 7239 9090
|
|
223 7272 9058
|
|
224 7309 9031
|
|
225 7345 9003
|
|
226 7377 8970
|
|
227 7410 8938
|
|
228 7453 8917
|
|
229 7491 8892
|
|
230 7525 8860
|
|
231 7557 8827
|
|
232 7590 8795
|
|
233 7624 8764
|
|
234 7656 8732
|
|
235 7688 8698
|
|
236 7720 8665
|
|
237 7752 8632
|
|
238 7784 8598
|
|
239 7817 8566
|
|
240 7860 8544
|
|
241 7904 8525
|
|
242 7955 8511
|
|
243 8022 8515
|
|
244 8071 8499
|
|
245 8117 8480
|
|
246 8163 8461
|
|
247 8211 8443
|
|
248 8261 8427
|
|
249 8309 8409
|
|
250 8349 8383
|
|
251 8386 8353
|
|
252 8423 8323
|
|
253 8460 8294
|
|
254 8496 8263
|
|
255 8534 8234
|
|
256 8568 8201
|
|
257 8607 8173
|
|
258 8649 8148
|
|
259 8685 8117
|
|
260 8726 8091
|
|
261 8762 8060
|
|
262 8799 8030
|
|
263 8834 7997
|
|
264 8869 7965
|
|
265 8902 7931
|
|
266 8940 7902
|
|
267 8975 7870
|
|
268 9010 7838
|
|
269 9043 7804
|
|
270 9078 7772
|
|
271 9105 7733
|
|
272 9139 7700
|
|
273 9171 7664
|
|
274 9203 7630
|
|
275 9235 7596
|
|
276 9269 7562
|
|
277 9303 7529
|
|
278 9336 7496
|
|
279 9371 7463
|
|
280 9405 7430
|
|
281 9440 7398
|
|
282 9470 7362
|
|
283 9501 7327
|
|
284 9535 7293
|
|
285 9571 7261
|
|
286 9616 7237
|
|
287 9657 7209
|
|
288 9690 7175
|
|
289 9723 7141
|
|
290 9763 7112
|
|
291 9804 7084
|
|
292 9837 7050
|
|
293 9868 7015
|
|
294 9898 6978
|
|
295 9928 6943
|
|
296 9960 6908
|
|
297 9989 6872
|
|
298 10019 6835
|
|
299 10047 6798
|
|
300 10076 6762
|
|
301 10103 6724
|
|
302 10129 6686
|
|
303 10155 6648
|
|
304 10184 6611
|
|
305 10211 6574
|
|
306 10238 6536
|
|
307 10265 6499
|
|
308 10290 6460
|
|
309 10317 6423
|
|
310 10346 6387
|
|
311 10390 6360
|
|
312 10428 6330
|
|
313 10459 6295
|
|
314 10490 6261
|
|
315 10529 6230
|
|
316 10559 6195
|
|
317 10589 6160
|
|
318 10621 6126
|
|
319 10653 6092
|
|
320 10683 6057
|
|
321 10714 6022
|
|
322 10744 5987
|
|
323 10775 5953
|
|
324 10808 5919
|
|
325 10838 5884
|
|
326 10868 5849
|
|
327 10898 5814
|
|
328 10927 5779
|
|
329 10957 5744
|
|
330 10988 5709
|
|
331 11017 5674
|
|
332 11047 5640
|
|
333 11076 5604
|
|
334 11106 5569
|
|
335 11139 5536
|
|
336 11169 5501
|
|
337 11201 5468
|
|
338 11236 5435
|
|
339 11266 5401
|
|
340 11297 5367
|
|
341 11327 5332
|
|
342 11356 5297
|
|
343 11385 5262
|
|
344 11414 5227
|
|
345 11443 5192
|
|
346 11472 5157
|
|
347 11501 5122
|
|
348 11531 5088
|
|
349 11561 5053
|
|
350 11590 5019
|
|
351 11620 4984
|
|
352 11652 4951
|
|
353 11682 4917
|
|
354 11711 4882
|
|
355 11745 4849
|
|
356 11783 4819
|
|
357 11821 4788
|
|
358 11859 4757
|
|
359 11900 4727
|
|
360 11947 4699
|
|
361 12002 4675
|
|
362 12043 4645
|
|
363 12085 4615
|
|
364 12127 4585
|
|
365 12170 4555
|
|
366 12212 4525
|
|
367 12253 4495
|
|
368 12292 4463
|
|
369 12331 4432
|
|
370 12367 4400
|
|
371 12404 4368
|
|
372 12440 4335
|
|
373 12476 4303
|
|
374 12511 4270
|
|
375 12545 4237
|
|
376 12584 4206
|
|
377 12626 4175
|
|
378 12684 4150
|
|
379 12733 4121
|
|
380 12769 4088
|
|
381 12804 4055
|
|
382 12849 4025
|
|
383 12885 3993
|
|
384 12920 3960
|
|
385 12953 3926
|
|
386 12987 3892
|
|
387 13023 3860
|
|
388 13057 3826
|
|
389 13093 3793
|
|
390 13126 3760
|
|
391 13159 3726
|
|
392 13194 3693
|
|
393 13227 3659
|
|
394 13259 3625
|
|
395 13291 3591
|
|
396 13322 3557
|
|
397 13355 3523
|
|
398 13388 3489
|
|
399 13419 3455
|
|
400 13451 3421
|
|
401 13485 3388
|
|
402 13518 3354
|
|
403 13552 3320
|
|
404 13585 3287
|
|
405 13617 3253
|
|
406 13647 3219
|
|
407 13680 3185
|
|
408 13711 3151
|
|
409 13741 3117
|
|
410 13774 3083
|
|
411 13805 3049
|
|
412 13835 3014
|
|
413 13863 2980
|
|
414 13894 2946
|
|
415 13923 2911
|
|
416 13950 2877
|
|
417 13977 2842
|
|
418 14004 2807
|
|
419 14031 2772
|
|
420 14057 2738
|
|
421 14082 2703
|
|
422 14108 2668
|
|
423 14134 2633
|
|
424 14160 2598
|
|
425 14184 2563
|
|
426 14210 2529
|
|
427 14236 2494
|
|
428 14266 2460
|
|
429 14295 2426
|
|
430 14334 2394
|
|
431 14374 2362
|
|
432 14403 2328
|
|
433 14431 2294
|
|
434 14468 2261
|
|
435 14497 2227
|
|
436 14528 2194
|
|
437 14556 2160
|
|
438 14588 2126
|
|
439 14618 2093
|
|
440 14646 2059
|
|
441 14674 2025
|
|
442 14707 1991
|
|
443 14741 1958
|
|
444 14771 1925
|
|
445 14801 1891
|
|
446 14832 1858
|
|
447 14862 1824
|
|
448 14891 1790
|
|
449 14922 1757
|
|
450 14960 1724
|
|
451 14998 1692
|
|
452 15037 1659
|
|
453 15104 1630
|
|
454 15158 1599
|
|
455 15196 1566
|
|
456 15228 1532
|
|
457 15260 1499
|
|
458 15292 1465
|
|
459 15326 1432
|
|
460 15356 1399
|
|
461 15388 1365
|
|
462 15418 1332
|
|
463 15449 1298
|
|
464 15483 1265
|
|
465 15514 1231
|
|
466 15546 1198
|
|
467 15577 1165
|
|
468 15609 1131
|
|
469 15640 1098
|
|
470 15669 1064
|
|
471 15704 1031
|
|
472 15747 998
|
|
473 15786 965
|
|
474 15824 932
|
|
475 15861 899
|
|
476 15899 866
|
|
477 15938 833
|
|
478 15978 800
|
|
479 16014 767
|
|
480 16050 734
|
|
481 16089 700
|
|
482 16124 667
|
|
483 16159 634
|
|
484 16194 601
|
|
485 16230 567
|
|
486 16268 534
|
|
487 16305 501
|
|
488 16340 467
|
|
489 16377 434
|
|
490 16412 401
|
|
491 16447 367
|
|
492 16483 334
|
|
493 16529 301
|
|
494 16577 267
|
|
495 16612 234
|
|
496 16648 200
|
|
497 16689 167
|
|
498 16725 134
|
|
499 16760 100
|
|
500 16793 67
|
|
501 16826 33
|
|
502 16859 0
|