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 Z) L 5% Jordan_Hoelder:threads=2elapsed=19.153cpu=35.952gc=1.276factor=1.887zXZִF!  ]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃ꯘ-2yb& ـaDk#XLS\[k@ _90 ~1˶x4$1QosZ~@j Y^MW<^6ĵ?tf !kPR]W# 2'= EՕ@FA xlTqہbML0,Y*H>N*)-y|<WRW Z;;oj$$Ċl-{ZW]! pSu1kW:q Sn=\FJIە; x۟X 3<H_<}z12ξ}Hd2/ 0L@*oit<9,J@T(9")@59|lV W~Vjt82yBM)n'tOTV.vkCIO/5dq={}DZ,xG-"dRf{=^;pDB ᠫkH"1׶0F"1x"] OҴ?@rl&P,%^wc*'FEۯIWj-vs`- Z~qGؓ5 }5Ns{cywǏ_b{MU+c 'j%$oP|pE ؈Y}.B^* D?*tc#s쮿롬_8 iW&jĄܐmF}%*ZFT)R۠ ]sʡKpZ}'TkFj?fd O!YiY kTNFL.͎y<ߎU岫AGefqfޏ(!6r[1"b]7AHH"KtJJы,mA=΂D'Vp%?j tfWU+-d<#?,K}hfLj/[ 54"GlVi|@`'Zk{`M`]x¼7$8zª *R2_ꚫxP=LN*,lp"^3CAq׹6ukm2zeA,,ZdL)pOt8maBl-,"!wTC#b:I#S09'UK/떽V0"1Ye_f&&PD6e?rYT&.l _+ )j '5-bi(ʥ^& sy!ΗvxTe4T;R\Cu ͡ԍUT#I,rbN.KUvGUk6},s(`iLth57rnAؼGJ #|xIi*-{3*mɣ~$<ݼDV =S`xLEaLXYp:1冬j ԅ?;#/hQɵ!r?D]wҙ:H:4R?~0[%2r7qjp%H[fp$* 8-P7;. Ccf^{}P=ύ;J "e^j(-AC.-49עq4_+i`%iVM g>V%lsCP!QrN*4;-}S rwRWaa#q Q$6:D`XAo&|KeF{bo o^ʛXz2'Pݶz.܉4snr.]Vib/(Jck$aT-D/ö7ѕ3rjq$ʤ|x?%2Ka/qhk*HpOD톦ɫ_+DZ{˿FJCUM#'iҗs[1ڳhm6n8Q^duKSgmt.@ADC(<:hG)"T7$7a8lsin:2l|ˡP$X3FGK>8]ߜ2!KL?gcMz}c_=iXJ?U=Ɠb*Wo0KU:At;{g++ˆ?RRJX4<D=T*!D!)u⪱naDM3i>";5=SS$Ed]Hy9\sr2^0o s*w hDfP%RCaWg~MuOѺg~gt)L@U"pVa|ka 28' { AmJkWN^/T+ÎLT?25~"莮FN]l6alNC.&l)(~Ax/Q62)FJi *sAYĚo(<#X&2fHT8]2:CQ}i,3>UJ^7Kr.Doh*X m!}w&~.`J}?7߿#wWCR86e2daJ2#FA>D~-X %7hE8fXDQ*C_MAX#-rW6!,–gnj,Hy.P)uo9Rϯ F)vHe ;PpӳTaU-fx,;FUMPD1W޹O`W s„;ՅlR?2XCg/qϾ2- L |qJ=^m4=ӳ&Du,wk%YF:Vވ$0@(֐azcH4%+ֶI5 o7>꽥 @}v:d[绐<&[B;BFVT?|Z~.hC02ӨHT(H>V`M6 TO!k(Ӑ)D [ma),fiBwwIĔ`YIʏ ȸJF‚FC u( S4'!$=Rh-JJ҆I>8E+ޚ96C䝣Oاӕ~ 3on΀ M7g Ty$ee,:^[ӤU_Y#h`^(٨M-VKoz) m! +kuD+HMbqM,OvTs0QxǣS7y!>X|ʆiSێ(61aEf3_a끑agPd,=e9Ndsႅ60iW.)#r] 79 PN; ,]q9ՇcTTg !y ]b4nr$ ~I{Y+a/||Q)16!LWD\0ޣ)0H8aO?gf[gФ695rPJZL:O߾E~9t-K]95f!/R1YB:w't g4 >WWN +3<MxQrX llK?3p6O P*mtT,p"}[ gq#JTX:!O@:鷅/WJ[_) X^I?~ӐN1{`.+%4c?g1{8Sb;ЍKӨp~t~+Y US :+ٰhU9VxpeW, hĎ?'+Eur}} J"rAX#*G|i|EUu嶻.ϫ $nJ΂/tcۚ?+cYaLt䮚vZ0*TiHEN%03w}ʯ4z==ж? ,-s jYc`g^)EwҨZ*ڽ~{ͦ3>yeC4Lt8L|cX8Tsӫo4kHYV[?syq0X{8*h5T.FQ?G[  1`%9MۉO$L M;{/Dߕp*)S/6 F,iEah8 b>-q 4 ?$&ɯ=%,~b봇vn]2'Sb^ zuǐ̈"H&-Wgl' m3/AJnD㐏p)r'}(>_EGa$)5gYZ7zXZִF! g]ŗXi% m$l*. Ϯ%P=W\EPjI4{]昧JP4qwXs{,xMh~kȆEFEKPx V?dԾ"Ɋ"9bF{qC3W4pљr3gý@_NnNVg9ءu}=tN0NRiR1(rTByk-]Y} -->O% Y7~|^Eȣ~\{r"v(m躑$|*INKw znD A mk\+ ߕPF 4Í 38L̯鸜c ev`iMfRRk~g&|mW1K~NH^Xʒa k<@I8JAʘi=v$a# -Ph{ (er/G.Ÿ8&lv