Produk domestik regional bruto Kabupaten Manggarai menurut lapangan usaha (2013-2017) = gross regional omestic product of Manggarai regency (2013-2017) (Badan Pusat Statistik Kabupaten Manggarai, 2018)