Details

sample26.0ms

Algorithm

intervals

Results

7.0ms	52×	body	1280	valid
5.0ms	47×	body	640	valid
4.0ms	129×	body	80	valid
1.0ms	15×	body	320	valid
1.0ms	13×	body	160	valid

simplify2.3s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	12	13
2	16	13
3	19	13
4	21	13
5	27	13
6	39	13
7	58	13
8	79	13
9	183	13
10	535	13
11	1706	13
12	3584	13
done	5000	13

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.7b

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ x (+ x 1.0))
0.0b	(/ (+ 1.0 x) (- x 1.0))
3.4b	(- (/ x (+ x 1.0)) (/ (+ 1.0 x) (- x 1.0)))

rewrite288.0ms

Algorithm

rewrite-expression-head

Rules

981×	`*-un-lft-identity`
736×	`times-frac`
585×	`add-sqr-sqrt`
468×	`prod-diff`
419×	`add-cube-cbrt`
189×	`distribute-lft-out`
94×	`associate-/r/`
90×	`distribute-lft-out--`
81×	`difference-of-squares`
47×	`div-inv`
29×	`flip3-+` `flip-+`
20×	`flip3--` `flip--`
18×	`fma-neg`
9×	`associate-/r*`
7×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
5×	`add-log-exp`
3×	`pow1` `expm1-log1p-u` `log1p-expm1-u`
2×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `associate-/l/`
1×	`sub-neg` `diff-log` `frac-sub`

Counts

3 → 596

Calls

3 calls:

12.0ms	(/ x (+ x 1.0))
32.0ms	(/ (+ 1.0 x) (- x 1.0))
168.0ms	(- (/ x (+ x 1.0)) (/ (+ 1.0 x) (- x 1.0)))

series268.0ms

Counts

3 → 9

Calls

3 calls:

54.0ms	(/ x (+ x 1.0))
48.0ms	(/ (+ 1.0 x) (- x 1.0))
166.0ms	(- (/ x (+ x 1.0)) (/ (+ 1.0 x) (- x 1.0)))

simplify2.5s

Counts

605 → 605

Iterations

Useful iterations: done (2.4s)

Iter	Nodes	Cost
0	536	34216
1	1303	30941
2	4755	23491
done	5000	23490

prune1.2s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

14.6b	(/ x (- (* x x) (* 1.0 1.0)))
14.6b	(/ (+ 1.0 x) (- (* x x) (* 1.0 1.0)))
14.6b	(/ (+ 1.0 x) (- (* x x) (* 1.0 1.0)))
30.2b	(fma (/ x (- (* x x) (* 1.0 1.0))) (- x 1.0) (- (* (+ x 1.0) (/ (+ 1.0 x) (- (* x x) (* 1.0 1.0))))))

rewrite108.0ms

Algorithm

rewrite-expression-head

Rules

