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 ' T Y]List-Infinite:threads=2elapsed=26.952cpu=46.900gc=2.376factor=1.747zXZִF! %~]ŗXf1-/6vRZڕ`0 lO"Eu|ɫ}bFX $+>D'CŎЦ^chۚϓ1bqm$q psA4K-\'L&LTP6{ejx6ͣEasPdaGao|8QGMdT\ްuxL)kf\4KuxÊ1){QjuHj>.5qRyXYThtD33Zy9 F5a٪qI[.hxZrMg[?qWUjn|ԙNs!TOxt{ٝQÂeǿ;h5,#JZ1pS`WO(0V֨UF~HTPE:FpXo| iF}tHǩ^h?0 ELA[;Eh7l:_kHqNLpm=ekÍ$㚿=dnO`L(y +:l u&1,.iE_eT1K貮XcѤ;]=˾;KL)hJ=%=-Cqy rX|s7fݷjeNZc3+ku)9=`fRLwv*'V`'k09+X5'ޯ-Ц4+Ptl=,9;,p: D߾\/VhL?z'* jEK8UOcBo?HR\|~5|L\v +uŮBsn ]% McH+|ĬPKVժ0Wu6JLcPyǣ}ބpfhm.oX:pw~-Yd ~B dGBq-\[,>x%,^4Sڠ1]AJI;~p-AP R34 P1ZE%+m\b֣쵌<,jYb+ǵd^{W1,b;X`Ә-5uX k ֵQ2AU~2YjH 6s[#%6d?{w-Z-lKR +Ez|(GOx#6-<_Ri OT /t~_/8vZ=[heXPI9Qƺ*&,gi]tH5~+ŠH E0R?ӖeF$UXCGiN *r 7ѓ[z=O:[gi v*Q66jL>GetdE*zbz򗁧ea{c X0buR2-< 7x]dXUk#s`f^wkn;GJTk 8=O7>iWJbF' =WnȾ0eB?U' ;1؊z&9aj`O򒴞Rbg 1@^CN{捸5F'4WdHjKOG=cI';AݵB~Q,K5D:3ek~95Z/_ϙi?i72R$XPnq ^xb Lhfd;YGMs4Zq5' ɎěNI sl7N:7K-Π[; 'c9yc#ZX$MDm$'T*1A$|| ^4f&,v-Z.|-ǻXdg4 pz1t]P/qregM~fH% +Y.P >G<  b(_V98a3^[,غuꁰ$mT68KJ?W]W]ޢ5+Wc7E ѕsȖ@!6$q~ӞL90`&Umθ-=U3ZcqKN&1ձOͷGwIqsM*@خd;ka~"EDcRP6}nS,l,6/v[eI6I V')EtbטGZA}!6qF[$,}oyg%%'+fG~%=6)&ǫ)nr$/MI55_wDuv./)xNui/ L.`skt[3H5Tm̜Dzc7BQ/85C}phQK& wmY𗏰N7GW7 oDmv "K:f(3cC7Оi'@Mz!y|/X^ZknRGm8DFs+1dr`15 t[yi-DEejP&RʔhϳXPق+v]̮iabs c|2zqЦl Bd{chzX$u?e,.Lr'\ j{qnC^F~vۣ LW$Pu^#XC|'#0T(`o CߥlK? dQؓmܦQQdp© 54}d~_^ -?SMǢj:# 秄tx㩍Z$``ƅQMPȏ]J P8_W)g(A_~:MZO?6 i?xois`|،j,C ,lzp[0TXF:-\>0^c p#.ՃK[|a &RT zV7Svv"mmҢRtbeg^?ߪQnחqḂnFj٫yH醲cn)Uz +[ݟe?ȋm)F*>] )43ҪlX!A9< եe [F n#`鿠AF+sf)Fu8G ̊*sIj]B3]oyOl KniqD= 3c0eiZtyɲHa?/R ԙkmKte@S:XA–gA"3R'T_\$́ =bpxTj@HC91C#9%6v.DKǁ"4'*X' $pӲcft1Z gOtXa-,H ]3;mjT'PNnpC$KM]Dq9ߗN,cYwG@ (^w,/Tɠ%QE)٦x\*!PbXv臫 vS}hM Z6AB%2$3dXX oQ!( uI/)xCƾ# jq,n2iFe0hcULr'"@9PAwV Qܶ^n;{9cJiKΓJz|zRYd!/7>f -r‹`9Fֶ/ۄ#!6/B%-GNn|w4Kd$ &cF9%,3䒞?:999>o.& WҐ 2L8[#<\jY4YH۠llK#%}o&s[([ϟz6P޵%rbqI!(n *߼ ݤ" W&L"z]]:j]dG#gYZ7zXZִF! ;]ŗXi%HK 2oDUx&';!x78q`Q:`#3JZn0 ݞRiǢb#,[NEAav`qR)>}& pyMMx Pȣ l}md'}+s(~d% l&cT2lӨ~>SцO0R%?fc~뇔=a}|yʩo: % dnNO-oy'qrn~$ӟ_46xq5ҴPo(lnF߼KtܱE֧7I(?< +.@uR=@ŠnKIEc1dO6#Ef׾!ibzxpgTCX-ϕ=‡ZnC.(VԲbx%@A`fAxkq^mC\Cx71 }9G J+xn`eŦ87ySu=2珞Bv#} {Agj(D76g үau*^lQ1tapT_ct{W"f/荐՜;T ]}}(s*]c5&Z *码q6|a/Ǽv>2ԥWlJ]b#o{x0d/X)܄)3hl"m,,acC0*bߙc _[ e[̊[ʉ&&e>n5 XYΠtUBu 5sLd3b]"9c X\G.zU=ѯ&/e}yʶ8Xyw]Okc}F:NJ~P=Q1Hբ&udA?P-U''pC;DicoC5z8ćShd8G<9q6L>aq)7p]R ;qMj߂ ^ 3C{4&Ƕp~2 =ϼhZ5A)*,2 NP6RC3L j +`7[ Pea[l Z {h=QWraK<,>`)sHcZA=+p5T?1 pѷDrSZ0`}|Mo|Ik4 CK}u ulCBkJ!j0a/m;4ıۏJ] k}{pgt3s엟hu (9Jܬ_g13WfMC:E\ǭ0!YO J D`J'|E{FAdSHg47CΏUg Lb*6@G=Ԙ8Ŕ4[0F70_-UģVN