[3, 4, 7, 8, 11, 15, 23, 24, 25] have been done.