502 lines
6.8 KiB
Plaintext
502 lines
6.8 KiB
Plaintext
iter Passed Remaining
|
|
0 29 14758
|
|
1 52 13106
|
|
2 74 12284
|
|
3 96 11943
|
|
4 117 11666
|
|
5 139 11497
|
|
6 162 11450
|
|
7 184 11350
|
|
8 208 11366
|
|
9 231 11356
|
|
10 255 11369
|
|
11 280 11415
|
|
12 304 11398
|
|
13 327 11368
|
|
14 350 11334
|
|
15 372 11273
|
|
16 393 11179
|
|
17 415 11138
|
|
18 438 11105
|
|
19 462 11101
|
|
20 487 11115
|
|
21 511 11112
|
|
22 534 11087
|
|
23 557 11063
|
|
24 579 11019
|
|
25 601 10965
|
|
26 625 10950
|
|
27 648 10931
|
|
28 672 10918
|
|
29 695 10901
|
|
30 720 10894
|
|
31 744 10894
|
|
32 770 10896
|
|
33 793 10874
|
|
34 819 10889
|
|
35 846 10911
|
|
36 873 10936
|
|
37 897 10906
|
|
38 920 10879
|
|
39 943 10851
|
|
40 965 10812
|
|
41 989 10794
|
|
42 1014 10784
|
|
43 1036 10746
|
|
44 1058 10707
|
|
45 1081 10677
|
|
46 1104 10648
|
|
47 1129 10635
|
|
48 1156 10644
|
|
49 1180 10627
|
|
50 1205 10612
|
|
51 1231 10610
|
|
52 1253 10568
|
|
53 1278 10558
|
|
54 1302 10536
|
|
55 1326 10513
|
|
56 1350 10493
|
|
57 1371 10452
|
|
58 1395 10428
|
|
59 1418 10403
|
|
60 1441 10371
|
|
61 1462 10335
|
|
62 1485 10305
|
|
63 1509 10286
|
|
64 1533 10263
|
|
65 1557 10241
|
|
66 1580 10214
|
|
67 1604 10194
|
|
68 1628 10169
|
|
69 1650 10136
|
|
70 1672 10104
|
|
71 1697 10092
|
|
72 1721 10067
|
|
73 1743 10038
|
|
74 1765 10002
|
|
75 1789 9982
|
|
76 1813 9960
|
|
77 1836 9934
|
|
78 1858 9905
|
|
79 1882 9881
|
|
80 1904 9851
|
|
81 1926 9822
|
|
82 1949 9792
|
|
83 1970 9757
|
|
84 1993 9732
|
|
85 2015 9704
|
|
86 2038 9679
|
|
87 2062 9655
|
|
88 2086 9635
|
|
89 2109 9609
|
|
90 2133 9588
|
|
91 2157 9567
|
|
92 2180 9540
|
|
93 2205 9524
|
|
94 2228 9499
|
|
95 2251 9473
|
|
96 2275 9451
|
|
97 2298 9427
|
|
98 2320 9399
|
|
99 2343 9374
|
|
100 2366 9350
|
|
101 2388 9320
|
|
102 2411 9296
|
|
103 2434 9271
|
|
104 2456 9239
|
|
105 2479 9215
|
|
106 2503 9195
|
|
107 2527 9172
|
|
108 2550 9148
|
|
109 2575 9131
|
|
110 2598 9105
|
|
111 2621 9081
|
|
112 2645 9060
|
|
113 2667 9031
|
|
114 2693 9019
|
|
115 2720 9005
|
|
116 2746 8991
|
|
117 2771 8971
|
|
118 2795 8951
|
|
119 2820 8931
|
|
120 2844 8908
|
|
121 2868 8887
|
|
122 2891 8862
|
|
123 2915 8840
|
|
124 2937 8812
|
|
125 2960 8787
|
|
126 2982 8759
|
|
127 3007 8740
|
|
128 3029 8713
|
|
129 3051 8685
|
|
130 3077 8668
|
|
131 3100 8642
|
|
132 3122 8616
|
|
133 3146 8594
|
|
134 3169 8569
|
|
135 3192 8545
|
|
136 3216 8521
|
|
137 3240 8499
|
|
138 3265 8480
|
|
139 3289 8457
|
|
140 3313 8435
|
|
141 3337 8413
|
|
142 3361 8392
|
|
143 3384 8367
|
|
144 3407 8342
|
|
145 3430 8317
|
|
146 3452 8290
|
|
147 3475 8266
|
|
148 3497 8238
|
|
149 3520 8214
|
|
150 3543 8190
|
|
151 3566 8165
|
|
152 3589 8140
|
|
153 3612 8115
|
|
154 3637 8095
|
|
155 3660 8072
|
|
156 3684 8049
|
|
157 3708 8026
|
|
158 3730 8000
|
|
159 3752 7975
|
|
160 3776 7951
|
|
161 3799 7927
|
|
162 3823 7904
|
|
163 3846 7880
|
|
164 3870 7858
|
|
165 3894 7835
|
|
166 3919 7814
|
|
167 3942 7791
|
|
168 3966 7767
|
|
169 3987 7740
|
|
170 4009 7714
|
|
171 4034 7693
|
|
172 4059 7672
|
|
173 4082 7648
|
|
174 4105 7625
|
|
175 4127 7598
|
|
176 4150 7573
|
|
177 4173 7549
|
|
178 4195 7524
|
|
179 4220 7502
|
|
180 4242 7476
|
|
181 4267 7455
|
|
182 4292 7435
|
|
183 4314 7410
|
|
184 4336 7383
|
|
185 4360 7360
|
|
186 4382 7336
|
|
187 4405 7310
|
|
188 4428 7287
|
|
189 4452 7265
|
|
190 4475 7240
|
|
191 4500 7219
|
|
192 4523 7195
|
|
193 4546 7171
|
|
194 4568 7144
|
|
195 4590 7119
|
|
196 4612 7094
|
|
197 4636 7071
|
|
198 4658 7046
|
|
199 4681 7022
|
|
200 4707 7002
|
|
201 4730 6977
|
|
202 4751 6952
|
|
203 4775 6929
|
|
204 4797 6903
|
|
205 4819 6878
|
|
206 4842 6854
|
|
207 4865 6830
|
|
208 4888 6806
|
|
209 4912 6783
|
|
210 4938 6763
|
|
211 4960 6738
|
|
212 4982 6713
|
|
213 5005 6689
|
|
214 5026 6663
|
|
215 5050 6640
|
|
216 5072 6615
|
|
217 5094 6590
|
|
218 5116 6565
|
|
219 5138 6540
|
|
220 5162 6517
|
|
221 5186 6494
|
|
222 5210 6472
|
|
223 5234 6449
|
|
224 5256 6425
|
|
225 5279 6400
|
|
226 5303 6378
|
|
227 5329 6358
|
|
228 5352 6334
|
|
229 5375 6309
|
|
230 5397 6285
|
|
231 5422 6263
|
|
232 5445 6239
|
|
233 5467 6214
|
|
234 5491 6192
|
|
235 5513 6167
|
|
236 5537 6145
|
|
237 5559 6120
|
|
238 5582 6096
|
|
239 5607 6074
|
|
240 5631 6051
|
|
241 5653 6027
|
|
242 5677 6004
|
|
243 5702 5982
|
|
244 5724 5958
|
|
245 5748 5935
|
|
246 5771 5911
|
|
247 5793 5887
|
|
248 5818 5864
|
|
249 5840 5840
|
|
250 5862 5816
|
|
251 5884 5791
|
|
252 5908 5768
|
|
253 5931 5744
|
|
254 5955 5721
|
|
255 5982 5702
|
|
256 6010 5682
|
|
257 6038 5664
|
|
258 6061 5640
|
|
259 6083 5615
|
|
260 6109 5594
|
|
261 6133 5571
|
|
262 6154 5546
|
|
263 6178 5522
|
|
264 6204 5501
|
|
265 6228 5479
|
|
266 6250 5454
|
|
267 6272 5430
|
|
268 6296 5407
|
|
269 6319 5383
|
|
270 6340 5358
|
|
271 6363 5334
|
|
272 6385 5309
|
|
273 6410 5287
|
|
274 6433 5263
|
|
275 6456 5240
|
|
276 6479 5216
|
|
277 6502 5192
|
|
278 6524 5168
|
|
279 6547 5144
|
|
280 6571 5121
|
|
281 6593 5097
|
|
282 6617 5074
|
|
283 6647 5055
|
|
284 6680 5039
|
|
285 6711 5021
|
|
286 6737 5000
|
|
287 6768 4982
|
|
288 6796 4962
|
|
289 6826 4943
|
|
290 6856 4924
|
|
291 6884 4903
|
|
292 6912 4883
|
|
293 6937 4861
|
|
294 6964 4839
|
|
295 6990 4817
|
|
296 7016 4795
|
|
297 7043 4774
|
|
298 7069 4752
|
|
299 7097 4731
|
|
300 7121 4708
|
|
301 7147 4686
|
|
302 7173 4664
|
|
303 7197 4640
|
|
304 7221 4617
|
|
305 7244 4592
|
|
306 7266 4568
|
|
307 7288 4543
|
|
308 7312 4520
|
|
309 7337 4496
|
|
310 7361 4473
|
|
311 7384 4449
|
|
312 7407 4425
|
|
313 7432 4402
|
|
314 7457 4380
|
|
315 7480 4355
|
|
316 7502 4331
|
|
317 7526 4307
|
|
318 7550 4283
|
|
319 7574 4260
|
|
320 7599 4237
|
|
321 7622 4213
|
|
322 7660 4197
|
|
323 7692 4178
|
|
324 7718 4155
|
|
325 7743 4133
|
|
326 7767 4109
|
|
327 7792 4086
|
|
328 7817 4063
|
|
329 7840 4039
|
|
330 7865 4016
|
|
331 7890 3992
|
|
332 7912 3968
|
|
333 7935 3943
|
|
334 7958 3919
|
|
335 7980 3895
|
|
336 8003 3870
|
|
337 8027 3847
|
|
338 8051 3823
|
|
339 8072 3799
|
|
340 8095 3774
|
|
341 8119 3751
|
|
342 8142 3727
|
|
343 8165 3703
|
|
344 8187 3678
|
|
345 8212 3655
|
|
346 8236 3631
|
|
347 8258 3607
|
|
348 8282 3583
|
|
349 8303 3558
|
|
350 8326 3534
|
|
351 8349 3510
|
|
352 8372 3486
|
|
353 8396 3463
|
|
354 8419 3438
|
|
355 8443 3415
|
|
356 8466 3391
|
|
357 8488 3367
|
|
358 8512 3343
|
|
359 8534 3319
|
|
360 8559 3295
|
|
361 8582 3271
|
|
362 8606 3248
|
|
363 8630 3224
|
|
364 8652 3200
|
|
365 8673 3175
|
|
366 8696 3151
|
|
367 8719 3127
|
|
368 8741 3103
|
|
369 8766 3079
|
|
370 8787 3055
|
|
371 8812 3032
|
|
372 8835 3008
|
|
373 8857 2984
|
|
374 8879 2959
|
|
375 8901 2935
|
|
376 8924 2911
|
|
377 8949 2888
|
|
378 8971 2864
|
|
379 8994 2840
|
|
380 9016 2816
|
|
381 9039 2792
|
|
382 9062 2768
|
|
383 9084 2744
|
|
384 9108 2720
|
|
385 9132 2697
|
|
386 9158 2674
|
|
387 9180 2649
|
|
388 9204 2626
|
|
389 9228 2602
|
|
390 9250 2578
|
|
391 9272 2554
|
|
392 9296 2531
|
|
393 9318 2507
|
|
394 9342 2483
|
|
395 9366 2459
|
|
396 9388 2435
|
|
397 9412 2412
|
|
398 9436 2388
|
|
399 9459 2364
|
|
400 9483 2341
|
|
401 9504 2317
|
|
402 9525 2292
|
|
403 9546 2268
|
|
404 9569 2244
|
|
405 9591 2220
|
|
406 9613 2196
|
|
407 9635 2172
|
|
408 9658 2148
|
|
409 9680 2124
|
|
410 9701 2100
|
|
411 9723 2076
|
|
412 9744 2052
|
|
413 9765 2028
|
|
414 9786 2004
|
|
415 9810 1981
|
|
416 9835 1957
|
|
417 9858 1933
|
|
418 9880 1910
|
|
419 9904 1886
|
|
420 9927 1862
|
|
421 9952 1839
|
|
422 9976 1816
|
|
423 9998 1792
|
|
424 10020 1768
|
|
425 10042 1744
|
|
426 10064 1720
|
|
427 10086 1696
|
|
428 10109 1673
|
|
429 10132 1649
|
|
430 10155 1625
|
|
431 10178 1602
|
|
432 10202 1578
|
|
433 10225 1555
|
|
434 10250 1531
|
|
435 10273 1508
|
|
436 10296 1484
|
|
437 10321 1460
|
|
438 10342 1437
|
|
439 10364 1413
|
|
440 10386 1389
|
|
441 10408 1365
|
|
442 10432 1342
|
|
443 10454 1318
|
|
444 10476 1294
|
|
445 10498 1271
|
|
446 10521 1247
|
|
447 10546 1224
|
|
448 10567 1200
|
|
449 10589 1176
|
|
450 10611 1152
|
|
451 10633 1129
|
|
452 10657 1105
|
|
453 10679 1082
|
|
454 10701 1058
|
|
455 10724 1034
|
|
456 10748 1011
|
|
457 10770 987
|
|
458 10793 964
|
|
459 10816 940
|
|
460 10840 917
|
|
461 10863 893
|
|
462 10885 869
|
|
463 10908 846
|
|
464 10933 822
|
|
465 10956 799
|
|
466 10979 775
|
|
467 11003 752
|
|
468 11025 728
|
|
469 11048 705
|
|
470 11073 681
|
|
471 11096 658
|
|
472 11119 634
|
|
473 11142 611
|
|
474 11165 587
|
|
475 11188 564
|
|
476 11210 540
|
|
477 11233 517
|
|
478 11257 493
|
|
479 11280 470
|
|
480 11301 446
|
|
481 11325 422
|
|
482 11348 399
|
|
483 11370 375
|
|
484 11395 352
|
|
485 11417 328
|
|
486 11438 305
|
|
487 11462 281
|
|
488 11486 258
|
|
489 11507 234
|
|
490 11530 211
|
|
491 11553 187
|
|
492 11576 164
|
|
493 11601 140
|
|
494 11623 117
|
|
495 11647 93
|
|
496 11669 70
|
|
497 11692 46
|
|
498 11714 23
|
|
499 11737 0
|