Thank you! Initially it was GeoJSON, but for me it was inconvenient to use, so I made some changes. So now it just resembles GeoJSON without being compatible with anything.
thanks ! I use the php script of Tom (https://itch.io/profile/lemuriaorg) to convert your json export to valid geojson. By the way where the hack did you learn that language of your source code ? :P