l4l1l3l0l21l1x1_iHAT0x2_jHAT0x3_nHAT0x1_iHATpostx2_jHATpostx3_nHATpost_nHAT0_nHATpost_jHAT0_jHATpost_iHATpost1_iHAT0_iHAT0_jHAT02l2x1_xx2_x1x3_x2x1_x3x2_x4x3_x5_x2_x5_x_x3_x41_x11_x1_x3l0x1_x6x2_x7x3_x8x1_x9x2_x10x3_x11_x8_x11_x7_x10_x6_x94l0x1_x12x2_x13x3_x14x1_x15x2_x16x3_x17_x14_x17_x12_x15_x1601_x12_x145l1x1_x18x2_x19x3_x20x1_x21x2_x22x3_x23_x20_x23_x19_x22_x2106l3x1_x24x2_x25x3_x26x1_x27x2_x28x3_x29_x26_x29_x25_x28_x24_x272.1l4l4x1x1x2x2x3x3l1l1x1x1x2x2x3x3l3l3x1x1x2x2x3x3l0l0x1x1x2x2x3x3l2l2x1x1x2x2x3x3l1l0l2l0-1-1x11x3l1-1x11x3l2-1-1x11x304l00l1-1l2001l2-11x1-1x2l0-11x1-1x202l20l0-103AProVEAProVE Commit ID: unknownStatistics for single proof: 100.00 % (8 real / 0 unknown / 0 assumptions / 8 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe