# Data file pairs18.dat with data for 18 groups param ngroups := 18; param triple_list [*] := 1 10 103 9 205 17 307 69 409 0 511 0 613 42 715 0 2 35 104 0 206 39 308 13 410 27 512 38 614 0 716 26 3 24 105 0 207 25 309 4 411 1 513 0 615 5 717 6 4 13 106 5 208 0 310 40 412 12 514 0 616 50 718 6 5 65 107 4 209 41 311 47 413 7 515 54 617 44 719 40 6 8 108 6 210 53 312 21 414 9 516 92 618 10 720 33 7 1 109 2 211 52 313 50 415 1 517 71 619 69 721 9 8 10 110 11 212 33 314 70 416 2 518 1 620 51 722 25 9 25 111 1 213 20 315 8 417 32 519 7 621 17 723 38 10 12 112 0 214 2 316 0 418 16 520 35 622 0 724 8 11 1 113 1 215 61 317 39 419 24 521 22 623 56 725 0 12 1 114 0 216 101 318 29 420 13 522 8 624 26 726 8 13 20 115 3 217 24 319 117 421 31 523 11 625 18 727 1 14 6 116 0 218 31 320 98 422 9 524 128 626 14 728 36 15 6 117 0 219 139 321 24 423 0 525 69 627 32 729 29 16 19 118 1 220 98 322 106 424 0 526 53 628 5 730 14 17 23 119 0 221 38 323 126 425 0 527 69 629 0 731 27 18 1 120 1 222 121 324 38 426 20 528 101 630 228 732 32 19 0 121 1 223 142 325 0 427 7 529 13 631 129 733 5 20 13 122 2 224 36 326 9 428 1 530 0 632 327 734 0 21 33 123 3 225 0 327 63 429 8 531 50 633 377 735 0 22 8 124 0 226 31 328 23 430 28 532 23 634 83 736 16 23 58 125 6 227 35 329 8 431 11 533 14 635 0 737 12 24 8 126 15 228 35 330 44 432 14 534 9 636 67 738 1 25 0 127 0 229 0 331 62 433 12 535 45 637 274 739 12 26 8 128 2 230 2 332 12 434 96 536 83 638 226 740 10 27 11 129 12 231 32 333 0 435 3 537 22 639 39 741 2 28 2 130 7 232 21 334 62 436 0 538 6 640 0 742 0 29 0 131 5 233 0 335 19 437 1 539 119 641 142 743 15 30 0 132 9 234 2 336 15 438 3 540 111 642 177 744 11 31 19 133 11 235 39 337 5 439 2 541 23 643 19 745 6 32 9 134 1 236 20 338 24 440 0 542 120 644 0 746 8 33 4 135 0 237 23 339 9 441 0 543 110 645 405 747 23 34 6 136 18 238 15 340 0 442 3 544 24 646 61 748 1 35 12 137 3 239 47 341 85 443 4 545 0 647 0 749 0 36 4 138 3 240 0 342 58 444 0 546 40 648 73 750 71 37 0 139 14 241 0 343 168 445 0 547 0 649 0 751 72 38 35 140 11 242 27 344 188 446 5 548 45 650 0 752 87 39 31 141 10 243 16 345 38 447 1 549 14 651 69 753 101 40 261 142 6 244 3 346 0 448 0 550 32 652 45 754 5 41 24 143 32 245 3 347 23 449 2 551 6 653 4 755 0 42 0 144 6 246 29 348 110 450 0 552 7 654 9 756 18 43 27 145 0 247 60 349 98 451 2 553 116 655 39 757 37 44 19 146 4 248 13 350 15 452 0 554 82 656 21 758 42 45 35 147 1 249 6 351 0 453 2 555 62 657 14 759 5 46 3 148 19 250 58 352 39 454 1 556 133 658 5 760 0 47 3 149 8 251 45 353 49 455 2 557 84 659 50 761 38 48 79 150 11 252 6 354 11 456 3 558 15 660 37 762 46 49 55 151 10 253 56 355 0 457 5 559 0 661 19 763 5 50 86 152 25 254 53 356 146 458 1 560 9 662 37 764 0 51 72 153 7 255 16 357 35 459 0 561 1 663 48 765 65 52 85 154 0 256 0 358 0 460 21 562 19 664 0 766 8 53 13 155 1 257 18 359 36 461 7 563 57 665 0 767 0 54 0 156 1 258 0 360 0 462 1 564 15 666 50 768 9 55 26 157 3 259 13 361 0 463 30 565 11 667 2 769 0 56 183 158 1 260 15 362 92 464 20 566 83 668 122 770 0 57 21 159 1 261 20 363 37 465 6 567 54 669 18 771 20 58 2 160 6 262 3 364 34 466 21 568 39 670 17 772 1 59 73 161 1 263 3 365 43 467 46 569 66 671 5 773 23 60 26 162 0 264 18 366 4 468 7 570 127 672 3 774 12 61 15 163 1 265 19 367 6 469 0 571 1 673 100 775 20 62 2 164 1 266 7 368 34 470 11 572 0 674 61 776 2 63 6 165 2 267 19 369 26 471 1 573 1 675 60 777 0 64 30 166 1 268 25 370 6 472 29 574 20 676 37 778 28 65 24 167 4 269 6 371 15 473 29 575 6 677 59 779 23 66 20 168 0 270 0 372 76 474 6 576 12 678 5 780 10 67 15 169 0 271 6 373 60 475 28 577 4 679 0 781 25 68 25 170 17 272 1 374 17 476 45 578 46 680 1 782 24 69 3 171 25 273 23 375 65 477 43 579 38 681 4 783 6 70 0 172 39 274 36 376 102 478 0 580 6 682 24 784 0 71 47 173 49 275 35 377 11 479 1 581 69 683 17 785 1 72 6 174 7 276 4 378 0 480 18 582 38 684 3 786 0 73 2 175 0 277 77 379 97 481 11 583 21 685 7 787 12 74 16 176 11 278 19 380 152 482 0 584 0 686 78 788 13 75 6 177 16 279 13 381 52 483 9 585 3 687 21 789 7 76 12 178 23 280 56 382 2 484 10 586 3 688 50 790 9 77 0 179 3 281 80 383 7 485 7 587 3 689 56 791 28 78 0 180 0 282 2 384 48 486 0 588 1 690 85 792 26 79 15 181 31 283 0 385 23 487 11 589 6 691 3 793 6 80 7 182 33 284 1 386 8 488 4 590 5 692 0 794 23 81 8 183 8 285 5 387 17 489 6 591 3 693 0 795 31 82 12 184 0 286 14 388 103 490 4 592 9 694 1 796 1 83 13 185 46 287 4 389 44 491 20 593 10 695 3 797 0 84 4 186 1 288 1 390 70 492 18 594 1 696 1 798 1 85 0 187 0 289 23 391 43 493 0 595 0 697 0 799 10 86 31 188 7 290 14 392 113 494 41 596 64 698 2 800 6 87 2 189 0 291 7 393 6 495 16 597 13 699 2 801 3 88 270 190 0 292 33 394 0 496 42 598 6 700 0 802 0 89 21 191 25 293 19 395 28 497 79 599 110 701 5 803 11 90 44 192 52 294 5 396 12 498 52 600 67 702 1 804 11 91 6 193 24 295 0 397 0 499 0 601 37 703 1 805 2 92 6 194 16 296 3 398 3 500 11 602 115 704 0 806 14 93 78 195 16 297 4 399 21 501 50 603 154 705 5 807 13 94 80 196 2 298 1 400 13 502 45 604 17 706 4 808 3 95 63 197 2 299 0 401 7 503 14 605 0 707 1 809 0 96 87 198 15 300 0 402 2 504 0 606 34 708 0 810 1 97 57 199 29 301 0 403 32 505 8 607 10 709 6 811 3 98 7 200 5 302 1 404 27 506 10 608 162 710 8 812 1 99 0 201 6 303 1 405 4 507 14 609 131 711 3 813 0 100 0 202 30 304 0 406 21 508 0 610 46 712 1 814 2 101 4 203 18 305 0 407 32 509 46 611 174 713 7 815 4 102 7 204 10 306 0 408 13 510 25 612 147 714 1 816 1 ; param pairs [*,*] : 1 2 3 4 5 6 7 8 9 10 11 12 := 1 12 129 104 420 312 116 805 64 8 277 103 116 2 129 12 173 517 238 278 173 227 91 20 256 489 3 104 173 11 375 602 220 274 186 19 24 153 169 4 420 517 375 75 480 507 583 373 190 69 417 596 5 312 238 602 480 19 357 621 338 16 138 241 165 6 116 278 220 507 357 94 233 155 68 45 236 377 7 805 173 274 583 621 233 46 148 17 370 85 142 8 64 227 186 373 338 155 148 1 42 13 102 177 9 8 91 19 190 16 68 17 42 10 8 81 71 10 277 20 24 69 138 45 370 13 8 1 22 30 11 103 256 153 417 241 236 85 102 81 22 8 338 12 116 489 169 596 165 377 142 177 71 30 338 40 13 16 177 61 208 55 149 28 82 76 11 92 225 14 13 92 49 121 66 36 20 85 14 3 44 57 15 192 587 351 1193 554 497 333 345 170 40 382 625 16 130 386 196 848 296 390 230 180 180 27 321 513 17 156 169 128 515 278 100 199 181 44 24 146 175 18 191 523 204 1214 285 420 308 295 277 28 385 633 : 13 14 15 16 17 18 := 1 16 13 192 130 156 191 2 177 92 587 386 169 523 3 61 49 351 196 128 204 4 208 121 1193 848 515 1214 5 55 66 554 296 278 285 6 149 36 497 390 100 420 7 28 20 333 230 199 308 8 82 85 345 180 181 295 9 76 14 170 180 44 277 10 11 3 40 27 24 28 11 92 44 382 321 146 385 12 225 57 625 513 175 633 13 5 21 313 234 54 340 14 21 2 172 107 90 51 15 313 172 38 724 417 1042 16 234 107 724 25 191 855 17 54 90 417 191 3 377 18 340 51 1042 855 377 89 ;