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