SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 K#t87cQd$D#^vWX1}t[*8$ѽŸ$5G"};kf ?۸|\,'f,OvA 9"Pk [wz cd1w]o˄6ynH$V#\4LCԯ LkY> }q Un QunKYLj5 )8uzXN\ ⵈ~$liLu\X"E {/CuA-#0NC 8K!܏Qy(XFK:2* #3~[1Z ௅-#̲ő.02q7iP©,J,5&X0Mܣ~k]\|~D2'UTx=AdȽl Uvϻ'aSE罣y)l(@Yg\aZW0[+N'%I3X/n]N-7+3A`x( -XxJLvL >RN6U-xwsiRc;6dsÀb6 ]sE.fo dd$ T<Ԍ Z#Zk.“` - x'*Qi%j6dR82e1/4lZ-{ɢŜ !HRu= :(1Nbuύk,ܔ)1BW`TGz1Kϳٖ Z 7mkYen+v0XSJ9P߷>]w<]}vCz8s3rGTK͛#`HhZS- %i2EC8ƹ.X]m?pь@9)}0]7|Q;CgY*gb?[ 4I 0/Ph+|@ ]֧: K5|$:֢vGwo>-Ut7o q̫בfwcDyּi.(#?LzP4š-3⡒rvP-Zr'IUKCU#dq)"Gɒv{431}8tGcL_EikQ&qy1D`P8\3}d݀ ;+Xn/nNop.'Xl#iUVdLBErEhZuFh7ޣ ZSi/Z~ⷼY8"wi WI\' q% [O6Ȗ)*hyN(Zˢ,DULH7Z0::^&ӆ&w A,> Gyxk R]خOqCT8OgYZ7zXZִF! ]ŗXiɟi%3( d+%jh r1 ymLG"~e Q|,Mx+Dv!X1% :zӟvq4_ q7>Eb!^8=}yll kH@ qEn89ſIT܈Օ|hNgYZ7zXZִF! |]ŗXi%6St9i1PqxsH 0bؤD?0==$nBc,HxŒt;fHT]$~:)l]wq4q94Ct#k:W0\|짚}qFzTldou+ggf73;*@evI ?g(\Xg9/wmjݪ6Bҧ:L T W^΃Ob0r5y'9AcKA-i1/7ջ8}/$/rX(*%YtQoNR:vܵGhܻ*)#@F_4W-5tn)QܔOz,ܺL./#8^lE 8O< '"b"狦y  ȎWk?"Ӹhlh Lo8lre=:ٗw<Dž2mmXcMC[5)Lh>̝7hh< Zw?2sȵφ>"w<<XNN%}v&P<mv r}˟׊$pE/8 @fWx' 8]ҝ'v!y+Nn =;T ?dN'2M[fMW(tgCDB9)Yp&)(#zK+|Ihfh؞xl2krW=咳)B*S:h3͑oihͰ`2ZiR@+զxoPOM=utm/6䢇>uqf@EMC9ImXӰw|@X)ZdZ>n<&$뀫Oj}nȬl,\ja=^!mс3U 9WA;XF5N6>-Ɖ"dnf 9;2|%@..Q9V1gӃb)e޾DH/uL'/fQF;Q5&9րlECBE:zkQӳ6hi}.)R֡Q!R^"mFHZ[jEuCp/h @4Meoy]?H^t%./)#lbry%?> G4'i`}n['ďBF6{=uf-hp0,@Q_Yݖj>VV˙%TnOtLA^"@P$泴*T@-Ƚ-}\=#]uI~[GUVҵS[RV*o_|#^b Ow^d|]JcVDgl{(-DWRMknV68 P$="A3U|7|ݮѴH?wtZ>>;ڮ CηT C}%]CieтG %%y}4_TFu݅$EsqTt m2AMcYīXu=dd|njc v~"sG^`.I^$-k߹;53ժ\S ;j'Q"Iȯ\xz%G)1BJ)Nj͍6!~;kH6*yQ `L"J.5|X_; tR $ChQS( `PȤ v&?lMc~4JԆLHPz&pok~*Y̛@|}ZG5kf͈b8Ԍ[}yTapR'4rTPܷyJK!5N**w*sht?wVjhhmfq ӗM^&n:,{ o4z41yurCP@ee\;6$dwL}_%Ǔ^&mtPJS<DE0h扔yS(ѵK66q)@Jg23ڥroV_ L'Zn#Ew@)Ӫ񥀡[=iv2@e{DCۑ S./kgUmȄ\c;U(1(3Bhv s2#Brn߽Z~Ji4y jo1֟::}VAX @1vQ4!!VyCtm9@.(fץ9gG`FW^vmC+eo1)á& !U a1 !)~>kԳ2͹lnV@r/Elr%6 ř6|Njs5A")ۏͲt!m:kýҦ}ru0,]=N G3jm?R?ю?`8iYT(5!cMN U Z/&-7QuLP:HU>R&?|KC>Q:9 Uy.( LPx۵Q&nCTj3 a_]banC6+ xRJ@ _ N͏ƄeG# Ê0.71g"ɴvN0 t>Tv4OG ̍":5rwN(!@MN@&C:G_q ™{,9]zlA}╶hJQM1DTdaN ~D]EY+q}yyMdz ;ky`}7nL;e5ojq1NBeME|B| tWK[`'o"˽j}V\9 bp m O$w"2b(х-C|,ŕ{ oAC_zHc{Mjh^9e5V|\^_S 3yoeAYkmn45w5(/ ȴ'{'dLF@ HvW-rcl@BJ'؄<jCE)=u AFڀvf-&BV16ӠAݣKYa[ˈ`(]DZufRو|n`a0i@m,TFEa*;%5|QdFҸ?#ң<?n8pޞ!?s {DDLQV#,N; o}; )vb:h$a>if:i^^f%N*q;VMȷ##N˂!KdP=zaTp/)x(nNsnDjdrTS7N"!tA f.Ul-jh9jϫ>+.+$@z6=*ɁU 44a!Eᑁz RlBͰFW-Lzc}&:GqNomcռ(;n\#rBlt]x.FQdLk1A/y>Hb