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