One Gas, Inc.
One of the largest pure-play natural gas utilities in the US, ONE Gas delivers natural gas to homes and businesses through three local brands: Oklahoma Natural Gas, Kansas Gas Service, and Texas Gas Service. The company was created in 2014 when its former parent ONEOK spun off its gas distribution arm, and its roots stretch back to the Oklahoma Natural Gas Company, founded in 1906. The "One" in its name keeps the branding of ONEOK, which itself took its name from Oklahoma Natural Gas.
Estimated from filings — the split-adjusted price range over the quarters each manager built the position. A range, not a fill price; 13F reports a quarter-end snapshot, not a trade date.