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 ) <$ O]Kleene_Algebra:threads=2elapsed=49.778cpu=85.752gc=3.840factor=1.727zXZִF! _]ŗXf1-/6vRZcm#kƣOw|ё ̮/`R׳(xv?[U~I=80_&:տH߻MK]|+ !$$S$$rrcoġ9i`X1xE1d+ɴO؀Yj< }qGX҇JZqޙ&G)+zH-Qivя+O8.ۣ/rXDf`@3%d`g_*(u(]t-Oihp㧿\GB!6:iոi0%ŖB}wxek@2؃CyvԪ[JD5e>Sl<" wuakV$b/k'8^N:N ) Kleene_AlgebraȒ"{LOuc6ۻSK0 UAz J2%dpPLĂ[U'>oѹb<ľ!Ӏ*$㟍Zy.{-|aY:W.6n۪ =N #6VDnjL\,2vo" m\NE?~t˷ ~dϏ% &HM/zA@(g+{=XT-"-2Fj$k-HTyдK임o8QV~ ݯYFа3sGw%h;rkW BoϨ|nu%<JV (0U]#}3*e8!9:c*"D.KiB&|f GdBjn#0߸Z4O{|2e|9FڃeQw⻷p]@I3zdGA١$sW|B}R;0?{ˮLG1}YژJe^]p|K׸ʂ1~E%a~N.!čft/;20WtCcLwl;OҁWjWg{lxNA5jVzlBmuX*`q+wp#~=6l0]vկlhKƋn!޿8e>VƸx}^waaxK"Xqo5i\0-IAa&Ĝ30|+>QwT1 MFo׵r"QUWv{+sEgTmng(w^Zڍg3K~E ,=wNQKr^"Msⱹr%vz\B´`EX]ŧOl-"K-*`gxEÈ9Hv'_V~fuLjni,y^L" Y3XRwdD,xUy!B5U,;i#Rzdi^A'N19V]V׳,rJ M~>%]>}Wy0L g1${D.sڪ#N/E߁ JXB1Nؒ-xQo\/IoV|xr>6#JD<+,S~8e}Ȣ LB0h5z+UD`VCR З&o!?jF8}%:;MцB@G~%M,l2qfb eD8 Z:yW6)mަLK)[s, |b:3z£ 䄴yDo|Y匵iWgA/)feP( v/⛎'?5F:@hA;*HR ߨKߙdMN)(AԔ e} 2RE3\ә%:|w]xHBfE}AS=֢ѰyC [ԝSVb8LgNc)j\-[i@Asxp7E 9}߃ E1@GBJFo{IES`+?>!Nffc:Qš)Fhrԑ N`X fn?2&4;Vv$+G72T"~9&yV{;\~9rh)Dh0G m@vQsF/=\\aPGwbOj*XOu3 &t)3Ǎ# ?+ݎ>P\  !нd}H!Y%|M7y8}y`O ]`Z.R-uK`+h^ezY`$i>._l2SZBy=VJj.n9aql[,LD n/2ҿ-,uR1myÃu(9G6(QXAؠITsNdC+|"rKus u*X[=E +B搮CmsnssR7گ3q>aKGd2Ch^'[WbatS9NmhXP}iA{ՎB7$i|mqiHݾݪMb,uwc=咋e3k 4!2NumKKl@`"(3?2_5TQ~A|m{vE>Ta69jꄚ fdI-gq5LE"4 82Wy䳇skB5Ъ!؊\i{ ~U`"r.cRcBPoRoRz#n=xۭg)d6 wx Ÿ ?"z\s|tܶ3(DX5L%2uü+kb[F`OSiĤSqqpn[s`'W6\\Fp.k 8%A@t^V%:kxLu.kS7Yl)0b.v%Rq(C?ާh`u_tT^+{Q^&K8Y`d\VyxI8=t䶄?VT9p;ل.c6©;Ι H L /30: 2p_֒>vQjRo*q@wkxUkB%vQx.3>FU M `k dy`HO| G2tvm9̢,Jj\ՙϔ!\+s^i{o>B HQnFvO b Z\(ܾ}$$9gYZ7zXZִF! j ]ŗXi%:\Ȧvۣ2Bi-jɦ0(}DHJ:k-z]?F:#ޡ,Us&bRGhnMYuF*81NُpƤVR4<[\ac#]'_-4'O钀xf"w@`;Q)w$oҫ 'G. :m̿/xYS 9e0t)l࿔3p*)5o!"eu e4v7N }|@"<'E(^VuV~H :s{٢ƣ=2xs:F?!ī!/A.' H6Vs˶3;Z,ɤxߝ1qՐ'][ $m$`ɕ X tکnDtQ5pMlFwڂĜh{G v`O߳M*T袒w1R2% uNߐXڰؼjp^%+Í৫EL3nc]v׭)TRuJ5yIPc+s< KHt=Q ۽jsv#бxI|,p(&.O*Jњy,fiv2ܳ&RNC=/2yL[v F ò/"?{7ƍB'bČ5LX>3$Tsv||4BC~5|Wk|:M\VC#1v[284fILehkҩ 29 )t[tu!(;D-ĹL[/oMx=RqSmd*U4Z2zpeyZA,)gڦ? 2^`ÒGYw6@-}?P5%Ϫ<]#/kcyBq_y 0SS 8k_6 wH#锕Vx8`g=0!7D淢bbbt-P84]wչ#3w#YfnF(E7>EY_+MTF=F9u?posP?|=e~tbAde$%ݬv[[X$rmZig\w\eiI!W }!Jm5 'ѣo0ӃBp+w -gm"_5ނlqTcD3,yvy?YkBo-T%̄i&dkMn+Y50=H\pjBM}ES[3BȺ0[iDOXrLuszbHP hs[\B4AQX 'D>K#W_\dR 3D &GP wYNY5A `Nr:&G:ɐZ^rUʮtKוM Z7?JB/ ^!'KvPꢼ1zKmm|)w܄Oj^k'B2kȪVI!25{ d)/Vu*Qc>6i)ULnmXH=*c953NTʏ:须{9D0πг]U--X#''rHfDJeݶrBǻZP'7+%Il}٨c$4Jjs_)5wߕM }fI rՙ;@ Uw8+ t>GSȜ)'f@>b"6/4F/{팓vf{WS V#pߒ^Dzb!7[ U% nJ!<-`_Eze"PՁpIEFh4#9F6,?IcM߫8xkT6AYgעԝ`) J.e2~7ڸӂK)ci{7ULY$!qa5 } XRm3bs 5!Lmn.;#P FҮ3q*LآtJZZh:d[zB8P,< lOfaRT\Wlֿ~ ^}n1(\zI(0e!wŴ;45