SQLite format 3@ . BBh77otableisabelle_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 rr ) l$ ]% Groebner_Bases:threads=2elapsed=33.447cpu=62.632gc=2.292factor=1.877zXZִF! ]ŗXf1-/6vRZnihNsDJ,anj /0:ևY4Qn_G;GΰYr۫ DgUsS]ջZΨnaSLe(\F+6Jh3.ށ KapxxGoWKTPU`!ա0ل%rtm=>y|ˍ$9WOeP4c=>i xܮN99֙RgPhk9uܚpW =O^-ʧgo_xr: ߜ@ blDa+zK&]#|\+7H,+1c ,ɒ8v)9X#\'-j2TO=Gy#SǟGeJUEx5[Y1<> 3ʁE UbZoNWcv}n5a**e-#;EgYZ7zXZִF! y]ŗXiɟp5ao A/VQF}G Ӣ1J vK'q{ ayrF!(n1$M qdo!Ƞ!JIg :4gYZ7zXZִF! 6 ]ŗXi%6SwN|cX"\qY{UC:z0c#nrc^g0ΐJ}V$7NLm6-1e:M|FwM!j#jIqr(%|q :DO =~6e6JQ() of,'EF0Vy1c8,I͜1`)T%NיR*Wmr-+OЙvk^iFhEu' eC~oϚbN\E9T8d*P\ g£b9E4xxm"=ń_ 5V 5B94Uۻ ])\,B7۲xvE~VKǺ (-(Ng cnkP[LWXxǰ_9@(Am(&rν'\۝œe C@ oP>6s%B'Sa&m_M7kΛl[Zy [p;#6`4&{{͂:YIO%II>nt ,'?ج?"&oɶcۂm5^'Q:24 -F<{o3%sȗX~! f7n1%3YG9߀;sB}ҝc$w,@qNJI qjo@1_g0ϖC]Nx+#\vT|0p3Xr΄٢qim֧dI#%;r` ϫè6&2w1`%wmhD0WLZA#kpVs4!bbsmyXZ_c1!9 UY+ 5Mh|1jM"JF nTh]˄W4R{ˑHK>j{b[K=s("D,}GIyD{#Fh |}f5CѣFmƁgSٱ} 9o%HVժYXk<ȫ}Ndex$!kӉRu)9 a765Pqٔf.nјŋO2J 5^~.,/Y,,1~?+^Do{xo}G9 8 (Fhp1lN _*U#xd/[朗i뱚h˽`[P klM-e}@sQ8 +5&}(^[~{oڬ*O Ad0W#`HȋuO D*ìŬ NnqzD C l;6sX? x'* oqb~[ek,gsGAX VG3cbSN2UKٙJa2\SGGw/O46+GcGS뷫J>EU+>}I0wtHl] 9Ծd.,dl LVĝϐܤ$5@&I5$2u|p*XQ*#AOLO>߇]"t0oCM3Uf4ST0OMcP?GaOjOY7XgYZ0523214e088da2f58e89cf94f2e096661e7e47f6e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f b7fffd2aeb6fd71ed6ed3ae3b714f2cccee84623 e23b841f584911ccf04b2e0c46dacb6bfd2b6ac4 ) Groebner_Bases