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 r T ]]]ZF:threads=6elapsed=12.647cpu=45.016gc=3.264factor=3.567zXZִF! 5~]ŗXf1-) enȈA$jB80l,v8-qFN}Ƃ*g!WڇѝNxyӪM>s| 1-!q陴 ;l )m}(zkP6!DM;lDĨ>To">Iq2o9pt{b#so<9HB1 Զ2ċ=zfLU&K:za|1U0շPqܢ>q?\!^ 0Yy'#^v eDX+_ɛ t7Rۍ<뭹╤eprxin[0eʄӱwHc=.!F%x*tXGWʛϾĈձ?™8D`flIjxVܮmri6iW ~4ג^(DRN$uECpXP6Ł">W b*jAIk"Ys56 -}Z7ιCK>ĵf< s?Atp{A-8;+BTG+Rd{P陱gYZ7zXZִF! D]ŗXiɟ 1FE`穵BTçi3vHǬb& ΗT6𲚝D_ë1A6%#L;=8RrwAqӊNvm's)뗾9\i9/iN?r/Ϣ&&2Y+:0Iyj}is5bLj:!]ŗXi%>o s{hN-אF~ <]1Q͓o7ڼ ZqxMy~j+|jJ7Q:F벩}Ј%ѝUJ{VXFv4ܶ7`vٴL}0_=i;d2Ӑr@$0)b@KҸ0:=j`ٶ!/fn>|~5Ӈ!x͈E՗Аj쵠](b/]ShZ9dOۣ@wB.gZPZV&(We#-Z~yƏbgi_{3/u<I0B6B%ik}@T)(6T UF@X9"6x(x3('>O p՟ZjT;?%{/A`fG>\SAt@Pw?P{@0h 45"Î^VV&~MagZDa+puX%k3^  ÃĘ*ozt="SxfaݣZ{R(13MG%ua9gNׯ^qrnd/\yA)v]F,Yhy 0vOAQ E^/2ypzoY0xAvlFU49æ՞*or |:Y:fT_Z^v{hFK%HGmld<)5*7!a5u!d9ۗIeĦ%Oݹ[BW) (Dƍv`Գ&g1cA-WCkD:m`P MJe')=4,rhD K%ʨiLk~3e%E?WH}pڿ (EFEzCE>7ɝNm 5ţ1cn5d|[C6GִtهG͒a}/6`꾁IS5[XɗVoKLoQ>V "ko\6!:V_̑j-$] X6V?%69Li_/ª8PApfĹČ5v˝;ml)A Dڌ9=R8 }ggYZa6b24e832f36987ed2eca33b4cefbb43e3526b56a1e841a14f3cbe5e635587c582b2f4674f435e40d1c8974a3724f14410fe7d2d5a2d110f7f79627e  ZF