Details

sample64.0ms

Algorithm

intervals

Results

10.0ms

265×

body

valid

simplify1.3s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	12
1	25	12
2	65	12
3	132	12
4	235	12
5	350	12
6	405	12
7	429	12
8	469	12
9	548	12
10	1230	12
done	5000	12

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.5b

localize24.0ms

Local error

Found 2 expressions with local error:

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

rewrite105.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×	`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 → 70

Calls

2 calls:

50.0ms	(* (+ t1 u) (+ t1 u))
47.0ms	(/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))

series167.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify2.2s

Counts

76 → 76

Iterations

Useful iterations: done (2.2s)

Iter	Nodes	Cost
0	113	1078
1	428	994
2	3243	834
done	5002	831

prune189.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 3 expressions with local error:

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

rewrite164.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×	`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 → 192

Calls

3 calls:

28.0ms	(/ (- t1) (+ t1 u))
22.0ms	(/ v (+ t1 u))
92.0ms	(* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))

series258.0ms

Counts

3 → 9

Calls

3 calls:

50.0ms	(/ (- t1) (+ t1 u))
35.0ms	(/ v (+ t1 u))
173.0ms	(* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))

simplify2.3s

Counts

201 → 201

Iterations

Useful iterations: done (2.3s)

Iter	Nodes	Cost
0	213	2501
1	646	2395
2	3670	2241
done	5000	2231

