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 t1 T< %S]Nat-Interval-Logic:threads=2elapsed=45.171cpu=66.520gc=1.584factor=1.477zXZ 1 Nat-Interval-LogicִF! ]]ŗXf1-/6vR[o]dhNZ!*-| #LS>䡩uV;N+e WR_߁"*{E(w=."ޚ9k{-F 9}q1w h%>ѯg'U{v>.jAljlHpKbtf4 s[u6JZf ^NeV\C $6@=f><Hlb}@JDu˾_{ Bhu-;CM`WW1ZE:b<R~g ^Tq*.9,L39l|h8'8B7Cv3`ӊVJ5ڧxs+R@7B4?``1j*Y+Hwh\VNȤ`Uo6VLz_QNFcaz!= !9uO.\{5 ۷V~M)V&DtnwP|U'rJ*^8pCHe(2P{fOWi d, T?M ߝ]C0tWs@pHe9t`1^/eb֗vɦG P袛9xX!N?u gn>ӫu0Y|Ib$ŒZ2rc `zӓ= Hͩ%>ciu="$ Ggc]uh"dSL{]HLbۘU8GxG"{NDa6CWAщ-!qJ/LgHĖ AEJFzAQG֔J6[9;4^8,R ic6ƫc¡]E#fh C++͎H'WGJ,}+[k)>)=R Ki) (nR^J5qW{H2 `avFp"Lq"++")>¿E jufCCD1@C-rXiV1G1A*/mi0~1̻u %Z`Yݑͻ eo94FhGHaeb뙚 #/*㈞- lsBUcV)=^K5RuO5!Owi6LGJhT&!6S9hjoK gP{&Wξ߀ucSvUƴҜ\7_uE;$@Hx^a$'Zp qM i4f1׵9lڃ8Ꝇ_B/5qL%2ʔMx d2X-udHncd '_p&t9G)s+'1`pL.U=;<2N>9)`GUɔD+LJ?‚*%M dv zeNoQ*&~}ˤF&EL@eI;nQfZ=}C`oRYMyHl ʆQύ~/VG*# 2︫-q%j>9-}YR*y&kk|~H  Or~؃ṕVFG92 js:t]kdOLOϖ tI/ N=U?.a`"]հuN5*Ƙ]fAo!Ai,0rfbS`>ЭN(ppHwhYdg ]PE!00S#s9c79?ȅm\k}!WGM:-as^n0Gzy$H/7|Qat67ԥiwlJbۈF`JQW%Y26b8k?QXei"ӹ=$'bY^7Y߅@́^_p-7i. [_4ȼBu.װ0SKNv8mKReQ 2^UQOƈok>=͓w "Xͧ yP9P^ M%Kgӕu ѻğ6((;{-v<'m^-!V=rAoWyu2Gut[kCI"C`=JV .MS{ZYU66DCjfS"&@ wd{$8 W|ɼp8򉗐( oX8 $/Z0H`T~D5Kh[wD:M”Maغ]MS 1GxW03^EnE>*\x9"<=CH6R{9 GI^EPl$"+[.YCQY;&[^ |GN, =P˥jTEM-Y0`6(#iVL ;  CHW+>y޾˦/+4xA {ۻa;Ql\0=nD`\t F|DlU)tdžIS7>O?~' rs"g$XA(vaf*i%K\QiFg붾&^ix10˦yR:v|rmTU*(Pkkx$9bNk͹Y Uu:!@+1U~YR X*G _KE:nV2 堚!d݄;ds0-C(ʅʥkXbi>'-Ay4KX Y<1;VPdNBqaK %& 0j:.Յ|WZr\UmE2G.$g)mFSrH7O]|~ewȏt>P<#6kKvZhtQ9'y43M/{ac@{A T넛dqEyS> PJ]K /L2 HG6O;ŒlvO'k;=8<*3ӎjҍjhSxSrƨjsV{zAq@.H׋yaQi_qIR,5!;xz6Y"x1l\/-sЀ,ih|hYo޿q7I$sN?(p#;;f!B. ,$*M.=/1Wj_fF |WsVX] mt\eX1Lױfvi:R)tpTVv]P'E2655^jt2pe`E Ք D&Gi)!қA GiWW%UvH|9vg5Na`.,?+ @v͠^{c^b:~;p%+t fy 4Eb:ZF{e"F8#&[X0Ex)@$[t_J4d~u%y_C/V%_ >.>uL8!ȱ8MiC?0Ь8}4WErgޮinw4ؗQvo3%Eĥb$HmqiqjY̼$xO \M:#_G2cLOZM04yawcŲF~ ͹ Gs)-&-;k%cE,?vsEӏ6`*&gV c)Z%*5|NF&E^ K6uT)tfGEE'!@?wݍGJR {LXmG b9=fRG3 A>C0K''r9$W7bYCjK.{kW%3[ظG`0֫2C0b{?LVMhn<ǬkyȋrA>ŠOt΂pR~GתѕTN&-Fk:2T҈>tBh|Kwߚ]VoY}d4T[-5i߷ 7jab5>|l՘6ڭ}1D#/U52,Sq_Q*/* ɻDUDqPe5(0gYZ7zXZִF! ]ŗXi%:ӝlH؁PbƿGeܕI<Ď"û8*EІik=oEajV&EOF#{;@5_=} C酁,P[+{kJ\!UGM9;fM]5:]*T;5`mIٻ2E#lsuق (Xnpr°[s;,} _S `];#XW2P,poc ;b2CA֤|:18blҧеs ;cNjHͦ?<LX넉|I@VS qKEPQ^י`Uh.8}Pu BKՐ:/(:{??v,eZe82sq+/u%=rE n'U /RUm}}~Fd@{99 N{v(fL:qYx_<:YlLðܶ܃r-IO6觵yHiwTKc݆pT|O2><0hO<*i{FK3lp #5?t̎Lw˫ƞ2?H21;%4Xt!LBQbDP7Fkv'H2/TXd>83z6}TrYRU304A[` nܟ d/6Kt;`xg%EXJp̀L2zXfgBi*\3XԴЧce(C\YъHhF>/h^XMMҫkM14@ mQrcM.#uL&Wz؈R_˅&(k%:;V]$||^ 7tS+)kj֏PEuμ<LM{%SC=R|jxE.ɣJ;2o]`rU'WBe"Ȋ}[pt pqn̑!Jc$R I. -և'1UnV[.p/P'ToIlYNu"jH;EHQ{4TZ^5͆1m U/v9Ґ!+%lYj` \[H\da3 'Y %H?TsZB (E=]Ŵ'n>P}-Hǁ'-}n vyFS"/_uvS j ` Ŷ%-B[fܺ7[H~ 4q)"sJ~㫴vXh_}LKP|<$9_@_6Γvֳ~e?0kW! ̕~c/T@G =kg&a >\q犕JKrv)ud$$+Z"depZllB#<"(AY8.C;-x._gYZ01ab61f64fd5c45a27800acce6b9886e23c498cc 45ae6f75f5ed99d198dd6591210f767f7f7816aa 5960a95f95a9bb6d8ced45988fccb935e84b0894 730569b1aa21eadd21dc327948e64f37b8b3d203 f82b4b01dd76df97e79e913d48310d9d32ffee34878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12 7d7e90c33154284234ec74ca3ef93827556f3a682537e81cebaee80938ef015d386066699daaab29