# Minion Version 0.8.1
# Svn version: 2537
# Svn last changed date: 2009-04-15 22:05:43 +0100 (Wed, 15 Apr 2009)
# Run at: UTC Thu Apr 16 16:24:17 2009
# http://minion.sourceforge.net
# Minion is still very new and in active development.
# If you have problems with Minion or find any bugs, please tell us!
# Mailing list at: https://mail.cs.st-andrews.ac.uk/mailman/listinfo/mug
# Input filename: benchmarks/graceful/k4p2_table.minion
# Command line: ./build/minion -redump benchmarks/graceful/k4p2_table.minion
MINION 3
**VARIABLES**
DISCRETE x0{0..16}
DISCRETE x1{0..16}
DISCRETE x2{0..16}
DISCRETE x3{0..16}
DISCRETE x4{0..16}
DISCRETE x5{0..16}
DISCRETE x6{0..16}
DISCRETE x7{0..16}
DISCRETE x8{0..16}
DISCRETE x9{0..16}
DISCRETE x10{0..16}
DISCRETE x11{0..16}
DISCRETE x12{0..16}
DISCRETE x13{0..16}
DISCRETE x14{0..16}
DISCRETE x15{0..16}
DISCRETE x16{0..16}
DISCRETE x17{0..16}
DISCRETE x18{0..16}
DISCRETE x19{0..16}
DISCRETE x20{0..16}
DISCRETE x21{0..16}
DISCRETE x22{0..16}
DISCRETE x23{0..16}
**SEARCH**
VARORDER [x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23]
VALORDER [a,a,a,a,a,a,a,a,a,a,a,a,a,a,a,a,a,a,a,a,a,a,a,a]
SYMORDER [x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23]
PRINT[[x0,x1,x2,x3],[x4,x5,x6,x7]]
**TUPLELIST**
_Unnamed__0_ 272 3
0 1 1
0 2 2
0 3 3
0 4 4
0 5 5
0 6 6
0 7 7
0 8 8
0 9 9
0 10 10
0 11 11
0 12 12
0 13 13
0 14 14
0 15 15
0 16 16
1 0 1
1 2 1
1 3 2
1 4 3
1 5 4
1 6 5
1 7 6
1 8 7
1 9 8
1 10 9
1 11 10
1 12 11
1 13 12
1 14 13
1 15 14
1 16 15
2 0 2
2 1 1
2 3 1
2 4 2
2 5 3
2 6 4
2 7 5
2 8 6
2 9 7
2 10 8
2 11 9
2 12 10
2 13 11
2 14 12
2 15 13
2 16 14
3 0 3
3 1 2
3 2 1
3 4 1
3 5 2
3 6 3
3 7 4
3 8 5
3 9 6
3 10 7
3 11 8
3 12 9
3 13 10
3 14 11
3 15 12
3 16 13
4 0 4
4 1 3
4 2 2
4 3 1
4 5 1
4 6 2
4 7 3
4 8 4
4 9 5
4 10 6
4 11 7
4 12 8
4 13 9
4 14 10
4 15 11
4 16 12
5 0 5
5 1 4
5 2 3
5 3 2
5 4 1
5 6 1
5 7 2
5 8 3
5 9 4
5 10 5
5 11 6
5 12 7
5 13 8
5 14 9
5 15 10
5 16 11
6 0 6
6 1 5
6 2 4
6 3 3
6 4 2
6 5 1
6 7 1
6 8 2
6 9 3
6 10 4
6 11 5
6 12 6
6 13 7
6 14 8
6 15 9
6 16 10
7 0 7
7 1 6
7 2 5
7 3 4
7 4 3
7 5 2
7 6 1
7 8 1
7 9 2
7 10 3
7 11 4
7 12 5
7 13 6
7 14 7
7 15 8
7 16 9
8 0 8
8 1 7
8 2 6
8 3 5
8 4 4
8 5 3
8 6 2
8 7 1
8 9 1
8 10 2
8 11 3
8 12 4
8 13 5
8 14 6
8 15 7
8 16 8
9 0 9
9 1 8
9 2 7
9 3 6
9 4 5
9 5 4
9 6 3
9 7 2
9 8 1
9 10 1
9 11 2
9 12 3
9 13 4
9 14 5
9 15 6
9 16 7
10 0 10
10 1 9
10 2 8
10 3 7
10 4 6
10 5 5
10 6 4
10 7 3
10 8 2
10 9 1
10 11 1
10 12 2
10 13 3
10 14 4
10 15 5
10 16 6
11 0 11
11 1 10
11 2 9
11 3 8
11 4 7
11 5 6
11 6 5
11 7 4
11 8 3
11 9 2
11 10 1
11 12 1
11 13 2
11 14 3
11 15 4
11 16 5
12 0 12
12 1 11
12 2 10
12 3 9
12 4 8
12 5 7
12 6 6
12 7 5
12 8 4
12 9 3
12 10 2
12 11 1
12 13 1
12 14 2
12 15 3
12 16 4
13 0 13
13 1 12
13 2 11
13 3 10
13 4 9
13 5 8
13 6 7
13 7 6
13 8 5
13 9 4
13 10 3
13 11 2
13 12 1
13 14 1
13 15 2
13 16 3
14 0 14
14 1 13
14 2 12
14 3 11
14 4 10
14 5 9
14 6 8
14 7 7
14 8 6
14 9 5
14 10 4
14 11 3
14 12 2
14 13 1
14 15 1
14 16 2
15 0 15
15 1 14
15 2 13
15 3 12
15 4 11
15 5 10
15 6 9
15 7 8
15 8 7
15 9 6
15 10 5
15 11 4
15 12 3
15 13 2
15 14 1
15 16 1
16 0 16
16 1 15
16 2 14
16 3 13
16 4 12
16 5 11
16 6 10
16 7 9
16 8 8
16 9 7
16 10 6
16 11 5
16 12 4
16 13 3
16 14 2
16 15 1
_Unnamed__10_ 272 3
0 1 1
0 2 2
0 3 3
0 4 4
0 5 5
0 6 6
0 7 7
0 8 8
0 9 9
0 10 10
0 11 11
0 12 12
0 13 13
0 14 14
0 15 15
0 16 16
1 0 1
1 2 1
1 3 2
1 4 3
1 5 4
1 6 5
1 7 6
1 8 7
1 9 8
1 10 9
1 11 10
1 12 11
1 13 12
1 14 13
1 15 14
1 16 15
2 0 2
2 1 1
2 3 1
2 4 2
2 5 3
2 6 4
2 7 5
2 8 6
2 9 7
2 10 8
2 11 9
2 12 10
2 13 11
2 14 12
2 15 13
2 16 14
3 0 3
3 1 2
3 2 1
3 4 1
3 5 2
3 6 3
3 7 4
3 8 5
3 9 6
3 10 7
3 11 8
3 12 9
3 13 10
3 14 11
3 15 12
3 16 13
4 0 4
4 1 3
4 2 2
4 3 1
4 5 1
4 6 2
4 7 3
4 8 4
4 9 5
4 10 6
4 11 7
4 12 8
4 13 9
4 14 10
4 15 11
4 16 12
5 0 5
5 1 4
5 2 3
5 3 2
5 4 1
5 6 1
5 7 2
5 8 3
5 9 4
5 10 5
5 11 6
5 12 7
5 13 8
5 14 9
5 15 10
5 16 11
6 0 6
6 1 5
6 2 4
6 3 3
6 4 2
6 5 1
6 7 1
6 8 2
6 9 3
6 10 4
6 11 5
6 12 6
6 13 7
6 14 8
6 15 9
6 16 10
7 0 7
7 1 6
7 2 5
7 3 4
7 4 3
7 5 2
7 6 1
7 8 1
7 9 2
7 10 3
7 11 4
7 12 5
7 13 6
7 14 7
7 15 8
7 16 9
8 0 8
8 1 7
8 2 6
8 3 5
8 4 4
8 5 3
8 6 2
8 7 1
8 9 1
8 10 2
8 11 3
8 12 4
8 13 5
8 14 6
8 15 7
8 16 8
9 0 9
9 1 8
9 2 7
9 3 6
9 4 5
9 5 4
9 6 3
9 7 2
9 8 1
9 10 1
9 11 2
9 12 3
9 13 4
9 14 5
9 15 6
9 16 7
10 0 10
10 1 9
10 2 8
10 3 7
10 4 6
10 5 5
10 6 4
10 7 3
10 8 2
10 9 1
10 11 1
10 12 2
10 13 3
10 14 4
10 15 5
10 16 6
11 0 11
11 1 10
11 2 9
11 3 8
11 4 7
11 5 6
11 6 5
11 7 4
11 8 3
11 9 2
11 10 1
11 12 1
11 13 2
11 14 3
11 15 4
11 16 5
12 0 12
12 1 11
12 2 10
12 3 9
12 4 8
12 5 7
12 6 6
12 7 5
12 8 4
12 9 3
12 10 2
12 11 1
12 13 1
12 14 2
12 15 3
12 16 4
13 0 13
13 1 12
13 2 11
13 3 10
13 4 9
13 5 8
13 6 7
13 7 6
13 8 5
13 9 4
13 10 3
13 11 2
13 12 1
13 14 1
13 15 2
13 16 3
14 0 14
14 1 13
14 2 12
14 3 11
14 4 10
14 5 9
14 6 8
14 7 7
14 8 6
14 9 5
14 10 4
14 11 3
14 12 2
14 13 1
14 15 1
14 16 2
15 0 15
15 1 14
15 2 13
15 3 12
15 4 11
15 5 10
15 6 9
15 7 8
15 8 7
15 9 6
15 10 5
15 11 4
15 12 3
15 13 2
15 14 1
15 16 1
16 0 16
16 1 15
16 2 14
16 3 13
16 4 12
16 5 11
16 6 10
16 7 9
16 8 8
16 9 7
16 10 6
16 11 5
16 12 4
16 13 3
16 14 2
16 15 1
_Unnamed__11_ 272 3
0 1 1
0 2 2
0 3 3
0 4 4
0 5 5
0 6 6
0 7 7
0 8 8
0 9 9
0 10 10
0 11 11
0 12 12
0 13 13
0 14 14
0 15 15
0 16 16
1 0 1
1 2 1
1 3 2
1 4 3
1 5 4
1 6 5
1 7 6
1 8 7
1 9 8
1 10 9
1 11 10
1 12 11
1 13 12
1 14 13
1 15 14
1 16 15
2 0 2
2 1 1
2 3 1
2 4 2
2 5 3
2 6 4
2 7 5
2 8 6
2 9 7
2 10 8
2 11 9
2 12 10
2 13 11
2 14 12
2 15 13
2 16 14
3 0 3
3 1 2
3 2 1
3 4 1
3 5 2
3 6 3
3 7 4
3 8 5
3 9 6
3 10 7
3 11 8
3 12 9
3 13 10
3 14 11
3 15 12
3 16 13
4 0 4
4 1 3
4 2 2
4 3 1
4 5 1
4 6 2
4 7 3
4 8 4
4 9 5
4 10 6
4 11 7
4 12 8
4 13 9
4 14 10
4 15 11
4 16 12
5 0 5
5 1 4
5 2 3
5 3 2
5 4 1
5 6 1
5 7 2
5 8 3
5 9 4
5 10 5
5 11 6
5 12 7
5 13 8
5 14 9
5 15 10
5 16 11
6 0 6
6 1 5
6 2 4
6 3 3
6 4 2
6 5 1
6 7 1
6 8 2
6 9 3
6 10 4
6 11 5
6 12 6
6 13 7
6 14 8
6 15 9
6 16 10
7 0 7
7 1 6
7 2 5
7 3 4
7 4 3
7 5 2
7 6 1
7 8 1
7 9 2
7 10 3
7 11 4
7 12 5
7 13 6
7 14 7
7 15 8
7 16 9
8 0 8
8 1 7
8 2 6
8 3 5
8 4 4
8 5 3
8 6 2
8 7 1
8 9 1
8 10 2
8 11 3
8 12 4
8 13 5
8 14 6
8 15 7
8 16 8
9 0 9
9 1 8
9 2 7
9 3 6
9 4 5
9 5 4
9 6 3
9 7 2
9 8 1
9 10 1
9 11 2
9 12 3
9 13 4
9 14 5
9 15 6
9 16 7
10 0 10
10 1 9
10 2 8
10 3 7
10 4 6
10 5 5
10 6 4
10 7 3
10 8 2
10 9 1
10 11 1
10 12 2
10 13 3
10 14 4
10 15 5
10 16 6
11 0 11
11 1 10
11 2 9
11 3 8
11 4 7
11 5 6
11 6 5
11 7 4
11 8 3
11 9 2
11 10 1
11 12 1
11 13 2
11 14 3
11 15 4
11 16 5
12 0 12
12 1 11
12 2 10
12 3 9
12 4 8
12 5 7
12 6 6
12 7 5
12 8 4
12 9 3
12 10 2
12 11 1
12 13 1
12 14 2
12 15 3
12 16 4
13 0 13
13 1 12
13 2 11
13 3 10
13 4 9
13 5 8
13 6 7
13 7 6
13 8 5
13 9 4
13 10 3
13 11 2
13 12 1
13 14 1
13 15 2
13 16 3
14 0 14
14 1 13
14 2 12
14 3 11
14 4 10
14 5 9
14 6 8
14 7 7
14 8 6
14 9 5
14 10 4
14 11 3
14 12 2
14 13 1
14 15 1
14 16 2
15 0 15
15 1 14
15 2 13
15 3 12
15 4 11
15 5 10
15 6 9
15 7 8
15 8 7
15 9 6
15 10 5
15 11 4
15 12 3
15 13 2
15 14 1
15 16 1
16 0 16
16 1 15
16 2 14
16 3 13
16 4 12
16 5 11
16 6 10
16 7 9
16 8 8
16 9 7
16 10 6
16 11 5
16 12 4
16 13 3
16 14 2
16 15 1
_Unnamed__12_ 272 3
0 1 1
0 2 2
0 3 3
0 4 4
0 5 5
0 6 6
0 7 7
0 8 8
0 9 9
0 10 10
0 11 11
0 12 12
0 13 13
0 14 14
0 15 15
0 16 16
1 0 1
1 2 1
1 3 2
1 4 3
1 5 4
1 6 5
1 7 6
1 8 7
1 9 8
1 10 9
1 11 10
1 12 11
1 13 12
1 14 13
1 15 14
1 16 15
2 0 2
2 1 1
2 3 1
2 4 2
2 5 3
2 6 4
2 7 5
2 8 6
2 9 7
2 10 8
2 11 9
2 12 10
2 13 11
2 14 12
2 15 13
2 16 14
3 0 3
3 1 2
3 2 1
3 4 1
3 5 2
3 6 3
3 7 4
3 8 5
3 9 6
3 10 7
3 11 8
3 12 9
3 13 10
3 14 11
3 15 12
3 16 13
4 0 4
4 1 3
4 2 2
4 3 1
4 5 1
4 6 2
4 7 3
4 8 4
4 9 5
4 10 6
4 11 7
4 12 8
4 13 9
4 14 10
4 15 11
4 16 12
5 0 5
5 1 4
5 2 3
5 3 2
5 4 1
5 6 1
5 7 2
5 8 3
5 9 4
5 10 5
5 11 6
5 12 7
5 13 8
5 14 9
5 15 10
5 16 11
6 0 6
6 1 5
6 2 4
6 3 3
6 4 2
6 5 1
6 7 1
6 8 2
6 9 3
6 10 4
6 11 5
6 12 6
6 13 7
6 14 8
6 15 9
6 16 10
7 0 7
7 1 6
7 2 5
7 3 4
7 4 3
7 5 2
7 6 1
7 8 1
7 9 2
7 10 3
7 11 4
7 12 5
7 13 6
7 14 7
7 15 8
7 16 9
8 0 8
8 1 7
8 2 6
8 3 5
8 4 4
8 5 3
8 6 2
8 7 1
8 9 1
8 10 2
8 11 3
8 12 4
8 13 5
8 14 6
8 15 7
8 16 8
9 0 9
9 1 8
9 2 7
9 3 6
9 4 5
9 5 4
9 6 3
9 7 2
9 8 1
9 10 1
9 11 2
9 12 3
9 13 4
9 14 5
9 15 6
9 16 7
10 0 10
10 1 9
10 2 8
10 3 7
10 4 6
10 5 5
10 6 4
10 7 3
10 8 2
10 9 1
10 11 1
10 12 2
10 13 3
10 14 4
10 15 5
10 16 6
11 0 11
11 1 10
11 2 9
11 3 8
11 4 7
11 5 6
11 6 5
11 7 4
11 8 3
11 9 2
11 10 1
11 12 1
11 13 2
11 14 3
11 15 4
11 16 5
12 0 12
12 1 11
12 2 10
12 3 9
12 4 8
12 5 7
12 6 6
12 7 5
12 8 4
12 9 3
12 10 2
12 11 1
12 13 1
12 14 2
12 15 3
12 16 4
13 0 13
13 1 12
13 2 11
13 3 10
13 4 9
13 5 8
13 6 7
13 7 6
13 8 5
13 9 4
13 10 3
13 11 2
13 12 1
13 14 1
13 15 2
13 16 3
14 0 14
14 1 13
14 2 12
14 3 11
14 4 10
14 5 9
14 6 8
14 7 7
14 8 6
14 9 5
14 10 4
14 11 3
14 12 2
14 13 1
14 15 1
14 16 2
15 0 15
15 1 14
15 2 13
15 3 12
15 4 11
15 5 10
15 6 9
15 7 8
15 8 7
15 9 6
15 10 5
15 11 4
15 12 3
15 13 2
15 14 1
15 16 1
16 0 16
16 1 15
16 2 14
16 3 13
16 4 12
16 5 11
16 6 10
16 7 9
16 8 8
16 9 7
16 10 6
16 11 5
16 12 4
16 13 3
16 14 2
16 15 1
_Unnamed__13_ 272 3
0 1 1
0 2 2
0 3 3
0 4 4
0 5 5
0 6 6
0 7 7
0 8 8
0 9 9
0 10 10
0 11 11
0 12 12
0 13 13
0 14 14
0 15 15
0 16 16
1 0 1
1 2 1
1 3 2
1 4 3
1 5 4
1 6 5
1 7 6
1 8 7
1 9 8
1 10 9
1 11 10
1 12 11
1 13 12
1 14 13
1 15 14
1 16 15
2 0 2
2 1 1
2 3 1
2 4 2
2 5 3
2 6 4
2 7 5
2 8 6
2 9 7
2 10 8
2 11 9
2 12 10
2 13 11
2 14 12
2 15 13
2 16 14
3 0 3
3 1 2
3 2 1
3 4 1
3 5 2
3 6 3
3 7 4
3 8 5
3 9 6
3 10 7
3 11 8
3 12 9
3 13 10
3 14 11
3 15 12
3 16 13
4 0 4
4 1 3
4 2 2
4 3 1
4 5 1
4 6 2
4 7 3
4 8 4
4 9 5
4 10 6
4 11 7
4 12 8
4 13 9
4 14 10
4 15 11
4 16 12
5 0 5
5 1 4
5 2 3
5 3 2
5 4 1
5 6 1
5 7 2
5 8 3
5 9 4
5 10 5
5 11 6
5 12 7
5 13 8
5 14 9
5 15 10
5 16 11
6 0 6
6 1 5
6 2 4
6 3 3
6 4 2
6 5 1
6 7 1
6 8 2
6 9 3
6 10 4
6 11 5
6 12 6
6 13 7
6 14 8
6 15 9
6 16 10
7 0 7
7 1 6
7 2 5
7 3 4
7 4 3
7 5 2
7 6 1
7 8 1
7 9 2
7 10 3
7 11 4
7 12 5
7 13 6
7 14 7
7 15 8
7 16 9
8 0 8
8 1 7
8 2 6
8 3 5
8 4 4
8 5 3
8 6 2
8 7 1
8 9 1
8 10 2
8 11 3
8 12 4
8 13 5
8 14 6
8 15 7
8 16 8
9 0 9
9 1 8
9 2 7
9 3 6
9 4 5
9 5 4
9 6 3
9 7 2
9 8 1
9 10 1
9 11 2
9 12 3
9 13 4
9 14 5
9 15 6
9 16 7
10 0 10
10 1 9
10 2 8
10 3 7
10 4 6
10 5 5
10 6 4
10 7 3
10 8 2
10 9 1
10 11 1
10 12 2
10 13 3
10 14 4
10 15 5
10 16 6
11 0 11
11 1 10
11 2 9
11 3 8
11 4 7
11 5 6
11 6 5
11 7 4
11 8 3
11 9 2
11 10 1
11 12 1
11 13 2
11 14 3
11 15 4
11 16 5
12 0 12
12 1 11
12 2 10
12 3 9
12 4 8
12 5 7
12 6 6
12 7 5
12 8 4
12 9 3
12 10 2
12 11 1
12 13 1
12 14 2
12 15 3
12 16 4
13 0 13
13 1 12
13 2 11
13 3 10
13 4 9
13 5 8
13 6 7
13 7 6
13 8 5
13 9 4
13 10 3
13 11 2
13 12 1
13 14 1
13 15 2
13 16 3
14 0 14
14 1 13
14 2 12
14 3 11
14 4 10
14 5 9
14 6 8
14 7 7
14 8 6
14 9 5
14 10 4
14 11 3
14 12 2
14 13 1
14 15 1
14 16 2
15 0 15
15 1 14
15 2 13
15 3 12
15 4 11
15 5 10
15 6 9
15 7 8
15 8 7
15 9 6
15 10 5
15 11 4
15 12 3
15 13 2
15 14 1
15 16 1
16 0 16
16 1 15
16 2 14
16 3 13
16 4 12
16 5 11
16 6 10
16 7 9
16 8 8
16 9 7
16 10 6
16 11 5
16 12 4
16 13 3
16 14 2
16 15 1
_Unnamed__14_ 272 3
0 1 1
0 2 2
0 3 3
0 4 4
0 5 5
0 6 6
0 7 7
0 8 8
0 9 9
0 10 10
0 11 11
0 12 12
0 13 13
0 14 14
0 15 15
0 16 16
1 0 1
1 2 1
1 3 2
1 4 3
1 5 4
1 6 5
1 7 6
1 8 7
1 9 8
1 10 9
1 11 10
1 12 11
1 13 12
1 14 13
1 15 14
1 16 15
2 0 2
2 1 1
2 3 1
2 4 2
2 5 3
2 6 4
2 7 5
2 8 6
2 9 7
2 10 8
2 11 9
2 12 10
2 13 11
2 14 12
2 15 13
2 16 14
3 0 3
3 1 2
3 2 1
3 4 1
3 5 2
3 6 3
3 7 4
3 8 5
3 9 6
3 10 7
3 11 8
3 12 9
3 13 10
3 14 11
3 15 12
3 16 13
4 0 4
4 1 3
4 2 2
4 3 1
4 5 1
4 6 2
4 7 3
4 8 4
4 9 5
4 10 6
4 11 7
4 12 8
4 13 9
4 14 10
4 15 11
4 16 12
5 0 5
5 1 4
5 2 3
5 3 2
5 4 1
5 6 1
5 7 2
5 8 3
5 9 4
5 10 5
5 11 6
5 12 7
5 13 8
5 14 9
5 15 10
5 16 11
6 0 6
6 1 5
6 2 4
6 3 3
6 4 2
6 5 1
6 7 1
6 8 2
6 9 3
6 10 4
6 11 5
6 12 6
6 13 7
6 14 8
6 15 9
6 16 10
7 0 7
7 1 6
7 2 5
7 3 4
7 4 3
7 5 2
7 6 1
7 8 1
7 9 2
7 10 3
7 11 4
7 12 5
7 13 6
7 14 7
7 15 8
7 16 9
8 0 8
8 1 7
8 2 6
8 3 5
8 4 4
8 5 3
8 6 2
8 7 1
8 9 1
8 10 2
8 11 3
8 12 4
8 13 5
8 14 6
8 15 7
8 16 8
9 0 9
9 1 8
9 2 7
9 3 6
9 4 5
9 5 4
9 6 3
9 7 2
9 8 1
9 10 1
9 11 2
9 12 3
9 13 4
9 14 5
9 15 6
9 16 7
10 0 10
10 1 9
10 2 8
10 3 7
10 4 6
10 5 5
10 6 4
10 7 3
10 8 2
10 9 1
10 11 1
10 12 2
10 13 3
10 14 4
10 15 5
10 16 6
11 0 11
11 1 10
11 2 9
11 3 8
11 4 7
11 5 6
11 6 5
11 7 4
11 8 3
11 9 2
11 10 1
11 12 1
11 13 2
11 14 3
11 15 4
11 16 5
12 0 12
12 1 11
12 2 10
12 3 9
12 4 8
12 5 7
12 6 6
12 7 5
12 8 4
12 9 3
12 10 2
12 11 1
12 13 1
12 14 2
12 15 3
12 16 4
13 0 13
13 1 12
13 2 11
13 3 10
13 4 9
13 5 8
13 6 7
13 7 6
13 8 5
13 9 4
13 10 3
13 11 2
13 12 1
13 14 1
13 15 2
13 16 3
14 0 14
14 1 13
14 2 12
14 3 11
14 4 10
14 5 9
14 6 8
14 7 7
14 8 6
14 9 5
14 10 4
14 11 3
14 12 2
14 13 1
14 15 1
14 16 2
15 0 15
15 1 14
15 2 13
15 3 12
15 4 11
15 5 10
15 6 9
15 7 8
15 8 7
15 9 6
15 10 5
15 11 4
15 12 3
15 13 2
15 14 1
15 16 1
16 0 16
16 1 15
16 2 14
16 3 13
16 4 12
16 5 11
16 6 10
16 7 9
16 8 8
16 9 7
16 10 6
16 11 5
16 12 4
16 13 3
16 14 2
16 15 1
_Unnamed__15_ 272 3
0 1 1
0 2 2
0 3 3
0 4 4
0 5 5
0 6 6
0 7 7
0 8 8
0 9 9
0 10 10
0 11 11
0 12 12
0 13 13
0 14 14
0 15 15
0 16 16
1 0 1
1 2 1
1 3 2
1 4 3
1 5 4
1 6 5
1 7 6
1 8 7
1 9 8
1 10 9
1 11 10
1 12 11
1 13 12
1 14 13
1 15 14
1 16 15
2 0 2
2 1 1
2 3 1
2 4 2
2 5 3
2 6 4
2 7 5
2 8 6
2 9 7
2 10 8
2 11 9
2 12 10
2 13 11
2 14 12
2 15 13
2 16 14
3 0 3
3 1 2
3 2 1
3 4 1
3 5 2
3 6 3
3 7 4
3 8 5
3 9 6
3 10 7
3 11 8
3 12 9
3 13 10
3 14 11
3 15 12
3 16 13
4 0 4
4 1 3
4 2 2
4 3 1
4 5 1
4 6 2
4 7 3
4 8 4
4 9 5
4 10 6
4 11 7
4 12 8
4 13 9
4 14 10
4 15 11
4 16 12
5 0 5
5 1 4
5 2 3
5 3 2
5 4 1
5 6 1
5 7 2
5 8 3
5 9 4
5 10 5
5 11 6
5 12 7
5 13 8
5 14 9
5 15 10
5 16 11
6 0 6
6 1 5
6 2 4
6 3 3
6 4 2
6 5 1
6 7 1
6 8 2
6 9 3
6 10 4
6 11 5
6 12 6
6 13 7
6 14 8
6 15 9
6 16 10
7 0 7
7 1 6
7 2 5
7 3 4
7 4 3
7 5 2
7 6 1
7 8 1
7 9 2
7 10 3
7 11 4
7 12 5
7 13 6
7 14 7
7 15 8
7 16 9
8 0 8
8 1 7
8 2 6
8 3 5
8 4 4
8 5 3
8 6 2
8 7 1
8 9 1
8 10 2
8 11 3
8 12 4
8 13 5
8 14 6
8 15 7
8 16 8
9 0 9
9 1 8
9 2 7
9 3 6
9 4 5
9 5 4
9 6 3
9 7 2
9 8 1
9 10 1
9 11 2
9 12 3
9 13 4
9 14 5
9 15 6
9 16 7
10 0 10
10 1 9
10 2 8
10 3 7
10 4 6
10 5 5
10 6 4
10 7 3
10 8 2
10 9 1
10 11 1
10 12 2
10 13 3
10 14 4
10 15 5
10 16 6
11 0 11
11 1 10
11 2 9
11 3 8
11 4 7
11 5 6
11 6 5
11 7 4
11 8 3
11 9 2
11 10 1
11 12 1
11 13 2
11 14 3
11 15 4
11 16 5
12 0 12
12 1 11
12 2 10
12 3 9
12 4 8
12 5 7
12 6 6
12 7 5
12 8 4
12 9 3
12 10 2
12 11 1
12 13 1
12 14 2
12 15 3
12 16 4
13 0 13
13 1 12
13 2 11
13 3 10
13 4 9
13 5 8
13 6 7
13 7 6
13 8 5
13 9 4
13 10 3
13 11 2
13 12 1
13 14 1
13 15 2
13 16 3
14 0 14
14 1 13
14 2 12
14 3 11
14 4 10
14 5 9
14 6 8
14 7 7
14 8 6
14 9 5
14 10 4
14 11 3
14 12 2
14 13 1
14 15 1
14 16 2
15 0 15
15 1 14
15 2 13
15 3 12
15 4 11
15 5 10
15 6 9
15 7 8
15 8 7
15 9 6
15 10 5
15 11 4
15 12 3
15 13 2
15 14 1
15 16 1
16 0 16
16 1 15
16 2 14
16 3 13
16 4 12
16 5 11
16 6 10
16 7 9
16 8 8
16 9 7
16 10 6
16 11 5
16 12 4
16 13 3
16 14 2
16 15 1
_Unnamed__1_ 272 3
0 1 1
0 2 2
0 3 3
0 4 4
0 5 5
0 6 6
0 7 7
0 8 8
0 9 9
0 10 10
0 11 11
0 12 12
0 13 13
0 14 14
0 15 15
0 16 16
1 0 1
1 2 1
1 3 2
1 4 3
1 5 4
1 6 5
1 7 6
1 8 7
1 9 8
1 10 9
1 11 10
1 12 11
1 13 12
1 14 13
1 15 14
1 16 15
2 0 2
2 1 1
2 3 1
2 4 2
2 5 3
2 6 4
2 7 5
2 8 6
2 9 7
2 10 8
2 11 9
2 12 10
2 13 11
2 14 12
2 15 13
2 16 14
3 0 3
3 1 2
3 2 1
3 4 1
3 5 2
3 6 3
3 7 4
3 8 5
3 9 6
3 10 7
3 11 8
3 12 9
3 13 10
3 14 11
3 15 12
3 16 13
4 0 4
4 1 3
4 2 2
4 3 1
4 5 1
4 6 2
4 7 3
4 8 4
4 9 5
4 10 6
4 11 7
4 12 8
4 13 9
4 14 10
4 15 11
4 16 12
5 0 5
5 1 4
5 2 3
5 3 2
5 4 1
5 6 1
5 7 2
5 8 3
5 9 4
5 10 5
5 11 6
5 12 7
5 13 8
5 14 9
5 15 10
5 16 11
6 0 6
6 1 5
6 2 4
6 3 3
6 4 2
6 5 1
6 7 1
6 8 2
6 9 3
6 10 4
6 11 5
6 12 6
6 13 7
6 14 8
6 15 9
6 16 10
7 0 7
7 1 6
7 2 5
7 3 4
7 4 3
7 5 2
7 6 1
7 8 1
7 9 2
7 10 3
7 11 4
7 12 5
7 13 6
7 14 7
7 15 8
7 16 9
8 0 8
8 1 7
8 2 6
8 3 5
8 4 4
8 5 3
8 6 2
8 7 1
8 9 1
8 10 2
8 11 3
8 12 4
8 13 5
8 14 6
8 15 7
8 16 8
9 0 9
9 1 8
9 2 7
9 3 6
9 4 5
9 5 4
9 6 3
9 7 2
9 8 1
9 10 1
9 11 2
9 12 3
9 13 4
9 14 5
9 15 6
9 16 7
10 0 10
10 1 9
10 2 8
10 3 7
10 4 6
10 5 5
10 6 4
10 7 3
10 8 2
10 9 1
10 11 1
10 12 2
10 13 3
10 14 4
10 15 5
10 16 6
11 0 11
11 1 10
11 2 9
11 3 8
11 4 7
11 5 6
11 6 5
11 7 4
11 8 3
11 9 2
11 10 1
11 12 1
11 13 2
11 14 3
11 15 4
11 16 5
12 0 12
12 1 11
12 2 10
12 3 9
12 4 8
12 5 7
12 6 6
12 7 5
12 8 4
12 9 3
12 10 2
12 11 1
12 13 1
12 14 2
12 15 3
12 16 4
13 0 13
13 1 12
13 2 11
13 3 10
13 4 9
13 5 8
13 6 7
13 7 6
13 8 5
13 9 4
13 10 3
13 11 2
13 12 1
13 14 1
13 15 2
13 16 3
14 0 14
14 1 13
14 2 12
14 3 11
14 4 10
14 5 9
14 6 8
14 7 7
14 8 6
14 9 5
14 10 4
14 11 3
14 12 2
14 13 1
14 15 1
14 16 2
15 0 15
15 1 14
15 2 13
15 3 12
15 4 11
15 5 10
15 6 9
15 7 8
15 8 7
15 9 6
15 10 5
15 11 4
15 12 3
15 13 2
15 14 1
15 16 1
16 0 16
16 1 15
16 2 14
16 3 13
16 4 12
16 5 11
16 6 10
16 7 9
16 8 8
16 9 7
16 10 6
16 11 5
16 12 4
16 13 3
16 14 2
16 15 1
_Unnamed__2_ 272 3
0 1 1
0 2 2
0 3 3
0 4 4
0 5 5
0 6 6
0 7 7
0 8 8
0 9 9
0 10 10
0 11 11
0 12 12
0 13 13
0 14 14
0 15 15
0 16 16
1 0 1
1 2 1
1 3 2
1 4 3
1 5 4
1 6 5
1 7 6
1 8 7
1 9 8
1 10 9
1 11 10
1 12 11
1 13 12
1 14 13
1 15 14
1 16 15
2 0 2
2 1 1
2 3 1
2 4 2
2 5 3
2 6 4
2 7 5
2 8 6
2 9 7
2 10 8
2 11 9
2 12 10
2 13 11
2 14 12
2 15 13
2 16 14
3 0 3
3 1 2
3 2 1
3 4 1
3 5 2
3 6 3
3 7 4
3 8 5
3 9 6
3 10 7
3 11 8
3 12 9
3 13 10
3 14 11
3 15 12
3 16 13
4 0 4
4 1 3
4 2 2
4 3 1
4 5 1
4 6 2
4 7 3
4 8 4
4 9 5
4 10 6
4 11 7
4 12 8
4 13 9
4 14 10
4 15 11
4 16 12
5 0 5
5 1 4
5 2 3
5 3 2
5 4 1
5 6 1
5 7 2
5 8 3
5 9 4
5 10 5
5 11 6
5 12 7
5 13 8
5 14 9
5 15 10
5 16 11
6 0 6
6 1 5
6 2 4
6 3 3
6 4 2
6 5 1
6 7 1
6 8 2
6 9 3
6 10 4
6 11 5
6 12 6
6 13 7
6 14 8
6 15 9
6 16 10
7 0 7
7 1 6
7 2 5
7 3 4
7 4 3
7 5 2
7 6 1
7 8 1
7 9 2
7 10 3
7 11 4
7 12 5
7 13 6
7 14 7
7 15 8
7 16 9
8 0 8
8 1 7
8 2 6
8 3 5
8 4 4
8 5 3
8 6 2
8 7 1
8 9 1
8 10 2
8 11 3
8 12 4
8 13 5
8 14 6
8 15 7
8 16 8
9 0 9
9 1 8
9 2 7
9 3 6
9 4 5
9 5 4
9 6 3
9 7 2
9 8 1
9 10 1
9 11 2
9 12 3
9 13 4
9 14 5
9 15 6
9 16 7
10 0 10
10 1 9
10 2 8
10 3 7
10 4 6
10 5 5
10 6 4
10 7 3
10 8 2
10 9 1
10 11 1
10 12 2
10 13 3
10 14 4
10 15 5
10 16 6
11 0 11
11 1 10
11 2 9
11 3 8
11 4 7
11 5 6
11 6 5
11 7 4
11 8 3
11 9 2
11 10 1
11 12 1
11 13 2
11 14 3
11 15 4
11 16 5
12 0 12
12 1 11
12 2 10
12 3 9
12 4 8
12 5 7
12 6 6
12 7 5
12 8 4
12 9 3
12 10 2
12 11 1
12 13 1
12 14 2
12 15 3
12 16 4
13 0 13
13 1 12
13 2 11
13 3 10
13 4 9
13 5 8
13 6 7
13 7 6
13 8 5
13 9 4
13 10 3
13 11 2
13 12 1
13 14 1
13 15 2
13 16 3
14 0 14
14 1 13
14 2 12
14 3 11
14 4 10
14 5 9
14 6 8
14 7 7
14 8 6
14 9 5
14 10 4
14 11 3
14 12 2
14 13 1
14 15 1
14 16 2
15 0 15
15 1 14
15 2 13
15 3 12
15 4 11
15 5 10
15 6 9
15 7 8
15 8 7
15 9 6
15 10 5
15 11 4
15 12 3
15 13 2
15 14 1
15 16 1
16 0 16
16 1 15
16 2 14
16 3 13
16 4 12
16 5 11
16 6 10
16 7 9
16 8 8
16 9 7
16 10 6
16 11 5
16 12 4
16 13 3
16 14 2
16 15 1
_Unnamed__3_ 272 3
0 1 1
0 2 2
0 3 3
0 4 4
0 5 5
0 6 6
0 7 7
0 8 8
0 9 9
0 10 10
0 11 11
0 12 12
0 13 13
0 14 14
0 15 15
0 16 16
1 0 1
1 2 1
1 3 2
1 4 3
1 5 4
1 6 5
1 7 6
1 8 7
1 9 8
1 10 9
1 11 10
1 12 11
1 13 12
1 14 13
1 15 14
1 16 15
2 0 2
2 1 1
2 3 1
2 4 2
2 5 3
2 6 4
2 7 5
2 8 6
2 9 7
2 10 8
2 11 9
2 12 10
2 13 11
2 14 12
2 15 13
2 16 14
3 0 3
3 1 2
3 2 1
3 4 1
3 5 2
3 6 3
3 7 4
3 8 5
3 9 6
3 10 7
3 11 8
3 12 9
3 13 10
3 14 11
3 15 12
3 16 13
4 0 4
4 1 3
4 2 2
4 3 1
4 5 1
4 6 2
4 7 3
4 8 4
4 9 5
4 10 6
4 11 7
4 12 8
4 13 9
4 14 10
4 15 11
4 16 12
5 0 5
5 1 4
5 2 3
5 3 2
5 4 1
5 6 1
5 7 2
5 8 3
5 9 4
5 10 5
5 11 6
5 12 7
5 13 8
5 14 9
5 15 10
5 16 11
6 0 6
6 1 5
6 2 4
6 3 3
6 4 2
6 5 1
6 7 1
6 8 2
6 9 3
6 10 4
6 11 5
6 12 6
6 13 7
6 14 8
6 15 9
6 16 10
7 0 7
7 1 6
7 2 5
7 3 4
7 4 3
7 5 2
7 6 1
7 8 1
7 9 2
7 10 3
7 11 4
7 12 5
7 13 6
7 14 7
7 15 8
7 16 9
8 0 8
8 1 7
8 2 6
8 3 5
8 4 4
8 5 3
8 6 2
8 7 1
8 9 1
8 10 2
8 11 3
8 12 4
8 13 5
8 14 6
8 15 7
8 16 8
9 0 9
9 1 8
9 2 7
9 3 6
9 4 5
9 5 4
9 6 3
9 7 2
9 8 1
9 10 1
9 11 2
9 12 3
9 13 4
9 14 5
9 15 6
9 16 7
10 0 10
10 1 9
10 2 8
10 3 7
10 4 6
10 5 5
10 6 4
10 7 3
10 8 2
10 9 1
10 11 1
10 12 2
10 13 3
10 14 4
10 15 5
10 16 6
11 0 11
11 1 10
11 2 9
11 3 8
11 4 7
11 5 6
11 6 5
11 7 4
11 8 3
11 9 2
11 10 1
11 12 1
11 13 2
11 14 3
11 15 4
11 16 5
12 0 12
12 1 11
12 2 10
12 3 9
12 4 8
12 5 7
12 6 6
12 7 5
12 8 4
12 9 3
12 10 2
12 11 1
12 13 1
12 14 2
12 15 3
12 16 4
13 0 13
13 1 12
13 2 11
13 3 10
13 4 9
13 5 8
13 6 7
13 7 6
13 8 5
13 9 4
13 10 3
13 11 2
13 12 1
13 14 1
13 15 2
13 16 3
14 0 14
14 1 13
14 2 12
14 3 11
14 4 10
14 5 9
14 6 8
14 7 7
14 8 6
14 9 5
14 10 4
14 11 3
14 12 2
14 13 1
14 15 1
14 16 2
15 0 15
15 1 14
15 2 13
15 3 12
15 4 11
15 5 10
15 6 9
15 7 8
15 8 7
15 9 6
15 10 5
15 11 4
15 12 3
15 13 2
15 14 1
15 16 1
16 0 16
16 1 15
16 2 14
16 3 13
16 4 12
16 5 11
16 6 10
16 7 9
16 8 8
16 9 7
16 10 6
16 11 5
16 12 4
16 13 3
16 14 2
16 15 1
_Unnamed__4_ 272 3
0 1 1
0 2 2
0 3 3
0 4 4
0 5 5
0 6 6
0 7 7
0 8 8
0 9 9
0 10 10
0 11 11
0 12 12
0 13 13
0 14 14
0 15 15
0 16 16
1 0 1
1 2 1
1 3 2
1 4 3
1 5 4
1 6 5
1 7 6
1 8 7
1 9 8
1 10 9
1 11 10
1 12 11
1 13 12
1 14 13
1 15 14
1 16 15
2 0 2
2 1 1
2 3 1
2 4 2
2 5 3
2 6 4
2 7 5
2 8 6
2 9 7
2 10 8
2 11 9
2 12 10
2 13 11
2 14 12
2 15 13
2 16 14
3 0 3
3 1 2
3 2 1
3 4 1
3 5 2
3 6 3
3 7 4
3 8 5
3 9 6
3 10 7
3 11 8
3 12 9
3 13 10
3 14 11
3 15 12
3 16 13
4 0 4
4 1 3
4 2 2
4 3 1
4 5 1
4 6 2
4 7 3
4 8 4
4 9 5
4 10 6
4 11 7
4 12 8
4 13 9
4 14 10
4 15 11
4 16 12
5 0 5
5 1 4
5 2 3
5 3 2
5 4 1
5 6 1
5 7 2
5 8 3
5 9 4
5 10 5
5 11 6
5 12 7
5 13 8
5 14 9
5 15 10
5 16 11
6 0 6
6 1 5
6 2 4
6 3 3
6 4 2
6 5 1
6 7 1
6 8 2
6 9 3
6 10 4
6 11 5
6 12 6
6 13 7
6 14 8
6 15 9
6 16 10
7 0 7
7 1 6
7 2 5
7 3 4
7 4 3
7 5 2
7 6 1
7 8 1
7 9 2
7 10 3
7 11 4
7 12 5
7 13 6
7 14 7
7 15 8
7 16 9
8 0 8
8 1 7
8 2 6
8 3 5
8 4 4
8 5 3
8 6 2
8 7 1
8 9 1
8 10 2
8 11 3
8 12 4
8 13 5
8 14 6
8 15 7
8 16 8
9 0 9
9 1 8
9 2 7
9 3 6
9 4 5
9 5 4
9 6 3
9 7 2
9 8 1
9 10 1
9 11 2
9 12 3
9 13 4
9 14 5
9 15 6
9 16 7
10 0 10
10 1 9
10 2 8
10 3 7
10 4 6
10 5 5
10 6 4
10 7 3
10 8 2
10 9 1
10 11 1
10 12 2
10 13 3
10 14 4
10 15 5
10 16 6
11 0 11
11 1 10
11 2 9
11 3 8
11 4 7
11 5 6
11 6 5
11 7 4
11 8 3
11 9 2
11 10 1
11 12 1
11 13 2
11 14 3
11 15 4
11 16 5
12 0 12
12 1 11
12 2 10
12 3 9
12 4 8
12 5 7
12 6 6
12 7 5
12 8 4
12 9 3
12 10 2
12 11 1
12 13 1
12 14 2
12 15 3
12 16 4
13 0 13
13 1 12
13 2 11
13 3 10
13 4 9
13 5 8
13 6 7
13 7 6
13 8 5
13 9 4
13 10 3
13 11 2
13 12 1
13 14 1
13 15 2
13 16 3
14 0 14
14 1 13
14 2 12
14 3 11
14 4 10
14 5 9
14 6 8
14 7 7
14 8 6
14 9 5
14 10 4
14 11 3
14 12 2
14 13 1
14 15 1
14 16 2
15 0 15
15 1 14
15 2 13
15 3 12
15 4 11
15 5 10
15 6 9
15 7 8
15 8 7
15 9 6
15 10 5
15 11 4
15 12 3
15 13 2
15 14 1
15 16 1
16 0 16
16 1 15
16 2 14
16 3 13
16 4 12
16 5 11
16 6 10
16 7 9
16 8 8
16 9 7
16 10 6
16 11 5
16 12 4
16 13 3
16 14 2
16 15 1
_Unnamed__5_ 272 3
0 1 1
0 2 2
0 3 3
0 4 4
0 5 5
0 6 6
0 7 7
0 8 8
0 9 9
0 10 10
0 11 11
0 12 12
0 13 13
0 14 14
0 15 15
0 16 16
1 0 1
1 2 1
1 3 2
1 4 3
1 5 4
1 6 5
1 7 6
1 8 7
1 9 8
1 10 9
1 11 10
1 12 11
1 13 12
1 14 13
1 15 14
1 16 15
2 0 2
2 1 1
2 3 1
2 4 2
2 5 3
2 6 4
2 7 5
2 8 6
2 9 7
2 10 8
2 11 9
2 12 10
2 13 11
2 14 12
2 15 13
2 16 14
3 0 3
3 1 2
3 2 1
3 4 1
3 5 2
3 6 3
3 7 4
3 8 5
3 9 6
3 10 7
3 11 8
3 12 9
3 13 10
3 14 11
3 15 12
3 16 13
4 0 4
4 1 3
4 2 2
4 3 1
4 5 1
4 6 2
4 7 3
4 8 4
4 9 5
4 10 6
4 11 7
4 12 8
4 13 9
4 14 10
4 15 11
4 16 12
5 0 5
5 1 4
5 2 3
5 3 2
5 4 1
5 6 1
5 7 2
5 8 3
5 9 4
5 10 5
5 11 6
5 12 7
5 13 8
5 14 9
5 15 10
5 16 11
6 0 6
6 1 5
6 2 4
6 3 3
6 4 2
6 5 1
6 7 1
6 8 2
6 9 3
6 10 4
6 11 5
6 12 6
6 13 7
6 14 8
6 15 9
6 16 10
7 0 7
7 1 6
7 2 5
7 3 4
7 4 3
7 5 2
7 6 1
7 8 1
7 9 2
7 10 3
7 11 4
7 12 5
7 13 6
7 14 7
7 15 8
7 16 9
8 0 8
8 1 7
8 2 6
8 3 5
8 4 4
8 5 3
8 6 2
8 7 1
8 9 1
8 10 2
8 11 3
8 12 4
8 13 5
8 14 6
8 15 7
8 16 8
9 0 9
9 1 8
9 2 7
9 3 6
9 4 5
9 5 4
9 6 3
9 7 2
9 8 1
9 10 1
9 11 2
9 12 3
9 13 4
9 14 5
9 15 6
9 16 7
10 0 10
10 1 9
10 2 8
10 3 7
10 4 6
10 5 5
10 6 4
10 7 3
10 8 2
10 9 1
10 11 1
10 12 2
10 13 3
10 14 4
10 15 5
10 16 6
11 0 11
11 1 10
11 2 9
11 3 8
11 4 7
11 5 6
11 6 5
11 7 4
11 8 3
11 9 2
11 10 1
11 12 1
11 13 2
11 14 3
11 15 4
11 16 5
12 0 12
12 1 11
12 2 10
12 3 9
12 4 8
12 5 7
12 6 6
12 7 5
12 8 4
12 9 3
12 10 2
12 11 1
12 13 1
12 14 2
12 15 3
12 16 4
13 0 13
13 1 12
13 2 11
13 3 10
13 4 9
13 5 8
13 6 7
13 7 6
13 8 5
13 9 4
13 10 3
13 11 2
13 12 1
13 14 1
13 15 2
13 16 3
14 0 14
14 1 13
14 2 12
14 3 11
14 4 10
14 5 9
14 6 8
14 7 7
14 8 6
14 9 5
14 10 4
14 11 3
14 12 2
14 13 1
14 15 1
14 16 2
15 0 15
15 1 14
15 2 13
15 3 12
15 4 11
15 5 10
15 6 9
15 7 8
15 8 7
15 9 6
15 10 5
15 11 4
15 12 3
15 13 2
15 14 1
15 16 1
16 0 16
16 1 15
16 2 14
16 3 13
16 4 12
16 5 11
16 6 10
16 7 9
16 8 8
16 9 7
16 10 6
16 11 5
16 12 4
16 13 3
16 14 2
16 15 1
_Unnamed__6_ 272 3
0 1 1
0 2 2
0 3 3
0 4 4
0 5 5
0 6 6
0 7 7
0 8 8
0 9 9
0 10 10
0 11 11
0 12 12
0 13 13
0 14 14
0 15 15
0 16 16
1 0 1
1 2 1
1 3 2
1 4 3
1 5 4
1 6 5
1 7 6
1 8 7
1 9 8
1 10 9
1 11 10
1 12 11
1 13 12
1 14 13
1 15 14
1 16 15
2 0 2
2 1 1
2 3 1
2 4 2
2 5 3
2 6 4
2 7 5
2 8 6
2 9 7
2 10 8
2 11 9
2 12 10
2 13 11
2 14 12
2 15 13
2 16 14
3 0 3
3 1 2
3 2 1
3 4 1
3 5 2
3 6 3
3 7 4
3 8 5
3 9 6
3 10 7
3 11 8
3 12 9
3 13 10
3 14 11
3 15 12
3 16 13
4 0 4
4 1 3
4 2 2
4 3 1
4 5 1
4 6 2
4 7 3
4 8 4
4 9 5
4 10 6
4 11 7
4 12 8
4 13 9
4 14 10
4 15 11
4 16 12
5 0 5
5 1 4
5 2 3
5 3 2
5 4 1
5 6 1
5 7 2
5 8 3
5 9 4
5 10 5
5 11 6
5 12 7
5 13 8
5 14 9
5 15 10
5 16 11
6 0 6
6 1 5
6 2 4
6 3 3
6 4 2
6 5 1
6 7 1
6 8 2
6 9 3
6 10 4
6 11 5
6 12 6
6 13 7
6 14 8
6 15 9
6 16 10
7 0 7
7 1 6
7 2 5
7 3 4
7 4 3
7 5 2
7 6 1
7 8 1
7 9 2
7 10 3
7 11 4
7 12 5
7 13 6
7 14 7
7 15 8
7 16 9
8 0 8
8 1 7
8 2 6
8 3 5
8 4 4
8 5 3
8 6 2
8 7 1
8 9 1
8 10 2
8 11 3
8 12 4
8 13 5
8 14 6
8 15 7
8 16 8
9 0 9
9 1 8
9 2 7
9 3 6
9 4 5
9 5 4
9 6 3
9 7 2
9 8 1
9 10 1
9 11 2
9 12 3
9 13 4
9 14 5
9 15 6
9 16 7
10 0 10
10 1 9
10 2 8
10 3 7
10 4 6
10 5 5
10 6 4
10 7 3
10 8 2
10 9 1
10 11 1
10 12 2
10 13 3
10 14 4
10 15 5
10 16 6
11 0 11
11 1 10
11 2 9
11 3 8
11 4 7
11 5 6
11 6 5
11 7 4
11 8 3
11 9 2
11 10 1
11 12 1
11 13 2
11 14 3
11 15 4
11 16 5
12 0 12
12 1 11
12 2 10
12 3 9
12 4 8
12 5 7
12 6 6
12 7 5
12 8 4
12 9 3
12 10 2
12 11 1
12 13 1
12 14 2
12 15 3
12 16 4
13 0 13
13 1 12
13 2 11
13 3 10
13 4 9
13 5 8
13 6 7
13 7 6
13 8 5
13 9 4
13 10 3
13 11 2
13 12 1
13 14 1
13 15 2
13 16 3
14 0 14
14 1 13
14 2 12
14 3 11
14 4 10
14 5 9
14 6 8
14 7 7
14 8 6
14 9 5
14 10 4
14 11 3
14 12 2
14 13 1
14 15 1
14 16 2
15 0 15
15 1 14
15 2 13
15 3 12
15 4 11
15 5 10
15 6 9
15 7 8
15 8 7
15 9 6
15 10 5
15 11 4
15 12 3
15 13 2
15 14 1
15 16 1
16 0 16
16 1 15
16 2 14
16 3 13
16 4 12
16 5 11
16 6 10
16 7 9
16 8 8
16 9 7
16 10 6
16 11 5
16 12 4
16 13 3
16 14 2
16 15 1
_Unnamed__7_ 272 3
0 1 1
0 2 2
0 3 3
0 4 4
0 5 5
0 6 6
0 7 7
0 8 8
0 9 9
0 10 10
0 11 11
0 12 12
0 13 13
0 14 14
0 15 15
0 16 16
1 0 1
1 2 1
1 3 2
1 4 3
1 5 4
1 6 5
1 7 6
1 8 7
1 9 8
1 10 9
1 11 10
1 12 11
1 13 12
1 14 13
1 15 14
1 16 15
2 0 2
2 1 1
2 3 1
2 4 2
2 5 3
2 6 4
2 7 5
2 8 6
2 9 7
2 10 8
2 11 9
2 12 10
2 13 11
2 14 12
2 15 13
2 16 14
3 0 3
3 1 2
3 2 1
3 4 1
3 5 2
3 6 3
3 7 4
3 8 5
3 9 6
3 10 7
3 11 8
3 12 9
3 13 10
3 14 11
3 15 12
3 16 13
4 0 4
4 1 3
4 2 2
4 3 1
4 5 1
4 6 2
4 7 3
4 8 4
4 9 5
4 10 6
4 11 7
4 12 8
4 13 9
4 14 10
4 15 11
4 16 12
5 0 5
5 1 4
5 2 3
5 3 2
5 4 1
5 6 1
5 7 2
5 8 3
5 9 4
5 10 5
5 11 6
5 12 7
5 13 8
5 14 9
5 15 10
5 16 11
6 0 6
6 1 5
6 2 4
6 3 3
6 4 2
6 5 1
6 7 1
6 8 2
6 9 3
6 10 4
6 11 5
6 12 6
6 13 7
6 14 8
6 15 9
6 16 10
7 0 7
7 1 6
7 2 5
7 3 4
7 4 3
7 5 2
7 6 1
7 8 1
7 9 2
7 10 3
7 11 4
7 12 5
7 13 6
7 14 7
7 15 8
7 16 9
8 0 8
8 1 7
8 2 6
8 3 5
8 4 4
8 5 3
8 6 2
8 7 1
8 9 1
8 10 2
8 11 3
8 12 4
8 13 5
8 14 6
8 15 7
8 16 8
9 0 9
9 1 8
9 2 7
9 3 6
9 4 5
9 5 4
9 6 3
9 7 2
9 8 1
9 10 1
9 11 2
9 12 3
9 13 4
9 14 5
9 15 6
9 16 7
10 0 10
10 1 9
10 2 8
10 3 7
10 4 6
10 5 5
10 6 4
10 7 3
10 8 2
10 9 1
10 11 1
10 12 2
10 13 3
10 14 4
10 15 5
10 16 6
11 0 11
11 1 10
11 2 9
11 3 8
11 4 7
11 5 6
11 6 5
11 7 4
11 8 3
11 9 2
11 10 1
11 12 1
11 13 2
11 14 3
11 15 4
11 16 5
12 0 12
12 1 11
12 2 10
12 3 9
12 4 8
12 5 7
12 6 6
12 7 5
12 8 4
12 9 3
12 10 2
12 11 1
12 13 1
12 14 2
12 15 3
12 16 4
13 0 13
13 1 12
13 2 11
13 3 10
13 4 9
13 5 8
13 6 7
13 7 6
13 8 5
13 9 4
13 10 3
13 11 2
13 12 1
13 14 1
13 15 2
13 16 3
14 0 14
14 1 13
14 2 12
14 3 11
14 4 10
14 5 9
14 6 8
14 7 7
14 8 6
14 9 5
14 10 4
14 11 3
14 12 2
14 13 1
14 15 1
14 16 2
15 0 15
15 1 14
15 2 13
15 3 12
15 4 11
15 5 10
15 6 9
15 7 8
15 8 7
15 9 6
15 10 5
15 11 4
15 12 3
15 13 2
15 14 1
15 16 1
16 0 16
16 1 15
16 2 14
16 3 13
16 4 12
16 5 11
16 6 10
16 7 9
16 8 8
16 9 7
16 10 6
16 11 5
16 12 4
16 13 3
16 14 2
16 15 1
_Unnamed__8_ 272 3
0 1 1
0 2 2
0 3 3
0 4 4
0 5 5
0 6 6
0 7 7
0 8 8
0 9 9
0 10 10
0 11 11
0 12 12
0 13 13
0 14 14
0 15 15
0 16 16
1 0 1
1 2 1
1 3 2
1 4 3
1 5 4
1 6 5
1 7 6
1 8 7
1 9 8
1 10 9
1 11 10
1 12 11
1 13 12
1 14 13
1 15 14
1 16 15
2 0 2
2 1 1
2 3 1
2 4 2
2 5 3
2 6 4
2 7 5
2 8 6
2 9 7
2 10 8
2 11 9
2 12 10
2 13 11
2 14 12
2 15 13
2 16 14
3 0 3
3 1 2
3 2 1
3 4 1
3 5 2
3 6 3
3 7 4
3 8 5
3 9 6
3 10 7
3 11 8
3 12 9
3 13 10
3 14 11
3 15 12
3 16 13
4 0 4
4 1 3
4 2 2
4 3 1
4 5 1
4 6 2
4 7 3
4 8 4
4 9 5
4 10 6
4 11 7
4 12 8
4 13 9
4 14 10
4 15 11
4 16 12
5 0 5
5 1 4
5 2 3
5 3 2
5 4 1
5 6 1
5 7 2
5 8 3
5 9 4
5 10 5
5 11 6
5 12 7
5 13 8
5 14 9
5 15 10
5 16 11
6 0 6
6 1 5
6 2 4
6 3 3
6 4 2
6 5 1
6 7 1
6 8 2
6 9 3
6 10 4
6 11 5
6 12 6
6 13 7
6 14 8
6 15 9
6 16 10
7 0 7
7 1 6
7 2 5
7 3 4
7 4 3
7 5 2
7 6 1
7 8 1
7 9 2
7 10 3
7 11 4
7 12 5
7 13 6
7 14 7
7 15 8
7 16 9
8 0 8
8 1 7
8 2 6
8 3 5
8 4 4
8 5 3
8 6 2
8 7 1
8 9 1
8 10 2
8 11 3
8 12 4
8 13 5
8 14 6
8 15 7
8 16 8
9 0 9
9 1 8
9 2 7
9 3 6
9 4 5
9 5 4
9 6 3
9 7 2
9 8 1
9 10 1
9 11 2
9 12 3
9 13 4
9 14 5
9 15 6
9 16 7
10 0 10
10 1 9
10 2 8
10 3 7
10 4 6
10 5 5
10 6 4
10 7 3
10 8 2
10 9 1
10 11 1
10 12 2
10 13 3
10 14 4
10 15 5
10 16 6
11 0 11
11 1 10
11 2 9
11 3 8
11 4 7
11 5 6
11 6 5
11 7 4
11 8 3
11 9 2
11 10 1
11 12 1
11 13 2
11 14 3
11 15 4
11 16 5
12 0 12
12 1 11
12 2 10
12 3 9
12 4 8
12 5 7
12 6 6
12 7 5
12 8 4
12 9 3
12 10 2
12 11 1
12 13 1
12 14 2
12 15 3
12 16 4
13 0 13
13 1 12
13 2 11
13 3 10
13 4 9
13 5 8
13 6 7
13 7 6
13 8 5
13 9 4
13 10 3
13 11 2
13 12 1
13 14 1
13 15 2
13 16 3
14 0 14
14 1 13
14 2 12
14 3 11
14 4 10
14 5 9
14 6 8
14 7 7
14 8 6
14 9 5
14 10 4
14 11 3
14 12 2
14 13 1
14 15 1
14 16 2
15 0 15
15 1 14
15 2 13
15 3 12
15 4 11
15 5 10
15 6 9
15 7 8
15 8 7
15 9 6
15 10 5
15 11 4
15 12 3
15 13 2
15 14 1
15 16 1
16 0 16
16 1 15
16 2 14
16 3 13
16 4 12
16 5 11
16 6 10
16 7 9
16 8 8
16 9 7
16 10 6
16 11 5
16 12 4
16 13 3
16 14 2
16 15 1
_Unnamed__9_ 272 3
0 1 1
0 2 2
0 3 3
0 4 4
0 5 5
0 6 6
0 7 7
0 8 8
0 9 9
0 10 10
0 11 11
0 12 12
0 13 13
0 14 14
0 15 15
0 16 16
1 0 1
1 2 1
1 3 2
1 4 3
1 5 4
1 6 5
1 7 6
1 8 7
1 9 8
1 10 9
1 11 10
1 12 11
1 13 12
1 14 13
1 15 14
1 16 15
2 0 2
2 1 1
2 3 1
2 4 2
2 5 3
2 6 4
2 7 5
2 8 6
2 9 7
2 10 8
2 11 9
2 12 10
2 13 11
2 14 12
2 15 13
2 16 14
3 0 3
3 1 2
3 2 1
3 4 1
3 5 2
3 6 3
3 7 4
3 8 5
3 9 6
3 10 7
3 11 8
3 12 9
3 13 10
3 14 11
3 15 12
3 16 13
4 0 4
4 1 3
4 2 2
4 3 1
4 5 1
4 6 2
4 7 3
4 8 4
4 9 5
4 10 6
4 11 7
4 12 8
4 13 9
4 14 10
4 15 11
4 16 12
5 0 5
5 1 4
5 2 3
5 3 2
5 4 1
5 6 1
5 7 2
5 8 3
5 9 4
5 10 5
5 11 6
5 12 7
5 13 8
5 14 9
5 15 10
5 16 11
6 0 6
6 1 5
6 2 4
6 3 3
6 4 2
6 5 1
6 7 1
6 8 2
6 9 3
6 10 4
6 11 5
6 12 6
6 13 7
6 14 8
6 15 9
6 16 10
7 0 7
7 1 6
7 2 5
7 3 4
7 4 3
7 5 2
7 6 1
7 8 1
7 9 2
7 10 3
7 11 4
7 12 5
7 13 6
7 14 7
7 15 8
7 16 9
8 0 8
8 1 7
8 2 6
8 3 5
8 4 4
8 5 3
8 6 2
8 7 1
8 9 1
8 10 2
8 11 3
8 12 4
8 13 5
8 14 6
8 15 7
8 16 8
9 0 9
9 1 8
9 2 7
9 3 6
9 4 5
9 5 4
9 6 3
9 7 2
9 8 1
9 10 1
9 11 2
9 12 3
9 13 4
9 14 5
9 15 6
9 16 7
10 0 10
10 1 9
10 2 8
10 3 7
10 4 6
10 5 5
10 6 4
10 7 3
10 8 2
10 9 1
10 11 1
10 12 2
10 13 3
10 14 4
10 15 5
10 16 6
11 0 11
11 1 10
11 2 9
11 3 8
11 4 7
11 5 6
11 6 5
11 7 4
11 8 3
11 9 2
11 10 1
11 12 1
11 13 2
11 14 3
11 15 4
11 16 5
12 0 12
12 1 11
12 2 10
12 3 9
12 4 8
12 5 7
12 6 6
12 7 5
12 8 4
12 9 3
12 10 2
12 11 1
12 13 1
12 14 2
12 15 3
12 16 4
13 0 13
13 1 12
13 2 11
13 3 10
13 4 9
13 5 8
13 6 7
13 7 6
13 8 5
13 9 4
13 10 3
13 11 2
13 12 1
13 14 1
13 15 2
13 16 3
14 0 14
14 1 13
14 2 12
14 3 11
14 4 10
14 5 9
14 6 8
14 7 7
14 8 6
14 9 5
14 10 4
14 11 3
14 12 2
14 13 1
14 15 1
14 16 2
15 0 15
15 1 14
15 2 13
15 3 12
15 4 11
15 5 10
15 6 9
15 7 8
15 8 7
15 9 6
15 10 5
15 11 4
15 12 3
15 13 2
15 14 1
15 16 1
16 0 16
16 1 15
16 2 14
16 3 13
16 4 12
16 5 11
16 6 10
16 7 9
16 8 8
16 9 7
16 10 6
16 11 5
16 12 4
16 13 3
16 14 2
16 15 1
**CONSTRAINTS**
alldiff([x7,x6,x5,x4,x3,x2,x1,x0])
table([x0,x4,x8], _Unnamed__0_)
table([x0,x1,x9], _Unnamed__1_)
table([x1,x5,x10], _Unnamed__2_)
table([x0,x2,x11], _Unnamed__3_)
table([x1,x2,x12], _Unnamed__4_)
table([x2,x6,x13], _Unnamed__5_)
table([x0,x3,x14], _Unnamed__6_)
table([x1,x3,x15], _Unnamed__7_)
table([x2,x3,x16], _Unnamed__8_)
table([x3,x7,x17], _Unnamed__9_)
table([x4,x5,x18], _Unnamed__10_)
table([x4,x6,x19], _Unnamed__11_)
table([x5,x6,x20], _Unnamed__12_)
table([x4,x7,x21], _Unnamed__13_)
table([x5,x7,x22], _Unnamed__14_)
table([x6,x7,x23], _Unnamed__15_)
alldiff([x23,x22,x21,x20,x19,x18,x17,x16,x15,x14,x13,x12,x11,x10,x9,x8])
eq(x0, 0)
occurrence([x1,x2,x3,x4], 16, 1)
occurrence([x1,x2,x3,x4], 15, 1)
ineq(x0, x1, -1)
ineq(x1, x2, -1)
ineq(x2, x3, -1)
**EOF**
