sidekick/tests/ssa/ssa7552-160.cnf

c FILE:  ssa7552-160.cnf
c
c SOURCE: Allen Van Gelder (avg@cs.ucsd.edu) and Yumi Tsuji
c        (tsuji@cse.ucsc.edu) 
c
c Nemesis formula in 6CNF in accordance with DIMACS CNF format:
c    Filename: MCNC/c7552/c7552.tdl
c    Formula number 160
c    13090 variables (range: 2 - 13091)
c    3126 clauses
c
c p cnf 13091 3126
p cnf 1391 3126
1391	0
230	0
231	0
-229	0
-127	-1386	0
125	-1386	0
127	-1387	0
-125	-1387	0
-1387	1385	0
-1386	1385	0
347	125	0
224	125	0
652	125	0
-348	126	0
-225	126	0
-225	652	0
-348	652	0
349	127	0
226	127	0
652	127	0
-862	-652	0
653	-861	0
-653	861	0
653	-862	0
-653	862	0
864	653	0
661	-864	0
-661	864	0
661	-865	0
-661	865	0
866	661	0
-866	-661	0
863	-866	0
-863	866	0
863	-867	0
-863	867	0
141	-575	0
-141	575	0
141	-576	0
-141	576	0
141	-579	0
-141	579	0
141	-632	0
-141	632	0
141	-1002	0
-141	1002	0
141	-1007	0
-141	1007	0
627	141	0
-627	-141	0
50	-138	0
-50	138	0
50	-139	0
-50	139	0
50	-140	0
-50	140	0
50	-327	0
-50	327	0
50	-394	0
-50	394	0
50	-395	0
-50	395	0
50	-627	0
-50	627	0
50	-997	0
-50	997	0
50	-999	0
-50	999	0
998	-1005	0
-998	1005	0
998	-1006	0
-998	1006	0
-1200	-998	0
-1325	-998	0
48	-1325	0
-48	1325	0
48	-1326	0
-48	1326	0
1199	-1200	0
-1199	1200	0
1199	-1201	0
-1199	1201	0
1199	-1202	0
-1199	1202	0
1319	1199	0
-1319	-1199	0
107	-1319	0
-107	1319	0
107	-1320	0
-107	1320	0
996	-1003	0
-996	1003	0
996	-1004	0
-996	1004	0
-1201	-996	0
-1204	-996	0
14	-1204	0
-14	1204	0
14	-1205	0
-14	1205	0
995	-1000	0
-995	1000	0
995	-1001	0
-995	1001	0
-999	-1361	0
1005	-1361	0
999	-1362	0
-1005	-1362	0
-1362	995	0
-1361	995	0
382	-668	0
-382	668	0
382	-669	0
-382	669	0
-297	-382	0
-383	-382	0
-384	-382	0
-377	-382	0
-374	-377	0
-517	-377	0
-379	-377	0
381	379	0
-381	-379	0
371	-380	0
-371	380	0
371	-381	0
-371	381	0
371	-520	0
-371	520	0
-596	-371	0
586	-592	0
-586	592	0
586	-593	0
-586	593	0
586	-596	0
-586	596	0
586	-615	0
-586	615	0
586	-789	0
-586	789	0
586	-889	0
-586	889	0
586	-1061	0
-586	1061	0
586	-1064	0
-586	1064	0
586	-1068	0
-586	1068	0
586	-1214	0
-586	1214	0
586	-1216	0
-586	1216	0
586	-1217	0
-586	1217	0
1070	586	0
-1070	-586	0
919	-1069	0
-919	1069	0
919	-1070	0
-919	1070	0
1073	919	0
1075	919	0
72	-1074	0
-72	1074	0
72	-1075	0
-72	1075	0
33	-1072	0
-33	1072	0
33	-1073	0
-33	1073	0
56	594	0
775	594	0
84	-423	0
-84	423	0
84	-424	0
-84	424	0
84	-430	0
-84	430	0
84	-434	0
-84	434	0
84	-436	0
-84	436	0
84	-439	0
-84	439	0
84	-584	0
-84	584	0
84	-587	0
-84	587	0
84	-591	0
-84	591	0
84	-595	0
-84	595	0
84	-600	0
-84	600	0
84	-603	0
-84	603	0
84	-606	0
-84	606	0
84	-614	0
-84	614	0
84	-616	0
-84	616	0
84	-620	0
-84	620	0
84	-623	0
-84	623	0
84	-635	0
-84	635	0
84	-640	0
-84	640	0
84	-643	0
-84	643	0
84	-644	0
-84	644	0
84	-645	0
-84	645	0
84	-646	0
-84	646	0
84	-647	0
-84	647	0
84	-648	0
-84	648	0
84	-649	0
-84	649	0
84	-650	0
-84	650	0
84	-749	0
-84	749	0
84	-753	0
-84	753	0
84	-757	0
-84	757	0
84	-760	0
-84	760	0
84	-765	0
-84	765	0
84	-766	0
-84	766	0
84	-768	0
-84	768	0
84	-769	0
-84	769	0
84	-773	0
-84	773	0
84	-775	0
-84	775	0
84	-777	0
-84	777	0
84	-780	0
-84	780	0
84	-785	0
-84	785	0
84	-788	0
-84	788	0
84	-790	0
-84	790	0
84	-791	0
-84	791	0
84	-795	0
-84	795	0
84	-800	0
-84	800	0
84	-801	0
-84	801	0
84	-805	0
-84	805	0
84	-810	0
-84	810	0
84	-814	0
-84	814	0
84	-815	0
-84	815	0
84	-816	0
-84	816	0
84	-817	0
-84	817	0
84	-818	0
-84	818	0
84	-819	0
-84	819	0
84	-820	0
-84	820	0
84	-822	0
-84	822	0
84	-886	0
-84	886	0
84	-888	0
-84	888	0
84	-890	0
-84	890	0
84	-893	0
-84	893	0
84	-897	0
-84	897	0
84	-898	0
-84	898	0
84	-904	0
-84	904	0
84	-906	0
-84	906	0
84	-918	0
-84	918	0
84	-921	0
-84	921	0
84	-1011	0
-84	1011	0
84	-1013	0
-84	1013	0
84	-1015	0
-84	1015	0
84	-1021	0
-84	1021	0
84	-1023	0
-84	1023	0
84	-1028	0
-84	1028	0
84	-1029	0
-84	1029	0
84	-1031	0
-84	1031	0
84	-1039	0
-84	1039	0
84	-1043	0
-84	1043	0
84	-1045	0
-84	1045	0
84	-1050	0
-84	1050	0
84	-1059	0
-84	1059	0
84	-1060	0
-84	1060	0
84	-1063	0
-84	1063	0
84	-1065	0
-84	1065	0
84	-1067	0
-84	1067	0
84	-1071	0
-84	1071	0
84	-1148	0
-84	1148	0
84	-1150	0
-84	1150	0
84	-1152	0
-84	1152	0
84	-1154	0
-84	1154	0
84	-1156	0
-84	1156	0
84	-1158	0
-84	1158	0
84	-1160	0
-84	1160	0
84	-1165	0
-84	1165	0
84	-1167	0
-84	1167	0
84	-1168	0
-84	1168	0
84	-1171	0
-84	1171	0
84	-1175	0
-84	1175	0
84	-1176	0
-84	1176	0
84	-1178	0
-84	1178	0
84	-1182	0
-84	1182	0
84	-1184	0
-84	1184	0
84	-1186	0
-84	1186	0
84	-1190	0
-84	1190	0
84	-1207	0
-84	1207	0
84	-1210	0
-84	1210	0
84	-1213	0
-84	1213	0
84	-1215	0
-84	1215	0
84	-1218	0
-84	1218	0
84	-1219	0
-84	1219	0
84	-1220	0
-84	1220	0
84	-1221	0
-84	1221	0
84	-1222	0
-84	1222	0
84	-1268	0
-84	1268	0
84	-1272	0
-84	1272	0
84	-1276	0
-84	1276	0
84	-1280	0
-84	1280	0
84	-1285	0
-84	1285	0
84	-1287	0
-84	1287	0
84	-1289	0
-84	1289	0
84	-1293	0
-84	1293	0
84	-1295	0
-84	1295	0
84	-1299	0
-84	1299	0
84	-1304	0
-84	1304	0
84	-1305	0
-84	1305	0
84	-1308	0
-84	1308	0
84	-1309	0
-84	1309	0
84	-1311	0
-84	1311	0
84	-1324	0
-84	1324	0
84	-1328	0
-84	1328	0
84	-1329	0
-84	1329	0
84	-1336	0
-84	1336	0
84	-1337	0
-84	1337	0
84	-1338	0
-84	1338	0
84	-1339	0
-84	1339	0
84	-1343	0
-84	1343	0
84	-1347	0
-84	1347	0
84	-1349	0
-84	1349	0
378	-517	0
-378	517	0
378	-518	0
-378	518	0
378	-521	0
-378	521	0
1341	-1344	0
-1341	1344	0
1341	-1345	0
-1341	1345	0
1346	1341	0
-1346	-1341	0
10	-196	0
-10	196	0
10	-197	0
-10	197	0
10	-198	0
-10	198	0
10	-223	0
-10	223	0
10	-1346	0
-10	1346	0
419	-425	0
-419	425	0
419	-426	0
-419	426	0
419	-427	0
-419	427	0
419	-432	0
-419	432	0
419	-437	0
-419	437	0
419	-440	0
-419	440	0
419	-582	0
-419	582	0
419	-597	0
-419	597	0
419	-601	0
-419	601	0
419	-607	0
-419	607	0
419	-621	0
-419	621	0
419	-624	0
-419	624	0
419	-634	0
-419	634	0
419	-638	0
-419	638	0
419	-641	0
-419	641	0
419	-750	0
-419	750	0
419	-754	0
-419	754	0
419	-758	0
-419	758	0
419	-761	0
-419	761	0
419	-762	0
-419	762	0
419	-767	0
-419	767	0
419	-774	0
-419	774	0
419	-778	0
-419	778	0
419	-781	0
-419	781	0
419	-786	0
-419	786	0
419	-792	0
-419	792	0
419	-793	0
-419	793	0
419	-799	0
-419	799	0
419	-804	0
-419	804	0
419	-808	0
-419	808	0
419	-809	0
-419	809	0
419	-813	0
-419	813	0
419	-821	0
-419	821	0
419	-823	0
-419	823	0
419	-884	0
-419	884	0
419	-887	0
-419	887	0
419	-894	0
-419	894	0
419	-896	0
-419	896	0
419	-899	0
-419	899	0
419	-905	0
-419	905	0
419	-909	0
-419	909	0
419	-917	0
-419	917	0
419	-920	0
-419	920	0
419	-1012	0
-419	1012	0
419	-1014	0
-419	1014	0
419	-1018	0
-419	1018	0
419	-1020	0
-419	1020	0
419	-1022	0
-419	1022	0
419	-1025	0
-419	1025	0
419	-1030	0
-419	1030	0
419	-1034	0
-419	1034	0
419	-1036	0
-419	1036	0
419	-1042	0
-419	1042	0
419	-1046	0
-419	1046	0
419	-1047	0
-419	1047	0
419	-1149	0
-419	1149	0
419	-1151	0
-419	1151	0
419	-1153	0
-419	1153	0
419	-1155	0
-419	1155	0
419	-1157	0
-419	1157	0
419	-1159	0
-419	1159	0
419	-1163	0
-419	1163	0
419	-1164	0
-419	1164	0
419	-1166	0
-419	1166	0
419	-1169	0
-419	1169	0
419	-1170	0
-419	1170	0
419	-1174	0
-419	1174	0
419	-1177	0
-419	1177	0
419	-1181	0
-419	1181	0
419	-1183	0
-419	1183	0
419	-1185	0
-419	1185	0
419	-1189	0
-419	1189	0
419	-1193	0
-419	1193	0
419	-1206	0
-419	1206	0
419	-1211	0
-419	1211	0
419	-1223	0
-419	1223	0
419	-1271	0
-419	1271	0
419	-1275	0
-419	1275	0
419	-1279	0
-419	1279	0
419	-1283	0
-419	1283	0
419	-1286	0
-419	1286	0
419	-1288	0
-419	1288	0
419	-1292	0
-419	1292	0
419	-1294	0
-419	1294	0
419	-1298	0
-419	1298	0
419	-1302	0
-419	1302	0
419	-1303	0
-419	1303	0
419	-1306	0
-419	1306	0
419	-1307	0
-419	1307	0
419	-1310	0
-419	1310	0
419	-1314	0
-419	1314	0
419	-1323	0
-419	1323	0
419	-1327	0
-419	1327	0
419	-1332	0
-419	1332	0
419	-1335	0
-419	1335	0
419	-1340	0
-419	1340	0
419	-1342	0
-419	1342	0
419	-1348	0
-419	1348	0
419	-1350	0
-419	1350	0
644	419	0
-644	-419	0
376	374	0
-376	-374	0
296	-375	0
-296	375	0
296	-376	0
-296	376	0
296	-700	0
-296	700	0
296	-704	0
-296	704	0
296	-713	0
-296	713	0
385	-515	0
-385	515	0
385	-516	0
-385	516	0
385	-519	0
-385	519	0
142	-156	0
-142	156	0
142	-157	0
-142	157	0
142	-222	0
-142	222	0
142	-639	0
-142	639	0
458	142	0
-458	-142	0
75	-457	0
-75	457	0
75	-458	0
-75	458	0
75	-461	0
-75	461	0
370	-372	0
-370	372	0
370	-373	0
-370	373	0
370	-514	0
-370	514	0
-593	-370	0
93	590	0
769	590	0
-515	-384	0
-369	-384	0
372	369	0
-372	-369	0
708	383	0
712	708	0
711	708	0
713	708	0
714	708	0
302	-304	0
-302	304	0
302	-305	0
-302	305	0
302	-714	0
-302	714	0
-592	-302	0
67	585	0
768	585	0
715	711	0
-715	-711	0
303	-388	0
-303	388	0
303	-389	0
-303	389	0
303	-715	0
-303	715	0
326	-428	0
-326	428	0
326	-429	0
-326	429	0
326	-446	0
-326	446	0
447	326	0
-447	-326	0
113	-219	0
-113	219	0
113	-220	0
-113	220	0
113	-221	0
-113	221	0
113	-447	0
-113	447	0
522	-706	0
-522	706	0
522	-707	0
-522	707	0
522	-712	0
-522	712	0
524	522	0
-524	-522	0
298	-523	0
-298	523	0
298	-524	0
-298	524	0
-520	-1377	0
521	-1377	0
520	-1378	0
-521	-1378	0
-1378	298	0
-1377	298	0
689	-691	0
-689	691	0
689	-692	0
-689	692	0
689	-710	0
-689	710	0
689	-885	0
-689	885	0
1069	689	0
513	-588	0
-513	588	0
513	-589	0
-513	589	0
513	-694	0
-513	694	0
513	-709	0
-513	709	0
325	-330	0
-325	330	0
325	-331	0
-325	331	0
325	-332	0
-325	332	0
325	-333	0
-325	333	0
325	-583	0
-325	583	0
628	325	0
-628	-325	0
47	-628	0
-47	628	0
47	-629	0
-47	629	0
47	-637	0
-47	637	0
703	701	0
704	701	0
705	701	0
707	701	0
295	-698	0
-295	698	0
295	-699	0
-295	699	0
295	-705	0
-295	705	0
696	-702	0
-696	702	0
696	-703	0
-696	703	0
299	-386	0
-299	386	0
299	-387	0
-299	387	0
299	-717	0
-299	717	0
334	-335	0
-334	335	0
334	-336	0
-334	336	0
334	-642	0
-334	642	0
459	334	0
-459	-334	0
91	-171	0
-91	171	0
91	-172	0
-91	172	0
91	-459	0
-91	459	0
91	-460	0
-91	460	0
301	-306	0
-301	306	0
301	-307	0
-301	307	0
301	-716	0
-301	716	0
-789	-301	0
105	787	0
790	787	0
-523	-297	0
-386	-297	0
-294	-297	0
-300	-297	0
307	300	0
-307	-300	0
698	294	0
375	294	0
660	-664	0
-660	664	0
660	-665	0
-660	665	0
868	660	0
-868	-660	0
662	-868	0
-662	868	0
662	-869	0
-662	869	0
-994	-662	0
-1000	-662	0
-997	-1363	0
1003	-1363	0
997	-1364	0
-1003	-1364	0
-1364	994	0
-1363	994	0
248	-360	0
-248	360	0
248	-361	0
-248	361	0
248	-492	0
-248	492	0
248	-656	0
-248	656	0
248	-858	0
-248	858	0
248	-860	0
-248	860	0
-665	-248	0
-666	-248	0
663	-666	0
-663	666	0
663	-667	0
-663	667	0
699	663	0
700	663	0
706	663	0
697	663	0
695	697	0
-695	-697	0
702	695	0
-694	-693	0
-690	-693	0
692	690	0
-692	-690	0
-691	-688	0
-512	-688	0
588	512	0
-588	-512	0
346	-654	0
-346	654	0
346	-655	0
-346	655	0
346	-859	0
-346	859	0
679	346	0
680	346	0
281	346	0
676	346	0
672	676	0
674	676	0
678	676	0
362	-677	0
-362	677	0
362	-678	0
-362	678	0
362	-1056	0
-362	1056	0
-1214	-362	0
54	1212	0
1337	1212	0
675	674	0
-675	-674	0
363	-365	0
-363	365	0
363	-366	0
-363	366	0
363	-675	0
-363	675	0
401	-403	0
-401	403	0
401	-404	0
-401	404	0
401	-405	0
-401	405	0
401	-602	0
-401	602	0
406	401	0
-406	-401	0
106	-314	0
-106	314	0
106	-315	0
-106	315	0
106	-406	0
-106	406	0
673	672	0
-673	-672	0
267	-272	0
-267	272	0
267	-273	0
-267	273	0
267	-280	0
-267	280	0
267	-673	0
-267	673	0
-684	-1367	0
686	-1367	0
684	-1368	0
-686	-1368	0
-1368	267	0
-1367	267	0
364	-685	0
-364	685	0
364	-686	0
-364	686	0
364	-687	0
-364	687	0
319	-598	0
-319	598	0
319	-599	0
-319	599	0
322	319	0
-322	-319	0
124	-206	0
-124	206	0
124	-207	0
-124	207	0
124	-208	0
-124	208	0
124	-209	0
-124	209	0
124	-322	0
-124	322	0
682	-683	0
-682	683	0
682	-684	0
-682	684	0
682	-1057	0
-682	1057	0
-1068	-682	0
57	1066	0
1220	1066	0
-268	-281	0
-276	-268	0
-271	-268	0
-273	-268	0
-260	-268	0
264	260	0
-264	-260	0
261	-264	0
-261	264	0
261	-265	0
-261	265	0
261	-916	0
-261	916	0
-1061	-261	0
80	1058	0
1059	1058	0
263	-270	0
-263	270	0
263	-271	0
-263	271	0
263	-368	0
-263	368	0
402	-417	0
-402	417	0
402	-418	0
-402	418	0
402	-420	0
-402	420	0
407	402	0
-407	-402	0
51	-210	0
-51	210	0
51	-211	0
-51	211	0
51	-212	0
-51	212	0
51	-407	0
-51	407	0
269	-276	0
-269	276	0
269	-277	0
-269	277	0
269	-284	0
-269	284	0
-677	-1379	0
365	-1379	0
677	-1380	0
-365	-1380	0
-1380	269	0
-1379	269	0
-278	-266	0
-272	-266	0
262	-278	0
-262	278	0
262	-279	0
-262	279	0
-265	-1383	0
270	-1383	0
265	-1384	0
-270	-1384	0
-1384	262	0
-1383	262	0
-292	-283	0
-288	-283	0
290	288	0
-290	-288	0
289	-290	0
-289	290	0
289	-291	0
-289	291	0
289	-915	0
-289	915	0
-1064	-289	0
41	1062	0
1065	1062	0
287	-292	0
-287	292	0
287	-293	0
-287	293	0
287	-367	0
-287	367	0
133	-153	0
-133	153	0
133	-154	0
-133	154	0
133	-155	0
-133	155	0
133	-433	0
-133	433	0
443	133	0
-443	-133	0
69	-179	0
-69	179	0
69	-180	0
-69	180	0
69	-181	0
-69	181	0
69	-182	0
-69	182	0
69	-443	0
-69	443	0
284	282	0
-284	-282	0
1134	680	0
274	-1133	0
-274	1133	0
274	-1134	0
-274	1134	0
-275	-274	0
-277	-274	0
-279	-274	0
-280	-274	0
-291	-1381	0
293	-1381	0
291	-1382	0
-293	-1382	0
-1382	275	0
-1381	275	0
984	1132	0
-984	-1132	0
990	984	0
970	984	0
987	984	0
981	-986	0
-981	986	0
981	-987	0
-981	987	0
993	981	0
-993	-981	0
989	-992	0
-989	992	0
989	-993	0
-989	993	0
989	-1019	0
-989	1019	0
98	-1040	0
-98	1040	0
98	-1041	0
-98	1041	0
-979	-970	0
-972	-970	0
-974	-970	0
-976	-970	0
875	-975	0
-875	975	0
875	-976	0
-875	976	0
875	-1127	0
-875	1127	0
875	-1137	0
-875	1137	0
722	-726	0
-722	726	0
722	-727	0
-722	727	0
722	-881	0
-722	881	0
902	-1048	0
-902	1048	0
902	-1049	0
-902	1049	0
902	-1198	0
-902	1198	0
1195	902	0
-1195	-902	0
112	-1142	0
-112	1142	0
112	-1143	0
-112	1143	0
112	-1195	0
-112	1195	0
112	-1197	0
-112	1197	0
718	-728	0
-718	728	0
718	-729	0
-718	729	0
718	-880	0
-718	880	0
34	-1172	0
-34	1172	0
34	-1173	0
-34	1173	0
874	-973	0
-874	973	0
874	-974	0
-874	974	0
874	-1128	0
-874	1128	0
1035	-1260	0
-1035	1260	0
1035	-1261	0
-1035	1261	0
1035	-1263	0
-1035	1263	0
901	-1037	0
-901	1037	0
901	-1038	0
-901	1038	0
901	-1194	0
-901	1194	0
1196	901	0
-1196	-901	0
37	-159	0
-37	159	0
37	-160	0
-37	160	0
37	-1196	0
-37	1196	0
37	-1315	0
-37	1315	0
1262	-1264	0
-1262	1264	0
1262	-1265	0
-1262	1265	0
1262	-1267	0
-1262	1267	0
19	-1321	0
-19	1321	0
19	-1322	0
-19	1322	0
725	-877	0
-725	877	0
725	-878	0
-725	878	0
725	-972	0
-725	972	0
725	-1129	0
-725	1129	0
725	-1138	0
-725	1138	0
-732	-1365	0
733	-1365	0
732	-1366	0
-733	-1366	0
-1366	725	0
-1365	725	0
723	-730	0
-723	730	0
723	-731	0
-723	731	0
723	-733	0
-723	733	0
442	-763	0
-442	763	0
442	-764	0
-442	764	0
442	-882	0
-442	882	0
611	442	0
-611	-442	0
114	-452	0
-114	452	0
114	-453	0
-114	453	0
114	-609	0
-114	609	0
114	-611	0
-114	611	0
612	-720	0
-612	720	0
612	-721	0
-612	721	0
612	-732	0
-612	732	0
-615	-612	0
79	613	0
616	613	0
971	-979	0
-971	979	0
971	-980	0
-971	980	0
1024	-1144	0
-1024	1144	0
1024	-1145	0
-1024	1145	0
1024	-1255	0
-1024	1255	0
900	-1026	0
-900	1026	0
900	-1027	0
-900	1027	0
900	-1316	0
-900	1316	0
1318	900	0
-1318	-900	0
83	-135	0
-83	135	0
83	-136	0
-83	136	0
83	-1317	0
-83	1317	0
83	-1318	0
-83	1318	0
1254	-1256	0
-1254	1256	0
1254	-1257	0
-1254	1257	0
1254	-1266	0
-1254	1266	0
42	-1333	0
-42	1333	0
42	-1334	0
-42	1334	0
985	-990	0
-985	990	0
985	-991	0
-985	991	0
988	985	0
-988	-985	0
770	-982	0
-770	982	0
770	-983	0
-770	983	0
770	-988	0
-770	988	0
143	-454	0
-143	454	0
143	-455	0
-143	455	0
143	-794	0
-143	794	0
143	-796	0
-143	796	0
797	143	0
-797	-143	0
53	-797	0
-53	797	0
53	-798	0
-53	798	0
53	-1146	0
-53	1146	0
53	-1147	0
-53	1147	0
1136	1131	0
724	1136	0
-724	-1136	0
721	719	0
-721	-719	0
1258	1135	0
1259	1135	0
1265	1259	0
-1265	-1259	0
1261	1258	0
-1261	-1258	0
1139	1130	0
-1139	-1130	0
1140	1139	0
1126	1139	0
1141	1139	0
1257	1141	0
-1257	-1141	0
-1127	-1126	0
-1128	-1126	0
-1129	-1126	0
1144	1140	0
-1144	-1140	0
681	679	0
683	679	0
687	681	0
-687	-681	0
-658	-657	0
-659	-657	0
131	-236	0
-131	236	0
131	-237	0
-131	237	0
131	-257	0
-131	257	0
131	-341	0
-131	341	0
131	-651	0
-131	651	0
131	-659	0
-131	659	0
1133	131	0
873	131	0
-973	-873	0
-878	-873	0
-975	-873	0
-876	-873	0
879	876	0
-879	-876	0
-980	-879	0
991	978	0
992	978	0
986	977	0
983	977	0
256	-339	0
-256	339	0
256	-340	0
-256	340	0
256	-658	0
-256	658	0
-951	-256	0
944	-951	0
-944	951	0
944	-952	0
-944	952	0
944	-955	0
-944	955	0
1101	944	0
1099	944	0
1102	944	0
1121	1116	0
-1121	-1116	0
1118	-1120	0
-1118	1120	0
1118	-1121	0
-1118	1121	0
1118	-1253	0
-1118	1253	0
44	-1290	0
-44	1290	0
44	-1291	0
-44	1291	0
1114	1112	0
-1114	-1112	0
751	-1113	0
-751	1113	0
751	-1114	0
-751	1114	0
751	-1119	0
-751	1119	0
161	-164	0
-161	164	0
161	-165	0
-161	165	0
161	-752	0
-161	752	0
396	161	0
-396	-161	0
108	-166	0
-108	166	0
108	-167	0
-108	167	0
108	-168	0
-108	168	0
108	-396	0
-108	396	0
1125	1115	0
-1125	-1115	0
1122	-1124	0
-1122	1124	0
1122	-1125	0
-1122	1125	0
1122	-1252	0
-1122	1252	0
61	-1296	0
-61	1296	0
61	-1297	0
-61	1297	0
1111	1109	0
-1111	-1109	0
604	-1110	0
-604	1110	0
604	-1111	0
-604	1111	0
604	-1123	0
-604	1123	0
312	-323	0
-312	323	0
312	-324	0
-312	324	0
312	-605	0
-312	605	0
313	312	0
-313	-312	0
18	-175	0
-18	175	0
18	-176	0
-18	176	0
18	-177	0
-18	177	0
18	-313	0
-18	313	0
1091	-1097	0
-1091	1097	0
1091	-1098	0
-1091	1098	0
1091	-1117	0
-1091	1117	0
1091	-1241	0
-1091	1241	0
-1120	-1357	0
1119	-1357	0
1120	-1358	0
-1119	-1358	0
-1358	1091	0
-1357	1091	0
1100	1099	0
-1100	-1099	0
-1105	-1100	0
-1092	-1100	0
-1106	-1100	0
1103	-1106	0
-1103	1106	0
1103	-1107	0
-1103	1107	0
1103	-1250	0
-1103	1250	0
39	-1273	0
-39	1273	0
39	-1274	0
-39	1274	0
1094	1092	0
1096	1092	0
1098	1092	0
1090	-1095	0
-1090	1095	0
1090	-1096	0
-1090	1096	0
-1246	-1351	0
1245	-1351	0
1246	-1352	0
-1245	-1352	0
-1352	1090	0
-1351	1090	0
755	-1242	0
-755	1242	0
755	-1243	0
-755	1243	0
755	-1245	0
-755	1245	0
400	-410	0
-400	410	0
400	-411	0
-400	411	0
400	-756	0
-400	756	0
581	400	0
-581	-400	0
3	-173	0
-3	173	0
3	-174	0
-3	174	0
3	-178	0
-3	178	0
3	-581	0
-3	581	0
1244	-1246	0
-1244	1246	0
1244	-1247	0
-1244	1247	0
1244	-1251	0
-1244	1251	0
40	-1281	0
-40	1281	0
40	-1282	0
-40	1282	0
1089	-1093	0
-1089	1093	0
1089	-1094	0
-1089	1094	0
1089	-1240	0
-1089	1240	0
-1124	-1355	0
1123	-1355	0
1124	-1356	0
-1123	-1356	0
-1356	1089	0
-1355	1089	0
771	-1104	0
-771	1104	0
771	-1105	0
-771	1105	0
771	-1108	0
-771	1108	0
397	-412	0
-397	412	0
397	-413	0
-397	413	0
397	-772	0
-397	772	0
398	397	0
-398	-397	0
28	-188	0
-28	188	0
28	-189	0
-28	189	0
28	-190	0
-28	190	0
28	-191	0
-28	191	0
28	-192	0
-28	192	0
28	-398	0
-28	398	0
1240	1101	0
1238	1101	0
1241	1101	0
1239	1101	0
1247	1239	0
-1247	-1239	0
1243	1238	0
-1243	-1238	0
943	-949	0
-943	949	0
943	-950	0
-943	950	0
338	943	0
1079	943	0
342	943	0
343	342	0
344	342	0
345	342	0
1229	345	0
-1229	-345	0
1078	-1229	0
-1078	1229	0
1078	-1230	0
-1078	1230	0
1078	-1284	0
-1078	1284	0
73	-1300	0
-73	1300	0
73	-1301	0
-73	1301	0
-825	-344	0
-826	-344	0
-828	-344	0
-830	-344	0
241	-829	0
-241	829	0
241	-830	0
-241	830	0
241	-1082	0
-241	1082	0
1226	241	0
-1226	-241	0
1086	-1225	0
-1086	1225	0
1086	-1226	0
-1086	1226	0
-1233	-1353	0
1234	-1353	0
1233	-1354	0
-1234	-1354	0
-1354	1086	0
-1353	1086	0
670	-960	0
-670	960	0
670	-961	0
-670	961	0
670	-1234	0
-670	1234	0
309	-310	0
-309	310	0
309	-311	0
-309	311	0
309	-414	0
-309	414	0
309	-776	0
-309	776	0
399	309	0
-399	-309	0
55	-204	0
-55	204	0
55	-205	0
-55	205	0
55	-399	0
-55	399	0
957	-1232	0
-957	1232	0
957	-1233	0
-957	1233	0
957	-1248	0
-957	1248	0
24	-1277	0
-24	1277	0
24	-1278	0
-24	1278	0
242	-827	0
-242	827	0
242	-828	0
-242	828	0
242	-1081	0
-242	1081	0
249	-854	0
-249	854	0
249	-855	0
-249	855	0
249	-1084	0
-249	1084	0
408	-415	0
-408	415	0
408	-416	0
-408	416	0
408	-779	0
-408	779	0
409	408	0
-409	-408	0
76	-215	0
-76	215	0
76	-216	0
-76	216	0
76	-217	0
-76	217	0
76	-409	0
-76	409	0
239	-250	0
-239	250	0
239	-251	0
-239	251	0
239	-1085	0
-239	1085	0
66	-1016	0
-66	1016	0
66	-1017	0
-66	1017	0
243	-465	0
-243	465	0
243	-466	0
-243	466	0
243	-826	0
-243	826	0
243	-959	0
-243	959	0
243	-1224	0
-243	1224	0
671	-962	0
-671	962	0
671	-963	0
-671	963	0
671	-1237	0
-671	1237	0
134	-162	0
-134	162	0
134	-163	0
-134	163	0
134	-748	0
-134	748	0
308	134	0
-308	-134	0
103	-144	0
-103	144	0
103	-145	0
-103	145	0
103	-150	0
-103	150	0
103	-308	0
-103	308	0
958	-1235	0
-958	1235	0
958	-1236	0
-958	1236	0
958	-1249	0
-958	1249	0
1	-1269	0
-1	1269	0
1	-1270	0
-1	1270	0
464	-824	0
-464	824	0
464	-825	0
-464	825	0
245	-852	0
-245	852	0
245	-853	0
-245	853	0
245	-1077	0
-245	1077	0
608	-891	0
-608	891	0
608	-892	0
-608	892	0
895	608	0
-895	-608	0
81	-285	0
-81	285	0
81	-286	0
-81	286	0
81	-392	0
-81	392	0
81	-393	0
-81	393	0
81	-895	0
-81	895	0
238	-253	0
-238	253	0
238	-254	0
-238	254	0
238	-1076	0
-238	1076	0
11	-1161	0
-11	1161	0
11	-1162	0
-11	1162	0
1228	343	0
-1228	-343	0
580	-1227	0
-580	1227	0
580	-1228	0
-580	1228	0
580	-1231	0
-580	1231	0
149	-213	0
-149	213	0
149	-214	0
-149	214	0
149	-218	0
-149	218	0
149	-759	0
-149	759	0
328	149	0
-328	-149	0
97	-193	0
-97	193	0
97	-194	0
-97	194	0
97	-195	0
-97	195	0
97	-328	0
-97	328	0
-956	-1079	0
1224	1087	0
-1224	-1087	0
-1084	-1083	0
-1085	-1083	0
244	338	0
240	338	0
252	338	0
254	252	0
-254	-252	0
-829	-240	0
-827	-240	0
-465	-240	0
852	244	0
-852	-244	0
856	-945	0
-856	945	0
856	-946	0
-856	946	0
953	856	0
-953	-856	0
857	-953	0
-857	953	0
857	-954	0
-857	954	0
1088	857	0
1093	857	0
1095	857	0
1097	857	0
-1107	-1359	0
1108	-1359	0
1107	-1360	0
-1108	-1360	0
-1360	1088	0
-1359	1088	0
358	224	0
228	224	0
352	224	0
-353	225	0
-353	228	0
-353	358	0
358	226	0
228	226	0
354	226	0
229	-352	0
-229	352	0
229	-355	0
-229	355	0
229	-481	0
-229	481	0
229	-488	0
-229	488	0
230	-353	0
230	-356	0
230	-482	0
230	-489	0
231	-354	0
-231	354	0
231	-357	0
-231	357	0
231	-483	0
-231	483	0
231	-490	0
-231	490	0
651	229	0
-651	-229	0
-468	-228	0
-470	-228	0
-472	-228	0
233	-471	0
-233	471	0
233	-472	0
-233	472	0
233	-476	0
-233	476	0
494	233	0
-494	-233	0
-500	-494	0
-507	-494	0
497	-507	0
-497	507	0
497	-508	0
-497	508	0
565	497	0
561	497	0
563	497	0
535	-562	0
-535	562	0
535	-563	0
-535	563	0
535	-564	0
-535	564	0
535	-572	0
-535	572	0
-537	-1373	0
539	-1373	0
537	-1374	0
-539	-1374	0
-1374	535	0
-1373	535	0
525	-538	0
-525	538	0
525	-539	0
-525	539	0
525	-547	0
-525	547	0
622	-625	0
-622	625	0
622	-626	0
-622	626	0
622	-631	0
-622	631	0
633	622	0
-633	-622	0
120	-202	0
-120	202	0
120	-203	0
-120	203	0
120	-633	0
-120	633	0
120	-636	0
-120	636	0
526	-536	0
-526	536	0
526	-537	0
-526	537	0
526	-548	0
-526	548	0
17	-907	0
-17	907	0
17	-908	0
-17	908	0
-739	-561	0
-736	-561	0
-737	-561	0
743	737	0
-743	-737	0
569	-742	0
-569	742	0
569	-743	0
-569	743	0
-577	-1369	0
578	-1369	0
577	-1370	0
-578	-1370	0
-1370	569	0
-1369	569	0
390	-556	0
-390	556	0
390	-557	0
-390	557	0
390	-578	0
-390	578	0
438	-444	0
-438	444	0
438	-445	0
-438	445	0
438	-451	0
-438	451	0
450	438	0
-450	-438	0
100	-183	0
-100	183	0
100	-184	0
-100	184	0
100	-185	0
-100	185	0
100	-450	0
-100	450	0
528	-558	0
-528	558	0
528	-559	0
-528	559	0
528	-577	0
-528	577	0
86	-802	0
-86	802	0
86	-803	0
-86	803	0
741	-744	0
-741	744	0
741	-745	0
-741	745	0
-800	-741	0
26	-811	0
-26	811	0
26	-812	0
-26	812	0
740	-746	0
-740	746	0
740	-747	0
-740	747	0
884	740	0
883	740	0
1009	883	0
-1009	-883	0
1008	-1009	0
-1008	1009	0
1008	-1010	0
-1008	1010	0
16	-1032	0
-16	1032	0
16	-1033	0
-16	1033	0
546	-738	0
-546	738	0
546	-739	0
-546	739	0
553	546	0
-553	-546	0
530	-552	0
-530	552	0
530	-553	0
-530	553	0
530	-567	0
-530	567	0
530	-570	0
-530	570	0
-532	-1375	0
534	-1375	0
532	-1376	0
-534	-1376	0
-1376	530	0
-1375	530	0
421	-533	0
-421	533	0
421	-534	0
-421	534	0
421	-549	0
-421	549	0
137	-186	0
-137	186	0
137	-187	0
-137	187	0
137	-422	0
-137	422	0
329	137	0
-329	-137	0
32	-169	0
-32	169	0
32	-170	0
-32	170	0
32	-329	0
-32	329	0
32	-630	0
-32	630	0
527	-531	0
-527	531	0
527	-532	0
-527	532	0
527	-550	0
-527	550	0
71	-1191	0
-71	1191	0
71	-1192	0
-71	1192	0
560	-565	0
-560	565	0
560	-566	0
-560	566	0
560	-571	0
-560	571	0
-573	-1371	0
574	-1371	0
573	-1372	0
-574	-1372	0
-1372	560	0
-1371	560	0
391	-541	0
-391	541	0
391	-542	0
-391	542	0
391	-574	0
-391	574	0
158	-199	0
-158	199	0
158	-200	0
-158	200	0
158	-201	0
-158	201	0
158	-435	0
-158	435	0
449	158	0
-449	-158	0
96	-448	0
-96	448	0
96	-449	0
-96	449	0
96	-456	0
-96	456	0
529	-543	0
-529	543	0
529	-544	0
-529	544	0
529	-573	0
-529	573	0
95	-806	0
-95	806	0
95	-807	0
-95	807	0
495	-500	0
-495	500	0
495	-501	0
-495	501	0
504	495	0
-504	-495	0
496	-504	0
-496	504	0
496	-505	0
-496	505	0
-846	-496	0
-938	-496	0
-940	-496	0
-941	-496	0
831	-928	0
-831	928	0
831	-929	0
-831	929	0
831	-937	0
-831	937	0
831	-941	0
-831	941	0
782	-835	0
-782	835	0
782	-836	0
-782	836	0
782	-872	0
-782	872	0
431	-783	0
-431	783	0
431	-784	0
-431	784	0
610	431	0
-610	-431	0
115	-151	0
-115	151	0
115	-152	0
-115	152	0
115	-258	0
-115	258	0
115	-259	0
-115	259	0
115	-610	0
-115	610	0
832	-837	0
-832	837	0
832	-838	0
-832	838	0
832	-967	0
-832	967	0
122	-1187	0
-122	1187	0
122	-1188	0
-122	1188	0
930	-939	0
-930	939	0
930	-940	0
-930	940	0
926	-933	0
-926	933	0
926	-934	0
-926	934	0
926	-965	0
-926	965	0
1053	-1054	0
-1053	1054	0
1053	-1055	0
-1053	1055	0
1053	-1209	0
-1053	1209	0
1208	1053	0
-1208	-1053	0
46	-1051	0
-46	1051	0
46	-1052	0
-46	1052	0
46	-1203	0
-46	1203	0
46	-1208	0
-46	1208	0
927	-931	0
-927	931	0
927	-932	0
-927	932	0
927	-969	0
-927	969	0
13	-1330	0
-13	1330	0
13	-1331	0
-13	1331	0
922	-935	0
-922	935	0
922	-936	0
-922	936	0
922	-938	0
-922	938	0
618	-870	0
-618	870	0
618	-871	0
-618	871	0
618	-925	0
-618	925	0
316	-320	0
-316	320	0
316	-321	0
-316	321	0
316	-441	0
-316	441	0
316	-619	0
-316	619	0
617	316	0
-617	-316	0
63	-317	0
-63	317	0
63	-318	0
-63	318	0
63	-617	0
-63	617	0
834	-923	0
-834	923	0
834	-924	0
-834	924	0
834	-966	0
-834	966	0
31	-1179	0
-31	1179	0
31	-1180	0
-31	1180	0
845	-848	0
-845	848	0
845	-849	0
-845	849	0
845	-964	0
-845	964	0
903	-910	0
-903	910	0
903	-911	0
-903	911	0
903	-1044	0
-903	1044	0
913	903	0
-913	-903	0
82	-146	0
-82	146	0
82	-147	0
-82	147	0
82	-148	0
-82	148	0
82	-912	0
-82	912	0
82	-913	0
-82	913	0
82	-914	0
-82	914	0
847	-850	0
-847	850	0
847	-851	0
-847	851	0
847	-968	0
-847	968	0
117	-1312	0
-117	1312	0
117	-1313	0
-117	1313	0
232	-469	0
-232	469	0
232	-470	0
-232	470	0
232	-475	0
-232	475	0
232	-509	0
-232	509	0
92	232	0
-92	-232	0
247	-467	0
-247	467	0
247	-468	0
-247	468	0
247	-474	0
-247	474	0
360	247	0
-360	-247	0
227	-358	0
-227	358	0
227	-359	0
-227	359	0
227	-480	0
-227	480	0
227	-491	0
-227	491	0
337	227	0
-337	-227	0
132	-234	0
-132	234	0
132	-235	0
-132	235	0
132	-337	0
-132	337	0
945	132	0
947	132	0
942	-947	0
-942	947	0
942	-948	0
-942	948	0
-1081	-942	0
-1080	-942	0
-1082	-942	0
462	1080	0
-462	-1080	0
-466	-462	0
-463	-462	0
-824	-462	0
351	347	0
355	347	0
359	347	0
361	347	0
-356	348	0
-356	361	0
-356	359	0
-356	351	0
351	349	0
357	349	0
359	349	0
361	349	0
246	-350	0
-246	350	0
246	-351	0
-246	351	0
246	-487	0
-246	487	0
502	246	0
499	-502	0
-499	502	0
499	-503	0
-499	503	0
499	-506	0
-499	506	0
-839	-499	0
-840	-499	0
-833	-499	0
841	840	0
-841	-840	0
842	841	0
843	841	0
844	841	0
851	844	0
-851	-844	0
-936	-843	0
-939	-843	0
-937	-843	0
848	842	0
-848	-842	0
-935	-839	0
-933	-839	0
-929	-839	0
-931	-839	0
498	-510	0
-498	510	0
498	-511	0
-498	511	0
-554	-498	0
-735	-498	0
-734	-498	0
551	734	0
-551	-734	0
-545	-551	0
-542	-540	0
-544	-540	0
-568	-735	0
-745	-735	0
-747	-735	0
742	568	0
570	568	0
571	568	0
572	568	0
-557	-554	0
-555	-554	0
-559	-554	0
564	555	0
566	555	0
567	555	0
-130	-1389	0
128	-1389	0
130	-1390	0
-128	-1390	0
-1390	1388	0
-1389	1388	0
484	128	0
477	128	0
493	128	0
-485	129	0
-478	129	0
-478	493	0
-485	493	0
486	130	0
479	130	0
493	130	0
-255	-493	0
-861	-493	0
-467	-255	0
-339	-255	0
-257	-255	0
480	477	0
473	477	0
481	477	0
-482	478	0
-482	473	0
-482	480	0
480	479	0
473	479	0
483	479	0
-474	-473	0
-475	-473	0
-476	-473	0
487	484	0
488	484	0
491	484	0
492	484	0
-489	485	0
-489	492	0
-489	491	0
-489	487	0
487	486	0
490	486	0
491	486	0
492	486	0
-1388	1391	0
-1385	1391	0
1386	127	-125	0
1387	-127	125	0
-1385	1387	1386	0
-225	-226	349	0
-225	-224	347	0
-225	347	349	0
-348	-349	226	0
-348	-347	224	0
-348	224	226	0
-126	125	127	0
-126	-125	-127	0
-657	-858	-652	0
-860	-859	-652	0
668	664	653	0
-864	-664	-653	0
-864	-668	-653	0
1007	1006	863	0
-1006	-1001	-863	0
-1007	-1001	-863	0
-1006	-1002	-863	0
-1007	-1002	-863	0
-1006	-1004	-863	0
-1007	-1004	-863	0
998	1200	1325	0
996	1201	1204	0
1361	999	-1005	0
1362	-999	1005	0
-995	1362	1361	0
-594	-595	-371	0
596	595	371	0
596	594	371	0
-919	-1073	-1075	0
-594	-56	-775	0
-1342	-89	-378	0
-1343	-1344	-378	0
1344	89	378	0
1343	89	378	0
1344	1342	378	0
1343	1342	378	0
516	514	296	0
-516	-514	296	0
-516	514	-296	0
516	-514	-296	0
-638	-29	-385	0
-640	-639	-385	0
639	29	385	0
640	29	385	0
639	638	385	0
640	638	385	0
-590	-591	-370	0
593	591	370	0
593	590	370	0
-590	-93	-769	0
384	515	369	0
-708	-701	-383	0
-708	-709	-383	0
-708	-710	-383	0
-585	-587	-302	0
592	587	302	0
592	585	302	0
-585	-67	-768	0
-427	-43	-303	0
-430	-429	-303	0
429	43	303	0
430	43	303	0
429	427	303	0
430	427	303	0
1377	520	-521	0
1378	-520	521	0
-298	1378	1377	0
921	920	689	0
-1069	-920	-689	0
-1069	-921	-689	0
-582	-8	-513	0
-584	-583	-513	0
583	8	513	0
584	8	513	0
583	582	513	0
584	582	513	0
388	305	295	0
-388	-305	295	0
-388	305	-295	0
388	-305	-295	0
717	716	696	0
-717	-716	696	0
-717	716	-696	0
717	-716	-696	0
-641	-110	-299	0
-643	-642	-299	0
642	110	299	0
643	110	299	0
642	641	299	0
643	641	299	0
-787	-788	-301	0
789	788	301	0
789	787	301	0
-787	-105	-790	0
-294	-698	-375	0
662	994	1000	0
1363	997	-1003	0
1364	-997	1003	0
-994	1364	1363	0
248	665	666	0
693	688	695	0
-702	-688	-695	0
-702	-693	-695	0
693	694	690	0
688	691	512	0
-1212	-1213	-362	0
1214	1213	362	0
1214	1212	362	0
-1212	-54	-1337	0
-601	-104	-363	0
-603	-602	-363	0
602	104	363	0
603	104	363	0
602	601	363	0
603	601	363	0
1367	684	-686	0
1368	-684	686	0
-267	1368	1367	0
-597	-36	-364	0
-600	-599	-364	0
599	36	364	0
600	36	364	0
599	597	364	0
600	597	364	0
-1066	-1067	-682	0
1068	1067	682	0
1068	1066	682	0
-1066	-57	-1220	0
268	282	281	0
268	283	281	0
268	266	281	0
-1058	-1060	-261	0
1061	1060	261	0
1061	1058	261	0
-1058	-80	-1059	0
-425	-94	-263	0
-423	-420	-263	0
420	94	263	0
423	94	263	0
420	425	263	0
423	425	263	0
1379	677	-365	0
1380	-677	365	0
-269	1380	1379	0
266	278	272	0
1383	265	-270	0
1384	-265	270	0
-262	1384	1383	0
283	292	288	0
-1062	-1063	-289	0
1064	1063	289	0
1064	1062	289	0
-1062	-41	-1065	0
-432	-77	-287	0
-434	-433	-287	0
433	77	287	0
434	77	287	0
433	432	287	0
434	432	287	0
-1134	-1130	-680	0
-1134	-1131	-680	0
-1134	-1132	-680	0
1381	291	-293	0
1382	-291	293	0
-275	1382	1381	0
-1022	-1040	-989	0
-1023	-119	-989	0
119	1040	989	0
1023	1040	989	0
119	1022	989	0
1023	1022	989	0
881	880	875	0
-881	-880	875	0
-881	880	-875	0
881	-880	-875	0
-1047	-38	-722	0
-1050	-1049	-722	0
1049	38	722	0
1050	38	722	0
1049	1047	722	0
1050	1047	722	0
-1170	-1172	-718	0
-1171	-58	-718	0
58	1172	718	0
1171	1172	718	0
58	1170	718	0
1171	1170	718	0
1263	1264	874	0
-1263	-1264	874	0
-1263	1264	-874	0
1263	-1264	-874	0
-1036	-88	-1035	0
-1039	-1038	-1035	0
1038	88	1035	0
1039	88	1035	0
1038	1036	1035	0
1039	1036	1035	0
-1307	-1321	-1262	0
-1308	-21	-1262	0
21	1321	1262	0
1308	1321	1262	0
21	1307	1262	0
1308	1307	1262	0
1365	732	-733	0
1366	-732	733	0
-725	1366	1365	0
-762	-60	-723	0
-765	-764	-723	0
764	60	723	0
765	60	723	0
764	762	723	0
765	762	723	0
-613	-614	-612	0
615	614	612	0
615	613	612	0
-613	-79	-616	0
1255	1256	971	0
-1255	-1256	971	0
-1255	1256	-971	0
1255	-1256	-971	0
-1025	-101	-1024	0
-1028	-1027	-1024	0
1027	101	1024	0
1028	101	1024	0
1027	1025	1024	0
1028	1025	1024	0
-1303	-1333	-1254	0
-1304	-78	-1254	0
78	1333	1254	0
1304	1333	1254	0
78	1303	1254	0
1304	1303	1254	0
-793	-65	-770	0
-795	-794	-770	0
794	65	770	0
795	65	770	0
794	793	770	0
795	793	770	0
-1136	-1137	-1131	0
-1136	-1135	-1131	0
-1136	-1138	-1131	0
719	731	724	0
-731	-877	-724	0
-719	-877	-724	0
-731	-727	-724	0
-719	-727	-724	0
-731	-729	-724	0
-719	-729	-724	0
-1135	-1258	-1259	0
-679	-681	-683	0
657	658	659	0
-131	-1133	-873	0
-978	-977	-879	0
980	977	879	0
980	978	879	0
-978	-991	-992	0
-977	-986	-983	0
-949	-946	-256	0
951	946	256	0
951	949	256	0
-1116	-1112	-1102	0
1112	1117	1102	0
1116	1117	1102	0
1112	1109	1102	0
1116	1109	1102	0
1112	1115	1102	0
1116	1115	1102	0
-1289	-59	-1118	0
-1292	-1291	-1118	0
1291	59	1118	0
1292	59	1118	0
1291	1289	1118	0
1292	1289	1118	0
-753	-752	-751	0
-754	-52	-751	0
52	752	751	0
754	752	751	0
52	753	751	0
754	753	751	0
-1295	-45	-1122	0
-1298	-1297	-1122	0
1297	45	1122	0
1298	45	1122	0
1297	1295	1122	0
1298	1295	1122	0
-606	-605	-604	0
-607	-85	-604	0
85	605	604	0
607	605	604	0
85	606	604	0
607	606	604	0
1357	1120	-1119	0
1358	-1120	1119	0
-1091	1358	1357	0
-1272	-70	-1103	0
-1275	-1274	-1103	0
1274	70	1103	0
1275	70	1103	0
1274	1272	1103	0
1275	1272	1103	0
1351	1246	-1245	0
1352	-1246	1245	0
-1090	1352	1351	0
-757	-756	-755	0
-758	-109	-755	0
109	756	755	0
758	756	755	0
109	757	755	0
758	757	755	0
-1280	-20	-1244	0
-1283	-1282	-1244	0
1282	20	1244	0
1283	20	1244	0
1282	1280	1244	0
1283	1280	1244	0
1355	1124	-1123	0
1356	-1124	1123	0
-1089	1356	1355	0
-773	-772	-771	0
-774	-30	-771	0
30	772	771	0
774	772	771	0
30	773	771	0
774	773	771	0
-1299	-27	-1078	0
-1302	-1301	-1078	0
1301	27	1078	0
1302	27	1078	0
1301	1299	1078	0
1302	1299	1078	0
1353	1233	-1234	0
1354	-1233	1234	0
-1086	1354	1353	0
-777	-776	-670	0
-778	-49	-670	0
49	776	670	0
778	776	670	0
49	777	670	0
778	777	670	0
-1276	-6	-957	0
-1279	-1278	-957	0
1278	6	957	0
1279	6	957	0
1278	1276	957	0
1279	1276	957	0
854	251	242	0
-854	-251	242	0
-854	251	-242	0
854	-251	-242	0
-780	-779	-249	0
-781	-90	-249	0
90	779	249	0
781	779	249	0
90	780	249	0
781	780	249	0
-1015	-35	-239	0
-1018	-1017	-239	0
1017	35	239	0
1018	35	239	0
1017	1015	239	0
1018	1015	239	0
1237	1236	243	0
-1237	-1236	243	0
-1237	1236	-243	0
1237	-1236	-243	0
-749	-748	-671	0
-750	-102	-671	0
102	748	671	0
750	748	671	0
102	749	671	0
750	749	671	0
-1268	-123	-958	0
-1271	-1270	-958	0
1270	123	958	0
1271	123	958	0
1270	1268	958	0
1271	1268	958	0
1077	1076	464	0
-1077	-1076	464	0
-1077	1076	-464	0
1077	-1076	-464	0
-893	-892	-245	0
-894	-5	-245	0
5	892	245	0
894	892	245	0
5	893	245	0
894	893	245	0
-1160	-64	-238	0
-1163	-1162	-238	0
1162	64	238	0
1163	64	238	0
1162	1160	238	0
1163	1160	238	0
-760	-759	-580	0
-761	-12	-580	0
12	759	580	0
761	759	580	0
12	760	580	0
761	760	580	0
956	1225	1079	0
956	1083	1079	0
956	1087	1079	0
1235	963	956	0
-963	-959	-956	0
-1235	-959	-956	0
-963	-961	-956	0
-1235	-961	-956	0
-963	-1232	-956	0
-1235	-1232	-956	0
1083	1084	1085	0
1359	1107	-1108	0
1360	-1107	1108	0
-1088	1360	1359	0
-225	224	226	0
-225	-224	-226	0
-489	488	490	0
-489	-488	-490	0
-482	481	483	0
-482	-481	-483	0
-356	355	357	0
-356	-355	-357	0
-353	352	354	0
-353	-352	-354	0
494	500	507	0
1373	537	-539	0
1374	-537	539	0
-535	1374	1373	0
-623	-625	-525	0
-624	-15	-525	0
15	625	525	0
624	625	525	0
15	623	525	0
624	623	525	0
-904	-4	-526	0
-905	-907	-526	0
907	4	526	0
905	4	526	0
907	904	526	0
905	904	526	0
1369	577	-578	0
1370	-577	578	0
-569	1370	1369	0
-439	-444	-390	0
-440	-116	-390	0
116	444	390	0
440	444	390	0
116	439	390	0
440	439	390	0
-791	-68	-528	0
-792	-802	-528	0
802	68	528	0
792	68	528	0
802	791	528	0
792	791	528	0
744	746	736	0
-744	-746	736	0
-744	746	-736	0
744	-746	-736	0
-799	-811	-741	0
800	811	741	0
800	799	741	0
-740	-884	-883	0
-1029	-25	-1008	0
-1030	-1032	-1008	0
1032	25	1008	0
1030	25	1008	0
1032	1029	1008	0
1030	1029	1008	0
1375	532	-534	0
1376	-532	534	0
-530	1376	1375	0
-424	-422	-421	0
-426	-87	-421	0
87	422	421	0
426	422	421	0
87	424	421	0
426	424	421	0
-1184	-74	-527	0
-1185	-1191	-527	0
1191	74	527	0
1185	74	527	0
1191	1184	527	0
1185	1184	527	0
1371	573	-574	0
1372	-573	574	0
-560	1372	1371	0
-436	-435	-391	0
-437	-111	-391	0
111	435	391	0
437	435	391	0
111	436	391	0
437	436	391	0
-766	-118	-529	0
-767	-806	-529	0
806	118	529	0
767	118	529	0
806	766	529	0
767	766	529	0
835	837	831	0
-835	-837	831	0
-835	837	-831	0
835	-837	-831	0
-785	-784	-782	0
-786	-2	-782	0
2	784	782	0
786	784	782	0
2	785	782	0
786	785	782	0
-1186	-62	-832	0
-1189	-1188	-832	0
1188	62	832	0
1189	62	832	0
1188	1186	832	0
1189	1186	832	0
934	932	930	0
-934	-932	930	0
-934	932	-930	0
934	-932	-930	0
-1210	-1209	-926	0
-1211	-22	-926	0
22	1209	926	0
1211	1209	926	0
22	1210	926	0
1211	1210	926	0
-1309	-121	-927	0
-1310	-1330	-927	0
1330	121	927	0
1310	121	927	0
1330	1309	927	0
1310	1309	927	0
925	924	922	0
-925	-924	922	0
-925	924	-922	0
925	-924	-922	0
-620	-619	-618	0
-621	-99	-618	0
99	619	618	0
621	619	618	0
99	620	618	0
621	620	618	0
-1176	-9	-834	0
-1177	-1179	-834	0
1179	9	834	0
1177	9	834	0
1179	1176	834	0
1177	1176	834	0
849	850	846	0
-849	-850	846	0
-849	850	-846	0
849	-850	-846	0
-1045	-1044	-845	0
-1046	-23	-845	0
23	1044	845	0
1046	1044	845	0
23	1045	845	0
1046	1045	845	0
-1305	-7	-847	0
-1306	-1312	-847	0
1312	7	847	0
1306	7	847	0
1312	1305	847	0
1306	1305	847	0
-132	-945	-947	0
1231	1230	463	0
-1231	-1230	463	0
-1231	1230	-463	0
1231	-1230	-463	0
-348	347	349	0
-348	-347	-349	0
510	501	246	0
-502	-501	-246	0
-502	-510	-246	0
838	836	833	0
-836	-928	-833	0
-838	-928	-833	0
-836	-870	-833	0
-838	-870	-833	0
-836	-923	-833	0
-838	-923	-833	0
545	562	551	0
545	540	551	0
545	552	551	0
550	549	545	0
-549	-738	-545	0
-550	-738	-545	0
-549	-547	-545	0
-550	-547	-545	0
-549	-548	-545	0
-550	-548	-545	0
540	542	544	0
1389	130	-128	0
1390	-130	128	0
-1388	1390	1389	0
-478	-479	486	0
-478	-477	484	0
-478	484	486	0
-485	-486	479	0
-485	-484	477	0
-485	477	479	0
-129	128	130	0
-129	-128	-130	0
-656	-655	-493	0
-478	477	479	0
-478	-477	-479	0
-485	484	486	0
-485	-484	-486	0
-1391	1388	1385	0
-125	-347	-224	-652	0
-127	-349	-226	-652	0
862	859	858	652	0
862	860	858	652	0
862	859	657	652	0
862	860	657	652	0
1004	1002	1001	863	0
377	374	517	379	0
710	709	701	383	0
-676	-672	-674	-678	0
-266	-283	-282	-281	0
1132	1131	1130	680	0
-984	-990	-970	-987	0
1138	1135	1137	1131	0
729	727	877	724	0
-1139	-1140	-1126	-1141	0
1126	1127	1128	1129	0
-944	-1101	-1099	-1102	0
-1115	-1109	-1117	-1102	0
1100	1105	1092	1106	0
-1092	-1094	-1096	-1098	0
-943	-338	-1079	-342	0
-342	-343	-344	-345	0
-1087	-1083	-1225	-1079	0
1232	961	959	956	0
-338	-244	-240	-252	0
240	829	827	465	0
-224	-358	-228	-352	0
-226	-358	-228	-354	0
228	468	470	472	0
-497	-565	-561	-563	0
561	739	736	737	0
942	1081	1080	1082	0
462	466	463	824	0
499	839	840	833	0
923	870	928	833	0
-841	-842	-843	-844	0
843	936	939	937	0
498	554	735	734	0
-552	-540	-562	-551	0
548	547	738	545	0
735	568	745	747	0
554	557	555	559	0
-555	-564	-566	-567	0
-128	-484	-477	-493	0
-130	-486	-479	-493	0
861	255	655	493	0
861	255	656	493	0
255	467	339	257	0
-477	-480	-473	-481	0
-479	-480	-473	-483	0
473	474	475	476	0
382	297	383	384	377	0
-708	-712	-711	-713	-714	0
-701	-703	-704	-705	-707	0
297	523	386	294	300	0
-663	-699	-700	-706	-697	0
-346	-679	-680	-281	-676	0
268	276	271	273	260	0
274	275	277	279	280	0
970	979	972	974	976	0
873	973	878	975	876	0
-1101	-1240	-1238	-1241	-1239	0
344	825	826	828	830	0
-857	-1088	-1093	-1095	-1097	0
-230	353	356	482	489	0
496	846	938	940	941	0
-347	-351	-355	-359	-361	0
-349	-351	-357	-359	-361	0
839	935	933	929	931	0
-568	-742	-570	-571	-572	0
-484	-487	-488	-491	-492	0
-486	-487	-490	-491	-492	0