____XYZ__X__YZ__XnilX__nilXXU11ttttU21ttU22isListU22ttttU31ttttU41ttU42isNeListU42ttttU51ttU52isListU52ttttU61ttttU71ttU72isPalU72ttttU81ttttisListU11isNeListisListttisListU21isListisNeListU31isQidisNeListU41isListisNeListU51isNeListisNePalU61isQidisNePalU71isQidisPalU81isNePalisPalttisQidtt2.1____XYZ__X__YZ__XnilX__nilXXU11ttttU21ttU22isListU22ttttU31ttttU41ttU42isNeListU42ttttU51ttU52isListU52ttttU71ttU72isPalU72ttttU81ttttisListU11isNeListisListttisListU21isListisNeListU31isQidisNeListU41isListisNeListU51isNeListisNePalU71isQidisPalU81isNePalisQidtt____XYZ__X__YZU11ttttU21ttU22isListU22ttttU31ttttU41ttU42isNeListU42ttttU51ttU52isListU52ttttU71ttU72isPalU72ttttU81ttttisListU11isNeListisListttisListU21isListisNeListU31isQidisNeListU41isListisNeListU51isNeListisNePalU71isQidisPalU81isNePalisQidttU11ttttU21ttU22isListU22ttttU31ttttU41ttU42isNeListU42ttttU51ttU52isListU52ttttU71ttU72isPalU72ttttU81ttttisListU11isNeListisListttisListU21isListisNeListU31isQidisNeListU41isListisNeListU51isNeListisNePalU71isQidisPalU81isNePalisQidttU11ttttU21ttU22isListU22ttttU31ttttU41ttU42isNeListU42ttttU51ttU52isListU52ttttU71ttU72isPalU81ttttisListU11isNeListisListttisListU21isListisNeListU31isQidisNeListU41isListisNeListU51isNeListisNePalU71isQidisPalU81isNePalisQidttU11ttttU21ttU22isListU22ttttU31ttttU41ttU42isNeListU42ttttU51ttU52isListU52ttttU71ttU72isPalisListU11isNeListisListttisListU21isListisNeListU31isQidisNeListU41isListisNeListU51isNeListisNePalU71isQidisPalU81isNePalisQidttU21ttU22isListU21ttisListU41ttU42isNeListU41ttisNeListU51ttU52isListU51ttisListU71ttisPalisListU11isNeListisListisNeListisListU21isListisListisListisNeListU31isQidisNeListisQidisNeListU41isListisNeListisListisNeListU51isNeListisNeListisNeListisNePalU71isQidisNePalisQidisPalisNePaltrueisPalisNePalisNePalU71isQidU71ttisPalisPalisNePalisNePalU71isQidU71ttisPalisQidttisQid0isNePalisNePalU71isQidU71isQid1isQidttU71ttU71ttisPalisPalisPalisNePalisNePal
AProVE
cc15997c1f07bc57e721d9726d3251d110b0b452 cryingshadow 20130616
http://aprove.informatik.rwth-aachen.de/
AProVE-CeTACompetition 2013(TC 2013)
John
Doe
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml55530