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  B B;3TT< ]/ Partial_Function_MR:threads=4elapsed=5.287cpu=7.872gc=0.324factor=1.497zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&V \S)޸Hq8+EQgŝ_] ]9JY?pvv 9TLz;׽/mW?aqMʅ9NqjJv7Q;Z%je*mSw5@V+d,u]ר7DgYZ7zXZִF! _]ŗXiɟ1˦rnzx <@0+gMLd@>D M-L1Bc򓱱_N֛k'FpM*W݃iRٺVI[H)?CtP <2Jf=m cֲhgYZ7zXZִF! 1]ŗXi%B8_y&\b:<w`(uH̰{i^cC̨b3p׽:tY-lH9a2IU.O%,(&Oʼn["D;W]z,3E4f"lxnfgc,vJu2CX*}V8/VhDiʂzu $Q'` b6֘nH1^$ׁNblJuȯ 23> }݃pԽ@VJn&caY4t Wodjxoi TOl|",Ƶbгb&-l ]bxqi~r~ 4\\ITi5s3jY4 tEdlxTe+!{fi4_/Jpid|G-EDVE哃FQ{rr\y.`qe8הfЏ6,l8pv|\ϖtUsSWS#vMnOCRG)rߕ.5]e[za>~FSJ%-}_i6WA\|6 zZ~~Rʃ`V,4B f;3Z8_}Z|i-NKHǒk #׬PwN ;&ou9 f_ #͚֡u " &ȃ]CFLΠLَ!?w 42pWmJܼY8<ǧ dwݦ pEt~MlgBiST}0$egܣCr^p/+{;GN "KSӵ\)"ecbS?gYZcb5497eab4cea00c152ec416fb13567f950fc060ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe 3 Partial_Function_MR