# depslib dependency file v1.0
1478720057 source:/home/lammich/devel/isabelle/isafol/DRAT/fvc_checker/main.cpp
	<iostream>
	<cstdlib>
	<fstream>
	<vector>
	<algorithm>
	<cassert>
	<limits>
	<unordered_map>
	<cstdint>

1478862675 source:/home/lammich/devel/isabelle/isafol/DRAT/fvc_checker/main2.cpp
	<iostream>
	<cstdlib>
	<fstream>
	<vector>
	<algorithm>
	<cassert>
	<limits>
	<unordered_map>
	<cstdint>

1479226220 source:/home/lammich/devel/isabelle/isafol/DRAT/fvc_checker/main3.cpp
	<iostream>
	<cstdlib>
	<fstream>
	<vector>
	<algorithm>
	<cassert>
	<limits>
	<unordered_map>
	<cstdint>

1478861328 /home/lammich/include/gperftools/profiler.h
	<time.h>

