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