..xyz.x.yzafxfaxa.xy.axyab1xb1axfbxbfx.bxyb.xyb1bxbbxaf.0xb1.f.0x.0fxaf0b1.f00f.0xb.0fxf0b0cbxcaxabxbax2.1..xyz.x.yz..xyz.yzafxfaxafxaxa.xy.axya.xyaxab1xb1axab1xaxfbxfx.bxy.xyaf.0xb1.f.0x.0fxaf.0x.f.0x.0fxaf.0x.0fxaf.0xfxaf0b1.f00af0.f00f.0x.0fxf.0xfxcbxcaxcbxaxabxaxtruecbxcaxtruecbxcax1cbfx0cfax0cb.x0x1c.ax0x1cbb1x0cb1ax0cbf.0x0cb1.f.0x0.0fx0cbf0cb1.f00cbbx0cbax0c12.20001c11b11f11a11.2b11100cbfx0cfax0cb.x0x1c.ax0x1cbb1x0cb1ax0cbf.0x0cb1.f.0x0.0fx0cbbx0cbax0afxfaxa.xy.axyab1xb1axaf.0xb1.f.0x.0fxaf0b1.f00abxbaxfbxbfxf.0xb.0fxf0b0..xyz.x.yz.bxyb.xyb1bxbbx1.20c121b11b111f12a11000cbfx0cfax0cb.x0x1c.ax0x1cbb1x0cb1ax0cbbx0cbax0afxfaxa.xy.axyab1xb1axaf.0xb1.f.0x.0fxaf0b1.f00abxbaxfbxbfxf.0xb.0fxf0b0..xyz.x.yz.bxyb.xyb1bxbbx21c10010001b10010101f11010011a10010011.2001001100002b1101100010001cbfx0cfax0cb.x0x1c.ax0x1cbbx0cbax0afxfaxa.xy.axyab1xb1axaf.0xb1.f.0x.0fxaf0b1.f00abxbaxfbxbfxf.0xb.0fxf0b0..xyz.x.yz.bxyb.xyb1bxbbx21c10000101b10100121f10010131a11020021.2001001100002b1112220110003afxfaxa.xy.axyab1xb1axaf.0xb1.f.0x.0fxaf0b1.f00abxbaxfbxbfxf.0xb.0fxf0b0..xyz.x.yz.bxyb.xyb1bxbbxcbxaxfalsea.xyaxafxaxab1xaxabxaxtrue1.21112f111b1111b111a111a.xyaxafxaxab1xaxabxaxa.xyax1true1afxax1true1ab1xax1true1abxax1true1afxfaxfalseaf.0xfxfalsef.0xfxfbxfxtrue1.21112000b111f111f.0xfxfbxfxf.0xfx1true1fbxfx1true1a.xy.axyfalseaf.0x.f.0x.0fxfalseaf.0x.0fxfalseaf0.f00falsef.0x.0fxfalse..xyz.yz..xyz.x.yz.bxy.xytrue1.21112b111.21112..xyz.yz..xyz.x.yz.bxy.xy..xyz.x.yz.bxyb.xy..xyz.x.yz.bxyb.xy..xyz.yz1true12false2..xyz.x.yz1true1.bxy.xy1true12false2ab1xb1axfalseaf.0xb1.f.0x.0fxfalseaf0b1.f00falseAProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (14 real / 0 unknown / 0 assumptions / 14 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe