back
14

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

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

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

closure size: 12
 0  3  1  1  1  2  1  2  1  2  1  2  2  2  2  2  6  4  9  6  8  5  4  4  9  7  8  8  5  4  6  8  8  5  4  9  7  8  8  5  4  7  8  8  5  7  8  8  5  8 10 10 11 11 11 11
 3  0  5  5  5  2  5  2  5  2  5  2  2  2  2  2  9  4  6  9  8  1  4  4  6 11  8  8  1  4  9  8  8  1  4  6 11  8  8  1  4 11  8  8  1 11  8  8  1  8 10 10  7  7  7  7
 1  5  0  1  1  4  1  4  1  2  1  2  2  2  4  4  6  4  9  7 10  3  4  2 11  6 10  8  5  2  7  8  8  5  2 11  7  8  8  5  2  7  8  8  5  6  8  8  5  8  8  8  9 11 11  9
 1  5  1  0  1  2  1  2  1  2  1  2  4  4  4  4  7  2 11  6  8  5  2  4  9  7  8 10  3  4  7 10  8  5  2 11  7  8  8  5  2  6  8  8  5  6  8  8  5  8  8  8 11 11  9  9
 1  5  1  1  0  2  1  2  1  4  1  4  4  4  2  2  6  4  9  7  8  5  4  2 11  7  8  8  5  2  7  8 10  3  2 11  6 10  8  5  2  6  8  8  5  7  8  8  5  8  8  8 11  9  9 11
 2  2  4  2  2  0  2  3  4  1  4  5  1  5  1  5  8  1  8  8  6  4  5  1  8 10  9  7  2  5  8 11  7  2  1  8  8 11  7  2  5  8 11  6  4  8  9  6  4  9  7 11 10  8  8  8
 1  5  1  1  1  2  0  2  1  4  1  4  2  2  4  4  7  2 11  7  8  5  2  2 11  7  8  8  5  2  6  8  8  5  4  9  6  8 10  3  4  7 10  8  5  6  8  8  5  8  8  8 11  9 11  9
 2  2  4  2  2  3  2  0  4  5  4  1  5  1  5  1  8  5  8  8  9  4  1  5  8 10  6 11  2  1  8  7 11  2  5  8  8  7 11  2  1  8  7  9  4  8  6  9  4  6 11  7 10  8  8  8
 1  5  1  1  1  4  1  4  0  2  1  2  4  4  2  2  7  2 11  7  8  5  2  2 11  6  8  8  5  2  6  8  8  5  4  9  7  8  8  5  4  6  8 10  3  7 10  8  5  8  8  8  9 11  9 11
 2  2  2  2  4  1  4  5  2  0  4  3  1  5  1  5  8  1  8  8  7  2  5  1  8  8 11  7  2  5  8 11  6  4  1  8 10  9  6  4  5  8  9  7  2  8 11  6  4  9  7 11  8 10  8  8
 1  5  1  1  1  4  1  4  1  4  0  4  2  2  2  2  7  2 11  6  8  5  2  4  9  6  8  8  5  4  7  8  8  5  2 11  6  8  8  5  2  7  8  8  5  7  8 10  3 10  8  8  9  9 11 11
 2  2  2  2  4  5  4  1  2  3  4  0  5  1  5  1  8  5  8  8 11  2  1  5  8  8  7 11  2  1  8  7  9  4  5  8 10  6  9  4  1  8  6 11  2  8  7  9  4  6 11  7  8 10  8  8
 2  2  2  4  4  1  2  5  4  1  2  5  0  3  1  5  8  1  8  8  7  2  5  1  8  8 11  6  4  5  8  9  6  4  1  8  8  9  7  2  5 10 11  6  4  8  9  7  2 11  7 11  8  8 10  8
 2  2  2  4  4  5  2  1  4  5  2  1  3  0  5  1  8  5  8  8 11  2  1  5  8  8  7  9  4  1  8  6  9  4  5  8  8  6 11  2  1 10  7  9  4  8  6 11  2  7 11  7  8  8 10  8
 2  2  4  4  2  1  4  5  2  1  2  5  1  5  0  3  8  1  8  8  6  4  5  1  8  8  9  6  4  5  8  9  7  2  1  8  8 11  6  4  5  8  9  7  2 10 11  7  2 11  7 11  8  8  8 10
 2  2  4  4  2  5  4  1  2  5  2  1  5  1  3  0  8  5  8  8  9  4  1  5  8  8  6  9  4  1  8  6 11  2  5  8  8  7  9  4  1  8  6 11  2 10  7 11  2  7 11  7  8  8  8 10
 6  9  6  7  6  8  7  8  7  8  7  8  8  8  8  8  0 10  3  1  4  9 10  8  5  1  4  2 11  8  1  2  4  9  8  5  1  4  2 11  8  1  2  2 11  1  2  2 11  2  4  4  5  5  5  5
 4  4  4  2  4  1  2  5  2  1  2  5  1  5  1  5 10  0 10  8  6  4  3  1  8  8  9  7  2  5  8 11  6  4  1  8  8  9  7  2  5  8 11  7  2  8 11  7  2 11  6  9  8  8  8  8
 9  6  9 11  9  8 11  8 11  8 11  8  8  8  8  8  3 10  0  5  4  6 10  8  1  5  4  2  7  8  5  2  4  6  8  1  5  4  2  7  8  5  2  2  7  5  2  2  7  2  4  4  1  1  1  1
 6  9  7  6  7  8  7  8  7  8  6  8  8  8  8  8  1  8  5  0  2 11  8 10  3  1  2  4  9 10  1  4  2 11  8  5  1  2  2 11  8  1  2  2 11  1  2  4  9  4  4  4  5  5  5  5
 8  8 10  8  8  6  8  9  8  7  8 11  7 11  6  9  4  6  4  2  0 10  9  7  2  4  3  1  8 11  2  5  1  8  7  2  2  5  1  8 11  2  5  1  8  4  5  1  8  5  1  5  4  2  2  4
 5  1  3  5  5  4  5  4  5  2  5  2  2  2  4  4  9  4  6 11 10  0  4  2  7  9 10  8  1  2 11  8  8  1  2  7 11  8  8  1  2 11  8  8  1  9  8  8  1  8  8  8  6  7  7  6
 4  4  4  2  4  5  2  1  2  5  2  1  5  1  5  1 10  3 10  8  9  4  0  5  8  8  6 11  2  1  8  7  9  4  5  8  8  6 11  2  1  8  7 11  2  8  7 11  2  7  9  6  8  8  8  8
 4  4  2  4  2  1  2  5  2  1  4  5  1  5  1  5  8  1  8 10  7  2  5  0 10  8 11  6  4  3  8  9  7  2  1  8  8 11  7  2  5  8 11  7  2  8 11  6  4  9  6  9  8  8  8  8
 9  6 11  9 11  8 11  8 11  8  9  8  8  8  8  8  5  8  1  3  2  7  8 10  0  5  2  4  6 10  5  4  2  7  8  1  5  2  2  7  8  5  2  2  7  5  2  4  6  4  4  4  1  1  1  1
 7 11  6  7  7 10  7 10  6  8  6  8  8  8  8  8  1  8  5  1  4  9  8  8  5  0  4  2 11  8  1  2  2 11  8  5  1  2  2 11  8  1  2  4  9  1  4  4  9  4  2  2  3  5  5  5
 8  8 10  8  8  9  8  6  8 11  8  7 11  7  9  6  4  9  4  2  3 10  6 11  2  4  0  5  8  7  2  1  5  8 11  2  2  1  5  8  7  2  1  5  8  4  1  5  8  1  5  1  4  2  2  4
 8  8  8 10  8  7  8 11  8  7  8 11  6  9  6  9  2  7  2  4  1  8 11  6  4  2  5  0 10  9  2  3  1  8  7  2  2  5  1  8 11  4  5  1  8  4  5  1  8  5  1  5  2  2  4  4
 5  1  5  3  5  2  5  2  5  2  5  2  4  4  4  4 11  2  7  9  8  1  2  4  6 11  8 10  0  4 11 10  8  1  2  7 11  8  8  1  2  9  8  8  1  9  8  8  1  8  8  8  7  7  6  6
 4  4  2  4  2  5  2  1  2  5  4  1  5  1  5  1  8  5  8 10 11  2  1  3 10  8  7  9  4  0  8  6 11  2  5  8  8  7 11  2  1  8  7 11  2  8  7  9  4  6  9  6  8  8  8  8
 6  9  7  7  7  8  6  8  6  8  7  8  8  8  8  8  1  8  5  1  2 11  8  8  5  1  2  2 11  8  0  2  2 11 10  3  1  2  4  9 10  1  4  4  9  1  4  2 11  2  4  4  5  5  5  5
 8  8  8 10  8 11  8  7  8 11  8  7  9  6  9  6  2 11  2  4  5  8  7  9  4  2  1  3 10  6  2  0  5  8 11  2  2  1  5  8  7  4  1  5  8  4  1  5  8  1  5  1  2  2  4  4
 8  8  8  8 10  7  8 11  8  6  8  9  6  9  7 11  4  6  4  2  1  8  9  7  2  2  5  1  8 11  2  5  0 10  7  2  4  3  1  8 11  4  5  1  8  2  5  1  8  5  1  5  2  4  4  2
 5  1  5  5  3  2  5  2  5  4  5  4  4  4  2  2  9  4  6 11  8  1  4  2  7 11  8  8  1  2 11  8 10  0  2  7  9 10  8  1  2  9  8  8  1 11  8  8  1  8  8  8  7  6  6  7
 4  4  2  2  2  1  4  5  4  1  2  5  1  5  1  5  8  1  8  8  7  2  5  1  8  8 11  7  2  5 10 11  7  2  0 10  8 11  6  4  3  8  9  6  4  8  9  7  2 11  6  9  8  8  8  8
 9  6 11 11 11  8  9  8  9  8 11  8  8  8  8  8  5  8  1  5  2  7  8  8  1  5  2  2  7  8  3  2  2  7 10  0  5  2  4  6 10  5  4  4  6  5  4  2  7  2  4  4  1  1  1  1
 7 11  7  7  6  8  6  8  7 10  6 10  8  8  8  8  1  8  5  1  2 11  8  8  5  1  2  2 11  8  1  2  4  9  8  5  0  4  4  9  8  1  4  2 11  1  2  4  9  4  2  2  5  3  5  5
 8  8  8  8 10 11  8  7  8  9  8  6  9  6 11  7  4  9  4  2  5  8  6 11  2  2  1  5  8  7  2  1  3 10 11  2  4  0  5  8  7  4  1  5  8  2  1  5  8  1  5  1  2  4  4  2
 8  8  8  8  8  7 10 11  8  6  8  9  7 11  6  9  2  7  2  2  1  8 11  7  2  2  5  1  8 11  4  5  1  8  6  4  4  5  0 10  9  2  3  1  8  4  5  1  8  5  1  5  2  4  2  4
 5  1  5  5  5  2  3  2  5  4  5  4  2  2  4  4 11  2  7 11  8  1  2  2  7 11  8  8  1  2  9  8  8  1  4  6  9  8 10  0  4 11 10  8  1  9  8  8  1  8  8  8  7  6  7  6
 4  4  2  2  2  5  4  1  4  5  2  1  5  1  5  1  8  5  8  8 11  2  1  5  8  8  7 11  2  1 10  7 11  2  3 10  8  7  9  4  0  8  6  9  4  8  6 11  2  7  9  6  8  8  8  8
 7 11  7  6  6  8  7  8  6  8  7  8 10 10  8  8  1  8  5  1  2 11  8  8  5  1  2  4  9  8  1  4  4  9  8  5  1  4  2 11  8  0  2  4  9  1  4  2 11  2  2  2  5  5  3  5
 8  8  8  8  8 11 10  7  8  9  8  6 11  7  9  6  2 11  2  2  5  8  7 11  2  2  1  5  8  7  4  1  5  8  9  4  4  1  3 10  6  2  0  5  8  4  1  5  8  1  5  1  2  4  2  4
 8  8  8  8  8  6  8  9 10  7  8 11  6  9  7 11  2  7  2  2  1  8 11  7  2  4  5  1  8 11  4  5  1  8  6  4  2  5  1  8  9  4  5  0 10  2  3  1  8  5  1  5  4  2  4  2
 5  1  5  5  5  4  5  4  3  2  5  2  4  4  2  2 11  2  7 11  8  1  2  2  7  9  8  8  1  2  9  8  8  1  4  6 11  8  8  1  4  9  8 10  0 11 10  8  1  8  8  8  6  7  6  7
 7 11  6  6  7  8  6  8  7  8  7  8  8  8 10 10  1  8  5  1  4  9  8  8  5  1  4  4  9  8  1  4  2 11  8  5  1  2  4  9  8  1  4  2 11  0  2  2 11  2  2  2  5  5  5  3
 8  8  8  8  8  9  8  6 10 11  8  7  9  6 11  7  2 11  2  2  5  8  7 11  2  4  1  5  8  7  4  1  5  8  9  4  2  1  5  8  6  4  1  3 10  2  0  5  8  1  5  1  4  2  4  2
 8  8  8  8  8  6  8  9  8  6 10  9  7 11  7 11  2  7  2  4  1  8 11  6  4  4  5  1  8  9  2  5  1  8  7  2  4  5  1  8 11  2  5  1  8  2  5  0 10  3  1  5  4  4  2  2
 5  1  5  5  5  4  5  4  5  4  3  4  2  2  2  2 11  2  7  9  8  1  2  4  6  9  8  8  1  4 11  8  8  1  2  7  9  8  8  1  2 11  8  8  1 11  8 10  0 10  8  8  6  6  7  7
 8  8  8  8  8  9  8  6  8  9 10  6 11  7 11  7  2 11  2  4  5  8  7  9  4  4  1  5  8  6  2  1  5  8 11  2  4  1  5  8  7  2  1  5  8  2  1  3 10  0  5  1  4  4  2  2
