fromXconsXlength0lengthslength1length1length2.1lengthslength1length1lengthlengthlength1lengthlength1length1lengthtruelengthlength1length1lengthlength1length1lengthlengthlengthlength1length1AProVEunknownStatistics for single proof: 100,00 % (6 real / 0 unknown / 0 assumptions / 6 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe