ACL2の決勝がアルナスルやと踏んで、リヤドまでの飛行機代を調べる人いますか。