F-theory, SO(32) and Toric Geometry | Arena Library | Arena