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