iter	Passed	Remaining
0	21	21129
1	52	26342
2	71	23822
3	86	21473
4	96	19228
5	113	18814
6	126	17966
7	137	17042
8	145	16011
9	149	14848
10	154	13891
11	159	13107
12	163	12431
13	168	11850
14	207	13646
15	211	13028
16	213	12372
17	216	11804
18	218	11301
19	221	10842
20	223	10421
21	226	10086
22	228	9719
23	230	9392
24	232	9079
25	234	8782
26	236	8505
27	237	8247
28	239	8034
29	242	7825
30	244	7638
31	246	7451
32	248	7283
33	250	7122
34	252	6963
35	254	6821
36	257	6692
37	259	6556
38	261	6440
39	263	6315
40	264	6191
41	266	6073
42	268	5965
43	269	5856
44	271	5753
45	272	5654
46	274	5571
47	276	5478
48	277	5390
49	279	5305
50	280	5223
51	282	5148
52	284	5074
53	285	5003
54	287	4934
55	288	4868
56	290	4803
57	291	4740
58	293	4679
59	295	4626
60	296	4570
61	298	4514
62	299	4461
63	301	4410
64	303	4361
65	304	4311
66	306	4264
67	307	4218
68	309	4177
69	311	4132
70	312	4091
71	314	4050
72	315	4010
73	317	3971
74	318	3932
75	320	3895
76	322	3862
77	323	3827
78	325	3793
79	326	3758
80	328	3725
81	329	3693
82	331	3662
83	333	3632
84	334	3602
85	336	3575
86	338	3547
87	339	3519
88	341	3491
89	343	3468
90	345	3447
91	347	3432
92	350	3417
93	356	3434
94	359	3420
95	360	3399
96	363	3383
97	364	3359
98	366	3336
99	369	3325
100	371	3309
101	373	3292
102	376	3274
103	377	3253
104	379	3233
105	380	3212
106	382	3191
107	385	3180
108	387	3170
109	391	3165
110	393	3152
111	395	3139
112	398	3127
113	400	3114
114	403	3101
115	405	3093
116	408	3081
117	410	3070
118	413	3058
119	414	3042
120	417	3032
121	419	3021
122	422	3009
123	424	2995
124	425	2981
125	428	2970
126	430	2956
127	431	2942
128	435	2938
129	438	2932
130	441	2927
131	443	2916
132	445	2907
133	448	2898
134	450	2889
135	453	2879
136	455	2868
137	456	2854
138	458	2841
139	460	2827
140	461	2814
141	463	2802
142	467	2800
143	469	2790
144	471	2780
145	473	2768
146	474	2755
147	476	2743
148	478	2730
149	480	2721
150	483	2715
151	484	2705
152	487	2700
153	489	2688
154	491	2676
155	492	2667
156	494	2655
157	496	2644
158	499	2641
159	501	2632
160	503	2623
161	505	2612
162	506	2602
163	508	2592
164	510	2581
165	511	2572
166	514	2566
167	516	2559
168	519	2553
169	521	2544
170	522	2535
171	524	2525
172	526	2517
173	528	2510
174	531	2506
175	534	2500
176	536	2495
177	538	2488
178	540	2480
179	542	2471
180	544	2464
181	546	2457
182	549	2452
183	551	2444
184	553	2436
185	555	2430
186	557	2423
187	559	2417
188	562	2412
189	564	2407
190	566	2400
191	568	2393
192	570	2385
193	572	2377
194	573	2368
195	575	2361
196	578	2357
197	581	2353
198	583	2347
199	585	2341
200	587	2333
201	588	2326
202	590	2317
203	592	2310
204	594	2306
205	596	2300
206	599	2296
207	601	2291
208	603	2283
209	605	2276
210	606	2268
211	608	2263
212	611	2260
213	614	2256
214	616	2250
215	618	2244
216	620	2237
217	621	2229
218	623	2223
219	626	2219
220	628	2214
221	630	2210
222	632	2204
223	634	2198
224	636	2191
225	637	2184
226	639	2178
227	642	2174
228	644	2169
229	646	2164
230	649	2160
231	650	2154
232	652	2148
233	654	2141
234	656	2136
235	657	2130
236	659	2123
237	661	2116
238	663	2111
239	664	2104
240	666	2097
241	667	2091
242	669	2085
243	671	2079
244	672	2072
245	674	2066
246	675	2060
247	677	2054
248	679	2048
249	680	2042
250	682	2036
251	684	2030
252	685	2024
253	687	2018
254	688	2012
255	690	2007
256	692	2001
257	693	1995
258	695	1989
259	696	1983
260	698	1978
261	700	1972
262	701	1966
263	703	1961
264	705	1955
265	706	1950
266	708	1944
267	710	1940
268	711	1934
269	713	1929
270	715	1924
271	716	1918
272	718	1913
273	720	1908
274	722	1903
275	723	1898
276	725	1894
277	727	1888
278	728	1883
279	730	1877
280	732	1873
281	733	1868
282	735	1863
283	736	1858
284	738	1853
285	740	1848
286	742	1844
287	744	1839
288	746	1836
289	748	1831
290	749	1826
291	751	1821
292	753	1817
293	755	1813
294	757	1809
295	759	1806
296	761	1802
297	763	1799
298	766	1797
299	768	1793
300	770	1789
301	772	1785
302	774	1781
303	776	1777
304	778	1773
305	780	1770
306	782	1766
307	784	1762
308	786	1759
309	788	1755
310	790	1751
311	792	1748
312	794	1744
313	796	1740
314	798	1736
315	801	1734
316	803	1730
317	804	1726
318	807	1722
319	808	1718
320	810	1714
321	812	1710
322	814	1707
323	816	1702
324	817	1698
325	819	1694
326	821	1690
327	823	1686
328	825	1682
329	826	1678
330	828	1674
331	830	1670
332	831	1666
333	833	1661
334	835	1657
335	836	1653
336	838	1649
337	840	1645
338	842	1642
339	843	1638
340	845	1633
341	846	1629
342	848	1625
343	850	1621
344	852	1617
345	853	1613
346	855	1610
347	857	1605
348	858	1601
349	860	1597
350	862	1594
351	863	1590
352	865	1586
353	867	1582
354	868	1578
355	870	1574
356	872	1570
357	873	1566
358	875	1563
359	877	1559
360	878	1555
361	880	1551
362	882	1548
363	883	1544
364	885	1540
365	886	1536
366	888	1532
367	890	1528
368	891	1524
369	893	1521
370	894	1517
371	896	1513
372	898	1509
373	899	1505
374	901	1502
375	903	1498
376	904	1495
377	906	1491
378	907	1487
379	909	1484
380	911	1480
381	912	1476
382	914	1473
383	916	1469
384	917	1466
385	919	1462
386	921	1459
387	922	1455
388	924	1451
389	925	1448
390	927	1444
391	928	1440
392	930	1437
393	932	1433
394	933	1430
395	935	1426
396	937	1423
397	938	1419
398	940	1416
399	941	1412
400	943	1409
401	945	1405
402	946	1402
403	948	1398
404	949	1395
405	951	1392
406	953	1388
407	954	1385
408	956	1381
409	957	1378
410	959	1374
411	961	1371
412	962	1367
413	964	1364
414	965	1361
415	967	1357
416	968	1354
417	970	1351
418	972	1348
419	973	1344
420	975	1341
421	976	1337
422	978	1335
423	980	1331
424	981	1328
425	983	1325
426	985	1322
427	986	1318
428	988	1315
429	989	1312
430	991	1309
431	993	1305
432	994	1302
433	996	1299
434	997	1296
435	999	1292
436	1000	1288
437	1002	1285
438	1003	1282
439	1005	1279
440	1006	1276
441	1008	1273
442	1010	1270
443	1011	1266
444	1013	1263
445	1014	1260
446	1016	1257
447	1017	1254
448	1019	1251
449	1021	1248
450	1022	1244
451	1024	1241
452	1025	1238
453	1027	1235
454	1028	1232
455	1030	1229
456	1032	1226
457	1033	1223
458	1035	1220
459	1036	1217
460	1038	1213
461	1040	1211
462	1041	1208
463	1043	1205
464	1045	1202
465	1046	1199
466	1048	1196
467	1050	1193
468	1051	1190
469	1053	1187
470	1055	1184
471	1056	1181
472	1058	1178
473	1059	1176
474	1061	1173
475	1063	1170
476	1064	1167
477	1066	1164
478	1068	1161
479	1069	1158
480	1071	1155
481	1072	1152
482	1074	1150
483	1076	1147
484	1077	1144
485	1079	1141
486	1080	1138
487	1082	1135
488	1084	1132
489	1085	1129
490	1087	1126
491	1088	1124
492	1090	1121
493	1091	1118
494	1093	1115
495	1095	1112
496	1096	1109
497	1098	1107
498	1099	1104
499	1101	1101
500	1103	1098
501	1104	1095
502	1106	1092
503	1108	1090
504	1109	1087
505	1111	1084
506	1112	1082
507	1114	1079
508	1116	1076
509	1117	1073
510	1119	1071
511	1120	1068
512	1122	1065
513	1124	1062
514	1125	1060
515	1127	1057
516	1128	1054
517	1130	1051
518	1131	1049
519	1133	1046
520	1135	1043
521	1136	1041
522	1138	1038
523	1139	1035
524	1141	1032
525	1143	1030
526	1144	1027
527	1146	1024
528	1148	1022
529	1149	1019
530	1151	1016
531	1152	1014
532	1154	1011
533	1155	1008
534	1157	1006
535	1159	1003
536	1160	1000
537	1162	998
538	1164	995
539	1165	993
540	1167	990
541	1168	987
542	1170	985
543	1172	982
544	1175	981
545	1177	979
546	1179	976
547	1181	974
548	1182	971
549	1184	969
550	1186	966
551	1188	964
552	1191	963
553	1193	960
554	1195	958
555	1197	956
556	1199	953
557	1201	951
558	1202	948
559	1204	946
560	1207	944
561	1209	942
562	1212	941
563	1214	938
564	1216	936
565	1217	933
566	1219	931
567	1222	930
568	1225	928
569	1227	926
570	1229	923
571	1231	921
572	1233	918
573	1234	916
574	1236	913
575	1238	911
576	1240	909
577	1242	907
578	1245	905
579	1247	903
580	1249	900
581	1251	898
582	1253	896
583	1256	895
584	1260	894
585	1262	892
586	1265	890
587	1267	888
588	1270	886
589	1274	885
590	1277	884
591	1280	882
592	1282	880
593	1285	878
594	1288	877
595	1291	875
596	1295	874
597	1297	872
598	1300	870
599	1303	868
600	1306	867
601	1308	865
602	1311	863
603	1313	861
604	1315	859
605	1321	858
606	1323	857
607	1327	855
608	1329	853
609	1331	851
610	1335	850
611	1338	848
612	1341	847
613	1344	844
614	1346	842
615	1348	840
616	1352	839
617	1354	837
618	1358	835
619	1360	833
620	1362	831
621	1364	829
622	1367	827
623	1369	825
624	1372	823
625	1375	821
626	1376	819
627	1378	816
628	1380	814
629	1382	811
630	1385	810
631	1387	808
632	1390	806
633	1392	803
634	1394	801
635	1395	798
636	1398	796
637	1400	794
638	1403	792
639	1405	790
640	1407	788
641	1409	786
642	1411	783
643	1413	781
644	1416	779
645	1418	777
646	1421	775
647	1423	773
648	1425	770
649	1426	768
650	1428	765
651	1431	763
652	1433	761
653	1436	759
654	1438	757
655	1439	755
656	1441	752
657	1443	750
658	1445	747
659	1448	746
660	1450	743
661	1452	741
662	1454	739
663	1457	737
664	1458	734
665	1460	732
666	1462	730
667	1465	728
668	1467	726
669	1470	724
670	1471	721
671	1473	719
672	1475	716
673	1476	714
674	1479	712
675	1481	710
676	1483	707
677	1486	705
678	1488	703
679	1489	701
680	1491	698
681	1493	696
682	1494	693
683	1496	691
684	1498	688
685	1499	686
686	1501	684
687	1503	681
688	1504	679
689	1506	676
690	1507	674
691	1509	671
692	1511	669
693	1512	667
694	1514	664
695	1515	662
696	1517	659
697	1519	657
698	1520	654
699	1522	652
700	1523	649
701	1525	647
702	1527	645
703	1528	642
704	1530	640
705	1531	637
706	1533	635
707	1534	633
708	1536	630
709	1538	628
710	1539	625
711	1541	623
712	1542	621
713	1544	618
714	1545	616
715	1547	613
716	1549	611
717	1550	609
718	1552	606
719	1553	604
720	1555	601
721	1556	599
722	1558	597
723	1560	594
724	1561	592
725	1563	590
726	1564	587
727	1566	585
728	1568	582
729	1569	580
730	1571	578
731	1572	575
732	1574	573
733	1576	571
734	1579	569
735	1581	567
736	1582	564
737	1584	562
738	1586	560
739	1588	558
740	1590	555
741	1592	553
742	1594	551
743	1596	549
744	1598	547
745	1599	544
746	1601	542
747	1603	540
748	1604	537
749	1606	535
750	1608	533
751	1609	530
752	1611	528
753	1613	526
754	1614	523
755	1616	521
756	1617	519
757	1619	517
758	1620	514
759	1622	512
760	1624	510
761	1626	507
762	1628	505
763	1629	503
764	1631	501
765	1632	498
766	1634	496
767	1635	494
768	1637	491
769	1639	489
770	1641	487
771	1642	485
772	1644	482
773	1645	480
774	1647	478
775	1649	476
776	1650	473
777	1652	471
778	1653	469
779	1655	466
780	1657	464
781	1658	462
782	1660	460
783	1661	457
784	1663	455
785	1665	453
786	1666	451
787	1668	448
788	1669	446
789	1671	444
790	1673	442
791	1675	440
792	1677	437
793	1678	435
794	1680	433
795	1682	431
796	1683	428
797	1685	426
798	1687	424
799	1689	422
800	1691	420
801	1693	418
802	1695	415
803	1696	413
804	1698	411
805	1699	409
806	1701	406
807	1703	404
808	1704	402
809	1706	400
810	1707	398
811	1709	395
812	1711	393
813	1712	391
814	1714	389
815	1715	386
816	1717	384
817	1719	382
818	1720	380
819	1722	378
820	1724	375
821	1725	373
822	1727	371
823	1728	369
824	1730	367
825	1732	364
826	1734	362
827	1736	360
828	1737	358
829	1739	356
830	1740	354
831	1742	351
832	1744	349
833	1745	347
834	1747	345
835	1749	343
836	1750	340
837	1752	338
838	1754	336
839	1756	334
840	1757	332
841	1759	330
842	1760	327
843	1762	325
844	1764	323
845	1765	321
846	1767	319
847	1769	317
848	1770	314
849	1772	312
850	1773	310
851	1775	308
852	1776	306
853	1778	304
854	1780	301
855	1781	299
856	1783	297
857	1784	295
858	1786	293
859	1788	291
860	1789	288
861	1791	286
862	1792	284
863	1794	282
864	1795	280
865	1797	278
866	1799	275
867	1800	273
868	1802	271
869	1803	269
870	1805	267
871	1806	265
872	1808	263
873	1809	260
874	1811	258
875	1813	256
876	1814	254
877	1816	252
878	1817	250
879	1819	248
880	1820	245
881	1822	243
882	1823	241
883	1825	239
884	1827	237
885	1828	235
886	1830	233
887	1831	231
888	1833	228
889	1834	226
890	1836	224
891	1837	222
892	1839	220
893	1841	218
894	1842	216
895	1844	214
896	1846	211
897	1847	209
898	1849	207
899	1850	205
900	1852	203
901	1854	201
902	1855	199
903	1857	197
904	1858	195
905	1860	193
906	1862	190
907	1863	188
908	1865	186
909	1866	184
910	1868	182
911	1870	180
912	1871	178
913	1873	176
914	1874	174
915	1876	172
916	1878	169
917	1879	167
918	1881	165
919	1883	163
920	1884	161
921	1886	159
922	1888	157
923	1889	155
924	1891	153
925	1892	151
926	1894	149
927	1896	147
928	1898	145
929	1899	142
930	1901	140
931	1903	138
932	1904	136
933	1906	134
934	1907	132
935	1909	130
936	1910	128
937	1912	126
938	1914	124
939	1915	122
940	1917	120
941	1919	118
942	1920	116
943	1922	114
944	1923	111
945	1925	109
946	1927	107
947	1928	105
948	1930	103
949	1932	101
950	1933	99
951	1935	97
952	1936	95
953	1938	93
954	1939	91
955	1941	89
956	1943	87
957	1944	85
958	1946	83
959	1948	81
960	1949	79
961	1951	77
962	1952	75
963	1954	72
964	1956	70
965	1957	68
966	1959	66
967	1960	64
968	1962	62
969	1963	60
970	1965	58
971	1966	56
972	1968	54
973	1970	52
974	1971	50
975	1973	48
976	1975	46
977	1976	44
978	1978	42
979	1979	40
980	1981	38
981	1983	36
982	1984	34
983	1986	32
984	1987	30
985	1989	28
986	1991	26
987	1992	24
988	1994	22
989	1995	20
990	1997	18
991	1999	16
992	2000	14
993	2002	12
994	2004	10
995	2006	8
996	2007	6
997	2009	4
998	2010	2
999	2012	0