isEmptyconsxxsfalseisEmptyniltrueisZero0trueisZerosxfalseheadconsxxsxtailconsxxsxstailnilnilpssxspsxps00p00incsxsincxinc0s0sumListxsyifisEmptyxsisZeroheadxsytailxsconspheadxstailxsincyiftruebyxsysxyiffalsetrueyxsysxsumListxsyiffalsefalseyxsysxsumListysxsumxssumListxs0isEmpty1cons2false0nil0true0isZero100s1head1tail1p1inc1sumList2if6sum1INNERMOST./TRS/secret06/aprove/sumList.trs