Vector<int>
[v_1, …, v_2]
-/-
simple
DomainId, Range1, Range2
DomainIds
The RangeStart together with the DomainIds defines the lattices. It indicates the starting indices for the copies listed in the DomainIds.