pax0paaax1x2pax2paabx0x22.1pax0paaax1x2pax2paabx0x2pax0paaax1x2paabx0x2truep20a12p21b11p22a1p22b11pax0paaax1x2pax2paabx0x2p21a10p20b10p221a11p212b1
AProVE
d08497719f481e0c456d436c39d857ef33ce6dc3 rene 20120104 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe