plusxyplusIterxy0plusIterxyzifPluslexzxyzifPlustruexyzyifPlusfalsexyzplusIterxsyszlesx0falsele0ytruelesxsylexysumxssumIterxs0sumIterxsxifSumisemptyxsxsxplusxheadxsifSumtruexsxyxifSumfalsexsxysumItertailxsyisemptyniltrueisemptyconsxxsfalseheadnilerrorheadconsxxsxtailnilniltailconsxxsxsabacplus2plusIter300ifPlus4le2true0false0s1sum1sumIter2ifSum4isempty1head1tail1nil0cons2error0a0b0c0FULL./TRS/secret07/aprove/aprove07.trs