((/bdd/hamming.lisp::full-adder (nil nil nil (list) nil nil nil) (nil nil nil (b-or) (b-xor3) nil nil) ((c a b) nil nil (b-and b-or) nil nil nil) ((a b) nil nil (b-and b-and) nil nil nil) ((a c b c) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/bdd/hamming.lisp::v-inc (nil nil nil nil (cond) nil nil) (nil nil ((nlistp x) (equal (car x) nil) t) nil nil nil nil) ((nil) nil nil (cons cons) nil nil nil) ((t nil) nil (cdr recursive-call) nil nil nil nil) ((x) nil (cdr) nil nil nil nil) ((x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/bdd/hamming.lisp::v-logcount (nil nil nil nil (if) nil nil) ((acc) nil (nlistp) (recursive-call) nil nil nil) ((input) nil (cdr) nil (v-if) nil nil) ((input acc) nil (car v-inc) nil nil nil nil) ((input acc) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/bdd/hamming.lisp::hamming (nil nil nil (let*) nil nil nil) (nil nil nil nil nil nil (list)) ((m0o m1o m2o m3o m3c) nil (s16-19 v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 m11 m11o m11c m12 m12o m12c m13 m13o m13c m14 m14o m14c m15 m15o m15c m16 m16o m16c m17 m17o m17c m7 m7o m7c m8 m8o m8c m9 m9o m9c m10 m10o m10c m6 m6o m6c m4 m4o m4c m5 m5o m5c m0 m0o m0c m1 m1o m1c m2 m2o m2c m3 m3o m3c) nil nil nil nil) (nil nil nil (restn nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth nth) (full-adder full-adder full-adder full-adder full-adder full-adder full-adder full-adder full-adder full-adder full-adder full-adder full-adder full-adder full-adder full-adder full-adder full-adder) nil nil) ((input s0-15 s0-15 s0-15 s0-15 s0-15 s0-15 s0-15 s0-15 s0-15 s0-15 s0-15 s0-15 s0-15 s0-15 s0-15 s0-15 s16-19 s16-19 s16-19 s16-19 nil v18 v19 m11 m11 v15 v16 v17 m12 m12 v12 v13 v14 m13 m13 v9 v10 v11 m14 m14 v6 v7 v8 m15 m15 v3 v4 v5 m16 m16 v0 v1 v2 m17 m17 m13o m12o m11o m7 m7 m13c m12c m11c m8 m8 m16o m15o m14o m9 m9 m16c m15c m14c m10 m10 m17c m9c m7c m6 m6 m6o m10o m8o m4 m4 m10c m8c m6c m5 m5 m17o m7o m9o m0 m0 m0c nil m4o m1 m1 m1c m4c m5o m2 m2 m2c m5c nil m3 m3) (16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 0 1 2 3 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))