Configuring and Verifying Single-Area OSPF