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 x TD ] Corec:threads=2elapsed=59.442cpu=87.852gc=6.240factor=1.487zXZִF! `]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$sL3d/ж: :]mkmń4!n$pAc+|8RTmk@,GHtлH'hWa;9: 0Vw IbṵTtO2Wk)[v9wEnm"Ei +X<ܞVQ4`gOYb[׳ pZ-%N2ťwUoJƵ\ᰤZܯ^<t]ȢL:>\'θQO1q,Yo[h͖3\twt Oz?Lκ?Ս%i93͝v)0gYZ7zXZִF! b]ŗXiɟ&zLo&2~&W~"1c5?:vD8 ~;gtgYZ7zXZִF!  ]ŗXi%;3 ͽt`Ө1Hj#n; v{ew ,xoyZrb/sanErẁ?_uwcIj<1kK9`Ӻ#\NMOI!.0_nݟG3|{iC3 kLi枍z@2KMMUGڦTA}Lb3m!wx :"p9H";qb?_$,a ePoV7'+H'?OzV&]5z]HƝ\B啶 RXa{fy 2_Kncdӷ@' ӓ,*UONlq~Dށ{If0 !֏J9~ 5#2ߣ2|.W9E yG"S8zNn} ͸(LϲgRf4dw|WGK=I9EFF~^6䭙el>ou## %&!-/潔+d>4(B%d &sϋKxb]kUj4(#[?\HS?.Xw6z}evaoqI Qq5MBUX1LZqnf)uWc)u-g'xl+Rhkg5sR`^6i X  MC#jy^^[0$/ǬϜF-8TUqffFOi+,K&}a$9klU<R*y%#0W#VwgCa1I͸86.)i617o8@ʽ\ -䴵Ĕ'{00^g[26nBK5k*ߏY \l+v\#8%9{%_ yfq%u4B~Պ%9\`>GgIo~BCd "@'=XH癩'HZdCzyʻ9ـO7:<7c![.ϗ*{jRVgI:R=@\A7Cz۾=<p$]cȃebvV"Ji }U(rM:艑S阼w U&}~^z:W'+QLCӡ|Z<>7H22_ ke"pa-~(b t wp%j~W=ĊPՆJ;]׈OkoyFuܠr S IYx]AqT@ $9N'"2?O{C*.YO2uDDmٜy]3kw0t&2ĒYMP4 ` &PK2= ax'?6thptVzG#*ɲ 9JrtTObZ2s'NǦFq͓<`bg0ʁ' 8$ޟ۱5R Q> ҆](X=;~ZEӲ4].W7s:ԚҝpOZ*gtluk 7)ެ*ibHKRP=;Dvl6W/שGbY $q82c/u+8Ad'\dv!ȄM\f03۽7zcq XwBgO_x"Nmv0`o̺HI8z5;gA#$Vl(m<()@mmܪCC.~$ H;BJ$S|Hޥ6[k쿂m}hch`JQ]²dR&!CNY{ޞˬ'lN")7J1N9M] &l9B>ItR+{*UbRTF>Շj5gbgaQ@Y\T^=(šm2_^ׯU1z,tJx!a F2ƎGrXd"hi J(naOj'K ϗ;"uu@,as.2=G ~88x,;q2+L.5mUPd<[ )#l Qv:p9aܷ.];*.k^82%(8:jɒ/8gb\00$dNװf^ZfmM.EvBv(JYߠv2 ˌЇ0)SZg)30!N '^BUv҄k m9g[ 'J,6&*X-m|f