(lambda (CG one sec Ln hl) (apply (lambda (op zer neg eq) (let ((tim ((fileVal "expt") op one '()))) (list ; pubf (lambda (sec) (cons (tim one sec) (lambda (hsh) (let ((z (arithmetic-shift hsh (- hl Ln)))) ...)))) ; signf ; verf ))) CG))