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  i i  L$ ]S Circus:threads=2elapsed=51.281cpu=97.064gc=3.464factor=1.897zXZִF! D~]ŗXf1-/6vRZyⵞCy*!Jlú,CW+j-6M i/2΅b y姾*c~ z, P<]4ؚk2l(II%ou\88kgv@iL< Ċ/45 ^0 c/aq?\ m튬=RgkY^k6-!SNTXa hqwJ{ṸM?ƙ)6 Qt"ɲJ &vXY̊i\/I!z2+~X)!6QO"$MݫF߭[v[]>n8op ΁JZًkЌ# )1.g8wBޕ)8"Pi$qA֬dy>7uuCw)?D`{GqC VHu . Lo{&M\,u<͡_R iQ̬CvAҋpyot~yQ R6kݺ9XMw[ SIl;y?n>gp҅>򒓭 ܐ*msLg7CnN1evOi,0DD Y?aL(iD^ 8]xkZɆ   Circusp83`Ϙ~.ۍ:)ÛBhZa܎_[LZ:I7)%RS+o0f9ˈ"uYT-ߪ3${ghhC S`$5M9`:7ľXe2kb,g$cU╾|RVYﶓs ΄.9:7w lzѠjܿ,xLҏL~( 1`t1B 5[ExKړkEO35%N0YxɭIPsA:g P};ἶ_,,;tij(8XD]iWDr|9-RiE$la1b#2f7"qp!Xo6iv1K6m[(@YJ*9sOɨA޲Ck Hpw.K?sg@Y@d ?>h4wMkʸh+p@9KH7Tg\zoLҙ{FF;?D}@#JjNAˮ?"ɺi@ Eī4vŷ_ mzzJL|oF :uzF]FB:.K8s @z-LY=[dF>>ٮ5#L~)_wZ,xTI85/m5}688('(I&,de' fT=-aAuAvj%d]'O 3/z!׏e6](3;#K;?4()5͔ʩx8D^Tm`31F$6>~[mǃ.H(kl(XeJtcSQ'?;,mS&b7c[G797EnBɾ< DqrGڦc WqۘڣE(^\=1xIMX!25 pT׮Z^ſQl|c:/6xlC IÛ!,^_jKQ]6'qB:5Q%1ܦ.tQl5~ܦe?ViJM ;m󍉨DxJ",78_KhNl`v3d"GBD:Jn'Y̽C܆b 9YX[BaGȴAx'PTAI*0ikVMd9<*2f8d1rL (ה=l3"j3*i;O@d? RgꝙsHPG` 0Er3MNYɛZL>JuR@Pf6DU{.Ͷ/.tmJ0pMtNÜDޫa?Kl;4Ush9){Kp`:[gĴhTFîzmGWZ~iNZhM1oOJR:<[ +_=$aR={d nƢqEzI c.%S ģ:òh#BP{%O(1ge7ڄHûX/.G`R<<}ԃ?DŒg +PK`, z er8\ @d!@\=C#ZHj&f[p>p@&"=zd~lmp`,T)ILβM12HOOaoԋpl"23گB{?)C \ [/ a^ˁT׮h_S |6 S3P%+.͐J1nB(G:uJ >IߢO> DH-{"?^6mc4'-^5y#m N ;ӝ URuA,>(Q,ؚ;!H MV /X_!(Hx]{O48Od>sIXXU0\z$HjvEsɅvxXvs B3+ [A";<:}/yסs'J=e9)Wڈ@|P1*vq|!_E#=$ptOgYZba3d0248848875c9c990b05d8459509806aad630e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 22fb12ef16c090cc7f2a1dc50f9e311e4c0e0ca1