____XYZ__X__YZ__XnilX__nilXXU11ttVU12isPalListKindactivateVactivateVU12ttVU13isNeListactivateVU13ttttU21ttV1V2U22isPalListKindactivateV1activateV1activateV2U22ttV1V2U23isPalListKindactivateV2activateV1activateV2U23ttV1V2U24isPalListKindactivateV2activateV1activateV2U24ttV1V2U25isListactivateV1activateV2U25ttV2U26isListactivateV2U26ttttU31ttVU32isPalListKindactivateVactivateVU32ttVU33isQidactivateVU33ttttU41ttV1V2U42isPalListKindactivateV1activateV1activateV2U42ttV1V2U43isPalListKindactivateV2activateV1activateV2U43ttV1V2U44isPalListKindactivateV2activateV1activateV2U44ttV1V2U45isListactivateV1activateV2U45ttV2U46isNeListactivateV2U46ttttU51ttV1V2U52isPalListKindactivateV1activateV1activateV2U52ttV1V2U53isPalListKindactivateV2activateV1activateV2U53ttV1V2U54isPalListKindactivateV2activateV1activateV2U54ttV1V2U55isNeListactivateV1activateV2U55ttV2U56isListactivateV2U56ttttU61ttVU62isPalListKindactivateVactivateVU62ttVU63isQidactivateVU63ttttU71ttIPU72isPalListKindactivateIactivatePU72ttPU73isPalactivatePactivatePU73ttPU74isPalListKindactivatePU74ttttU81ttVU82isPalListKindactivateVactivateVU82ttVU83isNePalactivateVU83ttttU91ttV2U92isPalListKindactivateV2U92ttttisListVU11isPalListKindactivateVactivateVisListn__nilttisListn____V1V2U21isPalListKindactivateV1activateV1activateV2isNeListVU31isPalListKindactivateVactivateVisNeListn____V1V2U41isPalListKindactivateV1activateV1activateV2isNeListn____V1V2U51isPalListKindactivateV1activateV1activateV2isNePalVU61isPalListKindactivateVactivateVisNePaln____I__PIU71isQidactivateIactivateIactivatePisPalVU81isPalListKindactivateVactivateVisPaln__nilttisPalListKindn__attisPalListKindn__ettisPalListKindn__ittisPalListKindn__nilttisPalListKindn__ottisPalListKindn__uttisPalListKindn____V1V2U91isPalListKindactivateV1activateV2isQidn__attisQidn__ettisQidn__ittisQidn__ottisQidn__uttniln__nil__X1X2n____X1X2an__aen__ein__ion__oun__uactivaten__nilnilactivaten____X1X2__X1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXX2.1__246nil047U11219tt07U12218activate115U1311isNeList117U21325U22324U23323U24322U25221isList120U2612U31216U32215U3313U41330U42329U43328U44327U45226U4610U51335U52334U53333U54332U55231U5614U61237U62236U6315U71344U72243U73238isPal142U81241U82240U8310isNePal139U91245U9216n__nil047n____246n__a08n__e09n__i048n__o010n__u011a015e012i048o013u014__212nil0U11212tt0U12221isPalListKind11activate11U1311isNeList11U213123U223123U233123U243312U25212isList11U2611U31212U32212U3311isQid11U413123U423123U433123U443123U45212U4611U513123U523123U533123U543123U55212U5611U61212U62212U6311U713312U72212U73212isPal11U7411U81212U82212U8311isNePal11U91212U9211n__nil0n____212n__a0n__e0n__i0n__o0n__u0a0e0i0o0u0U74ttttniln__nil__X1X2n____X1X2in__i1tt001nil051n__nil021i061n__i041U74170__230n____210AProVEAProVE 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