Details

sample111.0ms

Algorithm

intervals

Results

18.0ms

260×

body

valid

simplify2.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	8	12
1	25	12
2	67	12
3	144	12
4	276	12
5	431	12
6	514	12
7	557	12
8	601	12
9	692	12
10	1431	12
done	5000	12

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.9b

localize25.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (+ t1 u) (+ t1 u))
16.6b	(/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))

rewrite122.0ms

Algorithm

rewrite-expression-head

Rules

20×	`*-un-lft-identity`
16×	`add-exp-log` `add-cbrt-cube`
12×	`flip3-+` `flip-+`
9×	`pow1`
8×	`add-sqr-sqrt` `frac-times` `associate-/r/`
6×	`add-cube-cbrt` `swap-sqr` `distribute-lft-out`
5×	`prod-exp` `cbrt-unprod`
4×	`cbrt-undiv` `associate-r/` `div-exp` `associate-r` `associate-l` `associate-l/`
2×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
1×	`distribute-lft-neg-out` `pow2` `distribute-rgt-in` `frac-2neg` `distribute-lft-in` `times-frac` `pow-plus` `distribute-frac-neg` `pow-prod-down` `clear-num` `associate-/r` `pow-sqr` `-commutative` `pow-prod-up` `div-inv` `associate-/l*` `unswap-sqr`

Counts

2 → 74

Calls

2 calls:

63.0ms	(* (+ t1 u) (+ t1 u))
53.0ms	(/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))

series173.0ms

Counts

2 → 6

Calls

2 calls:

24.0ms	(* (+ t1 u) (+ t1 u))
148.0ms	(/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))

simplify3.2s

Counts

80 → 80

Iterations

Useful iterations: done (3.2s)

Iter	Nodes	Cost
0	117	1120
1	438	1029
2	3364	869
done	5000	858

prune433.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ v (+ t1 u))
0.0b	(/ (- t1) (+ t1 u))
1.7b	(* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))

rewrite222.0ms

Algorithm

rewrite-expression-head

Rules

125×	`*-un-lft-identity`
108×	`times-frac`
81×	`add-sqr-sqrt`
69×	`add-cube-cbrt`
46×	`associate-l`
28×	`distribute-lft-out`
27×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
19×	`add-exp-log` `add-cbrt-cube`
18×	`associate-r`
13×	`associate-/l*`
9×	`neg-mul-1`
8×	`associate-/r*` `associate-/r/`
6×	`cbrt-undiv` `div-exp`
5×	`pow1`
4×	`flip3-+` `prod-exp` `cbrt-unprod` `flip-+` `div-inv` `unswap-sqr`
3×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
2×	`frac-2neg` `distribute-frac-neg` `clear-num`
1×	`distribute-lft-neg-out` `neg-sub0` `frac-times` `div-sub` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

3 → 198

Calls

3 calls:

26.0ms	(/ v (+ t1 u))
29.0ms	(/ (- t1) (+ t1 u))
150.0ms	(* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))

series351.0ms

Counts

3 → 9

Calls

3 calls:

48.0ms	(/ v (+ t1 u))
80.0ms	(/ (- t1) (+ t1 u))
222.0ms	(* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))

simplify3.4s

Counts

207 → 207

Iterations

Useful iterations: 2 (797.0ms)

Iter	Nodes	Cost
0	219	2553
1	655	2446
2	3733	2290
done	5000	2290

prune1.2s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize25.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- t1) (+ t1 u))
1.0b	(/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
3.2b	(* (/ (- t1) (+ t1 u)) v)

rewrite193.0ms

Algorithm

rewrite-expression-head

Rules

101×	`*-un-lft-identity`
85×	`times-frac`
60×	`add-sqr-sqrt`
55×	`add-cube-cbrt`
46×	`associate-l`
27×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
23×	`distribute-lft-out`
19×	`add-exp-log` `add-cbrt-cube`
11×	`associate-/l*`
9×	`neg-mul-1`
8×	`associate-/r*`
6×	`cbrt-undiv` `div-exp` `associate-/r/`
5×	`pow1`
4×	`distribute-frac-neg` `prod-exp` `cbrt-unprod`
3×	`expm1-log1p-u` `flip3-+` `associate-r` `flip-+` `log1p-expm1-u` `div-inv` `add-log-exp`
2×	`distribute-lft-neg-out` `frac-2neg` `associate-*l/` `clear-num` `unswap-sqr`
1×	`neg-sub0` `div-sub` `pow-prod-down` `*-commutative` `associate-/l/`

Counts

3 → 171

Calls

3 calls:

34.0ms	(/ (- t1) (+ t1 u))
54.0ms	(/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
90.0ms	(* (/ (- t1) (+ t1 u)) v)

series451.0ms

Counts

3 → 9

Calls

3 calls:

83.0ms	(/ (- t1) (+ t1 u))
221.0ms	(/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
147.0ms	(* (/ (- t1) (+ t1 u)) v)

simplify2.3s

Counts

180 → 180

Iterations

Useful iterations: done (2.3s)

Iter	Nodes	Cost
0	198	2031
1	525	1948
2	2897	1788
done	5000	1782

prune928.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t1)
0.6b	(cbrt t1)
0.6b	(cbrt t1)
1.0b	(/ (* (/ (- (* (cbrt t1) (cbrt t1))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (* (/ (cbrt t1) (cbrt (+ t1 u))) v)) (+ t1 u))

rewrite215.0ms

Algorithm

rewrite-expression-head

Rules

51×	`add-exp-log`
39×	`add-cbrt-cube`
19×	`cbrt-undiv` `div-exp`
18×	`prod-exp` `cbrt-unprod`
13×	`*-un-lft-identity`
9×	`cbrt-prod` `add-sqr-sqrt` `add-cube-cbrt`
4×	`pow1` `expm1-log1p-u` `times-frac` `associate-/r*` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3` `associate-*l/` `associate-/l/`
2×	`distribute-frac-neg` `associate-/r/` `distribute-lft-out`
1×	`distribute-lft-neg-out` `frac-times` `frac-2neg` `flip3-+` `associate-r/` `clear-num` `flip-+` `div-inv` `associate-/l`

Counts

4 → 86

Calls

4 calls:

2.0ms	(cbrt t1)
1.0ms	(cbrt t1)
2.0ms	(cbrt t1)
204.0ms	(/ (* (/ (- (* (cbrt t1) (cbrt t1))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (* (/ (cbrt t1) (cbrt (+ t1 u))) v)) (+ t1 u))

series1.2s

Counts

4 → 12

Calls

4 calls:

321.0ms	(cbrt t1)
318.0ms	(cbrt t1)
323.0ms	(cbrt t1)
213.0ms	(/ (* (/ (- (* (cbrt t1) (cbrt t1))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (* (/ (cbrt t1) (cbrt (+ t1 u))) v)) (+ t1 u))

simplify2.8s

Counts

98 → 98

Iterations

Useful iterations: done (2.8s)

Iter	Nodes	Cost
0	152	2210
1	520	2141
2	3574	1157
done	5000	1002

prune603.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

regimes306.0ms

Accuracy

0% (1.0b remaining)

Error of 1.0b against oracle of 0.0b and baseline of 1.0b

bsearch0.0ms

simplify9.7s

Iterations

Useful iterations: 0 (1.0ms)

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

end0.0ms

sample1.6s

Algorithm

intervals

Results

1.1s

8260×

body

valid