0 1 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 1 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 1 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 1 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 1 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 1 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 1 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 1 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( x x x x x x 0 0 0 ) x 0 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( x x x x x x 0 0 0 ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 2 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 2 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 2 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 2 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( x x x x x x 0 0 0 ) x 0 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( x x x x x x 0 0 0 ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 4 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 4 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 4 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 4 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( x x x x x x 0 0 0 ) x 0 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( x x x x x x 0 0 0 ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 8 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 8 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 8 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 8 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( x x x x x x 0 0 0 ) x 0 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( x x x x x x 0 0 0 ) x 0 0 0 0 0 0 0 1 0 ( 0 0 0 0 0 0 0 0 0 ) 1 0 1 0 | x ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 0 0 1 0 ( 0 0 0 0 0 0 0 0 0 ) 1 0 1 0 | x ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 1 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 1 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 1 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 1 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 0 0 1 0 ( 0 0 0 0 0 1 0 0 0 ) 1 0 1 0 | x ( 0 0 0 0 0 1 0 0 0 ) x 0 0 0 0 0 0 0 1 0 ( 0 0 0 0 0 1 0 0 0 ) 1 0 1 0 | x ( 0 0 0 0 0 1 0 0 0 ) x 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 1 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 2 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 1 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 2 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 0 0 1 0 ( 0 0 0 0 1 0 0 0 0 ) 1 0 1 0 | x ( 0 0 0 0 1 0 0 0 0 ) x 0 0 0 0 0 0 0 1 0 ( 0 0 0 0 1 0 0 0 0 ) 1 0 1 0 | x ( 0 0 0 0 1 0 0 0 0 ) x 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 1 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 4 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 1 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 4 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 0 0 1 0 ( 0 0 0 1 1 0 0 0 0 ) 1 0 1 0 | x ( 0 0 0 1 1 0 0 0 0 ) x 0 0 0 0 0 0 0 1 0 ( 0 0 0 1 1 0 0 0 0 ) 1 0 1 0 | x ( 0 0 0 1 1 0 0 0 0 ) x 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 1 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 8 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 1 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 8 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 1 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 1 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 1 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 1 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( 0 0 0 0 0 0 0 0 1 ) x 0 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( 0 0 0 0 0 0 0 0 1 ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 2 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 2 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 2 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 2 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( 0 0 0 0 0 1 0 0 1 ) x 0 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( 0 0 0 0 0 1 0 0 1 ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 4 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 4 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 4 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 4 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( 0 0 0 0 1 0 0 0 1 ) x 0 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( 0 0 0 0 1 0 0 0 1 ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 8 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 8 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 8 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 8 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( 0 0 0 1 1 0 0 0 1 ) x 0 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( 0 0 0 1 1 0 0 0 1 ) x 0 0 0 0 0 0 0 1 0 ( 0 1 1 1 1 1 0 0 0 ) 1 0 1 0 | x ( 0 1 1 1 1 1 0 0 0 ) x 0 0 0 0 0 0 0 1 0 ( 0 1 1 1 1 1 0 0 0 ) 1 0 1 0 | x ( 0 1 1 1 1 1 0 0 0 ) x 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 1 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 8 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 1 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 8 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 8 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 8 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 8 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 8 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( 0 1 1 1 1 1 0 0 1 ) x 0 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( 0 1 1 1 1 1 0 0 1 ) x 0 0 0 0 0 0 0 1 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | x ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 0 0 1 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | x ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) 1 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) 1 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) 1 0 0 0 0 0 0 0 1 0 ( 0 0 0 0 0 1 0 0 0 ) 0 0 1 0 | x ( 0 0 0 0 0 1 0 0 0 ) x 0 0 0 0 0 0 0 1 0 ( 0 0 0 0 0 1 0 0 0 ) 0 0 1 0 | x ( 0 0 0 0 0 1 0 0 0 ) x 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) 2 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) 2 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) 2 0 0 0 0 0 0 0 1 0 ( 0 0 0 0 1 0 0 0 0 ) 0 0 1 0 | x ( 0 0 0 0 1 0 0 0 0 ) x 0 0 0 0 0 0 0 1 0 ( 0 0 0 0 1 0 0 0 0 ) 0 0 1 0 | x ( 0 0 0 0 1 0 0 0 0 ) x 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) 4 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) 4 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) 4 0 0 0 0 0 0 0 1 0 ( 0 1 1 1 1 1 0 0 0 ) 0 0 1 0 | x ( 0 1 1 1 1 1 0 0 0 ) x 0 0 0 0 0 0 0 1 0 ( 0 1 1 1 1 1 0 0 0 ) 0 0 1 0 | x ( 0 1 1 1 1 1 0 0 0 ) x 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) 8 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) 8 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) 8 0 0 0 0 0 0 0 1 0 ( 0 1 1 1 1 1 0 0 0 ) 1 0 1 0 | x ( 0 1 1 1 1 1 0 0 0 ) x 0 0 0 0 0 0 0 1 0 ( 0 1 1 1 1 1 0 0 0 ) 1 0 1 0 | x ( 0 1 1 1 1 1 0 0 0 ) x 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 1 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 1 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) 0 0 0 0 0 0 0 0 1 0 ( 0 1 1 0 0 0 0 0 0 ) 1 0 1 0 | x ( 0 1 1 0 0 0 0 0 0 ) x 0 0 0 0 0 0 0 1 0 ( 0 1 1 0 0 0 0 0 0 ) 1 0 1 0 | x ( 0 1 1 0 0 0 0 0 0 ) x 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 1 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 4 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 1 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 4 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 0 1 1 0 ( 0 1 1 1 1 1 0 0 0 ) 0 0 1 0 | x ( 0 1 1 1 1 1 0 0 0 ) x 0 0 0 0 0 0 1 1 0 ( 0 1 1 1 1 1 0 0 0 ) 0 0 1 0 | x ( 0 1 1 1 1 1 0 0 0 ) x 0 0 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) C 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) C 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 1 ( 0 0 0 0 0 0 0 0 0 ) C 0 0 0 0 0 0 0 0 1 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 0 ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 0 0 0 1 ( 0 0 0 0 0 0 0 0 0 ) 0 0 1 0 | 0 ( 0 0 0 0 0 0 0 0 0 ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 1 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 1 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 1 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 1 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( 0 0 0 0 0 0 0 0 1 ) x 0 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( 0 0 0 0 0 0 0 0 1 ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 2 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 2 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 2 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 2 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( 0 0 0 0 0 1 0 0 0 ) x 0 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( 0 0 0 0 0 1 0 0 0 ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 4 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 4 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 4 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 4 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( 0 1 1 0 0 0 0 0 0 ) x 0 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( 0 1 1 0 0 0 0 0 0 ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 0 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 8 0 0 0 0 1 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 8 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 8 0 0 0 0 0 0 0 0 ( x x x x x x x x x ) 0 0 1 0 | x ( x x x x x x x x x ) x 8 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( 0 1 1 1 1 1 0 0 1 ) x 0 0 0 1 1 0 0 0 0 ( x x x x x x x x x ) 0 1 1 0 | x ( 0 1 1 1 1 1 0 0 1 ) x . VCam.oracle Paraminder Sahai July 21, 1987 11:01:32 am PDT TEST COMPLETED July 21, 1987 11:02:08 am PDT Note that clock supplied to circuit is half the speed of the oracle clock, so that one "cycle" corresponds to two lines in this file. The Signal Order is: CamSelectExt Reset CSCmd1 PCtlDrABusVB PCtlDrABusVP xRdVCam PCtlPartVMch xWtMchVCam DeMapRply1 VAdrsInOut VPValidIn AVM AVct ClampMatch | DrBitLinesVCam VAdrsInOut VMatch Do a Reset and wait for x's to get flushed out of the control part: Check that all the VPValid bits got cleared by the Reset Line 0 LIne 1 Line 2 Line 3 For each line write the number of the line and check that it got written Line 0: Write Line 1 Line 2 Line 3 Line 0: Read. Line 1: Read Line 2: Read Line 3: Read Line 3: Write all ones Line 3: Read Check Match circuitry (remember VPValid = 0 to match) Check that ( 0 0 0 0 0 0 0 0 0) causes line 0 to match Check that ( 0 0 0 0 0 1 0 0 0 ) causes line 1 to match Check that ( 0 0 0 0 1 0 0 0 0 ) causes line 2 to match Check that ( 0 1 1 1 1 1 0 0 0 ) causes line 3 to match Check that VPValid = 1 dosen't match Write ( 0 1 1 0 0 0 0 0 0 ) to line 2 and check multiple matches Check that lines 2 and 3 match when partial match is enabled Check that clearing VPValid works (only lines 1 and 2 should be cleared since only these lines have altmatch high) Line 0: Read. Line 1: Read Line 2: Read Line 3: Read J:JJ,JJJJJJJCJKJLJJLJMJJJ8JJLJLJJLJLJJLJLJJLJLJJJJLJLJJLJLJJLJLJJLJKJJJLJLJJLJLJJLJLJJLJKJJJLJLJJLJLJJLJLJJLJKJJHJ JKJKJJKJKJJKJKJJJKJKJJKJKJJKJKJJJKJKJJKJKJJKJKJJJKJKJJKJKJJKJKJJ JLJLJJLJLJJLJLJJJLJLJJJLJMJLJLJJLJLJJLJKJJJLJMJLJKJJLJLJJLJKJJJLJMJLJKJJLJLJJLJKJJJKJKJJKJKJJKJKJJJLJMJLJKJJLJLJJLJKJJ5J6JKJKJJKJKJJKJKJJ7JKJKJJKJKJJKJKJJ7JKJKJJKJKJJKJKJJ7JKJKJJKJKJJKJKJJ$JKJKJJKJKJJKJKJJ@JKJKJJKJKJJKJKJJ