121x1202x1021x1102x1L21x1L102x1120x1201x112Rx1201Rx1020x1101x1L20x1L101x102Rx1101Rx12.1121x102x1021x1102x1021x102x1L21x1L102x1L21x1102x1L21x102x1120x101x1120x11x112Rx101Rx112Rx11Rx1020x1101x1020x101x1020x11x1L20x1L101x1L20x1101x1L20x101x1L20x11x102Rx1101Rx102Rx101Rx102Rx11Rx1trueL20x1L101x1L21x1L102x1true1011121111111R111L111L20x1L101x1L21x1L102x1021x1102x1020x1101x102Rx1101Rx1121x1202x1120x1201x112Rx1201Rx1021x1102x1020x1101x102Rx1101Rx1121x1202x1120x1201x112Rx1201Rx11L1112110101111R111L21x102x1falseL21x1102x1falseL20x101x1falseL20x1101x1falseL20x11x1false021x1102x1121x102x1021x102x1020x1101x1120x101x1020x101x1020x11x1120x11x1true1111121110111R11111110111021x1102x1121x102x1021x102x1020x1101x1120x101x1020x101x1020x11x1120x11x1121x1202x1120x1201x112Rx1201Rx1021x1102x1020x1101x102Rx1101Rx1121x1202x1120x1201x112Rx1201Rx1021x1102x1020x1101x102Rx1101Rx1111111212110111R1110122111121121x1202x1120x1201x112Rx1201Rx1021x1102x1020x1101x102Rx1101Rx112Rx101Rx1false12Rx11Rx1false02Rx1101Rx1false02Rx101Rx1false02Rx11Rx1falseAProVEAProVE 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