mapConsxxsConsfxmapxsmapNilNilgoalxsmapxsfx*xx+FullSxy+FullxSy+Full0yy*xSSy+x*xSy*xS0x*x00*0y0map1+2S1f1Cons2Nil0+Full200goal1*2INNERMOST