Details

sample105.0ms

Algorithm

intervals

Results

23.0ms

273×

body

valid

simplify2.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	8	203
1	25	203
2	65	203
3	132	203
4	239	203
5	356	203
6	412	203
7	436	203
8	476	203
9	555	203
10	1226	203
done	5000	203

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.6b

localize20.0ms

Local error

Found 2 expressions with local error:

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

rewrite85.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 70

Calls

2 calls:

52.0ms	(* (+ t1 u) (+ t1 u))
27.0ms	(/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))

series192.0ms

Counts

2 → 6

Calls

2 calls:

30.0ms	(* (+ t1 u) (+ t1 u))
162.0ms	(/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))

simplify2.0s

Counts

76 → 76

Iterations

Useful iterations: done (2.0s)

Iter	Nodes	Cost
0	112	20883
1	422	15630
2	3266	14790
done	5000	14750

prune300.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite111.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-cbrt-cube` `add-exp-log`
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×	`clear-num` `frac-2neg` `distribute-frac-neg`
1×	`distribute-lft-neg-out` `neg-sub0` `frac-times` `div-sub` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative`

Counts

3 → 192

Calls

3 calls:

16.0ms	(/ v (+ t1 u))
13.0ms	(/ (- t1) (+ t1 u))
67.0ms	(* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))

series260.0ms

Counts

3 → 9

Calls

3 calls:

46.0ms	(/ v (+ t1 u))
56.0ms	(/ (- t1) (+ t1 u))
157.0ms	(* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))

simplify2.8s

Counts

201 → 201

Iterations

Useful iterations: done (2.8s)

Iter	Nodes	Cost
0	213	51416
1	646	47892
2	3655	47129
done	5000	46969

prune1.1s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- t1) (+ t1 u))
0.6b	(/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
2.8b	(* (/ (- t1) (+ t1 u)) v)

rewrite87.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-cbrt-cube` `add-exp-log`
11×	`associate-/l*`
9×	`neg-mul-1`
8×	`associate-/r*`
6×	`cbrt-undiv` `div-exp` `associate-/r/`
5×	`pow1`
4×	`prod-exp` `distribute-frac-neg` `cbrt-unprod`
3×	`flip3-+` `associate-r` `flip-+` `div-inv` `add-log-exp`
2×	`distribute-lft-neg-out` `clear-num` `frac-2neg` `associate-*l/` `unswap-sqr`
1×	`neg-sub0` `div-sub` `pow-prod-down` `*-commutative` `associate-/l/`

Counts

3 → 165

Calls

3 calls:

11.0ms	(/ (- t1) (+ t1 u))
26.0ms	(/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
42.0ms	(* (/ (- t1) (+ t1 u)) v)

series336.0ms

Counts

3 → 9

Calls

3 calls:

65.0ms	(/ (- t1) (+ t1 u))
155.0ms	(/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
116.0ms	(* (/ (- t1) (+ t1 u)) v)

simplify2.1s

Counts

174 → 174

Iterations

Useful iterations: 2 (733.0ms)

Iter	Nodes	Cost
0	192	42089
1	514	39394
2	2844	39113
done	5002	39113

prune805.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite175.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×	`clear-num` `frac-2neg` `*-commutative` `unswap-sqr`
1×	`neg-sub0` `frac-times` `div-sub` `associate-*r/` `un-div-inv` `pow-flip` `inv-pow`

Counts

4 → 225

Calls

4 calls:

11.0ms	(/ (- t1) (+ t1 u))
11.0ms	(/ 1 (+ t1 u))
64.0ms	(* (* (/ (- t1) (+ t1 u)) v) (/ 1 (+ t1 u)))
75.0ms	(* (/ (- t1) (+ t1 u)) v)

series407.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(/ (- t1) (+ t1 u))
48.0ms	(/ 1 (+ t1 u))
209.0ms	(* (* (/ (- t1) (+ t1 u)) v) (/ 1 (+ t1 u)))
98.0ms	(* (/ (- t1) (+ t1 u)) v)

simplify3.6s

Counts

237 → 237

Iterations

Useful iterations: 2 (1.4s)

Iter	Nodes	Cost
0	241	59276
1	690	51670
2	4600	49634
done	5000	49634

prune936.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes319.0ms

Accuracy

0% (1.1b remaining)

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

bsearch0.0ms

simplify6.0s

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample876.0ms

Algorithm

intervals

Results

584.0ms

8265×

body

valid