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