fXn__gXYfactivateYactivateYactivateYgbcbcgXn__gXactivaten__gXgXactivateXX2.1fXn__gXYfactivateYactivateYactivateYfXn__gXYactivateYactivaten__gXgXtruefXn__gXYfactivateYactivateYactivateYfXn__gXYfactivateYactivateYactivateYgbcbcgXn__gXactivaten__gXgXactivateXXfcn__gcn__gbfcn__gcn__gbx0cfx0n__gx0n__gbx0cfcn__gcn__gbx0cfx0n__gx0n__gbfcn__gcn__gbfx0n__gx0n__gbfcn__gcactivaten__gbfx0n__gx0n__gbfcactivaten__gcactivaten__gbfx0n__gx0n__gbfcactivaten__gbactivaten__gbfx1n__gx1n__gbfcactivaten__gbactivaten__gbfx1n__gx1n__gbfgbactivaten__gbactivaten__gbfx1n__gx1n__gx0fgx0activaten__gx0activaten__gx0fx1n__gx1n__gy0fgy0activaten__gy0activaten__gy0fx1n__gx1n__gy0factivaten__gy0activaten__gy0activaten__gy0fx1n__gx1x0factivatex0activatex0activatex0fXn__gXYfactivateYactivateYactivateYfXn__gXYfactivateYactivateYactivateYtrueYx0Xx1x0n__gy0activaten__gy0gy0activaten__gXgXactivaten__gXgXfalseXy01y0x0x1x1x0bgbcgbcfalse1x1x0bcbcfalse211activaten__gcn__gcactivatey0y0activateXXactivateXXfalseXy0y0n__gc2activaten__gbn__gbactivatey0y0activateXXactivateXXfalseXy0y0n__gb3x0cx0cx0c10AProVEunknownStatistics for single proof: 100,00 % (3 real / 0 unknown / 0 assumptions / 3 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe