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 Sort_Encodings:threads=2elapsed=57.206cpu=113.252gc=9.212factor=1.987zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`T>0H%g!s7'+]OOpq7R9\jD4m2b9mn,ڴn/! R79\KRN푀<ړ$_ σGo)˝ WDeVKuZAF&V65uPRhr V@Fw(؝Pw0_°'5@[1ƇK]a|8ϧz.puw.yR [kb7exډM'tr Tt 'Szq.hϺZu;kƹ}rx-P6nf ) Sort_Encodings*ND_`JA3\7w9ro{/S<=}?S(?t*KXM yg!$ b)%AY'Z+b2 ){./MH3cz įW Ӆl9 Nt>Ku_q4'7kC'19x J#!zzȀ$6bn<ƥB@VR)CK"P=K*z|c}N]G+FN=I93oҿ=q~U, Ĵ%N<0= 0ޖdo_0ptXZ8GvҰQ*=hM;3Lr^ Dv}Yh:(8e^-I7|Xz;e>"A4?d%.žP "6-?Rp.d2lޑ=[F<Q&?WBbj?%GgmabU/Z3 iziD=4fl KU *5=TkPc |`ZIfJGC@H0dao|lٵ lv`,;aU01=WrGVb McrIg'__A6μ/l`)4{Ԯ<酺$c"dڨd[M8?<憐e9G28w5P&a}LILJr|.%FĔȯ&7Mq`4VG5Rm!7T~4YG ñpnjAMPxR1b&s4q+6TxvM`Ȏ8VdEք:OUNhɚ6+h(1pwqNI*L6v<<6UfLW(>ɇ EߏY 9_~Euj8%-c|I- #cl`S[{l;Gbx";[7GN7 Jlm+*Jte]*-FAOdQ,SDҴ+lB*\dmUr+r6sjZWh)g]ۉ߶}YB\Xd4-o JrDWvw؜ۘW1(vuK:o9KMb[ z[$y-#сv-;_j5 ,5w,ۆ- .mz0DvJF*n,N+?ٌg6_b&bj [rb9C{Lњ?Ot^Rud9N Ca `ni(T fV#X#H)^3d~z cntunɖ΂ 4 Jo.NMfXM[i M kJ ňVۃPUҮocU52`<^@IqQ W1X1(vb}5*S1hݝ-V;vT8O) u$ E8Ԁ! O/FTSHc Î#)F w  l{&v *H-T8A¼U[D4N(-DK}hf Bsi! aO'(WF~>(,ھ^{&2<| NϽ<@Z  P+){ o)Hmus~$@_#!o AOR,UkxI]T) SyIWS dT\=i,]^k ,R/#%# {$ Ut^ |^ujT A#AjH%#6tC[ag񁟵B*b0,=')I (+Ӥg5d"h2 |P7ռsMÒUDŖW\Lr̄CcڭV_ 齎Gn7vTtVrlfdZMd>XJfiSC:lzٲ] _w+"Hlq8S>zbMsYWfqP׶Ռ?Fi]aa1#92'*(B/(=i0ra(W5a oϜ*VPyF-6^j 448ڡFp1_=.ƮϊƚRvn| !״TIV~Z&8e{R145Gc]mj6KM;o"Vk3bl:uoFpK𓲽έV# 6d\ԝ7ٹ>/GC*t(M5BsBV֜.N;2OtI&w#S/=m\>HŕDv}.Y<Ώ!5\~KꟆjԖLrqkVvd\:+wH=i=6 >ij9Ef4t+)8¥Z¯׳wv-)+} &HDXaîi@In !G{ fw۫!Pٗkml&|uP~ \9|2$(2{-7zꐯ7-5tI﷿lҫPgL{}evʲdڳ#!1U6U]1,@`&(ܷ0U~eKmfxday]DzF5KA=+֌,{Q Bf}9b:=P&JܱgYZ7zXZִF!  ]ŗXi%Hl}&֎۸/&%5:ϣ Oԙ X<"/I< y;!5؆TShl'duqmKLZ 7Do-\N!I47{\W}5lĴ!!u".2a6qȌd(ܛR|!~6ڑdb)tz/k5iߌI@󫌳%o\\g ҹ>Y( >ͭpJ't "D nC!AMGR>GG5%fmT ʶUFE WFB"PJ !9}mKŃkm@VXo]sEAūs93)_U0 Υa[JFJ |HđZH\ _ȟ6guMˉ~n1;K_g{Ҍ[`1np)M  z8e^UA. >D"bsN<8یs 6DD 2}GNi(U >④6r$ZpwT@b/Yh́:݄u^UԴ44,2!X8V:4C<Ѵՠǥ)z(gJccv)I$֎rRPN=iᕎZ '%96+$=,@;T;貇GzQWjZHo4}Nȋ}{'HmWPxS'-i @"|_X|hy)LFf7Ő[)(H&ۛ&Q?w^OFxW#O3 wY]l@3fm9R H:4[a{_y o`3we> #Wᄵ&-Sm)A,#<'29h;|igwLyZ^,_-9&} zl@EV C^=Ĺvk# Δ;Dg'I/3gOFAZX;7/B ͺ<ԁJgLUP7l Im4HNGXҚBM2<;I2JwI -'8iק N PQg Hu70p.!9 )\Gd8iK;j 1zߨr'hn׽ˈ^%*NqE,##쭮*7lz{cd^pa2 ?MI6oX҅Vz&s*'EITp{셆A݊?(4%gn ]Xq~hK+_CË(* %jWkL?_Э/9QxXm?*(Fy]Y=46+z^e\6^pbyqJ:_@,>\?hR\ffr=4@32KkjSLا| )MˣrO:`o>!ؚ2Zsf <\z~"M\MsY`cv<*PUOt|& ℃hU.^Lw2پOP_(v"ٹΈ<ͣMTwCN.$e`h<&XKה<4K?N_ţ~-dAx}sWuT5KIw.L3KGhTH#M6 \c'ؑ23JH1YܯUSMkP'->`R&%pO{ny&#Qwbm-tWs5c}ݺĕ, )oQ)#֘)RˡjD 9A2@="wC wz2$Wɷ -{Tk(nF׸iaB)Ȱ)dہ*CepίG\ `Iʃ# ]T'S}Y7X [D-JŬq >TCR!ݜTh&;!񕪆Q枲x"w;65w,Gk7uߏr)#)ocC)M׏F^A|Cla`t]鄴ar;ˤjN/I-P$M5yVoy8z!k0sʎ?;FM