((/rtl/rel8/support/support/lop3-proofs.lisp::lamt-0 (nil nil nil nil (lxor0) nil nil) ((a) nil (1+) (lnot) nil nil nil) ((b e) nil (1+) nil nil nil nil) ((e) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel8/support/support/lop3-proofs.lisp::lamg-0 (nil nil nil nil (land0) nil nil) ((a) nil (1+) (lnot) nil nil nil) ((b e) nil (1+) nil nil nil nil) ((e) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel8/support/support/lop3-proofs.lisp::lamz-0 (nil nil nil (lnot) nil nil nil) (nil nil (1+) nil (lior0) nil nil) ((a e) nil (1+) (lnot) nil nil nil) ((b e) nil (1+) nil nil nil nil) ((e) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel8/support/support/lop3-proofs.lisp::lam1-0 (nil nil nil nil (land0) nil nil) (nil nil (1-) nil (bits land0) nil nil) ((e e) (2) (1-) (lnot) (lamt-0 bits) nil nil) ((a b e e) (1) (1- 1-) nil (lamg-0 bits) nil nil) ((a b e e e) (0) nil (-) (lamz-0) nil nil) ((a b e e) (2) nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel8/support/support/lop3-proofs.lisp::lam2-0 (nil nil nil nil (land0) nil nil) (nil nil (1-) (lnot) (land0) nil nil) ((e) nil (1- 1-) (lnot) (bits bits) nil nil) ((e e e) (2 1) (1- 1-) nil (lamt-0 lamz-0 bits) nil nil) ((a b e a b e e e) (0) nil (-) (lamz-0) nil nil) ((a b e e) (2) nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel8/support/support/lop3-proofs.lisp::lam3-0 (nil nil nil nil (land0) nil nil) (nil nil (1-) nil (bits land0) nil nil) ((e e) (2) (1-) (lnot) (lamt-0 bits) nil nil) ((a b e e) (1) (1- 1-) nil (lamz-0 bits) nil nil) ((a b e e e) (0) nil (-) (lamg-0) nil nil) ((a b e e) (2) nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel8/support/support/lop3-proofs.lisp::lam4-0 (nil nil nil nil (land0) nil nil) (nil nil (1-) (lnot) (land0) nil nil) ((e) nil (1- 1-) (lnot) (bits bits) nil nil) ((e e e) (2 1) (1- 1-) nil (lamt-0 lamg-0 bits) nil nil) ((a b e a b e e e) (0) nil (-) (lamg-0) nil nil) ((a b e e) (2) nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel8/support/support/lop3-proofs.lisp::lam0-0 (nil nil nil nil (lior0) nil nil) (nil nil (1-) nil (lam1-0 lior0) nil nil) ((a b e e) nil (1-) nil (lam2-0 lior0) nil nil) ((a b e e) nil (1-) nil (lam3-0 lam4-0) nil nil) ((a b e a b e e) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel8/support/support/lop3-proofs.lisp::lamb-0 (nil nil nil (+) nil nil nil) (nil nil nil (* lnot) nil nil nil) (nil (2 1) nil (bitn) (lam0-0) nil nil) ((a b e) (0) nil nil (lamt-0) nil nil) ((a b e) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))