isListnilttisListConsxxsisListxsdownfrom0nildownfromsxConssxdownfromxfxcondisListdownfromxsxcondttxfxisList1nil0tt0Cons2downfrom100s1f1cond2FULLTRS//AProVE_10/downfrom.trs