Produk domestik regional bruto kabupaten/kota di Indonesia tahun 2013-2017 (Badan Pusat Statistik (BPS), 2018)