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