SQLite format 3 @ . B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info Bl, ] CoreC++:threads=8elapsed=151.348cpu=737.815gc=80.361factor=4.877zXZ ִF ! Q%] ŗXf[&YჀSc@&s%gmm;^{d=]OGwxcd^=:'> Wi%IR ąJX0 ͫ`6K1[+L-7')^Iӓӎh e8aOXy{ꑎ,25" ,㨵l3_;xXV&`G6" 8ȈֶZ0;BkCDЎm;&kCuӉ{c)(xx8C"YIz/!˚Ȉ-ȅ .HE2F&'jSp