iter	Passed	Remaining
0	2	2283
1	4	2101
2	6	2209
3	8	2115
4	10	2080
5	12	2035
6	14	2005
7	16	2014
8	18	1993
9	34	3440
10	36	3299
11	38	3190
12	40	3089
13	42	2995
14	44	2913
15	46	2846
16	48	2815
17	51	2822
18	53	2769
19	55	2720
20	57	2685
21	59	2654
22	61	2613
23	78	3179
24	83	3256
25	86	3222
26	88	3193
27	90	3156
28	93	3129
29	96	3106
30	98	3068
31	99	3020
32	101	2976
33	103	2937
34	104	2894
35	107	2867
36	108	2832
37	111	2818
38	113	2796
39	115	2771
40	117	2744
41	119	2720
42	121	2696
43	122	2668
44	124	2652
45	126	2630
46	128	2605
47	130	2585
48	132	2563
49	133	2544
50	136	2532
51	137	2513
52	139	2498
53	142	2496
54	144	2485
55	146	2467
56	148	2451
57	150	2436
58	152	2429
59	154	2415
60	156	2404
61	158	2395
62	160	2389
63	162	2377
64	164	2368
65	166	2358
66	168	2348
67	170	2337
68	173	2337
69	175	2329
70	177	2318
71	178	2304
72	181	2298
73	183	2291
74	185	2283
75	187	2275
76	189	2267
77	191	2258
78	192	2249
79	195	2245
80	197	2243
81	199	2233
82	201	2228
83	204	2226
84	207	2236
85	209	2226
86	211	2216
87	212	2207
88	214	2197
89	216	2191
90	219	2189
91	221	2183
92	222	2174
93	224	2165
94	226	2156
95	227	2146
96	229	2140
97	232	2138
98	234	2133
99	236	2129
100	238	2121
101	240	2113
102	241	2107
103	243	2100
104	245	2092
105	247	2088
106	249	2082
107	251	2080
108	253	2072
109	255	2064
110	256	2058
111	258	2050
112	260	2044
113	262	2041
114	264	2037
115	266	2032
116	268	2026
117	270	2023
118	272	2016
119	274	2012
120	275	2004
121	277	1999
122	280	1997
123	281	1990
124	283	1984
125	285	1978
126	287	1972
127	289	1969
128	291	1970
129	294	1967
130	295	1963
131	297	1958
132	299	1952
133	301	1945
134	302	1940
135	304	1935
136	306	1930
137	308	1926
138	310	1920
139	311	1914
140	313	1908
141	315	1903
142	318	1910
143	321	1912
144	324	1913
145	326	1910
146	328	1906
147	330	1901
148	332	1897
149	334	1894
150	336	1892
151	338	1890
152	341	1887
153	343	1885
154	345	1880
155	346	1875
156	348	1870
157	351	1873
158	353	1872
159	366	1924
160	368	1919
161	370	1915
162	373	1920
163	376	1916
164	377	1911
165	379	1907
166	382	1906
167	383	1901
168	386	1900
169	388	1895
170	390	1891
171	392	1889
172	394	1884
173	396	1879
174	397	1874
175	399	1870
176	401	1865
177	403	1861
178	404	1856
179	406	1851
180	408	1848
181	410	1843
182	412	1840
183	414	1837
184	416	1834
185	418	1829
186	419	1824
187	421	1820
188	423	1815
189	424	1811
190	426	1807
191	428	1802
192	429	1797
193	432	1794
194	433	1791
195	435	1787
196	437	1784
197	439	1780
198	441	1778
199	443	1775
200	445	1772
201	447	1767
202	449	1763
203	450	1759
204	452	1755
205	454	1753
206	456	1748
207	458	1744
208	459	1740
209	461	1737
210	463	1734
211	465	1730
212	467	1726
213	469	1723
214	471	1722
215	473	1720
216	475	1717
217	477	1713
218	479	1709
219	481	1706
220	483	1702
221	484	1698
222	486	1694
223	487	1690
224	489	1686
225	491	1683
226	493	1680
227	495	1676
228	497	1673
229	498	1669
230	500	1667
231	502	1664
232	505	1663
233	506	1659
234	509	1657
235	511	1655
236	513	1651
237	514	1648
238	516	1645
239	518	1641
240	520	1638
241	521	1634
242	523	1631
243	525	1628
244	527	1627
245	530	1627
246	533	1625
247	534	1621
248	536	1618
249	540	1621
250	542	1618
251	544	1616
252	546	1614
253	549	1613
254	551	1610
255	552	1606
256	554	1604
257	556	1601
258	558	1598
259	562	1600
260	564	1599
261	566	1596
262	568	1593
263	571	1592
264	572	1588
265	574	1586
266	576	1582
267	577	1578
268	580	1576
269	582	1573
270	584	1571
271	586	1568
272	587	1565
273	589	1562
274	591	1558
275	593	1557
276	595	1555
277	597	1552
278	599	1549
279	601	1546
280	603	1543
281	605	1540
282	606	1536
283	608	1533
284	610	1531
285	611	1527
286	613	1524
287	615	1521
288	617	1518
289	618	1515
290	620	1512
291	622	1510
292	625	1508
293	626	1505
294	628	1502
295	630	1499
296	632	1497
297	634	1495
298	636	1492
299	638	1490
300	642	1492
301	644	1489
302	647	1488
303	649	1486
304	651	1485
305	653	1482
306	655	1479
307	657	1477
308	659	1474
309	660	1471
310	662	1468
311	664	1466
312	666	1463
313	668	1460
314	670	1457
315	671	1453
316	673	1450
317	674	1447
318	677	1445
319	679	1443
320	682	1443
321	684	1441
322	686	1438
323	688	1435
324	689	1432
325	691	1429
326	693	1426
327	695	1424
328	697	1421
329	699	1419
330	701	1417
331	703	1415
332	705	1413
333	707	1411
334	712	1415
335	714	1412
336	717	1411
337	719	1409
338	721	1407
339	723	1405
340	727	1406
341	730	1404
342	731	1401
343	733	1399
344	735	1396
345	737	1394
346	741	1395
347	743	1393
348	745	1390
349	747	1388
350	749	1386
351	752	1384
352	754	1382
353	755	1379
354	757	1376
355	759	1374
356	761	1371
357	763	1368
358	765	1366
359	767	1363
360	769	1361
361	771	1360
362	773	1357
363	775	1354
364	777	1351
365	778	1349
366	780	1346
367	783	1344
368	785	1342
369	787	1340
370	789	1338
371	791	1335
372	792	1332
373	794	1330
374	797	1328
375	799	1326
376	802	1326
377	804	1324
378	806	1322
379	809	1320
380	811	1317
381	813	1315
382	815	1313
383	816	1310
384	818	1307
385	820	1304
386	822	1302
387	823	1299
388	827	1299
389	830	1299
390	832	1297
391	834	1294
392	836	1292
393	838	1290
394	840	1287
395	842	1284
396	843	1281
397	845	1279
398	847	1276
399	849	1274
400	851	1272
401	853	1269
402	855	1267
403	858	1265
404	860	1264
405	863	1262
406	864	1260
407	866	1257
408	868	1255
409	870	1252
410	872	1249
411	874	1247
412	876	1245
413	878	1243
414	880	1241
415	882	1239
416	884	1236
417	887	1235
418	889	1233
419	892	1232
420	894	1230
421	897	1229
422	899	1226
423	901	1224
424	902	1221
425	904	1219
426	907	1217
427	908	1214
428	910	1211
429	912	1209
430	913	1206
431	915	1203
432	917	1201
433	918	1198
434	921	1197
435	923	1194
436	925	1192
437	926	1189
438	928	1186
439	930	1183
440	931	1181
441	933	1178
442	935	1176
443	937	1173
444	938	1171
445	940	1168
446	942	1166
447	944	1163
448	946	1161
449	947	1158
450	949	1156
451	952	1154
452	954	1152
453	956	1150
454	958	1147
455	959	1145
456	961	1142
457	963	1139
458	964	1137
459	966	1134
460	968	1132
461	970	1130
462	972	1127
463	974	1125
464	975	1122
465	977	1120
466	979	1117
467	981	1115
468	983	1114
469	986	1112
470	988	1110
471	990	1107
472	992	1105
473	995	1105
474	998	1103
475	1000	1101
476	1003	1099
477	1005	1097
478	1007	1095
479	1010	1094
480	1012	1092
481	1014	1090
482	1016	1088
483	1018	1085
484	1019	1082
485	1022	1080
486	1024	1078
487	1026	1076
488	1028	1074
489	1030	1072
490	1032	1069
491	1033	1067
492	1035	1065
493	1037	1062
494	1039	1060
495	1042	1058
496	1044	1056
497	1046	1054
498	1048	1052
499	1050	1050
500	1052	1047
501	1054	1045
502	1056	1043
503	1057	1041
504	1060	1039
505	1062	1037
506	1064	1035
507	1067	1033
508	1069	1031
509	1071	1029
510	1074	1028
511	1078	1027
512	1079	1025
513	1081	1022
514	1083	1020
515	1085	1017
516	1086	1015
517	1089	1013
518	1091	1011
519	1092	1008
520	1094	1006
521	1096	1003
522	1098	1001
523	1100	999
524	1102	997
525	1104	995
526	1106	993
527	1108	990
528	1110	988
529	1112	986
530	1113	983
531	1115	981
532	1117	979
533	1119	976
534	1121	974
535	1123	972
536	1125	970
537	1127	967
538	1129	966
539	1131	963
540	1133	961
541	1135	959
542	1137	957
543	1139	955
544	1141	952
545	1143	950
546	1145	948
547	1147	946
548	1149	943
549	1151	942
550	1153	940
551	1155	937
552	1157	935
553	1159	933
554	1161	931
555	1163	928
556	1165	927
557	1168	925
558	1169	923
559	1171	920
560	1173	918
561	1175	916
562	1177	913
563	1179	911
564	1181	909
565	1183	907
566	1186	905
567	1188	903
568	1190	901
569	1193	900
570	1195	898
571	1199	897
572	1202	896
573	1205	894
574	1207	892
575	1209	889
576	1211	888
577	1213	886
578	1215	883
579	1218	882
580	1220	880
581	1223	878
582	1228	878
583	1233	878
584	1235	876
585	1238	875
586	1241	873
587	1265	886
588	1267	884
589	1271	883
590	1275	882
591	1278	881
592	1281	879
593	1284	877
594	1286	875
595	1292	875
596	1295	874
597	1298	872
598	1300	870
599	1303	868
600	1307	867
601	1309	866
602	1311	863
603	1313	861
604	1315	858
605	1318	857
606	1323	857
607	1327	856
608	1329	853
609	1333	852
610	1336	851
611	1339	849
612	1342	847
613	1343	844
614	1347	843
615	1350	841
616	1353	839
617	1355	837
618	1357	835
619	1359	833
620	1363	832
621	1367	831
622	1370	829
623	1372	827
624	1377	826
625	1381	825
626	1383	823
627	1385	820
628	1387	818
629	1390	816
630	1393	814
631	1396	813
632	1399	811
633	1401	808
634	1403	806
635	1407	805
636	1413	805
637	1415	803
638	1417	800
639	1420	799
640	1424	797
641	1426	795
642	1428	793
643	1430	790
644	1433	788
645	1436	787
646	1440	786
647	1444	784
648	1446	782
649	1449	780
650	1453	779
651	1456	777
652	1458	775
653	1460	772
654	1462	770
655	1466	768
656	1468	766
657	1472	765
658	1474	763
659	1476	760
660	1479	758
661	1483	757
662	1486	755
663	1488	753
664	1490	750
665	1493	749
666	1497	747
667	1500	745
668	1503	744
669	1505	741
670	1509	739
671	1511	737
672	1515	736
673	1517	733
674	1518	731
675	1520	728
676	1523	726
677	1527	725
678	1531	723
679	1533	721
680	1536	719
681	1540	718
682	1544	716
683	1547	714
684	1549	712
685	1577	722
686	1593	726
687	1604	727
688	1614	728
689	1626	730
690	1635	731
691	1655	736
692	1659	735
693	1662	732
694	1668	732
695	1672	730
696	1675	728
697	1680	726
698	1684	725
699	1689	724
700	1692	721
701	1696	720
702	1701	718
703	1705	717
704	1713	717
705	1718	715
706	1721	713
707	1726	712
708	1732	710
709	1735	708
710	1743	708
711	1759	711
712	1763	709
713	1765	707
714	1768	704
715	1773	703
716	1777	701
717	1780	699
718	1781	696
719	1786	694
720	1789	692
721	1792	690
722	1794	687
723	1796	684
724	1798	682
725	1803	680
726	1806	678
727	1811	676
728	1813	674
729	1817	672
730	1821	670
731	1823	667
732	1825	664
733	1827	662
734	1831	660
735	1834	658
736	1837	655
737	1839	653
738	1841	650
739	1845	648
740	1848	646
741	1851	643
742	1853	641
743	1855	638
744	1859	636
745	1861	633
746	1865	631
747	1868	629
748	1870	626
749	1874	624
750	1878	622
751	1881	620
752	1883	617
753	1885	615
754	1895	615
755	1901	613
756	1908	612
757	1914	611
758	1919	609
759	1923	607
760	1927	605
761	1930	603
762	1935	601
763	1939	599
764	1942	596
765	1945	594
766	1950	592
767	1952	589
768	1954	587
769	1957	584
770	1961	582
771	1964	580
772	1969	578
773	1971	575
774	1973	572
775	1975	570
776	1978	567
777	1982	565
778	1984	562
779	1986	560
780	1988	557
781	1990	554
782	1992	552
783	1994	549
784	1995	546
785	1997	543
786	1999	541
787	2001	538
788	2003	535
789	2005	532
790	2006	530
791	2009	527
792	2011	524
793	2012	522
794	2014	519
795	2016	516
796	2018	514
797	2020	511
798	2021	508
799	2024	506
800	2026	503
801	2028	500
802	2030	498
803	2032	495
804	2034	492
805	2035	490
806	2038	487
807	2040	484
808	2042	482
809	2044	479
810	2047	477
811	2049	474
812	2051	471
813	2053	469
814	2056	466
815	2058	464
816	2060	461
817	2061	458
818	2063	456
819	2065	453
820	2067	450
821	2069	448
822	2071	445
823	2073	442
824	2076	440
825	2078	437
826	2081	435
827	2084	433
828	2087	430
829	2088	427
830	2090	425
831	2092	422
832	2094	419
833	2095	417
834	2097	414
835	2100	412
836	2102	409
837	2103	406
838	2105	404
839	2108	401
840	2109	398
841	2111	396
842	2113	393
843	2115	391
844	2117	388
845	2119	385
846	2120	383
847	2122	380
848	2124	377
849	2126	375
850	2127	372
851	2129	369
852	2131	367
853	2133	364
854	2135	362
855	2137	359
856	2139	356
857	2141	354
858	2143	351
859	2145	349
860	2147	346
861	2149	344
862	2151	341
863	2152	338
864	2154	336
865	2156	333
866	2158	331
867	2160	328
868	2162	325
869	2164	323
870	2166	320
871	2168	318
872	2170	315
873	2171	313
874	2173	310
875	2175	307
876	2177	305
877	2179	302
878	2180	300
879	2182	297
880	2184	295
881	2186	292
882	2187	289
883	2189	287
884	2191	284
885	2193	282
886	2195	279
887	2197	277
888	2199	274
889	2201	272
890	2203	269
891	2205	267
892	2206	264
893	2208	261
894	2211	259
895	2213	256
896	2215	254
897	2218	251
898	2219	249
899	2221	246
900	2223	244
901	2225	241
902	2227	239
903	2229	236
904	2231	234
905	2233	231
906	2235	229
907	2237	226
908	2239	224
909	2242	221
910	2244	219
911	2246	216
912	2249	214
913	2252	211
914	2254	209
915	2256	206
916	2258	204
917	2260	201
918	2262	199
919	2264	196
920	2265	194
921	2267	191
922	2269	189
923	2271	186
924	2273	184
925	2275	181
926	2277	179
927	2279	176
928	2281	174
929	2283	171
930	2285	169
931	2287	166
932	2289	164
933	2291	161
934	2293	159
935	2294	156
936	2296	154
937	2298	151
938	2300	149
939	2301	146
940	2303	144
941	2305	141
942	2306	139
943	2308	136
944	2310	134
945	2312	131
946	2314	129
947	2316	127
948	2317	124
949	2319	122
950	2321	119
951	2323	117
952	2325	114
953	2326	112
954	2328	109
955	2330	107
956	2332	104
957	2334	102
958	2336	99
959	2338	97
960	2340	94
961	2342	92
962	2344	90
963	2346	87
964	2348	85
965	2349	82
966	2351	80
967	2353	77
968	2355	75
969	2357	72
970	2359	70
971	2360	68
972	2362	65
973	2364	63
974	2366	60
975	2367	58
976	2369	55
977	2371	53
978	2373	50
979	2375	48
980	2377	46
981	2379	43
982	2381	41
983	2383	38
984	2385	36
985	2387	33
986	2390	31
987	2391	29
988	2393	26
989	2395	24
990	2397	21
991	2399	19
992	2400	16
993	2403	14
994	2406	12
995	2408	9
996	2410	7
997	2412	4
998	2414	2
999	2416	0