CHECK: Set A [ 0 2 4 5 6 8 9 ] CHECK-NEXT: Set B [ 0 1 2 3 5 7 8 ] CHECK-NEXT: Merge(A,B) [ 0 0 1 2 2 3 4 5 5 6 7 8 8 9 ] CHECK-NEXT: Union(A,B) [ 0 1 2 3 4 5 6 7 8 9 ] CHECK-NEXT: Intersection(A,B) [ 0 2 5 8 ] CHECK-NEXT: Difference(A,B) [ 4 6 9 ] CHECK-NEXT: SymmetricDifference(A,B) [ 1 3 4 6 7 9 ] CHECK-NEXT: SetIntersectionSize(A,B) 4