l4l3l0l21l1x1_tmpHAT0x1_tmpHATpost_tmpHAT0_tmpHATpost2l0x1_xx1_x1_x_x13l2x1_x2x1_x3_x2_x34l0x1_x4x1_x5_x5_x55l3x1_x6x1_x7_x6_x72.1l4l4x1x1l3l3x1x1l0l0x1x1l2l2x1x1AProVEAProVE Commit ID: unknownStatistics for single proof: 100.00 % (2 real / 0 unknown / 0 assumptions / 2 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe