-- -*- M2-comint -*- {* hash: -1458680307 *} i1 : x ..< z o1 = (x, y) o1 : Sequence i2 : x ..< C o2 = (x, y, z, A, B) o2 : Sequence i3 :
-- -*- M2-comint -*- {* hash: -1458680307 *} i1 : x ..< z o1 = (x, y) o1 : Sequence i2 : x ..< C o2 = (x, y, z, A, B) o2 : Sequence i3 :