isEmptyconsxxsfalseisEmptyniltrueisZero0trueisZerosxfalseheadconsxxsxtailconsxxsxstailnilnilappendnilxconsxnilappendconsyysxconsyappendysxpssxspsxps00p00incsxsincxinc0s0addListsxsyszsifisEmptyxsisEmptyysisZeroheadxstailxstailysconspheadxstailxsconsincheadystailyszsappendzsheadysiftruetruebxsysxs2ys2zszs2zsiftruefalsebxsysxs2ys2zszs2differentLengthErroriffalsetruebxsysxs2ys2zszs2differentLengthErroriffalsefalsefalsexsysxs2ys2zszs2addListsxs2ys2zsiffalsefalsetruexsysxs2ys2zszs2addListsxsyszs2addListxsysaddListsxsysnilisEmpty1cons2false0nil0true0isZero100s1head1tail1append2p1inc1addLists3if9differentLengthError0addList2FULL./TRS/secret06/aprove/addList.trs