SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  , ,I3 D4 ]% Bertrands_Postulate:threads=4elapsed=39.209cpu=138.936gc=1.704factor=3.547zXZִF! 0]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˲k`7@tWIo **E OX~1:dR8 6_\f:}:V`aM*>qbݰ8!74sb v)3^ʿW<^# z6Z˽`yD_~Edד] u}*blbl@¹Q qXDGƪ7RrwUB}֠ߒt{@Ưndh yskF߷ r{kL@8yܞeÅ|{i z>ID# @T|dO 1a xJ#ο9eQl'!QI#EQpW+ث!t_iBoNr >(I¼ӈIku'Md'Jq>>SlMϭ#֋\HIfǷq-?_nfhe+y$Ƀ PVwx{k͕2|Zwct'-;̈́V/P7 g[B* ReLWkeÎt7a P'N ڟ꾱e"Vq@-F2e6^z,hVy<ܣ՟r84f@='9V5=,z FN鴆!?K?w8n)Pn*wوqTHҸaҼr\mouo5Oea0riDŶ.ezl(l@^$^rN3M iǃhש ^uT|P I}po(& y޿!ZTѴӡy?uͫNoBҫOHj2G(* &Ne asz/~; ĈԄ50 нBuʠXכfx)}w7 bH u;,wwqZGHh7UihT~8q)c3A"]< LeIq(A_a0O%C-j1y^~K -xAìaPŶ'4.enQSd5Z"9elN%t.yG%3|C7|A' L!(d}&CUrid'L~8K n knsR\ԢJP$Ԯ c،#GKU6}Ie3g M[*jMDM"R&d丢LT-D5 "N[;jkפ9u^*rڢ4P׳eTY4MѸɻk EwIrWkbi$]%26$ Co^>:J؛HT~ cV%sM &aZ{^Agt?P{!-[xn 6'UCcJFS(f&gTr9u)}4mbU_rf+w Va ov Hi#R;>cs3.B4H; 9baAم/9Od$_oL*[<|":,N]D iE?xxEho+#wy!pj-g4fi.]"Q< s*A׍*uotBa;i1FK 6۷%͇d 4-9yBy%%65:`T@D6o^. ;ܙO)0\VmaSBpHnNu]⓳}ø9`y41ǪU&uMvTږXqdd0x@IOTjB@qH! +qzv\ƀL^Ú8Y"|Ի'6qn}b}/Oػϧ ow4&@j(*TL pBQ,N/vQl(:ZbPڡ10 f}a5\e A^}Y@[D_m00nj,ivSF|q"1zXɃlֹ/}$ss1%$LrLvDgew UUiAz|ʪX ? `To832Dȳ[W ,BٟptQojB>ͣGfyĺ.MUc}M +/6'8g\sԲ˟}BNj$)n%2\w_\w(h f6|yO.ҐYr̟PCZEԵL*p\ u >{? J{di$g W dǥ>~EnpLj'Pſ/᥅"_+!l*_8F-D kVAU!%ή#TopCuk:ve:BZ{ȵTU&p=g)QtL3iG26䘹eɛ=JD/_ "1F֬.rmۅA aWPƇMlI,h$Ɲ{5O=2?˩gB eLZ 6rѲ$ʇYY[ -coS[,4;!ybn)#1 lbi&,їt fL