full a_4 *> a_4_2

full a_4 *> a_4_2