____XYZ__X__YZ__XnilX__nilXXU11ttttU21ttV2U22isListactivateV2U22ttttU31ttttU41ttV2U42isNeListactivateV2U42ttttU51ttV2U52isListactivateV2U52ttttU61ttttU71ttPU72isPalactivatePU72ttttU81ttttisListVU11isNeListactivateVisListn__nilttisListn____V1V2U21isListactivateV1activateV2isNeListVU31isQidactivateVisNeListn____V1V2U41isListactivateV1activateV2isNeListn____V1V2U51isNeListactivateV1activateV2isNePalVU61isQidactivateVisNePaln____I__PIU71isQidactivateIactivatePisPalVU81isNePalactivateVisPaln__nilttisQidn__attisQidn__ettisQidn__ittisQidn__ottisQidn__uttniln__nil__X1X2n____X1X2an__aen__ein__ion__oun__uactivaten__nilnilactivaten____X1X2__X1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXX2.11__222112nil00U11111tt00U2122112U22111isList111activate111U31111U41211112U42111isNeList111U51211112U521111U61111U71221122U72111isPal1121U81121n__nil00n____222112isQid111isNePal111n__a00n__e00n__i00n__o00n__u00a00e00i00o00u00U11ttttU21ttV2U22isListactivateV2U22ttttU31ttttU42ttttU51ttV2U52isListactivateV2U61ttttU72ttttU81ttttisListVU11isNeListactivateVisListn__nilttisNeListVU31isQidactivateVisNePalVU61isQidactivateVisQidn__attisQidn__ettisQidn__ittisQidn__ottisQidn__uttniln__nil__X1X2n____X1X2an__aen__ein__ion__oun__uactivaten__nilnilactivaten____X1X2__X1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXX1tt018n__nil0111n__a0157n__e0167n__i0177n__o0187n__u0197nil0203a0239e0249i0259o0279u0288U11101U22121isList137activate1292U31141U42181U52161U61191U72171U811101isNeList1264isQid1121isNePal1144U212132U51253__2212n____2220AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (3 real / 0 unknown / 0 assumptions / 3 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe