# # the cellular automata # # CA {states = mkSet "+-ABCXYZabcq", frame_state = 'q', # neighbourhood = [-1, 0, 1], # delta = [("+++", '+'), ("++-", '-'), ("++A", '+'), # ("++B", '+'), ("++C", '+'), ("++X", 'X'), ("++Y", 'Y'), # ("++Z", 'Z'), ("++a", '+'), ("++b", '+'), ("++c", '+'), # ("++q", '+'), ("+-+", '-'), ("+--", '-'), ("+-A", '-'), # ("+-B", '-'), ("+-C", '-'), ("+-X", '-'), ("+-Y", '-'), # ("+-Z", '-'), ...many more]} # # was compiled to CELLANG via the mapping # # ('q',0) # ('+',1) # ('-',2) # ('A',3) # ('B',4) # ('C',5) # ('X',6) # ('Y',7) # ('Z',8) # ('a',9) # ('b',10) # ('c',11) # 1 dimensions of 0..11 cell := 3 when ( ( [-1] = 0 & [0] = 3 & [1] = 0 ) | ( [-1] = 0 & [0] = 3 & [1] = 3 ) | ( [-1] = 0 & [0] = 3 & [1] = 4 ) | ( [-1] = 0 & [0] = 3 & [1] = 5 ) | ( [-1] = 0 & [0] = 9 & [1] = 1 ) | ( [-1] = 0 & [0] = 9 & [1] = 3 ) | ( [-1] = 0 & [0] = 9 & [1] = 4 ) | ( [-1] = 0 & [0] = 9 & [1] = 5 ) | ( [-1] = 0 & [0] = 9 & [1] = 6 ) | ( [-1] = 0 & [0] = 9 & [1] = 7 ) | ( [-1] = 0 & [0] = 9 & [1] = 8 ) | ( [-1] = 0 & [0] = 9 & [1] = 9 ) | ( [-1] = 0 & [0] = 9 & [1] = 10 ) | ( [-1] = 0 & [0] = 9 & [1] = 11 ) | ( [-1] = 1 & [0] = 3 & [1] = 0 ) | ( [-1] = 1 & [0] = 3 & [1] = 3 ) | ( [-1] = 1 & [0] = 3 & [1] = 4 ) | ( [-1] = 1 & [0] = 3 & [1] = 5 ) | ( [-1] = 3 & [0] = 1 & [1] = 1 ) | ( [-1] = 3 & [0] = 1 & [1] = 3 ) | ( [-1] = 3 & [0] = 1 & [1] = 4 ) | ( [-1] = 3 & [0] = 1 & [1] = 5 ) | ( [-1] = 3 & [0] = 3 & [1] = 0 ) | ( [-1] = 3 & [0] = 3 & [1] = 3 ) | ( [-1] = 3 & [0] = 3 & [1] = 4 ) | ( [-1] = 3 & [0] = 3 & [1] = 5 ) | ( [-1] = 3 & [0] = 9 & [1] = 1 ) | ( [-1] = 3 & [0] = 9 & [1] = 3 ) | ( [-1] = 3 & [0] = 9 & [1] = 4 ) | ( [-1] = 3 & [0] = 9 & [1] = 5 ) | ( [-1] = 3 & [0] = 9 & [1] = 9 ) | ( [-1] = 3 & [0] = 9 & [1] = 10 ) | ( [-1] = 3 & [0] = 9 & [1] = 11 ) | ( [-1] = 3 & [0] = 10 & [1] = 1 ) | ( [-1] = 3 & [0] = 10 & [1] = 3 ) | ( [-1] = 3 & [0] = 10 & [1] = 4 ) | ( [-1] = 3 & [0] = 10 & [1] = 5 ) | ( [-1] = 3 & [0] = 10 & [1] = 9 ) | ( [-1] = 3 & [0] = 10 & [1] = 10 ) | ( [-1] = 3 & [0] = 10 & [1] = 11 ) | ( [-1] = 3 & [0] = 11 & [1] = 1 ) | ( [-1] = 3 & [0] = 11 & [1] = 3 ) | ( [-1] = 3 & [0] = 11 & [1] = 4 ) | ( [-1] = 3 & [0] = 11 & [1] = 5 ) | ( [-1] = 3 & [0] = 11 & [1] = 9 ) | ( [-1] = 3 & [0] = 11 & [1] = 10 ) | ( [-1] = 3 & [0] = 11 & [1] = 11 ) | ( [-1] = 4 & [0] = 3 & [1] = 0 ) | ( [-1] = 4 & [0] = 3 & [1] = 3 ) | ( [-1] = 4 & [0] = 3 & [1] = 4 ) | ( [-1] = 4 & [0] = 3 & [1] = 5 ) | ( [-1] = 5 & [0] = 3 & [1] = 0 ) | ( [-1] = 5 & [0] = 3 & [1] = 3 ) | ( [-1] = 5 & [0] = 3 & [1] = 4 ) | ( [-1] = 5 & [0] = 3 & [1] = 5 ) | ( [-1] = 6 & [0] = 3 & [1] = 0 ) | ( [-1] = 6 & [0] = 3 & [1] = 3 ) | ( [-1] = 6 & [0] = 3 & [1] = 4 ) | ( [-1] = 6 & [0] = 3 & [1] = 5 ) | ( [-1] = 7 & [0] = 3 & [1] = 0 ) | ( [-1] = 7 & [0] = 3 & [1] = 3 ) | ( [-1] = 7 & [0] = 3 & [1] = 4 ) | ( [-1] = 7 & [0] = 3 & [1] = 5 ) | ( [-1] = 8 & [0] = 3 & [1] = 0 ) | ( [-1] = 8 & [0] = 3 & [1] = 3 ) | ( [-1] = 8 & [0] = 3 & [1] = 4 ) | ( [-1] = 8 & [0] = 3 & [1] = 5 ) | ( [-1] = 9 & [0] = 3 & [1] = 0 ) | ( [-1] = 9 & [0] = 3 & [1] = 3 ) | ( [-1] = 9 & [0] = 3 & [1] = 4 ) | ( [-1] = 9 & [0] = 3 & [1] = 5 ) | ( [-1] = 10 & [0] = 3 & [1] = 0 ) | ( [-1] = 10 & [0] = 3 & [1] = 3 ) | ( [-1] = 10 & [0] = 3 & [1] = 4 ) | ( [-1] = 10 & [0] = 3 & [1] = 5 ) | ( [-1] = 11 & [0] = 3 & [1] = 0 ) | ( [-1] = 11 & [0] = 3 & [1] = 3 ) | ( [-1] = 11 & [0] = 3 & [1] = 4 ) | ( [-1] = 11 & [0] = 3 & [1] = 5 ) ) := 4 when ( ( [-1] = 0 & [0] = 4 & [1] = 0 ) | ( [-1] = 0 & [0] = 4 & [1] = 3 ) | ( [-1] = 0 & [0] = 4 & [1] = 4 ) | ( [-1] = 0 & [0] = 4 & [1] = 5 ) | ( [-1] = 0 & [0] = 10 & [1] = 1 ) | ( [-1] = 0 & [0] = 10 & [1] = 3 ) | ( [-1] = 0 & [0] = 10 & [1] = 4 ) | ( [-1] = 0 & [0] = 10 & [1] = 5 ) | ( [-1] = 0 & [0] = 10 & [1] = 6 ) | ( [-1] = 0 & [0] = 10 & [1] = 7 ) | ( [-1] = 0 & [0] = 10 & [1] = 8 ) | ( [-1] = 0 & [0] = 10 & [1] = 9 ) | ( [-1] = 0 & [0] = 10 & [1] = 10 ) | ( [-1] = 0 & [0] = 10 & [1] = 11 ) | ( [-1] = 1 & [0] = 4 & [1] = 0 ) | ( [-1] = 1 & [0] = 4 & [1] = 3 ) | ( [-1] = 1 & [0] = 4 & [1] = 4 ) | ( [-1] = 1 & [0] = 4 & [1] = 5 ) | ( [-1] = 3 & [0] = 4 & [1] = 0 ) | ( [-1] = 3 & [0] = 4 & [1] = 3 ) | ( [-1] = 3 & [0] = 4 & [1] = 4 ) | ( [-1] = 3 & [0] = 4 & [1] = 5 ) | ( [-1] = 4 & [0] = 1 & [1] = 1 ) | ( [-1] = 4 & [0] = 1 & [1] = 3 ) | ( [-1] = 4 & [0] = 1 & [1] = 4 ) | ( [-1] = 4 & [0] = 1 & [1] = 5 ) | ( [-1] = 4 & [0] = 4 & [1] = 0 ) | ( [-1] = 4 & [0] = 4 & [1] = 3 ) | ( [-1] = 4 & [0] = 4 & [1] = 4 ) | ( [-1] = 4 & [0] = 4 & [1] = 5 ) | ( [-1] = 4 & [0] = 9 & [1] = 1 ) | ( [-1] = 4 & [0] = 9 & [1] = 3 ) | ( [-1] = 4 & [0] = 9 & [1] = 4 ) | ( [-1] = 4 & [0] = 9 & [1] = 5 ) | ( [-1] = 4 & [0] = 9 & [1] = 9 ) | ( [-1] = 4 & [0] = 9 & [1] = 10 ) | ( [-1] = 4 & [0] = 9 & [1] = 11 ) | ( [-1] = 4 & [0] = 10 & [1] = 1 ) | ( [-1] = 4 & [0] = 10 & [1] = 3 ) | ( [-1] = 4 & [0] = 10 & [1] = 4 ) | ( [-1] = 4 & [0] = 10 & [1] = 5 ) | ( [-1] = 4 & [0] = 10 & [1] = 9 ) | ( [-1] = 4 & [0] = 10 & [1] = 10 ) | ( [-1] = 4 & [0] = 10 & [1] = 11 ) | ( [-1] = 4 & [0] = 11 & [1] = 1 ) | ( [-1] = 4 & [0] = 11 & [1] = 3 ) | ( [-1] = 4 & [0] = 11 & [1] = 4 ) | ( [-1] = 4 & [0] = 11 & [1] = 5 ) | ( [-1] = 4 & [0] = 11 & [1] = 9 ) | ( [-1] = 4 & [0] = 11 & [1] = 10 ) | ( [-1] = 4 & [0] = 11 & [1] = 11 ) | ( [-1] = 5 & [0] = 4 & [1] = 0 ) | ( [-1] = 5 & [0] = 4 & [1] = 3 ) | ( [-1] = 5 & [0] = 4 & [1] = 4 ) | ( [-1] = 5 & [0] = 4 & [1] = 5 ) | ( [-1] = 6 & [0] = 4 & [1] = 0 ) | ( [-1] = 6 & [0] = 4 & [1] = 3 ) | ( [-1] = 6 & [0] = 4 & [1] = 4 ) | ( [-1] = 6 & [0] = 4 & [1] = 5 ) | ( [-1] = 7 & [0] = 4 & [1] = 0 ) | ( [-1] = 7 & [0] = 4 & [1] = 3 ) | ( [-1] = 7 & [0] = 4 & [1] = 4 ) | ( [-1] = 7 & [0] = 4 & [1] = 5 ) | ( [-1] = 8 & [0] = 4 & [1] = 0 ) | ( [-1] = 8 & [0] = 4 & [1] = 3 ) | ( [-1] = 8 & [0] = 4 & [1] = 4 ) | ( [-1] = 8 & [0] = 4 & [1] = 5 ) | ( [-1] = 9 & [0] = 4 & [1] = 0 ) | ( [-1] = 9 & [0] = 4 & [1] = 3 ) | ( [-1] = 9 & [0] = 4 & [1] = 4 ) | ( [-1] = 9 & [0] = 4 & [1] = 5 ) | ( [-1] = 10 & [0] = 4 & [1] = 0 ) | ( [-1] = 10 & [0] = 4 & [1] = 3 ) | ( [-1] = 10 & [0] = 4 & [1] = 4 ) | ( [-1] = 10 & [0] = 4 & [1] = 5 ) | ( [-1] = 11 & [0] = 4 & [1] = 0 ) | ( [-1] = 11 & [0] = 4 & [1] = 3 ) | ( [-1] = 11 & [0] = 4 & [1] = 4 ) | ( [-1] = 11 & [0] = 4 & [1] = 5 ) ) := 5 when ( ( [-1] = 0 & [0] = 5 & [1] = 0 ) | ( [-1] = 0 & [0] = 5 & [1] = 3 ) | ( [-1] = 0 & [0] = 5 & [1] = 4 ) | ( [-1] = 0 & [0] = 5 & [1] = 5 ) | ( [-1] = 0 & [0] = 11 & [1] = 1 ) | ( [-1] = 0 & [0] = 11 & [1] = 3 ) | ( [-1] = 0 & [0] = 11 & [1] = 4 ) | ( [-1] = 0 & [0] = 11 & [1] = 5 ) | ( [-1] = 0 & [0] = 11 & [1] = 6 ) | ( [-1] = 0 & [0] = 11 & [1] = 7 ) | ( [-1] = 0 & [0] = 11 & [1] = 8 ) | ( [-1] = 0 & [0] = 11 & [1] = 9 ) | ( [-1] = 0 & [0] = 11 & [1] = 10 ) | ( [-1] = 0 & [0] = 11 & [1] = 11 ) | ( [-1] = 1 & [0] = 5 & [1] = 0 ) | ( [-1] = 1 & [0] = 5 & [1] = 3 ) | ( [-1] = 1 & [0] = 5 & [1] = 4 ) | ( [-1] = 1 & [0] = 5 & [1] = 5 ) | ( [-1] = 3 & [0] = 5 & [1] = 0 ) | ( [-1] = 3 & [0] = 5 & [1] = 3 ) | ( [-1] = 3 & [0] = 5 & [1] = 4 ) | ( [-1] = 3 & [0] = 5 & [1] = 5 ) | ( [-1] = 4 & [0] = 5 & [1] = 0 ) | ( [-1] = 4 & [0] = 5 & [1] = 3 ) | ( [-1] = 4 & [0] = 5 & [1] = 4 ) | ( [-1] = 4 & [0] = 5 & [1] = 5 ) | ( [-1] = 5 & [0] = 1 & [1] = 1 ) | ( [-1] = 5 & [0] = 1 & [1] = 3 ) | ( [-1] = 5 & [0] = 1 & [1] = 4 ) | ( [-1] = 5 & [0] = 1 & [1] = 5 ) | ( [-1] = 5 & [0] = 5 & [1] = 0 ) | ( [-1] = 5 & [0] = 5 & [1] = 3 ) | ( [-1] = 5 & [0] = 5 & [1] = 4 ) | ( [-1] = 5 & [0] = 5 & [1] = 5 ) | ( [-1] = 5 & [0] = 9 & [1] = 1 ) | ( [-1] = 5 & [0] = 9 & [1] = 3 ) | ( [-1] = 5 & [0] = 9 & [1] = 4 ) | ( [-1] = 5 & [0] = 9 & [1] = 5 ) | ( [-1] = 5 & [0] = 9 & [1] = 9 ) | ( [-1] = 5 & [0] = 9 & [1] = 10 ) | ( [-1] = 5 & [0] = 9 & [1] = 11 ) | ( [-1] = 5 & [0] = 10 & [1] = 1 ) | ( [-1] = 5 & [0] = 10 & [1] = 3 ) | ( [-1] = 5 & [0] = 10 & [1] = 4 ) | ( [-1] = 5 & [0] = 10 & [1] = 5 ) | ( [-1] = 5 & [0] = 10 & [1] = 9 ) | ( [-1] = 5 & [0] = 10 & [1] = 10 ) | ( [-1] = 5 & [0] = 10 & [1] = 11 ) | ( [-1] = 5 & [0] = 11 & [1] = 1 ) | ( [-1] = 5 & [0] = 11 & [1] = 3 ) | ( [-1] = 5 & [0] = 11 & [1] = 4 ) | ( [-1] = 5 & [0] = 11 & [1] = 5 ) | ( [-1] = 5 & [0] = 11 & [1] = 9 ) | ( [-1] = 5 & [0] = 11 & [1] = 10 ) | ( [-1] = 5 & [0] = 11 & [1] = 11 ) | ( [-1] = 6 & [0] = 5 & [1] = 0 ) | ( [-1] = 6 & [0] = 5 & [1] = 3 ) | ( [-1] = 6 & [0] = 5 & [1] = 4 ) | ( [-1] = 6 & [0] = 5 & [1] = 5 ) | ( [-1] = 7 & [0] = 5 & [1] = 0 ) | ( [-1] = 7 & [0] = 5 & [1] = 3 ) | ( [-1] = 7 & [0] = 5 & [1] = 4 ) | ( [-1] = 7 & [0] = 5 & [1] = 5 ) | ( [-1] = 8 & [0] = 5 & [1] = 0 ) | ( [-1] = 8 & [0] = 5 & [1] = 3 ) | ( [-1] = 8 & [0] = 5 & [1] = 4 ) | ( [-1] = 8 & [0] = 5 & [1] = 5 ) | ( [-1] = 9 & [0] = 5 & [1] = 0 ) | ( [-1] = 9 & [0] = 5 & [1] = 3 ) | ( [-1] = 9 & [0] = 5 & [1] = 4 ) | ( [-1] = 9 & [0] = 5 & [1] = 5 ) | ( [-1] = 10 & [0] = 5 & [1] = 0 ) | ( [-1] = 10 & [0] = 5 & [1] = 3 ) | ( [-1] = 10 & [0] = 5 & [1] = 4 ) | ( [-1] = 10 & [0] = 5 & [1] = 5 ) | ( [-1] = 11 & [0] = 5 & [1] = 0 ) | ( [-1] = 11 & [0] = 5 & [1] = 3 ) | ( [-1] = 11 & [0] = 5 & [1] = 4 ) | ( [-1] = 11 & [0] = 5 & [1] = 5 ) ) := 6 when ( ( [-1] = 0 & [0] = 6 & [1] = 0 ) | ( [-1] = 0 & [0] = 6 & [1] = 1 ) | ( [-1] = 0 & [0] = 6 & [1] = 3 ) | ( [-1] = 0 & [0] = 6 & [1] = 4 ) | ( [-1] = 0 & [0] = 6 & [1] = 5 ) | ( [-1] = 0 & [0] = 6 & [1] = 6 ) | ( [-1] = 0 & [0] = 6 & [1] = 7 ) | ( [-1] = 0 & [0] = 6 & [1] = 8 ) | ( [-1] = 0 & [0] = 6 & [1] = 9 ) | ( [-1] = 0 & [0] = 6 & [1] = 10 ) | ( [-1] = 0 & [0] = 6 & [1] = 11 ) | ( [-1] = 1 & [0] = 1 & [1] = 6 ) | ( [-1] = 1 & [0] = 9 & [1] = 0 ) | ( [-1] = 1 & [0] = 9 & [1] = 6 ) | ( [-1] = 1 & [0] = 10 & [1] = 6 ) | ( [-1] = 1 & [0] = 11 & [1] = 6 ) | ( [-1] = 3 & [0] = 9 & [1] = 0 ) | ( [-1] = 4 & [0] = 9 & [1] = 0 ) | ( [-1] = 5 & [0] = 9 & [1] = 0 ) | ( [-1] = 6 & [0] = 1 & [1] = 6 ) | ( [-1] = 6 & [0] = 6 & [1] = 0 ) | ( [-1] = 6 & [0] = 6 & [1] = 1 ) | ( [-1] = 6 & [0] = 6 & [1] = 3 ) | ( [-1] = 6 & [0] = 6 & [1] = 4 ) | ( [-1] = 6 & [0] = 6 & [1] = 5 ) | ( [-1] = 6 & [0] = 6 & [1] = 6 ) | ( [-1] = 6 & [0] = 6 & [1] = 7 ) | ( [-1] = 6 & [0] = 6 & [1] = 8 ) | ( [-1] = 6 & [0] = 6 & [1] = 9 ) | ( [-1] = 6 & [0] = 6 & [1] = 10 ) | ( [-1] = 6 & [0] = 6 & [1] = 11 ) | ( [-1] = 6 & [0] = 9 & [1] = 0 ) | ( [-1] = 6 & [0] = 9 & [1] = 6 ) | ( [-1] = 6 & [0] = 10 & [1] = 6 ) | ( [-1] = 6 & [0] = 11 & [1] = 6 ) | ( [-1] = 7 & [0] = 1 & [1] = 6 ) | ( [-1] = 7 & [0] = 6 & [1] = 0 ) | ( [-1] = 7 & [0] = 6 & [1] = 1 ) | ( [-1] = 7 & [0] = 6 & [1] = 3 ) | ( [-1] = 7 & [0] = 6 & [1] = 4 ) | ( [-1] = 7 & [0] = 6 & [1] = 5 ) | ( [-1] = 7 & [0] = 6 & [1] = 6 ) | ( [-1] = 7 & [0] = 6 & [1] = 7 ) | ( [-1] = 7 & [0] = 6 & [1] = 8 ) | ( [-1] = 7 & [0] = 6 & [1] = 9 ) | ( [-1] = 7 & [0] = 6 & [1] = 10 ) | ( [-1] = 7 & [0] = 6 & [1] = 11 ) | ( [-1] = 7 & [0] = 9 & [1] = 0 ) | ( [-1] = 7 & [0] = 9 & [1] = 6 ) | ( [-1] = 7 & [0] = 10 & [1] = 6 ) | ( [-1] = 7 & [0] = 11 & [1] = 6 ) | ( [-1] = 8 & [0] = 1 & [1] = 6 ) | ( [-1] = 8 & [0] = 6 & [1] = 0 ) | ( [-1] = 8 & [0] = 6 & [1] = 1 ) | ( [-1] = 8 & [0] = 6 & [1] = 3 ) | ( [-1] = 8 & [0] = 6 & [1] = 4 ) | ( [-1] = 8 & [0] = 6 & [1] = 5 ) | ( [-1] = 8 & [0] = 6 & [1] = 6 ) | ( [-1] = 8 & [0] = 6 & [1] = 7 ) | ( [-1] = 8 & [0] = 6 & [1] = 8 ) | ( [-1] = 8 & [0] = 6 & [1] = 9 ) | ( [-1] = 8 & [0] = 6 & [1] = 10 ) | ( [-1] = 8 & [0] = 6 & [1] = 11 ) | ( [-1] = 8 & [0] = 9 & [1] = 0 ) | ( [-1] = 8 & [0] = 9 & [1] = 6 ) | ( [-1] = 8 & [0] = 10 & [1] = 6 ) | ( [-1] = 8 & [0] = 11 & [1] = 6 ) | ( [-1] = 9 & [0] = 9 & [1] = 0 ) | ( [-1] = 9 & [0] = 9 & [1] = 6 ) | ( [-1] = 9 & [0] = 10 & [1] = 6 ) | ( [-1] = 9 & [0] = 11 & [1] = 6 ) | ( [-1] = 10 & [0] = 9 & [1] = 0 ) | ( [-1] = 10 & [0] = 9 & [1] = 6 ) | ( [-1] = 10 & [0] = 10 & [1] = 6 ) | ( [-1] = 10 & [0] = 11 & [1] = 6 ) | ( [-1] = 11 & [0] = 9 & [1] = 0 ) | ( [-1] = 11 & [0] = 9 & [1] = 6 ) | ( [-1] = 11 & [0] = 10 & [1] = 6 ) | ( [-1] = 11 & [0] = 11 & [1] = 6 ) ) := 7 when ( ( [-1] = 0 & [0] = 7 & [1] = 0 ) | ( [-1] = 0 & [0] = 7 & [1] = 1 ) | ( [-1] = 0 & [0] = 7 & [1] = 3 ) | ( [-1] = 0 & [0] = 7 & [1] = 4 ) | ( [-1] = 0 & [0] = 7 & [1] = 5 ) | ( [-1] = 0 & [0] = 7 & [1] = 6 ) | ( [-1] = 0 & [0] = 7 & [1] = 7 ) | ( [-1] = 0 & [0] = 7 & [1] = 8 ) | ( [-1] = 0 & [0] = 7 & [1] = 9 ) | ( [-1] = 0 & [0] = 7 & [1] = 10 ) | ( [-1] = 0 & [0] = 7 & [1] = 11 ) | ( [-1] = 1 & [0] = 1 & [1] = 7 ) | ( [-1] = 1 & [0] = 9 & [1] = 7 ) | ( [-1] = 1 & [0] = 10 & [1] = 0 ) | ( [-1] = 1 & [0] = 10 & [1] = 7 ) | ( [-1] = 1 & [0] = 11 & [1] = 7 ) | ( [-1] = 3 & [0] = 10 & [1] = 0 ) | ( [-1] = 4 & [0] = 10 & [1] = 0 ) | ( [-1] = 5 & [0] = 10 & [1] = 0 ) | ( [-1] = 6 & [0] = 1 & [1] = 7 ) | ( [-1] = 6 & [0] = 7 & [1] = 0 ) | ( [-1] = 6 & [0] = 7 & [1] = 1 ) | ( [-1] = 6 & [0] = 7 & [1] = 3 ) | ( [-1] = 6 & [0] = 7 & [1] = 4 ) | ( [-1] = 6 & [0] = 7 & [1] = 5 ) | ( [-1] = 6 & [0] = 7 & [1] = 6 ) | ( [-1] = 6 & [0] = 7 & [1] = 7 ) | ( [-1] = 6 & [0] = 7 & [1] = 8 ) | ( [-1] = 6 & [0] = 7 & [1] = 9 ) | ( [-1] = 6 & [0] = 7 & [1] = 10 ) | ( [-1] = 6 & [0] = 7 & [1] = 11 ) | ( [-1] = 6 & [0] = 9 & [1] = 7 ) | ( [-1] = 6 & [0] = 10 & [1] = 0 ) | ( [-1] = 6 & [0] = 10 & [1] = 7 ) | ( [-1] = 6 & [0] = 11 & [1] = 7 ) | ( [-1] = 7 & [0] = 1 & [1] = 7 ) | ( [-1] = 7 & [0] = 7 & [1] = 0 ) | ( [-1] = 7 & [0] = 7 & [1] = 1 ) | ( [-1] = 7 & [0] = 7 & [1] = 3 ) | ( [-1] = 7 & [0] = 7 & [1] = 4 ) | ( [-1] = 7 & [0] = 7 & [1] = 5 ) | ( [-1] = 7 & [0] = 7 & [1] = 6 ) | ( [-1] = 7 & [0] = 7 & [1] = 7 ) | ( [-1] = 7 & [0] = 7 & [1] = 8 ) | ( [-1] = 7 & [0] = 7 & [1] = 9 ) | ( [-1] = 7 & [0] = 7 & [1] = 10 ) | ( [-1] = 7 & [0] = 7 & [1] = 11 ) | ( [-1] = 7 & [0] = 9 & [1] = 7 ) | ( [-1] = 7 & [0] = 10 & [1] = 0 ) | ( [-1] = 7 & [0] = 10 & [1] = 7 ) | ( [-1] = 7 & [0] = 11 & [1] = 7 ) | ( [-1] = 8 & [0] = 1 & [1] = 7 ) | ( [-1] = 8 & [0] = 7 & [1] = 0 ) | ( [-1] = 8 & [0] = 7 & [1] = 1 ) | ( [-1] = 8 & [0] = 7 & [1] = 3 ) | ( [-1] = 8 & [0] = 7 & [1] = 4 ) | ( [-1] = 8 & [0] = 7 & [1] = 5 ) | ( [-1] = 8 & [0] = 7 & [1] = 6 ) | ( [-1] = 8 & [0] = 7 & [1] = 7 ) | ( [-1] = 8 & [0] = 7 & [1] = 8 ) | ( [-1] = 8 & [0] = 7 & [1] = 9 ) | ( [-1] = 8 & [0] = 7 & [1] = 10 ) | ( [-1] = 8 & [0] = 7 & [1] = 11 ) | ( [-1] = 8 & [0] = 9 & [1] = 7 ) | ( [-1] = 8 & [0] = 10 & [1] = 0 ) | ( [-1] = 8 & [0] = 10 & [1] = 7 ) | ( [-1] = 8 & [0] = 11 & [1] = 7 ) | ( [-1] = 9 & [0] = 9 & [1] = 7 ) | ( [-1] = 9 & [0] = 10 & [1] = 0 ) | ( [-1] = 9 & [0] = 10 & [1] = 7 ) | ( [-1] = 9 & [0] = 11 & [1] = 7 ) | ( [-1] = 10 & [0] = 9 & [1] = 7 ) | ( [-1] = 10 & [0] = 10 & [1] = 0 ) | ( [-1] = 10 & [0] = 10 & [1] = 7 ) | ( [-1] = 10 & [0] = 11 & [1] = 7 ) | ( [-1] = 11 & [0] = 9 & [1] = 7 ) | ( [-1] = 11 & [0] = 10 & [1] = 0 ) | ( [-1] = 11 & [0] = 10 & [1] = 7 ) | ( [-1] = 11 & [0] = 11 & [1] = 7 ) ) := 8 when ( ( [-1] = 0 & [0] = 8 & [1] = 0 ) | ( [-1] = 0 & [0] = 8 & [1] = 1 ) | ( [-1] = 0 & [0] = 8 & [1] = 3 ) | ( [-1] = 0 & [0] = 8 & [1] = 4 ) | ( [-1] = 0 & [0] = 8 & [1] = 5 ) | ( [-1] = 0 & [0] = 8 & [1] = 6 ) | ( [-1] = 0 & [0] = 8 & [1] = 7 ) | ( [-1] = 0 & [0] = 8 & [1] = 8 ) | ( [-1] = 0 & [0] = 8 & [1] = 9 ) | ( [-1] = 0 & [0] = 8 & [1] = 10 ) | ( [-1] = 0 & [0] = 8 & [1] = 11 ) | ( [-1] = 1 & [0] = 1 & [1] = 8 ) | ( [-1] = 1 & [0] = 9 & [1] = 8 ) | ( [-1] = 1 & [0] = 10 & [1] = 8 ) | ( [-1] = 1 & [0] = 11 & [1] = 0 ) | ( [-1] = 1 & [0] = 11 & [1] = 8 ) | ( [-1] = 3 & [0] = 11 & [1] = 0 ) | ( [-1] = 4 & [0] = 11 & [1] = 0 ) | ( [-1] = 5 & [0] = 11 & [1] = 0 ) | ( [-1] = 6 & [0] = 1 & [1] = 8 ) | ( [-1] = 6 & [0] = 8 & [1] = 0 ) | ( [-1] = 6 & [0] = 8 & [1] = 1 ) | ( [-1] = 6 & [0] = 8 & [1] = 3 ) | ( [-1] = 6 & [0] = 8 & [1] = 4 ) | ( [-1] = 6 & [0] = 8 & [1] = 5 ) | ( [-1] = 6 & [0] = 8 & [1] = 6 ) | ( [-1] = 6 & [0] = 8 & [1] = 7 ) | ( [-1] = 6 & [0] = 8 & [1] = 8 ) | ( [-1] = 6 & [0] = 8 & [1] = 9 ) | ( [-1] = 6 & [0] = 8 & [1] = 10 ) | ( [-1] = 6 & [0] = 8 & [1] = 11 ) | ( [-1] = 6 & [0] = 9 & [1] = 8 ) | ( [-1] = 6 & [0] = 10 & [1] = 8 ) | ( [-1] = 6 & [0] = 11 & [1] = 0 ) | ( [-1] = 6 & [0] = 11 & [1] = 8 ) | ( [-1] = 7 & [0] = 1 & [1] = 8 ) | ( [-1] = 7 & [0] = 8 & [1] = 0 ) | ( [-1] = 7 & [0] = 8 & [1] = 1 ) | ( [-1] = 7 & [0] = 8 & [1] = 3 ) | ( [-1] = 7 & [0] = 8 & [1] = 4 ) | ( [-1] = 7 & [0] = 8 & [1] = 5 ) | ( [-1] = 7 & [0] = 8 & [1] = 6 ) | ( [-1] = 7 & [0] = 8 & [1] = 7 ) | ( [-1] = 7 & [0] = 8 & [1] = 8 ) | ( [-1] = 7 & [0] = 8 & [1] = 9 ) | ( [-1] = 7 & [0] = 8 & [1] = 10 ) | ( [-1] = 7 & [0] = 8 & [1] = 11 ) | ( [-1] = 7 & [0] = 9 & [1] = 8 ) | ( [-1] = 7 & [0] = 10 & [1] = 8 ) | ( [-1] = 7 & [0] = 11 & [1] = 0 ) | ( [-1] = 7 & [0] = 11 & [1] = 8 ) | ( [-1] = 8 & [0] = 1 & [1] = 8 ) | ( [-1] = 8 & [0] = 8 & [1] = 0 ) | ( [-1] = 8 & [0] = 8 & [1] = 1 ) | ( [-1] = 8 & [0] = 8 & [1] = 3 ) | ( [-1] = 8 & [0] = 8 & [1] = 4 ) | ( [-1] = 8 & [0] = 8 & [1] = 5 ) | ( [-1] = 8 & [0] = 8 & [1] = 6 ) | ( [-1] = 8 & [0] = 8 & [1] = 7 ) | ( [-1] = 8 & [0] = 8 & [1] = 8 ) | ( [-1] = 8 & [0] = 8 & [1] = 9 ) | ( [-1] = 8 & [0] = 8 & [1] = 10 ) | ( [-1] = 8 & [0] = 8 & [1] = 11 ) | ( [-1] = 8 & [0] = 9 & [1] = 8 ) | ( [-1] = 8 & [0] = 10 & [1] = 8 ) | ( [-1] = 8 & [0] = 11 & [1] = 0 ) | ( [-1] = 8 & [0] = 11 & [1] = 8 ) | ( [-1] = 9 & [0] = 9 & [1] = 8 ) | ( [-1] = 9 & [0] = 10 & [1] = 8 ) | ( [-1] = 9 & [0] = 11 & [1] = 0 ) | ( [-1] = 9 & [0] = 11 & [1] = 8 ) | ( [-1] = 10 & [0] = 9 & [1] = 8 ) | ( [-1] = 10 & [0] = 10 & [1] = 8 ) | ( [-1] = 10 & [0] = 11 & [1] = 0 ) | ( [-1] = 10 & [0] = 11 & [1] = 8 ) | ( [-1] = 11 & [0] = 9 & [1] = 8 ) | ( [-1] = 11 & [0] = 10 & [1] = 8 ) | ( [-1] = 11 & [0] = 11 & [1] = 0 ) | ( [-1] = 11 & [0] = 11 & [1] = 8 ) ) := 9 when ( ( [-1] = 0 & [0] = 3 & [1] = 9 ) | ( [-1] = 0 & [0] = 4 & [1] = 9 ) | ( [-1] = 0 & [0] = 5 & [1] = 9 ) | ( [-1] = 1 & [0] = 3 & [1] = 9 ) | ( [-1] = 1 & [0] = 4 & [1] = 9 ) | ( [-1] = 1 & [0] = 5 & [1] = 9 ) | ( [-1] = 1 & [0] = 9 & [1] = 1 ) | ( [-1] = 1 & [0] = 9 & [1] = 3 ) | ( [-1] = 1 & [0] = 9 & [1] = 4 ) | ( [-1] = 1 & [0] = 9 & [1] = 5 ) | ( [-1] = 1 & [0] = 9 & [1] = 9 ) | ( [-1] = 1 & [0] = 9 & [1] = 10 ) | ( [-1] = 1 & [0] = 9 & [1] = 11 ) | ( [-1] = 3 & [0] = 3 & [1] = 9 ) | ( [-1] = 3 & [0] = 4 & [1] = 9 ) | ( [-1] = 3 & [0] = 5 & [1] = 9 ) | ( [-1] = 4 & [0] = 3 & [1] = 9 ) | ( [-1] = 4 & [0] = 4 & [1] = 9 ) | ( [-1] = 4 & [0] = 5 & [1] = 9 ) | ( [-1] = 5 & [0] = 3 & [1] = 9 ) | ( [-1] = 5 & [0] = 4 & [1] = 9 ) | ( [-1] = 5 & [0] = 5 & [1] = 9 ) | ( [-1] = 6 & [0] = 3 & [1] = 9 ) | ( [-1] = 6 & [0] = 4 & [1] = 9 ) | ( [-1] = 6 & [0] = 5 & [1] = 9 ) | ( [-1] = 6 & [0] = 9 & [1] = 1 ) | ( [-1] = 6 & [0] = 9 & [1] = 3 ) | ( [-1] = 6 & [0] = 9 & [1] = 4 ) | ( [-1] = 6 & [0] = 9 & [1] = 5 ) | ( [-1] = 6 & [0] = 9 & [1] = 9 ) | ( [-1] = 6 & [0] = 9 & [1] = 10 ) | ( [-1] = 6 & [0] = 9 & [1] = 11 ) | ( [-1] = 7 & [0] = 3 & [1] = 9 ) | ( [-1] = 7 & [0] = 4 & [1] = 9 ) | ( [-1] = 7 & [0] = 5 & [1] = 9 ) | ( [-1] = 7 & [0] = 9 & [1] = 1 ) | ( [-1] = 7 & [0] = 9 & [1] = 3 ) | ( [-1] = 7 & [0] = 9 & [1] = 4 ) | ( [-1] = 7 & [0] = 9 & [1] = 5 ) | ( [-1] = 7 & [0] = 9 & [1] = 9 ) | ( [-1] = 7 & [0] = 9 & [1] = 10 ) | ( [-1] = 7 & [0] = 9 & [1] = 11 ) | ( [-1] = 8 & [0] = 3 & [1] = 9 ) | ( [-1] = 8 & [0] = 4 & [1] = 9 ) | ( [-1] = 8 & [0] = 5 & [1] = 9 ) | ( [-1] = 8 & [0] = 9 & [1] = 1 ) | ( [-1] = 8 & [0] = 9 & [1] = 3 ) | ( [-1] = 8 & [0] = 9 & [1] = 4 ) | ( [-1] = 8 & [0] = 9 & [1] = 5 ) | ( [-1] = 8 & [0] = 9 & [1] = 9 ) | ( [-1] = 8 & [0] = 9 & [1] = 10 ) | ( [-1] = 8 & [0] = 9 & [1] = 11 ) | ( [-1] = 9 & [0] = 3 & [1] = 9 ) | ( [-1] = 9 & [0] = 4 & [1] = 9 ) | ( [-1] = 9 & [0] = 5 & [1] = 9 ) | ( [-1] = 9 & [0] = 6 & [1] = 0 ) | ( [-1] = 9 & [0] = 6 & [1] = 1 ) | ( [-1] = 9 & [0] = 6 & [1] = 3 ) | ( [-1] = 9 & [0] = 6 & [1] = 4 ) | ( [-1] = 9 & [0] = 6 & [1] = 5 ) | ( [-1] = 9 & [0] = 6 & [1] = 6 ) | ( [-1] = 9 & [0] = 6 & [1] = 7 ) | ( [-1] = 9 & [0] = 6 & [1] = 8 ) | ( [-1] = 9 & [0] = 6 & [1] = 9 ) | ( [-1] = 9 & [0] = 6 & [1] = 10 ) | ( [-1] = 9 & [0] = 6 & [1] = 11 ) | ( [-1] = 9 & [0] = 7 & [1] = 0 ) | ( [-1] = 9 & [0] = 7 & [1] = 1 ) | ( [-1] = 9 & [0] = 7 & [1] = 3 ) | ( [-1] = 9 & [0] = 7 & [1] = 4 ) | ( [-1] = 9 & [0] = 7 & [1] = 5 ) | ( [-1] = 9 & [0] = 7 & [1] = 6 ) | ( [-1] = 9 & [0] = 7 & [1] = 7 ) | ( [-1] = 9 & [0] = 7 & [1] = 8 ) | ( [-1] = 9 & [0] = 7 & [1] = 9 ) | ( [-1] = 9 & [0] = 7 & [1] = 10 ) | ( [-1] = 9 & [0] = 7 & [1] = 11 ) | ( [-1] = 9 & [0] = 8 & [1] = 0 ) | ( [-1] = 9 & [0] = 8 & [1] = 1 ) | ( [-1] = 9 & [0] = 8 & [1] = 3 ) | ( [-1] = 9 & [0] = 8 & [1] = 4 ) | ( [-1] = 9 & [0] = 8 & [1] = 5 ) | ( [-1] = 9 & [0] = 8 & [1] = 6 ) | ( [-1] = 9 & [0] = 8 & [1] = 7 ) | ( [-1] = 9 & [0] = 8 & [1] = 8 ) | ( [-1] = 9 & [0] = 8 & [1] = 9 ) | ( [-1] = 9 & [0] = 8 & [1] = 10 ) | ( [-1] = 9 & [0] = 8 & [1] = 11 ) | ( [-1] = 9 & [0] = 9 & [1] = 1 ) | ( [-1] = 9 & [0] = 9 & [1] = 3 ) | ( [-1] = 9 & [0] = 9 & [1] = 4 ) | ( [-1] = 9 & [0] = 9 & [1] = 5 ) | ( [-1] = 9 & [0] = 9 & [1] = 9 ) | ( [-1] = 9 & [0] = 9 & [1] = 10 ) | ( [-1] = 9 & [0] = 9 & [1] = 11 ) | ( [-1] = 10 & [0] = 3 & [1] = 9 ) | ( [-1] = 10 & [0] = 4 & [1] = 9 ) | ( [-1] = 10 & [0] = 5 & [1] = 9 ) | ( [-1] = 10 & [0] = 9 & [1] = 1 ) | ( [-1] = 10 & [0] = 9 & [1] = 3 ) | ( [-1] = 10 & [0] = 9 & [1] = 4 ) | ( [-1] = 10 & [0] = 9 & [1] = 5 ) | ( [-1] = 10 & [0] = 9 & [1] = 9 ) | ( [-1] = 10 & [0] = 9 & [1] = 10 ) | ( [-1] = 10 & [0] = 9 & [1] = 11 ) | ( [-1] = 11 & [0] = 3 & [1] = 9 ) | ( [-1] = 11 & [0] = 4 & [1] = 9 ) | ( [-1] = 11 & [0] = 5 & [1] = 9 ) | ( [-1] = 11 & [0] = 9 & [1] = 1 ) | ( [-1] = 11 & [0] = 9 & [1] = 3 ) | ( [-1] = 11 & [0] = 9 & [1] = 4 ) | ( [-1] = 11 & [0] = 9 & [1] = 5 ) | ( [-1] = 11 & [0] = 9 & [1] = 9 ) | ( [-1] = 11 & [0] = 9 & [1] = 10 ) | ( [-1] = 11 & [0] = 9 & [1] = 11 ) ) := 10 when ( ( [-1] = 0 & [0] = 3 & [1] = 10 ) | ( [-1] = 0 & [0] = 4 & [1] = 10 ) | ( [-1] = 0 & [0] = 5 & [1] = 10 ) | ( [-1] = 1 & [0] = 3 & [1] = 10 ) | ( [-1] = 1 & [0] = 4 & [1] = 10 ) | ( [-1] = 1 & [0] = 5 & [1] = 10 ) | ( [-1] = 1 & [0] = 10 & [1] = 1 ) | ( [-1] = 1 & [0] = 10 & [1] = 3 ) | ( [-1] = 1 & [0] = 10 & [1] = 4 ) | ( [-1] = 1 & [0] = 10 & [1] = 5 ) | ( [-1] = 1 & [0] = 10 & [1] = 9 ) | ( [-1] = 1 & [0] = 10 & [1] = 10 ) | ( [-1] = 1 & [0] = 10 & [1] = 11 ) | ( [-1] = 3 & [0] = 3 & [1] = 10 ) | ( [-1] = 3 & [0] = 4 & [1] = 10 ) | ( [-1] = 3 & [0] = 5 & [1] = 10 ) | ( [-1] = 4 & [0] = 3 & [1] = 10 ) | ( [-1] = 4 & [0] = 4 & [1] = 10 ) | ( [-1] = 4 & [0] = 5 & [1] = 10 ) | ( [-1] = 5 & [0] = 3 & [1] = 10 ) | ( [-1] = 5 & [0] = 4 & [1] = 10 ) | ( [-1] = 5 & [0] = 5 & [1] = 10 ) | ( [-1] = 6 & [0] = 3 & [1] = 10 ) | ( [-1] = 6 & [0] = 4 & [1] = 10 ) | ( [-1] = 6 & [0] = 5 & [1] = 10 ) | ( [-1] = 6 & [0] = 10 & [1] = 1 ) | ( [-1] = 6 & [0] = 10 & [1] = 3 ) | ( [-1] = 6 & [0] = 10 & [1] = 4 ) | ( [-1] = 6 & [0] = 10 & [1] = 5 ) | ( [-1] = 6 & [0] = 10 & [1] = 9 ) | ( [-1] = 6 & [0] = 10 & [1] = 10 ) | ( [-1] = 6 & [0] = 10 & [1] = 11 ) | ( [-1] = 7 & [0] = 3 & [1] = 10 ) | ( [-1] = 7 & [0] = 4 & [1] = 10 ) | ( [-1] = 7 & [0] = 5 & [1] = 10 ) | ( [-1] = 7 & [0] = 10 & [1] = 1 ) | ( [-1] = 7 & [0] = 10 & [1] = 3 ) | ( [-1] = 7 & [0] = 10 & [1] = 4 ) | ( [-1] = 7 & [0] = 10 & [1] = 5 ) | ( [-1] = 7 & [0] = 10 & [1] = 9 ) | ( [-1] = 7 & [0] = 10 & [1] = 10 ) | ( [-1] = 7 & [0] = 10 & [1] = 11 ) | ( [-1] = 8 & [0] = 3 & [1] = 10 ) | ( [-1] = 8 & [0] = 4 & [1] = 10 ) | ( [-1] = 8 & [0] = 5 & [1] = 10 ) | ( [-1] = 8 & [0] = 10 & [1] = 1 ) | ( [-1] = 8 & [0] = 10 & [1] = 3 ) | ( [-1] = 8 & [0] = 10 & [1] = 4 ) | ( [-1] = 8 & [0] = 10 & [1] = 5 ) | ( [-1] = 8 & [0] = 10 & [1] = 9 ) | ( [-1] = 8 & [0] = 10 & [1] = 10 ) | ( [-1] = 8 & [0] = 10 & [1] = 11 ) | ( [-1] = 9 & [0] = 3 & [1] = 10 ) | ( [-1] = 9 & [0] = 4 & [1] = 10 ) | ( [-1] = 9 & [0] = 5 & [1] = 10 ) | ( [-1] = 9 & [0] = 10 & [1] = 1 ) | ( [-1] = 9 & [0] = 10 & [1] = 3 ) | ( [-1] = 9 & [0] = 10 & [1] = 4 ) | ( [-1] = 9 & [0] = 10 & [1] = 5 ) | ( [-1] = 9 & [0] = 10 & [1] = 9 ) | ( [-1] = 9 & [0] = 10 & [1] = 10 ) | ( [-1] = 9 & [0] = 10 & [1] = 11 ) | ( [-1] = 10 & [0] = 3 & [1] = 10 ) | ( [-1] = 10 & [0] = 4 & [1] = 10 ) | ( [-1] = 10 & [0] = 5 & [1] = 10 ) | ( [-1] = 10 & [0] = 6 & [1] = 0 ) | ( [-1] = 10 & [0] = 6 & [1] = 1 ) | ( [-1] = 10 & [0] = 6 & [1] = 3 ) | ( [-1] = 10 & [0] = 6 & [1] = 4 ) | ( [-1] = 10 & [0] = 6 & [1] = 5 ) | ( [-1] = 10 & [0] = 6 & [1] = 6 ) | ( [-1] = 10 & [0] = 6 & [1] = 7 ) | ( [-1] = 10 & [0] = 6 & [1] = 8 ) | ( [-1] = 10 & [0] = 6 & [1] = 9 ) | ( [-1] = 10 & [0] = 6 & [1] = 10 ) | ( [-1] = 10 & [0] = 6 & [1] = 11 ) | ( [-1] = 10 & [0] = 7 & [1] = 0 ) | ( [-1] = 10 & [0] = 7 & [1] = 1 ) | ( [-1] = 10 & [0] = 7 & [1] = 3 ) | ( [-1] = 10 & [0] = 7 & [1] = 4 ) | ( [-1] = 10 & [0] = 7 & [1] = 5 ) | ( [-1] = 10 & [0] = 7 & [1] = 6 ) | ( [-1] = 10 & [0] = 7 & [1] = 7 ) | ( [-1] = 10 & [0] = 7 & [1] = 8 ) | ( [-1] = 10 & [0] = 7 & [1] = 9 ) | ( [-1] = 10 & [0] = 7 & [1] = 10 ) | ( [-1] = 10 & [0] = 7 & [1] = 11 ) | ( [-1] = 10 & [0] = 8 & [1] = 0 ) | ( [-1] = 10 & [0] = 8 & [1] = 1 ) | ( [-1] = 10 & [0] = 8 & [1] = 3 ) | ( [-1] = 10 & [0] = 8 & [1] = 4 ) | ( [-1] = 10 & [0] = 8 & [1] = 5 ) | ( [-1] = 10 & [0] = 8 & [1] = 6 ) | ( [-1] = 10 & [0] = 8 & [1] = 7 ) | ( [-1] = 10 & [0] = 8 & [1] = 8 ) | ( [-1] = 10 & [0] = 8 & [1] = 9 ) | ( [-1] = 10 & [0] = 8 & [1] = 10 ) | ( [-1] = 10 & [0] = 8 & [1] = 11 ) | ( [-1] = 10 & [0] = 10 & [1] = 1 ) | ( [-1] = 10 & [0] = 10 & [1] = 3 ) | ( [-1] = 10 & [0] = 10 & [1] = 4 ) | ( [-1] = 10 & [0] = 10 & [1] = 5 ) | ( [-1] = 10 & [0] = 10 & [1] = 9 ) | ( [-1] = 10 & [0] = 10 & [1] = 10 ) | ( [-1] = 10 & [0] = 10 & [1] = 11 ) | ( [-1] = 11 & [0] = 3 & [1] = 10 ) | ( [-1] = 11 & [0] = 4 & [1] = 10 ) | ( [-1] = 11 & [0] = 5 & [1] = 10 ) | ( [-1] = 11 & [0] = 10 & [1] = 1 ) | ( [-1] = 11 & [0] = 10 & [1] = 3 ) | ( [-1] = 11 & [0] = 10 & [1] = 4 ) | ( [-1] = 11 & [0] = 10 & [1] = 5 ) | ( [-1] = 11 & [0] = 10 & [1] = 9 ) | ( [-1] = 11 & [0] = 10 & [1] = 10 ) | ( [-1] = 11 & [0] = 10 & [1] = 11 ) ) := 11 when ( ( [-1] = 0 & [0] = 3 & [1] = 11 ) | ( [-1] = 0 & [0] = 4 & [1] = 11 ) | ( [-1] = 0 & [0] = 5 & [1] = 11 ) | ( [-1] = 1 & [0] = 3 & [1] = 11 ) | ( [-1] = 1 & [0] = 4 & [1] = 11 ) | ( [-1] = 1 & [0] = 5 & [1] = 11 ) | ( [-1] = 1 & [0] = 11 & [1] = 1 ) | ( [-1] = 1 & [0] = 11 & [1] = 3 ) | ( [-1] = 1 & [0] = 11 & [1] = 4 ) | ( [-1] = 1 & [0] = 11 & [1] = 5 ) | ( [-1] = 1 & [0] = 11 & [1] = 9 ) | ( [-1] = 1 & [0] = 11 & [1] = 10 ) | ( [-1] = 1 & [0] = 11 & [1] = 11 ) | ( [-1] = 3 & [0] = 3 & [1] = 11 ) | ( [-1] = 3 & [0] = 4 & [1] = 11 ) | ( [-1] = 3 & [0] = 5 & [1] = 11 ) | ( [-1] = 4 & [0] = 3 & [1] = 11 ) | ( [-1] = 4 & [0] = 4 & [1] = 11 ) | ( [-1] = 4 & [0] = 5 & [1] = 11 ) | ( [-1] = 5 & [0] = 3 & [1] = 11 ) | ( [-1] = 5 & [0] = 4 & [1] = 11 ) | ( [-1] = 5 & [0] = 5 & [1] = 11 ) | ( [-1] = 6 & [0] = 3 & [1] = 11 ) | ( [-1] = 6 & [0] = 4 & [1] = 11 ) | ( [-1] = 6 & [0] = 5 & [1] = 11 ) | ( [-1] = 6 & [0] = 11 & [1] = 1 ) | ( [-1] = 6 & [0] = 11 & [1] = 3 ) | ( [-1] = 6 & [0] = 11 & [1] = 4 ) | ( [-1] = 6 & [0] = 11 & [1] = 5 ) | ( [-1] = 6 & [0] = 11 & [1] = 9 ) | ( [-1] = 6 & [0] = 11 & [1] = 10 ) | ( [-1] = 6 & [0] = 11 & [1] = 11 ) | ( [-1] = 7 & [0] = 3 & [1] = 11 ) | ( [-1] = 7 & [0] = 4 & [1] = 11 ) | ( [-1] = 7 & [0] = 5 & [1] = 11 ) | ( [-1] = 7 & [0] = 11 & [1] = 1 ) | ( [-1] = 7 & [0] = 11 & [1] = 3 ) | ( [-1] = 7 & [0] = 11 & [1] = 4 ) | ( [-1] = 7 & [0] = 11 & [1] = 5 ) | ( [-1] = 7 & [0] = 11 & [1] = 9 ) | ( [-1] = 7 & [0] = 11 & [1] = 10 ) | ( [-1] = 7 & [0] = 11 & [1] = 11 ) | ( [-1] = 8 & [0] = 3 & [1] = 11 ) | ( [-1] = 8 & [0] = 4 & [1] = 11 ) | ( [-1] = 8 & [0] = 5 & [1] = 11 ) | ( [-1] = 8 & [0] = 11 & [1] = 1 ) | ( [-1] = 8 & [0] = 11 & [1] = 3 ) | ( [-1] = 8 & [0] = 11 & [1] = 4 ) | ( [-1] = 8 & [0] = 11 & [1] = 5 ) | ( [-1] = 8 & [0] = 11 & [1] = 9 ) | ( [-1] = 8 & [0] = 11 & [1] = 10 ) | ( [-1] = 8 & [0] = 11 & [1] = 11 ) | ( [-1] = 9 & [0] = 3 & [1] = 11 ) | ( [-1] = 9 & [0] = 4 & [1] = 11 ) | ( [-1] = 9 & [0] = 5 & [1] = 11 ) | ( [-1] = 9 & [0] = 11 & [1] = 1 ) | ( [-1] = 9 & [0] = 11 & [1] = 3 ) | ( [-1] = 9 & [0] = 11 & [1] = 4 ) | ( [-1] = 9 & [0] = 11 & [1] = 5 ) | ( [-1] = 9 & [0] = 11 & [1] = 9 ) | ( [-1] = 9 & [0] = 11 & [1] = 10 ) | ( [-1] = 9 & [0] = 11 & [1] = 11 ) | ( [-1] = 10 & [0] = 3 & [1] = 11 ) | ( [-1] = 10 & [0] = 4 & [1] = 11 ) | ( [-1] = 10 & [0] = 5 & [1] = 11 ) | ( [-1] = 10 & [0] = 11 & [1] = 1 ) | ( [-1] = 10 & [0] = 11 & [1] = 3 ) | ( [-1] = 10 & [0] = 11 & [1] = 4 ) | ( [-1] = 10 & [0] = 11 & [1] = 5 ) | ( [-1] = 10 & [0] = 11 & [1] = 9 ) | ( [-1] = 10 & [0] = 11 & [1] = 10 ) | ( [-1] = 10 & [0] = 11 & [1] = 11 ) | ( [-1] = 11 & [0] = 3 & [1] = 11 ) | ( [-1] = 11 & [0] = 4 & [1] = 11 ) | ( [-1] = 11 & [0] = 5 & [1] = 11 ) | ( [-1] = 11 & [0] = 6 & [1] = 0 ) | ( [-1] = 11 & [0] = 6 & [1] = 1 ) | ( [-1] = 11 & [0] = 6 & [1] = 3 ) | ( [-1] = 11 & [0] = 6 & [1] = 4 ) | ( [-1] = 11 & [0] = 6 & [1] = 5 ) | ( [-1] = 11 & [0] = 6 & [1] = 6 ) | ( [-1] = 11 & [0] = 6 & [1] = 7 ) | ( [-1] = 11 & [0] = 6 & [1] = 8 ) | ( [-1] = 11 & [0] = 6 & [1] = 9 ) | ( [-1] = 11 & [0] = 6 & [1] = 10 ) | ( [-1] = 11 & [0] = 6 & [1] = 11 ) | ( [-1] = 11 & [0] = 7 & [1] = 0 ) | ( [-1] = 11 & [0] = 7 & [1] = 1 ) | ( [-1] = 11 & [0] = 7 & [1] = 3 ) | ( [-1] = 11 & [0] = 7 & [1] = 4 ) | ( [-1] = 11 & [0] = 7 & [1] = 5 ) | ( [-1] = 11 & [0] = 7 & [1] = 6 ) | ( [-1] = 11 & [0] = 7 & [1] = 7 ) | ( [-1] = 11 & [0] = 7 & [1] = 8 ) | ( [-1] = 11 & [0] = 7 & [1] = 9 ) | ( [-1] = 11 & [0] = 7 & [1] = 10 ) | ( [-1] = 11 & [0] = 7 & [1] = 11 ) | ( [-1] = 11 & [0] = 8 & [1] = 0 ) | ( [-1] = 11 & [0] = 8 & [1] = 1 ) | ( [-1] = 11 & [0] = 8 & [1] = 3 ) | ( [-1] = 11 & [0] = 8 & [1] = 4 ) | ( [-1] = 11 & [0] = 8 & [1] = 5 ) | ( [-1] = 11 & [0] = 8 & [1] = 6 ) | ( [-1] = 11 & [0] = 8 & [1] = 7 ) | ( [-1] = 11 & [0] = 8 & [1] = 8 ) | ( [-1] = 11 & [0] = 8 & [1] = 9 ) | ( [-1] = 11 & [0] = 8 & [1] = 10 ) | ( [-1] = 11 & [0] = 8 & [1] = 11 ) | ( [-1] = 11 & [0] = 11 & [1] = 1 ) | ( [-1] = 11 & [0] = 11 & [1] = 3 ) | ( [-1] = 11 & [0] = 11 & [1] = 4 ) | ( [-1] = 11 & [0] = 11 & [1] = 5 ) | ( [-1] = 11 & [0] = 11 & [1] = 9 ) | ( [-1] = 11 & [0] = 11 & [1] = 10 ) | ( [-1] = 11 & [0] = 11 & [1] = 11 ) ) := 0 when ( ( [-1] = 0 & [0] = 0 & [1] = 0 ) | ( [-1] = 0 & [0] = 0 & [1] = 1 ) | ( [-1] = 0 & [0] = 0 & [1] = 2 ) | ( [-1] = 0 & [0] = 0 & [1] = 3 ) | ( [-1] = 0 & [0] = 0 & [1] = 4 ) | ( [-1] = 0 & [0] = 0 & [1] = 5 ) | ( [-1] = 0 & [0] = 0 & [1] = 6 ) | ( [-1] = 0 & [0] = 0 & [1] = 7 ) | ( [-1] = 0 & [0] = 0 & [1] = 8 ) | ( [-1] = 0 & [0] = 0 & [1] = 9 ) | ( [-1] = 0 & [0] = 0 & [1] = 10 ) | ( [-1] = 0 & [0] = 0 & [1] = 11 ) | ( [-1] = 1 & [0] = 0 & [1] = 0 ) | ( [-1] = 1 & [0] = 0 & [1] = 1 ) | ( [-1] = 1 & [0] = 0 & [1] = 2 ) | ( [-1] = 1 & [0] = 0 & [1] = 3 ) | ( [-1] = 1 & [0] = 0 & [1] = 4 ) | ( [-1] = 1 & [0] = 0 & [1] = 5 ) | ( [-1] = 1 & [0] = 0 & [1] = 6 ) | ( [-1] = 1 & [0] = 0 & [1] = 7 ) | ( [-1] = 1 & [0] = 0 & [1] = 8 ) | ( [-1] = 1 & [0] = 0 & [1] = 9 ) | ( [-1] = 1 & [0] = 0 & [1] = 10 ) | ( [-1] = 1 & [0] = 0 & [1] = 11 ) | ( [-1] = 2 & [0] = 0 & [1] = 0 ) | ( [-1] = 2 & [0] = 0 & [1] = 1 ) | ( [-1] = 2 & [0] = 0 & [1] = 2 ) | ( [-1] = 2 & [0] = 0 & [1] = 3 ) | ( [-1] = 2 & [0] = 0 & [1] = 4 ) | ( [-1] = 2 & [0] = 0 & [1] = 5 ) | ( [-1] = 2 & [0] = 0 & [1] = 6 ) | ( [-1] = 2 & [0] = 0 & [1] = 7 ) | ( [-1] = 2 & [0] = 0 & [1] = 8 ) | ( [-1] = 2 & [0] = 0 & [1] = 9 ) | ( [-1] = 2 & [0] = 0 & [1] = 10 ) | ( [-1] = 2 & [0] = 0 & [1] = 11 ) | ( [-1] = 3 & [0] = 0 & [1] = 0 ) | ( [-1] = 3 & [0] = 0 & [1] = 1 ) | ( [-1] = 3 & [0] = 0 & [1] = 2 ) | ( [-1] = 3 & [0] = 0 & [1] = 3 ) | ( [-1] = 3 & [0] = 0 & [1] = 4 ) | ( [-1] = 3 & [0] = 0 & [1] = 5 ) | ( [-1] = 3 & [0] = 0 & [1] = 6 ) | ( [-1] = 3 & [0] = 0 & [1] = 7 ) | ( [-1] = 3 & [0] = 0 & [1] = 8 ) | ( [-1] = 3 & [0] = 0 & [1] = 9 ) | ( [-1] = 3 & [0] = 0 & [1] = 10 ) | ( [-1] = 3 & [0] = 0 & [1] = 11 ) | ( [-1] = 4 & [0] = 0 & [1] = 0 ) | ( [-1] = 4 & [0] = 0 & [1] = 1 ) | ( [-1] = 4 & [0] = 0 & [1] = 2 ) | ( [-1] = 4 & [0] = 0 & [1] = 3 ) | ( [-1] = 4 & [0] = 0 & [1] = 4 ) | ( [-1] = 4 & [0] = 0 & [1] = 5 ) | ( [-1] = 4 & [0] = 0 & [1] = 6 ) | ( [-1] = 4 & [0] = 0 & [1] = 7 ) | ( [-1] = 4 & [0] = 0 & [1] = 8 ) | ( [-1] = 4 & [0] = 0 & [1] = 9 ) | ( [-1] = 4 & [0] = 0 & [1] = 10 ) | ( [-1] = 4 & [0] = 0 & [1] = 11 ) | ( [-1] = 5 & [0] = 0 & [1] = 0 ) | ( [-1] = 5 & [0] = 0 & [1] = 1 ) | ( [-1] = 5 & [0] = 0 & [1] = 2 ) | ( [-1] = 5 & [0] = 0 & [1] = 3 ) | ( [-1] = 5 & [0] = 0 & [1] = 4 ) | ( [-1] = 5 & [0] = 0 & [1] = 5 ) | ( [-1] = 5 & [0] = 0 & [1] = 6 ) | ( [-1] = 5 & [0] = 0 & [1] = 7 ) | ( [-1] = 5 & [0] = 0 & [1] = 8 ) | ( [-1] = 5 & [0] = 0 & [1] = 9 ) | ( [-1] = 5 & [0] = 0 & [1] = 10 ) | ( [-1] = 5 & [0] = 0 & [1] = 11 ) | ( [-1] = 6 & [0] = 0 & [1] = 0 ) | ( [-1] = 6 & [0] = 0 & [1] = 1 ) | ( [-1] = 6 & [0] = 0 & [1] = 2 ) | ( [-1] = 6 & [0] = 0 & [1] = 3 ) | ( [-1] = 6 & [0] = 0 & [1] = 4 ) | ( [-1] = 6 & [0] = 0 & [1] = 5 ) | ( [-1] = 6 & [0] = 0 & [1] = 6 ) | ( [-1] = 6 & [0] = 0 & [1] = 7 ) | ( [-1] = 6 & [0] = 0 & [1] = 8 ) | ( [-1] = 6 & [0] = 0 & [1] = 9 ) | ( [-1] = 6 & [0] = 0 & [1] = 10 ) | ( [-1] = 6 & [0] = 0 & [1] = 11 ) | ( [-1] = 7 & [0] = 0 & [1] = 0 ) | ( [-1] = 7 & [0] = 0 & [1] = 1 ) | ( [-1] = 7 & [0] = 0 & [1] = 2 ) | ( [-1] = 7 & [0] = 0 & [1] = 3 ) | ( [-1] = 7 & [0] = 0 & [1] = 4 ) | ( [-1] = 7 & [0] = 0 & [1] = 5 ) | ( [-1] = 7 & [0] = 0 & [1] = 6 ) | ( [-1] = 7 & [0] = 0 & [1] = 7 ) | ( [-1] = 7 & [0] = 0 & [1] = 8 ) | ( [-1] = 7 & [0] = 0 & [1] = 9 ) | ( [-1] = 7 & [0] = 0 & [1] = 10 ) | ( [-1] = 7 & [0] = 0 & [1] = 11 ) | ( [-1] = 8 & [0] = 0 & [1] = 0 ) | ( [-1] = 8 & [0] = 0 & [1] = 1 ) | ( [-1] = 8 & [0] = 0 & [1] = 2 ) | ( [-1] = 8 & [0] = 0 & [1] = 3 ) | ( [-1] = 8 & [0] = 0 & [1] = 4 ) | ( [-1] = 8 & [0] = 0 & [1] = 5 ) | ( [-1] = 8 & [0] = 0 & [1] = 6 ) | ( [-1] = 8 & [0] = 0 & [1] = 7 ) | ( [-1] = 8 & [0] = 0 & [1] = 8 ) | ( [-1] = 8 & [0] = 0 & [1] = 9 ) | ( [-1] = 8 & [0] = 0 & [1] = 10 ) | ( [-1] = 8 & [0] = 0 & [1] = 11 ) | ( [-1] = 9 & [0] = 0 & [1] = 0 ) | ( [-1] = 9 & [0] = 0 & [1] = 1 ) | ( [-1] = 9 & [0] = 0 & [1] = 2 ) | ( [-1] = 9 & [0] = 0 & [1] = 3 ) | ( [-1] = 9 & [0] = 0 & [1] = 4 ) | ( [-1] = 9 & [0] = 0 & [1] = 5 ) | ( [-1] = 9 & [0] = 0 & [1] = 6 ) | ( [-1] = 9 & [0] = 0 & [1] = 7 ) | ( [-1] = 9 & [0] = 0 & [1] = 8 ) | ( [-1] = 9 & [0] = 0 & [1] = 9 ) | ( [-1] = 9 & [0] = 0 & [1] = 10 ) | ( [-1] = 9 & [0] = 0 & [1] = 11 ) | ( [-1] = 10 & [0] = 0 & [1] = 0 ) | ( [-1] = 10 & [0] = 0 & [1] = 1 ) | ( [-1] = 10 & [0] = 0 & [1] = 2 ) | ( [-1] = 10 & [0] = 0 & [1] = 3 ) | ( [-1] = 10 & [0] = 0 & [1] = 4 ) | ( [-1] = 10 & [0] = 0 & [1] = 5 ) | ( [-1] = 10 & [0] = 0 & [1] = 6 ) | ( [-1] = 10 & [0] = 0 & [1] = 7 ) | ( [-1] = 10 & [0] = 0 & [1] = 8 ) | ( [-1] = 10 & [0] = 0 & [1] = 9 ) | ( [-1] = 10 & [0] = 0 & [1] = 10 ) | ( [-1] = 10 & [0] = 0 & [1] = 11 ) | ( [-1] = 11 & [0] = 0 & [1] = 0 ) | ( [-1] = 11 & [0] = 0 & [1] = 1 ) | ( [-1] = 11 & [0] = 0 & [1] = 2 ) | ( [-1] = 11 & [0] = 0 & [1] = 3 ) | ( [-1] = 11 & [0] = 0 & [1] = 4 ) | ( [-1] = 11 & [0] = 0 & [1] = 5 ) | ( [-1] = 11 & [0] = 0 & [1] = 6 ) | ( [-1] = 11 & [0] = 0 & [1] = 7 ) | ( [-1] = 11 & [0] = 0 & [1] = 8 ) | ( [-1] = 11 & [0] = 0 & [1] = 9 ) | ( [-1] = 11 & [0] = 0 & [1] = 10 ) | ( [-1] = 11 & [0] = 0 & [1] = 11 ) ) := 1 when ( ( [-1] = 0 & [0] = 1 & [1] = 0 ) | ( [-1] = 0 & [0] = 1 & [1] = 1 ) | ( [-1] = 0 & [0] = 1 & [1] = 3 ) | ( [-1] = 0 & [0] = 1 & [1] = 4 ) | ( [-1] = 0 & [0] = 1 & [1] = 5 ) | ( [-1] = 0 & [0] = 1 & [1] = 6 ) | ( [-1] = 0 & [0] = 1 & [1] = 7 ) | ( [-1] = 0 & [0] = 1 & [1] = 8 ) | ( [-1] = 0 & [0] = 1 & [1] = 9 ) | ( [-1] = 0 & [0] = 1 & [1] = 10 ) | ( [-1] = 0 & [0] = 1 & [1] = 11 ) | ( [-1] = 0 & [0] = 3 & [1] = 1 ) | ( [-1] = 0 & [0] = 3 & [1] = 6 ) | ( [-1] = 0 & [0] = 4 & [1] = 1 ) | ( [-1] = 0 & [0] = 4 & [1] = 7 ) | ( [-1] = 0 & [0] = 5 & [1] = 1 ) | ( [-1] = 0 & [0] = 5 & [1] = 8 ) | ( [-1] = 0 & [0] = 9 & [1] = 0 ) | ( [-1] = 0 & [0] = 10 & [1] = 0 ) | ( [-1] = 0 & [0] = 11 & [1] = 0 ) | ( [-1] = 1 & [0] = 1 & [1] = 0 ) | ( [-1] = 1 & [0] = 1 & [1] = 1 ) | ( [-1] = 1 & [0] = 1 & [1] = 3 ) | ( [-1] = 1 & [0] = 1 & [1] = 4 ) | ( [-1] = 1 & [0] = 1 & [1] = 5 ) | ( [-1] = 1 & [0] = 1 & [1] = 9 ) | ( [-1] = 1 & [0] = 1 & [1] = 10 ) | ( [-1] = 1 & [0] = 1 & [1] = 11 ) | ( [-1] = 1 & [0] = 3 & [1] = 1 ) | ( [-1] = 1 & [0] = 3 & [1] = 6 ) | ( [-1] = 1 & [0] = 4 & [1] = 1 ) | ( [-1] = 1 & [0] = 4 & [1] = 7 ) | ( [-1] = 1 & [0] = 5 & [1] = 1 ) | ( [-1] = 1 & [0] = 5 & [1] = 8 ) | ( [-1] = 1 & [0] = 6 & [1] = 0 ) | ( [-1] = 1 & [0] = 6 & [1] = 1 ) | ( [-1] = 1 & [0] = 6 & [1] = 3 ) | ( [-1] = 1 & [0] = 6 & [1] = 4 ) | ( [-1] = 1 & [0] = 6 & [1] = 5 ) | ( [-1] = 1 & [0] = 6 & [1] = 6 ) | ( [-1] = 1 & [0] = 6 & [1] = 7 ) | ( [-1] = 1 & [0] = 6 & [1] = 8 ) | ( [-1] = 1 & [0] = 6 & [1] = 9 ) | ( [-1] = 1 & [0] = 6 & [1] = 10 ) | ( [-1] = 1 & [0] = 6 & [1] = 11 ) | ( [-1] = 1 & [0] = 7 & [1] = 0 ) | ( [-1] = 1 & [0] = 7 & [1] = 1 ) | ( [-1] = 1 & [0] = 7 & [1] = 3 ) | ( [-1] = 1 & [0] = 7 & [1] = 4 ) | ( [-1] = 1 & [0] = 7 & [1] = 5 ) | ( [-1] = 1 & [0] = 7 & [1] = 6 ) | ( [-1] = 1 & [0] = 7 & [1] = 7 ) | ( [-1] = 1 & [0] = 7 & [1] = 8 ) | ( [-1] = 1 & [0] = 7 & [1] = 9 ) | ( [-1] = 1 & [0] = 7 & [1] = 10 ) | ( [-1] = 1 & [0] = 7 & [1] = 11 ) | ( [-1] = 1 & [0] = 8 & [1] = 0 ) | ( [-1] = 1 & [0] = 8 & [1] = 1 ) | ( [-1] = 1 & [0] = 8 & [1] = 3 ) | ( [-1] = 1 & [0] = 8 & [1] = 4 ) | ( [-1] = 1 & [0] = 8 & [1] = 5 ) | ( [-1] = 1 & [0] = 8 & [1] = 6 ) | ( [-1] = 1 & [0] = 8 & [1] = 7 ) | ( [-1] = 1 & [0] = 8 & [1] = 8 ) | ( [-1] = 1 & [0] = 8 & [1] = 9 ) | ( [-1] = 1 & [0] = 8 & [1] = 10 ) | ( [-1] = 1 & [0] = 8 & [1] = 11 ) | ( [-1] = 3 & [0] = 1 & [1] = 0 ) | ( [-1] = 3 & [0] = 1 & [1] = 6 ) | ( [-1] = 3 & [0] = 1 & [1] = 9 ) | ( [-1] = 3 & [0] = 1 & [1] = 10 ) | ( [-1] = 3 & [0] = 1 & [1] = 11 ) | ( [-1] = 3 & [0] = 3 & [1] = 1 ) | ( [-1] = 3 & [0] = 3 & [1] = 6 ) | ( [-1] = 3 & [0] = 4 & [1] = 1 ) | ( [-1] = 3 & [0] = 4 & [1] = 7 ) | ( [-1] = 3 & [0] = 5 & [1] = 1 ) | ( [-1] = 3 & [0] = 5 & [1] = 8 ) | ( [-1] = 3 & [0] = 6 & [1] = 0 ) | ( [-1] = 3 & [0] = 6 & [1] = 1 ) | ( [-1] = 3 & [0] = 6 & [1] = 3 ) | ( [-1] = 3 & [0] = 6 & [1] = 4 ) | ( [-1] = 3 & [0] = 6 & [1] = 5 ) | ( [-1] = 3 & [0] = 6 & [1] = 6 ) | ( [-1] = 3 & [0] = 6 & [1] = 7 ) | ( [-1] = 3 & [0] = 6 & [1] = 8 ) | ( [-1] = 3 & [0] = 6 & [1] = 9 ) | ( [-1] = 3 & [0] = 6 & [1] = 10 ) | ( [-1] = 3 & [0] = 6 & [1] = 11 ) | ( [-1] = 3 & [0] = 9 & [1] = 6 ) | ( [-1] = 3 & [0] = 10 & [1] = 6 ) | ( [-1] = 3 & [0] = 11 & [1] = 6 ) | ( [-1] = 4 & [0] = 1 & [1] = 0 ) | ( [-1] = 4 & [0] = 1 & [1] = 7 ) | ( [-1] = 4 & [0] = 1 & [1] = 9 ) | ( [-1] = 4 & [0] = 1 & [1] = 10 ) | ( [-1] = 4 & [0] = 1 & [1] = 11 ) | ( [-1] = 4 & [0] = 3 & [1] = 1 ) | ( [-1] = 4 & [0] = 3 & [1] = 6 ) | ( [-1] = 4 & [0] = 4 & [1] = 1 ) | ( [-1] = 4 & [0] = 4 & [1] = 7 ) | ( [-1] = 4 & [0] = 5 & [1] = 1 ) | ( [-1] = 4 & [0] = 5 & [1] = 8 ) | ( [-1] = 4 & [0] = 7 & [1] = 0 ) | ( [-1] = 4 & [0] = 7 & [1] = 1 ) | ( [-1] = 4 & [0] = 7 & [1] = 3 ) | ( [-1] = 4 & [0] = 7 & [1] = 4 ) | ( [-1] = 4 & [0] = 7 & [1] = 5 ) | ( [-1] = 4 & [0] = 7 & [1] = 6 ) | ( [-1] = 4 & [0] = 7 & [1] = 7 ) | ( [-1] = 4 & [0] = 7 & [1] = 8 ) | ( [-1] = 4 & [0] = 7 & [1] = 9 ) | ( [-1] = 4 & [0] = 7 & [1] = 10 ) | ( [-1] = 4 & [0] = 7 & [1] = 11 ) | ( [-1] = 4 & [0] = 9 & [1] = 7 ) | ( [-1] = 4 & [0] = 10 & [1] = 7 ) | ( [-1] = 4 & [0] = 11 & [1] = 7 ) | ( [-1] = 5 & [0] = 1 & [1] = 0 ) | ( [-1] = 5 & [0] = 1 & [1] = 8 ) | ( [-1] = 5 & [0] = 1 & [1] = 9 ) | ( [-1] = 5 & [0] = 1 & [1] = 10 ) | ( [-1] = 5 & [0] = 1 & [1] = 11 ) | ( [-1] = 5 & [0] = 3 & [1] = 1 ) | ( [-1] = 5 & [0] = 3 & [1] = 6 ) | ( [-1] = 5 & [0] = 4 & [1] = 1 ) | ( [-1] = 5 & [0] = 4 & [1] = 7 ) | ( [-1] = 5 & [0] = 5 & [1] = 1 ) | ( [-1] = 5 & [0] = 5 & [1] = 8 ) | ( [-1] = 5 & [0] = 8 & [1] = 0 ) | ( [-1] = 5 & [0] = 8 & [1] = 1 ) | ( [-1] = 5 & [0] = 8 & [1] = 3 ) | ( [-1] = 5 & [0] = 8 & [1] = 4 ) | ( [-1] = 5 & [0] = 8 & [1] = 5 ) | ( [-1] = 5 & [0] = 8 & [1] = 6 ) | ( [-1] = 5 & [0] = 8 & [1] = 7 ) | ( [-1] = 5 & [0] = 8 & [1] = 8 ) | ( [-1] = 5 & [0] = 8 & [1] = 9 ) | ( [-1] = 5 & [0] = 8 & [1] = 10 ) | ( [-1] = 5 & [0] = 8 & [1] = 11 ) | ( [-1] = 5 & [0] = 9 & [1] = 8 ) | ( [-1] = 5 & [0] = 10 & [1] = 8 ) | ( [-1] = 5 & [0] = 11 & [1] = 8 ) | ( [-1] = 6 & [0] = 1 & [1] = 0 ) | ( [-1] = 6 & [0] = 1 & [1] = 1 ) | ( [-1] = 6 & [0] = 1 & [1] = 3 ) | ( [-1] = 6 & [0] = 1 & [1] = 4 ) | ( [-1] = 6 & [0] = 1 & [1] = 5 ) | ( [-1] = 6 & [0] = 1 & [1] = 9 ) | ( [-1] = 6 & [0] = 1 & [1] = 10 ) | ( [-1] = 6 & [0] = 1 & [1] = 11 ) | ( [-1] = 6 & [0] = 3 & [1] = 1 ) | ( [-1] = 6 & [0] = 3 & [1] = 6 ) | ( [-1] = 6 & [0] = 4 & [1] = 1 ) | ( [-1] = 6 & [0] = 4 & [1] = 7 ) | ( [-1] = 6 & [0] = 5 & [1] = 1 ) | ( [-1] = 6 & [0] = 5 & [1] = 8 ) | ( [-1] = 7 & [0] = 1 & [1] = 0 ) | ( [-1] = 7 & [0] = 1 & [1] = 1 ) | ( [-1] = 7 & [0] = 1 & [1] = 3 ) | ( [-1] = 7 & [0] = 1 & [1] = 4 ) | ( [-1] = 7 & [0] = 1 & [1] = 5 ) | ( [-1] = 7 & [0] = 1 & [1] = 9 ) | ( [-1] = 7 & [0] = 1 & [1] = 10 ) | ( [-1] = 7 & [0] = 1 & [1] = 11 ) | ( [-1] = 7 & [0] = 3 & [1] = 1 ) | ( [-1] = 7 & [0] = 3 & [1] = 6 ) | ( [-1] = 7 & [0] = 4 & [1] = 1 ) | ( [-1] = 7 & [0] = 4 & [1] = 7 ) | ( [-1] = 7 & [0] = 5 & [1] = 1 ) | ( [-1] = 7 & [0] = 5 & [1] = 8 ) | ( [-1] = 8 & [0] = 1 & [1] = 0 ) | ( [-1] = 8 & [0] = 1 & [1] = 1 ) | ( [-1] = 8 & [0] = 1 & [1] = 3 ) | ( [-1] = 8 & [0] = 1 & [1] = 4 ) | ( [-1] = 8 & [0] = 1 & [1] = 5 ) | ( [-1] = 8 & [0] = 1 & [1] = 9 ) | ( [-1] = 8 & [0] = 1 & [1] = 10 ) | ( [-1] = 8 & [0] = 1 & [1] = 11 ) | ( [-1] = 8 & [0] = 3 & [1] = 1 ) | ( [-1] = 8 & [0] = 3 & [1] = 6 ) | ( [-1] = 8 & [0] = 4 & [1] = 1 ) | ( [-1] = 8 & [0] = 4 & [1] = 7 ) | ( [-1] = 8 & [0] = 5 & [1] = 1 ) | ( [-1] = 8 & [0] = 5 & [1] = 8 ) | ( [-1] = 9 & [0] = 1 & [1] = 0 ) | ( [-1] = 9 & [0] = 1 & [1] = 1 ) | ( [-1] = 9 & [0] = 1 & [1] = 3 ) | ( [-1] = 9 & [0] = 1 & [1] = 4 ) | ( [-1] = 9 & [0] = 1 & [1] = 5 ) | ( [-1] = 9 & [0] = 1 & [1] = 6 ) | ( [-1] = 9 & [0] = 1 & [1] = 7 ) | ( [-1] = 9 & [0] = 1 & [1] = 8 ) | ( [-1] = 9 & [0] = 1 & [1] = 9 ) | ( [-1] = 9 & [0] = 1 & [1] = 10 ) | ( [-1] = 9 & [0] = 1 & [1] = 11 ) | ( [-1] = 9 & [0] = 3 & [1] = 1 ) | ( [-1] = 9 & [0] = 3 & [1] = 6 ) | ( [-1] = 9 & [0] = 4 & [1] = 1 ) | ( [-1] = 9 & [0] = 4 & [1] = 7 ) | ( [-1] = 9 & [0] = 5 & [1] = 1 ) | ( [-1] = 9 & [0] = 5 & [1] = 8 ) | ( [-1] = 10 & [0] = 1 & [1] = 0 ) | ( [-1] = 10 & [0] = 1 & [1] = 1 ) | ( [-1] = 10 & [0] = 1 & [1] = 3 ) | ( [-1] = 10 & [0] = 1 & [1] = 4 ) | ( [-1] = 10 & [0] = 1 & [1] = 5 ) | ( [-1] = 10 & [0] = 1 & [1] = 6 ) | ( [-1] = 10 & [0] = 1 & [1] = 7 ) | ( [-1] = 10 & [0] = 1 & [1] = 8 ) | ( [-1] = 10 & [0] = 1 & [1] = 9 ) | ( [-1] = 10 & [0] = 1 & [1] = 10 ) | ( [-1] = 10 & [0] = 1 & [1] = 11 ) | ( [-1] = 10 & [0] = 3 & [1] = 1 ) | ( [-1] = 10 & [0] = 3 & [1] = 6 ) | ( [-1] = 10 & [0] = 4 & [1] = 1 ) | ( [-1] = 10 & [0] = 4 & [1] = 7 ) | ( [-1] = 10 & [0] = 5 & [1] = 1 ) | ( [-1] = 10 & [0] = 5 & [1] = 8 ) | ( [-1] = 11 & [0] = 1 & [1] = 0 ) | ( [-1] = 11 & [0] = 1 & [1] = 1 ) | ( [-1] = 11 & [0] = 1 & [1] = 3 ) | ( [-1] = 11 & [0] = 1 & [1] = 4 ) | ( [-1] = 11 & [0] = 1 & [1] = 5 ) | ( [-1] = 11 & [0] = 1 & [1] = 6 ) | ( [-1] = 11 & [0] = 1 & [1] = 7 ) | ( [-1] = 11 & [0] = 1 & [1] = 8 ) | ( [-1] = 11 & [0] = 1 & [1] = 9 ) | ( [-1] = 11 & [0] = 1 & [1] = 10 ) | ( [-1] = 11 & [0] = 1 & [1] = 11 ) | ( [-1] = 11 & [0] = 3 & [1] = 1 ) | ( [-1] = 11 & [0] = 3 & [1] = 6 ) | ( [-1] = 11 & [0] = 4 & [1] = 1 ) | ( [-1] = 11 & [0] = 4 & [1] = 7 ) | ( [-1] = 11 & [0] = 5 & [1] = 1 ) | ( [-1] = 11 & [0] = 5 & [1] = 8 ) ) := 2 otherwise