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