<?php
/**
 * Automatically generated by generate_prefixes.sh.
 * Edit the script, not this file!
 */

$prefixes = array(
  "0400",
  "0500",
  "0600",
  "0601",
  "0602",
  "0700",
  "0800",
  "010",
  "013",
  "014",
  "015",
  "016",
  "017",
  "018",
  "019",
  "020",
  "029",
  "030",
  "039",
  "040",
  "041",
  "042",
  "043",
  "044",
  "045",
  "046",
  "050",
  "071",
  "073",
  "075",
  "116",
  "02",
  "03",
  "05",
  "06",
  "08",
  "09");
$max_length = 12;
?>