ftruexsfeqslengthxslengthconsaxsconsaxslengthnil0lengthconsxxsslengthxseq00trueeqsx0falseeq0syfalseeqsxsyeqxyf2true0eq2s1length1cons2a0nil000false0FULLemmes-nonloop-ex7_1.trs