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