l1l3l0l21l1x1_xHAT0x1_xHATpost1_xHATpost_xHATpost-1_xHAT02l0x1_xx1_x1_x_x13l0x1_x2x1_x3_x2_x31_x24l2x1_x4x1_x5_x4_x52.1l1l1x1x1l3l3x1x1l0l0x1x1l2l2x1x1l1l0l0-11x1l1-11x101l10l0-102AProVEAProVE Commit ID: unknownStatistics for single proof: 100.00 % (5 real / 0 unknown / 0 assumptions / 5 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe