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 KK2 ld$ ]]]ZF:threads=6elapsed=12.056cpu=44.360gc=2.720factor=3.687zXZִF! /]ŗXf1-)9\l ݺn= bŚ&3(/.G_TwI*F;KeZ?p(lH*DDj(!Gk0mS7,!'9,gulׇ{s29R=FG@ d+.mKm~Jm\~أu J 8cRLR sJ'ojq2:}Aj{kDt,-QmvOqkhIoQ}XP6;xk6`BwcR)WA9c uKe AI^.ʇ|Ecd/n78Ղ]g:^=^MxB {ThbgGF~ŸٚLs[Mj\zTMD)d]U##dwl7^YnmB}[*x\zK_᣹_z.X;dҸz/hOb}V|U袭~u]v!qI!% BnI%: c|gYZ7zXZִF! +]ŗXiɟ 1FE`穰 /TX.q]ћĒΔ'ӄ[/'_i"Vkd>dFj+t=6D;4K_{o%Cxu58NR4Sk+Q7-{=ߝk%0'y~HORDƚEv%^4%`00kIs_h4/ @f.> 7a>T"Ys1bl&rʺ|Z#:DfӕKɟo_-<5%$ßCĵҌ"O\'5l5.ʧ^}3{Q l*gR$h n&A+o͗"]{WUZXV,``h=/vlJQf2.E{2|Z t}R~- &C,<+̦K̟HP0Gt <yz6c*jyrvF bi93yQDn`x7K('}1g4;%Bhk(QwAKt`400IiZ'Xfw+<n/Q@%Jiu8>k"%)W2X$D}C=X̅Yj@N)4fH*RȺ!zOˊz#VզcL w:VϞBU`0qPsUZ\a:go 5;2/[(ԡ6pfT\UPIB4?}bx2ߘM{Ho?rzhcpq#+0W`NSWfhO{iODBz zִi{Ae ` 8$ұGY`/e'M,:8fx>" ]fGLYims mεõyTdw)2zlso}ⰼs qԅ;o%|ŇV-IEF5i/n~a{nn0;nTÓ&1$<*絭brqz%Z@G#2ZkJ#}$#̺PlIFshpD(s1z*fː IH(pLےsߚvT13[:E&_ӭ1lUb씤 Q?(RY\#|jMt8*-6G",2i0FQ5MX8e/)}w<~2ik[݌Vc!0tp0*.i-wrܺFPj7'E/q sxeXR)xPz`P@ @Ϫ! tRip`Kgu x>pgYZc5c113e51a7aa521410a1d78bfa819b8271239d28cd2a2b0485da6972fef25fa342b036cdb7debc8a468252e91512d4d510319ad835679b7abe0a7b7  ZF