appappeq00trueappappeq0appsmfalseappappeqappsn0falseappappeqappsnappsmappappeqnmappapple0mtrueappappleappsn0falseappappleappsnappsmappapplenmappminappappcons0nil0appminappappconsappsnnilappsnappminappappconsnappappconsmxappappif_minappapplenmappappconsnappappconsmxappappif_mintrueappappconsnappappconsmxappminappappconsnxappappif_minfalseappappconsnappappconsmxappminappappconsmxappappappreplacenmnilnilappappappreplacenmappappconskxappappappappif_replaceappappeqnknmappappconskxappappappappif_replacetruenmappappconskxappappconsmxappappappappif_replacefalsenmappappconskxappappconskappappappreplacenmxappsortnilnilappsortappappconsnxappappconsappminappappconsnxappsortappappappreplaceappminappappconsnxnxappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappfilterfnilnilappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2truefxxsappappconsxappappfilterfxsappappappappfilter2falsefxxsappappfilterfxsapp2eq000true0s0false0le0min0cons0nil0if_min0replace0if_replace0sort0map0filter0filter20INNERMOST./TRS/currying/AG01/#4.36.trs