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