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   u/]Nominal2:threads=2elapsed=38.226cpu=73.808gc=3.716factor=1.937zXZִF!   Nominal2 C]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`SLpy!k;HUŠ-MKV`UQtJ]]XJ:RȩEb}:SǺH1oȃ06<1bє7w`LG6wG뿹O1TPyr/QHp$y "^V'h͔P3p/,B8wJމ 5jƮRL'T1̻s ,ٳ)qʫ 'P tD,eXR|>sGBQFf#~8 /-=KP/ Tj!ΚV*%)v#zWS]CVmc pD ]3rnqo0+Jn3U0) O QqGRO d!RP*Q"ъsoIA]Ke_:Kl(XA HsRKA%`fi>x?y]{m%PikܷPrVW>(!nj4o1Ӄyf79.mگwNS@m, P8&)i`ub0jvh @ť}o@pKMlH)RveɃ Hz#06MBpt(;[?pLx9.sWa.70ݽw!L'̇qe5sUCi ߂~TA?,dCSaD$]X$'J`v 8u * `JITĮjL-} .h8Zr?r +jik#mcg!jV[@gde6-k7"C!C:3$iOS…Of$M(UrVM9"|JXiL %j= Rƕ: /O9E&?ok64^0\9 1s9Y[%u|(L.oV|6%ql+Tq-PpY H5An q^85|-\EQs)>?Bf].9C_@ vY}0//%H .8!fÅw @yI}$]UϥiC};y_9es dvΔc?ƂpD[00>_/EStmN7bU0],գ>]njI2ӂӎFfIO-J~Ml\z0M\,Ab]cBȂyIV\" MB,($Z ⛡޽E"G X/j s52bƯ>Ѻax@z¯(,2b 0ἴlU޼Gl O@\nVUYɆƱ b;_~Gv"օ_ۺn&`ёjľ'S$O>@F9^8^V]?Gc]iDOr-*Q /xM2DM!8OϦܼG{@N΋U4Gv:ef[jɬ=H1!.pU O#7fsEύfl=ZGj)y'lqC"@;" vMcb̓ༀh &Vr3: ×@Bj4.U>uvK=<[Y+U޹ƧxV|X%?A/=n-[tpZYX+XzTEN7M:ap?drTjja!i"4~)J6uh.@tp6?Iֶ 'qpFύ'a)= Jm !5@:iCɜ Tĝ &%+AYB :]:ZedCz՜oS^pQY>ib6JC/r@C#臻1-cy h?| t0v% W0@'7ia̲1MR͇u ˮQfqж́c L 4WC (CcM$&ob]ڊItoG2̘Wn`:7 H zoHz'NrfLƛgI u҃e6[?  :rT%.KTkt&!^H@.ScQ>ϗNJF " =`E*Q^~Gdϱׄ/i[d:j:] #&}ldFf@ܼakʬ{vYV04O{ђE}wH]Fkxދwѓs˭这Lc0F<ַ1i=>@ؑ~`2lcmڡJ4!~[K 8e4>T@!a5nG5_jT$= q, X7')[,dg6i0@c֮rx> ]>ID`șm-YH<*ϺG 3_{RP 1EӃ~'^>=l^rf`ak K_N%GrMӺKh1zu񘙂]GK#A)p1nOF$>`чVGpI4$δiѤ7*ײ %r 0lu6(7zn=e5O^Pƍisp ͷxN  *i9j% /±_~n_i6G3Q<*k4lѡJĮq Q8b9y~W]UOf&OjoMe@o]g&;2ӍA0Up+P?J? v[KͭU>]MMp,YKlAՒ^E$oq)C%r댢V} yZ7[ʤ]\~\ X8ﮎp ! %U3Y>GyM ĥ1ZJUa,\<JYj|%Os$ \V{mJ$ eɚ#뉁.DV}/I:y^X>A@9م`TXBA;y SJwMRt\>`]b3Aď~9]qj]b HpnMnlSNYj N m*Jl^0󿺄ntD{(o.5.ڈ]"|ADP1 X`N نNz Hأ86G }ZȕfQ1.c$F3Cvf{%yqt09-ڛާ㪷&mQׯ?[}kf$*c^ 7=\0k+lt`~!|^%ex^b΃wӢne:BNn,]G'tp,}Vq+(_#U1wK I_拥KnHwi~eX*Iإ>rA>uGRmRCV8/['zޮ>ls 6 Ab(Kեhl$Ndk>CO20f0}b,}C Sk5qe+X̥=uI!Z7 V<]D͋tWj*?k$aO.|?&Zº Fj^81.y;0 y//B?Wqg"ɗjTnFNT1406rj] Lr8mKoGHK%3@~pgYZ7zXZִF! ]ŗXi% ,zF] # >679i[\Hm(NO׫Ə9)b6`y{^%jLc„AX @7S -SvH3~>$ M¸e,iO$~f) >}>F?l7AcW^;ܦRN<¸l!3n ҩ {CE߼Ep ;]~&fOX5Hy3qbP]-'?6n%uQ4z> 鋃 +B8pa 9ngװWm/<^p/SC_"<3B!\Rۘ9(8*ˆV.pk~}ArJax>`?=q1 J6,m@V_@h R+珝ʴb[^1;iA>K"|%xHQ!`dC&\(j$HzfM?'-`EwC%ei#B7v *u,!/0?3_FD9DH|_ b/50nicg$:1_5>*O:Yz6=Cñ⼤ qaBw2E4P31YhF%nޯ7R>ZM;"V SPY%}?vk,LT(mrB22q,aVDJ:!p.i0Z{ z5>huubAYTyߺTWNơT1J4H]|A7W˪Z H$̻[qA`/½]jݗ xQ|o 2Ȟ ؉RKGϙc_u1B99 涠z}f {,m!Typ]J td/ C!| Z. @*mH©]X"2.HDTxz~T[Zsڡ}-c_PEZsk^S+̎M18ۨ㹗L Fl˸t{#@?)ӹu E >=,ESAًCo(Mߦ0Q5{2>gCR+_`Wމ&0 #Q4w-~ #".(` #Пc躬g6u¥dCaLQ2ki 6ª:6J%"񈣇=i@O8O9itρϬ=oOޜpY_s? p,mw]ۣp1|6ɲw--*Ra2e_ Êβη$՗ό;X{<|8=Pb'wq3)LEl]l lKY10o"~pŧ_"5$ QjEcxÈ"o|\[2hkÒ qkOk wnOPKoi9p!Y%(q/~l#,lH%SmmAU_|KUXj<8tǵ-.MCS eAOfuū42@#k:>gd/C 6 *aDI2Wjd[_zj=^+D?LR~#N9odcLՔ<^B%Lg:mU,@-YeߐLLrbPbtE"WE ]mdP