We have an Active/Standby pair of ASA5520 devices connected to the core with a /27 public IP address. We also have an Active/Standby pair of ASA5525-X devices connected to the core with a /28 public IP address. The default route from the core goes ...