http://acm.ro/prob/probleme/I.pdf
(+(*(+~(*ab))(+~a))c) (bc) –3 1 1 0 (+~x~y~y) () –2 1 0
c (*~a~a) ~y
Migrated from old NTUJ.
SEERC 2010