negEx(parse([0])).
negEx(parse([1])).
negEx(parse([0,0])).
negEx(parse([1,0])).
negEx(parse([0,1])).
negEx(parse([1,1])).
negEx(parse([0,0,0])).
negEx(parse([1,0,0])).
negEx(parse([0,1,0])).
negEx(parse([1,1,0])).
negEx(parse([0,0,1])).
negEx(parse([1,0,1])).
negEx(parse([0,1,1])).
negEx(parse([1,1,1])).
negEx(parse([0,0,0,0])).
negEx(parse([1,0,0,0])).
negEx(parse([0,1,0,0])).
negEx(parse([1,1,0,0])).
negEx(parse([0,0,1,0])).
negEx(parse([1,0,1,0])).
negEx(parse([0,1,1,0])).
negEx(parse([1,1,1,0])).
negEx(parse([0,0,0,1])).
negEx(parse([1,0,0,1])).
negEx(parse([0,1,0,1])).
negEx(parse([1,1,0,1])).
negEx(parse([0,0,1,1])).
negEx(parse([1,0,1,1])).
negEx(parse([0,1,1,1])).
negEx(parse([1,1,1,1])).
negEx(parse([0,0,0,0,0])).
negEx(parse([1,0,0,0,0])).
negEx(parse([0,1,0,0,0])).
negEx(parse([1,1,0,0,0])).
negEx(parse([0,0,1,0,0])).
negEx(parse([1,0,1,0,0])).
negEx(parse([0,1,1,0,0])).
negEx(parse([1,1,1,0,0])).
negEx(parse([0,0,0,1,0])).
negEx(parse([1,0,0,1,0])).
negEx(parse([0,1,0,1,0])).
negEx(parse([1,1,0,1,0])).
negEx(parse([0,0,1,1,0])).
negEx(parse([1,0,1,1,0])).
negEx(parse([0,1,1,1,0])).
negEx(parse([1,1,1,1,0])).
negEx(parse([0,0,0,0,1])).
negEx(parse([1,0,0,0,1])).
negEx(parse([0,1,0,0,1])).
negEx(parse([1,1,0,0,1])).
negEx(parse([0,0,1,0,1])).
negEx(parse([1,0,1,0,1])).
negEx(parse([0,1,1,0,1])).
negEx(parse([1,1,1,0,1])).
negEx(parse([0,0,0,1,1])).
negEx(parse([1,0,0,1,1])).
negEx(parse([0,1,0,1,1])).
negEx(parse([1,1,0,1,1])).
negEx(parse([0,0,1,1,1])).
negEx(parse([1,0,1,1,1])).
negEx(parse([0,1,1,1,1])).
negEx(parse([1,1,1,1,1])).
negEx(parse([0,0,0,0,0,0])).
negEx(parse([1,0,0,0,0,0])).
negEx(parse([0,1,0,0,0,0])).
negEx(parse([1,1,0,0,0,0])).
negEx(parse([0,0,1,0,0,0])).
negEx(parse([1,0,1,0,0,0])).
negEx(parse([0,1,1,0,0,0])).
negEx(parse([1,1,1,0,0,0])).
negEx(parse([0,0,0,1,0,0])).
negEx(parse([1,0,0,1,0,0])).
negEx(parse([0,1,0,1,0,0])).
negEx(parse([1,1,0,1,0,0])).
negEx(parse([0,0,1,1,0,0])).
negEx(parse([1,0,1,1,0,0])).
negEx(parse([0,1,1,1,0,0])).
negEx(parse([1,1,1,1,0,0])).
negEx(parse([0,0,0,0,1,0])).
negEx(parse([1,0,0,0,1,0])).
negEx(parse([0,1,0,0,1,0])).
negEx(parse([1,1,0,0,1,0])).
negEx(parse([0,0,1,0,1,0])).
negEx(parse([1,0,1,0,1,0])).
negEx(parse([0,1,1,0,1,0])).
negEx(parse([1,1,1,0,1,0])).
negEx(parse([0,0,0,1,1,0])).
negEx(parse([1,0,0,1,1,0])).
negEx(parse([0,1,0,1,1,0])).
negEx(parse([1,1,0,1,1,0])).
negEx(parse([0,0,1,1,1,0])).
negEx(parse([1,0,1,1,1,0])).
negEx(parse([0,1,1,1,1,0])).
negEx(parse([1,1,1,1,1,0])).
negEx(parse([0,0,0,0,0,1])).
negEx(parse([1,0,0,0,0,1])).
negEx(parse([0,1,0,0,0,1])).
negEx(parse([1,1,0,0,0,1])).
negEx(parse([0,0,1,0,0,1])).
negEx(parse([1,0,1,0,0,1])).
negEx(parse([0,1,1,0,0,1])).
negEx(parse([1,1,1,0,0,1])).
negEx(parse([0,0,0,1,0,1])).
negEx(parse([1,0,0,1,0,1])).
negEx(parse([0,1,0,1,0,1])).
negEx(parse([1,1,0,1,0,1])).
negEx(parse([0,0,1,1,0,1])).
negEx(parse([1,0,1,1,0,1])).
negEx(parse([0,1,1,1,0,1])).
negEx(parse([1,1,1,1,0,1])).
negEx(parse([0,0,0,0,1,1])).
negEx(parse([1,0,0,0,1,1])).
negEx(parse([0,1,0,0,1,1])).
negEx(parse([1,1,0,0,1,1])).
negEx(parse([0,0,1,0,1,1])).
negEx(parse([1,0,1,0,1,1])).
negEx(parse([0,1,1,0,1,1])).
negEx(parse([1,1,1,0,1,1])).
negEx(parse([0,0,0,1,1,1])).
negEx(parse([1,0,0,1,1,1])).
negEx(parse([0,1,0,1,1,1])).
negEx(parse([1,1,0,1,1,1])).
negEx(parse([0,0,1,1,1,1])).
negEx(parse([1,0,1,1,1,1])).
negEx(parse([0,1,1,1,1,1])).
negEx(parse([1,1,1,1,1,1])).
negEx(parse([0,0,0,0,0,0,0])).
negEx(parse([1,0,0,0,0,0,0])).
negEx(parse([0,1,0,0,0,0,0])).
negEx(parse([1,1,0,0,0,0,0])).
negEx(parse([0,0,1,0,0,0,0])).
negEx(parse([1,0,1,0,0,0,0])).
negEx(parse([0,1,1,0,0,0,0])).
negEx(parse([1,1,1,0,0,0,0])).
negEx(parse([0,0,0,1,0,0,0])).
negEx(parse([1,0,0,1,0,0,0])).
negEx(parse([0,1,0,1,0,0,0])).
negEx(parse([1,1,0,1,0,0,0])).
negEx(parse([0,0,1,1,0,0,0])).
negEx(parse([1,0,1,1,0,0,0])).
negEx(parse([0,1,1,1,0,0,0])).
negEx(parse([1,1,1,1,0,0,0])).
negEx(parse([0,0,0,0,1,0,0])).
negEx(parse([1,0,0,0,1,0,0])).
negEx(parse([0,1,0,0,1,0,0])).
negEx(parse([1,1,0,0,1,0,0])).
negEx(parse([0,0,1,0,1,0,0])).
negEx(parse([1,0,1,0,1,0,0])).
negEx(parse([0,1,1,0,1,0,0])).
negEx(parse([1,1,1,0,1,0,0])).
negEx(parse([0,0,0,1,1,0,0])).
negEx(parse([1,0,0,1,1,0,0])).
negEx(parse([0,1,0,1,1,0,0])).
negEx(parse([1,1,0,1,1,0,0])).
negEx(parse([0,0,1,1,1,0,0])).
negEx(parse([1,0,1,1,1,0,0])).
negEx(parse([0,1,1,1,1,0,0])).
negEx(parse([1,1,1,1,1,0,0])).
negEx(parse([0,0,0,0,0,1,0])).
negEx(parse([1,0,0,0,0,1,0])).
negEx(parse([0,1,0,0,0,1,0])).
negEx(parse([1,1,0,0,0,1,0])).
negEx(parse([0,0,1,0,0,1,0])).
negEx(parse([1,0,1,0,0,1,0])).
negEx(parse([0,1,1,0,0,1,0])).
negEx(parse([1,1,1,0,0,1,0])).
negEx(parse([0,0,0,1,0,1,0])).
negEx(parse([1,0,0,1,0,1,0])).
negEx(parse([0,1,0,1,0,1,0])).
negEx(parse([1,1,0,1,0,1,0])).
negEx(parse([0,0,1,1,0,1,0])).
negEx(parse([1,0,1,1,0,1,0])).
negEx(parse([0,1,1,1,0,1,0])).
negEx(parse([1,1,1,1,0,1,0])).
negEx(parse([0,0,0,0,1,1,0])).
negEx(parse([1,0,0,0,1,1,0])).
negEx(parse([0,1,0,0,1,1,0])).
negEx(parse([1,1,0,0,1,1,0])).
negEx(parse([0,0,1,0,1,1,0])).
negEx(parse([1,0,1,0,1,1,0])).
negEx(parse([0,1,1,0,1,1,0])).
negEx(parse([1,1,1,0,1,1,0])).
negEx(parse([0,0,0,1,1,1,0])).
negEx(parse([1,0,0,1,1,1,0])).
negEx(parse([0,1,0,1,1,1,0])).
negEx(parse([1,1,0,1,1,1,0])).
negEx(parse([0,0,1,1,1,1,0])).
negEx(parse([1,0,1,1,1,1,0])).
negEx(parse([0,1,1,1,1,1,0])).
negEx(parse([1,1,1,1,1,1,0])).
negEx(parse([0,0,0,0,0,0,1])).
negEx(parse([1,0,0,0,0,0,1])).
negEx(parse([0,1,0,0,0,0,1])).
negEx(parse([1,1,0,0,0,0,1])).
negEx(parse([0,0,1,0,0,0,1])).
negEx(parse([1,0,1,0,0,0,1])).
negEx(parse([0,1,1,0,0,0,1])).
negEx(parse([1,1,1,0,0,0,1])).
negEx(parse([0,0,0,1,0,0,1])).
negEx(parse([1,0,0,1,0,0,1])).
negEx(parse([0,1,0,1,0,0,1])).
negEx(parse([1,1,0,1,0,0,1])).
negEx(parse([0,0,1,1,0,0,1])).
negEx(parse([1,0,1,1,0,0,1])).
negEx(parse([0,1,1,1,0,0,1])).
negEx(parse([1,1,1,1,0,0,1])).
negEx(parse([0,0,0,0,1,0,1])).
negEx(parse([1,0,0,0,1,0,1])).
negEx(parse([0,1,0,0,1,0,1])).
negEx(parse([1,1,0,0,1,0,1])).
negEx(parse([0,0,1,0,1,0,1])).
negEx(parse([1,0,1,0,1,0,1])).
negEx(parse([0,1,1,0,1,0,1])).
negEx(parse([1,1,1,0,1,0,1])).
negEx(parse([0,0,0,1,1,0,1])).
negEx(parse([1,0,0,1,1,0,1])).
negEx(parse([0,1,0,1,1,0,1])).
negEx(parse([1,1,0,1,1,0,1])).
negEx(parse([0,0,1,1,1,0,1])).
negEx(parse([1,0,1,1,1,0,1])).
negEx(parse([0,1,1,1,1,0,1])).
negEx(parse([1,1,1,1,1,0,1])).
negEx(parse([0,0,0,0,0,1,1])).
negEx(parse([1,0,0,0,0,1,1])).
negEx(parse([0,1,0,0,0,1,1])).
negEx(parse([1,1,0,0,0,1,1])).
negEx(parse([0,0,1,0,0,1,1])).
negEx(parse([1,0,1,0,0,1,1])).
negEx(parse([0,1,1,0,0,1,1])).
negEx(parse([1,1,1,0,0,1,1])).
negEx(parse([0,0,0,1,0,1,1])).
negEx(parse([1,0,0,1,0,1,1])).
negEx(parse([0,1,0,1,0,1,1])).
negEx(parse([1,1,0,1,0,1,1])).
negEx(parse([0,0,1,1,0,1,1])).
negEx(parse([1,0,1,1,0,1,1])).
negEx(parse([0,1,1,1,0,1,1])).
negEx(parse([1,1,1,1,0,1,1])).
negEx(parse([0,0,0,0,1,1,1])).
negEx(parse([1,0,0,0,1,1,1])).
negEx(parse([0,1,0,0,1,1,1])).
negEx(parse([1,1,0,0,1,1,1])).
negEx(parse([0,0,1,0,1,1,1])).
negEx(parse([1,0,1,0,1,1,1])).
negEx(parse([0,1,1,0,1,1,1])).
negEx(parse([1,1,1,0,1,1,1])).
negEx(parse([0,0,0,1,1,1,1])).
negEx(parse([1,0,0,1,1,1,1])).
negEx(parse([0,1,0,1,1,1,1])).
negEx(parse([1,1,0,1,1,1,1])).
negEx(parse([0,0,1,1,1,1,1])).
negEx(parse([1,0,1,1,1,1,1])).
negEx(parse([0,1,1,1,1,1,1])).
negEx(parse([1,1,1,1,1,1,1])).
negEx(parse([0,0,0,0,0,0,0,0])).
negEx(parse([1,0,0,0,0,0,0,0])).
negEx(parse([0,1,0,0,0,0,0,0])).
negEx(parse([1,1,0,0,0,0,0,0])).
negEx(parse([0,0,1,0,0,0,0,0])).
negEx(parse([1,0,1,0,0,0,0,0])).
negEx(parse([0,1,1,0,0,0,0,0])).
negEx(parse([1,1,1,0,0,0,0,0])).
negEx(parse([0,0,0,1,0,0,0,0])).
negEx(parse([1,0,0,1,0,0,0,0])).
negEx(parse([0,1,0,1,0,0,0,0])).
negEx(parse([1,1,0,1,0,0,0,0])).
negEx(parse([0,0,1,1,0,0,0,0])).
negEx(parse([1,0,1,1,0,0,0,0])).
negEx(parse([0,1,1,1,0,0,0,0])).
negEx(parse([1,1,1,1,0,0,0,0])).
negEx(parse([0,0,0,0,1,0,0,0])).
negEx(parse([1,0,0,0,1,0,0,0])).
negEx(parse([0,1,0,0,1,0,0,0])).
negEx(parse([1,1,0,0,1,0,0,0])).
negEx(parse([0,0,1,0,1,0,0,0])).
negEx(parse([1,0,1,0,1,0,0,0])).
negEx(parse([0,1,1,0,1,0,0,0])).
negEx(parse([1,1,1,0,1,0,0,0])).
negEx(parse([0,0,0,1,1,0,0,0])).
negEx(parse([1,0,0,1,1,0,0,0])).
negEx(parse([0,1,0,1,1,0,0,0])).
negEx(parse([1,1,0,1,1,0,0,0])).
negEx(parse([0,0,1,1,1,0,0,0])).
negEx(parse([1,0,1,1,1,0,0,0])).
negEx(parse([0,1,1,1,1,0,0,0])).
negEx(parse([1,1,1,1,1,0,0,0])).
negEx(parse([0,0,0,0,0,1,0,0])).
negEx(parse([1,0,0,0,0,1,0,0])).
negEx(parse([0,1,0,0,0,1,0,0])).
negEx(parse([1,1,0,0,0,1,0,0])).
negEx(parse([0,0,1,0,0,1,0,0])).
negEx(parse([1,0,1,0,0,1,0,0])).
negEx(parse([0,1,1,0,0,1,0,0])).
negEx(parse([1,1,1,0,0,1,0,0])).
negEx(parse([0,0,0,1,0,1,0,0])).
negEx(parse([1,0,0,1,0,1,0,0])).
negEx(parse([0,1,0,1,0,1,0,0])).
negEx(parse([1,1,0,1,0,1,0,0])).
negEx(parse([0,0,1,1,0,1,0,0])).
negEx(parse([1,0,1,1,0,1,0,0])).
negEx(parse([0,1,1,1,0,1,0,0])).
negEx(parse([1,1,1,1,0,1,0,0])).
negEx(parse([0,0,0,0,1,1,0,0])).
negEx(parse([1,0,0,0,1,1,0,0])).
negEx(parse([0,1,0,0,1,1,0,0])).
negEx(parse([1,1,0,0,1,1,0,0])).
negEx(parse([0,0,1,0,1,1,0,0])).
negEx(parse([1,0,1,0,1,1,0,0])).
negEx(parse([0,1,1,0,1,1,0,0])).
negEx(parse([1,1,1,0,1,1,0,0])).
negEx(parse([0,0,0,1,1,1,0,0])).
negEx(parse([1,0,0,1,1,1,0,0])).
negEx(parse([0,1,0,1,1,1,0,0])).
negEx(parse([1,1,0,1,1,1,0,0])).
negEx(parse([0,0,1,1,1,1,0,0])).
negEx(parse([1,0,1,1,1,1,0,0])).
negEx(parse([0,1,1,1,1,1,0,0])).
negEx(parse([1,1,1,1,1,1,0,0])).
negEx(parse([0,0,0,0,0,0,1,0])).
negEx(parse([1,0,0,0,0,0,1,0])).
negEx(parse([0,1,0,0,0,0,1,0])).
negEx(parse([1,1,0,0,0,0,1,0])).
negEx(parse([0,0,1,0,0,0,1,0])).
negEx(parse([1,0,1,0,0,0,1,0])).
negEx(parse([0,1,1,0,0,0,1,0])).
negEx(parse([1,1,1,0,0,0,1,0])).
negEx(parse([0,0,0,1,0,0,1,0])).
negEx(parse([1,0,0,1,0,0,1,0])).
negEx(parse([0,1,0,1,0,0,1,0])).
negEx(parse([1,1,0,1,0,0,1,0])).
negEx(parse([0,0,1,1,0,0,1,0])).
negEx(parse([1,0,1,1,0,0,1,0])).
negEx(parse([0,1,1,1,0,0,1,0])).
negEx(parse([1,1,1,1,0,0,1,0])).
negEx(parse([0,0,0,0,1,0,1,0])).
negEx(parse([1,0,0,0,1,0,1,0])).
negEx(parse([0,1,0,0,1,0,1,0])).
negEx(parse([1,1,0,0,1,0,1,0])).
negEx(parse([0,0,1,0,1,0,1,0])).
negEx(parse([1,0,1,0,1,0,1,0])).
negEx(parse([0,1,1,0,1,0,1,0])).
negEx(parse([1,1,1,0,1,0,1,0])).
negEx(parse([0,0,0,1,1,0,1,0])).
negEx(parse([1,0,0,1,1,0,1,0])).
negEx(parse([0,1,0,1,1,0,1,0])).
negEx(parse([1,1,0,1,1,0,1,0])).
negEx(parse([0,0,1,1,1,0,1,0])).
negEx(parse([1,0,1,1,1,0,1,0])).
negEx(parse([0,1,1,1,1,0,1,0])).
negEx(parse([1,1,1,1,1,0,1,0])).
negEx(parse([0,0,0,0,0,1,1,0])).
negEx(parse([1,0,0,0,0,1,1,0])).
negEx(parse([0,1,0,0,0,1,1,0])).
negEx(parse([1,1,0,0,0,1,1,0])).
negEx(parse([0,0,1,0,0,1,1,0])).
negEx(parse([1,0,1,0,0,1,1,0])).
negEx(parse([0,1,1,0,0,1,1,0])).
negEx(parse([1,1,1,0,0,1,1,0])).
negEx(parse([0,0,0,1,0,1,1,0])).
negEx(parse([1,0,0,1,0,1,1,0])).
negEx(parse([0,1,0,1,0,1,1,0])).
negEx(parse([1,1,0,1,0,1,1,0])).
negEx(parse([0,0,1,1,0,1,1,0])).
negEx(parse([1,0,1,1,0,1,1,0])).
negEx(parse([0,1,1,1,0,1,1,0])).
negEx(parse([1,1,1,1,0,1,1,0])).
negEx(parse([0,0,0,0,1,1,1,0])).
negEx(parse([1,0,0,0,1,1,1,0])).
negEx(parse([0,1,0,0,1,1,1,0])).
negEx(parse([1,1,0,0,1,1,1,0])).
negEx(parse([0,0,1,0,1,1,1,0])).
negEx(parse([1,0,1,0,1,1,1,0])).
negEx(parse([0,1,1,0,1,1,1,0])).
negEx(parse([1,1,1,0,1,1,1,0])).
negEx(parse([0,0,0,1,1,1,1,0])).
negEx(parse([1,0,0,1,1,1,1,0])).
negEx(parse([0,1,0,1,1,1,1,0])).
negEx(parse([1,1,0,1,1,1,1,0])).
negEx(parse([0,0,1,1,1,1,1,0])).
negEx(parse([1,0,1,1,1,1,1,0])).
negEx(parse([0,1,1,1,1,1,1,0])).
negEx(parse([1,1,1,1,1,1,1,0])).
negEx(parse([0,0,0,0,0,0,0,1])).
negEx(parse([1,0,0,0,0,0,0,1])).
negEx(parse([0,1,0,0,0,0,0,1])).
negEx(parse([1,1,0,0,0,0,0,1])).
negEx(parse([0,0,1,0,0,0,0,1])).
negEx(parse([1,0,1,0,0,0,0,1])).
negEx(parse([0,1,1,0,0,0,0,1])).
negEx(parse([1,1,1,0,0,0,0,1])).
negEx(parse([0,0,0,1,0,0,0,1])).
negEx(parse([1,0,0,1,0,0,0,1])).
negEx(parse([0,1,0,1,0,0,0,1])).
negEx(parse([1,1,0,1,0,0,0,1])).
negEx(parse([0,0,1,1,0,0,0,1])).
negEx(parse([1,0,1,1,0,0,0,1])).
negEx(parse([0,1,1,1,0,0,0,1])).
negEx(parse([1,1,1,1,0,0,0,1])).
negEx(parse([0,0,0,0,1,0,0,1])).
negEx(parse([1,0,0,0,1,0,0,1])).
negEx(parse([0,1,0,0,1,0,0,1])).
negEx(parse([1,1,0,0,1,0,0,1])).
negEx(parse([0,0,1,0,1,0,0,1])).
negEx(parse([1,0,1,0,1,0,0,1])).
negEx(parse([0,1,1,0,1,0,0,1])).
negEx(parse([1,1,1,0,1,0,0,1])).
negEx(parse([0,0,0,1,1,0,0,1])).
negEx(parse([1,0,0,1,1,0,0,1])).
negEx(parse([0,1,0,1,1,0,0,1])).
negEx(parse([1,1,0,1,1,0,0,1])).
negEx(parse([0,0,1,1,1,0,0,1])).
negEx(parse([1,0,1,1,1,0,0,1])).
negEx(parse([0,1,1,1,1,0,0,1])).
negEx(parse([1,1,1,1,1,0,0,1])).
negEx(parse([0,0,0,0,0,1,0,1])).
negEx(parse([1,0,0,0,0,1,0,1])).
negEx(parse([0,1,0,0,0,1,0,1])).
negEx(parse([1,1,0,0,0,1,0,1])).
negEx(parse([0,0,1,0,0,1,0,1])).
negEx(parse([1,0,1,0,0,1,0,1])).
negEx(parse([0,1,1,0,0,1,0,1])).
negEx(parse([1,1,1,0,0,1,0,1])).
negEx(parse([0,0,0,1,0,1,0,1])).
negEx(parse([1,0,0,1,0,1,0,1])).
negEx(parse([0,1,0,1,0,1,0,1])).
negEx(parse([1,1,0,1,0,1,0,1])).
negEx(parse([0,0,1,1,0,1,0,1])).
negEx(parse([1,0,1,1,0,1,0,1])).
negEx(parse([0,1,1,1,0,1,0,1])).
negEx(parse([1,1,1,1,0,1,0,1])).
negEx(parse([0,0,0,0,1,1,0,1])).
negEx(parse([1,0,0,0,1,1,0,1])).
negEx(parse([0,1,0,0,1,1,0,1])).
negEx(parse([1,1,0,0,1,1,0,1])).
negEx(parse([0,0,1,0,1,1,0,1])).
negEx(parse([1,0,1,0,1,1,0,1])).
negEx(parse([0,1,1,0,1,1,0,1])).
negEx(parse([1,1,1,0,1,1,0,1])).
negEx(parse([0,0,0,1,1,1,0,1])).
negEx(parse([1,0,0,1,1,1,0,1])).
negEx(parse([0,1,0,1,1,1,0,1])).
negEx(parse([1,1,0,1,1,1,0,1])).
negEx(parse([0,0,1,1,1,1,0,1])).
negEx(parse([1,0,1,1,1,1,0,1])).
negEx(parse([0,1,1,1,1,1,0,1])).
negEx(parse([1,1,1,1,1,1,0,1])).
negEx(parse([0,0,0,0,0,0,1,1])).
negEx(parse([1,0,0,0,0,0,1,1])).
negEx(parse([0,1,0,0,0,0,1,1])).
negEx(parse([1,1,0,0,0,0,1,1])).
negEx(parse([0,0,1,0,0,0,1,1])).
negEx(parse([1,0,1,0,0,0,1,1])).
negEx(parse([0,1,1,0,0,0,1,1])).
negEx(parse([1,1,1,0,0,0,1,1])).
negEx(parse([0,0,0,1,0,0,1,1])).
negEx(parse([1,0,0,1,0,0,1,1])).
negEx(parse([0,1,0,1,0,0,1,1])).
negEx(parse([1,1,0,1,0,0,1,1])).
negEx(parse([0,0,1,1,0,0,1,1])).
negEx(parse([1,0,1,1,0,0,1,1])).
negEx(parse([0,1,1,1,0,0,1,1])).
negEx(parse([1,1,1,1,0,0,1,1])).
negEx(parse([0,0,0,0,1,0,1,1])).
negEx(parse([1,0,0,0,1,0,1,1])).
negEx(parse([0,1,0,0,1,0,1,1])).
negEx(parse([1,1,0,0,1,0,1,1])).
negEx(parse([0,0,1,0,1,0,1,1])).
negEx(parse([1,0,1,0,1,0,1,1])).
negEx(parse([0,1,1,0,1,0,1,1])).
negEx(parse([1,1,1,0,1,0,1,1])).
negEx(parse([0,0,0,1,1,0,1,1])).
negEx(parse([1,0,0,1,1,0,1,1])).
negEx(parse([0,1,0,1,1,0,1,1])).
negEx(parse([1,1,0,1,1,0,1,1])).
negEx(parse([0,0,1,1,1,0,1,1])).
negEx(parse([1,0,1,1,1,0,1,1])).
negEx(parse([0,1,1,1,1,0,1,1])).
negEx(parse([1,1,1,1,1,0,1,1])).
negEx(parse([0,0,0,0,0,1,1,1])).
negEx(parse([1,0,0,0,0,1,1,1])).
negEx(parse([0,1,0,0,0,1,1,1])).
negEx(parse([1,1,0,0,0,1,1,1])).
negEx(parse([0,0,1,0,0,1,1,1])).
negEx(parse([1,0,1,0,0,1,1,1])).
negEx(parse([0,1,1,0,0,1,1,1])).
negEx(parse([1,1,1,0,0,1,1,1])).
negEx(parse([0,0,0,1,0,1,1,1])).
negEx(parse([1,0,0,1,0,1,1,1])).
negEx(parse([0,1,0,1,0,1,1,1])).
negEx(parse([1,1,0,1,0,1,1,1])).
negEx(parse([0,0,1,1,0,1,1,1])).
negEx(parse([1,0,1,1,0,1,1,1])).
negEx(parse([0,1,1,1,0,1,1,1])).
negEx(parse([1,1,1,1,0,1,1,1])).
negEx(parse([0,0,0,0,1,1,1,1])).
negEx(parse([1,0,0,0,1,1,1,1])).
negEx(parse([0,1,0,0,1,1,1,1])).
negEx(parse([1,1,0,0,1,1,1,1])).
negEx(parse([0,0,1,0,1,1,1,1])).
negEx(parse([1,0,1,0,1,1,1,1])).
negEx(parse([0,1,1,0,1,1,1,1])).
negEx(parse([1,1,1,0,1,1,1,1])).
negEx(parse([0,0,0,1,1,1,1,1])).
negEx(parse([1,0,0,1,1,1,1,1])).
negEx(parse([0,1,0,1,1,1,1,1])).
negEx(parse([1,1,0,1,1,1,1,1])).
negEx(parse([0,0,1,1,1,1,1,1])).
negEx(parse([1,0,1,1,1,1,1,1])).
negEx(parse([0,1,1,1,1,1,1,1])).
negEx(parse([1,1,1,1,1,1,1,1])).
negEx(parse([0,0,0,0,0,0,0,0,0])).
negEx(parse([1,0,0,0,0,0,0,0,0])).
negEx(parse([0,1,0,0,0,0,0,0,0])).
negEx(parse([1,1,0,0,0,0,0,0,0])).
negEx(parse([0,0,1,0,0,0,0,0,0])).
negEx(parse([1,0,1,0,0,0,0,0,0])).
negEx(parse([0,1,1,0,0,0,0,0,0])).
negEx(parse([1,1,1,0,0,0,0,0,0])).
negEx(parse([0,0,0,1,0,0,0,0,0])).
negEx(parse([1,0,0,1,0,0,0,0,0])).
negEx(parse([0,1,0,1,0,0,0,0,0])).
negEx(parse([1,1,0,1,0,0,0,0,0])).
negEx(parse([0,0,1,1,0,0,0,0,0])).
negEx(parse([1,0,1,1,0,0,0,0,0])).
negEx(parse([0,1,1,1,0,0,0,0,0])).
negEx(parse([1,1,1,1,0,0,0,0,0])).
negEx(parse([0,0,0,0,1,0,0,0,0])).
negEx(parse([1,0,0,0,1,0,0,0,0])).
negEx(parse([0,1,0,0,1,0,0,0,0])).
negEx(parse([1,1,0,0,1,0,0,0,0])).
negEx(parse([0,0,1,0,1,0,0,0,0])).
negEx(parse([1,0,1,0,1,0,0,0,0])).
negEx(parse([0,1,1,0,1,0,0,0,0])).
negEx(parse([1,1,1,0,1,0,0,0,0])).
negEx(parse([0,0,0,1,1,0,0,0,0])).
negEx(parse([1,0,0,1,1,0,0,0,0])).
negEx(parse([0,1,0,1,1,0,0,0,0])).
negEx(parse([1,1,0,1,1,0,0,0,0])).
negEx(parse([0,0,1,1,1,0,0,0,0])).
negEx(parse([1,0,1,1,1,0,0,0,0])).
negEx(parse([0,1,1,1,1,0,0,0,0])).
negEx(parse([1,1,1,1,1,0,0,0,0])).
negEx(parse([0,0,0,0,0,1,0,0,0])).
negEx(parse([1,0,0,0,0,1,0,0,0])).
negEx(parse([0,1,0,0,0,1,0,0,0])).
negEx(parse([1,1,0,0,0,1,0,0,0])).
negEx(parse([0,0,1,0,0,1,0,0,0])).
negEx(parse([1,0,1,0,0,1,0,0,0])).
negEx(parse([0,1,1,0,0,1,0,0,0])).
negEx(parse([1,1,1,0,0,1,0,0,0])).
negEx(parse([0,0,0,1,0,1,0,0,0])).
negEx(parse([1,0,0,1,0,1,0,0,0])).
negEx(parse([0,1,0,1,0,1,0,0,0])).
negEx(parse([1,1,0,1,0,1,0,0,0])).
negEx(parse([0,0,1,1,0,1,0,0,0])).
negEx(parse([1,0,1,1,0,1,0,0,0])).
negEx(parse([0,1,1,1,0,1,0,0,0])).
negEx(parse([1,1,1,1,0,1,0,0,0])).
negEx(parse([0,0,0,0,1,1,0,0,0])).
negEx(parse([1,0,0,0,1,1,0,0,0])).
negEx(parse([0,1,0,0,1,1,0,0,0])).
negEx(parse([1,1,0,0,1,1,0,0,0])).
negEx(parse([0,0,1,0,1,1,0,0,0])).
negEx(parse([1,0,1,0,1,1,0,0,0])).
negEx(parse([0,1,1,0,1,1,0,0,0])).
negEx(parse([1,1,1,0,1,1,0,0,0])).
negEx(parse([0,0,0,1,1,1,0,0,0])).
negEx(parse([1,0,0,1,1,1,0,0,0])).
negEx(parse([0,1,0,1,1,1,0,0,0])).
negEx(parse([1,1,0,1,1,1,0,0,0])).
negEx(parse([0,0,1,1,1,1,0,0,0])).
negEx(parse([1,0,1,1,1,1,0,0,0])).
negEx(parse([0,1,1,1,1,1,0,0,0])).
negEx(parse([1,1,1,1,1,1,0,0,0])).
negEx(parse([0,0,0,0,0,0,1,0,0])).
negEx(parse([1,0,0,0,0,0,1,0,0])).
negEx(parse([0,1,0,0,0,0,1,0,0])).
negEx(parse([1,1,0,0,0,0,1,0,0])).
negEx(parse([0,0,1,0,0,0,1,0,0])).
negEx(parse([1,0,1,0,0,0,1,0,0])).
negEx(parse([0,1,1,0,0,0,1,0,0])).
negEx(parse([1,1,1,0,0,0,1,0,0])).
negEx(parse([0,0,0,1,0,0,1,0,0])).
negEx(parse([1,0,0,1,0,0,1,0,0])).
negEx(parse([0,1,0,1,0,0,1,0,0])).
negEx(parse([1,1,0,1,0,0,1,0,0])).
negEx(parse([0,0,1,1,0,0,1,0,0])).
negEx(parse([1,0,1,1,0,0,1,0,0])).
negEx(parse([0,1,1,1,0,0,1,0,0])).
negEx(parse([1,1,1,1,0,0,1,0,0])).
negEx(parse([0,0,0,0,1,0,1,0,0])).
negEx(parse([1,0,0,0,1,0,1,0,0])).
negEx(parse([0,1,0,0,1,0,1,0,0])).
negEx(parse([1,1,0,0,1,0,1,0,0])).
negEx(parse([0,0,1,0,1,0,1,0,0])).
negEx(parse([1,0,1,0,1,0,1,0,0])).
negEx(parse([0,1,1,0,1,0,1,0,0])).
negEx(parse([1,1,1,0,1,0,1,0,0])).
negEx(parse([0,0,0,1,1,0,1,0,0])).
negEx(parse([1,0,0,1,1,0,1,0,0])).
negEx(parse([0,1,0,1,1,0,1,0,0])).
negEx(parse([1,1,0,1,1,0,1,0,0])).
negEx(parse([0,0,1,1,1,0,1,0,0])).
negEx(parse([1,0,1,1,1,0,1,0,0])).
negEx(parse([0,1,1,1,1,0,1,0,0])).
negEx(parse([1,1,1,1,1,0,1,0,0])).
negEx(parse([0,0,0,0,0,1,1,0,0])).
negEx(parse([1,0,0,0,0,1,1,0,0])).
negEx(parse([0,1,0,0,0,1,1,0,0])).
negEx(parse([1,1,0,0,0,1,1,0,0])).
negEx(parse([0,0,1,0,0,1,1,0,0])).
negEx(parse([1,0,1,0,0,1,1,0,0])).
negEx(parse([0,1,1,0,0,1,1,0,0])).
negEx(parse([1,1,1,0,0,1,1,0,0])).
negEx(parse([0,0,0,1,0,1,1,0,0])).
negEx(parse([1,0,0,1,0,1,1,0,0])).
negEx(parse([0,1,0,1,0,1,1,0,0])).
negEx(parse([1,1,0,1,0,1,1,0,0])).
negEx(parse([0,0,1,1,0,1,1,0,0])).
negEx(parse([1,0,1,1,0,1,1,0,0])).
negEx(parse([0,1,1,1,0,1,1,0,0])).
negEx(parse([1,1,1,1,0,1,1,0,0])).
negEx(parse([0,0,0,0,1,1,1,0,0])).
negEx(parse([1,0,0,0,1,1,1,0,0])).
negEx(parse([0,1,0,0,1,1,1,0,0])).
negEx(parse([1,1,0,0,1,1,1,0,0])).
negEx(parse([0,0,1,0,1,1,1,0,0])).
negEx(parse([1,0,1,0,1,1,1,0,0])).
negEx(parse([0,1,1,0,1,1,1,0,0])).
negEx(parse([1,1,1,0,1,1,1,0,0])).
negEx(parse([0,0,0,1,1,1,1,0,0])).
negEx(parse([1,0,0,1,1,1,1,0,0])).
negEx(parse([0,1,0,1,1,1,1,0,0])).
negEx(parse([1,1,0,1,1,1,1,0,0])).
negEx(parse([0,0,1,1,1,1,1,0,0])).
negEx(parse([1,0,1,1,1,1,1,0,0])).
negEx(parse([0,1,1,1,1,1,1,0,0])).
negEx(parse([1,1,1,1,1,1,1,0,0])).
negEx(parse([0,0,0,0,0,0,0,1,0])).
negEx(parse([1,0,0,0,0,0,0,1,0])).
negEx(parse([0,1,0,0,0,0,0,1,0])).
negEx(parse([1,1,0,0,0,0,0,1,0])).
negEx(parse([0,0,1,0,0,0,0,1,0])).
negEx(parse([1,0,1,0,0,0,0,1,0])).
negEx(parse([0,1,1,0,0,0,0,1,0])).
negEx(parse([1,1,1,0,0,0,0,1,0])).
negEx(parse([0,0,0,1,0,0,0,1,0])).
negEx(parse([1,0,0,1,0,0,0,1,0])).
negEx(parse([0,1,0,1,0,0,0,1,0])).
negEx(parse([1,1,0,1,0,0,0,1,0])).
negEx(parse([0,0,1,1,0,0,0,1,0])).
negEx(parse([1,0,1,1,0,0,0,1,0])).
negEx(parse([0,1,1,1,0,0,0,1,0])).
negEx(parse([1,1,1,1,0,0,0,1,0])).
negEx(parse([0,0,0,0,1,0,0,1,0])).
negEx(parse([1,0,0,0,1,0,0,1,0])).
negEx(parse([0,1,0,0,1,0,0,1,0])).
negEx(parse([1,1,0,0,1,0,0,1,0])).
negEx(parse([0,0,1,0,1,0,0,1,0])).
negEx(parse([1,0,1,0,1,0,0,1,0])).
negEx(parse([0,1,1,0,1,0,0,1,0])).
negEx(parse([1,1,1,0,1,0,0,1,0])).
negEx(parse([0,0,0,1,1,0,0,1,0])).
negEx(parse([1,0,0,1,1,0,0,1,0])).
negEx(parse([0,1,0,1,1,0,0,1,0])).
negEx(parse([1,1,0,1,1,0,0,1,0])).
negEx(parse([0,0,1,1,1,0,0,1,0])).
negEx(parse([1,0,1,1,1,0,0,1,0])).
negEx(parse([0,1,1,1,1,0,0,1,0])).
negEx(parse([1,1,1,1,1,0,0,1,0])).
negEx(parse([0,0,0,0,0,1,0,1,0])).
negEx(parse([1,0,0,0,0,1,0,1,0])).
negEx(parse([0,1,0,0,0,1,0,1,0])).
negEx(parse([1,1,0,0,0,1,0,1,0])).
negEx(parse([0,0,1,0,0,1,0,1,0])).
negEx(parse([1,0,1,0,0,1,0,1,0])).
negEx(parse([0,1,1,0,0,1,0,1,0])).
negEx(parse([1,1,1,0,0,1,0,1,0])).
negEx(parse([0,0,0,1,0,1,0,1,0])).
negEx(parse([1,0,0,1,0,1,0,1,0])).
negEx(parse([0,1,0,1,0,1,0,1,0])).
negEx(parse([1,1,0,1,0,1,0,1,0])).
negEx(parse([0,0,1,1,0,1,0,1,0])).
negEx(parse([1,0,1,1,0,1,0,1,0])).
negEx(parse([0,1,1,1,0,1,0,1,0])).
negEx(parse([1,1,1,1,0,1,0,1,0])).
negEx(parse([0,0,0,0,1,1,0,1,0])).
negEx(parse([1,0,0,0,1,1,0,1,0])).
negEx(parse([0,1,0,0,1,1,0,1,0])).
negEx(parse([1,1,0,0,1,1,0,1,0])).
negEx(parse([0,0,1,0,1,1,0,1,0])).
negEx(parse([1,0,1,0,1,1,0,1,0])).
negEx(parse([0,1,1,0,1,1,0,1,0])).
negEx(parse([1,1,1,0,1,1,0,1,0])).
negEx(parse([0,0,0,1,1,1,0,1,0])).
negEx(parse([1,0,0,1,1,1,0,1,0])).
negEx(parse([0,1,0,1,1,1,0,1,0])).
negEx(parse([1,1,0,1,1,1,0,1,0])).
negEx(parse([0,0,1,1,1,1,0,1,0])).
negEx(parse([1,0,1,1,1,1,0,1,0])).
negEx(parse([0,1,1,1,1,1,0,1,0])).
negEx(parse([1,1,1,1,1,1,0,1,0])).
negEx(parse([0,0,0,0,0,0,1,1,0])).
negEx(parse([1,0,0,0,0,0,1,1,0])).
negEx(parse([0,1,0,0,0,0,1,1,0])).
negEx(parse([1,1,0,0,0,0,1,1,0])).
negEx(parse([0,0,1,0,0,0,1,1,0])).
negEx(parse([1,0,1,0,0,0,1,1,0])).
negEx(parse([0,1,1,0,0,0,1,1,0])).
negEx(parse([1,1,1,0,0,0,1,1,0])).
negEx(parse([0,0,0,1,0,0,1,1,0])).
negEx(parse([1,0,0,1,0,0,1,1,0])).
negEx(parse([0,1,0,1,0,0,1,1,0])).
negEx(parse([1,1,0,1,0,0,1,1,0])).
negEx(parse([0,0,1,1,0,0,1,1,0])).
negEx(parse([1,0,1,1,0,0,1,1,0])).
negEx(parse([0,1,1,1,0,0,1,1,0])).
negEx(parse([1,1,1,1,0,0,1,1,0])).
negEx(parse([0,0,0,0,1,0,1,1,0])).
negEx(parse([1,0,0,0,1,0,1,1,0])).
negEx(parse([0,1,0,0,1,0,1,1,0])).
negEx(parse([1,1,0,0,1,0,1,1,0])).
negEx(parse([0,0,1,0,1,0,1,1,0])).
negEx(parse([1,0,1,0,1,0,1,1,0])).
negEx(parse([0,1,1,0,1,0,1,1,0])).
negEx(parse([1,1,1,0,1,0,1,1,0])).
negEx(parse([0,0,0,1,1,0,1,1,0])).
negEx(parse([1,0,0,1,1,0,1,1,0])).
negEx(parse([0,1,0,1,1,0,1,1,0])).
negEx(parse([1,1,0,1,1,0,1,1,0])).
negEx(parse([0,0,1,1,1,0,1,1,0])).
negEx(parse([1,0,1,1,1,0,1,1,0])).
negEx(parse([0,1,1,1,1,0,1,1,0])).
negEx(parse([1,1,1,1,1,0,1,1,0])).
negEx(parse([0,0,0,0,0,1,1,1,0])).
negEx(parse([1,0,0,0,0,1,1,1,0])).
negEx(parse([0,1,0,0,0,1,1,1,0])).
negEx(parse([1,1,0,0,0,1,1,1,0])).
negEx(parse([0,0,1,0,0,1,1,1,0])).
negEx(parse([1,0,1,0,0,1,1,1,0])).
negEx(parse([0,1,1,0,0,1,1,1,0])).
negEx(parse([1,1,1,0,0,1,1,1,0])).
negEx(parse([0,0,0,1,0,1,1,1,0])).
negEx(parse([1,0,0,1,0,1,1,1,0])).
negEx(parse([0,1,0,1,0,1,1,1,0])).
negEx(parse([1,1,0,1,0,1,1,1,0])).
negEx(parse([0,0,1,1,0,1,1,1,0])).
negEx(parse([1,0,1,1,0,1,1,1,0])).
negEx(parse([0,1,1,1,0,1,1,1,0])).
negEx(parse([1,1,1,1,0,1,1,1,0])).
negEx(parse([0,0,0,0,1,1,1,1,0])).
negEx(parse([1,0,0,0,1,1,1,1,0])).
negEx(parse([0,1,0,0,1,1,1,1,0])).
negEx(parse([1,1,0,0,1,1,1,1,0])).
negEx(parse([0,0,1,0,1,1,1,1,0])).
negEx(parse([1,0,1,0,1,1,1,1,0])).
negEx(parse([0,1,1,0,1,1,1,1,0])).
negEx(parse([1,1,1,0,1,1,1,1,0])).
negEx(parse([0,0,0,1,1,1,1,1,0])).
negEx(parse([1,0,0,1,1,1,1,1,0])).
negEx(parse([0,1,0,1,1,1,1,1,0])).
negEx(parse([1,1,0,1,1,1,1,1,0])).
negEx(parse([0,0,1,1,1,1,1,1,0])).
negEx(parse([1,0,1,1,1,1,1,1,0])).
negEx(parse([0,1,1,1,1,1,1,1,0])).
negEx(parse([1,1,1,1,1,1,1,1,0])).
negEx(parse([0,0,0,0,0,0,0,0,1])).
negEx(parse([1,0,0,0,0,0,0,0,1])).
negEx(parse([0,1,0,0,0,0,0,0,1])).
negEx(parse([1,1,0,0,0,0,0,0,1])).
negEx(parse([0,0,1,0,0,0,0,0,1])).
negEx(parse([1,0,1,0,0,0,0,0,1])).
negEx(parse([0,1,1,0,0,0,0,0,1])).
negEx(parse([1,1,1,0,0,0,0,0,1])).
negEx(parse([0,0,0,1,0,0,0,0,1])).
negEx(parse([1,0,0,1,0,0,0,0,1])).
negEx(parse([0,1,0,1,0,0,0,0,1])).
negEx(parse([1,1,0,1,0,0,0,0,1])).
negEx(parse([0,0,1,1,0,0,0,0,1])).
negEx(parse([1,0,1,1,0,0,0,0,1])).
negEx(parse([0,1,1,1,0,0,0,0,1])).
negEx(parse([1,1,1,1,0,0,0,0,1])).
negEx(parse([0,0,0,0,1,0,0,0,1])).
negEx(parse([1,0,0,0,1,0,0,0,1])).
negEx(parse([0,1,0,0,1,0,0,0,1])).
negEx(parse([1,1,0,0,1,0,0,0,1])).
negEx(parse([0,0,1,0,1,0,0,0,1])).
negEx(parse([1,0,1,0,1,0,0,0,1])).
negEx(parse([0,1,1,0,1,0,0,0,1])).
negEx(parse([1,1,1,0,1,0,0,0,1])).
negEx(parse([0,0,0,1,1,0,0,0,1])).
negEx(parse([1,0,0,1,1,0,0,0,1])).
negEx(parse([0,1,0,1,1,0,0,0,1])).
negEx(parse([1,1,0,1,1,0,0,0,1])).
negEx(parse([0,0,1,1,1,0,0,0,1])).
negEx(parse([1,0,1,1,1,0,0,0,1])).
negEx(parse([0,1,1,1,1,0,0,0,1])).
negEx(parse([1,1,1,1,1,0,0,0,1])).
negEx(parse([0,0,0,0,0,1,0,0,1])).
negEx(parse([1,0,0,0,0,1,0,0,1])).
negEx(parse([0,1,0,0,0,1,0,0,1])).
negEx(parse([1,1,0,0,0,1,0,0,1])).
negEx(parse([0,0,1,0,0,1,0,0,1])).
negEx(parse([1,0,1,0,0,1,0,0,1])).
negEx(parse([0,1,1,0,0,1,0,0,1])).
negEx(parse([1,1,1,0,0,1,0,0,1])).
negEx(parse([0,0,0,1,0,1,0,0,1])).
negEx(parse([1,0,0,1,0,1,0,0,1])).
negEx(parse([0,1,0,1,0,1,0,0,1])).
negEx(parse([1,1,0,1,0,1,0,0,1])).
negEx(parse([0,0,1,1,0,1,0,0,1])).
negEx(parse([1,0,1,1,0,1,0,0,1])).
negEx(parse([0,1,1,1,0,1,0,0,1])).
negEx(parse([1,1,1,1,0,1,0,0,1])).
negEx(parse([0,0,0,0,1,1,0,0,1])).
negEx(parse([1,0,0,0,1,1,0,0,1])).
negEx(parse([0,1,0,0,1,1,0,0,1])).
negEx(parse([1,1,0,0,1,1,0,0,1])).
negEx(parse([0,0,1,0,1,1,0,0,1])).
negEx(parse([1,0,1,0,1,1,0,0,1])).
negEx(parse([0,1,1,0,1,1,0,0,1])).
negEx(parse([1,1,1,0,1,1,0,0,1])).
negEx(parse([0,0,0,1,1,1,0,0,1])).
negEx(parse([1,0,0,1,1,1,0,0,1])).
negEx(parse([0,1,0,1,1,1,0,0,1])).
negEx(parse([1,1,0,1,1,1,0,0,1])).
negEx(parse([0,0,1,1,1,1,0,0,1])).
negEx(parse([1,0,1,1,1,1,0,0,1])).
negEx(parse([0,1,1,1,1,1,0,0,1])).
negEx(parse([1,1,1,1,1,1,0,0,1])).
negEx(parse([0,0,0,0,0,0,1,0,1])).
negEx(parse([1,0,0,0,0,0,1,0,1])).
negEx(parse([0,1,0,0,0,0,1,0,1])).
negEx(parse([1,1,0,0,0,0,1,0,1])).
negEx(parse([0,0,1,0,0,0,1,0,1])).
negEx(parse([1,0,1,0,0,0,1,0,1])).
negEx(parse([0,1,1,0,0,0,1,0,1])).
negEx(parse([1,1,1,0,0,0,1,0,1])).
negEx(parse([0,0,0,1,0,0,1,0,1])).
negEx(parse([1,0,0,1,0,0,1,0,1])).
negEx(parse([0,1,0,1,0,0,1,0,1])).
negEx(parse([1,1,0,1,0,0,1,0,1])).
negEx(parse([0,0,1,1,0,0,1,0,1])).
negEx(parse([1,0,1,1,0,0,1,0,1])).
negEx(parse([0,1,1,1,0,0,1,0,1])).
negEx(parse([1,1,1,1,0,0,1,0,1])).
negEx(parse([0,0,0,0,1,0,1,0,1])).
negEx(parse([1,0,0,0,1,0,1,0,1])).
negEx(parse([0,1,0,0,1,0,1,0,1])).
negEx(parse([1,1,0,0,1,0,1,0,1])).
negEx(parse([0,0,1,0,1,0,1,0,1])).
negEx(parse([1,0,1,0,1,0,1,0,1])).
negEx(parse([0,1,1,0,1,0,1,0,1])).
negEx(parse([1,1,1,0,1,0,1,0,1])).
negEx(parse([0,0,0,1,1,0,1,0,1])).
negEx(parse([1,0,0,1,1,0,1,0,1])).
negEx(parse([0,1,0,1,1,0,1,0,1])).
negEx(parse([1,1,0,1,1,0,1,0,1])).
negEx(parse([0,0,1,1,1,0,1,0,1])).
negEx(parse([1,0,1,1,1,0,1,0,1])).
negEx(parse([0,1,1,1,1,0,1,0,1])).
negEx(parse([1,1,1,1,1,0,1,0,1])).
negEx(parse([0,0,0,0,0,1,1,0,1])).
negEx(parse([1,0,0,0,0,1,1,0,1])).
negEx(parse([0,1,0,0,0,1,1,0,1])).
negEx(parse([1,1,0,0,0,1,1,0,1])).
negEx(parse([0,0,1,0,0,1,1,0,1])).
negEx(parse([1,0,1,0,0,1,1,0,1])).
negEx(parse([0,1,1,0,0,1,1,0,1])).
negEx(parse([1,1,1,0,0,1,1,0,1])).
negEx(parse([0,0,0,1,0,1,1,0,1])).
negEx(parse([1,0,0,1,0,1,1,0,1])).
negEx(parse([0,1,0,1,0,1,1,0,1])).
negEx(parse([1,1,0,1,0,1,1,0,1])).
negEx(parse([0,0,1,1,0,1,1,0,1])).
negEx(parse([1,0,1,1,0,1,1,0,1])).
negEx(parse([0,1,1,1,0,1,1,0,1])).
negEx(parse([1,1,1,1,0,1,1,0,1])).
negEx(parse([0,0,0,0,1,1,1,0,1])).
negEx(parse([1,0,0,0,1,1,1,0,1])).
negEx(parse([0,1,0,0,1,1,1,0,1])).
negEx(parse([1,1,0,0,1,1,1,0,1])).
negEx(parse([0,0,1,0,1,1,1,0,1])).
negEx(parse([1,0,1,0,1,1,1,0,1])).
negEx(parse([0,1,1,0,1,1,1,0,1])).
negEx(parse([1,1,1,0,1,1,1,0,1])).
negEx(parse([0,0,0,1,1,1,1,0,1])).
negEx(parse([1,0,0,1,1,1,1,0,1])).
negEx(parse([0,1,0,1,1,1,1,0,1])).
negEx(parse([1,1,0,1,1,1,1,0,1])).
negEx(parse([0,0,1,1,1,1,1,0,1])).
negEx(parse([1,0,1,1,1,1,1,0,1])).
negEx(parse([0,1,1,1,1,1,1,0,1])).
negEx(parse([1,1,1,1,1,1,1,0,1])).
negEx(parse([0,0,0,0,0,0,0,1,1])).
negEx(parse([1,0,0,0,0,0,0,1,1])).
negEx(parse([0,1,0,0,0,0,0,1,1])).
negEx(parse([1,1,0,0,0,0,0,1,1])).
negEx(parse([0,0,1,0,0,0,0,1,1])).
negEx(parse([1,0,1,0,0,0,0,1,1])).
negEx(parse([0,1,1,0,0,0,0,1,1])).
negEx(parse([1,1,1,0,0,0,0,1,1])).
negEx(parse([0,0,0,1,0,0,0,1,1])).
negEx(parse([1,0,0,1,0,0,0,1,1])).
negEx(parse([0,1,0,1,0,0,0,1,1])).
negEx(parse([1,1,0,1,0,0,0,1,1])).
negEx(parse([0,0,1,1,0,0,0,1,1])).
negEx(parse([1,0,1,1,0,0,0,1,1])).
negEx(parse([0,1,1,1,0,0,0,1,1])).
negEx(parse([1,1,1,1,0,0,0,1,1])).
negEx(parse([0,0,0,0,1,0,0,1,1])).
negEx(parse([1,0,0,0,1,0,0,1,1])).
negEx(parse([0,1,0,0,1,0,0,1,1])).
negEx(parse([1,1,0,0,1,0,0,1,1])).
negEx(parse([0,0,1,0,1,0,0,1,1])).
negEx(parse([1,0,1,0,1,0,0,1,1])).
negEx(parse([0,1,1,0,1,0,0,1,1])).
negEx(parse([1,1,1,0,1,0,0,1,1])).
negEx(parse([0,0,0,1,1,0,0,1,1])).
negEx(parse([1,0,0,1,1,0,0,1,1])).
negEx(parse([0,1,0,1,1,0,0,1,1])).
negEx(parse([1,1,0,1,1,0,0,1,1])).
negEx(parse([0,0,1,1,1,0,0,1,1])).
negEx(parse([1,0,1,1,1,0,0,1,1])).
negEx(parse([0,1,1,1,1,0,0,1,1])).
negEx(parse([1,1,1,1,1,0,0,1,1])).
negEx(parse([0,0,0,0,0,1,0,1,1])).
negEx(parse([1,0,0,0,0,1,0,1,1])).
negEx(parse([0,1,0,0,0,1,0,1,1])).
negEx(parse([1,1,0,0,0,1,0,1,1])).
negEx(parse([0,0,1,0,0,1,0,1,1])).
negEx(parse([1,0,1,0,0,1,0,1,1])).
negEx(parse([0,1,1,0,0,1,0,1,1])).
negEx(parse([1,1,1,0,0,1,0,1,1])).
negEx(parse([0,0,0,1,0,1,0,1,1])).
negEx(parse([1,0,0,1,0,1,0,1,1])).
negEx(parse([0,1,0,1,0,1,0,1,1])).
negEx(parse([1,1,0,1,0,1,0,1,1])).
negEx(parse([0,0,1,1,0,1,0,1,1])).
negEx(parse([1,0,1,1,0,1,0,1,1])).
negEx(parse([0,1,1,1,0,1,0,1,1])).
negEx(parse([1,1,1,1,0,1,0,1,1])).
negEx(parse([0,0,0,0,1,1,0,1,1])).
negEx(parse([1,0,0,0,1,1,0,1,1])).
negEx(parse([0,1,0,0,1,1,0,1,1])).
negEx(parse([1,1,0,0,1,1,0,1,1])).
negEx(parse([0,0,1,0,1,1,0,1,1])).
negEx(parse([1,0,1,0,1,1,0,1,1])).
negEx(parse([0,1,1,0,1,1,0,1,1])).
negEx(parse([1,1,1,0,1,1,0,1,1])).
negEx(parse([0,0,0,1,1,1,0,1,1])).
negEx(parse([1,0,0,1,1,1,0,1,1])).
negEx(parse([0,1,0,1,1,1,0,1,1])).
negEx(parse([1,1,0,1,1,1,0,1,1])).
negEx(parse([0,0,1,1,1,1,0,1,1])).
negEx(parse([1,0,1,1,1,1,0,1,1])).
negEx(parse([0,1,1,1,1,1,0,1,1])).
negEx(parse([1,1,1,1,1,1,0,1,1])).
negEx(parse([0,0,0,0,0,0,1,1,1])).
negEx(parse([1,0,0,0,0,0,1,1,1])).
negEx(parse([0,1,0,0,0,0,1,1,1])).
negEx(parse([1,1,0,0,0,0,1,1,1])).
negEx(parse([0,0,1,0,0,0,1,1,1])).
negEx(parse([1,0,1,0,0,0,1,1,1])).
negEx(parse([0,1,1,0,0,0,1,1,1])).
negEx(parse([1,1,1,0,0,0,1,1,1])).
negEx(parse([0,0,0,1,0,0,1,1,1])).
negEx(parse([1,0,0,1,0,0,1,1,1])).
negEx(parse([0,1,0,1,0,0,1,1,1])).
negEx(parse([1,1,0,1,0,0,1,1,1])).
negEx(parse([0,0,1,1,0,0,1,1,1])).
negEx(parse([1,0,1,1,0,0,1,1,1])).
negEx(parse([0,1,1,1,0,0,1,1,1])).
negEx(parse([1,1,1,1,0,0,1,1,1])).
negEx(parse([0,0,0,0,1,0,1,1,1])).
negEx(parse([1,0,0,0,1,0,1,1,1])).
negEx(parse([0,1,0,0,1,0,1,1,1])).
negEx(parse([1,1,0,0,1,0,1,1,1])).
negEx(parse([0,0,1,0,1,0,1,1,1])).
negEx(parse([1,0,1,0,1,0,1,1,1])).
negEx(parse([0,1,1,0,1,0,1,1,1])).
negEx(parse([1,1,1,0,1,0,1,1,1])).
negEx(parse([0,0,0,1,1,0,1,1,1])).
negEx(parse([1,0,0,1,1,0,1,1,1])).
negEx(parse([0,1,0,1,1,0,1,1,1])).
negEx(parse([1,1,0,1,1,0,1,1,1])).
negEx(parse([0,0,1,1,1,0,1,1,1])).
negEx(parse([1,0,1,1,1,0,1,1,1])).
negEx(parse([0,1,1,1,1,0,1,1,1])).
negEx(parse([1,1,1,1,1,0,1,1,1])).
negEx(parse([0,0,0,0,0,1,1,1,1])).
negEx(parse([1,0,0,0,0,1,1,1,1])).
negEx(parse([0,1,0,0,0,1,1,1,1])).
negEx(parse([1,1,0,0,0,1,1,1,1])).
negEx(parse([0,0,1,0,0,1,1,1,1])).
negEx(parse([1,0,1,0,0,1,1,1,1])).
negEx(parse([0,1,1,0,0,1,1,1,1])).
negEx(parse([1,1,1,0,0,1,1,1,1])).
negEx(parse([0,0,0,1,0,1,1,1,1])).
negEx(parse([1,0,0,1,0,1,1,1,1])).
negEx(parse([0,1,0,1,0,1,1,1,1])).
negEx(parse([1,1,0,1,0,1,1,1,1])).
negEx(parse([0,0,1,1,0,1,1,1,1])).
negEx(parse([1,0,1,1,0,1,1,1,1])).
negEx(parse([0,1,1,1,0,1,1,1,1])).
negEx(parse([1,1,1,1,0,1,1,1,1])).
negEx(parse([0,0,0,0,1,1,1,1,1])).
negEx(parse([1,0,0,0,1,1,1,1,1])).
negEx(parse([0,1,0,0,1,1,1,1,1])).
negEx(parse([1,1,0,0,1,1,1,1,1])).
negEx(parse([0,0,1,0,1,1,1,1,1])).
negEx(parse([1,0,1,0,1,1,1,1,1])).
negEx(parse([0,1,1,0,1,1,1,1,1])).
negEx(parse([1,1,1,0,1,1,1,1,1])).
negEx(parse([0,0,0,1,1,1,1,1,1])).
negEx(parse([1,0,0,1,1,1,1,1,1])).
negEx(parse([0,1,0,1,1,1,1,1,1])).
negEx(parse([1,1,0,1,1,1,1,1,1])).
negEx(parse([0,0,1,1,1,1,1,1,1])).
negEx(parse([1,0,1,1,1,1,1,1,1])).
negEx(parse([0,1,1,1,1,1,1,1,1])).
negEx(parse([1,1,1,1,1,1,1,1,1])).
negEx(parse([0,0,0,0,0,0,0,0,0,0])).
negEx(parse([1,0,0,0,0,0,0,0,0,0])).
negEx(parse([0,1,0,0,0,0,0,0,0,0])).
negEx(parse([1,1,0,0,0,0,0,0,0,0])).
negEx(parse([0,0,1,0,0,0,0,0,0,0])).
negEx(parse([1,0,1,0,0,0,0,0,0,0])).
negEx(parse([0,1,1,0,0,0,0,0,0,0])).
negEx(parse([1,1,1,0,0,0,0,0,0,0])).
negEx(parse([0,0,0,1,0,0,0,0,0,0])).
negEx(parse([1,0,0,1,0,0,0,0,0,0])).
negEx(parse([0,1,0,1,0,0,0,0,0,0])).
negEx(parse([1,1,0,1,0,0,0,0,0,0])).
negEx(parse([0,0,1,1,0,0,0,0,0,0])).
negEx(parse([1,0,1,1,0,0,0,0,0,0])).
negEx(parse([0,1,1,1,0,0,0,0,0,0])).
negEx(parse([1,1,1,1,0,0,0,0,0,0])).
negEx(parse([0,0,0,0,1,0,0,0,0,0])).
negEx(parse([1,0,0,0,1,0,0,0,0,0])).
negEx(parse([0,1,0,0,1,0,0,0,0,0])).
negEx(parse([1,1,0,0,1,0,0,0,0,0])).
negEx(parse([0,0,1,0,1,0,0,0,0,0])).
negEx(parse([1,0,1,0,1,0,0,0,0,0])).
negEx(parse([0,1,1,0,1,0,0,0,0,0])).
negEx(parse([1,1,1,0,1,0,0,0,0,0])).
negEx(parse([0,0,0,1,1,0,0,0,0,0])).
negEx(parse([1,0,0,1,1,0,0,0,0,0])).
negEx(parse([0,1,0,1,1,0,0,0,0,0])).
negEx(parse([1,1,0,1,1,0,0,0,0,0])).
negEx(parse([0,0,1,1,1,0,0,0,0,0])).
negEx(parse([1,0,1,1,1,0,0,0,0,0])).
negEx(parse([0,1,1,1,1,0,0,0,0,0])).
negEx(parse([1,1,1,1,1,0,0,0,0,0])).
negEx(parse([0,0,0,0,0,1,0,0,0,0])).
negEx(parse([1,0,0,0,0,1,0,0,0,0])).
negEx(parse([0,1,0,0,0,1,0,0,0,0])).
negEx(parse([1,1,0,0,0,1,0,0,0,0])).
negEx(parse([0,0,1,0,0,1,0,0,0,0])).
negEx(parse([1,0,1,0,0,1,0,0,0,0])).
negEx(parse([0,1,1,0,0,1,0,0,0,0])).
negEx(parse([1,1,1,0,0,1,0,0,0,0])).
negEx(parse([0,0,0,1,0,1,0,0,0,0])).
negEx(parse([1,0,0,1,0,1,0,0,0,0])).
negEx(parse([0,1,0,1,0,1,0,0,0,0])).
negEx(parse([1,1,0,1,0,1,0,0,0,0])).
negEx(parse([0,0,1,1,0,1,0,0,0,0])).
negEx(parse([1,0,1,1,0,1,0,0,0,0])).
negEx(parse([0,1,1,1,0,1,0,0,0,0])).
negEx(parse([1,1,1,1,0,1,0,0,0,0])).
negEx(parse([0,0,0,0,1,1,0,0,0,0])).
negEx(parse([1,0,0,0,1,1,0,0,0,0])).
negEx(parse([0,1,0,0,1,1,0,0,0,0])).
negEx(parse([1,1,0,0,1,1,0,0,0,0])).
negEx(parse([0,0,1,0,1,1,0,0,0,0])).
negEx(parse([1,0,1,0,1,1,0,0,0,0])).
negEx(parse([0,1,1,0,1,1,0,0,0,0])).
negEx(parse([1,1,1,0,1,1,0,0,0,0])).
negEx(parse([0,0,0,1,1,1,0,0,0,0])).
negEx(parse([1,0,0,1,1,1,0,0,0,0])).
negEx(parse([0,1,0,1,1,1,0,0,0,0])).
negEx(parse([1,1,0,1,1,1,0,0,0,0])).
negEx(parse([0,0,1,1,1,1,0,0,0,0])).
negEx(parse([1,0,1,1,1,1,0,0,0,0])).
negEx(parse([0,1,1,1,1,1,0,0,0,0])).
negEx(parse([1,1,1,1,1,1,0,0,0,0])).
negEx(parse([0,0,0,0,0,0,1,0,0,0])).
negEx(parse([1,0,0,0,0,0,1,0,0,0])).
negEx(parse([0,1,0,0,0,0,1,0,0,0])).
negEx(parse([1,1,0,0,0,0,1,0,0,0])).
negEx(parse([0,0,1,0,0,0,1,0,0,0])).
negEx(parse([1,0,1,0,0,0,1,0,0,0])).
negEx(parse([0,1,1,0,0,0,1,0,0,0])).
negEx(parse([1,1,1,0,0,0,1,0,0,0])).
negEx(parse([0,0,0,1,0,0,1,0,0,0])).
negEx(parse([1,0,0,1,0,0,1,0,0,0])).
negEx(parse([0,1,0,1,0,0,1,0,0,0])).
negEx(parse([1,1,0,1,0,0,1,0,0,0])).
negEx(parse([0,0,1,1,0,0,1,0,0,0])).
negEx(parse([1,0,1,1,0,0,1,0,0,0])).
negEx(parse([0,1,1,1,0,0,1,0,0,0])).
negEx(parse([1,1,1,1,0,0,1,0,0,0])).
negEx(parse([0,0,0,0,1,0,1,0,0,0])).
negEx(parse([1,0,0,0,1,0,1,0,0,0])).
negEx(parse([0,1,0,0,1,0,1,0,0,0])).
negEx(parse([1,1,0,0,1,0,1,0,0,0])).
negEx(parse([0,0,1,0,1,0,1,0,0,0])).
negEx(parse([1,0,1,0,1,0,1,0,0,0])).
negEx(parse([0,1,1,0,1,0,1,0,0,0])).
negEx(parse([1,1,1,0,1,0,1,0,0,0])).
negEx(parse([0,0,0,1,1,0,1,0,0,0])).
negEx(parse([1,0,0,1,1,0,1,0,0,0])).
negEx(parse([0,1,0,1,1,0,1,0,0,0])).
negEx(parse([1,1,0,1,1,0,1,0,0,0])).
negEx(parse([0,0,1,1,1,0,1,0,0,0])).
negEx(parse([1,0,1,1,1,0,1,0,0,0])).
negEx(parse([0,1,1,1,1,0,1,0,0,0])).
negEx(parse([1,1,1,1,1,0,1,0,0,0])).
negEx(parse([0,0,0,0,0,1,1,0,0,0])).
negEx(parse([1,0,0,0,0,1,1,0,0,0])).
negEx(parse([0,1,0,0,0,1,1,0,0,0])).
negEx(parse([1,1,0,0,0,1,1,0,0,0])).
negEx(parse([0,0,1,0,0,1,1,0,0,0])).
negEx(parse([1,0,1,0,0,1,1,0,0,0])).
negEx(parse([0,1,1,0,0,1,1,0,0,0])).
negEx(parse([1,1,1,0,0,1,1,0,0,0])).
negEx(parse([0,0,0,1,0,1,1,0,0,0])).
negEx(parse([1,0,0,1,0,1,1,0,0,0])).
negEx(parse([0,1,0,1,0,1,1,0,0,0])).
negEx(parse([1,1,0,1,0,1,1,0,0,0])).
negEx(parse([0,0,1,1,0,1,1,0,0,0])).
negEx(parse([1,0,1,1,0,1,1,0,0,0])).
negEx(parse([0,1,1,1,0,1,1,0,0,0])).
negEx(parse([1,1,1,1,0,1,1,0,0,0])).
negEx(parse([0,0,0,0,1,1,1,0,0,0])).
negEx(parse([1,0,0,0,1,1,1,0,0,0])).
negEx(parse([0,1,0,0,1,1,1,0,0,0])).
negEx(parse([1,1,0,0,1,1,1,0,0,0])).
negEx(parse([0,0,1,0,1,1,1,0,0,0])).
negEx(parse([1,0,1,0,1,1,1,0,0,0])).
negEx(parse([0,1,1,0,1,1,1,0,0,0])).
negEx(parse([1,1,1,0,1,1,1,0,0,0])).
negEx(parse([0,0,0,1,1,1,1,0,0,0])).
negEx(parse([1,0,0,1,1,1,1,0,0,0])).
negEx(parse([0,1,0,1,1,1,1,0,0,0])).
negEx(parse([1,1,0,1,1,1,1,0,0,0])).
negEx(parse([0,0,1,1,1,1,1,0,0,0])).
negEx(parse([1,0,1,1,1,1,1,0,0,0])).
negEx(parse([0,1,1,1,1,1,1,0,0,0])).
negEx(parse([1,1,1,1,1,1,1,0,0,0])).
negEx(parse([0,0,0,0,0,0,0,1,0,0])).
negEx(parse([1,0,0,0,0,0,0,1,0,0])).
negEx(parse([0,1,0,0,0,0,0,1,0,0])).
negEx(parse([1,1,0,0,0,0,0,1,0,0])).
negEx(parse([0,0,1,0,0,0,0,1,0,0])).
negEx(parse([1,0,1,0,0,0,0,1,0,0])).
negEx(parse([0,1,1,0,0,0,0,1,0,0])).
negEx(parse([1,1,1,0,0,0,0,1,0,0])).
negEx(parse([0,0,0,1,0,0,0,1,0,0])).
negEx(parse([1,0,0,1,0,0,0,1,0,0])).
negEx(parse([0,1,0,1,0,0,0,1,0,0])).
negEx(parse([1,1,0,1,0,0,0,1,0,0])).
negEx(parse([0,0,1,1,0,0,0,1,0,0])).
negEx(parse([1,0,1,1,0,0,0,1,0,0])).
negEx(parse([0,1,1,1,0,0,0,1,0,0])).
negEx(parse([1,1,1,1,0,0,0,1,0,0])).
negEx(parse([0,0,0,0,1,0,0,1,0,0])).
negEx(parse([1,0,0,0,1,0,0,1,0,0])).
negEx(parse([0,1,0,0,1,0,0,1,0,0])).
negEx(parse([1,1,0,0,1,0,0,1,0,0])).
negEx(parse([0,0,1,0,1,0,0,1,0,0])).
negEx(parse([1,0,1,0,1,0,0,1,0,0])).
negEx(parse([0,1,1,0,1,0,0,1,0,0])).
negEx(parse([1,1,1,0,1,0,0,1,0,0])).
negEx(parse([0,0,0,1,1,0,0,1,0,0])).
negEx(parse([1,0,0,1,1,0,0,1,0,0])).
negEx(parse([0,1,0,1,1,0,0,1,0,0])).
negEx(parse([1,1,0,1,1,0,0,1,0,0])).
negEx(parse([0,0,1,1,1,0,0,1,0,0])).
negEx(parse([1,0,1,1,1,0,0,1,0,0])).
negEx(parse([0,1,1,1,1,0,0,1,0,0])).
negEx(parse([1,1,1,1,1,0,0,1,0,0])).
negEx(parse([0,0,0,0,0,1,0,1,0,0])).
negEx(parse([1,0,0,0,0,1,0,1,0,0])).
negEx(parse([0,1,0,0,0,1,0,1,0,0])).
negEx(parse([1,1,0,0,0,1,0,1,0,0])).
negEx(parse([0,0,1,0,0,1,0,1,0,0])).
negEx(parse([1,0,1,0,0,1,0,1,0,0])).
negEx(parse([0,1,1,0,0,1,0,1,0,0])).
negEx(parse([1,1,1,0,0,1,0,1,0,0])).
negEx(parse([0,0,0,1,0,1,0,1,0,0])).
negEx(parse([1,0,0,1,0,1,0,1,0,0])).
negEx(parse([0,1,0,1,0,1,0,1,0,0])).
negEx(parse([1,1,0,1,0,1,0,1,0,0])).
negEx(parse([0,0,1,1,0,1,0,1,0,0])).
negEx(parse([1,0,1,1,0,1,0,1,0,0])).
negEx(parse([0,1,1,1,0,1,0,1,0,0])).
negEx(parse([1,1,1,1,0,1,0,1,0,0])).
negEx(parse([0,0,0,0,1,1,0,1,0,0])).
negEx(parse([1,0,0,0,1,1,0,1,0,0])).
negEx(parse([0,1,0,0,1,1,0,1,0,0])).
negEx(parse([1,1,0,0,1,1,0,1,0,0])).
negEx(parse([0,0,1,0,1,1,0,1,0,0])).
negEx(parse([1,0,1,0,1,1,0,1,0,0])).
negEx(parse([0,1,1,0,1,1,0,1,0,0])).
negEx(parse([1,1,1,0,1,1,0,1,0,0])).
negEx(parse([0,0,0,1,1,1,0,1,0,0])).
negEx(parse([1,0,0,1,1,1,0,1,0,0])).
negEx(parse([0,1,0,1,1,1,0,1,0,0])).
negEx(parse([1,1,0,1,1,1,0,1,0,0])).
negEx(parse([0,0,1,1,1,1,0,1,0,0])).
negEx(parse([1,0,1,1,1,1,0,1,0,0])).
negEx(parse([0,1,1,1,1,1,0,1,0,0])).
negEx(parse([1,1,1,1,1,1,0,1,0,0])).
negEx(parse([0,0,0,0,0,0,1,1,0,0])).
negEx(parse([1,0,0,0,0,0,1,1,0,0])).
negEx(parse([0,1,0,0,0,0,1,1,0,0])).
negEx(parse([1,1,0,0,0,0,1,1,0,0])).
negEx(parse([0,0,1,0,0,0,1,1,0,0])).
negEx(parse([1,0,1,0,0,0,1,1,0,0])).
negEx(parse([0,1,1,0,0,0,1,1,0,0])).
negEx(parse([1,1,1,0,0,0,1,1,0,0])).
negEx(parse([0,0,0,1,0,0,1,1,0,0])).
negEx(parse([1,0,0,1,0,0,1,1,0,0])).
negEx(parse([0,1,0,1,0,0,1,1,0,0])).
negEx(parse([1,1,0,1,0,0,1,1,0,0])).
negEx(parse([0,0,1,1,0,0,1,1,0,0])).
negEx(parse([1,0,1,1,0,0,1,1,0,0])).
negEx(parse([0,1,1,1,0,0,1,1,0,0])).
negEx(parse([1,1,1,1,0,0,1,1,0,0])).
negEx(parse([0,0,0,0,1,0,1,1,0,0])).
negEx(parse([1,0,0,0,1,0,1,1,0,0])).
negEx(parse([0,1,0,0,1,0,1,1,0,0])).
negEx(parse([1,1,0,0,1,0,1,1,0,0])).
negEx(parse([0,0,1,0,1,0,1,1,0,0])).
negEx(parse([1,0,1,0,1,0,1,1,0,0])).
negEx(parse([0,1,1,0,1,0,1,1,0,0])).
negEx(parse([1,1,1,0,1,0,1,1,0,0])).
negEx(parse([0,0,0,1,1,0,1,1,0,0])).
negEx(parse([1,0,0,1,1,0,1,1,0,0])).
negEx(parse([0,1,0,1,1,0,1,1,0,0])).
negEx(parse([1,1,0,1,1,0,1,1,0,0])).
negEx(parse([0,0,1,1,1,0,1,1,0,0])).
negEx(parse([1,0,1,1,1,0,1,1,0,0])).
negEx(parse([0,1,1,1,1,0,1,1,0,0])).
negEx(parse([1,1,1,1,1,0,1,1,0,0])).
negEx(parse([0,0,0,0,0,1,1,1,0,0])).
negEx(parse([1,0,0,0,0,1,1,1,0,0])).
negEx(parse([0,1,0,0,0,1,1,1,0,0])).
negEx(parse([1,1,0,0,0,1,1,1,0,0])).
negEx(parse([0,0,1,0,0,1,1,1,0,0])).
negEx(parse([1,0,1,0,0,1,1,1,0,0])).
negEx(parse([0,1,1,0,0,1,1,1,0,0])).
negEx(parse([1,1,1,0,0,1,1,1,0,0])).
negEx(parse([0,0,0,1,0,1,1,1,0,0])).
negEx(parse([1,0,0,1,0,1,1,1,0,0])).
negEx(parse([0,1,0,1,0,1,1,1,0,0])).
negEx(parse([1,1,0,1,0,1,1,1,0,0])).
negEx(parse([0,0,1,1,0,1,1,1,0,0])).
negEx(parse([1,0,1,1,0,1,1,1,0,0])).
negEx(parse([0,1,1,1,0,1,1,1,0,0])).
negEx(parse([1,1,1,1,0,1,1,1,0,0])).
negEx(parse([0,0,0,0,1,1,1,1,0,0])).
negEx(parse([1,0,0,0,1,1,1,1,0,0])).
negEx(parse([0,1,0,0,1,1,1,1,0,0])).
negEx(parse([1,1,0,0,1,1,1,1,0,0])).
negEx(parse([0,0,1,0,1,1,1,1,0,0])).
negEx(parse([1,0,1,0,1,1,1,1,0,0])).
negEx(parse([0,1,1,0,1,1,1,1,0,0])).
negEx(parse([1,1,1,0,1,1,1,1,0,0])).
negEx(parse([0,0,0,1,1,1,1,1,0,0])).
negEx(parse([1,0,0,1,1,1,1,1,0,0])).
negEx(parse([0,1,0,1,1,1,1,1,0,0])).
negEx(parse([1,1,0,1,1,1,1,1,0,0])).
negEx(parse([0,0,1,1,1,1,1,1,0,0])).
negEx(parse([1,0,1,1,1,1,1,1,0,0])).
negEx(parse([0,1,1,1,1,1,1,1,0,0])).
negEx(parse([1,1,1,1,1,1,1,1,0,0])).
negEx(parse([0,0,0,0,0,0,0,0,1,0])).
negEx(parse([1,0,0,0,0,0,0,0,1,0])).
negEx(parse([0,1,0,0,0,0,0,0,1,0])).
negEx(parse([1,1,0,0,0,0,0,0,1,0])).
negEx(parse([0,0,1,0,0,0,0,0,1,0])).
negEx(parse([1,0,1,0,0,0,0,0,1,0])).
negEx(parse([0,1,1,0,0,0,0,0,1,0])).
negEx(parse([1,1,1,0,0,0,0,0,1,0])).
negEx(parse([0,0,0,1,0,0,0,0,1,0])).
negEx(parse([1,0,0,1,0,0,0,0,1,0])).
negEx(parse([0,1,0,1,0,0,0,0,1,0])).
negEx(parse([1,1,0,1,0,0,0,0,1,0])).
negEx(parse([0,0,1,1,0,0,0,0,1,0])).
negEx(parse([1,0,1,1,0,0,0,0,1,0])).
negEx(parse([0,1,1,1,0,0,0,0,1,0])).
negEx(parse([1,1,1,1,0,0,0,0,1,0])).
negEx(parse([0,0,0,0,1,0,0,0,1,0])).
negEx(parse([1,0,0,0,1,0,0,0,1,0])).
negEx(parse([0,1,0,0,1,0,0,0,1,0])).
negEx(parse([1,1,0,0,1,0,0,0,1,0])).
negEx(parse([0,0,1,0,1,0,0,0,1,0])).
negEx(parse([1,0,1,0,1,0,0,0,1,0])).
negEx(parse([0,1,1,0,1,0,0,0,1,0])).
negEx(parse([1,1,1,0,1,0,0,0,1,0])).
negEx(parse([0,0,0,1,1,0,0,0,1,0])).
negEx(parse([1,0,0,1,1,0,0,0,1,0])).
negEx(parse([0,1,0,1,1,0,0,0,1,0])).
negEx(parse([1,1,0,1,1,0,0,0,1,0])).
negEx(parse([0,0,1,1,1,0,0,0,1,0])).
negEx(parse([1,0,1,1,1,0,0,0,1,0])).
negEx(parse([0,1,1,1,1,0,0,0,1,0])).
negEx(parse([1,1,1,1,1,0,0,0,1,0])).
negEx(parse([0,0,0,0,0,1,0,0,1,0])).
negEx(parse([1,0,0,0,0,1,0,0,1,0])).
negEx(parse([0,1,0,0,0,1,0,0,1,0])).
negEx(parse([1,1,0,0,0,1,0,0,1,0])).
negEx(parse([0,0,1,0,0,1,0,0,1,0])).
negEx(parse([1,0,1,0,0,1,0,0,1,0])).
negEx(parse([0,1,1,0,0,1,0,0,1,0])).
negEx(parse([1,1,1,0,0,1,0,0,1,0])).
negEx(parse([0,0,0,1,0,1,0,0,1,0])).
negEx(parse([1,0,0,1,0,1,0,0,1,0])).
negEx(parse([0,1,0,1,0,1,0,0,1,0])).
negEx(parse([1,1,0,1,0,1,0,0,1,0])).
negEx(parse([0,0,1,1,0,1,0,0,1,0])).
negEx(parse([1,0,1,1,0,1,0,0,1,0])).
negEx(parse([0,1,1,1,0,1,0,0,1,0])).
negEx(parse([1,1,1,1,0,1,0,0,1,0])).
negEx(parse([0,0,0,0,1,1,0,0,1,0])).
negEx(parse([1,0,0,0,1,1,0,0,1,0])).
negEx(parse([0,1,0,0,1,1,0,0,1,0])).
negEx(parse([1,1,0,0,1,1,0,0,1,0])).
negEx(parse([0,0,1,0,1,1,0,0,1,0])).
negEx(parse([1,0,1,0,1,1,0,0,1,0])).
negEx(parse([0,1,1,0,1,1,0,0,1,0])).
negEx(parse([1,1,1,0,1,1,0,0,1,0])).
negEx(parse([0,0,0,1,1,1,0,0,1,0])).
negEx(parse([1,0,0,1,1,1,0,0,1,0])).
negEx(parse([0,1,0,1,1,1,0,0,1,0])).
negEx(parse([1,1,0,1,1,1,0,0,1,0])).
negEx(parse([0,0,1,1,1,1,0,0,1,0])).
negEx(parse([1,0,1,1,1,1,0,0,1,0])).
negEx(parse([0,1,1,1,1,1,0,0,1,0])).
negEx(parse([1,1,1,1,1,1,0,0,1,0])).
negEx(parse([0,0,0,0,0,0,1,0,1,0])).
negEx(parse([1,0,0,0,0,0,1,0,1,0])).
negEx(parse([0,1,0,0,0,0,1,0,1,0])).
negEx(parse([1,1,0,0,0,0,1,0,1,0])).
negEx(parse([0,0,1,0,0,0,1,0,1,0])).
negEx(parse([1,0,1,0,0,0,1,0,1,0])).
negEx(parse([0,1,1,0,0,0,1,0,1,0])).
negEx(parse([1,1,1,0,0,0,1,0,1,0])).
negEx(parse([0,0,0,1,0,0,1,0,1,0])).
negEx(parse([1,0,0,1,0,0,1,0,1,0])).
negEx(parse([0,1,0,1,0,0,1,0,1,0])).
negEx(parse([1,1,0,1,0,0,1,0,1,0])).
negEx(parse([0,0,1,1,0,0,1,0,1,0])).
negEx(parse([1,0,1,1,0,0,1,0,1,0])).
negEx(parse([0,1,1,1,0,0,1,0,1,0])).
negEx(parse([1,1,1,1,0,0,1,0,1,0])).
negEx(parse([0,0,0,0,1,0,1,0,1,0])).
negEx(parse([1,0,0,0,1,0,1,0,1,0])).
negEx(parse([0,1,0,0,1,0,1,0,1,0])).
negEx(parse([1,1,0,0,1,0,1,0,1,0])).
negEx(parse([0,0,1,0,1,0,1,0,1,0])).
negEx(parse([1,0,1,0,1,0,1,0,1,0])).
negEx(parse([0,1,1,0,1,0,1,0,1,0])).
negEx(parse([1,1,1,0,1,0,1,0,1,0])).
negEx(parse([0,0,0,1,1,0,1,0,1,0])).
negEx(parse([1,0,0,1,1,0,1,0,1,0])).
negEx(parse([0,1,0,1,1,0,1,0,1,0])).
negEx(parse([1,1,0,1,1,0,1,0,1,0])).
negEx(parse([0,0,1,1,1,0,1,0,1,0])).
negEx(parse([1,0,1,1,1,0,1,0,1,0])).
negEx(parse([0,1,1,1,1,0,1,0,1,0])).
negEx(parse([1,1,1,1,1,0,1,0,1,0])).
negEx(parse([0,0,0,0,0,1,1,0,1,0])).
negEx(parse([1,0,0,0,0,1,1,0,1,0])).
negEx(parse([0,1,0,0,0,1,1,0,1,0])).
negEx(parse([1,1,0,0,0,1,1,0,1,0])).
negEx(parse([0,0,1,0,0,1,1,0,1,0])).
negEx(parse([1,0,1,0,0,1,1,0,1,0])).
negEx(parse([0,1,1,0,0,1,1,0,1,0])).
negEx(parse([1,1,1,0,0,1,1,0,1,0])).
negEx(parse([0,0,0,1,0,1,1,0,1,0])).
negEx(parse([1,0,0,1,0,1,1,0,1,0])).
negEx(parse([0,1,0,1,0,1,1,0,1,0])).
negEx(parse([1,1,0,1,0,1,1,0,1,0])).
negEx(parse([0,0,1,1,0,1,1,0,1,0])).
negEx(parse([1,0,1,1,0,1,1,0,1,0])).
negEx(parse([0,1,1,1,0,1,1,0,1,0])).
negEx(parse([1,1,1,1,0,1,1,0,1,0])).
negEx(parse([0,0,0,0,1,1,1,0,1,0])).
negEx(parse([1,0,0,0,1,1,1,0,1,0])).
negEx(parse([0,1,0,0,1,1,1,0,1,0])).
negEx(parse([1,1,0,0,1,1,1,0,1,0])).
negEx(parse([0,0,1,0,1,1,1,0,1,0])).
negEx(parse([1,0,1,0,1,1,1,0,1,0])).
negEx(parse([0,1,1,0,1,1,1,0,1,0])).
negEx(parse([1,1,1,0,1,1,1,0,1,0])).
negEx(parse([0,0,0,1,1,1,1,0,1,0])).
negEx(parse([1,0,0,1,1,1,1,0,1,0])).
negEx(parse([0,1,0,1,1,1,1,0,1,0])).
negEx(parse([1,1,0,1,1,1,1,0,1,0])).
negEx(parse([0,0,1,1,1,1,1,0,1,0])).
negEx(parse([1,0,1,1,1,1,1,0,1,0])).
negEx(parse([0,1,1,1,1,1,1,0,1,0])).
negEx(parse([1,1,1,1,1,1,1,0,1,0])).
negEx(parse([0,0,0,0,0,0,0,1,1,0])).
negEx(parse([1,0,0,0,0,0,0,1,1,0])).
negEx(parse([0,1,0,0,0,0,0,1,1,0])).
negEx(parse([1,1,0,0,0,0,0,1,1,0])).
negEx(parse([0,0,1,0,0,0,0,1,1,0])).
negEx(parse([1,0,1,0,0,0,0,1,1,0])).
negEx(parse([0,1,1,0,0,0,0,1,1,0])).
negEx(parse([1,1,1,0,0,0,0,1,1,0])).
negEx(parse([0,0,0,1,0,0,0,1,1,0])).
negEx(parse([1,0,0,1,0,0,0,1,1,0])).
negEx(parse([0,1,0,1,0,0,0,1,1,0])).
negEx(parse([1,1,0,1,0,0,0,1,1,0])).
negEx(parse([0,0,1,1,0,0,0,1,1,0])).
negEx(parse([1,0,1,1,0,0,0,1,1,0])).
negEx(parse([0,1,1,1,0,0,0,1,1,0])).
negEx(parse([1,1,1,1,0,0,0,1,1,0])).
negEx(parse([0,0,0,0,1,0,0,1,1,0])).
negEx(parse([1,0,0,0,1,0,0,1,1,0])).
negEx(parse([0,1,0,0,1,0,0,1,1,0])).
negEx(parse([1,1,0,0,1,0,0,1,1,0])).
negEx(parse([0,0,1,0,1,0,0,1,1,0])).
negEx(parse([1,0,1,0,1,0,0,1,1,0])).
negEx(parse([0,1,1,0,1,0,0,1,1,0])).
negEx(parse([1,1,1,0,1,0,0,1,1,0])).
negEx(parse([0,0,0,1,1,0,0,1,1,0])).
negEx(parse([1,0,0,1,1,0,0,1,1,0])).
negEx(parse([0,1,0,1,1,0,0,1,1,0])).
negEx(parse([1,1,0,1,1,0,0,1,1,0])).
negEx(parse([0,0,1,1,1,0,0,1,1,0])).
negEx(parse([1,0,1,1,1,0,0,1,1,0])).
negEx(parse([0,1,1,1,1,0,0,1,1,0])).
negEx(parse([1,1,1,1,1,0,0,1,1,0])).
negEx(parse([0,0,0,0,0,1,0,1,1,0])).
negEx(parse([1,0,0,0,0,1,0,1,1,0])).
negEx(parse([0,1,0,0,0,1,0,1,1,0])).
negEx(parse([1,1,0,0,0,1,0,1,1,0])).
negEx(parse([0,0,1,0,0,1,0,1,1,0])).
negEx(parse([1,0,1,0,0,1,0,1,1,0])).
negEx(parse([0,1,1,0,0,1,0,1,1,0])).
negEx(parse([1,1,1,0,0,1,0,1,1,0])).
negEx(parse([0,0,0,1,0,1,0,1,1,0])).
negEx(parse([1,0,0,1,0,1,0,1,1,0])).
negEx(parse([0,1,0,1,0,1,0,1,1,0])).
negEx(parse([1,1,0,1,0,1,0,1,1,0])).
negEx(parse([0,0,1,1,0,1,0,1,1,0])).
negEx(parse([1,0,1,1,0,1,0,1,1,0])).
negEx(parse([0,1,1,1,0,1,0,1,1,0])).
negEx(parse([1,1,1,1,0,1,0,1,1,0])).
negEx(parse([0,0,0,0,1,1,0,1,1,0])).
negEx(parse([1,0,0,0,1,1,0,1,1,0])).
negEx(parse([0,1,0,0,1,1,0,1,1,0])).
negEx(parse([1,1,0,0,1,1,0,1,1,0])).
negEx(parse([0,0,1,0,1,1,0,1,1,0])).
negEx(parse([1,0,1,0,1,1,0,1,1,0])).
negEx(parse([0,1,1,0,1,1,0,1,1,0])).
negEx(parse([1,1,1,0,1,1,0,1,1,0])).
negEx(parse([0,0,0,1,1,1,0,1,1,0])).
negEx(parse([1,0,0,1,1,1,0,1,1,0])).
negEx(parse([0,1,0,1,1,1,0,1,1,0])).
negEx(parse([1,1,0,1,1,1,0,1,1,0])).
negEx(parse([0,0,1,1,1,1,0,1,1,0])).
negEx(parse([1,0,1,1,1,1,0,1,1,0])).
negEx(parse([0,1,1,1,1,1,0,1,1,0])).
negEx(parse([1,1,1,1,1,1,0,1,1,0])).
negEx(parse([0,0,0,0,0,0,1,1,1,0])).
negEx(parse([1,0,0,0,0,0,1,1,1,0])).
negEx(parse([0,1,0,0,0,0,1,1,1,0])).
negEx(parse([1,1,0,0,0,0,1,1,1,0])).
negEx(parse([0,0,1,0,0,0,1,1,1,0])).
negEx(parse([1,0,1,0,0,0,1,1,1,0])).
negEx(parse([0,1,1,0,0,0,1,1,1,0])).
negEx(parse([1,1,1,0,0,0,1,1,1,0])).
negEx(parse([0,0,0,1,0,0,1,1,1,0])).
negEx(parse([1,0,0,1,0,0,1,1,1,0])).
negEx(parse([0,1,0,1,0,0,1,1,1,0])).
negEx(parse([1,1,0,1,0,0,1,1,1,0])).
negEx(parse([0,0,1,1,0,0,1,1,1,0])).
negEx(parse([1,0,1,1,0,0,1,1,1,0])).
negEx(parse([0,1,1,1,0,0,1,1,1,0])).
negEx(parse([1,1,1,1,0,0,1,1,1,0])).
negEx(parse([0,0,0,0,1,0,1,1,1,0])).
negEx(parse([1,0,0,0,1,0,1,1,1,0])).
negEx(parse([0,1,0,0,1,0,1,1,1,0])).
negEx(parse([1,1,0,0,1,0,1,1,1,0])).
negEx(parse([0,0,1,0,1,0,1,1,1,0])).
negEx(parse([1,0,1,0,1,0,1,1,1,0])).
negEx(parse([0,1,1,0,1,0,1,1,1,0])).
negEx(parse([1,1,1,0,1,0,1,1,1,0])).
negEx(parse([0,0,0,1,1,0,1,1,1,0])).
negEx(parse([1,0,0,1,1,0,1,1,1,0])).
negEx(parse([0,1,0,1,1,0,1,1,1,0])).
negEx(parse([1,1,0,1,1,0,1,1,1,0])).
negEx(parse([0,0,1,1,1,0,1,1,1,0])).
negEx(parse([1,0,1,1,1,0,1,1,1,0])).
negEx(parse([0,1,1,1,1,0,1,1,1,0])).
negEx(parse([1,1,1,1,1,0,1,1,1,0])).
negEx(parse([0,0,0,0,0,1,1,1,1,0])).
negEx(parse([1,0,0,0,0,1,1,1,1,0])).
negEx(parse([0,1,0,0,0,1,1,1,1,0])).
negEx(parse([1,1,0,0,0,1,1,1,1,0])).
negEx(parse([0,0,1,0,0,1,1,1,1,0])).
negEx(parse([1,0,1,0,0,1,1,1,1,0])).
negEx(parse([0,1,1,0,0,1,1,1,1,0])).
negEx(parse([1,1,1,0,0,1,1,1,1,0])).
negEx(parse([0,0,0,1,0,1,1,1,1,0])).
negEx(parse([1,0,0,1,0,1,1,1,1,0])).
negEx(parse([0,1,0,1,0,1,1,1,1,0])).
negEx(parse([1,1,0,1,0,1,1,1,1,0])).
negEx(parse([0,0,1,1,0,1,1,1,1,0])).
negEx(parse([1,0,1,1,0,1,1,1,1,0])).
negEx(parse([0,1,1,1,0,1,1,1,1,0])).
negEx(parse([1,1,1,1,0,1,1,1,1,0])).
negEx(parse([0,0,0,0,1,1,1,1,1,0])).
negEx(parse([1,0,0,0,1,1,1,1,1,0])).
negEx(parse([0,1,0,0,1,1,1,1,1,0])).
negEx(parse([1,1,0,0,1,1,1,1,1,0])).
negEx(parse([0,0,1,0,1,1,1,1,1,0])).
negEx(parse([1,0,1,0,1,1,1,1,1,0])).
negEx(parse([0,1,1,0,1,1,1,1,1,0])).
negEx(parse([1,1,1,0,1,1,1,1,1,0])).
negEx(parse([0,0,0,1,1,1,1,1,1,0])).
negEx(parse([1,0,0,1,1,1,1,1,1,0])).
negEx(parse([0,1,0,1,1,1,1,1,1,0])).
negEx(parse([1,1,0,1,1,1,1,1,1,0])).
negEx(parse([0,0,1,1,1,1,1,1,1,0])).
negEx(parse([1,0,1,1,1,1,1,1,1,0])).
negEx(parse([0,1,1,1,1,1,1,1,1,0])).
negEx(parse([1,1,1,1,1,1,1,1,1,0])).
negEx(parse([0,0,0,0,0,0,0,0,0,1])).
negEx(parse([1,0,0,0,0,0,0,0,0,1])).
negEx(parse([0,1,0,0,0,0,0,0,0,1])).
negEx(parse([1,1,0,0,0,0,0,0,0,1])).
negEx(parse([0,0,1,0,0,0,0,0,0,1])).
negEx(parse([1,0,1,0,0,0,0,0,0,1])).
negEx(parse([0,1,1,0,0,0,0,0,0,1])).
negEx(parse([1,1,1,0,0,0,0,0,0,1])).
negEx(parse([0,0,0,1,0,0,0,0,0,1])).
negEx(parse([1,0,0,1,0,0,0,0,0,1])).
negEx(parse([0,1,0,1,0,0,0,0,0,1])).
negEx(parse([1,1,0,1,0,0,0,0,0,1])).
negEx(parse([0,0,1,1,0,0,0,0,0,1])).
negEx(parse([1,0,1,1,0,0,0,0,0,1])).
negEx(parse([0,1,1,1,0,0,0,0,0,1])).
negEx(parse([1,1,1,1,0,0,0,0,0,1])).
negEx(parse([0,0,0,0,1,0,0,0,0,1])).
negEx(parse([1,0,0,0,1,0,0,0,0,1])).
negEx(parse([0,1,0,0,1,0,0,0,0,1])).
negEx(parse([1,1,0,0,1,0,0,0,0,1])).
negEx(parse([0,0,1,0,1,0,0,0,0,1])).
negEx(parse([1,0,1,0,1,0,0,0,0,1])).
negEx(parse([0,1,1,0,1,0,0,0,0,1])).
negEx(parse([1,1,1,0,1,0,0,0,0,1])).
negEx(parse([0,0,0,1,1,0,0,0,0,1])).
negEx(parse([1,0,0,1,1,0,0,0,0,1])).
negEx(parse([0,1,0,1,1,0,0,0,0,1])).
negEx(parse([1,1,0,1,1,0,0,0,0,1])).
negEx(parse([0,0,1,1,1,0,0,0,0,1])).
negEx(parse([1,0,1,1,1,0,0,0,0,1])).
negEx(parse([0,1,1,1,1,0,0,0,0,1])).
negEx(parse([1,1,1,1,1,0,0,0,0,1])).
negEx(parse([0,0,0,0,0,1,0,0,0,1])).
negEx(parse([1,0,0,0,0,1,0,0,0,1])).
negEx(parse([0,1,0,0,0,1,0,0,0,1])).
negEx(parse([1,1,0,0,0,1,0,0,0,1])).
negEx(parse([0,0,1,0,0,1,0,0,0,1])).
negEx(parse([1,0,1,0,0,1,0,0,0,1])).
negEx(parse([0,1,1,0,0,1,0,0,0,1])).
negEx(parse([1,1,1,0,0,1,0,0,0,1])).
negEx(parse([0,0,0,1,0,1,0,0,0,1])).
negEx(parse([1,0,0,1,0,1,0,0,0,1])).
negEx(parse([0,1,0,1,0,1,0,0,0,1])).
negEx(parse([1,1,0,1,0,1,0,0,0,1])).
negEx(parse([0,0,1,1,0,1,0,0,0,1])).
negEx(parse([1,0,1,1,0,1,0,0,0,1])).
negEx(parse([0,1,1,1,0,1,0,0,0,1])).
negEx(parse([1,1,1,1,0,1,0,0,0,1])).
negEx(parse([0,0,0,0,1,1,0,0,0,1])).
negEx(parse([1,0,0,0,1,1,0,0,0,1])).
negEx(parse([0,1,0,0,1,1,0,0,0,1])).
negEx(parse([1,1,0,0,1,1,0,0,0,1])).
negEx(parse([0,0,1,0,1,1,0,0,0,1])).
negEx(parse([1,0,1,0,1,1,0,0,0,1])).
negEx(parse([0,1,1,0,1,1,0,0,0,1])).
negEx(parse([1,1,1,0,1,1,0,0,0,1])).
negEx(parse([0,0,0,1,1,1,0,0,0,1])).
negEx(parse([1,0,0,1,1,1,0,0,0,1])).
negEx(parse([0,1,0,1,1,1,0,0,0,1])).
negEx(parse([1,1,0,1,1,1,0,0,0,1])).
negEx(parse([0,0,1,1,1,1,0,0,0,1])).
negEx(parse([1,0,1,1,1,1,0,0,0,1])).
negEx(parse([0,1,1,1,1,1,0,0,0,1])).
negEx(parse([1,1,1,1,1,1,0,0,0,1])).
negEx(parse([0,0,0,0,0,0,1,0,0,1])).
negEx(parse([1,0,0,0,0,0,1,0,0,1])).
negEx(parse([0,1,0,0,0,0,1,0,0,1])).
negEx(parse([1,1,0,0,0,0,1,0,0,1])).
negEx(parse([0,0,1,0,0,0,1,0,0,1])).
negEx(parse([1,0,1,0,0,0,1,0,0,1])).
negEx(parse([0,1,1,0,0,0,1,0,0,1])).
negEx(parse([1,1,1,0,0,0,1,0,0,1])).
negEx(parse([0,0,0,1,0,0,1,0,0,1])).
negEx(parse([1,0,0,1,0,0,1,0,0,1])).
negEx(parse([0,1,0,1,0,0,1,0,0,1])).
negEx(parse([1,1,0,1,0,0,1,0,0,1])).
negEx(parse([0,0,1,1,0,0,1,0,0,1])).
negEx(parse([1,0,1,1,0,0,1,0,0,1])).
negEx(parse([0,1,1,1,0,0,1,0,0,1])).
negEx(parse([1,1,1,1,0,0,1,0,0,1])).
negEx(parse([0,0,0,0,1,0,1,0,0,1])).
negEx(parse([1,0,0,0,1,0,1,0,0,1])).
negEx(parse([0,1,0,0,1,0,1,0,0,1])).
negEx(parse([1,1,0,0,1,0,1,0,0,1])).
negEx(parse([0,0,1,0,1,0,1,0,0,1])).
negEx(parse([1,0,1,0,1,0,1,0,0,1])).
negEx(parse([0,1,1,0,1,0,1,0,0,1])).
negEx(parse([1,1,1,0,1,0,1,0,0,1])).
negEx(parse([0,0,0,1,1,0,1,0,0,1])).
negEx(parse([1,0,0,1,1,0,1,0,0,1])).
negEx(parse([0,1,0,1,1,0,1,0,0,1])).
negEx(parse([1,1,0,1,1,0,1,0,0,1])).
negEx(parse([0,0,1,1,1,0,1,0,0,1])).
negEx(parse([1,0,1,1,1,0,1,0,0,1])).
negEx(parse([0,1,1,1,1,0,1,0,0,1])).
negEx(parse([1,1,1,1,1,0,1,0,0,1])).
negEx(parse([0,0,0,0,0,1,1,0,0,1])).
negEx(parse([1,0,0,0,0,1,1,0,0,1])).
negEx(parse([0,1,0,0,0,1,1,0,0,1])).
negEx(parse([1,1,0,0,0,1,1,0,0,1])).
negEx(parse([0,0,1,0,0,1,1,0,0,1])).
negEx(parse([1,0,1,0,0,1,1,0,0,1])).
negEx(parse([0,1,1,0,0,1,1,0,0,1])).
negEx(parse([1,1,1,0,0,1,1,0,0,1])).
negEx(parse([0,0,0,1,0,1,1,0,0,1])).
negEx(parse([1,0,0,1,0,1,1,0,0,1])).
negEx(parse([0,1,0,1,0,1,1,0,0,1])).
negEx(parse([1,1,0,1,0,1,1,0,0,1])).
negEx(parse([0,0,1,1,0,1,1,0,0,1])).
negEx(parse([1,0,1,1,0,1,1,0,0,1])).
negEx(parse([0,1,1,1,0,1,1,0,0,1])).
negEx(parse([1,1,1,1,0,1,1,0,0,1])).
negEx(parse([0,0,0,0,1,1,1,0,0,1])).
negEx(parse([1,0,0,0,1,1,1,0,0,1])).
negEx(parse([0,1,0,0,1,1,1,0,0,1])).
negEx(parse([1,1,0,0,1,1,1,0,0,1])).
negEx(parse([0,0,1,0,1,1,1,0,0,1])).
negEx(parse([1,0,1,0,1,1,1,0,0,1])).
negEx(parse([0,1,1,0,1,1,1,0,0,1])).
negEx(parse([1,1,1,0,1,1,1,0,0,1])).
negEx(parse([0,0,0,1,1,1,1,0,0,1])).
negEx(parse([1,0,0,1,1,1,1,0,0,1])).
negEx(parse([0,1,0,1,1,1,1,0,0,1])).
negEx(parse([1,1,0,1,1,1,1,0,0,1])).
negEx(parse([0,0,1,1,1,1,1,0,0,1])).
negEx(parse([1,0,1,1,1,1,1,0,0,1])).
negEx(parse([0,1,1,1,1,1,1,0,0,1])).
negEx(parse([1,1,1,1,1,1,1,0,0,1])).
negEx(parse([0,0,0,0,0,0,0,1,0,1])).
negEx(parse([1,0,0,0,0,0,0,1,0,1])).
negEx(parse([0,1,0,0,0,0,0,1,0,1])).
negEx(parse([1,1,0,0,0,0,0,1,0,1])).
negEx(parse([0,0,1,0,0,0,0,1,0,1])).
negEx(parse([1,0,1,0,0,0,0,1,0,1])).
negEx(parse([0,1,1,0,0,0,0,1,0,1])).
negEx(parse([1,1,1,0,0,0,0,1,0,1])).
negEx(parse([0,0,0,1,0,0,0,1,0,1])).
negEx(parse([1,0,0,1,0,0,0,1,0,1])).
negEx(parse([0,1,0,1,0,0,0,1,0,1])).
negEx(parse([1,1,0,1,0,0,0,1,0,1])).
negEx(parse([0,0,1,1,0,0,0,1,0,1])).
negEx(parse([1,0,1,1,0,0,0,1,0,1])).
negEx(parse([0,1,1,1,0,0,0,1,0,1])).
negEx(parse([1,1,1,1,0,0,0,1,0,1])).
negEx(parse([0,0,0,0,1,0,0,1,0,1])).
negEx(parse([1,0,0,0,1,0,0,1,0,1])).
negEx(parse([0,1,0,0,1,0,0,1,0,1])).
negEx(parse([1,1,0,0,1,0,0,1,0,1])).
negEx(parse([0,0,1,0,1,0,0,1,0,1])).
negEx(parse([1,0,1,0,1,0,0,1,0,1])).
negEx(parse([0,1,1,0,1,0,0,1,0,1])).
negEx(parse([1,1,1,0,1,0,0,1,0,1])).
negEx(parse([0,0,0,1,1,0,0,1,0,1])).
negEx(parse([1,0,0,1,1,0,0,1,0,1])).
negEx(parse([0,1,0,1,1,0,0,1,0,1])).
negEx(parse([1,1,0,1,1,0,0,1,0,1])).
negEx(parse([0,0,1,1,1,0,0,1,0,1])).
negEx(parse([1,0,1,1,1,0,0,1,0,1])).
negEx(parse([0,1,1,1,1,0,0,1,0,1])).
negEx(parse([1,1,1,1,1,0,0,1,0,1])).
negEx(parse([0,0,0,0,0,1,0,1,0,1])).
negEx(parse([1,0,0,0,0,1,0,1,0,1])).
negEx(parse([0,1,0,0,0,1,0,1,0,1])).
negEx(parse([1,1,0,0,0,1,0,1,0,1])).
negEx(parse([0,0,1,0,0,1,0,1,0,1])).
negEx(parse([1,0,1,0,0,1,0,1,0,1])).
negEx(parse([0,1,1,0,0,1,0,1,0,1])).
negEx(parse([1,1,1,0,0,1,0,1,0,1])).
negEx(parse([0,0,0,1,0,1,0,1,0,1])).
negEx(parse([1,0,0,1,0,1,0,1,0,1])).
negEx(parse([0,1,0,1,0,1,0,1,0,1])).
negEx(parse([1,1,0,1,0,1,0,1,0,1])).
negEx(parse([0,0,1,1,0,1,0,1,0,1])).
negEx(parse([1,0,1,1,0,1,0,1,0,1])).
negEx(parse([0,1,1,1,0,1,0,1,0,1])).
negEx(parse([1,1,1,1,0,1,0,1,0,1])).
negEx(parse([0,0,0,0,1,1,0,1,0,1])).
negEx(parse([1,0,0,0,1,1,0,1,0,1])).
negEx(parse([0,1,0,0,1,1,0,1,0,1])).
negEx(parse([1,1,0,0,1,1,0,1,0,1])).
negEx(parse([0,0,1,0,1,1,0,1,0,1])).
negEx(parse([1,0,1,0,1,1,0,1,0,1])).
negEx(parse([0,1,1,0,1,1,0,1,0,1])).
negEx(parse([1,1,1,0,1,1,0,1,0,1])).
negEx(parse([0,0,0,1,1,1,0,1,0,1])).
negEx(parse([1,0,0,1,1,1,0,1,0,1])).
negEx(parse([0,1,0,1,1,1,0,1,0,1])).
negEx(parse([1,1,0,1,1,1,0,1,0,1])).
negEx(parse([0,0,1,1,1,1,0,1,0,1])).
negEx(parse([1,0,1,1,1,1,0,1,0,1])).
negEx(parse([0,1,1,1,1,1,0,1,0,1])).
negEx(parse([1,1,1,1,1,1,0,1,0,1])).
negEx(parse([0,0,0,0,0,0,1,1,0,1])).
negEx(parse([1,0,0,0,0,0,1,1,0,1])).
negEx(parse([0,1,0,0,0,0,1,1,0,1])).
negEx(parse([1,1,0,0,0,0,1,1,0,1])).
negEx(parse([0,0,1,0,0,0,1,1,0,1])).
negEx(parse([1,0,1,0,0,0,1,1,0,1])).
negEx(parse([0,1,1,0,0,0,1,1,0,1])).
negEx(parse([1,1,1,0,0,0,1,1,0,1])).
negEx(parse([0,0,0,1,0,0,1,1,0,1])).
negEx(parse([1,0,0,1,0,0,1,1,0,1])).
negEx(parse([0,1,0,1,0,0,1,1,0,1])).
negEx(parse([1,1,0,1,0,0,1,1,0,1])).
negEx(parse([0,0,1,1,0,0,1,1,0,1])).
negEx(parse([1,0,1,1,0,0,1,1,0,1])).
negEx(parse([0,1,1,1,0,0,1,1,0,1])).
negEx(parse([1,1,1,1,0,0,1,1,0,1])).
negEx(parse([0,0,0,0,1,0,1,1,0,1])).
negEx(parse([1,0,0,0,1,0,1,1,0,1])).
negEx(parse([0,1,0,0,1,0,1,1,0,1])).
negEx(parse([1,1,0,0,1,0,1,1,0,1])).
negEx(parse([0,0,1,0,1,0,1,1,0,1])).
negEx(parse([1,0,1,0,1,0,1,1,0,1])).
negEx(parse([0,1,1,0,1,0,1,1,0,1])).
negEx(parse([1,1,1,0,1,0,1,1,0,1])).
negEx(parse([0,0,0,1,1,0,1,1,0,1])).
negEx(parse([1,0,0,1,1,0,1,1,0,1])).
negEx(parse([0,1,0,1,1,0,1,1,0,1])).
negEx(parse([1,1,0,1,1,0,1,1,0,1])).
negEx(parse([0,0,1,1,1,0,1,1,0,1])).
negEx(parse([1,0,1,1,1,0,1,1,0,1])).
negEx(parse([0,1,1,1,1,0,1,1,0,1])).
negEx(parse([1,1,1,1,1,0,1,1,0,1])).
negEx(parse([0,0,0,0,0,1,1,1,0,1])).
negEx(parse([1,0,0,0,0,1,1,1,0,1])).
negEx(parse([0,1,0,0,0,1,1,1,0,1])).
negEx(parse([1,1,0,0,0,1,1,1,0,1])).
negEx(parse([0,0,1,0,0,1,1,1,0,1])).
negEx(parse([1,0,1,0,0,1,1,1,0,1])).
negEx(parse([0,1,1,0,0,1,1,1,0,1])).
negEx(parse([1,1,1,0,0,1,1,1,0,1])).
negEx(parse([0,0,0,1,0,1,1,1,0,1])).
negEx(parse([1,0,0,1,0,1,1,1,0,1])).
negEx(parse([0,1,0,1,0,1,1,1,0,1])).
negEx(parse([1,1,0,1,0,1,1,1,0,1])).
negEx(parse([0,0,1,1,0,1,1,1,0,1])).
negEx(parse([1,0,1,1,0,1,1,1,0,1])).
negEx(parse([0,1,1,1,0,1,1,1,0,1])).
negEx(parse([1,1,1,1,0,1,1,1,0,1])).
negEx(parse([0,0,0,0,1,1,1,1,0,1])).
negEx(parse([1,0,0,0,1,1,1,1,0,1])).
negEx(parse([0,1,0,0,1,1,1,1,0,1])).
negEx(parse([1,1,0,0,1,1,1,1,0,1])).
negEx(parse([0,0,1,0,1,1,1,1,0,1])).
negEx(parse([1,0,1,0,1,1,1,1,0,1])).
negEx(parse([0,1,1,0,1,1,1,1,0,1])).
negEx(parse([1,1,1,0,1,1,1,1,0,1])).
negEx(parse([0,0,0,1,1,1,1,1,0,1])).
negEx(parse([1,0,0,1,1,1,1,1,0,1])).
negEx(parse([0,1,0,1,1,1,1,1,0,1])).
negEx(parse([1,1,0,1,1,1,1,1,0,1])).
negEx(parse([0,0,1,1,1,1,1,1,0,1])).
negEx(parse([1,0,1,1,1,1,1,1,0,1])).
negEx(parse([0,1,1,1,1,1,1,1,0,1])).
negEx(parse([1,1,1,1,1,1,1,1,0,1])).
negEx(parse([0,0,0,0,0,0,0,0,1,1])).
negEx(parse([1,0,0,0,0,0,0,0,1,1])).
negEx(parse([0,1,0,0,0,0,0,0,1,1])).
negEx(parse([1,1,0,0,0,0,0,0,1,1])).
negEx(parse([0,0,1,0,0,0,0,0,1,1])).
negEx(parse([1,0,1,0,0,0,0,0,1,1])).
negEx(parse([0,1,1,0,0,0,0,0,1,1])).
negEx(parse([1,1,1,0,0,0,0,0,1,1])).
negEx(parse([0,0,0,1,0,0,0,0,1,1])).
negEx(parse([1,0,0,1,0,0,0,0,1,1])).
negEx(parse([0,1,0,1,0,0,0,0,1,1])).
negEx(parse([1,1,0,1,0,0,0,0,1,1])).
negEx(parse([0,0,1,1,0,0,0,0,1,1])).
negEx(parse([1,0,1,1,0,0,0,0,1,1])).
negEx(parse([0,1,1,1,0,0,0,0,1,1])).
negEx(parse([1,1,1,1,0,0,0,0,1,1])).
negEx(parse([0,0,0,0,1,0,0,0,1,1])).
negEx(parse([1,0,0,0,1,0,0,0,1,1])).
negEx(parse([0,1,0,0,1,0,0,0,1,1])).
negEx(parse([1,1,0,0,1,0,0,0,1,1])).
negEx(parse([0,0,1,0,1,0,0,0,1,1])).
negEx(parse([1,0,1,0,1,0,0,0,1,1])).
negEx(parse([0,1,1,0,1,0,0,0,1,1])).
negEx(parse([1,1,1,0,1,0,0,0,1,1])).
negEx(parse([0,0,0,1,1,0,0,0,1,1])).
negEx(parse([1,0,0,1,1,0,0,0,1,1])).
negEx(parse([0,1,0,1,1,0,0,0,1,1])).
negEx(parse([1,1,0,1,1,0,0,0,1,1])).
negEx(parse([0,0,1,1,1,0,0,0,1,1])).
negEx(parse([1,0,1,1,1,0,0,0,1,1])).
negEx(parse([0,1,1,1,1,0,0,0,1,1])).
negEx(parse([1,1,1,1,1,0,0,0,1,1])).
negEx(parse([0,0,0,0,0,1,0,0,1,1])).
negEx(parse([1,0,0,0,0,1,0,0,1,1])).
negEx(parse([0,1,0,0,0,1,0,0,1,1])).
negEx(parse([1,1,0,0,0,1,0,0,1,1])).
negEx(parse([0,0,1,0,0,1,0,0,1,1])).
negEx(parse([1,0,1,0,0,1,0,0,1,1])).
negEx(parse([0,1,1,0,0,1,0,0,1,1])).
negEx(parse([1,1,1,0,0,1,0,0,1,1])).
negEx(parse([0,0,0,1,0,1,0,0,1,1])).
negEx(parse([1,0,0,1,0,1,0,0,1,1])).
negEx(parse([0,1,0,1,0,1,0,0,1,1])).
negEx(parse([1,1,0,1,0,1,0,0,1,1])).
negEx(parse([0,0,1,1,0,1,0,0,1,1])).
negEx(parse([1,0,1,1,0,1,0,0,1,1])).
negEx(parse([0,1,1,1,0,1,0,0,1,1])).
negEx(parse([1,1,1,1,0,1,0,0,1,1])).
negEx(parse([0,0,0,0,1,1,0,0,1,1])).
negEx(parse([1,0,0,0,1,1,0,0,1,1])).
negEx(parse([0,1,0,0,1,1,0,0,1,1])).
negEx(parse([1,1,0,0,1,1,0,0,1,1])).
negEx(parse([0,0,1,0,1,1,0,0,1,1])).
negEx(parse([1,0,1,0,1,1,0,0,1,1])).
negEx(parse([0,1,1,0,1,1,0,0,1,1])).
negEx(parse([1,1,1,0,1,1,0,0,1,1])).
negEx(parse([0,0,0,1,1,1,0,0,1,1])).
negEx(parse([1,0,0,1,1,1,0,0,1,1])).
negEx(parse([0,1,0,1,1,1,0,0,1,1])).
negEx(parse([1,1,0,1,1,1,0,0,1,1])).
negEx(parse([0,0,1,1,1,1,0,0,1,1])).
negEx(parse([1,0,1,1,1,1,0,0,1,1])).
negEx(parse([0,1,1,1,1,1,0,0,1,1])).
negEx(parse([1,1,1,1,1,1,0,0,1,1])).
negEx(parse([0,0,0,0,0,0,1,0,1,1])).
negEx(parse([1,0,0,0,0,0,1,0,1,1])).
negEx(parse([0,1,0,0,0,0,1,0,1,1])).
negEx(parse([1,1,0,0,0,0,1,0,1,1])).
negEx(parse([0,0,1,0,0,0,1,0,1,1])).
negEx(parse([1,0,1,0,0,0,1,0,1,1])).
negEx(parse([0,1,1,0,0,0,1,0,1,1])).
negEx(parse([1,1,1,0,0,0,1,0,1,1])).
negEx(parse([0,0,0,1,0,0,1,0,1,1])).
negEx(parse([1,0,0,1,0,0,1,0,1,1])).
negEx(parse([0,1,0,1,0,0,1,0,1,1])).
negEx(parse([1,1,0,1,0,0,1,0,1,1])).
negEx(parse([0,0,1,1,0,0,1,0,1,1])).
negEx(parse([1,0,1,1,0,0,1,0,1,1])).
negEx(parse([0,1,1,1,0,0,1,0,1,1])).
negEx(parse([1,1,1,1,0,0,1,0,1,1])).
negEx(parse([0,0,0,0,1,0,1,0,1,1])).
negEx(parse([1,0,0,0,1,0,1,0,1,1])).
negEx(parse([0,1,0,0,1,0,1,0,1,1])).
negEx(parse([1,1,0,0,1,0,1,0,1,1])).
negEx(parse([0,0,1,0,1,0,1,0,1,1])).
negEx(parse([1,0,1,0,1,0,1,0,1,1])).
negEx(parse([0,1,1,0,1,0,1,0,1,1])).
negEx(parse([1,1,1,0,1,0,1,0,1,1])).
negEx(parse([0,0,0,1,1,0,1,0,1,1])).
negEx(parse([1,0,0,1,1,0,1,0,1,1])).
negEx(parse([0,1,0,1,1,0,1,0,1,1])).
negEx(parse([1,1,0,1,1,0,1,0,1,1])).
negEx(parse([0,0,1,1,1,0,1,0,1,1])).
negEx(parse([1,0,1,1,1,0,1,0,1,1])).
negEx(parse([0,1,1,1,1,0,1,0,1,1])).
negEx(parse([1,1,1,1,1,0,1,0,1,1])).
negEx(parse([0,0,0,0,0,1,1,0,1,1])).
negEx(parse([1,0,0,0,0,1,1,0,1,1])).
negEx(parse([0,1,0,0,0,1,1,0,1,1])).
negEx(parse([1,1,0,0,0,1,1,0,1,1])).
negEx(parse([0,0,1,0,0,1,1,0,1,1])).
negEx(parse([1,0,1,0,0,1,1,0,1,1])).
negEx(parse([0,1,1,0,0,1,1,0,1,1])).
negEx(parse([1,1,1,0,0,1,1,0,1,1])).
negEx(parse([0,0,0,1,0,1,1,0,1,1])).
negEx(parse([1,0,0,1,0,1,1,0,1,1])).
negEx(parse([0,1,0,1,0,1,1,0,1,1])).
negEx(parse([1,1,0,1,0,1,1,0,1,1])).
negEx(parse([0,0,1,1,0,1,1,0,1,1])).
negEx(parse([1,0,1,1,0,1,1,0,1,1])).
negEx(parse([0,1,1,1,0,1,1,0,1,1])).
negEx(parse([1,1,1,1,0,1,1,0,1,1])).
negEx(parse([0,0,0,0,1,1,1,0,1,1])).
negEx(parse([1,0,0,0,1,1,1,0,1,1])).
negEx(parse([0,1,0,0,1,1,1,0,1,1])).
negEx(parse([1,1,0,0,1,1,1,0,1,1])).
negEx(parse([0,0,1,0,1,1,1,0,1,1])).
negEx(parse([1,0,1,0,1,1,1,0,1,1])).
negEx(parse([0,1,1,0,1,1,1,0,1,1])).
negEx(parse([1,1,1,0,1,1,1,0,1,1])).
negEx(parse([0,0,0,1,1,1,1,0,1,1])).
negEx(parse([1,0,0,1,1,1,1,0,1,1])).
negEx(parse([0,1,0,1,1,1,1,0,1,1])).
negEx(parse([1,1,0,1,1,1,1,0,1,1])).
negEx(parse([0,0,1,1,1,1,1,0,1,1])).
negEx(parse([1,0,1,1,1,1,1,0,1,1])).
negEx(parse([0,1,1,1,1,1,1,0,1,1])).
negEx(parse([1,1,1,1,1,1,1,0,1,1])).
negEx(parse([0,0,0,0,0,0,0,1,1,1])).
negEx(parse([1,0,0,0,0,0,0,1,1,1])).
negEx(parse([0,1,0,0,0,0,0,1,1,1])).
negEx(parse([1,1,0,0,0,0,0,1,1,1])).
negEx(parse([0,0,1,0,0,0,0,1,1,1])).
negEx(parse([1,0,1,0,0,0,0,1,1,1])).
negEx(parse([0,1,1,0,0,0,0,1,1,1])).
negEx(parse([1,1,1,0,0,0,0,1,1,1])).
negEx(parse([0,0,0,1,0,0,0,1,1,1])).
negEx(parse([1,0,0,1,0,0,0,1,1,1])).
negEx(parse([0,1,0,1,0,0,0,1,1,1])).
negEx(parse([1,1,0,1,0,0,0,1,1,1])).
negEx(parse([0,0,1,1,0,0,0,1,1,1])).
negEx(parse([1,0,1,1,0,0,0,1,1,1])).
negEx(parse([0,1,1,1,0,0,0,1,1,1])).
negEx(parse([1,1,1,1,0,0,0,1,1,1])).
negEx(parse([0,0,0,0,1,0,0,1,1,1])).
negEx(parse([1,0,0,0,1,0,0,1,1,1])).
negEx(parse([0,1,0,0,1,0,0,1,1,1])).
negEx(parse([1,1,0,0,1,0,0,1,1,1])).
negEx(parse([0,0,1,0,1,0,0,1,1,1])).
negEx(parse([1,0,1,0,1,0,0,1,1,1])).
negEx(parse([0,1,1,0,1,0,0,1,1,1])).
negEx(parse([1,1,1,0,1,0,0,1,1,1])).
negEx(parse([0,0,0,1,1,0,0,1,1,1])).
negEx(parse([1,0,0,1,1,0,0,1,1,1])).
negEx(parse([0,1,0,1,1,0,0,1,1,1])).
negEx(parse([1,1,0,1,1,0,0,1,1,1])).
negEx(parse([0,0,1,1,1,0,0,1,1,1])).
negEx(parse([1,0,1,1,1,0,0,1,1,1])).
negEx(parse([0,1,1,1,1,0,0,1,1,1])).
negEx(parse([1,1,1,1,1,0,0,1,1,1])).
negEx(parse([0,0,0,0,0,1,0,1,1,1])).
negEx(parse([1,0,0,0,0,1,0,1,1,1])).
negEx(parse([0,1,0,0,0,1,0,1,1,1])).
negEx(parse([1,1,0,0,0,1,0,1,1,1])).
negEx(parse([0,0,1,0,0,1,0,1,1,1])).
negEx(parse([1,0,1,0,0,1,0,1,1,1])).
negEx(parse([0,1,1,0,0,1,0,1,1,1])).
negEx(parse([1,1,1,0,0,1,0,1,1,1])).
negEx(parse([0,0,0,1,0,1,0,1,1,1])).
negEx(parse([1,0,0,1,0,1,0,1,1,1])).
negEx(parse([0,1,0,1,0,1,0,1,1,1])).
negEx(parse([1,1,0,1,0,1,0,1,1,1])).
negEx(parse([0,0,1,1,0,1,0,1,1,1])).
negEx(parse([1,0,1,1,0,1,0,1,1,1])).
negEx(parse([0,1,1,1,0,1,0,1,1,1])).
negEx(parse([1,1,1,1,0,1,0,1,1,1])).
negEx(parse([0,0,0,0,1,1,0,1,1,1])).
negEx(parse([1,0,0,0,1,1,0,1,1,1])).
negEx(parse([0,1,0,0,1,1,0,1,1,1])).
negEx(parse([1,1,0,0,1,1,0,1,1,1])).
negEx(parse([0,0,1,0,1,1,0,1,1,1])).
negEx(parse([1,0,1,0,1,1,0,1,1,1])).
negEx(parse([0,1,1,0,1,1,0,1,1,1])).
negEx(parse([1,1,1,0,1,1,0,1,1,1])).
negEx(parse([0,0,0,1,1,1,0,1,1,1])).
negEx(parse([1,0,0,1,1,1,0,1,1,1])).
negEx(parse([0,1,0,1,1,1,0,1,1,1])).
negEx(parse([1,1,0,1,1,1,0,1,1,1])).
negEx(parse([0,0,1,1,1,1,0,1,1,1])).
negEx(parse([1,0,1,1,1,1,0,1,1,1])).
negEx(parse([0,1,1,1,1,1,0,1,1,1])).
negEx(parse([1,1,1,1,1,1,0,1,1,1])).
negEx(parse([0,0,0,0,0,0,1,1,1,1])).
negEx(parse([1,0,0,0,0,0,1,1,1,1])).
negEx(parse([0,1,0,0,0,0,1,1,1,1])).
negEx(parse([1,1,0,0,0,0,1,1,1,1])).
negEx(parse([0,0,1,0,0,0,1,1,1,1])).
negEx(parse([1,0,1,0,0,0,1,1,1,1])).
negEx(parse([0,1,1,0,0,0,1,1,1,1])).
negEx(parse([1,1,1,0,0,0,1,1,1,1])).
negEx(parse([0,0,0,1,0,0,1,1,1,1])).
negEx(parse([1,0,0,1,0,0,1,1,1,1])).
negEx(parse([0,1,0,1,0,0,1,1,1,1])).
negEx(parse([1,1,0,1,0,0,1,1,1,1])).
negEx(parse([0,0,1,1,0,0,1,1,1,1])).
negEx(parse([1,0,1,1,0,0,1,1,1,1])).
negEx(parse([0,1,1,1,0,0,1,1,1,1])).
negEx(parse([1,1,1,1,0,0,1,1,1,1])).
negEx(parse([0,0,0,0,1,0,1,1,1,1])).
negEx(parse([1,0,0,0,1,0,1,1,1,1])).
negEx(parse([0,1,0,0,1,0,1,1,1,1])).
negEx(parse([1,1,0,0,1,0,1,1,1,1])).
negEx(parse([0,0,1,0,1,0,1,1,1,1])).
negEx(parse([1,0,1,0,1,0,1,1,1,1])).
negEx(parse([0,1,1,0,1,0,1,1,1,1])).
negEx(parse([1,1,1,0,1,0,1,1,1,1])).
negEx(parse([0,0,0,1,1,0,1,1,1,1])).
negEx(parse([1,0,0,1,1,0,1,1,1,1])).
negEx(parse([0,1,0,1,1,0,1,1,1,1])).
negEx(parse([1,1,0,1,1,0,1,1,1,1])).
negEx(parse([0,0,1,1,1,0,1,1,1,1])).
negEx(parse([1,0,1,1,1,0,1,1,1,1])).
negEx(parse([0,1,1,1,1,0,1,1,1,1])).
negEx(parse([1,1,1,1,1,0,1,1,1,1])).
negEx(parse([0,0,0,0,0,1,1,1,1,1])).
negEx(parse([1,0,0,0,0,1,1,1,1,1])).
negEx(parse([0,1,0,0,0,1,1,1,1,1])).
negEx(parse([1,1,0,0,0,1,1,1,1,1])).
negEx(parse([0,0,1,0,0,1,1,1,1,1])).
negEx(parse([1,0,1,0,0,1,1,1,1,1])).
negEx(parse([0,1,1,0,0,1,1,1,1,1])).
negEx(parse([1,1,1,0,0,1,1,1,1,1])).
negEx(parse([0,0,0,1,0,1,1,1,1,1])).
negEx(parse([1,0,0,1,0,1,1,1,1,1])).
negEx(parse([0,1,0,1,0,1,1,1,1,1])).
negEx(parse([1,1,0,1,0,1,1,1,1,1])).
negEx(parse([0,0,1,1,0,1,1,1,1,1])).
negEx(parse([1,0,1,1,0,1,1,1,1,1])).
negEx(parse([0,1,1,1,0,1,1,1,1,1])).
negEx(parse([1,1,1,1,0,1,1,1,1,1])).
negEx(parse([0,0,0,0,1,1,1,1,1,1])).
negEx(parse([1,0,0,0,1,1,1,1,1,1])).
negEx(parse([0,1,0,0,1,1,1,1,1,1])).
negEx(parse([1,1,0,0,1,1,1,1,1,1])).
negEx(parse([0,0,1,0,1,1,1,1,1,1])).
negEx(parse([1,0,1,0,1,1,1,1,1,1])).
negEx(parse([0,1,1,0,1,1,1,1,1,1])).
negEx(parse([1,1,1,0,1,1,1,1,1,1])).
negEx(parse([0,0,0,1,1,1,1,1,1,1])).
negEx(parse([1,0,0,1,1,1,1,1,1,1])).
negEx(parse([0,1,0,1,1,1,1,1,1,1])).
negEx(parse([1,1,0,1,1,1,1,1,1,1])).
negEx(parse([0,0,1,1,1,1,1,1,1,1])).
negEx(parse([1,0,1,1,1,1,1,1,1,1])).
negEx(parse([0,1,1,1,1,1,1,1,1,1])).
negEx(parse([1,1,1,1,1,1,1,1,1,1])).