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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info iC 4t ]/ Median_Of_Medians_Selection:threads=2elapsed=16.110cpu=28.244gc=1.240factor=1.757zXZִF! <]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl^En/DM}zuI}\JwDw0N4h;yXzC|^82\/V9}*i8=2:}MxrDGGȿײQnbظMcK6`l{yvȒFtbǸVl51ll'mŏW!Q|jyS~vMXܼK$]qxǙDe+mWk;hH5pxգh+rÖ́tG@^)^皅 3o^ bwImǾ+@\ijb/3  _Xf-COm'>N':IGa0|feglfu7 2arb-8#* ( %!z7҉}YZ&)Kj;' =LY-HnL$l:gYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷W&ӞHTՑ|̿3ނg% =JmYBFu=}'9qh]/0Q%]m7ea7fݲ|$L`=uV2ߧgYZ7zXZִF! [`s]ŗXi%;3-V;"4,K "+՜Ճ]#b_w2r?ԔJLuq4/ӿ3!-Hpsu½oWձݲ[؅ lB0ԍyɧA/@KzbNR! BdF{+/iv+HF8=*"Q;̙ 4|`0]z^!?Fl=ik(+'TQa}/+| LR]t&%+0as;p$مڶ.yX,u9]u(Ҳmϖp庢\EqSl;~-1'-.$O#Dw^]6(2j jyT'F;d0(<}x#ETYqcN3HbwE}e09Nn]~_X3A*Zl簿Yݷ);` Y;ugȐ"va3e XK QI]Z{|soKo G ) D%т,1׻eaݣƼ2KE#$Y* #)i@,[CH'Lm&P& ~ʄVK Fwx`vbr|r|a[4d0`|U= /Tz>fIB|IM׻ EWy# fr` [arQzlks) Dt> )ynt{K[B~'0zAwuF{̓ h'O܍W F BuF2i[J ],G*-#q{V2kŴ !*" Ic}0"}\Dfפ%0@-$,w支0r朡T.@3i"2{Jɶz%ivkխd# ѦǪrx%aͅOPY˻px8/xHyK<.v%1G%œ5 rTK(T;+gXVW^y|PHcFRLje7V+ӎ`X_ hgYZ362f2c5b3e4c6d0bb09fb0aca171cf47ca194947665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee C Median_Of_Medians_Selection