/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES active____XYZmark__X__YZactive__XnilmarkXactive__nilXmarkXactiveU11ttVmarkU12isNeListVactiveU12ttmarkttactiveU21ttV1V2markU22isListV1V2activeU22ttV2markU23isListV2activeU23ttmarkttactiveU31ttVmarkU32isQidVactiveU32ttmarkttactiveU41ttV1V2markU42isListV1V2activeU42ttV2markU43isNeListV2activeU43ttmarkttactiveU51ttV1V2markU52isNeListV1V2activeU52ttV2markU53isListV2activeU53ttmarkttactiveU61ttVmarkU62isQidVactiveU62ttmarkttactiveU71ttVmarkU72isNePalVactiveU72ttmarkttactiveandttXmarkXactiveisListVmarkU11isPalListKindVVactiveisListnilmarkttactiveisList__V1V2markU21andisPalListKindV1isPalListKindV2V1V2activeisNeListVmarkU31isPalListKindVVactiveisNeList__V1V2markU41andisPalListKindV1isPalListKindV2V1V2activeisNeList__V1V2markU51andisPalListKindV1isPalListKindV2V1V2activeisNePalVmarkU61isPalListKindVVactiveisNePal__I__PImarkandandisQidIisPalListKindIandisPalPisPalListKindPactiveisPalVmarkU71isPalListKindVVactiveisPalnilmarkttactiveisPalListKindamarkttactiveisPalListKindemarkttactiveisPalListKindimarkttactiveisPalListKindnilmarkttactiveisPalListKindomarkttactiveisPalListKindumarkttactiveisPalListKind__V1V2markandisPalListKindV1isPalListKindV2activeisQidamarkttactiveisQidemarkttactiveisQidimarkttactiveisQidomarkttactiveisQidumarkttactive__X1X2__activeX1X2active__X1X2__X1activeX2activeU11X1X2U11activeX1X2activeU12XU12activeXactiveU21X1X2X3U21activeX1X2X3activeU22X1X2U22activeX1X2activeU23XU23activeXactiveU31X1X2U31activeX1X2activeU32XU32activeXactiveU41X1X2X3U41activeX1X2X3activeU42X1X2U42activeX1X2activeU43XU43activeXactiveU51X1X2X3U51activeX1X2X3activeU52X1X2U52activeX1X2activeU53XU53activeXactiveU61X1X2U61activeX1X2activeU62XU62activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveandX1X2andactiveX1X2__markX1X2mark__X1X2__X1markX2mark__X1X2U11markX1X2markU11X1X2U12markXmarkU12XU21markX1X2X3markU21X1X2X3U22markX1X2markU22X1X2U23markXmarkU23XU31markX1X2markU31X1X2U32markXmarkU32XU41markX1X2X3markU41X1X2X3U42markX1X2markU42X1X2U43markXmarkU43XU51markX1X2X3markU51X1X2X3U52markX1X2markU52X1X2U53markXmarkU53XU61markX1X2markU61X1X2U62markXmarkU62XU71markX1X2markU71X1X2U72markXmarkU72XandmarkX1X2markandX1X2proper__X1X2__properX1properX2properniloknilproperU11X1X2U11properX1properX2properttokttproperU12XU12properXproperisNeListXisNeListproperXproperU21X1X2X3U21properX1properX2properX3properU22X1X2U22properX1properX2properisListXisListproperXproperU23XU23properXproperU31X1X2U31properX1properX2properU32XU32properXproperisQidXisQidproperXproperU41X1X2X3U41properX1properX2properX3properU42X1X2U42properX1properX2properU43XU43properXproperU51X1X2X3U51properX1properX2properX3properU52X1X2U52properX1properX2properU53XU53properXproperU61X1X2U61properX1properX2properU62XU62properXproperU71X1X2U71properX1properX2properU72XU72properXproperisNePalXisNePalproperXproperandX1X2andproperX1properX2properisPalListKindXisPalListKindproperXproperisPalXisPalproperXproperaokapropereokeproperiokiproperookoproperuoku__okX1okX2ok__X1X2U11okX1okX2okU11X1X2U12okXokU12XisNeListokXokisNeListXU21okX1okX2okX3okU21X1X2X3U22okX1okX2okU22X1X2isListokXokisListXU23okXokU23XU31okX1okX2okU31X1X2U32okXokU32XisQidokXokisQidXU41okX1okX2okX3okU41X1X2X3U42okX1okX2okU42X1X2U43okXokU43XU51okX1okX2okX3okU51X1X2X3U52okX1okX2okU52X1X2U53okXokU53XU61okX1okX2okU61X1X2U62okXokU62XU71okX1okX2okU71X1X2U72okXokU72XisNePalokXokisNePalXandokX1okX2okandX1X2isPalListKindokXokisPalListKindXisPalokXokisPalXtopmarkXtopproperXtopokXtopactiveX2.1active____XYZ__YZactive____XYZ__X__YZactiveU11ttVisNeListVactiveU11ttVU12isNeListVactiveU21ttV1V2isListV1activeU21ttV1V2U22isListV1V2activeU22ttV2isListV2activeU22ttV2U23isListV2activeU31ttVisQidVactiveU31ttVU32isQidVactiveU41ttV1V2isListV1activeU41ttV1V2U42isListV1V2activeU42ttV2isNeListV2activeU42ttV2U43isNeListV2activeU51ttV1V2isNeListV1activeU51ttV1V2U52isNeListV1V2activeU52ttV2isListV2activeU52ttV2U53isListV2activeU61ttVisQidVactiveU61ttVU62isQidVactiveU71ttVisNePalVactiveU71ttVU72isNePalVactiveisListVisPalListKindVactiveisListVU11isPalListKindVVactiveisList__V1V2isPalListKindV2activeisList__V1V2isPalListKindV1activeisList__V1V2andisPalListKindV1isPalListKindV2activeisList__V1V2U21andisPalListKindV1isPalListKindV2V1V2activeisNeListVisPalListKindVactiveisNeListVU31isPalListKindVVactiveisNeList__V1V2isPalListKindV2activeisNeList__V1V2isPalListKindV1activeisNeList__V1V2andisPalListKindV1isPalListKindV2activeisNeList__V1V2U41andisPalListKindV1isPalListKindV2V1V2activeisNeList__V1V2U51andisPalListKindV1isPalListKindV2V1V2activeisNePalVisPalListKindVactiveisNePalVU61isPalListKindVVactiveisNePal__I__PIisPalListKindPactiveisNePal__I__PIisPalPactiveisNePal__I__PIandisPalPisPalListKindPactiveisNePal__I__PIisPalListKindIactiveisNePal__I__PIisQidIactiveisNePal__I__PIandisQidIisPalListKindIactiveisNePal__I__PIandandisQidIisPalListKindIandisPalPisPalListKindPactiveisPalVisPalListKindVactiveisPalVU71isPalListKindVVactiveisPalListKind__V1V2isPalListKindV2activeisPalListKind__V1V2isPalListKindV1activeisPalListKind__V1V2andisPalListKindV1isPalListKindV2active__X1X2activeX1active__X1X2__activeX1X2active__X1X2activeX2active__X1X2__X1activeX2activeU11X1X2activeX1activeU11X1X2U11activeX1X2activeU12XactiveXactiveU12XU12activeXactiveU21X1X2X3activeX1activeU21X1X2X3U21activeX1X2X3activeU22X1X2activeX1activeU22X1X2U22activeX1X2activeU23XactiveXactiveU23XU23activeXactiveU31X1X2activeX1activeU31X1X2U31activeX1X2activeU32XactiveXactiveU32XU32activeXactiveU41X1X2X3activeX1activeU41X1X2X3U41activeX1X2X3activeU42X1X2activeX1activeU42X1X2U42activeX1X2activeU43XactiveXactiveU43XU43activeXactiveU51X1X2X3activeX1activeU51X1X2X3U51activeX1X2X3activeU52X1X2activeX1activeU52X1X2U52activeX1X2activeU53XactiveXactiveU53XU53activeXactiveU61X1X2activeX1activeU61X1X2U61activeX1X2activeU62XactiveXactiveU62XU62activeXactiveU71X1X2activeX1activeU71X1X2U71activeX1X2activeU72XactiveXactiveU72XU72activeXactiveandX1X2activeX1activeandX1X2andactiveX1X2__markX1X2__X1X2__X1markX2__X1X2U11markX1X2U11X1X2U12markXU12XU21markX1X2X3U21X1X2X3U22markX1X2U22X1X2U23markXU23XU31markX1X2U31X1X2U32markXU32XU41markX1X2X3U41X1X2X3U42markX1X2U42X1X2U43markXU43XU51markX1X2X3U51X1X2X3U52markX1X2U52X1X2U53markXU53XU61markX1X2U61X1X2U62markXU62XU71markX1X2U71X1X2U72markXU72XandmarkX1X2andX1X2proper__X1X2properX2proper__X1X2properX1proper__X1X2__properX1properX2properU11X1X2properX2properU11X1X2properX1properU11X1X2U11properX1properX2properU12XproperXproperU12XU12properXproperisNeListXproperXproperisNeListXisNeListproperXproperU21X1X2X3properX3properU21X1X2X3properX2properU21X1X2X3properX1properU21X1X2X3U21properX1properX2properX3properU22X1X2properX2properU22X1X2properX1properU22X1X2U22properX1properX2properisListXproperXproperisListXisListproperXproperU23XproperXproperU23XU23properXproperU31X1X2properX2properU31X1X2properX1properU31X1X2U31properX1properX2properU32XproperXproperU32XU32properXproperisQidXproperXproperisQidXisQidproperXproperU41X1X2X3properX3properU41X1X2X3properX2properU41X1X2X3properX1properU41X1X2X3U41properX1properX2properX3properU42X1X2properX2properU42X1X2properX1properU42X1X2U42properX1properX2properU43XproperXproperU43XU43properXproperU51X1X2X3properX3properU51X1X2X3properX2properU51X1X2X3properX1properU51X1X2X3U51properX1properX2properX3properU52X1X2properX2properU52X1X2properX1properU52X1X2U52properX1properX2properU53XproperXproperU53XU53properXproperU61X1X2properX2properU61X1X2properX1properU61X1X2U61properX1properX2properU62XproperXproperU62XU62properXproperU71X1X2properX2properU71X1X2properX1properU71X1X2U71properX1properX2properU72XproperXproperU72XU72properXproperisNePalXproperXproperisNePalXisNePalproperXproperandX1X2properX2properandX1X2properX1properandX1X2andproperX1properX2properisPalListKindXproperXproperisPalListKindXisPalListKindproperXproperisPalXproperXproperisPalXisPalproperX__okX1okX2__X1X2U11okX1okX2U11X1X2U12okXU12XisNeListokXisNeListXU21okX1okX2okX3U21X1X2X3U22okX1okX2U22X1X2isListokXisListXU23okXU23XU31okX1okX2U31X1X2U32okXU32XisQidokXisQidXU41okX1okX2okX3U41X1X2X3U42okX1okX2U42X1X2U43okXU43XU51okX1okX2okX3U51X1X2X3U52okX1okX2U52X1X2U53okXU53XU61okX1okX2U61X1X2U62okXU62XU71okX1okX2U71X1X2U72okXU72XisNePalokXisNePalXandokX1okX2andX1X2isPalListKindokXisPalListKindXisPalokXisPalXtopmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtrue172top10ok10proper10u05o01i01e01a01isPal116isPalListKind10and21U7212isNePal18U71210U6211U6124U5311U5226U5138U4318U4229U41316U3211isQid10U3122U2311U2228isList15U2139U1211isNeList13U1124tt00nil032mark10active10__227top11ok11proper11u0o0i0e0a0isPal11isPalListKind11and212U7211isNePal11U71212U6211U61212U5311U52212U513123U4311U42212U413123U3211isQid11U31212U2311U22212isList11U213123U1211isNeList11U11212tt0nil0mark11active11__212topokXtopactiveXactive____XYZmark__X__YZactive__XnilmarkXactive__nilXmarkXactiveU11ttVmarkU12isNeListVactiveU12ttmarkttactiveU21ttV1V2markU22isListV1V2activeU22ttV2markU23isListV2activeU23ttmarkttactiveU31ttVmarkU32isQidVactiveU32ttmarkttactiveU41ttV1V2markU42isListV1V2activeU42ttV2markU43isNeListV2activeU43ttmarkttactiveU51ttV1V2markU52isNeListV1V2activeU52ttV2markU53isListV2activeU53ttmarkttactiveU61ttVmarkU62isQidVactiveU62ttmarkttactiveU71ttVmarkU72isNePalVactiveU72ttmarkttactiveandttXmarkXactiveisListVmarkU11isPalListKindVVactiveisListnilmarkttactiveisList__V1V2markU21andisPalListKindV1isPalListKindV2V1V2activeisNeListVmarkU31isPalListKindVVactiveisNeList__V1V2markU41andisPalListKindV1isPalListKindV2V1V2activeisNeList__V1V2markU51andisPalListKindV1isPalListKindV2V1V2activeisNePalVmarkU61isPalListKindVVactiveisNePal__I__PImarkandandisQidIisPalListKindIandisPalPisPalListKindPactiveisPalVmarkU71isPalListKindVVactiveisPalnilmarkttactiveisPalListKindamarkttactiveisPalListKindemarkttactiveisPalListKindimarkttactiveisPalListKindnilmarkttactiveisPalListKindomarkttactiveisPalListKindumarkttactiveisPalListKind__V1V2markandisPalListKindV1isPalListKindV2activeisQidamarkttactiveisQidemarkttactiveisQidimarkttactiveisQidomarkttactiveisQidumarkttactive__X1X2__activeX1X2active__X1X2__X1activeX2activeU11X1X2U11activeX1X2activeU12XU12activeXactiveU21X1X2X3U21activeX1X2X3activeU22X1X2U22activeX1X2activeU23XU23activeXactiveU31X1X2U31activeX1X2activeU32XU32activeXactiveU41X1X2X3U41activeX1X2X3activeU42X1X2U42activeX1X2activeU43XU43activeXactiveU51X1X2X3U51activeX1X2X3activeU52X1X2U52activeX1X2activeU53XU53activeXactiveU61X1X2U61activeX1X2activeU62XU62activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveandX1X2andactiveX1X2__markX1X2mark__X1X2__X1markX2mark__X1X2__okX1okX2ok__X1X2isNeListokXokisNeListXU12markXmarkU12XU12okXokU12XisListokXokisListXU22markX1X2markU22X1X2U22okX1okX2okU22X1X2U23markXmarkU23XU23okXokU23XisQidokXokisQidXU32markXmarkU32XU32okXokU32XU42markX1X2markU42X1X2U42okX1okX2okU42X1X2U43markXmarkU43XU43okXokU43XU52markX1X2markU52X1X2U52okX1okX2okU52X1X2U53markXmarkU53XU53okXokU53XU62markXmarkU62XU62okXokU62XisNePalokXokisNePalXU72markXmarkU72XU72okXokU72XisPalListKindokXokisPalListKindXU11markX1X2markU11X1X2U11okX1okX2okU11X1X2andmarkX1X2markandX1X2andokX1okX2okandX1X2U21markX1X2X3markU21X1X2X3U21okX1okX2okX3okU21X1X2X3U31markX1X2markU31X1X2U31okX1okX2okU31X1X2U41markX1X2X3markU41X1X2X3U41okX1okX2okX3okU41X1X2X3U51markX1X2X3markU51X1X2X3U51okX1okX2okX3okU51X1X2X3U61markX1X2markU61X1X2U61okX1okX2okU61X1X2isPalokXokisPalXU71markX1X2markU71X1X2U71okX1okX2okU71X1X2proper__X1X2__properX1properX2properniloknilproperU11X1X2U11properX1properX2properttokttproperU12XU12properXproperisNeListXisNeListproperXproperU21X1X2X3U21properX1properX2properX3properU22X1X2U22properX1properX2properisListXisListproperXproperU23XU23properXproperU31X1X2U31properX1properX2properU32XU32properXproperisQidXisQidproperXproperU41X1X2X3U41properX1properX2properX3properU42X1X2U42properX1properX2properU43XU43properXproperU51X1X2X3U51properX1properX2properX3properU52X1X2U52properX1properX2properU53XU53properXproperU61X1X2U61properX1properX2properU62XU62properXproperU71X1X2U71properX1properX2properU72XU72properXproperisNePalXisNePalproperXproperandX1X2andproperX1properX2properisPalListKindXisPalListKindproperXproperisPalXisPalproperXproperaokapropereokeproperiokiproperookoproperuokutop10ok10u00o00i00e00a01isPal132isPalListKind11and20U72134isNePal11U7121U6210U6120U5315U5220U5131U4310U4221U4131U3211isQid11U3120U2311U2221isList11U21333U1211isNeList11U1121tt02nil00mark10active10__21top11ok11u0o0i0e0a0isPal1isPalListKind11and21U7211isNePal1U7122U6211U6121U5311U5221U5131U4311U4221U4131U3211isQid11U3121U2311U2221isList1U2133U1211isNeList11U1121tt0nil0mark1active11__21active____XYZmark__X__YZactive__XnilmarkXactive__nilXmarkXactiveU11ttVmarkU12isNeListVactiveU12ttmarkttactiveU21ttV1V2markU22isListV1V2activeU22ttV2markU23isListV2activeU23ttmarkttactiveU31ttVmarkU32isQidVactiveU32ttmarkttactiveU41ttV1V2markU42isListV1V2activeU42ttV2markU43isNeListV2activeU43ttmarkttactiveU51ttV1V2markU52isNeListV1V2activeU52ttV2markU53isListV2activeU53ttmarkttactiveU61ttVmarkU62isQidVactiveU62ttmarkttactiveU71ttVmarkU72isNePalVactiveU72ttmarkttactiveandttXmarkXactiveisListVmarkU11isPalListKindVVactiveisListnilmarkttactiveisList__V1V2markU21andisPalListKindV1isPalListKindV2V1V2activeisNeListVmarkU31isPalListKindVVactiveisNeList__V1V2markU41andisPalListKindV1isPalListKindV2V1V2activeisNeList__V1V2markU51andisPalListKindV1isPalListKindV2V1V2activeisNePalVmarkU61isPalListKindVVactiveisNePal__I__PImarkandandisQidIisPalListKindIandisPalPisPalListKindPactiveisPalVmarkU71isPalListKindVVactiveisPalnilmarkttactiveisPalListKindamarkttactiveisPalListKindemarkttactiveisPalListKindimarkttactiveisPalListKindnilmarkttactiveisPalListKindomarkttactiveisPalListKindumarkttactiveisPalListKind__V1V2markandisPalListKindV1isPalListKindV2activeisQidamarkttactiveisQidemarkttactiveisQidimarkttactiveisQidomarkttactiveisQidumarkttactive__X1X2__activeX1X2active__X1X2__X1activeX2activeU11X1X2U11activeX1X2activeU12XU12activeXactiveU21X1X2X3U21activeX1X2X3activeU22X1X2U22activeX1X2activeU23XU23activeXactiveU31X1X2U31activeX1X2activeU32XU32activeXactiveU41X1X2X3U41activeX1X2X3activeU42X1X2U42activeX1X2activeU43XU43activeXactiveU51X1X2X3U51activeX1X2X3activeU52X1X2U52activeX1X2activeU53XU53activeXactiveU61X1X2U61activeX1X2activeU62XU62activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveandX1X2andactiveX1X2__markX1X2mark__X1X2__X1markX2mark__X1X2__okX1okX2ok__X1X2U12markXmarkU12XU12okXokU12XU22markX1X2markU22X1X2U22okX1okX2okU22X1X2U23markXmarkU23XU23okXokU23XU32markXmarkU32XU32okXokU32XU42markX1X2markU42X1X2U42okX1okX2okU42X1X2U43markXmarkU43XU43okXokU43XU52markX1X2markU52X1X2U52okX1okX2okU52X1X2U53markXmarkU53XU53okXokU53XU62markXmarkU62XU62okXokU62XU72markXmarkU72XU72okXokU72XU11markX1X2markU11X1X2U11okX1okX2okU11X1X2andmarkX1X2markandX1X2andokX1okX2okandX1X2U21markX1X2X3markU21X1X2X3U21okX1okX2okX3okU21X1X2X3U31markX1X2markU31X1X2U31okX1okX2okU31X1X2U41markX1X2X3markU41X1X2X3U41okX1okX2okX3okU41X1X2X3U51markX1X2X3markU51X1X2X3U51okX1okX2okX3okU51X1X2X3U61markX1X2markU61X1X2U61okX1okX2okU61X1X2U71markX1X2markU71X1X2U71okX1okX2okU71X1X2topokXactiveXfalse12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970active__X1X2activeX1active__X1X2activeX2activeU11X1X2activeX1activeU12XactiveXactiveU21X1X2X3activeX1activeU22X1X2activeX1activeU23XactiveXactiveU31X1X2activeX1activeU32XactiveXactiveU41X1X2X3activeX1activeU42X1X2activeX1activeU43XactiveXactiveU51X1X2X3activeX1activeU52X1X2activeX1activeU53XactiveXactiveU61X1X2activeX1activeU62XactiveXactiveU71X1X2activeX1activeU72XactiveXactiveandX1X2activeX1true123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869active11activeandX1X2andactiveX1X2false76activeU72XU72activeXfalse79activeU71X1X2U71activeX1X2false80activeU62XU62activeXfalse81activeU61X1X2U61activeX1X2false82activeU53XU53activeXfalse83activeU52X1X2U52activeX1X2false84activeU51X1X2X3U51activeX1X2X3false85activeU43XU43activeXfalse86activeU42X1X2U42activeX1X2false87activeU41X1X2X3U41activeX1X2X3false88activeU32XU32activeXfalse91activeU31X1X2U31activeX1X2false92activeU23XU23activeXfalse93activeU22X1X2U22activeX1X2false96activeU21X1X2X3U21activeX1X2X3false97activeU12XU12activeXfalse100activeU11X1X2U11activeX1X2false101active__X1X2__X1activeX2false102active__X1X2__activeX1X2false101activeisPalListKind__V1V2andisPalListKindV1isPalListKindV2false56activeisPalListKind__V1V2isPalListKindV1false53activeisPalListKind__V1V2isPalListKindV2false52activeisPalVU71isPalListKindVVfalse59activeisPalVisPalListKindVfalse50activeisNePal__I__PIandandisQidIisPalListKindIandisPalPisPalListKindPfalse51activeisNePal__I__PIandisQidIisPalListKindIfalse50activeisNePal__I__PIisQidIfalse73activeisNePal__I__PIisPalListKindIfalse46activeisNePal__I__PIandisPalPisPalListKindPfalse47activeisNePal__I__PIisPalPfalse42activeisNePal__I__PIisPalListKindPfalse43activeisNePalVU61isPalListKindVVfalse54activeisNePalVisPalListKindVfalse41activeisNeList__V1V2U51andisPalListKindV1isPalListKindV2V1V2false58activeisNeList__V1V2U41andisPalListKindV1isPalListKindV2V1V2false63activeisNeList__V1V2andisPalListKindV1isPalListKindV2false40activeisNeList__V1V2isPalListKindV1false37activeisNeList__V1V2isPalListKindV2false36activeisNeListVU31isPalListKindVVfalse65activeisNeListVisPalListKindVfalse34activeisList__V1V2U21andisPalListKindV1isPalListKindV2V1V2false71activeisList__V1V2andisPalListKindV1isPalListKindV2false34activeisList__V1V2isPalListKindV1false31activeisList__V1V2isPalListKindV2false30activeisListVU11isPalListKindVVfalse73activeisListVisPalListKindVfalse28activeU71ttVU72isNePalVfalse33activeU71ttVisNePalVfalse30activeU61ttVU62isQidVfalse35activeU61ttVisQidVfalse50activeU52ttV2U53isListV2false37activeU52ttV2isListV2false56activeU51ttV1V2U52isNeListV1V2false37activeU51ttV1V2isNeListV1false60activeU42ttV2U43isNeListV2false39activeU42ttV2isNeListV2false58activeU41ttV1V2U42isListV1V2false39activeU41ttV1V2isListV1false50activeU31ttVU32isQidVfalse43activeU31ttVisQidVfalse40activeU22ttV2U23isListV2false45activeU22ttV2isListV2false46activeU21ttV1V2U22isListV1V2false47activeU21ttV1V2isListV1false44activeU11ttVU12isNeListVfalse51activeU11ttVisNeListVfalse48active____XYZ__X__YZfalse53active____XYZ__YZfalse52topmarkXproperXfalse12468101214161820222426283032343638404244464850proper__X1X2properX2proper__X1X2properX1properU11X1X2properX2properU11X1X2properX1properU12XproperXproperisNeListXproperXproperU21X1X2X3properX3properU21X1X2X3properX2properU21X1X2X3properX1properU22X1X2properX2properU22X1X2properX1properisListXproperXproperU23XproperXproperU31X1X2properX2properU31X1X2properX1properU32XproperXproperisQidXproperXproperU41X1X2X3properX3properU41X1X2X3properX2properU41X1X2X3properX1properU42X1X2properX2properU42X1X2properX1properU43XproperXproperU51X1X2X3properX3properU51X1X2X3properX2properU51X1X2X3properX1properU52X1X2properX2properU52X1X2properX1properU53XproperXproperU61X1X2properX2properU61X1X2properX1properU62XproperXproperU71X1X2properX2properU71X1X2properX1properU72XproperXproperisNePalXproperXproperandX1X2properX2properandX1X2properX1properisPalListKindXproperXproperisPalXproperXtrue135791113151719212325272931333537394143454749proper11properisPalXisPalproperXfalse1isPalokXisPalXtrueisPalokXisPalX1true1properisPalListKindXisPalListKindproperXfalse1isPalListKindokXisPalListKindXtrueisPalListKindokXisPalListKindX1true1properandX1X2andproperX1properX2false1andmarkX1X2andX1X2andokX1okX2andX1X2trueandmarkX1X2andX1X22false21true1andokX1okX2andX1X22true21true1properisNePalXisNePalproperXfalse1isNePalokXisNePalXtrueisNePalokXisNePalX1true1properU72XU72properXfalse1U72markXU72XU72okXU72XtrueU72markXU72X1true1U72okXU72X1true1properU71X1X2U71properX1properX2false1U71markX1X2U71X1X2U71okX1okX2U71X1X2trueU71markX1X2U71X1X22false21true1U71okX1okX2U71X1X22true21true1properU62XU62properXfalse1U62markXU62XU62okXU62XtrueU62markXU62X1true1U62okXU62X1true1properU61X1X2U61properX1properX2false1U61markX1X2U61X1X2U61okX1okX2U61X1X2trueU61markX1X2U61X1X22false21true1U61okX1okX2U61X1X22true21true1properU53XU53properXfalse1U53markXU53XU53okXU53XtrueU53markXU53X1true1U53okXU53X1true1properU52X1X2U52properX1properX2false1U52markX1X2U52X1X2U52okX1okX2U52X1X2trueU52markX1X2U52X1X22false21true1U52okX1okX2U52X1X22true21true1properU51X1X2X3U51properX1properX2properX3false1U51markX1X2X3U51X1X2X3U51okX1okX2okX3U51X1X2X3trueU51markX1X2X3U51X1X2X33false32false21true1U51okX1okX2okX3U51X1X2X33true32true21true1properU43XU43properXfalse1U43markXU43XU43okXU43XtrueU43markXU43X1true1U43okXU43X1true1properU42X1X2U42properX1properX2false1U42markX1X2U42X1X2U42okX1okX2U42X1X2trueU42markX1X2U42X1X22false21true1U42okX1okX2U42X1X22true21true1properU41X1X2X3U41properX1properX2properX3false1U41markX1X2X3U41X1X2X3U41okX1okX2okX3U41X1X2X3trueU41markX1X2X3U41X1X2X33false32false21true1U41okX1okX2okX3U41X1X2X33true32true21true1properisQidXisQidproperXfalse1isQidokXisQidXtrueisQidokXisQidX1true1properU32XU32properXfalse1U32markXU32XU32okXU32XtrueU32markXU32X1true1U32okXU32X1true1properU31X1X2U31properX1properX2false1U31markX1X2U31X1X2U31okX1okX2U31X1X2trueU31markX1X2U31X1X22false21true1U31okX1okX2U31X1X22true21true1properU23XU23properXfalse1U23markXU23XU23okXU23XtrueU23markXU23X1true1U23okXU23X1true1properisListXisListproperXfalse1isListokXisListXtrueisListokXisListX1true1properU22X1X2U22properX1properX2false1U22markX1X2U22X1X2U22okX1okX2U22X1X2trueU22markX1X2U22X1X22false21true1U22okX1okX2U22X1X22true21true1properU21X1X2X3U21properX1properX2properX3false1U21markX1X2X3U21X1X2X3U21okX1okX2okX3U21X1X2X3trueU21markX1X2X3U21X1X2X33false32false21true1U21okX1okX2okX3U21X1X2X33true32true21true1properisNeListXisNeListproperXfalse1isNeListokXisNeListXtrueisNeListokXisNeListX1true1properU12XU12properXfalse1U12markXU12XU12okXU12XtrueU12markXU12X1true1U12okXU12X1true1properU11X1X2U11properX1properX2false1U11markX1X2U11X1X2U11okX1okX2U11X1X2trueU11markX1X2U11X1X22false21true1U11okX1okX2U11X1X22true21true1proper__X1X2__properX1properX2false1__markX1X2__X1X2__X1markX2__X1X2__okX1okX2__X1X2true__markX1X2__X1X22false21true1__X1markX2__X1X22true21false1__okX1okX2__X1X22true21true1ttt2ttt2 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])))