iter	Passed	Remaining
0	1	1477
1	2	1314
2	3	1285
3	5	1259
4	10	2046
5	11	1904
6	13	1906
7	18	2348
8	22	2481
9	25	2504
10	31	2823
11	37	3097
12	41	3128
13	42	2988
14	45	2973
15	50	3105
16	53	3078
17	54	2966
18	56	2908
19	61	3002
20	67	3164
21	70	3145
22	71	3053
23	81	3297
24	84	3276
25	87	3279
26	89	3219
27	99	3448
28	101	3384
29	103	3354
30	110	3450
31	113	3429
32	115	3385
33	117	3327
34	123	3411
35	129	3465
36	131	3420
37	132	3357
38	135	3342
39	136	3285
40	138	3245
41	139	3190
42	141	3138
43	142	3095
44	143	3047
45	170	3529
46	215	4378
47	224	4450
48	226	4399
49	227	4328
50	229	4264
51	230	4199
52	232	4152
53	237	4163
54	241	4144
55	245	4130
56	246	4085
57	248	4040
58	250	3988
59	264	4142
60	276	4249
61	282	4271
62	284	4227
63	285	4174
64	287	4131
65	288	4082
66	290	4040
67	291	3992
68	292	3950
69	294	3906
70	295	3862
71	296	3822
72	298	3792
73	299	3752
74	301	3720
75	302	3683
76	304	3647
77	305	3614
78	306	3578
79	309	3559
80	310	3527
81	313	3508
82	314	3475
83	316	3450
84	318	3428
85	320	3402
86	321	3372
87	322	3342
88	323	3315
89	325	3290
90	326	3266
91	330	3262
92	336	3278
93	343	3313
94	346	3302
95	347	3276
96	349	3250
97	350	3224
98	351	3199
99	353	3179
100	355	3160
101	356	3140
102	357	3117
103	359	3100
104	361	3078
105	363	3067
106	367	3063
107	369	3055
108	371	3037
109	372	3015
110	375	3006
111	385	3060
112	390	3067
113	392	3049
114	394	3032
115	401	3062
116	406	3065
117	409	3062
118	410	3040
119	411	3019
120	412	2998
121	413	2977
122	414	2957
123	415	2937
124	479	3355
125	487	3382
126	493	3389
127	494	3366
128	504	3405
129	513	3436
130	534	3546
131	558	3669
132	579	3776
133	593	3836
134	595	3814
135	597	3793
136	660	4159
137	669	4181
138	671	4160
139	691	4248
140	696	4243
141	702	4244
142	723	4335
143	726	4316
144	727	4289
145	735	4299
146	737	4277
147	740	4261
148	749	4280
149	753	4271
150	762	4287
151	779	4350
152	793	4392
153	808	4441
154	833	4542
155	838	4536
156	839	4508
157	899	4790
158	900	4765
159	942	4947
160	961	5010
161	962	4979
162	963	4949
163	964	4918
164	966	4890
165	968	4867
166	972	4849
167	976	4836
168	977	4807
169	979	4782
170	981	4757
171	982	4730
172	983	4702
173	984	4675
174	986	4650
175	1003	4696
176	1005	4674
177	1006	4647
178	1007	4621
179	1010	4601
180	1013	4584
181	1015	4564
182	1017	4542
183	1018	4518
184	1020	4495
185	1021	4471
186	1023	4448
187	1024	4424
188	1025	4400
189	1032	4400
190	1034	4381
191	1036	4362
192	1038	4343
193	1039	4320
194	1041	4298
195	1042	4278
196	1044	4255
197	1045	4235
198	1047	4216
199	1049	4199
200	1054	4191
201	1056	4173
202	1058	4154
203	1059	4136
204	1061	4114
205	1067	4116
206	1083	4150
207	1084	4130
208	1086	4110
209	1087	4090
210	1090	4078
211	1092	4059
212	1093	4040
213	1095	4023
214	1096	4005
215	1098	3986
216	1100	3970
217	1102	3954
218	1104	3937
219	1105	3918
220	1106	3901
221	1109	3887
222	1112	3876
223	1114	3859
224	1115	3841
225	1116	3823
226	1117	3805
227	1121	3797
228	1123	3782
229	1125	3767
230	1126	3749
231	1127	3731
232	1129	3719
233	1131	3705
234	1136	3699
235	1138	3684
236	1139	3669
237	1141	3655
238	1142	3639
239	1144	3623
240	1145	3608
241	1147	3595
242	1149	3580
243	1150	3564
244	1152	3550
245	1153	3536
246	1155	3523
247	1158	3514
248	1160	3499
249	1162	3486
250	1191	3555
251	1193	3542
252	1195	3529
253	1199	3522
254	1201	3509
255	1206	3504
256	1207	3490
257	1216	3498
258	1218	3484
259	1219	3470
260	1220	3456
261	1222	3442
262	1223	3428
263	1226	3418
264	1228	3408
265	1231	3396
266	1232	3383
267	1233	3369
268	1234	3355
269	1236	3342
270	1237	3330
271	1239	3318
272	1241	3305
273	1243	3293
274	1244	3281
275	1247	3271
276	1248	3259
277	1250	3246
278	1251	3234
279	1266	3256
280	1268	3245
281	1269	3232
282	1270	3219
283	1272	3207
284	1273	3194
285	1274	3181
286	1275	3168
287	1278	3159
288	1280	3150
289	1310	3207
290	1312	3196
291	1329	3224
292	1331	3213
293	1334	3205
294	1339	3200
295	1341	3189
296	1343	3178
297	1347	3174
298	1349	3163
299	1351	3152
300	1352	3141
301	1354	3130
302	1356	3119
303	1357	3108
304	1359	3098
305	1360	3086
306	1365	3081
307	1366	3070
308	1368	3060
309	1370	3050
310	1371	3038
311	1372	3027
312	1374	3017
313	1376	3007
314	1383	3009
315	1384	2997
316	1386	2986
317	1386	2974
318	1388	2963
319	1389	2953
320	1391	2942
321	1392	2932
322	1394	2922
323	1395	2912
324	1397	2902
325	1398	2891
326	1400	2882
327	1405	2879
328	1407	2870
329	1408	2859
330	1410	2850
331	1411	2840
332	1415	2836
333	1416	2825
334	1418	2816
335	1419	2805
336	1421	2795
337	1421	2785
338	1422	2774
339	1423	2763
340	1424	2753
341	1425	2742
342	1427	2733
343	1428	2724
344	1429	2714
345	1430	2704
346	1432	2696
347	1433	2686
348	1434	2676
349	1435	2666
350	1436	2656
351	1437	2646
352	1438	2637
353	1440	2627
354	1441	2618
355	1442	2610
356	1444	2602
357	1445	2592
358	1447	2584
359	1448	2574
360	1449	2565
361	1450	2556
362	1451	2547
363	1452	2538
364	1453	2529
365	1455	2520
366	1456	2511
367	1457	2502
368	1459	2495
369	1465	2495
370	1468	2489
371	1469	2480
372	1470	2471
373	1471	2463
374	1472	2454
375	1474	2447
376	1480	2446
377	1482	2439
378	1484	2431
379	1485	2423
380	1486	2414
381	1487	2406
382	1491	2401
383	1495	2398
384	1498	2393
385	1499	2385
386	1501	2377
387	1502	2370
388	1505	2365
389	1510	2362
390	1514	2358
391	1516	2351
392	1517	2343
393	1518	2335
394	1520	2328
395	1521	2320
396	1523	2314
397	1527	2309
398	1529	2304
399	1531	2296
400	1532	2288
401	1533	2281
402	1539	2280
403	1540	2273
404	1542	2265
405	1543	2258
406	1545	2252
407	1546	2244
408	1548	2237
409	1550	2231
410	1551	2223
411	1552	2216
412	1555	2210
413	1556	2203
414	1558	2196
415	1562	2193
416	1565	2188
417	1576	2195
418	1580	2191
419	1589	2194
420	1590	2186
421	1591	2179
422	1592	2172
423	1593	2165
424	1595	2158
425	1599	2155
426	1601	2149
427	1603	2143
428	1606	2138
429	1608	2131
430	1609	2124
431	1610	2116
432	1611	2110
433	1612	2103
434	1615	2098
435	1616	2091
436	1617	2084
437	1620	2078
438	1622	2072
439	1624	2067
440	1626	2061
441	1628	2055
442	1630	2050
443	1635	2047
444	1637	2041
445	1639	2035
446	1640	2029
447	1641	2022
448	1642	2016
449	1649	2016
450	1652	2011
451	1656	2007
452	1659	2004
453	1662	1999
454	1666	1995
455	1669	1991
456	1677	1993
457	1680	1988
458	1681	1982
459	1683	1976
460	1687	1972
461	1690	1968
462	1696	1968
463	1700	1963
464	1705	1962
465	1708	1957
466	1711	1953
467	1725	1961
468	1728	1956
469	1730	1951
470	1736	1950
471	1756	1964
472	1758	1958
473	1759	1953
474	1761	1947
475	1763	1941
476	1766	1936
477	1768	1930
478	1770	1925
479	1772	1920
480	1774	1914
481	1778	1911
482	1780	1905
483	1781	1899
484	1782	1892
485	1783	1886
486	1784	1879
487	1786	1874
488	1788	1868
489	1789	1862
490	1791	1856
491	1793	1852
492	1795	1846
493	1796	1840
494	1799	1835
495	1799	1828
496	1801	1823
497	1805	1819
498	1808	1815
499	1810	1810
500	1815	1808
501	1818	1803
502	1821	1800
503	1824	1795
504	1826	1790
505	1827	1784
506	1828	1778
507	1829	1772
508	1831	1766
509	1832	1760
510	1833	1754
511	1836	1750
512	1839	1746
513	1840	1740
514	1842	1734
515	1843	1729
516	1844	1723
517	1846	1717
518	1848	1713
519	1851	1708
520	1853	1704
521	1855	1698
522	1856	1693
523	1858	1688
524	1859	1682
525	1860	1676
526	1861	1670
527	1862	1664
528	1868	1663
529	1870	1658
530	1871	1653
531	1873	1647
532	1874	1642
533	1875	1636
534	1876	1630
535	1877	1625
536	1878	1619
537	1880	1614
538	1881	1609
539	1882	1603
540	1884	1598
541	1885	1593
542	1886	1588
543	1888	1582
544	1889	1577
545	1890	1571
546	1891	1566
547	1892	1561
548	1893	1555
549	1895	1550
550	1896	1545
551	1897	1540
552	1900	1536
553	1903	1532
554	1905	1527
555	1907	1523
556	1908	1518
557	1910	1513
558	1911	1508
559	1915	1504
560	1916	1499
561	1920	1497
562	1923	1492
563	1924	1487
564	1925	1482
565	1926	1477
566	1927	1472
567	1929	1467
568	1930	1462
569	1931	1457
570	1932	1452
571	1933	1446
572	1934	1441
573	1936	1436
574	1937	1432
575	1939	1427
576	1940	1422
577	1941	1417
578	1942	1412
579	1944	1407
580	1945	1402
581	1946	1398
582	1947	1393
583	1948	1388
584	1949	1383
585	1951	1378
586	1955	1375
587	1957	1371
588	1959	1367
589	1962	1364
590	1966	1361
591	1969	1357
592	1970	1352
593	1971	1347
594	1972	1342
595	1973	1337
596	1974	1333
597	1975	1328
598	1976	1323
599	1977	1318
600	1978	1313
601	1980	1309
602	1980	1304
603	1981	1299
604	1983	1294
605	1986	1291
606	1987	1286
607	1995	1286
608	1996	1281
609	1997	1277
610	2010	1280
611	2013	1276
612	2017	1273
613	2022	1271
614	2035	1274
615	2038	1270
616	2039	1266
617	2041	1261
618	2042	1257
619	2043	1252
620	2049	1250
621	2052	1247
622	2053	1242
623	2055	1238
624	2071	1242
625	2072	1238
626	2073	1233
627	2075	1229
628	2076	1224
629	2077	1220
630	2078	1215
631	2079	1210
632	2081	1206
633	2088	1205
634	2090	1201
635	2091	1196
636	2092	1192
637	2101	1192
638	2103	1188
639	2107	1185
640	2109	1181
641	2113	1178
642	2116	1175
643	2119	1171
644	2122	1168
645	2126	1165
646	2127	1160
647	2132	1158
648	2134	1154
649	2136	1150
650	2148	1151
651	2150	1147
652	2152	1144
653	2154	1139
654	2158	1136
655	2166	1136
656	2167	1131
657	2178	1132
658	2180	1128
659	2182	1124
660	2184	1120
661	2185	1116
662	2186	1111
663	2188	1107
664	2189	1102
665	2191	1099
666	2195	1095
667	2197	1092
668	2198	1087
669	2199	1083
670	2200	1079
671	2202	1075
672	2229	1083
673	2231	1079
674	2233	1075
675	2245	1076
676	2246	1072
677	2248	1067
678	2249	1063
679	2250	1059
680	2251	1054
681	2255	1051
682	2257	1047
683	2258	1043
684	2259	1038
685	2262	1035
686	2264	1031
687	2265	1027
688	2266	1023
689	2268	1018
690	2269	1014
691	2271	1010
692	2273	1006
693	2276	1003
694	2278	999
695	2281	996
696	2282	992
697	2285	988
698	2287	984
699	2288	980
700	2289	976
701	2290	972
702	2292	968
703	2293	964
704	2294	960
705	2295	956
706	2297	952
707	2299	948
708	2301	944
709	2303	940
710	2304	936
711	2305	932
712	2306	928
713	2316	927
714	2320	924
715	2321	920
716	2323	916
717	2324	912
718	2325	908
719	2327	905
720	2328	901
721	2330	897
722	2333	893
723	2336	890
724	2338	886
725	2339	883
726	2341	879
727	2342	875
728	2344	871
729	2345	867
730	2347	863
731	2351	860
732	2355	858
733	2359	854
734	2363	852
735	2366	849
736	2374	847
737	2383	846
738	2385	842
739	2387	838
740	2389	835
741	2391	831
742	2394	828
743	2395	824
744	2396	820
745	2397	816
746	2399	812
747	2401	809
748	2406	806
749	2408	802
750	2409	798
751	2410	795
752	2412	791
753	2414	787
754	2417	784
755	2418	780
756	2419	776
757	2421	773
758	2424	769
759	2426	766
760	2430	763
761	2432	759
762	2433	755
763	2434	752
764	2436	748
765	2437	744
766	2439	740
767	2440	737
768	2441	733
769	2442	729
770	2444	726
771	2446	722
772	2448	719
773	2449	715
774	2451	711
775	2453	708
776	2456	704
777	2457	701
778	2459	697
779	2460	694
780	2469	692
781	2470	688
782	2472	685
783	2473	681
784	2475	677
785	2477	674
786	2479	671
787	2482	667
788	2483	664
789	2485	660
790	2487	657
791	2489	653
792	2491	650
793	2499	648
794	2505	645
795	2507	642
796	2509	639
797	2511	635
798	2512	632
799	2514	628
800	2515	624
801	2517	621
802	2518	617
803	2521	614
804	2525	611
805	2526	608
806	2528	604
807	2529	601
808	2532	597
809	2533	594
810	2535	590
811	2536	587
812	2539	584
813	2541	580
814	2545	577
815	2547	574
816	2548	570
817	2549	567
818	2550	563
819	2552	560
820	2555	557
821	2557	553
822	2559	550
823	2561	547
824	2562	543
825	2563	540
826	2564	536
827	2566	533
828	2570	530
829	2572	526
830	2574	523
831	2575	520
832	2576	516
833	2577	513
834	2579	509
835	2580	506
836	2582	502
837	2583	499
838	2586	496
839	2588	493
840	2590	489
841	2591	486
842	2594	483
843	2595	479
844	2597	476
845	2598	473
846	2600	469
847	2602	466
848	2605	463
849	2607	460
850	2610	457
851	2612	453
852	2614	450
853	2617	447
854	2619	444
855	2621	440
856	2622	437
857	2624	434
858	2625	430
859	2626	427
860	2627	424
861	2628	420
862	2630	417
863	2633	414
864	2635	411
865	2637	408
866	2639	404
867	2640	401
868	2642	398
869	2643	394
870	2644	391
871	2646	388
872	2649	385
873	2653	382
874	2656	379
875	2658	376
876	2659	373
877	2661	369
878	2663	366
879	2665	363
880	2668	360
881	2670	357
882	2671	353
883	2672	350
884	2673	347
885	2674	344
886	2676	340
887	2686	338
888	2691	336
889	2696	333
890	2702	330
891	2704	327
892	2718	325
893	2722	322
894	2723	319
895	2725	316
896	2727	313
897	2729	310
898	2731	306
899	2732	303
900	2733	300
901	2734	297
902	2735	293
903	2736	290
904	2737	287
905	2739	284
906	2740	280
907	2743	277
908	2746	274
909	2748	271
910	2750	268
911	2752	265
912	2755	262
913	2760	259
914	2763	256
915	2764	253
916	2766	250
917	2767	247
918	2768	244
919	2771	241
920	2774	237
921	2777	234
922	2781	232
923	2783	228
924	2784	225
925	2790	223
926	2792	219
927	2793	216
928	2795	213
929	2796	210
930	2799	207
931	2800	204
932	2802	201
933	2803	198
934	2804	194
935	2806	191
936	2807	188
937	2808	185
938	2810	182
939	2815	179
940	2816	176
941	2818	173
942	2819	170
943	2822	167
944	2824	164
945	2826	161
946	2827	158
947	2830	155
948	2832	152
949	2834	149
950	2836	146
951	2840	143
952	2843	140
953	2854	137
954	2855	134
955	2856	131
956	2857	128
957	2858	125
958	2859	122
959	2861	119
960	2862	116
961	2864	113
962	2865	110
963	2867	107
964	2868	104
965	2869	100
966	2870	97
967	2871	94
968	2872	91
969	2873	88
970	2874	85
971	2874	82
972	2875	79
973	2876	76
974	2877	73
975	2878	70
976	2879	67
977	2880	64
978	2881	61
979	2882	58
980	2883	55
981	2884	52
982	2885	49
983	2886	46
984	2887	43
985	2889	41
986	2890	38
987	2891	35
988	2892	32
989	2893	29
990	2896	26
991	2899	23
992	2900	20
993	2901	17
994	2902	14
995	2903	11
996	2905	8
997	2906	5
998	2907	2
999	2908	0
3906	51
987	3910	47
988	3912	43
989	3913	39
990	3915	35
991	3916	31
992	3923	27
993	3926	23
994	3927	19
995	3928	15
996	3929	11
997	3931	7
998	3932	3
999	3933	0
19
997	6642	13
998	6659	6
999	6677	0