disjoint-vcmp.mir 11.9 KB