walk#1Nilwalk_xswalk#1Consx4x3comp_f_gwalk#1x3walk_xs_3x4comp_f_g#1comp_f_gx7x9walk_xs_3x8x12comp_f_g#1x7x9Consx8x12comp_f_g#1walk_xswalk_xs_3x8x12Consx8x12mainNilNilmainConsx4x5comp_f_g#1walk#1x5walk_xs_3x4Nilwalk#11Nil0walk_xs0Cons2comp_f_g2walk_xs_31comp_f_g#13main1INNERMOSThoca/rev-dl.trs