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