/export/starexec/sandbox/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES a__andttTmarkTa__isNatIListILa__isNatListILa__isNat0tta__isNatsNa__isNatNa__isNatlengthLa__isNatListLa__isNatIListzerostta__isNatIListconsNILa__anda__isNatNa__isNatIListILa__isNatListniltta__isNatListconsNLa__anda__isNatNa__isNatListLa__isNatListtakeNILa__anda__isNatNa__isNatIListILa__zeroscons0zerosa__take0ILa__uTake1a__isNatIListILa__uTake1ttnila__takesMconsNILa__uTake2a__anda__isNatMa__anda__isNatNa__isNatIListILMNILa__uTake2ttMNILconsmarkNtakeMILa__lengthconsNLa__uLengtha__anda__isNatNa__isNatListLLa__uLengthttLsa__lengthmarkLmarkandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXmarkisNatListXa__isNatListXmarkisNatXa__isNatXmarklengthXa__lengthmarkXmarkzerosa__zerosmarktakeX1X2a__takemarkX1markX2markuTake1Xa__uTake1markXmarkuTake2X1X2X3X4a__uTake2markX1X2X3X4markuLengthX1X2a__uLengthmarkX1X2markttttmark00marksXsmarkXmarkconsX1X2consmarkX1X2marknilnila__andX1X2andX1X2a__isNatIListXisNatIListXa__isNatListXisNatListXa__isNatXisNatXa__lengthXlengthXa__zeroszerosa__takeX1X2takeX1X2a__uTake1XuTake1Xa__uTake2X1X2X3X4uTake2X1X2X3X4a__uLengthX1X2uLengthX1X22.1a__andttTmarkTa__isNatIListILa__isNatListILa__isNatsNa__isNatNa__isNatlengthLa__isNatListLa__isNatIListconsNILa__isNatIListILa__isNatIListconsNILa__isNatNa__isNatIListconsNILa__anda__isNatNa__isNatIListILa__isNatListconsNLa__isNatListLa__isNatListconsNLa__isNatNa__isNatListconsNLa__anda__isNatNa__isNatListLa__isNatListtakeNILa__isNatIListILa__isNatListtakeNILa__isNatNa__isNatListtakeNILa__anda__isNatNa__isNatIListILa__take0ILa__isNatIListILa__take0ILa__uTake1a__isNatIListILa__takesMconsNILa__isNatIListILa__takesMconsNILa__isNatNa__takesMconsNILa__anda__isNatNa__isNatIListILa__takesMconsNILa__isNatMa__takesMconsNILa__anda__isNatMa__anda__isNatNa__isNatIListILa__takesMconsNILa__uTake2a__anda__isNatMa__anda__isNatNa__isNatIListILMNILa__uTake2ttMNILmarkNa__lengthconsNLa__isNatListLa__lengthconsNLa__isNatNa__lengthconsNLa__anda__isNatNa__isNatListLa__lengthconsNLa__uLengtha__anda__isNatNa__isNatListLLa__uLengthttLmarkLa__uLengthttLa__lengthmarkLmarkandX1X2markX2markandX1X2markX1markandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXmarkisNatListXa__isNatListXmarkisNatXa__isNatXmarklengthXmarkXmarklengthXa__lengthmarkXmarkzerosa__zerosmarktakeX1X2markX2marktakeX1X2markX1marktakeX1X2a__takemarkX1markX2markuTake1XmarkXmarkuTake1Xa__uTake1markXmarkuTake2X1X2X3X4markX1markuTake2X1X2X3X4a__uTake2markX1X2X3X4markuLengthX1X2markX1markuLengthX1X2a__uLengthmarkX1X2marksXmarkXmarkconsX1X2markX1truea__uLengthttLa__lengthmarkLa__lengthconsNLa__isNatListLa__isNatListconsNLa__isNatListLa__isNatListconsNLa__isNatNa__isNatsNa__isNatNa__isNatlengthLa__isNatListLa__isNatListconsNLa__anda__isNatNa__isNatListLa__andttTmarkTmarkandX1X2markX2markandX1X2markX1markandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXa__isNatIListILa__isNatListILa__isNatListtakeNILa__isNatIListILa__isNatIListconsNILa__isNatIListILa__isNatIListconsNILa__isNatNa__isNatIListconsNILa__anda__isNatNa__isNatIListILa__isNatListtakeNILa__isNatNa__isNatListtakeNILa__anda__isNatNa__isNatIListILmarkisNatListXa__isNatListXmarkisNatXa__isNatXmarklengthXmarkXmarklengthXa__lengthmarkXa__lengthconsNLa__isNatNa__lengthconsNLa__anda__isNatNa__isNatListLa__lengthconsNLa__uLengtha__anda__isNatNa__isNatListLLa__uLengthttLmarkLmarktakeX1X2markX2marktakeX1X2markX1marktakeX1X2a__takemarkX1markX2a__take0ILa__isNatIListILa__takesMconsNILa__isNatIListILa__takesMconsNILa__isNatNa__takesMconsNILa__anda__isNatNa__isNatIListILa__takesMconsNILa__isNatMa__takesMconsNILa__anda__isNatMa__anda__isNatNa__isNatIListILa__takesMconsNILa__uTake2a__anda__isNatMa__anda__isNatNa__isNatIListILMNILa__uTake2ttMNILmarkNmarkuTake1XmarkXmarkuTake2X1X2X3X4markX1markuTake2X1X2X3X4a__uTake2markX1X2X3X4markuLengthX1X2markX1markuLengthX1X2a__uLengthmarkX1X2marksXmarkXmarkconsX1X2markX1true1231a__uLength20102a__length101a__uTake24102034a__take20112a__isNat101a__isNatList101a__isNatIList101mark101a__and2102uLength22162uTake24015203140uTake1101isNat101isNatList101isNatIList101and20102a__uLength22162a__length1610a__uTake24015203140a__uTake1101a__take25112a__zeros04take25112nil02cons201020zeros04length1610s1010a__isNat101002a__isNatList101a__isNatIList101mark101a__and20102tt02a__uLengthttLa__lengthmarkLa__lengthconsNLa__isNatListLa__isNatListconsNLa__isNatListLa__isNatListconsNLa__isNatNa__isNatsNa__isNatNa__isNatListconsNLa__anda__isNatNa__isNatListLa__andttTmarkTmarkandX1X2markX2markandX1X2markX1markandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXa__isNatIListILa__isNatListILa__isNatIListconsNILa__isNatIListILa__isNatIListconsNILa__isNatNa__isNatIListconsNILa__anda__isNatNa__isNatIListILmarkisNatListXa__isNatListXmarkisNatXa__isNatXa__lengthconsNLa__isNatNa__lengthconsNLa__anda__isNatNa__isNatListLa__lengthconsNLa__uLengtha__anda__isNatNa__isNatListLLa__uLengthttLmarkLmarktakeX1X2a__takemarkX1markX2a__takesMconsNILa__isNatMa__takesMconsNILa__uTake2a__anda__isNatMa__anda__isNatNa__isNatIListILMNILa__uTake2ttMNILmarkNmarkuTake1XmarkXmarkuTake2X1X2X3X4markX1markuTake2X1X2X3X4a__uTake2markX1X2X3X4marksXmarkXmarkconsX1X2markX1a__andttTmarkTa__isNatIListILa__isNatListILa__isNat0tta__isNatsNa__isNatNa__isNatlengthLa__isNatListLa__isNatIListzerostta__isNatIListconsNILa__anda__isNatNa__isNatIListILa__isNatListniltta__isNatListconsNLa__anda__isNatNa__isNatListLa__isNatListtakeNILa__anda__isNatNa__isNatIListILa__zeroscons0zerosa__take0ILa__uTake1a__isNatIListILa__uTake1ttnila__takesMconsNILa__uTake2a__anda__isNatMa__anda__isNatNa__isNatIListILMNILa__uTake2ttMNILconsmarkNtakeMILa__lengthconsNLa__uLengtha__anda__isNatNa__isNatListLLa__uLengthttLsa__lengthmarkLmarkandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXmarkisNatListXa__isNatListXmarkisNatXa__isNatXmarklengthXa__lengthmarkXmarkzerosa__zerosmarktakeX1X2a__takemarkX1markX2markuTake1Xa__uTake1markXmarkuTake2X1X2X3X4a__uTake2markX1X2X3X4markuLengthX1X2a__uLengthmarkX1X2markttttmark00marksXsmarkXmarkconsX1X2consmarkX1X2marknilnila__andX1X2andX1X2a__isNatIListXisNatIListXa__isNatListXisNatListXa__isNatXisNatXa__lengthXlengthXa__zeroszerosa__takeX1X2takeX1X2a__uTake1XuTake1Xa__uTake2X1X2X3X4uTake2X1X2X3X4a__uLengthX1X2uLengthX1X2a__uLengthttLa__lengthmarkLa__lengthconsNLa__uLengtha__anda__isNatNa__isNatListLLtrue12341a__uLength201120a__length1014uLength201120uTake2401220314uTake1115isNat1116isNatList111isNatIList1116and2102a__uLength201120a__length1014a__uTake24012203140a__uTake1115a__take211025a__zeros04take211025nil05cons201120zeros00length1010s1115a__isNat1116004a__isNatList1114a__isNatIList1116mark1014a__and21024tt06a__lengthconsNLa__uLengtha__anda__isNatNa__isNatListLLa__andttTmarkTa__isNatIListILa__isNatListILa__isNat0tta__isNatsNa__isNatNa__isNatlengthLa__isNatListLa__isNatIListzerostta__isNatIListconsNILa__anda__isNatNa__isNatIListILa__isNatListniltta__isNatListconsNLa__anda__isNatNa__isNatListLa__isNatListtakeNILa__anda__isNatNa__isNatIListILa__zeroscons0zerosa__take0ILa__uTake1a__isNatIListILa__uTake1ttnila__takesMconsNILa__uTake2a__anda__isNatMa__anda__isNatNa__isNatIListILMNILa__uTake2ttMNILconsmarkNtakeMILa__lengthconsNLa__uLengtha__anda__isNatNa__isNatListLLa__uLengthttLsa__lengthmarkLmarkandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXmarkisNatListXa__isNatListXmarkisNatXa__isNatXmarklengthXa__lengthmarkXmarkzerosa__zerosmarktakeX1X2a__takemarkX1markX2markuTake1Xa__uTake1markXmarkuTake2X1X2X3X4a__uTake2markX1X2X3X4markuLengthX1X2a__uLengthmarkX1X2markttttmark00marksXsmarkXmarkconsX1X2consmarkX1X2marknilnila__andX1X2andX1X2a__isNatIListXisNatIListXa__isNatListXisNatListXa__isNatXisNatXa__lengthXlengthXa__zeroszerosa__takeX1X2takeX1X2a__uTake1XuTake1Xa__uTake2X1X2X3X4uTake2X1X2X3X4a__uLengthX1X2uLengthX1X2a__lengthconsNLa__uLengtha__anda__isNatNa__isNatListLLfalsea__uLengthttLmarkLfalse46a__lengthconsNLa__anda__isNatNa__isNatListLfalse3a__lengthconsNLa__isNatNfalse7a__lengthconsNLa__isNatListLfalse15a__isNatListconsNLa__isNatListLa__isNatListconsNLa__anda__isNatNa__isNatListLa__andttTmarkTmarkandX1X2markX2markandX1X2markX1markandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXa__isNatIListILa__isNatListILa__isNatIListconsNILa__isNatIListILa__isNatIListconsNILa__anda__isNatNa__isNatIListILmarkisNatListXa__isNatListXmarktakeX1X2a__takemarkX1markX2a__takesMconsNILa__uTake2a__anda__isNatMa__anda__isNatNa__isNatIListILMNILa__uTake2ttMNILmarkNmarkuTake1XmarkXmarkuTake2X1X2X3X4markX1markuTake2X1X2X3X4a__uTake2markX1X2X3X4marksXmarkXmarkconsX1X2markX1true12341a__uTake240102034a__take20142a__isNatList101a__isNatIList101mark101a__and20102uLength24142uTake2401020344uTake11410isNat101isNatList101isNatIList101and20102a__uLength24142a__length141a__uTake2401020344a__uTake11410a__take201420a__zeros05take201420nil00cons20102zeros05length141s101a__isNat101000a__isNatList101a__isNatIList101mark101a__and20102tt00a__isNatListconsNLa__isNatListLa__isNatListconsNLa__anda__isNatNa__isNatListLa__andttTmarkTmarkandX1X2markX2markandX1X2markX1markandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXa__isNatIListILa__isNatListILa__isNatIListconsNILa__isNatIListILa__isNatIListconsNILa__anda__isNatNa__isNatIListILmarkisNatListXa__isNatListXmarktakeX1X2a__takemarkX1markX2a__takesMconsNILa__uTake2a__anda__isNatMa__anda__isNatNa__isNatIListILMNILa__uTake2ttMNILmarkNmarkuTake2X1X2X3X4markX1markuTake2X1X2X3X4a__uTake2markX1X2X3X4marksXmarkXmarkconsX1X2markX1a__andttTmarkTa__isNatIListILa__isNatListILa__isNat0tta__isNatsNa__isNatNa__isNatlengthLa__isNatListLa__isNatIListzerostta__isNatIListconsNILa__anda__isNatNa__isNatIListILa__isNatListniltta__isNatListconsNLa__anda__isNatNa__isNatListLa__isNatListtakeNILa__anda__isNatNa__isNatIListILa__zeroscons0zerosa__take0ILa__uTake1a__isNatIListILa__uTake1ttnila__takesMconsNILa__uTake2a__anda__isNatMa__anda__isNatNa__isNatIListILMNILa__uTake2ttMNILconsmarkNtakeMILa__lengthconsNLa__uLengtha__anda__isNatNa__isNatListLLa__uLengthttLsa__lengthmarkLmarkandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXmarkisNatListXa__isNatListXmarkisNatXa__isNatXmarklengthXa__lengthmarkXmarkzerosa__zerosmarktakeX1X2a__takemarkX1markX2markuTake1Xa__uTake1markXmarkuTake2X1X2X3X4a__uTake2markX1X2X3X4markuLengthX1X2a__uLengthmarkX1X2markttttmark00marksXsmarkXmarkconsX1X2consmarkX1X2marknilnila__andX1X2andX1X2a__isNatIListXisNatIListXa__isNatListXisNatListXa__isNatXisNatXa__lengthXlengthXa__zeroszerosa__takeX1X2takeX1X2a__uTake1XuTake1Xa__uTake2X1X2X3X4uTake2X1X2X3X4a__uLengthX1X2uLengthX1X21a__uTake240121340a__take201020a__isNatList101a__isNatIList101mark101a__and2102uLength2122uTake24010213242uTake1110isNat101isNatList101isNatIList1010and20102a__uLength2122a__length121a__uTake24010213242a__uTake1110a__take201220a__zeros01take201220nil00cons211020zeros01length121s101a__isNat101000a__isNatList101a__isNatIList1010mark101a__and20102tt00a__isNatListconsNLa__isNatListLa__isNatListconsNLa__anda__isNatNa__isNatListLa__andttTmarkTmarkandX1X2markX2markandX1X2markX1markandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXa__isNatIListILa__isNatListILa__isNatIListconsNILa__isNatIListILa__isNatIListconsNILa__anda__isNatNa__isNatIListILmarkisNatListXa__isNatListXmarktakeX1X2a__takemarkX1markX2a__takesMconsNILa__uTake2a__anda__isNatMa__anda__isNatNa__isNatIListILMNILmarkuTake2X1X2X3X4markX1markuTake2X1X2X3X4a__uTake2markX1X2X3X4marksXmarkXa__andttTmarkTa__isNatIListILa__isNatListILa__isNat0tta__isNatsNa__isNatNa__isNatlengthLa__isNatListLa__isNatIListzerostta__isNatIListconsNILa__anda__isNatNa__isNatIListILa__isNatListniltta__isNatListconsNLa__anda__isNatNa__isNatListLa__isNatListtakeNILa__anda__isNatNa__isNatIListILa__zeroscons0zerosa__take0ILa__uTake1a__isNatIListILa__uTake1ttnila__takesMconsNILa__uTake2a__anda__isNatMa__anda__isNatNa__isNatIListILMNILa__uTake2ttMNILconsmarkNtakeMILa__lengthconsNLa__uLengtha__anda__isNatNa__isNatListLLa__uLengthttLsa__lengthmarkLmarkandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXmarkisNatListXa__isNatListXmarkisNatXa__isNatXmarklengthXa__lengthmarkXmarkzerosa__zerosmarktakeX1X2a__takemarkX1markX2markuTake1Xa__uTake1markXmarkuTake2X1X2X3X4a__uTake2markX1X2X3X4markuLengthX1X2a__uLengthmarkX1X2markttttmark00marksXsmarkXmarkconsX1X2consmarkX1X2marknilnila__andX1X2andX1X2a__isNatIListXisNatIListXa__isNatListXisNatListXa__isNatXisNatXa__lengthXlengthXa__zeroszerosa__takeX1X2takeX1X2a__uTake1XuTake1Xa__uTake2X1X2X3X4uTake2X1X2X3X4a__uLengthX1X2uLengthX1X2a__isNatListconsNLa__isNatListLa__isNatListconsNLa__anda__isNatNa__isNatListLa__andttTmarkTmarkandX1X2markX2markandX1X2markX1markandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXa__isNatIListILa__isNatListILa__isNatIListconsNILa__isNatIListILa__isNatIListconsNILa__anda__isNatNa__isNatIListILmarkisNatListXa__isNatListXmarkuTake2X1X2X3X4markX1marksXmarkXtrue121a__isNatList1010a__isNatIList1010mark1010a__and20102uLength21020uTake24213223242uTake11210isNat101isNatList101isNatIList101and20102a__uLength21020a__length1010a__uTake24213223242a__uTake11210a__take23122a__zeros00take23122nil00cons20102zeros00length1010s1010a__isNat101000a__isNatList101a__isNatIList101mark101a__and20102tt00a__isNatListconsNLa__isNatListLa__isNatListconsNLa__anda__isNatNa__isNatListLa__andttTmarkTmarkandX1X2markX2markandX1X2markX1markandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXa__isNatIListILa__isNatListILa__isNatIListconsNILa__isNatIListILa__isNatIListconsNILa__anda__isNatNa__isNatIListILmarkisNatListXa__isNatListXmarksXmarkXa__andttTmarkTa__isNatIListILa__isNatListILa__isNat0tta__isNatsNa__isNatNa__isNatlengthLa__isNatListLa__isNatIListzerostta__isNatIListconsNILa__anda__isNatNa__isNatIListILa__isNatListniltta__isNatListconsNLa__anda__isNatNa__isNatListLa__isNatListtakeNILa__anda__isNatNa__isNatIListILa__zeroscons0zerosa__take0ILa__uTake1a__isNatIListILa__uTake1ttnila__takesMconsNILa__uTake2a__anda__isNatMa__anda__isNatNa__isNatIListILMNILa__uTake2ttMNILconsmarkNtakeMILa__lengthconsNLa__uLengtha__anda__isNatNa__isNatListLLa__uLengthttLsa__lengthmarkLmarkandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXmarkisNatListXa__isNatListXmarkisNatXa__isNatXmarklengthXa__lengthmarkXmarkzerosa__zerosmarktakeX1X2a__takemarkX1markX2markuTake1Xa__uTake1markXmarkuTake2X1X2X3X4a__uTake2markX1X2X3X4markuLengthX1X2a__uLengthmarkX1X2markttttmark00marksXsmarkXmarkconsX1X2consmarkX1X2marknilnila__andX1X2andX1X2a__isNatIListXisNatIListXa__isNatListXisNatListXa__isNatXisNatXa__lengthXlengthXa__zeroszerosa__takeX1X2takeX1X2a__uTake1XuTake1Xa__uTake2X1X2X3X4uTake2X1X2X3X4a__uLengthX1X2uLengthX1X21a__isNatList101a__isNatIList1710mark101a__and20102uLength2162uTake24011203740uTake1101isNat101isNatList101isNatIList1710and201020a__uLength2162a__length161a__uTake24011203740a__uTake1101a__take211720a__zeros00take211720nil00cons201020zeros00length161s101a__isNat101000a__isNatList101a__isNatIList1710mark101a__and201020tt00a__isNatListconsNLa__isNatListLa__isNatListconsNLa__anda__isNatNa__isNatListLa__andttTmarkTmarkandX1X2markX2markandX1X2markX1markandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXa__isNatIListconsNILa__isNatIListILa__isNatIListconsNILa__anda__isNatNa__isNatIListILmarkisNatListXa__isNatListXmarksXmarkXa__andttTmarkTa__isNatIListILa__isNatListILa__isNat0tta__isNatsNa__isNatNa__isNatlengthLa__isNatListLa__isNatIListzerostta__isNatIListconsNILa__anda__isNatNa__isNatIListILa__isNatListniltta__isNatListconsNLa__anda__isNatNa__isNatListLa__isNatListtakeNILa__anda__isNatNa__isNatIListILa__zeroscons0zerosa__take0ILa__uTake1a__isNatIListILa__uTake1ttnila__takesMconsNILa__uTake2a__anda__isNatMa__anda__isNatNa__isNatIListILMNILa__uTake2ttMNILconsmarkNtakeMILa__lengthconsNLa__uLengtha__anda__isNatNa__isNatListLLa__uLengthttLsa__lengthmarkLmarkandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXmarkisNatListXa__isNatListXmarkisNatXa__isNatXmarklengthXa__lengthmarkXmarkzerosa__zerosmarktakeX1X2a__takemarkX1markX2markuTake1Xa__uTake1markXmarkuTake2X1X2X3X4a__uTake2markX1X2X3X4markuLengthX1X2a__uLengthmarkX1X2markttttmark00marksXsmarkXmarkconsX1X2consmarkX1X2marknilnila__andX1X2andX1X2a__isNatIListXisNatIListXa__isNatListXisNatListXa__isNatXisNatXa__lengthXlengthXa__zeroszerosa__takeX1X2takeX1X2a__uTake1XuTake1Xa__uTake2X1X2X3X4uTake2X1X2X3X4a__uLengthX1X2uLengthX1X21a__isNatList101a__isNatIList101mark101a__and2102uLength20102uTake2411223340uTake1110isNat101isNatList1010isNatIList1010and21102a__uLength20102a__length1010a__uTake2411223340a__uTake1110a__take211320a__zeros02take211320nil00cons221020zeros02length1010s1010a__isNat101000a__isNatList1010a__isNatIList1010mark101a__and21102tt00a__isNatListconsNLa__isNatListLa__isNatListconsNLa__anda__isNatNa__isNatListLa__andttTmarkTmarkandX1X2markX2markandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXa__isNatIListconsNILa__isNatIListILa__isNatIListconsNILa__anda__isNatNa__isNatIListILmarkisNatListXa__isNatListXmarksXmarkXa__andttTmarkTa__isNatIListILa__isNatListILa__isNat0tta__isNatsNa__isNatNa__isNatlengthLa__isNatListLa__isNatIListzerostta__isNatIListconsNILa__anda__isNatNa__isNatIListILa__isNatListniltta__isNatListconsNLa__anda__isNatNa__isNatListLa__isNatListtakeNILa__anda__isNatNa__isNatIListILa__zeroscons0zerosa__take0ILa__uTake1a__isNatIListILa__uTake1ttnila__takesMconsNILa__uTake2a__anda__isNatMa__anda__isNatNa__isNatIListILMNILa__uTake2ttMNILconsmarkNtakeMILa__lengthconsNLa__uLengtha__anda__isNatNa__isNatListLLa__uLengthttLsa__lengthmarkLmarkandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXmarkisNatListXa__isNatListXmarkisNatXa__isNatXmarklengthXa__lengthmarkXmarkzerosa__zerosmarktakeX1X2a__takemarkX1markX2markuTake1Xa__uTake1markXmarkuTake2X1X2X3X4a__uTake2markX1X2X3X4markuLengthX1X2a__uLengthmarkX1X2markttttmark00marksXsmarkXmarkconsX1X2consmarkX1X2marknilnila__andX1X2andX1X2a__isNatIListXisNatIListXa__isNatListXisNatListXa__isNatXisNatXa__lengthXlengthXa__zeroszerosa__takeX1X2takeX1X2a__uTake1XuTake1Xa__uTake2X1X2X3X4uTake2X1X2X3X4a__uLengthX1X2uLengthX1X21a__isNatList101a__isNatIList101mark101a__and2102uLength20122uTake241203241uTake1101isNat1010isNatList101isNatIList101and2122a__uLength20142a__length121a__uTake241223441a__uTake1101a__take2122a__zeros02take2122nil00cons201220zeros00length121s101a__isNat1011000a__isNatList101a__isNatIList101mark121a__and2122tt00a__andttTmarkTmarkandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXmarkisNatListXa__isNatListXmarksXmarkXa__andttTmarkTa__isNatIListILa__isNatListILa__isNat0tta__isNatsNa__isNatNa__isNatlengthLa__isNatListLa__isNatIListzerostta__isNatIListconsNILa__anda__isNatNa__isNatIListILa__isNatListniltta__isNatListconsNLa__anda__isNatNa__isNatListLa__isNatListtakeNILa__anda__isNatNa__isNatIListILa__zeroscons0zerosa__take0ILa__uTake1a__isNatIListILa__uTake1ttnila__takesMconsNILa__uTake2a__anda__isNatMa__anda__isNatNa__isNatIListILMNILa__uTake2ttMNILconsmarkNtakeMILa__lengthconsNLa__uLengtha__anda__isNatNa__isNatListLLa__uLengthttLsa__lengthmarkLmarkandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXmarkisNatListXa__isNatListXmarkisNatXa__isNatXmarklengthXa__lengthmarkXmarkzerosa__zerosmarktakeX1X2a__takemarkX1markX2markuTake1Xa__uTake1markXmarkuTake2X1X2X3X4a__uTake2markX1X2X3X4markuLengthX1X2a__uLengthmarkX1X2markttttmark00marksXsmarkXmarkconsX1X2consmarkX1X2marknilnila__andX1X2andX1X2a__isNatIListXisNatIListXa__isNatListXisNatListXa__isNatXisNatXa__lengthXlengthXa__zeroszerosa__takeX1X2takeX1X2a__uTake1XuTake1Xa__uTake2X1X2X3X4uTake2X1X2X3X4a__uLengthX1X2uLengthX1X2markandX1X2a__andmarkX1markX2a__andttTmarkTmarksXmarkXtrue121mark1210a__and21220uLength201120uTake2413223347uTake1116isNat1016isNatList1010isNatIList1016and21024a__uLength201120a__length1014a__uTake2413223347a__uTake1116a__take221226a__zeros03take221226nil06cons201123zeros00length1014s1115a__isNat1016000a__isNatList1014a__isNatIList1016mark1014a__and21024tt06markandX1X2a__andmarkX1markX2a__andttTmarkTa__andttTmarkTa__isNatIListILa__isNatListILa__isNat0tta__isNatsNa__isNatNa__isNatlengthLa__isNatListLa__isNatIListzerostta__isNatIListconsNILa__anda__isNatNa__isNatIListILa__isNatListniltta__isNatListconsNLa__anda__isNatNa__isNatListLa__isNatListtakeNILa__anda__isNatNa__isNatIListILa__zeroscons0zerosa__take0ILa__uTake1a__isNatIListILa__uTake1ttnila__takesMconsNILa__uTake2a__anda__isNatMa__anda__isNatNa__isNatIListILMNILa__uTake2ttMNILconsmarkNtakeMILa__lengthconsNLa__uLengtha__anda__isNatNa__isNatListLLa__uLengthttLsa__lengthmarkLmarkandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXmarkisNatListXa__isNatListXmarkisNatXa__isNatXmarklengthXa__lengthmarkXmarkzerosa__zerosmarktakeX1X2a__takemarkX1markX2markuTake1Xa__uTake1markXmarkuTake2X1X2X3X4a__uTake2markX1X2X3X4markuLengthX1X2a__uLengthmarkX1X2markttttmark00marksXsmarkXmarkconsX1X2consmarkX1X2marknilnila__andX1X2andX1X2a__isNatIListXisNatIListXa__isNatListXisNatListXa__isNatXisNatXa__lengthXlengthXa__zeroszerosa__takeX1X2takeX1X2a__uTake1XuTake1Xa__uTake2X1X2X3X4uTake2X1X2X3X4a__uLengthX1X2uLengthX1X21mark1410a__and201423uLength201227uTake24010203442uTake11012isNat1410isNatList1110isNatIList1110and201224a__uLength201227a__length1115a__uTake24010203446a__uTake11012a__take201222a__zeros02take201222nil00cons201222zeros00length1115s1110a__isNat1410000a__isNatList1210a__isNatIList1210mark1212a__and201224tt00a__andttTmarkTa__isNatIListILa__isNatListILa__isNat0tta__isNatsNa__isNatNa__isNatlengthLa__isNatListLa__isNatIListzerostta__isNatIListconsNILa__anda__isNatNa__isNatIListILa__isNatListniltta__isNatListconsNLa__anda__isNatNa__isNatListLa__isNatListtakeNILa__anda__isNatNa__isNatIListILa__zeroscons0zerosa__take0ILa__uTake1a__isNatIListILa__uTake1ttnila__takesMconsNILa__uTake2a__anda__isNatMa__anda__isNatNa__isNatIListILMNILa__uTake2ttMNILconsmarkNtakeMILa__lengthconsNLa__uLengtha__anda__isNatNa__isNatListLLa__uLengthttLsa__lengthmarkLmarkandX1X2a__andmarkX1markX2markisNatIListXa__isNatIListXmarkisNatListXa__isNatListXmarkisNatXa__isNatXmarklengthXa__lengthmarkXmarkzerosa__zerosmarktakeX1X2a__takemarkX1markX2markuTake1Xa__uTake1markXmarkuTake2X1X2X3X4a__uTake2markX1X2X3X4markuLengthX1X2a__uLengthmarkX1X2markttttmark00marksXsmarkXmarkconsX1X2consmarkX1X2marknilnila__andX1X2andX1X2a__isNatIListXisNatIListXa__isNatListXisNatListXa__isNatXisNatXa__lengthXlengthXa__zeroszerosa__takeX1X2takeX1X2a__uTake1XuTake1Xa__uTake2X1X2X3X4uTake2X1X2X3X4a__uLengthX1X2uLengthX1X2markisNatIListXa__isNatIListXfalsemarkisNatListXa__isNatListXfalsemarkuTake2X1X2X3X4a__uTake2markX1X2X3X4falsemarktakeX1X2a__takemarkX1markX2false1a__takesMconsNILa__uTake2a__anda__isNatMa__anda__isNatNa__isNatIListILMNILfalsea__takesMconsNILa__isNatMfalse4markisNatXa__isNatXfalse3a__isNatIListconsNILa__isNatNfalse2a__isNatListconsNLa__isNatNfalse1a__isNatsNa__isNatNtruea__isNatsNa__isNatN1true1markuTake1Xa__uTake1markXfalsea__take0ILa__uTake1a__isNatIListILfalsemarkzerosa__zerosfalsettt2ttt2 1.17 [hg: a28b6edf8379]((if standard then var else fail) | con | (if srs then ((sleep -t 25?;rlab;(((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || ((((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || (rev?;((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))![42])! ) else ((((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])))