Janog で話題に挙がっていた Batfish というツールが面白そうなので試したみた。
既に日本語でもいくつか資料があるので、概要についてはこちらの資料をご参照ください。
- [Batfish] ネットワーク機器のコンフィグを読み込んでルーティングなどの様々な検証ができるツール「Batfish」の紹介
- https://qiita.com/advent-calendar/2018/batfish
Batfish を簡単に説明すると、コンフィグのみで通信パスの確認や通信可否を検証できるツール。今までに無かった画期的なツールと言える。なぜなら、機器を必要とせずにテストができる。ただ、コンフィグのみからのテストで大丈夫か？という心配もある。。。例えば、OSによってはデフォルトで表示されない設定もあり、その動作までちゃんと加味されているのかまでは分からない。
コンフィグの検証を行うのに、構成を把握しているトポロジーを使うのが望ましいと考え、pyATS/Genie が用意しているバックツーバックの下記２台構成の設定を使うことにする。
VIRL ファイルから各コンフィグを抜き出してコンフィグファイルを Batfish に作りました。
> ls ./config
csr1000v-1.config nx-osv-1.configPython3+ な virtual environment を activate して必要なパッケージをインストール。
> pyenv activate py365
(py365)> pip install --upgrade git+https://github.com/batfish/pybatfish.gitBatfish の Docker を起動させる。
(py365)> docker run -p 9997:9997 -p 9996:9996 batfish/batfishPython インタープリターから pybatfish のモジュールをインポート。
(py365)> python
Python 3.6.5 (default, Apr 5 2018, 11:31:35)
[GCC 4.2.1 Compatible Apple LLVM 9.0.0 (clang-900.0.39.2)] on darwin
Type "help", "copyright", "credits" or "license" for more information.
>>> from pybatfish.client.commands import *
>>> from pybatfish.question.question import load_questions, list_questions
>>> from pybatfish.question import bfq設定ファイルの読み込み。
>>> bf_set_network('virl')
'virl'
>>> bf_init_snapshot('/Users/ccieojisan/Documents/config', name='virl_snapshot', overwrite=True)
status: TRYINGTOASSIGN
.... no task information
status: CHECKINGSTATUS
.... no task information
status: ASSIGNED
.... Sat Apr 27 23:58:15 2019 EDT Parse network configs 0 / 2.
status: ASSIGNED
.... Sat Apr 27 23:58:15 2019 EDT Serializing 'org.batfish.representation.cisco.CiscoConfiguration' instances to disk 0 / 2.
status: ASSIGNED
.... Sat Apr 27 23:58:15 2019 EDT Serializing 2 vendor-independent configuration structures for snapshot 6a4e6785-375c-493b-9cca-93b441db2d72 0 / 2.
status: TERMINATEDNORMALLY
.... Sat Apr 27 23:58:15 2019 EDT Deserializing objects of type 'org.batfish.datamodel.Configuration' from files 2 / 2.
Default snapshot is now set to virl_snapshot
status: TRYINGTOASSIGN
.... no task information
status: CHECKINGSTATUS
.... no task information
status: TERMINATEDNORMALLY
.... Sat Apr 27 23:58:16 2019 EDT Begin job.
'virl_snapshot'>>> load_questions()
Successfully loaded 57 questions from remote
>>> bfq.fileParseStatus().answer().frame()
status: TRYINGTOASSIGN
.... no task information
status: ASSIGNED
.... Sun Apr 28 00:00:52 2019 EDT Begin job.
status: TERMINATEDNORMALLY
.... Sun Apr 28 00:00:52 2019 EDT Begin job.
File_Name Status Nodes
0 configs/csr1000v-1.config PASSED ['csr1000v-1']
1 configs/nx-osv-1.config PASSED ['nx-osv-1']>>> bfq.ipOwners().answer()
status: TRYINGTOASSIGN
.... no task information
status: ASSIGNED
.... Sun Apr 28 00:05:13 2019 EDT Begin job.
status: TERMINATEDNORMALLY
.... Sun Apr 28 00:05:13 2019 EDT Begin job.
Node VRF Interface IP Mask Active
0 csr1000v-1 default GigabitEthernet2 10.0.1.1 24 True
1 nx-osv-1 default Loopback1 10.22.22.22 32 True
2 csr1000v-1 default Loopback1 10.11.11.11 32 True
3 csr1000v-1 default GigabitEthernet3 10.0.2.1 24 True
4 csr1000v-1 default Loopback0 10.1.1.1 32 True
5 nx-osv-1 default Ethernet2/2 10.0.2.2 24 True
6 nx-osv-1 default Loopback0 10.2.2.2 32 True
7 nx-osv-1 default Ethernet2/1 10.0.1.2 24 True
>>> bfq.ipOwners().answer().frame().head()
status: TRYINGTOASSIGN
.... no task information
status: CHECKINGSTATUS
.... no task information
status: TERMINATEDNORMALLY
.... Sun Apr 28 00:05:51 2019 EDT Begin job.
Node VRF Interface IP Mask Active
0 csr1000v-1 default GigabitEthernet2 10.0.1.1 24 True
1 nx-osv-1 default Loopback1 10.22.22.22 32 True
2 csr1000v-1 default Loopback1 10.11.11.11 32 True
3 csr1000v-1 default GigabitEthernet3 10.0.2.1 24 True
4 csr1000v-1 default Loopback0 10.1.1.1 32 True到達性の確認をやってみた。
>>> from pybatfish.datamodel.flow import HeaderConstraints
>>> headers = HeaderConstraints(dstIps='ofLocation(nx-osv-1)')
>>> tracert = bfq.traceroute(startLocation='csr1000v-1[Loopback0]', headers=headers).answer().frame()
status: BLOCKED
.... no task information
status: BLOCKED
.... no task information
status: BLOCKED
.... no task information
status: ASSIGNED
.... no task information
status: TERMINATEDNORMALLY
.... Sun Apr 28 00:35:39 2019 EDT Begin job.
>>> tracert
Flow Traces TraceCount
0 start=csr1000v-1 [10.1.1.1:49152->10.0.1.2:334... [((ORIGINATED(default), FORWARDED(Routes: conn... 1ここからは下記のページを参考に適当に情報を無作為に取ってみた。
>>> bfq.interfaceProperties(nodes='csr1000v-1', interfaces='GigabitEthernet2', properties='all-prefixes').answer()
status: TRYINGTOASSIGN
.... no task information
status: ASSIGNED
.... Sun Apr 28 00:07:51 2019 EDT Begin job.
status: TERMINATEDNORMALLY
.... Sun Apr 28 00:07:51 2019 EDT Begin job.
Interface
0 csr1000v-1[GigabitEthernet2]>>> bfq.aaaAuthenticationLogin(nodes="csr1000v-1").answer().frame()
status: TRYINGTOASSIGN
.... no task information
status: ASSIGNED
.... Sun Apr 28 00:10:46 2019 EDT Begin job.
status: TERMINATEDNORMALLY
.... Sun Apr 28 00:10:46 2019 EDT Begin job.
Node Line_Names
0 csr1000v-1 ['con0', 'vty0', 'vty1', 'vty2', 'vty3', 'vty4']>>> bfq.definedStructures(nodes="nx-osv-1").answer().frame()
status: TRYINGTOASSIGN
.... no task information
status: ASSIGNED
.... Sun Apr 28 00:11:45 2019 EDT Begin job.
status: TERMINATEDNORMALLY
.... Sun Apr 28 00:11:45 2019 EDT Begin job.
Structure_Type Structure_Name Source_Lines
0 interface Ethernet3/4 configs/nx-osv-1.config:[306, 307, 308, 309]
1 interface Ethernet2/40 configs/nx-osv-1.config:[246, 247, 248, 249]
2 interface Ethernet4/38 configs/nx-osv-1.config:[716, 717, 718, 719]
3 interface Loopback1 configs/nx-osv-1.config:[775, 776]
4 interface Ethernet2/46 configs/nx-osv-1.config:[276, 277, 278, 279]
5 interface Ethernet4/44 configs/nx-osv-1.config:[746, 747, 748, 749]
6 interface Ethernet3/1 configs/nx-osv-1.config:[291, 292, 293, 294]
7 interface Ethernet3/7 configs/nx-osv-1.config:[321, 322, 323, 324]
8 interface Ethernet4/40 configs/nx-osv-1.config:[726, 727, 728, 729]
9 interface Ethernet3/16 configs/nx-osv-1.config:[366, 367, 368, 369]
10 interface Ethernet3/36 configs/nx-osv-1.config:[466, 467, 468, 469]
11 interface Ethernet4/48 configs/nx-osv-1.config:[766, 767, 768, 769]
12 interface Ethernet2/32 configs/nx-osv-1.config:[206, 207, 208, 209]
13 interface Ethernet4/24 configs/nx-osv-1.config:[646, 647, 648, 649]
14 interface Ethernet4/3 configs/nx-osv-1.config:[541, 542, 543, 544]
15 interface Ethernet4/10 configs/nx-osv-1.config:[576, 577, 578, 579]
16 interface Ethernet2/22 configs/nx-osv-1.config:[156, 157, 158, 159]
17 interface Ethernet4/13 configs/nx-osv-1.config:[591, 592, 593, 594]
18 interface Loopback0 configs/nx-osv-1.config:[771, 772, 773]
19 interface Ethernet2/11 configs/nx-osv-1.config:[101, 102, 103, 104]
20 interface Ethernet2/29 configs/nx-osv-1.config:[191, 192, 193, 194]
21 interface Ethernet3/30 configs/nx-osv-1.config:[436, 437, 438, 439]
22 interface Ethernet4/7 configs/nx-osv-1.config:[561, 562, 563, 564]
23 interface Ethernet3/13 configs/nx-osv-1.config:[351, 352, 353, 354]
24 interface Ethernet3/33 configs/nx-osv-1.config:[451, 452, 453, 454]
25 interface Ethernet3/20 configs/nx-osv-1.config:[386, 387, 388, 389]
26 interface Ethernet3/26 configs/nx-osv-1.config:[416, 417, 418, 419]
27 interface Ethernet3/40 configs/nx-osv-1.config:[486, 487, 488, 489]
28 interface Ethernet3/37 configs/nx-osv-1.config:[471, 472, 473, 474]
29 interface Ethernet2/39 configs/nx-osv-1.config:[241, 242, 243, 244]
.. ... ... ...
117 interface Ethernet4/31 configs/nx-osv-1.config:[681, 682, 683, 684]
118 interface Ethernet2/35 configs/nx-osv-1.config:[221, 222, 223, 224]
119 interface Ethernet3/6 configs/nx-osv-1.config:[316, 317, 318, 319]
120 interface Ethernet4/45 configs/nx-osv-1.config:[751, 752, 753, 754]
121 interface Ethernet2/45 configs/nx-osv-1.config:[271, 272, 273, 274]
122 interface Ethernet4/23 configs/nx-osv-1.config:[641, 642, 643, 644]
123 interface Ethernet2/31 configs/nx-osv-1.config:[201, 202, 203, 204]
124 interface Ethernet4/4 configs/nx-osv-1.config:[546, 547, 548, 549]
125 interface Ethernet4/14 configs/nx-osv-1.config:[596, 597, 598, 599]
126 interface Ethernet2/10 configs/nx-osv-1.config:[96, 97, 98, 99]
127 interface Ethernet2/23 configs/nx-osv-1.config:[161, 162, 163, 164]
128 interface Ethernet2/28 configs/nx-osv-1.config:[186, 187, 188, 189]
129 interface Ethernet3/31 configs/nx-osv-1.config:[441, 442, 443, 444]
130 interface Ethernet3/44 configs/nx-osv-1.config:[506, 507, 508, 509]
131 interface Ethernet4/19 configs/nx-osv-1.config:[621, 622, 623, 624]
132 interface Ethernet4/8 configs/nx-osv-1.config:[566, 567, 568, 569]
133 interface Ethernet3/14 configs/nx-osv-1.config:[356, 357, 358, 359]
134 interface Ethernet3/21 configs/nx-osv-1.config:[391, 392, 393, 394]
135 interface Ethernet3/2 configs/nx-osv-1.config:[296, 297, 298, 299]
136 interface Ethernet2/19 configs/nx-osv-1.config:[141, 142, 143, 144]
137 interface Ethernet3/23 configs/nx-osv-1.config:[401, 402, 403, 404]
138 interface Ethernet4/35 configs/nx-osv-1.config:[701, 702, 703, 704]
139 interface Ethernet3/10 configs/nx-osv-1.config:[336, 337, 338, 339]
140 interface Ethernet2/13 configs/nx-osv-1.config:[111, 112, 113, 114]
141 interface Ethernet3/27 configs/nx-osv-1.config:[421, 422, 423, 424]
142 interface Ethernet3/47 configs/nx-osv-1.config:[521, 522, 523, 524]
143 interface mgmt0 configs/nx-osv-1.config:[44, 45]
144 interface Ethernet4/15 configs/nx-osv-1.config:[601, 602, 603, 604]
145 interface Ethernet2/36 configs/nx-osv-1.config:[226, 227, 228, 229]
146 interface Ethernet2/7 configs/nx-osv-1.config:[81, 82, 83, 84]
[147 rows x 3 columns]>>> out = bfq.neighbors(nodes="csr1000v-1").answer()
status: TRYINGTOASSIGN
.... no task information
status: ASSIGNED
.... Sun Apr 28 00:13:27 2019 EDT Begin job.
status: TERMINATEDNORMALLY
.... Sun Apr 28 00:13:27 2019 EDT Begin job.
>>> import json
>>> print(json.dumps(out, indent=2, sort_keys=True))
{
"answerElements": [
{
"class": "org.batfish.question.NeighborsQuestionPlugin$NeighborsAnswerElement",
"layer3Neighbors": [
{
"node1": "csr1000v-1",
"node1interface": "GigabitEthernet2",
"node2": "nx-osv-1",
"node2interface": "Ethernet2/1"
},
{
"node1": "csr1000v-1",
"node1interface": "GigabitEthernet3",
"node2": "nx-osv-1",
"node2interface": "Ethernet2/2"
}
]
}
],
"question": {
"class": "org.batfish.question.NeighborsQuestionPlugin$NeighborsQuestion",
"differential": false,
"includeOneTableKeys": true,
"instance": {
"description": "Lists neighbor relationships in the snapshot",
"instanceName": "__neighbors_620c1f00-c331-4b8f-9e50-37dcd1d9666d",
"longDescription": "Lists neighbor relationships of the specified type (layer3, eBGP, iBGP, ospf, etc.)",
"tags": [
"topology"
],
"variables": {
"neighborTypes": {
"allowedValues": [
"ebgp",
"eigrp",
"ibgp",
"layer1",
"layer2",
"layer3",
"ospf",
"rip"
],
"description": "Types of neighbor relationships to include.",
"displayName": "Neighbor Types",
"minElements": 0,
"optional": true,
"type": "string",
"values": [
{
"name": "ebgp"
},
{
"name": "eigrp"
},
{
"name": "ibgp"
},
{
"name": "layer1"
},
{
"name": "layer2"
},
{
"name": "layer3"
},
{
"name": "ospf"
},
{
"name": "rip"
}
]
},
"nodes": {
"description": "Include neighbors whose first node matches this specifier.",
"displayName": "Nodes",
"optional": false,
"type": "nodeSpec",
"value": "csr1000v-1"
},
"remoteNodes": {
"description": "Include neighbors whose second node matches this specifier.",
"displayName": "Remote Nodes",
"optional": false,
"type": "nodeSpec",
"value": ".*"
},
"roleDimension": {
"description": "Role dimension to run the question on.",
"displayName": "Role Dimension",
"optional": true,
"type": "nodeRoleDimensionName"
},
"style": {
"allowedValues": [
"role",
"summary",
"verbose"
],
"description": "String indicating the style of information requested about each neighbor.",
"displayName": "Style",
"optional": false,
"type": "string",
"value": "summary",
"values": [
{
"name": "role"
},
{
"name": "summary"
},
{
"name": "verbose"
}
]
}
}
},
"nodes": "csr1000v-1",
"remoteNodes": ".*",
"style": "summary"
},
"status": "SUCCESS",
"summary": {
"numFailed": 0,
"numPassed": 0,
"numResults": 0
}
}>>> bfq.nodeProperties(nodes="csr1000-v").answer().frame()
status: TRYINGTOASSIGN
.... no task information
status: TERMINATEDNORMALLY
.... Sun Apr 28 00:16:18 2019 EDT Begin job.
Empty DataFrame
Columns: [Node, AS_Path_Access_Lists, Authentication_Key_Chains, Canonical_IP, Community_Lists, Configuration_Format, Default_Cross_Zone_Action, Default_Inbound_Action, Device_Type, DNS_Servers, DNS_Source_Interface, Domain_Name, Hostname, IKE_Phase1_Keys, IKE_Phase1_Policies, IKE_Phase1_Proposals, Interfaces, IP_Access_Lists, IP_Spaces, IP6_Access_Lists, IPsec_Peer_Configs, IPsec_Phase2_Policies, IPsec_Phase2_Proposals, Logging_Servers, Logging_Source_Interface, NTP_Servers, NTP_Source_Interface, Route_Filter_Lists, Route6_Filter_Lists, Routing_Policies, SNMP_Source_Interface, SNMP_Trap_Servers, TACACS_Servers, TACACS_Source_Interface, Vendor_Family, VRFs, Zones]
Index: []上のは何故かうまく表示されなかった。。。
>>> bfq.referencedStructures(nodes="csr1000v-1").answer().frame()
status: TRYINGTOASSIGN
.... no task information
status: ASSIGNED
.... Sun Apr 28 00:17:27 2019 EDT Begin job.
status: TERMINATEDNORMALLY
.... Sun Apr 28 00:17:27 2019 EDT Begin job.
Structure_Type Structure_Name Context Source_Lines
0 interface GigabitEthernet1 interface configs/csr1000v-1.config:[100]
1 interface GigabitEthernet2 interface configs/csr1000v-1.config:[106]
2 interface GigabitEthernet3 interface configs/csr1000v-1.config:[113]
3 interface Loopback0 interface configs/csr1000v-1.config:[93]
4 interface Loopback0 update-source interface configs/csr1000v-1.config:[128]
5 interface Loopback1 interface configs/csr1000v-1.config:[97]>>> out = bfq.viModel().answer()
status: TRYINGTOASSIGN
.... no task information
status: TERMINATEDNORMALLY
.... Sun Apr 28 00:19:16 2019 EDT Begin job.
>>> print(json.dumps(out, indent=2, sort_keys=True))
{
"answerElements": [
{
"class": "org.batfish.question.VIModelQuestionPlugin$VIModelAnswerElement",
"edges": {
"bgp": [
{
"edgeSummary": {
"ip1": "10.1.1.1",
"ip2": "10.2.2.2",
"node1": "csr1000v-1",
"node2": "nx-osv-1"
},
"node1Session": {
"additionalPathsReceive": false,
"additionalPathsSelectAll": false,
"additionalPathsSend": false,
"advertiseExternal": false,
"advertiseInactive": true,
"allowLocalAsIn": false,
"allowRemoteAsOut": true,
"class": "org.batfish.datamodel.BgpActivePeerConfig",
"clusterId": 167837953,
"defaultMetric": 0,
"ebgpMultihop": false,
"enforceFirstAs": false,
"exportPolicy": "~BGP_PEER_EXPORT_POLICY:default:10.2.2.2~",
"localAs": 65000,
"localIp": "10.1.1.1",
"peerAddress": "10.2.2.2",
"remoteAsns": "65000",
"routeReflectorClient": false,
"sendCommunity": false
},
"node1SessionId": {
"hostname": "csr1000v-1",
"prefix": "10.2.2.2/32",
"type": "ACTIVE",
"vrf": "default"
},
"node2Session": {
"additionalPathsReceive": false,
"additionalPathsSelectAll": false,
"additionalPathsSend": false,
"advertiseExternal": false,
"advertiseInactive": true,
"allowLocalAsIn": false,
"allowRemoteAsOut": false,
"class": "org.batfish.datamodel.BgpActivePeerConfig",
"clusterId": 167903746,
"defaultMetric": 0,
"ebgpMultihop": false,
"enforceFirstAs": false,
"exportPolicy": "~BGP_PEER_EXPORT_POLICY:default:10.1.1.1~",
"localAs": 65000,
"localIp": "10.2.2.2",
"peerAddress": "10.1.1.1",
"remoteAsns": "65000",
"routeReflectorClient": false,
"sendCommunity": false
},
"node2SessionId": {
"hostname": "nx-osv-1",
"prefix": "10.1.1.1/32",
"type": "ACTIVE",
"vrf": "default"
}
},
{
"edgeSummary": {
"ip1": "10.2.2.2",
"ip2": "10.1.1.1",
"node1": "nx-osv-1",
"node2": "csr1000v-1"
},
"node1Session": {
"additionalPathsReceive": false,
"additionalPathsSelectAll": false,
"additionalPathsSend": false,
"advertiseExternal": false,
"advertiseInactive": true,
"allowLocalAsIn": false,
"allowRemoteAsOut": false,
"class": "org.batfish.datamodel.BgpActivePeerConfig",
"clusterId": 167903746,
"defaultMetric": 0,
"ebgpMultihop": false,
"enforceFirstAs": false,
"exportPolicy": "~BGP_PEER_EXPORT_POLICY:default:10.1.1.1~",
"localAs": 65000,
"localIp": "10.2.2.2",
"peerAddress": "10.1.1.1",
"remoteAsns": "65000",
"routeReflectorClient": false,
"sendCommunity": false
},
"node1SessionId": {
"hostname": "nx-osv-1",
"prefix": "10.1.1.1/32",
"type": "ACTIVE",
"vrf": "default"
},
"node2Session": {
"additionalPathsReceive": false,
"additionalPathsSelectAll": false,
"additionalPathsSend": false,
"advertiseExternal": false,
"advertiseInactive": true,
"allowLocalAsIn": false,
"allowRemoteAsOut": true,
"class": "org.batfish.datamodel.BgpActivePeerConfig",
"clusterId": 167837953,
"defaultMetric": 0,
"ebgpMultihop": false,
"enforceFirstAs": false,
"exportPolicy": "~BGP_PEER_EXPORT_POLICY:default:10.2.2.2~",
"localAs": 65000,
"localIp": "10.1.1.1",
"peerAddress": "10.2.2.2",
"remoteAsns": "65000",
"routeReflectorClient": false,
"sendCommunity": false
},
"node2SessionId": {
"hostname": "csr1000v-1",
"prefix": "10.2.2.2/32",
"type": "ACTIVE",
"vrf": "default"
}
}
],
"layer3": [
{
"interfaceAddresses1": [
"10.0.1.1/24"
],
"interfaceAddresses2": [
"10.0.1.2/24"
],
"nodeInterface1": {
"hostname": "csr1000v-1",
"interface": "GigabitEthernet2"
},
"nodeInterface2": {
"hostname": "nx-osv-1",
"interface": "Ethernet2/1"
}
},
{
"interfaceAddresses1": [
"10.0.2.1/24"
],
"interfaceAddresses2": [
"10.0.2.2/24"
],
"nodeInterface1": {
"hostname": "csr1000v-1",
"interface": "GigabitEthernet3"
},
"nodeInterface2": {
"hostname": "nx-osv-1",
"interface": "Ethernet2/2"
}
},
{
"interfaceAddresses1": [
"10.0.1.2/24"
],
"interfaceAddresses2": [
"10.0.1.1/24"
],
"nodeInterface1": {
"hostname": "nx-osv-1",
"interface": "Ethernet2/1"
},
"nodeInterface2": {
"hostname": "csr1000v-1",
"interface": "GigabitEthernet2"
}
},
{
"interfaceAddresses1": [
"10.0.2.2/24"
],
"interfaceAddresses2": [
"10.0.2.1/24"
],
"nodeInterface1": {
"hostname": "nx-osv-1",
"interface": "Ethernet2/2"
},
"nodeInterface2": {
"hostname": "csr1000v-1",
"interface": "GigabitEthernet3"
}
}
],
"ospf": [
{
"head": {
"hostname": "nx-osv-1",
"interface": "Ethernet2/1",
"process": "1",
"vrf": "default"
},
"tail": {
"hostname": "csr1000v-1",
"interface": "GigabitEthernet2",
"process": "1",
"vrf": "default"
}
},
{
"head": {
"hostname": "nx-osv-1",
"interface": "Ethernet2/2",
"process": "1",
"vrf": "default"
},
"tail": {
"hostname": "csr1000v-1",
"interface": "GigabitEthernet3",
"process": "1",
"vrf": "default"
}
},
{
"head": {
"hostname": "csr1000v-1",
"interface": "GigabitEthernet2",
"process": "1",
"vrf": "default"
},
"tail": {
"hostname": "nx-osv-1",
"interface": "Ethernet2/1",
"process": "1",
"vrf": "default"
}
},
{
"head": {
"hostname": "csr1000v-1",
"interface": "GigabitEthernet3",
"process": "1",
"vrf": "default"
},
"tail": {
"hostname": "nx-osv-1",
"interface": "Ethernet2/2",
"process": "1",
"vrf": "default"
}
}
]
},
"nodes": {
"csr1000v-1": {
"configurationFormat": "CISCO_IOS",
"defaultCrossZoneAction": "PERMIT",
"defaultInboundAction": "PERMIT",
"deviceType": "ROUTER",
"interfaces": {
"GigabitEthernet1": {
"active": true,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"GigabitEthernet1"
],
"mtu": 1500,
"name": "GigabitEthernet1",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": true,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"GigabitEthernet2": {
"active": true,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allPrefixes": [
"10.0.1.1/24"
],
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"GigabitEthernet2"
],
"mtu": 1500,
"name": "GigabitEthernet2",
"ospfArea": 0,
"ospfCost": 1,
"ospfDeadInterval": 0,
"ospfEnabled": true,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"prefix": "10.0.1.1/24",
"proxyArp": true,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"GigabitEthernet3": {
"active": true,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allPrefixes": [
"10.0.2.1/24"
],
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"GigabitEthernet3"
],
"mtu": 1500,
"name": "GigabitEthernet3",
"ospfArea": 0,
"ospfCost": 1,
"ospfDeadInterval": 0,
"ospfEnabled": true,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"prefix": "10.0.2.1/24",
"proxyArp": true,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Loopback0": {
"active": true,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allPrefixes": [
"10.1.1.1/32"
],
"allowedVlans": "",
"autostate": true,
"bandwidth": 8000000000.0,
"declaredNames": [
"Loopback0"
],
"mtu": 1500,
"name": "Loopback0",
"ospfArea": 0,
"ospfCost": 1,
"ospfDeadInterval": 0,
"ospfEnabled": true,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"prefix": "10.1.1.1/32",
"proxyArp": true,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "LOOPBACK",
"vrf": "default"
},
"Loopback1": {
"active": true,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allPrefixes": [
"10.11.11.11/32"
],
"allowedVlans": "",
"autostate": true,
"bandwidth": 8000000000.0,
"declaredNames": [
"Loopback1"
],
"mtu": 1500,
"name": "Loopback1",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"prefix": "10.11.11.11/32",
"proxyArp": true,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "LOOPBACK",
"vrf": "default"
}
},
"name": "csr1000v-1",
"routingPolicies": {
"~BGP_COMMON_EXPORT_POLICY:default~": {
"name": "~BGP_COMMON_EXPORT_POLICY:default~",
"statements": [
{
"class": "org.batfish.datamodel.routing_policy.statement.If",
"guard": {
"class": "org.batfish.datamodel.routing_policy.expr.Disjunction",
"disjuncts": [
{
"class": "org.batfish.datamodel.routing_policy.expr.Conjunction",
"conjuncts": [
{
"class": "org.batfish.datamodel.routing_policy.expr.MatchPrefixSet",
"prefix": {
"class": "org.batfish.datamodel.routing_policy.expr.DestinationNetwork"
},
"prefixSet": {
"class": "org.batfish.datamodel.routing_policy.expr.ExplicitPrefixSet",
"prefixSpace": [
"10.11.11.11/32"
]
}
},
{
"class": "org.batfish.datamodel.routing_policy.expr.Not",
"expr": {
"class": "org.batfish.datamodel.routing_policy.expr.MatchProtocol",
"protocol": "bgp"
}
},
{
"class": "org.batfish.datamodel.routing_policy.expr.Not",
"expr": {
"class": "org.batfish.datamodel.routing_policy.expr.MatchProtocol",
"protocol": "ibgp"
}
},
{
"class": "org.batfish.datamodel.routing_policy.expr.Not",
"expr": {
"class": "org.batfish.datamodel.routing_policy.expr.MatchProtocol",
"protocol": "aggregate"
}
},
{
"class": "org.batfish.datamodel.routing_policy.expr.WithEnvironmentExpr",
"expr": {
"class": "org.batfish.datamodel.routing_policy.expr.BooleanExprs$StaticBooleanExpr",
"type": "True"
},
"postStatements": [
{
"class": "org.batfish.datamodel.routing_policy.statement.Statements$StaticStatement",
"type": "UnsetWriteIntermediateBgpAttributes"
}
],
"postTrueStatements": [
{
"class": "org.batfish.datamodel.routing_policy.statement.Statements$StaticStatement",
"type": "SetReadIntermediateBgpAttributes"
},
{
"class": "org.batfish.datamodel.routing_policy.statement.SetOrigin",
"originType": {
"class": "org.batfish.datamodel.routing_policy.expr.LiteralOrigin",
"originType": "igp"
}
}
],
"preStatements": [
{
"class": "org.batfish.datamodel.routing_policy.statement.Statements$StaticStatement",
"type": "SetWriteIntermediateBgpAttributes"
}
]
}
]
},
{
"class": "org.batfish.datamodel.routing_policy.expr.MatchProtocol",
"protocol": "bgp"
},
{
"class": "org.batfish.datamodel.routing_policy.expr.MatchProtocol",
"protocol": "ibgp"
}
]
},
"trueStatements": [
{
"class": "org.batfish.datamodel.routing_policy.statement.Statements$StaticStatement",
"type": "ReturnTrue"
}
]
},
{
"class": "org.batfish.datamodel.routing_policy.statement.Statements$StaticStatement",
"type": "ReturnFalse"
}
]
},
"~BGP_PEER_EXPORT_POLICY:default:10.2.2.2~": {
"name": "~BGP_PEER_EXPORT_POLICY:default:10.2.2.2~",
"statements": [
{
"class": "org.batfish.datamodel.routing_policy.statement.If",
"comment": "peer-export policy main conditional: exitAccept if true / exitReject if false",
"falseStatements": [
{
"class": "org.batfish.datamodel.routing_policy.statement.Statements$StaticStatement",
"type": "ExitReject"
}
],
"guard": {
"calledPolicyName": "~BGP_COMMON_EXPORT_POLICY:default~",
"class": "org.batfish.datamodel.routing_policy.expr.CallExpr"
},
"trueStatements": [
{
"class": "org.batfish.datamodel.routing_policy.statement.Statements$StaticStatement",
"type": "ExitAccept"
}
]
}
]
},
"~OSPF_EXPORT_POLICY:default~": {
"name": "~OSPF_EXPORT_POLICY:default~"
}
},
"vendorFamily": {
"cisco": {
"aaa": {
"newModel": false
},
"hostname": "csr1000v-1",
"lines": {
"con0": {
"execTimeoutMinutes": 0,
"execTimeoutSeconds": 0,
"lineType": "CON",
"name": "con0"
},
"vty0": {
"execTimeoutMinutes": 0,
"execTimeoutSeconds": 0,
"lineType": "VTY",
"name": "vty0"
},
"vty1": {
"execTimeoutMinutes": 0,
"execTimeoutSeconds": 0,
"lineType": "VTY",
"name": "vty1"
},
"vty2": {
"execTimeoutMinutes": 0,
"execTimeoutSeconds": 0,
"lineType": "VTY",
"name": "vty2"
},
"vty3": {
"execTimeoutMinutes": 0,
"execTimeoutSeconds": 0,
"lineType": "VTY",
"name": "vty3"
},
"vty4": {
"execTimeoutMinutes": 0,
"execTimeoutSeconds": 0,
"lineType": "VTY",
"name": "vty4"
}
},
"logging": {
"on": true
},
"services": {
"config": {
"enabled": true
},
"timestamps": {
"enabled": true,
"subservices": {
"debug": {
"enabled": true,
"subservices": {
"datetime": {
"enabled": true,
"subservices": {
"msec": {
"enabled": true
}
}
}
}
},
"log": {
"enabled": true,
"subservices": {
"datetime": {
"enabled": true,
"subservices": {
"msec": {
"enabled": true
}
}
}
}
}
}
}
},
"ssh": {}
}
},
"vrfs": {
"default": {
"bgpProcess": {
"multipathEbgp": false,
"multipathEquivalentAsPathMatchMode": "EXACT_PATH",
"multipathIbgp": false,
"neighbors": {
"10.2.2.2/32": {
"additionalPathsReceive": false,
"additionalPathsSelectAll": false,
"additionalPathsSend": false,
"advertiseExternal": false,
"advertiseInactive": true,
"allowLocalAsIn": false,
"allowRemoteAsOut": true,
"class": "org.batfish.datamodel.BgpActivePeerConfig",
"clusterId": 167837953,
"defaultMetric": 0,
"ebgpMultihop": false,
"enforceFirstAs": false,
"exportPolicy": "~BGP_PEER_EXPORT_POLICY:default:10.2.2.2~",
"localAs": 65000,
"localIp": "10.1.1.1",
"peerAddress": "10.2.2.2",
"remoteAsns": "65000",
"routeReflectorClient": false,
"sendCommunity": false
}
},
"routerId": "10.1.1.1",
"tieBreaker": "ARRIVAL_ORDER"
},
"interfaces": [
"GigabitEthernet1",
"GigabitEthernet2",
"GigabitEthernet3",
"Loopback0",
"Loopback1"
],
"name": "default",
"ospfProcess": {
"adminCosts": {
"ospf": 110,
"ospfE1": 110,
"ospfE2": 110,
"ospfIA": 110
},
"areas": {
"0": {
"injectDefaultRoute": true,
"interfaces": [
"GigabitEthernet2",
"GigabitEthernet3",
"Loopback0"
],
"metricOfDefaultRoute": 0,
"name": 0,
"stubType": "NONE"
}
},
"exportPolicy": "~OSPF_EXPORT_POLICY:default~",
"neighbors": {
"GigabitEthernet2": {
"area": 0,
"hostname": "csr1000v-1",
"interface": "GigabitEthernet2",
"passive": false,
"vrf": "default"
},
"GigabitEthernet3": {
"area": 0,
"hostname": "csr1000v-1",
"interface": "GigabitEthernet3",
"passive": false,
"vrf": "default"
},
"Loopback0": {
"area": 0,
"hostname": "csr1000v-1",
"interface": "Loopback0",
"passive": false,
"vrf": "default"
}
},
"processId": "1",
"referenceBandwidth": 100000000.0,
"routerId": "10.1.1.1",
"summaryAdminCost": 254
}
}
}
},
"nx-osv-1": {
"configurationFormat": "CISCO_NX",
"defaultCrossZoneAction": "PERMIT",
"defaultInboundAction": "PERMIT",
"deviceType": "ROUTER",
"interfaces": {
"Ethernet2/1": {
"active": true,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allPrefixes": [
"10.0.1.2/24"
],
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/1"
],
"mtu": 1500,
"name": "Ethernet2/1",
"ospfArea": 0,
"ospfCost": 40,
"ospfDeadInterval": 0,
"ospfEnabled": true,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"prefix": "10.0.1.2/24",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/10": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/10"
],
"mtu": 1500,
"name": "Ethernet2/10",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/11": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/11"
],
"mtu": 1500,
"name": "Ethernet2/11",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/12": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/12"
],
"mtu": 1500,
"name": "Ethernet2/12",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/13": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/13"
],
"mtu": 1500,
"name": "Ethernet2/13",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/14": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/14"
],
"mtu": 1500,
"name": "Ethernet2/14",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/15": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/15"
],
"mtu": 1500,
"name": "Ethernet2/15",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/16": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/16"
],
"mtu": 1500,
"name": "Ethernet2/16",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/17": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/17"
],
"mtu": 1500,
"name": "Ethernet2/17",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/18": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/18"
],
"mtu": 1500,
"name": "Ethernet2/18",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/19": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/19"
],
"mtu": 1500,
"name": "Ethernet2/19",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/2": {
"active": true,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allPrefixes": [
"10.0.2.2/24"
],
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/2"
],
"mtu": 1500,
"name": "Ethernet2/2",
"ospfArea": 0,
"ospfCost": 40,
"ospfDeadInterval": 0,
"ospfEnabled": true,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"prefix": "10.0.2.2/24",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/20": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/20"
],
"mtu": 1500,
"name": "Ethernet2/20",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/21": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/21"
],
"mtu": 1500,
"name": "Ethernet2/21",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/22": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/22"
],
"mtu": 1500,
"name": "Ethernet2/22",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/23": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/23"
],
"mtu": 1500,
"name": "Ethernet2/23",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/24": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/24"
],
"mtu": 1500,
"name": "Ethernet2/24",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/25": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/25"
],
"mtu": 1500,
"name": "Ethernet2/25",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/26": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/26"
],
"mtu": 1500,
"name": "Ethernet2/26",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/27": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/27"
],
"mtu": 1500,
"name": "Ethernet2/27",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/28": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/28"
],
"mtu": 1500,
"name": "Ethernet2/28",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/29": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/29"
],
"mtu": 1500,
"name": "Ethernet2/29",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/3": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/3"
],
"mtu": 1500,
"name": "Ethernet2/3",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/30": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/30"
],
"mtu": 1500,
"name": "Ethernet2/30",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/31": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/31"
],
"mtu": 1500,
"name": "Ethernet2/31",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/32": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/32"
],
"mtu": 1500,
"name": "Ethernet2/32",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/33": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/33"
],
"mtu": 1500,
"name": "Ethernet2/33",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/34": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/34"
],
"mtu": 1500,
"name": "Ethernet2/34",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/35": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/35"
],
"mtu": 1500,
"name": "Ethernet2/35",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/36": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/36"
],
"mtu": 1500,
"name": "Ethernet2/36",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/37": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/37"
],
"mtu": 1500,
"name": "Ethernet2/37",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/38": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/38"
],
"mtu": 1500,
"name": "Ethernet2/38",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/39": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/39"
],
"mtu": 1500,
"name": "Ethernet2/39",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/4": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/4"
],
"mtu": 1500,
"name": "Ethernet2/4",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/40": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/40"
],
"mtu": 1500,
"name": "Ethernet2/40",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/41": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/41"
],
"mtu": 1500,
"name": "Ethernet2/41",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/42": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/42"
],
"mtu": 1500,
"name": "Ethernet2/42",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/43": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/43"
],
"mtu": 1500,
"name": "Ethernet2/43",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/44": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/44"
],
"mtu": 1500,
"name": "Ethernet2/44",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/45": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/45"
],
"mtu": 1500,
"name": "Ethernet2/45",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/46": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/46"
],
"mtu": 1500,
"name": "Ethernet2/46",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/47": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/47"
],
"mtu": 1500,
"name": "Ethernet2/47",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/48": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/48"
],
"mtu": 1500,
"name": "Ethernet2/48",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/5": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/5"
],
"mtu": 1500,
"name": "Ethernet2/5",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/6": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/6"
],
"mtu": 1500,
"name": "Ethernet2/6",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/7": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/7"
],
"mtu": 1500,
"name": "Ethernet2/7",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/8": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/8"
],
"mtu": 1500,
"name": "Ethernet2/8",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet2/9": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet2/9"
],
"mtu": 1500,
"name": "Ethernet2/9",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/1": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/1"
],
"mtu": 1500,
"name": "Ethernet3/1",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/10": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/10"
],
"mtu": 1500,
"name": "Ethernet3/10",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/11": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/11"
],
"mtu": 1500,
"name": "Ethernet3/11",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/12": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/12"
],
"mtu": 1500,
"name": "Ethernet3/12",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/13": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/13"
],
"mtu": 1500,
"name": "Ethernet3/13",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/14": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/14"
],
"mtu": 1500,
"name": "Ethernet3/14",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/15": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/15"
],
"mtu": 1500,
"name": "Ethernet3/15",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/16": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/16"
],
"mtu": 1500,
"name": "Ethernet3/16",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/17": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/17"
],
"mtu": 1500,
"name": "Ethernet3/17",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/18": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/18"
],
"mtu": 1500,
"name": "Ethernet3/18",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/19": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/19"
],
"mtu": 1500,
"name": "Ethernet3/19",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/2": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/2"
],
"mtu": 1500,
"name": "Ethernet3/2",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/20": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/20"
],
"mtu": 1500,
"name": "Ethernet3/20",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/21": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/21"
],
"mtu": 1500,
"name": "Ethernet3/21",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/22": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/22"
],
"mtu": 1500,
"name": "Ethernet3/22",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/23": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/23"
],
"mtu": 1500,
"name": "Ethernet3/23",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/24": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/24"
],
"mtu": 1500,
"name": "Ethernet3/24",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/25": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/25"
],
"mtu": 1500,
"name": "Ethernet3/25",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/26": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/26"
],
"mtu": 1500,
"name": "Ethernet3/26",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/27": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/27"
],
"mtu": 1500,
"name": "Ethernet3/27",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/28": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/28"
],
"mtu": 1500,
"name": "Ethernet3/28",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/29": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/29"
],
"mtu": 1500,
"name": "Ethernet3/29",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/3": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/3"
],
"mtu": 1500,
"name": "Ethernet3/3",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/30": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/30"
],
"mtu": 1500,
"name": "Ethernet3/30",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/31": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/31"
],
"mtu": 1500,
"name": "Ethernet3/31",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/32": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/32"
],
"mtu": 1500,
"name": "Ethernet3/32",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/33": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/33"
],
"mtu": 1500,
"name": "Ethernet3/33",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/34": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/34"
],
"mtu": 1500,
"name": "Ethernet3/34",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/35": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/35"
],
"mtu": 1500,
"name": "Ethernet3/35",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/36": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/36"
],
"mtu": 1500,
"name": "Ethernet3/36",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/37": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/37"
],
"mtu": 1500,
"name": "Ethernet3/37",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/38": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/38"
],
"mtu": 1500,
"name": "Ethernet3/38",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/39": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/39"
],
"mtu": 1500,
"name": "Ethernet3/39",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/4": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/4"
],
"mtu": 1500,
"name": "Ethernet3/4",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/40": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/40"
],
"mtu": 1500,
"name": "Ethernet3/40",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/41": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/41"
],
"mtu": 1500,
"name": "Ethernet3/41",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/42": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/42"
],
"mtu": 1500,
"name": "Ethernet3/42",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/43": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/43"
],
"mtu": 1500,
"name": "Ethernet3/43",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/44": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/44"
],
"mtu": 1500,
"name": "Ethernet3/44",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/45": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/45"
],
"mtu": 1500,
"name": "Ethernet3/45",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/46": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/46"
],
"mtu": 1500,
"name": "Ethernet3/46",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/47": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/47"
],
"mtu": 1500,
"name": "Ethernet3/47",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/48": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/48"
],
"mtu": 1500,
"name": "Ethernet3/48",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/5": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/5"
],
"mtu": 1500,
"name": "Ethernet3/5",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/6": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/6"
],
"mtu": 1500,
"name": "Ethernet3/6",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/7": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/7"
],
"mtu": 1500,
"name": "Ethernet3/7",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/8": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/8"
],
"mtu": 1500,
"name": "Ethernet3/8",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet3/9": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet3/9"
],
"mtu": 1500,
"name": "Ethernet3/9",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/1": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/1"
],
"mtu": 1500,
"name": "Ethernet4/1",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/10": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/10"
],
"mtu": 1500,
"name": "Ethernet4/10",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/11": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/11"
],
"mtu": 1500,
"name": "Ethernet4/11",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/12": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/12"
],
"mtu": 1500,
"name": "Ethernet4/12",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/13": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/13"
],
"mtu": 1500,
"name": "Ethernet4/13",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/14": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/14"
],
"mtu": 1500,
"name": "Ethernet4/14",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/15": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/15"
],
"mtu": 1500,
"name": "Ethernet4/15",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/16": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/16"
],
"mtu": 1500,
"name": "Ethernet4/16",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/17": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/17"
],
"mtu": 1500,
"name": "Ethernet4/17",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/18": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/18"
],
"mtu": 1500,
"name": "Ethernet4/18",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/19": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/19"
],
"mtu": 1500,
"name": "Ethernet4/19",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/2": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/2"
],
"mtu": 1500,
"name": "Ethernet4/2",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/20": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/20"
],
"mtu": 1500,
"name": "Ethernet4/20",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/21": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/21"
],
"mtu": 1500,
"name": "Ethernet4/21",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/22": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/22"
],
"mtu": 1500,
"name": "Ethernet4/22",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/23": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/23"
],
"mtu": 1500,
"name": "Ethernet4/23",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/24": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/24"
],
"mtu": 1500,
"name": "Ethernet4/24",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/25": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/25"
],
"mtu": 1500,
"name": "Ethernet4/25",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/26": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/26"
],
"mtu": 1500,
"name": "Ethernet4/26",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/27": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/27"
],
"mtu": 1500,
"name": "Ethernet4/27",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/28": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/28"
],
"mtu": 1500,
"name": "Ethernet4/28",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/29": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/29"
],
"mtu": 1500,
"name": "Ethernet4/29",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/3": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/3"
],
"mtu": 1500,
"name": "Ethernet4/3",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/30": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/30"
],
"mtu": 1500,
"name": "Ethernet4/30",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/31": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/31"
],
"mtu": 1500,
"name": "Ethernet4/31",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/32": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/32"
],
"mtu": 1500,
"name": "Ethernet4/32",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/33": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/33"
],
"mtu": 1500,
"name": "Ethernet4/33",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/34": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/34"
],
"mtu": 1500,
"name": "Ethernet4/34",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/35": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/35"
],
"mtu": 1500,
"name": "Ethernet4/35",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/36": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/36"
],
"mtu": 1500,
"name": "Ethernet4/36",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/37": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/37"
],
"mtu": 1500,
"name": "Ethernet4/37",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/38": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/38"
],
"mtu": 1500,
"name": "Ethernet4/38",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/39": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/39"
],
"mtu": 1500,
"name": "Ethernet4/39",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/4": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/4"
],
"mtu": 1500,
"name": "Ethernet4/4",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/40": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/40"
],
"mtu": 1500,
"name": "Ethernet4/40",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/41": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/41"
],
"mtu": 1500,
"name": "Ethernet4/41",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/42": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/42"
],
"mtu": 1500,
"name": "Ethernet4/42",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/43": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/43"
],
"mtu": 1500,
"name": "Ethernet4/43",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/44": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/44"
],
"mtu": 1500,
"name": "Ethernet4/44",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/45": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/45"
],
"mtu": 1500,
"name": "Ethernet4/45",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/46": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/46"
],
"mtu": 1500,
"name": "Ethernet4/46",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/47": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/47"
],
"mtu": 1500,
"name": "Ethernet4/47",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/48": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/48"
],
"mtu": 1500,
"name": "Ethernet4/48",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/5": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/5"
],
"mtu": 1500,
"name": "Ethernet4/5",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/6": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/6"
],
"mtu": 1500,
"name": "Ethernet4/6",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/7": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/7"
],
"mtu": 1500,
"name": "Ethernet4/7",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/8": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/8"
],
"mtu": 1500,
"name": "Ethernet4/8",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Ethernet4/9": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000.0,
"declaredNames": [
"Ethernet4/9"
],
"mtu": 1500,
"name": "Ethernet4/9",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"speed": 1000000000.0,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "default"
},
"Loopback0": {
"active": true,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allPrefixes": [
"10.2.2.2/32"
],
"allowedVlans": "",
"autostate": true,
"bandwidth": 8000000000.0,
"declaredNames": [
"loopback0"
],
"mtu": 1500,
"name": "Loopback0",
"ospfArea": 0,
"ospfCost": 5,
"ospfDeadInterval": 0,
"ospfEnabled": true,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"prefix": "10.2.2.2/32",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "LOOPBACK",
"vrf": "default"
},
"Loopback1": {
"active": true,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allPrefixes": [
"10.22.22.22/32"
],
"allowedVlans": "",
"autostate": true,
"bandwidth": 8000000000.0,
"declaredNames": [
"loopback1"
],
"mtu": 1500,
"name": "Loopback1",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"ospfProcess": "1",
"prefix": "10.22.22.22/32",
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "LOOPBACK",
"vrf": "default"
},
"mgmt0": {
"active": false,
"additionalArpIps": {
"class": "org.batfish.datamodel.EmptyIpSpace"
},
"allowedVlans": "",
"autostate": true,
"bandwidth": 1000000000000.0,
"declaredNames": [
"mgmt0"
],
"mtu": 1500,
"name": "mgmt0",
"ospfDeadInterval": 0,
"ospfEnabled": false,
"ospfHelloMultiplier": 0,
"ospfPassive": false,
"ospfPointToPoint": false,
"proxyArp": false,
"ripEnabled": false,
"ripPassive": false,
"spanningTreePortfast": false,
"switchport": false,
"switchportMode": "NONE",
"switchportTrunkEncapsulation": "DOT1Q",
"type": "PHYSICAL",
"vrf": "management"
}
},
"name": "nx-osv-1",
"routingPolicies": {
"~BGP_COMMON_EXPORT_POLICY:default~": {
"name": "~BGP_COMMON_EXPORT_POLICY:default~",
"statements": [
{
"class": "org.batfish.datamodel.routing_policy.statement.If",
"guard": {
"class": "org.batfish.datamodel.routing_policy.expr.Disjunction",
"disjuncts": [
{
"class": "org.batfish.datamodel.routing_policy.expr.Conjunction",
"conjuncts": [
{
"class": "org.batfish.datamodel.routing_policy.expr.MatchPrefixSet",
"prefix": {
"class": "org.batfish.datamodel.routing_policy.expr.DestinationNetwork"
},
"prefixSet": {
"class": "org.batfish.datamodel.routing_policy.expr.ExplicitPrefixSet",
"prefixSpace": [
"10.22.22.22/32"
]
}
},
{
"class": "org.batfish.datamodel.routing_policy.expr.Not",
"expr": {
"class": "org.batfish.datamodel.routing_policy.expr.MatchProtocol",
"protocol": "bgp"
}
},
{
"class": "org.batfish.datamodel.routing_policy.expr.Not",
"expr": {
"class": "org.batfish.datamodel.routing_policy.expr.MatchProtocol",
"protocol": "ibgp"
}
},
{
"class": "org.batfish.datamodel.routing_policy.expr.Not",
"expr": {
"class": "org.batfish.datamodel.routing_policy.expr.MatchProtocol",
"protocol": "aggregate"
}
},
{
"class": "org.batfish.datamodel.routing_policy.expr.WithEnvironmentExpr",
"expr": {
"class": "org.batfish.datamodel.routing_policy.expr.BooleanExprs$StaticBooleanExpr",
"type": "True"
},
"postStatements": [
{
"class": "org.batfish.datamodel.routing_policy.statement.Statements$StaticStatement",
"type": "UnsetWriteIntermediateBgpAttributes"
}
],
"postTrueStatements": [
{
"class": "org.batfish.datamodel.routing_policy.statement.Statements$StaticStatement",
"type": "SetReadIntermediateBgpAttributes"
},
{
"class": "org.batfish.datamodel.routing_policy.statement.SetOrigin",
"originType": {
"class": "org.batfish.datamodel.routing_policy.expr.LiteralOrigin",
"originType": "igp"
}
}
],
"preStatements": [
{
"class": "org.batfish.datamodel.routing_policy.statement.Statements$StaticStatement",
"type": "SetWriteIntermediateBgpAttributes"
}
]
}
]
},
{
"class": "org.batfish.datamodel.routing_policy.expr.MatchProtocol",
"protocol": "bgp"
},
{
"class": "org.batfish.datamodel.routing_policy.expr.MatchProtocol",
"protocol": "ibgp"
}
]
},
"trueStatements": [
{
"class": "org.batfish.datamodel.routing_policy.statement.Statements$StaticStatement",
"type": "ReturnTrue"
}
]
},
{
"class": "org.batfish.datamodel.routing_policy.statement.Statements$StaticStatement",
"type": "ReturnFalse"
}
]
},
"~BGP_PEER_EXPORT_POLICY:default:10.1.1.1~": {
"name": "~BGP_PEER_EXPORT_POLICY:default:10.1.1.1~",
"statements": [
{
"class": "org.batfish.datamodel.routing_policy.statement.If",
"comment": "peer-export policy main conditional: exitAccept if true / exitReject if false",
"falseStatements": [
{
"class": "org.batfish.datamodel.routing_policy.statement.Statements$StaticStatement",
"type": "ExitReject"
}
],
"guard": {
"calledPolicyName": "~BGP_COMMON_EXPORT_POLICY:default~",
"class": "org.batfish.datamodel.routing_policy.expr.CallExpr"
},
"trueStatements": [
{
"class": "org.batfish.datamodel.routing_policy.statement.Statements$StaticStatement",
"type": "ExitAccept"
}
]
}
]
},
"~OSPF_EXPORT_POLICY:default~": {
"name": "~OSPF_EXPORT_POLICY:default~"
}
},
"vendorFamily": {
"cisco": {
"defaultSwitchportMode": "NONE",
"features": {
"bgp": true,
"ospf": true
},
"hostname": "nx-osv-1",
"lines": {
"console": {
"execTimeoutMinutes": 0,
"execTimeoutSeconds": 0,
"lineType": "CON",
"name": "console"
},
"vty": {
"execTimeoutMinutes": 0,
"execTimeoutSeconds": 0,
"lineType": "VTY",
"name": "vty"
}
},
"logging": {
"on": true
},
"users": {
"admin": {
"name": "admin",
"password": "54b7d28d62dc716c70fb041ef54f4a9b519635bebdcce6915d56aec26486ecfb",
"role": "network-admin"
}
}
}
},
"vrfs": {
"default": {
"bgpProcess": {
"multipathEbgp": false,
"multipathEquivalentAsPathMatchMode": "EXACT_PATH",
"multipathIbgp": false,
"neighbors": {
"10.1.1.1/32": {
"additionalPathsReceive": false,
"additionalPathsSelectAll": false,
"additionalPathsSend": false,
"advertiseExternal": false,
"advertiseInactive": true,
"allowLocalAsIn": false,
"allowRemoteAsOut": false,
"class": "org.batfish.datamodel.BgpActivePeerConfig",
"clusterId": 167903746,
"defaultMetric": 0,
"ebgpMultihop": false,
"enforceFirstAs": false,
"exportPolicy": "~BGP_PEER_EXPORT_POLICY:default:10.1.1.1~",
"localAs": 65000,
"localIp": "10.2.2.2",
"peerAddress": "10.1.1.1",
"remoteAsns": "65000",
"routeReflectorClient": false,
"sendCommunity": false
}
},
"routerId": "10.2.2.2",
"tieBreaker": "ARRIVAL_ORDER"
},
"interfaces": [
"Ethernet2/1",
"Ethernet2/10",
"Ethernet2/11",
"Ethernet2/12",
"Ethernet2/13",
"Ethernet2/14",
"Ethernet2/15",
"Ethernet2/16",
"Ethernet2/17",
"Ethernet2/18",
"Ethernet2/19",
"Ethernet2/2",
"Ethernet2/20",
"Ethernet2/21",
"Ethernet2/22",
"Ethernet2/23",
"Ethernet2/24",
"Ethernet2/25",
"Ethernet2/26",
"Ethernet2/27",
"Ethernet2/28",
"Ethernet2/29",
"Ethernet2/3",
"Ethernet2/30",
"Ethernet2/31",
"Ethernet2/32",
"Ethernet2/33",
"Ethernet2/34",
"Ethernet2/35",
"Ethernet2/36",
"Ethernet2/37",
"Ethernet2/38",
"Ethernet2/39",
"Ethernet2/4",
"Ethernet2/40",
"Ethernet2/41",
"Ethernet2/42",
"Ethernet2/43",
"Ethernet2/44",
"Ethernet2/45",
"Ethernet2/46",
"Ethernet2/47",
"Ethernet2/48",
"Ethernet2/5",
"Ethernet2/6",
"Ethernet2/7",
"Ethernet2/8",
"Ethernet2/9",
"Ethernet3/1",
"Ethernet3/10",
"Ethernet3/11",
"Ethernet3/12",
"Ethernet3/13",
"Ethernet3/14",
"Ethernet3/15",
"Ethernet3/16",
"Ethernet3/17",
"Ethernet3/18",
"Ethernet3/19",
"Ethernet3/2",
"Ethernet3/20",
"Ethernet3/21",
"Ethernet3/22",
"Ethernet3/23",
"Ethernet3/24",
"Ethernet3/25",
"Ethernet3/26",
"Ethernet3/27",
"Ethernet3/28",
"Ethernet3/29",
"Ethernet3/3",
"Ethernet3/30",
"Ethernet3/31",
"Ethernet3/32",
"Ethernet3/33",
"Ethernet3/34",
"Ethernet3/35",
"Ethernet3/36",
"Ethernet3/37",
"Ethernet3/38",
"Ethernet3/39",
"Ethernet3/4",
"Ethernet3/40",
"Ethernet3/41",
"Ethernet3/42",
"Ethernet3/43",
"Ethernet3/44",
"Ethernet3/45",
"Ethernet3/46",
"Ethernet3/47",
"Ethernet3/48",
"Ethernet3/5",
"Ethernet3/6",
"Ethernet3/7",
"Ethernet3/8",
"Ethernet3/9",
"Ethernet4/1",
"Ethernet4/10",
"Ethernet4/11",
"Ethernet4/12",
"Ethernet4/13",
"Ethernet4/14",
"Ethernet4/15",
"Ethernet4/16",
"Ethernet4/17",
"Ethernet4/18",
"Ethernet4/19",
"Ethernet4/2",
"Ethernet4/20",
"Ethernet4/21",
"Ethernet4/22",
"Ethernet4/23",
"Ethernet4/24",
"Ethernet4/25",
"Ethernet4/26",
"Ethernet4/27",
"Ethernet4/28",
"Ethernet4/29",
"Ethernet4/3",
"Ethernet4/30",
"Ethernet4/31",
"Ethernet4/32",
"Ethernet4/33",
"Ethernet4/34",
"Ethernet4/35",
"Ethernet4/36",
"Ethernet4/37",
"Ethernet4/38",
"Ethernet4/39",
"Ethernet4/4",
"Ethernet4/40",
"Ethernet4/41",
"Ethernet4/42",
"Ethernet4/43",
"Ethernet4/44",
"Ethernet4/45",
"Ethernet4/46",
"Ethernet4/47",
"Ethernet4/48",
"Ethernet4/5",
"Ethernet4/6",
"Ethernet4/7",
"Ethernet4/8",
"Ethernet4/9",
"Loopback0",
"Loopback1"
],
"name": "default",
"ospfProcess": {
"adminCosts": {
"ospf": 110,
"ospfE1": 110,
"ospfE2": 110,
"ospfIA": 110
},
"areas": {
"0": {
"injectDefaultRoute": true,
"interfaces": [
"Ethernet2/1",
"Ethernet2/2",
"Loopback0"
],
"metricOfDefaultRoute": 0,
"name": 0,
"stubType": "NONE"
}
},
"exportPolicy": "~OSPF_EXPORT_POLICY:default~",
"neighbors": {
"Ethernet2/1": {
"area": 0,
"hostname": "nx-osv-1",
"interface": "Ethernet2/1",
"passive": false,
"vrf": "default"
},
"Ethernet2/2": {
"area": 0,
"hostname": "nx-osv-1",
"interface": "Ethernet2/2",
"passive": false,
"vrf": "default"
},
"Loopback0": {
"area": 0,
"hostname": "nx-osv-1",
"interface": "Loopback0",
"passive": false,
"vrf": "default"
}
},
"processId": "1",
"referenceBandwidth": 40000000000.0,
"routerId": "10.2.2.2",
"summaryAdminCost": 254
},
"snmpServer": {
"traps": {
"link": []
},
"vrf": "default"
}
},
"management": {
"interfaces": [
"mgmt0"
],
"name": "management"
}
}
}
}
}
],
"question": {
"class": "org.batfish.question.VIModelQuestionPlugin$VIModelQuestion",
"differential": false,
"includeOneTableKeys": true,
"instance": {
"description": "Lists configuration attributes of nodes and edges in the network",
"instanceName": "__viModel_579ad894-e5e6-4922-a9bc-dacadbfe99b7",
"longDescription": "Returns a JSON dictionary with all of the configuration parameters and neighbor relations stored in the vendor independent data-model.",
"tags": [
"dataModel"
]
}
},
"status": "SUCCESS",
"summary": {
"numFailed": 0,
"numPassed": 0,
"numResults": 0
}
}