l4l7l6l1l3l0l21l1x1___const_42HAT0x2_i1HAT0x1___const_42HATpostx2_i1HATpost___const_42HAT0___const_42HATpost_i1HATpost1_i1HAT02l0x1_xx2_x1x1_x2x2_x3_x1_x3_x_x23l2x1_x4x2_x5x1_x6x2_x7_x5_x7_x4_x64l0x1_x8x2_x9x1_x10x2_x11_x9_x11_x8_x105l5x1_x12x2_x13x1_x14x2_x15_x13_x15_x12_x14_x12_x136l3x1_x16x2_x17x1_x18x2_x19_x17_x19_x16_x181_x17_x167l4x1_x20x2_x21x1_x22x2_x23_x21_x23_x20_x228l1x1_x24x2_x25x1_x26x2_x27_x24_x26_x2709l6x1_x28x2_x29x1_x30x2_x31_x29_x31_x28_x302.1l4l4x1x1x2x2l7l7x1x1x2x2l6l6x1x1x2x2l1l1x1x1x2x2l3l3x1x1x2x2l0l0x1x1x2x2l2l2x1x1x2x2l4l1l3l0l2l0-21x1-1x2l1-11x1-1x2l3-21x1-1x2l2-21x1-1x2l4-11x1-1x206l02l11l34l23l40014237AProVEAProVE Commit ID: unknownStatistics for single proof: 100.00 % (5 real / 0 unknown / 0 assumptions / 5 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe