revApp#2Nilx16x16revApp#2Consx6x4x2revApp#2x4Consx6x2dfsAcc#3Leafx8x16Consx8x16dfsAcc#3Nodex6x4x2dfsAcc#3x4dfsAcc#3x6x2mainx1revApp#2dfsAcc#3x1NilNilrevApp#22Nil0Cons2dfsAcc#32Leaf1Node2main1INNERMOSThoca/dfs-flatten.trs