TileID.fromJson(Map<String, dynamic> json) : x = json['x'] as int, y = json['y'] as int, z = json['z'] as int;