U12ttsndsplitAtNXSU161ttconsNU172ttheadafterNthNXSU182ttYU191ttpairnilXSU203ttU204splitAtNXSU204pairYSZSpairconsXZSU212ttXSU22ttXU222ttfstsplitAtNXSU32ttNU101ttU102isLNatU102ttttU11ttU12isLNatU111ttttU121ttttU131ttU132isLNatU132ttttU141ttU142isLNatU142ttttU151ttU152isLNatU152ttttU171ttU172isLNatU181ttU182isLNatU201ttU202isNaturalU202ttU203isLNatU21ttU22isLNatU211ttU212isLNatU221ttU222isLNatU31ttU32isLNatU41ttU42isLNatU42ttttU51ttU52isLNatU52ttttU61ttttU71ttttU81ttttU91ttttafterNthNXSU11isNaturalfstpairXYU21isLNatheadconsNU31isNaturalisLNatttisLNatU41isNaturalisLNatU51isNaturalisLNatU61isPLNatisLNatU71isNaturalisLNatU81isPLNatisLNatU91isLNatisLNatU101isNaturalisNaturalttisNaturalU111isLNatisNaturalU121isNaturalisNaturalU131isNaturalisPLNatU141isLNatisPLNatU151isNaturalnatsFromNU161isNaturalselNXSU171isNaturalsndpairXYU181isLNatsplitAt0XSU191isLNatsplitAtsNconsXU201isNaturaltailconsNU211isNaturaltakeNXSU221isNatural2.1
AProVE
cc15997c1f07bc57e721d9726d3251d110b0b452 cryingshadow 20130616
http://aprove.informatik.rwth-aachen.de/
AProVE-CeTACompetition 2013(TC 2013)
John
Doe
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml55424