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 iC ,4L ]/ Median_Of_Medians_Selection:threads=4elapsed=12.188cpu=33.540gc=1.220factor=2.757zXZִF! |]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk᳴O6ҵ 0ݰ^.Öl!Xt;v:]I{"ёBqfgZfw;z[jC9C>Ήj&F1@, lm|M)xC^/5?; YR7yyr졧&Hwz&:J;bJM p~+8 B#A\U\NdDNmH0~3&C4/&F+c]Č3_Ig*6̮+'h@?LenL Οpje+L5xzRꆺw& +9{8*Q SP%3]r["0FصG*~JXHSi 8Vz/^R.bMHWD{!Ԃ2!L.Ր ~M{ۡwub0OV ʢ=ae5Uhj _nH@K!gYZ7zXZִF! Y$]ŗXi%BhoRn灀`s)T$ 3{XՓ _jGWP֟ C#:^#IB⮬k,fzHjB!-;zP#Z{Bm>fq*j2$pXPg/z| ,t#qlYgWRY #J*Uxm#q`J Jw8c_6P=)%rlݓit zo "Lxl2q;r45U7r&lsȞ6v}#rÀ"ǀUi|v v>+>g8, *|<,5"kJ;^%pJ(dkm$#bx{*?'\4~v )SE3˶M<)U;N=9վ9ҽʿJӸ{vOH|J1eY1 Q 7=JԨs|"81 1=J<^ʹݢ3򊏪u蝛%8oP *qs i x&XVz;dža:tSgRxXn#ѵz\sj{M'J.7aZ-WG;唵4%7RKwQ츚[ q_AA`7K؉#r2ӌX rs3 ^3{yԲiAF c}\p@w32=3o_`B꾱t^i=~RއQ:gԬ/]L"b Mn\x