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