walk#1Leafx2cons_xx2walk#1Nodex5x3comp_f_gwalk#1x5walk#1x3comp_f_g#1comp_f_gx4x5comp_f_gx2x3x1comp_f_g#1x4x5comp_f_g#1x2x3x1comp_f_g#1comp_f_gx7x9cons_xx2x4comp_f_g#1x7x9Consx2x4comp_f_g#1cons_xx2comp_f_gx5x7x3Consx2comp_f_g#1x5x7x3comp_f_g#1cons_xx5cons_xx2x4Consx5Consx2x4mainLeafx4Consx4NilmainNodex9x5comp_f_g#1walk#1x9walk#1x5Nilwalk#11Leaf1cons_x1Node2comp_f_g2comp_f_g#13Cons2main1Nil0INNERMOSThoca/flatten.trs