back
14

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: 24
 0  1  7  4  3  2  8  6  3  2  5 12 11 10  9 12 11 21 23 18 19 13 17 22 21 20 23 16 14 22 20 15
 1  0 15  5  2  3 14 13  2  3  4 11 12  9 10 11 12 20 22 17 16  6 18 23 20 21 22 19  8 23 21  7
 8 16  0 17 23 21  5  7 23 21 19 22 20 18 15 22 20 12 11  6 10 14  1  2 12  3 11 13  9  2  3  4
 4  6 14  0 12 11 16  1 12 11  9  3  2 13  5  3  2 23 21 15 17 10 19 20 23 22 21  8  7 20 22 18
 3  2 20 12  0  1 23 11 10  9 11  4  5  3  2 13  6 16  8 23 20 12 22 14 15  7 18 21 22 17 19 21
 2  3 21 11  1  0 22 12  9 10 12  5  4  2  3  6 13 19 14 22 21 11 23  8  7 15 17 20 23 18 16 20
 7 17  6 15 20 22  0 18 20 22  8 21 23 19 14 21 23  2  3 10  5 16  4 12  2 11  3  1 13 12 11  9
 5 13  8  1 11 12 19  0 11 12 10  2  3  6  4  2  3 22 20  7 18  9 16 21 22 23 20 14 15 21 23 17
 3  2 20 12 10  9 23 11  0  1 11 13  6  3  2  4  5 15 18 23 20 12 22 17 16 19  8 21 22 14  7 21
 2  3 21 11  9 10 22 12  1  0 12  6 13  2  3  5  4  7 17 22 21 11 23 18 19 16 14 20 23  8 15 20
 6  4 18  9 11 12  7 10 11 12  0  2  3  5 13  2  3 22 20 19  8  1 15 21 22 23 20 17 16 21 23 14
12 11 22  3  4  6 21  2 13  5  2  0  9 12 11 10  1  8 16 21 22  3 20  7 18 14 15 23 20 19 17 23
11 12 23  2  6  4 20  3  5 13  3  9  0 11 12  1 10 17  7 20 23  2 21 16 14 18 19 22 21 15  8 22
10  9 19 13  3  2 18  5  3  2  6 12 11  0  1 12 11 21 23  8  7  4 14 22 21 20 23 15 17 22 20 16
 9 10 16  6  2  3 17  4  2  3 13 11 12  1  0 11 12 20 22 14 15  5  8 23 20 21 22  7 18 23 21 19
