Strictly Cayley-Deza Graphs

back
12

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

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

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

closure size: 40
 0  1 11  9  3  6  8  5  7 10  4  2 12 19 20 14 13 15 16 18 17 35 34 24 30 36 37 27 25 39 38 28 26 32 33 23 29 21 22 31
 1  0 22  8  2  7  9  4  6 21  5  3 23 20 19 13 14 16 15 17 18 34 35 25 31 37 36 26 24 38 39 29 27 33 32 12 28 10 11 30
11 22  0 25 31 26 24 29 27 12 28 30 10 32 33 39 38 36 37 35 34 18 17  8  2 15 16  7  9 14 13  4  6 19 20 21  5 23  1  3
10  8 25  0 17 18 16 15 13 14 20 19 11  5  3  6 21  9  4  2  7 26 31 22 35 29 24 34 36 12 27 37 39 30 28 38 32  1 23 33
 3  2 31 17  0 16 18 13 15 20 14  1 33 21 10  4  5  7  6  8  9 24 25 35 22 27 26 36 34 28 29 39 37 23 12 32 38 19 30 11
 5  7 26 19 16  0 13 18 20 15  1 14 35  6  8  9  3  2 21 10  4 29 23 33 36 12 31 22 39 30 24 34 32 25 27 37 11 17 28 38
 8 10 23 16 19 13  0 20 18  1 15 17 38  3  5 21  6  4  9  7  2 31 26 36 33 24 29 39 22 27 12 32 34 28 30 11 37 14 25 35
 6  4 29 14 13 19 20  0  1 18 17 15 36  9  7  2  8 10  3  5 21 12 28 38 39 30 23 33 32 25 31 22 11 26 24 34 35 16 27 37
 7  5 28 13 14 20 19  1  0 17 18 16 37  8  6  3  9 21  2  4 10 23 29 39 38 31 12 32 33 24 30 11 22 27 25 35 34 15 26 36
 9 21 12 15 20 14  1 19 17  0 16 18 39  2  4 10  7  5  8  6  3 30 27 37 32 25 28 38 11 26 23 33 35 29 31 22 36 13 24 34
 4  6 27 20 15  1 14 17 19 16  0 13 34  7  9  8  2  3 10 21  5 28 12 32 37 23 30 11 38 31 25 35 33 24 26 36 22 18 29 39
 2  3 30 18  1 15 17 14 16 19 13  0 32 10 21  5  4  6  7  9  8 25 24 34 11 26 27 37 35 29 28 38 36 12 23 33 39 20 31 22
