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 V ||D ]]]ZF:threads=6elapsed=12.675cpu=44.860gc=3.308factor=3.547zXZִF! %w]ŗXf1-) enȈA"tr-j. ZbNVHF$螯ٌYSę5 )/*$BȺ\f[ ~:Fá[IH2PԮƭ## -nԄa7u:Iu|0-%ֳ+?"~)( ҚP`vf?F2>݀9]9OBC_ nOA;Ԇ1n " PAHp[f2%>MڍGYMNSFxPzv9q9' VhPvN,~FS9TJhLQTwI]sޘܡ O.+F,X7&6=+gYZ7zXZִF! 5]ŗXiɟ 1FE`穵K>|]æl[=NyduZUh6TY)r`q~FܮRLwN&\Qm]OJ?Wn.z+HWɷT6v(Uqצm߁R_+]Xaک$X!]*lٿk%xy_GlGRS%̍5s{*@~MY쁱-n!bľ R[<3| VhqHzo0[G‘uHh0AmHf0r 4LI&R Στ8 3PШƒ䄳U+Z1gb[ o'UIe=߁4ڴi`o O.b{gk#MRK\HO_Ϟ/>dF)S̫iGV&3e*r?N`^wbއeh-/I\GN*1sPquFdb$ZOpJHO2{jA#6H^̋$ڼ7z sVU`'_'Qٕ$A})'b?BqϥQ痶%)oCj!KMNR9pچӱZ gYsC6yo") ӌ JxNP)/iQfT8$H3ރ(WJMYX=oBC2pʆ%HZiCi: ̟L잖}%gdA,ತ_G+VOT' 'Hz1ܕyC(zQ xˊgYZf671c6ba1e2009780f5282610b87da0b12027439dc9a9988939d5185ce4d58109b3c7ffc48063b65fcdeeb66b33736101aea63bd53834e434e630146  ZF