space_dim 9
-ZE -EM  -CM -GM  +CS -GS  -CP -GP  -SC -SG 
con_sys (up-to-date)
topology NECESSARILY_CLOSED
51 x 10 (not_sorted)
index_first_pending 51
1 0 0 0 0 0 0 0 0 0   >=
0 1 0 0 0 0 0 0 0 0   >=
0 0 1 0 0 0 0 0 0 0   >=
0 0 0 1 0 0 0 0 0 0   >=
0 0 0 0 1 0 0 0 0 0   >=
0 0 0 0 0 1 0 0 0 0   >=
0 0 0 0 0 0 1 0 0 0   >=
0 0 0 0 0 0 0 1 0 0   >=
0 0 0 0 0 0 0 0 1 0   >=
0 0 0 0 0 0 0 0 0 1   >=
 -10000 651 693 84 697 637 340 368 824 663   >=
 -10000 725 742 387 219 751 430 202 745 356   >=
 -10000 377 674 979 167 815 988 412 676 475   >=
 -10000 710 275 949 284 629 1 422 974 510   >=
 -10000 692 945 725 488 271 430 724 225 726   >=
 -10000 465 258 450 343 87 168 161 103 919   >=
 -10000 86 79 656 493 832 514 791 506 29   >=
 -10000 63 630 874 918 877 272 992 119 480   >=
 -10000 598 926 42 378 288 66 927 919 99   >=
 -10000 256 354 106 979 641 160 395 225 837   >=
 -10000 202 388 900 471 160 751 300 731 818   >=
 -10000 342 502 825 563 639 261 194 984 990   >=
 -10000 266 406 364 216 448 675 145 694 866   >=
 -10000 362 983 732 378 134 902 946 877 205   >=
 -10000 926 125 949 888 234 630 275 707 67   >=
 -10000 634 81 192 768 652 822 311 961 895   >=
 -10000 983 597 743 314 696 585 367 396 826   >=
 -10000 511 545 539 97 111 996 477 35 372   >=
 -10000 474 103 152 753 159 120 929 161 563   >=
 -10000 549 793 307 456 444 184 149 792 894   >=
 -10000 839 488 917 192 168 788 959 245 25   >=
 -10000 750 165 338 182 392 381 962 117 713   >=
 -10000 738 827 943 507 914 814 951 663 815   >=
 -10000 493 339 225 351 450 788 992 167 792   >=
 -10000 174 773 247 247 180 517 445 599 596   >=
 -10000 303 26 967 39 535 4 7 335 217   >=
 -10000 772 173 189 291 668 191 610 677 544   >=
 -10000 848 642 40 125 865 100 259 534 648   >=
 -10000 501 622 398 624 118 416 30 17 236   >=
 -10000 218 602 697 892 322 314 361 573 985   >=
 -10000 958 856 608 492 563 478 311 614 740   >=
 -10000 582 913 938 949 715 338 39 726 998   >=
 -10000 521 805 708 221 624 316 24 127 322   >=
 -10000 491 189 412 774 418 200 193 633 315   >=
 -10000 144 679 383 447 989 939 441 631 482   >=
 -10000 940 241 153 215 149 457 254 207 125   >=
 -10000 80 873 207 904 684 600 940 431 825   >=
 -10000 75 100 353 637 432 377 940 758 164   >=
 -10000 627 721 915 710 8 786 96 17 576   >=
 -10000 247 104 607 432 540 164 597 282 317   >=
 -10000 553 787 881 942 152 318 44 509 518   >=

gen_sys (not_up-to-date)
topology NECESSARILY_CLOSED
0 x 0 (not_sorted)
index_first_pending 0

sat_c
0 x 0

sat_g
0 x 0
