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