back
43

closure size: 6
0 1 1 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 4 5 5 5 5 5 5 5 5
1 0 4 2 2 2 5 5 2 5 5 3 3 3 3 3 3 3 3 3 3 3 3 1 2 5 5 5 2 5 2 2
1 4 0 5 5 5 2 2 5 2 2 3 3 3 3 3 3 3 3 3 3 3 3 1 5 2 2 2 5 2 5 5
2 2 5 0 3 3 3 3 3 1 3 5 2 2 2 2 2 5 5 5 5 5 2 5 3 4 3 3 1 3 3 3
2 2 5 3 0 3 3 3 3 3 1 2 5 5 2 2 5 2 2 2 5 5 5 5 3 3 3 4 3 3 1 3
2 2 5 3 3 0 3 1 3 3 3 2 2 2 5 5 5 5 5 2 2 2 5 5 1 3 3 3 3 4 3 3
2 5 2 3 3 3 0 3 1 3 3 5 2 5 2 5 2 5 2 2 5 2 5 5 3 3 1 3 3 3 3 4
2 5 2 3 3 1 3 0 3 3 3 2 5 2 2 5 5 2 5 5 5 2 2 5 4 3 3 3 3 1 3 3
2 2 5 3 3 3 1 3 0 3 3 5 5 5 5 5 2 2 2 5 2 2 2 5 3 3 4 3 3 3 3 1
2 5 2 1 3 3 3 3 3 0 3 5 5 2 5 2 2 2 5 2 2 5 5 5 3 1 3 3 4 3 3 3
2 5 2 3 1 3 3 3 3 3 0 2 2 5 5 2 5 5 2 5 2 5 2 5 3 3 3 1 3 3 4 3
3 3 3 5 2 2 5 2 5 5 2 0 3 3 3 3 4 3 3 1 3 3 1 3 5 2 2 5 2 5 5 2
3 3 3 2 5 2 2 5 5 5 2 3 0 1 3 3 3 4 1 3 3 3 3 3 2 5 2 2 2 5 5 5
3 3 3 2 5 2 5 2 5 2 5 3 1 0 3 3 3 1 4 3 3 3 3 3 5 5 2 2 5 5 2 2
3 3 3 2 2 5 2 2 5 5 5 3 3 3 0 1 3 3 3 3 4 1 3 3 5 5 2 5 2 2 2 5
3 3 3 2 2 5 5 5 5 2 2 3 3 3 1 0 3 3 3 3 1 4 3 3 2 5 2 5 5 2 5 2
3 3 3 2 5 5 2 5 2 2 5 4 3 3 3 3 0 3 3 1 3 3 1 3 2 5 5 2 5 2 2 5
3 3 3 5 2 5 5 2 2 2 5 3 4 1 3 3 3 0 1 3 3 3 3 3 5 2 5 5 5 2 2 2
3 3 3 5 2 5 2 5 2 5 2 3 1 4 3 3 3 1 0 3 3 3 3 3 2 2 5 5 2 2 5 5
3 3 3 5 2 2 2 5 5 2 5 1 3 3 3 3 1 3 3 0 3 3 4 3 2 2 2 5 5 5 2 5
3 3 3 5 5 2 5 5 2 2 2 3 3 3 4 1 3 3 3 3 0 1 3 3 2 2 5 2 5 5 5 2
3 3 3 5 5 2 2 2 2 5 5 3 3 3 1 4 3 3 3 3 1 0 3 3 5 2 5 2 2 5 2 5
3 3 3 2 5 5 5 2 2 5 2 1 3 3 3 3 1 3 3 4 3 3 0 3 5 5 5 2 2 2 5 2
4 1 1 5 5 5 5 5 5 5 5 3 3 3 3 3 3 3 3 3 3 3 3 0 2 2 2 2 2 2 2 2
5 2 5 3 3 1 3 4 3 3 3 5 2 5 5 2 2 5 2 2 2 5 5 2 0 3 3 3 3 1 3 3
5 5 2 4 3 3 3 3 3 1 3 2 5 5 5 5 5 2 2 2 2 2 5 2 3 0 3 3 1 3 3 3
5 5 2 3 3 3 1 3 4 3 3 2 2 2 2 2 5 5 5 2 5 5 5 2 3 3 0 3 3 3 3 1
5 5 2 3 4 3 3 3 3 3 1 5 2 2 5 5 2 5 5 5 2 2 2 2 3 3 3 0 3 3 1 3
5 2 5 1 3 3 3 3 3 4 3 2 2 5 2 5 5 5 2 5 5 2 2 2 3 1 3 3 0 3 3 3
5 5 2 3 3 4 3 1 3 3 3 5 5 5 2 2 2 2 2 5 5 5 2 2 1 3 3 3 3 0 3 3
5 2 5 3 1 3 3 3 3 3 4 5 5 2 2 5 2 2 5 2 5 2 5 2 3 3 3 1 3 3 0 3
5 2 5 3 3 3 4 3 1 3 3 2 5 2 5 2 5 2 5 5 2 5 2 2 3 3 1 3 3 3 3 0

closure size: 6
0 1 1 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 5 5 5 5 5 5 5 5 4
1 0 4 5 2 5 2 5 2 5 2 3 3 3 3 3 3 3 3 3 3 3 3 2 2 5 5 2 2 5 5 1
1 4 0 2 5 2 5 2 5 2 5 3 3 3 3 3 3 3 3 3 3 3 3 5 5 2 2 5 5 2 2 1
2 5 2 0 3 3 3 1 3 3 3 2 2 5 2 5 5 5 5 2 5 2 2 1 4 3 3 3 3 3 3 5
2 2 5 3 0 3 1 3 3 3 3 5 5 5 2 2 5 2 2 2 5 2 5 3 3 3 4 3 3 3 1 5
2 5 2 3 3 0 3 3 3 1 3 5 5 5 5 2 2 2 5 2 2 5 2 3 3 3 3 1 4 3 3 5
2 2 5 3 1 3 0 3 3 3 3 2 5 2 5 5 5 2 5 5 2 2 2 3 3 3 1 3 3 3 4 5
2 5 2 1 3 3 3 0 3 3 3 5 2 2 5 2 5 5 2 5 2 2 5 4 1 3 3 3 3 3 3 5
2 2 5 3 3 3 3 3 0 3 1 2 2 5 5 5 2 5 2 2 2 5 5 3 3 4 3 3 3 1 3 5
2 5 2 3 3 1 3 3 3 0 3 2 5 2 2 5 2 2 2 5 5 5 5 3 3 3 3 4 1 3 3 5
2 2 5 3 3 3 3 3 1 3 0 5 2 2 2 2 2 5 5 5 5 5 2 3 3 1 3 3 3 4 3 5
3 3 3 2 5 5 2 5 2 2 5 0 3 3 1 4 3 3 3 3 1 3 3 2 5 5 2 5 2 2 5 3
3 3 3 2 5 5 5 2 2 5 2 3 0 3 3 3 1 4 3 3 3 1 3 5 5 5 2 2 2 5 2 3
3 3 3 5 5 5 2 2 5 2 2 3 3 0 3 3 3 3 1 4 3 3 1 5 2 2 2 5 2 5 5 3
3 3 3 2 2 5 5 5 5 2 2 1 3 3 0 1 3 3 3 3 4 3 3 2 5 2 5 5 2 5 2 3
3 3 3 5 2 2 5 2 5 5 2 4 3 3 1 0 3 3 3 3 1 3 3 5 2 2 5 2 5 5 2 3
3 3 3 5 5 2 5 5 2 2 2 3 1 3 3 3 0 1 3 3 3 4 3 2 2 5 2 5 5 5 2 3
3 3 3 5 2 2 2 5 5 2 5 3 4 3 3 3 1 0 3 3 3 1 3 2 2 2 5 5 5 2 5 3
3 3 3 5 2 5 5 2 2 2 5 3 3 1 3 3 3 3 0 1 3 3 4 5 2 5 5 5 2 2 2 3
3 3 3 2 2 2 5 5 2 5 5 3 3 4 3 3 3 3 1 0 3 3 1 2 5 5 5 2 5 2 2 3
3 3 3 5 5 2 2 2 2 5 5 1 3 3 4 1 3 3 3 3 0 3 3 5 2 5 2 2 5 2 5 3
3 3 3 2 2 5 2 2 5 5 5 3 1 3 3 3 4 1 3 3 3 0 3 5 5 2 5 2 2 2 5 3
3 3 3 2 5 2 2 5 5 5 2 3 3 1 3 3 3 3 4 1 3 3 0 2 5 2 2 2 5 5 5 3
5 2 5 1 3 3 3 4 3 3 3 2 5 5 2 5 2 2 5 2 5 5 2 0 1 3 3 3 3 3 3 2
5 2 5 4 3 3 3 1 3 3 3 5 5 2 5 2 2 2 2 5 2 5 5 1 0 3 3 3 3 3 3 2
5 5 2 3 3 3 3 3 4 3 1 5 5 2 2 2 5 2 5 5 5 2 2 3 3 0 3 3 3 1 3 2
5 5 2 3 4 3 1 3 3 3 3 2 2 2 5 5 2 5 5 5 2 5 2 3 3 3 0 3 3 3 1 2
5 2 5 3 3 1 3 3 3 4 3 5 2 5 5 2 5 5 5 2 2 2 2 3 3 3 3 0 1 3 3 2
5 2 5 3 3 4 3 3 3 1 3 2 2 2 2 5 5 5 2 5 5 2 5 3 3 3 3 1 0 3 3 2
5 5 2 3 3 3 3 3 1 3 4 2 5 5 5 5 5 2 2 2 2 2 5 3 3 1 3 3 3 0 3 2
5 5 2 3 1 3 4 3 3 3 3 5 2 5 2 2 2 5 2 2 5 5 5 3 3 3 1 3 3 3 0 2
4 1 1 5 5 5 5 5 5 5 5 3 3 3 3 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 0

closure size: 14
 0  1  1  3  3  4  2  2  2  2  4  9  6  8  7  9  6  6  9  5  6  9  7 13 11 11 10 11 11 10 12 12
 1  0 10  7  4  3  6  2  6  2  5 11  9  7  3 11  2  9  6  4  2  6  8 12  9 11  1  9 11 12 13 10
 1 10  0  4  7  5  2  6  2  6  3  6  2  7  8  6  9  2 11  4  9 11  3 12 11  9 12 11  9  1 10 13
 3  7  4  0 13  1  9  6  9  6 12 11 11 10 12 11  2 11  2 10  2  2  1  3  6  9  8  6  9  5  4  7
 3  4  7 13  0 12  6  9  6  9  1  2  2 10  1  2 11  2 11 10 11 11 12  3  9  6  5  9  6  8  7  4
 4  3  5  1 12  0 11  9 11  9 10  9 11 12 13  9  6 11  2  1  6  2 10  7  2  6  7  2  6  4  3  8
 2  6  2  9  6 11  0  1  8  7  9  3  7  2  2 10  3  1  4 11 10 12  6 11 13 12  9  5  4  6  9 11
 2  2  6  6  9  9  1  0  7  8 11  4  3  2  6 12  7 10  3 11  1 10  2 11 12 13  6  4  5  9 11  9
 2  6  2  9  6 11  8  7  0  1  9 10  1  2  2  3 10  7 12 11  3  4  6 11  5  4  9 13 12  6  9 11
 2  2  6  6  9  9  7  8  1  0 11 12 10  2  6  4  1  3 10 11  7  3  2 11  4  5  6 12 13  9 11  9
 4  5  3 12  1 10  9 11  9 11  0  2  6 12 10  2 11  6  9  1 11  9 13  7  6  2  4  6  2  7  8  3
 9 11  6 11  2  9  3  4 10 12  2  0  1  9  6  8 13  7 12  6  5  4 11  6  3  7 11 10  1  2  2  9
 6  9  2 11  2 11  7  3  1 10  6  1  0  6  2  7 12  8 13  9  4  5  9  9  4  3 11 12 10  2  6 11
 8  7  7 10 10 12  2  2  2  2 12  9  6  0  1  9  6  6  9 13  6  9  1  5 11 11  3 11 11  3  4  4
 7  3  8 12  1 13  2  6  2  6 10  6  2  1  0  6  9  2 11 12  9 11 10  4 11  9  4 11  9  7  3  5
 9 11  6 11  2  9 10 12  3  4  2  8  7  9  6  0  5  1  4  6 13 12 11  6 10  1 11  3  7  2  2  9
 6  2  9  2 11  6  3  7 10  1 11 13 12  6  9  5  0  4  1  9  8  7  2  9  3  4  2 10 12 11 11  6
 6  9  2 11  2 11  1 10  7  3  6  7  8  6  2  1  4  0  5  9 12 13  9  9 12 10 11  4  3  2  6 11
 9  6 11  2 11  2  4  3 12 10  9 12 13  9 11  4  1  5  0  6  7  8  6  6  7  3  2  1 10 11  9  2
 5  4  4 10 10  1 11 11 11 11  1  6  9 13 12  6  9  9  6  0  9  6 12  8  2  2  3  2  2  3  7  7
 6  2  9  2 11  6 10  1  3  7 11  5  4  6  9 13  8 12  7  9  0  1  2  9 10 12  2  3  4 11 11  6
 9  6 11  2 11  2 12 10  4  3  9  4  5  9 11 12  7 13  8  6  1  0  6  6  1 10  2  7  3 11  9  2
 7  8  3  1 12 10  6  2  6  2 13 11  9  1 10 11  2  9  6 12  2  6  0  4  9 11  7  9 11  4  5  3
13 12 12  3  3  7 11 11 11 11  7  6  9  5  4  6  9  9  6  8  9  6  4  0  2  2 10  2  2 10  1  1
11  9 11  6  9  2 13 12  5  4  6  3  4 11 11 10  3 12  7  2 10  1  9  2  0  1  6  8  7  9  6  2
11 11  9  9  6  6 12 13  4  5  2  7  3 11  9  1  4 10  3  2 12 10 11  2  1  0  9  7  8  6  2  6
10  1 12  8  5  7  9  6  9  6  4 11 11  3  4 11  2 11  2  3  2  2  7 10  6  9  0  6  9 13 12  1
11  9 11  6  9  2  5  4 13 12  6 10 12 11 11  3 10  4  1  2  3  7  9  2  8  7  6  0  1  9  6  2
11 11  9  9  6  6  4  5 12 13  2  1 10 11  9  7 12  3 10  2  4  3 11  2  7  8  9  1  0  6  2  6
10 12  1  5  8  4  6  9  6  9  7  2  2  3  7  2 11  2 11  3 11 11  4 10  9  6 13  9  6  0  1 12
12 13 10  4  7  3  9 11  9 11  8  2  6  4  3  2 11  6  9  7 11  9  5  1  6  2 12  6  2  1  0 10
12 10 13  7  4  8 11  9 11  9  3  9 11  4  5  9  6 11  2  7  6  2  3  1  2  6  1  2  6 12 10  0

closure size: 14
 0  1  1  4  3  3  2  3  3  4  2  9  6  7  8  9  6  6  9  5  6  9  8 11 11 12 12 10 12 12 13 10
 1  0  2  5  3  6 11  3  6 10  1 12  9  8 10 12  3  9  6  4  3  6  7  2 13 12  9  4 12  9 11  8
 1  2  0 10  6  3  1  6  3  5 11  6  3  8  7  6  9  3 12  4  9 12 10 13  2  9 12  8  9 12 11  4
 4  5 10  0 12  9  8 12  9  2  4  3  6 11  2  3 12  6  9  1 12  9 13 10  7  3  6  1  3  6  8 11
 3  3  6 12  0  1  9  7  8  9  6 11  2  3  6  4  1 10  2 12  8 10  3  9 12 13 11  9  5  4 12  6
 3  6  3  9  1  0  6  8  7 12  9  2  1  3  3 10  2  8 11 12 10  4  6 12  9 11 13  6  4  5 12  9
 2 11  1  8  9  6  0  9  6  4 13  3  3 10  8  3 12  3 12 10 12 12  4 11  1  6  9  7  6  9  2  5
 3  3  6 12  7  8  9  0  1  9  6  4 10  3  6 11  8  2 10 12  1  2  3  9 12  5  4  9 13 11 12  6
 3  6  3  9  8  7  6  1  0 12  9 10  8  3  3  2 10  1  4 12  2 11  6 12  9  4  5  6 11 13 12  9
 4 10  5  2  9 12  4  9 12  0  8  9 12 11 13  9  6 12  3  1  6  3  2  7 10  6  3 11  6  3  8  1
 2  1 11  4  6  9 13  6  9  8  0 12 12 10  4 12  3 12  3 10  3  3  8  1 11  9  6  5  9  6  2  7
 9 12  6  3 11  2  3  4 10  9 12  0  1  9  6  7 13  8 11  6  5  4 12  9  3  1  2  3  8 10  6 12
 6  9  3  6  2  1  3 10  8 12 12  1  0  6  3  8 11  7 13  9  4  5  9 12  6  2 11  3 10  4  9 12
 7  8  8 11  3  3 10  3  3 11 10  9  6  0  1  9  6  6  9 13  6  9  1  4  4 12 12  2 12 12  5  2
 8 10  7  2  6  3  8  6  3 13  4  6  3  1  0  6  9  3 12 11  9 12  2  5 10  9 12  1  9 12  4 11
 9 12  6  3  4 10  3 11  2  9 12  7  8  9  6  0  5  1  4  6 13 11 12  9  3  8 10  3  1  2  6 12
 6  3  9 12  1  2 12  8 10  6  3 13 11  6  9  5  0  4  1  9  7  8  3  6 12 11  2 12  4 10  9  3
 6  9  3  6 10  8  3  2  1 12 12  8  7  6  3  1  4  0  5  9 11 13  9 12  6 10  4  3  2 11  9 12
 9  6 12  9  2 11 12 10  4  3  3 11 13  9 12  4  1  5  0  6  8  7  6  3  9  2  1 12 10  8  6  3
 5  4  4  1 12 12 10 12 12  1 10  6  9 13 11  6  9  9  6  0  9  6 11  8  8  3  3  2  3  3  7  2
 6  3  9 12  8 10 12  1  2  6  3  5  4  6  9 13  7 11  8  9  0  1  3  6 12  4 10 12 11  2  9  3
 9  6 12  9 10  4 12  2 11  3  3  4  5  9 12 11  8 13  7  6  1  0  6  3  9 10  8 12  2  1  6  3
 8  7 10 13  3  6  4  3  6  2  8 12  9  1  2 12  3  9  6 11  3  6  0 10  5 12  9 11 12  9  4  1
11  2 13 10  9 12 11  9 12  7  1  9 12  4  5  9  6 12  3  8  6  3 10  0  2  6  3  4  6  3  1  8
11 13  2  7 12  9  1 12  9 10 11  3  6  4 10  3 12  6  9  8 12  9  5  2  0  3  6  8  3  6  1  4
12 12  9  3 13 11  6  5  4  6  9  1  2 12  9  8 11 10  2  3  4 10 12  6  3  0  1  6  7  8  3  9
12  9 12  6 11 13  9  4  5  3  6  2 11 12 12 10  2  4  1  3 10  8  9  3  6  1  0  9  8  7  3  6
10  4  8  1  9  6  7  9  6 11  5  3  3  2  1  3 12  3 12  2 12 12 11  4  8  6  9  0  6  9 10 13
12 12  9  3  5  4  6 13 11  6  9  8 10 12  9  1  4  2 10  3 11  2 12  6  3  7  8  6  0  1  3  9
12  9 12  6  4  5  9 11 13  3  6 10  4 12 12  2 10 11  8  3  2  1  9  3  6  8  7  9  1  0  3  6
13 11 11  8 12 12  2 12 12  8  2  6  9  5  4  6  9  9  6  7  9  6  4  1  1  3  3 10  3  3  0 10
10  8  4 11  6  9  5  6  9  1  7 12 12  2 11 12  3 12  3  2  3  3  1  8  4  9  6 13  9  6 10  0

closure size: 6
0 1 1 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 5 4 5 5 5 5 5 5 5
1 0 4 2 2 5 5 2 2 5 5 3 3 3 3 3 3 3 3 3 3 3 3 5 1 2 5 5 5 2 2 2
1 4 0 5 5 2 2 5 5 2 2 3 3 3 3 3 3 3 3 3 3 3 3 2 1 5 2 2 2 5 5 5
2 2 5 0 3 1 3 3 3 3 3 5 2 5 2 5 2 5 2 5 2 5 2 3 5 3 3 3 4 3 3 1
2 2 5 3 0 3 1 3 3 3 3 2 5 2 5 5 2 2 5 2 2 5 5 4 5 1 3 3 3 3 3 3
2 5 2 1 3 0 3 3 3 3 3 5 5 2 2 5 5 2 5 5 2 2 2 3 5 3 3 3 1 3 3 4
2 5 2 3 1 3 0 3 3 3 3 2 5 5 5 2 2 2 2 5 5 5 2 1 5 4 3 3 3 3 3 3
2 2 5 3 3 3 3 0 3 1 3 2 2 2 5 2 5 5 5 5 5 2 2 3 5 3 4 3 3 1 3 3
2 2 5 3 3 3 3 3 0 3 1 5 5 5 2 2 5 2 2 2 5 2 5 3 5 3 3 4 3 3 1 3
2 5 2 3 3 3 3 1 3 0 3 2 2 5 5 5 5 5 2 2 2 2 5 3 5 3 1 3 3 4 3 3
2 5 2 3 3 3 3 3 1 3 0 5 2 2 2 2 2 5 5 2 5 5 5 3 5 3 3 1 3 3 4 3
3 3 3 5 2 5 2 2 5 2 5 0 3 1 4 3 3 3 1 3 3 3 3 5 3 5 5 2 2 5 2 2
3 3 3 2 5 5 5 2 5 2 2 3 0 3 3 1 3 4 3 3 1 3 3 2 3 2 5 2 5 5 5 2
3 3 3 5 2 2 5 2 5 5 2 1 3 0 1 3 3 3 4 3 3 3 3 5 3 2 5 2 2 2 5 5
3 3 3 2 5 2 5 5 2 5 2 4 3 1 0 3 3 3 1 3 3 3 3 2 3 2 2 5 5 2 5 5
3 3 3 5 5 5 2 2 2 5 2 3 1 3 3 0 3 1 3 3 4 3 3 2 3 5 5 5 2 2 5 2
3 3 3 2 2 5 2 5 5 5 2 3 3 3 3 3 0 3 3 1 3 4 1 5 3 5 2 2 5 2 5 2
3 3 3 5 2 2 2 5 2 5 5 3 4 3 3 1 3 0 3 3 1 3 3 5 3 5 2 5 2 2 2 5
3 3 3 2 5 5 2 5 2 2 5 1 3 4 1 3 3 3 0 3 3 3 3 2 3 5 2 5 5 5 2 2
3 3 3 5 2 5 5 5 2 2 2 3 3 3 3 3 1 3 3 0 3 1 4 5 3 2 2 5 2 5 5 2
3 3 3 2 2 2 5 5 5 2 5 3 1 3 3 4 3 1 3 3 0 3 3 5 3 2 2 2 5 5 2 5
3 3 3 5 5 2 5 2 2 2 5 3 3 3 3 3 4 3 3 1 3 0 1 2 3 2 5 5 2 5 2 5
3 3 3 2 5 2 2 2 5 5 5 3 3 3 3 3 1 3 3 4 3 1 0 2 3 5 5 2 5 2 2 5
5 5 2 3 4 3 1 3 3 3 3 5 2 5 2 2 5 5 2 5 5 2 2 0 2 1 3 3 3 3 3 3
4 1 1 5 5 5 5 5 5 5 5 3 3 3 3 3 3 3 3 3 3 3 3 2 0 2 2 2 2 2 2 2
5 2 5 3 1 3 4 3 3 3 3 5 2 2 2 5 5 5 5 2 2 2 5 1 2 0 3 3 3 3 3 3
5 5 2 3 3 3 3 4 3 1 3 5 5 5 2 5 2 2 2 2 2 5 5 3 2 3 0 3 3 1 3 3
5 5 2 3 3 3 3 3 4 3 1 2 2 2 5 5 2 5 5 5 2 5 2 3 2 3 3 0 3 3 1 3
5 5 2 4 3 1 3 3 3 3 3 2 5 2 5 2 5 2 5 2 5 2 5 3 2 3 3 3 0 3 3 1
5 2 5 3 3 3 3 1 3 4 3 5 5 2 2 2 2 2 5 5 5 5 2 3 2 3 1 3 3 0 3 3
5 2 5 3 3 3 3 3 1 3 4 2 5 5 5 5 5 2 2 5 2 2 2 3 2 3 3 1 3 3 0 3
5 2 5 1 3 4 3 3 3 3 3 2 2 5 5 2 2 5 2 2 5 5 5 3 2 3 3 3 1 3 3 0

closure size: 14
 0  2  4  3  3  1  1  1  1  5  5  6  7  7  7  7  6 11 11 10 12  9 13 10 12  9  9 12  8 13  9 12
 2  0  8  6  6  1  1  1  1 11 11  3  7  7  7  7  3  5  5 13 12  9 10 13 12  9  9 12  4 10  9 12
 4  8  0  5  5  7  7  7  7  3  3 11  1  1  1  1 11  6  6 13  9 12 10 13  9 12 12  9  2 10 12  9
 3  6  5  0 10  9  1  9  1  4 13 13 12  7 12  7  2 10  8 11  9  1  5  3  9 12  1  7 11  6 12  7
 3  6  5 10  0  1  9  1  9 13  4  2  7 12  7 12 13  8 10  3  7 12  6 11  7  1 12  9 11  5  1  9
 1  1  7  9  1  0  3  2  6 12  7  1  8 11  4  5  9  7 12  9 11 10  9 12  5  3 13 10  7 12  6 13
 1  1  7  1  9  3  0  6  2  7 12  9 11  8  5  4  1 12  7 12 10  3 12  9 13 10  6 11  7  9 13  5
 1  1  7  9  1  2  6  0  3 12  7  1  4  5  8 11  9  7 12  9  5 13  9 12 11  6 10 13  7 12  3 10
 1  1  7  1  9  6  2  3  0  7 12  9  5  4 11  8  1 12  7 12 13  6 12  9 10 13  3  5  7  9 10 11
 5 11  3  4 13 12  7 12  7  0 10 10  9  1  9  1  8 13  2  6 12  7  3  5 12  9  7  1  6 11  9  1
 5 11  3 13  4  7 12  7 12 10  0  8  1  9  1  9 10  2 13  5  1  9 11  6  1  7  9 12  6  3  7 12
 6  3 11 13  2  1  9  1  9 10  8  0  7 12  7 12 10  4 13  6  7 12  3  5  7  1 12  9  5 11  1  9
 7  7  1 12  7  8 11  4  5  9  1  7  0  3  2  6 12  1  9 12  3 10 12  9  6 11 13 10  1  9  5 13
 7  7  1  7 12 11  8  5  4  1  9 12  3  0  6  2  7  9  1  9 10 11  9 12 13 10  5  3  1 12 13  6
 7  7  1 12  7  4  5  8 11  9  1  7  2  6  0  3 12  1  9 12  6 13 12  9  3  5 10 13  1  9 11 10
 7  7  1  7 12  5  4 11  8  1  9 12  6  2  3  0  7  9  1  9 13  5  9 12 10 13 11  6  1 12 10  3
 6  3 11  2 13  9  1  9  1  8 10 10 12  7 12  7  0 13  4  5  9  1 11  6  9 12  1  7  5  3 12  7
11  5  6 10  8  7 12  7 12 13  2  4  1  9  1  9 13  0 10 11  1  9  5  3  1  7  9 12  3  6  7 12
11  5  6  8 10 12  7 12  7  2 13 13  9  1  9  1  4 10  0  3 12  7  6 11 12  9  7  1  3  5  9  1
10 13 13 11  3  9 12  9 12  6  5  6 12  9 12  9  5 11  3  0  7  7  2  8  7  1  7  1 10  4  1  1
12 12  9  9  7 11 10  5 13 12  1  7  3 10  6 13  9  1 12  7  0  3  7  1  2  8  6 11  9  1  4  5
 9  9 12  1 12 10  3 13  6  7  9 12 10 11 13  5  1  9  7  7  3  0  7  1  6 11  2  8 12  1  5  4
13 10 10  5  6  9 12  9 12  3 11  3 12  9 12  9 11  5  6  2  7  7  0  4  7  1  7  1 13  8  1  1
10 13 13  3 11 12  9 12  9  5  6  5  9 12  9 12  6  3 11  8  1  1  4  0  1  7  1  7 10  2  7  7
12 12  9  9  7  5 13 11 10 12  1  7  6 13  3 10  9  1 12  7  2  6  7  1  0  4  3  5  9  1  8 11
 9  9 12 12  1  3 10  6 13  9  7  1 11 10  5 13 12  7  9  1  8 11  1  7  4  0  5  3 12  7  2  6
 9  9 12  1 12 13  6 10  3  7  9 12 13  5 10 11  1  9  7  7  6  2  7  1  3  5  0  4 12  1 11  8
12 12  9  7  9 10 11 13  5  1 12  9 10  3 13  6  7 12  1  1 11  8  1  7  5  3  4  0  9  7  6  2
 8  4  2 11 11  7  7  7  7  6  6  5  1  1  1  1  5  3  3 10  9 12 13 10  9 12 12  9  0 13 12  9
13 10 10  6  5 12  9 12  9 11  3 11  9 12  9 12  3  6  5  4  1  1  8  2  1  7  1  7 13  0  7  7
 9  9 12 12  1  6 13  3 10  9  7  1  5 13 11 10 12  7  9  1  4  5  1  7  8  2 11  6 12  7  0  3
12 12  9  7  9 13  5 10 11  1 12  9 13  6 10  3  7 12  1  1  5  4  1  7 11  6  8  2  9  7  3  0

closure size: 14
 0  2  1  4  3  3  1  1  1  5  5  7  6  7  7  6  7  8 10 12 12 13 10  9  9 12 12 11 11 13  9  9
 2  0  1  8  6  6  1  1  1 11 11  7  3  7  7  3  7  4 10 12 12 13 10  9  9 12 12  5  5 13  9  9
 1  1  0  7  9  1  2  3  6  7 12  8  1  4 11  9  5  7  9  5 13 12  9  6 10 11 13 12  7 12  3 10
 4  8  7  0  5  5  7  7  7  3  3  1 11  1  1 11  1  2 13  9  9 10 13 12 12  9  9  6  6 10 12 12
 3  6  9  5  0 10  9  1  1 13  4 12 10 12  7  2  7 11  6 12  7  5  3  9  1 12  7  8 13 11  9  1
 3  6  1  5 10  0  1  9  9  4 13  7  2  7 12 10 12 11  3  7 12 11  6  1  9  7 12 13  8  5  1  9
 1  1  2  7  9  1  0  6  3  7 12  4  1  8  5  9 11  7  9 11 13 12  9  3 10  5 13 12  7 12  6 10
 1  1  3  7  1  9  6  0  2 12  7 11  9  5  8  1  4  7  9 13  5 12  9 10  6 13 11  7 12 12 10  3
 1  1  6  7  1  9  3  2  0 12  7  5  9 11  4  1  8  7  9 13 11 12  9 10  3 13  5  7 12 12 10  6
 5 11  7  3 13  4  7 12 12  0 10  1  8  1  9 13  9  6  5  1  9  6 11  7 12  1  9 10  2  3  7 12
 5 11 12  3  4 13 12  7  7 10  0  9 13  9  1  8  1  6 11  9  1  3  5 12  7  9  1  2 10  6 12  7
 7  7  8  1 12  7  4 11  5  1  9  0  7  2  3 12  6  1 12  6 10  9 12  5 13  3 10  9  1  9 11 13
 6  3  1 11 10  2  1  9  9  8 13  7  0  7 12 10 12  5  6  7 12  5  3  1  9  7 12 13  4 11  1  9
 7  7  4  1 12  7  8  5 11  1  9  2  7  0  6 12  3  1 12  3 10  9 12 11 13  6 10  9  1  9  5 13
 7  7 11  1  7 12  5  8  4  9  1  3 12  6  0  7  2  1 12 10  6  9 12 13  5 10  3  1  9  9 13 11
 6  3  9 11  2 10  9  1  1 13  8 12 10 12  7  0  7  5  3 12  7 11  6  9  1 12  7  4 13  5  9  1
 7  7  5  1  7 12 11  4  8  9  1  6 12  3  2  7  0  1 12 10  3  9 12 13 11 10  6  1  9  9 13  5
 8  4  7  2 11 11  7  7  7  6  6  1  5  1  1  5  1  0 13  9  9 10 13 12 12  9  9  3  3 10 12 12
10 10  9 13  6  3  9  9  9  5 11 12  6 12 12  3 12 13  0  7  7  8  2  1  1  7  7  5 11  4  1  1
12 12  5  9 12  7 11 13 13  1  9  6  7  3 10 12 10  9  7  0  6  1  7  8  5  2  3  9  1  1  4 11
12 12 13  9  7 12 13  5 11  9  1 10 12 10  6  7  3  9  7  6  0  1  7  5  8  3  2  1  9  1 11  4
13 13 12 10  5 11 12 12 12  6  3  9  5  9  9 11  9 10  8  1  1  0  4  7  7  1  1  6  3  2  7  7
10 10  9 13  3  6  9  9  9 11  5 12  3 12 12  6 12 13  2  7  7  4  0  1  1  7  7 11  5  8  1  1
 9  9  6 12  9  1  3 10 10  7 12  5  1 11 13  9 13 12  1  8  5  7  1  0  6  4 11 12  7  7  2  3
 9  9 10 12  1  9 10  6  3 12  7 13  9 13  5  1 11 12  1  5  8  7  1  6  0 11  4  7 12  7  3  2
12 12 11  9 12  7  5 13 13  1  9  3  7  6 10 12 10  9  7  2  3  1  7  4 11  0  6  9  1  1  8  5
12 12 13  9  7 12 13 11  5  9  1 10 12 10  3  7  6  9  7  3  2  1  7 11  4  6  0  1  9  1  5  8
11  5 12  6  8 13 12  7  7 10  2  9 13  9  1  4  1  3  5  9  1  6 11 12  7  9  1  0 10  3 12  7
11  5  7  6 13  8  7 12 12  2 10  1  4  1  9 13  9  3 11  1  9  3  5  7 12  1  9 10  0  6  7 12
13 13 12 10 11  5 12 12 12  3  6  9 11  9  9  5  9 10  4  1  1  2  8  7  7  1  1  3  6  0  7  7
 9  9  3 12  9  1  6 10 10  7 12 11  1  5 13  9 13 12  1  4 11  7  1  2  3  8  5 12  7  7  0  6
 9  9 10 12  1  9 10  3  6 12  7 13  9 13 11  1  5 12  1 11  4  7  1  3  2  5  8  7 12  7  6  0

closure size: 9
0 1 2 3 2 2 2 4 2 4 2 5 5 5 5 5 5 8 8 8 8 8 7 8 8 6 8 8 8 7 8 8
1 0 2 6 2 2 2 7 2 7 2 5 5 5 5 5 5 8 8 8 8 8 4 8 8 3 8 8 8 4 8 8
2 2 0 5 5 1 5 8 5 8 5 3 2 2 6 2 2 8 7 8 8 8 8 4 7 5 8 8 8 8 4 8
3 6 5 0 5 5 5 4 5 4 5 2 2 2 2 2 2 8 8 8 8 8 7 8 8 1 8 8 8 7 8 8
2 2 5 5 0 5 1 8 5 8 5 2 2 3 2 2 6 8 8 7 8 8 8 8 8 5 4 7 8 8 8 4
2 2 1 5 5 0 5 8 5 8 5 6 2 2 3 2 2 8 4 8 8 8 8 7 4 5 8 8 8 8 7 8
2 2 5 5 1 5 0 8 5 8 5 2 2 6 2 2 3 8 8 4 8 8 8 8 8 5 7 4 8 8 8 7
4 7 8 4 8 8 8 0 8 3 8 8 8 8 8 8 8 5 2 2 5 2 1 2 5 7 2 5 2 6 5 5
2 2 5 5 5 5 5 8 0 8 1 2 3 2 2 6 2 7 8 8 4 7 8 8 8 5 8 8 4 8 8 8
4 7 8 4 8 8 8 3 8 0 8 8 8 8 8 8 8 2 5 5 2 5 6 5 2 7 5 2 5 1 2 2
2 2 5 5 5 5 5 8 1 8 0 2 6 2 2 3 2 4 8 8 7 4 8 8 8 5 8 8 7 8 8 8
5 5 3 2 2 6 2 8 2 8 2 0 5 5 1 5 5 8 7 8 8 8 8 4 7 2 8 8 8 8 4 8
5 5 2 2 2 2 2 8 3 8 6 5 0 5 5 1 5 7 8 8 4 7 8 8 8 2 8 8 4 8 8 8
5 5 2 2 3 2 6 8 2 8 2 5 5 0 5 5 1 8 8 7 8 8 8 8 8 2 4 7 8 8 8 4
5 5 6 2 2 3 2 8 2 8 2 1 5 5 0 5 5 8 4 8 8 8 8 7 4 2 8 8 8 8 7 8
5 5 2 2 2 2 2 8 6 8 3 5 1 5 5 0 5 4 8 8 7 4 8 8 8 2 8 8 7 8 8 8
5 5 2 2 6 2 3 8 2 8 2 5 5 1 5 5 0 8 8 4 8 8 8 8 8 2 7 4 8 8 8 7
8 8 8 8 8 8 8 5 7 2 4 8 7 8 8 4 8 0 2 2 1 3 5 2 5 8 2 5 6 2 5 5
8 8 7 8 8 4 8 2 8 5 8 7 8 8 4 8 8 2 0 5 2 5 2 1 3 8 5 2 5 5 6 2
8 8 8 8 7 8 4 2 8 5 8 8 8 7 8 8 4 2 5 0 2 5 2 5 2 8 1 3 5 5 2 6
8 8 8 8 8 8 8 5 4 2 7 8 4 8 8 7 8 1 2 2 0 6 5 2 5 8 2 5 3 2 5 5
8 8 8 8 8 8 8 2 7 5 4 8 7 8 8 4 8 3 5 5 6 0 2 5 2 8 5 2 1 5 2 2
7 4 8 7 8 8 8 1 8 6 8 8 8 8 8 8 8 5 2 2 5 2 0 2 5 4 2 5 2 3 5 5
8 8 4 8 8 7 8 2 8 5 8 4 8 8 7 8 8 2 1 5 2 5 2 0 6 8 5 2 5 5 3 2
8 8 7 8 8 4 8 5 8 2 8 7 8 8 4 8 8 5 3 2 5 2 5 6 0 8 2 5 2 2 1 5
6 3 5 1 5 5 5 7 5 7 5 2 2 2 2 2 2 8 8 8 8 8 4 8 8 0 8 8 8 4 8 8
8 8 8 8 4 8 7 2 8 5 8 8 8 4 8 8 7 2 5 1 2 5 2 5 2 8 0 6 5 5 2 3
8 8 8 8 7 8 4 5 8 2 8 8 8 7 8 8 4 5 2 3 5 2 5 2 5 8 6 0 2 2 5 1
8 8 8 8 8 8 8 2 4 5 7 8 4 8 8 7 8 6 5 5 3 1 2 5 2 8 5 2 0 5 2 2
7 4 8 7 8 8 8 6 8 1 8 8 8 8 8 8 8 2 5 5 2 5 3 5 2 4 5 2 5 0 2 2
8 8 4 8 8 7 8 5 8 2 8 4 8 8 7 8 8 5 6 2 5 2 5 3 1 8 2 5 2 2 0 5
8 8 8 8 4 8 7 5 8 2 8 8 8 4 8 8 7 5 2 6 5 2 5 2 5 8 3 1 2 2 5 0

closure size: 4
0 1 1 1 1 1 1 1 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3
1 0 1 1 1 1 1 1 3 3 3 3 3 3 3 2 3 3 3 3 3 2 3 3 3 2 3 3 3 3 3 3
1 1 0 1 1 1 1 1 3 3 3 2 3 3 3 3 3 3 2 2 3 3 3 3 3 3 3 3 3 3 3 3
1 1 1 0 1 1 1 1 3 3 3 3 3 3 2 3 3 3 3 3 3 3 3 3 2 3 3 3 3 2 3 3
1 1 1 1 0 1 1 1 3 3 3 3 2 3 3 3 3 2 3 3 3 3 3 3 3 3 3 3 2 3 3 3
1 1 1 1 1 0 1 1 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 2 3 3 3 3 3 3 2 3
1 1 1 1 1 1 0 1 3 3 3 3 3 3 3 3 2 3 3 3 2 3 3 3 3 3 3 2 3 3 3 3
1 1 1 1 1 1 1 0 3 3 3 3 3 2 3 3 3 3 3 3 3 3 3 3 3 3 2 3 3 3 3 2
2 3 3 3 3 3 3 3 0 2 2 1 3 3 3 1 3 1 3 3 3 3 3 3 1 3 3 1 3 3 1 1
2 3 3 3 3 3 3 3 2 0 2 3 3 3 1 3 1 3 1 3 3 3 3 1 3 1 1 3 1 3 3 3
2 3 3 3 3 3 3 3 2 2 0 3 1 1 3 3 3 3 3 1 1 1 1 3 3 3 3 3 3 1 3 3
3 3 2 3 3 3 3 3 1 3 3 0 3 3 3 1 3 1 2 2 3 3 3 3 1 3 3 1 3 3 1 1
3 3 3 3 2 3 3 3 3 3 1 3 0 1 3 3 3 2 3 1 1 1 1 3 3 3 3 3 2 1 3 3
3 3 3 3 3 3 3 2 3 3 1 3 1 0 3 3 3 3 3 1 1 1 1 3 3 3 2 3 3 1 3 2
3 3 3 2 3 3 3 3 3 1 3 3 3 3 0 3 1 3 1 3 3 3 3 1 2 1 1 3 1 2 3 3
3 2 3 3 3 3 3 3 1 3 3 1 3 3 3 0 3 1 3 3 3 2 3 3 1 2 3 1 3 3 1 1
3 3 3 3 3 3 2 3 3 1 3 3 3 3 1 3 0 3 1 3 2 3 3 1 3 1 1 2 1 3 3 3
3 3 3 3 2 3 3 3 1 3 3 1 2 3 3 1 3 0 3 3 3 3 3 3 1 3 3 1 2 3 1 1
3 3 2 3 3 3 3 3 3 1 3 2 3 3 1 3 1 3 0 2 3 3 3 1 3 1 1 3 1 3 3 3
3 3 2 3 3 3 3 3 3 3 1 2 1 1 3 3 3 3 2 0 1 1 1 3 3 3 3 3 3 1 3 3
3 3 3 3 3 3 2 3 3 3 1 3 1 1 3 3 2 3 3 1 0 1 1 3 3 3 3 2 3 1 3 3
3 2 3 3 3 3 3 3 3 3 1 3 1 1 3 2 3 3 3 1 1 0 1 3 3 2 3 3 3 1 3 3
3 3 3 3 3 2 3 3 3 3 1 3 1 1 3 3 3 3 3 1 1 1 0 2 3 3 3 3 3 1 2 3
3 3 3 3 3 2 3 3 3 1 3 3 3 3 1 3 1 3 1 3 3 3 2 0 3 1 1 3 1 3 2 3
3 3 3 2 3 3 3 3 1 3 3 1 3 3 2 1 3 1 3 3 3 3 3 3 0 3 3 1 3 2 1 1
3 2 3 3 3 3 3 3 3 1 3 3 3 3 1 2 1 3 1 3 3 2 3 1 3 0 1 3 1 3 3 3
3 3 3 3 3 3 3 2 3 1 3 3 3 2 1 3 1 3 1 3 3 3 3 1 3 1 0 3 1 3 3 2
3 3 3 3 3 3 2 3 1 3 3 1 3 3 3 1 2 1 3 3 2 3 3 3 1 3 3 0 3 3 1 1
3 3 3 3 2 3 3 3 3 1 3 3 2 3 1 3 1 2 1 3 3 3 3 1 3 1 1 3 0 3 3 3
3 3 3 2 3 3 3 3 3 3 1 3 1 1 2 3 3 3 3 1 1 1 1 3 2 3 3 3 3 0 3 3
3 3 3 3 3 2 3 3 1 3 3 1 3 3 3 1 3 1 3 3 3 3 2 2 1 3 3 1 3 3 0 1
3 3 3 3 3 3 3 2 1 3 3 1 3 2 3 1 3 1 3 3 3 3 3 3 1 3 2 1 3 3 1 0

closure size: 24
 0  1  5  9  2  9  7  3  8  4  6 15 10 14 12 13 11 18 17 18 22 20 23 17 21 22 16 20 19 23 21 19
 1  0  4 17  3 17  6  2 16  5  7 14 11 15 13 12 10 19  9 19 20 22 21  9 23 20  8 22 18 21 23 18
 5  3  0 22 15 22 10  1 13 14 12  2  7  4  6  8 16 23 19 23  9 21 18 19 20  9 11 21 17 18 20 17
 9 18 21  0 17  8 23 20  9 19 22 23 17 22 19 21 20 16 10  1  6  3 15  2 13 14 18 11  4  7  5 12
 2  4 15 18  0 18 13 14 10  1 11  5  8  3 16  7  6  9 20  9 23 17 22 20 19 23 12 17 21 22 19 21
 9 18 21  8 17  0 23 20  9 19 22 23 17 22 19 21 20  1  2 16 14 11  7 10  5  6 18  3 12 15 13  4
 7  6 10 23 13 23  0 12 15 11  1  8  5 16  3  2  4 22 21 22 18 19  9 21 17 18 14 19 20  9 17 20
 4  2  1 20 14 20 11  0 12 15 13  3  6  5  7 16  8 21 18 21 17 23 19 18 22 17 10 23  9 19 22  9
 8 16 13  9 10  9 15 11  0 12 14  7  2  6  4  5  3 18 17 18 22 20 23 17 21 22  1 20 19 23 21 19
 3  5 14 19  1 19 12 15 11  0 10  4 16  2  8  6  7 17 22 17 21  9 20 22 18 21 13  9 23 20 18 23
 6  7 11 21 12 21  1 13 14 10  0 16  4  8  2  3  5 20 23 20 19 18 17 23  9 19 15 18 22 17  9 22
