leaders turn_years civilizations seasons game_type game_victory_type technologies traits game civilization_leaders leader_pools leader_traits starting_technologies game_participants game_wars flyway_schema_history