YES group3@lgroup3#1@lgroup3#1::@x@xsgroup3#2@xs@xgroup3#1nilnilgroup3#2::@y@ys@xgroup3#3@ys@x@ygroup3#2nil@xnilgroup3#3::@z@zs@x@y::tuple#3@x@y@zgroup3@zsgroup3#3nil@x@ynilzip3@l1@l2@l3zip3#1@l1@l2@l3zip3#1::@x@xs@l2@l3zip3#2@l2@l3@x@xszip3#1nil@l2@l3nilzip3#2::@y@ys@l3@x@xszip3#3@l3@x@xs@y@yszip3#2nil@l3@x@xsnilzip3#3::@z@zs@x@xs@y@ys::tuple#3@x@y@zzip3@xs@ys@zszip3#3nil@x@xs@y@ysnil2.11nil091group3162group3#1101::252group3#2281group3#3313tuple#3320zip3331zip3#1370zip3#24101zip3#3542AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (2 real / 0 unknown / 0 assumptions / 2 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe