https://123dok.net/document/qmjokp4q-treelength-of-series-parallel-graphs.html