U41ttNU52ttsplusNMU72ttplusxNMNU11ttU12isNatU12ttttU21ttttU31ttU32isNatU32ttttU51ttU52isNatU61tt0U71ttU72isNatisNatttisNatU11isNatisNatU21isNatisNatU31isNatplusN0U41isNatplusNsMU51isNatxN0U61isNatxNsMU71isNat2.0
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe