R1 Configuration:
R1#sh run | s r erouter eigrp 10network 10.1.12.1 0.0.0.0network 10.1.13.1 0.0.0.0redistribute static metric 1500 0 255 1 1500
R1#sh run | s r orouter ospf 10redistribute static subnetsnetwork 10.1.12.1 0.0.0.0 area 0network 10.1....