[[{'[]': {'[(0, 0)]': ([(0, 1)], 0), '[(0, 1)]': ([], 0)}},
  {'[0]': {'[(0, 0)]': ([(0, 1), (1, 1)], 0),
           '[(0, 1), (1, 1)]': ([], 0),
           '[(0, 1)]': ([], 0)},
   '[1]': {'[(0, 0)]': ([(0, 0)], 1),
           '[(0, 1), (1, 1)]': ([(0, 1)], 1),
           '[(0, 1)]': ([(0, 1)], 1)}},
  {'[0, 0]': {'[(0, 0)]': ([(0, 1), (1, 1)], 0),
              '[(0, 1), (1, 1), (2, 1)]': ([], 0),
              '[(0, 1), (1, 1)]': ([], 0),
              '[(0, 1), (2, 1)]': ([], 0),
              '[(0, 1)]': ([], 0),
              '[t(0, 1), (0, 1), (1, 1), (2, 1)]': ([], 0)},
   '[0, 1]': {'[(0, 0)]': ([t(0, 1), (0, 1), (1, 1), (2, 1)], 0),
              '[(0, 1), (1, 1), (2, 1)]': ([(0, 1)], 2),
              '[(0, 1), (1, 1)]': ([(0, 1)], 2),
              '[(0, 1), (2, 1)]': ([], 0),
              '[(0, 1)]': ([], 0),
              '[t(0, 1), (0, 1), (1, 1), (2, 1)]': ([(0, 1)], 2)},
   '[1, 0]': {'[(0, 0)]': ([(0, 0)], 1),
              '[(0, 1), (1, 1), (2, 1)]': ([(0, 1)], 1),
              '[(0, 1), (1, 1)]': ([(0, 1)], 1),
              '[(0, 1), (2, 1)]': ([(0, 1)], 1),
              '[(0, 1)]': ([(0, 1)], 1),
              '[t(0, 1), (0, 1), (1, 1), (2, 1)]': ([(0, 1), (1, 1)], 1)},
   '[1, 1]': {'[(0, 0)]': ([(0, 0)], 1),
              '[(0, 1), (1, 1), (2, 1)]': ([(0, 1), (1, 1)], 1),
              '[(0, 1), (1, 1)]': ([(0, 1), (1, 1)], 1),
              '[(0, 1), (2, 1)]': ([(0, 1)], 1),
              '[(0, 1)]': ([(0, 1)], 1),
              '[t(0, 1), (0, 1), (1, 1), (2, 1)]': ([(0, 1), (1, 1)], 1)}},
  {'[0, 0, 0]': {'[(0, 0)]': ([(0, 1), (1, 1)], 0),
                 '[(0, 1), (1, 1), (2, 1)]': ([], 0),
                 '[(0, 1), (1, 1)]': ([], 0),
                 '[(0, 1), (2, 1)]': ([], 0),
                 '[(0, 1)]': ([], 0),
                 '[t(0, 1), (0, 1), (1, 1), (2, 1)]': ([], 0)},
   '[0, 0, 1]': {'[(0, 0)]': ([(0, 1), (1, 1)], 0),
                 '[(0, 1), (1, 1), (2, 1)]': ([(0, 1)], 3),
                 '[(0, 1), (1, 1)]': ([], 0),
                 '[(0, 1), (2, 1)]': ([(0, 1)], 3),
                 '[(0, 1)]': ([], 0),
                 '[t(0, 1), (0, 1), (1, 1), (2, 1)]': ([(0, 1)], 3)},
   '[0, 1, 0]': {'[(0, 0)]': ([t(0, 1), (0, 1), (1, 1), (2, 1)], 0),
                 '[(0, 1), (1, 1), (2, 1)]': ([(0, 1)], 2),
                 '[(0, 1), (1, 1)]': ([(0, 1)], 2),
                 '[(0, 1), (2, 1)]': ([], 0),
                 '[(0, 1)]': ([], 0),
                 '[t(0, 1), (0, 1), (1, 1), (2, 1)]': ([(0, 1)], 2)},
   '[0, 1, 1]': {'[(0, 0)]': ([t(0, 1), (0, 1), (1, 1), (2, 1)], 0),
                 '[(0, 1), (1, 1), (2, 1)]': ([(0, 1), (1, 1)], 2),
                 '[(0, 1), (1, 1)]': ([(0, 1)], 2),
                 '[(0, 1), (2, 1)]': ([(0, 1)], 3),
                 '[(0, 1)]': ([], 0),
                 '[t(0, 1), (0, 1), (1, 1), (2, 1)]': ([(0, 1), (1, 1)], 2)},
   '[1, 0, 0]': {'[(0, 0)]': ([(0, 0)], 1),
                 '[(0, 1), (1, 1), (2, 1)]': ([(0, 1)], 1),
                 '[(0, 1), (1, 1)]': ([(0, 1)], 1),
                 '[(0, 1), (2, 1)]': ([(0, 1)], 1),
                 '[(0, 1)]': ([(0, 1)], 1),
                 '[t(0, 1), (0, 1), (1, 1), (2, 1)]': ([(0, 1), (1, 1)], 1)},
   '[1, 0, 1]': {'[(0, 0)]': ([(0, 0)], 1),
                 '[(0, 1), (1, 1), (2, 1)]': ([(0, 1), (2, 1)], 1),
                 '[(0, 1), (1, 1)]': ([(0, 1)], 1),
                 '[(0, 1), (2, 1)]': ([(0, 1), (2, 1)], 1),
                 '[(0, 1)]': ([(0, 1)], 1),
                 '[t(0, 1), (0, 1), (1, 1), (2, 1)]': ([(0, 1),
                                                        (1, 1),
                                                        (2, 1)],
                                                       1)},
   '[1, 1, 0]': {'[(0, 0)]': ([(0, 0)], 1),
                 '[(0, 1), (1, 1), (2, 1)]': ([(0, 1), (1, 1)], 1),
                 '[(0, 1), (1, 1)]': ([(0, 1), (1, 1)], 1),
                 '[(0, 1), (2, 1)]': ([(0, 1)], 1),
                 '[(0, 1)]': ([(0, 1)], 1),
                 '[t(0, 1), (0, 1), (1, 1), (2, 1)]': ([(0, 1), (1, 1)], 1)},
   '[1, 1, 1]': {'[(0, 0)]': ([(0, 0)], 1),
                 '[(0, 1), (1, 1), (2, 1)]': ([(0, 1), (1, 1), (2, 1)], 1),
                 '[(0, 1), (1, 1)]': ([(0, 1), (1, 1)], 1),
                 '[(0, 1), (2, 1)]': ([(0, 1), (2, 1)], 1),
                 '[(0, 1)]': ([(0, 1)], 1),
                 '[t(0, 1), (0, 1), (1, 1), (2, 1)]': ([(0, 1),
                                                        (1, 1),
                                                        (2, 1)],
                                                       1)}}]]