a_1 <a_2 <a_3 <...<a_k ((2^(289) +1)/(2^(17) +1)) = 2^a_1 +2^a_2 +...+2^a_k