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 . \T / SIFPL:threads=2elapsed=44.463cpu=85.512gc=3.572factor=1.927zXZִF! Ug]ŗXf1-/6vR[\w>ż e0m7(݁xcCf\le 09[[]Zv=-e))ԏ\ B qnUd-ḡL`M-ifQ,YIK-,<lhњ6wH4?0tG$ V@t]8`6b[w3I#`m.>Cp#yLkh7A ޒT.-s7y r@$&9~v(@_n=G0ܺڴ1`x 'AOa k陬w`2?e ?rVM#m^4~@p+7G¾/GwR7_(巀5T߳Pnp+3w'{gxcDÂ%e )#≚_wѽ*TAQ.Ƃ/EHS6 Ƴ{yhݬB|-S@gV8DW&+7X(BqCQ, \yLYV:%iG  SIFPL?nK20QW,ru϶mS[W37ԙ!tGѹXo,8ôRi~[:sy@7}8JIƝT$,5nmnҨ&6э-j#<vg%LEM0k (y/@_ UֽѢTF&L?%DܵUnb(@Hr佚G]t+0!ntX G62 oi23) RV'\m_DlK}Cf,Pd#ϠPg_+jHZ.Rr 3p3zhۣYeXĖ.:L?:3ՆO8up +~ľ~MG沩X\8x kTqWu9m">| m7{馉3zB8ZXV/6Zn)22]DyMXFФt>U%NU .y^Zpd݇z -qE#Ḵ/Px5U!̊ECw+F+K`s.B}CW*ZLeC.0)oBrN=X @/zZ\ 'w)ћUT*96qSYYɬX s*GS+Ȁ-*K s܋|4 ?参؇\F\-Z&>iPQA]Ze^5#ch *[a >ew]7x"Vxڬ{%\37@|hTe*7w<~k_GkLvz99>i4~B(Ӕ) 3K0?o5n5]~`qЙ*`#vf [U}vc<(Ĩ 4'9xvTPyms@ŗA \t=՛װk {Œ&̖ɚ yjP<]kWgtf'?Dj&n0+i| \v4V\үm GLTncSu.mhODޙhV{^vuXyq#4 (,)1]C<@ԥUN]uJ yNͿ.fݗ Z9FrERA{`J@KFC7lbɧLde6 cCB/O{+Z6 Nb^s l]U>84a4Sf^,^ 8p';0oRQM@eIPH9B3n-"_c9FN ?e2ss qJ?. w_"z勘'LpOau*LWX9VƉ+BءY\jZQd9RgPq./J0k̲R=jJм'ǿ[!gys]ҫ"r-&Rt=ہxaxh-MZOM'z_Z3fs,xYgM5A>0%r6N ՅU-,fLO.{lw*FcuBDp{O @LE;]wq Wk:_xNGfEr#}8tapIlZ^/ QH4gj_)f ЂPZm W\vq1lvk^̻F+Rz.c?*o U3k<Q=n:(L%F ئ S~_7غhZ\ϱ$wE9yp|iOD:ȉC 7쏂i_]U[e(ڦ1~e>,]>qk<(w+>* oO\m&{}XqPj^X5[zTPhφ5r=z~aLd3ד۟#(jXl\s=AT-_D0NB,6x#bN/+g=iTevXǼ@hD^m1V4I)Ze)8:,zj!EzAb ӺN:ʆ`ߟ: ]y>@/؏b72SХISƼ!L_ߡv?I_Dn:1x4!wF+ # TExmFp AOR7 ym9fxn@-3۽' Ϗ?.^h[umڱh.f׈.qaHW} r zv~¶xiGD0r(sGA[i5}]˻S:MgeL,P%C! mΟ6fWAu_EZ<{{"7x2˄p[?`WB$ kp]c+]KO\2R!Ùɲֲ]C)4Ⓜ[|#K=ٱ ˍۣ!)qZeܮ8%F/7BGId820$ٵa OۍT!TEwT3qU}ߛ L_{zGK@X!A\r XBCm56jY  piw)ċOk 拎L' H~5f0_VuǷ3Mr";b*za-h^gfݵnrGMj L+Rνs 6ٞxiEN j~چ/Gb`.jE{" ?թ\دiP|r>voU|q{Y"ǻ7(L'Q90L% QWj8 zFB/It~ R^㻿> )i~ɤ dϭ.PՉ5Ì(>܁Bx/FEBN<@%倠0< xb ȝW$"e LmQ$ qB+w?꤉NHCȊUEǛZ'm-y/]Kdyl S1t\IYJzA :@ $ Aj~h1pbG 04+처S`=%^~B ]Ys6mp}JZu, +sotQy+11xFs#5O0Ux3򇽅prD ?(Ez ڳe pOL^锦[un j.*cxt撧{o) R0ƬP)_2j6f>]c69[U`VYڸDwlՑؿ~sAB`UKg%" O˜B @:Tꀠnk7i&٤69 L "1]4a[*VJ$Q?so!>%s]֯7@S25LYwYY65c3Ja7 Qu8y(JlRĿ $ઈ 0S Xf[N%Rv))SA4dp6ֹHTӖj#P *g%I(o8ZLk mls-zVtqK+8xځ9RtCʿGkɃވC>R";g<:?L v69Z68sˤe pUۂ,9>p>BQk{|ĮdUiW_"dXWyA ;EpV}{%w y;sF30*mf y{n.4][J wo_ѓ4v6 s4ҽhZ+kX;y^ nΖHTcbZg9 =1p.ڂ$׸pRƍE2i\KiQQ;' =8qs_J*\ܘ'߂oL*-4$qZ 44i(Xz;EWZB_Y+()s oY&7$?AjʵPnI.dF8sȱ9WqvKS`=!Tt,l-ʻQiČeib1~}G2@* +_ ðkSSx=İ 0tgT,Au26)OcdKG+vF斔4]~2'NksءD}W {^Fݲ'gC#iu09#HpD|wg[}M9n'N!jLuUAJ\J!PW~iϰ(a _-6qFz9}}kv<&pZ7i VT$Z #Wog /D\LMQva2T,q߈zz!WSʸ?aE,87⒤6q+83_LaTi4s~;0J1޺@j#V>3rv5,dzT>B%tg(͢ZQ;̙ZߞWѕ{/-d@N )4&<|25df"MłhTiYʆE4 tZ2K]ycF% R- &wd.ʥqB1 ۓU=oNvN/Y4(?{e^k9^Ǿ %]@ྀH{sB _#wRݚuc "h[TI3HUs3$!"BbP9*G1*A *윌ԙeamUeYvnjҳ'nu[H ܙNOP|qI< }v ͹dyPtc BP2Մ7&5*f,89R9-NL ˛@ sb*+/oٚgT]C$t?y6="<1;,f36 ϳbG:2n"ݑHWs4AVn.tflQ(wCad JƥpaN, )&8v~WlM(Q o=MYB?`q\$o–]tYT Ղ{^Լʴ0 K7?_gGC6wRLuzdMFQ2V9S.;;_wv͔)=4 mUP:hV sAxX<t XlȄdA$ʵϬ;/twz3U6ANϥ/Тo8_Q:j1"f