Details

sample53.0ms

Algorithm

intervals

Results

22.0ms

353×

body

valid

simplify87.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	165
1	17	165
2	35	165
3	51	165
4	71	165
5	75	165
done	75	165

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 9.1b

localize26.0ms

Local error

Found 2 expressions with local error:

0.3b	(- (* x y) (* z t))
8.5b	(/ (- (* x y) (* z t)) a)

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
9×	`times-frac`
4×	`add-cbrt-cube` `add-exp-log` `add-log-exp`
3×	`associate-/r` `associate-/l`
2×	`expm1-log1p-u` `pow1` `flip3--` `log1p-expm1-u` `flip--` `associate-/l/`
1×	`cbrt-undiv` `clear-num` `sub-neg` `frac-2neg` `fma-neg` `diff-log` `div-sub` `div-exp` `prod-diff` `div-inv`

Counts

2 → 48

Calls

2 calls:

13.0ms	(- (* x y) (* z t))
29.0ms	(/ (- (* x y) (* z t)) a)

series123.0ms

Counts

2 → 6

Calls

2 calls:

59.0ms	(- (* x y) (* z t))
64.0ms	(/ (- (* x y) (* z t)) a)

simplify3.4s

Counts

54 → 54

Iterations

Useful iterations: done (3.4s)

Iter	Nodes	Cost
0	88	13568
1	224	12744
2	695	12664
3	2559	12664
done	5001	12639

prune479.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 8.7b

localize30.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (/ (* x y) a) (/ (* z t) a))
6.5b	(/ (* z t) a)
7.1b	(/ (* x y) a)

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

51×	`times-frac`
49×	`prod-diff`
39×	`add-sqr-sqrt` `*-un-lft-identity`
37×	`add-cube-cbrt`
19×	`div-inv`
13×	`add-cbrt-cube` `add-exp-log`
7×	`fma-neg`
6×	`associate-/r*`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`expm1-log1p-u` `pow1` `log1p-expm1-u`
2×	`clear-num` `frac-2neg` `prod-exp` `cbrt-unprod` `associate-/l*`
1×	`sub-neg` `flip3--` `distribute-rgt-out--` `diff-log` `frac-sub` `flip--` `distribute-lft-out--` `sub-div` `difference-of-squares`

Counts

3 → 121

Calls

3 calls:

19.0ms	(- (/ (* x y) a) (/ (* z t) a))
8.0ms	(/ (* z t) a)
7.0ms	(/ (* x y) a)

series136.0ms

Counts

3 → 9

Calls

3 calls:

84.0ms	(- (/ (* x y) a) (/ (* z t) a))
29.0ms	(/ (* z t) a)
23.0ms	(/ (* x y) a)

simplify2.2s

Counts

130 → 130

Iterations

Useful iterations: done (2.2s)

Iter	Nodes	Cost
0	196	47216
1	508	43771
2	1626	37399
done	5002	36927

prune923.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize109.0ms

Local error

Found 4 expressions with local error:

4.9b	(* x (/ y a))
5.1b	(* (/ t (cbrt a)) (/ z (* (cbrt a) (cbrt a))))
5.1b	(* (/ t (cbrt a)) (/ z (* (cbrt a) (cbrt a))))
5.1b	(* (/ t (cbrt a)) (/ z (* (cbrt a) (cbrt a))))

rewrite174.0ms

Algorithm

rewrite-expression-head

Rules

110×	`add-sqr-sqrt`
94×	`times-frac`
72×	`add-exp-log`
69×	`associate-l`
57×	`*-un-lft-identity` `add-cube-cbrt`
51×	`add-cbrt-cube`
34×	`associate-r`
33×	`cbrt-prod`
26×	`prod-exp` `cbrt-unprod`
22×	`cbrt-undiv` `div-exp`
20×	`unswap-sqr`
12×	`pow1`
7×	`div-inv`
4×	`expm1-log1p-u` `pow-prod-down` `associate-r/` `-commutative` `log1p-expm1-u` `add-log-exp`
3×	`frac-times` `associate-*l/`

Counts

4 → 217

Calls

4 calls:

16.0ms	(* x (/ y a))
40.0ms	(* (/ t (cbrt a)) (/ z (* (cbrt a) (cbrt a))))
41.0ms	(* (/ t (cbrt a)) (/ z (* (cbrt a) (cbrt a))))
60.0ms	(* (/ t (cbrt a)) (/ z (* (cbrt a) (cbrt a))))

series287.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* x (/ y a))
79.0ms	(* (/ t (cbrt a)) (/ z (* (cbrt a) (cbrt a))))
92.0ms	(* (/ t (cbrt a)) (/ z (* (cbrt a) (cbrt a))))
90.0ms	(* (/ t (cbrt a)) (/ z (* (cbrt a) (cbrt a))))

simplify2.3s

Counts

229 → 229

Iterations

Useful iterations: done (2.2s)

Iter	Nodes	Cost
0	178	72941
1	495	69803
2	1742	58876
done	5001	55116

prune1.6s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (/ x (/ a y)) (/ (* z t) a))
4.7b	(/ x (/ a y))
6.5b	(/ (* z t) a)

rewrite181.0ms

Algorithm

rewrite-expression-head

Rules

741×	`times-frac`
424×	`add-sqr-sqrt`
417×	`*-un-lft-identity`
415×	`add-cube-cbrt`
308×	`prod-diff`
82×	`div-inv`
44×	`fma-neg`
16×	`associate-/r*`
13×	`add-cbrt-cube` `add-exp-log`
9×	`associate-/r/`
5×	`cbrt-undiv` `div-exp` `add-log-exp`
4×	`associate-/l*`
3×	`expm1-log1p-u` `pow1` `log1p-expm1-u` `difference-of-squares`
2×	`clear-num` `frac-2neg`
1×	`sub-neg` `flip3--` `diff-log` `prod-exp` `frac-sub` `cbrt-unprod` `flip--` `distribute-lft-out--`

Counts

3 → 466

Calls

3 calls:

88.0ms	(- (/ x (/ a y)) (/ (* z t) a))
14.0ms	(/ x (/ a y))
15.0ms	(/ (* z t) a)

series125.0ms

Counts

3 → 9

Calls

3 calls:

67.0ms	(- (/ x (/ a y)) (/ (* z t) a))
29.0ms	(/ x (/ a y))
29.0ms	(/ (* z t) a)

simplify3.5s

Counts

475 → 475

Iterations

Useful iterations: 2 (1.7s)

Iter	Nodes	Cost
0	563	280708
1	1321	252640
2	3351	217602
done	5000	217602

prune3.6s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0b

regimes1.8s

Accuracy

76.7% (1.8b remaining)

Error of 1.8b against oracle of 0.0b and baseline of 7.8b

bsearch3.0ms

simplify2.2m

Iterations

Useful iterations: 1 (13.0ms)

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

end0.0ms

sample758.0ms

Algorithm

intervals

Results

381.0ms

11069×

body

valid