Grant bought 30 movie tickets for a total of $200. Adult tickets cost $8 each, child tickets cost $3.50
each, and senior tickets cost $6 each. He bought twice the number of adult tickets than the number of
child and senior tickets combined. How many of each type of ticket did Grant buy?