| 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 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 -1 # 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 -2 # 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 -3 # 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 -34 # 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 -3 # 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 -34 # 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 -3 # 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 -34 # 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 -3 # 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 17 |
| # p0 p1 p2 p3 p4 p5 p6 |
| 0 1 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 # Alpha & Gamma 1 |
| 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -3 # 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 -3 # 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 -34 # 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 -4 # 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 -34 # 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 -4 # 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 -34 # 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 -4 # 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 17 |
| # p0 p1 p2 p3 p4 p5 p6 |
| 0 1 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 # Alpha & Gamma 1 |
| 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -4 # 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 -3 # 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 -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 -5 # 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 -6 # 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 -7 # 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 -8 # 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 -9 # 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 -10 # 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 -11 # 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 -12 # 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 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 -12 # 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 -1 # 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 -12 # 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 -2 # 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 -34 # 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 -13 # 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 -34 # 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 -13 # 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 -34 # 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 -13 # 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 17 |
| # p0 p1 p2 p3 p4 p5 p6 |
| 0 1 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 # Alpha & Gamma 1 |
| 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -14 # 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 -34 # 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 -14 # 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 -34 # 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 -14 # 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 -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 -15 # 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 -16 # 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 -17 # 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 -18 # 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 -19 # 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 -20 # 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 -21 # 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 -22 # 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 -23 # 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 -24 # 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 -25 # 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 -26 # 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 -27 # 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 -28 # 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 -29 # 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 -30 # 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 -31 # 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 -32 # 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 -33 # 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 -34 # 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 -35 # 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 -36 # 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 -37 # 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 -38 # 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 -39 # 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 -40 # 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 -41 # 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 -42 # 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 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 -42 # 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 -1 # 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 -42 # 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 -2 # 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 -34 # 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 -42 # 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 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 -43 # 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 -44 # 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 -45 # 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 -46 # 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 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 -46 # 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 -1 # 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 -46 # 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 -2 # 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 -46 # 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 -3 # 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 -46 # 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 -4 # 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 -46 # 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 -5 # 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 -34 # 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 -47 # 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 -34 # 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 -47 # 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 -34 # 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 -47 # 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 17 |
| # p0 p1 p2 p3 p4 p5 p6 |
| 0 1 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 # Alpha & Gamma 1 |
| 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -47 # 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 -3 # 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 -34 # 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 -47 # 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 -4 # 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 -34 # 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 -47 # 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 -5 # 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 -34 # 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 -48 # 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 -34 # 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 -48 # 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 -34 # 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 -48 # 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 17 |
| # p0 p1 p2 p3 p4 p5 p6 |
| 0 1 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 # Alpha & Gamma 1 |
| 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -48 # 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 -3 # 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 -34 # 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 -48 # 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 -4 # 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 -34 # 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 -48 # 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 -5 # 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 -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 -49 # 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 -50 # 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 -51 # 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 -52 # 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 -53 # 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 -54 # 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 |
| |
| 1 # Set the scattering parameter names. |
| p0 p1 p2 p3 p4 p5 p6 |
| |
