andttX____XYZ__X__YZ__XnilX__nilXXU11ttU12isNeListU12ttttU21ttU22isListU22ttU23isListU23ttttU31ttU32isQidU32ttttU41ttU42isListU42ttU43isNeListU43ttttU51ttU52isNeListU52ttU53isListU53ttttU61ttU62isQidU62ttttU71ttU72isNePalU72ttttisListU11isPalListKindisListttisListU21andisPalListKindisNeListU31isPalListKindisNeListU41andisPalListKindisNeListU51andisPalListKindisNePalU61isPalListKindisNePalandandisQidisPalU71isPalListKindisPalttisPalListKindttisPalListKindandisPalListKindisQidtt2.1AProVEunknownStatistics for single proof: 100,00 % (1 real / 0 unknown / 0 assumptions / 1 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe