DomainStartStopLength
1ltlE01 4 93 89
1ltlE02 94 123 29
1ltlE02 173 242 69
1ltlE03 124 172 48