size 1 space_dim 18 space_dim 18 -ZE -EM +CM +GM +CS +GS -CP -GP +SC -SG con_sys (up-to-date) topology NOT_NECESSARILY_CLOSED 22 x 20 (not_sorted) index_first_pending 22 0 0 1 0 8192 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 = -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 = 0 0 1 0 8192 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 = -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 = 0 0 1 0 8192 0 0 0 0 -1 0 0 0 0 -8192 0 0 0 0 0 = 0 0 0 0 0 0 0 0 0 1 0 0 0 -1 0 0 0 0 0 0 = 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 = 0 0 1 0 8192 0 0 0 0 -1 0 -8192 0 0 0 0 0 0 0 0 = 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 = 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 = 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 = 0 0 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 = 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 = 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 = 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 = 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 > 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 >= 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 -1 > 67100672 0 -1 0 -8192 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 >= 8191 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 >= 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 >= 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 >= gen_sys (up-to-date) topology NOT_NECESSARILY_CLOSED 12 x 20 (not_sorted) index_first_pending 12 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 C 1 0 8191 0 0 0 8191 0 0 8191 0 0 0 8191 0 1 8191 1 8191 0 C 8192 0 67100672 0 67100671 0 67100672 67100671 0 67092480 0 67100672 0 67092480 67100672 8192 549755797504 8192 549755797504 8192 P 8192 0 67100672 0 67092481 0 67100672 67092481 0 0 0 67100672 0 0 67100672 8192 549688705024 8192 549688705024 8192 P 8192 0 8192 0 67100671 0 8192 67100671 0 0 0 67100672 0 0 67100672 8192 549688705024 8192 549688705024 8192 P 8192 0 67100672 0 67092481 0 67100672 67092481 0 0 0 67100672 0 0 67100672 8192 549688705024 8192 549688705024 0 C 1 0 8191 0 8191 0 8191 8191 0 8191 0 8191 0 8191 8191 1 67108863 1 67108863 0 C 8192 0 67100672 0 0 0 67100672 0 0 0 0 8191 0 0 8191 8192 67100672 8192 67100672 0 C 1 0 0 0 8191 0 0 8191 0 0 0 8191 0 0 8191 1 67100672 1 67100672 0 C 8192 0 67100672 0 0 0 67100672 0 0 67092480 0 1 0 67092480 1 8192 67100672 8192 67100672 8192 P 8192 0 67100672 0 0 0 67100672 0 0 0 0 8191 0 0 8191 8192 67100672 8192 67100672 8192 P 8192 0 8192 0 0 0 8192 0 0 0 0 1 0 0 1 8192 8192 8192 8192 8192 P sat_c 12 x 22 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 sat_g 3 x 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0