add 2.56.scm