app'app'eq00trueapp'app'eq0app'sxfalseapp'app'eqapp'sx0falseapp'app'eqapp'sxapp'syapp'app'eqxyapp'app'le0ytrueapp'app'leapp'sx0falseapp'app'leapp'sxapp'syapp'app'lexyapp'app'appnilyyapp'app'appapp'app'addnxyapp'app'addnapp'app'appxyapp'minapp'app'addnnilnapp'minapp'app'addnapp'app'addmxapp'app'if_minapp'app'lenmapp'app'addnapp'app'addmxapp'app'if_mintrueapp'app'addnapp'app'addmxapp'minapp'app'addnxapp'app'if_minfalseapp'app'addnapp'app'addmxapp'minapp'app'addmxapp'app'rmnnilnilapp'app'rmnapp'app'addmxapp'app'app'if_rmapp'app'eqnmnapp'app'addmxapp'app'app'if_rmtruenapp'app'addmxapp'app'rmnxapp'app'app'if_rmfalsenapp'app'addmxapp'app'addmapp'app'rmnxapp'app'minsortnilnilnilapp'app'minsortapp'app'addnxyapp'app'app'if_minsortapp'app'eqnapp'minapp'app'addnxapp'app'addnxyapp'app'app'if_minsorttrueapp'app'addnxyapp'app'addnapp'app'minsortapp'app'appapp'app'rmnxynilapp'app'app'if_minsortfalseapp'app'addnxyapp'app'minsortxapp'app'addnyapp'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'2eq000true0s0false0le0app0nil0add0min0if_min0rm0if_rm0minsort0if_minsort0map0filter0filter20FULL./TRS/currying/AG01/#3.10.trs