rev_l#2x8x10Consx10x8step_x_f#1rev_lx5step_x_fx2x3x4x1step_x_f#1x2x3x4rev_l#2x1x5step_x_f#1rev_lx5fleft_op_e_xs_1x3rev_l#2x3x5foldr#3Nilfleft_op_e_xs_1foldr#3Consx16x6step_x_frev_lx16foldr#3x6mainNilNilmainConsx8x9step_x_f#1rev_lx8foldr#3x9Nilrev_l#22Cons2step_x_f#14rev_l0step_x_f3fleft_op_e_xs_10foldr#31Nil0main1INNERMOSThoca/rev-fletf.trs