Data-Locations = Int-Locations \/ FinSeq-Locations