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