(load "util.scm")

(display "\nex-3.12\n")