/export/starexec/sandbox2/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES a__zeroscons0zerosa__U11tttta__U21tttta__U31tttta__U41ttV2a__U42a__isNatIListV2a__U42tttta__U51ttV2a__U52a__isNatListV2a__U52tttta__U61ttV2a__U62a__isNatIListV2a__U62tttta__U71ttLNa__U72a__isNatNLa__U72ttLsa__lengthmarkLa__U81ttnila__U91ttILMNa__U92a__isNatMILMNa__U92ttILMNa__U93a__isNatNILMNa__U93ttILMNconsmarkNtakeMILa__isNat0tta__isNatlengthV1a__U11a__isNatListV1a__isNatsV1a__U21a__isNatV1a__isNatIListVa__U31a__isNatListVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatListniltta__isNatListconsV1V2a__U51a__isNatV1V2a__isNatListtakeV1V2a__U61a__isNatV1V2a__lengthnil0a__lengthconsNLa__U71a__isNatListLLNa__take0ILa__U81a__isNatIListILa__takesMconsNILa__U91a__isNatIListILILMNmarkzerosa__zerosmarkU11Xa__U11markXmarkU21Xa__U21markXmarkU31Xa__U31markXmarkU41X1X2a__U41markX1X2markU42Xa__U42markXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU52Xa__U52markXmarkisNatListXa__isNatListXmarkU61X1X2a__U61markX1X2markU62Xa__U62markXmarkU71X1X2X3a__U71markX1X2X3markU72X1X2a__U72markX1X2markisNatXa__isNatXmarklengthXa__lengthmarkXmarkU81Xa__U81markXmarkU91X1X2X3X4a__U91markX1X2X3X4markU92X1X2X3X4a__U92markX1X2X3X4markU93X1X2X3X4a__U93markX1X2X3X4marktakeX1X2a__takemarkX1markX2markconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11XU11Xa__U21XU21Xa__U31XU31Xa__U41X1X2U41X1X2a__U42XU42Xa__isNatIListXisNatIListXa__U51X1X2U51X1X2a__U52XU52Xa__isNatListXisNatListXa__U61X1X2U61X1X2a__U62XU62Xa__U71X1X2X3U71X1X2X3a__U72X1X2U72X1X2a__isNatXisNatXa__lengthXlengthXa__U81XU81Xa__U91X1X2X3X4U91X1X2X3X4a__U92X1X2X3X4U92X1X2X3X4a__U93X1X2X3X4U93X1X2X3X4a__takeX1X2takeX1X22.1a__U41ttV2a__isNatIListV2a__U41ttV2a__U42a__isNatIListV2a__U51ttV2a__isNatListV2a__U51ttV2a__U52a__isNatListV2a__U61ttV2a__isNatIListV2a__U61ttV2a__U62a__isNatIListV2a__U71ttLNa__isNatNa__U71ttLNa__U72a__isNatNLa__U72ttLmarkLa__U72ttLa__lengthmarkLa__U91ttILMNa__isNatMa__U91ttILMNa__U92a__isNatMILMNa__U92ttILMNa__isNatNa__U92ttILMNa__U93a__isNatNILMNa__U93ttILMNmarkNa__isNatlengthV1a__isNatListV1a__isNatlengthV1a__U11a__isNatListV1a__isNatsV1a__isNatV1a__isNatsV1a__U21a__isNatV1a__isNatIListVa__isNatListVa__isNatIListVa__U31a__isNatListVa__isNatIListconsV1V2a__isNatV1a__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatListconsV1V2a__isNatV1a__isNatListconsV1V2a__U51a__isNatV1V2a__isNatListtakeV1V2a__isNatV1a__isNatListtakeV1V2a__U61a__isNatV1V2a__lengthconsNLa__isNatListLa__lengthconsNLa__U71a__isNatListLLNa__take0ILa__isNatIListILa__take0ILa__U81a__isNatIListILa__takesMconsNILa__isNatIListILa__takesMconsNILa__U91a__isNatIListILILMNmarkzerosa__zerosmarkU11XmarkXmarkU11Xa__U11markXmarkU21XmarkXmarkU21Xa__U21markXmarkU31XmarkXmarkU31Xa__U31markXmarkU41X1X2markX1markU41X1X2a__U41markX1X2markU42XmarkXmarkU42Xa__U42markXmarkisNatIListXa__isNatIListXmarkU51X1X2markX1markU51X1X2a__U51markX1X2markU52XmarkXmarkU52Xa__U52markXmarkisNatListXa__isNatListXmarkU61X1X2markX1markU61X1X2a__U61markX1X2markU62XmarkXmarkU62Xa__U62markXmarkU71X1X2X3markX1markU71X1X2X3a__U71markX1X2X3markU72X1X2markX1markU72X1X2a__U72markX1X2markisNatXa__isNatXmarklengthXmarkXmarklengthXa__lengthmarkXmarkU81XmarkXmarkU81Xa__U81markXmarkU91X1X2X3X4markX1markU91X1X2X3X4a__U91markX1X2X3X4markU92X1X2X3X4markX1markU92X1X2X3X4a__U92markX1X2X3X4markU93X1X2X3X4markX1markU93X1X2X3X4a__U93markX1X2X3X4marktakeX1X2markX2marktakeX1X2markX1marktakeX1X2a__takemarkX1markX2markconsX1X2markX1marksXmarkXtruea__takesMconsNILa__U91a__isNatIListILILMNa__U91ttILMNa__U92a__isNatMILMNa__U92ttILMNa__U93a__isNatNILMNa__U93ttILMNmarkNmarkU11XmarkXmarkU21XmarkXmarkU31XmarkXmarkU41X1X2markX1markU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2markX1markU62XmarkXmarkU71X1X2X3markX1markU71X1X2X3a__U71markX1X2X3a__U71ttLNa__U72a__isNatNLa__U72ttLmarkLmarkU72X1X2markX1markU72X1X2a__U72markX1X2a__U72ttLa__lengthmarkLa__lengthconsNLa__U71a__isNatListLLNmarklengthXmarkXmarklengthXa__lengthmarkXmarkU81XmarkXmarkU91X1X2X3X4markX1markU91X1X2X3X4a__U91markX1X2X3X4markU92X1X2X3X4markX1markU92X1X2X3X4a__U92markX1X2X3X4markU93X1X2X3X4markX1markU93X1X2X3X4a__U93markX1X2X3X4marktakeX1X2markX2marktakeX1X2markX1marktakeX1X2a__takemarkX1markX2markconsX1X2markX1marksXmarkXtrue123456789101112131415161718192021311a__take200000000010001000002100000000a__U9340000001001000000000200000000030001000004000000000a__U9240001000001000100000200000000030001000004000000000a__U9140000000001000100000200000000030001000004000000000a__length10001000001000000000mark10001000001000000000a__U72200000010010001000002000000000a__U713000000100100010000020000000003000000000U9340100100101000010000200001000030000100004010000000U9241100100111000010000200001000030000100004010000000U9140100100101000010000200001000030000100004010000000U8110000100001000000000isNat10000000001000000000U72201001000010000100002000000000U713010010010100001000020000000003000000000U6210000100001000000000U61200001000010000000002000000000isNatList10000000001000000000U5210100100001000000000U51200001000010000000002000000000isNatIList10000000001000000000U4210000100001000000000U41200001000010000000002000000000U3111000100001000000000U2110100100001000000000U1110000100001000000000a__take200001000010000100002010000000length10000100001000000000take200001000010000100002010000000a__U9341100100101000010000200001000030000100004010000000a__U9241100100111000010000200001000030000100004010000000a__U9140100100101000010000200001000030000100004010000000nil0000000000a__U8110000100001000000000s10000100001000000000a__length10000100001000000000mark10010100001000000000a__U72201001000010000100002000000000a__isNat10000000001000000000a__U713011010010100001000020000000003000000000a__U6210000100001000000000a__U61200001000010000000002000000000a__U5210100100101000000000a__isNatList10000000001000000000a__U51200001000010000000002000000000a__U4210000100001000000000a__isNatIList10000000001000000000a__U41210001000010000000002000000000a__U3111000100001000000000a__U2110100100001000000000a__U1110000100001000000000tt0000000000cons200001000010000100002000000000zeros000000000000000000000a__zeros0000000000a__U91ttILMNa__U92a__isNatMILMNa__U92ttILMNa__U93a__isNatNILMNa__U93ttILMNmarkNmarkU11XmarkXmarkU21XmarkXmarkU31XmarkXmarkU41X1X2markX1markU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2markX1markU62XmarkXmarkU71X1X2X3markX1markU71X1X2X3a__U71markX1X2X3a__U71ttLNa__U72a__isNatNLa__U72ttLmarkLmarkU72X1X2markX1markU72X1X2a__U72markX1X2a__U72ttLa__lengthmarkLa__lengthconsNLa__U71a__isNatListLLNmarklengthXmarkXmarklengthXa__lengthmarkXmarkU81XmarkXmarktakeX1X2a__takemarkX1markX2markconsX1X2markX1marksXmarkXa__zeroscons0zerosa__U11tttta__U21tttta__U31tttta__U41ttV2a__U42a__isNatIListV2a__U42tttta__U51ttV2a__U52a__isNatListV2a__U52tttta__U61ttV2a__U62a__isNatIListV2a__U62tttta__U71ttLNa__U72a__isNatNLa__U72ttLsa__lengthmarkLa__U81ttnila__U91ttILMNa__U92a__isNatMILMNa__U92ttILMNa__U93a__isNatNILMNa__U93ttILMNconsmarkNtakeMILa__isNat0tta__isNatlengthV1a__U11a__isNatListV1a__isNatsV1a__U21a__isNatV1a__isNatIListVa__U31a__isNatListVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatListniltta__isNatListconsV1V2a__U51a__isNatV1V2a__isNatListtakeV1V2a__U61a__isNatV1V2a__lengthnil0a__lengthconsNLa__U71a__isNatListLLNa__take0ILa__U81a__isNatIListILa__takesMconsNILa__U91a__isNatIListILILMNmarkzerosa__zerosmarkU11Xa__U11markXmarkU21Xa__U21markXmarkU31Xa__U31markXmarkU41X1X2a__U41markX1X2markU42Xa__U42markXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU52Xa__U52markXmarkisNatListXa__isNatListXmarkU61X1X2a__U61markX1X2markU62Xa__U62markXmarkU71X1X2X3a__U71markX1X2X3markU72X1X2a__U72markX1X2markisNatXa__isNatXmarklengthXa__lengthmarkXmarkU81Xa__U81markXmarkU91X1X2X3X4a__U91markX1X2X3X4markU92X1X2X3X4a__U92markX1X2X3X4markU93X1X2X3X4a__U93markX1X2X3X4marktakeX1X2a__takemarkX1markX2markconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11XU11Xa__U21XU21Xa__U31XU31Xa__U41X1X2U41X1X2a__U42XU42Xa__isNatIListXisNatIListXa__U51X1X2U51X1X2a__U52XU52Xa__isNatListXisNatListXa__U61X1X2U61X1X2a__U62XU62Xa__U71X1X2X3U71X1X2X3a__U72X1X2U72X1X2a__isNatXisNatXa__lengthXlengthXa__U81XU81Xa__U91X1X2X3X4U91X1X2X3X4a__U92X1X2X3X4U92X1X2X3X4a__U93X1X2X3X4U93X1X2X3X4a__takeX1X2takeX1X2a__U91ttILMNa__U92a__isNatMILMNfalse1a__U92ttILMNa__U93a__isNatNILMNfalse1a__U93ttILMNmarkNfalse12markU11XmarkXmarkU21XmarkXmarkU31XmarkXmarkU41X1X2markX1markU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2markX1markU62XmarkXmarkU71X1X2X3markX1markU71X1X2X3a__U71markX1X2X3a__U71ttLNa__U72a__isNatNLa__U72ttLmarkLmarkU72X1X2markX1markU72X1X2a__U72markX1X2a__U72ttLa__lengthmarkLa__lengthconsNLa__U71a__isNatListLLNmarklengthXmarkXmarklengthXa__lengthmarkXmarkU81XmarkXmarkconsX1X2markX1marksXmarkXtrue11a__length1210mark1210a__U72241420a__U7130142030U934414203242U924013203444U914014203243U811214isNat1010U72241220U7134142430U621410U61241020isNatList1010U521210U51211020isNatIList1010U421410U41211020U311110U211210U111410a__take201224length1210take201222a__U934414203444a__U924014203444a__U914014203444nil00a__U811214s1110a__length1210mark1210a__U72241420a__isNat1010a__U7134142430a__U621410a__U61241020a__U521210a__isNatList1010a__U51211020a__U421410a__isNatIList1010a__U41211020a__U311110a__U211210a__U111410tt00cons221220zeros00000a__zeros00markU11XmarkXmarkU21XmarkXmarkU31XmarkXmarkU41X1X2markX1markU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2markX1markU62XmarkXmarkU71X1X2X3markX1markU71X1X2X3a__U71markX1X2X3a__U71ttLNa__U72a__isNatNLa__U72ttLmarkLmarkU72X1X2markX1markU72X1X2a__U72markX1X2a__U72ttLa__lengthmarkLa__lengthconsNLa__U71a__isNatListLLNmarklengthXmarkXmarklengthXa__lengthmarkXmarkconsX1X2markX1marksXmarkXa__zeroscons0zerosa__U11tttta__U21tttta__U31tttta__U41ttV2a__U42a__isNatIListV2a__U42tttta__U51ttV2a__U52a__isNatListV2a__U52tttta__U61ttV2a__U62a__isNatIListV2a__U62tttta__U71ttLNa__U72a__isNatNLa__U72ttLsa__lengthmarkLa__U81ttnila__U91ttILMNa__U92a__isNatMILMNa__U92ttILMNa__U93a__isNatNILMNa__U93ttILMNconsmarkNtakeMILa__isNat0tta__isNatlengthV1a__U11a__isNatListV1a__isNatsV1a__U21a__isNatV1a__isNatIListVa__U31a__isNatListVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatListniltta__isNatListconsV1V2a__U51a__isNatV1V2a__isNatListtakeV1V2a__U61a__isNatV1V2a__lengthnil0a__lengthconsNLa__U71a__isNatListLLNa__take0ILa__U81a__isNatIListILa__takesMconsNILa__U91a__isNatIListILILMNmarkzerosa__zerosmarkU11Xa__U11markXmarkU21Xa__U21markXmarkU31Xa__U31markXmarkU41X1X2a__U41markX1X2markU42Xa__U42markXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU52Xa__U52markXmarkisNatListXa__isNatListXmarkU61X1X2a__U61markX1X2markU62Xa__U62markXmarkU71X1X2X3a__U71markX1X2X3markU72X1X2a__U72markX1X2markisNatXa__isNatXmarklengthXa__lengthmarkXmarkU81Xa__U81markXmarkU91X1X2X3X4a__U91markX1X2X3X4markU92X1X2X3X4a__U92markX1X2X3X4markU93X1X2X3X4a__U93markX1X2X3X4marktakeX1X2a__takemarkX1markX2markconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11XU11Xa__U21XU21Xa__U31XU31Xa__U41X1X2U41X1X2a__U42XU42Xa__isNatIListXisNatIListXa__U51X1X2U51X1X2a__U52XU52Xa__isNatListXisNatListXa__U61X1X2U61X1X2a__U62XU62Xa__U71X1X2X3U71X1X2X3a__U72X1X2U72X1X2a__isNatXisNatXa__lengthXlengthXa__U81XU81Xa__U91X1X2X3X4U91X1X2X3X4a__U92X1X2X3X4U92X1X2X3X4a__U93X1X2X3X4U93X1X2X3X4a__takeX1X2takeX1X21a__length1110mark1210a__U72201220a__U7134122030U934014203340U924014203340U914014203340U811010isNat1010U72221224U7134112034U621410U61241020isNatList1010U521110U51221020isNatIList1010U421410U41241020U311210U211110U111110a__take201320length1114take201320a__U934016203340a__U924016203340a__U914016203340nil00a__U811010s1110a__length1115mark1210a__U72221225a__isNat1010a__U7134122035a__U621410a__U61241020a__U521110a__isNatList1010a__U51221020a__U421410a__isNatIList1010a__U41241020a__U311210a__U211110a__U111110tt00cons211220zeros00000a__zeros00markU11XmarkXmarkU21XmarkXmarkU31XmarkXmarkU41X1X2markX1markU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2markX1markU62XmarkXa__U71ttLNa__U72a__isNatNLa__U72ttLmarkLa__U72ttLa__lengthmarkLa__lengthconsNLa__U71a__isNatListLLNmarkconsX1X2markX1marksXmarkXa__zeroscons0zerosa__U11tttta__U21tttta__U31tttta__U41ttV2a__U42a__isNatIListV2a__U42tttta__U51ttV2a__U52a__isNatListV2a__U52tttta__U61ttV2a__U62a__isNatIListV2a__U62tttta__U71ttLNa__U72a__isNatNLa__U72ttLsa__lengthmarkLa__U81ttnila__U91ttILMNa__U92a__isNatMILMNa__U92ttILMNa__U93a__isNatNILMNa__U93ttILMNconsmarkNtakeMILa__isNat0tta__isNatlengthV1a__U11a__isNatListV1a__isNatsV1a__U21a__isNatV1a__isNatIListVa__U31a__isNatListVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatListniltta__isNatListconsV1V2a__U51a__isNatV1V2a__isNatListtakeV1V2a__U61a__isNatV1V2a__lengthnil0a__lengthconsNLa__U71a__isNatListLLNa__take0ILa__U81a__isNatIListILa__takesMconsNILa__U91a__isNatIListILILMNmarkzerosa__zerosmarkU11Xa__U11markXmarkU21Xa__U21markXmarkU31Xa__U31markXmarkU41X1X2a__U41markX1X2markU42Xa__U42markXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU52Xa__U52markXmarkisNatListXa__isNatListXmarkU61X1X2a__U61markX1X2markU62Xa__U62markXmarkU71X1X2X3a__U71markX1X2X3markU72X1X2a__U72markX1X2markisNatXa__isNatXmarklengthXa__lengthmarkXmarkU81Xa__U81markXmarkU91X1X2X3X4a__U91markX1X2X3X4markU92X1X2X3X4a__U92markX1X2X3X4markU93X1X2X3X4a__U93markX1X2X3X4marktakeX1X2a__takemarkX1markX2markconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11XU11Xa__U21XU21Xa__U31XU31Xa__U41X1X2U41X1X2a__U42XU42Xa__isNatIListXisNatIListXa__U51X1X2U51X1X2a__U52XU52Xa__isNatListXisNatListXa__U61X1X2U61X1X2a__U62XU62Xa__U71X1X2X3U71X1X2X3a__U72X1X2U72X1X2a__isNatXisNatXa__lengthXlengthXa__U81XU81Xa__U91X1X2X3X4U91X1X2X3X4a__U92X1X2X3X4U92X1X2X3X4a__U93X1X2X3X4U93X1X2X3X4a__takeX1X2takeX1X2a__lengthconsNLa__U71a__isNatListLLNa__U71ttLNa__U72a__isNatNLa__U72ttLa__lengthmarkLtrue11a__length1110a__U72201120a__U7131112030U934010243040U924010243040U914010243040U811012isNat1110U72201220U7130122030U621011U61211020isNatList1110U521110U51201120isNatIList1211U421011U41201021U311210U211210U111110a__take221020length1110take221020a__U934010243040a__U924010243040a__U914010243040nil01a__U811012s1210a__length1110mark1110a__U72201220a__isNat1110a__U7130122030a__U621011a__U61211020a__U521110a__isNatList1110a__U51201120a__U421011a__isNatIList1211a__U41201021a__U311210a__U211210a__U111110tt01cons201220zeros00001a__zeros00a__lengthconsNLa__U71a__isNatListLLNa__U72ttLa__lengthmarkLa__zeroscons0zerosa__U11tttta__U21tttta__U31tttta__U41ttV2a__U42a__isNatIListV2a__U42tttta__U51ttV2a__U52a__isNatListV2a__U52tttta__U61ttV2a__U62a__isNatIListV2a__U62tttta__U71ttLNa__U72a__isNatNLa__U72ttLsa__lengthmarkLa__U81ttnila__U91ttILMNa__U92a__isNatMILMNa__U92ttILMNa__U93a__isNatNILMNa__U93ttILMNconsmarkNtakeMILa__isNat0tta__isNatlengthV1a__U11a__isNatListV1a__isNatsV1a__U21a__isNatV1a__isNatIListVa__U31a__isNatListVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatListniltta__isNatListconsV1V2a__U51a__isNatV1V2a__isNatListtakeV1V2a__U61a__isNatV1V2a__lengthnil0a__lengthconsNLa__U71a__isNatListLLNa__take0ILa__U81a__isNatIListILa__takesMconsNILa__U91a__isNatIListILILMNmarkzerosa__zerosmarkU11Xa__U11markXmarkU21Xa__U21markXmarkU31Xa__U31markXmarkU41X1X2a__U41markX1X2markU42Xa__U42markXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU52Xa__U52markXmarkisNatListXa__isNatListXmarkU61X1X2a__U61markX1X2markU62Xa__U62markXmarkU71X1X2X3a__U71markX1X2X3markU72X1X2a__U72markX1X2markisNatXa__isNatXmarklengthXa__lengthmarkXmarkU81Xa__U81markXmarkU91X1X2X3X4a__U91markX1X2X3X4markU92X1X2X3X4a__U92markX1X2X3X4markU93X1X2X3X4a__U93markX1X2X3X4marktakeX1X2a__takemarkX1markX2markconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11XU11Xa__U21XU21Xa__U31XU31Xa__U41X1X2U41X1X2a__U42XU42Xa__isNatIListXisNatIListXa__U51X1X2U51X1X2a__U52XU52Xa__isNatListXisNatListXa__U61X1X2U61X1X2a__U62XU62Xa__U71X1X2X3U71X1X2X3a__U72X1X2U72X1X2a__isNatXisNatXa__lengthXlengthXa__U81XU81Xa__U91X1X2X3X4U91X1X2X3X4a__U92X1X2X3X4U92X1X2X3X4a__U93X1X2X3X4U93X1X2X3X4a__takeX1X2takeX1X2a__U72ttLa__lengthmarkLfalse1a__lengthconsNLa__U71a__isNatListLLNfalsea__U72ttLmarkLfalse1markU11XmarkXmarkU21XmarkXmarkU31XmarkXmarkU41X1X2markX1markU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2markX1markU62XmarkXmarkconsX1X2markX1marksXmarkXtruemarkU11XmarkX1true1markU21XmarkX1true1markU31XmarkX1true1markU41X1X2markX11true1markU42XmarkX1true1markU51X1X2markX11true1markU52XmarkX1true1markU61X1X2markX11true1markU62XmarkX1true1markconsX1X2markX11true1marksXmarkX1true1marktakeX1X2a__takemarkX1markX2falsea__takesMconsNILa__isNatIListILfalse2125a__take0ILa__U81a__isNatIListILfalsea__take0ILa__isNatIListILfalse1923markU81Xa__U81markXfalsemarkisNatXa__isNatXfalse172223a__lengthconsNLa__isNatListLfalse16a__U71ttLNa__isNatNfalse152021markU62Xa__U62markXfalsemarkU61X1X2a__U61markX1X2false1315markisNatListXa__isNatListXfalse12markU52Xa__U52markXfalsemarkU51X1X2a__U51markX1X2false1011markisNatIListXa__isNatIListXfalse913markU42Xa__U42markXfalsemarkU41X1X2a__U41markX1X2false710markU31Xa__U31markXfalsemarkU21Xa__U21markXfalsemarkU11Xa__U11markXfalsemarkzerosa__zerosfalsea__U92ttILMNa__isNatNfalse278a__U91ttILMNa__isNatMfalse167a__isNatlengthV1a__isNatListV1a__isNatListconsV1V2a__isNatV1a__isNatsV1a__isNatV1a__isNatListconsV1V2a__U51a__isNatV1V2a__U51ttV2a__isNatListV2a__isNatListtakeV1V2a__isNatV1a__isNatListtakeV1V2a__U61a__isNatV1V2a__U61ttV2a__isNatIListV2a__isNatIListVa__isNatListVa__isNatIListconsV1V2a__isNatV1a__isNatIListconsV1V2a__U41a__isNatV1V2a__U41ttV2a__isNatIListV2true123456a__isNatlengthV1a__isNatListV11true1a__isNatListconsV1V2a__isNatV11true1a__isNatsV1a__isNatV11true1a__isNatListconsV1V2a__U51a__isNatV1V21true2a__U51ttV2a__isNatListV22false1a__isNatListtakeV1V2a__isNatV11true1a__isNatListtakeV1V2a__U61a__isNatV1V21true2a__U61ttV2a__isNatIListV22false1a__isNatIListVa__isNatListV1false1a__isNatIListconsV1V2a__isNatV11true1a__isNatIListconsV1V2a__U41a__isNatV1V21true2a__U41ttV2a__isNatIListV22false1a__U51ttV2a__U52a__isNatListV2falsea__U61ttV2a__U62a__isNatIListV2falsea__U41ttV2a__U42a__isNatIListV2falsea__isNatIListVa__U31a__isNatListVfalsea__isNatsV1a__U21a__isNatV1falsea__isNatlengthV1a__U11a__isNatListV1falsettt2ttt2 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])))