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 CC27T ] HOL-Datatype_Examples:threads=6elapsed=81.897cpu=296.556gc=27.716factor=3.627zXZִF! O]ŗXf1-q恈&!&ʁG_f @lEZGwa krju\ KQw:c)Zh.$6#Q+g(`PG]yg=$ȋ0@O47XRI;%x2kNy25'Aw]\TXH#>y:8q92yEXz`]ŷ";Mo@:`N X1g w5x:R8Nn*kIQ"oڍkjuc0xU.!o EX2X.\(^|# )i'rKFC2{?Z7p(&yO+Ѳq7o1ܡ#i*Ѳi:B8_]E7^DlJyXr3,#JWqPw=5qy4 N >p+:{RElMlg{ HyHսϼ;[p!dt`B=zH; /N ӒCW SbZPɍ2C$F_*<Ι]J̢{ߌu)7DbW#ЮU6K&[ eY+ \[4>b~'x|o \7if(,O!}#0t4.4gTj>fe,X@ vf}^hvXB 6UkEHQn :JCe yM'uCMJ5Y+^@٧g675v؀By+mwJAu3Cl/8H"_~F}4Kb@Ӫnm[cw"#(p<|]x:gO`E%M5Ҕw <@á^V4~"7 =\K.o!Ӗe vըkLCX~ { Gduj:i]Sy;WNFl4*8ȇ'}wSLG@w.Y]gkm3J.2$_Aeڥ3=_(ÂPKaW6e9'@Ԫi%-UO~%M$8S ܍@xNىxW,3Aa ϧ;L+=%3@qN ֐[1*S[vewu ҄}26 >q ;1 = ϣ fQ߅7mj:Y6,a q$'UL.0` yw:u2IK)({h2A`x2 B/݆Qb\~\?d(SnSt*Q* 8!¾/|0-U/Fr g8ORϔ ZqoM1,$dICǖTmp\ şѯ pD ԈOzaT@56藙jgT]I۩d~+z_/t~G c [g UIjF{$6pтEZ31&P̝w!-h4c i Qn@M%ohf'F->C0G-.1}?P$nbr PgYZ7zXZִF! ]ŗXiɟ1)*uԚ@e^cLl`x(D1t&X(=d)Bۈ/R{@va;B}%a?p9֡*sM -rb$׍>iKi^:ck|s$nаcEtB(<ӥT0+$՟E cD|$y>z$ ᷶@pM&6HW<{9tN2CM_t2 44s^bD%Nk W,UMӹPn%WYձ."Rmh.pn(AF31\3Ob_D񍠲v9L0Z f%pژ*E-XDWu>QIYp .XQqVHVo`0m!c= :;aͶ2@o܊$@XZ{}9=/RN($该B)` 0cu ߪLx|+p'lꁝNdSb׏?߆ŗEu^imۇ޲{{S`4k?XYhZ S/R݃Ca<{M(2kͧ%"G7, ]U"|IdCټqQPq}Y)/Ó'83h^oxd,y};(MS& z/}~U"G[Hf*h|8z_o5P/bN(4M lhg$ä$tejh@h\Ck>A:cf/-Pt;}SJS3ڼXO 9RO݄|BlCN2 BHP* r.|fǐdϖju&_|Ͳ/vsGWU9g.\8#Ԧc dx.(f!h#BN 3,bMK+eU~2˽_>4 ǜ3H"b&;xoeo*=?ZYw*ʝ* %஢FcDo%eQ^q}64ePEL' DR)׼m&F== v+׭@x4=u u$P-i麈)QoFjVoDmsOFu:@"Om$k͞֋d"x)n41 |8w@d0l_[lJ.6v,]5OiI$o-x?ɪ5c!rt?@zjbmƃ7HmR>גbr{,@Fe1C9UnNooi)nlYQ<&|y19TD; p mYppjJ홶s̲'f,lCPi$mU#hk>)>3k]$ſ@i#]Й5\EG|wL`I`=#zTG~Hۑ='xy8`AuIbGW=RlأIVCq6mcx*N*~GVzv0 `u#ը7] A5k|MZiP x)˝ }dGϻ"tZ?NV 9nB‡%jm(z8,@%Y ?D^u̺JLxN "lQU13Dڲi0> hQJyb5r'$b?=3MIpcJ2U>IOm=7-f ф$D֣,z2@F^c$6"gc C?z uAbVe_D Db19`n9ڤ<~b΍I& 3@#ӨhP2eOqW: pQvѦWv^gpf13:SUn^WVm'ƔFXu5fA|a#| 1TFʞ1pukm_Jb̬14p(% HYcWFj쵂̄mVΆY)j"UyQEPlzIhcRTXWvS1yZʑo^?\cy.|KG͎Cq xUbͻa'\SR=/ a<C[!p ´$V ."뛨{a؎\rqܕ:#I}s?(aRv{q V?wZ=v.)JnYM;޵D$>oŤ.7C6{w:D8thMq@WZc.{_쒼ݝhźBXl,cf&SWݠbh,dz @5(jXJT{g !a灙TjHa{lPߠګP CWڛ]*,{k+O.όXc7a0y/:IF"5PˉZS, ҝ纷j;D!}PbYϮ!6-w8w^^6b=rf9ԝhNrL3Dxo?xPO챤19NN~D}c_蘶Di im1Įt9hk(vdVi==x1 r͏gdv )Fn!{4ֿGI 1mɟz$'EϼSlB\]Y}e1?k( mZhKQNYQZJu։*zė5bF&YG-^>_%[sڸhZZJ֪E DdV] HHQfȀ\r<֊?wxEoYϣɰBffgʭ|q4+E ԓn83xt/+lkp d=Ģ|Ԡhٳ]|ĖyH-4̧/-I ? {7dd5 >6mjկ jG `4 M -@5#E0E |- "'oBN_6[8V;WTNPZuobP1Q5>{ƅSi~zpAp msW v{@JϯN'ywV¼3Z jt;Il qh4*+:}6 cRmG0oFBx2ɚWY>lߌ(ݞHp-@2ΨV,U A.sA__ C~'K@}KQԒaX8՝&bVj툺xaR$B PPbٌ́8jsѴ^Zd6 |VIa.Hg=[X -ZL$~c!cj02$S`u|@Gl[m^wnI8 1U?BZEl%#(݇9|Ұ`HS]7wѰH yj@m8GcZ ;} 3qf>h~O~='/9c-"݊,d+puhfC^*Ű$UG_X (K@}8: F4An'VVЈ6ΥOS^ Ef%Jpvne-jO)jtFJ){Qf8GM?(D@gYZ79a99a4665136faa83a72d3e7fdb8d113d2db9dc5a65cfc9184ac5fcff440c336649c488e962f666 d0455d08675ebeb715f124bb5eabb8abf79678b3 b38612879e92db38622e0825e4316cdaa535a44d