baax1abcx1cax1acx1cbx1bax1Laax1Labcx1cRx1baRx12.1baax1bcx1baax1cx1cax1cx1cbx1bax1Laax1Labcx1Laax1bcx1Laax1cx1cRx1baRx1trueLaax1Labcx1true20cax1acx1cbx1bax1cRx1baRx1baax1abcx1baax0cax0cbx0cRx01L1221a111b1-11c111R10Laax1bcx1falseLaax1cx1falsebaax1cx1cax1cx1cbx1bax1baax1bcx1true1c111a111b111R111c111b111baax1cx1cax1cx1cbx1bax1baax1bcx1cax1acx1cbx1bax1cRx1baRx1baax1abcx1cax1acx1cbx1bax1cRx1baRx1baax1abcx11b111a1111c1111b111c1111R111cbx1bax11b111a111b111c111cbx1bax11c1221b121b1121a121cRx1baRx1falseAProVEAProVE 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