intersect_pre: [t0_intersect: (elements == _id(elements,"elements"))]
intersect_pre: [t0_intersect: (elements.length == 10)]
intersect_pre: [t0_intersect: (size == 4)]
intersect_pre: [t0_intersect: (elements[0] == 1)]
intersect_pre: [t0_intersect: (elements[1] == 2)]
intersect_pre: [t0_intersect: (elements[2] == 3)]
intersect_pre: [t0_intersect: (elements[3] == 4)]
intersect_pre: [t0_intersect: (s == _id(s,"s"))]
intersect_pre: [t0_intersect: (s.elements == _id(s.elements,"s.elements"))]
intersect_pre: [t0_intersect: (s.elements.length == 10)]
intersect_pre: [t0_intersect: (s.size == 3)]
intersect_pre: [t0_intersect: (s.elements[0] == 5)]
intersect_pre: [t0_intersect: (s.elements[1] == 6)]
intersect_pre: [t0_intersect: (s.elements[2] == 7)]
intersect_post: [t0_intersect: (size == 0)]
intersect_pre: [t1_intersect: (elements == _id(elements,"elements"))]
intersect_pre: [t1_intersect: (elements.length == 10)]
intersect_pre: [t1_intersect: (size == 4)]
intersect_pre: [t1_intersect: (elements[0] == 1)]
intersect_pre: [t1_intersect: (elements[1] == 2)]
intersect_pre: [t1_intersect: (elements[2] == 3)]
intersect_pre: [t1_intersect: (elements[3] == 4)]
intersect_pre: [t1_intersect: (s == _id(s,"s"))]
intersect_pre: [t1_intersect: (s.elements == _id(s.elements,"s.elements"))]
intersect_pre: [t1_intersect: (s.elements.length == 10)]
intersect_pre: [t1_intersect: (s.size == 3)]
intersect_pre: [t1_intersect: (s.elements[0] == 4)]
intersect_pre: [t1_intersect: (s.elements[1] == 5)]
intersect_pre: [t1_intersect: (s.elements[2] == 5)]
intersect_post: [t1_intersect: (size == 1)]
intersect_post: [t1_intersect: (elements[0] == 4)]
intersect_pre: [t2_intersect: (elements == _id(elements,"elements"))]
intersect_pre: [t2_intersect: (elements.length == 10)]
intersect_pre: [t2_intersect: (size == 4)]
intersect_pre: [t2_intersect: (elements[0] == 1)]
intersect_pre: [t2_intersect: (elements[1] == 2)]
intersect_pre: [t2_intersect: (elements[2] == 2)]
intersect_pre: [t2_intersect: (elements[3] == 4)]
intersect_pre: [t2_intersect: (s == _id(s,"s"))]
intersect_pre: [t2_intersect: (s.elements == _id(s.elements,"s.elements"))]
intersect_pre: [t2_intersect: (s.elements.length == 10)]
intersect_pre: [t2_intersect: (s.size == 3)]
intersect_pre: [t2_intersect: (s.elements[0] == 1)]
intersect_pre: [t2_intersect: (s.elements[1] == 2)]
intersect_pre: [t2_intersect: (s.elements[2] == 5)]
intersect_post: [t2_intersect: (size == 2)]
intersect_post: [t2_intersect: (elements[0] == 1)]
intersect_post: [t2_intersect: (elements[1] == 2)]
intersect_pre: [t3_intersect: (elements == _id(elements,"elements"))]
intersect_pre: [t3_intersect: (elements.length == 10)]
intersect_pre: [t3_intersect: (size == 4)]
intersect_pre: [t3_intersect: (elements[0] == 1)]
intersect_pre: [t3_intersect: (elements[1] == 2)]
intersect_pre: [t3_intersect: (elements[2] == 2)]
intersect_pre: [t3_intersect: (elements[3] == 4)]
intersect_pre: [t3_intersect: (s == _id(s,"s"))]
intersect_pre: [t3_intersect: (s.elements == _id(s.elements,"s.elements"))]
intersect_pre: [t3_intersect: (s.elements.length == 10)]
intersect_pre: [t3_intersect: (s.size == 4)]
intersect_pre: [t3_intersect: (s.elements[0] == 2)]
intersect_pre: [t3_intersect: (s.elements[1] == 2)]
intersect_pre: [t3_intersect: (s.elements[2] == 2)]
intersect_pre: [t3_intersect: (s.elements[3] == 1)]
intersect_post: [t3_intersect: (size == 3)]
intersect_post: [t3_intersect: (elements[0] == 1)]
intersect_post: [t3_intersect: (elements[1] == 2)]
intersect_post: [t3_intersect: (elements[2] == 2)]