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