12

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

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

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

closure size: 4
0 1 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 3 3 3
1 0 1 1 1 1 1 1 1 3 3 3 3 3 3 3 2 3 3 3 3 3 3 3 3 3 3 3 3 3 2 3 3 3 2 3
1 1 0 1 1 1 1 1 1 3 3 3 3 3 3 3 3 2 3 3 3 3 3 3 3 3 3 3 3 2 3 3 3 2 3 3
1 1 1 0 1 1 1 1 1 3 3 3 3 3 3 3 3 3 3 3 3 3 2 2 3 3 3 3 2 3 3 3 3 3 3 3
1 1 1 1 0 1 1 1 1 3 3 3 3 3 3 3 3 3 3 3 3 2 3 3 2 3 3 2 3 3 3 3 3 3 3 3
1 1 1 1 1 0 1 1 1 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 3 3
1 1 1 1 1 1 0 1 1 3 3 3 3 3 3 2 3 3 3 2 3 3 3 3 3 3 3 3 3 3 3 2 3 3 3 3
1 1 1 1 1 1 1 0 1 3 3 3 3 3 2 3 3 3 2 3 3 3 3 3 3 3 3 3 3 3 3 3 2 3 3 3
1 1 1 1 1 1 1 1 0 3 3 3 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2
2 3 3 3 3 3 3 3 3 0 2 2 3 3 3 3 1 1 3 3 3 3 3 1 1 1 3 3 3 3 3 1 1 3 3 1
2 3 3 3 3 3 3 3 3 2 0 2 1 3 1 1 3 3 3 3 1 1 1 3 3 3 3 3 3 1 1 3 3 3 3 3
2 3 3 3 3 3 3 3 3 2 2 0 3 1 3 3 3 3 1 1 3 3 3 3 3 3 1 1 1 3 3 3 3 1 1 3
3 3 3 3 3 3 3 3 2 3 1 3 0 2 1 1 3 3 3 3 1 1 1 3 3 3 3 3 3 1 1 3 3 3 3 2
3 3 3 3 3 3 3 3 2 3 3 1 2 0 3 3 3 3 1 1 3 3 3 3 3 3 1 1 1 3 3 3 3 1 1 2
3 3 3 3 3 3 3 2 3 3 1 3 1 3 0 1 3 3 2 3 1 1 1 3 3 3 3 3 3 1 1 3 2 3 3 3
3 3 3 3 3 3 2 3 3 3 1 3 1 3 1 0 3 3 3 2 1 1 1 3 3 3 3 3 3 1 1 2 3 3 3 3
3 2 3 3 3 3 3 3 3 1 3 3 3 3 3 3 0 1 3 3 3 3 3 1 1 1 3 3 3 3 2 1 1 3 2 1
3 3 2 3 3 3 3 3 3 1 3 3 3 3 3 3 1 0 3 3 3 3 3 1 1 1 3 3 3 2 3 1 1 2 3 1
3 3 3 3 3 3 3 2 3 3 3 1 3 1 2 3 3 3 0 1 3 3 3 3 3 3 1 1 1 3 3 3 2 1 1 3
3 3 3 3 3 3 2 3 3 3 3 1 3 1 3 2 3 3 1 0 3 3 3 3 3 3 1 1 1 3 3 2 3 1 1 3
3 3 3 3 3 2 3 3 3 3 1 3 1 3 1 1 3 3 3 3 0 1 1 3 3 2 2 3 3 1 1 3 3 3 3 3
3 3 3 3 2 3 3 3 3 3 1 3 1 3 1 1 3 3 3 3 1 0 1 3 2 3 3 2 3 1 1 3 3 3 3 3
3 3 3 2 3 3 3 3 3 3 1 3 1 3 1 1 3 3 3 3 1 1 0 2 3 3 3 3 2 1 1 3 3 3 3 3
3 3 3 2 3 3 3 3 3 1 3 3 3 3 3 3 1 1 3 3 3 3 2 0 1 1 3 3 2 3 3 1 1 3 3 1
3 3 3 3 2 3 3 3 3 1 3 3 3 3 3 3 1 1 3 3 3 2 3 1 0 1 3 2 3 3 3 1 1 3 3 1
3 3 3 3 3 2 3 3 3 1 3 3 3 3 3 3 1 1 3 3 2 3 3 1 1 0 2 3 3 3 3 1 1 3 3 1
3 3 3 3 3 2 3 3 3 3 3 1 3 1 3 3 3 3 1 1 2 3 3 3 3 2 0 1 1 3 3 3 3 1 1 3
3 3 3 3 2 3 3 3 3 3 3 1 3 1 3 3 3 3 1 1 3 2 3 3 2 3 1 0 1 3 3 3 3 1 1 3
3 3 3 2 3 3 3 3 3 3 3 1 3 1 3 3 3 3 1 1 3 3 2 2 3 3 1 1 0 3 3 3 3 1 1 3
3 3 2 3 3 3 3 3 3 3 1 3 1 3 1 1 3 2 3 3 1 1 1 3 3 3 3 3 3 0 1 3 3 2 3 3
3 2 3 3 3 3 3 3 3 3 1 3 1 3 1 1 2 3 3 3 1 1 1 3 3 3 3 3 3 1 0 3 3 3 2 3
3 3 3 3 3 3 2 3 3 1 3 3 3 3 3 2 1 1 3 2 3 3 3 1 1 1 3 3 3 3 3 0 1 3 3 1
3 3 3 3 3 3 3 2 3 1 3 3 3 3 2 3 1 1 2 3 3 3 3 1 1 1 3 3 3 3 3 1 0 3 3 1
3 3 2 3 3 3 3 3 3 3 3 1 3 1 3 3 3 2 1 1 3 3 3 3 3 3 1 1 1 2 3 3 3 0 1 3
3 2 3 3 3 3 3 3 3 3 3 1 3 1 3 3 2 3 1 1 3 3 3 3 3 3 1 1 1 3 2 3 3 1 0 3
3 3 3 3 3 3 3 3 2 1 3 3 2 2 3 3 1 1 3 3 3 3 3 1 1 1 3 3 3 3 3 1 1 3 3 0

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

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

closure size: 5
0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 4 4
1 0 2 3 2 3 4 1 2 1 1 3 1 1 1 1 2 1 3 3 1 1 3 1 1 2 1 3 3 1 2 1 4 1 1 3
1 2 0 1 2 1 2 3 4 3 3 1 1 1 1 3 2 1 1 3 1 1 3 1 1 4 1 1 1 3 2 3 2 1 1 3
1 3 1 0 1 1 1 1 3 2 4 3 3 2 2 1 1 1 2 1 1 3 3 1 1 1 4 1 2 2 3 3 1 1 3 1
1 2 2 1 0 3 2 1 2 3 3 3 1 1 1 1 4 1 1 1 3 1 1 3 1 2 1 3 1 3 4 1 2 1 3 1
1 3 1 1 3 0 1 2 1 1 3 2 2 3 1 2 1 4 1 3 1 1 1 1 3 3 1 2 3 1 1 4 1 2 3 1
1 4 2 1 2 1 0 3 2 1 1 1 1 3 3 3 2 1 1 1 3 1 1 3 1 2 3 1 1 1 2 3 4 1 3 1
1 1 3 1 1 2 3 0 1 1 3 2 4 3 1 2 1 2 1 1 3 3 1 1 1 1 1 4 3 1 3 2 1 2 1 3
1 2 4 3 2 1 2 1 0 1 1 1 3 1 1 1 2 3 3 1 3 1 1 3 1 4 1 1 3 1 2 1 2 3 3 1
1 1 3 2 3 1 1 1 1 0 2 1 1 2 4 3 1 3 2 1 1 3 3 1 1 1 2 3 4 2 1 1 3 1 3 1
1 1 3 4 3 3 1 3 1 2 0 1 1 2 2 1 1 1 2 1 1 1 1 3 3 1 4 1 2 2 1 1 3 3 1 3
1 3 1 3 3 2 1 2 1 1 1 0 2 1 3 4 1 2 1 1 3 3 1 1 1 3 1 2 1 3 1 2 1 4 1 3
1 1 1 3 1 2 1 4 3 1 1 2 0 1 3 2 3 2 1 3 1 1 1 1 3 1 1 4 1 3 1 2 3 2 3 1
1 1 1 2 1 3 3 3 1 2 2 1 1 0 2 1 3 1 4 1 1 3 3 1 1 3 2 1 2 4 1 1 1 3 3 1
1 1 1 2 1 1 3 1 1 4 2 3 3 2 0 1 3 1 2 1 1 1 1 3 3 3 2 1 4 2 1 3 1 1 1 3
1 1 3 1 1 2 3 2 1 3 1 4 2 1 1 0 1 2 3 3 1 1 1 1 3 1 3 2 1 1 3 2 1 4 3 1
1 2 2 1 4 1 2 1 2 1 1 1 3 3 3 1 0 3 1 3 1 1 3 1 1 2 3 1 1 1 4 1 2 3 1 3
1 1 1 1 1 4 1 2 3 3 1 2 2 1 1 2 3 0 3 1 3 3 1 1 1 1 3 2 1 1 1 4 3 2 1 3
1 3 1 2 1 1 1 1 3 2 2 1 1 4 2 3 1 3 0 1 1 1 1 3 3 1 2 3 2 4 3 1 1 1 1 3
2 3 3 1 1 3 1 1 1 1 1 1 3 1 1 3 3 1 1 0 2 4 2 4 2 1 3 1 3 3 1 1 1 1 2 2
2 1 1 1 3 1 3 3 3 1 1 3 1 1 1 1 1 3 1 2 0 2 4 2 4 1 3 1 3 3 1 1 1 1 2 2
2 1 1 3 1 1 1 3 1 3 1 3 1 3 1 1 1 3 1 4 2 0 2 4 2 3 1 1 1 1 3 1 3 1 2 2
2 3 3 3 1 1 1 1 1 3 1 1 1 3 1 1 3 1 1 2 4 2 0 2 4 1 1 3 1 1 1 3 1 3 2 2
2 1 1 1 3 1 3 1 3 1 3 1 1 1 3 1 1 1 3 4 2 4 2 0 2 1 1 3 1 1 1 3 1 3 2 2
2 1 1 1 1 3 1 1 1 1 3 1 3 1 3 3 1 1 3 2 4 2 4 2 0 3 1 1 1 1 3 1 3 1 2 2
3 2 4 1 2 3 2 1 4 1 1 3 1 3 3 1 2 1 1 1 1 3 1 1 3 0 3 3 1 1 2 1 2 1 1 1
3 1 1 4 1 1 3 1 1 2 4 1 1 2 2 3 3 3 2 3 3 1 1 1 1 3 0 3 2 2 1 1 1 1 1 1
3 3 1 1 3 2 1 4 1 3 1 2 4 1 1 2 1 2 3 1 1 1 3 3 1 3 3 0 1 1 1 2 1 2 1 1
3 3 1 2 1 3 1 3 3 4 2 1 1 2 4 1 1 1 2 3 3 1 1 1 1 1 2 1 0 2 3 1 1 3 1 1
3 1 3 2 3 1 1 1 1 2 2 3 3 4 2 1 1 1 4 3 3 1 1 1 1 1 2 1 2 0 1 3 3 1 1 1
3 2 2 3 4 1 2 3 2 1 1 1 1 1 1 3 4 1 3 1 1 3 1 1 3 2 1 1 3 1 0 3 2 1 1 1
3 1 3 3 1 4 3 2 1 1 1 2 2 1 3 2 1 4 1 1 1 1 3 3 1 1 1 2 1 3 3 0 1 2 1 1
3 4 2 1 2 1 4 1 2 3 3 1 3 1 1 1 2 3 1 1 1 3 1 1 3 2 1 1 1 3 2 1 0 3 1 1
3 1 1 1 1 2 1 2 3 1 3 4 2 3 1 4 3 2 1 1 1 1 3 3 1 1 1 2 3 1 1 2 3 0 1 1
4 1 1 3 3 3 3 1 3 3 1 1 3 3 1 3 1 1 1 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 0 4
4 3 3 1 1 1 1 3 1 1 3 3 1 1 3 1 3 3 3 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 4 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 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 3 3 3 3
2 2 0 2 1 2 3 2 3 2 2 3 2 3 3 2 3 2 2 3 2 3 2 3 2 3 2 2 2 2 2 2 2 2 2 2
2 2 2 0 2 3 2 1 2 3 3 2 3 2 2 3 2 3 3 2 3 2 3 2 3 2 2 2 2 2 2 2 2 2 2 2
2 2 1 2 0 2 3 2 3 2 2 3 2 3 3 2 3 2 2 3 2 3 2 3 2 3 2 2 2 2 2 2 2 2 2 2
2 2 2 3 2 0 2 3 2 3 1 2 3 2 2 3 2 3 3 2 3 2 3 2 3 2 2 2 2 2 2 2 2 2 2 2
2 2 3 2 3 2 0 2 3 2 2 1 2 3 3 2 3 2 2 3 2 3 2 3 2 3 2 2 2 2 2 2 2 2 2 2
2 2 2 1 2 3 2 0 2 3 3 2 3 2 2 3 2 3 3 2 3 2 3 2 3 2 2 2 2 2 2 2 2 2 2 2
2 2 3 2 3 2 3 2 0 2 2 3 2 3 1 2 3 2 2 3 2 3 2 3 2 3 2 2 2 2 2 2 2 2 2 2
2 2 2 3 2 3 2 3 2 0 3 2 3 2 2 1 2 3 3 2 3 2 3 2 3 2 2 2 2 2 2 2 2 2 2 2
2 2 2 3 2 1 2 3 2 3 0 2 3 2 2 3 2 3 3 2 3 2 3 2 3 2 2 2 2 2 2 2 2 2 2 2
2 2 3 2 3 2 1 2 3 2 2 0 2 3 3 2 3 2 2 3 2 3 2 3 2 3 2 2 2 2 2 2 2 2 2 2
2 2 2 3 2 3 2 3 2 3 3 2 0 2 2 3 2 3 1 2 3 2 3 2 3 2 2 2 2 2 2 2 2 2 2 2
2 2 3 2 3 2 3 2 3 2 2 3 2 0 3 2 3 2 2 1 2 3 2 3 2 3 2 2 2 2 2 2 2 2 2 2
2 2 3 2 3 2 3 2 1 2 2 3 2 3 0 2 3 2 2 3 2 3 2 3 2 3 2 2 2 2 2 2 2 2 2 2
2 2 2 3 2 3 2 3 2 1 3 2 3 2 2 0 2 3 3 2 3 2 3 2 3 2 2 2 2 2 2 2 2 2 2 2
2 2 3 2 3 2 3 2 3 2 2 3 2 3 3 2 0 2 2 3 2 1 2 3 2 3 2 2 2 2 2 2 2 2 2 2
2 2 2 3 2 3 2 3 2 3 3 2 3 2 2 3 2 0 3 2 3 2 1 2 3 2 2 2 2 2 2 2 2 2 2 2
2 2 2 3 2 3 2 3 2 3 3 2 1 2 2 3 2 3 0 2 3 2 3 2 3 2 2 2 2 2 2 2 2 2 2 2
2 2 3 2 3 2 3 2 3 2 2 3 2 1 3 2 3 2 2 0 2 3 2 3 2 3 2 2 2 2 2 2 2 2 2 2
2 2 2 3 2 3 2 3 2 3 3 2 3 2 2 3 2 3 3 2 0 2 3 2 1 2 2 2 2 2 2 2 2 2 2 2
2 2 3 2 3 2 3 2 3 2 2 3 2 3 3 2 1 2 2 3 2 0 2 3 2 3 2 2 2 2 2 2 2 2 2 2
2 2 2 3 2 3 2 3 2 3 3 2 3 2 2 3 2 1 3 2 3 2 0 2 3 2 2 2 2 2 2 2 2 2 2 2
2 2 3 2 3 2 3 2 3 2 2 3 2 3 3 2 3 2 2 3 2 3 2 0 2 1 2 2 2 2 2 2 2 2 2 2
2 2 2 3 2 3 2 3 2 3 3 2 3 2 2 3 2 3 3 2 1 2 3 2 0 2 2 2 2 2 2 2 2 2 2 2
2 2 3 2 3 2 3 2 3 2 2 3 2 3 3 2 3 2 2 3 2 3 2 1 2 0 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 2 2 2 2 2 2 2 2 0 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 2 2 2 2 2 2 2 2 1 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 2 2 2 2 2 2 2 2 3 3 0 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 2 2 2 2 2 2 2 2 3 3 3 0 3 1 3 3 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 3 1 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 2 2 2 2 2 2 2 2 3 3 3 1 3 0 3 3 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 3 3 3 3 3 0 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 3 3 3 3 3 1 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 3 3 3 3 3 3 3 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 3 3 3 3 3 3 3 3 1 0

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

