# Generated by tools/world_editor.py from world/world.json
