/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______XYZa____markXa____markYmarkZa____XnilmarkXa____nilXmarkXa__U11ttVa__U12a__isNeListVa__U12tttta__U21ttV1V2a__U22a__isListV1V2a__U22ttV2a__U23a__isListV2a__U23tttta__U31ttVa__U32a__isQidVa__U32tttta__U41ttV1V2a__U42a__isListV1V2a__U42ttV2a__U43a__isNeListV2a__U43tttta__U51ttV1V2a__U52a__isNeListV1V2a__U52ttV2a__U53a__isListV2a__U53tttta__U61ttVa__U62a__isQidVa__U62tttta__U71ttVa__U72a__isNePalVa__U72tttta__andttXmarkXa__isListVa__U11a__isPalListKindVVa__isListniltta__isList__V1V2a__U21a__anda__isPalListKindV1isPalListKindV2V1V2a__isNeListVa__U31a__isPalListKindVVa__isNeList__V1V2a__U41a__anda__isPalListKindV1isPalListKindV2V1V2a__isNeList__V1V2a__U51a__anda__isPalListKindV1isPalListKindV2V1V2a__isNePalVa__U61a__isPalListKindVVa__isNePal__I__PIa__anda__anda__isQidIisPalListKindIandisPalPisPalListKindPa__isPalVa__U71a__isPalListKindVVa__isPalniltta__isPalListKindatta__isPalListKindetta__isPalListKinditta__isPalListKindniltta__isPalListKindotta__isPalListKindutta__isPalListKind__V1V2a__anda__isPalListKindV1isPalListKindV2a__isQidatta__isQidetta__isQiditta__isQidotta__isQiduttmark__X1X2a____markX1markX2markU11X1X2a__U11markX1X2markU12Xa__U12markXmarkisNeListXa__isNeListXmarkU21X1X2X3a__U21markX1X2X3markU22X1X2a__U22markX1X2markisListXa__isListXmarkU23Xa__U23markXmarkU31X1X2a__U31markX1X2markU32Xa__U32markXmarkisQidXa__isQidXmarkU41X1X2X3a__U41markX1X2X3markU42X1X2a__U42markX1X2markU43Xa__U43markXmarkU51X1X2X3a__U51markX1X2X3markU52X1X2a__U52markX1X2markU53Xa__U53markXmarkU61X1X2a__U61markX1X2markU62Xa__U62markXmarkU71X1X2a__U71markX1X2markU72Xa__U72markXmarkisNePalXa__isNePalXmarkandX1X2a__andmarkX1X2markisPalListKindXa__isPalListKindXmarkisPalXa__isPalXmarknilnilmarkttttmarkaamarkeemarkiimarkoomarkuua____X1X2__X1X2a__U11X1X2U11X1X2a__U12XU12Xa__isNeListXisNeListXa__U21X1X2X3U21X1X2X3a__U22X1X2U22X1X2a__isListXisListXa__U23XU23Xa__U31X1X2U31X1X2a__U32XU32Xa__isQidXisQidXa__U41X1X2X3U41X1X2X3a__U42X1X2U42X1X2a__U43XU43Xa__U51X1X2X3U51X1X2X3a__U52X1X2U52X1X2a__U53XU53Xa__U61X1X2U61X1X2a__U62XU62Xa__U71X1X2U71X1X2a__U72XU72Xa__isNePalXisNePalXa__andX1X2andX1X2a__isPalListKindXisPalListKindXa__isPalXisPalX2.1a______XYZmarkZa______XYZmarkYa______XYZa____markYmarkZa______XYZmarkXa______XYZa____markXa____markYmarkZa____XnilmarkXa____nilXmarkXa__U11ttVa__isNeListVa__U11ttVa__U12a__isNeListVa__U21ttV1V2a__isListV1a__U21ttV1V2a__U22a__isListV1V2a__U22ttV2a__isListV2a__U22ttV2a__U23a__isListV2a__U31ttVa__isQidVa__U31ttVa__U32a__isQidVa__U41ttV1V2a__isListV1a__U41ttV1V2a__U42a__isListV1V2a__U42ttV2a__isNeListV2a__U42ttV2a__U43a__isNeListV2a__U51ttV1V2a__isNeListV1a__U51ttV1V2a__U52a__isNeListV1V2a__U52ttV2a__isListV2a__U52ttV2a__U53a__isListV2a__U61ttVa__isQidVa__U61ttVa__U62a__isQidVa__U71ttVa__isNePalVa__U71ttVa__U72a__isNePalVa__andttXmarkXa__isListVa__isPalListKindVa__isListVa__U11a__isPalListKindVVa__isList__V1V2a__isPalListKindV1a__isList__V1V2a__anda__isPalListKindV1isPalListKindV2a__isList__V1V2a__U21a__anda__isPalListKindV1isPalListKindV2V1V2a__isNeListVa__isPalListKindVa__isNeListVa__U31a__isPalListKindVVa__isNeList__V1V2a__isPalListKindV1a__isNeList__V1V2a__anda__isPalListKindV1isPalListKindV2a__isNeList__V1V2a__U41a__anda__isPalListKindV1isPalListKindV2V1V2a__isNeList__V1V2a__U51a__anda__isPalListKindV1isPalListKindV2V1V2a__isNePalVa__isPalListKindVa__isNePalVa__U61a__isPalListKindVVa__isNePal__I__PIa__isQidIa__isNePal__I__PIa__anda__isQidIisPalListKindIa__isNePal__I__PIa__anda__anda__isQidIisPalListKindIandisPalPisPalListKindPa__isPalVa__isPalListKindVa__isPalVa__U71a__isPalListKindVVa__isPalListKind__V1V2a__isPalListKindV1a__isPalListKind__V1V2a__anda__isPalListKindV1isPalListKindV2mark__X1X2markX2mark__X1X2markX1mark__X1X2a____markX1markX2markU11X1X2markX1markU11X1X2a__U11markX1X2markU12XmarkXmarkU12Xa__U12markXmarkisNeListXa__isNeListXmarkU21X1X2X3markX1markU21X1X2X3a__U21markX1X2X3markU22X1X2markX1markU22X1X2a__U22markX1X2markisListXa__isListXmarkU23XmarkXmarkU23Xa__U23markXmarkU31X1X2markX1markU31X1X2a__U31markX1X2markU32XmarkXmarkU32Xa__U32markXmarkisQidXa__isQidXmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3markU42X1X2markX1markU42X1X2a__U42markX1X2markU43XmarkXmarkU43Xa__U43markXmarkU51X1X2X3markX1markU51X1X2X3a__U51markX1X2X3markU52X1X2markX1markU52X1X2a__U52markX1X2markU53XmarkXmarkU53Xa__U53markXmarkU61X1X2markX1markU61X1X2a__U61markX1X2markU62XmarkXmarkU62Xa__U62markXmarkU71X1X2markX1markU71X1X2a__U71markX1X2markU72XmarkXmarkU72Xa__U72markXmarkisNePalXa__isNePalXmarkandX1X2markX1markandX1X2a__andmarkX1X2markisPalListKindXa__isPalListKindXmarkisPalXa__isPalXtruea__isPalVa__isPalListKindVa__isPalListKind__V1V2a__isPalListKindV1a__isPalListKind__V1V2a__anda__isPalListKindV1isPalListKindV2a__andttXmarkXmark__X1X2markX2mark__X1X2markX1mark__X1X2a____markX1markX2a______XYZmarkZmarkU11X1X2markX1markU11X1X2a__U11markX1X2a__U11ttVa__isNeListVa__isNeListVa__isPalListKindVa__isNeList__V1V2a__isPalListKindV1a__isNeList__V1V2a__anda__isPalListKindV1isPalListKindV2a__isNeList__V1V2a__U41a__anda__isPalListKindV1isPalListKindV2V1V2a__U41ttV1V2a__isListV1a__isListVa__isPalListKindVa__isListVa__U11a__isPalListKindVVa__isList__V1V2a__isPalListKindV1a__isList__V1V2a__anda__isPalListKindV1isPalListKindV2a__isList__V1V2a__U21a__anda__isPalListKindV1isPalListKindV2V1V2a__U21ttV1V2a__isListV1a__U21ttV1V2a__U22a__isListV1V2a__U22ttV2a__isListV2a__U41ttV1V2a__U42a__isListV1V2a__U42ttV2a__isNeListV2a__isNeList__V1V2a__U51a__anda__isPalListKindV1isPalListKindV2V1V2a__U51ttV1V2a__isNeListV1a__U51ttV1V2a__U52a__isNeListV1V2a__U52ttV2a__isListV2markU12XmarkXmarkisNeListXa__isNeListXmarkU21X1X2X3markX1markU21X1X2X3a__U21markX1X2X3markU22X1X2markX1markU22X1X2a__U22markX1X2markisListXa__isListXmarkU23XmarkXmarkU31X1X2markX1markU32XmarkXmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3markU42X1X2markX1markU42X1X2a__U42markX1X2markU43XmarkXmarkU51X1X2X3markX1markU51X1X2X3a__U51markX1X2X3markU52X1X2markX1markU52X1X2a__U52markX1X2markU53XmarkXmarkU61X1X2markX1markU62XmarkXmarkU71X1X2markX1markU71X1X2a__U71markX1X2a__U71ttVa__isNePalVa__isNePalVa__isPalListKindVa__isNePal__I__PIa__anda__isQidIisPalListKindIa__isNePal__I__PIa__anda__anda__isQidIisPalListKindIandisPalPisPalListKindPmarkU72XmarkXmarkisNePalXa__isNePalXmarkandX1X2markX1markandX1X2a__andmarkX1X2markisPalListKindXa__isPalListKindXmarkisPalXa__isPalXa__isPalVa__U71a__isPalListKindVVa______XYZmarkYa______XYZa____markYmarkZa______XYZmarkXa______XYZa____markXa____markYmarkZa____XnilmarkXa____nilXmarkXtrue123456910111213141516171819201641a__isPal1010a__isPalListKind1010a__and201120a__isNePal1010a__U71201020a__U52201020a__U5130102030a__U42201020a__U4130102030a__U22201020a__isList1010a__U2130102030a__isNeList1010a__U11201020mark11210a____21211220isNePal1010U721210U71211020U621210U61211020U531110U52211020U5131102030U431110U42221020U4131102030isQid1010U321110U31221020U231110isList1010U22211020U2132102030isNeList1010U121110U11211020u00o02i00e02a01a__isPal1010and221220isPal1010isPalListKind1010a__isPalListKind1010a__and221220a__U721210a__isNePal1010a__U71211020a__U621210a__U61211020a__U531110a__U52211020a__U5131102030a__U431110a__U42221020a__U4131102030a__U321110a__isQid1010a__U31221020a__U231110a__U22211020a__isList1010a__U2132102030a__U121110a__isNeList1010a__U11211020tt00nil01mark1110a____211120__211120a__isPalVa__isPalListKindVa__isPalListKind__V1V2a__isPalListKindV1a__isPalListKind__V1V2a__anda__isPalListKindV1isPalListKindV2a__andttXmarkXmark__X1X2markX2mark__X1X2markX1mark__X1X2a____markX1markX2a______XYZmarkZmarkU11X1X2markX1markU11X1X2a__U11markX1X2a__U11ttVa__isNeListVa__isNeListVa__isPalListKindVa__isNeList__V1V2a__isPalListKindV1a__isNeList__V1V2a__anda__isPalListKindV1isPalListKindV2a__isNeList__V1V2a__U41a__anda__isPalListKindV1isPalListKindV2V1V2a__U41ttV1V2a__isListV1a__isListVa__isPalListKindVa__isListVa__U11a__isPalListKindVVa__isList__V1V2a__isPalListKindV1a__isList__V1V2a__anda__isPalListKindV1isPalListKindV2a__isList__V1V2a__U21a__anda__isPalListKindV1isPalListKindV2V1V2a__U21ttV1V2a__isListV1a__U21ttV1V2a__U22a__isListV1V2a__U22ttV2a__isListV2a__U41ttV1V2a__U42a__isListV1V2a__U42ttV2a__isNeListV2a__isNeList__V1V2a__U51a__anda__isPalListKindV1isPalListKindV2V1V2a__U51ttV1V2a__isNeListV1a__U51ttV1V2a__U52a__isNeListV1V2a__U52ttV2a__isListV2markU12XmarkXmarkisNeListXa__isNeListXmarkU21X1X2X3markX1markU21X1X2X3a__U21markX1X2X3markU22X1X2markX1markU22X1X2a__U22markX1X2markisListXa__isListXmarkU23XmarkXmarkU31X1X2markX1markU32XmarkXmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3markU42X1X2markX1markU42X1X2a__U42markX1X2markU43XmarkXmarkU51X1X2X3markX1markU51X1X2X3a__U51markX1X2X3markU52X1X2markX1markU52X1X2a__U52markX1X2markU53XmarkXmarkU61X1X2markX1markU62XmarkXmarkU71X1X2markX1markU71X1X2a__U71markX1X2a__U71ttVa__isNePalVa__isNePalVa__isPalListKindVa__isNePal__I__PIa__anda__isQidIisPalListKindIa__isNePal__I__PIa__anda__anda__isQidIisPalListKindIandisPalPisPalListKindPmarkU72XmarkXmarkisNePalXa__isNePalXmarkandX1X2markX1markandX1X2a__andmarkX1X2markisPalListKindXa__isPalListKindXmarkisPalXa__isPalXa__isPalVa__U71a__isPalListKindVVa______XYZmarkYa______XYZa____markYmarkZa______XYZmarkXa______XYZa____markXa____markYmarkZa______XYZa____markXa____markYmarkZa____XnilmarkXa____nilXmarkXa__U11ttVa__U12a__isNeListVa__U12tttta__U21ttV1V2a__U22a__isListV1V2a__U22ttV2a__U23a__isListV2a__U23tttta__U31ttVa__U32a__isQidVa__U32tttta__U41ttV1V2a__U42a__isListV1V2a__U42ttV2a__U43a__isNeListV2a__U43tttta__U51ttV1V2a__U52a__isNeListV1V2a__U52ttV2a__U53a__isListV2a__U53tttta__U61ttVa__U62a__isQidVa__U62tttta__U71ttVa__U72a__isNePalVa__U72tttta__andttXmarkXa__isListVa__U11a__isPalListKindVVa__isListniltta__isList__V1V2a__U21a__anda__isPalListKindV1isPalListKindV2V1V2a__isNeListVa__U31a__isPalListKindVVa__isNeList__V1V2a__U41a__anda__isPalListKindV1isPalListKindV2V1V2a__isNeList__V1V2a__U51a__anda__isPalListKindV1isPalListKindV2V1V2a__isNePalVa__U61a__isPalListKindVVa__isNePal__I__PIa__anda__anda__isQidIisPalListKindIandisPalPisPalListKindPa__isPalVa__U71a__isPalListKindVVa__isPalniltta__isPalListKindatta__isPalListKindetta__isPalListKinditta__isPalListKindniltta__isPalListKindotta__isPalListKindutta__isPalListKind__V1V2a__anda__isPalListKindV1isPalListKindV2a__isQidatta__isQidetta__isQiditta__isQidotta__isQiduttmark__X1X2a____markX1markX2markU11X1X2a__U11markX1X2markU12Xa__U12markXmarkisNeListXa__isNeListXmarkU21X1X2X3a__U21markX1X2X3markU22X1X2a__U22markX1X2markisListXa__isListXmarkU23Xa__U23markXmarkU31X1X2a__U31markX1X2markU32Xa__U32markXmarkisQidXa__isQidXmarkU41X1X2X3a__U41markX1X2X3markU42X1X2a__U42markX1X2markU43Xa__U43markXmarkU51X1X2X3a__U51markX1X2X3markU52X1X2a__U52markX1X2markU53Xa__U53markXmarkU61X1X2a__U61markX1X2markU62Xa__U62markXmarkU71X1X2a__U71markX1X2markU72Xa__U72markXmarkisNePalXa__isNePalXmarkandX1X2a__andmarkX1X2markisPalListKindXa__isPalListKindXmarkisPalXa__isPalXmarknilnilmarkttttmarkaamarkeemarkiimarkoomarkuua____X1X2__X1X2a__U11X1X2U11X1X2a__U12XU12Xa__isNeListXisNeListXa__U21X1X2X3U21X1X2X3a__U22X1X2U22X1X2a__isListXisListXa__U23XU23Xa__U31X1X2U31X1X2a__U32XU32Xa__isQidXisQidXa__U41X1X2X3U41X1X2X3a__U42X1X2U42X1X2a__U43XU43Xa__U51X1X2X3U51X1X2X3a__U52X1X2U52X1X2a__U53XU53Xa__U61X1X2U61X1X2a__U62XU62Xa__U71X1X2U71X1X2a__U72XU72Xa__isNePalXisNePalXa__andX1X2andX1X2a__isPalListKindXisPalListKindXa__isPalXisPalX311a__isPal10000000001000000000a__isPalListKind10000000001000000000a__and200000000010000001002000000000a__isNePal10000000001000000000a__U71200000000010000000002000000000a__U52200000000010000000002000000000a__U513000000000100000000020000000003000000000a__U42200000000010000000002000000000a__U413000000000100000000020000000003000000000a__U22200000000010000000002000000000a__isList10000000001000000000a__U213000000000100000000020000000003000000000a__isNeList10000000001000000000a__U11200000000010000000002000000000mark10000001001000000000a____200000010010000001002000000000isNePal10000000001000000000U7210000000011000000000U71200000000110000000002000000000U6210000000011000000000U61200000000110000000002000000000U5310000000011000000000U52200000000110000000002000000000U513000000001100000000020000000003000000000U4310000000011000000000U42200000000110000000002000000000U413000000001100000000020000000003000000000isQid10000000001000000000U3210000000011000000000U31200000000110000000002000000000U2310000000011000000000isList10000000001000000000U22200000100110000000002000000000U213000000001100000000020000000003000000000isNeList10000000001000000000U1210000000011000000000U11200000000110000000002000000000u0000000000o0000000000i0000000000e0000000000a0000000000a__isPal10000000001000000000and200000000110000000012000000000isPal10000000001000000000isPalListKind10000000001000000000a__isPalListKind10000000001000000000a__and200000000110000000012000000000a__U7210000000011000000000a__isNePal10000000001000000000a__U71200000000110000000002000000000a__U6210000000011000000000a__U61200000000110000000002000000000a__U5310000000011000000000a__U52200000000110000000002000000000a__U513000000001100000000020000000003000000000a__U4310000000011000000000a__U42200000000110000000002000000000a__U413000000001100000000020000000003000000000a__U3210000000011000000000a__isQid10000000001000000000a__U31200000000110000000002000000000a__U2310000000011000000000a__U22200001100110000000002000000000a__isList10000000001000000000a__U213000000001100000000020000000003000000000a__U1210000000011000000000a__isNeList10000000001000000000a__U11200000000110000000002000000000tt0000000000nil0000000000mark10000000011000000000a____200000000110010000012001000000__200000000110010000012001000000a__isPalVa__isPalListKindVa__isPalListKind__V1V2a__isPalListKindV1a__isPalListKind__V1V2a__anda__isPalListKindV1isPalListKindV2a__andttXmarkXmarkU11X1X2markX1markU11X1X2a__U11markX1X2a__U11ttVa__isNeListVa__isNeListVa__isPalListKindVa__isNeList__V1V2a__isPalListKindV1a__isNeList__V1V2a__anda__isPalListKindV1isPalListKindV2a__isNeList__V1V2a__U41a__anda__isPalListKindV1isPalListKindV2V1V2a__U41ttV1V2a__isListV1a__isListVa__isPalListKindVa__isListVa__U11a__isPalListKindVVa__isList__V1V2a__isPalListKindV1a__isList__V1V2a__anda__isPalListKindV1isPalListKindV2a__isList__V1V2a__U21a__anda__isPalListKindV1isPalListKindV2V1V2a__U21ttV1V2a__isListV1a__U21ttV1V2a__U22a__isListV1V2a__U22ttV2a__isListV2a__U41ttV1V2a__U42a__isListV1V2a__U42ttV2a__isNeListV2a__isNeList__V1V2a__U51a__anda__isPalListKindV1isPalListKindV2V1V2a__U51ttV1V2a__isNeListV1a__U51ttV1V2a__U52a__isNeListV1V2a__U52ttV2a__isListV2markU12XmarkXmarkisNeListXa__isNeListXmarkU21X1X2X3markX1markU21X1X2X3a__U21markX1X2X3markU22X1X2markX1markU22X1X2a__U22markX1X2markisListXa__isListXmarkU23XmarkXmarkU31X1X2markX1markU32XmarkXmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3markU42X1X2markX1markU42X1X2a__U42markX1X2markU43XmarkXmarkU51X1X2X3markX1markU51X1X2X3a__U51markX1X2X3markU52X1X2markX1markU52X1X2a__U52markX1X2markU53XmarkXmarkU61X1X2markX1markU62XmarkXmarkU71X1X2markX1markU71X1X2a__U71markX1X2a__U71ttVa__isNePalVa__isNePalVa__isPalListKindVa__isNePal__I__PIa__anda__isQidIisPalListKindIa__isNePal__I__PIa__anda__anda__isQidIisPalListKindIandisPalPisPalListKindPmarkU72XmarkXmarkisNePalXa__isNePalXmarkandX1X2markX1markandX1X2a__andmarkX1X2markisPalListKindXa__isPalListKindXmarkisPalXa__isPalXa__isPalVa__U71a__isPalListKindVVa______XYZa____markXa____markYmarkZa______XYZa____markXa____markYmarkZa____XnilmarkXa____nilXmarkXa__U11ttVa__U12a__isNeListVa__U12tttta__U21ttV1V2a__U22a__isListV1V2a__U22ttV2a__U23a__isListV2a__U23tttta__U31ttVa__U32a__isQidVa__U32tttta__U41ttV1V2a__U42a__isListV1V2a__U42ttV2a__U43a__isNeListV2a__U43tttta__U51ttV1V2a__U52a__isNeListV1V2a__U52ttV2a__U53a__isListV2a__U53tttta__U61ttVa__U62a__isQidVa__U62tttta__U71ttVa__U72a__isNePalVa__U72tttta__andttXmarkXa__isListVa__U11a__isPalListKindVVa__isListniltta__isList__V1V2a__U21a__anda__isPalListKindV1isPalListKindV2V1V2a__isNeListVa__U31a__isPalListKindVVa__isNeList__V1V2a__U41a__anda__isPalListKindV1isPalListKindV2V1V2a__isNeList__V1V2a__U51a__anda__isPalListKindV1isPalListKindV2V1V2a__isNePalVa__U61a__isPalListKindVVa__isNePal__I__PIa__anda__anda__isQidIisPalListKindIandisPalPisPalListKindPa__isPalVa__U71a__isPalListKindVVa__isPalniltta__isPalListKindatta__isPalListKindetta__isPalListKinditta__isPalListKindniltta__isPalListKindotta__isPalListKindutta__isPalListKind__V1V2a__anda__isPalListKindV1isPalListKindV2a__isQidatta__isQidetta__isQiditta__isQidotta__isQiduttmark__X1X2a____markX1markX2markU11X1X2a__U11markX1X2markU12Xa__U12markXmarkisNeListXa__isNeListXmarkU21X1X2X3a__U21markX1X2X3markU22X1X2a__U22markX1X2markisListXa__isListXmarkU23Xa__U23markXmarkU31X1X2a__U31markX1X2markU32Xa__U32markXmarkisQidXa__isQidXmarkU41X1X2X3a__U41markX1X2X3markU42X1X2a__U42markX1X2markU43Xa__U43markXmarkU51X1X2X3a__U51markX1X2X3markU52X1X2a__U52markX1X2markU53Xa__U53markXmarkU61X1X2a__U61markX1X2markU62Xa__U62markXmarkU71X1X2a__U71markX1X2markU72Xa__U72markXmarkisNePalXa__isNePalXmarkandX1X2a__andmarkX1X2markisPalListKindXa__isPalListKindXmarkisPalXa__isPalXmarknilnilmarkttttmarkaamarkeemarkiimarkoomarkuua____X1X2__X1X2a__U11X1X2U11X1X2a__U12XU12Xa__isNeListXisNeListXa__U21X1X2X3U21X1X2X3a__U22X1X2U22X1X2a__isListXisListXa__U23XU23Xa__U31X1X2U31X1X2a__U32XU32Xa__isQidXisQidXa__U41X1X2X3U41X1X2X3a__U42X1X2U42X1X2a__U43XU43Xa__U51X1X2X3U51X1X2X3a__U52X1X2U52X1X2a__U53XU53Xa__U61X1X2U61X1X2a__U62XU62Xa__U71X1X2U71X1X2a__U72XU72Xa__isNePalXisNePalXa__andX1X2andX1X2a__isPalListKindXisPalListKindXa__isPalXisPalXa______XYZa____markXa____markYmarkZtrue1a____241020isNePal1217U721010U71201020U621011U61211021U531010U52201020U5130102030U431010U42201020U4130102030isQid1010U321210U31201020U231010isList1410U22201025U2130102035isNeList1010U121010U11201020u02o06i04e04a00a__isPal1010and211127isPal1010isPalListKind1211a__isPalListKind1211a__and211127a__U721010a__isNePal1217a__U71201020a__U621011a__U61211021a__U531010a__U52201020a__U5130102030a__U431010a__U42201020a__U4130102030a__U321210a__isQid1010a__U31201020a__U231010a__U22201025a__isList1410a__U2130102035a__U121010a__isNeList1010a__U11201020tt00nil04mark1110a____211124__211124a______XYZa____markXa____markYmarkZa____XnilmarkXa____nilXmarkXa__U11ttVa__U12a__isNeListVa__U12tttta__U21ttV1V2a__U22a__isListV1V2a__U22ttV2a__U23a__isListV2a__U23tttta__U31ttVa__U32a__isQidVa__U32tttta__U41ttV1V2a__U42a__isListV1V2a__U42ttV2a__U43a__isNeListV2a__U43tttta__U51ttV1V2a__U52a__isNeListV1V2a__U52ttV2a__U53a__isListV2a__U53tttta__U61ttVa__U62a__isQidVa__U62tttta__U71ttVa__U72a__isNePalVa__U72tttta__andttXmarkXa__isListVa__U11a__isPalListKindVVa__isListniltta__isList__V1V2a__U21a__anda__isPalListKindV1isPalListKindV2V1V2a__isNeListVa__U31a__isPalListKindVVa__isNeList__V1V2a__U41a__anda__isPalListKindV1isPalListKindV2V1V2a__isNeList__V1V2a__U51a__anda__isPalListKindV1isPalListKindV2V1V2a__isNePalVa__U61a__isPalListKindVVa__isNePal__I__PIa__anda__anda__isQidIisPalListKindIandisPalPisPalListKindPa__isPalVa__U71a__isPalListKindVVa__isPalniltta__isPalListKindatta__isPalListKindetta__isPalListKinditta__isPalListKindniltta__isPalListKindotta__isPalListKindutta__isPalListKind__V1V2a__anda__isPalListKindV1isPalListKindV2a__isQidatta__isQidetta__isQiditta__isQidotta__isQiduttmark__X1X2a____markX1markX2markU11X1X2a__U11markX1X2markU12Xa__U12markXmarkisNeListXa__isNeListXmarkU21X1X2X3a__U21markX1X2X3markU22X1X2a__U22markX1X2markisListXa__isListXmarkU23Xa__U23markXmarkU31X1X2a__U31markX1X2markU32Xa__U32markXmarkisQidXa__isQidXmarkU41X1X2X3a__U41markX1X2X3markU42X1X2a__U42markX1X2markU43Xa__U43markXmarkU51X1X2X3a__U51markX1X2X3markU52X1X2a__U52markX1X2markU53Xa__U53markXmarkU61X1X2a__U61markX1X2markU62Xa__U62markXmarkU71X1X2a__U71markX1X2markU72Xa__U72markXmarkisNePalXa__isNePalXmarkandX1X2a__andmarkX1X2markisPalListKindXa__isPalListKindXmarkisPalXa__isPalXmarknilnilmarkttttmarkaamarkeemarkiimarkoomarkuua____X1X2__X1X2a__U11X1X2U11X1X2a__U12XU12Xa__isNeListXisNeListXa__U21X1X2X3U21X1X2X3a__U22X1X2U22X1X2a__isListXisListXa__U23XU23Xa__U31X1X2U31X1X2a__U32XU32Xa__isQidXisQidXa__U41X1X2X3U41X1X2X3a__U42X1X2U42X1X2a__U43XU43Xa__U51X1X2X3U51X1X2X3a__U52X1X2U52X1X2a__U53XU53Xa__U61X1X2U61X1X2a__U62XU62Xa__U71X1X2U71X1X2a__U72XU72Xa__isNePalXisNePalXa__andX1X2andX1X2a__isPalListKindXisPalListKindXa__isPalXisPalXa__isPalVa__isPalListKindVa__isPalListKind__V1V2a__isPalListKindV1a__isPalListKind__V1V2a__anda__isPalListKindV1isPalListKindV2a__andttXmarkXmarkU11X1X2markX1markU11X1X2a__U11markX1X2a__U11ttVa__isNeListVa__isNeListVa__isPalListKindVa__isNeList__V1V2a__isPalListKindV1a__isNeList__V1V2a__anda__isPalListKindV1isPalListKindV2a__isNeList__V1V2a__U41a__anda__isPalListKindV1isPalListKindV2V1V2a__U41ttV1V2a__isListV1a__isListVa__isPalListKindVa__isListVa__U11a__isPalListKindVVa__isList__V1V2a__isPalListKindV1a__isList__V1V2a__anda__isPalListKindV1isPalListKindV2a__isList__V1V2a__U21a__anda__isPalListKindV1isPalListKindV2V1V2a__U21ttV1V2a__isListV1a__U21ttV1V2a__U22a__isListV1V2a__U22ttV2a__isListV2a__U41ttV1V2a__U42a__isListV1V2a__U42ttV2a__isNeListV2a__isNeList__V1V2a__U51a__anda__isPalListKindV1isPalListKindV2V1V2a__U51ttV1V2a__isNeListV1a__U51ttV1V2a__U52a__isNeListV1V2a__U52ttV2a__isListV2markU12XmarkXmarkisNeListXa__isNeListXmarkU21X1X2X3markX1markU21X1X2X3a__U21markX1X2X3markU22X1X2markX1markU22X1X2a__U22markX1X2markisListXa__isListXmarkU23XmarkXmarkU31X1X2markX1markU32XmarkXmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3markU42X1X2markX1markU42X1X2a__U42markX1X2markU43XmarkXmarkU51X1X2X3markX1markU51X1X2X3a__U51markX1X2X3markU52X1X2markX1markU52X1X2a__U52markX1X2markU53XmarkXmarkU61X1X2markX1markU62XmarkXmarkU71X1X2markX1markU71X1X2a__U71markX1X2a__U71ttVa__isNePalVa__isNePalVa__isPalListKindVa__isNePal__I__PIa__anda__isQidIisPalListKindIa__isNePal__I__PIa__anda__anda__isQidIisPalListKindIandisPalPisPalListKindPmarkU72XmarkXmarkisNePalXa__isNePalXmarkandX1X2markX1markandX1X2a__andmarkX1X2markisPalListKindXa__isPalListKindXmarkisPalXa__isPalXa__isPalVa__U71a__isPalListKindVVtruea__isPal111a__isPalListKind11a__and222a__isNePal111a__U71222a__U5222a__U51323a__U4222a__U41323a__U2222a__isList11a__U21323a__isNeList11a__U1122mark111and21222isPal11isPalListKind11a__isPalVa__isPalListKindVa__isPalListKind__V1V2a__isPalListKindV1a__isPalListKind__V1V2a__anda__isPalListKindV1isPalListKindV2markU11X1X2markX1markU11X1X2a__U11markX1X2a__isNeList__V1V2a__isPalListKindV1a__isNeList__V1V2a__anda__isPalListKindV1isPalListKindV2a__isNeList__V1V2a__U41a__anda__isPalListKindV1isPalListKindV2V1V2a__U41ttV1V2a__isListV1a__isList__V1V2a__isPalListKindV1a__isList__V1V2a__anda__isPalListKindV1isPalListKindV2a__isList__V1V2a__U21a__anda__isPalListKindV1isPalListKindV2V1V2a__U21ttV1V2a__isListV1a__U21ttV1V2a__U22a__isListV1V2a__U41ttV1V2a__U42a__isListV1V2a__isNeList__V1V2a__U51a__anda__isPalListKindV1isPalListKindV2V1V2a__U51ttV1V2a__isNeListV1a__U51ttV1V2a__U52a__isNeListV1V2markU12XmarkXmarkisNeListXa__isNeListXmarkU21X1X2X3markX1markU21X1X2X3a__U21markX1X2X3markU22X1X2markX1markU22X1X2a__U22markX1X2markisListXa__isListXmarkU23XmarkXmarkU31X1X2markX1markU32XmarkXmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3markU42X1X2markX1markU42X1X2a__U42markX1X2markU43XmarkXmarkU51X1X2X3markX1markU51X1X2X3a__U51markX1X2X3markU52X1X2markX1markU52X1X2a__U52markX1X2markU53XmarkXmarkU61X1X2markX1markU62XmarkXmarkU71X1X2markX1markU71X1X2a__U71markX1X2a__isNePalVa__isPalListKindVa__isNePal__I__PIa__anda__isQidIisPalListKindIa__isNePal__I__PIa__anda__anda__isQidIisPalListKindIandisPalPisPalListKindPmarkU72XmarkXmarkisNePalXa__isNePalXmarkandX1X2markX1markandX1X2a__andmarkX1X2markisPalListKindXa__isPalListKindXa__U22ttV2a__isListV2false36a__U42ttV2a__isNeListV2false4a__U52ttV2a__isListV2false14a__isListVa__U11a__isPalListKindVVfalse1a__U11ttVa__isNeListVfalse1a__isNeListVa__isPalListKindVfalsea__isListVa__isPalListKindVfalsea__andttXmarkXfalse1markisPalXa__isPalXfalse1a__isPalVa__U71a__isPalListKindVVfalse1a__U71ttVa__isNePalVfalsemarkU72Xa__U72markXfalsea__U71ttVa__U72a__isNePalVfalsea__isNePal__I__PIa__isQidIfalsea__isNePalVa__U61a__isPalListKindVVfalse34markU62Xa__U62markXfalsemarkU61X1X2a__U61markX1X2false12a__U61ttVa__U62a__isQidVfalsea__U61ttVa__isQidVfalsemarkU53Xa__U53markXfalsemarkU43Xa__U43markXfalsemarkisQidXa__isQidXfalsemarkU32Xa__U32markXfalsemarkU31X1X2a__U31markX1X2false89markU23Xa__U23markXfalsemarkU12Xa__U12markXfalsea__U42ttV2a__U43a__isNeListV2falsea__U52ttV2a__U53a__isListV2falsea__U22ttV2a__U23a__isListV2falsea__U11ttVa__U12a__isNeListVfalsea__isNeListVa__U31a__isPalListKindVVfalse12a__U31ttVa__U32a__isQidVfalsea__U31ttVa__isQidVfalsettt2ttt2 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])))