appnotappnotxxappnotappapporxyappappandappnotxappnotyappnotappappandxyappapporappnotxappnotyappappandxappapporyzappapporappappandxyappappandxzappappandappapporyzxappapporappappandxyappappandxzappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappfilterfnilnilappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2truefxxsappappconsxappappfilterfxsappappappappfilter2falsefxxsappappfilterfxs2.0appnotappapporxyappnotyappnotappapporxyappnotxappnotappapporxyappandappnotxappnotappapporxyappappandappnotxappnotyappnotappappandxyappnotyappnotappappandxyappnotxappnotappappandxyapporappnotxappnotappappandxyappapporappnotxappnotyappappandxappapporyzappappandxzappappandxappapporyzappappandxyappappandxappapporyzapporappappandxyappappandxappapporyzappapporappappandxyappappandxzappappandappapporyzxappappandxzappappandappapporyzxappandxappappandappapporyzxappappandxyappappandappapporyzxapporappappandxyappappandappapporyzxappapporappappandxyappappandxzappappmapfappappconsxxsappappmapfxsappappmapfappappconsxxsappfxappappmapfappappconsxxsappconsappfxappappmapfappappconsxxsappappconsappfxappappmapfxsappappfilterfappappconsxxsappfxappappfilterfappappconsxxsappfilter2appfxappappfilterfappappconsxxsappappfilter2appfxfappappfilterfappappconsxxsappappappfilter2appfxfxappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2truefxxsappfilterfappappappappfilter2truefxxsappappfilterfxsappappappappfilter2truefxxsappconsxappappappappfilter2truefxxsappappconsxappappfilterfxsappappappappfilter2falsefxxsappfilterfappappappappfilter2falsefxxsappappfilterfxstrueappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2falsefxxsappappfilterfxsappappfilterfappappconsxxsappfxappappappappfilter2truefxxsappappfilterfxsappappmapfappappconsxxsappfxappappmapfappappconsxxsappappmapfxstrueapp22appappappappfilter2falsefxxsappappfilterfxsappappappappfilter2truefxxsappappfilterfxsappappappappfilter2falsefxxsappappfilterfxsfalseappappappappfilter2truefxxsappappfilterfxsfalseappnotappappandxyappnotxappnotappappandxyappnotyappnotappapporxyappnotxappnotappapporxyappnotytrueapp22appnotappapporxyappandappnotxfalseappnotappapporxyappappandappnotxappnotyfalseappnotappappandxyapporappnotxfalseappnotappappandxyappapporappnotxappnotyfalseappappandappapporyzxappappandxyappappandappapporyzxappappandxzappappandxappapporyzappappandxyappappandxappapporyzappappandxztrueappapp2app0false0false0true0true0filter20filter20filter21filter22filter23filter24filter0filter0filter1filter2cons0cons0cons1cons2nil0nil0map0map0map1map2and0and0and1and2or0or0or1or2not0not0not1appnot0x185not1x185appor1x187x188or2x187x188appor0x187or1x187appand1x190x191and2x190x191appand0x190and1x190appmap1x193x194map2x193x194appmap0x193map1x193appcons1x197x198cons2x197x198appcons0x197cons1x197appfilter1x200x201filter2x200x201appfilter0x200filter1x200appfilter23x203x204x205x206filter24x203x204x205x206appfilter22x203x204x205filter23x203x204x205appfilter21x203x204filter22x203x204appfilter20x203filter21x203app0and1or2yzxapp0and1xyapp0and1or2yzxapp0and1xzapp0and1xor2yzapp0and1xyapp0and1xor2yzapp0and1xznot1not1xxnot1or2xyand2not1xnot1ynot1and2xyor2not1xnot1yand2xor2yzor2and2xyand2xzand2or2yzxor2and2xyand2xzmap2fnil0nil0map2fcons2xxscons2appfxmap2fxsfilter2fnil0nil0filter2fcons2xxsfilter24appfxfxxsfilter24true0fxxscons2xfilter2fxsfilter24false0fxxsfilter2fxsappnot0x185not1x185appor1x187x188or2x187x188appor0x187or1x187appand1x190x191and2x190x191appand0x190and1x190appmap1x193x194map2x193x194appmap0x193map1x193appcons1x197x198cons2x197x198appcons0x197cons1x197appfilter1x200x201filter2x200x201appfilter0x200filter1x200appfilter23x203x204x205x206filter24x203x204x205x206appfilter22x203x204x205filter23x203x204x205appfilter21x203x204filter22x203x204appfilter20x203filter21x2032app0false00false00true00true00filter244filter240filter233filter230filter222filter220filter211filter210filter200filter200filter22filter20filter11filter10filter00filter00cons22cons20cons11cons10cons00cons00nil00nil00map22map20map11map10map00map00and22and20and11and10and1_app{0,#}_1and00and00or22or20or11or10or00or00not11not10not00not00app2app0and1_app{0,#}_1or20yzxand1_app{0,#}_1xyand1_app{0,#}_1or20yzxand1_app{0,#}_1xzand1_app{0,#}_1xor20yzand1_app{0,#}_1xyand1_app{0,#}_1xor20yzand1_app{0,#}_1xznot10not10xxnot10or20xyand20not10xnot10ynot10and20xyor20not10xnot10yand20xor20yzor20and20xyand20xzand20or20yzxor20and20xyand20xzmap20fnil00nil00map20fcons20xxscons20app0fxmap20fxsfilter20fnil00nil00filter20fcons20xxsfilter240app0fxfxxsfilter240true00fxxscons20xfilter20fxsfilter240false00fxxsfilter20fxsapp0not00x185not10x185app0or10x187x188or20x187x188app0or00x187or10x187app0and10x190x191and20x190x191app0and00x190and10x190app0map10x193x194map20x193x194app0map00x193map10x193app0cons10x197x198cons20x197x198app0cons00x197cons10x197app0filter10x200x201filter20x200x201app0filter00x200filter10x200app0filter230x203x204x205x206filter240x203x204x205x206app0filter220x203x204x205filter230x203x204x205app0filter210x203x204filter220x203x204app0filter200x203filter210x203app0false000false000true000true000filter2404filter2400filter2303filter2300filter2301filter2202filter2200filter2201filter2101filter2100filter2101filter2000filter2000filter2001filter202filter200filter101filter100filter101filter000filter000filter001cons202cons200cons101cons100cons101cons000cons000cons001nil000nil000map202map200map101map100map101map000map000map001and202and200and1_app{0,#}_12and1_app{0,#}_10and101and100and101and000and000and001or202or200or101or100or101or000or000or001not101not100not000not000not001app0not000x248not001x248app0or100x250x251or101x250x251app0or000x253or001x253app0and100x255x256and101x255x256app0and000x258and001x258app0map100x260x261map101x260x261app0map000x263map001x263app0cons100x265x266cons101x265x266app0cons000x268cons001x268app0filter100x270x271filter101x270x271app0filter000x273filter001x273app0filter2300x275x276x277x278filter2301x275x276x277x278app0filter2200x280x281x282filter2201x280x281x282app0filter2100x284x285filter2101x284x285app0filter2000x287filter2001x287and1_app{0,#}_10or200yzxand1_app{0,#}_10xyand1_app{0,#}_10or200yzxand1_app{0,#}_10xzand1_app{0,#}_10xor200yzand1_app{0,#}_10xyand1_app{0,#}_10xor200yzand1_app{0,#}_10xznot100not100xxnot100or200xyand200not100xnot100ynot100and200xyor200not100xnot100yand200xor200yzor200and200xyand200xzand200or200yzxor200and200xyand200xzmap200fnil000nil000map200fcons200xxscons200app0fxmap200fxsfilter200fnil000nil000filter200fcons200xxsfilter2400app0fxfxxsfilter2400true000fxxscons200xfilter200fxsfilter2400false000fxxsfilter200fxsnot001x185not100x185or101x187x188or200x187x188or001x187or100x187and101x190x191and200x190x191and001x190and100x190map101x193x194map200x193x194map001x193map100x193cons101x197x198cons200x197x198cons001x197cons100x197filter101x200x201filter200x200x201filter001x200filter100x200filter2301x203x204x205x206filter2400x203x204x205x206filter2201x203x204x205filter2300x203x204x205filter2101x203x204filter2200x203x204filter2001x203filter2100x203app0not000x248not001x248app0or100x250x251or101x250x251app0or000x253or001x253app0and100x255x256and101x255x256app0and000x258and001x258app0map100x260x261map101x260x261app0map000x263map001x263app0cons100x265x266cons101x265x266app0cons000x268cons001x268app0filter100x270x271filter101x270x271app0filter000x273filter001x273app0filter2300x275x276x277x278filter2301x275x276x277x278app0filter2200x280x281x282filter2201x280x281x282app0filter2100x284x285filter2101x284x285app0filter2000x287filter2001x287appappandxappapporyzapporappappandxyfalseappappandxappapporyzappapporappappandxyappappandxzfalseappappandappapporyzxappandxfalseappappandappapporyzxapporappappandxyfalseappappandappapporyzxappapporappappandxyappappandxzfalseappappmapfappappconsxxsappconsappfxfalseappappmapfappappconsxxsappappconsappfxappappmapfxsfalseappappappappfilter2truefxxsappfilterffalseappappappappfilter2truefxxsappconsxfalseappappappappfilter2truefxxsappappconsxappappfilterfxsfalseappappappappfilter2falsefxxsappfilterffalseappappfilterfappappconsxxsappappappfilter2appfxfxfalseappappfilterfappappconsxxsappappfilter2appfxffalseappappfilterfappappconsxxsappfilter2appfxfalse