1. 9

See also http://www.egison.org/

  1.