fccayabxzabyfcfazzfbbxfyzczxfbbfayycbaabyzxbabzza0b2f1c332.1fccaz0abz1z2abz0fcfaz2z2fccaz0abz1z2ac1fcfaz2z2cfaz2z2fafbbz0fz1z2cz2z0fbbfaz1z1fbbz0fz1z2c2cz2z0fbbfaz1z1fbbfaz1z1facbaabz0z1z2babz1z1cbaabz0z1z2c3fccaz0abz1z2afbbz0fz1z2cbaabz0z1z2fccaz0abz1z2abz0fcfaz2z21c131101213c231101213c300f1141c3211f1410c3410b231112a00cbaabz0z1z2c3fccaz0abz1z2ac1fcfaz2z2cfaz2z2fafbbz0fz1z2c2cz2z0fbbfaz1z1fbbfaz1z1facbaabz0z1z2c31c131101213c231101213c300f1410c351122f1410c3310b231112a00fccaz0abz1z2ac1fcfaz2z2cfaz2z2fafccaz0abz1z2ac1fcfaz2z2cfaz2z2fafbbz0fz1z2c2cz2z0fbbfaz1z1fbbfaz1z1facbaabz0z1z2c331111c1311000000001100011000011100000000211000000003c3000000000000000000100000000020000000003c30000000000f100000000011000000001c2300000000011000110001111100000000211000000003a0000000000b200000000011000000001110011000002c331212100000000011002100100000000020000000003f12121000000021000210311101fbbz0fz1z2c2cz2z0fbbfaz1z1fbbfaz1z1fafccaz0abz1z2ac1fcfaz2z2cfaz2z2fafbbz0fz1z2c2cz2z0fbbfaz1z1fbbfaz1z1facbaabz0z1z2c3AProVEAProVE Commit ID: 156c86b7b11a18d2b8755c546857c69058ce23a8 ffrohn 20150901
Statistics for single proof: 100,00 % (6 real / 0 unknown / 0 assumptions / 6 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe