Table summary of progress report


#	test ﬁle #	integral #	Mathematica 13.1	Mathematica 12.3

1	3	13	1 (pass)	0 (not solved)
2	5	60	1 (pass)	0 (not solved)
3	8	57	1 (pass)	0 (not solved)
4	11	12	1 (pass)	0 (not solved)
5	11	13	1 (pass)	0 (not solved)
6	11	37	1 (pass)	0 (not solved)
7	11	92	1 (pass)	0 (not solved)
8	11	100	1 (pass)	0 (not solved)
9	11	102	1 (pass)	0 (not solved)
10	25	2963	1 (pass)	0 (not solved)
11	25	2973	1 (pass)	0 (not solved)
12	25	3053	1 (pass)	0 (not solved)
13	25	3054	1 (pass)	0 (not solved)
14	25	3055	1 (pass)	0 (not solved)
15	25	3056	1 (pass)	0 (not solved)
16	25	3057	1 (pass)	0 (not solved)
17	25	3058	1 (pass)	0 (not solved)
18	25	3059	1 (pass)	0 (not solved)
19	25	3061	1 (pass)	0 (not solved)
20	25	3062	1 (pass)	0 (not solved)
21	25	3063	1 (pass)	0 (not solved)
22	25	3065	1 (pass)	0 (not solved)
23	25	3066	1 (pass)	0 (not solved)
24	25	3067	1 (pass)	0 (not solved)
25	37	143	1 (pass)	0 (not solved)
26	40	238	1 (pass)	-1 (time out)
27	40	239	1 (pass)	-1 (time out)
28	40	240	1 (pass)	-1 (time out)
29	40	293	1 (pass)	-1 (time out)
30	40	294	1 (pass)	-1 (time out)
31	40	295	1 (pass)	-1 (time out)
32	40	307	1 (pass)	-1 (time out)
33	40	308	1 (pass)	-1 (time out)
34	40	309	1 (pass)	-1 (time out)
35	40	310	1 (pass)	-1 (time out)
36	40	311	1 (pass)	-1 (time out)
37	40	324	1 (pass)	-1 (time out)
38	40	325	1 (pass)	-1 (time out)
39	40	326	1 (pass)	-1 (time out)
40	40	327	1 (pass)	-1 (time out)
41	40	339	1 (pass)	-1 (time out)
42	40	340	1 (pass)	-1 (time out)
43	40	341	1 (pass)	-1 (time out)
44	40	342	1 (pass)	-1 (time out)
45	40	343	1 (pass)	-1 (time out)
46	40	344	1 (pass)	-1 (time out)
47	40	356	1 (pass)	-1 (time out)
48	40	357	1 (pass)	-1 (time out)
49	40	358	1 (pass)	-1 (time out)
50	40	359	1 (pass)	-1 (time out)
51	40	372	1 (pass)	-1 (time out)
52	40	373	1 (pass)	-1 (time out)
53	40	374	1 (pass)	-1 (time out)
54	40	375	1 (pass)	-1 (time out)
55	41	165	1 (pass)	-1 (time out)
56	41	201	1 (pass)	-1 (time out)
57	41	208	1 (pass)	-1 (time out)
58	41	210	1 (pass)	-1 (time out)
59	41	216	1 (pass)	-1 (time out)
60	41	218	1 (pass)	-1 (time out)
61	42	103	1 (pass)	-1 (time out)
62	42	104	1 (pass)	-1 (time out)
63	42	106	1 (pass)	-1 (time out)
64	42	107	1 (pass)	-1 (time out)
65	42	108	1 (pass)	-1 (time out)
66	42	109	1 (pass)	-1 (time out)
67	42	110	1 (pass)	-1 (time out)
68	42	111	1 (pass)	-1 (time out)
69	44	26	1 (pass)	-1 (time out)
70	44	27	1 (pass)	-1 (time out)
71	49	10	1 (pass)	-1 (time out)
72	49	14	1 (pass)	-1 (time out)
73	49	15	1 (pass)	-1 (time out)
74	52	18	1 (pass)	0 (not solved)
75	52	172	1 (pass)	0 (not solved)
76	52	913	1 (pass)	0 (not solved)
77	52	995	1 (pass)	0 (not solved)
78	52	1017	1 (pass)	0 (not solved)
79	78	4	1 (pass)	-1 (time out)
80	78	21	1 (pass)	-1 (time out)
81	89	373	1 (pass)	-1 (time out)
82	92	523	1 (pass)	-1 (time out)
83	92	530	1 (pass)	-1 (time out)
84	94	1340	1 (pass)	-1 (time out)
85	120	332	1 (pass)	-1 (time out)
86	125	81	1 (pass)	-1 (time out)
87	144	84	1 (pass)	0 (not solved)
88	147	20	1 (pass)	0 (not solved)
89	193	18	1 (pass)	0 (not solved)
90	208	183	1 (pass)	0 (not solved)
91	209	63	1 (pass)	0 (not solved)
92	209	64	1 (pass)	0 (not solved)
93	209	99	1 (pass)	0 (not solved)
94	209	119	1 (pass)	0 (not solved)
95	209	190	1 (pass)	0 (not solved)
96	209	243	1 (pass)	0 (not solved)
97	209	244	1 (pass)	0 (not solved)
98	209	245	1 (pass)	0 (not solved)
99	209	246	1 (pass)	0 (not solved)
100	209	288	1 (pass)	0 (not solved)
101	209	293	1 (pass)	0 (not solved)
102	209	343	1 (pass)	0 (not solved)
103	209	351	1 (pass)	0 (not solved)
104	209	354	1 (pass)	0 (not solved)
105	209	355	1 (pass)	0 (not solved)
106	209	371	1 (pass)	0 (not solved)
107	209	407	1 (pass)	0 (not solved)
108	209	439	1 (pass)	0 (not solved)
109	209	447	1 (pass)	0 (not solved)
110	209	469	1 (pass)	0 (not solved)
111	209	501	1 (pass)	0 (not solved)
112	209	509	1 (pass)	0 (not solved)
113	209	525	1 (pass)	0 (not solved)
114	209	526	1 (pass)	0 (not solved)
115	209	531	1 (pass)	0 (not solved)
116	209	561	1 (pass)	0 (not solved)
117	209	575	1 (pass)	0 (not solved)
118	209	582	1 (pass)	0 (not solved)
119	209	592	1 (pass)	0 (not solved)
120	209	600	1 (pass)	0 (not solved)
121	209	602	1 (pass)	0 (not solved)
122	209	619	1 (pass)	0 (not solved)
123	209	625	1 (pass)	0 (not solved)
124	209	631	1 (pass)	0 (not solved)
125	209	632	1 (pass)	0 (not solved)
126	209	633	1 (pass)	0 (not solved)
127	209	641	1 (pass)	0 (not solved)
128	209	647	1 (pass)	0 (not solved)
129	209	648	1 (pass)	0 (not solved)
130	209	650	1 (pass)	0 (not solved)
131	209	692	1 (pass)	0 (not solved)
132	209	715	1 (pass)	0 (not solved)
133	209	716	1 (pass)	0 (not solved)
134	209	720	1 (pass)	0 (not solved)
135	209	727	1 (pass)	0 (not solved)
136	209	741	1 (pass)	0 (not solved)
137	209	742	1 (pass)	0 (not solved)
138	209	765	1 (pass)	0 (not solved)
139	209	766	1 (pass)	0 (not solved)
140	209	767	1 (pass)	0 (not solved)
141	209	768	1 (pass)	0 (not solved)
142	209	769	1 (pass)	0 (not solved)
143	209	770	1 (pass)	0 (not solved)
144	209	771	1 (pass)	0 (not solved)
145	209	772	1 (pass)	0 (not solved)
146	209	773	1 (pass)	0 (not solved)
147	209	774	1 (pass)	0 (not solved)
148	209	800	1 (pass)	0 (not solved)
149	209	801	1 (pass)	0 (not solved)
150	209	802	1 (pass)	0 (not solved)
151	209	807	1 (pass)	0 (not solved)
152	209	808	1 (pass)	0 (not solved)
153	209	809	1 (pass)	0 (not solved)
154	209	810	1 (pass)	0 (not solved)
155	209	811	1 (pass)	0 (not solved)
156	209	822	1 (pass)	0 (not solved)
157	209	840	1 (pass)	0 (not solved)
158	209	858	1 (pass)	0 (not solved)
159	209	859	1 (pass)	0 (not solved)
160	209	860	1 (pass)	0 (not solved)
161	209	861	1 (pass)	0 (not solved)
162	209	864	1 (pass)	0 (not solved)
163	209	865	1 (pass)	0 (not solved)
164	209	872	1 (pass)	0 (not solved)
165	209	882	1 (pass)	0 (not solved)
166	209	883	1 (pass)	0 (not solved)
167	209	884	1 (pass)	0 (not solved)
168	209	885	1 (pass)	0 (not solved)
169	209	886	1 (pass)	0 (not solved)
170	209	899	1 (pass)	0 (not solved)
171	209	902	1 (pass)	0 (not solved)
172	209	914	1 (pass)	0 (not solved)
173	209	923	1 (pass)	0 (not solved)
174	209	924	1 (pass)	0 (not solved)
175	209	928	1 (pass)	0 (not solved)
176	209	937	1 (pass)	0 (not solved)
177	209	938	1 (pass)	0 (not solved)
178	209	939	1 (pass)	0 (not solved)
179	209	940	1 (pass)	0 (not solved)
180	209	941	1 (pass)	0 (not solved)
181	209	950	1 (pass)	0 (not solved)
182	209	954	1 (pass)	0 (not solved)
183	209	958	1 (pass)	0 (not solved)
184	209	960	1 (pass)	0 (not solved)
185	209	964	1 (pass)	0 (not solved)
186	209	965	1 (pass)	0 (not solved)
187	209	976	1 (pass)	0 (not solved)
188	209	987	1 (pass)	0 (not solved)
189	209	988	1 (pass)	0 (not solved)
190	209	995	1 (pass)	0 (not solved)
191	209	1023	1 (pass)	0 (not solved)
192	209	1024	1 (pass)	0 (not solved)
193	209	1031	1 (pass)	0 (not solved)
194	209	1037	1 (pass)	0 (not solved)
195	209	1038	1 (pass)	0 (not solved)
196	209	1039	1 (pass)	0 (not solved)
197	209	1040	1 (pass)	0 (not solved)
198	209	1041	1 (pass)	0 (not solved)
199	209	1052	1 (pass)	0 (not solved)
200	209	1053	1 (pass)	0 (not solved)
201	209	1054	1 (pass)	0 (not solved)
202	209	1055	1 (pass)	0 (not solved)
203	209	1060	1 (pass)	0 (not solved)
204	209	1064	1 (pass)	0 (not solved)
205	209	1067	1 (pass)	0 (not solved)
206	209	1068	1 (pass)	0 (not solved)
207	209	1069	1 (pass)	0 (not solved)
208	209	1070	1 (pass)	0 (not solved)
209	209	1071	1 (pass)	0 (not solved)
210	209	1078	1 (pass)	0 (not solved)
211	209	1079	1 (pass)	0 (not solved)
212	209	1080	1 (pass)	0 (not solved)
213	209	1082	1 (pass)	0 (not solved)
214	209	1090	1 (pass)	0 (not solved)
215	209	1096	1 (pass)	0 (not solved)
216	209	1108	1 (pass)	0 (not solved)
217	209	1110	1 (pass)	0 (not solved)
218	209	1114	1 (pass)	0 (not solved)
219	209	1124	1 (pass)	0 (not solved)
220	209	1135	1 (pass)	0 (not solved)
221	209	1139	1 (pass)	0 (not solved)
222	209	1143	1 (pass)	0 (not solved)
223	209	1151	1 (pass)	0 (not solved)
224	209	1153	1 (pass)	0 (not solved)
225	209	1158	1 (pass)	0 (not solved)
226	209	1168	1 (pass)	0 (not solved)
227	209	1169	1 (pass)	0 (not solved)
228	209	1170	1 (pass)	0 (not solved)
229	209	1171	1 (pass)	0 (not solved)
230	209	1172	1 (pass)	0 (not solved)
231	209	1173	1 (pass)	0 (not solved)
232	209	1174	1 (pass)	0 (not solved)
233	209	1182	1 (pass)	0 (not solved)
234	209	1183	1 (pass)	0 (not solved)
235	209	1191	1 (pass)	0 (not solved)
236	209	1197	1 (pass)	0 (not solved)
237	209	1198	1 (pass)	0 (not solved)
238	209	1209	1 (pass)	0 (not solved)
239	209	1212	1 (pass)	0 (not solved)
240	209	1225	1 (pass)	0 (not solved)
241	209	1234	1 (pass)	0 (not solved)
242	209	1235	1 (pass)	0 (not solved)
243	209	1236	1 (pass)	0 (not solved)
244	209	1237	1 (pass)	0 (not solved)
245	209	1238	1 (pass)	0 (not solved)
246	209	1243	1 (pass)	0 (not solved)
247	209	1244	1 (pass)	0 (not solved)
248	209	1248	1 (pass)	0 (not solved)
249	209	1249	1 (pass)	0 (not solved)
250	209	1250	1 (pass)	0 (not solved)
251	209	1253	1 (pass)	0 (not solved)
252	209	1254	1 (pass)	0 (not solved)
253	209	1255	1 (pass)	0 (not solved)
254	209	1260	1 (pass)	0 (not solved)
255	209	1264	1 (pass)	0 (not solved)
256	209	1277	1 (pass)	0 (not solved)
257	209	1283	1 (pass)	0 (not solved)
258	209	1285	1 (pass)	0 (not solved)
259	209	1288	1 (pass)	0 (not solved)
260	209	1300	1 (pass)	0 (not solved)
261	209	1307	1 (pass)	0 (not solved)
262	209	1308	1 (pass)	0 (not solved)
263	209	1309	1 (pass)	0 (not solved)
264	209	1310	1 (pass)	0 (not solved)
265	209	1311	1 (pass)	0 (not solved)
266	209	1315	1 (pass)	0 (not solved)
267	209	1317	1 (pass)	0 (not solved)
268	209	1318	1 (pass)	0 (not solved)
269	209	1320	1 (pass)	0 (not solved)
270	209	1321	1 (pass)	0 (not solved)
271	209	1322	1 (pass)	0 (not solved)
272	209	1323	1 (pass)	0 (not solved)
273	209	1324	1 (pass)	0 (not solved)
274	209	1325	1 (pass)	0 (not solved)
275	209	1332	1 (pass)	0 (not solved)
276	209	1334	1 (pass)	0 (not solved)
277	209	1335	1 (pass)	0 (not solved)
278	209	1336	1 (pass)	0 (not solved)
279	209	1353	1 (pass)	0 (not solved)
280	209	1366	1 (pass)	0 (not solved)
281	209	1367	1 (pass)	0 (not solved)
282	209	1368	1 (pass)	0 (not solved)
283	209	1390	1 (pass)	0 (not solved)
284	209	1393	1 (pass)	0 (not solved)
285	209	1394	1 (pass)	0 (not solved)
286	209	1399	1 (pass)	0 (not solved)
287	209	1402	1 (pass)	0 (not solved)
288	209	1419	1 (pass)	0 (not solved)
289	209	1425	1 (pass)	0 (not solved)
290	209	1426	1 (pass)	0 (not solved)
291	209	1428	1 (pass)	0 (not solved)
292	209	1429	1 (pass)	0 (not solved)
293	209	1430	1 (pass)	0 (not solved)
294	209	1431	1 (pass)	0 (not solved)
295	209	1443	1 (pass)	0 (not solved)
296	209	1444	1 (pass)	0 (not solved)
297	209	1449	1 (pass)	0 (not solved)
298	209	1450	1 (pass)	0 (not solved)
299	209	1455	1 (pass)	0 (not solved)
300	209	1475	1 (pass)	0 (not solved)
301	209	1483	1 (pass)	0 (not solved)
302	209	1495	1 (pass)	0 (not solved)
303	209	1496	1 (pass)	0 (not solved)
304	209	1501	1 (pass)	0 (not solved)
305	209	1504	1 (pass)	0 (not solved)
306	209	1507	1 (pass)	0 (not solved)
307	209	1508	1 (pass)	0 (not solved)
308	209	1509	1 (pass)	0 (not solved)
309	209	1510	1 (pass)	0 (not solved)
310	209	1511	1 (pass)	0 (not solved)
311	209	1513	1 (pass)	0 (not solved)
312	209	1516	1 (pass)	0 (not solved)
313	209	1517	1 (pass)	0 (not solved)
314	209	1520	1 (pass)	0 (not solved)
315	209	1521	1 (pass)	0 (not solved)
316	209	1522	1 (pass)	0 (not solved)
317	209	1524	1 (pass)	0 (not solved)
318	209	1525	1 (pass)	0 (not solved)
319	209	1532	1 (pass)	0 (not solved)
320	209	1533	1 (pass)	0 (not solved)
321	209	1536	1 (pass)	0 (not solved)
322	209	1537	1 (pass)	0 (not solved)
323	209	1539	1 (pass)	0 (not solved)
324	209	1540	1 (pass)	0 (not solved)
325	209	1541	1 (pass)	0 (not solved)
326	209	1559	1 (pass)	0 (not solved)
327	209	1568	1 (pass)	0 (not solved)
328	209	1570	1 (pass)	0 (not solved)
329	209	1582	1 (pass)	0 (not solved)
330	209	1583	1 (pass)	0 (not solved)
331	209	1584	1 (pass)	0 (not solved)
332	209	1591	1 (pass)	0 (not solved)
333	209	1592	1 (pass)	0 (not solved)
334	209	1595	1 (pass)	0 (not solved)
335	209	1596	1 (pass)	0 (not solved)
336	209	1601	1 (pass)	0 (not solved)
337	209	1613	1 (pass)	0 (not solved)
338	209	1614	1 (pass)	0 (not solved)
339	209	1622	1 (pass)	0 (not solved)
340	209	1623	1 (pass)	0 (not solved)
341	209	1630	1 (pass)	0 (not solved)
342	209	1632	1 (pass)	0 (not solved)
343	209	1638	1 (pass)	0 (not solved)
344	209	1641	1 (pass)	0 (not solved)
345	209	1643	1 (pass)	0 (not solved)
346	209	1644	1 (pass)	0 (not solved)
347	209	1654	1 (pass)	0 (not solved)
348	209	1659	1 (pass)	0 (not solved)
349	209	1676	1 (pass)	0 (not solved)
350	209	1677	1 (pass)	0 (not solved)
351	209	1678	1 (pass)	0 (not solved)
352	209	1689	1 (pass)	0 (not solved)
353	209	1690	1 (pass)	0 (not solved)
354	209	1691	1 (pass)	0 (not solved)
355	209	1692	1 (pass)	0 (not solved)
356	209	1693	1 (pass)	0 (not solved)
357	209	1694	1 (pass)	0 (not solved)
358	209	1699	1 (pass)	0 (not solved)
359	209	1700	1 (pass)	0 (not solved)
360	209	1706	1 (pass)	0 (not solved)
361	209	1710	1 (pass)	0 (not solved)
362	209	1711	1 (pass)	0 (not solved)
363	209	1712	1 (pass)	0 (not solved)
364	209	1713	1 (pass)	0 (not solved)
365	209	1719	1 (pass)	0 (not solved)
366	209	1727	1 (pass)	0 (not solved)
367	209	1728	1 (pass)	0 (not solved)
368	209	1737	1 (pass)	0 (not solved)
369	209	1741	1 (pass)	0 (not solved)
370	209	1742	1 (pass)	0 (not solved)
371	209	1750	1 (pass)	0 (not solved)
372	209	1751	1 (pass)	0 (not solved)
373	209	1752	1 (pass)	0 (not solved)
374	209	1754	1 (pass)	0 (not solved)
375	209	1755	1 (pass)	0 (not solved)
376	209	1759	1 (pass)	0 (not solved)
377	209	1761	1 (pass)	0 (not solved)
378	209	1763	1 (pass)	0 (not solved)
379	209	1765	1 (pass)	0 (not solved)
380	209	1766	1 (pass)	0 (not solved)
381	209	1767	1 (pass)	0 (not solved)
382	209	1768	1 (pass)	0 (not solved)
383	209	1790	1 (pass)	0 (not solved)
384	209	1793	1 (pass)	0 (not solved)
385	209	1794	1 (pass)	0 (not solved)
386	209	1797	1 (pass)	0 (not solved)
387	209	1803	1 (pass)	0 (not solved)
388	209	1804	1 (pass)	0 (not solved)
389	209	1813	1 (pass)	0 (not solved)
390	209	1814	1 (pass)	0 (not solved)
391	209	1820	1 (pass)	0 (not solved)
392	209	1826	1 (pass)	0 (not solved)
393	209	1827	1 (pass)	0 (not solved)
394	209	1828	1 (pass)	0 (not solved)
395	209	1835	1 (pass)	0 (not solved)
396	209	1841	1 (pass)	0 (not solved)
397	209	1843	1 (pass)	0 (not solved)
398	209	1844	1 (pass)	0 (not solved)
399	209	1846	1 (pass)	0 (not solved)
400	209	1849	1 (pass)	0 (not solved)
401	209	1856	1 (pass)	0 (not solved)
402	209	1865	1 (pass)	0 (not solved)
403	209	1866	1 (pass)	0 (not solved)
404	209	1867	1 (pass)	0 (not solved)
405	209	1868	1 (pass)	0 (not solved)
406	209	1875	1 (pass)	0 (not solved)
407	209	1880	1 (pass)	0 (not solved)
408	209	1881	1 (pass)	0 (not solved)
409	209	1889	1 (pass)	0 (not solved)
410	209	1892	1 (pass)	0 (not solved)
411	209	1893	1 (pass)	0 (not solved)
412	209	1894	1 (pass)	0 (not solved)
413	209	1900	1 (pass)	0 (not solved)
414	209	1901	1 (pass)	0 (not solved)
415	209	1902	1 (pass)	0 (not solved)
416	209	1904	1 (pass)	0 (not solved)
417	209	1905	1 (pass)	0 (not solved)
418	209	1915	1 (pass)	0 (not solved)
419	209	1917	1 (pass)	0 (not solved)
420	209	1918	1 (pass)	0 (not solved)
421	209	1919	1 (pass)	0 (not solved)
422	209	1920	1 (pass)	0 (not solved)
423	209	1923	1 (pass)	0 (not solved)
424	209	1924	1 (pass)	0 (not solved)
425	209	1929	1 (pass)	0 (not solved)
426	209	1934	1 (pass)	0 (not solved)
427	209	1937	1 (pass)	0 (not solved)
428	209	1944	1 (pass)	0 (not solved)
429	209	1945	1 (pass)	0 (not solved)
430	209	1953	1 (pass)	0 (not solved)
431	209	1960	1 (pass)	0 (not solved)
432	209	1965	1 (pass)	0 (not solved)
433	209	1967	1 (pass)	0 (not solved)
434	209	1968	1 (pass)	0 (not solved)
435	209	1969	1 (pass)	0 (not solved)
436	209	1979	1 (pass)	0 (not solved)
437	209	1980	1 (pass)	0 (not solved)
438	209	1982	1 (pass)	0 (not solved)
439	209	1983	1 (pass)	0 (not solved)
440	209	1991	1 (pass)	-1 (time out)
441	209	1992	1 (pass)	-1 (time out)
442	209	1996	1 (pass)	0 (not solved)
443	209	2002	1 (pass)	0 (not solved)
444	209	2003	1 (pass)	0 (not solved)
445	209	2009	1 (pass)	0 (not solved)
446	209	2010	1 (pass)	0 (not solved)
447	209	2011	1 (pass)	0 (not solved)
448	209	2012	1 (pass)	0 (not solved)
449	209	2014	1 (pass)	0 (not solved)
450	209	2016	1 (pass)	0 (not solved)
451	209	2026	1 (pass)	0 (not solved)
452	209	2031	1 (pass)	0 (not solved)
453	209	2036	1 (pass)	0 (not solved)
454	209	2041	1 (pass)	0 (not solved)
455	209	2042	1 (pass)	0 (not solved)
456	209	2043	1 (pass)	0 (not solved)
457	209	2044	1 (pass)	0 (not solved)
458	209	2053	1 (pass)	0 (not solved)
459	209	2055	1 (pass)	0 (not solved)
460	209	2067	1 (pass)	0 (not solved)
461	209	2069	1 (pass)	0 (not solved)
462	209	2078	1 (pass)	0 (not solved)
463	209	2086	1 (pass)	0 (not solved)
464	209	2087	1 (pass)	0 (not solved)
465	209	2089	1 (pass)	0 (not solved)
466	209	2092	1 (pass)	0 (not solved)
467	209	2094	1 (pass)	0 (not solved)
468	209	2095	1 (pass)	0 (not solved)
469	209	2098	1 (pass)	0 (not solved)
470	209	2101	1 (pass)	0 (not solved)
471	209	2102	1 (pass)	0 (not solved)
472	209	2115	1 (pass)	0 (not solved)
473	209	2116	1 (pass)	0 (not solved)
474	209	2122	1 (pass)	0 (not solved)
475	209	2123	1 (pass)	0 (not solved)
476	209	2124	1 (pass)	0 (not solved)
477	209	2130	1 (pass)	0 (not solved)
478	209	2131	1 (pass)	0 (not solved)
479	209	2133	1 (pass)	0 (not solved)
480	209	2137	1 (pass)	0 (not solved)
481	209	2140	1 (pass)	0 (not solved)
482	209	2144	1 (pass)	0 (not solved)
483	209	2145	1 (pass)	0 (not solved)
484	209	2150	1 (pass)	0 (not solved)
485	209	2154	1 (pass)	0 (not solved)
486	209	2167	1 (pass)	0 (not solved)
487	209	2168	1 (pass)	0 (not solved)
488	209	2174	1 (pass)	0 (not solved)
489	209	2175	1 (pass)	0 (not solved)
490	209	2183	1 (pass)	0 (not solved)
491	209	2192	1 (pass)	0 (not solved)
492	209	2193	1 (pass)	0 (not solved)
493	209	2194	1 (pass)	0 (not solved)
494	209	2195	1 (pass)	0 (not solved)
495	209	2196	1 (pass)	0 (not solved)
496	209	2211	1 (pass)	0 (not solved)
497	209	2212	1 (pass)	0 (not solved)
498	209	2213	1 (pass)	0 (not solved)
499	209	2214	1 (pass)	0 (not solved)
500	209	2216	1 (pass)	0 (not solved)
501	209	2222	1 (pass)	-1 (time out)
502	209	2223	1 (pass)	0 (not solved)
503	209	2237	1 (pass)	0 (not solved)
504	209	2238	1 (pass)	0 (not solved)
505	209	2242	1 (pass)	0 (not solved)
506	209	2248	1 (pass)	0 (not solved)
507	209	2250	1 (pass)	0 (not solved)
508	209	2253	1 (pass)	0 (not solved)
509	209	2254	1 (pass)	0 (not solved)
510	209	2255	1 (pass)	0 (not solved)
511	209	2259	1 (pass)	0 (not solved)
512	209	2261	1 (pass)	0 (not solved)
513	209	2266	1 (pass)	0 (not solved)
514	209	2267	1 (pass)	0 (not solved)
515	209	2269	1 (pass)	0 (not solved)
516	209	2279	1 (pass)	0 (not solved)
517	209	2288	1 (pass)	0 (not solved)
518	209	2289	1 (pass)	0 (not solved)
519	209	2293	1 (pass)	0 (not solved)
520	209	2294	1 (pass)	0 (not solved)
521	209	2296	1 (pass)	0 (not solved)
522	209	2298	1 (pass)	0 (not solved)
523	209	2299	1 (pass)	0 (not solved)
524	209	2301	1 (pass)	0 (not solved)
525	209	2302	1 (pass)	0 (not solved)
526	209	2303	1 (pass)	-1 (time out)
527	209	2304	1 (pass)	0 (not solved)
528	209	2306	1 (pass)	0 (not solved)
529	209	2307	1 (pass)	0 (not solved)
530	209	2311	1 (pass)	0 (not solved)
531	209	2315	1 (pass)	0 (not solved)
532	209	2323	1 (pass)	0 (not solved)
533	209	2328	1 (pass)	0 (not solved)
534	209	2331	1 (pass)	0 (not solved)
535	209	2332	1 (pass)	0 (not solved)
536	209	2334	1 (pass)	0 (not solved)
537	209	2337	1 (pass)	0 (not solved)
538	209	2341	1 (pass)	0 (not solved)
539	209	2352	1 (pass)	0 (not solved)
540	209	2362	1 (pass)	0 (not solved)
541	209	2363	1 (pass)	0 (not solved)
542	209	2371	1 (pass)	0 (not solved)
543	209	2372	1 (pass)	0 (not solved)
544	209	2374	1 (pass)	0 (not solved)
545	209	2375	1 (pass)	0 (not solved)
546	209	2376	1 (pass)	0 (not solved)
547	209	2377	1 (pass)	0 (not solved)
548	209	2382	1 (pass)	0 (not solved)
549	209	2386	1 (pass)	0 (not solved)
550	209	2387	1 (pass)	0 (not solved)
551	209	2389	1 (pass)	0 (not solved)
552	209	2390	1 (pass)	0 (not solved)
553	209	2393	1 (pass)	0 (not solved)
554	209	2397	1 (pass)	0 (not solved)
555	209	2409	1 (pass)	0 (not solved)
556	209	2410	1 (pass)	0 (not solved)
557	209	2419	1 (pass)	0 (not solved)
558	209	2429	1 (pass)	0 (not solved)
559	209	2430	1 (pass)	0 (not solved)
560	209	2432	1 (pass)	0 (not solved)
561	209	2434	1 (pass)	0 (not solved)
562	209	2437	1 (pass)	0 (not solved)
563	209	2455	1 (pass)	0 (not solved)
564	209	2467	1 (pass)	0 (not solved)
565	209	2468	1 (pass)	0 (not solved)
566	209	2469	1 (pass)	0 (not solved)
567	209	2474	1 (pass)	0 (not solved)
568	209	2475	1 (pass)	0 (not solved)
569	209	2476	1 (pass)	0 (not solved)
570	209	2482	1 (pass)	0 (not solved)
571	209	2483	1 (pass)	0 (not solved)
572	209	2492	1 (pass)	0 (not solved)
573	209	2493	1 (pass)	0 (not solved)
574	209	2494	1 (pass)	0 (not solved)
575	209	2495	1 (pass)	0 (not solved)
576	209	2497	1 (pass)	0 (not solved)
577	209	2504	1 (pass)	0 (not solved)
578	209	2505	1 (pass)	0 (not solved)
579	209	2506	1 (pass)	0 (not solved)
580	209	2507	1 (pass)	0 (not solved)
581	209	2508	1 (pass)	0 (not solved)
582	209	2510	1 (pass)	0 (not solved)
583	209	2513	1 (pass)	0 (not solved)
584	209	2514	1 (pass)	0 (not solved)
585	209	2517	1 (pass)	0 (not solved)
586	209	2518	1 (pass)	0 (not solved)
587	209	2525	1 (pass)	0 (not solved)
588	209	2526	1 (pass)	0 (not solved)
589	209	2527	1 (pass)	0 (not solved)
590	209	2528	1 (pass)	0 (not solved)
591	209	2530	1 (pass)	0 (not solved)
592	209	2531	1 (pass)	0 (not solved)
593	209	2536	1 (pass)	-1 (time out)
594	209	2537	1 (pass)	0 (not solved)
595	209	2542	1 (pass)	0 (not solved)
596	209	2548	1 (pass)	0 (not solved)
597	209	2554	1 (pass)	0 (not solved)
598	209	2555	1 (pass)	0 (not solved)
599	209	2557	1 (pass)	0 (not solved)
600	209	2558	1 (pass)	0 (not solved)
601	209	2559	1 (pass)	0 (not solved)
602	209	2560	1 (pass)	0 (not solved)
603	209	2563	1 (pass)	0 (not solved)
604	209	2567	1 (pass)	0 (not solved)
605	209	2568	1 (pass)	0 (not solved)
606	209	2571	1 (pass)	0 (not solved)
607	209	2572	1 (pass)	0 (not solved)
608	209	2586	1 (pass)	0 (not solved)
609	209	2589	1 (pass)	0 (not solved)
610	209	2590	1 (pass)	0 (not solved)
611	209	2593	1 (pass)	0 (not solved)
612	209	2596	1 (pass)	0 (not solved)
613	209	2598	1 (pass)	0 (not solved)
614	209	2600	1 (pass)	0 (not solved)
615	209	2601	1 (pass)	0 (not solved)
616	209	2602	1 (pass)	0 (not solved)
617	209	2606	1 (pass)	0 (not solved)
618	209	2608	1 (pass)	0 (not solved)
619	209	2614	1 (pass)	0 (not solved)
620	209	2615	1 (pass)	0 (not solved)
621	209	2622	1 (pass)	0 (not solved)
622	209	2627	1 (pass)	0 (not solved)
623	209	2634	1 (pass)	0 (not solved)
624	209	2644	1 (pass)	0 (not solved)
625	209	2645	1 (pass)	0 (not solved)
626	209	2646	1 (pass)	0 (not solved)
627	209	2647	1 (pass)	0 (not solved)
628	209	2654	1 (pass)	0 (not solved)
629	209	2655	1 (pass)	0 (not solved)
630	209	2658	1 (pass)	0 (not solved)
631	209	2659	1 (pass)	0 (not solved)
632	209	2662	1 (pass)	0 (not solved)
633	209	2664	1 (pass)	0 (not solved)
634	209	2665	1 (pass)	0 (not solved)
635	209	2666	1 (pass)	0 (not solved)
636	209	2675	1 (pass)	0 (not solved)
637	209	2676	1 (pass)	0 (not solved)
638	209	2677	1 (pass)	0 (not solved)
639	209	2678	1 (pass)	0 (not solved)
640	209	2679	1 (pass)	0 (not solved)
641	209	2680	1 (pass)	0 (not solved)
642	209	2685	1 (pass)	0 (not solved)
643	209	2689	1 (pass)	0 (not solved)
644	209	2697	1 (pass)	-1 (time out)
645	209	2698	1 (pass)	0 (not solved)
646	209	2699	1 (pass)	0 (not solved)
647	209	2701	1 (pass)	0 (not solved)
648	209	2704	1 (pass)	0 (not solved)
649	209	2705	1 (pass)	0 (not solved)
650	209	2711	1 (pass)	0 (not solved)
651	209	2722	1 (pass)	0 (not solved)
652	209	2723	1 (pass)	0 (not solved)
653	209	2731	1 (pass)	0 (not solved)
654	209	2733	1 (pass)	0 (not solved)
655	209	2737	1 (pass)	0 (not solved)
656	209	2738	1 (pass)	0 (not solved)
657	209	2745	1 (pass)	0 (not solved)
658	209	2748	1 (pass)	0 (not solved)
659	209	2749	1 (pass)	0 (not solved)
660	209	2753	1 (pass)	0 (not solved)
661	209	2754	1 (pass)	0 (not solved)
662	209	2763	1 (pass)	0 (not solved)
663	209	2765	1 (pass)	0 (not solved)
664	209	2768	1 (pass)	0 (not solved)
665	209	2776	1 (pass)	0 (not solved)
666	209	2783	1 (pass)	0 (not solved)
667	209	2784	1 (pass)	0 (not solved)
668	209	2790	1 (pass)	0 (not solved)
669	209	2791	1 (pass)	0 (not solved)
670	209	2795	1 (pass)	0 (not solved)
671	209	2796	1 (pass)	0 (not solved)
672	209	2798	1 (pass)	0 (not solved)
673	209	2801	1 (pass)	0 (not solved)
674	209	2802	1 (pass)	0 (not solved)
675	209	2804	1 (pass)	0 (not solved)
676	209	2805	1 (pass)	0 (not solved)
677	209	2806	1 (pass)	0 (not solved)
678	209	2808	1 (pass)	0 (not solved)
679	209	2812	1 (pass)	0 (not solved)
680	209	2813	1 (pass)	0 (not solved)
681	209	2818	1 (pass)	0 (not solved)
682	209	2819	1 (pass)	0 (not solved)
683	209	2825	1 (pass)	0 (not solved)
684	209	2826	1 (pass)	0 (not solved)
685	209	2828	1 (pass)	0 (not solved)
686	209	2829	1 (pass)	0 (not solved)
687	209	2830	1 (pass)	0 (not solved)
688	209	2831	1 (pass)	0 (not solved)
689	209	2833	1 (pass)	0 (not solved)
690	209	2835	1 (pass)	0 (not solved)
691	209	2838	1 (pass)	0 (not solved)
692	209	2844	1 (pass)	0 (not solved)
693	209	2849	1 (pass)	0 (not solved)
694	209	2852	1 (pass)	0 (not solved)
695	209	2855	1 (pass)	0 (not solved)
696	209	2869	1 (pass)	0 (not solved)
697	209	2870	1 (pass)	0 (not solved)
698	209	2875	1 (pass)	0 (not solved)
699	209	2883	1 (pass)	0 (not solved)
700	209	2885	1 (pass)	0 (not solved)
701	209	2892	1 (pass)	0 (not solved)
702	209	2894	1 (pass)	0 (not solved)
703	209	2896	1 (pass)	0 (not solved)
704	209	2901	1 (pass)	0 (not solved)
705	209	2902	1 (pass)	0 (not solved)
706	209	2905	1 (pass)	0 (not solved)
707	209	2906	1 (pass)	0 (not solved)
708	209	2912	1 (pass)	0 (not solved)
709	209	2913	1 (pass)	-1 (time out)
710	209	2919	1 (pass)	0 (not solved)
711	209	2934	1 (pass)	0 (not solved)
712	209	2940	1 (pass)	0 (not solved)
713	209	2941	1 (pass)	0 (not solved)
714	209	2942	1 (pass)	0 (not solved)
715	209	2947	1 (pass)	0 (not solved)
716	209	2948	1 (pass)	0 (not solved)
717	209	2953	1 (pass)	0 (not solved)
718	209	2960	1 (pass)	0 (not solved)
719	209	2962	1 (pass)	0 (not solved)
720	209	2963	1 (pass)	0 (not solved)
721	209	2969	1 (pass)	0 (not solved)
722	209	2976	1 (pass)	-1 (time out)
723	209	2977	1 (pass)	0 (not solved)
724	209	2986	1 (pass)	-1 (time out)
725	209	2987	1 (pass)	0 (not solved)
726	209	2992	1 (pass)	0 (not solved)
727	209	2993	1 (pass)	0 (not solved)
728	209	2999	1 (pass)	0 (not solved)
729	209	3000	1 (pass)	0 (not solved)
730	209	3001	1 (pass)	0 (not solved)
731	209	3002	1 (pass)	0 (not solved)
732	209	3003	1 (pass)	0 (not solved)
733	209	3004	1 (pass)	0 (not solved)
734	209	3006	1 (pass)	0 (not solved)
735	209	3007	1 (pass)	0 (not solved)
736	209	3009	1 (pass)	0 (not solved)
737	209	3010	1 (pass)	0 (not solved)
738	209	3025	1 (pass)	0 (not solved)
739	209	3026	1 (pass)	0 (not solved)
740	209	3027	1 (pass)	0 (not solved)
741	209	3028	1 (pass)	0 (not solved)
742	209	3034	1 (pass)	-1 (time out)
743	209	3043	1 (pass)	0 (not solved)
744	209	3044	1 (pass)	0 (not solved)
745	209	3045	1 (pass)	0 (not solved)
746	209	3050	1 (pass)	0 (not solved)
747	209	3051	1 (pass)	0 (not solved)
748	209	3058	1 (pass)	0 (not solved)
749	209	3059	1 (pass)	0 (not solved)
750	209	3060	1 (pass)	0 (not solved)
751	209	3061	1 (pass)	0 (not solved)
752	209	3070	1 (pass)	0 (not solved)
753	209	3079	1 (pass)	0 (not solved)
754	209	3081	1 (pass)	0 (not solved)
755	209	3082	1 (pass)	0 (not solved)
756	209	3085	1 (pass)	0 (not solved)
757	209	3086	1 (pass)	0 (not solved)
758	209	3090	1 (pass)	0 (not solved)
759	209	3095	1 (pass)	0 (not solved)
760	209	3099	1 (pass)	0 (not solved)
761	209	3102	1 (pass)	0 (not solved)
762	209	3108	1 (pass)	0 (not solved)
763	209	3111	1 (pass)	0 (not solved)
764	209	3112	1 (pass)	0 (not solved)
765	209	3113	1 (pass)	0 (not solved)
766	209	3114	1 (pass)	0 (not solved)
767	209	3117	1 (pass)	0 (not solved)
768	209	3120	1 (pass)	-1 (time out)
769	209	3128	1 (pass)	0 (not solved)
770	209	3132	1 (pass)	-1 (time out)
771	209	3139	1 (pass)	0 (not solved)
772	209	3141	1 (pass)	0 (not solved)
773	209	3142	1 (pass)	0 (not solved)
774	209	3143	1 (pass)	-1 (time out)
775	209	3145	1 (pass)	0 (not solved)
776	210	768	1 (pass)	0 (not solved)
777	210	4787	1 (pass)	0 (not solved)
778	210	8098	1 (pass)	0 (not solved)
779	210	8169	1 (pass)	0 (not solved)
780	210	8528	1 (pass)	0 (not solved)

1 Table summary of progress report