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