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