Where Do I go after I battle Taen in Alpha Ruins

what the topic says

Utira Library,most left part

Heal at a Pokemon centre before that.