/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/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____nilXmarkXtrue12345691011121314151617181920311a__U513100000100100000000020000000003000000000U513100000100100000000020000000003000000000tt0000000000a__U413100000100100000000020000000003000000000a__U213100000100100000000020000000003000000000U6211000001001000000000a____210000011111000011012100000000nil0000000000a__U42210000010010000000002000000000a__U61210000010011000001002000000000u0000000000a__and210000000111000001002000000000a__U213100000000100000000020000000003000000000a0000000000a__U52210000010010000000002000000000a__U4311000000011000000000a__U11210000000010000000002000000000a__isPalListKind10000000001000000000i0000000000a__U6211000001001000000000isPalListKind10000000001000000000a__U22210000000010000000002000000000U31210000010010000000002000000000a__U11210000010010000000002000000000e0000000000a__isList10000000001000000000a__U22210000010010000000002000000000__210000011111000011012100000000isNeList10000000001000000000a__U1211000001001000000000a__U5311000001001000000000a__U7211000000011000000000U5311000001001000000000U4311000000011000000000and210000000111000001002000000000a__U3211000000011000000000a__isPalListKind10000000001000000000U7211000000011000000000a__isNePal11000001001000000000a__isPal11000001001000000000a__U31210000010010000000002000000000U3211000000011000000000a__U71200000000011000001002000000000a__and200000000011000000002000000000a__U71210000010011000001002000000000a__U413100000000100000000020000000003000000000a__isNePal11000001001000000000isNePal11000001001000000000a__U2311000000011000000000a__isList10000000001000000000a__isQid10000000001000000000U52210000010010000000002000000000U213100000100100000000020000000003000000000U71210000010011000001002000000000mark11000000001000000000a__isNeList10000000001000000000U1211000001001000000000a__isNeList10000000001000000000a____210000000011000001002000000000a__U52210000000010000000002000000000U42210000010010000000002000000000a__U42210000000010000000002000000000U61210000010011000001002000000000U413100000100100000000020000000003000000000a__U513100000000100000000020000000003000000000U11210000010010000000002000000000U22210000010010000000002000000000isList10000000001000000000isQid10000000001000000000a__isPal11000001001000000000o0000000000isPal11000001001000000000U2311000000011000000000mark11000001001000000000a__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__isPalListKindVmarkU72XmarkXmarkisNePalXa__isNePalXmarkandX1X2markX1markandX1X2a__andmarkX1X2markisPalListKindXa__isPalListKindXmarkisPalXa__isPalXa__isPalVa__U71a__isPalListKindVVa______XYZa____markXa____markYmarkZa____XnilmarkXa____nilXmarkXa______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____markYmarkZtrue121a__U5130102030U5130102030tt00a__U4130102030a__U2130102030U621011a____221121nil07a__U42201020a__U61201021u01a__and201122a00a__U52201020a__U431010a__isPalListKind1210i01a__U621011isPalListKind1210U31201020a__U11201020e02a__U22201020__221121isNeList1010a__U121010a__U531010a__U721010U531010U431010and201122a__U321010U721010a__isPal1011a__U31201020U321010a__U71201021a__isNePal1611isNePal1611a__U231010a__isList1010a__isQid1110U52201020U2130102030U71201021a__isNeList1010U121010a____221120U42201020U61201021U4130102030U11201020U22201020isList1010isQid1110o01isPal1011U231010mark1110a______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____XnilmarkXfalse2a____nilXmarkXfalse1a__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__isPalListKindVmarkU72XmarkXmarkisNePalXa__isNePalXmarkandX1X2markX1markandX1X2a__andmarkX1X2markisPalListKindXa__isPalListKindXmarkisPalXa__isPalXa__isPalVa__U71a__isPalListKindVVtruea__isPal11a__isPalListKind11a__and222a__isNePal11a__U7122a__U5222a__U5132333a__U4222a__U41323a__U2222a__isList11a__U21323a__isNeList11a__U1122mark111U53111U5221122U42211222and212isPal111isPalListKind111a__U531111a__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__U71markX1X2markU72XmarkXmarkisNePalXa__isNePalXmarkandX1X2markX1markandX1X2a__andmarkX1X2markisPalListKindXa__isPalListKindXmarkisPalXa__isPalXa__U22ttV2a__isListV2false36a__U42ttV2a__isNeListV2false4a__U52ttV2a__isListV2false14a__isListVa__U11a__isPalListKindVVfalse1a__U11ttVa__isNeListVfalse1a__isNeListVa__isPalListKindVfalsea__isListVa__isPalListKindVfalsea__andttXmarkXfalsea__isPalVa__U71a__isPalListKindVVfalse1a__U71ttVa__isNePalVfalse1a__isNePalVa__isPalListKindVfalsea__isPalVa__isPalListKindVfalsemarkU72Xa__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.20 [hg: unknown]((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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])! || ((((( (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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])! || (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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))![299])! ) 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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])))