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 {{j|l E/ Corec:threads=2elapsed=64.881cpu=101.212gc=6.116factor=1.567zXZִF! 7[x]ŗXf1-)&$c)zaBcFeNT[ b^qSЧܖ^ czu->tZ|Dxncġ5-áv~S֐tcwFNݴˈ~)`! \R{NX/&iށV}o0FX@{q!d+}/` $ٔP[tzMtF:Gzc~2m.aiWGP0ÏU"Aig;GHk6H٢#i= ,ua.ZH-P [k^rțB?ThͬW{%_T,L*bQo5(Li27x^onړe?3;  Corecr9fkY"S'S ɥ2mJ[^R156x+ގOtW̐Q_cg:l[cIpyCP :<4{߅4'g@ı$X+osI{N>I'A϶KNKyIPE-(6gq Wų{ a{nr$$#N)8Ƭ%A|:l\k̹Dr8 Ԇ%ufDȎꏮ{VAx \cn"A|#TRŖ8RxUg: q*dۤ'wapgWcBb&̏}]:'Xv'[hFWb?P`Wݨ{HG&a[t"狹m1VzG().9qpLs+yG<Փz'j7 ;h)ȯUZvqmYg0JY8،mۀ>=`Ȑ@w YR0fDݣ+m6ؑwfǙZ=ӄBV,¦[Oy%, . nQgYZ7zXZִF! &C m]ŗXi%BZQ ]@$fIA(Q[Wqw °Q$AdaD L)K+(U?*?Kqxx9?v&mc j2<1g Э!HcSXb:ȋ`,N Ϻ~n;@Y Lk633)?#b[ނӺYyѾW)e:KU"hO1BimUL )d¢ǒZ1,Τ/Gs}DHR-7s]j9uZRI߫1@kT,xt[ b1L3y Wf_ylB `62B.8Р\7^DOM3Ր!' ƊU":(qΊgoE#';r@DmŖd,\&o2(:s%|B(R8?'Uo;L_ȣ͘cnmi?jO˅;mr攣^^ё!z 9UCv9Nw兾)QylX9 H07{Hmh]3_'lzuL >$H/3䴧rBBdDR`YlKy,B!5sP@ 29?pĹ%Z)M'I-xیvabRHԾyi[B^v3ۀ.ܲ0DkuJ*~MOy y7< ?g5TN^+'ޒKǮV&@w?Je߽aЋ0`kW cD~.qptlê0MT+0Xw\ !?m" >7\w/Q_9YʴxR8+xxv kd VNԠ _%)dy9wٵyJ0+bюms m;0A~˸hͽ)f-6Efk0F) zGX˿m9no^7w3" ^GyV L!qDH( GSwΑiԦm5O_=*"H̜P̑͵*%Y+vW <6U$Km@56~@rO?cQ_g[ֹ,yUwpڦ&V%zOU縨>s14sn Ρ1_z++qM! ;ucI>}Ar@&0-k|=I |pT%k #gj"(M]D MA;H' 8dEʶˤ|tFZ-R2Ŝ荵s#` U' DJ"X>+o\[yfI|zqRNeq"zu]Kt"DFGpOQoY\?cj>Gl(mL#]$ Á_cDv3Z 3_Ct IG>}UՌU\%72g\#ϻ 7/ C:SϞl¦3j:+䊈7NJCj.k ۟zݏnn:1ħ.sޒ0y`0yy1Hl쟡P4a j DN u62, ]Mx:^o %(6Qq?5mx_Ztd/jFwd<\pWClWS)3% d3A2 'Y<7 9rcb~k_ \˼wfB!W: 'X mVH}COǣY񧐄&