example civic.json file