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  $l / SIFPL:threads=2elapsed=46.241cpu=88.408gc=3.596factor=1.917zXZִF!  SIFPL ]ŗXf1-/6vR[\w>ż e0m7(݁xcCf\le 09[78YUpp$3^Fd tz /O )c~қf.n_nS$2ae濷3l #{L5켑әF vh.TdW*޻*L 'ŖzMU mcW/qRH3~ j|{Ѝ0%_EZű Js)5d/SU5=R~L*{{JL5AĶ? ̓"\0;mÖd+}IE8qrXM^EB.&sosD@CYggV8 < lwlȁ.jz4ׯ{3N)+N8 xCU%X dd@۬'we ugjJGH̬_^KQ\x \#cSPVfF@wYA6ԓ5n dkGX/lI%'/Rܥ,9<-t9DR<ة׆:5x78W񏰙W^#;^.h7D0Q\ hTZՔXbr G(to8W9KKDJʦQA}АFԙ=iI5UpPsTLjvk&Nh"p 쉓\Dn6{|ώ3dS$uA黻JdxK涃v:'[C~+UvMMeù\л"}3-T@ \:Ҵ#r6a3Wwk_7LT^yZacpC,PMU[a[7o*YBpw;,o(5Lev  'm2tLP,!km}i"X9A5=ۨl]6huki (9$^z5TXß7uAz%HF'.ZI] ^ag$n%dǹɲp^Hup]76nu _UE۳h[rff֖g!pM5`IXtX'}(m j5/ &"G#. vI|?θ[}s.HH8:;muKӤ>:(Q)T ̀0|*dެ"xʑC2ʣ\ /*0q<8( R+ .qVH/'l7GI4oQSC<%>qڷ_gt?tûv3x|hm]qʊ~6"p\ |07U6WG qm>"]4syd`MƅHŋCd K$JO̵ j3znLV=5jg[J\)pB555o m  }lהʧWZ5H &#|)\"<|/'YTenQbylGG,iߑV*Hzٞ..{dw絩iqX(ٰkNÐ&.𐲴 !a;6W_ e0ÏrnTN7Hy J;2jeg\LG}ˣ(F{xԍņ)ua:`"O9jyа@I/0ܔo)B0E8e*g-=*?\q;䔇ք+_Յs*BFة`^ӿ zX *V\raZ{PcxR'H5q|e{TI!9Z=5nJf,{{07kc 8Bx;pℐvZ}ﻥrYR.;3mW+UM6M %h ? |teS oY+N2AyjX^)E$rү;X=ne:"vWK9%>\[4׵^)ԷGǑ [}jΓZRVWhcf Kep&1K wtvckkЋl͙@ Ι7DF8}YOp)e A2`C0IJv6 hiExn7 Pl=X0}͑0~(݇k^i*9"EH\AсNMpߨ~ƃ }6ՊqWuWXctG |߳9|7xp| EkXw:tԯrNm)VMɻ KVj\%2lVwQlz}5XuR–pc_=&"$kz7e[UgE 6nq")2PAGs;bExԛ0sw+jX]u0.H-K)eq-arrZcSl`yc>;x9 RW֥>=VaW_`=^{s$fNbQO86ֆKDJܘ"+$" gn `QtU.y;?9Q`ϓh! ҁC4UBrkH ;Sr` ir k мHjͻ/(^>9 ʩ+(*`|ٞ-6I |Voe$pm!po7b |x ,o.^=3}_%UNAA%z1I?|*_I$fwCμsś.cIzDW=&p0ZSMm\>F=<: ehbnJ [<; e$BFoFXq$\{.Ce1JK<ݶӤ%2-яܲ2\?6a)HVo[P#ܩ`:>(i@`sGvHxOI+"Hhj瑎=݄-~vIY#_& }][MRQ*-=c)Aky [*7;-5#!{ZDcraU }sJ!~B~MȞ6* o[ׯKE\(̒$UutBSI=p4rv AyRU:҄&b)9؟w&tqGa#ءc-$"a LU3}# "l6nJ5;y\\nax=˼LX? CPˆ`.5Jj'$u1@wΉqVEI;UiPHVP&4QnxX)F8O,ODy>،[R|E:\l7YЖ\BxQL- rl%l+Ԉ[ڙoÈVdۖ)QX:HdQFV^kLduv{X_Y|Xpɘzy3G-e+Jzs  s4w?J,t}${'meΒ3"|gYZ7zXZִF! P ]ŗXi%QHǔ͌]VR`H /1e =?$c{?U*E.j!Tr |G-XUw܍{Fnhl 8R_-Й"Uc2i36o;͠W>-V i/YdT .}h$fp((>u3wTg?PI*_{0;ܰ'6Swקi>t6Z4B}7]?$>:pW'Yu1̯Nuyf/DZ5j8X̡|Of>s9t t1J&xN yCYo poDR}JCXOް.V<>K|#n ϚYsBPҎu6bAdRф 3vc(mmR6zDl2~uKՙ }#wď+>y. CjiޖJ*!'٤]<,7;hȢ_=C^N]Y7J%73*?͐sX;ߧ̂>+L8/q(Ic,$&Z飃GvviV 8w^0޶ÍmQe6@*%Mmkw SjUAv<%'[҄JYbU` ?l@tbs\>%Iy4|jKhƌ-2]wq7P] 6*,hFR*+6Bo4k=4'-xf?$>8Ɇj!KM[U]\?4Fn6~D7mVGdC뚦BxZ_Vur/f 1,p " vפ xzt $QOL8{isB <&#&XHd~c)O>yN8 ][&7 4/l&5Q15|nP7?ǭYȑ s.\ /A~;+!]OFfh,2!ϐp3:52EK Yr>Oe'嵯YnћnY'jC7jgG:V$: h13g&ufujmg]cKXT4 10_*-*8ZR¿6BVC9A Mfˈz`ke!·!R;G ,xҐ)a+?/ o)F\.*#UM& ge UԕBQ&sSɁݰQ)KUKo/H3Q i{h[ д@< .ׅ݅IP/}C#Q~dǒj"O4{Q'% ̙Z>Nr9E@D`=1 q;#bZnHǀwYg>wU_J Z>Ba:iX(ݞ]xP u2JwϢ40(m֛ONٗ.9Ǜ)(v|rZ(?|r%f8md`a8-fB-~+VoV 3> |93[j+Qqp+{փ\@O|}Bf$3JE<^Q:R+Ĩuws+Sv!ʕD[$)u k={@8EO} $j<vXj61 /BeWk{q.C#kd ʩ*!sr\/ZG9$%AtWI$@#,Ux$0u>fZ }<k֭w$77`)J )5n&Ce)Hm&/avvlUeb}N Xрc Kr\ ,0j,I%lQ'a#L<#2H=/Bi}X8U5\ %؄&0aʋ+xEc<9sd~~Whuj4þ̫CV)Pr tiרøMy% g g=-