fx1nccx1cfx1fccx1ccx1cx1nsx1fssx1nfx1fnx12.1fx1ccnx1fcx1ccfx1ccx1cx1snx1ssfx1fnx1nfx1fx1ccnx1fx1cnx1fcx1ccfx1fcx1cfx1fcx1fx1snx1ssfx1snx1sfx1snx1fx1fnx1fx1truesnx1sfx1snx1ssfx1true1s1-121f121c10n1221s1-2snx1fx1falsefnx1fx1fcx1fx1true1n111c111f111fnx1fx1fcx1fx1fnx1fx11true1fcx1fx11true1fx1ccnx1falsefx1cnx1falsefcx1ccfx1falsefcx1cfx1falseAProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (7 real / 0 unknown / 0 assumptions / 7 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe