/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/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__isPalListKindactivateV2activateV1activateV2U51ttV1V2isNeListactivateV1U51ttV1V2U52isNeListactivateV1activateV2true1234567891011121314151617181920212526272829301U522012U2221226activate101U4221020isList1210nil00U11201120U43110U62110n__o05isPalListKind110isPal114U53110U513510230n__nil00n__e00U7122120n____221025U11201220isNeList101n__a00U23110__221025e00U213122130U612122and201020isList1210n__isPal114U413102030U4221224n__and201020isQid101isNePal110U72112U312102U2225128U32101i04U4137122230U5224122U12118a00U5130142230U2137122230n__u00o05u00isNeList121n__i04n__isPalListKind110tt00U52ttV2isListactivateV2isListVU11isPalListKindactivateVactivateVU11ttVisNeListactivateVisNeListn____V1V2U41andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U41ttV1V2isListactivateV1isListn____V1V2U21andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U21ttV1V2isListactivateV1U21ttV1V2U22isListactivateV1activateV2U22ttV2isListactivateV2U41ttV1V2U42isListactivateV1activateV2U42ttV2isNeListactivateV2isNeListn____V1V2U51andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U51ttV1V2U52isNeListactivateV1activateV2____XYZ__X__YZ__XnilX__nilXXU31ttVU32isQidactivateVU32ttttU41ttV1V2U42isListactivateV1activateV2U42ttV2U43isNeListactivateV2U43ttttU51ttV1V2U52isNeListactivateV1activateV2U52ttV2U53isListactivateV2U53ttttU71ttVU72isNePalactivateVU72ttttandttXactivateXisNeListVU31isPalListKindactivateVactivateVisNeListn____V1V2U41andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2isNeListn____V1V2U51andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2isPalVU71isPalListKindactivateVactivateVisPaln__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__uuactivateXX1U52201020U22201221activate1110U42201021isList1010nil00U11201020U431010U621410n__o00isPalListKind1014isPal1411U531010U5130102030n__nil00n__e00U71201420n____211122U11201220isNeList1014n__a02U231014__211122e00U2136112032U61201422and201120isList1210n__isPal1411U4130102034U42201220n__and201120isQid1012isNePal1017U721010U31201024U22201027U321014i00U4130122230U52201220U121010a02U5131122230U2130122231n__u00o00u00isNeList1210n__i00n__isPalListKind1014tt00U52ttV2isListactivateV2isListVU11isPalListKindactivateVactivateVU11ttVisNeListactivateVU41ttV1V2isListactivateV1U21ttV1V2U22isListactivateV1activateV2U41ttV1V2U42isListactivateV1activateV2U42ttV2isNeListactivateV2isNeListn____V1V2U51andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U51ttV1V2U52isNeListactivateV1activateV2____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__uuactivateXXU21ttV1V2U22isListactivateV1activateV2falseU41ttV1V2isListactivateV1false3U41ttV1V2U42isListactivateV1activateV2false1U42ttV2isNeListactivateV2false1U52ttV2isListactivateV2isListVU11isPalListKindactivateVactivateVU11ttVisNeListactivateVisNeListn____V1V2U51andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2U51ttV1V2U52isNeListactivateV1activateV2true1U52201220activate1110U42231020isList1417nil00U11201423U431012U621011n__o00isPalListKind1010isPal1014U531110U5130102733n__nil00n__e00U71201024n____221121U11201422isNeList1010n__a04U231010__221121e00U2130102436U61201021and201220isList1412n__isPal1014U4130102031n__and201220isQid1017isNePal1014U721110U31201020U22201020U321410i00U52201422U121012a04U5130102436n__u00o00u00isNeList1412n__i00n__isPalListKind1010tt00U52ttV2isListactivateV2isListVU11isPalListKindactivateVactivateVU11ttVisNeListactivateVisNeListn____V1V2U51andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2____XYZ__X__YZ__XnilX__nilXXU61ttVU62isQidactivateVU62ttttU71ttVU72isNePalactivateVU72ttttandttXactivateXisNePalVU61isPalListKindactivateVactivateVisNePaln____In____PIandandisQidactivateIn__isPalListKindactivateIn__andn__isPalactivatePn__isPalListKindactivatePisPalVU71isPalListKindactivateVactivateVisPaln__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__uuactivateXXU52ttV2isListactivateV2false1isListVU11isPalListKindactivateVactivateVfalse1U11ttVisNeListactivateVfalse1isNeListn____V1V2U51andisPalListKindactivateV1n__isPalListKindactivateV2activateV1activateV2falseU11ttVU12isNeListactivateVfalseU42ttV2U43isNeListactivateV2falseU52ttV2activateV2false2833343536373840U51ttV1V2activateV1false2732333435363739U51ttV1V2activateV2false2631323334353638U42ttV2activateV2false2530313233343537U22ttV2U23isListactivateV2falseU22ttV2activateV2false2328293031323335U21ttV1V2activateV1false2227282930313234U21ttV1V2activateV2false2126272829303133isListn____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__isPalListKindactivatePtrue12345678910121activate101nil00U621614n__o00isPal101isPalListKind101U7120102isPal101n__nil00n__e02U7120102n____221020n__a00isNePal1010__221020e02U6120123and211020n__isPal101n__and211020isQid111activate101isNePal1310U72110i02isPalListKind101a00U6121020n__u00o00u00and21020n__i02n__isPalListKind101tt00isPalVisPalListKindactivateVisPalListKindn____V1V2activateV2activaten____X1X2activateX2activaten__isPalListKindXisPalListKindXactivaten__andX1X2andactivateX1X2andttXactivateXactivaten__isPalXisPalXisPalVactivateVisPalVU71isPalListKindactivateVactivateVU71ttVactivateVU71ttVisNePalactivateVisNePalVactivateVisNePalVisPalListKindactivateVisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isNePalVU61isPalListKindactivateVactivateVU61ttVactivateVisNePaln____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__isPalXU71ttVU72isNePalactivateVU72ttttan__aen__ein__ion__oun__u1activate1010nil00U621310n__o00isPal1717isPalListKind1010U7121727isPal1717n__nil00n__e00U7121720n____20102n__a00isNePal1710__201020e00U612102and21020n__isPal1717n__and21020isQid1010activate101isNePal110U72110i00isPalListKind1010a00U61201020n__u00o00u00and21020n__i00n__isPalListKind1010tt00isPalListKindn____V1V2activateV2activaten____X1X2activateX2activaten__isPalListKindXisPalListKindXactivaten__andX1X2andactivateX1X2andttXactivateXactivaten__isPalXisPalXisPalVU71isPalListKindactivateVactivateVU71ttVisNePalactivateVisNePalVisPalListKindactivateVisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isNePalVU61isPalListKindactivateVactivateVU61ttVactivateVisNePaln____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__isPalXU71ttVU72isNePalactivateVU72ttttan__aen__ein__ion__oun__u1activate1010nil00U621110n__o01isPal1414isPalListKind1010U71241420isPal1414n__nil00n__e00U71221120n____20102n__a00isNePal1414__201020e00U6121220and201020n__isPal1414n__and201020isQid1214activate1010isNePal1010U72110i00isPalListKind1010a00U61201020n__u00o01u00and201020n__i00n__isPalListKind1010tt00isPalListKindn____V1V2activateV2activaten____X1X2activateX2activaten__isPalListKindXisPalListKindXactivaten__andX1X2andactivateX1X2andttXactivateXactivaten__isPalXisPalXisPalVU71isPalListKindactivateVactivateVU71ttVisNePalactivateVisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2U61ttVactivateVisNePaln____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__isPalXU71ttVU72isNePalactivateVan__aen__ein__ion__oun__uU72ttttisQidn__attisQidn__ettisQidn__ittisQidn__ottisQidn__uttU61ttVactivateVfalse1isPalVU71isPalListKindactivateVactivateVU71ttVisNePalactivateVisNePaln____In____PIandisQidactivateIn__isPalListKindactivateIandttXactivateXactivaten____X1X2activateX2activaten__isPalListKindXisPalListKindXisPalListKindn____V1V2activateV2activaten__andX1X2andactivateX1X2activaten__isPalXisPalXisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2isNePaln____In____PIandandisQidactivateIn__isPalListKindactivateIn__andn__isPalactivatePn__isPalListKindactivatePtrue1activate1010nil00U621010n__o02isPal1515isPalListKind1010U7121520isPal1515n__nil00n__e00U71241520n____211023n__a00isNePal1010__211023e00U61201020and21020n__isPal1515n__and2102isQid110activate101isNePal1410U721010i01isPalListKind1010a00n__u00o02u00and2102n__i01n__isPalListKind1010tt00isPalVU71isPalListKindactivateVactivateVU71ttVisNePalactivateVandttXactivateXactivaten____X1X2activateX2activaten__isPalListKindXisPalListKindXisPalListKindn____V1V2activateV2activaten__andX1X2andactivateX1X2activaten__isPalXisPalXisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2activaten__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__uisPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2andttXactivateXactivaten____X1X2activateX2activaten__isPalListKindXisPalListKindXisPalListKindn____V1V2activateV2activaten__andX1X2andactivateX1X2true11activate101nil00U621010n__o00isPalListKind1414isPal1010n__nil00n__e02U712120n____20102n__a00__20102e02U6121420and201024n__isPal1010n__and201024isQid115activate101isNePal110U72110i00isPalListKind1414a00n__u00o00u00and20102n__i00n__isPalListKind1414tt00isPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2andttXactivateXactivaten____X1X2activateX2activaten__isPalListKindXisPalListKindXactivaten__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__uU72tttt1activate101nil04U621010n__o04isPalListKind101isPal1010n__nil03n__e00U7121023n____20102n__a01__21120e00U6121020and201020n__isPal1210n__and221120isQid114activate101isNePal1012U721010i00isPalListKind110a00n__u02o00u00and2102n__i00n__isPalListKind110tt06isPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2andttXactivateXactivaten____X1X2activateX2activaten__isPalListKindXisPalListKindX1activate1012nil00U621110n__o03isPalListKind1210isPal115n__nil05n__e02U71231528n____241225n__a00__21121e00U61221524and2122n__isPal110n__and201220isQid1115activate1010isNePal1011U721210i02isPalListKind110a00n__u02o02u00and21020n__i04n__isPalListKind110tt00isPalListKindn____V1V2andisPalListKindactivateV1n__isPalListKindactivateV2andttXactivateXactivaten__isPalListKindXisPalListKindX1activate1110nil02U621010n__o02isPalListKind1411isPal1114n__nil02n__e01U71201124n____211124n__a01__211124e01U61211024and201124n__isPal1114n__and201124isQid1010activate1116isNePal1011U721014i01isPalListKind1417a01n__u05o02u05and211122n__i01n__isPalListKind1411tt04andttXactivateXactivaten__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__uU72ttttandttXactivateXfalse1activaten__isPalListKindXisPalListKindXfalseactivaten__isPalXisPalXfalse1isPalVU71isPalListKindactivateVactivateVfalse1U71ttVisNePalactivateVfalseU71ttVU72isNePalactivateVfalseisNePaln____In____PIisQidactivateIfalseU61ttVU62isQidactivateVfalseU61ttVisQidactivateVfalseactivaten__uufalseactivaten__oofalseactivaten__iifalseactivaten__eefalseactivaten__aafalseactivaten____X1X2__activateX1activateX2false1____XYZ__YZ____XYZ__X__YZtrue____XYZ__YZ2false21true1____XYZ__X__YZ1true1activaten__nilnilfalsettt2ttt2 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])))