f0cons0fs0fps0ps002.0fconsspfconsspfs0fps0ff0fcons0consf0conscons0sf0scons0pf0pcons0fps0f0consps0cons0sps0s0pps0p0fss00fppss00fff00fconscons00consff00consconscons00sff00sconscons00pff00pconscons00fppss00f00consppss00cons00sppss00s00pppss00p001fs1112s0111000fp1111ps111ff1111f0111fcons111cons0111consf1111conscons111sf1111scons111pf1111pcons111consp1111sp1111pp1111p0111
AProVE
cb833845625c1ead9ffe8258c791cc945104daa0 rene 20110429 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe