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  $ $Q/C|_xBCivٔץCԏDVɱCqjbJ۪ C3kw?-ά9BpWE"&{ކV-ȏ ,:_ws[Ɋ brX<|A@J|4ݚRL~&IYOF. AP iTƅbn gzu1<[_ _ń}z|7͐a87UΨ&pdCY ,}Uj'@[q቏[xLc˭Ro)2ΕE$|HӅ;A}^F 87I1,3Մmq(q"{1Q%:K @e~(R]ͱgYZ7zXZִF! 3]ŗXi%94</Pp&԰&_t"[b¸</)R_ϾnQ#1+% E]γ5bOhk[RBw6 Aa'O!e%hKRrZWO(h5qX`nkYwWhl6Y z'B};S̕T$< OxHbᵾ@mY6)3m fU"p?x v  {} 8bi j';G5ojR07rI'I?'H|xTlѵFCUJO)&5)m[tVtq/WsVl:ITX2yKUJ?s8̜za5ݶtlumN ݣ8"/dM@gb7 b?ƙ+E VUaIr) B]R1}DOPF$zjcu,ƒ(!J&]iϦ֜NeCy%%݈aW 窘!x?0W$"ܗ.83nP?DJl9ЬZNX "8 *eټ] MhpGQQ&xI1`"pEі v-OڍGqe,|P(\ꑇ1b6 8FOཱིo\Π]3yKVan{l/`dugRGqe" q= D+96TXR=FA5O@aF"O[nmaq ĸoFlʉ+€ Nf`)F ~E0hjO:$N a9яl"YlnXo負Sp*@6(i(,oIW~)QOGBt~rRTu|Iw%i6Xpd4,;gj4yldGI8 ׫L:O?Έbʥ@oq<֎zCJLƳ ){e} ?*=51'kVAi%S4u}~mmLPaJY"TY'eE^wX.Hq(SΆ94< R3)HqP4{3r5{J={"?ONh_8C5X%qmFTsQˍpiċ:ρk1{(vzݤu)dMs2+D<|HaXYmCoh̲µ`/]#A@u;K|S|K@cjv7x=DUDG%x)jWb`b _P>': 9A ăšt)o5T)m0Fx >HZxpxD]Rã?4DiS1 n "1ٻʪf;+442{Xkp P?/5aQ1'c^@T&M"*5 *טBN7F%PIBiex|H`8@+= h7R/%{BХֳs̿__0Q?^Oh˕hL}]Pݶwq_ >6xQE +gT$Rt*ھީnSA&unm©RGCpQx~Wz1+8~tҽF˜j.\b x|+nn y6ut#߷V(\MEP@ 5XtR3׃>R${țEKXj=QEW1`"Eb%oY$B<JBJ{w7FpynaZZ#fAja{a!% 6 ?#5*6dlɐSJ q;:_VJ ݩa+ԽQ0~uYZ:Os0dEy'NhHz`?KE(Ą-.`y\Z2!;X:]bG3C u_0G<oL]Q TYhˣ!>CeEի 69?\Έ֙rHF2ѭ.3/Wd U-n&DT@Ư>mg$Yԏ{WI_=ΐtpPRͫqjS^Y\ zU[-AYKl< 7Ž>(m'\ޟxX{@aY[!Ա~\=( G; #)/ @7%Bq=˵7 qn$Hue>iO+QPҞQʜTVmQ[Fiz'徨Is_S㤲xh]R8NJT:[1 >uب=Hd49JarЅʻݒ_gW$q08\E5>=H$a$6S`x+K݆{PˣAŮ{m Cv'mJ楾<ߛɎ qtJ|ޝ`xD!t(vI?G{tF 4 vO&(b1Zs RUpгp Q9i~#,k&q #f;ex ~Cc-[SvZE3A@?8"]Jm!~e$?BH@;'H}‹1=023bVJwc;p_$ܔ6j/8T7Ş]^CΕ[!yInkf+VUyF|!Ri ^Ck&WU3'^S<(n,9y~VYo >X}%%>_6U m5|wۣ}/Y[GVh3ѳ2q6^O{=jFH Vx/#r05boIpdȯФOPO1jx;I?25lZOWA7P|"kq)}Rc$Q{hofh)pg"?7/յO8A@@ ǰwߺQH\Vc嫪PQ$XS19&N=)ʖ)QζaF6#׶)=.6>; e#p[Cpi.ߌ&^*)}Uzy U)h0@Kv}gӳW1˹p(rc)7 #֌Oqw;oH.#%:!ע:E% $5ik<Xju S "oC,tA/,X<؊L/#_͍ '=<;t +0%=ӊK~e\r~TZ͉BԀr_ Ѧ+5 z_ ?G[]$1gYZ56de5e3aed1e85978230a2ba1f324ff8459b3fcf8fad6a4949c9835d07cc1dcd7a18516b5d86c9a3 3568d18df68fb52eb773cd2ddf1cbabfb6c4139d