15 14  2 23  5 23  8  4  7  3 16  0 13  1 11 10 12 22 21 22 18 19  9 21 17 18  6 19 20  9 17 20
10 12  7 18  8 18  5  6  2 16  3 13  0 11  1 15 14  9 20  9 23 17 22 20 19 23  4 17 21 22 19 21
14 15  3 21  4 21 16  5  6  2  8  1 12  0 10 11 13 20 23 20 19 18 17 23  9 19  7 18 22 17  9 22
11 13  6 19 16 19  4  7  3  8  2 12  1 10  0 14 15 17 22 17 21  9 20 22 18 21  5  9 23 20 18 23
13 11  8 22  7 22  2 16  5  6  4 10 15 12 14  0  1 23 19 23  9 21 18 19 20  9  3 21 17 18 20 17
12 10 16 20  6 20  3  8  4  7  5 11 14 13 15  1  0 21 18 21 17 23 19 18 22 17  2 23  9 19 22  9
17 19 23 16  9  1 21 22 17 18 20 21  9 20 18 23 22  0  3  8 15 10  6 11  4  7 19  2 13 14 12  5
18  9 19 10 20  2 22 17 18 21 23 22 20 23 21 19 17  4  0 12  3  6 13  8 15 11  9 14 16  5  7  1
17 19 23  1  9 16 21 22 17 18 20 21  9 20 18 23 22  8 11  0  7  2 14  3 12 15 19 10  5  6  4 13
21 20  9  6 23 14 17 18 21 22 19 17 23 19 22  9 18 15  4  7  0 13 16 12  3  8 20  5 10  1 11  2
20 21 22  4 18 12 19 23 20  9 17 19 18 17  9 22 23 10  6  2 13  0  3 14 16  5 21  8 15 11  1  7
23 22 17 15 21  7  9 19 23 20 18  9 21 18 20 17 19  6 13 14 16  4  0  5 10  1 22 12  3  8  2 11
18  9 19  2 20 10 22 17 18 21 23 22 20 23 21 19 17 12  8  4 11 14  5  0  7  3  9  6  1 13 15 16
22 23 20 13 19  5 18 21 22 17  9 18 19  9 17 20 21  3 15 11  4 16 10  7  0 12 23  1  6  2  8 14
21 20  9 14 23  6 17 18 21 22 19 17 23 19 22  9 18  7 12 15  8  5  1  4 11  0 20 13  2 16  3 10
16  8 12 17 11 17 14 10  1 13 15  6  3  7  5  4  2 19  9 19 20 22 21  9 23 20  0 22 18 21 23 18
20 21 22 12 18  4 19 23 20  9 17 19 18 17  9 22 23  2 14 10  5  8 11  6  1 13 21  0  7  3 16 15
19 17 18  3 22 11 20  9 19 23 21 20 22 21 23 18  9 13 16  5 10 15  4  1  6  2 17  7  0 12 14  8
23 22 17  7 21 15  9 19 23 20 18  9 21 18 20 17 19 14  5  6  1 12  8 13  2 16 22  4 11  0 10  3
22 23 20  5 19 13 18 21 22 17  9 18 19  9 17 20 21 11  7  3 12  1  2 15  8  4 23 16 14 10  0  6
19 17 18 11 22  3 20  9 19 23 21 20 22 21 23 18  9  5  1 13  2  7 12 16 14 10 17 15  8  4  6  0

closure size: 32
 0  1  5  8  6 10  7  3  9  2  4 11 13 16 14 12 15 21 26 24 28 25 22 30 18 23 19 27 31 17 29 20
 1  0  4 17  7 19  6  2 18  3  5 12 14 15 13 11 16 20 27 25 29 24 23 31  9 22 10 26 30  8 28 21
 5  3  0 15 16 29 11  1 24 12 14  7 17  6  4  2  8 26 21  9 23 30 18 25 22 28 27 19 20 13 10 31
 7 17 15  0  1 31 13 16 10 14 12  5  3  4  6  8  2  9 23 26 21 28 27 19 20 30 18 25 22 11 24 29
 6  8 16  1  0 30 14 15 19 13 11  4  2  5  7 17  3 18 22 27 20 29 26 10 21 31  9 24 23 12 25 28
10 20 30 31 29  0  9 28  7 26 27 19 21 25 24 22 23 13  2 14  3 16 12  5 17 15 11  4  8 18  6  1
 8  6 11 12 14  9  0 13 21 15 16 17  7  3  2  4  5 28 24 29 25 27 31 23 19 26 30 22 10  1 20 18
 4  2  1 16 15 28 12  0 25 11 13  6  8  7  5  3 17 27 20 18 22 31  9 24 23 29 26 10 21 14 19 30
 9 18 23 10 20  8 21 25  0 24 22 30 28 27 29 31 26  7 15  2 13  3  4 11  1  5 17 16 12 19 14  6
 2  4 13 14 12 26 15 11 23  0  1  3  5 17  8  6  7 30 10 31 19 18 29 21 25  9 28 20 24 16 22 27
 3  5 14 13 11 27 16 12 22  1  0  2  4  8 17  7  6 31 19 30 10  9 28 20 24 18 29 21 25 15 23 26
11 13  8  5  3 20 17  6 29  4  2  0  1 14 16 15 12 24 28 21 26 23 19 27 31 25 22 30 18  7  9 10
12 14 17  4  2 21  8  7 28  5  3  1  0 13 15 16 11 25 29 20 27 22 10 26 30 24 23 31  9  6 18 19
16 15  6  3  5 25  4  8 27 17  7 14 12  0 11 13  1 22 18 19 31 10 21 29 26 20 24  9 28  2 30 23
14 12  3  6  8 23  2  5 30  7 17 16 15 11  0  1 13 19 31 22 18 20 24  9 28 10 21 29 26  4 27 25
13 11  2  7 17 22  3  4 31  6  8 15 16 12  1  0 14 10 30 23  9 21 25 18 29 19 20 28 27  5 26 24
15 16  7  2  4 24  5 17 26  8  6 13 11  1 12 14  0 23  9 10 30 19 20 28 27 21 25 18 29  3 31 22
21 19 26  9 18 12 28 27  8 29 31 23 25 22 20 10 24  0  5 15  7 13 16 17  6 11  1  3  4 30  2 14
26 27 21 24 22  2 23 19 15 10 20 28 30 18 31 29  9  5  0  8 11 17  6 13 16  7  3  1 14 25 12  4
23 25  9 26 27 14 30 18  2 31 29 21 19 20 22 24 10 15  7  0  5 11  1  3  4 13 16 17  6 28  8 12
28 30 24 21 19  4 25 22 12 20 10 26 27 31 18  9 29  8 11  5  0  7  3  1 14 17  6 13 16 23 15  2
25 23 29 28 30 16 27 31  4 18  9 24 22 10 19 21 20 12 17 11  8  0 13  6  2  1 14  7  3 26  5 15
22 24 18 27 26 13 31  9  3 30 28 20 10 21 23 25 19 16  6  1  4 12  0  2  5 14 15  8  7 29 17 11
29 31 25 20 10  5 24 23 11 21 19 27 26 30  9 18 28 17 12  4  1  6  2  0 13  8  7 14 15 22 16  3
18  9 22 19 21 17 20 24  1 25 23 31 29 26 28 30 27  6 16  3 14  2  5 12  0  4  8 15 11 10 13  7
24 22 28 29 31 15 26 30  5  9 18 25 23 19 10 20 21 11  8 12 17  1 14  7  3  0 13  6  2 27  4 16
20 10 27 18  9 11 29 26 17 28 30 22 24 23 21 19 25  1  4 16  6 14 15  8  7 12  0  2  5 31  3 13
27 26 20 25 23  3 22 10 16 19 21 29 31  9 30 28 18  4  1 17 12  8  7 14 15  6  2  0 13 24 11  5
31 29 19 22 24  7 10 21 13 23 25 18  9 28 26 27 30  3 14  6 16  4  8 15 11  2  5 12  0 20  1 17
17  7 12 11 13 18  1 14 20 16 15  8  6  2  3  5  4 29 25 28 24 26 30 22 10 27 31 23 19  0 21  9
30 28 10 23 25  6 19 20 14 22 24  9 18 29 27 26 31  2 13  7 15  5 17 16 12  3  4 11  1 21  0  8
19 21 31 30 28  1 18 29  6 27 26 10 20 24 25 23 22 14  3 13  2 15 11  4  8 16 12  5 17  9  7  0

closure size: 7
0 2 1 2 2 1 1 2 2 1 2 2 2 3 3 6 5 4 4 6 6 6 4 4 4 4 6 6 6 4 4 6
2 0 2 6 3 2 4 6 1 4 6 1 6 2 4 4 4 1 5 2 2 2 6 6 1 3 4 4 4 6 6 2
1 2 0 4 2 3 5 2 4 3 4 4 2 1 1 6 1 2 4 6 6 6 2 2 2 4 6 6 6 4 4 6
2 6 4 0 6 2 2 1 6 4 3 6 1 4 2 2 4 6 6 2 2 4 3 5 6 6 2 4 4 1 1 4
2 3 2 6 0 2 4 6 1 4 6 1 6 2 4 2 4 1 3 4 4 4 6 6 1 5 2 2 2 6 6 4
1 2 3 2 2 0 3 4 4 5 2 4 4 1 1 6 1 2 4 6 6 6 4 4 2 4 6 6 6 2 2 6
1 4 5 2 4 3 0 4 2 3 2 2 4 1 1 6 1 4 2 6 6 6 4 4 4 2 6 6 6 2 2 6
2 6 2 1 6 4 4 0 6 2 1 6 3 4 2 4 4 6 6 2 4 2 1 1 6 6 2 4 2 3 5 4
2 1 4 6 1 4 2 6 0 2 6 3 6 2 4 2 4 5 1 2 4 4 6 6 3 1 4 4 2 6 6 2
1 4 3 4 4 5 3 2 2 0 4 2 2 1 1 6 1 4 2 6 6 6 2 2 4 2 6 6 6 4 4 6
2 6 4 3 6 2 2 1 6 4 0 6 1 4 2 4 4 6 6 4 4 2 5 3 6 6 4 2 2 1 1 2
2 1 4 6 1 4 2 6 3 2 6 0 6 2 4 4 4 3 1 4 2 2 6 6 5 1 2 2 4 6 6 4
2 6 2 1 6 4 4 3 6 2 1 6 0 4 2 2 4 6 6 4 2 4 1 1 6 6 4 2 4 5 3 2
3 2 1 4 2 1 1 4 2 1 4 2 4 0 5 6 3 4 4 6 6 6 2 2 4 4 6 6 6 2 2 6
3 4 1 2 4 1 1 2 4 1 2 4 2 5 0 6 3 2 2 6 6 6 4 4 2 2 6 6 6 4 4 6
6 4 6 2 2 6 6 4 2 6 4 4 2 6 6 0 6 4 2 1 3 5 2 4 2 4 1 1 3 4 2 1
5 4 1 4 4 1 1 4 4 1 4 4 4 3 3 6 0 2 2 6 6 6 2 2 2 2 6 6 6 2 2 6
4 1 2 6 1 2 4 6 5 4 6 3 6 4 2 4 2 0 1 4 2 2 6 6 3 1 2 2 4 6 6 4
4 5 4 6 3 4 2 6 1 2 6 1 6 4 2 2 2 1 0 4 4 4 6 6 1 3 2 2 2 6 6 4
6 2 6 2 4 6 6 2 2 6 4 4 4 6 6 1 6 4 4 0 1 1 2 4 2 2 3 5 1 2 4 3
6 2 6 2 4 6 6 4 4 6 4 2 2 6 6 3 6 2 4 1 0 3 2 4 4 2 1 1 5 4 2 1
6 2 6 4 4 6 6 2 4 6 2 2 4 6 6 5 6 2 4 1 3 0 4 2 4 2 1 1 3 2 4 1
4 6 2 3 6 4 4 1 6 2 5 6 1 2 4 2 2 6 6 2 2 4 0 3 6 6 2 4 4 1 1 4
4 6 2 5 6 4 4 1 6 2 3 6 1 2 4 4 2 6 6 4 4 2 3 0 6 6 4 2 2 1 1 2
4 1 2 6 1 2 4 6 3 4 6 5 6 4 2 2 2 3 1 2 4 4 6 6 0 1 4 4 2 6 6 2
4 3 4 6 5 4 2 6 1 2 6 1 6 4 2 4 2 1 3 2 2 2 6 6 1 0 4 4 4 6 6 2
6 4 6 2 2 6 6 2 4 6 4 2 4 6 6 1 6 2 2 3 1 1 2 4 4 4 0 3 1 2 4 5
6 4 6 4 2 6 6 4 4 6 2 2 2 6 6 1 6 2 2 5 1 1 4 2 4 4 3 0 1 4 2 3
6 4 6 4 2 6 6 2 2 6 2 4 4 6 6 3 6 4 2 1 5 3 4 2 2 4 1 1 0 2 4 1
4 6 4 1 6 2 2 3 6 4 1 6 5 2 4 4 2 6 6 2 4 2 1 1 6 6 2 4 2 0 3 4
4 6 4 1 6 2 2 5 6 4 1 6 3 2 4 2 2 6 6 4 2 4 1 1 6 6 4 2 4 3 0 2
6 2 6 4 4 6 6 4 2 6 2 4 2 6 6 1 6 4 4 3 1 1 4 2 2 2 5 3 1 4 2 0

closure size: 7
0 2 1 2 2 1 1 2 2 1 2 2 2 3 3 4 4 6 6 4 4 4 4 6 6 6 6 4 4 5 6 6
2 0 2 6 6 2 4 6 3 4 1 6 1 4 2 3 5 2 4 1 6 6 6 4 4 4 2 1 6 4 2 2
1 2 0 4 2 3 5 2 4 3 4 4 2 1 1 2 4 6 6 2 2 2 4 6 6 6 6 4 4 1 6 6
2 6 4 0 1 2 2 3 6 4 6 1 6 2 4 6 6 2 4 6 5 1 1 2 4 2 2 6 3 4 4 4
2 6 2 1 0 2 4 1 6 4 6 3 6 4 2 6 6 4 2 6 1 3 5 2 2 2 4 6 1 4 4 4
1 2 3 2 2 0 3 4 4 5 2 4 4 1 1 2 4 6 6 4 4 2 4 6 6 6 6 2 2 1 6 6
1 4 5 2 4 3 0 4 2 3 2 2 4 1 1 4 2 6 6 4 4 4 2 6 6 6 6 2 2 1 6 6
2 6 2 3 1 4 4 0 6 2 6 1 6 2 4 6 6 2 2 6 3 1 1 2 4 4 4 6 5 4 4 2
2 3 4 6 6 4 2 6 0 2 1 6 1 4 2 5 3 2 2 1 6 6 6 4 4 2 4 1 6 4 2 4
1 4 3 4 4 5 3 2 2 0 4 2 2 1 1 4 2 6 6 2 2 4 2 6 6 6 6 4 4 1 6 6
2 1 4 6 6 2 2 6 1 4 0 6 3 2 4 1 1 4 2 5 6 6 6 4 2 4 4 3 6 4 2 2
2 6 4 1 3 4 2 1 6 2 6 0 6 4 2 6 6 4 4 6 1 5 3 2 2 4 2 6 1 4 4 2
2 1 2 6 6 4 4 6 1 2 3 6 0 2 4 1 1 4 4 3 6 6 6 4 2 2 2 5 6 4 2 4
3 4 1 2 4 1 1 2 4 1 2 4 2 0 5 2 2 6 6 4 4 2 2 6 6 6 6 4 4 3 6 6
3 2 1 4 2 1 1 4 2 1 4 2 4 5 0 4 4 6 6 2 2 4 4 6 6 6 6 2 2 3 6 6
4 3 2 6 6 2 4 6 5 4 1 6 1 2 4 0 3 4 4 1 6 6 6 2 2 4 2 1 6 2 4 2
4 5 4 6 6 4 2 6 3 2 1 6 1 2 4 3 0 4 2 1 6 6 6 2 2 2 4 1 6 2 4 4
6 2 6 2 4 6 6 2 2 6 4 4 4 6 6 4 4 0 1 2 4 2 2 3 5 1 1 2 4 6 3 1
6 4 6 4 2 6 6 2 2 6 2 4 4 6 6 4 2 1 0 4 2 2 4 1 1 3 5 2 4 6 1 3
4 1 2 6 6 4 4 6 1 2 5 6 3 4 2 1 1 2 4 0 6 6 6 2 4 2 2 3 6 2 4 4
4 6 2 5 1 4 4 3 6 2 6 1 6 4 2 6 6 4 2 6 0 1 1 4 2 4 4 6 3 2 2 2
4 6 2 1 3 2 4 1 6 4 6 5 6 2 4 6 6 2 2 6 1 0 3 4 4 2 4 6 1 2 2 4
4 6 4 1 5 4 2 1 6 2 6 3 6 2 4 6 6 2 4 6 1 3 0 4 4 4 2 6 1 2 2 2
6 4 6 2 2 6 6 2 4 6 4 2 4 6 6 2 2 3 1 2 4 4 4 0 3 1 1 2 4 6 5 1
6 4 6 4 2 6 6 4 4 6 2 2 2 6 6 2 2 5 1 4 2 4 4 3 0 1 1 4 2 6 3 1
6 4 6 2 2 6 6 4 2 6 4 4 2 6 6 4 2 1 3 2 4 2 4 1 1 0 3 4 2 6 1 5
6 2 6 2 4 6 6 4 4 6 4 2 2 6 6 2 4 1 5 2 4 4 2 1 1 3 0 4 2 6 1 3
4 1 4 6 6 2 2 6 1 4 3 6 5 4 2 1 1 2 2 3 6 6 6 2 4 4 4 0 6 2 4 2
4 6 4 3 1 2 2 5 6 4 6 1 6 4 2 6 6 4 4 6 3 1 1 4 2 2 2 6 0 2 2 4
5 4 1 4 4 1 1 4 4 1 4 4 4 3 3 2 2 6 6 2 2 2 2 6 6 6 6 2 2 0 6 6
6 2 6 4 4 6 6 4 2 6 2 4 2 6 6 4 4 3 1 4 2 2 2 5 3 1 1 4 2 6 0 1
6 2 6 4 4 6 6 2 4 6 2 2 4 6 6 2 4 1 3 4 2 4 2 1 1 5 3 2 4 6 1 0

closure size: 7
0 2 1 2 2 1 1 2 2 1 2 2 2 3 3 6 5 4 4 6 6 6 4 4 4 4 6 6 6 4 4 6
2 0 2 6 1 2 4 6 3 4 6 1 6 2 4 4 4 3 5 2 2 2 6 6 1 1 4 4 4 6 6 2
1 2 0 4 2 3 5 4 2 3 4 2 4 1 1 6 1 4 4 6 6 6 2 2 4 4 6 6 6 2 2 6
2 6 4 0 6 2 2 3 6 4 1 6 1 4 2 2 4 6 6 2 2 4 1 5 6 6 2 4 4 1 3 4
2 1 2 6 0 2 4 6 1 4 6 3 6 2 4 2 4 1 1 4 4 4 6 6 3 5 2 2 2 6 6 4
1 2 3 2 2 0 3 4 4 5 2 4 4 1 1 6 1 2 4 6 6 6 4 4 2 4 6 6 6 2 2 6
1 4 5 2 4 3 0 2 4 3 2 4 2 1 1 6 1 2 2 6 6 6 4 4 2 2 6 6 6 4 4 6
2 6 4 3 6 4 2 0 6 2 1 6 1 2 4 4 4 6 6 2 4 2 1 3 6 6 2 4 2 1 5 4
2 3 2 6 1 4 4 6 0 2 6 1 6 4 2 2 4 5 3 2 4 4 6 6 1 1 4 4 2 6 6 2
1 4 3 4 4 5 3 2 2 0 4 2 2 1 1 6 1 4 2 6 6 6 2 2 4 2 6 6 6 4 4 6
2 6 4 1 6 2 2 1 6 4 0 6 3 4 2 4 4 6 6 4 4 2 5 1 6 6 4 2 2 3 1 2
2 1 2 6 3 4 4 6 1 2 6 0 6 4 2 4 4 1 1 4 2 2 6 6 5 3 2 2 4 6 6 4
2 6 4 1 6 4 2 1 6 2 3 6 0 2 4 2 4 6 6 4 2 4 3 1 6 6 4 2 4 5 1 2
3 2 1 4 2 1 1 2 4 1 4 4 2 0 5 6 3 2 4 6 6 6 2 2 2 4 6 6 6 4 4 6
3 4 1 2 4 1 1 4 2 1 2 2 4 5 0 6 3 4 2 6 6 6 4 4 4 2 6 6 6 2 2 6
6 4 6 2 2 6 6 4 2 6 4 4 2 6 6 0 6 4 2 3 1 5 2 4 2 4 1 3 1 4 2 1
5 4 1 4 4 1 1 4 4 1 4 4 4 3 3 6 0 2 2 6 6 6 2 2 2 2 6 6 6 2 2 6
4 3 4 6 1 2 2 6 5 4 6 1 6 2 4 4 2 0 3 4 2 2 6 6 1 1 2 2 4 6 6 4
4 5 4 6 1 4 2 6 3 2 6 1 6 4 2 2 2 3 0 4 4 4 6 6 1 1 2 2 2 6 6 4
6 2 6 2 4 6 6 2 2 6 4 4 4 6 6 3 6 4 4 0 1 3 2 4 2 2 1 5 1 2 4 1
6 2 6 2 4 6 6 4 4 6 4 2 2 6 6 1 6 2 4 1 0 1 2 4 4 2 3 1 5 4 2 3
6 2 6 4 4 6 6 2 4 6 2 2 4 6 6 5 6 2 4 3 1 0 4 2 4 2 1 3 1 2 4 1
4 6 2 1 6 4 4 1 6 2 5 6 3 2 4 2 2 6 6 2 2 4 0 1 6 6 2 4 4 3 1 4
4 6 2 5 6 4 4 3 6 2 1 6 1 2 4 4 2 6 6 4 4 2 1 0 6 6 4 2 2 1 3 2
4 1 4 6 3 2 2 6 1 4 6 5 6 2 4 2 2 1 1 2 4 4 6 6 0 3 4 4 2 6 6 2
4 1 4 6 5 4 2 6 1 2 6 3 6 4 2 4 2 1 1 2 2 2 6 6 3 0 4 4 4 6 6 2
6 4 6 2 2 6 6 2 4 6 4 2 4 6 6 1 6 2 2 1 3 1 2 4 4 4 0 1 3 2 4 5
6 4 6 4 2 6 6 4 4 6 2 2 2 6 6 3 6 2 2 5 1 3 4 2 4 4 1 0 1 4 2 1
6 4 6 4 2 6 6 2 2 6 2 4 4 6 6 1 6 4 2 1 5 1 4 2 2 4 3 1 0 2 4 3
4 6 2 1 6 2 4 1 6 4 3 6 5 4 2 4 2 6 6 2 4 2 3 1 6 6 2 4 2 0 1 4
4 6 2 3 6 2 4 5 6 4 1 6 1 4 2 2 2 6 6 4 2 4 1 3 6 6 4 2 4 1 0 2
6 2 6 4 4 6 6 4 2 6 2 4 2 6 6 1 6 4 4 1 3 1 4 2 2 2 5 1 3 4 2 0

