a__fXa__ifmarkXcftruea__iftrueXYmarkXa__iffalseXYmarkYmarkfXa__fmarkXmarkifX1X2X3a__ifmarkX1markX2X3markccmarktruetruemarkfalsefalsea__fXfXa__ifX1X2X3ifX1X2X32.11a__f121a__if3211223mark111c00f121true00false02if3211223a__fXa__ifmarkXcftruea__iftrueXYmarkXmarkfXa__fmarkXmarkifX1X2X3a__ifmarkX1markX2X3markccmarktruetruemarkfalsefalsea__fXfXa__ifX1X2X3ifX1X2X31a__f121a__if3112223mark121c00f121true00if3112223false02a__fXa__ifmarkXcftruea__iftrueXYmarkXmarkfXa__fmarkXmarkifX1X2X3a__ifmarkX1markX2X3markccmarktruetruea__fXfXa__ifX1X2X3ifX1X2X31a__f1121a__if3112213mark121c00f1121true00if3112213a__fXa__ifmarkXcftruea__iftrueXYmarkXmarkifX1X2X3a__ifmarkX1markX2X3markccmarktruetruea__fXfXa__ifX1X2X3ifX1X2X31a__f1121a__if3212213mark111c00f121true00if3212213a__iftrueXYmarkXmarkifX1X2X3a__ifmarkX1markX2X3markccmarktruetruea__ifX1X2X3ifX1X2X31true001c031mark140a__if320if310AProVEAProVE 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