Details

sample210.0ms

Algorithm

intervals

Results

47.0ms	56×	body	1280	valid
40.0ms	268×	body	80	nan
23.0ms	168×	body	80	valid
17.0ms	13×	body	2560	valid
15.0ms	26×	body	640	valid
13.0ms	14×	body	320	valid
2.0ms	8×	body	160	valid

simplify185.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	18	428
1	33	428
2	53	428
3	75	428
4	89	428
5	95	428
6	97	428
done	97	428

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 20.2b

localize420.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (* z t) 3.0)
0.2b	(/ a (* b 3.0))
0.3b	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
22.0b	(cos (- y (/ (* z t) 3.0)))

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

23×	`cos-sum`
22×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
21×	`prod-diff`
19×	`add-cbrt-cube` `add-exp-log`
15×	`times-frac`
9×	`pow1`
5×	`prod-exp` `cbrt-unprod` `div-inv`
4×	`expm1-log1p-u` `cbrt-undiv` `associate-/r` `div-exp` `log1p-expm1-u` `associate-/l` `add-log-exp`
3×	`cos-diff` `associate-r` `pow-prod-down`
2×	`clear-num` `frac-2neg`
1×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l` `*-commutative`

Counts

4 → 101

Calls

4 calls:

10.0ms	(/ (* z t) 3.0)
11.0ms	(/ a (* b 3.0))
33.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
25.0ms	(cos (- y (/ (* z t) 3.0)))

series250.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(/ (* z t) 3.0)
33.0ms	(/ a (* b 3.0))
128.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
54.0ms	(cos (- y (/ (* z t) 3.0)))

simplify2.4s

Counts

113 → 113

Iterations

Useful iterations: done (2.3s)

Iter	Nodes	Cost
0	327	46524
1	710	42335
2	1881	38713
done	5001	38408

prune1.5s

Pruning

30 alts after pruning (30 fresh and 0 done)

Merged error: 14.7b

localize117.0ms

Local error

Found 4 expressions with local error:

21.7b	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
22.0b	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
53.5b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
53.5b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `fma-udef` `log1p-expm1-u` `add-log-exp`
1×	`cos-sum` `sin-sum`

Counts

4 → 40

Calls

4 calls:

4.0ms	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
4.0ms	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
1.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
1.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

series212.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
58.0ms	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
55.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
55.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify6.9s

Counts

52 → 52

Iterations

Useful iterations: 5 (4.1s)

Iter	Nodes	Cost
0	64	14671
1	106	12204
2	200	11054
3	433	11029
4	1282	10309
5	4989	7253
done	5000	7253

prune1.1s

Pruning

33 alts after pruning (33 fresh and 0 done)

Merged error: 14.6b

localize122.0ms

Local error

Found 4 expressions with local error:

27.3b	(sin (- (* (/ t 3.0) (/ z 1))))
27.6b	(cos (- (* (/ t 3.0) (/ z 1))))
53.5b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
53.5b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `log1p-expm1-u` `add-log-exp`
2×	`neg-sub0` `fma-udef`
1×	`cos-diff` `cos-neg` `sin-neg` `sin-diff`

Counts

4 → 42

Calls

4 calls:

5.0ms	(sin (- (* (/ t 3.0) (/ z 1))))
5.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
0.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
0.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

series172.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(sin (- (* (/ t 3.0) (/ z 1))))
17.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
61.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
64.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify2.8s

Counts

54 → 54

Iterations

Useful iterations: done (2.8s)

Iter	Nodes	Cost
0	57	13088
1	92	10375
2	182	9927
3	437	9927
4	1346	9207
done	5001	7527

prune1.4s

Pruning

36 alts after pruning (36 fresh and 0 done)

Merged error: 14.6b

localize233.0ms

Local error

Found 4 expressions with local error:

27.6b	(cos (- (* (/ t 3.0) (/ z 1))))
27.6b	(cos (- (* (/ t 3.0) (/ z 1))))
53.5b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
53.5b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `log1p-expm1-u` `add-log-exp`
2×	`neg-sub0` `cos-diff` `cos-neg` `fma-udef`

Counts

4 → 42

Calls

4 calls:

10.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
9.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
0.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
1.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

series169.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
24.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
64.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
66.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify2.1s

Counts

54 → 54

Iterations

Useful iterations: done (2.1s)

Iter	Nodes	Cost
0	42	12822
1	68	9710
2	138	9262
3	304	9262
4	1124	8542
done	5000	7084

prune862.0ms

Pruning

38 alts after pruning (37 fresh and 1 done)

Merged error: 14.6b

regimes10.5s

Accuracy

53.9% (1.8b remaining)

Error of 15.7b against oracle of 14.0b and baseline of 17.8b

bsearch8.0ms

simplify3.1m

Iterations

Useful iterations: 1 (29.0ms)

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

end0.0ms

sample6.6s

Algorithm

intervals

Results

1.8s	9108×	body	80	nan
1.4s	5689×	body	80	valid
1.2s	1546×	body	1280	valid
480.0ms	961×	body	640	valid
474.0ms	377×	body	2560	valid
222.0ms	412×	body	320	valid
43.0ms	189×	body	160	valid