fgXYfXn__fn__gXactivateYfX1X2n__fX1X2gXn__gXactivaten__fX1X2factivateX1X2activaten__gXgactivateXactivateXX2.1fgXYfXn__fn__gXactivateYfgXYactivateYactivaten__fX1X2factivateX1X2activaten__fX1X2activateX1activaten__gXgactivateXactivaten__gXactivateXtruefgXYactivateYactivaten__fX1X2factivateX1X2fgXYfXn__fn__gXactivateYactivaten__fX1X2activateX1activaten__gXactivateXfgXYfXn__fn__gXactivateYfX1X2n__fX1X2gXn__gXactivaten__fX1X2factivateX1X2activaten__gXgactivateXactivateXXfgXYactivateYactivaten__fX1X2factivateX1X2fgXYfXn__fn__gXactivateYactivaten__fX1X2activateX1fgXYfXn__fn__gXactivateYfX1X2n__fX1X2gXn__gXactivaten__fX1X2factivateX1X2activaten__gXgactivateXactivateXXfgXYactivateYactivaten__fX1X2factivateX1X2fgXYfXn__fn__gXactivateYfgXYfXn__fn__gXactivateYfX1X2n__fX1X2gXn__gXactivaten__fX1X2factivateX1X2activaten__gXgactivateXactivateXXactivaten__fX1X2factivateX1X21activaten__fn__fx0x1y1ffactivatex0x1y1activaten__fn__gx0y1fgactivatex0y1activaten__fx0y1fx0y1activaten__fn__ggXy1activaten__fn__gx0y1'fgactivatex0y1'fgactivategXy111activateX'X'fggXy1fgX'Y'fX'n__fn__gX'activateY'fgXn__fn__ggXactivatey1fgXYactivateYactivaten__fn__ggXactivatey1XXy1activatey1AProVEAProVE 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