Let a₁​={1}, aₙ₊₁={3k,3k+1:k∈aₙ​} for all n≥1, and a=⋃ₙ₌₁[infinity]​aₙ. Can 2017 be written as the sum of two elements of a?