atom.cmo: atom.cmi 
atom.cmx: atom.cmi 
bdd.cmo: memo_htbl.cmo atom.cmi bdd.cmi 
bdd.cmx: memo_htbl.cmx atom.cmx bdd.cmi 
main.cmo: queens.cmo bdd.cmi 
main.cmx: queens.cmx bdd.cmx 
memo_htbl.cmo: 
memo_htbl.cmx: 
queens.cmo: bdd.cmi atom.cmi 
queens.cmx: bdd.cmx atom.cmx 
queens0.cmo: bdd.cmi atom.cmi 
queens0.cmx: bdd.cmx atom.cmx 
atom.cmi: 
bdd.cmi: atom.cmi 
