fxfssyfzwfsxfyfszwLfssyfzwLfs0fyfszwfxfssynilfsxfyfs0nil2.1fxfssyfzwfsxfyfszwfxfssyfzwfyfszwfxfssyfzwfszwLfssyfzwLfs0fyfszwLfssyfzwfs0fyfszwLfssyfzwfyfszwLfssyfzwfszwfxfssynilfsxfyfs0nilfxfssynilfyfs0nilfxfssynilfs0niltrueLfssyfzwLfs0fyfszwtrue1f21112s111nil00000L111LfssyfzwLfs0fyfszwfxfssynilfsxfyfs0nilfxfssyfzwfsxfyfszwfxfssynilfsxfyfs0nilfxfssyfzwfsxfyfszw1L1-11f2-112s121nil00000Lfssyfzwfs0fyfszwfalseLfssyfzwfyfszwfalseLfssyfzwfszwfalsefxfssyfzwfyfszwfxfssyfzwfsxfyfszwfxfssyfzwfszwfxfssynilfsxfyfs0niltrue1f21112s111nil00000f21112fxfssyfzwfyfszwfxfssyfzwfsxfyfszwfxfssyfzwfszwfxfssynilfsxfyfs0nilfxfssynilfsxfyfs0nilfxfssyfzwfsxfyfszwfxfssynilfsxfyfs0nilfxfssyfzwfsxfyfszw1f22112s1111nil00000f21122fxfssynilfsxfyfs0nilfxfssyfzwfsxfyfszwfxfssynilfyfs0nilfalsefxfssynilfs0nilfalseAProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (8 real / 0 unknown / 0 assumptions / 8 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe