appapp*xappapp+yzappapp+appapp*xyappapp*xzappapp*appapp+yzxappapp+appapp*xyappapp*xzappapp*appapp*xyzappapp*xappapp*yzappapp+appapp+xyzappapp+xappapp+yzappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappfilterfnilnilappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2truefxxsappappconsxappappfilterfxsappappappappfilter2falsefxxsappappfilterfxs2.0appfalse0false0true0true0filter20filter20filter21filter22filter23filter24filter0filter0filter1filter2cons0cons0cons1cons2nil0nil0map0map0map1map2+0+0+1+2*0*0*1*2app*1x5x6*2x5x6app*0x5*1x5app+1x8x9+2x8x9app+0x8+1x8appmap1x11x12map2x11x12appmap0x11map1x11appcons1x15x16cons2x15x16appcons0x15cons1x15appfilter1x18x19filter2x18x19appfilter0x18filter1x18appfilter23x21x22x23x24filter24x21x22x23x24appfilter22x21x22x23filter23x21x22x23appfilter21x21x22filter22x21x22appfilter20x21filter21x21*2x+2yz+2*2xy*2xz*2+2yzx+2*2xy*2xz*2*2xyz*2x*2yz+2+2xyz+2x+2yzmap2fnil0nil0map2fcons2xxscons2appfxmap2fxsfilter2fnil0nil0filter2fcons2xxsfilter24appfxfxxsfilter24true0fxxscons2xfilter2fxsfilter24false0fxxsfilter2fxsapp*1x5x6*2x5x6app*0x5*1x5app+1x8x9+2x8x9app+0x8+1x8appmap1x11x12map2x11x12appmap0x11map1x11appcons1x15x16cons2x15x16appcons0x15cons1x15appfilter1x18x19filter2x18x19appfilter0x18filter1x18appfilter23x21x22x23x24filter24x21x22x23x24appfilter22x21x22x23filter23x21x22x23appfilter21x21x22filter22x21x22appfilter20x21filter21x21*2x+2yz*2xz*2x+2yz*2xy*2x+2yz+2*2xy*2xz*2+2yzx*2xz*2+2yzx*2xy*2+2yzx+2*2xy*2xz*2*2xyz*2yz*2*2xyz*2x*2yz+2+2xyz+2yz+2+2xyz+2x+2yzmap2fcons2xxsmap2fxsmap2fcons2xxsappfxfilter2fcons2xxsappfxfilter2fcons2xxsfilter24appfxfxxsfilter24true0fxxsfilter2fxsfilter24false0fxxsfilter2fxsapp*1x5x6*2x5x6app+1x8x9+2x8x9appmap1x11x12map2x11x12appfilter1x18x19filter2x18x19appfilter23x21x22x23x24filter24x21x22x23x24truefilter24false0fxxsfilter2fxsfilter2fcons2xxsappfxappfilter23x21x22x23x24filter24x21x22x23x24filter24true0fxxsfilter2fxsappfilter1x18x19filter2x18x19appmap1x11x12map2x11x12map2fcons2xxsappfxmap2fcons2xxsmap2fxstrue211641filter244000010000200003100040000filter2200001100020000app200001101020000map2200001001020000false000000true000000filter2330000100002000030000filter11000010000cons2211111000120100map11000010000filter24false0fxxsfilter2fxsfilter2fcons2xxsappfxappfilter23x21x22x23x24filter24x21x22x23x24filter24true0fxxsfilter2fxsappfilter1x18x19filter2x18x19appmap1x11x12map2x11x12filter24false0fxxsfilter2fxsfilter2fcons2xxsappfxappfilter1x18x19filter2x18x19appfilter23x21x22x23x24filter24x21x22x23x24filter24true0fxxsfilter2fxstrue211641filter244000011000200003101040000filter2210001101020000app210001101020000false000000true000000filter2331010110002000031000filter11101011000cons2201101000020000filter24false0fxxsfilter2fxsfilter2fcons2xxsappfxfilter24true0fxxsfilter2fxsfilter24true0fxxsfilter2fxsfalsefilter24false0fxxsfilter2fxsfalsefilter2fcons2xxsappfxfalseappmap1x11x12map2x11x12falseapp*1x5x6*2x5x6false*2*2xyz*2x*2yz*2*2xyz*2yz*2+2yzx*2xy*2+2yzx*2xz*2x+2yz*2xy*2x+2yz*2xztrue*2x+2yz+2*2xy*2xzfalse*2+2yzx+2*2xy*2xzfalseapp+1x8x9+2x8x9false+2+2xyz+2x+2yz+2+2xyz+2yztrue211641+2200101100020000+2200111100121100+2+2xyz+2x+2yz+2+2xyz+2x+2yz211641+2200101000020000+2200011000020100filter2fcons2xxsfilter24appfxfxxsfalse