Problem: SudokuGLPK Rows: 1053 Columns: 729 (729 integer, 729 binary) Non-zeros: 3645 Status: INTEGER OPTIMAL Objective: 0 (MINimum) No. Row name Activity Lower bound Upper bound ------ ------------ ------------- ------------- ------------- 1 GIVEN[1,1,1] -1 -1 2 GIVEN[1,1,2] 0 -0 3 GIVEN[1,1,3] 0 -0 4 GIVEN[1,1,4] 0 -0 5 GIVEN[1,1,5] 0 -0 6 GIVEN[1,1,6] 0 -0 7 GIVEN[1,1,7] 0 -0 8 GIVEN[1,1,8] 0 -0 9 GIVEN[1,1,9] 0 -0 10 GIVEN[1,2,1] 0 -0 11 GIVEN[1,2,2] 0 -0 12 GIVEN[1,2,3] 0 -0 13 GIVEN[1,2,4] -1 -0 14 GIVEN[1,2,5] 0 -0 15 GIVEN[1,2,6] 0 -0 16 GIVEN[1,2,7] 0 -0 17 GIVEN[1,2,8] 0 -0 18 GIVEN[1,2,9] 0 -0 19 GIVEN[1,3,1] 0 -0 20 GIVEN[1,3,2] 0 -0 21 GIVEN[1,3,3] 0 -0 22 GIVEN[1,3,4] 0 -0 23 GIVEN[1,3,5] -1 -0 24 GIVEN[1,3,6] 0 -0 25 GIVEN[1,3,7] 0 -0 26 GIVEN[1,3,8] 0 -0 27 GIVEN[1,3,9] 0 -0 28 GIVEN[1,4,1] 0 -0 29 GIVEN[1,4,2] -1 -1 30 GIVEN[1,4,3] 0 -0 31 GIVEN[1,4,4] 0 -0 32 GIVEN[1,4,5] 0 -0 33 GIVEN[1,4,6] 0 -0 34 GIVEN[1,4,7] 0 -0 35 GIVEN[1,4,8] 0 -0 36 GIVEN[1,4,9] 0 -0 37 GIVEN[1,5,1] 0 -0 38 GIVEN[1,5,2] 0 -0 39 GIVEN[1,5,3] 0 -0 40 GIVEN[1,5,4] 0 -0 41 GIVEN[1,5,5] 0 -0 42 GIVEN[1,5,6] 0 -0 43 GIVEN[1,5,7] 0 -0 44 GIVEN[1,5,8] -1 -0 45 GIVEN[1,5,9] 0 -0 46 GIVEN[1,6,1] 0 -0 47 GIVEN[1,6,2] 0 -0 48 GIVEN[1,6,3] 0 -0 49 GIVEN[1,6,4] 0 -0 50 GIVEN[1,6,5] 0 -0 51 GIVEN[1,6,6] 0 -0 52 GIVEN[1,6,7] 0 -0 53 GIVEN[1,6,8] 0 -0 54 GIVEN[1,6,9] -1 -0 55 GIVEN[1,7,1] 0 -0 56 GIVEN[1,7,2] 0 -0 57 GIVEN[1,7,3] -1 -1 58 GIVEN[1,7,4] 0 -0 59 GIVEN[1,7,5] 0 -0 60 GIVEN[1,7,6] 0 -0 61 GIVEN[1,7,7] 0 -0 62 GIVEN[1,7,8] 0 -0 63 GIVEN[1,7,9] 0 -0 64 GIVEN[1,8,1] 0 -0 65 GIVEN[1,8,2] 0 -0 66 GIVEN[1,8,3] 0 -0 67 GIVEN[1,8,4] 0 -0 68 GIVEN[1,8,5] 0 -0 69 GIVEN[1,8,6] 0 -0 70 GIVEN[1,8,7] -1 -0 71 GIVEN[1,8,8] 0 -0 72 GIVEN[1,8,9] 0 -0 73 GIVEN[1,9,1] 0 -0 74 GIVEN[1,9,2] 0 -0 75 GIVEN[1,9,3] 0 -0 76 GIVEN[1,9,4] 0 -0 77 GIVEN[1,9,5] 0 -0 78 GIVEN[1,9,6] -1 -0 79 GIVEN[1,9,7] 0 -0 80 GIVEN[1,9,8] 0 -0 81 GIVEN[1,9,9] 0 -0 82 GIVEN[2,1,1] 0 -0 83 GIVEN[2,1,2] 0 -0 84 GIVEN[2,1,3] 0 -0 85 GIVEN[2,1,4] 0 -0 86 GIVEN[2,1,5] 0 -0 87 GIVEN[2,1,6] 0 -0 88 GIVEN[2,1,7] -1 -0 89 GIVEN[2,1,8] 0 -0 90 GIVEN[2,1,9] 0 -0 91 GIVEN[2,2,1] 0 -0 92 GIVEN[2,2,2] -1 -1 93 GIVEN[2,2,3] 0 -0 94 GIVEN[2,2,4] 0 -0 95 GIVEN[2,2,5] 0 -0 96 GIVEN[2,2,6] 0 -0 97 GIVEN[2,2,7] 0 -0 98 GIVEN[2,2,8] 0 -0 99 GIVEN[2,2,9] 0 -0 100 GIVEN[2,3,1] 0 -0 101 GIVEN[2,3,2] 0 -0 102 GIVEN[2,3,3] 0 -0 103 GIVEN[2,3,4] 0 -0 104 GIVEN[2,3,5] 0 -0 105 GIVEN[2,3,6] -1 -0 106 GIVEN[2,3,7] 0 -0 107 GIVEN[2,3,8] 0 -0 108 GIVEN[2,3,9] 0 -0 109 GIVEN[2,4,1] 0 -0 110 GIVEN[2,4,2] 0 -0 111 GIVEN[2,4,3] 0 -0 112 GIVEN[2,4,4] 0 -0 113 GIVEN[2,4,5] -1 -0 114 GIVEN[2,4,6] 0 -0 115 GIVEN[2,4,7] 0 -0 116 GIVEN[2,4,8] 0 -0 117 GIVEN[2,4,9] 0 -0 118 GIVEN[2,5,1] 0 -0 119 GIVEN[2,5,2] 0 -0 120 GIVEN[2,5,3] -1 -1 121 GIVEN[2,5,4] 0 -0 122 GIVEN[2,5,5] 0 -0 123 GIVEN[2,5,6] 0 -0 124 GIVEN[2,5,7] 0 -0 125 GIVEN[2,5,8] 0 -0 126 GIVEN[2,5,9] 0 -0 127 GIVEN[2,6,1] -1 -0 128 GIVEN[2,6,2] 0 -0 129 GIVEN[2,6,3] 0 -0 130 GIVEN[2,6,4] 0 -0 131 GIVEN[2,6,5] 0 -0 132 GIVEN[2,6,6] 0 -0 133 GIVEN[2,6,7] 0 -0 134 GIVEN[2,6,8] 0 -0 135 GIVEN[2,6,9] 0 -0 136 GIVEN[2,7,1] 0 -0 137 GIVEN[2,7,2] 0 -0 138 GIVEN[2,7,3] 0 -0 139 GIVEN[2,7,4] 0 -0 140 GIVEN[2,7,5] 0 -0 141 GIVEN[2,7,6] 0 -0 142 GIVEN[2,7,7] 0 -0 143 GIVEN[2,7,8] -1 -0 144 GIVEN[2,7,9] 0 -0 145 GIVEN[2,8,1] 0 -0 146 GIVEN[2,8,2] 0 -0 147 GIVEN[2,8,3] 0 -0 148 GIVEN[2,8,4] -1 -1 149 GIVEN[2,8,5] 0 -0 150 GIVEN[2,8,6] 0 -0 151 GIVEN[2,8,7] 0 -0 152 GIVEN[2,8,8] 0 -0 153 GIVEN[2,8,9] 0 -0 154 GIVEN[2,9,1] 0 -0 155 GIVEN[2,9,2] 0 -0 156 GIVEN[2,9,3] 0 -0 157 GIVEN[2,9,4] 0 -0 158 GIVEN[2,9,5] 0 -0 159 GIVEN[2,9,6] 0 -0 160 GIVEN[2,9,7] 0 -0 161 GIVEN[2,9,8] 0 -0 162 GIVEN[2,9,9] -1 -0 163 GIVEN[3,1,1] 0 -0 164 GIVEN[3,1,2] 0 -0 165 GIVEN[3,1,3] 0 -0 166 GIVEN[3,1,4] 0 -0 167 GIVEN[3,1,5] 0 -0 168 GIVEN[3,1,6] 0 -0 169 GIVEN[3,1,7] 0 -0 170 GIVEN[3,1,8] 0 -0 171 GIVEN[3,1,9] -1 -0 172 GIVEN[3,2,1] 0 -0 173 GIVEN[3,2,2] 0 -0 174 GIVEN[3,2,3] 0 -0 175 GIVEN[3,2,4] 0 -0 176 GIVEN[3,2,5] 0 -0 177 GIVEN[3,2,6] 0 -0 178 GIVEN[3,2,7] 0 -0 179 GIVEN[3,2,8] -1 -0 180 GIVEN[3,2,9] 0 -0 181 GIVEN[3,3,1] 0 -0 182 GIVEN[3,3,2] 0 -0 183 GIVEN[3,3,3] -1 -1 184 GIVEN[3,3,4] 0 -0 185 GIVEN[3,3,5] 0 -0 186 GIVEN[3,3,6] 0 -0 187 GIVEN[3,3,7] 0 -0 188 GIVEN[3,3,8] 0 -0 189 GIVEN[3,3,9] 0 -0 190 GIVEN[3,4,1] 0 -0 191 GIVEN[3,4,2] 0 -0 192 GIVEN[3,4,3] 0 -0 193 GIVEN[3,4,4] 0 -0 194 GIVEN[3,4,5] 0 -0 195 GIVEN[3,4,6] 0 -0 196 GIVEN[3,4,7] -1 -0 197 GIVEN[3,4,8] 0 -0 198 GIVEN[3,4,9] 0 -0 199 GIVEN[3,5,1] 0 -0 200 GIVEN[3,5,2] 0 -0 201 GIVEN[3,5,3] 0 -0 202 GIVEN[3,5,4] 0 -0 203 GIVEN[3,5,5] 0 -0 204 GIVEN[3,5,6] -1 -0 205 GIVEN[3,5,7] 0 -0 206 GIVEN[3,5,8] 0 -0 207 GIVEN[3,5,9] 0 -0 208 GIVEN[3,6,1] 0 -0 209 GIVEN[3,6,2] 0 -0 210 GIVEN[3,6,3] 0 -0 211 GIVEN[3,6,4] -1 -1 212 GIVEN[3,6,5] 0 -0 213 GIVEN[3,6,6] 0 -0 214 GIVEN[3,6,7] 0 -0 215 GIVEN[3,6,8] 0 -0 216 GIVEN[3,6,9] 0 -0 217 GIVEN[3,7,1] -1 -0 218 GIVEN[3,7,2] 0 -0 219 GIVEN[3,7,3] 0 -0 220 GIVEN[3,7,4] 0 -0 221 GIVEN[3,7,5] 0 -0 222 GIVEN[3,7,6] 0 -0 223 GIVEN[3,7,7] 0 -0 224 GIVEN[3,7,8] 0 -0 225 GIVEN[3,7,9] 0 -0 226 GIVEN[3,8,1] 0 -0 227 GIVEN[3,8,2] -1 -0 228 GIVEN[3,8,3] 0 -0 229 GIVEN[3,8,4] 0 -0 230 GIVEN[3,8,5] 0 -0 231 GIVEN[3,8,6] 0 -0 232 GIVEN[3,8,7] 0 -0 233 GIVEN[3,8,8] 0 -0 234 GIVEN[3,8,9] 0 -0 235 GIVEN[3,9,1] 0 -0 236 GIVEN[3,9,2] 0 -0 237 GIVEN[3,9,3] 0 -0 238 GIVEN[3,9,4] 0 -0 239 GIVEN[3,9,5] -1 -1 240 GIVEN[3,9,6] 0 -0 241 GIVEN[3,9,7] 0 -0 242 GIVEN[3,9,8] 0 -0 243 GIVEN[3,9,9] 0 -0 244 GIVEN[4,1,1] 0 -0 245 GIVEN[4,1,2] 0 -0 246 GIVEN[4,1,3] 0 -0 247 GIVEN[4,1,4] 0 -0 248 GIVEN[4,1,5] 0 -0 249 GIVEN[4,1,6] -1 -1 250 GIVEN[4,1,7] 0 -0 251 GIVEN[4,1,8] 0 -0 252 GIVEN[4,1,9] 0 -0 253 GIVEN[4,2,1] -1 -0 254 GIVEN[4,2,2] 0 -0 255 GIVEN[4,2,3] 0 -0 256 GIVEN[4,2,4] 0 -0 257 GIVEN[4,2,5] 0 -0 258 GIVEN[4,2,6] 0 -0 259 GIVEN[4,2,7] 0 -0 260 GIVEN[4,2,8] 0 -0 261 GIVEN[4,2,9] 0 -0 262 GIVEN[4,3,1] 0 -0 263 GIVEN[4,3,2] 0 -0 264 GIVEN[4,3,3] 0 -0 265 GIVEN[4,3,4] 0 -0 266 GIVEN[4,3,5] 0 -0 267 GIVEN[4,3,6] 0 -0 268 GIVEN[4,3,7] 0 -0 269 GIVEN[4,3,8] 0 -0 270 GIVEN[4,3,9] -1 -0 271 GIVEN[4,4,1] 0 -0 272 GIVEN[4,4,2] 0 -0 273 GIVEN[4,4,3] 0 -0 274 GIVEN[4,4,4] -1 -1 275 GIVEN[4,4,5] 0 -0 276 GIVEN[4,4,6] 0 -0 277 GIVEN[4,4,7] 0 -0 278 GIVEN[4,4,8] 0 -0 279 GIVEN[4,4,9] 0 -0 280 GIVEN[4,5,1] 0 -0 281 GIVEN[4,5,2] -1 -0 282 GIVEN[4,5,3] 0 -0 283 GIVEN[4,5,4] 0 -0 284 GIVEN[4,5,5] 0 -0 285 GIVEN[4,5,6] 0 -0 286 GIVEN[4,5,7] 0 -0 287 GIVEN[4,5,8] 0 -0 288 GIVEN[4,5,9] 0 -0 289 GIVEN[4,6,1] 0 -0 290 GIVEN[4,6,2] 0 -0 291 GIVEN[4,6,3] 0 -0 292 GIVEN[4,6,4] 0 -0 293 GIVEN[4,6,5] 0 -0 294 GIVEN[4,6,6] 0 -0 295 GIVEN[4,6,7] -1 -0 296 GIVEN[4,6,8] 0 -0 297 GIVEN[4,6,9] 0 -0 298 GIVEN[4,7,1] 0 -0 299 GIVEN[4,7,2] 0 -0 300 GIVEN[4,7,3] 0 -0 301 GIVEN[4,7,4] 0 -0 302 GIVEN[4,7,5] -1 -1 303 GIVEN[4,7,6] 0 -0 304 GIVEN[4,7,7] 0 -0 305 GIVEN[4,7,8] 0 -0 306 GIVEN[4,7,9] 0 -0 307 GIVEN[4,8,1] 0 -0 308 GIVEN[4,8,2] 0 -0 309 GIVEN[4,8,3] -1 -0 310 GIVEN[4,8,4] 0 -0 311 GIVEN[4,8,5] 0 -0 312 GIVEN[4,8,6] 0 -0 313 GIVEN[4,8,7] 0 -0 314 GIVEN[4,8,8] 0 -0 315 GIVEN[4,8,9] 0 -0 316 GIVEN[4,9,1] 0 -0 317 GIVEN[4,9,2] 0 -0 318 GIVEN[4,9,3] 0 -0 319 GIVEN[4,9,4] 0 -0 320 GIVEN[4,9,5] 0 -0 321 GIVEN[4,9,6] 0 -0 322 GIVEN[4,9,7] 0 -0 323 GIVEN[4,9,8] -1 -0 324 GIVEN[4,9,9] 0 -0 325 GIVEN[5,1,1] 0 -0 326 GIVEN[5,1,2] 0 -0 327 GIVEN[5,1,3] -1 -0 328 GIVEN[5,1,4] 0 -0 329 GIVEN[5,1,5] 0 -0 330 GIVEN[5,1,6] 0 -0 331 GIVEN[5,1,7] 0 -0 332 GIVEN[5,1,8] 0 -0 333 GIVEN[5,1,9] 0 -0 334 GIVEN[5,2,1] 0 -0 335 GIVEN[5,2,2] 0 -0 336 GIVEN[5,2,3] 0 -0 337 GIVEN[5,2,4] 0 -0 338 GIVEN[5,2,5] 0 -0 339 GIVEN[5,2,6] 0 -0 340 GIVEN[5,2,7] -1 -1 341 GIVEN[5,2,8] 0 -0 342 GIVEN[5,2,9] 0 -0 343 GIVEN[5,3,1] 0 -0 344 GIVEN[5,3,2] 0 -0 345 GIVEN[5,3,3] 0 -0 346 GIVEN[5,3,4] -1 -0 347 GIVEN[5,3,5] 0 -0 348 GIVEN[5,3,6] 0 -0 349 GIVEN[5,3,7] 0 -0 350 GIVEN[5,3,8] 0 -0 351 GIVEN[5,3,9] 0 -0 352 GIVEN[5,4,1] -1 -0 353 GIVEN[5,4,2] 0 -0 354 GIVEN[5,4,3] 0 -0 355 GIVEN[5,4,4] 0 -0 356 GIVEN[5,4,5] 0 -0 357 GIVEN[5,4,6] 0 -0 358 GIVEN[5,4,7] 0 -0 359 GIVEN[5,4,8] 0 -0 360 GIVEN[5,4,9] 0 -0 361 GIVEN[5,5,1] 0 -0 362 GIVEN[5,5,2] 0 -0 363 GIVEN[5,5,3] 0 -0 364 GIVEN[5,5,4] 0 -0 365 GIVEN[5,5,5] -1 -1 366 GIVEN[5,5,6] 0 -0 367 GIVEN[5,5,7] 0 -0 368 GIVEN[5,5,8] 0 -0 369 GIVEN[5,5,9] 0 -0 370 GIVEN[5,6,1] 0 -0 371 GIVEN[5,6,2] 0 -0 372 GIVEN[5,6,3] 0 -0 373 GIVEN[5,6,4] 0 -0 374 GIVEN[5,6,5] 0 -0 375 GIVEN[5,6,6] 0 -0 376 GIVEN[5,6,7] 0 -0 377 GIVEN[5,6,8] -1 -0 378 GIVEN[5,6,9] 0 -0 379 GIVEN[5,7,1] 0 -0 380 GIVEN[5,7,2] 0 -0 381 GIVEN[5,7,3] 0 -0 382 GIVEN[5,7,4] 0 -0 383 GIVEN[5,7,5] 0 -0 384 GIVEN[5,7,6] 0 -0 385 GIVEN[5,7,7] 0 -0 386 GIVEN[5,7,8] 0 -0 387 GIVEN[5,7,9] -1 -0 388 GIVEN[5,8,1] 0 -0 389 GIVEN[5,8,2] 0 -0 390 GIVEN[5,8,3] 0 -0 391 GIVEN[5,8,4] 0 -0 392 GIVEN[5,8,5] 0 -0 393 GIVEN[5,8,6] -1 -1 394 GIVEN[5,8,7] 0 -0 395 GIVEN[5,8,8] 0 -0 396 GIVEN[5,8,9] 0 -0 397 GIVEN[5,9,1] 0 -0 398 GIVEN[5,9,2] -1 -0 399 GIVEN[5,9,3] 0 -0 400 GIVEN[5,9,4] 0 -0 401 GIVEN[5,9,5] 0 -0 402 GIVEN[5,9,6] 0 -0 403 GIVEN[5,9,7] 0 -0 404 GIVEN[5,9,8] 0 -0 405 GIVEN[5,9,9] 0 -0 406 GIVEN[6,1,1] 0 -0 407 GIVEN[6,1,2] -1 -0 408 GIVEN[6,1,3] 0 -0 409 GIVEN[6,1,4] 0 -0 410 GIVEN[6,1,5] 0 -0 411 GIVEN[6,1,6] 0 -0 412 GIVEN[6,1,7] 0 -0 413 GIVEN[6,1,8] 0 -0 414 GIVEN[6,1,9] 0 -0 415 GIVEN[6,2,1] 0 -0 416 GIVEN[6,2,2] 0 -0 417 GIVEN[6,2,3] 0 -0 418 GIVEN[6,2,4] 0 -0 419 GIVEN[6,2,5] -1 -0 420 GIVEN[6,2,6] 0 -0 421 GIVEN[6,2,7] 0 -0 422 GIVEN[6,2,8] 0 -0 423 GIVEN[6,2,9] 0 -0 424 GIVEN[6,3,1] 0 -0 425 GIVEN[6,3,2] 0 -0 426 GIVEN[6,3,3] 0 -0 427 GIVEN[6,3,4] 0 -0 428 GIVEN[6,3,5] 0 -0 429 GIVEN[6,3,6] 0 -0 430 GIVEN[6,3,7] 0 -0 431 GIVEN[6,3,8] -1 -1 432 GIVEN[6,3,9] 0 -0 433 GIVEN[6,4,1] 0 -0 434 GIVEN[6,4,2] 0 -0 435 GIVEN[6,4,3] -1 -0 436 GIVEN[6,4,4] 0 -0 437 GIVEN[6,4,5] 0 -0 438 GIVEN[6,4,6] 0 -0 439 GIVEN[6,4,7] 0 -0 440 GIVEN[6,4,8] 0 -0 441 GIVEN[6,4,9] 0 -0 442 GIVEN[6,5,1] 0 -0 443 GIVEN[6,5,2] 0 -0 444 GIVEN[6,5,3] 0 -0 445 GIVEN[6,5,4] 0 -0 446 GIVEN[6,5,5] 0 -0 447 GIVEN[6,5,6] 0 -0 448 GIVEN[6,5,7] 0 -0 449 GIVEN[6,5,8] 0 -0 450 GIVEN[6,5,9] -1 -0 451 GIVEN[6,6,1] 0 -0 452 GIVEN[6,6,2] 0 -0 453 GIVEN[6,6,3] 0 -0 454 GIVEN[6,6,4] 0 -0 455 GIVEN[6,6,5] 0 -0 456 GIVEN[6,6,6] -1 -1 457 GIVEN[6,6,7] 0 -0 458 GIVEN[6,6,8] 0 -0 459 GIVEN[6,6,9] 0 -0 460 GIVEN[6,7,1] 0 -0 461 GIVEN[6,7,2] 0 -0 462 GIVEN[6,7,3] 0 -0 463 GIVEN[6,7,4] -1 -0 464 GIVEN[6,7,5] 0 -0 465 GIVEN[6,7,6] 0 -0 466 GIVEN[6,7,7] 0 -0 467 GIVEN[6,7,8] 0 -0 468 GIVEN[6,7,9] 0 -0 469 GIVEN[6,8,1] -1 -0 470 GIVEN[6,8,2] 0 -0 471 GIVEN[6,8,3] 0 -0 472 GIVEN[6,8,4] 0 -0 473 GIVEN[6,8,5] 0 -0 474 GIVEN[6,8,6] 0 -0 475 GIVEN[6,8,7] 0 -0 476 GIVEN[6,8,8] 0 -0 477 GIVEN[6,8,9] 0 -0 478 GIVEN[6,9,1] 0 -0 479 GIVEN[6,9,2] 0 -0 480 GIVEN[6,9,3] 0 -0 481 GIVEN[6,9,4] 0 -0 482 GIVEN[6,9,5] 0 -0 483 GIVEN[6,9,6] 0 -0 484 GIVEN[6,9,7] -1 -1 485 GIVEN[6,9,8] 0 -0 486 GIVEN[6,9,9] 0 -0 487 GIVEN[7,1,1] 0 -0 488 GIVEN[7,1,2] 0 -0 489 GIVEN[7,1,3] 0 -0 490 GIVEN[7,1,4] 0 -0 491 GIVEN[7,1,5] 0 -0 492 GIVEN[7,1,6] 0 -0 493 GIVEN[7,1,7] 0 -0 494 GIVEN[7,1,8] -1 -1 495 GIVEN[7,1,9] 0 -0 496 GIVEN[7,2,1] 0 -0 497 GIVEN[7,2,2] 0 -0 498 GIVEN[7,2,3] 0 -0 499 GIVEN[7,2,4] 0 -0 500 GIVEN[7,2,5] 0 -0 501 GIVEN[7,2,6] -1 -0 502 GIVEN[7,2,7] 0 -0 503 GIVEN[7,2,8] 0 -0 504 GIVEN[7,2,9] 0 -0 505 GIVEN[7,3,1] 0 -0 506 GIVEN[7,3,2] -1 -0 507 GIVEN[7,3,3] 0 -0 508 GIVEN[7,3,4] 0 -0 509 GIVEN[7,3,5] 0 -0 510 GIVEN[7,3,6] 0 -0 511 GIVEN[7,3,7] 0 -0 512 GIVEN[7,3,8] 0 -0 513 GIVEN[7,3,9] 0 -0 514 GIVEN[7,4,1] 0 -0 515 GIVEN[7,4,2] 0 -0 516 GIVEN[7,4,3] 0 -0 517 GIVEN[7,4,4] 0 -0 518 GIVEN[7,4,5] 0 -0 519 GIVEN[7,4,6] 0 -0 520 GIVEN[7,4,7] 0 -0 521 GIVEN[7,4,8] 0 -0 522 GIVEN[7,4,9] -1 -1 523 GIVEN[7,5,1] 0 -0 524 GIVEN[7,5,2] 0 -0 525 GIVEN[7,5,3] 0 -0 526 GIVEN[7,5,4] -1 -0 527 GIVEN[7,5,5] 0 -0 528 GIVEN[7,5,6] 0 -0 529 GIVEN[7,5,7] 0 -0 530 GIVEN[7,5,8] 0 -0 531 GIVEN[7,5,9] 0 -0 532 GIVEN[7,6,1] 0 -0 533 GIVEN[7,6,2] 0 -0 534 GIVEN[7,6,3] -1 -0 535 GIVEN[7,6,4] 0 -0 536 GIVEN[7,6,5] 0 -0 537 GIVEN[7,6,6] 0 -0 538 GIVEN[7,6,7] 0 -0 539 GIVEN[7,6,8] 0 -0 540 GIVEN[7,6,9] 0 -0 541 GIVEN[7,7,1] 0 -0 542 GIVEN[7,7,2] 0 -0 543 GIVEN[7,7,3] 0 -0 544 GIVEN[7,7,4] 0 -0 545 GIVEN[7,7,5] 0 -0 546 GIVEN[7,7,6] 0 -0 547 GIVEN[7,7,7] -1 -1 548 GIVEN[7,7,8] 0 -0 549 GIVEN[7,7,9] 0 -0 550 GIVEN[7,8,1] 0 -0 551 GIVEN[7,8,2] 0 -0 552 GIVEN[7,8,3] 0 -0 553 GIVEN[7,8,4] 0 -0 554 GIVEN[7,8,5] -1 -0 555 GIVEN[7,8,6] 0 -0 556 GIVEN[7,8,7] 0 -0 557 GIVEN[7,8,8] 0 -0 558 GIVEN[7,8,9] 0 -0 559 GIVEN[7,9,1] -1 -0 560 GIVEN[7,9,2] 0 -0 561 GIVEN[7,9,3] 0 -0 562 GIVEN[7,9,4] 0 -0 563 GIVEN[7,9,5] 0 -0 564 GIVEN[7,9,6] 0 -0 565 GIVEN[7,9,7] 0 -0 566 GIVEN[7,9,8] 0 -0 567 GIVEN[7,9,9] 0 -0 568 GIVEN[8,1,1] 0 -0 569 GIVEN[8,1,2] 0 -0 570 GIVEN[8,1,3] 0 -0 571 GIVEN[8,1,4] -1 -0 572 GIVEN[8,1,5] 0 -0 573 GIVEN[8,1,6] 0 -0 574 GIVEN[8,1,7] 0 -0 575 GIVEN[8,1,8] 0 -0 576 GIVEN[8,1,9] 0 -0 577 GIVEN[8,2,1] 0 -0 578 GIVEN[8,2,2] 0 -0 579 GIVEN[8,2,3] 0 -0 580 GIVEN[8,2,4] 0 -0 581 GIVEN[8,2,5] 0 -0 582 GIVEN[8,2,6] 0 -0 583 GIVEN[8,2,7] 0 -0 584 GIVEN[8,2,8] 0 -0 585 GIVEN[8,2,9] -1 -1 586 GIVEN[8,3,1] 0 -0 587 GIVEN[8,3,2] 0 -0 588 GIVEN[8,3,3] 0 -0 589 GIVEN[8,3,4] 0 -0 590 GIVEN[8,3,5] 0 -0 591 GIVEN[8,3,6] 0 -0 592 GIVEN[8,3,7] -1 -0 593 GIVEN[8,3,8] 0 -0 594 GIVEN[8,3,9] 0 -0 595 GIVEN[8,4,1] 0 -0 596 GIVEN[8,4,2] 0 -0 597 GIVEN[8,4,3] 0 -0 598 GIVEN[8,4,4] 0 -0 599 GIVEN[8,4,5] 0 -0 600 GIVEN[8,4,6] -1 -0 601 GIVEN[8,4,7] 0 -0 602 GIVEN[8,4,8] 0 -0 603 GIVEN[8,4,9] 0 -0 604 GIVEN[8,5,1] -1 -1 605 GIVEN[8,5,2] 0 -0 606 GIVEN[8,5,3] 0 -0 607 GIVEN[8,5,4] 0 -0 608 GIVEN[8,5,5] 0 -0 609 GIVEN[8,5,6] 0 -0 610 GIVEN[8,5,7] 0 -0 611 GIVEN[8,5,8] 0 -0 612 GIVEN[8,5,9] 0 -0 613 GIVEN[8,6,1] 0 -0 614 GIVEN[8,6,2] 0 -0 615 GIVEN[8,6,3] 0 -0 616 GIVEN[8,6,4] 0 -0 617 GIVEN[8,6,5] -1 -0 618 GIVEN[8,6,6] 0 -0 619 GIVEN[8,6,7] 0 -0 620 GIVEN[8,6,8] 0 -0 621 GIVEN[8,6,9] 0 -0 622 GIVEN[8,7,1] 0 -0 623 GIVEN[8,7,2] -1 -0 624 GIVEN[8,7,3] 0 -0 625 GIVEN[8,7,4] 0 -0 626 GIVEN[8,7,5] 0 -0 627 GIVEN[8,7,6] 0 -0 628 GIVEN[8,7,7] 0 -0 629 GIVEN[8,7,8] 0 -0 630 GIVEN[8,7,9] 0 -0 631 GIVEN[8,8,1] 0 -0 632 GIVEN[8,8,2] 0 -0 633 GIVEN[8,8,3] 0 -0 634 GIVEN[8,8,4] 0 -0 635 GIVEN[8,8,5] 0 -0 636 GIVEN[8,8,6] 0 -0 637 GIVEN[8,8,7] 0 -0 638 GIVEN[8,8,8] -1 -1 639 GIVEN[8,8,9] 0 -0 640 GIVEN[8,9,1] 0 -0 641 GIVEN[8,9,2] 0 -0 642 GIVEN[8,9,3] -1 -0 643 GIVEN[8,9,4] 0 -0 644 GIVEN[8,9,5] 0 -0 645 GIVEN[8,9,6] 0 -0 646 GIVEN[8,9,7] 0 -0 647 GIVEN[8,9,8] 0 -0 648 GIVEN[8,9,9] 0 -0 649 GIVEN[9,1,1] 0 -0 650 GIVEN[9,1,2] 0 -0 651 GIVEN[9,1,3] 0 -0 652 GIVEN[9,1,4] 0 -0 653 GIVEN[9,1,5] -1 -0 654 GIVEN[9,1,6] 0 -0 655 GIVEN[9,1,7] 0 -0 656 GIVEN[9,1,8] 0 -0 657 GIVEN[9,1,9] 0 -0 658 GIVEN[9,2,1] 0 -0 659 GIVEN[9,2,2] 0 -0 660 GIVEN[9,2,3] -1 -0 661 GIVEN[9,2,4] 0 -0 662 GIVEN[9,2,5] 0 -0 663 GIVEN[9,2,6] 0 -0 664 GIVEN[9,2,7] 0 -0 665 GIVEN[9,2,8] 0 -0 666 GIVEN[9,2,9] 0 -0 667 GIVEN[9,3,1] -1 -1 668 GIVEN[9,3,2] 0 -0 669 GIVEN[9,3,3] 0 -0 670 GIVEN[9,3,4] 0 -0 671 GIVEN[9,3,5] 0 -0 672 GIVEN[9,3,6] 0 -0 673 GIVEN[9,3,7] 0 -0 674 GIVEN[9,3,8] 0 -0 675 GIVEN[9,3,9] 0 -0 676 GIVEN[9,4,1] 0 -0 677 GIVEN[9,4,2] 0 -0 678 GIVEN[9,4,3] 0 -0 679 GIVEN[9,4,4] 0 -0 680 GIVEN[9,4,5] 0 -0 681 GIVEN[9,4,6] 0 -0 682 GIVEN[9,4,7] 0 -0 683 GIVEN[9,4,8] -1 -0 684 GIVEN[9,4,9] 0 -0 685 GIVEN[9,5,1] 0 -0 686 GIVEN[9,5,2] 0 -0 687 GIVEN[9,5,3] 0 -0 688 GIVEN[9,5,4] 0 -0 689 GIVEN[9,5,5] 0 -0 690 GIVEN[9,5,6] 0 -0 691 GIVEN[9,5,7] -1 -0 692 GIVEN[9,5,8] 0 -0 693 GIVEN[9,5,9] 0 -0 694 GIVEN[9,6,1] 0 -0 695 GIVEN[9,6,2] -1 -1 696 GIVEN[9,6,3] 0 -0 697 GIVEN[9,6,4] 0 -0 698 GIVEN[9,6,5] 0 -0 699 GIVEN[9,6,6] 0 -0 700 GIVEN[9,6,7] 0 -0 701 GIVEN[9,6,8] 0 -0 702 GIVEN[9,6,9] 0 -0 703 GIVEN[9,7,1] 0 -0 704 GIVEN[9,7,2] 0 -0 705 GIVEN[9,7,3] 0 -0 706 GIVEN[9,7,4] 0 -0 707 GIVEN[9,7,5] 0 -0 708 GIVEN[9,7,6] -1 -0 709 GIVEN[9,7,7] 0 -0 710 GIVEN[9,7,8] 0 -0 711 GIVEN[9,7,9] 0 -0 712 GIVEN[9,8,1] 0 -0 713 GIVEN[9,8,2] 0 -0 714 GIVEN[9,8,3] 0 -0 715 GIVEN[9,8,4] 0 -0 716 GIVEN[9,8,5] 0 -0 717 GIVEN[9,8,6] 0 -0 718 GIVEN[9,8,7] 0 -0 719 GIVEN[9,8,8] 0 -0 720 GIVEN[9,8,9] -1 -0 721 GIVEN[9,9,1] 0 -0 722 GIVEN[9,9,2] 0 -0 723 GIVEN[9,9,3] 0 -0 724 GIVEN[9,9,4] -1 -1 725 GIVEN[9,9,5] 0 -0 726 GIVEN[9,9,6] 0 -0 727 GIVEN[9,9,7] 0 -0 728 GIVEN[9,9,8] 0 -0 729 GIVEN[9,9,9] 0 -0 730 FILLED[1,1] 1 1 = 731 FILLED[1,2] 1 1 = 732 FILLED[1,3] 1 1 = 733 FILLED[1,4] 1 1 = 734 FILLED[1,5] 1 1 = 735 FILLED[1,6] 1 1 = 736 FILLED[1,7] 1 1 = 737 FILLED[1,8] 1 1 = 738 FILLED[1,9] 1 1 = 739 FILLED[2,1] 1 1 = 740 FILLED[2,2] 1 1 = 741 FILLED[2,3] 1 1 = 742 FILLED[2,4] 1 1 = 743 FILLED[2,5] 1 1 = 744 FILLED[2,6] 1 1 = 745 FILLED[2,7] 1 1 = 746 FILLED[2,8] 1 1 = 747 FILLED[2,9] 1 1 = 748 FILLED[3,1] 1 1 = 749 FILLED[3,2] 1 1 = 750 FILLED[3,3] 1 1 = 751 FILLED[3,4] 1 1 = 752 FILLED[3,5] 1 1 = 753 FILLED[3,6] 1 1 = 754 FILLED[3,7] 1 1 = 755 FILLED[3,8] 1 1 = 756 FILLED[3,9] 1 1 = 757 FILLED[4,1] 1 1 = 758 FILLED[4,2] 1 1 = 759 FILLED[4,3] 1 1 = 760 FILLED[4,4] 1 1 = 761 FILLED[4,5] 1 1 = 762 FILLED[4,6] 1 1 = 763 FILLED[4,7] 1 1 = 764 FILLED[4,8] 1 1 = 765 FILLED[4,9] 1 1 = 766 FILLED[5,1] 1 1 = 767 FILLED[5,2] 1 1 = 768 FILLED[5,3] 1 1 = 769 FILLED[5,4] 1 1 = 770 FILLED[5,5] 1 1 = 771 FILLED[5,6] 1 1 = 772 FILLED[5,7] 1 1 = 773 FILLED[5,8] 1 1 = 774 FILLED[5,9] 1 1 = 775 FILLED[6,1] 1 1 = 776 FILLED[6,2] 1 1 = 777 FILLED[6,3] 1 1 = 778 FILLED[6,4] 1 1 = 779 FILLED[6,5] 1 1 = 780 FILLED[6,6] 1 1 = 781 FILLED[6,7] 1 1 = 782 FILLED[6,8] 1 1 = 783 FILLED[6,9] 1 1 = 784 FILLED[7,1] 1 1 = 785 FILLED[7,2] 1 1 = 786 FILLED[7,3] 1 1 = 787 FILLED[7,4] 1 1 = 788 FILLED[7,5] 1 1 = 789 FILLED[7,6] 1 1 = 790 FILLED[7,7] 1 1 = 791 FILLED[7,8] 1 1 = 792 FILLED[7,9] 1 1 = 793 FILLED[8,1] 1 1 = 794 FILLED[8,2] 1 1 = 795 FILLED[8,3] 1 1 = 796 FILLED[8,4] 1 1 = 797 FILLED[8,5] 1 1 = 798 FILLED[8,6] 1 1 = 799 FILLED[8,7] 1 1 = 800 FILLED[8,8] 1 1 = 801 FILLED[8,9] 1 1 = 802 FILLED[9,1] 1 1 = 803 FILLED[9,2] 1 1 = 804 FILLED[9,3] 1 1 = 805 FILLED[9,4] 1 1 = 806 FILLED[9,5] 1 1 = 807 FILLED[9,6] 1 1 = 808 FILLED[9,7] 1 1 = 809 FILLED[9,8] 1 1 = 810 FILLED[9,9] 1 1 = 811 COL[1,1] 1 1 = 812 COL[1,2] 1 1 = 813 COL[1,3] 1 1 = 814 COL[1,4] 1 1 = 815 COL[1,5] 1 1 = 816 COL[1,6] 1 1 = 817 COL[1,7] 1 1 = 818 COL[1,8] 1 1 = 819 COL[1,9] 1 1 = 820 COL[2,1] 1 1 = 821 COL[2,2] 1 1 = 822 COL[2,3] 1 1 = 823 COL[2,4] 1 1 = 824 COL[2,5] 1 1 = 825 COL[2,6] 1 1 = 826 COL[2,7] 1 1 = 827 COL[2,8] 1 1 = 828 COL[2,9] 1 1 = 829 COL[3,1] 1 1 = 830 COL[3,2] 1 1 = 831 COL[3,3] 1 1 = 832 COL[3,4] 1 1 = 833 COL[3,5] 1 1 = 834 COL[3,6] 1 1 = 835 COL[3,7] 1 1 = 836 COL[3,8] 1 1 = 837 COL[3,9] 1 1 = 838 COL[4,1] 1 1 = 839 COL[4,2] 1 1 = 840 COL[4,3] 1 1 = 841 COL[4,4] 1 1 = 842 COL[4,5] 1 1 = 843 COL[4,6] 1 1 = 844 COL[4,7] 1 1 = 845 COL[4,8] 1 1 = 846 COL[4,9] 1 1 = 847 COL[5,1] 1 1 = 848 COL[5,2] 1 1 = 849 COL[5,3] 1 1 = 850 COL[5,4] 1 1 = 851 COL[5,5] 1 1 = 852 COL[5,6] 1 1 = 853 COL[5,7] 1 1 = 854 COL[5,8] 1 1 = 855 COL[5,9] 1 1 = 856 COL[6,1] 1 1 = 857 COL[6,2] 1 1 = 858 COL[6,3] 1 1 = 859 COL[6,4] 1 1 = 860 COL[6,5] 1 1 = 861 COL[6,6] 1 1 = 862 COL[6,7] 1 1 = 863 COL[6,8] 1 1 = 864 COL[6,9] 1 1 = 865 COL[7,1] 1 1 = 866 COL[7,2] 1 1 = 867 COL[7,3] 1 1 = 868 COL[7,4] 1 1 = 869 COL[7,5] 1 1 = 870 COL[7,6] 1 1 = 871 COL[7,7] 1 1 = 872 COL[7,8] 1 1 = 873 COL[7,9] 1 1 = 874 COL[8,1] 1 1 = 875 COL[8,2] 1 1 = 876 COL[8,3] 1 1 = 877 COL[8,4] 1 1 = 878 COL[8,5] 1 1 = 879 COL[8,6] 1 1 = 880 COL[8,7] 1 1 = 881 COL[8,8] 1 1 = 882 COL[8,9] 1 1 = 883 COL[9,1] 1 1 = 884 COL[9,2] 1 1 = 885 COL[9,3] 1 1 = 886 COL[9,4] 1 1 = 887 COL[9,5] 1 1 = 888 COL[9,6] 1 1 = 889 COL[9,7] 1 1 = 890 COL[9,8] 1 1 = 891 COL[9,9] 1 1 = 892 ROW[1,1] 1 1 = 893 ROW[1,2] 1 1 = 894 ROW[1,3] 1 1 = 895 ROW[1,4] 1 1 = 896 ROW[1,5] 1 1 = 897 ROW[1,6] 1 1 = 898 ROW[1,7] 1 1 = 899 ROW[1,8] 1 1 = 900 ROW[1,9] 1 1 = 901 ROW[2,1] 1 1 = 902 ROW[2,2] 1 1 = 903 ROW[2,3] 1 1 = 904 ROW[2,4] 1 1 = 905 ROW[2,5] 1 1 = 906 ROW[2,6] 1 1 = 907 ROW[2,7] 1 1 = 908 ROW[2,8] 1 1 = 909 ROW[2,9] 1 1 = 910 ROW[3,1] 1 1 = 911 ROW[3,2] 1 1 = 912 ROW[3,3] 1 1 = 913 ROW[3,4] 1 1 = 914 ROW[3,5] 1 1 = 915 ROW[3,6] 1 1 = 916 ROW[3,7] 1 1 = 917 ROW[3,8] 1 1 = 918 ROW[3,9] 1 1 = 919 ROW[4,1] 1 1 = 920 ROW[4,2] 1 1 = 921 ROW[4,3] 1 1 = 922 ROW[4,4] 1 1 = 923 ROW[4,5] 1 1 = 924 ROW[4,6] 1 1 = 925 ROW[4,7] 1 1 = 926 ROW[4,8] 1 1 = 927 ROW[4,9] 1 1 = 928 ROW[5,1] 1 1 = 929 ROW[5,2] 1 1 = 930 ROW[5,3] 1 1 = 931 ROW[5,4] 1 1 = 932 ROW[5,5] 1 1 = 933 ROW[5,6] 1 1 = 934 ROW[5,7] 1 1 = 935 ROW[5,8] 1 1 = 936 ROW[5,9] 1 1 = 937 ROW[6,1] 1 1 = 938 ROW[6,2] 1 1 = 939 ROW[6,3] 1 1 = 940 ROW[6,4] 1 1 = 941 ROW[6,5] 1 1 = 942 ROW[6,6] 1 1 = 943 ROW[6,7] 1 1 = 944 ROW[6,8] 1 1 = 945 ROW[6,9] 1 1 = 946 ROW[7,1] 1 1 = 947 ROW[7,2] 1 1 = 948 ROW[7,3] 1 1 = 949 ROW[7,4] 1 1 = 950 ROW[7,5] 1 1 = 951 ROW[7,6] 1 1 = 952 ROW[7,7] 1 1 = 953 ROW[7,8] 1 1 = 954 ROW[7,9] 1 1 = 955 ROW[8,1] 1 1 = 956 ROW[8,2] 1 1 = 957 ROW[8,3] 1 1 = 958 ROW[8,4] 1 1 = 959 ROW[8,5] 1 1 = 960 ROW[8,6] 1 1 = 961 ROW[8,7] 1 1 = 962 ROW[8,8] 1 1 = 963 ROW[8,9] 1 1 = 964 ROW[9,1] 1 1 = 965 ROW[9,2] 1 1 = 966 ROW[9,3] 1 1 = 967 ROW[9,4] 1 1 = 968 ROW[9,5] 1 1 = 969 ROW[9,6] 1 1 = 970 ROW[9,7] 1 1 = 971 ROW[9,8] 1 1 = 972 ROW[9,9] 1 1 = 973 BLOCK[1,0,0] 1 1 = 974 BLOCK[1,0,1] 1 1 = 975 BLOCK[1,0,2] 1 1 = 976 BLOCK[1,1,0] 1 1 = 977 BLOCK[1,1,1] 1 1 = 978 BLOCK[1,1,2] 1 1 = 979 BLOCK[1,2,0] 1 1 = 980 BLOCK[1,2,1] 1 1 = 981 BLOCK[1,2,2] 1 1 = 982 BLOCK[2,0,0] 1 1 = 983 BLOCK[2,0,1] 1 1 = 984 BLOCK[2,0,2] 1 1 = 985 BLOCK[2,1,0] 1 1 = 986 BLOCK[2,1,1] 1 1 = 987 BLOCK[2,1,2] 1 1 = 988 BLOCK[2,2,0] 1 1 = 989 BLOCK[2,2,1] 1 1 = 990 BLOCK[2,2,2] 1 1 = 991 BLOCK[3,0,0] 1 1 = 992 BLOCK[3,0,1] 1 1 = 993 BLOCK[3,0,2] 1 1 = 994 BLOCK[3,1,0] 1 1 = 995 BLOCK[3,1,1] 1 1 = 996 BLOCK[3,1,2] 1 1 = 997 BLOCK[3,2,0] 1 1 = 998 BLOCK[3,2,1] 1 1 = 999 BLOCK[3,2,2] 1 1 = 1000 BLOCK[4,0,0] 1 1 = 1001 BLOCK[4,0,1] 1 1 = 1002 BLOCK[4,0,2] 1 1 = 1003 BLOCK[4,1,0] 1 1 = 1004 BLOCK[4,1,1] 1 1 = 1005 BLOCK[4,1,2] 1 1 = 1006 BLOCK[4,2,0] 1 1 = 1007 BLOCK[4,2,1] 1 1 = 1008 BLOCK[4,2,2] 1 1 = 1009 BLOCK[5,0,0] 1 1 = 1010 BLOCK[5,0,1] 1 1 = 1011 BLOCK[5,0,2] 1 1 = 1012 BLOCK[5,1,0] 1 1 = 1013 BLOCK[5,1,1] 1 1 = 1014 BLOCK[5,1,2] 1 1 = 1015 BLOCK[5,2,0] 1 1 = 1016 BLOCK[5,2,1] 1 1 = 1017 BLOCK[5,2,2] 1 1 = 1018 BLOCK[6,0,0] 1 1 = 1019 BLOCK[6,0,1] 1 1 = 1020 BLOCK[6,0,2] 1 1 = 1021 BLOCK[6,1,0] 1 1 = 1022 BLOCK[6,1,1] 1 1 = 1023 BLOCK[6,1,2] 1 1 = 1024 BLOCK[6,2,0] 1 1 = 1025 BLOCK[6,2,1] 1 1 = 1026 BLOCK[6,2,2] 1 1 = 1027 BLOCK[7,0,0] 1 1 = 1028 BLOCK[7,0,1] 1 1 = 1029 BLOCK[7,0,2] 1 1 = 1030 BLOCK[7,1,0] 1 1 = 1031 BLOCK[7,1,1] 1 1 = 1032 BLOCK[7,1,2] 1 1 = 1033 BLOCK[7,2,0] 1 1 = 1034 BLOCK[7,2,1] 1 1 = 1035 BLOCK[7,2,2] 1 1 = 1036 BLOCK[8,0,0] 1 1 = 1037 BLOCK[8,0,1] 1 1 = 1038 BLOCK[8,0,2] 1 1 = 1039 BLOCK[8,1,0] 1 1 = 1040 BLOCK[8,1,1] 1 1 = 1041 BLOCK[8,1,2] 1 1 = 1042 BLOCK[8,2,0] 1 1 = 1043 BLOCK[8,2,1] 1 1 = 1044 BLOCK[8,2,2] 1 1 = 1045 BLOCK[9,0,0] 1 1 = 1046 BLOCK[9,0,1] 1 1 = 1047 BLOCK[9,0,2] 1 1 = 1048 BLOCK[9,1,0] 1 1 = 1049 BLOCK[9,1,1] 1 1 = 1050 BLOCK[9,1,2] 1 1 = 1051 BLOCK[9,2,0] 1 1 = 1052 BLOCK[9,2,1] 1 1 = 1053 BLOCK[9,2,2] 1 1 = No. Column name Activity Lower bound Upper bound ------ ------------ ------------- ------------- ------------- 1 Ans[1,1,1] * 1 0 1 2 Ans[1,1,2] * 0 0 1 3 Ans[1,1,3] * 0 0 1 4 Ans[1,1,4] * 0 0 1 5 Ans[1,1,5] * 0 0 1 6 Ans[1,1,6] * 0 0 1 7 Ans[1,1,7] * 0 0 1 8 Ans[1,1,8] * 0 0 1 9 Ans[1,1,9] * 0 0 1 10 Ans[1,2,1] * 0 0 1 11 Ans[1,2,2] * 0 0 1 12 Ans[1,2,3] * 0 0 1 13 Ans[1,2,4] * 1 0 1 14 Ans[1,2,5] * 0 0 1 15 Ans[1,2,6] * 0 0 1 16 Ans[1,2,7] * 0 0 1 17 Ans[1,2,8] * 0 0 1 18 Ans[1,2,9] * 0 0 1 19 Ans[1,3,1] * 0 0 1 20 Ans[1,3,2] * 0 0 1 21 Ans[1,3,3] * 0 0 1 22 Ans[1,3,4] * 0 0 1 23 Ans[1,3,5] * 1 0 1 24 Ans[1,3,6] * 0 0 1 25 Ans[1,3,7] * 0 0 1 26 Ans[1,3,8] * 0 0 1 27 Ans[1,3,9] * 0 0 1 28 Ans[1,4,1] * 0 0 1 29 Ans[1,4,2] * 1 0 1 30 Ans[1,4,3] * 0 0 1 31 Ans[1,4,4] * 0 0 1 32 Ans[1,4,5] * 0 0 1 33 Ans[1,4,6] * 0 0 1 34 Ans[1,4,7] * 0 0 1 35 Ans[1,4,8] * 0 0 1 36 Ans[1,4,9] * 0 0 1 37 Ans[1,5,1] * 0 0 1 38 Ans[1,5,2] * 0 0 1 39 Ans[1,5,3] * 0 0 1 40 Ans[1,5,4] * 0 0 1 41 Ans[1,5,5] * 0 0 1 42 Ans[1,5,6] * 0 0 1 43 Ans[1,5,7] * 0 0 1 44 Ans[1,5,8] * 1 0 1 45 Ans[1,5,9] * 0 0 1 46 Ans[1,6,1] * 0 0 1 47 Ans[1,6,2] * 0 0 1 48 Ans[1,6,3] * 0 0 1 49 Ans[1,6,4] * 0 0 1 50 Ans[1,6,5] * 0 0 1 51 Ans[1,6,6] * 0 0 1 52 Ans[1,6,7] * 0 0 1 53 Ans[1,6,8] * 0 0 1 54 Ans[1,6,9] * 1 0 1 55 Ans[1,7,1] * 0 0 1 56 Ans[1,7,2] * 0 0 1 57 Ans[1,7,3] * 1 0 1 58 Ans[1,7,4] * 0 0 1 59 Ans[1,7,5] * 0 0 1 60 Ans[1,7,6] * 0 0 1 61 Ans[1,7,7] * 0 0 1 62 Ans[1,7,8] * 0 0 1 63 Ans[1,7,9] * 0 0 1 64 Ans[1,8,1] * 0 0 1 65 Ans[1,8,2] * 0 0 1 66 Ans[1,8,3] * 0 0 1 67 Ans[1,8,4] * 0 0 1 68 Ans[1,8,5] * 0 0 1 69 Ans[1,8,6] * 0 0 1 70 Ans[1,8,7] * 1 0 1 71 Ans[1,8,8] * 0 0 1 72 Ans[1,8,9] * 0 0 1 73 Ans[1,9,1] * 0 0 1 74 Ans[1,9,2] * 0 0 1 75 Ans[1,9,3] * 0 0 1 76 Ans[1,9,4] * 0 0 1 77 Ans[1,9,5] * 0 0 1 78 Ans[1,9,6] * 1 0 1 79 Ans[1,9,7] * 0 0 1 80 Ans[1,9,8] * 0 0 1 81 Ans[1,9,9] * 0 0 1 82 Ans[2,1,1] * 0 0 1 83 Ans[2,1,2] * 0 0 1 84 Ans[2,1,3] * 0 0 1 85 Ans[2,1,4] * 0 0 1 86 Ans[2,1,5] * 0 0 1 87 Ans[2,1,6] * 0 0 1 88 Ans[2,1,7] * 1 0 1 89 Ans[2,1,8] * 0 0 1 90 Ans[2,1,9] * 0 0 1 91 Ans[2,2,1] * 0 0 1 92 Ans[2,2,2] * 1 0 1 93 Ans[2,2,3] * 0 0 1 94 Ans[2,2,4] * 0 0 1 95 Ans[2,2,5] * 0 0 1 96 Ans[2,2,6] * 0 0 1 97 Ans[2,2,7] * 0 0 1 98 Ans[2,2,8] * 0 0 1 99 Ans[2,2,9] * 0 0 1 100 Ans[2,3,1] * 0 0 1 101 Ans[2,3,2] * 0 0 1 102 Ans[2,3,3] * 0 0 1 103 Ans[2,3,4] * 0 0 1 104 Ans[2,3,5] * 0 0 1 105 Ans[2,3,6] * 1 0 1 106 Ans[2,3,7] * 0 0 1 107 Ans[2,3,8] * 0 0 1 108 Ans[2,3,9] * 0 0 1 109 Ans[2,4,1] * 0 0 1 110 Ans[2,4,2] * 0 0 1 111 Ans[2,4,3] * 0 0 1 112 Ans[2,4,4] * 0 0 1 113 Ans[2,4,5] * 1 0 1 114 Ans[2,4,6] * 0 0 1 115 Ans[2,4,7] * 0 0 1 116 Ans[2,4,8] * 0 0 1 117 Ans[2,4,9] * 0 0 1 118 Ans[2,5,1] * 0 0 1 119 Ans[2,5,2] * 0 0 1 120 Ans[2,5,3] * 1 0 1 121 Ans[2,5,4] * 0 0 1 122 Ans[2,5,5] * 0 0 1 123 Ans[2,5,6] * 0 0 1 124 Ans[2,5,7] * 0 0 1 125 Ans[2,5,8] * 0 0 1 126 Ans[2,5,9] * 0 0 1 127 Ans[2,6,1] * 1 0 1 128 Ans[2,6,2] * 0 0 1 129 Ans[2,6,3] * 0 0 1 130 Ans[2,6,4] * 0 0 1 131 Ans[2,6,5] * 0 0 1 132 Ans[2,6,6] * 0 0 1 133 Ans[2,6,7] * 0 0 1 134 Ans[2,6,8] * 0 0 1 135 Ans[2,6,9] * 0 0 1 136 Ans[2,7,1] * 0 0 1 137 Ans[2,7,2] * 0 0 1 138 Ans[2,7,3] * 0 0 1 139 Ans[2,7,4] * 0 0 1 140 Ans[2,7,5] * 0 0 1 141 Ans[2,7,6] * 0 0 1 142 Ans[2,7,7] * 0 0 1 143 Ans[2,7,8] * 1 0 1 144 Ans[2,7,9] * 0 0 1 145 Ans[2,8,1] * 0 0 1 146 Ans[2,8,2] * 0 0 1 147 Ans[2,8,3] * 0 0 1 148 Ans[2,8,4] * 1 0 1 149 Ans[2,8,5] * 0 0 1 150 Ans[2,8,6] * 0 0 1 151 Ans[2,8,7] * 0 0 1 152 Ans[2,8,8] * 0 0 1 153 Ans[2,8,9] * 0 0 1 154 Ans[2,9,1] * 0 0 1 155 Ans[2,9,2] * 0 0 1 156 Ans[2,9,3] * 0 0 1 157 Ans[2,9,4] * 0 0 1 158 Ans[2,9,5] * 0 0 1 159 Ans[2,9,6] * 0 0 1 160 Ans[2,9,7] * 0 0 1 161 Ans[2,9,8] * 0 0 1 162 Ans[2,9,9] * 1 0 1 163 Ans[3,1,1] * 0 0 1 164 Ans[3,1,2] * 0 0 1 165 Ans[3,1,3] * 0 0 1 166 Ans[3,1,4] * 0 0 1 167 Ans[3,1,5] * 0 0 1 168 Ans[3,1,6] * 0 0 1 169 Ans[3,1,7] * 0 0 1 170 Ans[3,1,8] * 0 0 1 171 Ans[3,1,9] * 1 0 1 172 Ans[3,2,1] * 0 0 1 173 Ans[3,2,2] * 0 0 1 174 Ans[3,2,3] * 0 0 1 175 Ans[3,2,4] * 0 0 1 176 Ans[3,2,5] * 0 0 1 177 Ans[3,2,6] * 0 0 1 178 Ans[3,2,7] * 0 0 1 179 Ans[3,2,8] * 1 0 1 180 Ans[3,2,9] * 0 0 1 181 Ans[3,3,1] * 0 0 1 182 Ans[3,3,2] * 0 0 1 183 Ans[3,3,3] * 1 0 1 184 Ans[3,3,4] * 0 0 1 185 Ans[3,3,5] * 0 0 1 186 Ans[3,3,6] * 0 0 1 187 Ans[3,3,7] * 0 0 1 188 Ans[3,3,8] * 0 0 1 189 Ans[3,3,9] * 0 0 1 190 Ans[3,4,1] * 0 0 1 191 Ans[3,4,2] * 0 0 1 192 Ans[3,4,3] * 0 0 1 193 Ans[3,4,4] * 0 0 1 194 Ans[3,4,5] * 0 0 1 195 Ans[3,4,6] * 0 0 1 196 Ans[3,4,7] * 1 0 1 197 Ans[3,4,8] * 0 0 1 198 Ans[3,4,9] * 0 0 1 199 Ans[3,5,1] * 0 0 1 200 Ans[3,5,2] * 0 0 1 201 Ans[3,5,3] * 0 0 1 202 Ans[3,5,4] * 0 0 1 203 Ans[3,5,5] * 0 0 1 204 Ans[3,5,6] * 1 0 1 205 Ans[3,5,7] * 0 0 1 206 Ans[3,5,8] * 0 0 1 207 Ans[3,5,9] * 0 0 1 208 Ans[3,6,1] * 0 0 1 209 Ans[3,6,2] * 0 0 1 210 Ans[3,6,3] * 0 0 1 211 Ans[3,6,4] * 1 0 1 212 Ans[3,6,5] * 0 0 1 213 Ans[3,6,6] * 0 0 1 214 Ans[3,6,7] * 0 0 1 215 Ans[3,6,8] * 0 0 1 216 Ans[3,6,9] * 0 0 1 217 Ans[3,7,1] * 1 0 1 218 Ans[3,7,2] * 0 0 1 219 Ans[3,7,3] * 0 0 1 220 Ans[3,7,4] * 0 0 1 221 Ans[3,7,5] * 0 0 1 222 Ans[3,7,6] * 0 0 1 223 Ans[3,7,7] * 0 0 1 224 Ans[3,7,8] * 0 0 1 225 Ans[3,7,9] * 0 0 1 226 Ans[3,8,1] * 0 0 1 227 Ans[3,8,2] * 1 0 1 228 Ans[3,8,3] * 0 0 1 229 Ans[3,8,4] * 0 0 1 230 Ans[3,8,5] * 0 0 1 231 Ans[3,8,6] * 0 0 1 232 Ans[3,8,7] * 0 0 1 233 Ans[3,8,8] * 0 0 1 234 Ans[3,8,9] * 0 0 1 235 Ans[3,9,1] * 0 0 1 236 Ans[3,9,2] * 0 0 1 237 Ans[3,9,3] * 0 0 1 238 Ans[3,9,4] * 0 0 1 239 Ans[3,9,5] * 1 0 1 240 Ans[3,9,6] * 0 0 1 241 Ans[3,9,7] * 0 0 1 242 Ans[3,9,8] * 0 0 1 243 Ans[3,9,9] * 0 0 1 244 Ans[4,1,1] * 0 0 1 245 Ans[4,1,2] * 0 0 1 246 Ans[4,1,3] * 0 0 1 247 Ans[4,1,4] * 0 0 1 248 Ans[4,1,5] * 0 0 1 249 Ans[4,1,6] * 1 0 1 250 Ans[4,1,7] * 0 0 1 251 Ans[4,1,8] * 0 0 1 252 Ans[4,1,9] * 0 0 1 253 Ans[4,2,1] * 1 0 1 254 Ans[4,2,2] * 0 0 1 255 Ans[4,2,3] * 0 0 1 256 Ans[4,2,4] * 0 0 1 257 Ans[4,2,5] * 0 0 1 258 Ans[4,2,6] * 0 0 1 259 Ans[4,2,7] * 0 0 1 260 Ans[4,2,8] * 0 0 1 261 Ans[4,2,9] * 0 0 1 262 Ans[4,3,1] * 0 0 1 263 Ans[4,3,2] * 0 0 1 264 Ans[4,3,3] * 0 0 1 265 Ans[4,3,4] * 0 0 1 266 Ans[4,3,5] * 0 0 1 267 Ans[4,3,6] * 0 0 1 268 Ans[4,3,7] * 0 0 1 269 Ans[4,3,8] * 0 0 1 270 Ans[4,3,9] * 1 0 1 271 Ans[4,4,1] * 0 0 1 272 Ans[4,4,2] * 0 0 1 273 Ans[4,4,3] * 0 0 1 274 Ans[4,4,4] * 1 0 1 275 Ans[4,4,5] * 0 0 1 276 Ans[4,4,6] * 0 0 1 277 Ans[4,4,7] * 0 0 1 278 Ans[4,4,8] * 0 0 1 279 Ans[4,4,9] * 0 0 1 280 Ans[4,5,1] * 0 0 1 281 Ans[4,5,2] * 1 0 1 282 Ans[4,5,3] * 0 0 1 283 Ans[4,5,4] * 0 0 1 284 Ans[4,5,5] * 0 0 1 285 Ans[4,5,6] * 0 0 1 286 Ans[4,5,7] * 0 0 1 287 Ans[4,5,8] * 0 0 1 288 Ans[4,5,9] * 0 0 1 289 Ans[4,6,1] * 0 0 1 290 Ans[4,6,2] * 0 0 1 291 Ans[4,6,3] * 0 0 1 292 Ans[4,6,4] * 0 0 1 293 Ans[4,6,5] * 0 0 1 294 Ans[4,6,6] * 0 0 1 295 Ans[4,6,7] * 1 0 1 296 Ans[4,6,8] * 0 0 1 297 Ans[4,6,9] * 0 0 1 298 Ans[4,7,1] * 0 0 1 299 Ans[4,7,2] * 0 0 1 300 Ans[4,7,3] * 0 0 1 301 Ans[4,7,4] * 0 0 1 302 Ans[4,7,5] * 1 0 1 303 Ans[4,7,6] * 0 0 1 304 Ans[4,7,7] * 0 0 1 305 Ans[4,7,8] * 0 0 1 306 Ans[4,7,9] * 0 0 1 307 Ans[4,8,1] * 0 0 1 308 Ans[4,8,2] * 0 0 1 309 Ans[4,8,3] * 1 0 1 310 Ans[4,8,4] * 0 0 1 311 Ans[4,8,5] * 0 0 1 312 Ans[4,8,6] * 0 0 1 313 Ans[4,8,7] * 0 0 1 314 Ans[4,8,8] * 0 0 1 315 Ans[4,8,9] * 0 0 1 316 Ans[4,9,1] * 0 0 1 317 Ans[4,9,2] * 0 0 1 318 Ans[4,9,3] * 0 0 1 319 Ans[4,9,4] * 0 0 1 320 Ans[4,9,5] * 0 0 1 321 Ans[4,9,6] * 0 0 1 322 Ans[4,9,7] * 0 0 1 323 Ans[4,9,8] * 1 0 1 324 Ans[4,9,9] * 0 0 1 325 Ans[5,1,1] * 0 0 1 326 Ans[5,1,2] * 0 0 1 327 Ans[5,1,3] * 1 0 1 328 Ans[5,1,4] * 0 0 1 329 Ans[5,1,5] * 0 0 1 330 Ans[5,1,6] * 0 0 1 331 Ans[5,1,7] * 0 0 1 332 Ans[5,1,8] * 0 0 1 333 Ans[5,1,9] * 0 0 1 334 Ans[5,2,1] * 0 0 1 335 Ans[5,2,2] * 0 0 1 336 Ans[5,2,3] * 0 0 1 337 Ans[5,2,4] * 0 0 1 338 Ans[5,2,5] * 0 0 1 339 Ans[5,2,6] * 0 0 1 340 Ans[5,2,7] * 1 0 1 341 Ans[5,2,8] * 0 0 1 342 Ans[5,2,9] * 0 0 1 343 Ans[5,3,1] * 0 0 1 344 Ans[5,3,2] * 0 0 1 345 Ans[5,3,3] * 0 0 1 346 Ans[5,3,4] * 1 0 1 347 Ans[5,3,5] * 0 0 1 348 Ans[5,3,6] * 0 0 1 349 Ans[5,3,7] * 0 0 1 350 Ans[5,3,8] * 0 0 1 351 Ans[5,3,9] * 0 0 1 352 Ans[5,4,1] * 1 0 1 353 Ans[5,4,2] * 0 0 1 354 Ans[5,4,3] * 0 0 1 355 Ans[5,4,4] * 0 0 1 356 Ans[5,4,5] * 0 0 1 357 Ans[5,4,6] * 0 0 1 358 Ans[5,4,7] * 0 0 1 359 Ans[5,4,8] * 0 0 1 360 Ans[5,4,9] * 0 0 1 361 Ans[5,5,1] * 0 0 1 362 Ans[5,5,2] * 0 0 1 363 Ans[5,5,3] * 0 0 1 364 Ans[5,5,4] * 0 0 1 365 Ans[5,5,5] * 1 0 1 366 Ans[5,5,6] * 0 0 1 367 Ans[5,5,7] * 0 0 1 368 Ans[5,5,8] * 0 0 1 369 Ans[5,5,9] * 0 0 1 370 Ans[5,6,1] * 0 0 1 371 Ans[5,6,2] * 0 0 1 372 Ans[5,6,3] * 0 0 1 373 Ans[5,6,4] * 0 0 1 374 Ans[5,6,5] * 0 0 1 375 Ans[5,6,6] * 0 0 1 376 Ans[5,6,7] * 0 0 1 377 Ans[5,6,8] * 1 0 1 378 Ans[5,6,9] * 0 0 1 379 Ans[5,7,1] * 0 0 1 380 Ans[5,7,2] * 0 0 1 381 Ans[5,7,3] * 0 0 1 382 Ans[5,7,4] * 0 0 1 383 Ans[5,7,5] * 0 0 1 384 Ans[5,7,6] * 0 0 1 385 Ans[5,7,7] * 0 0 1 386 Ans[5,7,8] * 0 0 1 387 Ans[5,7,9] * 1 0 1 388 Ans[5,8,1] * 0 0 1 389 Ans[5,8,2] * 0 0 1 390 Ans[5,8,3] * 0 0 1 391 Ans[5,8,4] * 0 0 1 392 Ans[5,8,5] * 0 0 1 393 Ans[5,8,6] * 1 0 1 394 Ans[5,8,7] * 0 0 1 395 Ans[5,8,8] * 0 0 1 396 Ans[5,8,9] * 0 0 1 397 Ans[5,9,1] * 0 0 1 398 Ans[5,9,2] * 1 0 1 399 Ans[5,9,3] * 0 0 1 400 Ans[5,9,4] * 0 0 1 401 Ans[5,9,5] * 0 0 1 402 Ans[5,9,6] * 0 0 1 403 Ans[5,9,7] * 0 0 1 404 Ans[5,9,8] * 0 0 1 405 Ans[5,9,9] * 0 0 1 406 Ans[6,1,1] * 0 0 1 407 Ans[6,1,2] * 1 0 1 408 Ans[6,1,3] * 0 0 1 409 Ans[6,1,4] * 0 0 1 410 Ans[6,1,5] * 0 0 1 411 Ans[6,1,6] * 0 0 1 412 Ans[6,1,7] * 0 0 1 413 Ans[6,1,8] * 0 0 1 414 Ans[6,1,9] * 0 0 1 415 Ans[6,2,1] * 0 0 1 416 Ans[6,2,2] * 0 0 1 417 Ans[6,2,3] * 0 0 1 418 Ans[6,2,4] * 0 0 1 419 Ans[6,2,5] * 1 0 1 420 Ans[6,2,6] * 0 0 1 421 Ans[6,2,7] * 0 0 1 422 Ans[6,2,8] * 0 0 1 423 Ans[6,2,9] * 0 0 1 424 Ans[6,3,1] * 0 0 1 425 Ans[6,3,2] * 0 0 1 426 Ans[6,3,3] * 0 0 1 427 Ans[6,3,4] * 0 0 1 428 Ans[6,3,5] * 0 0 1 429 Ans[6,3,6] * 0 0 1 430 Ans[6,3,7] * 0 0 1 431 Ans[6,3,8] * 1 0 1 432 Ans[6,3,9] * 0 0 1 433 Ans[6,4,1] * 0 0 1 434 Ans[6,4,2] * 0 0 1 435 Ans[6,4,3] * 1 0 1 436 Ans[6,4,4] * 0 0 1 437 Ans[6,4,5] * 0 0 1 438 Ans[6,4,6] * 0 0 1 439 Ans[6,4,7] * 0 0 1 440 Ans[6,4,8] * 0 0 1 441 Ans[6,4,9] * 0 0 1 442 Ans[6,5,1] * 0 0 1 443 Ans[6,5,2] * 0 0 1 444 Ans[6,5,3] * 0 0 1 445 Ans[6,5,4] * 0 0 1 446 Ans[6,5,5] * 0 0 1 447 Ans[6,5,6] * 0 0 1 448 Ans[6,5,7] * 0 0 1 449 Ans[6,5,8] * 0 0 1 450 Ans[6,5,9] * 1 0 1 451 Ans[6,6,1] * 0 0 1 452 Ans[6,6,2] * 0 0 1 453 Ans[6,6,3] * 0 0 1 454 Ans[6,6,4] * 0 0 1 455 Ans[6,6,5] * 0 0 1 456 Ans[6,6,6] * 1 0 1 457 Ans[6,6,7] * 0 0 1 458 Ans[6,6,8] * 0 0 1 459 Ans[6,6,9] * 0 0 1 460 Ans[6,7,1] * 0 0 1 461 Ans[6,7,2] * 0 0 1 462 Ans[6,7,3] * 0 0 1 463 Ans[6,7,4] * 1 0 1 464 Ans[6,7,5] * 0 0 1 465 Ans[6,7,6] * 0 0 1 466 Ans[6,7,7] * 0 0 1 467 Ans[6,7,8] * 0 0 1 468 Ans[6,7,9] * 0 0 1 469 Ans[6,8,1] * 1 0 1 470 Ans[6,8,2] * 0 0 1 471 Ans[6,8,3] * 0 0 1 472 Ans[6,8,4] * 0 0 1 473 Ans[6,8,5] * 0 0 1 474 Ans[6,8,6] * 0 0 1 475 Ans[6,8,7] * 0 0 1 476 Ans[6,8,8] * 0 0 1 477 Ans[6,8,9] * 0 0 1 478 Ans[6,9,1] * 0 0 1 479 Ans[6,9,2] * 0 0 1 480 Ans[6,9,3] * 0 0 1 481 Ans[6,9,4] * 0 0 1 482 Ans[6,9,5] * 0 0 1 483 Ans[6,9,6] * 0 0 1 484 Ans[6,9,7] * 1 0 1 485 Ans[6,9,8] * 0 0 1 486 Ans[6,9,9] * 0 0 1 487 Ans[7,1,1] * 0 0 1 488 Ans[7,1,2] * 0 0 1 489 Ans[7,1,3] * 0 0 1 490 Ans[7,1,4] * 0 0 1 491 Ans[7,1,5] * 0 0 1 492 Ans[7,1,6] * 0 0 1 493 Ans[7,1,7] * 0 0 1 494 Ans[7,1,8] * 1 0 1 495 Ans[7,1,9] * 0 0 1 496 Ans[7,2,1] * 0 0 1 497 Ans[7,2,2] * 0 0 1 498 Ans[7,2,3] * 0 0 1 499 Ans[7,2,4] * 0 0 1 500 Ans[7,2,5] * 0 0 1 501 Ans[7,2,6] * 1 0 1 502 Ans[7,2,7] * 0 0 1 503 Ans[7,2,8] * 0 0 1 504 Ans[7,2,9] * 0 0 1 505 Ans[7,3,1] * 0 0 1 506 Ans[7,3,2] * 1 0 1 507 Ans[7,3,3] * 0 0 1 508 Ans[7,3,4] * 0 0 1 509 Ans[7,3,5] * 0 0 1 510 Ans[7,3,6] * 0 0 1 511 Ans[7,3,7] * 0 0 1 512 Ans[7,3,8] * 0 0 1 513 Ans[7,3,9] * 0 0 1 514 Ans[7,4,1] * 0 0 1 515 Ans[7,4,2] * 0 0 1 516 Ans[7,4,3] * 0 0 1 517 Ans[7,4,4] * 0 0 1 518 Ans[7,4,5] * 0 0 1 519 Ans[7,4,6] * 0 0 1 520 Ans[7,4,7] * 0 0 1 521 Ans[7,4,8] * 0 0 1 522 Ans[7,4,9] * 1 0 1 523 Ans[7,5,1] * 0 0 1 524 Ans[7,5,2] * 0 0 1 525 Ans[7,5,3] * 0 0 1 526 Ans[7,5,4] * 1 0 1 527 Ans[7,5,5] * 0 0 1 528 Ans[7,5,6] * 0 0 1 529 Ans[7,5,7] * 0 0 1 530 Ans[7,5,8] * 0 0 1 531 Ans[7,5,9] * 0 0 1 532 Ans[7,6,1] * 0 0 1 533 Ans[7,6,2] * 0 0 1 534 Ans[7,6,3] * 1 0 1 535 Ans[7,6,4] * 0 0 1 536 Ans[7,6,5] * 0 0 1 537 Ans[7,6,6] * 0 0 1 538 Ans[7,6,7] * 0 0 1 539 Ans[7,6,8] * 0 0 1 540 Ans[7,6,9] * 0 0 1 541 Ans[7,7,1] * 0 0 1 542 Ans[7,7,2] * 0 0 1 543 Ans[7,7,3] * 0 0 1 544 Ans[7,7,4] * 0 0 1 545 Ans[7,7,5] * 0 0 1 546 Ans[7,7,6] * 0 0 1 547 Ans[7,7,7] * 1 0 1 548 Ans[7,7,8] * 0 0 1 549 Ans[7,7,9] * 0 0 1 550 Ans[7,8,1] * 0 0 1 551 Ans[7,8,2] * 0 0 1 552 Ans[7,8,3] * 0 0 1 553 Ans[7,8,4] * 0 0 1 554 Ans[7,8,5] * 1 0 1 555 Ans[7,8,6] * 0 0 1 556 Ans[7,8,7] * 0 0 1 557 Ans[7,8,8] * 0 0 1 558 Ans[7,8,9] * 0 0 1 559 Ans[7,9,1] * 1 0 1 560 Ans[7,9,2] * 0 0 1 561 Ans[7,9,3] * 0 0 1 562 Ans[7,9,4] * 0 0 1 563 Ans[7,9,5] * 0 0 1 564 Ans[7,9,6] * 0 0 1 565 Ans[7,9,7] * 0 0 1 566 Ans[7,9,8] * 0 0 1 567 Ans[7,9,9] * 0 0 1 568 Ans[8,1,1] * 0 0 1 569 Ans[8,1,2] * 0 0 1 570 Ans[8,1,3] * 0 0 1 571 Ans[8,1,4] * 1 0 1 572 Ans[8,1,5] * 0 0 1 573 Ans[8,1,6] * 0 0 1 574 Ans[8,1,7] * 0 0 1 575 Ans[8,1,8] * 0 0 1 576 Ans[8,1,9] * 0 0 1 577 Ans[8,2,1] * 0 0 1 578 Ans[8,2,2] * 0 0 1 579 Ans[8,2,3] * 0 0 1 580 Ans[8,2,4] * 0 0 1 581 Ans[8,2,5] * 0 0 1 582 Ans[8,2,6] * 0 0 1 583 Ans[8,2,7] * 0 0 1 584 Ans[8,2,8] * 0 0 1 585 Ans[8,2,9] * 1 0 1 586 Ans[8,3,1] * 0 0 1 587 Ans[8,3,2] * 0 0 1 588 Ans[8,3,3] * 0 0 1 589 Ans[8,3,4] * 0 0 1 590 Ans[8,3,5] * 0 0 1 591 Ans[8,3,6] * 0 0 1 592 Ans[8,3,7] * 1 0 1 593 Ans[8,3,8] * 0 0 1 594 Ans[8,3,9] * 0 0 1 595 Ans[8,4,1] * 0 0 1 596 Ans[8,4,2] * 0 0 1 597 Ans[8,4,3] * 0 0 1 598 Ans[8,4,4] * 0 0 1 599 Ans[8,4,5] * 0 0 1 600 Ans[8,4,6] * 1 0 1 601 Ans[8,4,7] * 0 0 1 602 Ans[8,4,8] * 0 0 1 603 Ans[8,4,9] * 0 0 1 604 Ans[8,5,1] * 1 0 1 605 Ans[8,5,2] * 0 0 1 606 Ans[8,5,3] * 0 0 1 607 Ans[8,5,4] * 0 0 1 608 Ans[8,5,5] * 0 0 1 609 Ans[8,5,6] * 0 0 1 610 Ans[8,5,7] * 0 0 1 611 Ans[8,5,8] * 0 0 1 612 Ans[8,5,9] * 0 0 1 613 Ans[8,6,1] * 0 0 1 614 Ans[8,6,2] * 0 0 1 615 Ans[8,6,3] * 0 0 1 616 Ans[8,6,4] * 0 0 1 617 Ans[8,6,5] * 1 0 1 618 Ans[8,6,6] * 0 0 1 619 Ans[8,6,7] * 0 0 1 620 Ans[8,6,8] * 0 0 1 621 Ans[8,6,9] * 0 0 1 622 Ans[8,7,1] * 0 0 1 623 Ans[8,7,2] * 1 0 1 624 Ans[8,7,3] * 0 0 1 625 Ans[8,7,4] * 0 0 1 626 Ans[8,7,5] * 0 0 1 627 Ans[8,7,6] * 0 0 1 628 Ans[8,7,7] * 0 0 1 629 Ans[8,7,8] * 0 0 1 630 Ans[8,7,9] * 0 0 1 631 Ans[8,8,1] * 0 0 1 632 Ans[8,8,2] * 0 0 1 633 Ans[8,8,3] * 0 0 1 634 Ans[8,8,4] * 0 0 1 635 Ans[8,8,5] * 0 0 1 636 Ans[8,8,6] * 0 0 1 637 Ans[8,8,7] * 0 0 1 638 Ans[8,8,8] * 1 0 1 639 Ans[8,8,9] * 0 0 1 640 Ans[8,9,1] * 0 0 1 641 Ans[8,9,2] * 0 0 1 642 Ans[8,9,3] * 1 0 1 643 Ans[8,9,4] * 0 0 1 644 Ans[8,9,5] * 0 0 1 645 Ans[8,9,6] * 0 0 1 646 Ans[8,9,7] * 0 0 1 647 Ans[8,9,8] * 0 0 1 648 Ans[8,9,9] * 0 0 1 649 Ans[9,1,1] * 0 0 1 650 Ans[9,1,2] * 0 0 1 651 Ans[9,1,3] * 0 0 1 652 Ans[9,1,4] * 0 0 1 653 Ans[9,1,5] * 1 0 1 654 Ans[9,1,6] * 0 0 1 655 Ans[9,1,7] * 0 0 1 656 Ans[9,1,8] * 0 0 1 657 Ans[9,1,9] * 0 0 1 658 Ans[9,2,1] * 0 0 1 659 Ans[9,2,2] * 0 0 1 660 Ans[9,2,3] * 1 0 1 661 Ans[9,2,4] * 0 0 1 662 Ans[9,2,5] * 0 0 1 663 Ans[9,2,6] * 0 0 1 664 Ans[9,2,7] * 0 0 1 665 Ans[9,2,8] * 0 0 1 666 Ans[9,2,9] * 0 0 1 667 Ans[9,3,1] * 1 0 1 668 Ans[9,3,2] * 0 0 1 669 Ans[9,3,3] * 0 0 1 670 Ans[9,3,4] * 0 0 1 671 Ans[9,3,5] * 0 0 1 672 Ans[9,3,6] * 0 0 1 673 Ans[9,3,7] * 0 0 1 674 Ans[9,3,8] * 0 0 1 675 Ans[9,3,9] * 0 0 1 676 Ans[9,4,1] * 0 0 1 677 Ans[9,4,2] * 0 0 1 678 Ans[9,4,3] * 0 0 1 679 Ans[9,4,4] * 0 0 1 680 Ans[9,4,5] * 0 0 1 681 Ans[9,4,6] * 0 0 1 682 Ans[9,4,7] * 0 0 1 683 Ans[9,4,8] * 1 0 1 684 Ans[9,4,9] * 0 0 1 685 Ans[9,5,1] * 0 0 1 686 Ans[9,5,2] * 0 0 1 687 Ans[9,5,3] * 0 0 1 688 Ans[9,5,4] * 0 0 1 689 Ans[9,5,5] * 0 0 1 690 Ans[9,5,6] * 0 0 1 691 Ans[9,5,7] * 1 0 1 692 Ans[9,5,8] * 0 0 1 693 Ans[9,5,9] * 0 0 1 694 Ans[9,6,1] * 0 0 1 695 Ans[9,6,2] * 1 0 1 696 Ans[9,6,3] * 0 0 1 697 Ans[9,6,4] * 0 0 1 698 Ans[9,6,5] * 0 0 1 699 Ans[9,6,6] * 0 0 1 700 Ans[9,6,7] * 0 0 1 701 Ans[9,6,8] * 0 0 1 702 Ans[9,6,9] * 0 0 1 703 Ans[9,7,1] * 0 0 1 704 Ans[9,7,2] * 0 0 1 705 Ans[9,7,3] * 0 0 1 706 Ans[9,7,4] * 0 0 1 707 Ans[9,7,5] * 0 0 1 708 Ans[9,7,6] * 1 0 1 709 Ans[9,7,7] * 0 0 1 710 Ans[9,7,8] * 0 0 1 711 Ans[9,7,9] * 0 0 1 712 Ans[9,8,1] * 0 0 1 713 Ans[9,8,2] * 0 0 1 714 Ans[9,8,3] * 0 0 1 715 Ans[9,8,4] * 0 0 1 716 Ans[9,8,5] * 0 0 1 717 Ans[9,8,6] * 0 0 1 718 Ans[9,8,7] * 0 0 1 719 Ans[9,8,8] * 0 0 1 720 Ans[9,8,9] * 1 0 1 721 Ans[9,9,1] * 0 0 1 722 Ans[9,9,2] * 0 0 1 723 Ans[9,9,3] * 0 0 1 724 Ans[9,9,4] * 1 0 1 725 Ans[9,9,5] * 0 0 1 726 Ans[9,9,6] * 0 0 1 727 Ans[9,9,7] * 0 0 1 728 Ans[9,9,8] * 0 0 1 729 Ans[9,9,9] * 0 0 1 Integer feasibility conditions: KKT.PE: max.abs.err = 0.00e+00 on row 0 max.rel.err = 0.00e+00 on row 0 High quality KKT.PB: max.abs.err = 0.00e+00 on row 0 max.rel.err = 0.00e+00 on row 0 High quality End of output