p cnf 258 1391
-1 -2 0
-1 -3 0
-1 -4 0
-1 -5 0
-1 -6 0
-1 -7 0
-1 -8 0
-2 -3 0
-2 -4 0
-2 -5 0
-2 -6 0
-2 -7 0
-2 -8 0
-3 -4 0
-3 -5 0
-3 -6 0
-3 -7 0
-3 -8 0
-4 -5 0
-4 -6 0
-4 -7 0
-4 -8 0
-5 -6 0
-5 -7 0
-5 -8 0
-6 -7 0
-6 -8 0
-7 -8 0
-9 -10 0
-9 -11 0
-9 -12 0
-9 -13 0
-9 -14 0
-9 -15 0
-9 -16 0
-9 -17 0
-9 -18 0
-10 -11 0
-10 -12 0
-10 -13 0
-10 -14 0
-10 -15 0
-10 -16 0
-10 -17 0
-10 -18 0
-11 -12 0
-11 -13 0
-11 -14 0
-11 -15 0
-11 -16 0
-11 -17 0
-11 -18 0
-12 -13 0
-12 -14 0
-12 -15 0
-12 -16 0
-12 -17 0
-12 -18 0
-13 -14 0
-13 -15 0
-13 -16 0
-13 -17 0
-13 -18 0
-14 -15 0
-14 -16 0
-14 -17 0
-14 -18 0
-15 -16 0
-15 -17 0
-15 -18 0
-16 -17 0
-16 -18 0
-17 -18 0
-19 -20 0
-19 -21 0
-19 -22 0
-19 -23 0
-19 -24 0
-19 -25 0
-19 -26 0
-19 -27 0
-19 -28 0
-20 -21 0
-20 -22 0
-20 -23 0
-20 -24 0
-20 -25 0
-20 -26 0
-20 -27 0
-20 -28 0
-21 -22 0
-21 -23 0
-21 -24 0
-21 -25 0
-21 -26 0
-21 -27 0
-21 -28 0
-22 -23 0
-22 -24 0
-22 -25 0
-22 -26 0
-22 -27 0
-22 -28 0
-23 -24 0
-23 -25 0
-23 -26 0
-23 -27 0
-23 -28 0
-24 -25 0
-24 -26 0
-24 -27 0
-24 -28 0
-25 -26 0
-25 -27 0
-25 -28 0
-26 -27 0
-26 -28 0
-27 -28 0
-29 -30 0
-29 -31 0
-29 -32 0
-29 -33 0
-29 -34 0
-29 -35 0
-29 -36 0
-29 -37 0
-29 -38 0
-29 -39 0
-29 -40 0
-30 -31 0
-30 -32 0
-30 -33 0
-30 -34 0
-30 -35 0
-30 -36 0
-30 -37 0
-30 -38 0
-30 -39 0
-30 -40 0
-31 -32 0
-31 -33 0
-31 -34 0
-31 -35 0
-31 -36 0
-31 -37 0
-31 -38 0
-31 -39 0
-31 -40 0
-32 -33 0
-32 -34 0
-32 -35 0
-32 -36 0
-32 -37 0
-32 -38 0
-32 -39 0
-32 -40 0
-33 -34 0
-33 -35 0
-33 -36 0
-33 -37 0
-33 -38 0
-33 -39 0
-33 -40 0
-34 -35 0
-34 -36 0
-34 -37 0
-34 -38 0
-34 -39 0
-34 -40 0
-35 -36 0
-35 -37 0
-35 -38 0
-35 -39 0
-35 -40 0
-36 -37 0
-36 -38 0
-36 -39 0
-36 -40 0
-37 -38 0
-37 -39 0
-37 -40 0
-38 -39 0
-38 -40 0
-39 -40 0
-41 -42 0
-41 -43 0
-41 -44 0
-41 -45 0
-41 -46 0
-41 -47 0
-41 -48 0
-41 -49 0
-41 -50 0
-42 -43 0
-42 -44 0
-42 -45 0
-42 -46 0
-42 -47 0
-42 -48 0
-42 -49 0
-42 -50 0
-43 -44 0
-43 -45 0
-43 -46 0
-43 -47 0
-43 -48 0
-43 -49 0
-43 -50 0
-44 -45 0
-44 -46 0
-44 -47 0
-44 -48 0
-44 -49 0
-44 -50 0
-45 -46 0
-45 -47 0
-45 -48 0
-45 -49 0
-45 -50 0
-46 -47 0
-46 -48 0
-46 -49 0
-46 -50 0
-47 -48 0
-47 -49 0
-47 -50 0
-48 -49 0
-48 -50 0
-49 -50 0
-51 -52 0
-51 -53 0
-51 -54 0
-51 -55 0
-51 -56 0
-51 -57 0
-51 -58 0
-51 -59 0
-51 -60 0
-51 -61 0
-51 -62 0
-52 -53 0
-52 -54 0
-52 -55 0
-52 -56 0
-52 -57 0
-52 -58 0
-52 -59 0
-52 -60 0
-52 -61 0
-52 -62 0
-53 -54 0
-53 -55 0
-53 -56 0
-53 -57 0
-53 -58 0
-53 -59 0
-53 -60 0
-53 -61 0
-53 -62 0
-54 -55 0
-54 -56 0
-54 -57 0
-54 -58 0
-54 -59 0
-54 -60 0
-54 -61 0
-54 -62 0
-55 -56 0
-55 -57 0
-55 -58 0
-55 -59 0
-55 -60 0
-55 -61 0
-55 -62 0
-56 -57 0
-56 -58 0
-56 -59 0
-56 -60 0
-56 -61 0
-56 -62 0
-57 -58 0
-57 -59 0
-57 -60 0
-57 -61 0
-57 -62 0
-58 -59 0
-58 -60 0
-58 -61 0
-58 -62 0
-59 -60 0
-59 -61 0
-59 -62 0
-60 -61 0
-60 -62 0
-61 -62 0
-63 -64 0
-63 -65 0
-63 -66 0
-63 -67 0
-63 -68 0
-63 -69 0
-63 -70 0
-63 -71 0
-63 -72 0
-64 -65 0
-64 -66 0
-64 -67 0
-64 -68 0
-64 -69 0
-64 -70 0
-64 -71 0
-64 -72 0
-65 -66 0
-65 -67 0
-65 -68 0
-65 -69 0
-65 -70 0
-65 -71 0
-65 -72 0
-66 -67 0
-66 -68 0
-66 -69 0
-66 -70 0
-66 -71 0
-66 -72 0
-67 -68 0
-67 -69 0
-67 -70 0
-67 -71 0
-67 -72 0
-68 -69 0
-68 -70 0
-68 -71 0
-68 -72 0
-69 -70 0
-69 -71 0
-69 -72 0
-70 -71 0
-70 -72 0
-71 -72 0
-73 -74 0
-73 -75 0
-73 -76 0
-73 -77 0
-73 -78 0
-73 -79 0
-73 -80 0
-73 -81 0
-73 -82 0
-73 -83 0
-73 -84 0
-74 -75 0
-74 -76 0
-74 -77 0
-74 -78 0
-74 -79 0
-74 -80 0
-74 -81 0
-74 -82 0
-74 -83 0
-74 -84 0
-75 -76 0
-75 -77 0
-75 -78 0
-75 -79 0
-75 -80 0
-75 -81 0
-75 -82 0
-75 -83 0
-75 -84 0
-76 -77 0
-76 -78 0
-76 -79 0
-76 -80 0
-76 -81 0
-76 -82 0
-76 -83 0
-76 -84 0
-77 -78 0
-77 -79 0
-77 -80 0
-77 -81 0
-77 -82 0
-77 -83 0
-77 -84 0
-78 -79 0
-78 -80 0
-78 -81 0
-78 -82 0
-78 -83 0
-78 -84 0
-79 -80 0
-79 -81 0
-79 -82 0
-79 -83 0
-79 -84 0
-80 -81 0
-80 -82 0
-80 -83 0
-80 -84 0
-81 -82 0
-81 -83 0
-81 -84 0
-82 -83 0
-82 -84 0
-83 -84 0
-85 -86 0
-85 -87 0
-85 -88 0
-85 -89 0
-85 -90 0
-85 -91 0
-85 -92 0
-85 -93 0
-85 -94 0
-86 -87 0
-86 -88 0
-86 -89 0
-86 -90 0
-86 -91 0
-86 -92 0
-86 -93 0
-86 -94 0
-87 -88 0
-87 -89 0
-87 -90 0
-87 -91 0
-87 -92 0
-87 -93 0
-87 -94 0
-88 -89 0
-88 -90 0
-88 -91 0
-88 -92 0
-88 -93 0
-88 -94 0
-89 -90 0
-89 -91 0
-89 -92 0
-89 -93 0
-89 -94 0
-90 -91 0
-90 -92 0
-90 -93 0
-90 -94 0
-91 -92 0
-91 -93 0
-91 -94 0
-92 -93 0
-92 -94 0
-93 -94 0
-95 -96 0
-95 -97 0
-95 -98 0
-95 -99 0
-95 -100 0
-95 -101 0
-95 -102 0
-96 -97 0
-96 -98 0
-96 -99 0
-96 -100 0
-96 -101 0
-96 -102 0
-97 -98 0
-97 -99 0
-97 -100 0
-97 -101 0
-97 -102 0
-98 -99 0
-98 -100 0
-98 -101 0
-98 -102 0
-99 -100 0
-99 -101 0
-99 -102 0
-100 -101 0
-100 -102 0
-101 -102 0
-103 -104 0
-103 -105 0
-103 -106 0
-103 -107 0
-103 -108 0
-103 -109 0
-103 -110 0
-103 -111 0
-103 -112 0
-104 -105 0
-104 -106 0
-104 -107 0
-104 -108 0
-104 -109 0
-104 -110 0
-104 -111 0
-104 -112 0
-105 -106 0
-105 -107 0
-105 -108 0
-105 -109 0
-105 -110 0
-105 -111 0
-105 -112 0
-106 -107 0
-106 -108 0
-106 -109 0
-106 -110 0
-106 -111 0
-106 -112 0
-107 -108 0
-107 -109 0
-107 -110 0
-107 -111 0
-107 -112 0
-108 -109 0
-108 -110 0
-108 -111 0
-108 -112 0
-109 -110 0
-109 -111 0
-109 -112 0
-110 -111 0
-110 -112 0
-111 -112 0
-113 -114 0
-113 -115 0
-113 -116 0
-113 -117 0
-113 -118 0
-113 -119 0
-113 -120 0
-114 -115 0
-114 -116 0
-114 -117 0
-114 -118 0
-114 -119 0
-114 -120 0
-115 -116 0
-115 -117 0
-115 -118 0
-115 -119 0
-115 -120 0
-116 -117 0
-116 -118 0
-116 -119 0
-116 -120 0
-117 -118 0
-117 -119 0
-117 -120 0
-118 -119 0
-118 -120 0
-119 -120 0
-121 -122 0
-121 -123 0
-121 -124 0
-121 -125 0
-121 -126 0
-121 -127 0
-121 -128 0
-122 -123 0
-122 -124 0
-122 -125 0
-122 -126 0
-122 -127 0
-122 -128 0
-123 -124 0
-123 -125 0
-123 -126 0
-123 -127 0
-123 -128 0
-124 -125 0
-124 -126 0
-124 -127 0
-124 -128 0
-125 -126 0
-125 -127 0
-125 -128 0
-126 -127 0
-126 -128 0
-127 -128 0
-129 -130 0
-129 -131 0
-129 -132 0
-129 -133 0
-129 -134 0
-129 -135 0
-129 -136 0
-129 -137 0
-129 -138 0
-130 -131 0
-130 -132 0
-130 -133 0
-130 -134 0
-130 -135 0
-130 -136 0
-130 -137 0
-130 -138 0
-131 -132 0
-131 -133 0
-131 -134 0
-131 -135 0
-131 -136 0
-131 -137 0
-131 -138 0
-132 -133 0
-132 -134 0
-132 -135 0
-132 -136 0
-132 -137 0
-132 -138 0
-133 -134 0
-133 -135 0
-133 -136 0
-133 -137 0
-133 -138 0
-134 -135 0
-134 -136 0
-134 -137 0
-134 -138 0
-135 -136 0
-135 -137 0
-135 -138 0
-136 -137 0
-136 -138 0
-137 -138 0
139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 0
154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 0
169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 0
184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 0
199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 0
214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 0
229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 0
-139 -154 0
-139 -169 0
-139 -184 0
-139 -199 0
-139 -214 0
-139 -229 0
244 -139 0
-154 -169 0
-154 -184 0
-154 -199 0
-154 -214 0
-154 -229 0
244 -154 0
-169 -184 0
-169 -199 0
-169 -214 0
-169 -229 0
244 -169 0
-184 -199 0
-184 -214 0
-184 -229 0
244 -184 0
-199 -214 0
-199 -229 0
244 -199 0
-214 -229 0
244 -214 0
244 -229 0
-244 139 154 169 184 199 214 229 0
-140 -155 0
-140 -170 0
-140 -185 0
-140 -200 0
-140 -215 0
-140 -230 0
245 -140 0
-155 -170 0
-155 -185 0
-155 -200 0
-155 -215 0
-155 -230 0
245 -155 0
-170 -185 0
-170 -200 0
-170 -215 0
-170 -230 0
245 -170 0
-185 -200 0
-185 -215 0
-185 -230 0
245 -185 0
-200 -215 0
-200 -230 0
245 -200 0
-215 -230 0
245 -215 0
245 -230 0
-245 140 155 170 185 200 215 230 0
-141 -156 0
-141 -171 0
-141 -186 0
-141 -201 0
-141 -216 0
-141 -231 0
246 -141 0
-156 -171 0
-156 -186 0
-156 -201 0
-156 -216 0
-156 -231 0
246 -156 0
-171 -186 0
-171 -201 0
-171 -216 0
-171 -231 0
246 -171 0
-186 -201 0
-186 -216 0
-186 -231 0
246 -186 0
-201 -216 0
-201 -231 0
246 -201 0
-216 -231 0
246 -216 0
246 -231 0
-246 141 156 171 186 201 216 231 0
-142 -157 0
-142 -172 0
-142 -187 0
-142 -202 0
-142 -217 0
-142 -232 0
247 -142 0
-157 -172 0
-157 -187 0
-157 -202 0
-157 -217 0
-157 -232 0
247 -157 0
-172 -187 0
-172 -202 0
-172 -217 0
-172 -232 0
247 -172 0
-187 -202 0
-187 -217 0
-187 -232 0
247 -187 0
-202 -217 0
-202 -232 0
247 -202 0
-217 -232 0
247 -217 0
247 -232 0
-247 142 157 172 187 202 217 232 0
-143 -158 0
-143 -173 0
-143 -188 0
-143 -203 0
-143 -218 0
-143 -233 0
248 -143 0
-158 -173 0
-158 -188 0
-158 -203 0
-158 -218 0
-158 -233 0
248 -158 0
-173 -188 0
-173 -203 0
-173 -218 0
-173 -233 0
248 -173 0
-188 -203 0
-188 -218 0
-188 -233 0
248 -188 0
-203 -218 0
-203 -233 0
248 -203 0
-218 -233 0
248 -218 0
248 -233 0
-248 143 158 173 188 203 218 233 0
-144 -159 0
-144 -174 0
-144 -189 0
-144 -204 0
-144 -219 0
-144 -234 0
249 -144 0
-159 -174 0
-159 -189 0
-159 -204 0
-159 -219 0
-159 -234 0
249 -159 0
-174 -189 0
-174 -204 0
-174 -219 0
-174 -234 0
249 -174 0
-189 -204 0
-189 -219 0
-189 -234 0
249 -189 0
-204 -219 0
-204 -234 0
249 -204 0
-219 -234 0
249 -219 0
249 -234 0
-249 144 159 174 189 204 219 234 0
-145 -160 0
-145 -175 0
-145 -190 0
-145 -205 0
-145 -220 0
-145 -235 0
250 -145 0
-160 -175 0
-160 -190 0
-160 -205 0
-160 -220 0
-160 -235 0
250 -160 0
-175 -190 0
-175 -205 0
-175 -220 0
-175 -235 0
250 -175 0
-190 -205 0
-190 -220 0
-190 -235 0
250 -190 0
-205 -220 0
-205 -235 0
250 -205 0
-220 -235 0
250 -220 0
250 -235 0
-250 145 160 175 190 205 220 235 0
-146 -161 0
-146 -176 0
-146 -191 0
-146 -206 0
-146 -221 0
-146 -236 0
251 -146 0
-161 -176 0
-161 -191 0
-161 -206 0
-161 -221 0
-161 -236 0
251 -161 0
-176 -191 0
-176 -206 0
-176 -221 0
-176 -236 0
251 -176 0
-191 -206 0
-191 -221 0
-191 -236 0
251 -191 0
-206 -221 0
-206 -236 0
251 -206 0
-221 -236 0
251 -221 0
251 -236 0
-251 146 161 176 191 206 221 236 0
-147 -162 0
-147 -177 0
-147 -192 0
-147 -207 0
-147 -222 0
-147 -237 0
252 -147 0
-162 -177 0
-162 -192 0
-162 -207 0
-162 -222 0
-162 -237 0
252 -162 0
-177 -192 0
-177 -207 0
-177 -222 0
-177 -237 0
252 -177 0
-192 -207 0
-192 -222 0
-192 -237 0
252 -192 0
-207 -222 0
-207 -237 0
252 -207 0
-222 -237 0
252 -222 0
252 -237 0
-252 147 162 177 192 207 222 237 0
-148 -163 0
-148 -178 0
-148 -193 0
-148 -208 0
-148 -223 0
-148 -238 0
253 -148 0
-163 -178 0
-163 -193 0
-163 -208 0
-163 -223 0
-163 -238 0
253 -163 0
-178 -193 0
-178 -208 0
-178 -223 0
-178 -238 0
253 -178 0
-193 -208 0
-193 -223 0
-193 -238 0
253 -193 0
-208 -223 0
-208 -238 0
253 -208 0
-223 -238 0
253 -223 0
253 -238 0
-253 148 163 178 193 208 223 238 0
-149 -164 0
-149 -179 0
-149 -194 0
-149 -209 0
-149 -224 0
-149 -239 0
254 -149 0
-164 -179 0
-164 -194 0
-164 -209 0
-164 -224 0
-164 -239 0
254 -164 0
-179 -194 0
-179 -209 0
-179 -224 0
-179 -239 0
254 -179 0
-194 -209 0
-194 -224 0
-194 -239 0
254 -194 0
-209 -224 0
-209 -239 0
254 -209 0
-224 -239 0
254 -224 0
254 -239 0
-254 149 164 179 194 209 224 239 0
-150 -165 0
-150 -180 0
-150 -195 0
-150 -210 0
-150 -225 0
-150 -240 0
255 -150 0
-165 -180 0
-165 -195 0
-165 -210 0
-165 -225 0
-165 -240 0
255 -165 0
-180 -195 0
-180 -210 0
-180 -225 0
-180 -240 0
255 -180 0
-195 -210 0
-195 -225 0
-195 -240 0
255 -195 0
-210 -225 0
-210 -240 0
255 -210 0
-225 -240 0
255 -225 0
255 -240 0
-255 150 165 180 195 210 225 240 0
-151 -166 0
-151 -181 0
-151 -196 0
-151 -211 0
-151 -226 0
-151 -241 0
256 -151 0
-166 -181 0
-166 -196 0
-166 -211 0
-166 -226 0
-166 -241 0
256 -166 0
-181 -196 0
-181 -211 0
-181 -226 0
-181 -241 0
256 -181 0
-196 -211 0
-196 -226 0
-196 -241 0
256 -196 0
-211 -226 0
-211 -241 0
256 -211 0
-226 -241 0
256 -226 0
256 -241 0
-256 151 166 181 196 211 226 241 0
-152 -167 0
-152 -182 0
-152 -197 0
-152 -212 0
-152 -227 0
-152 -242 0
257 -152 0
-167 -182 0
-167 -197 0
-167 -212 0
-167 -227 0
-167 -242 0
257 -167 0
-182 -197 0
-182 -212 0
-182 -227 0
-182 -242 0
257 -182 0
-197 -212 0
-197 -227 0
-197 -242 0
257 -197 0
-212 -227 0
-212 -242 0
257 -212 0
-227 -242 0
257 -227 0
257 -242 0
-257 152 167 182 197 212 227 242 0
-153 -168 0
-153 -183 0
-153 -198 0
-153 -213 0
-153 -228 0
-153 -243 0
258 -153 0
-168 -183 0
-168 -198 0
-168 -213 0
-168 -228 0
-168 -243 0
258 -168 0
-183 -198 0
-183 -213 0
-183 -228 0
-183 -243 0
258 -183 0
-198 -213 0
-198 -228 0
-198 -243 0
258 -198 0
-213 -228 0
-213 -243 0
258 -213 0
-228 -243 0
258 -228 0
258 -243 0
-258 153 168 183 198 213 228 243 0
-244 1 121 113 95 73 51 29 0
-244 129 103 85 63 41 19 9 0
-244 -1 -121 0
-244 -1 -113 0
-244 -1 -95 0
-244 -1 -73 0
-244 -1 -51 0
-244 -1 -29 0
-244 -121 -113 0
-244 -121 -95 0
-244 -121 -73 0
-244 -121 -51 0
-244 -121 -29 0
-244 -113 -95 0
-244 -113 -73 0
-244 -113 -51 0
-244 -113 -29 0
-244 -95 -73 0
-244 -95 -51 0
-244 -95 -29 0
-244 -73 -51 0
-244 -73 -29 0
-244 -51 -29 0
-244 -129 -103 0
-244 -129 -85 0
-244 -129 -63 0
-244 -129 -41 0
-244 -129 -19 0
-244 -129 -9 0
-244 -103 -85 0
-244 -103 -63 0
-244 -103 -41 0
-244 -103 -19 0
-244 -103 -9 0
-244 -85 -63 0
-244 -85 -41 0
-244 -85 -19 0
-244 -85 -9 0
-244 -63 -41 0
-244 -63 -19 0
-244 -63 -9 0
-244 -41 -19 0
-244 -41 -9 0
-244 -19 -9 0
-245 2 122 114 96 0
-245 64 42 20 10 0
-245 -2 -122 0
-245 -2 -114 0
-245 -2 -96 0
-245 -122 -114 0
-245 -122 -96 0
-245 -114 -96 0
-245 -64 -42 0
-245 -64 -20 0
-245 -64 -10 0
-245 -42 -20 0
-245 -42 -10 0
-245 -20 -10 0
-246 74 52 30 0
-246 130 104 86 0
-246 -74 -52 0
-246 -74 -30 0
-246 -52 -30 0
-246 -130 -104 0
-246 -130 -86 0
-246 -104 -86 0
-247 75 53 31 0
-247 65 43 21 11 0
-247 -75 -53 0
-247 -75 -31 0
-247 -53 -31 0
-247 -65 -43 0
-247 -65 -21 0
-247 -65 -11 0
-247 -43 -21 0
-247 -43 -11 0
-247 -21 -11 0
-248 3 123 115 97 76 54 32 0
-248 131 105 87 66 44 22 12 0
-248 -3 -123 0
-248 -3 -115 0
-248 -3 -97 0
-248 -3 -76 0
-248 -3 -54 0
-248 -3 -32 0
-248 -123 -115 0
-248 -123 -97 0
-248 -123 -76 0
-248 -123 -54 0
-248 -123 -32 0
-248 -115 -97 0
-248 -115 -76 0
-248 -115 -54 0
-248 -115 -32 0
-248 -97 -76 0
-248 -97 -54 0
-248 -97 -32 0
-248 -76 -54 0
-248 -76 -32 0
-248 -54 -32 0
-248 -131 -105 0
-248 -131 -87 0
-248 -131 -66 0
-248 -131 -44 0
-248 -131 -22 0
-248 -131 -12 0
-248 -105 -87 0
-248 -105 -66 0
-248 -105 -44 0
-248 -105 -22 0
-248 -105 -12 0
-248 -87 -66 0
-248 -87 -44 0
-248 -87 -22 0
-248 -87 -12 0
-248 -66 -44 0
-248 -66 -22 0
-248 -66 -12 0
-248 -44 -22 0
-248 -44 -12 0
-248 -22 -12 0
-249 4 124 116 98 77 55 33 0
-249 132 106 88 67 45 23 13 0
-249 -4 -124 0
-249 -4 -116 0
-249 -4 -98 0
-249 -4 -77 0
-249 -4 -55 0
-249 -4 -33 0
-249 -124 -116 0
-249 -124 -98 0
-249 -124 -77 0
-249 -124 -55 0
-249 -124 -33 0
-249 -116 -98 0
-249 -116 -77 0
-249 -116 -55 0
-249 -116 -33 0
-249 -98 -77 0
-249 -98 -55 0
-249 -98 -33 0
-249 -77 -55 0
-249 -77 -33 0
-249 -55 -33 0
-249 -132 -106 0
-249 -132 -88 0
-249 -132 -67 0
-249 -132 -45 0
-249 -132 -23 0
-249 -132 -13 0
-249 -106 -88 0
-249 -106 -67 0
-249 -106 -45 0
-249 -106 -23 0
-249 -106 -13 0
-249 -88 -67 0
-249 -88 -45 0
-249 -88 -23 0
-249 -88 -13 0
-249 -67 -45 0
-249 -67 -23 0
-249 -67 -13 0
-249 -45 -23 0
-249 -45 -13 0
-249 -23 -13 0
-250 78 56 34 0
-250 133 107 89 68 46 24 14 0
-250 -78 -56 0
-250 -78 -34 0
-250 -56 -34 0
-250 -133 -107 0
-250 -133 -89 0
-250 -133 -68 0
-250 -133 -46 0
-250 -133 -24 0
-250 -133 -14 0
-250 -107 -89 0
-250 -107 -68 0
-250 -107 -46 0
-250 -107 -24 0
-250 -107 -14 0
-250 -89 -68 0
-250 -89 -46 0
-250 -89 -24 0
-250 -89 -14 0
-250 -68 -46 0
-250 -68 -24 0
-250 -68 -14 0
-250 -46 -24 0
-250 -46 -14 0
-250 -24 -14 0
-251 5 125 117 99 0
-251 134 108 90 69 47 25 15 0
-251 -5 -125 0
-251 -5 -117 0
-251 -5 -99 0
-251 -125 -117 0
-251 -125 -99 0
-251 -117 -99 0
-251 -134 -108 0
-251 -134 -90 0
-251 -134 -69 0
-251 -134 -47 0
-251 -134 -25 0
-251 -134 -15 0
-251 -108 -90 0
-251 -108 -69 0
-251 -108 -47 0
-251 -108 -25 0
-251 -108 -15 0
-251 -90 -69 0
-251 -90 -47 0
-251 -90 -25 0
-251 -90 -15 0
-251 -69 -47 0
-251 -69 -25 0
-251 -69 -15 0
-251 -47 -25 0
-251 -47 -15 0
-251 -25 -15 0
-252 6 126 118 100 79 57 35 0
-252 70 48 26 16 0
-252 -6 -126 0
-252 -6 -118 0
-252 -6 -100 0
-252 -6 -79 0
-252 -6 -57 0
-252 -6 -35 0
-252 -126 -118 0
-252 -126 -100 0
-252 -126 -79 0
-252 -126 -57 0
-252 -126 -35 0
-252 -118 -100 0
-252 -118 -79 0
-252 -118 -57 0
-252 -118 -35 0
-252 -100 -79 0
-252 -100 -57 0
-252 -100 -35 0
-252 -79 -57 0
-252 -79 -35 0
-252 -57 -35 0
-252 -70 -48 0
-252 -70 -26 0
-252 -70 -16 0
-252 -48 -26 0
-252 -48 -16 0
-252 -26 -16 0
-253 7 127 119 101 80 58 36 0
-253 135 109 91 0
-253 -7 -127 0
-253 -7 -119 0
-253 -7 -101 0
-253 -7 -80 0
-253 -7 -58 0
-253 -7 -36 0
-253 -127 -119 0
-253 -127 -101 0
-253 -127 -80 0
-253 -127 -58 0
-253 -127 -36 0
-253 -119 -101 0
-253 -119 -80 0
-253 -119 -58 0
-253 -119 -36 0
-253 -101 -80 0
-253 -101 -58 0
-253 -101 -36 0
-253 -80 -58 0
-253 -80 -36 0
-253 -58 -36 0
-253 -135 -109 0
-253 -135 -91 0
-253 -109 -91 0
-254 81 59 37 0
-254 136 110 92 0
-254 -81 -59 0
-254 -81 -37 0
-254 -59 -37 0
-254 -136 -110 0
-254 -136 -92 0
-254 -110 -92 0
-255 8 128 120 102 0
-255 71 49 27 17 0
-255 -8 -128 0
-255 -8 -120 0
-255 -8 -102 0
-255 -128 -120 0
-255 -128 -102 0
-255 -120 -102 0
-255 -71 -49 0
-255 -71 -27 0
-255 -71 -17 0
-255 -49 -27 0
-255 -49 -17 0
-255 -27 -17 0
-256 82 60 38 0
-256 137 111 93 0
-256 -82 -60 0
-256 -82 -38 0
-256 -60 -38 0
-256 -137 -111 0
-256 -137 -93 0
-256 -111 -93 0
-257 83 61 39 0
-257 72 50 28 18 0
-257 -83 -61 0
-257 -83 -39 0
-257 -61 -39 0
-257 -72 -50 0
-257 -72 -28 0
-257 -72 -18 0
-257 -50 -28 0
-257 -50 -18 0
-257 -28 -18 0
-258 84 62 40 0
-258 138 112 94 0
-258 -84 -62 0
-258 -84 -40 0
-258 -62 -40 0
-258 -138 -112 0
-258 -138 -94 0
-258 -112 -94 0