static Pair showWebWithAutoLayout(Web web) { CirclesAndLines cal = webToCAL(web); calAutoLayout(web, cal); ret pair(cal, showCAL(cal)); }