/span><span style="color: #267F99">Contract</span><span style="color: #000000">!]!</span>
<span style="color: #000000">  </span><span style="color: #001080">network</span><span style="color: #000000">(</span><span style="color: #001080">name</span><span style="color: #000000">: </span><span style="color: #267F99">String</span><span style="color: #000000">!): </span><span style="color: #267F99">Network</span>
<span style="color: #000000">  </span><span style="color: #001080">networks</span><span style="color