a__faXXa__fXa__bba__bamarkfX1X2X3a__fX1markX2X3markba__bmarkaaa__fX1X2X3fX1X2X3a__bb2.11a__f32212223a01a__b01b00mark1121f32212223a__faXXa__fXa__bba__bamarkba__ba__fX1X2X3fX1X2X31a__f31112223a00a__b00b00mark1221f31112213a__faXXa__fXa__bba__baa__fX1X2X3fX1X2X31a__f32112223a00a__b00b00f3111223a__faXXa__fXa__bba__ba1a__f3211223a01a__b01b00a__baa__b01a00a__b0a0AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (6 real / 0 unknown / 0 assumptions / 6 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe