SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  w w1d ]/ Depth-First-Search:threads=4elapsed=0.700cpu=1.424gc=0.000factor=2.047zXZִF! j]ŗXf[&~#+\4 DHg֍n&`zMԵ&lȯ59ď (P]E??hi #.>C|i.l*gYZ7zXZִF! J::name=Depth-First-Search.DFSelapsed=0.479cpu=1.148gc=0.000eLN(cKWX}YZ7zXZִF! z;]ŗXi%B:i/%qL,7 /*, Zɹt+sf5kg,CbOCTڑ6O-LɑbiWEA:g"'m"P inKTS|cS1ⳲTH훾Co^s]XwaAо\4$YEN/EG 5Jc'/"e3"ea<(ΦJd828sok.ul R13o "aP+2 V_'|6QL',nh~hmy(* 7(ɭ|Xb E~ͥgghkK̢Ļ] H=0W1R/H:0^RġӤ`'G(3Ճ;ixrz+ x}MAAUBw0DpK7;$,SCߕݾpv wpS7c/E$t09.pK")4~mAYZҚ2DdZ* S]gYZ4bc8646a97e0337f155e5a5660427faeca8d6fc613f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 1 Depth-First-Search