Package it.unimi.dsi.webgraph.tool