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.1__219nil020U1126tt01isNeList15U2139U2228isList17U3123isQid12U41311U42210U4310U51313U52212U61215U62114U71217isNePal117and216isPalListKind14isPal118a021e01i022o023u024active11__212mark11nil0U11212tt0U1211isNeList11U213123U22212isList11U2311U31212U3211isQid11U413231U42212U4311U513123U52212U5311U61221U6211U71221U7211isNePal11and212isPalListKind11isPal11a0e0i0o0u0proper11ok11top11activeU12ttmarkttactiveU23ttmarkttactiveU32ttmarkttactiveU53ttmarkttactiveU72ttmarkttactive__X1X2__activeX1X2active__X1X2__X1activeX2activeU11X1X2U11activeX1X2activeU12XU12activeXactiveU21X1X2X3U21activeX1X2X3activeU22X1X2U22activeX1X2activeU23XU23activeXactiveU31X1X2U31activeX1X2activeU32XU32activeXactiveU41X1X2X3U41activeX1X2X3activeU42X1X2U42activeX1X2activeU43XU43activeXactiveU51X1X2X3U51activeX1X2X3activeU52X1X2U52activeX1X2activeU53XU53activeXactiveU61X1X2U61activeX1X2activeU62XU62activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveandX1X2andactiveX1X2__markX1X2mark__X1X2__X1markX2mark__X1X2U11markX1X2markU11X1X2U12markXmarkU12XU21markX1X2X3markU21X1X2X3U22markX1X2markU22X1X2U23markXmarkU23XU31markX1X2markU31X1X2U32markXmarkU32XU41markX1X2X3markU41X1X2X3U42markX1X2markU42X1X2U43markXmarkU43XU51markX1X2X3markU51X1X2X3U52markX1X2markU52X1X2U53markXmarkU53XU61markX1X2markU61X1X2U62markXmarkU62XU71markX1X2markU71X1X2U72markXmarkU72XandmarkX1X2markandX1X2proper__X1X2__properX1properX2properniloknilproperU11X1X2U11properX1properX2properttokttproperU12XU12properXproperisNeListXisNeListproperXproperU21X1X2X3U21properX1properX2properX3properU22X1X2U22properX1properX2properisListXisListproperXproperU23XU23properXproperU31X1X2U31properX1properX2properU32XU32properXproperisQidXisQidproperXproperU41X1X2X3U41properX1properX2properX3properU42X1X2U42properX1properX2properU43XU43properXproperU51X1X2X3U51properX1properX2properX3properU52X1X2U52properX1properX2properU53XU53properXproperU61X1X2U61properX1properX2properU62XU62properXproperU71X1X2U71properX1properX2properU72XU72properXproperisNePalXisNePalproperXproperandX1X2andproperX1properX2properisPalListKindXisPalListKindproperXproperisPalXisPalproperXproperaokapropereokeproperiokiproperookoproperuoku__okX1okX2ok__X1X2U11okX1okX2okU11X1X2U12okXokU12XisNeListokXokisNeListXU21okX1okX2okX3okU21X1X2X3U22okX1okX2okU22X1X2isListokXokisListXU23okXokU23XU31okX1okX2okU31X1X2U32okXokU32XisQidokXokisQidXU41okX1okX2okX3okU41X1X2X3U42okX1okX2okU42X1X2U43okXokU43XU51okX1okX2okX3okU51X1X2X3U52okX1okX2okU52X1X2U53okXokU53XU61okX1okX2okU61X1X2U62okXokU62XU71okX1okX2okU71X1X2U72okXokU72XisNePalokXokisNePalXandokX1okX2okandX1X2isPalListKindokXokisPalListKindXisPalokXokisPalXtopmarkXtopproperXtopokXtopactiveX1active111U121111tt00mark111U23121U32121U53121U72121__21122U1122112U213211223U2221112U3122112U413211223U4221112U43121U513111223U5221122U6122122U62111U7121112and22122proper111nil00ok111isNeList111isList111isQid111isNePal111isPalListKind111isPal111a00e00i00o00u00top121activeU23ttmarkttactiveU32ttmarkttactiveU53ttmarkttactiveU72ttmarkttactive__X1X2__activeX1X2active__X1X2__X1activeX2activeU11X1X2U11activeX1X2activeU12XU12activeXactiveU21X1X2X3U21activeX1X2X3activeU22X1X2U22activeX1X2activeU23XU23activeXactiveU31X1X2U31activeX1X2activeU32XU32activeXactiveU41X1X2X3U41activeX1X2X3activeU42X1X2U42activeX1X2activeU43XU43activeXactiveU51X1X2X3U51activeX1X2X3activeU52X1X2U52activeX1X2activeU53XU53activeXactiveU61X1X2U61activeX1X2activeU62XU62activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveandX1X2andactiveX1X2__markX1X2mark__X1X2__X1markX2mark__X1X2U11markX1X2markU11X1X2U12markXmarkU12XU21markX1X2X3markU21X1X2X3U22markX1X2markU22X1X2U23markXmarkU23XU31markX1X2markU31X1X2U32markXmarkU32XU41markX1X2X3markU41X1X2X3U42markX1X2markU42X1X2U43markXmarkU43XU51markX1X2X3markU51X1X2X3U52markX1X2markU52X1X2U53markXmarkU53XU61markX1X2markU61X1X2U62markXmarkU62XU71markX1X2markU71X1X2U72markXmarkU72XandmarkX1X2markandX1X2proper__X1X2__properX1properX2properniloknilproperU11X1X2U11properX1properX2properttokttproperU12XU12properXproperisNeListXisNeListproperXproperU21X1X2X3U21properX1properX2properX3properU22X1X2U22properX1properX2properisListXisListproperXproperU23XU23properXproperU31X1X2U31properX1properX2properU32XU32properXproperisQidXisQidproperXproperU41X1X2X3U41properX1properX2properX3properU42X1X2U42properX1properX2properU43XU43properXproperU51X1X2X3U51properX1properX2properX3properU52X1X2U52properX1properX2properU53XU53properXproperU61X1X2U61properX1properX2properU62XU62properXproperU71X1X2U71properX1properX2properU72XU72properXproperisNePalXisNePalproperXproperandX1X2andproperX1properX2properisPalListKindXisPalListKindproperXproperisPalXisPalproperXproperaokapropereokeproperiokiproperookoproperuoku__okX1okX2ok__X1X2U11okX1okX2okU11X1X2U12okXokU12XisNeListokXokisNeListXU21okX1okX2okX3okU21X1X2X3U22okX1okX2okU22X1X2isListokXokisListXU23okXokU23XU31okX1okX2okU31X1X2U32okXokU32XisQidokXokisQidXU41okX1okX2okX3okU41X1X2X3U42okX1okX2okU42X1X2U43okXokU43XU51okX1okX2okX3okU51X1X2X3U52okX1okX2okU52X1X2U53okXokU53XU61okX1okX2okU61X1X2U62okXokU62XU71okX1okX2okU71X1X2U72okXokU72XisNePalokXokisNePalXandokX1okX2okandX1X2isPalListKindokXokisPalListKindXisPalokXokisPalXtopmarkXtopproperXtopokXtopactiveX1active111U231221tt00mark1111U321111U531121U721221__22122U1122122U12121U213212223U2222112U3122112U413211223U4221122U43121U513211223U5222122U6122122U62121U7122112and22122proper111nil00ok111isNeList111isList111isQid111isNePal111isPalListKind121isPal111a00e00i00o00u00top111activeU32ttmarkttactiveU53ttmarkttactive__X1X2__activeX1X2active__X1X2__X1activeX2activeU11X1X2U11activeX1X2activeU12XU12activeXactiveU21X1X2X3U21activeX1X2X3activeU22X1X2U22activeX1X2activeU23XU23activeXactiveU31X1X2U31activeX1X2activeU32XU32activeXactiveU41X1X2X3U41activeX1X2X3activeU42X1X2U42activeX1X2activeU43XU43activeXactiveU51X1X2X3U51activeX1X2X3activeU52X1X2U52activeX1X2activeU53XU53activeXactiveU61X1X2U61activeX1X2activeU62XU62activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveandX1X2andactiveX1X2U32markXmarkU32XU42markX1X2markU42X1X2proper__X1X2__properX1properX2properniloknilproperU11X1X2U11properX1properX2properttokttproperU12XU12properXproperisNeListXisNeListproperXproperU21X1X2X3U21properX1properX2properX3properU22X1X2U22properX1properX2properisListXisListproperXproperU23XU23properXproperU31X1X2U31properX1properX2properU32XU32properXproperisQidXisQidproperXproperU41X1X2X3U41properX1properX2properX3properU42X1X2U42properX1properX2properU43XU43properXproperU51X1X2X3U51properX1properX2properX3properU52X1X2U52properX1properX2properU53XU53properXproperU61X1X2U61properX1properX2properU62XU62properXproperU71X1X2U71properX1properX2properU72XU72properXproperisNePalXisNePalproperXproperandX1X2andproperX1properX2properisPalListKindXisPalListKindproperXproperisPalXisPalproperXproperaokapropereokeproperiokiproperookoproperuoku__okX1okX2ok__X1X2U11okX1okX2okU11X1X2U12okXokU12XisNeListokXokisNeListXU21okX1okX2okX3okU21X1X2X3U22okX1okX2okU22X1X2isListokXokisListXU23okXokU23XU31okX1okX2okU31X1X2U32okXokU32XisQidokXokisQidXU41okX1okX2okX3okU41X1X2X3U42okX1okX2okU42X1X2U43okXokU43XU51okX1okX2okX3okU51X1X2X3U52okX1okX2okU52X1X2U53okXokU53XU61okX1okX2okU61X1X2U62okXokU62XU71okX1okX2okU71X1X2U72okXokU72XisNePalokXokisNePalXandokX1okX2okandX1X2isPalListKindokXokisPalListKindXisPalokXokisPalXtopokXtopactiveX1active121U32121tt01mark1211U53121__22122U1121122U12121U213112223U2221112U23121U3122122U413112213U4222112U43111U513211223U5222112U6121112U62121U7121112U72121and22112proper121nil00ok121isNeList121isList111isQid111isNePal121isPalListKind121isPal121a00e00i00o00u00top121active__X1X2__activeX1X2active__X1X2__X1activeX2activeU11X1X2U11activeX1X2activeU12XU12activeXactiveU21X1X2X3U21activeX1X2X3activeU22X1X2U22activeX1X2activeU23XU23activeXactiveU31X1X2U31activeX1X2activeU32XU32activeXactiveU41X1X2X3U41activeX1X2X3activeU42X1X2U42activeX1X2activeU43XU43activeXactiveU51X1X2X3U51activeX1X2X3activeU52X1X2U52activeX1X2activeU53XU53activeXactiveU61X1X2U61activeX1X2activeU62XU62activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveandX1X2andactiveX1X2proper__X1X2__properX1properX2properniloknilproperU11X1X2U11properX1properX2properttokttproperU12XU12properXproperisNeListXisNeListproperXproperU21X1X2X3U21properX1properX2properX3properU22X1X2U22properX1properX2properisListXisListproperXproperU23XU23properXproperU31X1X2U31properX1properX2properU32XU32properXproperisQidXisQidproperXproperU41X1X2X3U41properX1properX2properX3properU42X1X2U42properX1properX2properU43XU43properXproperU51X1X2X3U51properX1properX2properX3properU52X1X2U52properX1properX2properU53XU53properXproperU61X1X2U61properX1properX2properU62XU62properXproperU71X1X2U71properX1properX2properU72XU72properXproperisNePalXisNePalproperXproperandX1X2andproperX1properX2properisPalListKindXisPalListKindproperXproperisPalXisPalproperXproperaokapropereokeproperiokiproperookoproperuoku__okX1okX2ok__X1X2U11okX1okX2okU11X1X2U12okXokU12XisNeListokXokisNeListXU21okX1okX2okX3okU21X1X2X3U22okX1okX2okU22X1X2isListokXokisListXU23okXokU23XU31okX1okX2okU31X1X2U32okXokU32XisQidokXokisQidXU41okX1okX2okX3okU41X1X2X3U42okX1okX2okU42X1X2U43okXokU43XU51okX1okX2okX3okU51X1X2X3U52okX1okX2okU52X1X2U53okXokU53XU61okX1okX2okU61X1X2U62okXokU62XU71okX1okX2okU71X1X2U72okXokU72XisNePalokXokisNePalXandokX1okX2okandX1X2isPalListKindokXokisPalListKindXisPalokXokisPalXtopokXtopactiveX1active111__22122U1122122U12111U213112213U2222122U23121U3122122U32111U413112213U4222122U43111U513211213U5222112U53121U6122122U621121U7121112U72111and22122proper121nil01ok111tt01isNeList121isList1111isQid111isNePal121isPalListKind111isPal121a01e01i00o00u00top111active__X1X2__activeX1X2active__X1X2__X1activeX2activeU11X1X2U11activeX1X2activeU12XU12activeXactiveU21X1X2X3U21activeX1X2X3activeU22X1X2U22activeX1X2activeU23XU23activeXactiveU31X1X2U31activeX1X2activeU32XU32activeXactiveU41X1X2X3U41activeX1X2X3activeU42X1X2U42activeX1X2activeU43XU43activeXactiveU51X1X2X3U51activeX1X2X3activeU52X1X2U52activeX1X2activeU53XU53activeXactiveU61X1X2U61activeX1X2activeU62XU62activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveandX1X2andactiveX1X2proper__X1X2__properX1properX2properU11X1X2U11properX1properX2properU12XU12properXproperisNeListXisNeListproperXproperU21X1X2X3U21properX1properX2properX3properU22X1X2U22properX1properX2properU23XU23properXproperU31X1X2U31properX1properX2properU32XU32properXproperisQidXisQidproperXproperU41X1X2X3U41properX1properX2properX3properU42X1X2U42properX1properX2properU43XU43properXproperU51X1X2X3U51properX1properX2properX3properU52X1X2U52properX1properX2properU53XU53properXproperU61X1X2U61properX1properX2properU71X1X2U71properX1properX2properU72XU72properXproperisNePalXisNePalproperXproperandX1X2andproperX1properX2properisPalListKindXisPalListKindproperXproperisPalXisPalproperXproperiokiproperookoproperuoku__okX1okX2ok__X1X2U11okX1okX2okU11X1X2U12okXokU12XisNeListokXokisNeListXU21okX1okX2okX3okU21X1X2X3U22okX1okX2okU22X1X2isListokXokisListXU23okXokU23XU31okX1okX2okU31X1X2U32okXokU32XisQidokXokisQidXU41okX1okX2okX3okU41X1X2X3U42okX1okX2okU42X1X2U43okXokU43XU51okX1okX2okX3okU51X1X2X3U52okX1okX2okU52X1X2U53okXokU53XU61okX1okX2okU61X1X2U62okXokU62XU71okX1okX2okU71X1X2U72okXokU72XisNePalokXokisNePalXandokX1okX2okandX1X2isPalListKindokXokisPalListKindXisPalokXokisPalXtopokXtopactiveX1active111__22122U1122112U12111U213112223U2222112U23111U3122122U32111U413111213U4222122U43121U513212213U5221112U53121U6121112U62121U7121112U721211and22122proper121isNeList121isQid121isNePal121isPalListKind1111isPal121i00ok111o01u00isList121top111active__X1X2__activeX1X2active__X1X2__X1activeX2activeU11X1X2U11activeX1X2activeU12XU12activeXactiveU21X1X2X3U21activeX1X2X3activeU22X1X2U22activeX1X2activeU23XU23activeXactiveU31X1X2U31activeX1X2activeU32XU32activeXactiveU41X1X2X3U41activeX1X2X3activeU42X1X2U42activeX1X2activeU43XU43activeXactiveU51X1X2X3U51activeX1X2X3activeU52X1X2U52activeX1X2activeU53XU53activeXactiveU61X1X2U61activeX1X2activeU62XU62activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveandX1X2andactiveX1X2proper__X1X2__properX1properX2properU11X1X2U11properX1properX2properU12XU12properXproperisNeListXisNeListproperXproperU21X1X2X3U21properX1properX2properX3properU22X1X2U22properX1properX2properU23XU23properXproperU31X1X2U31properX1properX2properU32XU32properXproperisQidXisQidproperXproperU41X1X2X3U41properX1properX2properX3properU42X1X2U42properX1properX2properU43XU43properXproperU51X1X2X3U51properX1properX2properX3properU52X1X2U52properX1properX2properU53XU53properXproperU61X1X2U61properX1properX2properU71X1X2U71properX1properX2properisNePalXisNePalproperXproperandX1X2andproperX1properX2properisPalXisPalproperXproperiokiproperuoku__okX1okX2ok__X1X2U11okX1okX2okU11X1X2U12okXokU12XisNeListokXokisNeListXU21okX1okX2okX3okU21X1X2X3U22okX1okX2okU22X1X2isListokXokisListXU23okXokU23XU31okX1okX2okU31X1X2U32okXokU32XisQidokXokisQidXU41okX1okX2okX3okU41X1X2X3U42okX1okX2okU42X1X2U43okXokU43XU51okX1okX2okX3okU51X1X2X3U52okX1okX2okU52X1X2U53okXokU53XU61okX1okX2okU61X1X2U62okXokU62XU71okX1okX2okU71X1X2U72okXokU72XisNePalokXokisNePalXandokX1okX2okandX1X2isPalListKindokXokisPalListKindXisPalokXokisPalXtopokXtopactiveX1active111__22122U1122122U12121U213112223U2222122U23121U3121122U32111U413111223U4222122U431211U5131111213U5222122U531111U6122112U62111U7121122U72121and21122proper121isNeList1221isQid111isNePal111isPal1121i01ok111u00isList111isPalListKind111top121active__X1X2__activeX1X2active__X1X2__X1activeX2activeU11X1X2U11activeX1X2activeU12XU12activeXactiveU21X1X2X3U21activeX1X2X3activeU22X1X2U22activeX1X2activeU23XU23activeXactiveU31X1X2U31activeX1X2activeU32XU32activeXactiveU41X1X2X3U41activeX1X2X3activeU42X1X2U42activeX1X2activeU43XU43activeXactiveU51X1X2X3U51activeX1X2X3activeU52X1X2U52activeX1X2activeU53XU53activeXactiveU61X1X2U61activeX1X2activeU62XU62activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveandX1X2andactiveX1X2proper__X1X2__properX1properX2properU11X1X2U11properX1properX2properU12XU12properXproperU21X1X2X3U21properX1properX2properX3properU22X1X2U22properX1properX2properU23XU23properXproperU31X1X2U31properX1properX2properU32XU32properXproperisQidXisQidproperXproperU41X1X2X3U41properX1properX2properX3properU42X1X2U42properX1properX2properU52X1X2U52properX1properX2properU61X1X2U61properX1properX2properU71X1X2U71properX1properX2properisNePalXisNePalproperXproperandX1X2andproperX1properX2properuoku__okX1okX2ok__X1X2U11okX1okX2okU11X1X2U12okXokU12XisNeListokXokisNeListXU21okX1okX2okX3okU21X1X2X3U22okX1okX2okU22X1X2isListokXokisListXU23okXokU23XU31okX1okX2okU31X1X2U32okXokU32XisQidokXokisQidXU41okX1okX2okX3okU41X1X2X3U42okX1okX2okU42X1X2U43okXokU43XU51okX1okX2okX3okU51X1X2X3U52okX1okX2okU52X1X2U53okXokU53XU61okX1okX2okU61X1X2U62okXokU62XU71okX1okX2okU71X1X2U72okXokU72XisNePalokXokisNePalXandokX1okX2okandX1X2isPalListKindokXokisPalListKindXisPalokXokisPalXtopokXtopactiveX1active111__21112U1122122U12111U213111223U2221122U231111U3121122U32121U4131212213U4221112U43121U513112223U5222122U53121U6122122U62111U7121122U72111and21122proper121isQid1111isNePal121u02ok111isNeList111isList121isPalListKind111isPal121top111active__X1X2__activeX1X2active__X1X2__X1activeX2activeU11X1X2U11activeX1X2activeU12XU12activeXactiveU21X1X2X3U21activeX1X2X3activeU22X1X2U22activeX1X2activeU23XU23activeXactiveU31X1X2U31activeX1X2activeU32XU32activeXactiveU41X1X2X3U41activeX1X2X3activeU42X1X2U42activeX1X2activeU43XU43activeXactiveU51X1X2X3U51activeX1X2X3activeU52X1X2U52activeX1X2activeU53XU53activeXactiveU61X1X2U61activeX1X2activeU62XU62activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveandX1X2andactiveX1X2proper__X1X2__properX1properX2properU11X1X2U11properX1properX2properU12XU12properXproperU21X1X2X3U21properX1properX2properX3properU22X1X2U22properX1properX2properU31X1X2U31properX1properX2properU32XU32properXproperU42X1X2U42properX1properX2properU52X1X2U52properX1properX2properU61X1X2U61properX1properX2properU71X1X2U71properX1properX2properisNePalXisNePalproperXproperandX1X2andproperX1properX2__okX1okX2ok__X1X2U11okX1okX2okU11X1X2U12okXokU12XisNeListokXokisNeListXU21okX1okX2okX3okU21X1X2X3U22okX1okX2okU22X1X2isListokXokisListXU23okXokU23XU31okX1okX2okU31X1X2U32okXokU32XisQidokXokisQidXU41okX1okX2okX3okU41X1X2X3U42okX1okX2okU42X1X2U43okXokU43XU51okX1okX2okX3okU51X1X2X3U52okX1okX2okU52X1X2U53okXokU53XU61okX1okX2okU61X1X2U62okXokU62XU71okX1okX2okU71X1X2U72okXokU72XisNePalokXokisNePalXandokX1okX2okandX1X2isPalListKindokXokisPalListKindXisPalokXokisPalXtopokXtopactiveX1active1121__211122U11212112U121221U213112213U22212122U23111U31212112U32111U413112213U42221112U43111U5131111223U5221112U53111U61221122U62111U71212122U72111and221122proper111isNePal111ok1221isNeList111isList121isQid121isPalListKind121isPal121top111active__X1X2__X1activeX2activeU11X1X2U11activeX1X2activeU21X1X2X3U21activeX1X2X3activeU22X1X2U22activeX1X2activeU23XU23activeXactiveU31X1X2U31activeX1X2activeU32XU32activeXactiveU41X1X2X3U41activeX1X2X3activeU43XU43activeXactiveU52X1X2U52activeX1X2activeU53XU53activeXactiveU62XU62activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXproper__X1X2__properX1properX2properU11X1X2U11properX1properX2properU12XU12properXproperU21X1X2X3U21properX1properX2properX3properU22X1X2U22properX1properX2properU31X1X2U31properX1properX2properU32XU32properXproperU42X1X2U42properX1properX2properU52X1X2U52properX1properX2properU61X1X2U61properX1properX2properU71X1X2U71properX1properX2properisNePalXisNePalproperXproperandX1X2andproperX1properX2U12okXokU12XisNeListokXokisNeListXU23okXokU23XU32okXokU32XU42okX1okX2okU42X1X2U43okXokU43XU53okXokU53XU62okXokU62XU72okXokU72XisNePalokXokisNePalX1active121__222112U1121122U2131112223U22212112U23121U31212122U32121U413112223U43111U5221122U53111U62121U71211112U72111proper121U12111U42222112U61211112isNePal121and21112ok1121isNeList111activeU11X1X2U11activeX1X2activeU23XU23activeXactiveU32XU32activeXactiveU41X1X2X3U41activeX1X2X3activeU43XU43activeXactiveU52X1X2U52activeX1X2activeU53XU53activeXactiveU62XU62activeXactiveU72XU72activeXproperU11X1X2U11properX1properX2properU12XU12properXproperU32XU32properXproperU52X1X2U52properX1properX2properisNePalXisNePalproperXproperandX1X2andproperX1properX2U12okXokU12XisNeListokXokisNeListXU42okX1okX2okU42X1X2U43okXokU43XU53okXokU53XU72okXokU72X1active121U11211112U231221U321111U4132212223U431221U52211122U531221U621211U72121proper121U121221isNePal1121and212122ok1111isNeList1221U42211122activeU72XU72activeX1active121U721121AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (13 real / 0 unknown / 0 assumptions / 13 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe