さてgen-addero ある意味こっちが本体？ genは何のgenかな 特殊ケースを除いた残りだから、genericのgenだろうか (defrel (gen-addero b n m r) (fresh (a c d e x y z) (== `(,a . ,x) n) nの最下位ビットがa、上位ビットがx nは1以上でないと困るね