Types: a_I: int, a_O: int, a_T: int, a_J: int, a_L: int, a_S: int, a_Z: int
Ranges: 0 ≤ a_I, a_O, a_T, a_J, a_L, a_S, a_Z ≤ 10^9
Addtl Info: a_I + a_O + a_T + a_J + a_L + a_S + a_Z ≥ 1