12 24  9 11 34 35 37 36 38 39 33 32  0 29 31 26 23 25 28 30 27  6  3  1 18  5  8 17 15 10  7 16 14  2  4 13 19 22 21 20
18 20 32  6 21  5  3 10  8  2  7  9 29  0 13 19 16 14 17 15  1 11 37 27 12 35 38 28 30 36 33 23 25 39 22 31 26  4 34 24
20 18 34  3  9  8  6  7  5  4 10 21 31 13  0 16 19 17 14  1 15 37 11 30 24 38 35 25 27 33 36 26 28 22 39 29 23  2 32 12
15 13 39  5  4 10 21  2  3  9  8  6 26 18 16  0 17 19  1 14 20 32 38 28 29 11 33 23 12 35 22 31 30 36 34 24 25  7 37 27
13 15 37 21  6  3  5  8 10  7  2  4 24 16 18 17  0  1 19 20 14 38 32 12 27 33 11 30 28 22 35 25 23 34 36 26 31  9 39 29
14 16 36 10  7  2  4  9 21  6  3  5 25 15 17 18  1  0 20 19 13 39 33 23 26 32 22 31 29 11 34 24 12 35 37 27 30  8 38 28
16 14 38  4  5 21 10  3  2  8  9  7 27 17 15  1 18 20  0 13 19 33 39 29 28 22 32 12 23 34 11 30 31 37 35 25 24  6 36 26
19 17 35  2  8  9  7  6  4  5 21 10 30 14  1 15 20 18 13  0 16 36 22 31 25 39 34 24 26 32 37 27 29 11 38 28 12  3 33 23
17 19 33  7 10  4  2 21  9  3  6  8 28  1 14 20 15 13 18 16  0 22 36 26 23 34 39 29 31 37 32 12 24 38 11 30 27  5 35 25
35 33 19 26 23 29 31 12 24 30 27 25  5 11 38 32 37 39 34 36 22  0 16  7 10 18 13  4  2 15 20 21  9 14  1  3  6 28 17  8
33 35 17 31 25 24 26 27 29 28 12 23  3 38 11 37 32 34 39 22 36 16  0  2  8 13 18  9  7 20 15  6  4  1 14  5 21 30 19 10
23 25  8 22 35 34 36 37 39 38 32 33  1 28 30 27 12 24 29 31 26  7  2  0 17  4  9 18 16 21  6 15 13  3  5 14 20 11 10 19
30 31  2 35 22 36 34 39 37 32 38 11 19 12 23 29 28 26 27 25 24  9  8 17  0  6  7 16 18  5  4 13 15 10 21 20 14 33  3  1
36 38 14 29 28 12 23 30 31 25 24 26  6 35 37 11 34 32 22 39 33 19 13  4  5  0 20 21 10 18  1  3  2 15 17  8  9 27 16  7
38 36 16 23 26 31 29 24 12 27 30 28  8 37 35 34 11 22 32 33 39 13 19 10  7 20  0  2  4  1 18  9 21 17 15  6  3 25 14  5
28 26  7 33 36 22 39 34 32 37 11 38 17 27 25 24 30 31 12 23 29  4 10 19 16 21  2  0 13  3  9 18 20  8  6 15  1 35  5 14
25 23 10 36 33 39 22 32 34 11 37 35 14 30 28 12 27 29 24 26 31  2  7 16 19  9  4 13  0  6 21 20 18  5  3  1 15 38  8 17
39 37 15 12 27 30 28 25 23 26 31 29  9 36 34 35 22 11 33 32 38 14 20 21  6 19  1  3  5  0 17  8 10 18 16  7  2 24 13  4
37 39 13 28 29 23 12 31 30 24 25 27  7 34 36 22 35 33 11 38 32 20 14  5  4  1 19 10 21 17  0  2  3 16 18  9  8 26 15  6
27 29  4 38 39 33 32 22 11 34 35 37 16 24 26 31 25 23 30 28 12 21  5 14 13  3 10 19 20  8  2  0  1  7  9 18 17 36  6 15
26 28  5 39 38 32 33 11 22 35 34 36 15 25 27 30 24 12 31 29 23 10  4 13 14  2 21 20 19  9  3  1  0  6  8 17 18 37  7 16
32 34 18 30 24 25 27 26 28 29 23 12  2 39 22 36 33 35 38 11 37 15  1  3  9 14 17  8  6 19 16  7  5  0 13  4 10 31 20 21
34 32 20 27 12 28 30 23 25 31 26 24  4 22 39 33 36 38 35 37 11  1 15  6 21 17 14  5  3 16 19 10  8 13  0  2  7 29 18  9
24 12 21 37 32 38 11 33 35 22 36 34 13 31 29 23 26 28 25 27 30  3  6 15 20  8  5 14  1  7 10 19 17  4  2  0 16 39  9 18
29 27  6 32 37 11 38 35 33 36 22 39 18 26 24 25 31 30 23 12 28  5 21 20 15 10  3  1 14  2  8 17 19  9  7 16  0 34  4 13
21  9 24  1 18 17 15 16 14 13 19 20 22  4  2  7 10  8  5  3  6 27 30 11 34 28 25 35 37 23 26 36 38 31 29 39 33  0 12 32
22 11  1 24 30 27 25 28 26 23 29 31 21 33 32 38 39 37 36 34 35 17 18  9  3 16 15  6  8 13 14  5  7 20 19 10  4 12  0  2
31 30  3 34 11 37 35 38 36 33 39 22 20 23 12 28 29 27 26 24 25  8  9 18  1  7  6 15 17  4  5 14 16 21 10 19 13 32  2  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 3 3 3 3 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 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3
2 2 0 3 1 3 3 3 3 3 3 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 2 2
2 2 3 0 3 3 1 3 3 3 3 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 2 2
2 2 1 3 0 3 3 3 3 3 3 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 2 2
2 2 3 3 3 0 3 3 1 3 3 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 2 2
2 2 3 1 3 3 0 3 3 3 3 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 2 2
2 2 3 3 3 3 3 0 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 2 2
2 2 3 3 3 1 3 3 0 3 3 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 2 2
2 2 3 3 3 3 3 3 3 0 3 3 1 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 3 3 3 3 3 1 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 2 2
2 2 3 3 3 3 3 3 3 3 3 0 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 2 2
2 2 3 3 3 3 3 3 3 1 3 3 0 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 3 3 3 3 3 3 3 3 3 3 3 0 3 3 1 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 3 3 3 3 3 3 3 3 3 1 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 2 2
2 2 3 3 3 3 3 3 3 3 3 3 3 3 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 3 3 3 3 3 3 3 3 3 3 3 1 3 3 0 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 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 3 1 3 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 3 3 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 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 1 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 3 3 3 3 3 1 3 3 0 3 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 3 3 3 3 3 3 3 1 3 0 2 2 2 2 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 2 2 2 2 0 3 1 3 3 3 3 3 3 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 2 2 2 2 3 0 3 3 1 3 3 3 3 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 2 2 2 2 1 3 0 3 3 3 3 3 3 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 2 2 2 2 3 3 3 0 3 3 1 3 3 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 2 2 2 2 3 1 3 3 0 3 3 3 3 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 2 2 2 2 3 3 3 3 3 0 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 2 2 2 2 3 3 3 1 3 3 0 3 3 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 2 2 2 2 3 3 3 3 3 3 3 0 3 3 1 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 3 3 3 3 3 1 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 2 2 2 2 3 3 3 3 3 3 3 3 3 0 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 2 2 2 2 3 3 3 3 3 3 3 1 3 3 0 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 3 3 3 3 3 3 3 3 3 3 3 0 3 3 1 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 3 3 3 3 3 3 3 3 3 1 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 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 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 3 3 3 3 3 3 3 3 3 3 3 1 3 3 0 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 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 1
3 3 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 3 3 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 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 1 3 0

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

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

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

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