<> <<>> <> <<>> <> <> <<>> <<>> <> 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 .