<?php
/**
 * This file is automatically @generated by {@link GeneratePhonePrefixData}.
 * Please don't modify it directly.
 */

return array (
  58212 => 'Distrito Capital/Miranda/Vargas',
  58237 => 'Dependencias Federales',
);
