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 II' \ Y]List-Infinite:threads=2elapsed=25.389cpu=46.476gc=2.120factor=1.837zXZִF! &]ŗXf1-/6vRZڕ`0 lO"Euɸ-v;b׻:b /4]cHR_b[Rd3K竪ٕ`:Es1.fF.Yw3j]W&A ' List-Infinite4Ǹ>V1+BISxۡQf/ m|ad.@tn4}1=XV,rs&TT#fP\%g)p/EI[jiCrot}G Qty<n965-2[)oM>`4?[#.k6S wdF0A5bI^'#r9U,#}9_81}q!H!1ܚXYŔݴݕLn("v_iTB@EO9EBsKj+>d oz93dǠ;("$k,<Ԑa6t)% ;>/qn\Gq\Owˬ3t7N,+1ǘB],;oS4/f_z~v]}J|>I@и^[[v᡻vU.(-L#ܤ ҬaaI.JI\mO3S$`_s} mzluَ `L*MbE8*2_Hz̚c EG* ݶsEv@tmY*o(}~T+el^YVgw`yZĤ619w>!DP[|z2(E=~G|CP,OLt P2iT_$zB}7*#;l>X4E [AnEv,k{!ڪUm"rR}eKثv>Iql(@GWfofEhpo97`-uBrgv^5{=BkA֌^ PTL7k(`( L$ah;ܑ\m:yaP"/-k ݻHp#m5\r xYMlPijv#*3Nv*5G4TCn[iǫԓčSwRFv>z&':ynmDP{rw-ڭp])5a`~N@›~j˧ŗ v+XlF8G/Xp3N.ul_*㇩RA,^-cPOAe8aN_uhʅnc8 dκ5_99Ɓ|EP*#$4<rKSSkG>$>&)֌yɶĊzW+ 6LUPGӅG*Ի@ XzMBw)S65|#2 -xRK7Y? N@_o+mg[ي<74f V3Y妰2x EiU}c0qd)LdR۷2TXn[ N쾝V Vc1`S{4_Ƹ͵j:V09f&6TjpWU}3 z$-q(ICb87|ay ){ l23}lĪ g]D yy*v6A0/{p3}M+(S>Qx+0N*URSi⇲_J+S,˖ch`i([N]W1rsygc0PѲ:0spڑ󊮿C=6ﺗqSB͆u<#nkn? HdN#{5'Q?bB(q(R aR,ĩ_ QQ*n+5|Lh8ND( 3Ts7BZ2noኾ;J&=h[>gQ p ;FEL5$K${4&r9NǿKh$lni#m݀E>otr*ӿEh7ڷ GM7*[{jg,By?i-N 4ʥ:kUׯ}w5D5ν%;E>b }M1"n,9ΕZXt0nb]" I;u7PY/F@̀[=tO6´3v?5L"Gk{f%նҲDxotlvgʧ*ı9v'C7롻Gn3DSֵQP4~zY:l,LGml!"r>VC6-fxƖ[䡀)4XjJbI9i,)_]֑,%U0>l$#[Wpc"+a{͛-mlvSUkREU>IBYj1t% _* +ذafQaoq~v 1ܥ Ř|m.[7 =7HmM<<ۑ#Q7إ2MB<>ZF`.YPF>:R<^dFpL`@S/"pLcN;]m@,zrZCiBguŜAEE/zđgL_PF$'+cV?$ a*ܱQzVhLB!{n0E~Q& g{A<+8Edq@KsLp;aǴ+ }"/2v`lfES7 9 */8JkkZ j#2zmcwFlvP}E٪'G,C+k/d[ g<ݳ:³_ e60M<kvQ eb_Y었'S\YT HAE^XoS.#],!Q`КlRZeJ Ypɇ (!#A1̈́No72u诖B,-&ԠjPfG[rVKcl(gr?n9}>=UEQ荤ul|RUd 6F|E 1e;P !f#8c1ةj"C,@ _f\{^pρnq)S@D/Y|ktG&/^%@IgYZ7zXZִF! ]ŗXi%T iE2sUu4b0URu $}F@M]!qDlxW[4em\t-ƽo#2_JwqN&g'E{o ǥC&h9z>:rќ8=Q!ODҠ<UTh`@} 9խr)l#0UCt=P."FB][jxyo{2PDss+++{}=Q D;Y4Xp` 1{ً$#ywW@[02:-T*r<* xEFks[ Ct"Ru,& jd]G$5_>/Vb:% CQqЀ>. .1%pd3ky(KO^w1odeEb~ƔɄA A q*oiKRߢ ?T0v V8Mbj t\Z]ê6W\?뒿u ^D€>yF@jͮ{pBrJW%} j !G ,KO$0Q, "$R2M6tɻƒxA9Ț(6Pv1Ʃ9~sؚMyWp2j<%ЭV? ]3ğ*ԘJ2A7v'pq )%c_mxSf ~hLv^uMe (VXgeRGa_Z3rZ6[#X85f mA*5P.QA=JI? T[bLD`?\eks9a!NٕĄpx'NĘ:nHǶ "x = YNdcOIСKV4 eT3 LHO<T {Iaa /m/sXdM/ىۣr@0 _/Z vA A:"v9MrHׅs9bH)p7Qr|^u&?d  [0d+.}Fu^o;]{gQFGFDԄaJ;ctO=,-& oZٙ,]ݚbIN%8K=F('~T|1[Ƿۺ;Z}}?Sͨ|aE%U| [{C <"fPJ%.75&O˃<24eʹaa{-qJx#o| SG}?7-n\MA;f60G!cla[t y!o?*pV9s"A p.0F0M9N`)d~LAŶ/raOoڗ٬.9i= It F~V%0xzBocZ渷?rYʈ1?}Eղk}uvz}UHiK煿'PtWjHNAd{zG*8Wύ^WH_N( Ai ̑c:q&Hz;8 cs7JZ4x}qX}6*Gϰyl)fbBNvmG$T;%}:lH~:•sܜOsdœJ$Zy T*&=}[I6S&k' % ~ `'EC饜gYZ055d4402eb355d20a482ef9514b70e9b35944132 091ef4d89f651303961b69de7d79c1d5e3449215 0e8f185d5c5a37638c3fed8946398a875d552ffc 1403df84282ee21302f7b44d0144e2fb35574d5d 2b8d9192e3645c3f213818f3c18ce41996a62c5d 3f876518738d879265f412bcc571be8ff627facf 449bd0ba17a21fb1b949a92e70477e4053f0cce4 4befa36c0da22d93675a607c9e0943c65fd95aa8 611c389d01e422e74e0bef7f2f2f9851d098aeae 95f81c1b0d94f9bd16cbd21ab514c2d892415ea0 a566efe065e2f6a873df2dcd5781131b6854d35d c82ea78e6d5bed217a395c17afdeeefdd2387717 e17027b69b3855b2e1c5d8f085ea61fedccb40db e6ce948223bb1e19d608415df1d61947751ae584 f3f55c3ee1b3e884c71d5b59127924c7bbbeaa80878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 5b529b8696e26d1affe58331545ef5efdf5192d05794a4d31a3e4a86ef154a95851a66df94f16fd9