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 yt| Y/ KAD:threads=2elapsed=165.856cpu=251.684gc=11.016factor=1.527zXZִF! sY]ŗXf1-/6vRZcm#kƣOw|ё ̮/`R׳(xv?[U~IU*}/(\+yV]ZB>2 !sS n!SfL`y*pۊi5_JYHZK?N((˓h  KAD+L-$qj]qљ A8]7(MSC"eZ9'Y>mX/~N #/ɱ!(R4.>UR!?Afu؃(UZ|'!kyM;KT?X 9+*}`Kd~a oܻ̜ 0{1%©oDF^7\YHjJF\"K 3Qc~p/x!:Mwۭ9ż/߇~6O\n ό7t->n2I){'b֧BZ7Mf>J 1:"6+[l`vׅəf")>Yo񬆸oeVGKMЩ{X/jaw)T7ExIm'>4b[ neb{28yIH*yV\%m[C!ll:0*!a@ޫ8&2DŽ"0$˅{#<ECu#GA6ȋh#>3f>DLL 2,jѝw,"eWGRc-P YˍCgwt_UB Q:;r&Dzn2@7Mj]&MwM{b}ԗgs;sXT_b=Yl' p&*LM93am6@)o 4ds[M74KдґlHzY;dic'o:ƃ٬Z 9݂5p\T"լ}6x!):DZeK`Rk\]Pf+܎8F;\ +%$(:=^L/j53!jNj#j b#8yԬS-Ja]^2 -څuU ||¶27~=@pb:a?[m73i=+Ԣ?jwM҃l~;?d{-nwc+MWC7 ICܯ^{!&-gG6┒a뒖(XpS~?˪#e}9ɩyKcH30tP\<{&D лE|"bm>*!@hGtԩ" e{gOAN/Jpr.!XeC dwCF6S ׀tH JBbT3fJ%$M(.i9xx~Ѽ'Mnj#?u} )#.&V3^W7,Nm$U"㼁&%^rP0T Vw;_48a(yhx, 8B}9Ԁm vn=PAssNJbNbBDB;89ՒytMBBDى ǣ̒_!{SR1?6Vi f 1aU#]&h(Yyaa-ޱpȋd&mVHI 2POx9;.0p2QCZ4'9uoP؛ʪr׽ϻi"顙AVN߁kŠ<(#mOAjE\GU{ŜMlqи.I\1_FKXPg8;qCBXwXSs[R޹GY'>L>r{)VCg͜G뒚kobg+0`"+ۻ  nIWGrjڂ^d TJv?l<+o.ܤ34xhrP _֓W,l.W^V"%}~3Bhz*,j/agG*L9U8 D O8S vg߆n :&p'L݆n`9uuQsi#l/TF׉|чI%hr&M⹞rEվBX^~ri Fh8OFL(e#ǚ<\I]+@u gv`NCeJ*sAc *^$(kRUzLOs( l55D跭1 xM} ²L`|.s)U/SmbbK֓;rhyPt{>a&jodQ(|,Q'|½4dymo*8hSUb?! IEu LaB+; ٍA-ΔaC|*}D?3!0Ji T}P!acDãKdj|lIMOebҢjrtRA+ +(OUe:hJdT#/־?0:|S8g!jԉR'u؛76:C1Ä)OAbɡ-d ̓}Y[1X(l6-#irff#6/ۗI)άI{ޟ)z)foX !mq?OgTӗ tי86Ͱw~8+ᏻ[6eGu(C.7=ͼЗ|Eɳ7|dDZV!Ɵ~9TY칮=D. ;Ca(xLX !u;L"#=ohj&9eǨԭťRuC8o fw^'xuG4Ud)պizիnԺv4׸`X')2nJP=LɪL-ror1}YTGӢyTνz[VrI U}kL0ى LS$z; Фt AwṜ}nj21rs-\@\^F-%KMG\zEQKQG߾\(I|m2k.q *x[,V|'~IOqcԅPI?Vc(MC0gL07j,X=[sӭ,'E T+GM5Q3q ?k r0_*0tH!3Ii^|9HeVf# sOqmJKzC CQ)O“Nj85} ,C76QZ 6Hݟ6Dڟ~ZƦS;Օ̓zK^@d/er@ZzeN!E:,~edP/ct*M-H~Wß=4qc0(0'RyaLZ&1ޥvLUO~YYl*aeq~]@B (& Q8xV cPA^U bc_PP4dH ^c)B&Vmݐib'l"S}~ 3JI;0jdev2$dc:1nevdJdd6BІo.{zfމhFcMb%2$1''xab`>,Ѧ"tY+b[dePՉǔM& ¼/^?.h7 ]j`jHiM?H1J?qHnY XM˾6'yCX*MIAmt=@T]U (`> qzIܲ_{;mzyT@G.p<[u֋̺t`f9\)O7R*Q5Nr䶑 7^07PYO}w,g? 8N@- 64 tS敱Kߎ PCk!ޖ;zd ;9g9$,+80!vƇkޏÎ 12&ORHq?Sxwf]D;Ĕ'R|>t @A X $w^mUZ7 2Gua^?Brp\6OG iM<<ք񰫮-[H 8㌏BE:DS-St Cq̏hA}Yqv2ª | ҊcTI Q̓XDؿ-#ȑ!r n\uі4H5NmĠ )0TiAVQ~ї՝M^={ZLBZLX *:\ͣ['(a|3]v)E -M:o`&~[0.iPٖmsվ{pm53-w8쪼6_*ec8bzfZBLgRR~S͊CbEͭVɨk}SΜ(RʲXnc$֔?3P.A@Y9+Fnj 4FބESE\UK[sUڛki%G}' rİ(d]N[i`׼nBt}dEVa5L.Ҽ)V=_2Y/&sXuhEr=?89 s0 453bM=DA!h2:K=Bd}Mr3&t.tb_ŕ,zY?kjG]'z w^v٨֬1bE'8l gP`g&PM+e!~.Vؓb z})L/n0/I)1E-1Q"lQYMV%~{thν8qN=ьQk$ '1"8:p7`si"F-<e*OQ []`T H:TDL<*Ǭ Z-UO.qÏ_`Uk Hlm<:ρwVk  db,LhGΎT)1O,`ۜf\828J~ ϰɲ1nӞgGw{䎟uh[8Bj挩?ZqEh`_OQ[m.k˥^Ivep$EP[ݶ,Qc7YIi|5A,M0]P5*w JRQk6q(FCCmL$ӻjI >TFuKk OTڴ'zAoΈVOT _ p|0]G qe{0:JL,"YiTJI JNycĖtl=%\[KsbDtMLhjyE|w4e[`Mg< J#o x?NXݟthsVt5TP\VO-Āƻ;)ubLڱ_p$K5 4))/:i0Z+G_xDzgp oG0,Z1vliw  WQpHk؞b$[X(8jFZN,'-'4> #{<,^(mF ,{[#ֿѴ{G H3kΖx3RG"E+a][ ԥEwg#;~N}ޤ~X+J[^Ȏ'i;M93DE% H;\uWuѫQ d|i"`x2]^4 u0־@iNMaq @1gBk  JZ C708J[ pp  ±Uq[ct=p7Qi^xij;_BfXI ~S@B]<]~+([ C(m5W\ʼu/g2F|-.gV\Ubv"~B'd-z17 n#X:m`p[i&<1,}D >I]b<5AXuҺblExOY~o6ZbC~j?I<)bxJF`rZ|c$ a7s|qC89=?cGup@[I(Ds;'ZEaHO 'Q܋T'ٙ7їc TYYz]bBڻskzN*'cKfcX!>b&AFDYg{]X T r Dt,9 \_KW"mw+ &Zߝ٣u Arl1D&D> Vd(6dg,٨lKM<{LJb@aIc+X7Z)Yld0*M|΋PI`;?'f쬡0n\*1:cœ ڊN$S43Ԙ e&#+xbQ /rHؙ3 r|{7|;y:%f6{YJ/$ DYo!PYac<ܤS+xip/DSPEZՓWτ˽FH;(}j'ƻ͘PծҶeaڲko_+˲\JbMo `O.d)Yb彯pYEao z J^CHq{`UXw;Gh7|Xh[@"pAd PpdZ-h9 D}5+iX.(M]ڗBqP,1$괨BْWnBr}=Qm3z]#B|@ %撅x9bKu!' $~GAC8Rx#QscAÔxM!ɸkdQolbw9!U0qylm-|FoN!7nwLՓZz%eDT[)Yi;tW,\kMi5^T6̌E+ B(Y/'1s!\D Xhw v7z򠁝zny͎*CLٌ*xR*p]1/e#$ X8oqh ٪t =nn?'ʯh!6]ӍD#—1Q4@L|,PP8$Qj٧t?$׵jQ1Gc\q+8kˊ۽6[b{OԽyҤxMlAw L3h9<}!֫t18GPiJboȁ7W{ȯ{ͧ4X^`3_j>P/L>Ch17^nдQ; ǽV-$.e6^c>aŜ :"F֏\81l~UV$=D?^B767>^t$◶X -//*gD=?ʻ ^߇Z *<ǵc`#K!{_̲R½qb* GVUbm^ީYh룖EFQ|6!鞻*v+h"ǹZxV1|AȇSIȌ^Q޷]-VA9nIsM-IVy(YJ3s\ %p98,cG3Ljo|qg-Cg"zt0zI 6~+zpQ}{#1CC!&Ć:_'#$0ԄppÓP^h8GA3 ¼VP͋"FdaT6\- AhO?܆a3%L]'CW9br̈秼  ߮K=a=ŒaqkęJCk9D!R%ĩj@Q?wXL7X.W_A݌5 I)Mhڤz{aXӕ[x m ݼZI9g_^TɏEVO܉D|B?{ٌM| eA^uԍ3ra H˸1VB?W)4b!:*K҅YrB⏲wkpPItwYPm4oVӻ%7&Eт̟P# {ؚ's̷|N YyΉ霖jb.t;~en߱F Nyj2~}@M)a ɞ+7I,jND~x 7@M(!Js4-]h̕3ˊ6`Cߌ}ʚ5,FL/"~ZֻYXk"J}461x(?Ut&XN rro*h̏ʫ] [' )AA H̀VaB,=Tg2Jv j]ɇڙh_$kĖBG6FyȺ2A݀8tHTil.=bD󤼆eD鸻)°l 1\'Y{ +>E֝J+.( q}N{+5qh!Th[8!| *zc\aO'To_GxN+7p*>Ph&C9tD2:U?a[ZWު&a"BMJvIP " H+)'=r_vGQTw'*Vr`Bӗ~帙DA{9#w/u=&9Qc1O}PcO?\w0SBk.Re幼g@UnHgjlMdN%<\lź)mQ@h7T;@`RxN0<}-<2_w6q\ke\8ը%r`m¼].~s ˏ]Dx%ZEx";v,E Dl̇U%ؓQ1'Yͱ7yTvI sd)'-mj{OъP -t{4: ЯZ`c6?Giaa ޓ4;@,|$"a$wd[!wKr$fnJ&A(Li cRzb'Y^1OU]q~sR-&hlA8( r;RQU:`C0sp>0۱H|^<0ɬW!/RlgVgabErRj1($֛D[қ2Nes5K?JJ3*g\(A\ fɰOtK1s G}ļ$V;,mw>@JIq͐r$CAĖ)Ӓ^|T.xoh#iiI\)8hp:3WR \E.ic}Tá4Y+1 3*d#y ʐ,LTaɨ>qֶo6nIbk܈ߨ,! c'%T΁KA[M0"T{uLueՠ0Ezvӫ\Ve)nÓp[QXCX+)g'9ߴ2 C림Y'.S Nk4[1Z7bVeCyR y|iF 6C,%6lQme`:!z^z&^_zkB)Wzjh-T[FdW[Q+qҭn|]1DIEaNkk-*CI2uzz__7:Yybܻ<\i"n:S\MX !,@ u T?ji~͈NqBT,軥Z9A;ūODTQԙ'a}L[Â5*d lz(X_c3|dϾ