SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  X hMKˇ0)q^'f"o|*0(V+"ܪĩWRXӡ_ѪqOIa%z5Vl?d8S 8orT dW?c;m\No~1  LpWA2G˩[/fծ~8_FD៷{Er%|: :ٹBSG^܌BZδWƖJîޓ\Y +秎Gwad]VCpS9>‘K\AyÿUK*RgGe7++4Ʃjiy_̇b4iQ'Q?0saҹo_ 2ᎆ"$OL˛F4!sE_cǀ@ڨnP5[ϭ`|qT*6„Te#iٽ]@oZ+&t krA)o|vr4^A߉9C0 \bN!:i5cȾ%¢g,Ӯqb1 L _Dȼ,Gpk)\@BO}/&ɦpXT>+d>qLNt腪P4H;ܙh9. ^KՊI#lha3w9{TП y=>v%~ W ĢdB}&70>_;3D6:W @PMMcpHJۖl"P>VWe+7wW>Hˉ<`Kuw8 ps8: VFZ>,\ sC2 ֍8*7`2N| 7WexpM*HRv_'#  UҝQZdmU3@$nwwަa4^ۍth 4&x:F֯CDqtsSJ͞,7-Ge"p.Zk_Pp@dShmNvA S'5e71)?'4y\F$vq݄*j|WߑG*K^N7{z3e90*hVȋ{*) *WGց\Igd[%c 9A/crbxRfPSMi ÛCy$C.ϒzՑH4)5؞:@Kf2%jj,\ \/xIJ/y1WU^Ĺ8OvO)ȯS!@~Ͳj,IY1|b>cC,6]ˌ5$`t az4} eO343X RG+OͬZ.GɬW4FK~o-La?KE]9MZ}XUoO'_AH͌m䚗jrMjWkETՏ;{^Tf_G֟g|rHJ >`a$2[u)`Tp%e1tQli snpRRQk5j |h7_׿Q7qmjZv(\  ~,NǓZI#ݍT|pyaV礓i=a+'RIH=^V/$e*IFwߖ O[/77Գ^q)BQ {16p$BUѠ/+b6C>ÞfLBҦCHP!s9+l 1!kzx*Ӭ\cAxFhvjxNLo-g3*Vl όӎ+/fݰw 㣒O'BC sw>ŰxfV=Jw$Yߑ~FRн|s?Mn}uR"GIz\$KU]8Yq/Ǧ}j: k^ qRbƞS4_ kw wC7j9bq78vޖ#vCAQh 2J~LXH>mċAD5 EmfFk9P3>m,2gg]Zry Ox5ޝ fKbizkI\uCCwpcP D'1NwXMXjvԏ4.<ǣCCf$>JhG2.="2k5%>Ԗ֡tx//٥_AǢp*!#H^n%;YAͭDSu*iXHzH75 ~X !;rC.|q1f1! ?U6[t?U˻-yx]I*. 4 -"N!k-4y wÙF-"gYZ0413561ed4e5f38a3104383e14ce7eaa1acebf6a 047d033174dfe12ff4fe7a1fd8935096a1a13bac 1699a168ddb314d54ec3cda089dad5af663c03bf 78a9a19ee7336b0f80f15df5f52ed2080dbb7243 df52d5ad8bdbdc6c9c56614a8cc01168fa2892480ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 0beff611cd94b5fa7aa7bfc129b0c2bacd34771d 9892b8c98839f05f8dc4bd94c38dc5ba0954a8ff