appappneq00falseappappneq0appsytrueappappneqappsx0trueappappneqappsxappsyappappneqxyappappfilterfnilnilappappfilterfappappconsyysappappappfiltersubappfyfappappconsyysappappappfiltersubtruefappappconsyysappappconsyappappfilterfysappappappfiltersubfalsefappappconsyysappappfilterfysnonzeroappfilterappneq02.0appnonzero0nonzero0filtersub0filtersub0filtersub1filtersub2filtersub3cons0cons0cons1cons2nil0nil0filter0filter0filter1filter2true0true0s0s0s1false0false00000neq0neq0neq1neq2appneq1x4x5neq2x4x5appneq0x4neq1x4apps0x9s1x9appfilter1x12x13filter2x12x13appfilter0x12filter1x12appcons1x16x17cons2x16x17appcons0x16cons1x16appfiltersub2x19x20x21filtersub3x19x20x21appfiltersub1x19x20filtersub2x19x20appfiltersub0x19filtersub1x19neq20000false0neq200s1ytrue0neq2s1x00true0neq2s1xs1yneq2xyfilter2fnil0nil0filter2fcons2yysfiltersub3appfyfcons2yysfiltersub3true0fcons2yyscons2yfilter2fysfiltersub3false0fcons2yysfilter2fysnonzero0filter1neq100appneq1x4x5neq2x4x5appneq0x4neq1x4apps0x9s1x9appfilter1x12x13filter2x12x13appfilter0x12filter1x12appcons1x16x17cons2x16x17appcons0x16cons1x16appfiltersub2x19x20x21filtersub3x19x20x21appfiltersub1x19x20filtersub2x19x20appfiltersub0x19filtersub1x19neq2s1xs1yneq2xyfilter2fcons2yysappfyfilter2fcons2yysfiltersub3appfyfcons2yysfiltersub3true0fcons2yysfilter2fysfiltersub3false0fcons2yysfilter2fysappneq1x4x5neq2x4x5appfilter1x12x13filter2x12x13appfiltersub2x19x20x21filtersub3x19x20x21truefiltersub3true0fcons2yysfilter2fysfilter2fcons2yysfiltersub3appfyfcons2yysfiltersub3false0fcons2yysfilter2fysfilter2fcons2yysappfyappfiltersub2x19x20x21filtersub3x19x20x21appfilter1x12x13filter2x12x13true211641filtersub330000110002000030000app210001000020000filter2210001000020000filtersub330101100002111130000filtersub2210101101020000filtersub11000011100filtersub000000cons2211001000020000cons11000010100cons000100nil000000filter2200001000020000filter11101011000filter000000true001000s11000110100s000000false0000000001000neq2201001100120100neq11000010000neq001000app201101001120000filtersub3true0fcons2yysfilter2fysfilter2fcons2yysfiltersub3appfyfcons2yysfiltersub3false0fcons2yysfilter2fysfilter2fcons2yysappfyappfiltersub2x19x20x21filtersub3x19x20x21211641filtersub330000100002001030000app200001001021000filter2200001100021000filtersub330000100002000030000filtersub2200001000020000filtersub11000010000filtersub000000cons2200111110020100cons11000010000cons000000nil001000filter2200101010020000filter11000010000filter001100true000000s11001011100s000000false0000000000000neq2211011001021100neq11100011100neq000000app201111000020000filtersub3true0fcons2yysfilter2fysfilter2fcons2yysfiltersub3appfyfcons2yysfiltersub3false0fcons2yysfilter2fysfilter2fcons2yysappfyfiltersub3true0fcons2yysfilter2fysfilter2fcons2yysfiltersub3appfyfcons2yysfiltersub3false0fcons2yysfilter2fystrue211641filtersub331000100002100030000filter2200001001020000filtersub330000100002100130000filtersub2201011000120000filtersub11101110000filtersub000000cons2201011001120000cons11101110000cons000000nil000000filter2200001001120000filter11001110000filter000000true000000s11100110100s001000false0010000001000neq2200001101020000neq11100010000neq000000app201001101120000filtersub3true0fcons2yysfilter2fysfilter2fcons2yysfiltersub3appfyfcons2yysappneq1x4x5neq2x4x5appneq0x4neq1x4apps0x9s1x9appfilter1x12x13filter2x12x13appfilter0x12filter1x12appcons1x16x17cons2x16x17appcons0x16cons1x16appfiltersub2x19x20x21filtersub3x19x20x21appfiltersub1x19x20filtersub2x19x20appfiltersub0x19filtersub1x19neq20000false0neq200s1ytrue0neq2s1x00true0neq2s1xs1yneq2xyfilter2fnil0nil0filter2fcons2yysfiltersub3appfyfcons2yysfiltersub3true0fcons2yyscons2yfilter2fysfiltersub3false0fcons2yysfilter2fys211641filtersub330000100002001031000filter2200001100020000filtersub330101111012000130100filtersub2200001000020000filtersub11000010000filtersub000000cons2200001111121000cons11010010000cons000000nil000000filter2210001100121000filter11010010000filter000000true000000s11010010100s000100false0011000001100neq2210101101020100neq11000010100neq000000app200011001121000filter2fcons2yysfiltersub3appfyfcons2yysfilter2fcons2yysfiltersub3appfyfcons2yysfalsefilter2fcons2yysappfyfalseappneq1x4x5neq2x4x5falseneq2s1xs1yneq2xytrue211641neq2200001101020000s11111110100