app'app'minusx0xapp'app'minusapp'sxapp'syapp'app'minusxyapp'app'quot0app'sy0app'app'quotapp'sxapp'syapp'sapp'app'quotapp'app'minusxyapp'syapp'app'le0ytrueapp'app'leapp'sx0falseapp'app'leapp'sxapp'syapp'app'lexyapp'app'appnilyyapp'app'appapp'app'addnxyapp'app'addnapp'app'appxyapp'app'lownnilnilapp'app'lownapp'app'addmxapp'app'app'if_lowapp'app'lemnnapp'app'addmxapp'app'app'if_lowtruenapp'app'addmxapp'app'addmapp'app'lownxapp'app'app'if_lowfalsenapp'app'addmxapp'app'lownxapp'app'highnnilnilapp'app'highnapp'app'addmxapp'app'app'if_highapp'app'lemnnapp'app'addmxapp'app'app'if_hightruenapp'app'addmxapp'app'highnxapp'app'app'if_highfalsenapp'app'addmxapp'app'addmapp'app'highnxapp'quicksortnilnilapp'quicksortapp'app'addnxapp'app'appapp'quicksortapp'app'lownxapp'app'addnapp'quicksortapp'app'highnxapp'app'mapfnilnilapp'app'mapfapp'app'addxxsapp'app'addapp'fxapp'app'mapfxsapp'app'filterfnilnilapp'app'filterfapp'app'addxxsapp'app'app'app'filter2app'fxfxxsapp'app'app'app'filter2truefxxsapp'app'addxapp'app'filterfxsapp'app'app'app'filter2falsefxxsapp'app'filterfxsapp'2minus000s0quot0le0true0false0app0nil0add0low0if_low0high0if_high0quicksort0map0filter0filter20FULL./TRS/currying/AG01/#3.55.trs