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: #000000">  </span><span style="color: #001080">networkId</span><span style="color: #000000">: </span><span style="color: #267F99">NetworkId</span><span style="color: #000000">!</span>
<span style="color: #000000">  </span><span style="color: #001080">historicBlock</span><span style="color: