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 ')4,T ]% Groebner_Bases:7zXZִF!  ]ŗXf1-/6vRZnihNsDJ L ݂t 憂2&?}Ugw'V%|3֡T/.$"iv>n"k0g)Oʵ$ Y W,RWY">NV(Fky6fy3uH^ 2F75?d 4!_srvkv۽5Ylf7_MR}JiX9v!Bfd(7>$mLh)[fI``K`})>?w# g {Ą^g =?ͬq.xSƬ1(@0X_hd+Y;zJDvg~FT%T9 `y[WoROo/uvn'/h;:}CyO֪&6A}yI (@ͿUG@)a'ԊaB(m"-{_+>n%QrfG\x11%f~/YjeEd|!]Od{ jwS8%%PޔOlg0%gYZ7zXZִF! 4]ŗXiɟp5ao AIv8w=۰L jbX1savϙѭxJ16a-{:>oK!p#3vH]w 4Z?i.W[T4; ]+=Q;ힽ)ɩ ! -`nn[%R7M!D!Eu`mYeӿ2fr>(h,Ȼ͠3A&I+TΔq;dTKP6{.X)f#iN 7@< f,[cG+,D|21)9iua-+O%+YcbR Hc븘 \!xټu5z6=9+{٩ ;VjN6ݱ#onUE}Ӎo}o>&R+iR^nlI/U*q'\8[`Be-E|b`z%@3Z# FdɶUht] c7 Yʽ!{Eb7"j9w.F2F`ٱ$1X&橏bogf4Ċ_ x+_K![6Hm/C(~lkf`gQϺ)T$f-Xr)HsɤKjGhMdbނUtû^k1K!rLfa˚_|&1I$ #/=ƖüChS@feyDfʙHovŹb7 i4Gpp2&@3k2eY5;JLbN5 rJS@T#xoDo{JD65' s:NgCo9$# cߪeCWScj#q+ۀφ2)[Xr>Ug[s[kPLC <uL(*Ꝁ h7V 13'!ۉV0+JlS{D<7ڛes} .L_wt\lRi߳lmxұviz7P(i 9I.c^T]OCC"3w5C7f&@^jAobo#ZO0" /,$nQH:FMLpnK(5c~D0"j fux8;oV(AYY$gΟE?'[țS֒f⻗;q&5 [unp!&?#`ed%CpWbj;$Pv!1Y}7ARk.p{qf sRHr$GӋvٕ0Taϫh7|zrǁK~ +8#b!JlؖM!ns]=1@C-#qGh9;A'-=B7 jӤޠR! K1rX`b5 ]r:% !颬m#ɑuQ J:B577"ҥ6\߲N=!7lNk GgYEpr1Cdʲ<)jvL>ߋ eU%,z{ljeJD~Y[Mwe )agYZ7zXZִF! ]ŗͣ5ኋ;WgE3y_>$@r7%ةsۡ'0]i˂v+ ڮ|I}Q{r3 „&<=>,5ZQŁiU% 2gj__>1{2a8yeM++1lX\(G'֖꘵ֈ D1xnW9QSbv^E\s*̰{^tom9HuqE7fYgYZ3273dc9ed220b74e9ec441196b2921328062172b273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 c476bdebca2f60c33824d5374c70fabe6f4ba221 0852a1c8b29fe718adfa421682c666979ab87c42 be8133c26d2aee823656662d8989cb7d1bd88486 ) Groebner_Bases