{"run_id":"20261023T084703Z-18608f","gallery":true,"request":"Arista EOS, 4 spines and 6 leaves, spines in AS 65100, leaves from AS 65200 upward, block telnet to every switch from anywhere","verifier":"batfish-local","state":"DONE","finished":true,"outcome":"passed","score":1.0,"repair_rounds":1,"cost_usd":0.013009979999999999,"fabric":{"platform":"arista_eos","spines":4,"leaves":6},"docs":[],"explanation":"The verification is a Level 2 static analysis using Batfish, which checks network configurations for correctness without executing them. All 211 checks passed (score 1.0), with no failed or unrecognized lines, and the verifier completed in 12 seconds. No items remained unverified.","unverifiable":[],"level":"L2","checks":[{"id":"parse_clean:spine1","kind":"parse_clean","passed":true},{"id":"no_undefined_refs:spine1","kind":"no_undefined_refs","passed":true},{"id":"parse_clean:spine2","kind":"parse_clean","passed":true},{"id":"no_undefined_refs:spine2","kind":"no_undefined_refs","passed":true},{"id":"parse_clean:spine3","kind":"parse_clean","passed":true},{"id":"no_undefined_refs:spine3","kind":"no_undefined_refs","passed":true},{"id":"parse_clean:spine4","kind":"parse_clean","passed":true},{"id":"no_undefined_refs:spine4","kind":"no_undefined_refs","passed":true},{"id":"parse_clean:leaf1","kind":"parse_clean","passed":true},{"id":"no_undefined_refs:leaf1","kind":"no_undefined_refs","passed":true},{"id":"parse_clean:leaf2","kind":"parse_clean","passed":true},{"id":"no_undefined_refs:leaf2","kind":"no_undefined_refs","passed":true},{"id":"parse_clean:leaf3","kind":"parse_clean","passed":true},{"id":"no_undefined_refs:leaf3","kind":"no_undefined_refs","passed":true},{"id":"parse_clean:leaf4","kind":"parse_clean","passed":true},{"id":"no_undefined_refs:leaf4","kind":"no_undefined_refs","passed":true},{"id":"parse_clean:leaf5","kind":"parse_clean","passed":true},{"id":"no_undefined_refs:leaf5","kind":"no_undefined_refs","passed":true},{"id":"parse_clean:leaf6","kind":"parse_clean","passed":true},{"id":"no_undefined_refs:leaf6","kind":"no_undefined_refs","passed":true},{"id":"bgp_compatible:leaf1--spine1","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf1--spine1","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf1--spine2","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf1--spine2","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf1--spine3","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf1--spine3","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf1--spine4","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf1--spine4","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf2--spine1","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf2--spine1","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf2--spine2","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf2--spine2","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf2--spine3","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf2--spine3","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf2--spine4","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf2--spine4","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf3--spine1","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf3--spine1","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf3--spine2","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf3--spine2","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf3--spine3","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf3--spine3","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf3--spine4","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf3--spine4","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf4--spine1","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf4--spine1","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf4--spine2","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf4--spine2","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf4--spine3","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf4--spine3","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf4--spine4","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf4--spine4","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf5--spine1","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf5--spine1","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf5--spine2","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf5--spine2","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf5--spine3","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf5--spine3","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf5--spine4","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf5--spine4","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf6--spine1","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf6--spine1","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf6--spine2","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf6--spine2","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf6--spine3","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf6--spine3","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf6--spine4","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf6--spine4","kind":"bgp_established","passed":true},{"id":"l3_edges:leaf1[Ethernet1]--spine1[Ethernet1]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf1[Ethernet2]--spine2[Ethernet1]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf1[Ethernet3]--spine3[Ethernet1]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf1[Ethernet4]--spine4[Ethernet1]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf2[Ethernet1]--spine1[Ethernet2]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf2[Ethernet2]--spine2[Ethernet2]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf2[Ethernet3]--spine3[Ethernet2]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf2[Ethernet4]--spine4[Ethernet2]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf3[Ethernet1]--spine1[Ethernet3]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf3[Ethernet2]--spine2[Ethernet3]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf3[Ethernet3]--spine3[Ethernet3]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf3[Ethernet4]--spine4[Ethernet3]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf4[Ethernet1]--spine1[Ethernet4]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf4[Ethernet2]--spine2[Ethernet4]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf4[Ethernet3]--spine3[Ethernet4]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf4[Ethernet4]--spine4[Ethernet4]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf5[Ethernet1]--spine1[Ethernet5]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf5[Ethernet2]--spine2[Ethernet5]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf5[Ethernet3]--spine3[Ethernet5]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf5[Ethernet4]--spine4[Ethernet5]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf6[Ethernet1]--spine1[Ethernet6]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf6[Ethernet2]--spine2[Ethernet6]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf6[Ethernet3]--spine3[Ethernet6]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf6[Ethernet4]--spine4[Ethernet6]","kind":"l3_edges","passed":true},{"id":"route_present:spine1:10.0.1.1/32","kind":"route_present","passed":true},{"id":"route_present:spine1:10.0.1.2/32","kind":"route_present","passed":true},{"id":"route_present:spine1:10.0.1.3/32","kind":"route_present","passed":true},{"id":"route_present:spine1:10.0.1.4/32","kind":"route_present","passed":true},{"id":"route_present:spine1:10.0.1.5/32","kind":"route_present","passed":true},{"id":"route_present:spine1:10.0.1.6/32","kind":"route_present","passed":true},{"id":"route_present:spine2:10.0.1.1/32","kind":"route_present","passed":true},{"id":"route_present:spine2:10.0.1.2/32","kind":"route_present","passed":true},{"id":"route_present:spine2:10.0.1.3/32","kind":"route_present","passed":true},{"id":"route_present:spine2:10.0.1.4/32","kind":"route_present","passed":true},{"id":"route_present:spine2:10.0.1.5/32","kind":"route_present","passed":true},{"id":"route_present:spine2:10.0.1.6/32","kind":"route_present","passed":true},{"id":"route_present:spine3:10.0.1.1/32","kind":"route_present","passed":true},{"id":"route_present:spine3:10.0.1.2/32","kind":"route_present","passed":true},{"id":"route_present:spine3:10.0.1.3/32","kind":"route_present","passed":true},{"id":"route_present:spine3:10.0.1.4/32","kind":"route_present","passed":true},{"id":"route_present:spine3:10.0.1.5/32","kind":"route_present","passed":true},{"id":"route_present:spine3:10.0.1.6/32","kind":"route_present","passed":true},{"id":"route_present:spine4:10.0.1.1/32","kind":"route_present","passed":true},{"id":"route_present:spine4:10.0.1.2/32","kind":"route_present","passed":true},{"id":"route_present:spine4:10.0.1.3/32","kind":"route_present","passed":true},{"id":"route_present:spine4:10.0.1.4/32","kind":"route_present","passed":true},{"id":"route_present:spine4:10.0.1.5/32","kind":"route_present","passed":true},{"id":"route_present:spine4:10.0.1.6/32","kind":"route_present","passed":true},{"id":"route_present:leaf1:10.0.0.1/32","kind":"route_present","passed":true},{"id":"route_present:leaf1:10.0.0.2/32","kind":"route_present","passed":true},{"id":"route_present:leaf1:10.0.0.3/32","kind":"route_present","passed":true},{"id":"route_present:leaf1:10.0.0.4/32","kind":"route_present","passed":true},{"id":"route_present:leaf1:10.0.1.2/32","kind":"route_present","passed":true},{"id":"route_present:leaf1:10.0.1.3/32","kind":"route_present","passed":true},{"id":"route_present:leaf1:10.0.1.4/32","kind":"route_present","passed":true},{"id":"route_present:leaf1:10.0.1.5/32","kind":"route_present","passed":true},{"id":"route_present:leaf1:10.0.1.6/32","kind":"route_present","passed":true},{"id":"route_present:leaf2:10.0.0.1/32","kind":"route_present","passed":true},{"id":"route_present:leaf2:10.0.0.2/32","kind":"route_present","passed":true},{"id":"route_present:leaf2:10.0.0.3/32","kind":"route_present","passed":true},{"id":"route_present:leaf2:10.0.0.4/32","kind":"route_present","passed":true},{"id":"route_present:leaf2:10.0.1.1/32","kind":"route_present","passed":true},{"id":"route_present:leaf2:10.0.1.3/32","kind":"route_present","passed":true},{"id":"route_present:leaf2:10.0.1.4/32","kind":"route_present","passed":true},{"id":"route_present:leaf2:10.0.1.5/32","kind":"route_present","passed":true},{"id":"route_present:leaf2:10.0.1.6/32","kind":"route_present","passed":true},{"id":"route_present:leaf3:10.0.0.1/32","kind":"route_present","passed":true},{"id":"route_present:leaf3:10.0.0.2/32","kind":"route_present","passed":true},{"id":"route_present:leaf3:10.0.0.3/32","kind":"route_present","passed":true},{"id":"route_present:leaf3:10.0.0.4/32","kind":"route_present","passed":true},{"id":"route_present:leaf3:10.0.1.1/32","kind":"route_present","passed":true},{"id":"route_present:leaf3:10.0.1.2/32","kind":"route_present","passed":true},{"id":"route_present:leaf3:10.0.1.4/32","kind":"route_present","passed":true},{"id":"route_present:leaf3:10.0.1.5/32","kind":"route_present","passed":true},{"id":"route_present:leaf3:10.0.1.6/32","kind":"route_present","passed":true},{"id":"route_present:leaf4:10.0.0.1/32","kind":"route_present","passed":true},{"id":"route_present:leaf4:10.0.0.2/32","kind":"route_present","passed":true},{"id":"route_present:leaf4:10.0.0.3/32","kind":"route_present","passed":true},{"id":"route_present:leaf4:10.0.0.4/32","kind":"route_present","passed":true},{"id":"route_present:leaf4:10.0.1.1/32","kind":"route_present","passed":true},{"id":"route_present:leaf4:10.0.1.2/32","kind":"route_present","passed":true},{"id":"route_present:leaf4:10.0.1.3/32","kind":"route_present","passed":true},{"id":"route_present:leaf4:10.0.1.5/32","kind":"route_present","passed":true},{"id":"route_present:leaf4:10.0.1.6/32","kind":"route_present","passed":true},{"id":"route_present:leaf5:10.0.0.1/32","kind":"route_present","passed":true},{"id":"route_present:leaf5:10.0.0.2/32","kind":"route_present","passed":true},{"id":"route_present:leaf5:10.0.0.3/32","kind":"route_present","passed":true},{"id":"route_present:leaf5:10.0.0.4/32","kind":"route_present","passed":true},{"id":"route_present:leaf5:10.0.1.1/32","kind":"route_present","passed":true},{"id":"route_present:leaf5:10.0.1.2/32","kind":"route_present","passed":true},{"id":"route_present:leaf5:10.0.1.3/32","kind":"route_present","passed":true},{"id":"route_present:leaf5:10.0.1.4/32","kind":"route_present","passed":true},{"id":"route_present:leaf5:10.0.1.6/32","kind":"route_present","passed":true},{"id":"route_present:leaf6:10.0.0.1/32","kind":"route_present","passed":true},{"id":"route_present:leaf6:10.0.0.2/32","kind":"route_present","passed":true},{"id":"route_present:leaf6:10.0.0.3/32","kind":"route_present","passed":true},{"id":"route_present:leaf6:10.0.0.4/32","kind":"route_present","passed":true},{"id":"route_present:leaf6:10.0.1.1/32","kind":"route_present","passed":true},{"id":"route_present:leaf6:10.0.1.2/32","kind":"route_present","passed":true},{"id":"route_present:leaf6:10.0.1.3/32","kind":"route_present","passed":true},{"id":"route_present:leaf6:10.0.1.4/32","kind":"route_present","passed":true},{"id":"route_present:leaf6:10.0.1.5/32","kind":"route_present","passed":true},{"id":"reachability:leaf1->leaf2","kind":"reachability","passed":true},{"id":"reachability:leaf1->leaf3","kind":"reachability","passed":true},{"id":"reachability:leaf1->leaf4","kind":"reachability","passed":true},{"id":"reachability:leaf1->leaf5","kind":"reachability","passed":true},{"id":"reachability:leaf1->leaf6","kind":"reachability","passed":true},{"id":"reachability:leaf2->leaf1","kind":"reachability","passed":true},{"id":"reachability:leaf2->leaf3","kind":"reachability","passed":true},{"id":"reachability:leaf2->leaf4","kind":"reachability","passed":true},{"id":"reachability:leaf2->leaf5","kind":"reachability","passed":true},{"id":"reachability:leaf2->leaf6","kind":"reachability","passed":true},{"id":"reachability:leaf3->leaf1","kind":"reachability","passed":true},{"id":"reachability:leaf3->leaf2","kind":"reachability","passed":true},{"id":"reachability:leaf3->leaf4","kind":"reachability","passed":true},{"id":"reachability:leaf3->leaf5","kind":"reachability","passed":true},{"id":"reachability:leaf3->leaf6","kind":"reachability","passed":true},{"id":"reachability:leaf4->leaf1","kind":"reachability","passed":true},{"id":"reachability:leaf4->leaf2","kind":"reachability","passed":true},{"id":"reachability:leaf4->leaf3","kind":"reachability","passed":true},{"id":"reachability:leaf4->leaf5","kind":"reachability","passed":true},{"id":"reachability:leaf4->leaf6","kind":"reachability","passed":true},{"id":"reachability:leaf5->leaf1","kind":"reachability","passed":true},{"id":"reachability:leaf5->leaf2","kind":"reachability","passed":true},{"id":"reachability:leaf5->leaf3","kind":"reachability","passed":true},{"id":"reachability:leaf5->leaf4","kind":"reachability","passed":true},{"id":"reachability:leaf5->leaf6","kind":"reachability","passed":true},{"id":"reachability:leaf6->leaf1","kind":"reachability","passed":true},{"id":"reachability:leaf6->leaf2","kind":"reachability","passed":true},{"id":"reachability:leaf6->leaf3","kind":"reachability","passed":true},{"id":"reachability:leaf6->leaf4","kind":"reachability","passed":true},{"id":"reachability:leaf6->leaf5","kind":"reachability","passed":true},{"id":"filter_denies:spine1:tcp/23","kind":"filter_denies","passed":true},{"id":"filter_denies:spine2:tcp/23","kind":"filter_denies","passed":true},{"id":"filter_denies:spine3:tcp/23","kind":"filter_denies","passed":true},{"id":"filter_denies:spine4:tcp/23","kind":"filter_denies","passed":true},{"id":"filter_denies:leaf1:tcp/23","kind":"filter_denies","passed":true},{"id":"filter_denies:leaf2:tcp/23","kind":"filter_denies","passed":true},{"id":"filter_denies:leaf3:tcp/23","kind":"filter_denies","passed":true},{"id":"filter_denies:leaf4:tcp/23","kind":"filter_denies","passed":true},{"id":"filter_denies:leaf5:tcp/23","kind":"filter_denies","passed":true},{"id":"filter_denies:leaf6:tcp/23","kind":"filter_denies","passed":true},{"id":"no_forwarding_loops","kind":"no_forwarding_loops","passed":true}],"configs":{"leaf1":"hostname leaf1\nservice routing protocols model multi-agent\nip routing\nip access-list TELNET_BLOCK\n deny tcp any any eq 23\n permit ip any any\ninterface Loopback0\n ip address 10.0.1.1/32\ninterface Ethernet1\n no switchport\n ip address 10.1.0.1/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet2\n no switchport\n ip address 10.1.0.3/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet3\n no switchport\n ip address 10.1.0.5/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet4\n no switchport\n ip address 10.1.0.7/31\n ip access-group TELNET_BLOCK in\nrouter bgp 65200\n router-id 10.0.1.1\n neighbor 10.1.0.0 remote-as 65100\n neighbor 10.1.0.2 remote-as 65100\n neighbor 10.1.0.4 remote-as 65100\n neighbor 10.1.0.6 remote-as 65100\n network 10.0.1.1/32\n","leaf2":"hostname leaf2\nservice routing protocols model multi-agent\nip routing\nip access-list TELNET_BLOCK\n deny tcp any any eq 23\n permit ip any any\ninterface Loopback0\n ip address 10.0.1.2/32\ninterface Ethernet1\n no switchport\n ip address 10.1.0.17/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet2\n no switchport\n ip address 10.1.0.19/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet3\n no switchport\n ip address 10.1.0.21/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet4\n no switchport\n ip address 10.1.0.23/31\n ip access-group TELNET_BLOCK in\nrouter bgp 65201\n router-id 10.0.1.2\n neighbor 10.1.0.16 remote-as 65100\n neighbor 10.1.0.18 remote-as 65100\n neighbor 10.1.0.20 remote-as 65100\n neighbor 10.1.0.22 remote-as 65100\n network 10.0.1.2/32\n","leaf3":"hostname leaf3\nservice routing protocols model multi-agent\nip routing\nip access-list TELNET_BLOCK\n deny tcp any any eq 23\n permit ip any any\ninterface Loopback0\n ip address 10.0.1.3/32\ninterface Ethernet1\n no switchport\n ip address 10.1.0.33/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet2\n no switchport\n ip address 10.1.0.35/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet3\n no switchport\n ip address 10.1.0.37/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet4\n no switchport\n ip address 10.1.0.39/31\n ip access-group TELNET_BLOCK in\nrouter bgp 65202\n router-id 10.0.1.3\n neighbor 10.1.0.32 remote-as 65100\n neighbor 10.1.0.34 remote-as 65100\n neighbor 10.1.0.36 remote-as 65100\n neighbor 10.1.0.38 remote-as 65100\n network 10.0.1.3/32\n","leaf4":"hostname leaf4\nservice routing protocols model multi-agent\nip routing\nip access-list TELNET_BLOCK\n deny tcp any any eq 23\n permit ip any any\ninterface Loopback0\n ip address 10.0.1.4/32\ninterface Ethernet1\n no switchport\n ip address 10.1.0.49/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet2\n no switchport\n ip address 10.1.0.51/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet3\n no switchport\n ip address 10.1.0.53/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet4\n no switchport\n ip address 10.1.0.55/31\n ip access-group TELNET_BLOCK in\nrouter bgp 65203\n router-id 10.0.1.4\n neighbor 10.1.0.48 remote-as 65100\n neighbor 10.1.0.50 remote-as 65100\n neighbor 10.1.0.52 remote-as 65100\n neighbor 10.1.0.54 remote-as 65100\n network 10.0.1.4/32\n","leaf5":"hostname leaf5\nservice routing protocols model multi-agent\nip routing\nip access-list TELNET_BLOCK\n deny tcp any any eq 23\n permit ip any any\ninterface Loopback0\n ip address 10.0.1.5/32\ninterface Ethernet1\n no switchport\n ip address 10.1.0.65/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet2\n no switchport\n ip address 10.1.0.67/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet3\n no switchport\n ip address 10.1.0.69/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet4\n no switchport\n ip address 10.1.0.71/31\n ip access-group TELNET_BLOCK in\nrouter bgp 65204\n router-id 10.0.1.5\n neighbor 10.1.0.64 remote-as 65100\n neighbor 10.1.0.66 remote-as 65100\n neighbor 10.1.0.68 remote-as 65100\n neighbor 10.1.0.70 remote-as 65100\n network 10.0.1.5/32\n","leaf6":"hostname leaf6\nservice routing protocols model multi-agent\nip routing\nip access-list TELNET_BLOCK\n deny tcp any any eq 23\n permit ip any any\ninterface Loopback0\n ip address 10.0.1.6/32\ninterface Ethernet1\n no switchport\n ip address 10.1.0.81/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet2\n no switchport\n ip address 10.1.0.83/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet3\n no switchport\n ip address 10.1.0.85/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet4\n no switchport\n ip address 10.1.0.87/31\n ip access-group TELNET_BLOCK in\nrouter bgp 65205\n router-id 10.0.1.6\n neighbor 10.1.0.80 remote-as 65100\n neighbor 10.1.0.82 remote-as 65100\n neighbor 10.1.0.84 remote-as 65100\n neighbor 10.1.0.86 remote-as 65100\n network 10.0.1.6/32\n","spine1":"hostname spine1\nservice routing protocols model multi-agent\nip routing\nip access-list TELNET_BLOCK\n deny tcp any any eq 23\n permit ip any any\ninterface Loopback0\n ip address 10.0.0.1/32\ninterface Ethernet1\n no switchport\n ip address 10.1.0.0/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet2\n no switchport\n ip address 10.1.0.16/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet3\n no switchport\n ip address 10.1.0.32/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet4\n no switchport\n ip address 10.1.0.48/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet5\n no switchport\n ip address 10.1.0.64/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet6\n no switchport\n ip address 10.1.0.80/31\n ip access-group TELNET_BLOCK in\nrouter bgp 65100\n router-id 10.0.0.1\n neighbor 10.1.0.1 remote-as 65200\n neighbor 10.1.0.17 remote-as 65201\n neighbor 10.1.0.33 remote-as 65202\n neighbor 10.1.0.49 remote-as 65203\n neighbor 10.1.0.65 remote-as 65204\n neighbor 10.1.0.81 remote-as 65205\n network 10.0.0.1/32\n","spine2":"hostname spine2\nservice routing protocols model multi-agent\nip routing\nip access-list TELNET_BLOCK\n deny tcp any any eq 23\n permit ip any any\ninterface Loopback0\n ip address 10.0.0.2/32\ninterface Ethernet1\n no switchport\n ip address 10.1.0.2/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet2\n no switchport\n ip address 10.1.0.18/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet3\n no switchport\n ip address 10.1.0.34/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet4\n no switchport\n ip address 10.1.0.50/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet5\n no switchport\n ip address 10.1.0.66/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet6\n no switchport\n ip address 10.1.0.82/31\n ip access-group TELNET_BLOCK in\nrouter bgp 65100\n router-id 10.0.0.2\n neighbor 10.1.0.3 remote-as 65200\n neighbor 10.1.0.19 remote-as 65201\n neighbor 10.1.0.35 remote-as 65202\n neighbor 10.1.0.51 remote-as 65203\n neighbor 10.1.0.67 remote-as 65204\n neighbor 10.1.0.83 remote-as 65205\n network 10.0.0.2/32\n","spine3":"hostname spine3\nservice routing protocols model multi-agent\nip routing\nip access-list TELNET_BLOCK\n deny tcp any any eq 23\n permit ip any any\ninterface Loopback0\n ip address 10.0.0.3/32\ninterface Ethernet1\n no switchport\n ip address 10.1.0.4/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet2\n no switchport\n ip address 10.1.0.20/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet3\n no switchport\n ip address 10.1.0.36/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet4\n no switchport\n ip address 10.1.0.52/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet5\n no switchport\n ip address 10.1.0.68/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet6\n no switchport\n ip address 10.1.0.84/31\n ip access-group TELNET_BLOCK in\nrouter bgp 65100\n router-id 10.0.0.3\n neighbor 10.1.0.5 remote-as 65200\n neighbor 10.1.0.21 remote-as 65201\n neighbor 10.1.0.37 remote-as 65202\n neighbor 10.1.0.53 remote-as 65203\n neighbor 10.1.0.69 remote-as 65204\n neighbor 10.1.0.85 remote-as 65205\n network 10.0.0.3/32\n","spine4":"hostname spine4\nservice routing protocols model multi-agent\nip routing\nip access-list TELNET_BLOCK\n deny tcp any any eq 23\n permit ip any any\ninterface Loopback0\n ip address 10.0.0.4/32\ninterface Ethernet1\n no switchport\n ip address 10.1.0.6/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet2\n no switchport\n ip address 10.1.0.22/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet3\n no switchport\n ip address 10.1.0.38/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet4\n no switchport\n ip address 10.1.0.54/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet5\n no switchport\n ip address 10.1.0.70/31\n ip access-group TELNET_BLOCK in\ninterface Ethernet6\n no switchport\n ip address 10.1.0.86/31\n ip access-group TELNET_BLOCK in\nrouter bgp 65100\n router-id 10.0.0.4\n neighbor 10.1.0.7 remote-as 65200\n neighbor 10.1.0.23 remote-as 65201\n neighbor 10.1.0.39 remote-as 65202\n neighbor 10.1.0.55 remote-as 65203\n neighbor 10.1.0.71 remote-as 65204\n neighbor 10.1.0.87 remote-as 65205\n network 10.0.0.4/32\n"}}