closure size: 6
0 1 2 3 2 3 2 2 2 2 2 2 2 2 3 2 2 2 3 2 2 2 2 2 3 2 2 5 4 5 4 5 4 5 4 4
1 0 2 4 2 4 2 2 2 2 2 2 2 2 4 2 2 2 4 2 2 2 2 2 4 2 2 5 3 5 3 5 3 5 3 3
2 2 0 2 2 5 3 4 2 2 3 2 2 5 2 1 3 4 2 4 3 2 2 2 2 4 5 2 2 3 2 2 5 4 2 2
3 4 2 0 2 3 2 2 5 5 2 2 2 2 3 2 5 5 4 2 2 2 2 2 4 2 2 2 1 2 4 2 4 2 3 3
2 2 2 2 0 2 2 2 4 3 5 3 4 3 2 2 2 2 5 2 2 1 3 4 2 5 4 3 2 2 2 4 2 2 2 5
3 4 5 3 2 0 2 2 2 2 2 2 2 5 4 5 2 2 3 2 2 2 2 2 4 2 5 2 4 2 3 2 1 2 3 4
2 2 3 2 2 2 0 1 2 2 3 2 2 2 5 4 4 3 2 4 3 2 5 5 2 4 2 2 2 4 5 2 2 3 2 2
2 2 4 2 2 2 1 0 2 2 4 2 2 2 5 3 3 4 2 3 4 2 5 5 2 3 2 2 2 3 5 2 2 4 2 2
2 2 2 5 4 2 2 2 0 1 2 4 3 3 2 2 5 5 2 2 2 3 4 3 2 2 4 3 5 2 2 4 2 2 2 2
2 2 2 5 3 2 2 2 1 0 2 3 4 4 2 2 5 5 2 2 2 4 3 4 2 2 3 4 5 2 2 3 2 2 2 2
2 2 3 2 5 2 3 4 2 2 0 2 2 2 2 4 4 3 5 3 4 5 2 2 2 1 2 2 2 3 2 2 2 4 2 5
2 2 2 2 3 2 2 2 4 3 2 0 1 4 2 2 2 2 2 5 5 4 4 3 5 2 3 3 2 2 2 4 2 2 5 2
2 2 2 2 4 2 2 2 3 4 2 1 0 3 2 2 2 2 2 5 5 3 3 4 5 2 4 4 2 2 2 3 2 2 5 2
2 2 5 2 3 5 2 2 3 4 2 4 3 0 2 5 2 2 2 2 2 4 3 4 2 2 1 3 2 2 2 4 5 2 2 2
3 4 2 3 2 4 5 5 2 2 2 2 2 2 0 2 2 2 4 2 2 2 5 5 3 2 2 2 4 2 1 2 3 2 4 3
2 2 1 2 2 5 4 3 2 2 4 2 2 5 2 0 4 3 2 3 4 2 2 2 2 3 5 2 2 4 2 2 5 3 2 2
2 2 3 5 2 2 4 3 5 5 4 2 2 2 2 4 0 1 2 4 3 2 2 2 2 3 2 2 5 3 2 2 2 4 2 2
2 2 4 5 2 2 3 4 5 5 3 2 2 2 2 3 1 0 2 3 4 2 2 2 2 4 2 2 5 4 2 2 2 3 2 2
3 4 2 4 5 3 2 2 2 2 5 2 2 2 4 2 2 2 0 2 2 5 2 2 3 5 2 2 3 2 3 2 4 2 4 1
2 2 4 2 2 2 4 3 2 2 3 5 5 2 2 3 4 3 2 0 1 2 2 2 5 4 2 2 2 3 2 2 2 4 5 2
2 2 3 2 2 2 3 4 2 2 4 5 5 2 2 4 3 4 2 1 0 2 2 2 5 3 2 2 2 4 2 2 2 3 5 2
2 2 2 2 1 2 2 2 3 4 5 4 3 4 2 2 2 2 5 2 2 0 4 3 2 5 3 4 2 2 2 3 2 2 2 5
2 2 2 2 3 2 5 5 4 3 2 4 3 3 5 2 2 2 2 2 2 4 0 1 2 2 4 4 2 2 5 3 2 2 2 2
2 2 2 2 4 2 5 5 3 4 2 3 4 4 5 2 2 2 2 2 2 3 1 0 2 2 3 3 2 2 5 4 2 2 2 2
3 4 2 4 2 4 2 2 2 2 2 5 5 2 3 2 2 2 3 5 5 2 2 2 0 2 2 2 3 2 4 2 3 2 1 4
2 2 4 2 5 2 4 3 2 2 1 2 2 2 2 3 3 4 5 4 3 5 2 2 2 0 2 2 2 4 2 2 2 3 2 5
2 2 5 2 4 5 2 2 4 3 2 3 4 1 2 5 2 2 2 2 2 3 4 3 2 2 0 4 2 2 2 3 5 2 2 2
5 5 2 2 3 2 2 2 3 4 2 3 4 3 2 2 2 2 2 2 2 4 4 3 2 2 4 0 2 5 2 1 2 5 2 2
4 3 2 1 2 4 2 2 5 5 2 2 2 2 4 2 5 5 3 2 2 2 2 2 3 2 2 2 0 2 3 2 3 2 4 4
5 5 3 2 2 2 4 3 2 2 3 2 2 2 2 4 3 4 2 3 4 2 2 2 2 4 2 5 2 0 2 5 2 1 2 2
4 3 2 4 2 3 5 5 2 2 2 2 2 2 1 2 2 2 3 2 2 2 5 5 4 2 2 2 3 2 0 2 4 2 3 4
5 5 2 2 4 2 2 2 4 3 2 4 3 4 2 2 2 2 2 2 2 3 3 4 2 2 3 1 2 5 2 0 2 5 2 2
4 3 5 4 2 1 2 2 2 2 2 2 2 5 3 5 2 2 4 2 2 2 2 2 3 2 5 2 3 2 4 2 0 2 4 3
5 5 4 2 2 2 3 4 2 2 4 2 2 2 2 3 4 3 2 4 3 2 2 2 2 3 2 5 2 1 2 5 2 0 2 2
4 3 2 3 2 3 2 2 2 2 2 5 5 2 4 2 2 2 4 5 5 2 2 2 1 2 2 2 4 2 3 2 4 2 0 3
4 3 2 3 5 4 2 2 2 2 5 2 2 2 3 2 2 2 1 2 2 5 2 2 4 5 2 2 4 2 4 2 3 2 3 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 2 2 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 2 2 2 2 2 2 3 3 3 3
2 2 0 2 1 2 3 2 2 2 2 3 2 2 3 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 0 2 2 2 1 2 3 2 2 2 2 2 2 3 2 3 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2
2 2 1 2 0 2 3 2 2 2 2 3 2 2 3 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 0 2 2 2 2 1 2 2 3 2 2 2 2 2 2 3 2 2 3 2 2 2 2 3 2 2 2 2 2 2 2
2 2 3 2 3 2 0 2 2 2 2 1 2 2 3 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 1 2 2 2 0 2 3 2 2 2 2 2 2 3 2 3 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 0 2 2 2 2 2 2 1 2 3 2 2 2 2 2 2 3 2 3 2 2 2 3 2 2 2 2 2
2 2 2 3 2 2 2 3 2 0 2 2 2 2 2 2 1 2 3 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 1 2 2 2 2 0 2 2 3 2 2 2 2 2 2 3 2 2 3 2 2 2 2 3 2 2 2 2 2 2 2
2 2 3 2 3 2 1 2 2 2 2 0 2 2 3 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 2 2 2 2 0 2 2 2 2 2 2 1 2 2 3 2 2 2 2 3 2 3 2 3 2 2 2 2
2 2 2 2 2 3 2 2 2 2 3 2 2 0 2 2 2 2 2 2 1 2 2 3 2 2 2 2 3 2 2 2 2 2 2 2
2 2 3 2 3 2 3 2 2 2 2 3 2 2 0 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 0 2 3 2 2 2 2 2 2 3 2 3 2 2 2 3 2 2 2 2 2
2 2 2 3 2 2 2 3 2 1 2 2 2 2 2 2 0 2 3 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 3 2 2 2 2 2 2 3 2 0 2 2 2 2 2 2 1 2 3 2 2 2 3 2 2 2 2 2
2 2 2 3 2 2 2 3 2 3 2 2 2 2 2 2 3 2 0 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 0 2 2 3 2 2 2 2 3 2 3 2 3 2 2 2 2
2 2 2 2 2 3 2 2 2 2 3 2 2 1 2 2 2 2 2 2 0 2 2 3 2 2 2 2 3 2 2 2 2 2 2 2
2 2 3 2 3 2 3 2 2 2 2 3 2 2 1 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 2 2 2 2 3 2 2 2 2 2 2 3 2 2 0 2 2 2 2 1 2 3 2 3 2 2 2 2
2 2 2 2 2 3 2 2 2 2 3 2 2 3 2 2 2 2 2 2 3 2 2 0 2 2 2 2 1 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 3 2 1 2 2 2 2 2 2 0 2 3 2 2 2 3 2 2 2 2 2
2 2 2 3 2 2 2 3 2 3 2 2 2 2 2 2 3 2 1 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 3 2 2 2 2 2 2 3 2 3 2 2 2 2 2 2 3 2 0 2 2 2 1 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 3 2 2 1 2 2 2 2 0 2 3 2 3 2 2 2 2
2 2 2 2 2 3 2 2 2 2 3 2 2 3 2 2 2 2 2 2 3 2 2 1 2 2 2 2 0 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 3 2 2 3 2 2 2 2 3 2 0 2 1 2 2 2 2
2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 3 2 3 2 2 2 2 2 2 3 2 1 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 3 2 2 3 2 2 2 2 3 2 1 2 0 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 2 2 2 2 2 2 0 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 2 2 2 2 2 2 1 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 2 2 2 2 2 2 3 3 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 2 2 3 3 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 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 2 2 2 2 3 3
2 2 0 2 2 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 2 2 3 2 2
2 2 2 0 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 3 2 2 2
2 2 2 2 0 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 3 2 2 2 2
2 2 1 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 2 2 3 2 2 3 2 2
2 2 2 2 2 2 0 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 3 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 1 2 2 2 2 2 2 3 2 2 2 2 2 2 3 2 2 2 2 2 2 2
2 2 2 1 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 3 2 2 2
2 2 2 2 1 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 3 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 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 3 2 2 1 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 2 0 2 2 3 2 2 2 2 1 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 1 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 3 2 2 2 2 2 2
2 2 2 2 2 2 2 1 2 2 2 2 2 2 0 2 2 2 2 2 2 3 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 3 2 2 0 2 2 2 2 3 2 2 1 2 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 0 2 2 3 2 2 2 2 1 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 0 3 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 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 3 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 3 2 2 0 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 2 1 2 2 3 2 2 2 2 0 2 2 3 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 3 2 2 2 2 2 2 0 2 2 2 2 2 2 1 2 2 2 2 2 2 2
2 2 2 2 2 2 3 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 1 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 1 2 2 2 2 3 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 2 3 2 2 2 2 1 2 2 3 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 1 3 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2
2 2 2 2 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 1 2 2 2 2
2 2 2 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 1 2 2 2
2 2 2 2 2 2 2 3 2 2 2 2 2 2 3 2 2 2 2 2 2 1 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 3 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 0 2 2 2 2 2 2
2 2 3 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 2 2 0 2 2 1 2 2
2 2 2 2 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 0 2 2 2 2
2 2 2 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 0 2 2 2
2 2 3 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 2 2 1 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 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 2 2 2 2 1 0