YES fplusxyplusfxyplusgxygplusxyplusfagbplusfbgahabhbahaggahgafahgaahagbhgabhagaplusplus2.12plus222221112f1231g1311a00b00h21211fplusxyplusfxyplusgxygplusxyhaggahgafa2plus231211f121a02g1111b00h21221habhbahgaahagb1plus231211f131a02g121b00h21221plusfagbplusfbga2plus233231212h21221g1111a00b01hgabhagaAProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (5 real / 0 unknown / 0 assumptions / 5 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe