puresat-0.1: dimacs/bf/bf2670-001.cnf

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