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