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