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 UU| t u/]Nominal2:threads=2elapsed=35.201cpu=68.668gc=3.076factor=1.957zXZִF! 0]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S]ۯZl^0냇 "Ů+ =̷ue:nhZӌ:Ic\)$`N\I&*"{'o@ʳ]5R!o#R5"Yڋ]ݎM9MsPw0YCq`?h1AB}lf=6 8ni0XFfغ {%_ g> qU`V AcHr,kd$kCNZ;mBú~xP3T$]/V;V[z%DdU:Vu˃ш BR?{GdZJ\yaN$OT&-,SulWߊ7G{5F -IlYj9zJNa-D}pp`l4\ju4k oNzT{NSyl^fi's;@c3s! z&nx?6¬jb@zD=W3ۯ&qa "spt|A~}bBw G$D՟51%ц{)G"f͹^Jd Pi^Da`uEՠў=.<- `!ڭv7j vdt/Q qD/֢޶l97W8z T'!%]~MM:j/m 4"-72GiqDBJ}Qpr@rZX|̗;ZM0F9nB5o=[*}mNexF QR>!z}L$":rPP+/6cSE@SeqJ2*g0!PT˨&ӕ`Pc0!tkUZewrF-BF@|=8(z20iѴ0ҍ#iR 握Fmܱ-bFQ"^3d.k1U>צ[BVw\N6V猶x, E<{5l!DA#]Gw7)Z'#a/<;9~'Ňm ] N_>G$;D#~c,3[3`Gd+ѧT]_ĔY⵭Z,д@uc3jvS + 잯NgnH-Gi_},uOP(k|+V|ɰċ Cm̄_{8c^,[p[uj=ɷ)E*{xW+>hN3(׫9+,Y^ u w -.Y ODXݶEЧk3r0:5mUw6}pjH{pW"{0&10)--@ZB7p8ǽ $ !dY)kYݐc$Hl-#oq0dy~F*&:l׆='[ *WI noIOK,c?Wod n{Ëp735J$-q?m ?5lB{P--T:[v͋Kr `ܧ3C Ru^J CbsKGl`{Ao4 (a+r_x1Hiio$ ҃yi+Wx?W%~d~"~:ZQA{} r^W4.ZA\)1Cn/) f̐õ|=HdneO^:cF,Xv\E1f4n arfk%G^J tLRo]gP]BӪ >I$K-hPf{?vicB)xNW!GVDtO`CdbL z '@T"u0P7w.\,uhgJyFͼNy{VTƟ$Td&K phXENH mN- E0MCDVuƕt(>7ypw 6g+L>&eStx1V# b ;/ENxѱ<n.Gͽvi'a%}A &)ޚ潂 xy b6〭NGӓL ;|bC,Պcfn:|߼73Dؐ-~?r#.<ԃ&f?(W (;tRyh`o7m|W5 ^#Q6~Ԉo/f־P ۦQj_o xyn 1KDk6/ [&NKs AUWp@w'];H޿;V́FSi"æ=Gq`!Mp=NDpUm隕;V @1^nqUa!F@dkTDI$ԌW.9ͨO,ФRIYEcxs퀖Ӝ W`"*d%#\i[~YjV"Bīꗆa|3Erb#(EPGx^(=#OYPaCEs3Cߞu#+39z3 1!#Jk_PwE=oSz ŎtKA??URE y44?L9&oR9ô --p"[TM|ONy|-/lXS'|uB_׈vpA9ѝk"KMvV7p2:O&9??ނI ecZ+Ir"kzsBmLS?bj^Rس ח%RLYNF3&׽%ԛBcߙm˿ hU~kiqʡ[I 8ӥNɉ+.`x.q3U "v.XTkyXTo sN y5 bG7eT5snI CK=I{H{7u.Gbǫ>m͠m4yI, VɎ,YP>W>5CтX+nmamu܋ܠAqhDՅ>?svjyՏ._х@Ȗu`H CdMٻGi>a۵O{1]F̘ᶆ^VUp|=8d3⛤ͨ(*Oa2Y 1:{EEƒ&tVD yگl(_i*qy;;"c] /A$(yPp׵ MA;@ɧ (|$ h:6HSl'j;WU7W*76O6G%#>Z2\iH-=bۃ4tZ-2f~yr^JL׋Br0Z{Q6{(a&]0gU? ڬ`@f9>,CdSRgGqycfD,Y|X2l^YyFS>\Ҝ}ZrÀdt)+|rU=Oי~hIH$*İLg +-$Ɓ/6 OoD$pL EG(AK.mC*n}E3 Uec ``8I(;Wu?\{_$tƛRDi&Y*+ R9K S'jH=uٸ>`{7;K֣M rRQU͒hŎuK{O+c1Gفj7_3hC4]YROUΈ]>1Ļzk`XOFJز`ā1V휟Op;Ba#vahT]cxLlq?O8S+P*K%Pc=Ո6Bq$X_1L,,*Wš}@ !Y%&ދ%ҳ1j-T2@!.n+~_DVfUԐy~&.ϙ<,so/8B)#-8= x?yKp`?,GQ)Śm?wPa,ؕeau:wkӶQ_ufP -~qM<{zBW [ldpv 0,z>xo^“*g.t~M-`4:&.ifS@VkeR7#jFh*Xj$8WpjDyu O&vhsfrP.\}wfI̹f:<H>-iz8 %l49F[~w,xM8Ow͢ҦX,q|nŶǢzm#pA:qwIo$#B{F6g᛻p&{T?b6"_ ȦͯĘ}V40=iR"XAVYѶ~f4:mו 9Wt]~i:%NBIjps# 'q>85`|8U!~!URV}_q&&l/ѴJ󺞮w p^sqRF ?K E3J@gfD|A>'/ldn/#]yMfۢkhC^D^tƩ2Һ]"-]Eb,}՜J#F$zY&PC)1XGZLJT oƱsƒ-챦{Q!Li쿗Nb@rS-A~A`3AJ'9W%C(nZZ)֮&wl:͹$E >gV*!Oâ~i_Tk=ǸE ON'IpA0#l#>bQQ 5ϹkC` W[F,( /Wx^&|@9S[S(r{q 'P.()}g#" S5Sc=m0SdogYZ7zXZִF! ]ŗXi% 1wsO\r&'QD@lwzYWQH,L}= yDVKߜڢ~cz5+lȨ>Te֭BJe"&Jd^R ӻkN7X"|P?q {.<8s'LʺW_DlicRIF};*C <.h1PR=7K4 jYlW7Gv7Ty>L`S%2Ԇchfqg͚Ji6C(vm{vIc#ˣFTPe>ކwKjv0Tȑ<-%. a2UNwK')m=Pd X|fVby>+*HGMYݾܼ0P!JinPQ;ߧr 2#bń֨RqdE'{yo+΄ k*<4f_g(Eh0Wu=2= v9 >4 ܼZC>r^p |0]#?ȭ5]AɪH훅nnb X) M٘AP=O ZvZdH(G#[TgĆOV^ĬjɯU*>J޾㻵1"䎍*"ImEa_w;WSVM ^S~Pvu v:AtlL\.4{@sMw W(wB~=?U RW$}gxT)!gyݷ'W\L*z.$K0pbx)if^1Bkޡ%uy1Cl-Wxc@n؆Y}'YMְӵq.+?wJz2A@Է~ @)пDŽj;UҍJ= ts *XQC:iNJ|a>ITY)~@HX+FP1΃9ҪNa<)80N&#[wB&K8DŽl7b489avm?RF5&9QC;h*'_bT g+nҪq;my[MWfcn{+PYlJ 1nO'*dH }2ϋL-fS.qNpw8ZNbeؽq,^cgN-`="CS/HE?Q!7˶R+{Y_ ~")э[{_:ۜ#`~_gbUdl%rLΣq.MyW 69cLѶo9~xVDyDLOꡑAqw:n"?A&32ߖl]~<6A?3L1,UZ-9