Statistics of base polytopes in F-theory | Synapse