activefgXYmarkfXfgXYmarkfX1X2activefmarkX1X2markgXactivegmarkXfmarkX1X2fX1X2fX1markX2fX1X2factiveX1X2fX1X2fX1activeX2fX1X2gmarkXgXgactiveXgX2.1activefgXYmarkfXfgXYactivefgXYfXfgXYmarkfX1X2activefmarkX1X2markfX1X2fmarkX1X2markfX1X2markX1markgXactivegmarkXmarkgXgmarkXmarkgXmarkXfmarkX1X2fX1X2fX1markX2fX1X2factiveX1X2fX1X2fX1activeX2fX1X2gmarkXgXgactiveXgXtruemarkfX1X2activefmarkX1X2activefgXYmarkfXfgXYmarkfX1X2markX1markgXactivegmarkXmarkgXmarkXtrue1g111mark11f21active11mark11g11active11markfX1X2activefmarkX1X2markfX1X2markX1markgXactivegmarkXmarkfX1X2markX1true1f21112mark111markfX1X2markX1markfX1X2markX11true1markfX1X2activefmarkX1X2falsemarkgXactivegmarkXfalseactivefgXYfXfgXYfalsemarkfX1X2fmarkX1X2falsemarkgXgmarkXfalsefX1markX2fX1X2fmarkX1X2fX1X2factiveX1X2fX1X2fX1activeX2fX1X2true1mark111active111f21112fX1markX2fX1X2fmarkX1X2fX1X2factiveX1X2fX1X2fX1activeX2fX1X2fX1markX2fX1X21false12true2fmarkX1X2fX1X21true12false2factiveX1X2fX1X21true12false2fX1activeX2fX1X21false12true2gactiveXgXgmarkXgXtrue1active111mark111g111gactiveXgXgmarkXgXgactiveXgX1true1gmarkXgX1true1AProVEAProVE 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