alx1lax1acx1cax1carx1rax1lrax1alccrx12.1alx1lax1alx1ax1acx1cax1acx1ax1carx1ax1lrax1alccrx1lrax1lccrx1lrax1ccrx1lrax1crx1truelrax1alccrx1alx1lax1alx1ax1acx1cax1carx1ax1acx1ax1true1l111r1111a111a111l111c111c111lrax1alccrx1alx1lax1alx1ax1acx1cax1acx1ax1alx1lax1lrax1alccrx1alx1ax1acx1ax1true1a1121l1121c111r111a121l121alx1lax1lrax1alccrx1acx1ax1alx1lax1acx1cax1carx1rax1lrax1alccrx1acx1ax1true1c111a111acx1ax1acx1ax11true1lrax1alccrx1alx1lax1true1l11l121r12a111c1-11a1-221lrax1alccrx11r111a111l111c111a111l111lrax1alccrx11l1211r121a1121a121l111c111acx1cax1falselrax1lccrx1falselrax1ccrx1falselrax1crx1falseAProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (12 real / 0 unknown / 0 assumptions / 12 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe