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