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