prodxsprodIterxss0prodIterxsxifProdisemptyxsxsxifProdtruexsxxifProdfalsexsxprodItertailxstimesxheadxsplus0yyplussxysplusxytimesxytimesIterxy00timesIterxyzuifTimesgeuxxyzuifTimestruexyzuzifTimesfalsexyzutimesIterxyplusyzsuisemptyniltrueisemptyconsxxsfalseheadnilerrorheadconsxxsxtailnilniltailconsxxsxsgex0truege0syfalsegesxsygexyabacprod1prodIter2s100ifProd3isempty1true0false0tail1times2head1plus2timesIter4ifTimes5ge2nil0cons2error0a0b0c0FULL./TRS/secret07/aprove/aprove05.trs