Prefix 525 in Mauritius

Data for prefix 525 as published in Mauritius's official numbering plan — the original allocation, not any specific number's current carrier, since numbers can be ported.