plus#20x12x12plus#2Sx4x2Splus#2x4x2fold#3Nil0fold#3Consx4x2plus#2x4fold#3x2mainx1fold#3x1plus#2200S1fold#31Nil0Cons2main1INNERMOSThoca/sum.trs