closure size: 7
0 2 1 2 2 1 2 1 2 2 2 2 1 3 3 4 4 6 6 4 4 4 4 4 6 6 6 6 5 6 6 4
2 0 2 6 6 4 1 2 1 3 6 6 4 2 4 1 5 2 4 3 6 6 6 6 4 4 2 2 4 2 4 1
1 2 0 2 4 5 4 3 2 4 4 2 3 1 1 2 4 6 6 2 2 4 4 2 6 6 6 6 1 6 6 4
2 6 2 0 3 4 6 2 6 6 1 1 4 2 4 6 6 4 2 6 1 5 1 3 2 2 4 4 4 4 2 6
2 6 4 3 0 2 6 2 6 6 1 1 4 4 2 6 6 2 2 6 1 3 1 5 4 4 4 4 4 2 2 6
1 4 5 4 2 0 2 3 4 2 2 4 3 1 1 4 2 6 6 4 4 2 2 4 6 6 6 6 1 6 6 2
2 1 4 6 6 2 0 4 3 1 6 6 2 2 4 5 1 4 2 1 6 6 6 6 4 2 2 4 4 2 4 3
1 2 3 2 2 3 4 0 4 2 4 4 5 1 1 2 4 6 6 4 2 4 2 4 6 6 6 6 1 6 6 2
2 1 2 6 6 4 3 4 0 1 6 6 2 4 2 3 1 2 2 1 6 6 6 6 2 4 2 4 4 4 4 5
2 3 4 6 6 2 1 2 1 0 6 6 4 4 2 1 3 4 4 5 6 6 6 6 2 2 2 2 4 4 4 1
2 6 4 1 1 2 6 4 6 6 0 3 2 2 4 6 6 2 4 6 5 1 3 1 2 4 4 2 4 4 2 6
2 6 2 1 1 4 6 4 6 6 3 0 2 4 2 6 6 4 4 6 3 1 5 1 4 2 4 2 4 2 2 6
1 4 3 4 4 3 2 5 2 4 2 2 0 1 1 4 2 6 6 2 4 2 4 2 6 6 6 6 1 6 6 4
3 2 1 2 4 1 2 1 4 4 2 4 1 0 5 4 4 6 6 2 4 4 2 2 6 6 6 6 3 6 6 2
3 4 1 4 2 1 4 1 2 2 4 2 1 5 0 2 2 6 6 4 2 2 4 4 6 6 6 6 3 6 6 4
4 1 2 6 6 4 5 2 3 1 6 6 4 4 2 0 1 2 4 1 6 6 6 6 2 4 4 2 2 4 2 3
4 5 4 6 6 2 1 4 1 3 6 6 2 4 2 1 0 4 2 3 6 6 6 6 2 2 4 4 2 4 2 1
6 2 6 4 2 6 4 6 2 4 2 4 6 6 6 2 4 0 3 2 4 2 2 4 1 5 1 3 6 1 1 4
6 4 6 2 2 6 2 6 2 4 4 4 6 6 6 4 2 3 0 2 2 4 2 4 1 3 1 5 6 1 1 4
4 3 2 6 6 4 1 4 1 5 6 6 2 2 4 1 3 2 2 0 6 6 6 6 4 4 4 4 2 2 2 1
4 6 2 1 1 4 6 2 6 6 5 3 4 4 2 6 6 4 2 6 0 1 3 1 4 2 2 4 2 2 4 6
4 6 4 5 3 2 6 4 6 6 1 1 2 4 2 6 6 2 4 6 1 0 1 3 4 4 2 2 2 2 4 6
4 6 4 1 1 2 6 2 6 6 3 5 4 2 4 6 6 2 2 6 3 1 0 1 2 4 2 4 2 4 4 6
4 6 2 3 5 4 6 4 6 6 1 1 2 2 4 6 6 4 4 6 1 3 1 0 2 2 2 2 2 4 4 6
6 4 6 2 4 6 4 6 2 2 2 4 6 6 6 2 2 1 1 4 4 4 2 2 0 1 3 1 6 5 3 4
6 4 6 2 4 6 2 6 4 2 4 2 6 6 6 4 2 5 3 4 2 4 4 2 1 0 1 3 6 1 1 2
6 2 6 4 4 6 2 6 2 2 4 4 6 6 6 4 4 1 1 4 2 2 2 2 3 1 0 1 6 3 5 4
6 2 6 4 4 6 4 6 4 2 2 2 6 6 6 2 4 3 5 4 4 2 4 2 1 3 1 0 6 1 1 2
5 4 1 4 4 1 4 1 4 4 4 4 1 3 3 2 2 6 6 2 2 2 2 2 6 6 6 6 0 6 6 2
6 2 6 4 2 6 2 6 4 4 4 2 6 6 6 4 4 1 1 2 2 2 4 4 5 1 3 1 6 0 3 2
6 4 6 2 2 6 4 6 4 4 2 2 6 6 6 2 2 1 1 2 4 4 4 4 3 1 5 1 6 3 0 2
4 1 4 6 6 2 3 2 5 1 6 6 4 2 4 3 1 4 4 1 6 6 6 6 4 2 4 2 2 2 2 0

closure size: 7
0 2 1 2 2 1 2 2 2 1 2 2 1 3 3 4 6 6 5 4 4 4 4 6 6 6 6 4 4 4 6 6
2 0 2 6 6 4 1 1 6 4 6 3 2 4 2 6 2 4 4 1 1 6 5 4 2 4 2 6 3 6 2 4
1 2 0 4 4 5 4 2 4 3 2 2 3 1 1 2 6 6 1 2 4 2 4 6 6 6 6 4 4 2 6 6
2 6 4 0 1 2 6 6 1 2 3 6 4 2 4 5 2 2 4 6 6 1 6 4 4 4 2 3 6 1 2 4
2 6 4 1 0 2 6 6 3 4 1 6 2 2 4 1 4 4 4 6 6 3 6 2 2 4 4 1 6 5 2 2
1 4 5 2 2 0 2 4 2 3 4 4 3 1 1 4 6 6 1 4 2 4 2 6 6 6 6 2 2 4 6 6
2 1 4 6 6 2 0 3 6 4 6 1 2 4 2 6 4 2 4 5 3 6 1 2 4 2 2 6 1 6 4 4
2 1 2 6 6 4 3 0 6 4 6 1 2 2 4 6 2 2 4 3 5 6 1 4 4 2 4 6 1 6 4 2
2 6 4 1 3 2 6 6 0 2 1 6 4 4 2 1 2 4 4 6 6 5 6 4 2 2 4 1 6 3 4 2
1 4 3 2 4 3 4 4 2 0 2 2 5 1 1 4 6 6 1 2 2 4 2 6 6 6 6 4 4 2 6 6
2 6 2 3 1 4 6 6 1 2 0 6 4 4 2 3 4 2 4 6 6 1 6 2 4 4 4 5 6 1 2 2
2 3 2 6 6 4 1 1 6 2 6 0 4 2 4 6 4 4 4 1 1 6 3 2 2 2 2 6 5 6 4 4
1 2 3 4 2 3 2 2 4 5 4 4 0 1 1 2 6 6 1 4 4 2 4 6 6 6 6 2 2 4 6 6
3 4 1 2 2 1 4 2 4 1 4 2 1 0 5 4 6 6 3 2 4 2 2 6 6 6 6 2 4 4 6 6
3 2 1 4 4 1 2 4 2 1 2 4 1 5 0 2 6 6 3 4 2 4 4 6 6 6 6 4 2 2 6 6
4 6 2 5 1 4 6 6 1 4 3 6 2 4 2 0 4 4 2 6 6 1 6 2 2 2 4 3 6 1 4 2
6 2 6 2 4 6 4 2 2 6 4 4 6 6 6 4 0 3 6 2 4 4 4 5 3 1 1 2 2 2 1 1
6 4 6 2 4 6 2 2 4 6 2 4 6 6 6 4 3 0 6 4 4 2 2 3 5 1 1 4 2 2 1 1
5 4 1 4 4 1 4 4 4 1 4 4 1 3 3 2 6 6 0 2 2 2 2 6 6 6 6 2 2 2 6 6
4 1 2 6 6 4 5 3 6 2 6 1 4 2 4 6 2 4 2 0 3 6 1 4 2 4 4 6 1 6 2 2
4 1 4 6 6 2 3 5 6 2 6 1 4 4 2 6 4 4 2 3 0 6 1 2 2 4 2 6 1 6 2 4
4 6 2 1 3 4 6 6 5 4 1 6 2 2 4 1 4 2 2 6 6 0 6 2 4 4 2 1 6 3 2 4
4 5 4 6 6 2 1 1 6 2 6 3 4 2 4 6 4 2 2 1 1 6 0 2 4 2 4 6 3 6 4 2
6 4 6 4 2 6 2 4 4 6 2 2 6 6 6 2 5 3 6 4 2 2 2 0 3 1 1 4 4 4 1 1
6 2 6 4 2 6 4 4 2 6 4 2 6 6 6 2 3 5 6 2 2 4 4 3 0 1 1 2 4 4 1 1
6 4 6 4 4 6 2 2 2 6 4 2 6 6 6 2 1 1 6 4 4 4 2 1 1 0 3 2 4 2 5 3
6 2 6 2 4 6 2 4 4 6 4 2 6 6 6 4 1 1 6 4 2 2 4 1 1 3 0 2 4 2 3 5
4 6 4 3 1 2 6 6 1 4 5 6 2 2 4 3 2 4 2 6 6 1 6 4 2 2 2 0 6 1 4 4
4 3 4 6 6 2 1 1 6 4 6 5 2 4 2 6 2 2 2 1 1 6 3 4 4 4 4 6 0 6 2 2
4 6 2 1 5 4 6 6 3 2 1 6 4 4 2 1 2 2 2 6 6 3 6 4 4 2 2 1 6 0 4 4
6 2 6 2 2 6 4 4 4 6 2 4 6 6 6 4 1 1 6 2 2 2 4 1 1 5 3 4 2 4 0 3
6 4 6 4 2 6 4 2 2 6 2 4 6 6 6 2 1 1 6 2 4 4 2 1 1 3 5 4 2 4 3 0

closure size: 7
0 2 2 2 2 2 1 1 2 2 1 1 2 3 3 6 6 6 6 4 4 4 6 6 6 4 4 4 4 6 5 4
2 0 6 1 6 6 2 2 1 6 4 4 3 2 4 4 4 4 2 1 5 6 4 2 2 3 1 6 6 2 4 6
2 6 0 6 1 1 4 2 6 3 2 4 6 4 2 4 2 2 2 6 6 5 4 4 4 6 6 1 1 2 4 3
2 1 6 0 6 6 2 4 3 6 4 2 1 4 2 4 2 4 2 3 1 6 2 4 2 1 5 6 6 4 4 6
2 6 1 6 0 3 4 4 6 1 2 2 6 2 4 2 2 4 4 6 6 1 4 4 2 6 6 5 3 2 4 1
2 6 1 6 3 0 4 2 6 1 2 4 6 4 2 2 4 4 4 6 6 1 2 2 2 6 6 3 5 4 4 1
1 2 4 2 4 4 0 3 2 4 5 3 2 1 1 6 6 6 6 4 4 2 6 6 6 4 4 2 2 6 1 2
1 2 2 4 4 2 3 0 2 4 3 5 4 1 1 6 6 6 6 4 4 4 6 6 6 2 2 2 4 6 1 2
2 1 6 3 6 6 2 2 0 6 4 4 1 2 4 2 2 2 4 5 1 6 2 4 4 1 3 6 6 4 4 6
2 6 3 6 1 1 4 4 6 0 2 2 6 2 4 4 4 2 2 6 6 3 2 2 4 6 6 1 1 4 4 5
1 4 2 4 2 2 5 3 4 2 0 3 4 1 1 6 6 6 6 2 2 4 6 6 6 2 2 4 4 6 1 4
1 4 4 2 2 4 3 5 4 2 3 0 2 1 1 6 6 6 6 2 2 2 6 6 6 4 4 4 2 6 1 4
2 3 6 1 6 6 2 4 1 6 4 2 0 4 2 2 4 2 4 1 3 6 4 2 4 5 1 6 6 2 4 6
3 2 4 4 2 4 1 1 2 2 1 1 4 0 5 6 6 6 6 4 4 2 6 6 6 2 2 4 2 6 3 4
3 4 2 2 4 2 1 1 4 4 1 1 2 5 0 6 6 6 6 2 2 4 6 6 6 4 4 2 4 6 3 2
6 4 4 4 2 2 6 6 2 4 6 6 2 6 6 0 1 1 5 4 2 2 3 1 1 4 2 4 4 3 6 2
6 4 2 2 2 4 6 6 2 4 6 6 4 6 6 1 0 3 1 4 2 4 1 5 3 2 4 4 2 1 6 2
6 4 2 4 4 4 6 6 2 2 6 6 2 6 6 1 3 0 1 4 2 4 1 3 5 4 2 2 2 1 6 4
6 2 2 2 4 4 6 6 4 2 6 6 4 6 6 5 1 1 0 2 4 4 3 1 1 2 4 2 2 3 6 4
4 1 6 3 6 6 4 4 5 6 2 2 1 4 2 4 4 4 2 0 1 6 4 2 2 1 3 6 6 2 2 6
4 5 6 1 6 6 4 4 1 6 2 2 3 4 2 2 2 2 4 1 0 6 2 4 4 3 1 6 6 4 2 6
4 6 5 6 1 1 2 4 6 3 4 2 6 2 4 2 4 4 4 6 6 0 2 2 2 6 6 1 1 4 2 3
6 4 4 2 4 2 6 6 2 2 6 6 4 6 6 3 1 1 3 4 2 2 0 1 1 2 4 2 4 5 6 4
6 2 4 4 4 2 6 6 4 2 6 6 2 6 6 1 5 3 1 2 4 2 1 0 3 4 2 2 4 1 6 4
6 2 4 2 2 2 6 6 4 4 6 6 4 6 6 1 3 5 1 2 4 2 1 3 0 2 4 4 4 1 6 2
4 3 6 1 6 6 4 2 1 6 2 4 5 2 4 4 2 4 2 1 3 6 2 4 2 0 1 6 6 4 2 6
4 1 6 5 6 6 4 2 3 6 2 4 1 2 4 2 4 2 4 3 1 6 4 2 4 1 0 6 6 2 2 6
4 6 1 6 5 3 2 2 6 1 4 4 6 4 2 4 4 2 2 6 6 1 2 2 4 6 6 0 3 4 2 1
4 6 1 6 3 5 2 4 6 1 4 2 6 2 4 4 2 2 2 6 6 1 4 4 4 6 6 3 0 2 2 1
6 2 2 4 2 4 6 6 4 4 6 6 2 6 6 3 1 1 3 2 4 4 5 1 1 4 2 4 2 0 6 2
5 4 4 4 4 4 1 1 4 4 1 1 4 3 3 6 6 6 6 2 2 2 6 6 6 2 2 2 2 6 0 2
4 6 3 6 1 1 2 2 6 5 4 4 6 4 2 2 2 4 4 6 6 3 4 4 2 6 6 1 1 2 2 0

closure size: 7
0 1 1 2 2 1 1 1 2 2 2 2 1 2 2 3 3 4 6 5 4 4 6 6 4 4 6 6 4 4 6 4
1 0 1 2 4 1 5 1 4 2 4 2 1 2 4 6 6 2 6 1 4 4 6 6 2 4 3 6 2 2 3 4
1 1 0 2 2 1 1 5 4 4 2 2 1 4 4 6 6 4 3 1 2 4 6 3 2 4 6 6 2 4 6 2
2 2 2 0 6 4 4 4 6 6 1 3 2 1 1 4 2 6 4 4 6 3 2 2 1 5 4 4 6 1 2 1
2 4 2 6 0 2 2 4 1 1 3 1 4 6 6 2 4 5 2 4 1 1 2 4 6 6 4 4 1 3 2 6
1 1 1 4 2 0 1 1 4 2 2 4 5 2 4 6 6 4 6 1 4 2 3 6 2 2 6 3 2 4 6 4
1 5 1 4 2 1 0 1 2 4 2 4 1 4 2 6 6 4 6 1 2 2 6 6 4 2 3 6 4 4 3 2
1 1 5 4 4 1 1 0 2 2 4 4 1 2 2 6 6 2 3 1 4 2 6 3 4 2 6 6 4 2 6 4
2 4 4 6 1 4 2 2 0 1 6 1 2 6 3 2 4 1 4 4 1 1 4 2 3 6 4 2 5 6 2 6
2 2 4 6 1 2 4 2 1 0 6 1 4 3 6 2 4 1 4 4 5 1 2 2 6 6 2 4 1 6 4 3
2 4 2 1 3 2 2 4 6 6 0 6 4 1 1 4 2 3 4 4 6 6 4 2 1 1 2 2 6 5 4 1
2 2 2 3 1 4 4 4 1 1 6 0 2 6 6 2 4 1 2 4 1 5 4 4 6 3 2 2 1 6 4 6
1 1 1 2 4 5 1 1 2 4 4 2 0 4 2 6 6 2 6 1 2 4 3 6 4 4 6 3 4 2 6 2
2 2 4 1 6 2 4 2 6 3 1 6 4 0 1 4 2 6 2 4 3 6 4 4 1 1 4 2 6 1 2 5
2 4 4 1 6 4 2 2 3 6 1 6 2 1 0 4 2 6 2 4 6 6 2 4 5 1 2 4 3 1 4 1
3 6 6 4 2 6 6 6 2 2 4 2 6 4 4 0 5 4 1 3 4 4 1 1 2 2 1 1 4 2 1 2
3 6 6 2 4 6 6 6 4 4 2 4 6 2 2 5 0 2 1 3 2 2 1 1 4 4 1 1 2 4 1 4
4 2 4 6 5 4 4 2 1 1 3 1 2 6 6 4 2 0 4 2 1 1 4 2 6 6 2 2 1 3 4 6
6 6 3 4 2 6 6 3 4 4 4 2 6 2 2 1 1 4 0 6 2 4 1 5 4 2 1 1 2 2 1 4
5 1 1 4 4 1 1 1 4 4 4 4 1 4 4 3 3 2 6 0 2 2 6 6 2 2 6 6 2 2 6 2
4 4 2 6 1 4 2 4 1 5 6 1 2 3 6 4 2 1 2 2 0 1 4 4 6 6 4 2 1 6 2 3
4 4 4 3 1 2 2 2 1 1 6 5 4 6 6 4 2 1 4 2 1 0 2 2 6 3 4 4 1 6 2 6
6 6 6 2 2 3 6 6 4 2 4 4 3 4 2 1 1 4 1 6 4 2 0 1 4 4 1 5 2 2 1 2
6 6 3 2 4 6 6 3 2 2 2 4 6 4 4 1 1 2 5 6 4 2 1 0 2 4 1 1 4 4 1 2
4 2 2 1 6 2 4 4 3 6 1 6 4 1 5 2 4 6 4 2 6 6 4 2 0 1 4 2 3 1 2 1
4 4 4 5 6 2 2 2 6 6 1 3 4 1 1 2 4 6 2 2 6 3 4 4 1 0 2 2 6 1 4 1
6 3 6 4 4 6 3 6 4 2 2 2 6 4 2 1 1 2 1 6 4 4 1 1 4 2 0 1 2 4 5 2
6 6 6 4 4 3 6 6 2 4 2 2 3 2 4 1 1 2 1 6 2 4 5 1 2 2 1 0 4 4 1 4
4 2 2 6 1 2 4 4 5 1 6 1 4 6 3 4 2 1 2 2 1 1 2 4 3 6 2 4 0 6 4 6
4 2 4 1 3 4 4 2 6 6 5 6 2 1 1 2 4 3 2 2 6 6 2 4 1 1 4 4 6 0 2 1
6 3 6 2 2 6 3 6 2 4 4 4 6 2 4 1 1 4 1 6 2 2 1 1 2 4 5 1 4 2 0 4
4 4 2 1 6 4 2 4 6 3 1 6 2 5 1 2 4 6 4 2 3 6 2 2 1 1 2 4 6 1 4 0

closure size: 7
0 1 1 2 2 1 1 1 2 2 2 2 1 2 2 3 3 4 5 4 4 6 6 4 4 6 6 6 4 4 6 4
1 0 1 2 4 1 5 1 4 2 4 2 1 2 4 6 6 2 1 4 4 3 6 2 4 6 3 6 2 2 6 4
1 1 0 2 2 1 1 5 4 4 2 2 1 4 4 6 6 4 1 2 4 6 3 2 4 6 6 3 2 4 6 2
2 2 2 0 3 4 4 4 6 6 1 6 2 1 1 2 4 3 4 6 6 2 4 1 5 4 4 2 6 1 2 1
2 4 2 3 0 2 2 4 1 1 6 1 4 6 6 4 2 5 4 1 1 2 2 6 3 4 4 4 1 6 2 6
1 1 1 4 2 0 1 1 4 2 2 4 5 2 4 6 6 4 1 4 2 6 6 2 2 3 6 6 2 4 3 4
1 5 1 4 2 1 0 1 2 4 2 4 1 4 2 6 6 4 1 2 2 3 6 4 2 6 3 6 4 4 6 2
1 1 5 4 4 1 1 0 2 2 4 4 1 2 2 6 6 2 1 4 2 6 3 4 2 6 6 3 4 2 6 4
2 4 4 6 1 4 2 2 0 1 6 1 2 3 6 2 4 1 4 1 1 4 2 6 6 4 2 4 5 6 2 3
2 2 4 6 1 2 4 2 1 0 6 1 4 6 3 2 4 1 4 5 1 2 2 3 6 2 4 4 1 6 4 6
2 4 2 1 6 2 2 4 6 6 0 3 4 1 1 2 4 6 4 6 3 4 4 1 1 2 2 2 6 5 4 1
2 2 2 6 1 4 4 4 1 1 3 0 2 6 6 4 2 1 4 1 5 4 2 6 6 2 2 4 1 3 4 6
1 1 1 2 4 5 1 1 2 4 4 2 0 4 2 6 6 2 1 2 4 6 6 4 4 3 6 6 4 2 3 2
2 2 4 1 6 2 4 2 3 6 1 6 4 0 1 4 2 6 4 6 6 4 4 1 1 4 2 2 3 1 2 5
2 4 4 1 6 4 2 2 6 3 1 6 2 1 0 4 2 6 4 3 6 2 4 5 1 2 4 2 6 1 4 1
3 6 6 2 4 6 6 6 2 2 2 4 6 4 4 0 5 2 3 4 2 1 1 2 4 1 1 1 4 4 1 2
3 6 6 4 2 6 6 6 4 4 4 2 6 2 2 5 0 4 3 2 4 1 1 4 2 1 1 1 2 2 1 4
4 2 4 3 5 4 4 2 1 1 6 1 2 6 6 2 4 0 2 1 1 4 4 6 3 2 2 2 1 6 4 6
5 1 1 4 4 1 1 1 4 4 4 4 1 4 4 3 3 2 0 2 2 6 6 2 2 6 6 6 2 2 6 2
4 4 2 6 1 4 2 4 1 5 6 1 2 6 3 4 2 1 2 0 1 4 4 3 6 4 2 2 1 6 2 6
4 4 4 6 1 2 2 2 1 1 3 5 4 6 6 2 4 1 2 1 0 2 4 6 6 4 4 2 1 3 2 6
6 3 6 2 2 6 3 6 4 2 4 4 6 4 2 1 1 4 6 4 2 0 1 4 4 1 5 1 2 2 1 2
6 6 3 4 2 6 6 3 2 2 4 2 6 4 4 1 1 4 6 4 4 1 0 2 2 1 1 5 4 2 1 2
4 2 2 1 6 2 4 4 6 3 1 6 4 1 5 2 4 6 2 3 6 4 2 0 1 4 2 4 6 1 2 1
4 4 4 5 3 2 2 2 6 6 1 6 4 1 1 4 2 3 2 6 6 4 2 1 0 2 2 4 6 1 4 1
6 6 6 4 4 3 6 6 4 2 2 2 3 4 2 1 1 2 6 4 4 1 1 4 2 0 1 1 2 4 5 2
6 3 6 4 4 6 3 6 2 4 2 2 6 2 4 1 1 2 6 2 4 5 1 2 2 1 0 1 4 4 1 4
6 6 3 2 4 6 6 3 4 4 2 4 6 2 2 1 1 2 6 2 2 1 5 4 4 1 1 0 2 4 1 4
4 2 2 6 1 2 4 4 5 1 6 1 4 3 6 4 2 1 2 1 1 2 4 6 6 2 4 2 0 6 4 3
4 2 4 1 6 4 4 2 6 6 5 3 2 1 1 4 2 6 2 6 3 2 2 1 1 4 4 4 6 0 2 1
6 6 6 2 2 3 6 6 2 4 4 4 3 2 4 1 1 4 6 2 2 1 1 2 4 5 1 1 4 2 0 4
4 4 2 1 6 4 2 4 3 6 1 6 2 5 1 2 4 6 2 6 6 2 2 1 1 2 4 4 3 1 4 0

