YES active____XYZmark__X__YZactive__XnilmarkXactive__nilXmarkXactiveU11ttmarkttactiveU21ttV2markU22isListV2activeU22ttmarkttactiveU31ttmarkttactiveU41ttV2markU42isNeListV2activeU42ttmarkttactiveU51ttV2markU52isListV2activeU52ttmarkttactiveU61ttmarkttactiveU71ttPmarkU72isPalPactiveU72ttmarkttactiveU81ttmarkttactiveisListVmarkU11isNeListVactiveisListnilmarkttactiveisList__V1V2markU21isListV1V2activeisNeListVmarkU31isQidVactiveisNeList__V1V2markU41isListV1V2activeisNeList__V1V2markU51isNeListV1V2activeisNePalVmarkU61isQidVactiveisNePal__I__PImarkU71isQidIPactiveisPalVmarkU81isNePalVactiveisPalnilmarkttactiveisQidamarkttactiveisQidemarkttactiveisQidimarkttactiveisQidomarkttactiveisQidumarkttactive__X1X2__activeX1X2active__X1X2__X1activeX2activeU11XU11activeXactiveU21X1X2U21activeX1X2activeU22XU22activeXactiveU31XU31activeXactiveU41X1X2U41activeX1X2activeU42XU42activeXactiveU51X1X2U51activeX1X2activeU52XU52activeXactiveU61XU61activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveU81XU81activeX__markX1X2mark__X1X2__X1markX2mark__X1X2U11markXmarkU11XU21markX1X2markU21X1X2U22markXmarkU22XU31markXmarkU31XU41markX1X2markU41X1X2U42markXmarkU42XU51markX1X2markU51X1X2U52markXmarkU52XU61markXmarkU61XU71markX1X2markU71X1X2U72markXmarkU72XU81markXmarkU81Xproper__X1X2__properX1properX2properniloknilproperU11XU11properXproperttokttproperU21X1X2U21properX1properX2properU22XU22properXproperisListXisListproperXproperU31XU31properXproperU41X1X2U41properX1properX2properU42XU42properXproperisNeListXisNeListproperXproperU51X1X2U51properX1properX2properU52XU52properXproperU61XU61properXproperU71X1X2U71properX1properX2properU72XU72properXproperisPalXisPalproperXproperU81XU81properXproperisQidXisQidproperXproperisNePalXisNePalproperXproperaokapropereokeproperiokiproperookoproperuoku__okX1okX2ok__X1X2U11okXokU11XU21okX1okX2okU21X1X2U22okXokU22XisListokXokisListXU31okXokU31XU41okX1okX2okU41X1X2U42okXokU42XisNeListokXokisNeListXU51okX1okX2okU51X1X2U52okXokU52XU61okXokU61XU71okX1okX2okU71X1X2U72okXokU72XisPalokXokisPalXU81okXokU81XisQidokXokisQidXisNePalokXokisNePalXtopmarkXtopproperXtopokXtopactiveX2.11active111__22112mark111nil00U11111tt00U2122112U22111isList111U31111U4121112U42111isNeList111U5122112U52111U61121U7122122U72111isPal121U81111isQid111isNePal121a02e02i02o02u02proper111ok111top121active____XYZmark__X__YZactive__XnilmarkXactive__nilXmarkXactiveU11ttmarkttactiveU21ttV2markU22isListV2activeU22ttmarkttactiveU31ttmarkttactiveU41ttV2markU42isNeListV2activeU42ttmarkttactiveU51ttV2markU52isListV2activeU52ttmarkttactiveU61ttmarkttactiveU71ttPmarkU72isPalPactiveU72ttmarkttactiveU81ttmarkttactiveisListVmarkU11isNeListVactiveisListnilmarkttactiveisList__V1V2markU21isListV1V2activeisNeListVmarkU31isQidVactiveisNeList__V1V2markU41isListV1V2activeisNeList__V1V2markU51isNeListV1V2activeisNePalVmarkU61isQidVactiveisNePal__I__PImarkU71isQidIPactiveisPalVmarkU81isNePalVactiveisPalnilmarkttactive__X1X2__activeX1X2active__X1X2__X1activeX2activeU11XU11activeXactiveU21X1X2U21activeX1X2activeU22XU22activeXactiveU31XU31activeXactiveU41X1X2U41activeX1X2activeU42XU42activeXactiveU51X1X2U51activeX1X2activeU52XU52activeXactiveU61XU61activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveU81XU81activeX__markX1X2mark__X1X2__X1markX2mark__X1X2U11markXmarkU11XU21markX1X2markU21X1X2U22markXmarkU22XU31markXmarkU31XU41markX1X2markU41X1X2U42markXmarkU42XU51markX1X2markU51X1X2U52markXmarkU52XU61markXmarkU61XU71markX1X2markU71X1X2U72markXmarkU72XU81markXmarkU81Xproper__X1X2__properX1properX2properniloknilproperU11XU11properXproperttokttproperU21X1X2U21properX1properX2properU22XU22properXproperisListXisListproperXproperU31XU31properXproperU41X1X2U41properX1properX2properU42XU42properXproperisNeListXisNeListproperXproperU51X1X2U51properX1properX2properU52XU52properXproperU61XU61properXproperU71X1X2U71properX1properX2properU72XU72properXproperisPalXisPalproperXproperU81XU81properXproperisQidXisQidproperXproperisNePalXisNePalproperXproperaokapropereokeproperiokiproperookoproperuoku__okX1okX2ok__X1X2U11okXokU11XU21okX1okX2okU21X1X2U22okXokU22XisListokXokisListXU31okXokU31XU41okX1okX2okU41X1X2U42okXokU42XisNeListokXokisNeListXU51okX1okX2okU51X1X2U52okXokU52XU61okXokU61XU71okX1okX2okU71X1X2U72okXokU72XisPalokXokisPalXU81okXokU81XisQidokXokisQidXisNePalokXokisNePalXtopmarkXtopproperXtopokXtopactiveX1active111__222112mark111nil02U11111tt02U21211112U22111isList111U31111U41212112U42111isNeList111U5122112U52111U61121U7122122U721211isPal1121U81111isQid111isNePal121proper111ok111a00e00i00o00u00top111activeU11ttmarkttactiveU22ttmarkttactiveU31ttmarkttactiveU42ttmarkttactiveU52ttmarkttactiveU81ttmarkttactiveisListVmarkU11isNeListVactiveisListnilmarkttactiveisNeListVmarkU31isQidVactiveisNePalVmarkU61isQidVactive__X1X2__activeX1X2active__X1X2__X1activeX2activeU11XU11activeXactiveU21X1X2U21activeX1X2activeU22XU22activeXactiveU31XU31activeXactiveU41X1X2U41activeX1X2activeU42XU42activeXactiveU51X1X2U51activeX1X2activeU52XU52activeXactiveU61XU61activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveU81XU81activeX__markX1X2mark__X1X2__X1markX2mark__X1X2U11markXmarkU11XU21markX1X2markU21X1X2U22markXmarkU22XU31markXmarkU31XU41markX1X2markU41X1X2U42markXmarkU42XU51markX1X2markU51X1X2U52markXmarkU52XU61markXmarkU61XU71markX1X2markU71X1X2U72markXmarkU72XU81markXmarkU81Xproper__X1X2__properX1properX2properniloknilproperU11XU11properXproperttokttproperU21X1X2U21properX1properX2properU22XU22properXproperisListXisListproperXproperU31XU31properXproperU41X1X2U41properX1properX2properU42XU42properXproperisNeListXisNeListproperXproperU51X1X2U51properX1properX2properU52XU52properXproperU61XU61properXproperU71X1X2U71properX1properX2properU72XU72properXproperisPalXisPalproperXproperU81XU81properXproperisQidXisQidproperXproperisNePalXisNePalproperXproperaokapropereokeproperiokiproperookoproperuoku__okX1okX2ok__X1X2U11okXokU11XU21okX1okX2okU21X1X2U22okXokU22XisListokXokisListXU31okXokU31XU41okX1okX2okU41X1X2U42okXokU42XisNeListokXokisNeListXU51okX1okX2okU51X1X2U52okXokU52XU61okXokU61XU71okX1okX2okU71X1X2U72okXokU72XisPalokXokisPalXU81okXokU81XisQidokXokisQidXisNePalokXokisNePalXtopmarkXtopproperXtopokXtopactiveX1active111U111121tt00mark111U22121U31111U42111U52121U81111isList1121isNeList111nil00isQid111isNePal121U61121__21122U2122122U4122122U5121112U7122122U72121proper111ok111isPal111a00e00i00o00u00top121activeU22ttmarkttactiveU31ttmarkttactiveU42ttmarkttactiveU52ttmarkttactiveU81ttmarkttactiveisListVmarkU11isNeListVactiveisNeListVmarkU31isQidVactiveisNePalVmarkU61isQidVactive__X1X2__activeX1X2active__X1X2__X1activeX2activeU11XU11activeXactiveU21X1X2U21activeX1X2activeU22XU22activeXactiveU31XU31activeXactiveU41X1X2U41activeX1X2activeU42XU42activeXactiveU51X1X2U51activeX1X2activeU52XU52activeXactiveU61XU61activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveU81XU81activeX__markX1X2mark__X1X2__X1markX2mark__X1X2U11markXmarkU11XU21markX1X2markU21X1X2U22markXmarkU22XU31markXmarkU31XU41markX1X2markU41X1X2U42markXmarkU42XU51markX1X2markU51X1X2U52markXmarkU52XU61markXmarkU61XU71markX1X2markU71X1X2U72markXmarkU72XU81markXmarkU81Xproper__X1X2__properX1properX2properniloknilproperU11XU11properXproperttokttproperU21X1X2U21properX1properX2properU22XU22properXproperisListXisListproperXproperU31XU31properXproperU41X1X2U41properX1properX2properU42XU42properXproperisNeListXisNeListproperXproperU51X1X2U51properX1properX2properU52XU52properXproperU61XU61properXproperU71X1X2U71properX1properX2properU72XU72properXproperisPalXisPalproperXproperU81XU81properXproperisQidXisQidproperXproperisNePalXisNePalproperXproperaokapropereokeproperiokiproperookoproperuoku__okX1okX2ok__X1X2U11okXokU11XU21okX1okX2okU21X1X2U22okXokU22XisListokXokisListXU31okXokU31XU41okX1okX2okU41X1X2U42okXokU42XisNeListokXokisNeListXU51okX1okX2okU51X1X2U52okXokU52XU61okXokU61XU71okX1okX2okU71X1X2U72okXokU72XisPalokXokisPalXU81okXokU81XisQidokXokisQidXisNePalokXokisNePalXtopmarkXtopproperXtopokXtopactiveX1active111U221221tt00mark111U31111U42111U52111U81121isList121U11121isNeList111isQid111isNePal121U61121__21112U2122122U4121122U5121112U7122112U72121proper111nil00ok111isPal121a00e00i00o00u00top111activeU31ttmarkttactiveU42ttmarkttactiveU52ttmarkttactiveU81ttmarkttactiveisListVmarkU11isNeListVactiveisNeListVmarkU31isQidVactiveisNePalVmarkU61isQidVactive__X1X2__activeX1X2active__X1X2__X1activeX2activeU11XU11activeXactiveU21X1X2U21activeX1X2activeU22XU22activeXactiveU31XU31activeXactiveU41X1X2U41activeX1X2activeU42XU42activeXactiveU51X1X2U51activeX1X2activeU52XU52activeXactiveU61XU61activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveU81XU81activeX__markX1X2mark__X1X2__X1markX2mark__X1X2U11markXmarkU11XU21markX1X2markU21X1X2U22markXmarkU22XU31markXmarkU31XU41markX1X2markU41X1X2U42markXmarkU42XU51markX1X2markU51X1X2U52markXmarkU52XU61markXmarkU61XU71markX1X2markU71X1X2U72markXmarkU72XU81markXmarkU81Xproper__X1X2__properX1properX2properniloknilproperU11XU11properXproperttokttproperU21X1X2U21properX1properX2properU22XU22properXproperisListXisListproperXproperU31XU31properXproperU41X1X2U41properX1properX2properU42XU42properXproperisNeListXisNeListproperXproperU51X1X2U51properX1properX2properU52XU52properXproperU61XU61properXproperU71X1X2U71properX1properX2properU72XU72properXproperisPalXisPalproperXproperU81XU81properXproperisQidXisQidproperXproperisNePalXisNePalproperXproperaokapropereokeproperiokiproperookoproperuoku__okX1okX2ok__X1X2U11okXokU11XU21okX1okX2okU21X1X2U22okXokU22XisListokXokisListXU31okXokU31XU41okX1okX2okU41X1X2U42okXokU42XisNeListokXokisNeListXU51okX1okX2okU51X1X2U52okXokU52XU61okXokU61XU71okX1okX2okU71X1X2U72okXokU72XisPalokXokisPalXU81okXokU81XisQidokXokisQidXisNePalokXokisNePalXtopmarkXtopproperXtopokXtopactiveX1active111U31111tt00mark111U42121U521211U81121isList1221U111121isNeList111isQid111isNePal121U61111__22122U2121112U22111U4121122U5121112U7121112U72111proper111nil00ok111isPal111a00e00i00o00u00top111activeU31ttmarkttactiveU42ttmarkttactiveU81ttmarkttactiveisNeListVmarkU31isQidVactiveisNePalVmarkU61isQidVactive__X1X2__activeX1X2active__X1X2__X1activeX2activeU11XU11activeXactiveU21X1X2U21activeX1X2activeU22XU22activeXactiveU31XU31activeXactiveU41X1X2U41activeX1X2activeU42XU42activeXactiveU51X1X2U51activeX1X2activeU52XU52activeXactiveU61XU61activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveU81XU81activeX__markX1X2mark__X1X2__X1markX2mark__X1X2U11markXmarkU11XU21markX1X2markU21X1X2U22markXmarkU22XU31markXmarkU31XU41markX1X2markU41X1X2U42markXmarkU42XU51markX1X2markU51X1X2U52markXmarkU52XU61markXmarkU61XU71markX1X2markU71X1X2U72markXmarkU72XU81markXmarkU81Xproper__X1X2__properX1properX2properniloknilproperU11XU11properXproperttokttproperU21X1X2U21properX1properX2properU22XU22properXproperisListXisListproperXproperU31XU31properXproperU41X1X2U41properX1properX2properU42XU42properXproperisNeListXisNeListproperXproperU51X1X2U51properX1properX2properU52XU52properXproperU61XU61properXproperU71X1X2U71properX1properX2properU72XU72properXproperisPalXisPalproperXproperU81XU81properXproperisQidXisQidproperXproperisNePalXisNePalproperXproperaokapropereokeproperiokiproperookoproperuoku__okX1okX2ok__X1X2U11okXokU11XU21okX1okX2okU21X1X2U22okXokU22XisListokXokisListXU31okXokU31XU41okX1okX2okU41X1X2U42okXokU42XisNeListokXokisNeListXU51okX1okX2okU51X1X2U52okXokU52XU61okXokU61XU71okX1okX2okU71X1X2U72okXokU72XisPalokXokisPalXU81okXokU81XisQidokXokisQidXisNePalokXokisNePalXtopmarkXtopproperXtopokXtopactiveX1active111U311111tt00mark111U42121U81121isNeList1221isQid121isNePal1221U611111__22112U11121U2121112U22111U4121112U5121122U52111U7122122U72121proper111nil00ok111isList111isPal121a00e00i00o00u00top111activeU42ttmarkttactiveU81ttmarkttactive__X1X2__activeX1X2active__X1X2__X1activeX2activeU11XU11activeXactiveU21X1X2U21activeX1X2activeU22XU22activeXactiveU31XU31activeXactiveU41X1X2U41activeX1X2activeU42XU42activeXactiveU51X1X2U51activeX1X2activeU52XU52activeXactiveU61XU61activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveU81XU81activeX__markX1X2mark__X1X2__X1markX2mark__X1X2U11markXmarkU11XU21markX1X2markU21X1X2U22markXmarkU22XU31markXmarkU31XU41markX1X2markU41X1X2U42markXmarkU42XU51markX1X2markU51X1X2U52markXmarkU52XU61markXmarkU61XU71markX1X2markU71X1X2U72markXmarkU72XU81markXmarkU81Xproper__X1X2__properX1properX2properniloknilproperU11XU11properXproperttokttproperU21X1X2U21properX1properX2properU22XU22properXproperisListXisListproperXproperU31XU31properXproperU41X1X2U41properX1properX2properU42XU42properXproperisNeListXisNeListproperXproperU51X1X2U51properX1properX2properU52XU52properXproperU61XU61properXproperU71X1X2U71properX1properX2properU72XU72properXproperisPalXisPalproperXproperU81XU81properXproperisQidXisQidproperXproperisNePalXisNePalproperXproperaokapropereokeproperiokiproperookoproperuoku__okX1okX2ok__X1X2U11okXokU11XU21okX1okX2okU21X1X2U22okXokU22XisListokXokisListXU31okXokU31XU41okX1okX2okU41X1X2U42okXokU42XisNeListokXokisNeListXU51okX1okX2okU51X1X2U52okXokU52XU61okXokU61XU71okX1okX2okU71X1X2U72okXokU72XisPalokXokisPalXU81okXokU81XisQidokXokisQidXisNePalokXokisNePalXtopmarkXtopproperXtopokXtopactiveX1active111U42111tt01mark111U81121__21122U11111U2122122U22111U31121U4122112U5121112U52121U61111U7122122U72111proper111nil00ok111isList111isNeList111isPal111isQid111isNePal121a00e00i00o00u00top111activeU42ttmarkttactive__X1X2__activeX1X2active__X1X2__X1activeX2activeU11XU11activeXactiveU21X1X2U21activeX1X2activeU22XU22activeXactiveU31XU31activeXactiveU41X1X2U41activeX1X2activeU42XU42activeXactiveU51X1X2U51activeX1X2activeU52XU52activeXactiveU61XU61activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveU81XU81activeX__markX1X2mark__X1X2__X1markX2mark__X1X2U11markXmarkU11XU21markX1X2markU21X1X2U22markXmarkU22XU31markXmarkU31XU41markX1X2markU41X1X2U42markXmarkU42XU51markX1X2markU51X1X2U52markXmarkU52XU61markXmarkU61XU71markX1X2markU71X1X2U72markXmarkU72XU81markXmarkU81Xproper__X1X2__properX1properX2properniloknilproperU11XU11properXproperttokttproperU21X1X2U21properX1properX2properU22XU22properXproperisListXisListproperXproperU31XU31properXproperU41X1X2U41properX1properX2properU42XU42properXproperisNeListXisNeListproperXproperU51X1X2U51properX1properX2properU52XU52properXproperU61XU61properXproperU71X1X2U71properX1properX2properU72XU72properXproperisPalXisPalproperXproperU81XU81properXproperisQidXisQidproperXproperisNePalXisNePalproperXproperaokapropereokeproperiokiproperookoproperuoku__okX1okX2ok__X1X2U11okXokU11XU21okX1okX2okU21X1X2U22okXokU22XisListokXokisListXU31okXokU31XU41okX1okX2okU41X1X2U42okXokU42XisNeListokXokisNeListXU51okX1okX2okU51X1X2U52okXokU52XU61okXokU61XU71okX1okX2okU71X1X2U72okXokU72XisPalokXokisPalXU81okXokU81XisQidokXokisQidXisNePalokXokisNePalXtopmarkXtopproperXtopokXtopactiveX1active111U42121tt01mark111__22122U11111U2122122U22111U31111U4121122U5121122U52111U61111U7122122U72121U81111proper111nil00ok111isList111isNeList121isPal111isQid111isNePal121a00e00i00o00u00top111active__X1X2__activeX1X2active__X1X2__X1activeX2activeU11XU11activeXactiveU21X1X2U21activeX1X2activeU22XU22activeXactiveU31XU31activeXactiveU41X1X2U41activeX1X2activeU42XU42activeXactiveU51X1X2U51activeX1X2activeU52XU52activeXactiveU61XU61activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveU81XU81activeX__markX1X2mark__X1X2__X1markX2mark__X1X2U11markXmarkU11XU21markX1X2markU21X1X2U22markXmarkU22XU31markXmarkU31XU41markX1X2markU41X1X2U42markXmarkU42XU51markX1X2markU51X1X2U52markXmarkU52XU61markXmarkU61XU71markX1X2markU71X1X2U72markXmarkU72XU81markXmarkU81Xproper__X1X2__properX1properX2properniloknilproperU11XU11properXproperttokttproperU21X1X2U21properX1properX2properU22XU22properXproperisListXisListproperXproperU31XU31properXproperU41X1X2U41properX1properX2properU42XU42properXproperisNeListXisNeListproperXproperU51X1X2U51properX1properX2properU52XU52properXproperU61XU61properXproperU71X1X2U71properX1properX2properU72XU72properXproperisPalXisPalproperXproperU81XU81properXproperisQidXisQidproperXproperisNePalXisNePalproperXproperaokapropereokeproperiokiproperookoproperuoku__okX1okX2ok__X1X2U11okXokU11XU21okX1okX2okU21X1X2U22okXokU22XisListokXokisListXU31okXokU31XU41okX1okX2okU41X1X2U42okXokU42XisNeListokXokisNeListXU51okX1okX2okU51X1X2U52okXokU52XU61okXokU61XU71okX1okX2okU71X1X2U72okXokU72XisPalokXokisPalXU81okXokU81XisQidokXokisQidXisNePalokXokisNePalXtopmarkXtopproperXtopokXtopactiveX1active111__22122U11121U2122112U22121U31121U4122112U42121U5122112U52121U61121U7122122U72121U81121mark1211proper111nil00ok111tt00isList111isNeList111isPal121isQid121isNePal121a00e00i00o00u00top111active__X1X2__activeX1X2active__X1X2__X1activeX2activeU11XU11activeXactiveU21X1X2U21activeX1X2activeU22XU22activeXactiveU31XU31activeXactiveU41X1X2U41activeX1X2activeU42XU42activeXactiveU51X1X2U51activeX1X2activeU52XU52activeXactiveU61XU61activeXactiveU71X1X2U71activeX1X2activeU72XU72activeXactiveU81XU81activeXproper__X1X2__properX1properX2properniloknilproperU11XU11properXproperttokttproperU21X1X2U21properX1properX2properU22XU22properXproperisListXisListproperXproperU31XU31properXproperU41X1X2U41properX1properX2properU42XU42properXproperisNeListXisNeListproperXproperU51X1X2U51properX1properX2properU52XU52properXproperU61XU61properXproperU71X1X2U71properX1properX2properU72XU72properXproperisPalXisPalproperXproperU81XU81properXproperisQidXisQidproperXproperisNePalXisNePalproperXproperaokapropereokeproperiokiproperookoproperuoku__okX1okX2ok__X1X2U11okXokU11XU21okX1okX2okU21X1X2U22okXokU22XisListokXokisListXU31okXokU31XU41okX1okX2okU41X1X2U42okXokU42XisNeListokXokisNeListXU51okX1okX2okU51X1X2U52okXokU52XU61okXokU61XU71okX1okX2okU71X1X2U72okXokU72XisPalokXokisPalXU81okXokU81XisQidokXokisQidXisNePalokXokisNePalXtopokXtopactiveX1active1121__221112U11111U21221112U22111U31111U41221112U42111U51221112U521221U61111U71221112U721221U81111proper1221nil00ok1221tt00isList111isNeList111isPal111isQid111isNePal111a01e01i00o00u00top111activeU11XU11activeXactiveU22XU22activeXactiveU31XU31activeXactiveU42XU42activeXactiveU61XU61activeXactiveU81XU81activeXproper__X1X2__properX1properX2properniloknilproperU11XU11properXproperttokttproperU21X1X2U21properX1properX2properU22XU22properXproperisListXisListproperXproperU31XU31properXproperU41X1X2U41properX1properX2properU42XU42properXproperisNeListXisNeListproperXproperU51X1X2U51properX1properX2properU52XU52properXproperU61XU61properXproperU71X1X2U71properX1properX2properU72XU72properXproperisPalXisPalproperXproperU81XU81properXproperisQidXisQidproperXproperisNePalXisNePalproperXproperaokapropereokeproperiokiproperookoproperuoku__okX1okX2ok__X1X2U11okXokU11XU21okX1okX2okU21X1X2U22okXokU22XisListokXokisListXU31okXokU31XU41okX1okX2okU41X1X2U42okXokU42XisNeListokXokisNeListXU51okX1okX2okU51X1X2U52okXokU52XU61okXokU61XU71okX1okX2okU71X1X2U72okXokU72XisPalokXokisPalXU81okXokU81XisQidokXokisQidXisNePalokXokisNePalX1active121U11121U22121U31121U42121U611221U811211proper121__222112nil01ok1111tt02U2121122isList121U4121122isNeList1121U5121122U521221U7121122U72121isPal111isQid111isNePal121a02e01i02o02u02activeU11XU11activeXactiveU22XU22activeXactiveU31XU31activeXactiveU42XU42activeXproperniloknilproperU11XU11properXproperU21X1X2U21properX1properX2properU22XU22properXproperisListXisListproperXproperU31XU31properXproperU41X1X2U41properX1properX2properU42XU42properXproperU51X1X2U51properX1properX2properU71X1X2U71properX1properX2properU72XU72properXproperisPalXisPalproperXproperisQidXisQidproperXproperisNePalXisNePalproperXpropereokeisPalokXokisPalXU81okXokU81XisQidokXokisQidX1active1221U111111U221111U31111U421111proper1221nil01ok1111U21221112isList1211U41221112U51221112U71221112U721111isPal1221isQid1221isNePal111e00U81111activeU31XU31activeXproperU21X1X2U21properX1properX2properU31XU31properXproperU41X1X2U41properX1properX2properU51X1X2U51properX1properX2properU71X1X2U71properX1properX2properisPalXisPalproperXproperisQidXisQidproperXproperisNePalXisNePalproperXU81okXokU81X1active112U31101proper1110isPal161isQid171isNePal181U811102ok191U21220U41230U51240U71250AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (14 real / 0 unknown / 0 assumptions / 14 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe