isChoice
split refactor p1
split refactor p2
solutions and expressions
show
optimization of valid Op
--