closure size: 7
0 2 1 1 1 1 1 2 2 2 2 2 1 2 2 3 3 6 5 4 4 4 4 6 6 4 6 6 4 4 6 4
2 0 4 4 4 2 2 3 1 6 1 6 2 6 1 4 2 2 4 1 1 6 5 4 4 1 4 2 3 6 2 6
1 4 0 1 1 5 1 2 2 2 2 4 1 4 4 6 6 3 1 4 4 2 2 6 3 2 6 6 4 4 6 2
1 4 1 0 1 1 5 2 2 4 4 4 1 2 2 6 6 6 1 4 2 2 2 6 6 4 3 6 4 2 3 4
1 4 1 1 0 1 1 4 4 2 2 4 5 2 2 6 6 6 1 2 4 2 2 3 6 4 6 3 2 4 6 4
1 2 5 1 1 0 1 4 4 4 4 2 1 2 2 6 6 3 1 2 2 4 4 6 3 4 6 6 2 2 6 4
1 2 1 5 1 1 0 4 4 2 2 2 1 4 4 6 6 6 1 2 4 4 4 6 6 2 3 6 2 4 3 2
2 3 2 2 4 4 4 0 6 1 6 1 2 1 6 4 2 4 4 6 6 1 3 4 2 6 2 2 5 1 4 1
2 1 2 2 4 4 4 6 0 6 1 3 2 6 1 2 4 2 4 5 1 3 1 2 4 1 4 4 6 6 2 6
2 6 2 4 2 4 2 1 6 0 6 1 4 1 3 4 2 4 4 6 6 1 6 2 2 3 4 4 1 5 2 1
2 1 2 4 2 4 2 6 1 6 0 6 4 3 1 2 4 2 4 1 5 6 1 4 4 1 2 2 6 6 4 3
2 6 4 4 4 2 2 1 3 1 6 0 2 1 6 2 4 4 4 3 6 5 6 2 2 6 2 4 1 1 4 1
1 2 1 1 5 1 1 2 2 4 4 2 0 4 4 6 6 6 1 4 2 4 4 3 6 2 6 3 4 2 6 2
2 6 4 2 2 2 4 1 6 1 3 1 4 0 6 2 4 4 4 6 3 1 6 4 2 6 4 2 1 1 2 5
2 1 4 2 2 2 4 6 1 3 1 6 4 6 0 4 2 2 4 1 1 6 1 2 4 5 2 4 6 3 4 6
3 4 6 6 6 6 6 4 2 4 2 2 6 2 4 0 5 1 3 4 4 4 2 1 1 2 1 1 2 2 1 4
3 2 6 6 6 6 6 2 4 2 4 4 6 4 2 5 0 1 3 2 2 2 4 1 1 4 1 1 4 4 1 2
6 2 3 6 6 3 6 4 2 4 2 4 6 4 2 1 1 0 6 4 4 2 4 1 5 4 1 1 2 2 1 2
5 4 1 1 1 1 1 4 4 4 4 4 1 4 4 3 3 6 0 2 2 2 2 6 6 2 6 6 2 2 6 2
4 1 4 4 2 2 2 6 5 6 1 3 4 6 1 4 2 4 2 0 1 3 1 4 2 1 2 2 6 6 4 6
4 1 4 2 4 2 4 6 1 6 5 6 2 3 1 4 2 4 2 1 0 6 1 2 2 1 4 4 6 6 2 3
4 6 2 2 2 4 4 1 3 1 6 5 4 1 6 4 2 2 2 3 6 0 6 4 4 6 4 2 1 1 2 1
4 5 2 2 2 4 4 3 1 6 1 6 4 6 1 2 4 4 2 1 1 6 0 2 2 1 2 4 3 6 4 6
6 4 6 6 3 6 6 4 2 2 4 2 3 4 2 1 1 1 6 4 2 4 2 0 1 4 1 5 2 4 1 2
6 4 3 6 6 3 6 2 4 2 4 2 6 2 4 1 1 5 6 2 2 4 2 1 0 2 1 1 4 4 1 4
4 1 2 4 4 4 2 6 1 3 1 6 2 6 5 2 4 4 2 1 1 6 1 4 2 0 4 2 6 3 2 6
6 4 6 3 6 6 3 2 4 4 2 2 6 4 2 1 1 1 6 2 4 4 2 1 1 4 0 1 4 2 5 2
6 2 6 6 3 6 6 2 4 4 2 4 3 2 4 1 1 1 6 2 4 2 4 5 1 2 1 0 4 2 1 4
4 3 4 4 2 2 2 5 6 1 6 1 4 1 6 2 4 2 2 6 6 1 3 2 4 6 4 4 0 1 2 1
4 6 4 2 4 2 4 1 6 5 6 1 2 1 3 2 4 2 2 6 6 1 6 4 4 3 2 2 1 0 4 1
6 2 6 3 6 6 3 4 2 2 4 4 6 2 4 1 1 1 6 4 2 2 4 1 1 2 5 1 2 4 0 4
4 6 2 4 4 4 2 1 6 1 3 1 2 5 6 4 2 2 2 6 3 1 6 2 4 6 2 4 1 1 4 0

closure size: 7
0 2 1 1 1 2 2 2 2 2 1 1 1 2 2 3 3 6 6 5 4 4 4 4 6 6 4 6 4 4 6 4
2 0 4 4 4 1 6 1 3 6 2 2 2 6 1 2 4 4 2 4 6 3 6 5 2 4 1 4 1 1 2 6
1 4 0 1 1 4 4 2 2 4 5 1 1 2 2 6 6 3 6 1 2 4 2 2 3 6 4 6 2 4 6 4
1 4 1 0 1 4 2 4 2 2 1 5 1 2 4 6 6 6 6 1 4 4 4 2 6 6 2 3 2 2 3 4
1 4 1 1 0 4 2 2 4 2 1 1 5 4 2 6 6 6 3 1 4 2 4 2 6 3 4 6 2 4 6 2
2 1 4 4 4 0 6 1 6 6 2 2 2 3 1 4 2 2 4 4 6 6 6 1 4 2 1 2 5 1 4 3
2 6 4 2 2 6 0 6 1 1 2 4 4 1 3 4 2 2 2 4 5 1 1 6 4 4 3 4 6 6 2 1
2 1 2 4 2 1 6 0 6 3 4 2 4 6 1 2 4 2 4 4 6 6 3 1 4 2 1 4 1 5 2 6
2 3 2 2 4 6 1 6 0 1 4 4 2 1 6 2 4 2 2 4 1 5 1 3 4 4 6 2 6 6 4 1
2 6 4 2 2 6 1 3 1 0 2 4 4 1 6 2 4 4 4 4 1 1 5 6 2 2 6 2 6 3 4 1
1 2 5 1 1 2 2 4 4 2 0 1 1 4 4 6 6 3 6 1 4 2 4 4 3 6 2 6 4 2 6 2
1 2 1 5 1 2 4 2 4 4 1 0 1 4 2 6 6 6 6 1 2 2 2 4 6 6 4 3 4 4 3 2
1 2 1 1 5 2 4 4 2 4 1 1 0 2 4 6 6 6 3 1 2 4 2 4 6 3 2 6 4 2 6 4
2 6 2 2 4 3 1 6 1 1 4 4 2 0 6 4 2 4 4 4 1 1 1 6 2 2 6 4 3 6 2 5
2 1 2 4 2 1 3 1 6 6 4 2 4 6 0 4 2 4 2 4 3 6 6 1 2 4 5 2 1 1 4 6
3 2 6 6 6 4 4 2 2 2 6 6 6 4 4 0 5 1 1 3 2 4 4 4 1 1 2 1 2 4 1 2
3 4 6 6 6 2 2 4 4 4 6 6 6 2 2 5 0 1 1 3 4 2 2 2 1 1 4 1 4 2 1 4
6 4 3 6 6 2 2 2 2 4 3 6 6 4 4 1 1 0 1 6 4 4 2 2 5 1 2 1 4 4 1 2
6 2 6 6 3 4 2 4 2 4 6 6 3 4 2 1 1 1 0 6 4 4 2 4 1 5 4 1 2 2 1 2
5 4 1 1 1 4 4 4 4 4 1 1 1 4 4 3 3 6 6 0 2 2 2 2 6 6 2 6 2 2 6 2
4 6 2 4 4 6 5 6 1 1 4 2 2 1 3 2 4 4 4 2 0 1 1 6 2 2 3 2 6 6 4 1
4 3 4 4 2 6 1 6 5 1 2 2 4 1 6 4 2 4 4 2 1 0 1 3 2 2 6 4 6 6 2 1
4 6 2 4 4 6 1 3 1 5 4 2 2 1 6 4 2 2 2 2 1 1 0 6 4 4 6 4 6 3 2 1
4 5 2 2 2 1 6 1 3 6 4 4 4 6 1 4 2 2 4 2 6 3 6 0 4 2 1 2 1 1 4 6
6 2 3 6 6 4 4 4 4 2 3 6 6 2 2 1 1 5 1 6 2 2 4 4 0 1 4 1 2 2 1 4
6 4 6 6 3 2 4 2 4 2 6 6 3 2 4 1 1 1 5 6 2 2 4 2 1 0 2 1 4 4 1 4
4 1 4 2 4 1 3 1 6 6 2 4 2 6 5 2 4 2 4 2 3 6 6 1 4 2 0 4 1 1 2 6
6 4 6 3 6 2 4 4 2 2 6 3 6 4 2 1 1 1 1 6 2 4 4 2 1 1 4 0 4 2 5 2
4 1 2 2 2 5 6 1 6 6 4 4 4 3 1 2 4 4 2 2 6 6 6 1 2 4 1 4 0 1 2 3
4 1 4 2 4 1 6 5 6 3 2 4 2 6 1 4 2 4 2 2 6 6 3 1 2 4 1 2 1 0 4 6
6 2 6 3 6 4 2 2 4 4 6 3 6 2 4 1 1 1 1 6 4 2 2 4 1 1 2 5 2 4 0 4
4 6 4 4 2 3 1 6 1 1 2 2 4 5 6 2 4 2 2 2 1 1 1 6 4 4 6 2 3 6 4 0

closure size: 7
0 2 1 1 1 2 2 2 2 2 1 1 1 2 2 3 3 6 6 5 4 4 4 4 6 6 4 6 4 4 6 4
2 0 4 4 4 1 3 1 6 6 2 2 2 6 1 4 2 4 2 4 3 6 6 5 2 4 1 4 1 1 2 6
1 4 0 1 1 4 4 2 2 4 5 1 1 2 2 6 6 3 6 1 2 4 2 2 3 6 4 6 2 4 6 4
1 4 1 0 1 4 2 4 2 2 1 5 1 2 4 6 6 6 3 1 4 4 4 2 6 3 2 6 2 2 6 4
1 4 1 1 0 4 2 2 4 2 1 1 5 4 2 6 6 6 6 1 4 2 4 2 6 6 4 3 2 4 3 2
2 1 4 4 4 0 6 1 6 3 2 2 2 6 1 2 4 2 4 4 6 6 3 1 4 2 1 2 5 1 4 6
2 3 4 2 2 6 0 6 1 1 2 4 4 1 6 2 4 2 2 4 5 1 1 3 4 4 6 4 6 6 2 1
2 1 2 4 2 1 6 0 6 6 4 2 4 3 1 2 4 4 4 4 6 6 6 1 2 2 1 4 1 5 2 3
2 6 2 2 4 6 1 6 0 1 4 4 2 1 3 2 4 4 2 4 1 5 1 6 2 4 3 2 6 6 4 1
2 6 4 2 2 3 1 6 1 0 2 4 4 1 6 4 2 4 4 4 1 1 5 6 2 2 6 2 3 6 4 1
1 2 5 1 1 2 2 4 4 2 0 1 1 4 4 6 6 3 6 1 4 2 4 4 3 6 2 6 4 2 6 2
1 2 1 5 1 2 4 2 4 4 1 0 1 4 2 6 6 6 3 1 2 2 2 4 6 3 4 6 4 4 6 2
1 2 1 1 5 2 4 4 2 4 1 1 0 2 4 6 6 6 6 1 2 4 2 4 6 6 2 3 4 2 3 4
2 6 2 2 4 6 1 3 1 1 4 4 2 0 6 4 2 2 4 4 1 1 1 6 4 2 6 4 6 3 2 5
2 1 2 4 2 1 6 1 3 6 4 2 4 6 0 4 2 2 2 4 6 3 6 1 4 4 5 2 1 1 4 6
3 4 6 6 6 2 2 2 2 4 6 6 6 4 4 0 5 1 1 3 4 4 2 2 1 1 2 1 4 4 1 2
3 2 6 6 6 4 4 4 4 2 6 6 6 2 2 5 0 1 1 3 2 2 4 4 1 1 4 1 2 2 1 4
6 4 3 6 6 2 2 4 4 4 3 6 6 2 2 1 1 0 1 6 4 2 2 2 5 1 4 1 4 2 1 4
6 2 6 3 6 4 2 4 2 4 6 3 6 4 2 1 1 1 0 6 4 4 2 4 1 5 4 1 2 2 1 2
5 4 1 1 1 4 4 4 4 4 1 1 1 4 4 3 3 6 6 0 2 2 2 2 6 6 2 6 2 2 6 2
4 3 2 4 4 6 5 6 1 1 4 2 2 1 6 4 2 4 4 2 0 1 1 3 2 2 6 2 6 6 4 1
4 6 4 4 2 6 1 6 5 1 2 2 4 1 3 4 2 2 4 2 1 0 1 6 4 2 3 4 6 6 2 1
4 6 2 4 4 3 1 6 1 5 4 2 2 1 6 2 4 2 2 2 1 1 0 6 4 4 6 4 3 6 2 1
4 5 2 2 2 1 3 1 6 6 4 4 4 6 1 2 4 2 4 2 3 6 6 0 4 2 1 2 1 1 4 6
6 2 3 6 6 4 4 2 2 2 3 6 6 4 4 1 1 5 1 6 2 4 4 4 0 1 2 1 2 4 1 2
6 4 6 3 6 2 4 2 4 2 6 3 6 2 4 1 1 1 5 6 2 2 4 2 1 0 2 1 4 4 1 4
4 1 4 2 4 1 6 1 3 6 2 4 2 6 5 2 4 4 4 2 6 3 6 1 2 2 0 4 1 1 2 6
6 4 6 6 3 2 4 4 2 2 6 6 3 4 2 1 1 1 1 6 2 4 4 2 1 1 4 0 4 2 5 2
4 1 2 2 2 5 6 1 6 3 4 4 4 6 1 4 2 4 2 2 6 6 3 1 2 4 1 4 0 1 2 6
4 1 4 2 4 1 6 5 6 6 2 4 2 3 1 4 2 2 2 2 6 6 6 1 4 4 1 2 1 0 4 3
6 2 6 6 3 4 2 2 4 4 6 6 3 2 4 1 1 1 1 6 4 2 2 4 1 1 2 5 2 4 0 4
4 6 4 4 2 6 1 3 1 1 2 2 4 5 6 2 4 4 2 2 1 1 1 6 2 4 6 2 6 3 4 0

closure size: 7
0 2 2 2 2 2 1 1 1 2 2 2 1 1 1 3 3 4 6 5 6 4 4 6 6 4 4 4 6 4 4 6
2 0 6 3 6 1 2 4 2 1 1 6 4 2 4 4 2 1 2 4 4 5 6 4 2 6 3 6 2 1 1 4
2 6 0 1 1 6 4 2 2 3 6 1 2 4 4 4 2 6 4 4 4 6 1 2 2 5 1 1 4 3 6 2
2 3 1 0 1 6 2 2 4 6 6 1 4 4 2 4 2 6 2 4 2 3 1 4 4 1 5 1 4 6 6 2
2 6 1 1 0 3 4 2 4 6 6 1 2 4 2 2 4 3 2 4 4 6 1 4 2 1 1 5 2 6 6 4
2 1 6 6 3 0 4 4 2 1 1 6 2 2 4 2 4 5 2 4 2 1 6 4 4 6 6 3 4 1 1 2
1 2 4 2 4 4 0 1 1 4 2 2 5 1 1 6 6 2 3 1 6 4 4 3 6 2 4 2 6 2 4 6
1 4 2 2 2 4 1 0 1 4 2 4 1 5 1 6 6 2 6 1 6 2 2 6 6 4 4 4 3 2 4 3
1 2 2 4 4 2 1 1 0 4 2 4 1 1 5 6 6 4 6 1 3 4 2 6 3 4 2 2 6 2 4 6
2 1 3 6 6 1 4 4 4 0 1 6 2 2 2 4 2 1 4 4 2 1 6 2 4 3 6 6 2 5 1 4
2 1 6 6 6 1 2 2 2 1 0 3 4 4 4 2 4 1 4 4 2 1 3 2 4 6 6 6 2 1 5 4
2 6 1 1 1 6 2 4 4 6 3 0 4 2 2 2 4 6 4 4 4 6 5 2 2 1 1 1 4 6 3 2
1 4 2 4 2 2 5 1 1 2 4 4 0 1 1 6 6 4 3 1 6 2 2 3 6 4 2 4 6 4 2 6
1 2 4 4 4 2 1 5 1 2 4 2 1 0 1 6 6 4 6 1 6 4 4 6 6 2 2 2 3 4 2 3
1 4 4 2 2 4 1 1 5 2 4 2 1 1 0 6 6 2 6 1 3 2 4 6 3 2 4 4 6 4 2 6
3 4 4 4 2 2 6 6 6 4 2 2 6 6 6 0 5 4 1 3 1 2 4 1 1 2 2 4 1 2 4 1
3 2 2 2 4 4 6 6 6 2 4 4 6 6 6 5 0 2 1 3 1 4 2 1 1 4 4 2 1 4 2 1
4 1 6 6 3 5 2 2 4 1 1 6 4 4 2 4 2 0 4 2 4 1 6 2 2 6 6 3 2 1 1 4
6 2 4 2 2 2 3 6 6 4 4 4 3 6 6 1 1 4 0 6 1 4 2 5 1 2 4 4 1 2 2 1
5 4 4 4 4 4 1 1 1 4 4 4 1 1 1 3 3 2 6 0 6 2 2 6 6 2 2 2 6 2 2 6
6 4 4 2 4 2 6 6 3 2 2 4 6 6 3 1 1 4 1 6 0 2 2 1 5 2 4 2 1 4 4 1
4 5 6 3 6 1 4 2 4 1 1 6 2 4 2 2 4 1 4 2 2 0 6 2 4 6 3 6 4 1 1 2
4 6 1 1 1 6 4 2 2 6 3 5 2 4 4 4 2 6 2 2 2 6 0 4 4 1 1 1 2 6 3 4
6 4 2 4 4 4 3 6 6 2 2 2 3 6 6 1 1 2 5 6 1 2 4 0 1 4 2 2 1 4 4 1
6 2 2 4 2 4 6 6 3 4 4 2 6 6 3 1 1 2 1 6 5 4 4 1 0 4 2 4 1 2 2 1
4 6 5 1 1 6 2 4 4 3 6 1 4 2 2 2 4 6 2 2 2 6 1 4 4 0 1 1 2 3 6 4
4 3 1 5 1 6 4 4 2 6 6 1 2 2 4 2 4 6 4 2 4 3 1 2 2 1 0 1 2 6 6 4
4 6 1 1 5 3 2 4 2 6 6 1 4 2 4 4 2 3 4 2 2 6 1 2 4 1 1 0 4 6 6 2
6 2 4 4 2 4 6 3 6 2 2 4 6 3 6 1 1 2 1 6 1 4 2 1 1 2 2 4 0 4 4 5
4 1 3 6 6 1 2 2 2 5 1 6 4 4 4 2 4 1 2 2 4 1 6 4 2 3 6 6 4 0 1 2
4 1 6 6 6 1 4 4 4 1 5 3 2 2 2 4 2 1 2 2 4 1 3 4 2 6 6 6 4 1 0 2
6 4 2 2 4 2 6 3 6 4 4 2 6 3 6 1 1 4 1 6 1 2 4 1 1 4 4 2 5 2 2 0

closure size: 7
0 2 2 2 2 2 1 1 1 2 2 2 1 1 1 3 3 4 6 5 6 4 4 6 6 4 4 4 6 4 4 6
2 0 3 6 6 1 2 4 2 1 1 6 4 2 4 2 4 1 2 4 4 5 6 4 2 3 6 6 2 1 1 4
2 3 0 1 1 6 4 2 2 6 6 1 2 4 4 4 2 6 2 4 4 3 1 4 2 5 1 1 4 6 6 2
2 6 1 0 1 6 2 2 4 3 6 1 4 4 2 2 4 6 2 4 2 6 1 4 4 1 5 1 4 3 6 2
2 6 1 1 0 6 4 2 4 6 3 1 2 4 2 2 4 6 4 4 4 6 1 2 2 1 1 5 2 6 3 4
2 1 6 6 6 0 4 4 2 1 1 3 2 2 4 2 4 5 4 4 2 1 3 2 4 6 6 6 4 1 1 2
1 2 4 2 4 4 0 1 1 4 2 2 5 1 1 6 6 2 3 1 6 4 4 3 6 2 4 2 6 2 4 6
1 4 2 2 2 4 1 0 1 4 2 4 1 5 1 6 6 2 6 1 3 2 2 6 3 4 4 4 6 2 4 6
1 2 2 4 4 2 1 1 0 4 2 4 1 1 5 6 6 4 6 1 6 4 2 6 6 4 2 2 3 2 4 3
2 1 6 3 6 1 4 4 4 0 1 6 2 2 2 4 2 1 2 4 2 1 6 4 4 6 3 6 2 5 1 4
2 1 6 6 3 1 2 2 2 1 0 6 4 4 4 4 2 1 4 4 2 1 6 2 4 6 6 3 2 1 5 4
2 6 1 1 1 3 2 4 4 6 6 0 4 2 2 4 2 3 4 4 4 6 5 2 2 1 1 1 4 6 6 2
1 4 2 4 2 2 5 1 1 2 4 4 0 1 1 6 6 4 3 1 6 2 2 3 6 4 2 4 6 4 2 6
1 2 4 4 4 2 1 5 1 2 4 2 1 0 1 6 6 4 6 1 3 4 4 6 3 2 2 2 6 4 2 6
1 4 4 2 2 4 1 1 5 2 4 2 1 1 0 6 6 2 6 1 6 2 4 6 6 2 4 4 3 4 2 3
3 2 4 2 2 2 6 6 6 4 4 4 6 6 6 0 5 4 1 3 1 4 2 1 1 2 4 4 1 2 2 1
3 4 2 4 4 4 6 6 6 2 2 2 6 6 6 5 0 2 1 3 1 2 4 1 1 4 2 2 1 4 4 1
4 1 6 6 6 5 2 2 4 1 1 3 4 4 2 4 2 0 2 2 4 1 3 4 2 6 6 6 2 1 1 4
6 2 2 2 4 4 3 6 6 2 4 4 3 6 6 1 1 2 0 6 1 4 2 5 1 4 4 2 1 4 2 1
5 4 4 4 4 4 1 1 1 4 4 4 1 1 1 3 3 2 6 0 6 2 2 6 6 2 2 2 6 2 2 6
6 4 4 2 4 2 6 3 6 2 2 4 6 3 6 1 1 4 1 6 0 2 2 1 5 2 4 2 1 4 4 1
4 5 3 6 6 1 4 2 4 1 1 6 2 4 2 4 2 1 4 2 2 0 6 2 4 3 6 6 4 1 1 2
4 6 1 1 1 3 4 2 2 6 6 5 2 4 4 2 4 3 2 2 2 6 0 4 4 1 1 1 2 6 6 4
6 4 4 4 2 2 3 6 6 4 2 2 3 6 6 1 1 4 5 6 1 2 4 0 1 2 2 4 1 2 4 1
6 2 2 4 2 4 6 3 6 4 4 2 6 3 6 1 1 2 1 6 5 4 4 1 0 4 2 4 1 2 2 1
4 3 5 1 1 6 2 4 4 6 6 1 4 2 2 2 4 6 4 2 2 3 1 2 4 0 1 1 2 6 6 4
4 6 1 5 1 6 4 4 2 3 6 1 2 2 4 4 2 6 4 2 4 6 1 2 2 1 0 1 2 3 6 4
4 6 1 1 5 6 2 4 2 6 3 1 4 2 4 4 2 6 2 2 2 6 1 4 4 1 1 0 4 6 3 2
6 2 4 4 2 4 6 6 3 2 2 4 6 6 3 1 1 2 1 6 1 4 2 1 1 2 2 4 0 4 4 5
4 1 6 3 6 1 2 2 2 5 1 6 4 4 4 2 4 1 4 2 4 1 6 2 2 6 3 6 4 0 1 2
4 1 6 6 3 1 4 4 4 1 5 6 2 2 2 2 4 1 2 2 4 1 6 4 2 6 6 3 4 1 0 2
6 4 2 2 4 2 6 6 3 4 4 2 6 6 3 1 1 4 1 6 1 2 4 1 1 4 4 2 5 2 2 0