10 10  8  8  8  7  8 11  8  7  8 11  7 11  7 11  4  6  4  4  1  8  9  6  4  2  5  1  8  9  4  5  1  8  6  4  2  5  1  8  9  2  5  1  8  2  5  1  8  5  0  3  2  2  2  2
10 10  8  8  8 11  8  7  8 11  8  7 11  7 11  7  4  9  4  4  5  8  6  9  4  2  1  5  8  6  4  1  5  8  9  4  2  1  5  8  6  2  1  5  8  2  1  5  8  1  3  0  2  2  2  2
11  7  9 11 11 10 11 10  9  8  9  8  8  8  8  8  5  8  1  5  4  6  8  8  1  3  4  2  7  8  5  2  2  7  8  1  5  2  2  7  8  5  2  4  6  5  4  4  6  4  2  2  0  1  1  1
11  7 11 11  9  8  9  8 11 10  9 10  8  8  8  8  5  8  1  5  2  7  8  8  1  5  2  2  7  8  5  2  4  6  8  1  3  4  4  6  8  5  4  2  7  5  2  4  6  4  2  2  1  0  1  1
11  7 11  9  9  8 11  8  9  8 11  8 10 10  8  8  5  8  1  5  2  7  8  8  1  5  2  4  6  8  5  4  4  6  8  1  5  4  2  7  8  3  2  4  6  5  4  2  7  2  2  2  1  1  0  1
11  7  9  9 11  8  9  8 11  8 11  8  8  8 10 10  5  8  1  5  4  6  8  8  1  5  4  4  6  8  5  4  2  7  8  1  5  2  4  6  8  5  4  2  7  3  2  2  7  2  2  2  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 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 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 2 2 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 2 2 2 2 2 2 2 2 2 2 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 2 2 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 2 2 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 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 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 2 2 2 2 2 2 2 2 2 2 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 2 2 2 2 2 2 2 2 2 2 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 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 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 2 2 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 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 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 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 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 2 2 2 2 0 2 2 2 2 2 3 1 2 2 2 2 3 3 2 2 2 2 3 3 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 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 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 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 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 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 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 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 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 3 2 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 2 2 2 2 3 2 2 2 2 2 0 3 2 2 2 2 3 1 2 2 2 2 3 3 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 1 2 2 2 2 2 3 0 2 2 2 2 3 3 2 2 2 2 3 3 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 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 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 3 2 2 2 2 2 3 3 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 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 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 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 3 3 2 2 2 2 0 3 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 2 2 2 2 2 2 3 2 2 2 2 2 1 3 2 2 2 2 3 0 2 2 2 2 3 3 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 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 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 2 2 2 2 2
2 2 2 2 2 2 2 2 2 3 2 2 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 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 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 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 3 3 2 2 2 2 3 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 2 2 2 3 2 2 2 2 2 3 3 2 2 2 2 1 3 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 3 2 2 2 2 3 3 2 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 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 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 2 2 2 2 2
2 2 2 2 2 2 2 2 2 3 2 2 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 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 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 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 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 2 2 2 2 3 2 2 2 2 2 3 3 2 2 2 2 3 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 3 2 2 2 2 3 3 2 2 2 2 2 3 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 3 2 2 2 2 3 3 2 2 2 2 2 3 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 3 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 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 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 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 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 3 2 2 2 3 3 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 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 2 3 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 3 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 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 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 3 2 2 2 3 3 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 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 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 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 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 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 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 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 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 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 1 3 0

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

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

back