Details

simplify3.4m

Counts

1 → 1

Iterations

Useful iterations: 2 (8.0ms)

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