back
15
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: 56
0 1 15 5 3 9 4 13 8 14 12 10 6 16 11 2 7 19 20 23 24 27 28 26 25 22 21 18 17 55 54 40 42 51 50 36 41 47 46 32 37 44 45 31 33 29 48 49 35 52 53 39 34 30 43 38
1 0 30 4 2 8 5 12 9 29 13 11 7 31 10 3 6 20 19 24 23 28 27 25 26 21 22 17 18 54 55 41 43 50 51 37 40 46 47 33 36 45 44 16 32 14 49 48 34 53 52 38 35 15 42 39
15 30 0 41 43 37 40 33 36 16 32 34 38 14 35 42 39 52 53 48 49 44 45 47 46 51 50 55 54 18 17 4 2 22 21 8 5 26 25 12 9 27 28 29 13 31 23 24 11 19 20 7 10 1 3 6
6 4 41 0 17 18 21 22 25 26 28 27 23 48 20 19 1 10 3 14 7 13 11 9 29 5 12 2 8 37 43 30 55 33 40 54 51 16 36 50 47 34 32 46 44 24 38 31 45 42 35 49 52 39 53 15
3 2 43 17 0 21 18 25 22 28 26 24 20 45 23 1 19 7 6 11 10 29 14 12 13 8 9 4 5 40 41 55 30 36 37 51 54 32 33 47 50 31 16 44 46 27 35 34 48 39 38 52 49 42 15 53
10 8 37 19 21 0 25 18 28 22 24 26 27 52 1 23 17 14 4 13 3 9 7 5 11 2 29 6 12 33 39 53 51 16 43 30 47 34 40 54 44 38 36 50 48 20 42 32 46 41 31 45 15 35 49 55
4 6 39 21 19 25 0 28 18 24 22 20 1 46 27 17 23 3 10 7 14 11 13 29 9 12 5 8 2 43 37 51 53 40 33 47 30 36 16 44 54 32 34 48 50 26 31 38 52 35 42 15 45 41 55 49
14 12 33 23 25 19 28 0 24 18 20 22 26 15 17 27 21 13 8 9 4 5 3 2 7 6 11 10 29 16 35 49 47 34 39 53 44 38 43 30 48 42 40 54 52 1 41 36 50 37 32 46 55 31 45 51
8 10 35 25 23 28 19 24 0 20 18 1 17 50 26 21 27 4 14 3 13 7 9 11 5 29 2 12 6 39 33 47 49 43 16 44 53 40 34 48 30 36 38 52 54 22 32 42 15 31 41 55 46 37 51 45
13 29 16 27 28 23 24 19 20 0 1 18 22 55 21 26 25 9 12 5 8 2 4 6 3 10 7 14 11 34 31 45 44 38 35 49 48 42 39 53 52 41 43 30 15 17 37 40 54 33 36 50 51 32 46 47
12 14 31 28 27 24 23 20 19 1 0 17 21 54 22 25 26 8 13 4 9 3 5 7 2 11 6 29 10 35 16 44 45 39 34 48 49 43 38 52 53 40 42 15 30 18 36 41 55 32 37 51 50 33 47 46
9 11 34 26 24 27 20 23 1 19 17 0 18 51 25 22 28 5 29 2 12 6 8 10 4 14 3 13 7 38 32 46 48 42 31 45 52 41 35 49 15 37 39 53 55 21 33 43 30 16 40 54 47 36 50 44
5 7 38 22 20 26 1 27 17 23 21 19 0 47 28 18 24 2 11 6 29 10 12 14 8 13 4 9 3 42 36 50 52 41 32 46 15 37 31 45 55 33 35 49 51 25 16 39 53 34 43 30 44 40 54 48
16 32 13 48 46 52 45 15 49 55 53 51 47 0 54 44 50 33 36 37 40 41 43 42 39 38 35 34 31 14 11 24 26 10 7 20 27 6 3 1 23 2 4 17 19 30 5 8 21 9 12 25 18 29 28 22
11 9 36 20 22 1 26 17 27 21 23 25 28 53 0 24 18 29 5 12 2 8 6 4 10 3 14 7 13 32 38 52 50 31 42 15 46 35 41 55 45 39 37 51 49 19 43 33 47 40 16 44 30 34 48 54
2 3 42 18 1 22 17 26 21 27 25 23 19 44 24 0 20 6 7 10 11 14 29 13 12 9 8 5 4 41 40 54 15 37 36 50 55 33 32 46 51 16 31 45 47 28 34 35 49 38 39 53 48 43 30 52
7 5 40 1 18 17 22 21 26 25 27 28 24 49 19 20 0 11 2 29 6 12 10 8 14 4 13 3 9 36 42 15 54 32 41 55 50 31 37 51 46 35 33 47 45 23 39 16 44 43 34 48 53 38 52 30
18 20 52 9 7 13 3 14 4 10 8 6 2 33 29 5 11 0 24 19 28 23 25 27 21 26 17 22 1 15 50 36 38 55 46 32 42 51 45 31 41 47 49 35 37 12 44 53 39 48 30 43 16 54 40 34
20 18 54 3 5 4 9 8 13 12 14 29 11 35 6 7 2 24 0 28 19 25 23 21 27 17 26 1 22 50 15 42 40 46 55 41 36 45 51 37 32 49 47 33 31 10 53 44 16 30 48 34 39 52 38 43
22 24 48 13 11 14 7 10 3 6 4 2 5 37 12 9 29 18 28 0 25 19 21 23 17 27 1 26 20 52 46 32 34 15 45 31 38 55 49 35 42 51 53 39 41 8 47 30 43 44 54 40 33 50 36 16
24 22 50 7 9 3 13 4 14 8 10 12 29 39 2 11 5 28 18 25 0 21 19 17 23 1 27 20 26 46 52 38 36 45 15 42 32 49 55 41 31 53 51 37 35 6 30 47 33 54 44 16 43 48 34 40
26 28 44 14 29 10 11 6 7 2 3 5 9 41 8 13 12 22 25 18 21 0 17 19 1 23 20 27 24 48 45 31 16 52 49 35 34 15 53 39 38 55 30 43 42 4 51 54 40 47 50 36 37 46 32 33
28 26 46 11 13 7 14 3 10 4 6 8 12 43 5 29 9 25 22 21 18 17 0 1 19 20 23 24 27 45 48 34 32 49 52 38 31 53 15 42 35 30 55 41 39 2 54 51 37 50 47 33 40 44 16 36
27 25 47 10 12 6 29 2 11 5 7 9 13 42 4 14 8 26 21 22 17 18 1 0 20 19 24 23 28 44 49 35 33 48 53 39 16 52 30 43 34 15 54 40 38 3 55 50 36 51 46 32 41 45 31 37
25 27 45 29 14 11 10 7 6 3 2 4 8 40 9 12 13 21 26 17 22 1 18 20 0 24 19 28 23 49 44 16 31 53 48 34 35 30 52 38 39 54 15 42 43 5 50 55 41 46 51 37 36 47 33 32
23 21 51 6 8 2 12 5 29 9 11 13 14 38 3 10 4 27 17 26 1 22 20 18 24 0 28 19 25 47 53 39 37 44 30 43 33 48 54 40 16 52 50 36 34 7 15 46 32 55 45 31 42 49 35 41
21 23 49 12 10 29 6 11 2 7 5 3 4 36 13 8 14 17 27 1 26 20 22 24 18 28 0 25 19 53 47 33 35 30 44 16 39 54 48 34 43 50 52 38 40 9 46 15 42 45 55 41 32 51 37 31
19 17 55 2 4 5 8 9 12 13 29 14 10 34 7 6 3 23 1 27 20 26 24 22 28 18 25 0 21 51 30 43 41 47 54 40 37 44 50 36 33 48 46 32 16 11 52 45 31 15 49 35 38 53 39 42
17 19 53 8 6 12 2 29 5 11 9 7 3 32 14 4 10 1 23 20 27 24 26 28 22 25 18 21 0 30 51 37 39 54 47 33 43 50 44 16 40 46 48 34 36 13 45 52 38 49 15 42 31 55 41 35
55 53 19 37 39 33 43 16 40 34 36 38 42 13 31 41 35 15 49 52 45 48 46 44 50 47 54 51 30 0 21 8 6 18 25 12 2 22 28 29 5 26 24 11 9 32 27 20 7 23 1 3 14 17 4 10
53 55 17 43 41 40 37 36 33 32 16 31 35 11 38 39 42 49 15 45 52 46 48 50 44 54 47 30 51 21 0 2 4 25 18 5 8 28 22 9 12 24 26 13 29 34 20 27 14 1 23 10 7 19 6 3
39 41 4 30 55 54 51 50 47 46 44 45 49 24 52 53 15 35 42 31 38 32 34 36 16 40 33 43 37 8 2 0 17 12 5 18 21 29 9 22 25 11 13 26 28 48 7 14 27 3 10 23 20 6 19 1
42 43 2 55 30 51 54 47 50 44 46 48 52 27 49 15 53 38 39 34 35 16 31 33 32 37 36 41 40 5 4 17 0 9 8 21 18 13 12 25 22 14 29 28 26 45 10 11 24 6 7 20 23 3 1 19
51 49 23 33 35 16 39 34 43 38 40 42 41 9 32 37 31 55 45 15 46 52 50 48 54 44 30 47 53 19 25 12 10 0 28 29 6 18 24 11 2 22 20 7 5 36 26 1 3 27 17 4 13 21 8 14
49 51 21 39 37 43 33 40 16 36 34 32 31 7 42 35 41 45 55 46 15 50 52 54 48 30 44 53 47 25 19 6 8 28 0 2 12 24 18 5 29 20 22 9 11 38 1 26 13 17 27 14 3 23 10 4
35 37 8 53 51 30 47 54 44 50 48 46 45 20 15 49 55 31 41 32 42 36 38 40 34 43 16 39 33 12 6 19 21 29 2 0 25 11 5 18 28 7 9 22 24 52 3 13 26 4 14 27 1 10 23 17
41 39 6 51 53 47 30 44 54 48 50 52 15 26 45 55 49 42 35 38 31 34 32 16 36 33 40 37 43 2 8 21 19 5 12 25 0 9 29 28 18 13 11 24 22 46 14 7 20 10 3 1 27 4 17 23
47 45 27 16 31 34 35 38 39 42 43 41 37 5 36 33 32 51 46 55 50 15 54 52 30 48 53 44 49 23 28 29 14 19 24 11 10 0 20 7 6 18 1 3 2 40 22 17 4 26 21 8 9 25 12 13
45 47 25 35 33 39 16 43 34 40 38 36 32 3 41 31 37 46 51 50 55 54 15 30 52 53 48 49 44 28 23 10 12 24 19 6 29 20 0 2 11 1 18 5 7 42 17 22 9 21 26 13 4 27 14 8
31 33 12 49 47 53 44 30 48 54 52 50 46 1 55 45 51 32 37 36 41 40 42 43 38 39 34 35 16 29 10 23 25 11 6 19 28 7 2 0 24 3 5 18 20 15 4 9 22 8 13 26 17 14 27 21
37 35 10 47 49 44 53 48 30 52 54 15 55 22 46 51 45 41 31 42 32 38 36 34 40 16 43 33 39 6 12 25 23 2 29 28 19 5 11 24 0 9 7 20 18 50 13 3 1 14 4 17 26 8 21 27
44 46 26 34 32 38 31 42 35 41 39 37 33 2 40 16 36 47 50 51 54 55 30 15 53 52 49 48 45 27 24 11 13 23 20 7 14 19 1 3 10 0 17 4 6 43 18 21 8 22 25 12 5 28 29 9
46 44 28 31 16 35 34 39 38 43 42 40 36 4 37 32 33 50 47 54 51 30 55 53 15 49 52 45 48 24 27 14 29 20 23 10 11 1 19 6 7 17 0 2 3 41 21 18 5 25 22 9 8 26 13 12
32 16 29 45 44 49 48 53 52 30 15 54 50 17 51 46 47 36 33 40 37 43 41 39 42 35 38 31 34 11 14 27 28 7 10 23 24 3 6 19 20 4 2 0 1 55 8 5 18 12 9 22 21 13 26 25
33 31 14 44 45 48 49 52 53 15 30 55 51 18 50 47 46 37 32 41 36 42 40 38 43 34 39 16 35 10 29 28 27 6 11 24 23 2 7 20 19 5 3 1 0 54 9 4 17 13 8 21 22 12 25 26
29 13 32 24 26 20 27 1 23 17 19 21 25 30 18 28 22 12 9 8 5 4 2 3 6 7 10 11 14 31 34 48 46 35 38 52 45 39 42 15 49 43 41 55 53 0 40 37 51 36 33 47 54 16 44 50
48 50 22 38 36 42 32 41 31 37 35 33 16 6 43 34 40 44 54 47 30 51 53 55 49 15 45 52 46 26 20 7 9 27 1 3 13 23 17 4 14 19 21 8 10 39 0 25 12 18 28 29 2 24 11 5
50 48 24 32 34 31 38 35 42 39 41 43 40 8 33 36 16 54 44 30 47 53 51 49 55 45 15 46 52 20 26 13 11 1 27 14 7 17 23 10 3 21 19 6 4 37 25 0 2 28 18 5 12 22 9 29
36 34 11 46 48 45 52 49 15 53 55 30 54 21 47 50 44 40 16 43 33 39 37 35 41 31 42 32 38 7 13 26 24 3 14 27 20 4 10 23 1 8 6 19 17 51 12 2 0 29 5 18 25 9 22 28
52 54 18 42 40 41 36 37 32 33 31 16 34 10 39 38 43 48 30 44 53 47 49 51 45 55 46 15 50 22 1 3 5 26 17 4 9 27 21 8 13 23 25 12 14 35 19 28 29 0 24 11 6 20 7 2
54 52 20 36 38 32 42 31 41 35 37 39 43 12 16 40 34 30 48 53 44 49 47 45 51 46 55 50 15 1 22 9 7 17 26 13 3 21 27 14 4 25 23 10 8 33 28 19 6 24 0 2 29 18 5 11
40 38 7 50 52 46 15 45 55 49 51 53 30 25 44 54 48 43 34 39 16 35 33 31 37 32 41 36 42 3 9 22 20 4 13 26 1 8 14 27 17 12 10 23 21 47 29 6 19 11 2 0 28 5 18 24
34 36 9 52 50 15 46 55 45 51 49 47 44 19 30 48 54 16 40 33 43 37 39 41 35 42 31 38 32 13 7 20 22 14 3 1 26 10 4 17 27 6 8 21 23 53 2 12 25 5 29 28 0 11 24 18
30 15 1 40 42 36 41 32 37 31 33 35 39 29 34 43 38 53 52 49 48 45 44 46 47 50 51 54 55 17 18 5 3 21 22 9 4 25 26 13 8 28 27 14 12 16 24 23 10 20 19 6 11 0 2 7
43 42 3 54 15 50 55 46 51 45 47 49 53 28 48 30 52 39 38 35 34 31 16 32 33 36 37 40 41 4 5 18 1 8 9 22 17 12 13 26 21 29 14 27 25 44 11 10 23 7 6 19 24 2 0 20
38 40 5 15 54 55 50 51 46 47 45 44 48 23 53 52 30 34 43 16 39 33 35 37 31 41 32 42 36 9 3 1 18 13 4 17 22 14 8 21 26 10 12 25 27 49 6 29 28 2 11 24 19 7 20 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