sum#1Nil0sum#1Consx2x1plus#2x2sum#1x1map#2NilNilmap#2Consx2x5Consmult#2x2x2map#2x5unfoldr#20Nilunfoldr#2Sx2Consx2unfoldr#2x2mult#20x20mult#2Sx4x2plus#2x2mult#2x4x2plus#20x8x8plus#2Sx4x2Splus#2x4x2main00mainSx1sum#1map#2ConsSx1unfoldr#2Sx1sum#11Nil000Cons2plus#22map#21mult#22unfoldr#21S1main1INNERMOSThoca/sum_sqs3.trs