SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 s+ l l ]S]Sturm_Sequences:threads=2elapsed=41.036cpu=75.956gc=1.628factor=1.857zXZִF! _]ŗXf1-/6vR[]SZVB@I3Yf/jG o^1Q*${5g2-97'"*aV3zz J-iVj$̯70Gd 5] ]m|c}:GlG0t HU:Y@'';f3نG[eua7;$ÕnJ94N1(4k*4'(RŖb},FA@ #Nd>x`f;(ȸ^L1F*!s{O/X#sR\pBw‡uJPs lf7`d*2)Gf;-{ȃ@e5kܱ.Qu BuA2g7`iDqCP2FZ5[BsE"c_2A VNkbU6!/ŠCԑ8ŁǙW_»)<bTrب+XW=( yZC(^ G4$8)i :l•^VqJGyUwѓ$D/kB$.J7}og3Ybcoa+DvBi!_cLe}R `vrƳȰ||E#1l%8+d'”ܶ@ى;>l·#.W|c4 nĹ`n:stL5f7zIv,mɰ*a]Ex Fr}{4\fSȐj"Q[jnc<c4 2TJ3a A ogwAe4).,X3}ꗛv> Z|Vp˱wDcf*fq0os!=B5uɯ9ga~\T͏V0v^ V3H#t.8ܨ+<5$@,d.fͲA3%TH&XSɛ=w(]w,JŞJ) eH丿3T- 5;zEʀW& ;;P?g-F0噃H.hč:hkV+ɽ/IZe]00\`c}.({{ET7m4tabTA;Bw5~fA"A;ð;%iY4_2@٩H2gRP!3Dq-f6%GGSG4(ΦStf.,rx+RڕBCh$_X`^<4y|G+L- yLGJ0pp c^H-XG~CLyE΀o1DSFA0k~UsE3 _@v 1Wo㰂#DfV. pft݉ edn.\yދ#/&7B`^lkHuY!1LUA=/OĈ]q{z!GRZĊ|yZG!$ |$@*<(ĺWsD|>\0\6\ǁmD+v!O޵i"k)ifSQR8|AHc&|ku96 ~EK,B3EbR'=g!uwAu}=_@bu(w~M6?}֏Gr 5b:?|Ccs1ShN+V8ug3%vЭ;"$I2+ UŖM CD -$u'g ]~~&UXM[P5 HBi!j e7[&DUwܼ[G9%?~6iY cz?ŭ͝W@cdu^SoX#m0i `wŁS#!LĬ}6JL5PM޽{ NL28Bx~㤀Ng$mW\kBKyH?I=xS