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 >>? L,< ]/]HOLCF:threads=6elapsed=12.692cpu=41.048gc=2.844factor=3.237zXZִF! &]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0֓ƒJ-+q*HbкJ#[x7,,ƕ=.0uVH:%eZ`j"inG11U1?tφUI>:϶W0Ysu8Ղq##񎢂UT1|l$0eap^,e +Tm!z7azφ̒wx"-S$1X(9='olzˌ#2>V.q_|)~_''%Oj|1<w(ؠu4TܙuoJ>@krpt[i!C݁i[pϽz)ۀބοX-y>٩4b3 QcoOub.>e| ]* Cm67Nj@3 c`giBsh{3E*̀10CA}vr[ ~d\N&̐oX;˭pi XgYZ7zXZִF! O]ŗXiɟ>Ӈɇ9S2]cH:nG7)9'``V˦c;p,65?zv g;T˱emE@,X|3t1Az{|Xq噔}ؙ~ʷ~@f Hs~w0Fi(" ,w  Dh=7㒖+v-gD&`Xu%%75*aq6Ϡda18'MQ(ezG?rx/vdyS!"^]wf#OC.=6"r80eUݥYC^AxK}&)WQT5 [>oO>9\CKr$9}3 NcTC}%HL= D8#NWϸ{1m6=Ow>gYZ7zXZִF! H]ŗXi%GVI&Ů,G's;v(Ñ[j `l7RbwIW=imQ)<#k˗N ُ9=j)*ſ ס vdͪsQA҅6/U0\n(ehM\>4POqUpV38 휄ߋis ۞P>,(hq7Ә7t{Zf}|֧pwk᠖=p]ة9]^":Y_L 'n krg8../gT!M૎~š!]x̾M|GAyVi}$Ҥ7s’wpC ח|m>WX*a`XRv5k>A$UIV"c^~C^x<ʟ?IhyՉjQf8Ɖ@%\;LE =~x yb-b(FAf~j"GTu]c:K1Y/Aɳd[Uu*਒'zʖRl]odd]%uжWѧ=0^l5m4W Ep ־Ҩ5O1'ulmpԁ9@4)<i}=[>'p~*x2b3F˭:aBi>w8:,tzcj2-gmuRV4A/>= 1|=σK{)ȣH~GWau+q6r4#DG~Բcv(YIbKsʲa,JWz8`Q.^ ]HW`bc]*Z 2TQrס&z]Cqapct2(WxqM?ޚzjf}"qqb.6Ah9UfVvy"DNk~[R" ӺgYZ9202b3116c4e017d541ce381a5077be6711cc72506a212243e05c5a7c923bfbaeac4ec358ce57654 662b38046f2d6e283935bf15699cabd0ac2015c1cb90821dc1483e5989c6cc2fcead5bdd6f671395  HOLCF