cond.o: cond.cc cond.h qc/qc.h qc/bitvec.h qc/terms.h qc/qustates.h \
 qc/operator.h types.h
debug.o: debug.cc syntax.h types.h qc/qc.h qc/bitvec.h qc/terms.h \
 qc/qustates.h qc/operator.h cond.h symbols.h extern.h error.h parse.h \
 options.h format.h debug.h quheap.h qc/operator.h dump.h
dump.o: dump.cc dump.h types.h qc/qc.h qc/bitvec.h qc/terms.h \
 qc/qustates.h qc/operator.h cond.h quheap.h qc/operator.h syntax.h \
 symbols.h extern.h options.h format.h error.h
error.o: error.cc error.h types.h qc/qc.h qc/bitvec.h qc/terms.h \
 qc/qustates.h qc/operator.h cond.h syntax.h symbols.h extern.h quheap.h \
 qc/operator.h options.h format.h
eval.o: eval.cc syntax.h types.h qc/qc.h qc/bitvec.h qc/terms.h \
 qc/qustates.h qc/operator.h cond.h symbols.h extern.h error.h debug.h \
 quheap.h qc/operator.h options.h format.h
exec.o: exec.cc syntax.h types.h qc/qc.h qc/bitvec.h qc/terms.h \
 qc/qustates.h qc/operator.h cond.h symbols.h extern.h error.h quheap.h \
 qc/operator.h options.h format.h debug.h dump.h plot.h
extern.o: extern.cc extern.h types.h qc/qc.h qc/bitvec.h qc/terms.h \
 qc/qustates.h qc/operator.h cond.h syntax.h symbols.h error.h \
 qc/operator.h quheap.h options.h format.h
format.o: format.cc format.h
lex.o: lex.cc types.h qc/qc.h qc/bitvec.h qc/terms.h qc/qustates.h \
 qc/operator.h cond.h syntax.h symbols.h extern.h parse.h yacc.h
options.o: options.cc options.h types.h qc/qc.h qc/bitvec.h qc/terms.h \
 qc/qustates.h qc/operator.h cond.h format.h error.h
parse.o: parse.cc syntax.h types.h qc/qc.h qc/bitvec.h qc/terms.h \
 qc/qustates.h qc/operator.h cond.h symbols.h extern.h error.h parse.h \
 options.h format.h
plot.o: plot.cc plot.h types.h qc/qc.h qc/bitvec.h qc/terms.h \
 qc/qustates.h qc/operator.h cond.h error.h quheap.h qc/operator.h \
 syntax.h symbols.h extern.h options.h format.h
print.o: print.cc syntax.h types.h qc/qc.h qc/bitvec.h qc/terms.h \
 qc/qustates.h qc/operator.h cond.h symbols.h extern.h
qcl.o: qcl.cc syntax.h types.h qc/qc.h qc/bitvec.h qc/terms.h \
 qc/qustates.h qc/operator.h cond.h symbols.h extern.h error.h quheap.h \
 qc/operator.h parse.h options.h format.h debug.h
quheap.o: quheap.cc quheap.h qc/operator.h qc/qustates.h qc/bitvec.h \
 qc/terms.h types.h qc/qc.h qc/operator.h cond.h syntax.h symbols.h \
 extern.h error.h
symbols.o: symbols.cc symbols.h types.h qc/qc.h qc/bitvec.h qc/terms.h \
 qc/qustates.h qc/operator.h cond.h syntax.h extern.h
syntax.o: syntax.cc syntax.h types.h qc/qc.h qc/bitvec.h qc/terms.h \
 qc/qustates.h qc/operator.h cond.h symbols.h extern.h error.h quheap.h \
 qc/operator.h debug.h options.h format.h dump.h
typcheck.o: typcheck.cc syntax.h types.h qc/qc.h qc/bitvec.h qc/terms.h \
 qc/qustates.h qc/operator.h cond.h symbols.h extern.h error.h options.h \
 format.h
types.o: types.cc types.h qc/qc.h qc/bitvec.h qc/terms.h qc/qustates.h \
 qc/operator.h cond.h options.h format.h error.h
yacc.o: yacc.cc syntax.h types.h qc/qc.h qc/bitvec.h qc/terms.h \
 qc/qustates.h qc/operator.h cond.h symbols.h extern.h parse.h
