<> <> <> <<>> <> <<>> <> << >> <<>> <> <> <> <> <> <> <> <> <> << m | t f c >> (0 1 0 0 0 ) 0 0 0 0 0 0 0 0 0 0 | x x x x x x (1 1 0 0 0 ) 0 0 0 0 0 0 0 0 0 0 | x x x x x x (0 1 0 0 0 ) 0 0 0 0 0 0 0 0 0 0 | x x x x x x (1 1 0 0 0 ) 0 0 0 0 0 0 0 0 0 0 | x x x x x x (0 1 0 0 0 ) 0 0 0 0 0 0 0 0 0 0 | x x x x x x (1 1 0 0 0 ) 0 0 0 0 0 0 0 0 0 0 | x x x x x x (0 0 0 0 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 1 (1 0 0 0 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 1 (0 0 0 0 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 1 (1 0 0 0 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 1 (0 0 0 0 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 1 (1 0 0 0 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 1 (0 0 0 0 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 1 (1 0 0 0 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 1 (0 0 0 0 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 1 (1 0 0 0 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 1 (0 0 0 0 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 1 (1 0 0 0 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 1 (0 0 0 0 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 1 (1 0 0 0 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 1 (0 0 0 0 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 1 (1 0 0 0 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 1 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 1 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 1 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 1 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 0 <> (0 1 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x x x x x 0 (1 1 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x x x x x 0 (0 1 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x x x x x 0 (1 1 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x x x x x 0 (0 1 0 1 1 ) 0 0 0 0 0 0 0 0 0 0 | x x x x x 0 (1 1 0 1 1 ) 0 0 0 0 0 0 0 0 0 0 | x x x x x 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | x x x x x 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 x x x x 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 x x x x 0 (0 0 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x x x x x 0 (1 0 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x x x x x 0 (0 0 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x x x x x 0 (1 0 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x x x x x 0 (0 0 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x x x x x 0 (1 0 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x x x x x 0 <<>> <> <> <> <> <> <> <> <> << m | t f c >> <> (0 1 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x x x 0 0 0 (1 1 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x x x 0 0 0 (0 1 0 1 1 ) 0 0 0 0 0 0 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 | x x x 0 0 0 (0 1 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x x x 0 0 0 (1 1 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x x x 0 0 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | x 1 x 0 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | x 1 x 0 0 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 0 0 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 1 x 0 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 1 x 0 0 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 0 0 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 1 x 0 0 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 0 1 x 0 0 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 0 0 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 1 x 0 0 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 0 0 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 1 x 0 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 0 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 1 x 0 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 0 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 1 x 0 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 1 x 0 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 1 x 0 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 1 x 0 0 0 (1 0 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (1 0 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x 1 x 0 0 0 <<>> <> <> <> <> <> <> <> <> <> << m | t f c >> (0 1 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (1 1 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (0 1 0 1 1 ) 0 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (1 1 0 1 1 ) 0 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (0 1 0 1 1 ) 0 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (1 1 0 1 1 ) 0 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (0 0 1 1 0 ) 1 0 0 0 0 0 0 0 0 0 | x 0 x 0 1 0 (1 0 1 1 0 ) 1 0 0 0 0 0 0 0 0 0 | x 0 x 0 1 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | x 0 x 1 0 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | x 0 x 1 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | x 0 x 1 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | x 0 x 1 0 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 1 0 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 1 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 1 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 1 0 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 1 0 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 1 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 1 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 1 0 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 1 0 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 1 0 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 1 0 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 1 0 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 1 0 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 1 0 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 1 0 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 1 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 1 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 1 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 1 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 1 0 0 (0 0 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (1 0 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (0 0 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (1 0 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (0 0 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (1 0 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 <<>> <> <> <> <> <> <> <> <> <> << m | t f c >> (0 1 0 1 1 ) 0 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (1 1 0 1 1 ) 0 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (0 1 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (1 1 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (0 1 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 (1 1 0 1 0 ) 0 0 0 0 0 0 0 0 0 0 | x 0 x 0 0 0 <> (0 0 1 1 0 ) 0 0 1 1 1 1 1 1 0 0 | x 0 x 0 0 0 (0 0 1 1 0 ) 0 0 1 1 1 0 0 0 0 0 | x 0 x 0 0 0 (0 0 1 1 0 ) 0 0 1 1 1 0 0 0 0 0 | x 0 x 0 0 0 (0 0 1 1 0 ) 0 0 1 1 1 0 0 0 0 0 | x 0 x 0 0 0 (0 0 1 1 0 ) 1 0 0 0 0 0 0 0 1 0 | x 0 x 0 0 0 (1 0 1 1 0 ) 1 0 0 0 0 0 0 0 1 0 | x 0 x 0 0 0 <> (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 0 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 0 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 0 0 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 0 0 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 0 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 0 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 (0 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 (1 0 0 1 1 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 0 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 0 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 0 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 0 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 0 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 1 0 x 0 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 (0 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 (1 0 0 1 0 ) 1 0 0 0 0 0 0 0 0 0 | 0 0 x 0 0 0 <<>> .