back
11
closure size: 4
0 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3
1 0 1 1 1 1 1 1 1 1 3 3 3 3 3 3 2 2 3 3 3 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3
1 1 0 1 1 1 1 1 1 1 3 3 3 2 2 3 3 3 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3
1 1 1 0 1 1 1 1 1 1 3 3 3 3 3 3 3 3 3 3 3 3 2 2 3 3 3 2 3 3 3 3 3 3 3 3 3 3 3 3
1 1 1 1 0 1 1 1 1 1 3 3 3 3 3 2 3 3 3 2 3 3 3 3 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3
1 1 1 1 1 0 1 1 1 1 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 2 3 3 3 2 3 3 3 3 3 3
1 1 1 1 1 1 0 1 1 1 3 3 3 3 3 3 3 3 3 3 2 3 3 3 3 2 3 3 3 3 2 3 3 3 3 3 3 3 3 3
1 1 1 1 1 1 1 0 1 1 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 2 3 3 2 3
1 1 1 1 1 1 1 1 0 1 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 3 3 3 3 2 3 3 3 3 2 3 3 3
1 1 1 1 1 1 1 1 1 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 3 3 3 3 2 3 2
2 3 3 3 3 3 3 3 3 3 0 2 2 3 3 3 1 3 1 3 3 3 1 3 1 3 3 3 1 3 1 3 3 3 1 3 1 3 3 1
2 3 3 3 3 3 3 3 3 3 2 0 2 1 3 1 3 1 3 3 1 3 3 1 3 3 1 3 3 1 3 3 1 3 3 1 3 3 3 3
2 3 3 3 3 3 3 3 3 3 2 2 0 3 1 3 3 3 3 1 3 1 3 3 3 1 3 1 3 3 3 1 3 1 3 3 3 1 1 3
3 3 2 3 3 3 3 3 3 3 3 1 3 0 2 1 3 1 2 3 1 3 3 1 3 3 1 3 3 1 3 3 1 3 3 1 3 3 3 3
3 3 2 3 3 3 3 3 3 3 3 3 1 2 0 3 3 3 2 1 3 1 3 3 3 1 3 1 3 3 3 1 3 1 3 3 3 1 1 3
3 3 3 3 2 3 3 3 3 3 3 1 3 1 3 0 3 1 3 2 1 3 3 1 2 3 1 3 3 1 3 3 1 3 3 1 3 3 3 3
3 2 3 3 3 3 3 3 3 3 1 3 3 3 3 3 0 2 1 3 3 2 1 3 1 3 3 3 1 3 1 3 3 3 1 3 1 3 3 1
3 2 3 3 3 3 3 3 3 3 3 1 3 1 3 1 2 0 3 3 1 2 3 1 3 3 1 3 3 1 3 3 1 3 3 1 3 3 3 3
3 3 2 3 3 3 3 3 3 3 1 3 3 2 2 3 1 3 0 3 3 3 1 3 1 3 3 3 1 3 1 3 3 3 1 3 1 3 3 1
3 3 3 3 2 3 3 3 3 3 3 3 1 3 1 2 3 3 3 0 3 1 3 3 2 1 3 1 3 3 3 1 3 1 3 3 3 1 1 3
3 3 3 3 3 3 2 3 3 3 3 1 3 1 3 1 3 1 3 3 0 3 3 1 3 2 1 3 3 1 2 3 1 3 3 1 3 3 3 3
3 2 3 3 3 3 3 3 3 3 3 3 1 3 1 3 2 2 3 1 3 0 3 3 3 1 3 1 3 3 3 1 3 1 3 3 3 1 1 3
3 3 3 2 3 3 3 3 3 3 1 3 3 3 3 3 1 3 1 3 3 3 0 2 1 3 3 2 1 3 1 3 3 3 1 3 1 3 3 1
3 3 3 2 3 3 3 3 3 3 3 1 3 1 3 1 3 1 3 3 1 3 2 0 3 3 1 2 3 1 3 3 1 3 3 1 3 3 3 3
3 3 3 3 2 3 3 3 3 3 1 3 3 3 3 2 1 3 1 2 3 3 1 3 0 3 3 3 1 3 1 3 3 3 1 3 1 3 3 1
3 3 3 3 3 3 2 3 3 3 3 3 1 3 1 3 3 3 3 1 2 1 3 3 3 0 3 1 3 3 2 1 3 1 3 3 3 1 1 3
3 3 3 3 3 3 3 3 2 3 3 1 3 1 3 1 3 1 3 3 1 3 3 1 3 3 0 3 3 1 3 2 1 3 3 1 2 3 3 3
3 3 3 2 3 3 3 3 3 3 3 3 1 3 1 3 3 3 3 1 3 1 2 2 3 1 3 0 3 3 3 1 3 1 3 3 3 1 1 3
3 3 3 3 3 2 3 3 3 3 1 3 3 3 3 3 1 3 1 3 3 3 1 3 1 3 3 3 0 2 1 3 3 2 1 3 1 3 3 1
3 3 3 3 3 2 3 3 3 3 3 1 3 1 3 1 3 1 3 3 1 3 3 1 3 3 1 3 2 0 3 3 1 2 3 1 3 3 3 3
3 3 3 3 3 3 2 3 3 3 1 3 3 3 3 3 1 3 1 3 2 3 1 3 1 2 3 3 1 3 0 3 3 3 1 3 1 3 3 1
3 3 3 3 3 3 3 3 2 3 3 3 1 3 1 3 3 3 3 1 3 1 3 3 3 1 2 1 3 3 3 0 3 1 3 3 2 1 1 3
3 3 3 3 3 3 3 3 3 2 3 1 3 1 3 1 3 1 3 3 1 3 3 1 3 3 1 3 3 1 3 3 0 3 3 1 3 2 3 2
3 3 3 3 3 2 3 3 3 3 3 3 1 3 1 3 3 3 3 1 3 1 3 3 3 1 3 1 2 2 3 1 3 0 3 3 3 1 1 3
3 3 3 3 3 3 3 2 3 3 1 3 3 3 3 3 1 3 1 3 3 3 1 3 1 3 3 3 1 3 1 3 3 3 0 2 1 3 2 1
3 3 3 3 3 3 3 2 3 3 3 1 3 1 3 1 3 1 3 3 1 3 3 1 3 3 1 3 3 1 3 3 1 3 2 0 3 3 2 3
3 3 3 3 3 3 3 3 2 3 1 3 3 3 3 3 1 3 1 3 3 3 1 3 1 3 2 3 1 3 1 2 3 3 1 3 0 3 3 1
3 3 3 3 3 3 3 3 3 2 3 3 1 3 1 3 3 3 3 1 3 1 3 3 3 1 3 1 3 3 3 1 2 1 3 3 3 0 1 2
3 3 3 3 3 3 3 2 3 3 3 3 1 3 1 3 3 3 3 1 3 1 3 3 3 1 3 1 3 3 3 1 3 1 2 2 3 1 0 3
3 3 3 3 3 3 3 3 3 2 1 3 3 3 3 3 1 3 1 3 3 3 1 3 1 3 3 3 1 3 1 3 2 3 1 3 1 2 3 0
closure size: 9
0 1 2 2 2 2 2 2 2 2 4 3 4 5 5 5 5 5 5 5 5 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 7 8 6 7
1 0 2 2 2 2 2 2 2 2 7 6 7 5 5 5 5 5 5 5 5 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 4 8 3 4
2 2 0 5 5 5 5 5 5 1 8 5 8 6 2 2 2 2 2 2 3 4 8 4 8 8 8 8 8 8 8 8 8 8 7 8 8 7 5 8
2 2 5 0 5 5 5 5 1 5 8 5 8 2 6 2 2 2 2 3 2 8 4 8 8 4 8 8 8 8 8 8 7 8 8 7 8 8 5 8
2 2 5 5 0 5 5 1 5 5 8 5 8 2 2 6 2 2 3 2 2 8 8 8 4 8 8 4 8 8 7 8 8 7 8 8 8 8 5 8
2 2 5 5 5 0 1 5 5 5 8 5 8 2 2 2 6 3 2 2 2 8 8 8 8 8 4 8 7 4 8 7 8 8 8 8 8 8 5 8
2 2 5 5 5 1 0 5 5 5 8 5 8 2 2 2 3 6 2 2 2 8 8 8 8 8 7 8 4 7 8 4 8 8 8 8 8 8 5 8
2 2 5 5 1 5 5 0 5 5 8 5 8 2 2 3 2 2 6 2 2 8 8 8 7 8 8 7 8 8 4 8 8 4 8 8 8 8 5 8
2 2 5 1 5 5 5 5 0 5 8 5 8 2 3 2 2 2 2 6 2 8 7 8 8 7 8 8 8 8 8 8 4 8 8 4 8 8 5 8
2 2 1 5 5 5 5 5 5 0 8 5 8 3 2 2 2 2 2 2 6 7 8 7 8 8 8 8 8 8 8 8 8 8 4 8 8 4 5 8
4 7 8 8 8 8 8 8 8 8 0 4 3 8 8 8 8 8 8 8 8 5 5 2 5 2 5 2 5 2 5 2 5 2 5 2 1 2 7 6
3 6 5 5 5 5 5 5 5 5 4 0 4 2 2 2 2 2 2 2 2 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 7 8 1 7
4 7 8 8 8 8 8 8 8 8 3 4 0 8 8 8 8 8 8 8 8 2 2 5 2 5 2 5 2 5 2 5 2 5 2 5 6 5 7 1
5 5 6 2 2 2 2 2 2 3 8 2 8 0 5 5 5 5 5 5 1 7 8 7 8 8 8 8 8 8 8 8 8 8 4 8 8 4 2 8
5 5 2 6 2 2 2 2 3 2 8 2 8 5 0 5 5 5 5 1 5 8 7 8 8 7 8 8 8 8 8 8 4 8 8 4 8 8 2 8
5 5 2 2 6 2 2 3 2 2 8 2 8 5 5 0 5 5 1 5 5 8 8 8 7 8 8 7 8 8 4 8 8 4 8 8 8 8 2 8
5 5 2 2 2 6 3 2 2 2 8 2 8 5 5 5 0 1 5 5 5 8 8 8 8 8 7 8 4 7 8 4 8 8 8 8 8 8 2 8
5 5 2 2 2 3 6 2 2 2 8 2 8 5 5 5 1 0 5 5 5 8 8 8 8 8 4 8 7 4 8 7 8 8 8 8 8 8 2 8
5 5 2 2 3 2 2 6 2 2 8 2 8 5 5 1 5 5 0 5 5 8 8 8 4 8 8 4 8 8 7 8 8 7 8 8 8 8 2 8
5 5 2 3 2 2 2 2 6 2 8 2 8 5 1 5 5 5 5 0 5 8 4 8 8 4 8 8 8 8 8 8 7 8 8 7 8 8 2 8
5 5 3 2 2 2 2 2 2 6 8 2 8 1 5 5 5 5 5 5 0 4 8 4 8 8 8 8 8 8 8 8 8 8 7 8 8 7 2 8
8 8 4 8 8 8 8 8 8 7 5 8 2 7 8 8 8 8 8 8 4 0 5 3 5 2 5 2 5 2 5 2 5 2 1 2 5 6 8 2
8 8 8 4 8 8 8 8 7 8 5 8 2 8 7 8 8 8 8 4 8 5 0 2 5 3 5 2 5 2 5 2 1 2 5 6 5 2 8 2
8 8 4 8 8 8 8 8 8 7 2 8 5 7 8 8 8 8 8 8 4 3 2 0 2 5 2 5 2 5 2 5 2 5 6 5 2 1 8 5
8 8 8 8 4 8 8 7 8 8 5 8 2 8 8 7 8 8 4 8 8 5 5 2 0 2 5 3 5 2 1 2 5 6 5 2 5 2 8 2
8 8 8 4 8 8 8 8 7 8 2 8 5 8 7 8 8 8 8 4 8 2 3 5 2 0 2 5 2 5 2 5 6 5 2 1 2 5 8 5
8 8 8 8 8 4 7 8 8 8 5 8 2 8 8 8 7 4 8 8 8 5 5 2 5 2 0 2 1 3 5 6 5 2 5 2 5 2 8 2
8 8 8 8 4 8 8 7 8 8 2 8 5 8 8 7 8 8 4 8 8 2 2 5 3 5 2 0 2 5 6 5 2 1 2 5 2 5 8 5
8 8 8 8 8 7 4 8 8 8 5 8 2 8 8 8 4 7 8 8 8 5 5 2 5 2 1 2 0 6 5 3 5 2 5 2 5 2 8 2
8 8 8 8 8 4 7 8 8 8 2 8 5 8 8 8 7 4 8 8 8 2 2 5 2 5 3 5 6 0 2 1 2 5 2 5 2 5 8 5
8 8 8 8 7 8 8 4 8 8 5 8 2 8 8 4 8 8 7 8 8 5 5 2 1 2 5 6 5 2 0 2 5 3 5 2 5 2 8 2
8 8 8 8 8 7 4 8 8 8 2 8 5 8 8 8 4 7 8 8 8 2 2 5 2 5 6 5 3 1 2 0 2 5 2 5 2 5 8 5
8 8 8 7 8 8 8 8 4 8 5 8 2 8 4 8 8 8 8 7 8 5 1 2 5 6 5 2 5 2 5 2 0 2 5 3 5 2 8 2
8 8 8 8 7 8 8 4 8 8 2 8 5 8 8 4 8 8 7 8 8 2 2 5 6 5 2 1 2 5 3 5 2 0 2 5 2 5 8 5
8 8 7 8 8 8 8 8 8 4 5 8 2 4 8 8 8 8 8 8 7 1 5 6 5 2 5 2 5 2 5 2 5 2 0 2 5 3 8 2
8 8 8 7 8 8 8 8 4 8 2 8 5 8 4 8 8 8 8 7 8 2 6 5 2 1 2 5 2 5 2 5 3 5 2 0 2 5 8 5
7 4 8 8 8 8 8 8 8 8 1 7 6 8 8 8 8 8 8 8 8 5 5 2 5 2 5 2 5 2 5 2 5 2 5 2 0 2 4 3
8 8 7 8 8 8 8 8 8 4 2 8 5 4 8 8 8 8 8 8 7 6 2 1 2 5 2 5 2 5 2 5 2 5 3 5 2 0 8 5
6 3 5 5 5 5 5 5 5 5 7 1 7 2 2 2 2 2 2 2 2 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 4 8 0 4
7 4 8 8 8 8 8 8 8 8 6 7 1 8 8 8 8 8 8 8 8 2 2 5 2 5 2 5 2 5 2 5 2 5 2 5 3 5 4 0
closure size: 30
0 1 10 7 6 4 5 3 2 8 11 9 11 17 16 14 15 13 12 18 19 29 28 20 29 22 28 23 22 26 23 24 26 25 24 27 25 21 27 21
1 0 20 6 7 5 4 2 3 9 21 8 21 16 17 15 14 12 13 19 18 28 29 10 28 23 29 22 23 24 22 26 24 27 26 25 27 11 25 11
10 20 0 17 16 14 15 13 12 18 11 19 11 7 6 4 5 3 2 8 9 29 28 1 29 22 28 23 22 26 23 24 26 25 24 27 25 21 27 21
8 6 18 0 15 17 12 14 19 13 28 1 28 10 5 7 2 4 9 3 20 21 23 16 21 29 23 24 29 22 24 27 22 26 27 11 26 25 11 25
6 8 16 15 0 12 17 19 14 1 25 13 25 5 10 2 7 9 4 20 3 23 21 18 23 24 21 29 24 27 29 22 27 11 22 26 11 28 26 28
3 5 13 18 12 0 19 17 1 14 23 16 23 8 2 10 9 7 20 4 6 25 24 15 25 21 24 27 21 29 27 11 29 22 11 28 22 26 28 26
5 3 15 12 18 19 0 1 17 16 26 14 26 2 8 9 10 20 7 6 4 24 25 13 24 27 25 21 27 11 21 29 11 28 29 22 28 23 22 23
4 2 14 13 19 18 1 0 16 17 24 15 24 3 9 8 20 10 6 7 5 26 27 12 26 25 27 11 25 21 11 28 21 29 28 23 29 22 23 22
2 4 12 19 13 1 18 16 0 15 22 17 22 9 3 20 8 6 10 5 7 27 26 14 27 11 26 25 11 28 25 21 28 23 21 29 23 24 29 24
7 9 17 14 1 13 16 18 15 0 27 12 27 4 20 3 6 8 5 10 2 22 11 19 22 26 11 28 26 25 28 23 25 21 23 24 21 29 24 29
11 22 11 28 26 23 25 24 21 27 0 29 10 28 26 23 25 24 21 27 29 19 17 22 9 1 7 14 20 16 4 13 6 15 3 18 5 12 8 2
9 7 19 1 14 16 13 15 18 12 29 0 29 20 4 6 3 5 8 2 10 11 22 17 11 28 22 26 28 23 26 25 23 24 25 21 24 27 21 27
11 22 11 28 26 23 25 24 21 27 10 29 0 28 26 23 25 24 21 27 29 9 7 22 19 20 17 4 1 6 14 3 16 5 13 8 15 2 18 12
18 16 8 10 5 7 2 4 9 3 28 20 28 0 15 17 12 14 19 13 1 21 23 6 21 29 23 24 29 22 24 27 22 26 27 11 26 25 11 25
16 18 6 5 10 2 7 9 4 20 25 3 25 15 0 12 17 19 14 1 13 23 21 8 23 24 21 29 24 27 29 22 27 11 22 26 11 28 26 28
13 15 3 8 2 10 9 7 20 4 23 6 23 18 12 0 19 17 1 14 16 25 24 5 25 21 24 27 21 29 27 11 29 22 11 28 22 26 28 26
15 13 5 2 8 9 10 20 7 6 26 4 26 12 18 19 0 1 17 16 14 24 25 3 24 27 25 21 27 11 21 29 11 28 29 22 28 23 22 23
14 12 4 3 9 8 20 10 6 7 24 5 24 13 19 18 1 0 16 17 15 26 27 2 26 25 27 11 25 21 11 28 21 29 28 23 29 22 23 22
12 14 2 9 3 20 8 6 10 5 22 7 22 19 13 1 18 16 0 15 17 27 26 4 27 11 26 25 11 28 25 21 28 23 21 29 23 24 29 24
17 19 7 4 20 3 6 8 5 10 27 2 27 14 1 13 16 18 15 0 12 22 11 9 22 26 11 28 26 25 28 23 25 21 23 24 21 29 24 29
19 17 9 20 4 6 3 5 8 2 29 10 29 1 14 16 13 15 18 12 0 11 22 7 11 28 22 26 28 23 26 25 23 24 25 21 24 27 21 27
29 28 29 22 23 26 24 25 27 21 19 11 9 22 23 26 24 25 27 21 11 0 1 28 10 17 20 16 7 14 6 15 4 13 5 12 3 18 2 8
28 29 28 23 22 24 26 27 25 11 18 21 8 23 22 24 26 27 25 11 21 1 0 29 20 16 10 17 6 15 7 14 5 12 4 13 2 19 3 9
20 10 1 16 17 15 14 12 13 19 21 18 21 6 7 5 4 2 3 9 8 28 29 0 28 23 29 22 23 24 22 26 24 27 26 25 27 11 25 11
29 28 29 22 23 26 24 25 27 21 9 11 19 22 23 26 24 25 27 21 11 10 20 28 0 7 1 6 17 4 16 5 14 3 15 2 13 8 12 18
21 23 21 29 24 22 27 26 11 25 1 28 20 29 24 22 27 26 11 25 28 18 16 23 8 0 6 15 10 17 5 12 7 14 2 19 4 13 9 3
28 29 28 23 22 24 26 27 25 11 8 21 18 23 22 24 26 27 25 11 21 20 10 29 1 6 0 7 16 5 17 4 15 2 14 3 12 9 13 19
23 21 23 24 29 27 22 11 26 28 13 25 3 24 29 27 22 11 26 28 25 16 18 21 6 15 8 0 5 12 10 17 2 19 7 14 9 1 4 20
21 23 21 29 24 22 27 26 11 25 20 28 1 29 24 22 27 26 11 25 28 8 6 23 18 10 16 5 0 7 15 2 17 4 12 9 14 3 19 13
25 24 25 21 27 29 11 22 28 26 16 23 6 21 27 29 11 22 28 26 23 13 15 24 3 18 5 12 8 0 2 19 10 17 9 1 7 14 20 4
23 21 23 24 29 27 22 11 26 28 3 25 13 24 29 27 22 11 26 28 25 6 8 21 16 5 18 10 15 2 0 7 12 9 17 4 19 20 14 1
24 25 24 27 21 11 29 28 22 23 14 26 4 27 21 11 29 28 22 23 26 15 13 25 5 12 3 18 2 19 8 0 9 1 10 17 20 16 7 6
25 24 25 21 27 29 11 22 28 26 6 23 16 21 27 29 11 22 28 26 23 3 5 24 13 8 15 2 18 10 12 9 0 7 19 20 17 4 1 14
26 27 26 25 11 21 28 29 23 22 15 24 5 25 11 21 28 29 23 22 24 14 12 27 4 13 2 19 3 18 9 1 8 0 20 16 10 17 6 7
24 25 24 27 21 11 29 28 22 23 4 26 14 27 21 11 29 28 22 23 26 5 3 25 15 2 13 8 12 9 18 10 19 20 0 7 1 6 17 16
27 26 27 11 25 28 21 23 29 24 17 22 7 11 25 28 21 23 29 24 22 12 14 26 2 19 4 13 9 1 3 18 20 16 8 0 6 15 10 5
26 27 26 25 11 21 28 29 23 22 5 24 15 25 11 21 28 29 23 22 24 4 2 27 14 3 12 9 13 8 19 20 18 10 1 6 0 7 16 17
22 11 22 26 28 25 23 21 24 29 12 27 2 26 28 25 23 21 24 29 27 17 19 11 7 14 9 1 4 13 20 16 3 18 6 15 8 0 5 10
27 26 27 11 25 28 21 23 29 24 7 22 17 11 25 28 21 23 29 24 22 2 4 26 12 9 14 3 19 20 13 8 1 6 18 10 16 5 0 15
22 11 22 26 28 25 23 21 24 29 2 27 12 26 28 25 23 21 24 29 27 7 9 11 17 4 19 20 14 3 1 6 13 8 16 5 18 10 15 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 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 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3
2 2 0 3 1 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 0 3 3 1 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 1 3 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 0 3 3 1 3 3 3 3 3 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 1 3 3 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 3 3 0 3 3 1 3 3 3 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 1 3 3 0 3 3 3 3 3 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 3 3 3 3 0 3 3 1 3 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 3 3 1 3 3 0 3 3 3 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 3 3 3 3 3 3 0 3 3 1 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 3 3 3 3 1 3 3 0 3 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 3 3 3 3 3 3 3 3 0 3 3 1 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 3 3 3 3 3 3 1 3 3 0 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 3 1 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 3 3 3 3 3 3 3 3 1 3 3 0 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 3 1 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 1 3 3 0 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 1 3 3 0 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 1 3 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 3 1 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 0 3 3 1 3 3 3 3 3 3 3 3 3 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 3 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 0 3 3 1 3 3 3 3 3 3 3 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 1 3 3 0 3 3 3 3 3 3 3 3 3 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 0 3 3 1 3 3 3 3 3 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 1 3 3 0 3 3 3 3 3 3 3 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 0 3 3 1 3 3 3 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 1 3 3 0 3 3 3 3 3 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 0 3 3 1 3 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 1 3 3 0 3 3 3 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 0 3 3 1 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 1 3 3 0 3 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 3 1 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 1 3 3 0 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 1
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 1 3 3 0 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 1 3 0
closure size: 6
0 1 3 3 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4 4 4 4 4 4 4 4 5 5 5
1 0 5 5 2 2 2 5 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4 4 4 4 4 4 4 4 3 3 3
3 5 0 3 4 2 4 3 2 4 2 2 4 2 2 4 2 2 4 2 2 4 2 2 4 2 2 2 2 2 2 2 2 2 2 2 2 1 5 5
3 5 3 0 2 2 2 3 4 2 4 2 2 2 4 2 4 2 2 2 4 2 4 2 2 2 4 4 2 2 2 2 2 2 2 2 2 5 5 1
2 2 4 2 0 2 4 2 5 4 2 2 4 5 2 4 2 2 4 2 2 4 2 3 1 2 2 3 2 2 2 3 2 2 5 2 2 4 2 2
2 2 2 2 2 0 5 4 2 2 3 4 2 4 2 2 2 4 2 4 2 3 2 4 2 4 5 2 1 5 2 2 2 2 2 2 3 2 4 2
2 2 4 2 4 5 0 2 2 4 5 2 4 2 2 4 2 2 4 2 2 1 2 2 4 2 3 2 3 3 2 2 2 2 2 2 5 4 2 2
3 5 3 3 2 4 2 0 2 2 2 4 2 4 2 2 2 4 2 4 2 2 2 4 2 4 2 2 4 2 2 2 2 2 2 2 2 5 1 5
2 2 2 4 5 2 2 2 0 2 4 2 2 3 4 2 4 2 2 2 4 2 4 5 3 2 4 1 2 2 2 5 2 2 3 2 2 2 2 4
2 2 4 2 4 2 4 2 2 0 2 2 4 2 5 4 2 3 1 5 2 4 3 2 4 2 2 2 2 2 2 2 5 3 2 2 2 4 2 2
2 2 2 4 2 3 5 2 4 2 0 2 2 2 4 2 4 2 2 2 4 3 4 2 2 2 1 4 5 5 2 2 2 2 2 2 3 2 2 4
2 2 2 2 2 4 2 4 2 2 2 0 5 4 2 3 3 4 2 4 5 2 2 4 2 1 2 2 4 2 5 2 2 2 2 3 2 2 4 2
2 2 4 2 4 2 4 2 2 4 2 5 0 2 2 1 5 2 4 2 3 4 2 2 4 3 2 2 2 2 3 2 2 2 2 5 2 4 2 2
2 2 2 2 5 4 2 4 3 2 2 4 2 0 2 2 2 4 2 4 2 2 2 1 3 4 2 5 4 2 2 5 2 2 3 2 2 2 4 2
2 2 2 4 2 2 2 2 4 5 4 2 2 2 0 2 4 5 3 3 4 2 1 2 2 2 4 4 2 2 2 2 3 5 2 2 2 2 2 4
2 2 4 2 4 2 4 2 2 4 2 3 1 2 2 0 3 2 4 2 5 4 2 2 4 5 2 2 2 2 5 2 2 2 2 3 2 4 2 2
2 2 2 4 2 2 2 2 4 2 4 3 5 2 4 3 0 2 2 2 1 2 4 2 2 5 4 4 2 2 5 2 2 2 2 3 2 2 2 4
2 2 2 2 2 4 2 4 2 3 2 4 2 4 5 2 2 0 5 1 2 2 3 4 2 4 2 2 4 2 2 2 5 3 2 2 2 2 4 2
2 2 4 2 4 2 4 2 2 1 2 2 4 2 3 4 2 5 0 3 2 4 5 2 4 2 2 2 2 2 2 2 3 5 2 2 2 4 2 2
2 2 2 2 2 4 2 4 2 5 2 4 2 4 3 2 2 1 3 0 2 2 5 4 2 4 2 2 4 2 2 2 3 5 2 2 2 2 4 2
2 2 2 4 2 2 2 2 4 2 4 5 3 2 4 5 1 2 2 2 0 2 4 2 2 3 4 4 2 2 3 2 2 2 2 5 2 2 2 4
2 2 4 2 4 3 1 2 2 4 3 2 4 2 2 4 2 2 4 2 2 0 2 2 4 2 5 2 5 5 2 2 2 2 2 2 3 4 2 2
2 2 2 4 2 2 2 2 4 3 4 2 2 2 1 2 4 3 5 5 4 2 0 2 2 2 4 4 2 2 2 2 5 3 2 2 2 2 2 4
2 2 2 2 3 4 2 4 5 2 2 4 2 1 2 2 2 4 2 4 2 2 2 0 5 4 2 3 4 2 2 3 2 2 5 2 2 2 4 2
2 2 4 2 1 2 4 2 3 4 2 2 4 3 2 4 2 2 4 2 2 4 2 5 0 2 2 5 2 2 2 5 2 2 3 2 2 4 2 2
2 2 2 2 2 4 2 4 2 2 2 1 3 4 2 5 5 4 2 4 3 2 2 4 2 0 2 2 4 2 3 2 2 2 2 5 2 2 4 2
2 2 2 4 2 5 3 2 4 2 1 2 2 2 4 2 4 2 2 2 4 5 4 2 2 2 0 4 3 3 2 2 2 2 2 2 5 2 2 4
2 2 2 4 3 2 2 2 1 2 4 2 2 5 4 2 4 2 2 2 4 2 4 3 5 2 4 0 2 2 2 3 2 2 5 2 2 2 2 4
2 2 2 2 2 1 3 4 2 2 5 4 2 4 2 2 2 4 2 4 2 5 2 4 2 4 3 2 0 3 2 2 2 2 2 2 5 2 4 2
4 4 2 2 2 5 3 2 2 2 5 2 2 2 2 2 2 2 2 2 2 5 2 2 2 2 3 2 3 0 4 4 4 4 4 4 1 2 2 2
4 4 2 2 2 2 2 2 2 2 2 5 3 2 2 5 5 2 2 2 3 2 2 2 2 3 2 2 2 4 0 4 4 4 4 1 4 2 2 2
4 4 2 2 3 2 2 2 5 2 2 2 2 5 2 2 2 2 2 2 2 2 2 3 5 2 2 3 2 4 4 0 4 4 1 4 4 2 2 2
4 4 2 2 2 2 2 2 2 5 2 2 2 2 3 2 2 5 3 3 2 2 5 2 2 2 2 2 2 4 4 4 0 1 4 4 4 2 2 2
4 4 2 2 2 2 2 2 2 3 2 2 2 2 5 2 2 3 5 5 2 2 3 2 2 2 2 2 2 4 4 4 1 0 4 4 4 2 2 2
4 4 2 2 5 2 2 2 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 5 3 2 2 5 2 4 4 1 4 4 0 4 4 2 2 2
4 4 2 2 2 2 2 2 2 2 2 3 5 2 2 3 3 2 2 2 5 2 2 2 2 5 2 2 2 4 1 4 4 4 4 0 4 2 2 2
4 4 2 2 2 3 5 2 2 2 3 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 5 2 5 1 4 4 4 4 4 4 0 2 2 2
5 3 1 5 4 2 4 5 2 4 2 2 4 2 2 4 2 2 4 2 2 4 2 2 4 2 2 2 2 2 2 2 2 2 2 2 2 0 3 3
5 3 5 5 2 4 2 1 2 2 2 4 2 4 2 2 2 4 2 4 2 2 2 4 2 4 2 2 4 2 2 2 2 2 2 2 2 3 0 3
5 3 5 1 2 2 2 5 4 2 4 2 2 2 4 2 4 2 2 2 4 2 4 2 2 2 4 4 2 2 2 2 2 2 2 2 2 3 3 0
closure size: 6
0 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 5 5 5 5 5 5 5 5 4 5 4
1 0 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4 2 4 5 5 5 5 5 5 5 5 5 2 3 2
1 1 0 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 4 2 2 4 2 5 5 5 5 5 5 5 5 3 2 5 2
1 1 1 0 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 4 2 2 4 2 2 2 5 5 5 5 5 5 5 3 5 2 5 2
1 1 1 1 0 1 1 1 1 1 2 2 2 2 2 2 2 2 2 4 2 2 4 2 2 2 2 2 5 5 5 5 5 5 3 5 5 2 5 2
1 1 1 1 1 0 1 1 1 1 2 2 2 2 2 2 2 4 2 2 4 2 2 2 2 2 2 2 5 5 5 5 5 3 5 5 5 2 5 2
1 1 1 1 1 1 0 1 1 1 2 2 2 2 2 4 2 2 4 2 2 2 2 2 2 2 2 2 5 5 5 5 3 5 5 5 5 2 5 2
1 1 1 1 1 1 1 0 1 1 2 2 2 4 2 2 4 2 2 2 2 2 2 2 2 2 2 2 5 5 5 3 5 5 5 5 5 2 5 2
1 1 1 1 1 1 1 1 0 1 2 4 2 2 4 2 2 2 2 2 2 2 2 2 2 2 2 2 5 5 3 5 5 5 5 5 5 2 5 2
1 1 1 1 1 1 1 1 1 0 4 2 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5 3 5 5 5 5 5 5 5 2 5 2
2 2 2 2 2 2 2 2 2 4 0 1 3 1 5 1 5 1 5 1 5 1 5 1 5 1 5 5 2 4 2 2 2 2 2 2 2 1 2 5
2 2 2 2 2 2 2 2 4 2 1 0 5 1 3 1 5 1 5 1 5 1 5 1 5 1 5 5 2 2 4 2 2 2 2 2 2 1 2 5
2 2 2 2 2 2 2 2 2 4 3 5 0 5 1 5 1 5 1 5 1 5 1 5 1 5 1 1 2 4 2 2 2 2 2 2 2 5 2 1
2 2 2 2 2 2 2 4 2 2 1 1 5 0 5 1 3 1 5 1 5 1 5 1 5 1 5 5 2 2 2 4 2 2 2 2 2 1 2 5
2 2 2 2 2 2 2 2 4 2 5 3 1 5 0 5 1 5 1 5 1 5 1 5 1 5 1 1 2 2 4 2 2 2 2 2 2 5 2 1
2 2 2 2 2 2 4 2 2 2 1 1 5 1 5 0 5 1 3 1 5 1 5 1 5 1 5 5 2 2 2 2 4 2 2 2 2 1 2 5
2 2 2 2 2 2 2 4 2 2 5 5 1 3 1 5 0 5 1 5 1 5 1 5 1 5 1 1 2 2 2 4 2 2 2 2 2 5 2 1
2 2 2 2 2 4 2 2 2 2 1 1 5 1 5 1 5 0 5 1 3 1 5 1 5 1 5 5 2 2 2 2 2 4 2 2 2 1 2 5
2 2 2 2 2 2 4 2 2 2 5 5 1 5 1 3 1 5 0 5 1 5 1 5 1 5 1 1 2 2 2 2 4 2 2 2 2 5 2 1
2 2 2 2 4 2 2 2 2 2 1 1 5 1 5 1 5 1 5 0 5 1 3 1 5 1 5 5 2 2 2 2 2 2 4 2 2 1 2 5
2 2 2 2 2 4 2 2 2 2 5 5 1 5 1 5 1 3 1 5 0 5 1 5 1 5 1 1 2 2 2 2 2 4 2 2 2 5 2 1
2 2 2 4 2 2 2 2 2 2 1 1 5 1 5 1 5 1 5 1 5 0 5 1 3 1 5 5 2 2 2 2 2 2 2 4 2 1 2 5
2 2 2 2 4 2 2 2 2 2 5 5 1 5 1 5 1 5 1 3 1 5 0 5 1 5 1 1 2 2 2 2 2 2 4 2 2 5 2 1
2 2 4 2 2 2 2 2 2 2 1 1 5 1 5 1 5 1 5 1 5 1 5 0 5 1 3 5 2 2 2 2 2 2 2 2 4 1 2 5
2 2 2 4 2 2 2 2 2 2 5 5 1 5 1 5 1 5 1 5 1 3 1 5 0 5 1 1 2 2 2 2 2 2 2 4 2 5 2 1
2 4 2 2 2 2 2 2 2 2 1 1 5 1 5 1 5 1 5 1 5 1 5 1 5 0 5 3 2 2 2 2 2 2 2 2 2 1 4 5
2 2 4 2 2 2 2 2 2 2 5 5 1 5 1 5 1 5 1 5 1 5 1 3 1 5 0 1 2 2 2 2 2 2 2 2 4 5 2 1
2 4 2 2 2 2 2 2 2 2 5 5 1 5 1 5 1 5 1 5 1 5 1 5 1 3 1 0 2 2 2 2 2 2 2 2 2 5 4 1
3 5 5 5 5 5 5 5 5 5 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 1 1 1 1 1 1 1 4 1 4
5 5 5 5 5 5 5 5 5 3 4 2 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 1 1 1 1 1 2 1 2
5 5 5 5 5 5 5 5 3 5 2 4 2 2 4 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 1 1 1 1 1 2 1 2
5 5 5 5 5 5 5 3 5 5 2 2 2 4 2 2 4 2 2 2 2 2 2 2 2 2 2 2 1 1 1 0 1 1 1 1 1 2 1 2
5 5 5 5 5 5 3 5 5 5 2 2 2 2 2 4 2 2 4 2 2 2 2 2 2 2 2 2 1 1 1 1 0 1 1 1 1 2 1 2
5 5 5 5 5 3 5 5 5 5 2 2 2 2 2 2 2 4 2 2 4 2 2 2 2 2 2 2 1 1 1 1 1 0 1 1 1 2 1 2
5 5 5 5 3 5 5 5 5 5 2 2 2 2 2 2 2 2 2 4 2 2 4 2 2 2 2 2 1 1 1 1 1 1 0 1 1 2 1 2
5 5 5 3 5 5 5 5 5 5 2 2 2 2 2 2 2 2 2 2 2 4 2 2 4 2 2 2 1 1 1 1 1 1 1 0 1 2 1 2
5 5 3 5 5 5 5 5 5 5 2 2 2 2 2 2 2 2 2 2 2 2 2 4 2 2 4 2 1 1 1 1 1 1 1 1 0 2 1 2
4 2 2 2 2 2 2 2 2 2 1 1 5 1 5 1 5 1 5 1 5 1 5 1 5 1 5 5 4 2 2 2 2 2 2 2 2 0 2 3
5 3 5 5 5 5 5 5 5 5 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4 2 4 1 1 1 1 1 1 1 1 1 2 0 2
4 2 2 2 2 2 2 2 2 2 5 5 1 5 1 5 1 5 1 5 1 5 1 5 1 5 1 1 4 2 2 2 2 2 2 2 2 3 2 0
closure size: 30
0 1 4 19 5 12 4 17 13 5 16 11 17 7 10 16 9 2 7 8 3 9 6 15 8 18 14 6 18 25 22 24 21 23 26 20 27 29 28 28
1 0 5 29 4 13 5 16 12 4 17 10 16 9 11 17 7 3 9 6 2 7 8 14 6 28 15 8 28 24 23 25 20 22 27 21 26 19 18 18
4 5 0 4 29 16 19 25 17 1 12 9 13 22 7 24 11 6 10 21 8 23 2 28 3 26 18 20 14 17 7 16 8 9 18 6 28 5 15 27
19 29 4 0 5 24 4 17 25 5 16 23 17 7 22 16 9 20 7 8 21 9 6 27 8 18 26 6 18 13 10 12 3 11 14 2 15 1 28 28
5 4 29 5 0 17 1 12 16 19 25 7 24 11 9 13 22 8 23 2 6 10 21 18 20 15 28 3 27 16 9 17 6 7 28 8 18 4 26 14
12 14 16 24 18 0 16 9 23 18 4 25 9 6 20 4 17 22 6 28 27 17 7 21 28 5 1 7 5 11 2 19 15 13 29 10 3 26 8 8
4 5 19 4 1 16 0 13 17 29 24 9 25 10 7 12 23 6 22 3 8 11 20 28 21 14 18 2 26 17 7 16 8 9 18 6 28 5 27 15
18 16 26 18 12 9 14 0 4 24 11 6 19 25 17 23 2 28 13 22 7 20 15 5 10 21 8 27 3 4 17 9 7 6 8 28 5 16 29 1
14 12 18 26 16 23 18 4 0 16 9 20 4 17 25 9 6 27 17 7 22 6 28 1 7 8 21 28 8 19 13 11 10 2 3 15 29 24 5 5
5 4 1 5 19 17 29 24 16 0 13 7 12 23 9 25 10 8 11 20 6 22 3 18 2 27 28 21 15 16 9 17 6 7 28 8 18 4 14 26
16 18 12 16 26 4 24 11 9 14 0 17 23 2 6 19 25 7 20 15 28 13 22 8 27 29 5 10 1 9 6 4 28 17 5 7 8 18 21 3
11 3 9 23 8 26 9 6 20 8 18 0 6 28 27 18 4 25 28 5 1 4 17 22 5 16 24 17 16 2 15 14 29 19 12 13 10 21 7 7
18 16 14 18 24 9 26 19 4 12 23 6 0 13 17 11 20 28 25 10 7 2 27 5 22 3 8 15 21 4 17 9 7 6 8 28 5 16 1 29
8 9 21 8 11 6 3 26 18 23 2 28 14 0 4 20 15 5 19 25 17 27 29 16 13 22 7 1 10 18 4 6 17 28 7 5 16 9 12 24
3 11 8 21 9 20 8 18 26 9 6 27 18 4 0 6 28 1 4 17 25 28 5 24 17 7 22 5 7 14 19 2 13 15 10 29 12 23 16 16
16 18 24 16 14 4 12 23 9 26 19 17 11 20 6 0 13 7 2 27 28 25 10 8 15 1 5 22 29 9 6 4 28 17 5 7 8 18 3 21
9 8 11 9 21 18 23 2 6 3 26 4 20 15 28 14 0 17 27 29 5 19 25 7 1 12 16 13 24 6 28 18 5 4 16 17 7 8 22 10
2 10 6 20 7 21 6 28 27 7 8 26 28 5 1 8 18 0 5 16 24 18 4 25 16 9 23 4 9 15 29 3 12 14 11 19 13 22 17 17
8 9 3 8 23 6 21 14 18 11 20 28 26 19 4 2 27 5 0 13 17 15 1 16 25 10 7 29 22 18 4 6 17 28 7 5 16 9 24 12
7 6 22 7 2 28 10 21 8 20 15 5 3 26 18 27 29 16 14 0 4 1 12 9 19 25 17 24 13 8 18 28 4 5 17 16 9 6 11 23
10 2 7 22 6 27 7 8 21 6 28 1 8 18 26 28 5 24 18 4 0 5 16 23 4 17 25 16 17 3 14 15 19 29 13 12 11 20 9 9
9 8 23 9 3 18 11 20 6 21 14 4 2 27 28 26 19 17 15 1 5 0 13 7 29 24 16 25 12 6 28 18 5 4 16 17 7 8 10 22
6 7 2 6 22 8 20 15 28 10 21 18 27 29 5 3 26 4 1 12 16 14 0 17 24 11 9 19 23 28 5 8 16 18 9 4 17 7 25 13
15 13 28 27 17 22 28 5 1 17 7 21 5 16 24 7 8 26 16 9 23 8 18 0 9 6 20 18 6 29 12 10 11 3 2 14 19 25 4 4
7 6 10 7 20 28 22 3 8 2 27 5 21 14 18 15 1 16 26 19 4 29 24 9 0 13 17 12 25 8 18 28 4 5 17 16 9 6 23 11
17 28 25 17 15 5 13 22 7 27 29 16 10 21 8 1 12 9 3 26 18 24 11 6 14 0 4 23 19 7 8 5 18 16 4 9 6 28 2 20
13 15 17 25 28 1 17 7 22 28 5 24 7 8 21 5 16 23 8 18 26 16 9 20 18 4 0 9 4 10 3 29 14 12 19 11 2 27 6 6
6 7 20 6 10 8 2 27 28 22 3 18 15 1 5 21 14 4 29 24 16 26 19 17 12 23 9 0 11 28 5 8 16 18 9 4 17 7 13 25
17 28 13 17 27 5 25 10 7 15 1 16 22 3 8 29 24 9 21 14 18 12 23 6 26 19 4 11 0 7 8 5 18 16 4 9 6 28 20 2
26 24 18 14 16 11 18 4 19 16 9 2 4 17 13 9 6 15 17 7 10 6 28 29 7 8 3 28 8 0 25 23 22 20 21 27 1 12 5 5
21 23 8 3 9 2 8 18 14 9 6 15 18 4 19 6 28 29 4 17 13 28 5 12 17 7 10 5 7 26 0 20 25 27 22 1 24 11 16 16
24 26 16 12 18 19 16 9 11 18 4 13 9 6 2 4 17 10 6 28 15 17 7 3 28 5 29 7 5 23 20 0 27 25 1 22 21 14 8 8
22 20 7 10 6 15 7 8 3 6 28 29 8 18 14 28 5 12 18 4 19 5 16 11 4 17 13 16 17 21 26 27 0 1 25 24 23 2 9 9
23 21 9 11 8 14 9 6 2 8 18 19 6 28 15 18 4 13 28 5 29 4 17 10 5 16 12 17 16 20 27 26 1 0 24 25 22 3 7 7
25 27 17 13 28 29 17 7 10 28 5 12 7 8 3 5 16 11 8 18 14 16 9 2 18 4 19 9 4 22 21 1 26 24 0 23 20 15 6 6
20 22 6 2 7 3 6 28 15 7 8 14 28 5 29 8 18 19 5 16 12 18 4 13 16 9 11 4 9 27 1 21 24 26 23 0 25 10 17 17
27 25 28 15 17 10 28 5 29 17 7 3 5 16 12 7 8 14 16 9 11 8 18 19 9 6 2 18 6 1 24 22 23 21 20 26 0 13 4 4
29 19 5 1 4 25 5 16 24 4 17 22 16 9 23 17 7 21 9 6 20 7 8 26 6 28 27 8 28 12 11 13 2 10 15 3 14 0 18 18
28 17 15 28 25 7 27 29 5 13 22 8 1 12 16 10 21 18 24 11 9 3 26 4 23 2 6 14 20 5 16 7 9 8 6 18 4 17 0 19
28 17 27 28 13 7 15 1 5 25 10 8 29 24 16 22 3 18 12 23 9 21 14 4 11 20 6 26 2 5 16 7 9 8 6 18 4 17 19 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 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 3 3 3 3 3 3 3 3
2 2 0 2 2 1 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2
2 2 2 0 2 2 2 1 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 3 2 2 2 2 2 2 2 2 2
2 2 2 2 0 2 2 2 2 1 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 3 2 2 2 2 2 2 2 2
2 2 1 2 2 0 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2
2 2 3 2 2 3 0 2 2 2 2 1 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2
2 2 2 1 2 2 2 0 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 3 2 2 2 2 2 2 2 2 2
2 2 2 3 2 2 2 3 0 2 2 2 2 1 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 3 2 2 2 2 2 2 2 2 2
2 2 2 2 1 2 2 2 2 0 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 3 2 2 2 2 2 2 2 2
2 2 2 2 3 2 2 2 2 3 0 2 2 2 2 1 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 3 2 2 2 2 2 2 2 2
2 2 3 2 2 3 1 2 2 2 2 0 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2
2 2 3 2 2 3 3 2 2 2 2 3 0 2 2 2 2 1 3 2 2 2 2 3 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2
2 2 2 3 2 2 2 3 1 2 2 2 2 0 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 3 2 2 2 2 2 2 2 2 2
2 2 2 3 2 2 2 3 3 2 2 2 2 3 0 2 2 2 2 1 3 2 2 2 2 3 3 2 2 2 3 2 2 2 2 2 2 2 2 2
2 2 2 2 3 2 2 2 2 3 1 2 2 2 2 0 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 3 2 2 2 2 2 2 2 2
2 2 2 2 3 2 2 2 2 3 3 2 2 2 2 3 0 2 2 2 2 1 3 2 2 2 2 3 3 2 2 3 2 2 2 2 2 2 2 2
2 2 3 2 2 3 3 2 2 2 2 3 1 2 2 2 2 0 3 2 2 2 2 3 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2
2 2 3 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 0 2 2 2 2 1 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2
2 2 2 3 2 2 2 3 3 2 2 2 2 3 1 2 2 2 2 0 3 2 2 2 2 3 3 2 2 2 3 2 2 2 2 2 2 2 2 2
2 2 2 3 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 0 2 2 2 2 1 3 2 2 2 3 2 2 2 2 2 2 2 2 2
2 2 2 2 3 2 2 2 2 3 3 2 2 2 2 3 1 2 2 2 2 0 3 2 2 2 2 3 3 2 2 3 2 2 2 2 2 2 2 2
2 2 2 2 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 0 2 2 2 2 1 3 2 2 3 2 2 2 2 2 2 2 2
2 2 3 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 1 2 2 2 2 0 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2
2 2 3 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 0 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2
2 2 2 3 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 1 2 2 2 2 0 3 2 2 2 3 2 2 2 2 2 2 2 2 2
2 2 2 3 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 0 2 2 2 1 2 2 2 2 2 2 2 2 2
2 2 2 2 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 1 2 2 2 2 0 3 2 2 3 2 2 2 2 2 2 2 2
2 2 2 2 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 0 2 2 1 2 2 2 2 2 2 2 2
2 2 3 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 1 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2
2 2 2 3 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 1 2 2 2 0 2 2 2 2 2 2 2 2 2
2 2 2 2 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 1 2 2 0 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 0 1 3 3 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 3 3 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 0 1 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 1 0 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 0 1 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 1 0 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 0 1
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 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 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 3 3 3 3 3 3
2 2 0 2 3 1 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 3 3 2 3 2 2 2 2 2 2
2 2 2 0 2 2 2 3 1 2 2 2 2 2 3 2 2 2 2 2 2 3 2 2 2 2 2 3 3 2 2 2 3 2 2 2 2 2 2 2
2 2 3 2 0 3 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 3 3 2 3 2 2 2 2 2 2
2 2 1 2 3 0 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 3 3 2 3 2 2 2 2 2 2
2 2 2 2 2 2 0 2 2 2 2 3 1 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2
2 2 2 3 2 2 2 0 3 2 2 2 2 2 1 2 2 2 2 2 2 3 2 2 2 2 2 3 3 2 2 2 3 2 2 2 2 2 2 2
2 2 2 1 2 2 2 3 0 2 2 2 2 2 3 2 2 2 2 2 2 3 2 2 2 2 2 3 3 2 2 2 3 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 0 2 2 2 3 2 3 1 2 2 3 3 2 3 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 2 1 3 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 3 3 2 3 2 2 2 2 2 2
2 2 2 2 2 2 3 2 2 2 2 0 3 2 2 2 2 3 1 2 2 2 2 3 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 1 2 2 2 2 3 0 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 3 2 2 2 0 2 3 3 2 2 3 1 2 3 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 3 2 2 2 1 3 2 2 2 2 2 0 2 2 2 2 2 2 3 2 2 2 2 2 3 3 2 2 2 3 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 3 2 2 2 3 2 0 3 2 2 3 3 2 1 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 1 2 2 2 3 2 3 0 2 2 3 3 2 3 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 3 2 2 2 2 3 3 2 2 2 2 0 3 2 2 2 2 3 1 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 3 2 2 2 2 1 3 2 2 2 2 3 0 2 2 2 2 3 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 3 2 2 2 3 2 3 3 2 2 0 3 2 3 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 3 2 2 2 1 2 3 3 2 2 3 0 2 3 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 3 2 2 2 3 3 2 2 2 2 2 3 2 2 2 2 2 2 0 2 2 2 2 2 3 1 2 2 2 3 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 3 2 2 2 3 2 1 3 2 2 3 3 2 0 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 0 3 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 3 2 2 2 2 3 3 2 2 2 2 1 3 2 2 2 2 3 0 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2
2 2 3 2 3 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 3 1 2 3 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 3 2 2 2 3 2 3 3 2 2 1 3 2 3 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 3 2 2 2 3 3 2 2 2 2 2 3 2 2 2 2 2 2 3 2 2 2 2 2 0 3 2 2 2 1 2 2 2 2 2 2 2
2 2 2 3 2 2 2 3 3 2 2 2 2 2 3 2 2 2 2 2 2 1 2 2 2 2 2 3 0 2 2 2 3 2 2 2 2 2 2 2
2 2 2 2 2 2 3 2 2 2 2 3 3 2 2 2 2 3 3 2 2 2 2 1 3 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2
2 2 3 2 3 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 0 3 2 1 2 2 2 2 2 2
2 2 3 2 3 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 3 0 2 3 2 2 2 2 2 2
2 2 2 3 2 2 2 3 3 2 2 2 2 2 3 2 2 2 2 2 2 3 2 2 2 2 2 1 3 2 2 2 0 2 2 2 2 2 2 2
2 2 3 2 3 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 1 3 2 0 2 2 2 2 2 2
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 3 3 3 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 0 3 1 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 0 3 1
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 1 3 0 3
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 1 3 0
closure size: 5
0 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 4 4 4
1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4 2 2 2 2 2 4 4 3
1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4 2 2 2 2 2 3 4 4
1 1 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4 2 2 2 2 2 4 3 4
2 2 2 2 0 2 4 1 2 2 2 2 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 1 4 2 1 2 2 2
2 2 2 2 2 0 2 2 2 4 1 2 2 2 2 2 4 2 2 2 2 2 2 3 2 2 2 2 2 1 4 2 2 2 2 1 2 2 2 2
2 2 2 2 4 2 0 4 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 3 1 2 4 2 2 2
2 2 2 2 1 2 4 0 2 2 2 2 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4 2 2 2 2 2 1 3 2 1 2 2 2
2 2 2 2 2 2 2 2 0 2 2 2 2 4 1 2 2 2 2 3 4 2 2 2 2 1 4 2 2 2 2 2 1 2 2 2 2 2 2 2
2 2 2 2 2 4 2 2 2 0 4 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 3 1 2 2 2 2 4 2 2 2 2
2 2 2 2 2 1 2 2 2 4 0 2 2 2 2 2 4 2 2 2 2 2 2 4 2 2 2 2 2 1 3 2 2 2 2 1 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 3 2 4 1 2 2 1 4 2 4 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 4 2 1 4 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 4 1 2 3 2 2 2
2 2 2 2 2 2 2 2 4 2 2 2 2 0 4 2 2 2 2 1 1 2 2 2 2 3 1 2 2 2 2 2 4 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 1 2 2 2 2 4 0 2 2 2 2 4 4 2 2 2 2 1 3 2 2 2 2 2 1 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 0 2 1 4 2 2 4 1 2 1 2 2 2 4 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 4 2 2 2 1 4 2 2 2 2 2 0 2 2 2 2 2 2 1 2 2 2 2 2 4 1 2 2 2 2 3 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 4 2 2 2 1 2 0 4 2 2 3 1 2 1 2 2 2 4 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 4 2 4 0 2 2 1 3 2 4 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 3 2 2 2 2 1 4 2 2 2 2 0 1 2 2 2 2 4 1 2 2 2 2 2 4 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 4 2 2 2 2 1 4 2 2 2 2 1 0 2 2 2 2 4 1 2 2 2 2 2 3 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 4 2 3 1 2 2 0 4 2 4 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 4 2 2 2 1 2 1 3 2 2 4 0 2 1 2 2 2 4 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 3 2 2 2 1 4 2 2 2 2 2 1 2 2 2 2 2 2 0 2 2 2 2 2 4 1 2 2 2 2 4 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 4 2 2 2 1 2 1 4 2 2 4 1 2 0 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 1 2 2 2 2 3 1 2 2 2 2 4 4 2 2 2 2 0 4 2 2 2 2 2 1 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 4 2 2 2 2 1 3 2 2 2 2 1 1 2 2 2 2 4 0 2 2 2 2 2 4 2 2 2 2 2 2 2
2 2 2 2 3 2 1 4 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 4 1 2 4 2 2 2
2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 4 2 4 1 2 2 1 4 2 3 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 1 2 2 2 3 1 2 2 2 2 2 4 2 2 2 2 2 2 4 2 2 2 2 2 0 4 2 2 2 2 1 2 2 2 2
2 2 2 2 2 4 2 2 2 1 3 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 4 0 2 2 2 2 4 2 2 2 2
3 4 4 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 1 1 1
2 2 2 2 2 2 2 2 1 2 2 2 2 4 1 2 2 2 2 4 3 2 2 2 2 1 4 2 2 2 2 2 0 2 2 2 2 2 2 2
2 2 2 2 1 2 3 1 2 2 2 2 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4 2 2 2 2 2 0 4 2 1 2 2 2
2 2 2 2 4 2 1 3 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 4 0 2 4 2 2 2
2 2 2 2 2 1 2 2 2 4 1 2 2 2 2 2 3 2 2 2 2 2 2 4 2 2 2 2 2 1 4 2 2 2 2 0 2 2 2 2
2 2 2 2 1 2 4 1 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 4 2 2 2 2 2 1 4 2 0 2 2 2
4 4 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 0 1 1
4 4 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 0 1
4 3 4 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 1 0
closure size: 4
0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 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
2 2 0 2 3 1 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 0 2 2 2 3 1 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 2 0 3 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 1 2 3 0 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 0 2 2 2 2 3 1 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 3 2 2 2 0 3 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 1 2 2 2 3 0 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 3 1 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 3 2 1 3 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 3 2 2 2 2 0 3 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 1 2 2 2 2 3 0 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 3 1 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 3 2 2 2 1 3 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 0 3 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 3 0 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 3 1 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 3 2 2 2 2 1 3 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 0 3 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 3 0 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 3 1 2 2 2 2 3 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 1 3 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 0 3 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 3 0 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 3 1 2 2 2 3 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 1 3 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 0 3 2 2 2 2 1 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 3 0 2 2 2 2 3 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 3 1 2 3 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 1 3 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 0 3 2 2 2 1 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 3 0 2 2 2 3 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 1 3 2 2 2 2 0 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 0 3 2 1 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 3 0 2 3 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 1 3 2 2 2 0 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 1 3 2 0 2 2
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1
3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0
back