53×	`*-un-lft-identity`
44×	`times-frac`
33×	`add-sqr-sqrt` `add-cube-cbrt`
14×	`difference-of-squares`
12×	`associate-/r*`
11×	`associate-/l*`
10×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out`
6×	`associate-/r/`
4×	`pow1` `expm1-log1p-u` `log1p-expm1-u` `associate-/l/` `add-log-exp`
3×	`cbrt-undiv` `flip3--` `frac-2neg` `div-exp` `clear-num` `flip--` `div-inv`
2×	`flip3-+` `flip-+`
1×	`fma-udef`

Counts

4 → 129

Calls

4 calls:

27.0ms	(/ x (- (* x x) (* 1.0 1.0)))
40.0ms	(/ (+ 1.0 x) (- (* x x) (* 1.0 1.0)))
33.0ms	(/ (+ 1.0 x) (- (* x x) (* 1.0 1.0)))
1.0ms	(fma (/ x (- (* x x) (* 1.0 1.0))) (- x 1.0) (- (* (+ x 1.0) (/ (+ 1.0 x) (- (* x x) (* 1.0 1.0))))))

series364.0ms

Counts

4 → 12

Calls

4 calls:

77.0ms	(/ x (- (* x x) (* 1.0 1.0)))
42.0ms	(/ (+ 1.0 x) (- (* x x) (* 1.0 1.0)))
37.0ms	(/ (+ 1.0 x) (- (* x x) (* 1.0 1.0)))
207.0ms	(fma (/ x (- (* x x) (* 1.0 1.0))) (- x 1.0) (- (* (+ x 1.0) (/ (+ 1.0 x) (- (* x x) (* 1.0 1.0))))))

simplify1.4s

Counts

141 → 141

Iterations

Useful iterations: done (1.4s)

Iter	Nodes	Cost
0	170	2601
1	432	2539
2	2184	2312
done	5001	2308

prune648.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

14.6b	(/ (+ 1.0 x) (- (* x x) (* 1.0 1.0)))
30.2b	(fma (/ x (- (* x x) (* 1.0 1.0))) (- x 1.0) (- (* (+ x 1.0) (/ (+ 1.0 x) (- (* x x) (* 1.0 1.0))))))
30.2b	(fma (/ x (- (* x x) (* 1.0 1.0))) (- x 1.0) (- (* (+ x 1.0) (/ (+ 1.0 x) (- (* x x) (* 1.0 1.0))))))
30.2b	(fma (/ x (- (* x x) (* 1.0 1.0))) (- x 1.0) (- (* (+ x 1.0) (/ (+ 1.0 x) (- (* x x) (* 1.0 1.0))))))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

24×	`*-un-lft-identity`
16×	`times-frac`
14×	`add-sqr-sqrt` `add-cube-cbrt`
6×	`add-exp-log` `add-cbrt-cube`
5×	`distribute-lft-out` `difference-of-squares`
4×	`pow1` `expm1-log1p-u` `associate-/r` `log1p-expm1-u` `associate-/l` `add-log-exp`
3×	`fma-udef`
2×	`associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `flip3--` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip--` `flip-+` `div-inv`

Counts

4 → 72

Calls

4 calls:

30.0ms	(/ (+ 1.0 x) (- (* x x) (* 1.0 1.0)))
0.0ms	(fma (/ x (- (* x x) (* 1.0 1.0))) (- x 1.0) (- (* (+ x 1.0) (/ (+ 1.0 x) (- (* x x) (* 1.0 1.0))))))
0.0ms	(fma (/ x (- (* x x) (* 1.0 1.0))) (- x 1.0) (- (* (+ x 1.0) (/ (+ 1.0 x) (- (* x x) (* 1.0 1.0))))))
0.0ms	(fma (/ x (- (* x x) (* 1.0 1.0))) (- x 1.0) (- (* (+ x 1.0) (/ (+ 1.0 x) (- (* x x) (* 1.0 1.0))))))

series729.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(/ (+ 1.0 x) (- (* x x) (* 1.0 1.0)))
224.0ms	(fma (/ x (- (* x x) (* 1.0 1.0))) (- x 1.0) (- (* (+ x 1.0) (/ (+ 1.0 x) (- (* x x) (* 1.0 1.0))))))
257.0ms	(fma (/ x (- (* x x) (* 1.0 1.0))) (- x 1.0) (- (* (+ x 1.0) (/ (+ 1.0 x) (- (* x x) (* 1.0 1.0))))))
210.0ms	(fma (/ x (- (* x x) (* 1.0 1.0))) (- x 1.0) (- (* (+ x 1.0) (/ (+ 1.0 x) (- (* x x) (* 1.0 1.0))))))

simplify1.0s

Counts

84 → 84

Iterations

Useful iterations: done (1.0s)

Iter	Nodes	Cost
0	116	2081
1	296	2039
2	1452	1787
done	5001	1317

prune604.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ x 1.0) x)
0.0b	(/ (+ 1.0 x) (- x 1.0))
0.1b	(/ 1 (/ (+ x 1.0) x))
3.4b	(- (/ 1 (/ (+ x 1.0) x)) (/ (+ 1.0 x) (- x 1.0)))

rewrite624.0ms

Algorithm

rewrite-expression-head

Rules

3481×	`times-frac`
3231×	`*-un-lft-identity`
2177×	`add-sqr-sqrt`
1710×	`add-cube-cbrt`
1378×	`prod-diff`
532×	`distribute-lft-out`
227×	`difference-of-squares`
225×	`distribute-lft-out--`
169×	`div-inv`
136×	`associate-/r/`
55×	`flip3--` `flip--`
53×	`fma-neg`
24×	`associate-/r*`
19×	`add-exp-log`
13×	`add-cbrt-cube`
11×	`associate-/l*`
9×	`div-exp`
6×	`add-log-exp`
5×	`pow1` `cbrt-undiv`
4×	`expm1-log1p-u` `log1p-expm1-u` `associate-/l/`
3×	`frac-2neg` `clear-num`
2×	`rec-exp` `flip3-+` `1-exp` `flip-+`
1×	`sub-neg` `pow-flip` `diff-log` `frac-sub` `inv-pow`

Counts

4 → 1634

Calls

4 calls:

29.0ms	(/ (+ x 1.0) x)
27.0ms	(/ (+ 1.0 x) (- x 1.0))
18.0ms	(/ 1 (/ (+ x 1.0) x))
272.0ms	(- (/ 1 (/ (+ x 1.0) x)) (/ (+ 1.0 x) (- x 1.0)))

series292.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(/ (+ x 1.0) x)
38.0ms	(/ (+ 1.0 x) (- x 1.0))
43.0ms	(/ 1 (/ (+ x 1.0) x))
156.0ms	(- (/ 1 (/ (+ x 1.0) x)) (/ (+ 1.0 x) (- x 1.0)))

simplify1.5s

Counts

1646 → 1646

Iterations

Useful iterations: done (1.4s)

Iter	Nodes	Cost
0	1151	106535
1	2653	92371
done	5002	81894

prune1.6s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

regimes41.0ms

Accuracy

99.9% (0.0b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 29.0b

bsearch103.0ms

Steps

Iters	Range		Point
8	13587.758917488305	805653349.9608173	14855.117663651
10	-1950712569354.648	-0.00015980627971116164	-11378.676585134133

simplify6.8s

Iterations

Useful iterations: 1 (5.0ms)

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

end0.0ms

sample1.7s

Algorithm

intervals

Results

811.0ms	1727×	body	1280	valid
302.0ms	1245×	body	640	valid
209.0ms	4102×	body	80	valid
113.0ms	608×	body	320	valid
24.0ms	318×	body	160	valid