/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 ____XYZ__X__YZ__XnilX__nilXXU11ttVU12isNeListactivateVU12ttttU21ttV1V2U22isListactivateV1activateV2U22ttV2U23isListactivateV2U23ttttU31ttVU32isQidactivateVU32ttttU41ttV1V2U42isListactivateV1activateV2U42ttV2U43isNeListactivateV2U43ttttU51ttV1V2U52isNeListactivateV1activateV2U52ttV2U53isListactivateV2U53ttttU61ttVU62isQidactivateVU62ttttU71ttVU72isNePalactivateVU72ttttandttXactivateXisListVU11isPalListKindactivateVactivateVisListn__nilttisListn____V1V2U21andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2isNeListVU31isPalListKindactivateVactivateVisNeListn____V1V2U41andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2isNeListn____V1V2U51andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2isNePalVU61isPalListKindactivateVactivateVisNePaln____In____PIandandisQidactivateIn__isPalListKindactivateIn__andn__isPalactivatePn__isPalListKindactivatePisPalVU71isPalListKindactivateVactivateVisPaln__nilttisPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isQidn__attisQidn__ettisQidn__ittisQidn__ottisQidn__uttniln__nil__X1X2n____X1X2isPalListKindXn__isPalListKindXandX1X2n__andX1X2isPalXn__isPalXan__aen__ein__ion__oun__uactivaten__nilnilactivaten____X1X2__activateX1activateX2activaten__isPalListKindXisPalListKindXactivaten__andX1X2andactivateX1X2activaten__isPalXisPalXactivaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXX2.1____XYZ__YZ____XYZ__X__YZU11ttVactivateVU11ttVisNeListactivateVU11ttVU12isNeListactivateVU21ttV1V2activateV2U21ttV1V2activateV1U21ttV1V2isListactivateV1U21ttV1V2U22isListactivateV1activateV2U22ttV2activateV2U22ttV2isListactivateV2U22ttV2U23isListactivateV2U31ttVactivateVU31ttVisQidactivateVU31ttVU32isQidactivateVU41ttV1V2activateV2U41ttV1V2activateV1U41ttV1V2isListactivateV1U41ttV1V2U42isListactivateV1activateV2U42ttV2activateV2U42ttV2isNeListactivateV2U42ttV2U43isNeListactivateV2U51ttV1V2activateV2U51ttV1V2activateV1U51ttV1V2isNeListactivateV1U51ttV1V2U52isNeListactivateV1activateV2U52ttV2activateV2U52ttV2isListactivateV2U52ttV2U53isListactivateV2U61ttVactivateVU61ttVisQidactivateVU61ttVU62isQidactivateVU71ttVactivateVU71ttVisNePalactivateVU71ttVU72isNePalactivateVandttXactivateXisListVactivateVisListVisPalListKindactivateVisListVU11isPalListKindactivateVactivateVisListn____V1V2activateV2isListn____V1V2activateV1isListn____V1V2isPalListKindactivateV1isListn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isListn____V1V2U21andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2isNeListVactivateVisNeListVisPalListKindactivateVisNeListVU31isPalListKindactivateVactivateVisNeListn____V1V2activateV2isNeListn____V1V2activateV1isNeListn____V1V2isPalListKindactivateV1isNeListn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isNeListn____V1V2U41andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2isNeListn____V1V2U51andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2isNePalVactivateVisNePalVisPalListKindactivateVisNePalVU61isPalListKindactivateVactivateVisNePaln____In____PIactivatePisNePaln____In____PIactivateIisNePaln____In____PIisQidactivateIisNePaln____In____PIandisQidactivateIn__isPalListKindactivateIisNePaln____In____PIandandisQidactivateIn__isPalListKindactivateIn__andn__isPalactivatePn__isPalListKindactivatePisPalVactivateVisPalVisPalListKindactivateVisPalVU71isPalListKindactivateVactivateVisPalListKindn____V1V2activateV2isPalListKindn____V1V2activateV1isPalListKindn____V1V2isPalListKindactivateV1isPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2activaten__nilnilactivaten____X1X2activateX2activaten____X1X2activateX1activaten____X1X2__activateX1activateX2activaten__isPalListKindXisPalListKindXactivaten__andX1X2activateX1activaten__andX1X2andactivateX1X2activaten__isPalXisPalXactivaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uutrueU52ttV2isListactivateV2isListVU11isPalListKindactivateVactivateVU11ttVisNeListactivateVisNeListn____V1V2U41andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U41ttV1V2isListactivateV1isListn____V1V2U21andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U21ttV1V2isListactivateV1U21ttV1V2U22isListactivateV1activateV2U22ttV2isListactivateV2U41ttV1V2U42isListactivateV1activateV2U42ttV2isNeListactivateV2isNeListn____V1V2U51andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U51ttV1V2isNeListactivateV1U51ttV1V2U52isNeListactivateV1activateV2true1234567891011121314151617181920212526272829301U5220102U513011203U4221020U413011203U2221020isList1010U213102030isNeList101U1120102u00o00i01e00a06n__u00n__o00n__i01n__e00n__a06isPal1010n__and20102n__isPal1010n__isPalListKind101n____211020n__nil04isPalListKind101and20102U72101isNePal101U7120102U62110U6120102U53111U5221120U513122030U43101U422112U41312213U32110isQid1010U3120102U231614U2226120isList1011U2134142432U121012isNeList111activate101U1121020tt00nil04__211020U52ttV2isListactivateV2isListVU11isPalListKindactivateVactivateVU11ttVisNeListactivateVisNeListn____V1V2U41andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U41ttV1V2isListactivateV1isListn____V1V2U21andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U21ttV1V2isListactivateV1U21ttV1V2U22isListactivateV1activateV2U22ttV2isListactivateV2U41ttV1V2U42isListactivateV1activateV2U42ttV2isNeListactivateV2isNeListn____V1V2U51andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U51ttV1V2U52isNeListactivateV1activateV2____XYZ__X__YZ__XnilX__nilXXU31ttVU32isQidactivateVU32ttttU41ttV1V2U42isListactivateV1activateV2U42ttV2U43isNeListactivateV2U43ttttU51ttV1V2U52isNeListactivateV1activateV2U52ttV2U53isListactivateV2U53ttttU61ttVU62isQidactivateVU62ttttU71ttVU72isNePalactivateVU72ttttandttXactivateXisNeListVU31isPalListKindactivateVactivateVisNeListn____V1V2U41andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2isNeListn____V1V2U51andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2isNePalVU61isPalListKindactivateVactivateVisNePaln____In____PIandandisQidactivateIn__isPalListKindactivateIn__andn__isPalactivatePn__isPalListKindactivatePisPalVU71isPalListKindactivateVactivateVisPaln__nilttisPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isQidn__attisQidn__ettisQidn__ittisQidn__ottisQidn__uttniln__nil__X1X2n____X1X2isPalListKindXn__isPalListKindXandX1X2n__andX1X2isPalXn__isPalXan__aen__ein__ion__oun__uactivaten__nilnilactivaten____X1X2__activateX1activateX2activaten__isPalListKindXisPalListKindXactivaten__andX1X2andactivateX1X2activaten__isPalXisPalXactivaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXX1641U5221212212U51301022332U42201222U4130122232U222012212isList12112U2130122231isNeList12112U112012212u00o00i00e00a00n__u00n__o00n__i00n__e00n__a00isPal1010n__and201220n__isPal1010n__isPalListKind1010n____221123n__nil03isPalListKind1010and201220U721010isNePal15213U71201020U621010U612015220U531011U522121021U5130102032U4310132U42201022U4130102032U321012isQid10112U31201022U231011U222013220isList1010U21301221230U121012isNeList1012activate1110U11201020tt00nil03__221123U52ttV2isListactivateV2isListVU11isPalListKindactivateVactivateVU11ttVisNeListactivateVU22ttV2isListactivateV2U41ttV1V2U42isListactivateV1activateV2U51ttV1V2U52isNeListactivateV1activateV2____XYZ__X__YZ__XnilX__nilXXU31ttVU32isQidactivateVU32ttttU41ttV1V2U42isListactivateV1activateV2U42ttV2U43isNeListactivateV2U43ttttU51ttV1V2U52isNeListactivateV1activateV2U52ttV2U53isListactivateV2U53ttttU71ttVU72isNePalactivateVU72ttttandttXactivateXisNeListVU31isPalListKindactivateVactivateVisNeListn____V1V2U41andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2isNeListn____V1V2U51andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2isPalVU71isPalListKindactivateVactivateVisPaln__nilttisPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2niln__nil__X1X2n____X1X2isPalListKindXn__isPalListKindXandX1X2n__andX1X2isPalXn__isPalXan__aen__ein__ion__oun__uactivaten__nilnilactivaten____X1X2__activateX1activateX2activaten__isPalListKindXisPalListKindXactivaten__andX1X2andactivateX1X2activaten__isPalXisPalXactivaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXU22ttV2isListactivateV2false4U41ttV1V2U42isListactivateV1activateV2falseU51ttV1V2U52isNeListactivateV1activateV2false1U52ttV2isListactivateV2false1isListVU11isPalListKindactivateVactivateVfalse1U11ttVisNeListactivateVfalseU11ttVU12isNeListactivateVfalseU42ttV2U43isNeListactivateV2falseU52ttV2activateV2false2833343536373840U51ttV1V2activateV1false2732333435363739U51ttV1V2activateV2false2631323334353638U42ttV2activateV2false2530313233343537U22ttV2U23isListactivateV2falseU22ttV2activateV2false2328293031323335U21ttV1V2activateV1false2227282930313234U21ttV1V2activateV2false2126272829303133isListn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2false20isListn____V1V2isPalListKindactivateV1false19isListn____V1V2activateV1false1823242526272830isListn____V1V2activateV2false1722232425262729U41ttV1V2activateV1false1621222324252628U41ttV1V2activateV2false1520212223242527isNeListn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2false14isNeListn____V1V2isPalListKindactivateV1false13isNeListn____V1V2activateV1false1217181920212224isNeListn____V1V2activateV2false1116171819202123isNeListVU31isPalListKindactivateVactivateVfalse123U31ttVU32isQidactivateVfalseU31ttVisQidactivateVfalseU31ttVactivateVfalse712131415161719isNeListVisPalListKindactivateVfalse6isNeListVactivateVfalse510111213141517U11ttVactivateVfalse49101112131416isListVisPalListKindactivateVfalse3isListVactivateVfalse278910111214U52ttV2U53isListactivateV2falseisPalVisPalListKindactivateVisPalListKindn____V1V2activateV2activaten____X1X2activateX2activaten____X1X2activateX1activaten__isPalListKindXisPalListKindXisPalListKindn____V1V2activateV1activaten__andX1X2activateX1activaten__andX1X2andactivateX1X2andttXactivateXactivaten__isPalXisPalXisPalVactivateVisPalVU71isPalListKindactivateVactivateVU71ttVactivateVU71ttVisNePalactivateVisNePalVactivateVisNePalVisPalListKindactivateVisPalListKindn____V1V2isPalListKindactivateV1isPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isNePalVU61isPalListKindactivateVactivateVU61ttVactivateVisNePaln____In____PIactivatePisNePaln____In____PIactivateIisNePaln____In____PIandisQidactivateIn__isPalListKindactivateIisNePaln____In____PIandandisQidactivateIn__isPalListKindactivateIn__andn__isPalactivatePn__isPalListKindactivatePtrue12345678910121isPal1610isPalListKind1210and201220isNePal1610U71201620U61241220activate1210u01o01i01e01a01n__u01n__o01n__i01n__e01n__a01isPal1310n__and231120n__isPal1310n__isPalListKind1110n____241120n__nil01isPalListKind1110and231120U721011isNePal1010U71211120U621010U61251023isQid1112activate1110tt01nil01__241120isPalVisPalListKindactivateVisPalListKindn____V1V2activateV2activaten____X1X2activateX2activaten____X1X2activateX1activaten__isPalListKindXisPalListKindXisPalListKindn____V1V2activateV1activaten__andX1X2activateX1activaten__andX1X2andactivateX1X2andttXactivateXactivaten__isPalXisPalXisPalVactivateVisPalVU71isPalListKindactivateVactivateVU71ttVactivateVU71ttVisNePalactivateVisNePalVactivateVisNePalVisPalListKindactivateVisPalListKindn____V1V2isPalListKindactivateV1isPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isNePalVU61isPalListKindactivateVactivateVisNePaln____In____PIactivatePisNePaln____In____PIactivateIisNePaln____In____PIandisQidactivateIn__isPalListKindactivateIisNePaln____In____PIandandisQidactivateIn__isPalListKindactivateIn__andn__isPalactivatePn__isPalListKindactivatePactivaten__nilnilactivaten____X1X2__activateX1activateX2activaten__isPalListKindXisPalListKindXactivaten__andX1X2andactivateX1X2activaten__isPalXisPalXactivaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2isPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isPalListKindXn__isPalListKindXandttXactivateXandX1X2n__andX1X2isPalVU71isPalListKindactivateVactivateVisPaln__nilttisPalXn__isPalXU71ttVU72isNePalactivateVU72ttttisQidn__attisQidn__ettisQidn__ittisQidn__ottisQidn__uttan__aen__ein__ion__oun__uisPalVisPalListKindactivateVisPalListKindn____V1V2activateV2activaten____X1X2activateX2activaten____X1X2activateX1activaten__isPalListKindXisPalListKindXisPalListKindn____V1V2activateV1activaten__andX1X2activateX1activaten__andX1X2andactivateX1X2andttXactivateXactivaten__isPalXisPalXisPalVactivateVisPalVU71isPalListKindactivateVactivateVU71ttVactivateVU71ttVisNePalactivateVisNePalVactivateVisNePalVisPalListKindactivateVisPalListKindn____V1V2isPalListKindactivateV1isPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isNePaln____In____PIactivatePisNePaln____In____PIactivateIisNePaln____In____PIandisQidactivateIn__isPalListKindactivateIisNePaln____In____PIandandisQidactivateIn__isPalListKindactivateIn__andn__isPalactivatePn__isPalListKindactivatePtrue11isPal111isPalListKind101and20102isNePal1010U7120102activate101u00o04i00e00a05n__u00n__o04n__i00n__e00n__a05isPal1110n__and20102n__isPal1110n__isPalListKind101n____21102n__nil00isPalListKind101and20102U721011isNePal1010U7121102U621010U6121020isQid110activate101tt00nil00__21102isPalListKindn____V1V2activateV2activaten____X1X2activateX2activaten__isPalListKindXisPalListKindXactivaten__andX1X2activateX1activaten__andX1X2andactivateX1X2andttXactivateXactivaten__isPalXisPalXU71ttVactivateVU71ttVisNePalactivateVisNePalVactivateVisNePalVisPalListKindactivateVisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isNePaln____In____PIandisQidactivateIn__isPalListKindactivateIisNePaln____In____PIandandisQidactivateIn__isPalListKindactivateIn__andn__isPalactivatePn__isPalListKindactivatePactivaten__nilnilactivaten____X1X2__activateX1activateX2activaten__isPalListKindXisPalListKindXactivaten__andX1X2andactivateX1X2activaten__isPalXisPalXactivaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2isPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isPalListKindXn__isPalListKindXandttXactivateXandX1X2n__andX1X2isPalVU71isPalListKindactivateVactivateVisPaln__nilttisPalXn__isPalXU71ttVU72isNePalactivateVU72ttttisNePalVU61isPalListKindactivateVactivateVisNePaln____In____PIandandisQidactivateIn__isPalListKindactivateIn__andn__isPalactivatePn__isPalListKindactivatePU61ttVU62isQidactivateVU62ttttisQidn__attisQidn__ettisQidn__ittisQidn__ottisQidn__uttan__aen__ein__ion__oun__uU71ttVactivateVfalse67U71ttVisNePalactivateVfalse1234isNePalVactivateVfalse45isNePalVisPalListKindactivateVfalse3isNePaln____In____PIandisQidactivateIn__isPalListKindactivateIfalse2isNePaln____In____PIandandisQidactivateIn__isPalListKindactivateIn__andn__isPalactivatePn__isPalListKindactivatePfalse1isPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2andttXactivateXactivaten____X1X2activateX2activaten__isPalListKindXisPalListKindXisPalListKindn____V1V2activateV2activaten__andX1X2activateX1activaten__andX1X2andactivateX1X2true11isPalListKind121and20102activate101u00o02i05e05a00n__u00n__o02n__i05n__e05n__a00isPal1317n__and20102n__isPal1317n__isPalListKind121n____201020n__nil00isPalListKind121and20102U72110isNePal110U7121220U62110U612132isQid110activate101tt00nil00__201020isPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2andttXactivateXactivaten____X1X2activateX2activaten__isPalListKindXisPalListKindXactivaten__andX1X2activateX1activaten__andX1X2andactivateX1X2activaten__nilnilactivaten____X1X2__activateX1activateX2activaten__isPalListKindXisPalListKindXactivaten__andX1X2andactivateX1X2activaten__isPalXisPalXactivaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2isPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isPalListKindXn__isPalListKindXandttXactivateXandX1X2n__andX1X2isPalVU71isPalListKindactivateVactivateVisPaln__nilttisPalXn__isPalXU71ttVU72isNePalactivateVan__aen__ein__ion__oun__uU72tttt1isPalListKind110and21020activate101u00o00i00e00a00n__u01n__o02n__i02n__e02n__a02isPal1010n__and201121n__isPal1017n__isPalListKind110n____201020n__nil00isPalListKind110and201020U721010isNePal110U71271420U621310U61271020isQid110activate113tt00nil00__20122isPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2andttXactivateXactivaten____X1X2activateX2activaten__isPalListKindXisPalListKindXactivaten__andX1X2activateX11isPalListKind110and2102activate101u01o00i01e00a08n__u04n__o03n__i04n__e03n__a00isPal1211n__and201520n__isPal110n__isPalListKind110n____20132n__nil00isPalListKind1010and20120U721112isNePal1010U71201120U62110U61251520isQid1010activate110tt01nil04__221322isPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2andttXactivateXactivaten__isPalListKindXisPalListKindXactivaten__andX1X2activateX11isPalListKind110and21020activate1010u00o08i08e00a00n__u02n__o00n__i04n__e03n__a07isPal110n__and221521n__isPal1011n__isPalListKind110n____201022n__nil01isPalListKind1010and201020U721118isNePal1114U71201020U621210U6120120isQid110activate110tt04nil01__20102isPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2andttXactivateXactivaten__isPalListKindXisPalListKindX1isPalListKind1210and211120activate1110u02o04i04e04a01n__u02n__o04n__i04n__e04n__a01isPal1212n__and201120n__isPal1212n__isPalListKind1210n____241120n__nil04isPalListKind1210and201120U721011isNePal1010U71201221U621010U61271420isQid1010activate1110tt01nil04__241120isPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2activaten__isPalListKindXisPalListKindXactivaten__nilnilactivaten____X1X2__activateX1activateX2activaten__isPalListKindXisPalListKindXactivaten__andX1X2andactivateX1X2activaten__isPalXisPalXactivaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXXniln__nil____XYZ__X__YZ__XnilX__nilXX__X1X2n____X1X2isPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isPalListKindXn__isPalListKindXandttXactivateXandX1X2n__andX1X2isPalVU71isPalListKindactivateVactivateVisPaln__nilttisPalXn__isPalXU71ttVU72isNePalactivateVan__aen__ein__ion__oun__uU72ttttactivaten__isPalListKindXisPalListKindXfalse1isPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2falseactivaten__isPalXisPalXfalseisNePalVU61isPalListKindactivateVactivateVfalseU71ttVU72isNePalactivateVfalseisNePaln____In____PIisQidactivateIfalseU61ttVU62isQidactivateVfalseU61ttVisQidactivateVfalseactivaten__uufalseactivaten__oofalseactivaten__iifalseactivaten__eefalseactivaten__aafalseactivaten____X1X2__activateX1activateX2false1____XYZ__YZ____XYZ__X__YZtrue____XYZ__YZ2false21true1____XYZ__X__YZ1true1activaten__nilnilfalsettt2ttt2 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])))