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  -| I% AutoFocus-Stream:threads=2elapsed=68.840cpu=125.092gc=2.212factor=1.827zXZִF! u]ŗXf1-/6vRZ]](5øF<Ꜣ\Tp+LS)h2)Z@ldc6?i,pHVPXҌ>4"+4sا lDGӴdf#xy3t:yA=xoniB} #htaeb. owSu=(<g㴮lY[QY<̉kʑx! Nyn7~mRLDKu'C`#Wp )y vtdӏ-(C+ɑ ^7Lz 8D TOtmQÂV7a^|IvZL:ֹ+7< tBL!= W[&-Kʯ[C?BAЛQj5[B(Q f _e?pMڤ̳ :;b raITs"w^JƦs>{1@hv'KmT=WoxM<8zNHfd9|[,v|8`#xHQ7F{{6|rXG {NR 71C5'(30iDŒ3zX]8-] c >uyvu}bnt9K<,Vg);7r~xuDz+`?9怗:%aÅ"fP26jd~rLV2@i )(a_2v ܊YJW=Zf1صQȾcjXXt``J\XZX˫Һ f[C&ʽ1 N{е i$#jPV!'- U)!mae^ ƒICJyx@@L?(AZ>k=Y"1JƥeB&{v[RO+DQ4Vb.VƇnv&_izA tjSŃB/"KC FΪOC26|\')RHπusP%0%OP$׆ђmg akd1 >s˝$Jg9QM ~Ox//9^6-/)^(1T 1?<8'|}G|lؕŭt)`.ǭ)-٠E%ey?r7"4'&4@!*b5m$e};!r\XdONk"@֬,mx:|.{b ) KV]|Vo =q -v;*.ȢNt.:VhԹGS?RHx% ?FC0;:6x ژRxtN\t|[,{3 j h$ыN*"ߘW%OHutiz|O .}C Pn}ReZzsnpLAUz]J`h0]utw)D*B^盐P(EN!eu#}cO,X W1'z|irf $n8%7& F?<ʋ0oܿݢ?Hj6@\b)m(9 ~Lgv]v5DGatr_ }{ܬ鸲s~iqfqњ' 0*5r (ѣa!(clD7 EN^$}9k]jl/S+(T3Jg0GMEăǽ"Yc%ScL w1+':ԜSEt<۞;t  y]h؟p˜\vrr3 ~~S^ltEvdB6in^ʧj% (厗.y?aA!)' =TNOvu j6Nu~;rS@ qY@jv\DkYz0 v(gCcF8r(&%x(>:uyϪ܊:f#ǣk{fl5ܩ*C?̗[ %0a5d, . MP4sY9 @E52Xdqsɷ\Y0t,kr &Py aljT'<ÌɈb\Wis6KWxXb4ȝ/: `4WRxʥ`: lfIB+O!w~_1jIzꜚJFG^4''lJvb(eCΝ-e]gjnTpia,?e 0l'lH )8h+1'6'YyZR[;NVC."^K_{p%(\F|6qB'p|Co|?S4 _Oΰ_اNҟAp[qTԶJ=mxAYnNYԺQ7?T 㟮7i醣$w^&n~ Rj#(eh{ɻr!-!otXE}']u3>8V^~=K zwNŚYXB?\}Mn7rFɉ+yæ6řʟHa=qc:n8wWԂ "=F5! y M&=QhI1m[bmd$* Y^r[x# =Koz<ᒶzTaUIʜ-h^8# sN~*>"QV%ҰɹrzVR-A>R3 L;"M;@]P[F#TRө#؝EQ UQ hbTI*zE*W)~Tz"yȦUgM]-@ GVFF3tڻIHs G\3Xg]Z^] -Mjf?CYI W F'}SWɛ*&{Ob.q_FnRmgJg(u Ƶ}3& >jKM#o+g$ q%)b}y'qymvRvF s-<'k+6J+x pT Y ykkdMx}Cn쵬4G:@$lӄ lT?/) ,Ub/͜yMG,L !# G?P[IrnNON߮Q} 89 /78DrgYZ7zXZִF! S ]ŗXi%?2Sq\3_CZwR}63LIIX9ӖIe}CiRC4_/uXlyjF6FOAJL,Kئ΁_3,S)~ 6ouV?*> $R!_.hH6 %nP԰QcJ &sMŞW#Ctk=/%BêE] XWrIǍw 6S[_G ,FtHt{R7KG\kĖZPVfG ,^+mItS0U2- '࿒}6q.)ʇn<6f}C[ټrcGF`=r , `Z%m 7W=>-|oݣ H$ȑ fAR:X$tťٷH7'CH;ǎY;aAԿEBJMl5ٸ0m<$+ h@&, ^1oe6 IAK)` hRZ_(CW|Oުॿ@X|la6W0T)+)[bHөl؊`Yw5ɛfCxOv2;+rܬEc嫠f.JByϦŹn+6'k-+dL-W'w6_ʒYbMP, kiH|=`=AiRLU{FU?ԽbR׭%ir.,W4ԮU;Vi}(6(}yDfs*t+!e8U΄woGgzSV9$"森h}/Pꪪ JO"KA Gʐçg!車H.#1YBR3"8]9;L.(fP$oSvq̂_&ؚQ2=Ä=F38[i)AjǏ@lAxvTahm.Sha.5.J]^- ~Lb4T3A_ߘiE"o ps$a*Mp:䢇u.2[01sl!1¾$eyY;F B 1} ;ɐLc|z7|HPuxŒF'Zt<#+z{: Hs}5ȬXtF PrNUP6If/7DX@ OU3gplo\&t(jͫqx\)/*׭9jV|[x[%mlb1-)gAz>/LYtYخ,b~ L_QP{8/pɾOS^~F6[VTEc~ͦ-Im߆޿K+3SM!ehVyl U4rKTЂk (D񖧠19PM4/TڬrJ GхƥV-D@6#aKh 4fQn) boݡ}}\X iѰdۍCAgohr{lβOiK<(cze|i wg5)e?v5|O"X7{=g3׺;**vؽ)gr^~['=pr>qmVKq? X$cijW]=pXܦiC&Ql?ECC! ^Z[OF{(O|X50滔i3>ivȋ׸Jӳ63#a 4Zt1PFH|x5, 4X}#?M#CI? 3JtY␀lC(CC7>e;c%p 1Ҙcz0ȝEGA~7`I4DXSwC cU#Mn7uǔt$LT,p{4v 7RN Q7MNv0l>X-<;}EgɻPD1t+Z"h0K/GP; Nc^ w.sb[MnnњZ^IDw* ϰЯvy&1'p5f ZƳ#a&|^J"b[dWW!f^5̼|2/RSW q-R]@ 8ӈ[ijNA):0J g%SmC&mkDvү)bUTRS*ߗc>m*W"6J#t0]&yn(x1Ql l`!7gKx{:LɵݘvplXi~u [&{ >03(̒qmk+`%L-냌$5MP&=s K8'F bQ"(b ,l0PeE~Λ>m){`J<8N`%pib+ym1ݛp k F?ٹI5aw Gl7‹0J`Cvp 4򭚧튈"Apf/'ACF(߷_MHLs'nf>k)b{Fmq_Ѻ硩PkY^لn鹭~y+ǧ3L)eN9"^yO{ec} 'u=zt']$ڿ @د!gGNW$gA7u| $>J5_ s/m1XY1vxzoQdH