SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info e; \ mS Special_Function_Bounds:threads=2elapsed=36.938cpu=71.564gc=1.356factor=1.947zXZִF! ; Special_Function_Bounds ]ŗXf1-/6vR[]>hHҔB^Y1=;Nu0Aev`Lm^mm'HO/Pks1 ` r'=gL9'éq#ҩ٥ɻSrB6e "}&}hQv8$L7h^Si(3DÖ`6t:ٹ+0&g շos*$̞NUusB<)#@SɳxB4J`,E'os/4gi|,=4f [q D($Hy3xl3.DOi Q@*0Qtl㟺n"`X-L}=|!gϓ Y%<Ukn @w-MZyqvDjz ;XBze&X,VWp!#a'cM@-3\ X0diW|AwI2Xֱt]sy, pԞ& ~^etm+/W Mˆv!uu6uZ>F#ی| a#~zşI͡0jC{$#7?7TZӤ+U=UflA?N7t"w,U#!&ΠdNo'D/6dUgiVXO67}&L8:#e LS FI"FXMm{8t&*qCf;>] r U#L0É9Y,ӖKw,B`!Bc|'~`8ʳk-e0u7p=8#Tjq" <4`&A?/<ځN<*9+8 V{S4tU%0zI0)gbZ B<_ FN5HrN1$J}=Ct8B nA38&3x8 :^e[N b$;;l-VLw?9r,*2lˣ`;pv8n7)zQc'xC~!32`~^L Hӽ[NǙf#F۳ID6@ } +h_]%8x^TpJet^CdLn gr4N0KHC$җrCpvkE5-o3c ̳} mvx4^"s: 1ք*hZE3*e Dke`'*n}@O0d lr"- ~!21lhtxW QMf"|szgYZ7zXZִF! ]ŗXi%:0Oa1y^~}wLfH:· 4 3lK/n4-¥gsOXap2|`x&*i11;?UqPL@IPpH1*&%W,? X9(L3Q/,(s70.]=iDf@+;kS;BŤͤ+61)R2vs֘zvE'G?hV,v0-n>MX NH?XSQPm. s:S|J~Ǜ5OoXSs9o. E;_yu#:AdR$ENSrF;l/3ng:(a.Fqyw{k{9'G I$Ahuot< 3H ޗ%ٖ}jܝh ,!d(YSK9Ѥ]ntLy_8wSG[.0MJcٻZ};Wٕީ !=^)ERy }&8iC0ɢUPT*&_D١x.U (!>R9¹SPbTAe_HU)x\GؖJ g6=tEBt]R<?'KjGخ]g {ql0l}; xvS|䦟pA-{ s) !"w3~d3|Gƶo nrl;l(^e4*?#KO[q6aOntI;dg4fՒ5̨4S4 [gx1.'5f ߱f`L6ZzJ]dF|,|üzpW}8Z- 7njPB@DPũ+\A6jm@\G'' &J4bN+30 a3=Q궋h??u3.<,tqӀeC. U;`/5U>21a ٌIhk .]lk푥fCb*(Kbh–iS'Q,_KQ?E ezWXA3FTM6q^e+Η#vӸXظ^sWa{Q;ycھ_Y6L9eHLz >GWFݖNm ˼Aҏy[fi.r86V oO2cvR}*=RcfK؝ 1Ucd]9\XAAP&6t Mt銝qiuy1|83)mgOq7u 9A-7{=[d_Ǖ(7B0Ϛ`3 8UCV\دLz۶0GlY 2(BTo|]y hǣ+jJVb8V>`