size 1
space_dim 4
space_dim 4
-ZE -EM  -CM -GM  -CS +GS  -CP -GP  -SC -SG 
con_sys (not_up-to-date)
topology NOT_NECESSARILY_CLOSED
21 x 20 (not_sorted)
index_first_pending 21
0 0 0 0 0 0 8192 0 1 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 0 0 0 0 8192 0 1 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 0 0 1 0 -8192 0 -1 0 0 8192 0 0 0 0 0 0 0 0 =
0 0 0 1 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 0 0 0 1 0 0 0 0 0 =
0 0 0 0 0 0 8192 0 1 0 0 -8192 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 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 =
0 1 0 0 0 0 -1 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 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 0 0 -1 0 0 0 0 1 0 0 0 0 0 0 0 -1 >
0 0 0 0 0 0 8192 0 1 0 0 -8192 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 0 1 >=
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 >=
8191 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 >=
8191 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 >=
gen_sys (up-to-date)
topology NOT_NECESSARILY_CLOSED
8 x 6 (not_sorted)
index_first_pending 8
1 0 0 0 0 0 C
1 8191 0 8191 0 0 C
1 8191 8191 8191 8191 0 C
1 0 8191 0 8191 0 C
8192 0 67100672 8191 0 8191 P
8192 0 67100672 8191 0 0 C
8192 67092481 67100672 67100672 0 8191 P
8192 67092481 67100672 67100672 0 0 C
sat_c
8 x 21
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 
0 0 0 0 0 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 1 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 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 1 0 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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