prune603.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- t1) (+ t1 u))
0.7b	(/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
2.9b	(* (/ (- t1) (+ t1 u)) v)

rewrite98.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×	`flip3-+` `associate-r` `flip-+` `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 → 165

Calls

3 calls:

15.0ms	(/ (- t1) (+ t1 u))
35.0ms	(/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
41.0ms	(* (/ (- t1) (+ t1 u)) v)

series346.0ms

Counts

3 → 9

Calls

3 calls:

62.0ms	(/ (- t1) (+ t1 u))
177.0ms	(/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
106.0ms	(* (/ (- t1) (+ t1 u)) v)

simplify2.0s

Counts

174 → 174

Iterations

Useful iterations: done (2.0s)

Iter	Nodes	Cost
0	192	1973
1	514	1891
2	2824	1745
done	5000	1737

prune492.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (+ t1 u))
0.0b	(/ (- t1) (+ t1 u))
0.9b	(* (* (/ (- t1) (+ t1 u)) v) (/ 1 (+ t1 u)))
2.9b	(* (/ (- t1) (+ t1 u)) v)

rewrite222.0ms

Algorithm

rewrite-expression-head

Rules

127×	`*-un-lft-identity`
105×	`times-frac`
76×	`add-sqr-sqrt`
71×	`add-cube-cbrt`
54×	`add-exp-log`
47×	`associate-l`
34×	`add-cbrt-cube`
28×	`distribute-lft-out`
27×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
22×	`prod-exp`
21×	`associate-r`
14×	`div-exp`
13×	`associate-/l*`
12×	`pow1` `cbrt-unprod`
9×	`neg-mul-1`
8×	`cbrt-undiv` `associate-/r*` `associate-/r/`
4×	`rec-exp` `flip3-+` `1-exp` `pow-prod-down` `associate-*l/` `flip-+` `div-inv` `add-log-exp`
3×	`distribute-lft-neg-out` `distribute-frac-neg`
2×	`frac-2neg` `clear-num` `*-commutative` `unswap-sqr`
1×	`neg-sub0` `frac-times` `pow-flip` `div-sub` `associate-*r/` `un-div-inv` `inv-pow`

Counts

4 → 225

Calls

4 calls:

26.0ms	(/ 1 (+ t1 u))
15.0ms	(/ (- t1) (+ t1 u))
92.0ms	(* (* (/ (- t1) (+ t1 u)) v) (/ 1 (+ t1 u)))
77.0ms	(* (/ (- t1) (+ t1 u)) v)

series437.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(/ 1 (+ t1 u))
68.0ms	(/ (- t1) (+ t1 u))
221.0ms	(* (* (/ (- t1) (+ t1 u)) v) (/ 1 (+ t1 u)))
111.0ms	(* (/ (- t1) (+ t1 u)) v)

simplify4.1s

Counts

237 → 237

Iterations

Useful iterations: 2 (864.0ms)

Iter	Nodes	Cost
0	241	2809
1	690	2568
2	4718	2281
done	5000	2281

prune576.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes152.0ms

Accuracy

0% (1.2b remaining)

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

bsearch0.0ms

simplify4.4s

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	12	12
2	16	12
3	23	12
4	25	12
5	27	12
6	29	12
7	31	12
8	33	12
9	35	12
10	37	12
11	39	12
12	41	12
13	43	12
14	45	12
15	47	12
16	49	12
17	51	12
18	53	12
19	55	12
20	57	12
21	59	12
22	61	12
23	63	12
24	65	12
25	67	12
26	69	12
27	71	12
28	73	12
29	75	12
30	77	12
31	79	12
32	81	12
33	83	12
34	85	12
35	87	12
36	89	12
37	91	12
38	93	12
39	95	12
40	97	12
41	99	12
42	101	12
43	103	12
44	105	12
45	107	12
46	109	12
47	111	12
48	113	12
49	115	12
50	117	12
51	119	12
52	121	12
53	123	12
54	125	12
55	127	12
56	129	12
57	131	12
58	133	12
59	135	12
60	137	12
61	139	12
62	141	12
63	143	12
64	145	12
65	147	12
66	149	12
67	151	12
68	153	12
69	155	12
70	157	12
71	159	12
72	161	12
73	163	12
74	165	12
75	167	12
76	169	12
77	171	12
78	173	12
79	175	12
80	177	12
81	179	12
82	181	12
83	183	12
84	185	12
85	187	12
86	189	12
87	191	12
88	193	12
89	195	12
90	197	12
91	199	12
92	201	12
93	203	12
94	205	12
95	207	12
96	209	12
97	211	12
98	213	12
99	215	12
100	217	12
101	219	12
102	221	12
103	223	12
104	225	12
105	227	12
106	229	12
107	231	12
108	233	12
109	235	12
110	237	12
111	239	12
112	241	12
113	243	12
114	245	12
115	247	12
116	249	12
117	251	12
118	253	12
119	255	12
120	257	12
121	259	12
122	261	12
123	263	12
124	265	12
125	267	12
126	269	12
127	271	12
128	273	12
129	275	12
130	277	12
131	279	12
132	281	12
133	283	12
134	285	12
135	287	12
136	289	12
137	291	12
138	293	12
139	295	12
140	297	12
141	299	12
142	301	12
143	303	12
144	305	12
145	307	12
146	309	12
147	311	12
148	313	12
149	315	12
150	317	12
151	319	12
152	321	12
153	323	12
154	325	12
155	327	12
156	329	12
157	331	12
158	333	12
159	335	12
160	337	12
161	339	12
162	341	12
163	343	12
164	345	12
165	347	12
166	349	12
167	351	12
168	353	12
169	355	12
170	357	12
171	359	12
172	361	12
173	363	12
174	365	12
175	367	12
176	369	12
177	371	12
178	373	12
179	375	12
180	377	12
181	379	12
182	381	12
183	383	12
184	385	12
185	387	12
186	389	12
187	391	12
188	393	12
189	395	12
190	397	12
191	399	12
192	401	12
193	403	12
194	405	12
195	407	12
196	409	12
197	411	12
198	413	12
199	415	12
200	417	12
201	419	12
202	421	12
203	423	12
204	425	12
205	427	12
206	429	12
207	431	12
208	433	12
209	435	12
210	437	12
211	439	12
212	441	12
213	443	12
214	445	12
215	447	12
216	449	12
217	451	12
218	453	12
219	455	12
220	457	12
221	459	12
222	461	12
223	463	12
224	465	12
225	467	12
226	469	12
227	471	12
228	473	12
229	475	12
230	477	12
231	479	12
232	481	12
233	483	12
234	485	12
235	487	12
236	489	12
237	491	12
238	493	12
239	495	12
240	497	12
241	499	12
242	501	12
243	503	12
244	505	12
245	507	12
246	509	12
247	511	12
248	513	12
249	515	12
250	517	12
251	519	12
252	521	12
253	523	12
254	525	12
255	527	12
256	529	12
257	531	12
258	533	12
259	535	12
260	537	12
261	539	12
262	541	12
263	543	12
264	545	12
265	547	12
266	549	12
267	551	12
268	553	12
269	555	12
270	557	12
271	559	12
272	561	12
273	563	12
274	565	12
275	567	12
276	569	12
277	571	12
278	573	12
279	575	12
280	577	12
281	579	12
282	581	12
283	583	12
284	585	12
285	587	12
286	589	12
287	591	12
288	593	12
289	595	12
290	597	12
291	599	12
292	601	12
293	603	12
294	605	12
295	607	12
296	609	12
297	611	12
298	613	12
299	615	12
300	617	12
301	619	12
302	621	12
303	623	12
304	625	12
305	627	12
306	629	12
307	631	12
308	633	12
309	635	12
310	637	12
311	639	12
312	641	12
313	643	12
314	645	12
315	647	12
316	649	12
317	651	12
318	653	12
319	655	12
320	657	12
321	659	12
322	661	12
323	663	12
324	665	12
325	667	12
326	669	12
327	671	12
328	673	12
329	675	12
330	677	12
331	679	12
332	681	12
333	683	12
334	685	12
335	687	12
336	689	12
337	691	12
338	693	12
339	695	12
340	697	12
341	699	12
342	701	12
343	703	12
344	705	12
345	707	12
346	709	12
347	711	12
348	713	12
349	715	12
350	717	12
351	719	12
352	721	12
353	723	12
354	725	12
355	727	12
356	729	12
357	731	12
358	733	12
359	735	12
360	737	12
361	739	12
362	741	12
363	743	12
364	745	12
365	747	12
366	749	12
367	751	12
368	753	12
369	755	12
370	757	12
371	759	12
372	761	12
373	763	12
374	765	12
375	767	12
376	769	12
377	771	12
378	773	12
379	775	12
380	777	12
381	779	12
382	781	12
383	783	12
384	785	12
385	787	12
386	789	12
387	791	12
388	793	12
389	795	12
390	797	12
391	799	12
392	801	12
393	803	12
394	805	12
395	807	12
396	809	12
397	811	12
398	813	12
399	815	12
400	817	12
401	819	12
402	821	12
403	823	12
404	825	12
405	827	12
406	829	12
407	831	12
408	833	12
409	835	12
410	837	12
411	839	12
412	841	12
413	843	12
414	845	12
415	847	12
416	849	12
417	851	12
418	853	12
419	855	12
420	857	12
421	859	12
422	861	12
423	863	12
424	865	12
425	867	12
426	869	12
427	871	12
428	873	12
429	875	12
430	877	12
431	879	12
432	881	12
433	883	12
434	885	12
435	887	12
436	889	12
437	891	12
438	893	12
439	895	12
440	897	12
441	899	12
442	901	12
443	903	12
444	905	12
445	907	12
446	909	12
447	911	12
448	913	12
449	915	12
450	917	12
451	919	12
452	921	12
453	923	12
454	925	12
455	927	12
456	929	12
457	931	12
458	933	12
459	935	12
460	937	12
461	939	12
462	941	12
463	943	12
464	945	12
465	947	12
466	949	12
467	951	12
468	953	12
469	955	12
470	957	12
471	959	12
472	961	12
473	963	12
474	965	12
475	967	12
476	969	12
477	971	12
478	973	12
479	975	12
480	977	12
481	979	12
482	981	12
483	983	12
484	985	12
485	987	12
486	989	12
487	991	12
488	993	12
489	995	12
490	997	12
491	999	12
492	1001	12
493	1003	12
494	1005	12
495	1007	12
496	1009	12
497	1011	12
498	1013	12
499	1015	12
500	1017	12
501	1019	12
502	1021	12
503	1023	12
504	1025	12
505	1027	12
506	1029	12
507	1031	12
508	1033	12
509	1035	12
510	1037	12
511	1039	12
512	1041	12
513	1043	12
514	1045	12
515	1047	12
516	1049	12
517	1051	12
518	1053	12
519	1055	12
520	1057	12
521	1059	12
522	1061	12
523	1063	12
524	1065	12
525	1067	12
526	1069	12
527	1071	12
528	1073	12
529	1075	12
530	1077	12
531	1079	12
532	1081	12
533	1083	12
534	1085	12
535	1087	12
536	1089	12
537	1091	12
538	1093	12
539	1095	12
540	1097	12
541	1099	12
542	1101	12
543	1103	12
544	1105	12
545	1107	12
546	1109	12
547	1111	12
548	1113	12
549	1115	12
550	1117	12
551	1119	12
552	1121	12
553	1123	12
554	1125	12
555	1127	12
556	1129	12
557	1131	12
558	1133	12
559	1135	12
560	1137	12
561	1139	12
562	1141	12
563	1143	12
564	1145	12
565	1147	12
566	1149	12
567	1151	12
568	1153	12
569	1155	12
570	1157	12
571	1159	12
572	1161	12
573	1163	12
574	1165	12
575	1167	12
576	1169	12
577	1171	12
578	1173	12
579	1175	12
580	1177	12
581	1179	12
582	1181	12
583	1183	12
584	1185	12
585	1187	12
586	1189	12
587	1191	12
588	1193	12
589	1195	12
590	1197	12
591	1199	12
592	1201	12
593	1203	12
594	1205	12
595	1207	12
596	1209	12
597	1211	12
598	1213	12
599	1215	12
600	1217	12
601	1219	12
602	1221	12
603	1223	12
604	1225	12
605	1227	12
606	1229	12
607	1231	12
608	1233	12
609	1235	12
610	1237	12
611	1239	12
612	1241	12
613	1243	12
614	1245	12
615	1247	12
616	1249	12
617	1251	12
618	1253	12
619	1255	12
620	1257	12
621	1259	12
622	1261	12
623	1263	12
624	1265	12
625	1267	12
626	1269	12
627	1271	12
628	1273	12
629	1275	12
630	1277	12
631	1279	12
632	1281	12
633	1283	12
634	1285	12
635	1287	12
636	1289	12
637	1291	12
638	1293	12
639	1295	12
640	1297	12
641	1299	12
642	1301	12
643	1303	12
644	1305	12
645	1307	12
646	1309	12
647	1311	12
648	1313	12
649	1315	12
650	1317	12
651	1319	12
652	1321	12
653	1323	12
654	1325	12
655	1327	12
656	1329	12
657	1331	12
658	1333	12
659	1335	12
660	1337	12
661	1339	12
662	1341	12
663	1343	12
664	1345	12
665	1347	12
666	1349	12
667	1351	12
668	1353	12
669	1355	12
670	1357	12
671	1359	12
672	1361	12
673	1363	12
674	1365	12
675	1367	12
676	1369	12
677	1371	12
678	1373	12
679	1375	12
680	1377	12
681	1379	12
682	1381	12
683	1383	12
684	1385	12
685	1387	12
686	1389	12
687	1391	12
688	1393	12
689	1395	12
690	1397	12
691	1399	12
692	1401	12
693	1403	12
694	1405	12
695	1407	12
696	1409	12
697	1411	12
698	1413	12
699	1415	12
700	1417	12
701	1419	12
702	1421	12
703	1423	12
704	1425	12
705	1427	12
706	1429	12
707	1431	12
708	1433	12
709	1435	12
710	1437	12
711	1439	12
712	1441	12
713	1443	12
714	1445	12
715	1447	12
716	1449	12
717	1451	12
718	1453	12
719	1455	12
720	1457	12
721	1459	12
722	1461	12
723	1463	12
724	1465	12
725	1467	12
726	1469	12
727	1471	12
728	1473	12
729	1475	12
730	1477	12
731	1479	12
732	1481	12
733	1483	12
734	1485	12
735	1487	12
736	1489	12
737	1491	12
738	1493	12
739	1495	12
740	1497	12
741	1499	12
742	1501	12
743	1503	12
744	1505	12
745	1507	12
746	1509	12
747	1511	12
748	1513	12
749	1515	12
750	1517	12
751	1519	12
752	1521	12
753	1523	12
754	1525	12
755	1527	12
756	1529	12
757	1531	12
758	1533	12
759	1535	12
760	1537	12
761	1539	12
762	1541	12
763	1543	12
764	1545	12
765	1547	12
766	1549	12
767	1551	12
768	1553	12
769	1555	12
770	1557	12
771	1559	12
772	1561	12
773	1563	12
774	1565	12
775	1567	12
776	1569	12
777	1571	12
778	1573	12
779	1575	12
780	1577	12
781	1579	12
782	1581	12
783	1583	12
784	1585	12
785	1587	12
786	1589	12
787	1591	12
788	1593	12
789	1595	12
790	1597	12
791	1599	12
792	1601	12
793	1603	12
794	1605	12
795	1607	12
796	1609	12
797	1611	12
798	1613	12
799	1615	12
800	1617	12
801	1619	12
802	1621	12
803	1623	12
804	1625	12
805	1627	12
806	1629	12
807	1631	12
808	1633	12
809	1635	12
810	1637	12
811	1639	12
812	1641	12
813	1643	12
814	1645	12
815	1647	12
816	1649	12
817	1651	12
818	1653	12
819	1655	12
820	1657	12
821	1659	12
822	1661	12
823	1663	12
824	1665	12
825	1667	12
826	1669	12
827	1671	12
828	1673	12
829	1675	12
830	1677	12
831	1679	12
832	1681	12
833	1683	12
834	1685	12
835	1687	12
836	1689	12
837	1691	12
838	1693	12
839	1695	12
840	1697	12
841	1699	12
842	1701	12
843	1703	12
844	1705	12
845	1707	12
846	1709	12
847	1711	12
848	1713	12
849	1715	12
850	1717	12
851	1719	12
852	1721	12
853	1723	12
854	1725	12
855	1727	12
856	1729	12
857	1731	12
858	1733	12
859	1735	12
860	1737	12
861	1739	12
862	1741	12
863	1743	12
864	1745	12
865	1747	12
866	1749	12
867	1751	12
868	1753	12
869	1755	12
870	1757	12
871	1759	12
872	1761	12
873	1763	12
874	1765	12
875	1767	12
876	1769	12
877	1771	12
878	1773	12
879	1775	12
880	1777	12
881	1779	12
882	1781	12
883	1783	12
884	1785	12
885	1787	12
886	1789	12
887	1791	12
888	1793	12
889	1795	12
890	1797	12
891	1799	12
892	1801	12
893	1803	12
894	1805	12
895	1807	12
896	1809	12
897	1811	12
898	1813	12
899	1815	12
900	1817	12
901	1819	12
902	1821	12
903	1823	12
904	1825	12
905	1827	12
906	1829	12
907	1831	12
908	1833	12
909	1835	12
910	1837	12
911	1839	12
912	1841	12
913	1843	12
914	1845	12
915	1847	12
916	1849	12
917	1851	12
918	1853	12
919	1855	12
920	1857	12
921	1859	12
922	1861	12
923	1863	12
924	1865	12
925	1867	12
926	1869	12
927	1871	12
928	1873	12
929	1875	12
930	1877	12
931	1879	12
932	1881	12
933	1883	12
934	1885	12
935	1887	12
936	1889	12
937	1891	12
938	1893	12
939	1895	12
940	1897	12
941	1899	12
942	1901	12
943	1903	12
944	1905	12
945	1907	12
946	1909	12
947	1911	12
948	1913	12
949	1915	12
950	1917	12
951	1919	12
952	1921	12
953	1923	12
954	1925	12
955	1927	12
956	1929	12
957	1931	12
958	1933	12
959	1935	12
960	1937	12
961	1939	12
962	1941	12
963	1943	12
964	1945	12
965	1947	12
966	1949	12
967	1951	12
968	1953	12
969	1955	12
970	1957	12
971	1959	12
972	1961	12
973	1963	12
974	1965	12
975	1967	12
976	1969	12
977	1971	12
978	1973	12
979	1975	12
980	1977	12
981	1979	12
982	1981	12
983	1983	12
984	1985	12
985	1987	12
986	1989	12
987	1991	12
988	1993	12
989	1995	12
990	1997	12
991	1999	12
992	2001	12
993	2003	12
994	2005	12
995	2007	12
996	2009	12
997	2011	12
998	2013	12
999	2015	12
1000	2017	12
1001	2019	12
1002	2021	12
1003	2023	12
1004	2025	12
1005	2027	12
1006	2029	12
1007	2031	12
1008	2033	12
1009	2035	12
1010	2037	12
1011	2039	12
1012	2041	12
1013	2043	12
1014	2045	12
1015	2047	12
1016	2049	12
1017	2051	12
1018	2053	12
1019	2055	12
1020	2057	12
1021	2059	12
1022	2061	12
1023	2063	12
1024	2065	12
1025	2067	12
1026	2069	12
1027	2071	12
1028	2073	12
1029	2075	12
1030	2077	12
1031	2079	12
1032	2081	12
1033	2083	12
1034	2085	12
1035	2087	12
1036	2089	12
1037	2091	12
1038	2093	12
1039	2095	12
1040	2097	12
1041	2099	12
1042	2101	12
1043	2103	12
1044	2105	12
1045	2107	12
1046	2109	12
1047	2111	12
1048	2113	12
1049	2115	12
1050	2117	12
1051	2119	12
1052	2121	12
1053	2123	12
1054	2125	12
1055	2127	12
1056	2129	12
1057	2131	12
1058	2133	12
1059	2135	12
1060	2137	12
1061	2139	12
1062	2141	12
1063	2143	12
1064	2145	12
1065	2147	12
1066	2149	12
1067	2151	12
1068	2153	12
1069	2155	12
1070	2157	12
1071	2159	12
1072	2161	12
1073	2163	12
1074	2165	12
1075	2167	12
1076	2169	12
1077	2171	12
1078	2173	12
1079	2175	12
1080	2177	12
1081	2179	12
1082	2181	12
1083	2183	12
1084	2185	12
1085	2187	12
1086	2189	12
1087	2191	12
1088	2193	12
1089	2195	12
1090	2197	12
1091	2199	12
1092	2201	12
1093	2203	12
1094	2205	12
1095	2207	12
1096	2209	12
1097	2211	12
1098	2213	12
1099	2215	12
1100	2217	12
1101	2219	12
1102	2221	12
1103	2223	12
1104	2225	12
1105	2227	12
1106	2229	12
1107	2231	12
1108	2233	12
1109	2235	12
1110	2237	12
1111	2239	12
1112	2241	12
1113	2243	12
1114	2245	12
1115	2247	12
1116	2249	12
1117	2251	12
1118	2253	12
1119	2255	12
1120	2257	12
1121	2259	12
1122	2261	12
1123	2263	12
1124	2265	12
1125	2267	12
1126	2269	12
1127	2271	12
1128	2273	12
1129	2275	12
1130	2277	12
1131	2279	12
1132	2281	12
1133	2283	12
1134	2285	12
1135	2287	12
1136	2289	12
1137	2291	12
1138	2293	12
1139	2295	12
1140	2297	12
1141	2299	12
1142	2301	12
1143	2303	12
1144	2305	12
1145	2307	12
1146	2309	12
1147	2311	12
1148	2313	12
1149	2315	12
1150	2317	12
1151	2319	12
1152	2321	12
1153	2323	12
1154	2325	12
1155	2327	12
1156	2329	12
1157	2331	12
1158	2333	12
1159	2335	12
1160	2337	12
1161	2339	12
1162	2341	12
1163	2343	12
1164	2345	12
1165	2347	12
1166	2349	12
1167	2351	12
1168	2353	12
1169	2355	12
1170	2357	12
1171	2359	12
1172	2361	12
1173	2363	12
1174	2365	12
1175	2367	12
1176	2369	12
1177	2371	12
1178	2373	12
1179	2375	12
1180	2377	12
1181	2379	12
1182	2381	12
1183	2383	12
1184	2385	12
1185	2387	12
1186	2389	12
1187	2391	12
1188	2393	12
1189	2395	12
1190	2397	12
1191	2399	12
1192	2401	12
1193	2403	12
1194	2405	12
1195	2407	12
1196	2409	12
1197	2411	12
1198	2413	12
1199	2415	12
1200	2417	12
1201	2419	12
1202	2421	12
1203	2423	12
1204	2425	12
1205	2427	12
1206	2429	12
1207	2431	12
1208	2433	12
1209	2435	12
1210	2437	12
1211	2439	12
1212	2441	12
1213	2443	12
1214	2445	12
1215	2447	12
1216	2449	12
1217	2451	12
1218	2453	12
1219	2455	12
1220	2457	12
1221	2459	12
1222	2461	12
1223	2463	12
1224	2465	12
1225	2467	12
1226	2469	12
1227	2471	12
1228	2473	12
1229	2475	12
1230	2477	12
1231	2479	12
1232	2481	12
1233	2483	12
1234	2485	12
1235	2487	12
1236	2489	12
1237	2491	12
1238	2493	12
1239	2495	12
1240	2497	12
1241	2499	12
1242	2501	12
1243	2503	12
1244	2505	12
1245	2507	12
1246	2509	12
1247	2511	12
1248	2513	12
1249	2515	12
1250	2517	12
1251	2519	12
1252	2521	12
1253	2523	12
1254	2525	12
1255	2527	12
1256	2529	12
1257	2531	12
1258	2533	12
1259	2535	12
1260	2537	12
1261	2539	12
1262	2541	12
1263	2543	12
1264	2545	12
1265	2547	12
1266	2549	12
1267	2551	12
1268	2553	12
1269	2555	12
1270	2557	12
1271	2559	12
1272	2561	12
1273	2563	12
1274	2565	12
1275	2567	12
1276	2569	12
1277	2571	12
1278	2573	12
1279	2575	12
1280	2577	12
1281	2579	12
1282	2581	12
1283	2583	12
1284	2585	12
1285	2587	12
1286	2589	12
1287	2591	12
1288	2593	12
1289	2595	12
1290	2597	12
1291	2599	12
1292	2601	12
1293	2603	12
1294	2605	12
1295	2607	12
1296	2609	12
1297	2611	12
1298	2613	12
1299	2615	12
1300	2617	12
1301	2619	12
1302	2621	12
1303	2623	12
1304	2625	12
1305	2627	12
1306	2629	12
1307	2631	12
1308	2633	12
1309	2635	12
1310	2637	12
1311	2639	12
1312	2641	12
1313	2643	12
1314	2645	12
1315	2647	12
1316	2649	12
1317	2651	12
1318	2653	12
1319	2655	12
1320	2657	12
1321	2659	12
1322	2661	12
1323	2663	12
1324	2665	12
1325	2667	12
1326	2669	12
1327	2671	12
1328	2673	12
1329	2675	12
1330	2677	12
1331	2679	12
1332	2681	12
1333	2683	12
1334	2685	12
1335	2687	12
1336	2689	12
1337	2691	12
1338	2693	12
1339	2695	12
1340	2697	12
1341	2699	12
1342	2701	12
1343	2703	12
1344	2705	12
1345	2707	12
1346	2709	12
1347	2711	12
1348	2713	12
1349	2715	12
1350	2717	12
1351	2719	12
1352	2721	12
1353	2723	12
1354	2725	12
1355	2727	12
1356	2729	12
1357	2731	12
1358	2733	12
1359	2735	12
1360	2737	12
1361	2739	12
1362	2741	12
1363	2743	12
1364	2745	12
1365	2747	12
1366	2749	12
1367	2751	12
1368	2753	12
1369	2755	12
1370	2757	12
1371	2759	12
1372	2761	12
1373	2763	12
1374	2765	12
1375	2767	12
1376	2769	12
1377	2771	12
1378	2773	12
1379	2775	12
1380	2777	12
1381	2779	12
1382	2781	12
1383	2783	12
1384	2785	12
1385	2787	12
1386	2789	12
1387	2791	12
1388	2793	12
1389	2795	12
1390	2797	12
1391	2799	12
1392	2801	12
1393	2803	12
1394	2805	12
1395	2807	12
1396	2809	12
1397	2811	12
1398	2813	12
1399	2815	12
1400	2817	12
1401	2819	12
1402	2821	12
1403	2823	12
1404	2825	12
1405	2827	12
1406	2829	12
1407	2831	12
1408	2833	12
1409	2835	12
1410	2837	12
1411	2839	12
1412	2841	12
1413	2843	12
1414	2845	12
1415	2847	12
1416	2849	12
1417	2851	12
1418	2853	12
1419	2855	12
1420	2857	12
1421	2859	12
1422	2861	12
1423	2863	12
1424	2865	12
1425	2867	12
1426	2869	12
1427	2871	12
1428	2873	12
1429	2875	12
1430	2877	12
1431	2879	12
1432	2881	12
1433	2883	12
1434	2885	12
1435	2887	12
1436	2889	12
1437	2891	12
1438	2893	12
1439	2895	12
1440	2897	12
1441	2899	12
1442	2901	12
1443	2903	12
1444	2905	12
1445	2907	12
1446	2909	12
1447	2911	12
1448	2913	12
1449	2915	12
1450	2917	12
1451	2919	12
1452	2921	12
1453	2923	12
1454	2925	12
1455	2927	12
1456	2929	12
1457	2931	12
1458	2933	12
1459	2935	12
1460	2937	12
1461	2939	12
1462	2941	12
1463	2943	12
1464	2945	12
1465	2947	12
1466	2949	12
1467	2951	12
1468	2953	12
1469	2955	12
1470	2957	12
1471	2959	12
1472	2961	12
1473	2963	12
1474	2965	12
1475	2967	12
1476	2969	12
1477	2971	12
1478	2973	12
1479	2975	12
1480	2977	12
1481	2979	12
1482	2981	12
1483	2983	12
1484	2985	12
1485	2987	12
1486	2989	12
1487	2991	12
1488	2993	12
1489	2995	12
1490	2997	12
1491	2999	12
1492	3001	12
1493	3003	12
1494	3005	12
1495	3007	12
1496	3009	12
1497	3011	12
1498	3013	12
1499	3015	12
1500	3017	12
1501	3019	12
1502	3021	12
1503	3023	12
1504	3025	12
1505	3027	12
1506	3029	12
1507	3031	12
1508	3033	12
1509	3035	12
1510	3037	12
1511	3039	12
1512	3041	12
1513	3043	12
1514	3045	12
1515	3047	12
1516	3049	12
1517	3051	12
1518	3053	12
1519	3055	12
1520	3057	12
1521	3059	12
1522	3061	12
1523	3063	12
1524	3065	12
1525	3067	12
1526	3069	12
1527	3071	12
1528	3073	12
1529	3075	12
1530	3077	12
1531	3079	12
1532	3081	12
1533	3083	12
1534	3085	12
1535	3087	12
1536	3089	12
1537	3091	12
1538	3093	12
1539	3095	12
1540	3097	12
1541	3099	12
1542	3101	12
1543	3103	12
1544	3105	12
1545	3107	12
1546	3109	12
1547	3111	12
1548	3113	12
1549	3115	12
1550	3117	12
1551	3119	12
1552	3121	12
1553	3123	12
1554	3125	12
1555	3127	12
1556	3129	12
1557	3131	12
1558	3133	12
1559	3135	12
1560	3137	12
1561	3139	12
1562	3141	12
1563	3143	12
1564	3145	12
1565	3147	12
1566	3149	12
1567	3151	12
1568	3153	12
1569	3155	12
1570	3157	12
1571	3159	12
1572	3161	12
1573	3163	12
1574	3165	12
1575	3167	12
1576	3169	12
1577	3171	12
1578	3173	12
1579	3175	12
1580	3177	12
1581	3179	12
1582	3181	12
1583	3183	12
1584	3185	12
1585	3187	12
1586	3189	12
1587	3191	12
1588	3193	12
1589	3195	12
1590	3197	12
1591	3199	12
1592	3201	12
1593	3203	12
1594	3205	12
1595	3207	12
1596	3209	12
1597	3211	12
1598	3213	12
1599	3215	12
1600	3217	12
1601	3219	12
1602	3221	12
1603	3223	12
1604	3225	12
1605	3227	12
1606	3229	12
1607	3231	12
1608	3233	12
1609	3235	12
1610	3237	12
1611	3239	12
1612	3241	12
1613	3243	12
1614	3245	12
1615	3247	12
1616	3249	12
1617	3251	12
1618	3253	12
1619	3255	12
1620	3257	12
1621	3259	12
1622	3261	12
1623	3263	12
1624	3265	12
1625	3267	12
1626	3269	12
1627	3271	12
1628	3273	12
1629	3275	12
1630	3277	12
1631	3279	12
1632	3281	12
1633	3283	12
1634	3285	12
1635	3287	12
1636	3289	12
1637	3291	12
1638	3293	12
1639	3295	12
1640	3297	12
1641	3299	12
1642	3301	12
1643	3303	12
1644	3305	12
1645	3307	12
1646	3309	12
1647	3311	12
1648	3313	12
1649	3315	12
1650	3317	12
1651	3319	12
1652	3321	12
1653	3323	12
1654	3325	12
1655	3327	12
1656	3329	12
1657	3331	12
1658	3333	12
1659	3335	12
1660	3337	12
1661	3339	12
1662	3341	12
1663	3343	12
1664	3345	12
1665	3347	12
1666	3349	12
1667	3351	12
1668	3353	12
1669	3355	12
1670	3357	12
1671	3359	12
1672	3361	12
1673	3363	12
1674	3365	12
1675	3367	12
1676	3369	12
1677	3371	12
1678	3373	12
1679	3375	12
1680	3377	12
1681	3379	12
1682	3381	12
1683	3383	12
1684	3385	12
1685	3387	12
1686	3389	12
1687	3391	12
1688	3393	12
1689	3395	12
1690	3397	12
1691	3399	12
1692	3401	12
1693	3403	12
1694	3405	12
1695	3407	12
1696	3409	12
1697	3411	12
1698	3413	12
1699	3415	12
1700	3417	12
1701	3419	12
1702	3421	12
1703	3423	12
1704	3425	12
1705	3427	12
1706	3429	12
1707	3431	12
1708	3433	12
1709	3435	12
1710	3437	12
1711	3439	12
1712	3441	12
1713	3443	12
1714	3445	12
1715	3447	12
1716	3449	12
1717	3451	12
1718	3453	12
1719	3455	12
1720	3457	12
1721	3459	12
1722	3461	12
1723	3463	12
1724	3465	12
1725	3467	12
1726	3469	12
1727	3471	12
1728	3473	12
1729	3475	12
1730	3477	12
1731	3479	12
1732	3481	12
1733	3483	12
1734	3485	12
1735	3487	12
1736	3489	12
1737	3491	12
1738	3493	12
1739	3495	12
1740	3497	12
1741	3499	12
1742	3501	12
1743	3503	12
1744	3505	12
1745	3507	12
1746	3509	12
1747	3511	12
1748	3513	12
1749	3515	12
1750	3517	12
1751	3519	12
1752	3521	12
1753	3523	12
1754	3525	12
1755	3527	12
1756	3529	12
1757	3531	12
1758	3533	12
1759	3535	12
1760	3537	12
1761	3539	12
1762	3541	12
1763	3543	12
1764	3545	12
1765	3547	12
1766	3549	12
1767	3551	12
1768	3553	12
1769	3555	12
1770	3557	12
1771	3559	12
1772	3561	12
1773	3563	12
1774	3565	12
1775	3567	12
1776	3569	12
1777	3571	12
1778	3573	12
1779	3575	12
1780	3577	12
1781	3579	12
1782	3581	12
1783	3583	12
1784	3585	12
1785	3587	12
1786	3589	12
1787	3591	12
1788	3593	12
1789	3595	12
1790	3597	12
1791	3599	12
1792	3601	12
1793	3603	12
1794	3605	12
1795	3607	12
1796	3609	12
1797	3611	12
1798	3613	12
1799	3615	12
1800	3617	12
1801	3619	12
1802	3621	12
1803	3623	12
1804	3625	12
1805	3627	12
1806	3629	12
1807	3631	12
1808	3633	12
1809	3635	12
1810	3637	12
1811	3639	12
1812	3641	12
1813	3643	12
1814	3645	12
1815	3647	12
1816	3649	12
1817	3651	12
1818	3653	12
1819	3655	12
1820	3657	12
1821	3659	12
1822	3661	12
1823	3663	12
1824	3665	12
1825	3667	12
1826	3669	12
1827	3671	12
1828	3673	12
1829	3675	12
1830	3677	12
1831	3679	12
1832	3681	12
1833	3683	12
1834	3685	12
1835	3687	12
1836	3689	12
1837	3691	12
1838	3693	12
1839	3695	12
1840	3697	12
1841	3699	12
1842	3701	12
1843	3703	12
1844	3705	12
1845	3707	12
1846	3709	12
1847	3711	12
1848	3713	12
1849	3715	12
1850	3717	12
1851	3719	12
1852	3721	12
1853	3723	12
1854	3725	12
1855	3727	12
1856	3729	12
1857	3731	12
1858	3733	12
1859	3735	12
1860	3737	12
1861	3739	12
1862	3741	12
1863	3743	12
1864	3745	12
1865	3747	12
1866	3749	12
1867	3751	12
1868	3753	12
1869	3755	12
1870	3757	12
1871	3759	12
1872	3761	12
1873	3763	12
1874	3765	12
1875	3767	12
1876	3769	12
1877	3771	12
1878	3773	12
1879	3775	12
1880	3777	12
1881	3779	12
1882	3781	12
1883	3783	12
1884	3785	12
1885	3787	12
1886	3789	12
1887	3791	12
1888	3793	12
1889	3795	12
1890	3797	12
1891	3799	12
1892	3801	12
1893	3803	12
1894	3805	12
1895	3807	12
1896	3809	12
1897	3811	12
1898	3813	12
1899	3815	12
1900	3817	12
1901	3819	12
1902	3821	12
1903	3823	12
1904	3825	12
1905	3827	12
1906	3829	12
1907	3831	12
1908	3833	12
1909	3835	12
1910	3837	12
1911	3839	12
1912	3841	12
1913	3843	12
1914	3845	12
1915	3847	12
1916	3849	12
1917	3851	12
1918	3853	12
1919	3855	12
1920	3857	12
1921	3859	12
1922	3861	12
1923	3863	12
1924	3865	12
1925	3867	12
1926	3869	12
1927	3871	12
1928	3873	12
1929	3875	12
1930	3877	12
1931	3879	12
1932	3881	12
1933	3883	12
1934	3885	12
1935	3887	12
1936	3889	12
1937	3891	12
1938	3893	12
1939	3895	12
1940	3897	12
1941	3899	12
1942	3901	12
1943	3903	12
1944	3905	12
1945	3907	12
1946	3909	12
1947	3911	12
1948	3913	12
1949	3915	12
1950	3917	12
1951	3919	12
1952	3921	12
1953	3923	12
1954	3925	12
1955	3927	12
1956	3929	12
1957	3931	12
1958	3933	12
1959	3935	12
1960	3937	12
1961	3939	12
1962	3941	12
1963	3943	12
1964	3945	12
1965	3947	12
1966	3949	12
1967	3951	12
1968	3953	12
1969	3955	12
1970	3957	12
1971	3959	12
1972	3961	12
1973	3963	12
1974	3965	12
1975	3967	12
1976	3969	12
1977	3971	12
1978	3973	12
1979	3975	12
1980	3977	12
1981	3979	12
1982	3981	12
1983	3983	12
1984	3985	12
1985	3987	12
1986	3989	12
1987	3991	12
1988	3993	12
1989	3995	12
1990	3997	12
1991	3999	12
1992	4001	12
1993	4003	12
1994	4005	12
1995	4007	12
1996	4009	12
1997	4011	12
1998	4013	12
1999	4015	12
2000	4017	12
2001	4019	12
2002	4021	12
2003	4023	12
2004	4025	12
2005	4027	12
2006	4029	12
2007	4031	12
2008	4033	12
2009	4035	12
2010	4037	12
2011	4039	12
2012	4041	12
2013	4043	12
2014	4045	12
2015	4047	12
2016	4049	12
2017	4051	12
2018	4053	12
2019	4055	12
2020	4057	12
2021	4059	12
2022	4061	12
2023	4063	12
2024	4065	12
2025	4067	12
2026	4069	12
2027	4071	12
2028	4073	12
2029	4075	12
2030	4077	12
2031	4079	12
2032	4081	12
2033	4083	12
2034	4085	12
2035	4087	12
2036	4089	12
2037	4091	12
2038	4093	12
2039	4095	12
2040	4097	12
2041	4099	12
2042	4101	12
2043	4103	12
2044	4105	12
2045	4107	12
2046	4109	12
2047	4111	12
2048	4113	12
2049	4115	12
2050	4117	12
2051	4119	12
2052	4121	12
2053	4123	12
2054	4125	12
2055	4127	12
2056	4129	12
2057	4131	12
2058	4133	12
2059	4135	12
2060	4137	12
2061	4139	12
2062	4141	12
2063	4143	12
2064	4145	12
2065	4147	12
2066	4149	12
2067	4151	12
2068	4153	12
2069	4155	12
2070	4157	12
2071	4159	12
2072	4161	12
2073	4163	12
2074	4165	12
2075	4167	12
2076	4169	12
2077	4171	12
2078	4173	12
2079	4175	12
2080	4177	12
2081	4179	12
2082	4181	12
2083	4183	12
2084	4185	12
2085	4187	12
2086	4189	12
2087	4191	12
2088	4193	12
2089	4195	12
2090	4197	12
2091	4199	12
2092	4201	12
2093	4203	12
2094	4205	12
2095	4207	12
2096	4209	12
2097	4211	12
2098	4213	12
2099	4215	12
2100	4217	12
2101	4219	12
2102	4221	12
2103	4223	12
2104	4225	12
2105	4227	12
2106	4229	12
2107	4231	12
2108	4233	12
2109	4235	12
2110	4237	12
2111	4239	12
2112	4241	12
2113	4243	12
2114	4245	12
2115	4247	12
2116	4249	12
2117	4251	12
2118	4253	12
2119	4255	12
2120	4257	12
2121	4259	12
2122	4261	12
2123	4263	12
2124	4265	12
2125	4267	12
2126	4269	12
2127	4271	12
2128	4273	12
2129	4275	12
2130	4277	12
2131	4279	12
2132	4281	12
2133	4283	12
2134	4285	12
2135	4287	12
2136	4289	12
2137	4291	12
2138	4293	12
2139	4295	12
2140	4297	12
2141	4299	12
2142	4301	12
2143	4303	12
2144	4305	12
2145	4307	12
2146	4309	12
2147	4311	12
2148	4313	12
2149	4315	12
2150	4317	12
2151	4319	12
2152	4321	12
2153	4323	12
2154	4325	12
2155	4327	12
2156	4329	12
2157	4331	12
2158	4333	12
2159	4335	12
2160	4337	12
2161	4339	12
2162	4341	12
2163	4343	12
2164	4345	12
2165	4347	12
2166	4349	12
2167	4351	12
2168	4353	12
2169	4355	12
2170	4357	12
2171	4359	12
2172	4361	12
2173	4363	12
2174	4365	12
2175	4367	12
2176	4369	12
2177	4371	12
2178	4373	12
2179	4375	12
2180	4377	12
2181	4379	12
2182	4381	12
2183	4383	12
2184	4385	12
2185	4387	12
2186	4389	12
2187	4391	12
2188	4393	12
2189	4395	12
2190	4397	12
2191	4399	12
2192	4401	12
2193	4403	12
2194	4405	12
2195	4407	12
2196	4409	12
2197	4411	12
2198	4413	12
2199	4415	12
2200	4417	12
2201	4419	12
2202	4421	12
2203	4423	12
2204	4425	12
2205	4427	12
2206	4429	12
2207	4431	12
2208	4433	12
2209	4435	12
2210	4437	12
2211	4439	12
2212	4441	12
2213	4443	12
2214	4445	12
2215	4447	12
2216	4449	12
2217	4451	12
2218	4453	12
2219	4455	12
2220	4457	12
2221	4459	12
2222	4461	12
2223	4463	12
2224	4465	12
2225	4467	12
2226	4469	12
2227	4471	12
2228	4473	12
2229	4475	12
2230	4477	12
2231	4479	12
2232	4481	12
2233	4483	12
2234	4485	12
2235	4487	12
2236	4489	12
2237	4491	12
2238	4493	12
2239	4495	12
2240	4497	12
2241	4499	12
2242	4501	12
2243	4503	12
2244	4505	12
2245	4507	12
2246	4509	12
2247	4511	12
2248	4513	12
2249	4515	12
2250	4517	12
2251	4519	12
2252	4521	12
2253	4523	12
2254	4525	12
2255	4527	12
2256	4529	12
2257	4531	12
2258	4533	12
2259	4535	12
2260	4537	12
2261	4539	12
2262	4541	12
2263	4543	12
2264	4545	12
2265	4547	12
2266	4549	12
2267	4551	12
2268	4553	12
2269	4555	12
2270	4557	12
2271	4559	12
2272	4561	12
2273	4563	12
2274	4565	12
2275	4567	12
2276	4569	12
2277	4571	12
2278	4573	12
2279	4575	12
2280	4577	12
2281	4579	12
2282	4581	12
2283	4583	12
2284	4585	12
2285	4587	12
2286	4589	12
2287	4591	12
2288	4593	12
2289	4595	12
2290	4597	12
2291	4599	12
2292	4601	12
2293	4603	12
2294	4605	12
2295	4607	12
2296	4609	12
2297	4611	12
2298	4613	12
2299	4615	12
2300	4617	12
2301	4619	12
2302	4621	12
2303	4623	12
2304	4625	12
2305	4627	12
2306	4629	12
2307	4631	12
2308	4633	12
2309	4635	12
2310	4637	12
2311	4639	12
2312	4641	12
2313	4643	12
2314	4645	12
2315	4647	12
2316	4649	12
2317	4651	12
2318	4653	12
2319	4655	12
2320	4657	12
2321	4659	12
2322	4661	12
2323	4663	12
2324	4665	12
2325	4667	12
2326	4669	12
2327	4671	12
2328	4673	12
2329	4675	12
2330	4677	12
2331	4679	12
2332	4681	12
2333	4683	12
2334	4685	12
2335	4687	12
2336	4689	12
2337	4691	12
2338	4693	12
2339	4695	12
2340	4697	12
2341	4699	12
2342	4701	12
2343	4703	12
2344	4705	12
2345	4707	12
2346	4709	12
2347	4711	12
2348	4713	12
2349	4715	12
2350	4717	12
2351	4719	12
2352	4721	12
2353	4723	12
2354	4725	12
2355	4727	12
2356	4729	12
2357	4731	12
2358	4733	12
2359	4735	12
2360	4737	12
2361	4739	12
2362	4741	12
2363	4743	12
2364	4745	12
2365	4747	12
2366	4749	12
2367	4751	12
2368	4753	12
2369	4755	12
2370	4757	12
2371	4759	12
2372	4761	12
2373	4763	12
2374	4765	12
2375	4767	12
2376	4769	12
2377	4771	12
2378	4773	12
2379	4775	12
2380	4777	12
2381	4779	12
2382	4781	12
2383	4783	12
2384	4785	12
2385	4787	12
2386	4789	12
2387	4791	12
2388	4793	12
2389	4795	12
2390	4797	12
2391	4799	12
2392	4801	12
2393	4803	12
2394	4805	12
2395	4807	12
2396	4809	12
2397	4811	12
2398	4813	12
2399	4815	12
2400	4817	12
2401	4819	12
2402	4821	12
2403	4823	12
2404	4825	12
2405	4827	12
2406	4829	12
2407	4831	12
2408	4833	12
2409	4835	12
2410	4837	12
2411	4839	12
2412	4841	12
2413	4843	12
2414	4845	12
2415	4847	12
2416	4849	12
2417	4851	12
2418	4853	12
2419	4855	12
2420	4857	12
2421	4859	12
2422	4861	12
2423	4863	12
2424	4865	12
2425	4867	12
2426	4869	12
2427	4871	12
2428	4873	12
2429	4875	12
2430	4877	12
2431	4879	12
2432	4881	12
2433	4883	12
2434	4885	12
2435	4887	12
2436	4889	12
2437	4891	12
2438	4893	12
2439	4895	12
2440	4897	12
2441	4899	12
2442	4901	12
2443	4903	12
2444	4905	12
2445	4907	12
2446	4909	12
2447	4911	12
2448	4913	12
2449	4915	12
2450	4917	12
2451	4919	12
2452	4921	12
2453	4923	12
2454	4925	12
2455	4927	12
2456	4929	12
2457	4931	12
2458	4933	12
2459	4935	12
2460	4937	12
2461	4939	12
2462	4941	12
2463	4943	12
2464	4945	12
2465	4947	12
2466	4949	12
2467	4951	12
2468	4953	12
2469	4955	12
2470	4957	12
2471	4959	12
2472	4961	12
2473	4963	12
2474	4965	12
2475	4967	12
2476	4969	12
2477	4971	12
2478	4973	12
2479	4975	12
2480	4977	12
2481	4979	12
2482	4981	12
2483	4983	12
2484	4985	12
2485	4987	12
2486	4989	12
2487	4991	12
2488	4993	12
2489	4995	12
2490	4997	12
2491	4999	12
done	5001	12

end0.0ms

sample1.4s

Algorithm

intervals

Results

1.0s

8249×

body

valid