hard coded. As are which flags get shown on the various nation pick pages (e.g. for random battles, encyclopaedia).
Green and Red are provided for user modifications, though the batlocs (which are hardcoded) for these will provide some variations (as described in the GG).