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