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  g#|< _/ LocalLexing:threads=2elapsed=101.709cpu=150.368gc=4.576factor=1.487zXZִF! J]ŗXf1-/6vRZBfߟsbq\Lʱ=#rB3P .Ylǟb>-ŴBTM !"9C.gy_Q%Ei0$~K' hyxgφ9 EO)Z hs{!,ns@Z'[o H[nPv{lA#(t2\|/Qz&ܗSlmvaAVFFut$ C.xg. z_癷*dǼÂh}Q%FtuP*KZ6B | l~|XCY eyU+%zCLYZo'MR\a{ 2D'tt3fl~Yo١ۿm_q$e#RAP~R3}pu?׳AjgKU*a&P@ә?.y>i(J* LRR #*׌znq)l3+ JwhX0p֑$x+T15{; {*d'nT.0v4'ڬv7T,`vZ4k1pSYsIA3[6eң3a6X>˴pgUԙ-/uO02'F`薺Xi \Lw3H>cW܃x6QVLhN ʭ::UEVWU\cGrv)Yyq7is2׀o\гkozc|RuAQۜUcM>$rNZV߫)p $WPZѕ萇|7ڍ g8La bɴ`xհ BAڦ2$> YƮhvgA3sS/kGBņYlArl#CF/%/n!ˆ~k-l9h;+'ZQ.v˕ ,gYZ7zXZִF! ]ŗXi%3fqKSE+Gq㩢Sv|H,6BCN_@}ʠ,t~: <Խ>xXɤOK|5A4$ S(c_%7Eow֖BYe܀} T/~~7.v(Y=1z˝P+Տ~^%L ĭ~Q˜K,a{Ń?8P!h5LOZzw]5 t[SC lMvfї-UL)e:#|_Cq?̨y,+/Ǖ0z۳[백roVrwb4͌Ct=)XՄ8.MpPj .: @ɝjPhLEZ[h-%d'2:- B|I‰|ie cz&ˆd@M`R3֙/QU<@2nJG.%{soQѯ Ce9yry>w>'8m|3Ay4MVӲA)oKKyw<9OZxayAO'$Wz@@]0.Y7!{Gq{_ \&8{[QJ!/@-Zͦ@fM\\J1z Lhv}RSϿЏ1gbG}GF(4fSP`CRc EU| -ua<Ƣw0]a` !,,XE!:S;<y"@jxċf%p}ݥC0EKaV`~GYLzHa}W6C:+´Lr3sDb<{e]%VoUI/Ƃ]eudZ$kIN;j9x=i#aLG/Lu/tT; hB`.w?m=yO w%`'t\鲻{d`ǮgC/] "FSTf]ٞM7 ,}m1Gyo6v A,8DygPUv{1}'/"z'Y(uH:~Sr[,>ҧHSS)r$$d fTGar[-6!]%8>kdJ2i"LMVx|! "W\c+@T1^k~[w{f@;gF_<%V"+ŕ\V>?HPopԁ}7]<nGG`XJi\~eHUJ-k!K`VPJN1MEgajS{ϼź9J ;tbo˾NzY^1A(+.P_.I}F-kbub 6p%=+MEO gNJ[\\'߻sGY@(yv?:'ȟWrK GkχMR4Vș2=yc)O*CAmW rW`yb8)GPm>]Tk n;vck]YR}_ 8F_j KLO7n"m8! *j@yf6-uo}h"hUpA_[g,EU #%ШD*Z(W9H6ND SJ몧i8~hDJA=$y,H6qd|ζP=x]n#"5vېUlXՁTtG.;spnYooS/zeS)odSv2)&`Tw>y |ϯY4}Kc>.Z@6w0l֟>ug~zϖJ^Sߪ7wex\ pW{kGFDX^Ӵ;hQBA @J N x-D^HhJق!6\Umjᖜœz;~ljZx&֣ Dͤ|AH˶;R;bq>yA<q&XETj\`b:^Wj\P*D]#Py2?'Mcٟ<%iq7Q9>b `mB׶Ƣ.̧SQ{8U/yPMi>HNV%|Xkz5c]- q;\[.8JV b;y}y+N!ʾB?M8g\3ߖDn<Ç˻hI,6аa>EYKwt ͚^LtA #IK/CسߐUh̯Ƥ>A_)،b[QN(0?AuEd”N=r}g@f<4KQh]c9d?Y=6^Quca*4Mo`z!r7ܛXxgMeTBOP޴9g9oUGT+W)t=m%/ ']DK-;>w[π[uqB!/c[w;VΗCc==y7m)G},#;/j//3p;}ƛ*ynC@pO:>Uߥ||'5F5Dz`o>&G4qd'6/?¿TY)˟[`I{n\"΁\TuOXU#|g\ܑ9XC C7Z LS4ݯU60za=ÜYp߳|gcbむ Xm\TJoV,P]nq':+ _R/*7h]M g)d% UBj&;pH%LwR9 "F7rx\pZ'\*~اMC%ډh+x'jeChQR%OcQu7wG^ESMڮ\eh^P1Yt>_ySyyU<-tMSĿDx*2s)erW+\f +]!apti j7N^qަ&!(R8M᰹২Ti]'7̢"6BURj:;Vn?3¿RCY1YP+Y#ȇ\HwimڣY{ 6O&awtyq+a56Hׇ(rJb$H-Ϋ&#=BjF_4Of$!({ Wpj=^Z-7Ӭ/=hESx;: Jbń~\TlR.P^+1"4^F=9D|NkʡPs}D~P5Wc^ lBaGw^xmƝFiIn"#vUհ 3CF7~!Tx#j+ڡ(Pɼ{$ZYL>QAJV3qWz-% Fo4mHk @ݗP2Ldޙo}+tu~S}hq`GuF: $K$rnŒ"{םlN_*-͟ ȍYXF|@ b@J-7T14q |[ $>ЦBJQS|4he[4$H:Fu&T'F6Dp%xjb) ~T[ӟx~_7[ S!l| %/tvL b'f4:jH; >Rr[ҝFoDN>Apg@ _1Szq80UwϿ{YwK fi$R 19#ceQB-'kI,z~Ph HLWJ 3.^KWuƹr!2`vzy(7k&h8m oV09%7ۨQ0PhaBVGx3W:1v>Ń oS\`,KFDulYM?5xQq|e;$4Мr>#(iG$nKjoI|Jk?cӜ<=MRHXAљ$2B?vZNT"͑<%fW[Β .~J2u)2lkdU]Iؽ;2g[MOe$h%8V}iTiM;Ѿ'Цok>B\9? C .+l @TNF)f H8T@\h8G+S{