closure size: 4
0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3
1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3
2 2 0 3 3 3 1 3 3 3 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 0 3 3 3 3 3 1 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 0 3 3 3 3 3 3 1 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 0 3 3 3 3 3 3 1 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 1 3 3 3 0 3 3 3 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 3 3 0 3 3 3 3 3 3 1 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 3 3 3 0 3 3 3 3 3 3 1 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 1 3 3 3 3 3 0 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 3 3 3 3 3 0 3 3 3 3 3 1 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 1 3 3 3 3 3 3 0 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 1 3 3 3 3 3 3 0 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 3 3 3 3 3 3 3 3 0 3 3 3 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 3 3 1 3 3 3 3 3 3 0 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 3 3 3 1 3 3 3 3 3 3 0 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 3 3 3 3 3 1 3 3 3 3 3 0 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 3 3 3 3 3 3 3 3 1 3 3 3 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 3 3 3 3 1 3 3 3 3 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 0 3 3 3 3 3 1 3 3 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 0 3 3 3 3 3 1 3 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 0 3 3 3 3 3 3 1 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 0 3 3 3 3 3 3 1 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 3 3 3 3 0 3 3 3 3 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 0 3 3 3 3 3 1 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 1 3 3 3 3 3 0 3 3 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 1 3 3 3 3 3 0 3 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 0 3 3 3 1
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 1 3 3 3 3 3 3 0 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 1 3 3 3 3 3 3 0 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 1 3 3 3 3 3 0 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 1 3 3 3 0

closure size: 6
0 1 1 1 2 2 1 1 1 1 1 2 2 2 2 1 1 1 2 2 1 3 3 4 5 4 4 4 4 4 4 4
1 0 1 1 2 4 1 1 5 1 1 4 2 4 2 3 1 1 2 4 3 1 1 2 1 4 4 2 4 2 2 4
1 1 0 3 4 2 1 1 1 5 3 4 4 4 2 1 1 1 2 2 1 1 1 4 1 2 4 4 2 2 2 4
1 1 3 0 2 2 1 1 1 3 5 4 4 2 2 1 1 1 4 4 1 1 1 4 1 2 4 2 4 2 4 2
2 2 4 2 0 1 2 4 4 2 4 1 1 1 3 4 4 2 1 1 2 4 2 1 4 1 3 1 5 1 1 1
2 4 2 2 1 0 2 2 2 4 4 1 1 3 1 4 4 4 1 1 2 2 4 5 4 1 1 1 1 1 3 1
1 1 1 1 2 2 0 3 1 1 1 4 2 4 4 1 5 3 4 2 1 1 1 4 1 4 2 4 4 2 2 2
1 1 1 1 4 2 3 0 1 1 1 4 2 2 4 1 3 5 2 4 1 1 1 4 1 4 2 2 2 2 4 4
1 5 1 1 4 2 1 1 0 1 1 2 4 2 4 3 1 1 4 2 3 1 1 4 1 2 2 4 2 4 4 2
1 1 5 3 2 4 1 1 1 0 3 2 2 2 4 1 1 1 4 4 1 1 1 2 1 4 2 2 4 4 4 2
1 1 3 5 4 4 1 1 1 3 0 2 2 4 4 1 1 1 2 2 1 1 1 2 1 4 2 4 2 4 2 4
2 4 4 4 1 1 4 4 2 2 2 0 1 1 1 4 2 2 1 3 2 2 4 1 4 1 1 3 1 5 1 1
2 2 4 4 1 1 2 2 4 2 2 1 0 1 1 2 4 4 3 1 4 2 4 1 4 5 1 1 1 1 1 3
2 4 4 2 1 3 4 2 2 2 4 1 1 0 1 2 2 4 1 1 4 4 2 3 4 1 1 1 1 1 5 1
2 2 2 2 3 1 4 4 4 4 4 1 1 1 0 2 2 2 1 1 4 2 4 1 4 1 5 1 3 1 1 1
1 3 1 1 4 4 1 1 3 1 1 4 2 2 2 0 1 1 4 2 5 1 1 2 1 4 4 4 2 2 4 2
1 1 1 1 4 4 5 3 1 1 1 2 4 2 2 1 0 3 2 4 1 1 1 2 1 2 4 2 2 4 4 4
1 1 1 1 2 4 3 5 1 1 1 2 4 4 2 1 3 0 4 2 1 1 1 2 1 2 4 4 4 4 2 2
2 2 2 4 1 1 4 2 4 4 2 1 3 1 1 4 2 4 0 1 2 4 2 1 4 3 1 1 1 1 1 5
2 4 2 4 1 1 2 4 2 4 2 3 1 1 1 2 4 2 1 0 4 4 2 1 4 1 1 5 1 3 1 1
1 3 1 1 2 2 1 1 3 1 1 2 4 4 4 5 1 1 2 4 0 1 1 4 1 2 2 2 4 4 2 4
3 1 1 1 4 2 1 1 1 1 1 2 2 4 2 1 1 1 4 4 1 0 5 4 3 4 4 2 2 4 2 2
3 1 1 1 2 4 1 1 1 1 1 4 4 2 4 1 1 1 2 2 1 5 0 2 3 2 2 4 4 2 4 4
4 2 4 4 1 5 4 4 4 2 2 1 1 3 1 2 2 2 1 1 4 4 2 0 2 1 1 1 1 1 3 1
5 1 1 1 4 4 1 1 1 1 1 4 4 4 4 1 1 1 4 4 1 3 3 2 0 2 2 2 2 2 2 2
4 4 2 2 1 1 4 4 2 4 4 1 5 1 1 4 2 2 3 1 2 4 2 1 2 0 1 1 1 1 1 3
4 4 4 4 3 1 2 2 2 2 2 1 1 1 5 4 4 4 1 1 2 4 2 1 2 1 0 1 3 1 1 1
4 2 4 2 1 1 4 2 4 2 4 3 1 1 1 4 2 4 1 5 2 2 4 1 2 1 1 0 1 3 1 1
4 4 2 4 5 1 4 2 2 4 2 1 1 1 3 2 2 4 1 1 4 2 4 1 2 1 3 1 0 1 1 1
4 2 2 2 1 1 2 2 4 4 4 5 1 1 1 2 4 4 1 3 4 4 2 1 2 1 1 3 1 0 1 1
4 2 2 4 1 3 2 4 4 4 2 1 1 5 1 4 4 2 1 1 2 2 4 3 2 1 1 1 1 1 0 1
4 4 4 2 1 1 2 4 2 2 4 1 3 1 1 2 4 2 5 1 4 2 4 1 2 3 1 1 1 1 1 0

closure size: 6
0 1 2 2 1 1 1 1 2 2 2 2 1 1 1 1 1 2 2 1 1 3 3 4 4 4 4 4 4 4 5 4
1 0 4 2 1 1 3 5 4 4 4 2 1 1 1 1 3 2 2 1 1 1 1 4 2 4 4 2 2 2 1 4
2 4 0 3 2 2 4 2 1 1 1 1 4 4 2 4 2 1 1 2 4 4 2 3 1 1 1 5 1 1 4 1
2 2 3 0 2 4 2 4 1 1 1 1 4 4 4 2 4 1 1 2 2 4 2 5 1 1 1 3 1 1 4 1
1 1 2 2 0 1 1 1 4 2 4 4 3 5 1 1 1 4 2 3 1 1 1 4 4 2 4 4 2 2 1 2
1 1 2 4 1 0 1 1 2 4 4 2 1 1 3 5 1 4 2 1 3 1 1 2 2 4 4 4 4 2 1 2
1 3 4 2 1 1 0 3 2 2 4 2 1 1 1 1 5 4 4 1 1 1 1 4 4 4 2 2 4 2 1 2
1 5 2 4 1 1 3 0 2 2 2 4 1 1 1 1 3 4 4 1 1 1 1 2 4 2 2 4 4 4 1 2
2 4 1 1 4 2 2 2 0 1 1 1 4 2 4 4 4 3 1 2 2 2 4 1 1 1 1 1 5 1 4 3
2 4 1 1 2 4 2 2 1 0 1 1 2 4 2 2 4 1 3 4 4 2 4 1 5 1 3 1 1 1 4 1
2 4 1 1 4 4 4 2 1 1 0 3 2 2 4 2 2 1 1 4 2 4 2 1 1 3 1 1 1 5 4 1
2 2 1 1 4 2 2 4 1 1 3 0 2 2 2 4 4 1 1 4 4 4 2 1 1 5 1 1 1 3 4 1
1 1 4 4 3 1 1 1 4 2 2 2 0 3 1 1 1 4 2 5 1 1 1 2 4 4 4 2 2 4 1 2
1 1 4 4 5 1 1 1 2 4 2 2 3 0 1 1 1 2 4 3 1 1 1 2 2 4 2 2 4 4 1 4
1 1 2 4 1 3 1 1 4 2 4 2 1 1 0 3 1 2 4 1 5 1 1 2 4 4 2 4 2 2 1 4
1 1 4 2 1 5 1 1 4 2 2 4 1 1 3 0 1 2 4 1 3 1 1 4 4 2 2 2 2 4 1 4
1 3 2 4 1 1 5 3 4 4 2 4 1 1 1 1 0 2 2 1 1 1 1 2 2 2 4 4 2 4 1 4
2 2 1 1 4 4 4 4 3 1 1 1 4 2 2 2 2 0 1 2 4 2 4 1 1 1 1 1 3 1 4 5
2 2 1 1 2 2 4 4 1 3 1 1 2 4 4 4 2 1 0 4 2 2 4 1 3 1 5 1 1 1 4 1
1 1 2 2 3 1 1 1 2 4 4 4 5 3 1 1 1 2 4 0 1 1 1 4 2 2 2 4 4 2 1 4
1 1 4 2 1 3 1 1 2 4 2 4 1 1 5 3 1 4 2 1 0 1 1 4 2 2 4 2 4 4 1 2
3 1 4 4 1 1 1 1 2 2 4 4 1 1 1 1 1 2 2 1 1 0 5 2 4 2 4 2 4 2 3 4
3 1 2 2 1 1 1 1 4 4 2 2 1 1 1 1 1 4 4 1 1 5 0 4 2 4 2 4 2 4 3 2
4 4 3 5 4 2 4 2 1 1 1 1 2 2 2 4 2 1 1 4 4 2 4 0 1 1 1 3 1 1 2 1
4 2 1 1 4 2 4 4 1 5 1 1 4 2 4 4 2 1 3 2 2 4 2 1 0 1 3 1 1 1 2 1
4 4 1 1 2 4 4 2 1 1 3 5 4 4 4 2 2 1 1 2 2 2 4 1 1 0 1 1 1 3 2 1
4 4 1 1 4 4 2 2 1 3 1 1 4 2 2 2 4 1 5 2 4 4 2 1 3 1 0 1 1 1 2 1
4 2 5 3 4 4 2 4 1 1 1 1 2 2 4 2 4 1 1 4 2 2 4 3 1 1 1 0 1 1 2 1
4 2 1 1 2 4 4 4 5 1 1 1 2 4 2 2 2 3 1 4 4 4 2 1 1 1 1 1 0 1 2 3
4 2 1 1 2 2 2 4 1 1 5 3 4 4 2 4 4 1 1 2 4 2 4 1 1 3 1 1 1 0 2 1
5 1 4 4 1 1 1 1 4 4 4 4 1 1 1 1 1 4 4 1 1 3 3 2 2 2 2 2 2 2 0 2
4 4 1 1 2 2 2 2 3 1 1 1 2 4 4 4 4 5 1 4 2 4 2 1 1 1 1 1 3 1 2 0

closure size: 6
0 2 1 1 2 2 2 2 1 1 1 1 1 2 2 2 1 1 1 1 1 3 3 4 5 4 4 4 4 4 4 4
2 0 2 4 3 1 1 1 2 4 4 2 2 1 1 1 4 2 2 4 4 2 4 1 4 5 1 3 1 1 1 1
1 2 0 1 2 2 4 4 3 5 1 1 1 2 4 4 3 1 1 1 1 1 1 2 1 4 2 4 4 2 4 2
1 4 1 0 4 2 4 2 1 1 3 1 5 2 2 4 1 1 3 1 1 1 1 4 1 2 2 2 4 2 4 4
2 3 2 4 0 1 1 1 4 4 2 2 2 1 1 1 2 4 4 4 2 4 2 1 4 3 1 5 1 1 1 1
2 1 2 2 1 0 1 1 2 4 2 4 4 3 1 1 4 4 4 2 2 2 4 1 4 1 1 1 5 1 3 1
2 1 4 4 1 1 0 1 4 2 2 4 2 1 3 1 2 2 4 2 4 2 4 1 4 1 1 1 1 5 1 3
2 1 4 2 1 1 1 0 4 2 4 2 4 1 1 3 2 4 2 4 2 2 4 5 4 1 3 1 1 1 1 1
1 2 3 1 4 2 4 4 0 3 1 1 1 4 2 2 5 1 1 1 1 1 1 2 1 4 4 2 4 2 2 4
1 4 5 1 4 4 2 2 3 0 1 1 1 4 2 2 3 1 1 1 1 1 1 4 1 2 4 2 2 4 2 4
1 4 1 3 2 2 2 4 1 1 0 1 3 4 2 4 1 1 5 1 1 1 1 2 1 2 2 4 4 4 2 4
1 2 1 1 2 4 4 2 1 1 1 0 1 4 2 4 1 3 1 5 3 1 1 4 1 4 2 4 2 2 2 4
1 2 1 5 2 4 2 4 1 1 3 1 0 4 4 2 1 1 3 1 1 1 1 2 1 4 4 4 2 4 2 2
2 1 2 2 1 3 1 1 4 4 4 4 4 0 1 1 2 2 2 2 4 4 2 1 4 1 1 1 3 1 5 1
2 1 4 2 1 1 3 1 2 2 2 2 4 1 0 1 4 2 4 4 4 4 2 1 4 1 1 1 1 3 1 5
2 1 4 4 1 1 1 3 2 2 4 4 2 1 1 0 4 4 2 2 2 4 2 3 4 1 5 1 1 1 1 1
1 4 3 1 2 4 2 2 5 3 1 1 1 2 4 4 0 1 1 1 1 1 1 4 1 2 2 4 2 4 4 2
1 2 1 1 4 4 2 4 1 1 1 3 1 2 2 4 1 0 1 3 5 1 1 2 1 4 2 2 2 4 4 4
1 2 1 3 4 4 4 2 1 1 5 1 3 2 4 2 1 1 0 1 1 1 1 4 1 4 4 2 2 2 4 2
1 4 1 1 4 2 2 4 1 1 1 5 1 2 4 2 1 3 1 0 3 1 1 2 1 2 4 2 4 4 4 2
1 4 1 1 2 2 4 2 1 1 1 3 1 4 4 2 1 5 1 3 0 1 1 4 1 2 4 4 4 2 2 2
3 2 1 1 4 2 2 2 1 1 1 1 1 4 4 4 1 1 1 1 1 0 5 4 3 4 2 2 4 4 2 2
3 4 1 1 2 4 4 4 1 1 1 1 1 2 2 2 1 1 1 1 1 5 0 2 3 2 4 4 2 2 4 4
4 1 2 4 1 1 1 5 2 4 2 4 2 1 1 3 4 2 4 2 4 4 2 0 2 1 3 1 1 1 1 1
5 4 1 1 4 4 4 4 1 1 1 1 1 4 4 4 1 1 1 1 1 3 3 2 0 2 2 2 2 2 2 2
4 5 4 2 3 1 1 1 4 2 2 4 4 1 1 1 2 4 4 2 2 4 2 1 2 0 1 3 1 1 1 1
4 1 2 2 1 1 1 3 4 4 2 2 4 1 1 5 2 2 4 4 4 2 4 3 2 1 0 1 1 1 1 1
4 3 4 2 5 1 1 1 2 2 4 4 4 1 1 1 4 2 2 2 4 2 4 1 2 3 1 0 1 1 1 1
4 1 4 4 1 5 1 1 4 2 4 2 2 3 1 1 2 2 2 4 4 4 2 1 2 1 1 1 0 1 3 1
4 1 2 2 1 1 5 1 2 4 4 2 4 1 3 1 4 4 2 4 2 4 2 1 2 1 1 1 1 0 1 3
4 1 4 4 1 3 1 1 2 2 2 2 2 5 1 1 4 4 4 4 2 2 4 1 2 1 1 1 3 1 0 1
4 1 2 4 1 1 3 1 4 4 4 4 2 1 5 1 2 4 2 2 2 2 4 1 2 1 1 1 1 3 1 0

closure size: 5
0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 4 3 4 4 4 4 4 4 4
1 0 1 1 1 1 3 1 1 1 1 1 1 1 1 2 4 4 2 4 2 2 4 2 1 4 4 2 4 2 2 4
1 1 0 1 1 1 1 1 3 1 1 1 1 1 1 4 2 4 4 4 2 2 2 4 1 2 4 4 2 2 2 4
1 1 1 0 1 1 1 1 1 3 1 1 1 1 1 2 2 4 4 2 2 4 4 4 1 2 4 2 4 2 4 2
1 1 1 1 0 1 1 1 1 1 1 3 1 1 1 2 2 4 2 4 4 4 2 4 1 4 2 4 4 2 2 2
1 1 1 1 1 0 1 1 1 1 1 1 3 1 1 4 2 4 2 2 4 2 4 4 1 4 2 2 2 2 4 4
1 3 1 1 1 1 0 1 1 1 1 1 1 1 1 4 2 2 4 2 4 4 2 4 1 2 2 4 2 4 4 2
1 1 1 1 1 1 1 0 1 1 1 1 1 3 1 4 2 2 2 4 2 4 4 4 1 4 4 2 2 4 2 2
1 1 3 1 1 1 1 1 0 1 1 1 1 1 1 2 4 2 2 2 4 4 4 2 1 4 2 2 4 4 4 2
1 1 1 3 1 1 1 1 1 0 1 1 1 1 1 4 4 2 2 4 4 2 2 2 1 4 2 4 2 4 2 4
1 1 1 1 1 1 1 1 1 1 0 1 1 1 3 4 4 4 2 2 2 4 2 2 1 4 4 4 2 2 4 2
1 1 1 1 3 1 1 1 1 1 1 0 1 1 1 4 4 2 4 2 2 2 4 2 1 2 4 2 2 4 4 4
1 1 1 1 1 3 1 1 1 1 1 1 0 1 1 2 4 2 4 4 2 4 2 2 1 2 4 4 4 4 2 2
1 1 1 1 1 1 1 3 1 1 1 1 1 0 1 2 4 4 4 2 4 2 2 2 1 2 2 4 4 2 4 4
1 1 1 1 1 1 1 1 1 1 3 1 1 1 0 2 2 2 4 4 4 2 4 4 1 2 2 2 4 4 2 4
2 2 4 2 2 4 4 4 2 4 4 4 2 2 2 0 1 1 1 1 1 1 1 1 4 1 1 1 3 1 1 1
2 4 2 2 2 2 2 2 4 4 4 4 4 4 2 1 0 1 1 1 1 1 1 3 4 1 1 1 1 1 1 1
2 4 4 4 4 4 2 2 2 2 4 2 2 4 2 1 1 0 1 1 1 1 1 1 4 1 1 1 1 3 1 1
2 2 4 4 2 2 4 2 2 2 2 4 4 4 4 1 1 1 0 1 1 1 1 1 4 3 1 1 1 1 1 1
2 4 4 2 4 2 2 4 2 4 2 2 4 2 4 1 1 1 1 0 1 1 1 1 4 1 1 1 1 1 3 1
2 2 2 2 4 4 4 2 4 4 2 2 2 4 4 1 1 1 1 1 0 1 1 1 4 1 3 1 1 1 1 1
2 2 2 4 4 2 4 4 4 2 4 2 4 2 2 1 1 1 1 1 1 0 1 1 4 1 1 1 1 1 1 3
2 4 2 4 2 4 2 4 4 2 2 4 2 2 4 1 1 1 1 1 1 1 0 1 4 1 1 3 1 1 1 1
4 2 4 4 4 4 4 4 2 2 2 2 2 2 4 1 3 1 1 1 1 1 1 0 2 1 1 1 1 1 1 1
3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 4 4 4 4 4 4 4 4 2 0 2 2 2 2 2 2 2
4 4 2 2 4 4 2 4 4 4 4 2 2 2 2 1 1 1 3 1 1 1 1 1 2 0 1 1 1 1 1 1
4 4 4 4 2 2 2 4 2 2 4 4 4 2 2 1 1 1 1 1 3 1 1 1 2 1 0 1 1 1 1 1
4 2 4 2 4 2 4 2 2 4 4 2 4 4 2 1 1 1 1 1 1 1 3 1 2 1 1 0 1 1 1 1
4 4 2 4 4 2 2 2 4 2 2 2 4 4 4 3 1 1 1 1 1 1 1 1 2 1 1 1 0 1 1 1
4 2 2 2 2 2 4 4 4 4 2 4 4 2 4 1 1 3 1 1 1 1 1 1 2 1 1 1 1 0 1 1
4 2 2 4 2 4 4 2 4 2 4 4 2 4 2 1 1 1 1 3 1 1 1 1 2 1 1 1 1 1 0 1
4 4 4 2 2 4 2 2 2 4 2 4 2 4 4 1 1 1 1 1 1 3 1 1 2 1 1 1 1 1 1 0

closure size: 14
 0  2  3  1  1  4  1  1  3  6  6  7  5  9  8  7  5  9  9  5  8  9  5 10 10 11 11 11 11 13 13 12
 2  0 10  1  1 12  1  1 10 13 13  8  5  9  7  8  5  9  9  5  7  9  5  3  3 11 11 11 11  6  6  4
 3 10  0  1  5  6  1  5  7  4  8  3  1  5 10 13  1 11  5  9  6 11  9  8  2 11  9 11  9  7 12 13
 1  1  1  0 10 11  2  3  5 11  9  5 10  7  5  9  3  6  8  7  9 13  8  5  1 12  6  4 13  9 11 11
 1  1  5 10  0 11  3  2  1  9 11  9  7  6  9  5  8  7 13 10  5  8  3  1  5  6 12 13  4 11  9 11
 4 12  6 11 11  0 11 11  6  3  3  8  9  5  7  8  9  5  5  9  7  5  9 13 13  1  1  1  1 10 10  2
 1  1  1  2  3 11  0 10  5 11  9  5  3  8  5  9 10 13  7  8  9  6  7  5  1  4 13 12  6  9 11 11
 1  1  5  3  2 11 10  0  1  9 11  9  8 13  9  5  7  8  6  3  5  7 10  1  5 13  4  6 12 11  9 11
 3 10  7  5  1  6  5  1  0  8  4 13  9 11  6  3  9  5 11  1 10  5  1  2  8  9 11  9 11 12  7 13
 6 13  4 11  9  3 11  9  8  0  7  6 11  9 13 10 11  1  9  5  3  1  5  7 12  1  5  1  5  8  2 10
 6 13  8  9 11  3  9 11  4  7  0 10  5  1  3  6  5  9  1 11 13  9 11 12  7  5  1  5  1  2  8 10
 7  8  3  5  9  8  5  9 13  6 10  0  1  1  2 12  1 11  1 11  4 11 11  6 10  9  5  9  5  3 13  7
 5  5  1 10  7  9  3  8  9 11  5  1  0 10  1 11  2 12  3  6 11  4 13  9  1  6  7 13  8  5 11  9
 9  9  5  7  6  5  8 13 11  9  1  1 10  0  1 11  3  6  2 12 11 13  4 11  5  7 10  8  3  1  9  5
 8  7 10  5  9  7  5  9  6 13  3  2  1  1  0  4  1 11  1 11 12 11 11 13  3  9  5  9  5 10  6  8
 7  8 13  9  5  8  9  5  3 10  6 12 11 11  4  0 11  1 11  1  2  1  1 10  6  5  9  5  9 13  3  7
 5  5  1  3  8  9 10  7  9 11  5  1  2  3  1 11  0  4 10 13 11 12  6  9  1 13  8  6  7  5 11  9
 9  9 11  6  7  5 13  8  5  1  9 11 12  6 11  1  4  0 13 10  1  2  3  5 11 10  7  3  8  9  1  5
 9  9  5  8 13  5  7  6 11  9  1  1  3  2  1 11 10 13  0  4 11  6 12 11  5  8  3  7 10  1  9  5
 5  5  9  7 10  9  8  3  1  5 11 11  6 12 11  1 13 10  4  0  1  3  2  1  9  7  6  8 13 11  5  9
 8  7  6  9  5  7  9  5 10  3 13  4 11 11 12  2 11  1 11  1  0  1  1  3 13  5  9  5  9  6 10  8
 9  9 11 13  8  5  6  7  5  1  9 11  4 13 11  1 12  2  6  3  1  0 10  5 11  3  8 10  7  9  1  5
 5  5  9  8  3  9  7 10  1  5 11 11 13  4 11  1  6  3 12  2  1 10  0  1  9  8 13  7  6 11  5  9
