cond1truexyzcond2gryzxyzcond2truexyzcond2gryzxpyzcond2falsexyzcond1grxzpxyzgr0xfalsegrsx0truegrsxsygrxyp00psxx2.110cond1truexyzcond2gryzxyzcond1truexyzgryzcond2truexyzcond2gryzxpyzcond2truexyzgryzcond2truexyzpycond2falsexyzcond1grxzpxyzcond2falsexyzgrxzcond2falsexyzpxgrsxsygrxytruecond2truexyzcond2gryzxpyzcond2falsexyzcond1grxzpxyzcond1truexyzcond2gryzxyztruegr0xfalsegrsx0truegrsxsygrxyp00psxxgr0x0grsx00grsx0sx1p0psx0121cond2412011142013014true011gr201141012p101121false001cond14011211420130140001s141411cond2truexyzcond2gryzxpyzcond1truexyzcond2gryzxyzcond1truexyzcond2gryzxyzfalsecond2truexyzcond2gryzxpyztrue1161cond2401141012413014true014gr201211012p1011410001false001s141411cond1truexyzgryzfalsecond2truexyzgryzfalsecond2falsexyzgrxzfalsecond2truexyzpyfalsecond2falsexyzpxfalsegrsxsygrxytruegrsxsygrxy1true12true2AProVEAProVE 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