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