l5l4l1l0l21l1x1_xHAT0x1_xHATpost_xHATpost1_xHAT002l1x1_xx1_x1_x11_x1_x3l3x1_x2x1_x3_x2_x34_x24l0x1_x4x1_x5_x4_x51_x445l2x1_x6x1_x7_x6_x76l1x1_x8x1_x9_x105_x9_x97l4x1_x11x1_x12_x11_x122.1l5l5x1x1l4l4x1x1l1l1x1x1l0l0x1x1l2l2x1x1l1l0l2l02-1x1l13-1x1l23-1x104l00l1-1l2-2-1152AProVEAProVE Commit ID: unknownStatistics for single proof: 100.00 % (5 real / 0 unknown / 0 assumptions / 5 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe