p cnf 343 2058
-1 2 0
-2 0
2 3 0
-2 -3 0
3 4 0
-3 -4 0
-4 5 0
4 -5 0
5 6 0
-5 -6 0
-6 7 0
6 -7 0
-7 1 0
7 -1 0
8 9 0
-8 -9 0
9 10 0
-9 -10 0
10 11 0
-10 -11 0
-11 12 0
11 -12 0
-12 13 0
12 -13 0
13 14 0
-13 -14 0
-14 8 0
14 -8 0
15 16 0
-15 -16 0
-16 17 0
16 -17 0
17 18 0
-17 -18 0
18 19 0
-18 -19 0
-19 20 0
19 -20 0
20 21 0
-20 -21 0
-21 15 0
21 -15 0
22 23 0
-22 -23 0
23 24 0
-23 -24 0
-24 25 0
24 -25 0
-25 26 0
25 -26 0
-26 27 0
26 -27 0
-27 28 0
27 -28 0
-28 22 0
28 -22 0
29 30 0
-29 -30 0
30 31 0
-30 -31 0
-31 32 0
31 -32 0
32 33 0
-32 -33 0
-33 34 0
33 -34 0
-34 35 0
34 -35 0
-35 29 0
35 -29 0
-36 37 0
36 -37 0
-37 38 0
37 -38 0
38 39 0
-38 -39 0
-39 40 0
39 -40 0
-40 41 0
40 -41 0
-41 42 0
41 -42 0
42 36 0
-42 -36 0
43 44 0
-43 -44 0
-44 45 0
44 -45 0
45 46 0
-45 -46 0
-46 47 0
46 -47 0
47 48 0
-47 -48 0
48 49 0
-48 -49 0
-49 43 0
49 -43 0
8 0
-1 -8 0
-2 9 0
2 -9 0
-3 10 0
3 -10 0
-4 11 0
4 -11 0
5 12 0
-5 -12 0
6 13 0
-6 -13 0
7 14 0
-7 -14 0
-8 15 0
8 -15 0
-9 16 0
9 -16 0
-10 17 0
10 -17 0
11 18 0
-11 -18 0
12 19 0
-12 -19 0
-13 20 0
13 -20 0
14 21 0
-14 -21 0
15 22 0
-15 -22 0
16 23 0
-16 -23 0
-17 24 0
17 -24 0
-18 25 0
18 -25 0
-19 26 0
19 -26 0
-20 27 0
20 -27 0
21 28 0
-21 -28 0
22 29 0
-22 -29 0
-23 30 0
23 -30 0
-24 31 0
24 -31 0
-25 32 0
25 -32 0
26 33 0
-26 -33 0
27 34 0
-27 -34 0
28 35 0
-28 -35 0
29 36 0
-29 -36 0
30 37 0
-30 -37 0
31 38 0
-31 -38 0
-32 39 0
32 -39 0
-33 40 0
33 -40 0
34 41 0
-34 -41 0
-35 42 0
35 -42 0
-36 43 0
36 -43 0
-37 44 0
37 -44 0
-38 45 0
38 -45 0
39 46 0
-39 -46 0
40 47 0
-40 -47 0
41 48 0
-41 -48 0
-42 49 0
42 -49 0
43 1 0
-43 -1 0
-44 2 0
44 -2 0
-45 3 0
45 -3 0
-46 4 0
46 -4 0
47 5 0
-47 -5 0
48 6 0
-48 -6 0
-49 7 0
49 -7 0
50 0
-1 -50 0
2 51 0
-2 -51 0
3 52 0
-3 -52 0
4 53 0
-4 -53 0
-5 54 0
5 -54 0
-6 55 0
6 -55 0
7 56 0
-7 -56 0
8 57 0
-8 -57 0
9 58 0
-9 -58 0
-10 59 0
10 -59 0
11 60 0
-11 -60 0
-12 61 0
12 -61 0
-13 62 0
13 -62 0
14 63 0
-14 -63 0
-15 64 0
15 -64 0
16 65 0
-16 -65 0
-17 66 0
17 -66 0
18 67 0
-18 -67 0
19 68 0
-19 -68 0
20 69 0
-20 -69 0
21 70 0
-21 -70 0
-22 71 0
22 -71 0
23 72 0
-23 -72 0
24 73 0
-24 -73 0
25 74 0
-25 -74 0
26 75 0
-26 -75 0
-27 76 0
27 -76 0
28 77 0
-28 -77 0
29 78 0
-29 -78 0
30 79 0
-30 -79 0
-31 80 0
31 -80 0
32 81 0
-32 -81 0
33 82 0
-33 -82 0
34 83 0
-34 -83 0
35 84 0
-35 -84 0
-36 85 0
36 -85 0
-37 86 0
37 -86 0
38 87 0
-38 -87 0
-39 88 0
39 -88 0
-40 89 0
40 -89 0
41 90 0
-41 -90 0
42 91 0
-42 -91 0
43 92 0
-43 -92 0
44 93 0
-44 -93 0
-45 94 0
45 -94 0
-46 95 0
46 -95 0
-47 96 0
47 -96 0
-48 97 0
48 -97 0
-49 98 0
49 -98 0
-50 51 0
50 -51 0
51 52 0
-51 -52 0
-52 53 0
52 -53 0
-53 54 0
53 -54 0
54 55 0
-54 -55 0
-55 56 0
55 -56 0
56 50 0
-56 -50 0
57 58 0
-57 -58 0
58 59 0
-58 -59 0
59 60 0
-59 -60 0
-60 61 0
60 -61 0
61 62 0
-61 -62 0
-62 63 0
62 -63 0
-63 57 0
63 -57 0
64 65 0
-64 -65 0
65 66 0
-65 -66 0
-66 67 0
66 -67 0
67 68 0
-67 -68 0
-68 69 0
68 -69 0
-69 70 0
69 -70 0
70 64 0
-70 -64 0
71 72 0
-71 -72 0
72 73 0
-72 -73 0
-73 74 0
73 -74 0
-74 75 0
74 -75 0
75 76 0
-75 -76 0
-76 77 0
76 -77 0
-77 71 0
77 -71 0
-78 79 0
78 -79 0
-79 80 0
79 -80 0
80 81 0
-80 -81 0
81 82 0
-81 -82 0
82 83 0
-82 -83 0
-83 84 0
83 -84 0
84 78 0
-84 -78 0
85 86 0
-85 -86 0
-86 87 0
86 -87 0
87 88 0
-87 -88 0
-88 89 0
88 -89 0
89 90 0
-89 -90 0
-90 91 0
90 -91 0
-91 85 0
91 -85 0
92 93 0
-92 -93 0
93 94 0
-93 -94 0
94 95 0
-94 -95 0
95 96 0
-95 -96 0
-96 97 0
96 -97 0
97 98 0
-97 -98 0
98 92 0
-98 -92 0
50 57 0
-50 -57 0
51 58 0
-51 -58 0
52 59 0
-52 -59 0
-53 60 0
53 -60 0
-54 61 0
54 -61 0
-55 62 0
55 -62 0
56 63 0
-56 -63 0
57 64 0
-57 -64 0
-58 65 0
58 -65 0
59 66 0
-59 -66 0
-60 67 0
60 -67 0
61 68 0
-61 -68 0
62 69 0
-62 -69 0
-63 70 0
63 -70 0
-64 71 0
64 -71 0
-65 72 0
65 -72 0
-66 73 0
66 -73 0
-67 74 0
67 -74 0
68 75 0
-68 -75 0
69 76 0
-69 -76 0
70 77 0
-70 -77 0
71 78 0
-71 -78 0
72 79 0
-72 -79 0
73 80 0
-73 -80 0
-74 81 0
74 -81 0
75 82 0
-75 -82 0
76 83 0
-76 -83 0
77 84 0
-77 -84 0
78 85 0
-78 -85 0
-79 86 0
79 -86 0
-80 87 0
80 -87 0
81 88 0
-81 -88 0
82 89 0
-82 -89 0
83 90 0
-83 -90 0
84 91 0
-84 -91 0
-85 92 0
85 -92 0
86 93 0
-86 -93 0
87 94 0
-87 -94 0
88 95 0
-88 -95 0
89 96 0
-89 -96 0
-90 97 0
90 -97 0
-91 98 0
91 -98 0
-92 50 0
92 -50 0
93 51 0
-93 -51 0
-94 52 0
94 -52 0
95 53 0
-95 -53 0
96 54 0
-96 -54 0
-97 55 0
97 -55 0
98 56 0
-98 -56 0
-50 99 0
50 -99 0
51 100 0
-51 -100 0
-52 101 0
52 -101 0
53 102 0
-53 -102 0
-54 103 0
54 -103 0
-55 104 0
55 -104 0
56 105 0
-56 -105 0
-57 106 0
57 -106 0
-58 107 0
58 -107 0
-59 108 0
59 -108 0
-60 109 0
60 -109 0
-61 110 0
61 -110 0
62 111 0
-62 -111 0
-63 112 0
63 -112 0
-64 113 0
64 -113 0
-65 114 0
65 -114 0
66 115 0
-66 -115 0
-67 116 0
67 -116 0
68 117 0
-68 -117 0
69 118 0
-69 -118 0
-70 119 0
70 -119 0
71 120 0
-71 -120 0
72 121 0
-72 -121 0
-73 122 0
73 -122 0
-74 123 0
74 -123 0
-75 124 0
75 -124 0
-76 125 0
76 -125 0
-77 126 0
77 -126 0
-78 127 0
78 -127 0
-79 128 0
79 -128 0
80 129 0
-80 -129 0
-81 130 0
81 -130 0
-82 131 0
82 -131 0
83 132 0
-83 -132 0
-84 133 0
84 -133 0
-85 134 0
85 -134 0
86 135 0
-86 -135 0
-87 136 0
87 -136 0
-88 137 0
88 -137 0
-89 138 0
89 -138 0
90 139 0
-90 -139 0
-91 140 0
91 -140 0
-92 141 0
92 -141 0
93 142 0
-93 -142 0
94 143 0
-94 -143 0
-95 144 0
95 -144 0
-96 145 0
96 -145 0
97 146 0
-97 -146 0
98 147 0
-98 -147 0
-99 100 0
99 -100 0
100 101 0
-100 -101 0
-101 102 0
101 -102 0
102 103 0
-102 -103 0
103 104 0
-103 -104 0
104 105 0
-104 -105 0
-105 99 0
105 -99 0
-106 107 0
106 -107 0
107 108 0
-107 -108 0
-108 109 0
108 -109 0
-109 110 0
109 -110 0
-110 111 0
110 -111 0
-111 112 0
111 -112 0
-112 106 0
112 -106 0
-113 114 0
113 -114 0
-114 115 0
114 -115 0
-115 116 0
115 -116 0
-116 117 0
116 -117 0
-117 118 0
117 -118 0
118 119 0
-118 -119 0
119 113 0
-119 -113 0
-120 121 0
120 -121 0
121 122 0
-121 -122 0
122 123 0
-122 -123 0
123 124 0
-123 -124 0
124 125 0
-124 -125 0
125 126 0
-125 -126 0
-126 120 0
126 -120 0
127 128 0
-127 -128 0
128 129 0
-128 -129 0
129 130 0
-129 -130 0
-130 131 0
130 -131 0
-131 132 0
131 -132 0
132 133 0
-132 -133 0
133 127 0
-133 -127 0
-134 135 0
134 -135 0
-135 136 0
135 -136 0
-136 137 0
136 -137 0
-137 138 0
137 -138 0
-138 139 0
138 -139 0
139 140 0
-139 -140 0
-140 134 0
140 -134 0
-141 142 0
141 -142 0
-142 143 0
142 -143 0
143 144 0
-143 -144 0
-144 145 0
144 -145 0
145 146 0
-145 -146 0
146 147 0
-146 -147 0
147 141 0
-147 -141 0
-99 106 0
99 -106 0
-100 107 0
100 -107 0
-101 108 0
101 -108 0
102 109 0
-102 -109 0
103 110 0
-103 -110 0
104 111 0
-104 -111 0
105 112 0
-105 -112 0
106 113 0
-106 -113 0
107 114 0
-107 -114 0
-108 115 0
108 -115 0
-109 116 0
109 -116 0
110 117 0
-110 -117 0
-111 118 0
111 -118 0
112 119 0
-112 -119 0
-113 120 0
113 -120 0
-114 121 0
114 -121 0
115 122 0
-115 -122 0
-116 123 0
116 -123 0
117 124 0
-117 -124 0
-118 125 0
118 -125 0
-119 126 0
119 -126 0
-120 127 0
120 -127 0
121 128 0
-121 -128 0
-122 129 0
122 -129 0
123 130 0
-123 -130 0
-124 131 0
124 -131 0
125 132 0
-125 -132 0
-126 133 0
126 -133 0
-127 134 0
127 -134 0
128 135 0
-128 -135 0
129 136 0
-129 -136 0
-130 137 0
130 -137 0
-131 138 0
131 -138 0
-132 139 0
132 -139 0
-133 140 0
133 -140 0
-134 141 0
134 -141 0
-135 142 0
135 -142 0
-136 143 0
136 -143 0
-137 144 0
137 -144 0
138 145 0
-138 -145 0
139 146 0
-139 -146 0
-140 147 0
140 -147 0
-141 99 0
141 -99 0
142 100 0
-142 -100 0
143 101 0
-143 -101 0
144 102 0
-144 -102 0
145 103 0
-145 -103 0
146 104 0
-146 -104 0
-147 105 0
147 -105 0
99 148 0
-99 -148 0
-100 149 0
100 -149 0
101 150 0
-101 -150 0
-102 151 0
102 -151 0
-103 152 0
103 -152 0
104 153 0
-104 -153 0
105 154 0
-105 -154 0
-106 155 0
106 -155 0
107 156 0
-107 -156 0
-108 157 0
108 -157 0
109 158 0
-109 -158 0
-110 159 0
110 -159 0
111 160 0
-111 -160 0
112 161 0
-112 -161 0
-113 162 0
113 -162 0
-114 163 0
114 -163 0
-115 164 0
115 -164 0
116 165 0
-116 -165 0
117 166 0
-117 -166 0
118 167 0
-118 -167 0
119 168 0
-119 -168 0
120 169 0
-120 -169 0
121 170 0
-121 -170 0
122 171 0
-122 -171 0
-123 172 0
123 -172 0
124 173 0
-124 -173 0
125 174 0
-125 -174 0
-126 175 0
126 -175 0
-127 176 0
127 -176 0
-128 177 0
128 -177 0
129 178 0
-129 -178 0
130 179 0
-130 -179 0
-131 180 0
131 -180 0
132 181 0
-132 -181 0
133 182 0
-133 -182 0
134 183 0
-134 -183 0
-135 184 0
135 -184 0
-136 185 0
136 -185 0
137 186 0
-137 -186 0
-138 187 0
138 -187 0
139 188 0
-139 -188 0
-140 189 0
140 -189 0
-141 190 0
141 -190 0
142 191 0
-142 -191 0
-143 192 0
143 -192 0
-144 193 0
144 -193 0
145 194 0
-145 -194 0
146 195 0
-146 -195 0
147 196 0
-147 -196 0
148 149 0
-148 -149 0
149 150 0
-149 -150 0
-150 151 0
150 -151 0
151 152 0
-151 -152 0
152 153 0
-152 -153 0
-153 154 0
153 -154 0
154 148 0
-154 -148 0
-155 156 0
155 -156 0
156 157 0
-156 -157 0
-157 158 0
157 -158 0
158 159 0
-158 -159 0
159 160 0
-159 -160 0
-160 161 0
160 -161 0
-161 155 0
161 -155 0
162 163 0
-162 -163 0
163 164 0
-163 -164 0
-164 165 0
164 -165 0
-165 166 0
165 -166 0
-166 167 0
166 -167 0
167 168 0
-167 -168 0
168 162 0
-168 -162 0
-169 170 0
169 -170 0
170 171 0
-170 -171 0
-171 172 0
171 -172 0
-172 173 0
172 -173 0
-173 174 0
173 -174 0
174 175 0
-174 -175 0
-175 169 0
175 -169 0
-176 177 0
176 -177 0
-177 178 0
177 -178 0
178 179 0
-178 -179 0
-179 180 0
179 -180 0
180 181 0
-180 -181 0
-181 182 0
181 -182 0
-182 176 0
182 -176 0
-183 184 0
183 -184 0
184 185 0
-184 -185 0
-185 186 0
185 -186 0
186 187 0
-186 -187 0
-187 188 0
187 -188 0
188 189 0
-188 -189 0
189 183 0
-189 -183 0
-190 191 0
190 -191 0
-191 192 0
191 -192 0
-192 193 0
192 -193 0
193 194 0
-193 -194 0
-194 195 0
194 -195 0
195 196 0
-195 -196 0
196 190 0
-196 -190 0
148 155 0
-148 -155 0
149 156 0
-149 -156 0
150 157 0
-150 -157 0
151 158 0
-151 -158 0
152 159 0
-152 -159 0
153 160 0
-153 -160 0
154 161 0
-154 -161 0
155 162 0
-155 -162 0
-156 163 0
156 -163 0
-157 164 0
157 -164 0
-158 165 0
158 -165 0
-159 166 0
159 -166 0
160 167 0
-160 -167 0
161 168 0
-161 -168 0
162 169 0
-162 -169 0
-163 170 0
163 -170 0
164 171 0
-164 -171 0
165 172 0
-165 -172 0
-166 173 0
166 -173 0
-167 174 0
167 -174 0
168 175 0
-168 -175 0
169 176 0
-169 -176 0
-170 177 0
170 -177 0
171 178 0
-171 -178 0
172 179 0
-172 -179 0
-173 180 0
173 -180 0
174 181 0
-174 -181 0
-175 182 0
175 -182 0
176 183 0
-176 -183 0
177 184 0
-177 -184 0
178 185 0
-178 -185 0
-179 186 0
179 -186 0
180 187 0
-180 -187 0
-181 188 0
181 -188 0
182 189 0
-182 -189 0
-183 190 0
183 -190 0
-184 191 0
184 -191 0
185 192 0
-185 -192 0
-186 193 0
186 -193 0
-187 194 0
187 -194 0
-188 195 0
188 -195 0
-189 196 0
189 -196 0
190 148 0
-190 -148 0
191 149 0
-191 -149 0
192 150 0
-192 -150 0
193 151 0
-193 -151 0
-194 152 0
194 -152 0
195 153 0
-195 -153 0
196 154 0
-196 -154 0
-148 197 0
148 -197 0
149 198 0
-149 -198 0
150 199 0
-150 -199 0
151 200 0
-151 -200 0
-152 201 0
152 -201 0
153 202 0
-153 -202 0
-154 203 0
154 -203 0
155 204 0
-155 -204 0
156 205 0
-156 -205 0
-157 206 0
157 -206 0
158 207 0
-158 -207 0
159 208 0
-159 -208 0
160 209 0
-160 -209 0
161 210 0
-161 -210 0
-162 211 0
162 -211 0
163 212 0
-163 -212 0
-164 213 0
164 -213 0
165 214 0
-165 -214 0
166 215 0
-166 -215 0
-167 216 0
167 -216 0
168 217 0
-168 -217 0
169 218 0
-169 -218 0
170 219 0
-170 -219 0
171 220 0
-171 -220 0
-172 221 0
172 -221 0
-173 222 0
173 -222 0
174 223 0
-174 -223 0
175 224 0
-175 -224 0
-176 225 0
176 -225 0
177 226 0
-177 -226 0
-178 227 0
178 -227 0
179 228 0
-179 -228 0
180 229 0
-180 -229 0
-181 230 0
181 -230 0
-182 231 0
182 -231 0
-183 232 0
183 -232 0
-184 233 0
184 -233 0
185 234 0
-185 -234 0
-186 235 0
186 -235 0
-187 236 0
187 -236 0
-188 237 0
188 -237 0
-189 238 0
189 -238 0
-190 239 0
190 -239 0
-191 240 0
191 -240 0
-192 241 0
192 -241 0
-193 242 0
193 -242 0
-194 243 0
194 -243 0
195 244 0
-195 -244 0
-196 245 0
196 -245 0
-197 198 0
197 -198 0
-198 199 0
198 -199 0
199 200 0
-199 -200 0
200 201 0
-200 -201 0
201 202 0
-201 -202 0
202 203 0
-202 -203 0
203 197 0
-203 -197 0
-204 205 0
204 -205 0
205 206 0
-205 -206 0
206 207 0
-206 -207 0
207 208 0
-207 -208 0
208 209 0
-208 -209 0
209 210 0
-209 -210 0
210 204 0
-210 -204 0
211 212 0
-211 -212 0
-212 213 0
212 -213 0
213 214 0
-213 -214 0
214 215 0
-214 -215 0
215 216 0
-215 -216 0
216 217 0
-216 -217 0
217 211 0
-217 -211 0
-218 219 0
218 -219 0
219 220 0
-219 -220 0
220 221 0
-220 -221 0
-221 222 0
221 -222 0
-222 223 0
222 -223 0
223 224 0
-223 -224 0
224 218 0
-224 -218 0
-225 226 0
225 -226 0
-226 227 0
226 -227 0
227 228 0
-227 -228 0
228 229 0
-228 -229 0
229 230 0
-229 -230 0
230 231 0
-230 -231 0
-231 225 0
231 -225 0
-232 233 0
232 -233 0
-233 234 0
233 -234 0
-234 235 0
234 -235 0
235 236 0
-235 -236 0
236 237 0
-236 -237 0
-237 238 0
237 -238 0
-238 232 0
238 -232 0
239 240 0
-239 -240 0
240 241 0
-240 -241 0
-241 242 0
241 -242 0
242 243 0
-242 -243 0
243 244 0
-243 -244 0
244 245 0
-244 -245 0
245 239 0
-245 -239 0
-197 204 0
197 -204 0
198 205 0
-198 -205 0
199 206 0
-199 -206 0
200 207 0
-200 -207 0
-201 208 0
201 -208 0
-202 209 0
202 -209 0
203 210 0
-203 -210 0
-204 211 0
204 -211 0
205 212 0
-205 -212 0
-206 213 0
206 -213 0
-207 214 0
207 -214 0
208 215 0
-208 -215 0
209 216 0
-209 -216 0
-210 217 0
210 -217 0
-211 218 0
211 -218 0
212 219 0
-212 -219 0
-213 220 0
213 -220 0
-214 221 0
214 -221 0
215 222 0
-215 -222 0
216 223 0
-216 -223 0
-217 224 0
217 -224 0
-218 225 0
218 -225 0
-219 226 0
219 -226 0
-220 227 0
220 -227 0
221 228 0
-221 -228 0
-222 229 0
222 -229 0
223 230 0
-223 -230 0
-224 231 0
224 -231 0
-225 232 0
225 -232 0
-226 233 0
226 -233 0
-227 234 0
227 -234 0
-228 235 0
228 -235 0
229 236 0
-229 -236 0
-230 237 0
230 -237 0
-231 238 0
231 -238 0
-232 239 0
232 -239 0
233 240 0
-233 -240 0
234 241 0
-234 -241 0
-235 242 0
235 -242 0
-236 243 0
236 -243 0
-237 244 0
237 -244 0
238 245 0
-238 -245 0
-239 197 0
239 -197 0
240 198 0
-240 -198 0
241 199 0
-241 -199 0
242 200 0
-242 -200 0
243 201 0
-243 -201 0
-244 202 0
244 -202 0
245 203 0
-245 -203 0
197 246 0
-197 -246 0
-198 247 0
198 -247 0
199 248 0
-199 -248 0
-200 249 0
200 -249 0
-201 250 0
201 -250 0
-202 251 0
202 -251 0
-203 252 0
203 -252 0
-204 253 0
204 -253 0
-205 254 0
205 -254 0
206 255 0
-206 -255 0
207 256 0
-207 -256 0
-208 257 0
208 -257 0
209 258 0
-209 -258 0
210 259 0
-210 -259 0
-211 260 0
211 -260 0
-212 261 0
212 -261 0
213 262 0
-213 -262 0
-214 263 0
214 -263 0
215 264 0
-215 -264 0
216 265 0
-216 -265 0
-217 266 0
217 -266 0
218 267 0
-218 -267 0
219 268 0
-219 -268 0
-220 269 0
220 -269 0
-221 270 0
221 -270 0
-222 271 0
222 -271 0
-223 272 0
223 -272 0
-224 273 0
224 -273 0
-225 274 0
225 -274 0
-226 275 0
226 -275 0
227 276 0
-227 -276 0
228 277 0
-228 -277 0
-229 278 0
229 -278 0
230 279 0
-230 -279 0
-231 280 0
231 -280 0
232 281 0
-232 -281 0
-233 282 0
233 -282 0
-234 283 0
234 -283 0
-235 284 0
235 -284 0
-236 285 0
236 -285 0
-237 286 0
237 -286 0
-238 287 0
238 -287 0
-239 288 0
239 -288 0
240 289 0
-240 -289 0
-241 290 0
241 -290 0
242 291 0
-242 -291 0
243 292 0
-243 -292 0
244 293 0
-244 -293 0
245 294 0
-245 -294 0
246 247 0
-246 -247 0
-247 248 0
247 -248 0
-248 249 0
248 -249 0
249 250 0
-249 -250 0
250 251 0
-250 -251 0
-251 252 0
251 -252 0
-252 246 0
252 -246 0
253 254 0
-253 -254 0
-254 255 0
254 -255 0
255 256 0
-255 -256 0
256 257 0
-256 -257 0
257 258 0
-257 -258 0
258 259 0
-258 -259 0
259 253 0
-259 -253 0
260 261 0
-260 -261 0
261 262 0
-261 -262 0
262 263 0
-262 -263 0
263 264 0
-263 -264 0
264 265 0
-264 -265 0
-265 266 0
265 -266 0
266 260 0
-266 -260 0
-267 268 0
267 -268 0
268 269 0
-268 -269 0
-269 270 0
269 -270 0
-270 271 0
270 -271 0
-271 272 0
271 -272 0
272 273 0
-272 -273 0
273 267 0
-273 -267 0
274 275 0
-274 -275 0
-275 276 0
275 -276 0
-276 277 0
276 -277 0
-277 278 0
277 -278 0
-278 279 0
278 -279 0
-279 280 0
279 -280 0
280 274 0
-280 -274 0
-281 282 0
281 -282 0
282 283 0
-282 -283 0
283 284 0
-283 -284 0
-284 285 0
284 -285 0
-285 286 0
285 -286 0
286 287 0
-286 -287 0
287 281 0
-287 -281 0
-288 289 0
288 -289 0
289 290 0
-289 -290 0
290 291 0
-290 -291 0
-291 292 0
291 -292 0
292 293 0
-292 -293 0
-293 294 0
293 -294 0
294 288 0
-294 -288 0
246 253 0
-246 -253 0
247 254 0
-247 -254 0
-248 255 0
248 -255 0
249 256 0
-249 -256 0
250 257 0
-250 -257 0
-251 258 0
251 -258 0
252 259 0
-252 -259 0
-253 260 0
253 -260 0
254 261 0
-254 -261 0
255 262 0
-255 -262 0
-256 263 0
256 -263 0
257 264 0
-257 -264 0
-258 265 0
258 -265 0
-259 266 0
259 -266 0
260 267 0
-260 -267 0
261 268 0
-261 -268 0
262 269 0
-262 -269 0
-263 270 0
263 -270 0
-264 271 0
264 -271 0
-265 272 0
265 -272 0
-266 273 0
266 -273 0
-267 274 0
267 -274 0
268 275 0
-268 -275 0
269 276 0
-269 -276 0
270 277 0
-270 -277 0
271 278 0
-271 -278 0
-272 279 0
272 -279 0
273 280 0
-273 -280 0
-274 281 0
274 -281 0
275 282 0
-275 -282 0
-276 283 0
276 -283 0
277 284 0
-277 -284 0
-278 285 0
278 -285 0
279 286 0
-279 -286 0
-280 287 0
280 -287 0
281 288 0
-281 -288 0
-282 289 0
282 -289 0
283 290 0
-283 -290 0
-284 291 0
284 -291 0
-285 292 0
285 -292 0
286 293 0
-286 -293 0
287 294 0
-287 -294 0
288 246 0
-288 -246 0
-289 247 0
289 -247 0
-290 248 0
290 -248 0
291 249 0
-291 -249 0
292 250 0
-292 -250 0
-293 251 0
293 -251 0
294 252 0
-294 -252 0
-246 295 0
246 -295 0
-247 296 0
247 -296 0
-248 297 0
248 -297 0
-249 298 0
249 -298 0
-250 299 0
250 -299 0
251 300 0
-251 -300 0
-252 301 0
252 -301 0
253 302 0
-253 -302 0
254 303 0
-254 -303 0
255 304 0
-255 -304 0
256 305 0
-256 -305 0
257 306 0
-257 -306 0
-258 307 0
258 -307 0
259 308 0
-259 -308 0
260 309 0
-260 -309 0
261 310 0
-261 -310 0
-262 311 0
262 -311 0
263 312 0
-263 -312 0
264 313 0
-264 -313 0
-265 314 0
265 -314 0
-266 315 0
266 -315 0
-267 316 0
267 -316 0
-268 317 0
268 -317 0
269 318 0
-269 -318 0
-270 319 0
270 -319 0
271 320 0
-271 -320 0
272 321 0
-272 -321 0
-273 322 0
273 -322 0
-274 323 0
274 -323 0
-275 324 0
275 -324 0
276 325 0
-276 -325 0
-277 326 0
277 -326 0
278 327 0
-278 -327 0
279 328 0
-279 -328 0
-280 329 0
280 -329 0
-281 330 0
281 -330 0
-282 331 0
282 -331 0
-283 332 0
283 -332 0
284 333 0
-284 -333 0
285 334 0
-285 -334 0
-286 335 0
286 -335 0
287 336 0
-287 -336 0
288 337 0
-288 -337 0
-289 338 0
289 -338 0
-290 339 0
290 -339 0
291 340 0
-291 -340 0
292 341 0
-292 -341 0
-293 342 0
293 -342 0
-294 343 0
294 -343 0
-295 296 0
295 -296 0
-296 297 0
296 -297 0
-297 298 0
297 -298 0
-298 299 0
298 -299 0
-299 300 0
299 -300 0
-300 301 0
300 -301 0
301 295 0
-301 -295 0
302 303 0
-302 -303 0
303 304 0
-303 -304 0
304 305 0
-304 -305 0
305 306 0
-305 -306 0
306 307 0
-306 -307 0
-307 308 0
307 -308 0
-308 302 0
308 -302 0
309 310 0
-309 -310 0
-310 311 0
310 -311 0
311 312 0
-311 -312 0
-312 313 0
312 -313 0
313 314 0
-313 -314 0
314 315 0
-314 -315 0
-315 309 0
315 -309 0
316 317 0
-316 -317 0
-317 318 0
317 -318 0
318 319 0
-318 -319 0
-319 320 0
319 -320 0
-320 321 0
320 -321 0
-321 322 0
321 -322 0
322 316 0
-322 -316 0
-323 324 0
323 -324 0
-324 325 0
324 -325 0
-325 326 0
325 -326 0
-326 327 0
326 -327 0
327 328 0
-327 -328 0
328 329 0
-328 -329 0
329 323 0
-329 -323 0
330 331 0
-330 -331 0
-331 332 0
331 -332 0
332 333 0
-332 -333 0
-333 334 0
333 -334 0
334 335 0
-334 -335 0
335 336 0
-335 -336 0
336 330 0
-336 -330 0
-337 338 0
337 -338 0
-338 339 0
338 -339 0
-339 340 0
339 -340 0
340 341 0
-340 -341 0
-341 342 0
341 -342 0
-342 343 0
342 -343 0
343 337 0
-343 -337 0
-295 302 0
295 -302 0
296 303 0
-296 -303 0
-297 304 0
297 -304 0
298 305 0
-298 -305 0
-299 306 0
299 -306 0
-300 307 0
300 -307 0
-301 308 0
301 -308 0
-302 309 0
302 -309 0
-303 310 0
303 -310 0
-304 311 0
304 -311 0
-305 312 0
305 -312 0
-306 313 0
306 -313 0
307 314 0
-307 -314 0
-308 315 0
308 -315 0
-309 316 0
309 -316 0
310 317 0
-310 -317 0
-311 318 0
311 -318 0
312 319 0
-312 -319 0
313 320 0
-313 -320 0
314 321 0
-314 -321 0
315 322 0
-315 -322 0
-316 323 0
316 -323 0
317 324 0
-317 -324 0
-318 325 0
318 -325 0
319 326 0
-319 -326 0
-320 327 0
320 -327 0
321 328 0
-321 -328 0
-322 329 0
322 -329 0
-323 330 0
323 -330 0
324 331 0
-324 -331 0
-325 332 0
325 -332 0
-326 333 0
326 -333 0
327 334 0
-327 -334 0
328 335 0
-328 -335 0
-329 336 0
329 -336 0
-330 337 0
330 -337 0
331 338 0
-331 -338 0
-332 339 0
332 -339 0
-333 340 0
333 -340 0
-334 341 0
334 -341 0
335 342 0
-335 -342 0
336 343 0
-336 -343 0
337 295 0
-337 -295 0
-338 296 0
338 -296 0
-339 297 0
339 -297 0
-340 298 0
340 -298 0
341 299 0
-341 -299 0
-342 300 0
342 -300 0
343 301 0
-343 -301 0
-295 1 0
295 -1 0
296 2 0
-296 -2 0
-297 3 0
297 -3 0
298 4 0
-298 -4 0
299 5 0
-299 -5 0
-300 6 0
300 -6 0
-301 7 0
301 -7 0
302 8 0
-302 -8 0
-303 9 0
303 -9 0
-304 10 0
304 -10 0
-305 11 0
305 -11 0
-306 12 0
306 -12 0
-307 13 0
307 -13 0
308 14 0
-308 -14 0
-309 15 0
309 -15 0
-310 16 0
310 -16 0
311 17 0
-311 -17 0
-312 18 0
312 -18 0
-313 19 0
313 -19 0
-314 20 0
314 -20 0
-315 21 0
315 -21 0
316 22 0
-316 -22 0
-317 23 0
317 -23 0
318 24 0
-318 -24 0
319 25 0
-319 -25 0
-320 26 0
320 -26 0
321 27 0
-321 -27 0
322 28 0
-322 -28 0
-323 29 0
323 -29 0
-324 30 0
324 -30 0
325 31 0
-325 -31 0
326 32 0
-326 -32 0
-327 33 0
327 -33 0
328 34 0
-328 -34 0
-329 35 0
329 -35 0
-330 36 0
330 -36 0
331 37 0
-331 -37 0
332 38 0
-332 -38 0
333 39 0
-333 -39 0
334 40 0
-334 -40 0
335 41 0
-335 -41 0
-336 42 0
336 -42 0
337 43 0
-337 -43 0
-338 44 0
338 -44 0
-339 45 0
339 -45 0
340 46 0
-340 -46 0
-341 47 0
341 -47 0
-342 48 0
342 -48 0
-343 49 0
343 -49 0
