appappmaptfappleafxappleafappfxappappmaptfappnodexsappnodeappappmaptlistfxsappappmaptlistfnilnilappappmaptlistfappappconsxxsappappconsappappmaptfxappappmaptlistfxs2.0appcons0cons0cons1cons2nil0nil0maptlist0maptlist0maptlist1maptlist2node0node0node1leaf0leaf0leaf1mapt0mapt0mapt1mapt2appmapt1x3x4mapt2x3x4appmapt0x3mapt1x3appleaf0x6leaf1x6appnode0x8node1x8appmaptlist1x10x11maptlist2x10x11appmaptlist0x10maptlist1x10appcons1x14x15cons2x14x15appcons0x14cons1x14mapt2fleaf1xleaf1appfxmapt2fnode1xsnode1maptlist2fxsmaptlist2fnil0nil0maptlist2fcons2xxscons2mapt2fxmaptlist2fxsappmapt1x3x4mapt2x3x4appmapt0x3mapt1x3appleaf0x6leaf1x6appnode0x8node1x8appmaptlist1x10x11maptlist2x10x11appmaptlist0x10maptlist1x10appcons1x14x15cons2x14x15appcons0x14cons1x14mapt2fleaf1xappfxmapt2fnode1xsmaptlist2fxsmaptlist2fcons2xxsmaptlist2fxsmaptlist2fcons2xxsmapt2fxappmapt1x3x4mapt2x3x4appmaptlist1x10x11maptlist2x10x11true211641maptlist2200001001021000app200001001021000mapt2200001001021000cons2200011000120100maptlist11000010000node11000110000leaf11000110000mapt11000010000mapt2fleaf1xappfxmapt2fnode1xsmaptlist2fxsappmapt1x3x4mapt2x3x4appmaptlist1x10x11maptlist2x10x11appmapt1x3x4mapt2x3x4mapt2fleaf1xappfxtrue211641app200001001020000mapt2200001001020000leaf11000110100mapt11000010000appmapt1x3x4mapt2x3x4appmapt1x3x4mapt2x3x4falsemapt2fnode1xsmaptlist2fxsfalseappmaptlist1x10x11maptlist2x10x11false