# Generated by tools/world_editor.py from world/world.json
10|7|18|20
13|7|18|20
11|9|18|10
14|9|18|10
12|12|15|5
15|12|15|5
48|10|16|10
46|10|17|10
123|13|14|5
127|13|14|5
