cond1truexycond2gry0xycond2truexycond2gry0xpycond2falsexycond1grx0pxygr0xfalsegrsx0truegrsxsygrxyp00psxx2.110cond1truexycond2gry0xycond1truexygry0cond2truexycond2gry0xpycond2truexygry0cond2truexypycond2falsexycond1grx0pxycond2falsexygrx0cond2falsexypxgrsxsygrxytruecond2truexycond2gry0xpycond2falsexycond1grx0pxycond1truexycond2gry0xytruegr0xfalsegrsx0truep00psxxgr0x0grsx00grsx0sx1p0psx0181cond2301011122013true014gr2011210120001p101141false001cond1301121112013s112411cond2truexycond2gry0xpycond2falsexycond1grx0pxycond2truexycond2gry0xpytrue721cond2301411012213true041gr2111414120012p114121false014s141411cond2falsexycond1grx0pxyfalsecond1truexygry0falsecond2truexygry0falsecond2falsexygrx0falsecond2truexypyfalsecond2falsexypxfalsegrsxsygrxytruegrsxsygrxy1true12true2AProVEAProVE 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