10  3  8  5  1 13  5  1  2  7 12  6  9 11 13 10  9  5 11  1  3  5  1  0  7  9 11  9 11  4  8  6
10  3  2  1  5 13  1  5  8 12  7 10  1  5  3  6  1 11  5  9 13 11  9  7  0 11  9 11  9  8  4  6
11 11 11 12  6  1  4 13  9  1  5  9  6  7  9  5 13 10  8  7  5  3  8  9 11  0 10  2  3  5  1  1
11 11  9  6 12  1 13  4 11  5  1  5  7 10  5  9  8  7  3  6  9  8 13 11  9 10  0  3  2  1  5  1
11 11 11  4 13  1 12  6  9  1  5  9 13  8  9  5  6  3  7  8  5 10  7  9 11  2  3  0 10  5  1  1
11 11  9 13  4  1  6 12 11  5  1  5  8  3  5  9  7  8 10 13  9  7  6 11  9  3  2 10  0  1  5  1
13  6  7  9 11 10  9 11 12  8  2  3  5  1 10 13  5  9  1 11  6  9 11  4  8  5  1  5  1  0  7  3
13  6 12 11  9 10 11  9  7  2  8 13 11  9  6  3 11  1  9  5 10  1  5  8  4  1  5  1  5  7  0  3
12  4 13 11 11  2 11 11 13 10 10  7  9  5  8  7  9  5  5  9  8  5  9  6  6  1  1  1  1  3  3  0

closure size: 14
 0  1  3  2  1  4  1  3  1  7  5  5  8  7  9  9  5  5  6  6  8  9  9 11 10 10 11 11 11 12 13 13
 1  0  1  1  2 11 10  5  3  5  3  7  9  5 13  8 10  7  9 11  9  6  8 12  5  1  4  6 13 11 11  9
 3  1  0 10  1  6  5  7  5  3  1  5 13 10 11  9  1  5  8  4  6 11  9 11  7  2 11  9  9 13 12  8
 2  1 10  0  1 12  1 10  1  7  5  5  8  7  9  9  5  5 13 13  8  9  9 11  3  3 11 11 11  4  6  6
 1  2  1  1  0 11  3  5 10  5 10  7  9  5  6  8  3  7  9 11  9 13  8  4  5  1 12 13  6 11 11  9
 4 11  6 12 11  0 11  6 11  8  9  9  7  8  5  5  9  9  3  3  7  5  5  1 13 13  1  1  1  2 10 10
 1 10  5  1  3 11  0  1  2  5  7  3  9  5  8 13  7 10 11  9  9  8  6  6  1  5 13 12  4 11  9 11
 3  5  7 10  5  6  1  0  1 10  5  1  6  3  9 11  5  1  4  8 13  9 11  9  2  7  9 11 11 13  8 12
 1  3  5  1 10 11  2  1  0  5  7 10  9  5  8  6  7  3 11  9  9  8 13 13  1  5  6  4 12 11  9 11
 7  5  3  7  5  8  5 10  5  0  1  1 12  2 11 11  1  1 13  6  4 11 11  9  3 10  9  9  9  8 13  6
 5  3  1  5 10  9  7  5  7  1  0  3 11  1 12 13  2 10  9 11 11  4  6 13  5  1  6  8  8  9 11  9
 5  7  5  5  7  9  3  1 10  1  3  0 11  1 13 12 10  2 11  9 11  6  4  8  1  5  8 13  6  9  9 11
 8  9 13  8  9  7  9  6  9 12 11 11  0  4  1  1 11 11  3 10  2  1  1  5 13  6  5  5  5  7  3 10
 7  5 10  7  5  8  5  3  5  2  1  1  4  0 11 11  1  1  6 13 12 11 11  9 10  3  9  9  9  8  6 13
 9 13 11  9  6  5  8  9  8 11 12 13  1 11  0  3  4  6  5  1  1  2 10  3  9 11 10  7  7  5  1  5
 9  8  9  9  8  5 13 11  6 11 13 12  1 11  3  0  6  4  1  5  1 10  2  7 11  9  7  3 10  5  5  1
 5 10  1  5  3  9  7  5  7  1  2 10 11  1  4  6  0  3  9 11 11 12 13  6  5  1 13  8  8  9 11  9
 5  7  5  5  7  9 10  1  3  1 10  2 11  1  6  4  3  0 11  9 11 13 12  8  1  5  8  6 13  9  9 11
 6  9  8 13  9  3 11  4 11 13  9 11  3  6  5  1  9 11  0  7 10  5  1  5 12  8  5  1  1 10  7  2
 6 11  4 13 11  3  9  8  9  6 11  9 10 13  1  5 11  9  7  0  3  1  5  1  8 12  1  5  5 10  2  7
 8  9  6  8  9  7  9 13  9  4 11 11  2 12  1  1 11 11 10  3  0  1  1  5  6 13  5  5  5  7 10  3
 9  6 11  9 13  5  8  9  8 11  4  6  1 11  2 10 12 13  5  1  1  0  3 10  9 11  3  7  7  5  1  5
 9  8  9  9  8  5  6 11 13 11  6  4  1 11 10  2 13 12  1  5  1  3  0  7 11  9  7 10  3  5  5  1
11 12 11 11  4  1  6  9 13  9 13  8  5  9  3  7  6  8  5  1  5 10  7  0  9 11  2 10  3  1  1  5
10  5  7  3  5 13  1  2  1  3  5  1 13 10  9 11  5  1 12  8  6  9 11  9  0  7  9 11 11  6  8  4
10  1  2  3  1 13  5  7  5 10  1  5  6  3 11  9  1  5  8 12 13 11  9 11  7  0 11  9  9  6  4  8
11  4 11 11 12  1 13  9  6  9  6  8  5  9 10  7 13  8  5  1  5  3  7  2  9 11  0  3 10  1  1  5
11  6  9 11 13  1 12 11  4  9  8 13  5  9  7  3  8  6  1  5  5  7 10 10 11  9  3  0  2  1  5  1
11 13  9 11  6  1  4 11 12  9  8  6  5  9  7 10  8 13  1  5  5  7  3  3 11  9 10  2  0  1  5  1
12 11 13  4 11  2 11 13 11  8  9  9  7  8  5  5  9  9 10 10  7  5  5  1  6  6  1  1  1  0  3  3
13 11 12  6 11 10  9  8  9 13 11  9  3  6  1  5 11  9  7  2 10  1  5  1  8  4  1  5  5  3  0  7
13  9  8  6  9 10 11 12 11  6  9 11 10 13  5  1  9 11  2  7  3  5  1  5  4  8  5  1  1  3  7  0

closure size: 4
0 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3
1 0 1 1 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 1 1 3 3 3 3 1
1 1 0 1 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 1 3 3 1 3 3 1 3
1 1 1 0 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 3 3 3 3 1 1 3 3
1 3 3 3 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 1 1 3 3 1
1 3 3 3 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 3 3 3 3 3 3
1 3 3 3 1 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 1 3 3 1 1 3
2 2 2 2 2 2 2 0 3 3 3 3 1 3 3 1 1 1 3 3 1 1 3 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 3 0 1 3 3 3 3 3 3 3 1 1 1 1 3 1 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 3 1 0 1 1 3 3 3 3 3 1 3 3 3 1 1 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 3 3 1 0 1 3 3 1 3 1 3 1 3 3 1 3 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 3 3 1 1 0 3 1 3 1 3 3 3 1 3 1 3 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 1 3 3 3 3 0 1 1 3 3 3 3 3 1 1 1 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 3 3 3 3 1 1 0 1 1 3 3 3 1 3 3 1 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 3 3 3 1 3 1 1 0 3 1 3 1 3 3 3 1 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 1 3 3 3 1 3 1 3 0 1 1 3 1 3 3 3 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 1 3 3 1 3 3 3 1 1 0 1 1 3 3 3 3 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 1 1 1 3 3 3 3 3 1 1 0 3 3 3 3 1 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 3 1 3 1 3 3 3 1 3 1 3 0 1 1 3 3 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 3 1 3 3 1 3 1 3 1 3 3 1 0 1 3 3 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 1 1 3 3 3 1 3 3 3 3 3 1 1 0 1 3 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 1 3 1 1 1 1 3 3 3 3 3 3 3 1 0 3 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 3 1 1 3 3 1 1 1 3 3 1 3 3 3 3 0 2 2 2 2 2 2 2 2 2
3 3 3 1 3 1 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 1 3 3 1 1 3 3
3 3 1 3 3 1 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 3 1 3 3 1 3
3 1 3 3 3 1 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 3 3 3 3 1
3 1 3 3 3 3 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 1 0 3 3 1 1 1
3 3 1 3 1 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 1 3 3 0 1 3 1 1
3 3 3 1 1 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 3 3 3 1 0 1 3 1
3 3 3 1 3 3 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 3 3 1 3 1 0 1 3
3 3 1 3 3 3 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 1 3 1 1 3 1 0 3
3 1 3 3 1 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 1 1 1 1 3 3 0

closure size: 4
0 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3
1 0 1 3 3 3 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 3 1 3 3 3 3 1 3
1 1 0 3 3 1 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 1 1 3 3 3 1 3 3
1 3 3 0 1 1 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 3 3 3 1 3 3 3 1
1 3 3 1 0 3 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 1 3 1 3 3 3 3 1
1 3 1 1 3 0 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 1 1 1 3 3
1 1 3 3 1 3 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 1 3 1 3 1 3
2 2 2 2 2 2 2 0 1 1 3 3 3 1 3 3 1 3 1 1 3 3 3 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 1 0 1 1 3 1 3 3 3 3 3 3 1 3 1 3 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 1 1 0 3 1 1 3 3 3 3 3 1 3 1 3 3 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 3 1 3 0 3 1 1 3 1 3 3 3 3 3 1 1 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 3 3 1 3 0 1 3 1 3 1 3 3 3 1 3 1 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 3 1 1 1 1 0 3 1 1 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 1 3 3 1 3 3 0 3 1 1 3 1 3 3 3 1 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 3 3 3 3 1 1 3 0 1 1 1 3 1 3 3 3 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 3 3 3 1 3 1 1 1 0 3 1 1 3 3 3 3 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 1 3 3 3 1 3 1 1 3 0 3 3 1 3 3 1 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 3 3 3 3 3 3 3 1 1 3 0 1 1 1 1 3 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 1 3 1 3 3 3 1 3 1 3 1 0 3 1 3 3 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 1 1 3 3 3 3 3 1 3 1 1 3 0 3 1 3 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 3 3 1 3 1 3 3 3 3 3 1 1 3 0 1 1 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 3 1 3 1 3 3 3 3 3 3 1 3 1 1 0 1 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 3 3 3 1 1 3 1 3 3 1 3 3 3 1 1 0 2 2 2 2 2 2 2 2 2
3 1 3 1 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 3 1 3 1 3 3 1 1
3 3 1 3 1 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 0 1 1 3 3 1 3 1
3 1 1 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 1 3 3 3 3
3 3 3 3 1 3 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 1 1 0 1 1 3 3 3
3 3 3 1 3 1 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 3 1 1 0 1 3 3 3
3 3 3 3 3 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 1 1 0 1 1 3
3 3 1 3 3 1 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 1 3 3 3 1 0 1 1
3 1 3 3 3 3 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 3 3 3 3 1 1 0 1
3 3 3 1 1 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 3 3 3 3 1 1 0

closure size: 6
0 1 2 3 2 3 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 4 4 4 4 4 4 5 5 5
1 0 2 5 2 5 2 2 2 2 2 5 2 2 2 2 2 2 2 2 2 2 2 4 4 4 4 4 4 3 3 3
2 2 0 4 2 2 2 4 3 2 4 2 2 2 3 5 4 2 4 2 5 2 1 2 3 2 2 2 5 2 2 4
3 5 4 0 2 3 2 4 2 2 4 3 2 2 2 2 4 2 4 2 2 2 4 2 2 2 2 2 2 5 5 1
2 2 2 2 0 4 2 2 2 3 5 2 1 4 4 2 2 2 3 5 4 4 2 5 2 3 2 2 2 4 2 2
3 5 2 3 4 0 2 2 2 2 2 3 4 4 4 2 2 2 2 2 4 4 2 2 2 2 2 2 2 1 5 5
2 2 2 2 2 2 0 5 4 4 2 4 2 3 2 4 3 1 2 4 2 5 2 2 2 2 5 3 2 2 4 2
2 2 4 4 2 2 5 0 2 2 4 2 2 5 2 2 1 3 4 2 2 3 4 2 2 2 3 5 2 2 2 4
2 2 3 2 2 2 4 2 0 4 2 4 2 2 3 1 2 4 2 4 5 2 5 2 3 2 2 2 5 2 4 2
2 2 2 2 3 2 4 2 4 0 5 4 5 2 2 4 2 4 3 1 2 2 2 5 2 3 2 2 2 2 4 2
2 2 4 4 5 2 2 4 2 5 0 2 3 2 2 2 4 2 1 3 2 2 4 3 2 5 2 2 2 2 2 4
3 5 2 3 2 3 4 2 4 4 2 0 2 2 2 4 2 4 2 4 2 2 2 2 2 2 2 2 2 5 1 5
2 2 2 2 1 4 2 2 2 5 3 2 0 4 4 2 2 2 5 3 4 4 2 3 2 5 2 2 2 4 2 2
2 2 2 2 4 4 3 5 2 2 2 2 4 0 4 2 3 5 2 2 4 1 2 2 2 2 5 3 2 4 2 2
2 2 3 2 4 4 2 2 3 2 2 2 4 4 0 5 2 2 2 2 1 4 5 2 3 2 2 2 5 4 2 2
2 2 5 2 2 2 4 2 1 4 2 4 2 2 5 0 2 4 2 4 3 2 3 2 5 2 2 2 3 2 4 2
2 2 4 4 2 2 3 1 2 2 4 2 2 3 2 2 0 5 4 2 2 5 4 2 2 2 5 3 2 2 2 4
2 2 2 2 2 2 1 3 4 4 2 4 2 5 2 4 5 0 2 4 2 3 2 2 2 2 3 5 2 2 4 2
2 2 4 4 3 2 2 4 2 3 1 2 5 2 2 2 4 2 0 5 2 2 4 5 2 3 2 2 2 2 2 4
2 2 2 2 5 2 4 2 4 1 3 4 3 2 2 4 2 4 5 0 2 2 2 3 2 5 2 2 2 2 4 2
2 2 5 2 4 4 2 2 5 2 2 2 4 4 1 3 2 2 2 2 0 4 3 2 5 2 2 2 3 4 2 2
2 2 2 2 4 4 5 3 2 2 2 2 4 1 4 2 5 3 2 2 4 0 2 2 2 2 3 5 2 4 2 2
2 2 1 4 2 2 2 4 5 2 4 2 2 2 5 3 4 2 4 2 3 2 0 2 5 2 2 2 3 2 2 4
4 4 2 2 5 2 2 2 2 5 3 2 3 2 2 2 2 2 5 3 2 2 2 0 4 1 4 4 4 2 2 2
4 4 3 2 2 2 2 2 3 2 2 2 2 2 3 5 2 2 2 2 5 2 5 4 0 4 4 4 1 2 2 2
4 4 2 2 3 2 2 2 2 3 5 2 5 2 2 2 2 2 3 5 2 2 2 1 4 0 4 4 4 2 2 2
4 4 2 2 2 2 5 3 2 2 2 2 2 5 2 2 5 3 2 2 2 3 2 4 4 4 0 1 4 2 2 2
4 4 2 2 2 2 3 5 2 2 2 2 2 3 2 2 3 5 2 2 2 5 2 4 4 4 1 0 4 2 2 2
4 4 5 2 2 2 2 2 5 2 2 2 2 2 5 3 2 2 2 2 3 2 3 4 1 4 4 4 0 2 2 2
5 3 2 5 4 1 2 2 2 2 2 5 4 4 4 2 2 2 2 2 4 4 2 2 2 2 2 2 2 0 3 3
5 3 2 5 2 5 4 2 4 4 2 1 2 2 2 4 2 4 2 4 2 2 2 2 2 2 2 2 2 3 0 3
5 3 4 1 2 5 2 4 2 2 4 5 2 2 2 2 4 2 4 2 2 2 4 2 2 2 2 2 2 3 3 0

closure size: 6
0 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 5 4 5 4 5 5 5 5 5
1 0 1 1 1 1 1 1 2 2 4 2 2 2 2 2 4 2 2 2 5 2 2 5 2 5 2 5 3 5 5 5
1 1 0 1 1 1 1 1 2 4 2 2 2 2 2 4 2 2 2 2 5 2 2 5 2 5 2 5 5 5 5 3
1 1 1 0 1 1 1 1 2 2 2 4 2 2 2 2 2 2 4 2 5 2 2 5 2 3 2 5 5 5 5 5
1 1 1 1 0 1 1 1 4 2 2 2 2 4 2 2 2 2 2 2 5 2 2 5 2 5 2 5 5 5 3 5
1 1 1 1 1 0 1 1 2 2 2 2 2 2 4 2 2 2 2 2 5 4 2 5 2 5 2 5 5 3 5 5
1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 4 2 2 5 2 4 3 2 5 2 5 5 5 5 5
1 1 1 1 1 1 1 0 2 2 2 2 4 2 2 2 2 2 2 4 5 2 2 5 2 5 2 3 5 5 5 5
2 2 2 2 4 2 2 2 0 1 5 5 1 3 1 5 1 5 1 5 2 5 1 2 5 2 1 2 2 2 4 2
2 2 4 2 2 2 2 2 1 0 5 5 1 5 1 3 1 5 1 5 2 5 1 2 5 2 1 2 2 2 2 4
2 4 2 2 2 2 2 2 5 5 0 1 5 1 5 1 3 1 5 1 2 1 5 2 1 2 5 2 4 2 2 2
2 2 2 4 2 2 2 2 5 5 1 0 5 1 5 1 5 1 3 1 2 1 5 2 1 4 5 2 2 2 2 2
2 2 2 2 2 2 2 4 1 1 5 5 0 5 1 5 1 5 1 3 2 5 1 2 5 2 1 4 2 2 2 2
2 2 2 2 4 2 2 2 3 5 1 1 5 0 5 1 5 1 5 1 2 1 5 2 1 2 5 2 2 2 4 2
2 2 2 2 2 4 2 2 1 1 5 5 1 5 0 5 1 5 1 5 2 3 1 2 5 2 1 2 2 4 2 2
2 2 4 2 2 2 2 2 5 3 1 1 5 1 5 0 5 1 5 1 2 1 5 2 1 2 5 2 2 2 2 4
2 4 2 2 2 2 2 2 1 1 3 5 1 5 1 5 0 5 1 5 2 5 1 2 5 2 1 2 4 2 2 2
2 2 2 2 2 2 4 2 5 5 1 1 5 1 5 1 5 0 5 1 2 1 3 4 1 2 5 2 2 2 2 2
2 2 2 4 2 2 2 2 1 1 5 3 1 5 1 5 1 5 0 5 2 5 1 2 5 4 1 2 2 2 2 2
2 2 2 2 2 2 2 4 5 5 1 1 3 1 5 1 5 1 5 0 2 1 5 2 1 2 5 4 2 2 2 2
3 5 5 5 5 5 5 5 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 1 4 1 4 1 1 1 1 1
2 2 2 2 2 4 2 2 5 5 1 1 5 1 3 1 5 1 5 1 2 0 5 2 1 2 5 2 2 4 2 2
2 2 2 2 2 2 4 2 1 1 5 5 1 5 1 5 1 3 1 5 2 5 0 4 5 2 1 2 2 2 2 2
5 5 5 5 5 5 3 5 2 2 2 2 2 2 2 2 2 4 2 2 1 2 4 0 2 1 2 1 1 1 1 1
4 2 2 2 2 2 2 2 5 5 1 1 5 1 5 1 5 1 5 1 4 1 5 2 0 2 3 2 2 2 2 2
5 5 5 3 5 5 5 5 2 2 2 4 2 2 2 2 2 2 4 2 1 2 2 1 2 0 2 1 1 1 1 1
4 2 2 2 2 2 2 2 1 1 5 5 1 5 1 5 1 5 1 5 4 5 1 2 3 2 0 2 2 2 2 2
5 5 5 5 5 5 5 3 2 2 2 2 4 2 2 2 2 2 2 4 1 2 2 1 2 1 2 0 1 1 1 1
5 3 5 5 5 5 5 5 2 2 4 2 2 2 2 2 4 2 2 2 1 2 2 1 2 1 2 1 0 1 1 1
5 5 5 5 5 3 5 5 2 2 2 2 2 2 4 2 2 2 2 2 1 4 2 1 2 1 2 1 1 0 1 1
5 5 5 5 3 5 5 5 4 2 2 2 2 4 2 2 2 2 2 2 1 2 2 1 2 1 2 1 1 1 0 1
5 5 3 5 5 5 5 5 2 4 2 2 2 2 2 4 2 2 2 2 1 2 2 1 2 1 2 1 1 1 1 0

closure size: 24
 0  1  5  6  5 13  3  2  7  4  6 14 13 11  8 10  9  7 12  4 14 15 12 18 21 17 19 20 16 22 22 23
 1  0  7  4  7 12  2  3  5  6  4 22 12 10  9 11  8  5 13  6 22 23 13 19 20 16 18 21 17 14 14 15
 6  7  0 17 15 21 13  4  9 23  3 18 11 14  5 12 22 19  2  1  8  6 16  5 14 13 22 12  4 10 20  7
 5  4 18  0  8 17  6 12 23  2 15 21  3 13 14 22  7  1 10 16 11  5 20 14 13  6  7 22 12  9 19  4
 6  7 15  3  0 11 13  4 19  1 17  8 21 14  5 12 22  9 16 23 18  6  2  5 14 13 22 12  4 20 10  7
14 12 21 18 11  0  5 22  2 10  8 17 15  6 13  7  4 16  9 20  3 14 19 13  6  5  4  7 22 23  1 12
 8  2 14  5 14  6  0 20  4 12  5 13  6 17 21 19  1  4 22 12 13 18 22 11  3 15 23  9 10  7  7 16
 2  8  4 12  4 22 20  0 14  5 12  7 22 19  1 17 21 14  6  5  7 16  6 23  9 10 11  3 15 13 13 18
 7  6  9 23 19  2  4 13  0 17  1 10 16 12 22 14  5 15 21  3 20  7 11 22 12  4  5 14 13 18  8  6
 4  5 23  2  1 10 12  6 18  0 16  9 20 22  7 13 14  8 17 15 19  4  3  7 22 12 14 13  6 21 11  5
 5  4  8 15 18  3  6 12  1 16  0 11 17 13 14 22  7 23 20  2 21  5 10 14 13  6  7 22 12 19  9  4
13 22 17 21  3 18 14  7 10  9 11  0  8  5  6  4 12 20 23 19 15 13  1  6  5 14 12  4  7  2 16 22
14 12 11  8 21 15  5 22 16 20 18  3  0  6 13  7  4  2 19 10 17 14  9 13  6  5  4  7 22  1 23 12
11 10 13 14 13  5 18 19 12 22 14  6  5  0 17  1 16 12  7 22  6 21  7  3 15  8  2 23  9  4  4 20
 3  9  6 13  6 14 21  1 22  7 13  5 14 18  0 16 20 22  4  7  5 17  4 15  8 11 10  2 23 12 12 19
10 11 12 22 12  7 19 18 13 14 22  4  7  1 16  0 17 13  5 14  4 20  5  2 23  9  3 15  8  6  6 21
 9  3 22  7 22  4  1 21  6 13  7 12  4 16 20 18  0  6 14 13 12 19 14 10  2 23 15  8 11  5  5 17
 7  6 19  1  9 16  4 13 15  3 23 20  2 12 22 14  5  0 11 17 10  7 21 22 12  4  5 14 13  8 18  6
12 14  2 10 16  9 22  5 21 18 20 23 19  7  4  6 13 11  0  8  1 12 15  4  7 22 13  6  5 17  3 14
 4  5  1 16 23 20 12  6  8 15  2 19 10 22  7 13 14 18  3  0  9  4 17  7 22 12 14 13  6 11 21  5
13 22  3 11 17  8 14  7 20 19 21 15 18  5  6  4 12 10  1  9  0 13 23  6  5 14 12  4  7 16  2 22
15 23  5  6  5 13 17 16  7  4  6 14 13 21 18 20 19  7 12  4 14  0 12  8 11  3  9 10  2 22 22  1
12 14 16 20  2 19 22  5 11  8 10  1  9  7  4  6 13 21 15 18 23 12  0  4  7 22 13  6  5  3 17 14
17 19  6 13  6 14 11 23 22  7 13  5 14  8 15  2 10 22  4  7  5  3  4  0 18 21 20 16  1 12 12  9
21 20 13 14 13  5  8  9 12 22 14  6  5 15  3 23  2 12  7 22  6 11  7 17  0 18 16  1 19  4  4 10
18 16 14  5 14  6 15 10  4 12  5 13  6  3 11  9 23  4 22 12 13  8 22 21 17  0  1 19 20  7  7  2
19 17 22  7 22  4 23 11  6 13  7 12  4  2 10  8 15  6 14 13 12  9 14 20 16  1  0 18 21  5  5  3
20 21 12 22 12  7  9  8 13 14 22  4  7 23  2 15  3 13  5 14  4 10  5 16  1 19 17  0 18  6  6 11
16 18  4 12  4 22 10 15 14  5 12  7 22  9 23  3 11 14  6  5  7  2  6  1 19 20 21 17  0 13 13  8
22 13 10  9 20 23  7 14 17 21 19  2  1  4 12  5  6  3 18 11 16 22  8 12  4  7  6  5 14  0 15 13
22 13 20 19 10  1  7 14  3 11  9 16 23  4 12  5  6 17  8 21  2 22 18 12  4  7  6  5 14 15  0 13
23 15  7  4  7 12 16 17  5  6  4 22 12 20 19 21 18  5 13  6 22  1 13  9 10  2  8 11  3 14 14  0

closure size: 4
0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3
1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 3 2 2 2 3 2 2 2 3 2 2 3
1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 2 3 2 3 2 3 2 2 3 2 2 2 2 3
1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 2 2 3 3 2 3 2 3 3 2 2 2 2
1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 2 3 2 2 2 3 2 2 3 3 2 2 3 2 3 2
1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 2 2 3 2 3 2 2 3 2 3 3 2 2 2 3 2
1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 3 2 2 2 2 2 2 3 3 2
1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 3 2 2 2 2 2 3 3 3 2 2 2 2 2 3 3
1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 3 2 2 2 3 3 2 2 2 3 2 3 2 2 2 3
1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 2 2 2 3 2 2 2 3 3 3 2 3 2 3 2 2
1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 2 3 3 2 2 2 3 2 2 3 2 2 2 3 2 3
1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 3 3 3 3 2 2 2 2 2 2 2 3 2 2 3 2
1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 3 2 2 3 2 2 3 2 2 3 3 2 3 2 2 2
1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 3 2 3 2 2 3 2 3 2 2 2 2 3 3 2 2
1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 3 3 2 2 3 2 2 2 3 2 3 2 2 3 2 2
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 2 3 2 2 3 2 3 3 2 2 2 3 3 2 2 2
2 2 2 2 2 2 2 3 3 2 2 3 3 3 3 2 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2 2 3 2 3 2 2 2 2 2 3 3 2 2 3 3 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2 3 2 3 2 3 2 2 2 2 3 3 2 3 2 2 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1
2 3 3 2 2 2 3 2 2 3 2 3 3 2 2 2 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1
2 3 2 2 2 3 3 2 3 2 2 2 2 2 3 3 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1
2 2 3 3 3 2 3 2 3 2 2 2 2 3 2 2 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1
2 2 2 3 2 2 3 3 2 2 3 2 3 2 2 3 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1
2 2 3 2 2 3 2 3 2 3 2 2 2 3 2 3 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1
2 3 2 3 3 2 2 3 2 3 2 2 2 2 3 2 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1
2 2 2 2 3 3 2 2 3 3 3 2 3 2 2 2 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1
3 2 3 3 2 3 2 2 2 2 2 2 3 2 3 2 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1
3 2 2 3 2 2 2 2 3 3 2 3 2 2 2 3 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1
3 3 2 2 3 2 2 2 2 2 2 2 3 3 2 3 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1
3 2 2 2 2 2 3 2 2 3 3 2 2 3 3 2 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1
3 2 2 2 3 3 3 3 2 2 2 3 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1
3 3 3 2 2 2 2 3 3 2 3 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0

closure size: 4
0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3
1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 2 3 2 2 3 3 2 2 3 3 2 2
1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 3 2 2 3 2 3 2 2 3 2
1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 2 3 2 2 2 3 3 3 2 2 2 2 3 2 2 3
1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 3 2 2 2 2 3 2 3 3 2 3 2 2 2 3 2
1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 2 3 2 3 2 3 2 2 2 2 3
1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 3 2 3 2 3 3 2 2 2 2 2 2 2 3 2 3
1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 2 3 2 2 3 2 2 3 2 3 3 2 2 3 2 2
1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 2 2 3 2 2 2 2 3 3 3 2 3 2 2 2 3
1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 2 3 3 3 2 3 2 2 2 2 3 3 2 2 2 2
1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 2 2 3 3 2 2 3 3 2 2 2 2 2 3 3 2
1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 3 2 3 2 2 2 3 2 2 3 3 2 3 2 2 2
1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 3 3 2 3 2 2 2 2 2 3 2 2 2 2 3 3
1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 2 3 3 2 3 2 2 2 3 2 2 2 3 2 3 2
1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 3 3 2 2 2 2 3 2 3 2 2 3 2 3 2 2
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 3 2 2 3 3 2 2 3 2 2 2 3 3 2 2 2
2 2 2 2 3 2 3 2 2 2 2 3 3 2 3 3 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2 2 2 3 2 2 2 3 2 3 2 2 3 3 3 2 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2 2 2 2 2 2 3 2 3 3 3 3 2 3 2 2 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1
2 3 2 2 2 3 2 2 2 3 3 2 3 2 2 3 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1
2 2 3 2 2 3 3 3 2 2 2 2 2 3 2 3 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1
2 3 3 3 3 2 3 2 2 3 2 2 2 2 2 2 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1
2 2 3 3 2 3 2 2 2 2 3 3 2 2 3 2 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1
2 2 2 3 3 2 2 3 3 2 3 2 2 2 2 3 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1
2 3 2 2 3 3 2 2 3 2 2 2 2 3 3 2 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1
2 3 3 2 2 2 2 3 3 2 2 3 3 2 2 2 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1
3 2 2 2 3 3 2 3 2 3 2 3 2 2 2 2 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1
3 2 3 2 2 2 2 2 3 3 2 2 2 2 3 3 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1
3 3 2 3 2 2 2 2 2 2 2 3 2 3 2 3 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1
3 3 2 2 2 2 3 3 2 2 3 2 2 2 3 2 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1
3 2 3 2 3 2 2 2 2 2 3 2 3 3 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1
3 2 2 3 2 3 3 2 3 2 2 2 3 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0

closure size: 4
0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3
1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3
2 2 0 2 2 3 3 1 2 2 2 2 2 2 3 3 3 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2
2 2 2 0 2 2 2 2 3 3 1 2 2 2 2 2 2 3 3 3 2 2 2 2 3 2 2 2 2 2 2 2
2 2 2 2 0 2 2 2 2 2 2 3 3 1 2 2 2 2 2 2 3 3 3 2 2 3 2 2 2 2 2 2
2 2 3 2 2 0 3 3 2 2 2 2 2 2 3 1 3 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2
2 2 3 2 2 3 0 3 2 2 2 2 2 2 3 3 1 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2
2 2 1 2 2 3 3 0 2 2 2 2 2 2 3 3 3 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2
2 2 2 3 2 2 2 2 0 3 3 2 2 2 2 2 2 3 1 3 2 2 2 2 3 2 2 2 2 2 2 2
2 2 2 3 2 2 2 2 3 0 3 2 2 2 2 2 2 3 3 1 2 2 2 2 3 2 2 2 2 2 2 2
2 2 2 1 2 2 2 2 3 3 0 2 2 2 2 2 2 3 3 3 2 2 2 2 3 2 2 2 2 2 2 2
2 2 2 2 3 2 2 2 2 2 2 0 3 3 2 2 2 2 2 2 3 1 3 2 2 3 2 2 2 2 2 2
2 2 2 2 3 2 2 2 2 2 2 3 0 3 2 2 2 2 2 2 3 3 1 2 2 3 2 2 2 2 2 2
2 2 2 2 1 2 2 2 2 2 2 3 3 0 2 2 2 2 2 2 3 3 3 2 2 3 2 2 2 2 2 2
2 2 3 2 2 3 3 3 2 2 2 2 2 2 0 3 3 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2
2 2 3 2 2 1 3 3 2 2 2 2 2 2 3 0 3 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2
2 2 3 2 2 3 1 3 2 2 2 2 2 2 3 3 0 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2
2 2 2 3 2 2 2 2 3 3 3 2 2 2 2 2 2 0 3 3 2 2 2 2 1 2 2 2 2 2 2 2
2 2 2 3 2 2 2 2 1 3 3 2 2 2 2 2 2 3 0 3 2 2 2 2 3 2 2 2 2 2 2 2
2 2 2 3 2 2 2 2 3 1 3 2 2 2 2 2 2 3 3 0 2 2 2 2 3 2 2 2 2 2 2 2
2 2 2 2 3 2 2 2 2 2 2 3 3 3 2 2 2 2 2 2 0 3 3 2 2 1 2 2 2 2 2 2
2 2 2 2 3 2 2 2 2 2 2 1 3 3 2 2 2 2 2 2 3 0 3 2 2 3 2 2 2 2 2 2
2 2 2 2 3 2 2 2 2 2 2 3 1 3 2 2 2 2 2 2 3 3 0 2 2 3 2 2 2 2 2 2
2 2 3 2 2 3 3 3 2 2 2 2 2 2 1 3 3 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2
2 2 2 3 2 2 2 2 3 3 3 2 2 2 2 2 2 1 3 3 2 2 2 2 0 2 2 2 2 2 2 2
2 2 2 2 3 2 2 2 2 2 2 3 3 3 2 2 2 2 2 2 1 3 3 2 2 0 2 2 2 2 2 2
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 3 3 1 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 0 3 3 1 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 0 3 3 1
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 3 3 0 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 1 3 3 0 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 1 3 3 0

closure size: 4
0 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3
1 0 1 1 1 1 3 3 3 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 1 1 1
1 1 0 1 1 3 1 3 1 3 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 1 3 1 1
1 1 1 0 3 1 1 3 1 1 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 3 3 1 1
1 1 1 3 0 1 1 1 3 3 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 1 1 3 1
1 1 3 1 1 0 1 1 3 1 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 3 1 3 1
1 3 1 1 1 1 0 1 1 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 3 3 1
1 3 3 3 1 1 1 0 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 3 3
1 3 1 1 3 3 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 3 1 3
1 1 3 1 3 1 3 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 3 1 1 3
1 1 1 3 1 3 3 1 1 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 1 1 1 3
2 2 2 2 2 2 2 2 2 2 2 0 1 3 3 3 1 3 1 1 1 1 1 3 1 1 1 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 1 0 1 3 1 3 3 3 1 3 1 1 1 1 1 1 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 3 1 0 1 1 1 1 3 3 3 1 3 1 1 1 1 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 3 3 1 0 1 1 1 1 3 1 3 1 1 1 1 3 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 3 1 1 1 0 3 1 1 1 3 3 1 1 3 1 1 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 1 3 1 1 3 0 1 1 3 1 1 3 3 1 1 1 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 3 3 1 1 1 1 0 1 1 1 1 3 1 3 3 1 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 1 3 3 1 1 1 1 0 1 1 3 1 3 3 1 1 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 1 1 3 3 1 3 1 1 0 1 1 1 1 3 3 1 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 1 3 3 1 3 1 1 1 1 0 1 1 1 1 3 3 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 1 1 1 3 3 1 1 3 1 1 0 3 1 1 3 1 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 1 1 3 1 1 3 3 1 1 1 3 0 1 1 1 3 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 3 1 1 1 1 3 1 3 1 1 1 1 0 1 3 3 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 3 1 3 3 3 1 1 1 1 0 1 3 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 3 1 3 3 3 1 3 1 0 1 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 1 1 1 3 1 1 1 1 1 3 1 3 3 3 1 0 2 2 2 2 2
3 3 3 1 3 1 1 1 1 1 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 1 1 1
3 3 1 3 1 3 1 1 1 3 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 1
3 1 3 3 1 1 3 1 3 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 1
3 1 1 1 3 3 3 3 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 0 1
3 1 1 1 1 1 1 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 0

closure size: 6
0 1 1 1 1 1 1 3 3 2 3 3 3 3 3 3 4 4 4 3 3 3 3 3 3 4 3 3 5 5 5 5
1 0 1 1 2 1 1 3 3 1 3 3 3 3 3 3 4 4 5 3 3 3 3 3 3 5 3 3 5 5 4 4
1 1 0 1 1 2 1 3 3 1 3 3 3 3 3 3 4 5 4 3 3 3 3 3 3 5 3 3 5 4 5 4
1 1 1 0 1 1 2 3 3 1 3 3 3 3 3 3 5 4 4 3 3 3 3 3 3 5 3 3 4 5 5 4
1 2 1 1 0 1 1 3 3 1 3 3 3 3 3 3 5 5 4 3 3 3 3 3 3 4 3 3 4 4 5 5
1 1 2 1 1 0 1 3 3 1 3 3 3 3 3 3 5 4 5 3 3 3 3 3 3 4 3 3 4 5 4 5
1 1 1 2 1 1 0 3 3 1 3 3 3 3 3 3 4 5 5 3 3 3 3 3 3 4 3 3 5 4 4 5
3 3 3 3 3 3 3 0 4 3 5 2 5 1 5 1 3 3 3 4 1 4 1 5 1 3 1 4 3 3 3 3
3 3 3 3 3 3 3 4 0 3 1 5 1 5 2 5 3 3 3 1 5 1 4 1 4 3 4 1 3 3 3 3
2 1 1 1 1 1 1 3 3 0 3 3 3 3 3 3 5 5 5 3 3 3 3 3 3 5 3 3 4 4 4 4
3 3 3 3 3 3 3 5 1 3 0 4 1 4 1 5 3 3 3 2 5 1 5 1 4 3 4 1 3 3 3 3
3 3 3 3 3 3 3 2 5 3 4 0 4 1 4 1 3 3 3 5 1 5 1 4 1 3 1 5 3 3 3 3
3 3 3 3 3 3 3 5 1 3 1 4 0 5 1 4 3 3 3 1 5 2 4 1 5 3 4 1 3 3 3 3
3 3 3 3 3 3 3 1 5 3 4 1 5 0 4 1 3 3 3 5 1 4 2 5 1 3 1 4 3 3 3 3
3 3 3 3 3 3 3 5 2 3 1 4 1 4 0 4 3 3 3 1 4 1 5 1 5 3 5 1 3 3 3 3
3 3 3 3 3 3 3 1 5 3 5 1 4 1 4 0 3 3 3 4 1 5 1 5 2 3 1 4 3 3 3 3
4 4 4 5 5 5 4 3 3 5 3 3 3 3 3 3 0 1 1 3 3 3 3 3 3 1 3 3 2 1 1 1
4 4 5 4 5 4 5 3 3 5 3 3 3 3 3 3 1 0 1 3 3 3 3 3 3 1 3 3 1 2 1 1
4 5 4 4 4 5 5 3 3 5 3 3 3 3 3 3 1 1 0 3 3 3 3 3 3 1 3 3 1 1 2 1
3 3 3 3 3 3 3 4 1 3 2 5 1 5 1 4 3 3 3 0 4 1 4 1 5 3 5 1 3 3 3 3
3 3 3 3 3 3 3 1 5 3 5 1 5 1 4 1 3 3 3 4 0 4 1 4 1 3 2 5 3 3 3 3
3 3 3 3 3 3 3 4 1 3 1 5 2 4 1 5 3 3 3 1 4 0 5 1 4 3 5 1 3 3 3 3
3 3 3 3 3 3 3 1 4 3 5 1 4 2 5 1 3 3 3 4 1 5 0 4 1 3 1 5 3 3 3 3
3 3 3 3 3 3 3 5 1 3 1 4 1 5 1 5 3 3 3 1 4 1 4 0 4 3 5 2 3 3 3 3
3 3 3 3 3 3 3 1 4 3 4 1 5 1 5 2 3 3 3 5 1 4 1 4 0 3 1 5 3 3 3 3
4 5 5 5 4 4 4 3 3 5 3 3 3 3 3 3 1 1 1 3 3 3 3 3 3 0 3 3 1 1 1 2
3 3 3 3 3 3 3 1 4 3 4 1 4 1 5 1 3 3 3 5 2 5 1 5 1 3 0 4 3 3 3 3
3 3 3 3 3 3 3 4 1 3 1 5 1 4 1 4 3 3 3 1 5 1 5 2 5 3 4 0 3 3 3 3
5 5 5 4 4 4 5 3 3 4 3 3 3 3 3 3 2 1 1 3 3 3 3 3 3 1 3 3 0 1 1 1
5 5 4 5 4 5 4 3 3 4 3 3 3 3 3 3 1 2 1 3 3 3 3 3 3 1 3 3 1 0 1 1
5 4 5 5 5 4 4 3 3 4 3 3 3 3 3 3 1 1 2 3 3 3 3 3 3 1 3 3 1 1 0 1
5 4 4 4 5 5 5 3 3 4 3 3 3 3 3 3 1 1 1 3 3 3 3 3 3 2 3 3 1 1 1 0

closure size: 5
0 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 4 4 4
1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 4 2 2 2 2 2 2 2 2 2 2 2 2 4 4 3
1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 4 2 2 2 2 2 2 2 2 2 2 2 2 3 4 4
1 1 1 0 2 2 2 2 2 2 2 2 2 2 2 2 4 2 2 2 2 2 2 2 2 2 2 2 2 4 3 4
2 2 2 2 0 2 2 2 4 2 2 2 4 1 2 2 2 2 2 2 2 3 1 4 2 2 2 1 2 2 2 2
2 2 2 2 2 0 2 2 2 4 1 4 2 2 2 2 2 2 2 1 4 2 2 2 3 2 2 2 1 2 2 2
2 2 2 2 2 2 0 3 2 2 2 2 2 2 4 1 2 4 1 2 2 2 2 2 2 1 4 2 2 2 2 2
2 2 2 2 2 2 3 0 2 2 2 2 2 2 1 4 2 1 4 2 2 2 2 2 2 4 1 2 2 2 2 2
2 2 2 2 4 2 2 2 0 2 2 2 1 4 2 2 2 2 2 2 2 1 4 1 2 2 2 3 2 2 2 2
2 2 2 2 2 4 2 2 2 0 3 1 2 2 2 2 2 2 2 4 1 2 2 2 1 2 2 2 4 2 2 2
2 2 2 2 2 1 2 2 2 3 0 4 2 2 2 2 2 2 2 1 4 2 2 2 4 2 2 2 1 2 2 2
2 2 2 2 2 4 2 2 2 1 4 0 2 2 2 2 2 2 2 4 1 2 2 2 1 2 2 2 3 2 2 2
2 2 2 2 4 2 2 2 1 2 2 2 0 3 2 2 2 2 2 2 2 1 4 1 2 2 2 4 2 2 2 2
2 2 2 2 1 2 2 2 4 2 2 2 3 0 2 2 2 2 2 2 2 4 1 4 2 2 2 1 2 2 2 2
2 2 2 2 2 2 4 1 2 2 2 2 2 2 0 3 2 1 4 2 2 2 2 2 2 4 1 2 2 2 2 2
2 2 2 2 2 2 1 4 2 2 2 2 2 2 3 0 2 4 1 2 2 2 2 2 2 1 4 2 2 2 2 2
3 4 4 4 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1
2 2 2 2 2 2 4 1 2 2 2 2 2 2 1 4 2 0 3 2 2 2 2 2 2 4 1 2 2 2 2 2
2 2 2 2 2 2 1 4 2 2 2 2 2 2 4 1 2 3 0 2 2 2 2 2 2 1 4 2 2 2 2 2
2 2 2 2 2 1 2 2 2 4 1 4 2 2 2 2 2 2 2 0 3 2 2 2 4 2 2 2 1 2 2 2
2 2 2 2 2 4 2 2 2 1 4 1 2 2 2 2 2 2 2 3 0 2 2 2 1 2 2 2 4 2 2 2
2 2 2 2 3 2 2 2 1 2 2 2 1 4 2 2 2 2 2 2 2 0 4 1 2 2 2 4 2 2 2 2
2 2 2 2 1 2 2 2 4 2 2 2 4 1 2 2 2 2 2 2 2 4 0 3 2 2 2 1 2 2 2 2
2 2 2 2 4 2 2 2 1 2 2 2 1 4 2 2 2 2 2 2 2 1 3 0 2 2 2 4 2 2 2 2
2 2 2 2 2 3 2 2 2 1 4 1 2 2 2 2 2 2 2 4 1 2 2 2 0 2 2 2 4 2 2 2
2 2 2 2 2 2 1 4 2 2 2 2 2 2 4 1 2 4 1 2 2 2 2 2 2 0 3 2 2 2 2 2
2 2 2 2 2 2 4 1 2 2 2 2 2 2 1 4 2 1 4 2 2 2 2 2 2 3 0 2 2 2 2 2
2 2 2 2 1 2 2 2 3 2 2 2 4 1 2 2 2 2 2 2 2 4 1 4 2 2 2 0 2 2 2 2
2 2 2 2 2 1 2 2 2 4 1 3 2 2 2 2 2 2 2 1 4 2 2 2 4 2 2 2 0 2 2 2
4 4 3 4 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 0 1 1
4 4 4 3 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1
4 3 4 4 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0

closure size: 4
0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3
1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3
2 2 0 2 2 2 2 3 1 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 0 2 2 2 2 2 2 3 1 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2
2 2 2 2 0 2 2 2 2 2 2 2 3 1 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2
2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 3 1 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2
2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 3 1 2 2 2 2 2 2 2 2 3 2 2 2 2
2 2 3 2 2 2 2 0 3 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2
2 2 1 2 2 2 2 3 0 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 3 1 2 2 2 2 2 2 3 2 2 2
2 2 2 3 2 2 2 2 2 2 0 3 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2
2 2 2 1 2 2 2 2 2 2 3 0 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2
2 2 2 2 3 2 2 2 2 2 2 2 0 3 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2
2 2 2 2 1 2 2 2 2 2 2 2 3 0 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 3 1 2 2 2 3 2 2
2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 0 3 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2
2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 3 0 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2
2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 0 3 2 2 2 2 2 2 2 2 1 2 2 2 2
2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 3 0 2 2 2 2 2 2 2 2 3 2 2 2 2
2 2 3 2 2 2 2 1 3 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 0 3 2 2 2 2 2 2 1 2 2 2
2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 3 0 2 2 2 2 2 2 3 2 2 2
2 2 2 3 2 2 2 2 2 2 1 3 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2
2 2 2 2 3 2 2 2 2 2 2 2 1 3 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 0 3 2 2 2 1 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 3 0 2 2 2 3 2 2
2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 1 3 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2
2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 1 3 2 2 2 2 2 2 2 2 0 2 2 2 2
2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 1 3 2 2 2 2 2 2 0 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 1 3 2 2 2 0 2 2
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0

back