appappfmapfnilxnilappappfmapappappfconsftxappappconsappfxappappfmaptx2.0appcons0cons0cons1cons2fcons0fcons0fcons1fcons2nil0nil0fnil0fnil0fmap0fmap0fmap1fmap2appfmap1x3x4fmap2x3x4appfmap0x3fmap1x3appfcons1x8x9fcons2x8x9appfcons0x8fcons1x8appcons1x11x12cons2x11x12appcons0x11cons1x11fmap2fnil0xnil0fmap2fcons2ftxcons2appfxfmap2txappfmap1x3x4fmap2x3x4appfmap0x3fmap1x3appfcons1x8x9fcons2x8x9appfcons0x8fcons1x8appcons1x11x12cons2x11x12appcons0x11cons1x11fmap2fcons2ftxfmap2txfmap2fcons2ftxappfxappfmap1x3x4fmap2x3x4truefmap221app21