SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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 rr4< E]Word_Lib:threads=2elapsed=69.277cpu=128.300gc=2.936factor=1.857zXZִF! ]ŗXf1-q恈ebLi=<^TIKl TW3%鎀@@"u@]@F^wCj F`dS.uݾ1.: ՀP %!6Oɬ s(^@%ehd5irR*9H*pG"1Lta,V*e՚3"&2|. jG{eN>*xqyG<{Bs,MVQ^iN^gu~fƿ vFlE WKLo6 bW%CL? ǓlƝAT5\-K51`x}Y-I=Z琟|W *U4QC!Lp*BSѧ _OzUouJc1\p6.&Է 8?V`ߊNzOyE`+tqk׎:A/52}Ig=\bdgeLZ}x{+ahe fS?&۹s ?F4'.y?έZլzfˁhy[ xJ 6UxMr/~Aeu9>6PK<0tQ)‹geOG,c%bn"}8wPEXmk{VyO]T^ܚI =&lcCAs2ha Ҕv¯Vrbvs]ƽz8 ԵE>FX?$zSgYZ7zXZִF! N]ŗXi%6x`ڐ]ϡ[";HGH=hwh ȥ~ @ JԞup/L7B5~Xj)CXUoZZpjP;nBkcO+A"( @T jcqms~Kն2AB7+@z"E˟@l`٬7UY&i-BIy{^}'IEoC˧.3Hgr{5n6GRwF6lW8O l0B,o499Mv,q q$Blƞ]^5161DŽ&[FiOl˒[.`{1B}J G3Ü )讑 7AѠ|ÂX@K5t}ߡHHO?qT˛nz&RӲBT^-R27HU!ը Q2v;&ɬˣ`A(kGA|8 Mo4߂0d>䜵Tp{'[y״ӚXI->`TF(mK=#GZє؂R`,qnX)(.qĴ[X]-ti*Fzl*    Word_Lib$^XJ+(uF*3s8Ə1 j?"7gheiFŃҼ&f!*,p~jcfW ʣpܤz5LgE~?g5h^+J8Bmb[]|^ 8qZ 8zߺ V[//>{/6*R;~3nZWBjJ5}ڥ?(dCfwc3;瘝 <pvAT4KNhJœҲhn ~IŇhI;e"Durg9IL{p'h2X{} ȧn)8G2l8޻A sNQoK ^K_X^z[ ;P~S՟3L"g  'qUKټ;$(Ƒi" 9 rDZy`8ϊ#" bF 5O)赗涊?bYr&G,uQ<*F6]ypQ(r:DkɭsyH46$:djOCQ.]P-z\ZzA8+EU6ǜӀ ^ .7oY[ fkD-K:qfxti;F*!3(ibXy`=;bmi5jmBif :3W)Ÿ*,.+:ب0ƺ|wclܹWTG )&Bɴŋ*C!y8Wѫ.hX]|Nb@se]ӴCL.Kܝ1򐇻Y8RHIzB"*{Q3HnDvn$ot8""Xsi *4[g|~&"u|#렔秒:I&=T#^GAƲ%#io| \^SM:w+}VhGg[v$MY[aY ~b ,Qago;I EyeY3 `9>#~~ĎqDui5˩-1[=8H{J.W:V }RIgq%ȹ~̞ e[H܄?=0eÛ9¤c{E AeRp"Y9·@9ЅLt@=<%09y-0J ҴQm#=zu^O)m{SdUo΢ e\.l-KҬiɢIUnR/v88r9w5O1ն pIy'):5<_ PdČ8"d}A0Ǜ~Z\nz`/ٳApFWH54TTd9R g;`eUIhVa^fKa" ?,.Y&AmWF1Z֖<jhJ#PWc~r dzj)7S?uu) ~|]\=vtTS8d՛ΧLJ\Ұ|5ҪI̜OsjFffY̳]Xg;ϼlG&Fy=@[ ^Rh'Kt4p"~zY<#bq2-8io|(Q9ngUr鹉 CڷeOPWY Gam(E:#K Ll6K0dH/* yrT@Dɰj\\T,K'>8Dr 1M@:d~>u'b|YZf`Ƣ+%6ht8$'zQ"#JVh [aK5Fd$g-d4٪@ @{0OwKQx woV'wI0ml9 AR:r#G2֤I 3;Ү _}b} i8 !oyrU6o;"%A{ ec!"(?%H'ݶiE{֯Q+o}<#)u&ΣpHD cYDۆ@7 3^H:aƠ;xPz*E#Z&H.nɸGDk?ɱQ OGku(7$ 2 dVbDy=(n;jiZь äisEv,,ǹ ?^fmGd.BPtN  "ksUK6V @ @eHZ9e ^Z=c-Q0%پVa;Bxgљ1! ݼ%$LES]Fܷ%a cLs/^nA`.y\BW y}l! QcztvJXxغD"؞ӭvUM2vdl1 yhuN8"y\6)(rH4';YnvLȾԨQF:;k*n5ߨQ b^Ӥ r;sL,z&̪ WB~fj5d3ri)}b^IR%A)exlzH ml "YfFٙr7l%}i'ѺzɘA6F& rR '-fյ,ZE1RwaCohΪ=Î&.!iȊH\Á@HLJ \>vQ1(lB BMWJKWj6GQK3覧o+ƒKRםxgYZ00061e4601716a25cfa8f61f253481bfd5760681 026f036d1e50a5fc0a49186e01329ceef5386dff 05a3c93a72423353e3bdcc126c2d68e831008eb7 2315689993f4970a69249643212790a430eca7eb 2d4eafc74c6b9a723cabb48511a1a0822374624c 32a8f05c33f17cec15254e8a0c8d20b875d4450e 4ed99af14d931f56a78cd23eb4da955a5dd89eb6 5d7f7b8b7fa950ca0c15b10590f3e413daf1e2dd 5f0797493503d8a4a2365f9c8eec899c63baefe7 8ba9cb3e0ea3c32616db7ee2b8f0a6cfa5ba8b76 8c46585ef52f73988ec2c3c3368a203f61ad1179 9386b38d49374085e55202df2dfb8a71b2e51c30 9d7605e1ea9a93934b2613d7b81bf2c31ac8e424 a350dfa1bca057c78391f1e6159ffc886086be40 adfa4ad3b0342d8d3520444498df1eb0cd75dc78 b7f9df5c2e72fcaa9a6c7d24ec469bb00ddcd1e6 c043a99d737578df868f29c83addbe9ed9f9c34f caaf5c421b79d41d5980c2f71cfa96bb35c6965c cd3237b53316c58230598e8b914fd4c991392e4b dc2d3f170e37c5acd80b212e16300ce24e1565a4 f48d1da742ae6b8ea680cbce305b2348388cf22b554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 f3abfffd5e9fcd04bfbe84ee6291a6c45296b2b69ed9ffbfa941919f03d1422f8143b76efd2eb613