SQLite format 3@ .;  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  s s 1d ]/ Depth-First-Search:threads=4elapsed=0.741cpu=1.472gc=0.000factor=1.997zXZִF! j]ŗXf[&~#+\4 DHg֍n&`zMԵ&lȯ59ď "' Lj\,{X vjמXc9.ZU .l*gYZ7zXZִF! J::name=Depth-First-Search.DFSelapsed=0.486cpu=1.144gc=0.000YwcKWX}YZ7zXZִF! =]ŗXi%L S:IRh%R>9K#G3x)f==1U;ҭ&)ޯCCE8' a9T^nEx~"z"z{m bư <꾀)Bf*<9{!7 Ȓ@tCA:)JxđhweMգp4FDDg?d^SUhm&iѼWޠSF:?/Hk6y"5뵰x6[>][53<7 113IeCp.do08.W;>,Dom׫ tpPҲ\h)J$dh2kgGu:ɼ"oSȃ4}v6ԝU%hD~hHakv^@ʄPX(\6I\]xEt(Pf d*8qHu9yS_jrԫ ,VTP 8 ?Jr@0idU!+jy^`^>@2!(l'+yrGgYZ48ee11db61f7ec243399ab13311ea2d587911ea5d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 1 Depth-First-Search