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