  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 
