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  &# ,4D ]S HOLCF-FOCUS:threads=4elapsed=3.515cpu=10.416gc=0.124factor=2.967zXZִF! ]ŗXf1-qNezGh)=|"*AvӇ~{?A)X}|g3LAh̟U d62:}۩꫶li4 [MsGPߛH T TBx|o_7s{u(V6U Ny.L)!Y}yC+fd}tgYZ7zXZִF! 2]ŗXi%B2\Wa[+3sj! C|gbx Ʒ^!2ͦؖI҅_&@bS.!z]@q %ts3(Q{tߵ"!A93v>}twN 2W̌e[ I$ nY@0KV+ݹ*=?ON L}uw+^XNPZr#ahKuB{M'"Y[w043 IIN$d`?1|*1xyS2{)@"ǦEqDŽX I`EO W<Sr|"riU%˧͇P,J]ԏtxPe|Qbdei[ݬ\NͧD5oĺU:U֒ Af,uQs謺! +@pU6Rg60#"NHWYJS2wj}V\i1N—F^)+9잳N ęK&۟Խ9ޚ<_o#z4oQj? bȒ:«(1xZ~Yk%J8'IH!R|BZ}9Toہ_[:A&K