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 ppy% S MSO_Examples:threads=2elapsed=77.041cpu=142.340gc=4.068factor=1.857zXZִF! \]ŗXf1-/6vR[UWdT-]!"C+|1jW.M#OOBRyc()cnwdU g1UafjLK mr;bӘ$PTuD:7gs$r.&͍DBu1 |R .͌P̘cxN(I ] 88i5]'םpCw!>2;.춙S~R`X<:x/JQ}ĸfS bz.qwMx&W12JbƢ*ܞ|'6 g9]T= {"@>as}VܓG4݀ur"Rzqű(֎Jyn8ȫNqQUߠ' ]1gR R0b|"[)gYZ7zXZִF! c]ŗXi%: % MSO_Examples/:BW#ĢkUty:>ܲHo<:GyE!{ jq`TTں'YMdF~߮lUԈ{׉qk] _^7H?UiB T#pfҢqّ_Mta[]Yb;S36M)]#W>7iKwe% "c7B-*>ZJ,d$!3uu{ԻKuN9sǎ<OM` >?jmXR/"7ޝӇ"\#]ɂK-$Uʥ߲f,e:-WgMIYnj;LHVb. ޔLv>*uHFhHYNo 7goP{nN^Ҕ7 %HuSfp5%e{fw ufSٔ ;ԵoH`={8NH Ҕ2< wfnuNw%g -"4H +gl6x+.w;ǼMϫ=ɺ=q0z>d ~0'EA^>A ̴NX$Vhg59/ ˲}3cw89-:>5ACsKtU9m Ǥz+.<<8 $<.5B=.LDe`'_d/U羺U̝C;D%0g`@lwn{3%K\`;nB9-+Sd+ Jm=~/I*-HH qAg?]m"6ܷU2_X#Ypn5`Bgk:p4B>exX!(օ5DŽ1܇DriX2,f[S}M ɇW(W|ta1nA|ݾln*[gd8C'qL՛Zw܆DF[Mc㨏\Fxn)Ħ+ Kx]RॏX# +~jo}dol1ۋ1?дk,PNxJؽ B)KEaS]# U LLpX oR7"5(1L,{Mo"f%RbC,rWRt*n?g`՞gA ú֬!l_aߑ&637rSEs^cޜ.]mQFEn* 04f1 Yו>Hgpaon$-X- [-n#dXL*pu5e|%8L2Hno#*%)$B=A蓚fjo 1~ݎpvW&ugTX?"]9쉱/"K>z;?FTlAe'8f^ʓZa+.m?i9> Tq*-Gqڸ!ze>hP2LqqK c~lqKŐ^!Cfg#"~Ł DC.M"S-x+%mThWm5 #)ՉaW003 *Wc^!J1+m1/Ƕ|v7j L$ e8Nx{c==dl67)C鸹աb#i2#: -m!I ifr q {慤kMB`F@m/.8 _0ޞ#lc<7ٍڴKRt`57 GRG)Q'|s,G]"0(A kښD\1rw1Mt3;%CSapWÏ q$Ϋ1g֜s z68P"jҢ:FKX"OV;5AEfIaА6lոEq>QԷ>8Nb~{^QL94O9DtڨNUB!XמDW=)<oqz{P ;f( ɧ«E7YJxo2;a!TIuZ5ZB*@☐ f!sXQ/L+DE{8#[W%IlU;e2FIK聐!j,x^}rtb RX;Hr35Wu>K7x4KOp$1>h;Mp 8-zU޶LFel+ glp&?hh 5)A Q!'gk2sCc)Nm'm<O &NĈkAW _<ٱ0 VMqHg0[%s_N4ˮ^u3TD=aUI$Mry3i &b!ET'!gYZ67764ef3aff652c71ef813384afab8f7337e32b8 d60e6f1b237777f66e8532733c0c11e9c656e7a2 fd7200f0f775563d8c05b06e81b229c8dc7a51d0878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12 56b0d80d8ceaf5f864569b4580a232acc327fb0e