2 closure size: 22 0 1 5 8 9 6 2 7 3 4 12 13 10 11 16 17 14 19 18 15 21 20 2 0 1 5 17 9 6 10 4 14 16 12 3 19 8 13 11 21 20 7 18 15 6 2 0 1 13 17 9 3 14 11 8 16 4 21 5 12 19 18 15 10 20 7 9 6 2 0 12 13 17 4 11 19 5 8 14 18 1 16 21 20 7 3 15 10 8 16 12 13 0 1 5 18 15 7 9 6 20 3 17 2 10 4 11 21 14 19 5 8 16 12 2 0 1 20 7 10 17 9 15 4 13 6 3 14 19 18 11 21 1 5 8 16 6 2 0 15 10 3 13 17 7 14 12 9 4 11 21 20 19 18 7 10 3 4 18 20 15 0 5 8 11 19 1 12 14 21 16 13 9 2 17 6 3 4 14 11 15 7 10 6 0 1 21 18 2 8 19 20 5 16 13 9 12 17 4 14 11 19 7 10 3 9 2 0 18 20 6 5 21 15 1 8 12 17 16 13 13 17 9 6 8 16 12 11 21 18 0 1 19 15 2 5 20 7 3 14 10 4 12 13 17 9 5 8 16 19 18 20 2 0 21 7 6 1 15 10 4 11 3 14 10 3 4 14 20 15 7 2 1 5 19 21 0 16 11 18 8 12 17 6 13 9 11 19 21 18 3 4 14 13 9 6 15 7 17 0 20 10 2 1 8 12 5 16 17 9 6 2 16 12 13 14 19 21 1 5 11 20 0 8 18 15 10 4 7 3 16 12 13 17 1 5 8 21 20 15 6 2 18 10 9 0 7 3 14 19 4 11 14 11 19 21 10 3 4 17 6 2 20 15 9 1 18 7 0 5 16 13 8 12 19 21 18 20 4 14 11 12 17 9 7 10 13 2 15 3 6 0 5 16 1 8 18 20 15 7 11 19 21 8 12 13 3 4 16 9 10 14 17 6 0 5 2 1 15 7 10 3 21 18 20 1 8 16 14 11 5 13 4 19 12 17 6 0 9 2 21 18 20 15 14 11 19 16 13 17 10 3 12 6 7 4 9 2 1 8 0 5 20 15 7 10 19 21 18 5 16 12 4 14 8 17 3 11 13 9 2 1 6 0 closure size: 4 0 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 3 3 3 1 0 1 1 1 1 1 1 1 1 1 2 2 3 2 3 3 2 2 3 3 2 1 1 0 1 1 1 1 1 1 1 1 2 3 2 3 2 3 2 3 3 2 2 1 1 1 0 1 1 1 1 1 1 1 3 2 2 2 3 3 3 3 2 2 2 1 1 1 1 0 1 1 1 1 1 1 2 2 3 3 3 2 2 3 2 2 3 1 1 1 1 1 0 1 1 1 1 1 2 3 2 3 3 2 3 2 2 3 2 1 1 1 1 1 1 0 1 1 1 1 3 2 3 3 2 2 3 2 3 2 2 1 1 1 1 1 1 1 0 1 1 1 2 3 3 2 2 3 3 2 2 2 3 1 1 1 1 1 1 1 1 0 1 1 3 3 3 2 2 2 2 3 2 3 2 1 1 1 1 1 1 1 1 1 0 1 3 3 2 2 3 2 2 2 3 2 3 1 1 1 1 1 1 1 1 1 1 0 3 2 2 3 2 3 2 2 2 3 3 2 2 2 3 2 2 3 2 3 3 3 0 1 1 1 1 1 1 1 1 1 1 2 2 3 2 2 3 2 3 3 3 2 1 0 1 1 1 1 1 1 1 1 1 2 3 2 2 3 2 3 3 3 2 2 1 1 0 1 1 1 1 1 1 1 1 2 2 3 2 3 3 3 2 2 2 3 1 1 1 0 1 1 1 1 1 1 1 2 3 2 3 3 3 2 2 2 3 2 1 1 1 1 0 1 1 1 1 1 1 2 3 3 3 2 2 2 3 2 2 3 1 1 1 1 1 0 1 1 1 1 1 3 2 2 3 2 3 3 3 2 2 2 1 1 1 1 1 1 0 1 1 1 1 3 2 3 3 3 2 2 2 3 2 2 1 1 1 1 1 1 1 0 1 1 1 3 3 3 2 2 2 3 2 2 3 2 1 1 1 1 1 1 1 1 0 1 1 3 3 2 2 2 3 2 2 3 2 3 1 1 1 1 1 1 1 1 1 0 1 3 2 2 2 3 2 2 3 2 3 3 1 1 1 1 1 1 1 1 1 1 0