appapptwicefxappfappfxappappmapfnilnilappappmapfappappconshtappappconsappfhappappmapftappappfmapnilxnilappappfmapappappconsft_fxappappconsappfxappappfmapt_fxappapptwicefxappfappfxappapptwicefxappfxappappmapfappappconshtappappconsappfhappappmapftappappmapfappappconshtappconsappfhappappmapfappappconshtappfhappappmapfappappconshtappappmapftappappfmapappappconsft_fxappappconsappfxappappfmapt_fxappappfmapappappconsft_fxappconsappfxappappfmapappappconsft_fxappfxappappfmapappappconsft_fxappappfmapt_fxappappfmapappappconsft_fxappfmapt_ftrueappapptwicefxappfxappapptwicefxappfappfxappappmapfappappconshtappfhappappmapfappappconshtappappmapftappappfmapappappconsft_fxappfxtrue1234561app211app211112twice00map01cons01fmap01t_f01nil00appappmapfappappconshtappappmapft1app212app211112map00cons00appappmapfappappconshtappappconsappfhappappmapftfalseappappmapfappappconshtappconsappfhfalseappappfmapappappconsft_fxappappconsappfxappappfmapt_fxfalseappappfmapappappconsft_fxappconsappfxfalseappappfmapappappconsft_fxappappfmapt_fxfalseappappfmapappappconsft_fxappfmapt_ffalse