appappappcompfgxappfappgxapptwicefappappcompff2.1appcomp0compcomp1comp2comp3twice0twicetwice1appcompy1comp1y1appcomp1x0y1comp2x0y1appcomp2x0x1y1comp3x0x1y1apptwicey1twice1y1comp3fgxappfappgxtwice1fcomp2ffappcompy1comp1y1appcomp1x0y1comp2x0y1appcomp2x0x1y1comp3x0x1y1apptwicey1twice1y110comp3fgxappfappgxcomp3fgxappgxappcomp2x0x1y1comp3x0x1y1apptwicey1twice1y1trueappcomp2x0x1y1comp3x0x1y1comp3fgxappfappgxcomp3fgxappgxtrueappcomp2x0x1y1comp3x0x1y11true11true22false3comp3fgxappfappgx1false1comp3fgxappgx2false13false2apptwicey1twice1y1falseAProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (5 real / 0 unknown / 0 assumptions / 5 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe