Yesterday I tried to do so, and it doesnt let you choose how many olympiad tokens you want to change but it let you change them 1 by 1
Dear user, The exchange will be provided within 24 hours. Bug report has been already sent to the developers. Have a nice day! Just need to write a ticket with transfer tokens to fame