/src/ @ fc6ac5c922d6

name size
[up]
file ggp.lisp 11744
file reasoner.lisp 6860