12 11 22  3 13  5 21  2  4  6  2 10  1 12 11  0  9 18 15 21 22  3 20 19  8 17 16 23 20  7 14 23
11 12 23  2  5 13 20  3  6  4  3  1 10 11 12  9  0 14 19 20 23  2 21 15 17  8  7 22 21 16 18 22
21 23 12 20 15 18  2 22 16  8 22  7 14 21 23 19 17  0  1  2 12 20 11  6 10 13  9  3 11  5  4  3
20 22 11 21  7 17  3 23 19 14 23 15  8 20 22 16 18  1  0  3 11 21 12 13  9  6 10  2 12  4  5  2
19 14  5 16 20 22 10  8 20 22 18 21 23  7 17 21 23  2  3  0  6 15 13 12  2 11  3  9  4 12 11  1
18 15 10 14 23 21  6 19 23 21  7 22 20  8 16 22 20 12 11  5  0 17  9  2 12  3 11  4  1  2  3 13
13  5 17 10 12 11 15  9 12 11  1  3  2  4  6  3  2 23 21 16 14  0  7 20 23 22 21 18 19 20 22  8
14 19  1 18 22 20  4 15 22 20 16 23 21 17  7 23 21 11 12 13  9  8  0  3 11  2 12  6 10  3  2  5
22 20  2 23 17  7 12 21 14 19 21  8 15 22 20 18 16  5 13 12  2 23  3  0  6  9  4 11  3 10  1 11
21 23 12 20 16  8  2 22 15 18 22 19 17 21 23  7 14 10  9  2 12 20 11  5  0  4  1  3 11  6 13  3
23 21  3 22  8 16 11 20 18 15 20 17 19 23 21 14  7 13  5 11  3 22  2  9  4  0  6 12  2  1 10 12
20 22 11 21 19 14  3 23  7 17 23 16 18 20 22 15  8  9 10  3 11 21 12  4  1  5  0  2 12 13  6  2
15 18 13  7 21 23  1 17 21 23 14 20 22 16  8 20 22  3  2  9  4 19  5 11  3 12  2  0  6 11 12 10
17  7  9  8 22 20 13 16 22 20 15 23 21 14 19 23 21 11 12  4  1 18 10  3 11  2 12  5  0  3  2  6
22 20  2 23 14 19 12 21 17  7 21 18 16 22 20  8 15  6  4 12  2 23  3 10  5  1 13 11  3  0  9 11
23 21  3 22 18 15 11 20  8 16 20 14  7 23 21 17 19  4  6 11  3 22  2  1 13 10  5 12  2  9  0 12
16  8  4 19 21 23  9 14 21 23 17 20 22 15 18 20 22  3  2  1 13  7  6 11  3 12  2 10  5 11 12  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: 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: 10
0 1 4 2 2 4 2 2 4 5 2 2 5 2 2 2 2 5 3 3 3 2 2 7 8 8 6 8 8 9 9 9
1 0 3 2 2 3 2 2 3 9 2 2 9 2 2 2 2 9 4 4 4 2 2 6 8 8 7 8 8 5 5 5
5 3 0 2 2 5 2 2 4 7 2 2 4 8 2 8 2 5 9 3 6 8 8 4 2 2 9 2 2 1 3 9
2 2 2 0 1 8 5 3 2 2 7 6 8 4 4 3 9 2 8 2 2 5 9 2 4 3 2 5 9 2 8 2
2 2 2 1 0 8 9 4 2 2 6 7 8 3 3 4 5 2 8 2 2 9 5 2 3 4 2 9 5 2 8 2
5 3 4 8 8 0 2 2 5 5 8 8 7 2 2 2 2 4 6 9 3 2 2 4 2 2 9 2 2 9 1 3
2 2 2 4 9 2 0 1 8 2 5 3 2 4 7 3 6 8 2 8 2 5 9 2 5 9 2 4 3 2 2 8
2 2 2 3 5 2 1 0 8 2 9 4 2 3 6 4 7 8 2 8 2 9 5 2 9 5 2 3 4 2 2 8
5 3 5 2 2 4 8 8 0 4 2 2 5 2 8 2 8 7 3 6 9 2 2 4 2 2 9 2 2 3 9 1
4 9 7 2 2 4 2 2 5 0 2 2 5 8 2 8 2 4 3 9 1 8 8 5 2 2 3 2 2 6 9 3
2 2 2 7 6 8 4 9 2 2 0 1 8 5 5 9 3 2 8 2 2 4 3 2 5 9 2 4 3 2 8 2
2 2 2 6 7 8 3 5 2 2 1 0 8 9 9 5 4 2 8 2 2 3 4 2 9 5 2 3 4 2 8 2
4 9 5 8 8 7 2 2 4 4 8 8 0 2 2 2 2 5 1 3 9 2 2 5 2 2 3 2 2 3 6 9
2 2 8 5 3 2 5 3 2 8 4 9 2 0 4 6 9 2 2 2 8 7 1 2 5 9 2 4 3 8 2 2
2 2 2 5 3 2 7 6 8 2 4 9 2 5 0 9 1 8 2 8 2 4 3 2 4 3 2 5 9 2 2 8
2 2 8 3 5 2 3 5 2 8 9 4 2 6 9 0 4 2 2 2 8 1 7 2 3 4 2 9 5 8 2 2
2 2 2 9 4 2 6 7 8 2 3 5 2 9 1 5 0 8 2 8 2 3 4 2 3 4 2 9 5 2 2 8
4 9 4 2 2 5 8 8 7 5 2 2 4 2 8 2 8 0 9 1 3 2 2 5 2 2 3 2 2 9 3 6
3 5 9 8 8 6 2 2 3 3 8 8 1 2 2 2 2 9 0 4 5 2 2 9 2 2 4 2 2 4 7 5
3 5 3 2 2 9 8 8 6 9 2 2 3 2 8 2 8 1 5 0 4 2 2 9 2 2 4 2 2 5 4 7
3 5 6 2 2 3 2 2 9 1 2 2 9 8 2 8 2 3 4 5 0 8 8 9 2 2 4 2 2 7 5 4
2 2 8 4 9 2 4 9 2 8 5 3 2 7 5 1 3 2 2 2 8 0 6 2 4 3 2 5 9 8 2 2
2 2 8 9 4 2 9 4 2 8 3 5 2 1 3 7 5 2 2 2 8 6 0 2 9 5 2 3 4 8 2 2
7 6 5 2 2 5 2 2 5 4 2 2 4 2 2 2 2 4 9 9 9 2 2 0 8 8 1 8 8 3 3 3
8 8 2 5 3 2 4 9 2 2 4 9 2 4 5 3 3 2 2 2 2 5 9 8 0 6 8 7 1 2 2 2
8 8 2 3 5 2 9 4 2 2 9 4 2 9 3 5 5 2 2 2 2 3 4 8 6 0 8 1 7 2 2 2
6 7 9 2 2 9 2 2 9 3 2 2 3 2 2 2 2 3 5 5 5 2 2 1 8 8 0 8 8 4 4 4
8 8 2 4 9 2 5 3 2 2 5 3 2 5 4 9 9 2 2 2 2 4 3 8 7 1 8 0 6 2 2 2
8 8 2 9 4 2 3 5 2 2 3 5 2 3 9 4 4 2 2 2 2 9 5 8 1 7 8 6 0 2 2 2
9 4 1 2 2 9 2 2 3 6 2 2 3 8 2 8 2 9 5 4 7 8 8 3 2 2 5 2 2 0 4 5
9 4 3 8 8 1 2 2 9 9 8 8 6 2 2 2 2 3 7 5 4 2 2 3 2 2 5 2 2 5 0 4
9 4 9 2 2 3 8 8 1 3 2 2 9 2 8 2 8 6 4 7 5 2 2 3 2 2 5 2 2 4 5 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 3 3 2 3 2 3 2 2 2 2 2 2 3 2 2 3
1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 3 2 2 3 2 2 3 2 3 2 2 2 2 3 3 2
1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 2 2 3 2 2 3 2 3 3 2 2 2
1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 2 3 3 3 2 2 2 3 2 2 3 2 2 3 2 2
1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 3 2 3 2 3 2 3 2 2 2 3 2 2 2 2 3
1 1 1 1 1 1 0 1 1 1 1 1 1 1 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 0 1 1 1 1 1 1 1 1 3 2 3 2 2 3 2 3 2 2 2 3 2 2 3 2
1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 2 2 2 2 2 3 3 3 3 2 3 2 3 2 2 2
1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 2 2 2 3 3 3 2 2 2 3 3 2 2 2 3 2
1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 2 3 2 2 2 2 3 3 2 3 2 2 2 2 3 3
1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 2 3 2 2 3 3 3 2 2 2 2 3 2 3 2 2
1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 2 2 3 2 2 3 2 2 3 3 2 2 2 3 2 3
1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 2 2 2 3 3 2 2 3 3 2 2 3 2 2 2 3
1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 3 2 2 2 3 2 2 3 2 3 2 2 3 3 2 2
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 3 3 2 2 2 2 2 2 3 3 3 3 2 2 2 2
2 3 3 2 2 3 2 3 2 2 2 2 2 2 3 3 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2 3 2 2 3 2 3 2 2 2 3 3 2 2 2 3 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2 2 2 3 3 3 3 3 2 2 2 2 3 2 2 2 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1
2 3 3 3 3 2 2 2 2 3 2 2 2 3 2 2 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1
2 2 2 2 2 3 3 2 2 3 2 3 2 3 3 2 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1
2 3 2 2 2 2 2 3 3 3 2 3 3 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 3 2 3 3 2 2 2 2 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1
2 2 2 2 3 2 2 3 3 2 3 2 2 3 3 2 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1
2 2 3 2 2 2 3 2 3 2 2 2 3 3 2 3 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1
2 2 2 3 2 2 2 2 2 3 3 2 3 2 3 3 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1
3 2 2 2 3 3 2 2 3 3 2 2 2 2 2 3 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1
3 2 2 3 2 2 2 3 2 2 2 3 2 3 2 3 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1
3 3 2 3 2 2 3 2 3 2 2 2 2 2 3 2 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1
3 2 3 2 3 2 2 2 2 2 2 3 3 2 3 2 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1
3 2 3 2 2 2 3 3 2 3 3 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1
3 3 2 2 2 3 2 2 2 2 3 2 3 3 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