1bddio.o: bddio.c kernel.h bdd.h 2bddop.o: bddop.c kernel.h bdd.h cache.h 3bvec.o: bvec.c kernel.h bdd.h bvec.h fdd.h 4cache.o: cache.c kernel.h bdd.h cache.h prime.h 5fdd.o: fdd.c kernel.h bdd.h fdd.h 6imatrix.o: imatrix.c kernel.h bdd.h imatrix.h 7kernel.o: kernel.c kernel.h bdd.h cache.h prime.h 8pairs.o: pairs.c kernel.h bdd.h 9prime.o: prime.c prime.h 10reorder.o: reorder.c kernel.h bdd.h bddtree.h imatrix.h prime.h 11tree.o: tree.c kernel.h bdd.h bddtree.h 12cppext.o: cppext.cxx kernel.h bdd.h bvec.h fdd.h 13