glif - MAPLE-57ed597017's run of Traffic Sign Generator