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