static Pair<CirclesAndLines, Canvas> showWebWithAutoLayout(Web web) {
  Pair<CirclesAndLines, Canvas> p = showWeb(web);
  calAutoLayout(p.a, p.b);
  ret p;
}