blob: 9216e463938f4aed10830fb40acfe2ef8753d39f [file] [log] [blame]
c # language is C
# ---------- CONTEXT ----------
# Context (no constraints on parameters)
1 8 # 1 lines, 8 columns
0 0 0 0 0 0 0 0
0 # Automatically find parameter names
# ---------- STATEMENTS ----------
125 # Number of statements
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -1
1 -1 0 0 1 0 0 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 1 0 0 0 0 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -1
1 -1 0 0 1 0 0 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 1 0 0 0 0 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -1
1 -1 0 0 1 0 0 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 1 0 0 0 0 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -1
1 -1 0 1 0 0 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
4 8
1 0 0 -1 0 0 0 1
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
3 8
1 1 0 0 0 0 0 -1
1 -1 0 0 0 0 0 1
1 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
9 11
1 1 0 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1 0
1 0 0 0 1 0 0 0 0 0 -1
1 0 0 0 -1 0 0 0 0 0 1
1 0 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
9 11
1 1 0 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1 0
1 0 0 0 1 0 0 0 0 0 -1
1 0 0 0 -1 0 0 0 0 0 1
1 0 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
9 11
1 1 0 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1 0
1 0 0 0 1 0 0 0 0 0 -1
1 0 0 0 -1 0 0 0 0 0 1
1 0 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
9 11
1 1 0 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1 0
1 0 0 0 1 0 0 0 0 0 -1
1 0 0 0 -1 0 0 0 0 0 1
1 0 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
9 11
1 1 0 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1 0
1 0 0 0 1 0 0 0 0 0 -1
1 0 0 0 -1 0 0 0 0 0 1
1 0 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
9 11
1 1 0 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1 0
1 0 0 0 1 0 0 0 0 0 -1
1 0 0 0 -1 0 0 0 0 0 1
1 0 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
9 11
1 1 0 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1 0
1 0 0 0 1 0 0 0 0 0 -1
1 0 0 0 -1 0 0 0 0 0 1
1 0 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
9 11
1 1 0 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 0 -1
1 0 -1 0 0 1 0 0 0 0 0
1 0 0 1 0 0 0 0 0 0 -1
1 0 0 -1 0 1 0 0 0 0 0
1 0 0 0 1 0 0 0 0 0 -1
1 0 0 0 -1 0 0 0 0 0 1
1 0 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
9 11
1 1 0 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 0 -1
1 0 -1 0 0 1 0 0 0 0 0
1 0 0 1 0 0 0 0 0 0 -1
1 0 0 -1 0 1 0 0 0 0 0
1 0 0 0 1 0 0 0 0 0 -1
1 0 0 0 -1 0 0 0 0 0 1
1 0 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
9 11
1 1 0 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 0 -1
1 0 -1 0 0 1 0 0 0 0 0
1 0 0 1 0 0 0 0 0 0 -1
1 0 0 -1 0 1 0 0 0 0 0
1 0 0 0 1 0 0 0 0 0 -1
1 0 0 0 -1 0 0 0 0 0 1
1 0 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 1 0 0 0 0 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
9 11
1 1 0 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1 0
1 0 0 0 1 0 0 0 0 0 -1
1 0 0 0 -1 0 0 0 0 0 1
1 0 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
9 11
1 1 0 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1 0
1 0 0 0 1 0 0 0 0 0 -1
1 0 0 0 -1 0 0 0 0 0 1
1 0 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
9 11
1 1 0 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1 0
1 0 0 0 1 0 0 0 0 0 -1
1 0 0 0 -1 0 0 0 0 0 1
1 0 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
9 11
1 1 0 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1 0
1 0 0 0 1 0 0 0 0 0 -1
1 0 0 0 -1 0 0 0 0 0 1
1 0 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
9 11
1 1 0 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1 0
1 0 0 0 1 0 0 0 0 0 -1
1 0 0 0 -1 0 0 0 0 0 1
1 0 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
9 11
1 1 0 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1 0
1 0 0 0 1 0 0 0 0 0 -1
1 0 0 0 -1 0 0 0 0 0 1
1 0 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
7 10
1 1 0 0 0 0 0 0 0 -2
1 -1 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1 0
1 0 0 1 0 0 0 0 0 -1
1 0 0 -1 0 0 0 0 0 1
1 0 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
1 # Statement has 1 domain
5 9
1 1 0 0 0 0 0 0 -2
1 -1 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 -1
1 0 -1 0 0 0 0 0 1
1 0 -1 0 0 0 0 0 1
0 0 0
0 # Automatically find iterator names.
# ---------- SCATTERING FUNCTIONS ----------
125 # Number of scattering functions
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -2 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -3 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -4 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -5 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -6 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -7 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -8 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -9 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -10 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -11 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -12 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -13 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -14 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -15 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -16 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -17 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -18 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -19 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -20 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -21 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -22 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -23 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -24 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -25 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -26 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 17
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -27 # Beta 0
0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 3
7 17
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -27 # Beta 0
0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 3
7 17
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -27 # Beta 0
0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -2 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 3
7 16
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -27 # Beta 0
0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -1 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -28 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -29 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -30 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -31 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -32 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 15
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -33 # Beta 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
7 16
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -34 # Beta 0
0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Beta 3
7 16
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -34 # Beta 0
0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -1 # Beta 1
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Beta 3
7 18
# p0 p1 p2 p3 p4 p5 p6
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -34 # Beta 0
0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 # Beta 1
0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 # Beta 2
0 0 0 0 0 0 1 0 0 0 -1 0 0 0 0 0 0 0 # Alpha & Gamma 3
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0