timesxysumgeneratexygeneratexygenxy0genxyzifgezxxyziftruexyzniliffalsexyzconsygenxyszsumxssum2xs0sum2xsyifsumisNilxsisZeroheadxsxsyifsumtruebxsyyifsumfalsebxsyifsum2bxsyifsum2truexsysum2tailxsyifsum2falsexsysum2conspheadxstailxssyisNilniltrueisNilconsxxsfalsetailnilniltailconsxxsxsheadconsxxsxheadnilerrorisZero0trueisZeros0falseisZerossxisZerosxp0ss0ps00pssxspsxgex0truege0syfalsegesxsygexyacadtimes2sum1generate2gen300if4ge2true0nil0false0cons2s1sum22ifsum4isNil1isZero1head1ifsum23tail1p1error0a0c0d0INNERMOST./TRS/secret07/aprove/aprove01.trs