0 1 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( x 1 x x x ) ( x x x x x x x x x ) x x x x 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( x 1 x x 0 ) ( x x x x x x x x x ) x x x x 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( x 1 x x 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( x 1 x x 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( x 1 x x 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( x 1 x x 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 0 1 x x 0 ) ( x x x x x x x x x ) 0 x x x 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 1 ) ( x x x x x x 0 0 0 ) 0 x x x 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 1 ) ( x x x x x x 0 0 0 ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 0 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 2 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 0 2 0 1 1 0 1 1 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 1 ) ( x x x x x x 0 0 0 ) 0 x x x 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 1 ) ( x x x x x x 0 0 0 ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 0 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 4 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 0 4 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 0 4 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 0 4 0 1 1 0 1 1 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 1 ) ( x x x x x x 0 0 0 ) 0 x x x 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 1 ) ( x x x x x x 0 0 0 ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 0 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 8 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 0 8 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 0 8 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 0 8 0 1 1 0 1 1 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 1 ) ( x x x x x x 0 0 0 ) 0 x x x 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 1 ) ( x x x x x x 0 0 0 ) 0 x x x 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 ( 0 0 0 0 0 1 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 ( 0 0 0 0 0 1 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 2 0 0 1 0 0 0 0 0 0 0 1 0 1 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 2 2 0 0 1 0 0 0 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 ( 0 0 0 0 1 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 ( 0 0 0 0 1 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 4 0 0 1 0 0 0 0 0 0 0 1 0 1 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 4 4 0 0 1 0 0 0 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 4 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 ( 0 0 0 0 1 1 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 ( 0 0 0 0 1 1 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 8 0 0 1 0 0 0 0 0 0 0 1 0 1 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 8 8 0 0 1 0 0 0 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 8 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 0 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 1 1 0 1 1 0 1 1 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 1 ) ( 0 0 0 0 0 0 0 0 1 ) 0 x x x 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 1 ) ( 0 0 0 0 0 0 0 0 1 ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 0 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 2 0 0 1 0 0 0 1 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 2 2 0 0 1 0 0 0 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 2 2 0 0 1 0 0 0 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 2 2 0 1 1 0 1 1 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 1 ) ( 0 0 0 0 0 1 0 0 1 ) 0 x x x 2 0 0 1 1 0 1 1 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 1 ) ( 0 0 0 0 0 1 0 0 1 ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 0 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 4 0 0 1 0 0 0 1 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 4 4 0 0 1 0 0 0 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 4 4 0 0 1 0 0 0 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 4 4 0 1 1 0 1 1 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 1 ) ( 0 0 0 0 1 0 0 0 1 ) 0 x x x 4 0 0 1 1 0 1 1 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 1 ) ( 0 0 0 0 1 0 0 0 1 ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 0 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 8 0 0 1 0 0 0 1 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 8 8 0 0 1 0 0 0 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 8 8 0 0 1 0 0 0 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 8 8 0 1 1 0 1 1 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 1 ) ( 0 0 0 0 1 1 0 0 1 ) 0 x x x 8 0 0 1 1 0 1 1 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 1 ) ( 0 0 0 0 1 1 0 0 1 ) 0 x x x 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 ( 0 1 1 1 1 1 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 ( 0 1 1 1 1 1 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 8 0 0 1 0 0 0 0 0 0 0 1 0 1 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 8 8 0 0 1 0 0 0 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 8 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 0 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 8 0 0 1 0 0 0 1 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 8 8 0 0 1 0 0 0 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 8 8 0 0 1 0 0 0 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 8 8 0 1 1 0 1 1 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 1 ) ( 0 1 1 1 1 1 0 0 1 ) 0 x x x 8 0 0 1 1 0 1 1 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 1 ) ( 0 1 1 1 1 1 0 0 1 ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 0 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 4 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 0 4 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 0 4 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 0 4 0 1 1 0 1 1 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 1 ) ( 0 0 0 1 1 1 0 0 1 ) 0 x x x 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 1 ) ( 0 0 0 1 1 1 0 0 1 ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 0 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 8 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 0 8 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 0 8 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 0 8 0 1 1 0 1 1 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 1 ) ( 0 1 1 1 1 1 0 0 1 ) 0 x x x 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 1 ) ( 0 1 1 1 1 1 0 0 1 ) 0 x x x 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 1 x x x 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 1 1 1 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 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 ( 0 0 0 0 0 1 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 ( 0 0 0 0 0 1 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 1 x x x 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 1 2 2 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 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 2 2 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 2 2 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 ( 0 0 0 0 1 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 ( 0 0 0 0 1 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 1 x x x 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 1 4 4 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 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 4 4 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 4 4 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 ( 0 1 1 1 1 1 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 ( 0 1 1 1 1 1 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 1 x x x 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 1 8 8 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 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 8 8 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 8 8 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 ( 0 1 1 1 1 1 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 ( 0 1 1 1 1 1 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 1 x x x 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 1 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 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 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 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 ( 0 1 1 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 ( 0 1 1 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 4 0 0 1 0 0 0 0 0 0 0 1 0 1 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 4 4 0 0 1 0 0 0 0 0 0 0 1 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 4 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 ( 0 1 1 1 1 1 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 ( 0 1 1 1 1 1 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 1 x x x 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 1 C C 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 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 C C 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 C C 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 0 1 1 0 0 ) ( x x x x x x x x x ) 0 x x x 0 C 0 0 1 0 0 0 1 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 0 C 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 0 C 0 0 1 0 0 0 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 0 ) ( x x x x x x x x x ) 0 x x x 0 C 0 1 1 0 1 1 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 0 1 1 ) ( 0 1 1 1 1 1 0 0 1 ) 0 x x x 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 ( 0 0 0 0 0 0 0 0 0 ) | ( 1 1 1 0 1 ) ( 0 1 1 1 1 1 0 0 1 ) 0 x x x 0 . RCam.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: CamSelect Reset AVM AVct xCSCmd1 PCtlDrABusRB PCtlDrABusRP xRdRCam xPartRMch xDrRCamBL xLdRCabWR xEnCamSelExt BCycle1 RPValidIn RAdrsIn | RCamlfcCtlForFlags RAdrsOut QStage1 LRM1ForVCam LRM1 ARM CamSelExt Do a Reset and wait for x's to get flushed out of the control part: Check that all the RPValid bits got cleared by the Reset: Line 0 Line 1 Line 2 Line 3 For each line write the number of that line and check that it got written; we need to do all the writes before any of the reads to avoid putting Rosemary into an infinite loop: Line 0: Write Line 1: Write Line 2: Write Line 3: Write Line 0: Read Line 1: Read Line 2: Read Line 3: Read Line 3 Write all ones Line 3 Read Read Line 2 and Line 3 with EnCamSelExt = 0 to check that the page part alone can be read (the block and valid bits should read as 1 since the bit lines are precharged to 1) Line 2 Read Line 3 Read Check Match circuitry (simultaneously check timing of QStage1): Check that RAdrsin = 0 causes line 0 to match. (remember RPValid = 0 to match ) Check that Line 1 matches Check that Line 2 matches Check that Line 3 matches Check that RPValidin = 1 dosen't match Write ( 0 1 1 0 0 0 0 0 0 ) to line 2 and then check multiple matches Check that lines 2 and 3 match when partial match is enabled Check that we can read from more than one line when the page part has the same value The block part will read as 1 1 1 (xEnCamSelExt should be disabled ) J:JJ,JJJJJJJCJbJbJJbJbJJ9JJbJbJJbJbJJbJbJJbJbJJJbJbJJbJbJJbJbJJbJbJJcommenttrueJbJbJJbJbJJbJbJJbJbJJJbJbJJbJbJJbJbJJbJbJJJ JbJbJJbJcJJbJbJJ JbJbJJbJbJJbJbJJ JbJbJJbJbJJbJbJJ JbJbJJbJbJJbJbJJ JbJbJJbJbJJbJbJJbJbJJJ JbJbJJbJbJJbJbJJbJbJJ JbJbJJbJbJJbJbJJbJbJJ JbJbJJbJbJJbJbJJbJbJJJbJbJJbJbJJbJbJJ JbJbJJbJbJJbJbJJbJbJJJJ JbJbJJbJbJJbJbJJbJbJJ JbJbJJbJbJJbJbJJbJbJJ?JOJbJbJJbJcJJbJbJJJbJbJJbJbJJbJbJJJbJbJJbJbJJbJbJJJbJbJJbJbJJbJbJJ&JbJbJJbJbJJbJbJJFJbJbJJbJbJJbJbJJ