Details

simplify3.2m

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	204
1	21	204
2	37	204
3	55	204
4	84	204
5	103	204
6	106	204
7	108	204
8	110	204
9	112	204
10	114	204
11	116	204
12	118	204
13	120	204
14	122	204
15	124	204
16	126	204
17	128	204
18	130	204
19	132	204
20	134	204
21	136	204
22	138	204
23	140	204
24	142	204
25	144	204
26	146	204
27	148	204
28	150	204
29	152	204
30	154	204
31	156	204
32	158	204
33	160	204
34	162	204
35	164	204
36	166	204
37	168	204
38	170	204
39	172	204
40	174	204
41	176	204
42	178	204
43	180	204
44	182	204
45	184	204
46	186	204
47	188	204
48	190	204
49	192	204
50	194	204
51	196	204
52	198	204
53	200	204
54	202	204
55	204	204
56	206	204
57	208	204
58	210	204
59	212	204
60	214	204
61	216	204
62	218	204
63	220	204
64	222	204
65	224	204
66	226	204
67	228	204
68	230	204
69	232	204
70	234	204
71	236	204
72	238	204
73	240	204
74	242	204
75	244	204
76	246	204
77	248	204
78	250	204
79	252	204
80	254	204
81	256	204
82	258	204
83	260	204
84	262	204
85	264	204
86	266	204
87	268	204
88	270	204
89	272	204
90	274	204
91	276	204
92	278	204
93	280	204
94	282	204
95	284	204
96	286	204
97	288	204
98	290	204
99	292	204
100	294	204
101	296	204
102	298	204
103	300	204
104	302	204
105	304	204
106	306	204
107	308	204
108	310	204
109	312	204
110	314	204
111	316	204
112	318	204
113	320	204
114	322	204
115	324	204
116	326	204
117	328	204
118	330	204
119	332	204
120	334	204
121	336	204
122	338	204
123	340	204
124	342	204
125	344	204
126	346	204
127	348	204
128	350	204
129	352	204
130	354	204
131	356	204
132	358	204
133	360	204
134	362	204
135	364	204
136	366	204
137	368	204
138	370	204
139	372	204
140	374	204
141	376	204
142	378	204
143	380	204
144	382	204
145	384	204
146	386	204
147	388	204
148	390	204
149	392	204
150	394	204
151	396	204
152	398	204
153	400	204
154	402	204
155	404	204
156	406	204
157	408	204
158	410	204
159	412	204
160	414	204
161	416	204
162	418	204
163	420	204
164	422	204
165	424	204
166	426	204
167	428	204
168	430	204
169	432	204
170	434	204
171	436	204
172	438	204
173	440	204
174	442	204
175	444	204
176	446	204
177	448	204
178	450	204
179	452	204
180	454	204
181	456	204
182	458	204
183	460	204
184	462	204
185	464	204
186	466	204
187	468	204
188	470	204
189	472	204
190	474	204
191	476	204
192	478	204
193	480	204
194	482	204
195	484	204
196	486	204
197	488	204
198	490	204
199	492	204
200	494	204
201	496	204
202	498	204
203	500	204
204	502	204
205	504	204
206	506	204
207	508	204
208	510	204
209	512	204
210	514	204
211	516	204
212	518	204
213	520	204
214	522	204
215	524	204
216	526	204
217	528	204
218	530	204
219	532	204
220	534	204
221	536	204
222	538	204
223	540	204
224	542	204
225	544	204
226	546	204
227	548	204
228	550	204
229	552	204
230	554	204
231	556	204
232	558	204
233	560	204
234	562	204
235	564	204
236	566	204
237	568	204
238	570	204
239	572	204
240	574	204
241	576	204
242	578	204
243	580	204
244	582	204
245	584	204
246	586	204
247	588	204
248	590	204
249	592	204
250	594	204
251	596	204
252	598	204
253	600	204
254	602	204
255	604	204
256	606	204
257	608	204
258	610	204
259	612	204
260	614	204
261	616	204
262	618	204
263	620	204
264	622	204
265	624	204
266	626	204
267	628	204
268	630	204
269	632	204
270	634	204
271	636	204
272	638	204
273	640	204
274	642	204
275	644	204
276	646	204
277	648	204
278	650	204
279	652	204
280	654	204
281	656	204
282	658	204
283	660	204
284	662	204
285	664	204
286	666	204
287	668	204
288	670	204
289	672	204
290	674	204
291	676	204
292	678	204
293	680	204
294	682	204
295	684	204
296	686	204
297	688	204
298	690	204
299	692	204
300	694	204
301	696	204
302	698	204
303	700	204
304	702	204
305	704	204
306	706	204
307	708	204
308	710	204
309	712	204
310	714	204
311	716	204
312	718	204
313	720	204
314	722	204
315	724	204
316	726	204
317	728	204
318	730	204
319	732	204
320	734	204
321	736	204
322	738	204
323	740	204
324	742	204
325	744	204
326	746	204
327	748	204
328	750	204
329	752	204
330	754	204
331	756	204
332	758	204
333	760	204
334	762	204
335	764	204
336	766	204
337	768	204
338	770	204
339	772	204
340	774	204
341	776	204
342	778	204
343	780	204
344	782	204
345	784	204
346	786	204
347	788	204
348	790	204
349	792	204
350	794	204
351	796	204
352	798	204
353	800	204
354	802	204
355	804	204
356	806	204
357	808	204
358	810	204
359	812	204
360	814	204
361	816	204
362	818	204
363	820	204
364	822	204
365	824	204
366	826	204
367	828	204
368	830	204
369	832	204
370	834	204
371	836	204
372	838	204
373	840	204
374	842	204
375	844	204
376	846	204
377	848	204
378	850	204
379	852	204
380	854	204
381	856	204
382	858	204
383	860	204
384	862	204
385	864	204
386	866	204
387	868	204
388	870	204
389	872	204
390	874	204
391	876	204
392	878	204
393	880	204
394	882	204
395	884	204
396	886	204
397	888	204
398	890	204
399	892	204
400	894	204
401	896	204
402	898	204
403	900	204
404	902	204
405	904	204
406	906	204
407	908	204
408	910	204
409	912	204
410	914	204
411	916	204
412	918	204
413	920	204
414	922	204
415	924	204
416	926	204
417	928	204
418	930	204
419	932	204
420	934	204
421	936	204
422	938	204
423	940	204
424	942	204
425	944	204
426	946	204
427	948	204
428	950	204
429	952	204
430	954	204
431	956	204
432	958	204
433	960	204
434	962	204
435	964	204
436	966	204
437	968	204
438	970	204
439	972	204
440	974	204
441	976	204
442	978	204
443	980	204
444	982	204
445	984	204
446	986	204
447	988	204
448	990	204
449	992	204
450	994	204
451	996	204
452	998	204
453	1000	204
454	1002	204
455	1004	204
456	1006	204
457	1008	204
458	1010	204
459	1012	204
460	1014	204
461	1016	204
462	1018	204
463	1020	204
464	1022	204
465	1024	204
466	1026	204
467	1028	204
468	1030	204
469	1032	204
470	1034	204
471	1036	204
472	1038	204
473	1040	204
474	1042	204
475	1044	204
476	1046	204
477	1048	204
478	1050	204
479	1052	204
480	1054	204
481	1056	204
482	1058	204
483	1060	204
484	1062	204
485	1064	204
486	1066	204
487	1068	204
488	1070	204
489	1072	204
490	1074	204
491	1076	204
492	1078	204
493	1080	204
494	1082	204
495	1084	204
496	1086	204
497	1088	204
498	1090	204
499	1092	204
500	1094	204
501	1096	204
502	1098	204
503	1100	204
504	1102	204
505	1104	204
506	1106	204
507	1108	204
508	1110	204
509	1112	204
510	1114	204
511	1116	204
512	1118	204
513	1120	204
514	1122	204
515	1124	204
516	1126	204
517	1128	204
518	1130	204
519	1132	204
520	1134	204
521	1136	204
522	1138	204
523	1140	204
524	1142	204
525	1144	204
526	1146	204
527	1148	204
528	1150	204
529	1152	204
530	1154	204
531	1156	204
532	1158	204
533	1160	204
534	1162	204
535	1164	204
536	1166	204
537	1168	204
538	1170	204
539	1172	204
540	1174	204
541	1176	204
542	1178	204
543	1180	204
544	1182	204
545	1184	204
546	1186	204
547	1188	204
548	1190	204
549	1192	204
550	1194	204
551	1196	204
552	1198	204
553	1200	204
554	1202	204
555	1204	204
556	1206	204
557	1208	204
558	1210	204
559	1212	204
560	1214	204
561	1216	204
562	1218	204
563	1220	204
564	1222	204
565	1224	204
566	1226	204
567	1228	204
568	1230	204
569	1232	204
570	1234	204
571	1236	204
572	1238	204
573	1240	204
574	1242	204
575	1244	204
576	1246	204
577	1248	204
578	1250	204
579	1252	204
580	1254	204
581	1256	204
582	1258	204
583	1260	204
584	1262	204
585	1264	204
586	1266	204
587	1268	204
588	1270	204
589	1272	204
590	1274	204
591	1276	204
592	1278	204
593	1280	204
594	1282	204
595	1284	204
596	1286	204
597	1288	204
598	1290	204
599	1292	204
600	1294	204
601	1296	204
602	1298	204
603	1300	204
604	1302	204
605	1304	204
606	1306	204
607	1308	204
608	1310	204
609	1312	204
610	1314	204
611	1316	204
612	1318	204
613	1320	204
614	1322	204
615	1324	204
616	1326	204
617	1328	204
618	1330	204
619	1332	204
620	1334	204
621	1336	204
622	1338	204
623	1340	204
624	1342	204
625	1344	204
626	1346	204
627	1348	204
628	1350	204
629	1352	204
630	1354	204
631	1356	204
632	1358	204
633	1360	204
634	1362	204
635	1364	204
636	1366	204
637	1368	204
638	1370	204
639	1372	204
640	1374	204
641	1376	204
642	1378	204
643	1380	204
644	1382	204
645	1384	204
646	1386	204
647	1388	204
648	1390	204
649	1392	204
650	1394	204
651	1396	204
652	1398	204
653	1400	204
654	1402	204
655	1404	204
656	1406	204
657	1408	204
658	1410	204
659	1412	204
660	1414	204
661	1416	204
662	1418	204
663	1420	204
664	1422	204
665	1424	204
666	1426	204
667	1428	204
668	1430	204
669	1432	204
670	1434	204
671	1436	204
672	1438	204
673	1440	204
674	1442	204
675	1444	204
676	1446	204
677	1448	204
678	1450	204
679	1452	204
680	1454	204
681	1456	204
682	1458	204
683	1460	204
684	1462	204
685	1464	204
686	1466	204
687	1468	204
688	1470	204
689	1472	204
690	1474	204
691	1476	204
692	1478	204
693	1480	204
694	1482	204
695	1484	204
696	1486	204
697	1488	204
698	1490	204
699	1492	204
700	1494	204
701	1496	204
702	1498	204
703	1500	204
704	1502	204
705	1504	204
706	1506	204
707	1508	204
708	1510	204
709	1512	204
710	1514	204
711	1516	204
712	1518	204
713	1520	204
714	1522	204
715	1524	204
716	1526	204
717	1528	204
718	1530	204
719	1532	204
720	1534	204
721	1536	204
722	1538	204
723	1540	204
724	1542	204
725	1544	204
726	1546	204
727	1548	204
728	1550	204
729	1552	204
730	1554	204
731	1556	204
732	1558	204
733	1560	204
734	1562	204
735	1564	204
736	1566	204
737	1568	204
738	1570	204
739	1572	204
740	1574	204
741	1576	204
742	1578	204
743	1580	204
744	1582	204
745	1584	204
746	1586	204
747	1588	204
748	1590	204
749	1592	204
750	1594	204
751	1596	204
752	1598	204
753	1600	204
754	1602	204
755	1604	204
756	1606	204
757	1608	204
758	1610	204
759	1612	204
760	1614	204
761	1616	204
762	1618	204
763	1620	204
764	1622	204
765	1624	204
766	1626	204
767	1628	204
768	1630	204
769	1632	204
770	1634	204
771	1636	204
772	1638	204
773	1640	204
774	1642	204
775	1644	204
776	1646	204
777	1648	204
778	1650	204
779	1652	204
780	1654	204
781	1656	204
782	1658	204
783	1660	204
784	1662	204
785	1664	204
786	1666	204
787	1668	204
788	1670	204
789	1672	204
790	1674	204
791	1676	204
792	1678	204
793	1680	204
794	1682	204
795	1684	204
796	1686	204
797	1688	204
798	1690	204
799	1692	204
800	1694	204
801	1696	204
802	1698	204
803	1700	204
804	1702	204
805	1704	204
806	1706	204
807	1708	204
808	1710	204
809	1712	204
810	1714	204
811	1716	204
812	1718	204
813	1720	204
814	1722	204
815	1724	204
816	1726	204
817	1728	204
818	1730	204
819	1732	204
820	1734	204
821	1736	204
822	1738	204
823	1740	204
824	1742	204
825	1744	204
826	1746	204
827	1748	204
828	1750	204
829	1752	204
830	1754	204
831	1756	204
832	1758	204
833	1760	204
834	1762	204
835	1764	204
836	1766	204
837	1768	204
838	1770	204
839	1772	204
840	1774	204
841	1776	204
842	1778	204
843	1780	204
844	1782	204
845	1784	204
846	1786	204
847	1788	204
848	1790	204
849	1792	204
850	1794	204
851	1796	204
852	1798	204
853	1800	204
854	1802	204
855	1804	204
856	1806	204
857	1808	204
858	1810	204
859	1812	204
860	1814	204
861	1816	204
862	1818	204
863	1820	204
864	1822	204
865	1824	204
866	1826	204
867	1828	204
868	1830	204
869	1832	204
870	1834	204
871	1836	204
872	1838	204
873	1840	204
874	1842	204
875	1844	204
876	1846	204
877	1848	204
878	1850	204
879	1852	204
880	1854	204
881	1856	204
882	1858	204
883	1860	204
884	1862	204
885	1864	204
886	1866	204
887	1868	204
888	1870	204
889	1872	204
890	1874	204
891	1876	204
892	1878	204
893	1880	204
894	1882	204
895	1884	204
896	1886	204
897	1888	204
898	1890	204
899	1892	204
900	1894	204
901	1896	204
902	1898	204
903	1900	204
904	1902	204
905	1904	204
906	1906	204
907	1908	204
908	1910	204
909	1912	204
910	1914	204
911	1916	204
912	1918	204
913	1920	204
914	1922	204
915	1924	204
916	1926	204
917	1928	204
918	1930	204
919	1932	204
920	1934	204
921	1936	204
922	1938	204
923	1940	204
924	1942	204
925	1944	204
926	1946	204
927	1948	204
928	1950	204
929	1952	204
930	1954	204
931	1956	204
932	1958	204
933	1960	204
934	1962	204
935	1964	204
936	1966	204
937	1968	204
938	1970	204
939	1972	204
940	1974	204
941	1976	204
942	1978	204
943	1980	204
944	1982	204
945	1984	204
946	1986	204
947	1988	204
948	1990	204
949	1992	204
950	1994	204
951	1996	204
952	1998	204
953	2000	204
954	2002	204
955	2004	204
956	2006	204
957	2008	204
958	2010	204
959	2012	204
960	2014	204
961	2016	204
962	2018	204
963	2020	204
964	2022	204
965	2024	204
966	2026	204
967	2028	204
968	2030	204
969	2032	204
970	2034	204
971	2036	204
972	2038	204
973	2040	204
974	2042	204
975	2044	204
976	2046	204
977	2048	204
978	2050	204
979	2052	204
980	2054	204
981	2056	204
982	2058	204
983	2060	204
984	2062	204
985	2064	204
986	2066	204
987	2068	204
988	2070	204
989	2072	204
990	2074	204
991	2076	204
992	2078	204
993	2080	204
994	2082	204
995	2084	204
996	2086	204
997	2088	204
998	2090	204
999	2092	204
1000	2094	204
1001	2096	204
1002	2098	204
1003	2100	204
1004	2102	204
1005	2104	204
1006	2106	204
1007	2108	204
1008	2110	204
1009	2112	204
1010	2114	204
1011	2116	204
1012	2118	204
1013	2120	204
1014	2122	204
1015	2124	204
1016	2126	204
1017	2128	204
1018	2130	204
1019	2132	204
1020	2134	204
1021	2136	204
1022	2138	204
1023	2140	204
1024	2142	204
1025	2144	204
1026	2146	204
1027	2148	204
1028	2150	204
1029	2152	204
1030	2154	204
1031	2156	204
1032	2158	204
1033	2160	204
1034	2162	204
1035	2164	204
1036	2166	204
1037	2168	204
1038	2170	204
1039	2172	204
1040	2174	204
1041	2176	204
1042	2178	204
1043	2180	204
1044	2182	204
1045	2184	204
1046	2186	204
1047	2188	204
1048	2190	204
1049	2192	204
1050	2194	204
1051	2196	204
1052	2198	204
1053	2200	204
1054	2202	204
1055	2204	204
1056	2206	204
1057	2208	204
1058	2210	204
1059	2212	204
1060	2214	204
1061	2216	204
1062	2218	204
1063	2220	204
1064	2222	204
1065	2224	204
1066	2226	204
1067	2228	204
1068	2230	204
1069	2232	204
1070	2234	204
1071	2236	204
1072	2238	204
1073	2240	204
1074	2242	204
1075	2244	204
1076	2246	204
1077	2248	204
1078	2250	204
1079	2252	204
1080	2254	204
1081	2256	204
1082	2258	204
1083	2260	204
1084	2262	204
1085	2264	204
1086	2266	204
1087	2268	204
1088	2270	204
1089	2272	204
1090	2274	204
1091	2276	204
1092	2278	204
1093	2280	204
1094	2282	204
1095	2284	204
1096	2286	204
1097	2288	204
1098	2290	204
1099	2292	204
1100	2294	204
1101	2296	204
1102	2298	204
1103	2300	204
1104	2302	204
1105	2304	204
1106	2306	204
1107	2308	204
1108	2310	204
1109	2312	204
1110	2314	204
1111	2316	204
1112	2318	204
1113	2320	204
1114	2322	204
1115	2324	204
1116	2326	204
1117	2328	204
1118	2330	204
1119	2332	204
1120	2334	204
1121	2336	204
1122	2338	204
1123	2340	204
1124	2342	204
1125	2344	204
1126	2346	204
1127	2348	204
1128	2350	204
1129	2352	204
1130	2354	204
1131	2356	204
1132	2358	204
1133	2360	204
1134	2362	204
1135	2364	204
1136	2366	204
1137	2368	204
1138	2370	204
1139	2372	204
1140	2374	204
1141	2376	204
1142	2378	204
1143	2380	204
1144	2382	204
1145	2384	204
1146	2386	204
1147	2388	204
1148	2390	204
1149	2392	204
1150	2394	204
1151	2396	204
1152	2398	204
1153	2400	204
1154	2402	204
1155	2404	204
1156	2406	204
1157	2408	204
1158	2410	204
1159	2412	204
1160	2414	204
1161	2416	204
1162	2418	204
1163	2420	204
1164	2422	204
1165	2424	204
1166	2426	204
1167	2428	204
1168	2430	204
1169	2432	204
1170	2434	204
1171	2436	204
1172	2438	204
1173	2440	204
1174	2442	204
1175	2444	204
1176	2446	204
1177	2448	204
1178	2450	204
1179	2452	204
1180	2454	204
1181	2456	204
1182	2458	204
1183	2460	204
1184	2462	204
1185	2464	204
1186	2466	204
1187	2468	204
1188	2470	204
1189	2472	204
1190	2474	204
1191	2476	204
1192	2478	204
1193	2480	204
1194	2482	204
1195	2484	204
1196	2486	204
1197	2488	204
1198	2490	204
1199	2492	204
1200	2494	204
1201	2496	204
1202	2498	204
1203	2500	204
1204	2502	204
1205	2504	204
1206	2506	204
1207	2508	204
1208	2510	204
1209	2512	204
1210	2514	204
1211	2516	204
1212	2518	204
1213	2520	204
1214	2522	204
1215	2524	204
1216	2526	204
1217	2528	204
1218	2530	204
1219	2532	204
1220	2534	204
1221	2536	204
1222	2538	204
1223	2540	204
1224	2542	204
1225	2544	204
1226	2546	204
1227	2548	204
1228	2550	204
1229	2552	204
1230	2554	204
1231	2556	204
1232	2558	204
1233	2560	204
1234	2562	204
1235	2564	204
1236	2566	204
1237	2568	204
1238	2570	204
1239	2572	204
1240	2574	204
1241	2576	204
1242	2578	204
1243	2580	204
1244	2582	204
1245	2584	204
1246	2586	204
1247	2588	204
1248	2590	204
1249	2592	204
1250	2594	204
1251	2596	204
1252	2598	204
1253	2600	204
1254	2602	204
1255	2604	204
1256	2606	204
1257	2608	204
1258	2610	204
1259	2612	204
1260	2614	204
1261	2616	204
1262	2618	204
1263	2620	204
1264	2622	204
1265	2624	204
1266	2626	204
1267	2628	204
1268	2630	204
1269	2632	204
1270	2634	204
1271	2636	204
1272	2638	204
1273	2640	204
1274	2642	204
1275	2644	204
1276	2646	204
1277	2648	204
1278	2650	204
1279	2652	204
1280	2654	204
1281	2656	204
1282	2658	204
1283	2660	204
1284	2662	204
1285	2664	204
1286	2666	204
1287	2668	204
1288	2670	204
1289	2672	204
1290	2674	204
1291	2676	204
1292	2678	204
1293	2680	204
1294	2682	204
1295	2684	204
1296	2686	204
1297	2688	204
1298	2690	204
1299	2692	204
1300	2694	204
1301	2696	204
1302	2698	204
1303	2700	204
1304	2702	204
1305	2704	204
1306	2706	204
1307	2708	204
1308	2710	204
1309	2712	204
1310	2714	204
1311	2716	204
1312	2718	204
1313	2720	204
1314	2722	204
1315	2724	204
1316	2726	204
1317	2728	204
1318	2730	204
1319	2732	204
1320	2734	204
1321	2736	204
1322	2738	204
1323	2740	204
1324	2742	204
1325	2744	204
1326	2746	204
1327	2748	204
1328	2750	204
1329	2752	204
1330	2754	204
1331	2756	204
1332	2758	204
1333	2760	204
1334	2762	204
1335	2764	204
1336	2766	204
1337	2768	204
1338	2770	204
1339	2772	204
1340	2774	204
1341	2776	204
1342	2778	204
1343	2780	204
1344	2782	204
1345	2784	204
1346	2786	204
1347	2788	204
1348	2790	204
1349	2792	204
1350	2794	204
1351	2796	204
1352	2798	204
1353	2800	204
1354	2802	204
1355	2804	204
1356	2806	204
1357	2808	204
1358	2810	204
1359	2812	204
1360	2814	204
1361	2816	204
1362	2818	204
1363	2820	204
1364	2822	204
1365	2824	204
1366	2826	204
1367	2828	204
1368	2830	204
1369	2832	204
1370	2834	204
1371	2836	204
1372	2838	204
1373	2840	204
1374	2842	204
1375	2844	204
1376	2846	204
1377	2848	204
1378	2850	204
1379	2852	204
1380	2854	204
1381	2856	204
1382	2858	204
1383	2860	204
1384	2862	204
1385	2864	204
1386	2866	204
1387	2868	204
1388	2870	204
1389	2872	204
1390	2874	204
1391	2876	204
1392	2878	204
1393	2880	204
1394	2882	204
1395	2884	204
1396	2886	204
1397	2888	204
1398	2890	204
1399	2892	204
1400	2894	204
1401	2896	204
1402	2898	204
1403	2900	204
1404	2902	204
1405	2904	204
1406	2906	204
1407	2908	204
1408	2910	204
1409	2912	204
1410	2914	204
1411	2916	204
1412	2918	204
1413	2920	204
1414	2922	204
1415	2924	204
1416	2926	204
1417	2928	204
1418	2930	204
1419	2932	204
1420	2934	204
1421	2936	204
1422	2938	204
1423	2940	204
1424	2942	204
1425	2944	204
1426	2946	204
1427	2948	204
1428	2950	204
1429	2952	204
1430	2954	204
1431	2956	204
1432	2958	204
1433	2960	204
1434	2962	204
1435	2964	204
1436	2966	204
1437	2968	204
1438	2970	204
1439	2972	204
1440	2974	204
1441	2976	204
1442	2978	204
1443	2980	204
1444	2982	204
1445	2984	204
1446	2986	204
1447	2988	204
1448	2990	204
1449	2992	204
1450	2994	204
1451	2996	204
1452	2998	204
1453	3000	204
1454	3002	204
1455	3004	204
1456	3006	204
1457	3008	204
1458	3010	204
1459	3012	204
1460	3014	204
1461	3016	204
1462	3018	204
1463	3020	204
1464	3022	204
1465	3024	204
1466	3026	204
1467	3028	204
1468	3030	204
1469	3032	204
1470	3034	204
1471	3036	204
1472	3038	204
1473	3040	204
1474	3042	204
1475	3044	204
1476	3046	204
1477	3048	204
1478	3050	204
1479	3052	204
1480	3054	204
1481	3056	204
1482	3058	204
1483	3060	204
1484	3062	204
1485	3064	204
1486	3066	204
1487	3068	204
1488	3070	204
1489	3072	204
1490	3074	204
1491	3076	204
1492	3078	204
1493	3080	204
1494	3082	204
1495	3084	204
1496	3086	204
1497	3088	204
1498	3090	204
1499	3092	204
1500	3094	204
1501	3096	204
1502	3098	204
1503	3100	204
1504	3102	204
1505	3104	204
1506	3106	204
1507	3108	204
1508	3110	204
1509	3112	204
1510	3114	204
1511	3116	204
1512	3118	204
1513	3120	204
1514	3122	204
1515	3124	204
1516	3126	204
1517	3128	204
1518	3130	204
1519	3132	204
1520	3134	204
1521	3136	204
1522	3138	204
1523	3140	204
1524	3142	204
1525	3144	204
1526	3146	204
1527	3148	204
1528	3150	204
1529	3152	204
1530	3154	204
1531	3156	204
1532	3158	204
1533	3160	204
1534	3162	204
1535	3164	204
1536	3166	204
1537	3168	204
1538	3170	204
1539	3172	204
1540	3174	204
1541	3176	204
1542	3178	204
1543	3180	204
1544	3182	204
1545	3184	204
1546	3186	204
1547	3188	204
1548	3190	204
1549	3192	204
1550	3194	204
1551	3196	204
1552	3198	204
1553	3200	204
1554	3202	204
1555	3204	204
1556	3206	204
1557	3208	204
1558	3210	204
1559	3212	204
1560	3214	204
1561	3216	204
1562	3218	204
1563	3220	204
1564	3222	204
1565	3224	204
1566	3226	204
1567	3228	204
1568	3230	204
1569	3232	204
1570	3234	204
1571	3236	204
1572	3238	204
1573	3240	204
1574	3242	204
1575	3244	204
1576	3246	204
1577	3248	204
1578	3250	204
1579	3252	204
1580	3254	204
1581	3256	204
1582	3258	204
1583	3260	204
1584	3262	204
1585	3264	204
1586	3266	204
1587	3268	204
1588	3270	204
1589	3272	204
1590	3274	204
1591	3276	204
1592	3278	204
1593	3280	204
1594	3282	204
1595	3284	204
1596	3286	204
1597	3288	204
1598	3290	204
1599	3292	204
1600	3294	204
1601	3296	204
1602	3298	204
1603	3300	204
1604	3302	204
1605	3304	204
1606	3306	204
1607	3308	204
1608	3310	204
1609	3312	204
1610	3314	204
1611	3316	204
1612	3318	204
1613	3320	204
1614	3322	204
1615	3324	204
1616	3326	204
1617	3328	204
1618	3330	204
1619	3332	204
1620	3334	204
1621	3336	204
1622	3338	204
1623	3340	204
1624	3342	204
1625	3344	204
1626	3346	204
1627	3348	204
1628	3350	204
1629	3352	204
1630	3354	204
1631	3356	204
1632	3358	204
1633	3360	204
1634	3362	204
1635	3364	204
1636	3366	204
1637	3368	204
1638	3370	204
1639	3372	204
1640	3374	204
1641	3376	204
1642	3378	204
1643	3380	204
1644	3382	204
1645	3384	204
1646	3386	204
1647	3388	204
1648	3390	204
1649	3392	204
1650	3394	204
1651	3396	204
1652	3398	204
1653	3400	204
1654	3402	204
1655	3404	204
1656	3406	204
1657	3408	204
1658	3410	204
1659	3412	204
1660	3414	204
1661	3416	204
1662	3418	204
1663	3420	204
1664	3422	204
1665	3424	204
1666	3426	204
1667	3428	204
1668	3430	204
1669	3432	204
1670	3434	204
1671	3436	204
1672	3438	204
1673	3440	204
1674	3442	204
1675	3444	204
1676	3446	204
1677	3448	204
1678	3450	204
1679	3452	204
1680	3454	204
1681	3456	204
1682	3458	204
1683	3460	204
1684	3462	204
1685	3464	204
1686	3466	204
1687	3468	204
1688	3470	204
1689	3472	204
1690	3474	204
1691	3476	204
1692	3478	204
1693	3480	204
1694	3482	204
1695	3484	204
1696	3486	204
1697	3488	204
1698	3490	204
1699	3492	204
1700	3494	204
1701	3496	204
1702	3498	204
1703	3500	204
1704	3502	204
1705	3504	204
1706	3506	204
1707	3508	204
1708	3510	204
1709	3512	204
1710	3514	204
1711	3516	204
1712	3518	204
1713	3520	204
1714	3522	204
1715	3524	204
1716	3526	204
1717	3528	204
1718	3530	204
1719	3532	204
1720	3534	204
1721	3536	204
1722	3538	204
1723	3540	204
1724	3542	204
1725	3544	204
1726	3546	204
1727	3548	204
1728	3550	204
1729	3552	204
1730	3554	204
1731	3556	204
1732	3558	204
1733	3560	204
1734	3562	204
1735	3564	204
1736	3566	204
1737	3568	204
1738	3570	204
1739	3572	204
1740	3574	204
1741	3576	204
1742	3578	204
1743	3580	204
1744	3582	204
1745	3584	204
1746	3586	204
1747	3588	204
1748	3590	204
1749	3592	204
1750	3594	204
1751	3596	204
1752	3598	204
1753	3600	204
1754	3602	204
1755	3604	204
1756	3606	204
1757	3608	204
1758	3610	204
1759	3612	204
1760	3614	204
1761	3616	204
1762	3618	204
1763	3620	204
1764	3622	204
1765	3624	204
1766	3626	204
1767	3628	204
1768	3630	204
1769	3632	204
1770	3634	204
1771	3636	204
1772	3638	204
1773	3640	204
1774	3642	204
1775	3644	204
1776	3646	204
1777	3648	204
1778	3650	204
1779	3652	204
1780	3654	204
1781	3656	204
1782	3658	204
1783	3660	204
1784	3662	204
1785	3664	204
1786	3666	204
1787	3668	204
1788	3670	204
1789	3672	204
1790	3674	204
1791	3676	204
1792	3678	204
1793	3680	204
1794	3682	204
1795	3684	204
1796	3686	204
1797	3688	204
1798	3690	204
1799	3692	204
1800	3694	204
1801	3696	204
1802	3698	204
1803	3700	204
1804	3702	204
1805	3704	204
1806	3706	204
1807	3708	204
1808	3710	204
1809	3712	204
1810	3714	204
1811	3716	204
1812	3718	204
1813	3720	204
1814	3722	204
1815	3724	204
1816	3726	204
1817	3728	204
1818	3730	204
1819	3732	204
1820	3734	204
1821	3736	204
1822	3738	204
1823	3740	204
1824	3742	204
1825	3744	204
1826	3746	204
1827	3748	204
1828	3750	204
1829	3752	204
1830	3754	204
1831	3756	204
1832	3758	204
1833	3760	204
1834	3762	204
1835	3764	204
1836	3766	204
1837	3768	204
1838	3770	204
1839	3772	204
1840	3774	204
1841	3776	204
1842	3778	204
1843	3780	204
1844	3782	204
1845	3784	204
1846	3786	204
1847	3788	204
1848	3790	204
1849	3792	204
1850	3794	204
1851	3796	204
1852	3798	204
1853	3800	204
1854	3802	204
1855	3804	204
1856	3806	204
1857	3808	204
1858	3810	204
1859	3812	204
1860	3814	204
1861	3816	204
1862	3818	204
1863	3820	204
1864	3822	204
1865	3824	204
1866	3826	204
1867	3828	204
1868	3830	204
1869	3832	204
1870	3834	204
1871	3836	204
1872	3838	204
1873	3840	204
1874	3842	204
1875	3844	204
1876	3846	204
1877	3848	204
1878	3850	204
1879	3852	204
1880	3854	204
1881	3856	204
1882	3858	204
1883	3860	204
1884	3862	204
1885	3864	204
1886	3866	204
1887	3868	204
1888	3870	204
1889	3872	204
1890	3874	204
1891	3876	204
1892	3878	204
1893	3880	204
1894	3882	204
1895	3884	204
1896	3886	204
1897	3888	204
1898	3890	204
1899	3892	204
1900	3894	204
1901	3896	204
1902	3898	204
1903	3900	204
1904	3902	204
1905	3904	204
1906	3906	204
1907	3908	204
1908	3910	204
1909	3912	204
1910	3914	204
1911	3916	204
1912	3918	204
1913	3920	204
1914	3922	204
1915	3924	204
1916	3926	204
1917	3928	204
1918	3930	204
1919	3932	204
1920	3934	204
1921	3936	204
1922	3938	204
1923	3940	204
1924	3942	204
1925	3944	204
1926	3946	204
1927	3948	204
1928	3950	204
1929	3952	204
1930	3954	204
1931	3956	204
1932	3958	204
1933	3960	204
1934	3962	204
1935	3964	204
1936	3966	204
1937	3968	204
1938	3970	204
1939	3972	204
1940	3974	204
1941	3976	204
1942	3978	204
1943	3980	204
1944	3982	204
1945	3984	204
1946	3986	204
1947	3988	204
1948	3990	204
1949	3992	204
1950	3994	204
1951	3996	204
1952	3998	204
1953	4000	204
1954	4002	204
1955	4004	204
1956	4006	204
1957	4008	204
1958	4010	204
1959	4012	204
1960	4014	204
1961	4016	204
1962	4018	204
1963	4020	204
1964	4022	204
1965	4024	204
1966	4026	204
1967	4028	204
1968	4030	204
1969	4032	204
1970	4034	204
1971	4036	204
1972	4038	204
1973	4040	204
1974	4042	204
1975	4044	204
1976	4046	204
1977	4048	204
1978	4050	204
1979	4052	204
1980	4054	204
1981	4056	204
1982	4058	204
1983	4060	204
1984	4062	204
1985	4064	204
1986	4066	204
1987	4068	204
1988	4070	204
1989	4072	204
1990	4074	204
1991	4076	204
1992	4078	204
1993	4080	204
1994	4082	204
1995	4084	204
1996	4086	204
1997	4088	204
1998	4090	204
1999	4092	204
2000	4094	204
2001	4096	204
2002	4098	204
2003	4100	204
2004	4102	204
2005	4104	204
2006	4106	204
2007	4108	204
2008	4110	204
2009	4112	204
2010	4114	204
2011	4116	204
2012	4118	204
2013	4120	204
2014	4122	204
2015	4124	204
2016	4126	204
2017	4128	204
2018	4130	204
2019	4132	204
2020	4134	204
2021	4136	204
2022	4138	204
2023	4140	204
2024	4142	204
2025	4144	204
2026	4146	204
2027	4148	204
2028	4150	204
2029	4152	204
2030	4154	204
2031	4156	204
2032	4158	204
2033	4160	204
2034	4162	204
2035	4164	204
2036	4166	204
2037	4168	204
2038	4170	204
2039	4172	204
2040	4174	204
2041	4176	204
2042	4178	204
2043	4180	204
2044	4182	204
2045	4184	204
2046	4186	204
2047	4188	204
2048	4190	204
2049	4192	204
2050	4194	204
2051	4196	204
2052	4198	204
2053	4200	204
2054	4202	204
2055	4204	204
2056	4206	204
2057	4208	204
2058	4210	204
2059	4212	204
2060	4214	204
2061	4216	204
2062	4218	204
2063	4220	204
2064	4222	204
2065	4224	204
2066	4226	204
2067	4228	204
2068	4230	204
2069	4232	204
2070	4234	204
2071	4236	204
2072	4238	204
2073	4240	204
2074	4242	204
2075	4244	204
2076	4246	204
2077	4248	204
2078	4250	204
2079	4252	204
2080	4254	204
2081	4256	204
2082	4258	204
2083	4260	204
2084	4262	204
2085	4264	204
2086	4266	204
2087	4268	204
2088	4270	204
2089	4272	204
2090	4274	204
2091	4276	204
2092	4278	204
2093	4280	204
2094	4282	204
2095	4284	204
2096	4286	204
2097	4288	204
2098	4290	204
2099	4292	204
2100	4294	204
2101	4296	204
2102	4298	204
2103	4300	204
2104	4302	204
2105	4304	204
2106	4306	204
2107	4308	204
2108	4310	204
2109	4312	204
2110	4314	204
2111	4316	204
2112	4318	204
2113	4320	204
2114	4322	204
2115	4324	204
2116	4326	204
2117	4328	204
2118	4330	204
2119	4332	204
2120	4334	204
2121	4336	204
2122	4338	204
2123	4340	204
2124	4342	204
2125	4344	204
2126	4346	204
2127	4348	204
2128	4350	204
2129	4352	204
2130	4354	204
2131	4356	204
2132	4358	204
2133	4360	204
2134	4362	204
2135	4364	204
2136	4366	204
2137	4368	204
2138	4370	204
2139	4372	204
2140	4374	204
2141	4376	204
2142	4378	204
2143	4380	204
2144	4382	204
2145	4384	204
2146	4386	204
2147	4388	204
2148	4390	204
2149	4392	204
2150	4394	204
2151	4396	204
2152	4398	204
2153	4400	204
2154	4402	204
2155	4404	204
2156	4406	204
2157	4408	204
2158	4410	204
2159	4412	204
2160	4414	204
2161	4416	204
2162	4418	204
2163	4420	204
2164	4422	204
2165	4424	204
2166	4426	204
2167	4428	204
2168	4430	204
2169	4432	204
2170	4434	204
2171	4436	204
2172	4438	204
2173	4440	204
2174	4442	204
2175	4444	204
2176	4446	204
2177	4448	204
2178	4450	204
2179	4452	204
2180	4454	204
2181	4456	204
2182	4458	204
2183	4460	204
2184	4462	204
2185	4464	204
2186	4466	204
2187	4468	204
2188	4470	204
2189	4472	204
2190	4474	204
2191	4476	204
2192	4478	204
2193	4480	204
2194	4482	204
2195	4484	204
2196	4486	204
2197	4488	204
2198	4490	204
2199	4492	204
2200	4494	204
2201	4496	204
2202	4498	204
2203	4500	204
2204	4502	204
2205	4504	204
2206	4506	204
2207	4508	204
2208	4510	204
2209	4512	204
2210	4514	204
2211	4516	204
2212	4518	204
2213	4520	204
2214	4522	204
2215	4524	204
2216	4526	204
2217	4528	204
2218	4530	204
2219	4532	204
2220	4534	204
2221	4536	204
2222	4538	204
2223	4540	204
2224	4542	204
2225	4544	204
2226	4546	204
2227	4548	204
2228	4550	204
2229	4552	204
2230	4554	204
2231	4556	204
2232	4558	204
2233	4560	204
2234	4562	204
2235	4564	204
2236	4566	204
2237	4568	204
2238	4570	204
2239	4572	204
2240	4574	204
2241	4576	204
2242	4578	204
2243	4580	204
2244	4582	204
2245	4584	204
2246	4586	204
2247	4588	204
2248	4590	204
2249	4592	204
2250	4594	204
2251	4596	204
2252	4598	204
2253	4600	204
2254	4602	204
2255	4604	204
2256	4606	204
2257	4608	204
2258	4610	204
2259	4612	204
2260	4614	204
2261	4616	204
2262	4618	204
2263	4620	204
2264	4622	204
2265	4624	204
2266	4626	204
2267	4628	204
2268	4630	204
2269	4632	204
2270	4634	204
2271	4636	204
2272	4638	204
2273	4640	204
2274	4642	204
2275	4644	204
2276	4646	204
2277	4648	204
2278	4650	204
2279	4652	204
2280	4654	204
2281	4656	204
2282	4658	204
2283	4660	204
2284	4662	204
2285	4664	204
2286	4666	204
2287	4668	204
2288	4670	204
2289	4672	204
2290	4674	204
2291	4676	204
2292	4678	204
2293	4680	204
2294	4682	204
2295	4684	204
2296	4686	204
2297	4688	204
2298	4690	204
2299	4692	204
2300	4694	204
2301	4696	204
2302	4698	204
2303	4700	204
2304	4702	204
2305	4704	204
2306	4706	204
2307	4708	204
2308	4710	204
2309	4712	204
2310	4714	204
2311	4716	204
2312	4718	204
2313	4720	204
2314	4722	204
2315	4724	204
2316	4726	204
2317	4728	204
2318	4730	204
2319	4732	204
2320	4734	204
2321	4736	204
2322	4738	204
2323	4740	204
2324	4742	204
2325	4744	204
2326	4746	204
2327	4748	204
2328	4750	204
2329	4752	204
2330	4754	204
2331	4756	204
2332	4758	204
2333	4760	204
2334	4762	204
2335	4764	204
2336	4766	204
2337	4768	204
2338	4770	204
2339	4772	204
2340	4774	204
2341	4776	204
2342	4778	204
2343	4780	204
2344	4782	204
2345	4784	204
2346	4786	204
2347	4788	204
2348	4790	204
2349	4792	204
2350	4794	204
2351	4796	204
2352	4798	204
2353	4800	204
2354	4802	204
2355	4804	204
2356	4806	204
2357	4808	204
2358	4810	204
2359	4812	204
2360	4814	204
2361	4816	204
2362	4818	204
2363	4820	204
2364	4822	204
2365	4824	204
2366	4826	204
2367	4828	204
2368	4830	204
2369	4832	204
2370	4834	204
2371	4836	204
2372	4838	204
2373	4840	204
2374	4842	204
2375	4844	204
2376	4846	204
2377	4848	204
2378	4850	204
2379	4852	204
2380	4854	204
2381	4856	204
2382	4858	204
2383	4860	204
2384	4862	204
2385	4864	204
2386	4866	204
2387	4868	204
2388	4870	204
2389	4872	204
2390	4874	204
2391	4876	204
2392	4878	204
2393	4880	204
2394	4882	204
2395	4884	204
2396	4886	204
2397	4888	204
2398	4890	204
2399	4892	204
2400	4894	204
2401	4896	204
2402	4898	204
2403	4900	204
2404	4902	204
2405	4904	204
2406	4906	204
2407	4908	204
2408	4910	204
2409	4912	204
2410	4914	204
2411	4916	204
2412	4918	204
2413	4920	204
2414	4922	204
2415	4924	204
2416	4926	204
2417	4928	204
2418	4930	204
2419	4932	204
2420	4934	204
2421	4936	204
2422	4938	204
2423	4940	204
2424	4942	204
2425	4944	204
2426	4946	204
2427	4948	204
2428	4950	204
2429	4952	204
2430	4954	204
2431	4956	204
2432	4958	204
2433	4960	204
2434	4962	204
2435	4964	204
2436	4966	204
2437	4968	204
2438	4970	204
2439	4972	204
2440	4974	204
2441	4976	204
2442	4978	204
2443	4980	204
2444	4982	204
2445	4984	204
2446	4986	204
2447	4988	204
2448	4990	204
2449	4992	204
2450	4994	204
2451	4996	204
2452	4998	204
done	5000	204