negEx(parse([b,b,a,b,a,a,a,b,b])).
posEx(parse([b,b,b,b])).
negEx(parse([a,a])).
posEx(parse([a,a,b])).
negEx(parse([])).
negEx(parse([a])).
negEx(parse([a,a,b,b,b,b,a,a,a,b])).
negEx(parse([b,a,b,b,b,a])).
negEx(parse([b,b,b,b,b,b,a,a,a,b,b,b,a,b,a,a])).
negEx(parse([a,a])).
negEx(parse([a,b,a,a,a,a,b,b,b,b,a,a,b,b,b,a,a,b,b])).
negEx(parse([a,a,a,b,a,b,b,b,b,b,a,a,b,b,a,b,b,a])).
negEx(parse([b,b,a,b,a,b,b,b,a,a,b,a,a,b,b,a,a,a,a,a,b,b,a,a,b,b,b,b,b,a,a,a,a,b])).
negEx(parse([a])).
negEx(parse([b,b,a,a,a,a,a,b,a,a,a,a,b,a,b,a,a,b,b])).
negEx(parse([a,a,a,a,a])).
negEx(parse([a,b,b,b,a,a,a,b,b,a,a,b,b,b,a,a,a,b,a,a,b,b,a,a])).
negEx(parse([])).
negEx(parse([b,a,a,b])).
negEx(parse([a,a,a,a])).
negEx(parse([b,a])).
negEx(parse([a,b,b,a])).
negEx(parse([b,b,a,a,a])).
negEx(parse([b,a,a,a,a,b,a,b,a,b,b,b,b,b,a,a])).
negEx(parse([b,a,a,a,b,b,a,a])).
negEx(parse([])).
negEx(parse([b,b,a,a,b,b,a,b,b,a,b,a,b,b,b,a,b,a])).
negEx(parse([])).
negEx(parse([b,a,a,b])).
negEx(parse([])).
negEx(parse([])).
negEx(parse([a])).
posEx(parse([b])).
negEx(parse([a,b,a,a,b,b,a,b,b,a,a,b,a])).
negEx(parse([b,b,b,b,a,a,b,b,a,a,a,b,b,a,b,a])).
negEx(parse([a,b,a,b,b,a,a,a,a,b,b,a,a,a,b,a])).
negEx(parse([b,b,a,a])).
negEx(parse([b,a,b,b])).
negEx(parse([b,a,a,a,b,a,a,b,a,b,a,a,a,b,b,a,b,b,a,b,b,a,b,b,b,a,b,b,a,b,a,b,a,a,a,b,b,a,b,a,a])).
negEx(parse([a,b,a,b,b,a,b,b,b,b,a,a,a,a,a,b,b,b,a,a,a,a,b])).
posEx(parse([b])).
posEx(parse([a,b])).
negEx(parse([a,b,a,a,a,a,a,a,b,a,a,b,b])).
negEx(parse([b,a,a])).
negEx(parse([b,a,b,b,b])).
negEx(parse([])).
negEx(parse([b,a,a,a,b,a,a,b,b,a,b,a,b,a,a,a,a,a,a,b,b,a,b,b,b,b,b,a,b,b,b,b,a,a,a,a,a,a,b,b,b,a,a,a,b,b,a,a,b,a,b,b,a,a])).
posEx(parse([a,a,a,b])).
negEx(parse([a,b,b,b,a,b,b,b,b,b])).
posEx(parse([b,b])).
negEx(parse([b,b,a,b,b,b,b,a,b,a,a,a,a,a,a,b,b,b,b,b,b,a])).
negEx(parse([a,b,b,b,a,b,b,b,a,b,b,a,a,b,b,a,a,b,b,b,a])).
posEx(parse([b,b])).
negEx(parse([b,a,b,a,b,a,a,a,a,b,a,a,b,b,a,b,a,a,b,a,b,a,b,b,b,b])).
negEx(parse([a,b,a,a,a])).
negEx(parse([a,a])).
negEx(parse([])).
negEx(parse([b,a,a,a,a,b])).
posEx(parse([b,b,b,b])).
posEx(parse([a,a,b])).
posEx(parse([b,b])).
posEx(parse([b])).
posEx(parse([b])).
posEx(parse([b])).
posEx(parse([b])).
posEx(parse([b])).
posEx(parse([b])).
posEx(parse([a,b])).
posEx(parse([a,a,b])).
posEx(parse([a,a,b,b])).
posEx(parse([a,b])).
posEx(parse([b,b,b,b,b])).
posEx(parse([a,a,a,b,b])).
posEx(parse([b])).
posEx(parse([b,b])).
posEx(parse([b,b])).
posEx(parse([a,b,b])).
posEx(parse([b])).
posEx(parse([a,a,b,b,b,b,b])).
posEx(parse([b,b,b])).
posEx(parse([a,a,a,b])).
posEx(parse([b])).
posEx(parse([a,a,a,b])).
posEx(parse([a,a,a,b])).
posEx(parse([b,b])).
posEx(parse([a,b,b,b,b])).
posEx(parse([b])).
posEx(parse([b,b])).
posEx(parse([a,b])).
posEx(parse([b])).
posEx(parse([b])).
posEx(parse([b])).
posEx(parse([b,b])).
posEx(parse([b])).
posEx(parse([a,b,b])).
posEx(parse([a,b,b,b,b,b])).
posEx(parse([a,a,a,a,a,a,b])).
posEx(parse([a,b,b])).
posEx(parse([a,b,b,b,b,b,b])).
posEx(parse([a,b])).