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