GasLib_11 gas 2017-10-09 Gas network with 11 nodes.