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 ^|l| ] Buildings:threads=2elapsed=127.278cpu=209.284gc=4.268factor=1.647zXZִF! x4 ]ŗXf1-/6vRZkO* 94[cS"^ˣ6Ȧ3| +("b-<&2d!-g /;M 9ε}[ć֦!Vm\0 䗻zCZQ.e/A*m7l Oa[/ 9 I _L/0RggpLe5Z (b2VţT gt9RPQpyjǷ rG""8 LXBG*ѥ#v$I(8[9gVJP B/ vx{Ox"gݾrj=Nw,mAAd&ºtl3Q-$# uܼ7P'zͲ%hۺɰK**޴вFlR8"[tM>ypѥh{֨;?j`2y,ius ]]<OFjq_ϖv"h`$R"w@y@/U:̻/.Z]poKhnb$/Vy9TcY՘]ʧIuIZ'{nNƈ>~&Զg}\W\tlLvL2;026MNm6η8+֒.ҕy_*cepxznA]ý[r#[I7C<84p͈&/@GQ,LExep4 AADיh|*2. eYнRTe )I#{qnק:GqCz@cjAHn#O7⑀&u,Jw! Xq +W]8x6^\کf{I}`StdQ]?o!c]U&DW>m prW~m0nJ-'JHbNoڂ ygI?Y}! Nb-Vlȕ|A#NM = Ku vſ트DI1O%f:50x%TA\auTYBRRkwH.sm?Feh,qlP㟆 \;fΒ= cu$ h҄S_2uGܺۘs[=p;uD'|J{rpɄh`!0Ax)`VXc55@|gYZ7zXZִF! ]ŗXiɟ(:ڻ ֍LJHg9J׹;|QvJmO=oŻn?c` ߇):y޳o 1sݻuɴ SPL7\#°)ݟTgYZ7zXZִF! m]ŗXi%9(OuZǶsQ.qB+B<ׯ@YC{bV0vJgv?+_bd 'xyGfJ [XDE!x;=qb!(a֚dT-.6yݍ`-Lbbd?SŴ/Cf!QHtg9Ua].M{tgނ4>u9I3x0Gg-s3obkslN)݃_VcK?`>| liI"*?=A@dKK5#bH\#>)٠4 8)rOZdL3`4e 2l{8\tBR)Ht+<=$.mH4%6(ɣl?2tKni'ZA8|7aEv9vR!o/2EK[;N04 ^`ID`+0(2_pѝ2['^H#3zdPphIl/U's5S 7p,A,+<jyzoZ2F'n ׽ZKfCd%#Uh\:ZX}T-Ϻ!klwJc4KYۉgKCNB@@s]PNY3V W,Wϭ[;H}$Y~c1gFL{_c(~wͼӱ䏳?tR?شc?tuKå*&boRߵR#N3=TIy{}^а ő iK}3 lB: F^ϧbbAZS3V?Y֮:7\EX)-ض|}jF٫5w_m_F$~&,T쉇O4k0L'ܗt--~dkqH+]8M|֍fԒw4g/\3S;+"}alI>_@I* 3@*lX"Xkb&w@1h:EfM?n$w9sk/{kSh^nQ.[Ihx+4;A(74'KǬd$iˁd k"@sޱ E[[b $\!՚'wL} ҉!f{X0|DZk3 76nW(<Үce^]?لýLnm5EeіI}65aά:ٽ2GďEӤE37 KƟDscz|xzmU3θŸfb(bQ@9@S԰zV5uhc7"3NUMcq^wE}|d sጟ:n ҐQvbxڼ4| HpzyAw3ƥqA+%}yRH^!&+@GI1w0t߫,]8L1d^P'! 7&7VZFkr]|ï"XK1b1lb‡k9o[3tηF"Dc!-`Z+}9As5UynLh:Oq?[٘hӁ)FUn[cJRy:Z\98?jFK`ӃCW2:ӛ+`<VS 9@;Ɗl^`R6 5H28պP2td~fs O{R#+;ď OjUbX8jT-$?~_"0䔣BjTa25;NAG&7NcTvW7߫}XFp_JB) 8`+ҿ䡯V$p^ 97n:Ԙh[ncʜtUXⓝ!HS/v! >OwxgCttke(QQMIKptx͌MDFce&Jo)=6(ڙ?`Wx;˼>8qΓڰ)0 718=)u#CuLs>]ڔg[*M@8+/Ge=A.pNG]-aS|yNXpTYOrr)yy!^ko~kWyв#Ӝğ Zw++VgCL2ei_ݺC7u~wi-YX5֚҄)QQ,r,#e-:QgC;WfDWXY1*YTB ߯J8yobB|@gLSȏHJ] #&I㮿l"w0]#nkcMcw1j | ڋF9b9 7`U Ej>#]+ʥw?n~'\Ի a>i1S eFs񎫂H>rNAזHOukOV&xlc}|Y{Ǡ:Xx{qUmhٳVn.t0Qؔe V_>:Zuj$92Q[fMXf6|_vL(>M,i2 CU@A0H,Dy{@@aw@ sP硯6R teHeG"䎘J40Kl Ho!RlRSH %‚KgΔ.JlLLɫlV;"iÖ6ŦӦ1(ez(?.11WR"fN=/$A-M--f\ ohR0k報G?T24~u]Xxގ3pr#D; U *)9 &,~>ŠaJ7ۘ!'J%?Pklhd(_||ɰ4Ej\z{I+mW߅PVW[#O&t($RjiLj 'gq4.ꪷGwfz4PE!NJ/d_oaݨP錙%8 4*Zg]I|Vr%+cvfKKۭ5\ێ ?Sz;*Ί>ᦎ芦6ƴSyI@KW4)cUA 7;e3VM[[Zs Nj.O tWwl^*÷&2!d%F$˪BfjVbK⨯ -?Vtu/0zC>!딘o+5wO 0^-'%{uԃ6잧Gtvq52^f&.̽k͢[ʼ/su'ľQ.BO#r{ H>>fP̉i UD+%'|"IU&Jf`!CAyhsA jك6i5hߝ%SwhXs$'z 90ʗȑ20.fd \;;4eVD4l( f7NsGQ a}TҠ|B\0"7|1w x3fVJaBu H rJj[SWa.3cFTOP,πl@0Qj}BY?_-m(q57 ?!"̈k;.}f_ ρ@~GFa|g^*|; TO>ONz5C缇Un'ei>:#ô$guqmqQا{iwqߨϓQqox>h3_bD&Y :80r+#-}Yh哑u*\-i\^&.tT/x2>TFmAM,>}䔿 P;n$i,i_<WEmwV4CcF$ /ED ob"W_HHwqs00n`kU$~u1k;6496Ÿ-<褳v -띃kXkWI$1{V&%nd