l5l6l1l3l0l21l1x1_iHAT0x1_iHATpost_iHAT0_iHATpost2l0x1_xx1_x1_x_x110_x3l3x1_x2x1_x3_x31_x21_x2104l2x1_x4x1_x5_x4_x55l4x1_x6x1_x7_x6_x76l3x1_x8x1_x9_x907l5x1_x10x1_x11_x10_x112.1l5l5x1x1l6l6x1x1l1l1x1x1l3l3x1x1l0l0x1x1l2l2x1x1l3l2l29-1x1l39-1x103l30l2-104AProVEAProVE Commit ID: unknownStatistics for single proof: 100.00 % (5 real / 0 unknown / 0 assumptions / 5 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe