SQLite format 3@ .;  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 3,L ]/ Partial_Function_MR:threads=4elapsed=5.975cpu=8.960gc=0.412factor=1.507zXZִF! =P]ŗXiɟH)0%ox-ơQ;7NM0=PYL̛#XF VD: с,3n<"KMȊ;?"FžJ *V` <=C1=K^x@QB_UKhJSWJ[ޠJ릪,bLe=<jbf] -e3 }/_3Or"_ SrFmYoͽ2Tidx7Vd y^YUY.%tÄ P$ MDvr#",ؑ (Cq#az_JX,-Et= uf%ӻkv1j AHR?<~ĵ80ҨyJa7vO3rM$`tp=:4 f3h}Ml,T ?_ ik}Qd{j$GiaaИ5~U?ْhŏUYƔ8Do{ OUu,4Z&g򹙯5];537(rngk@yc&M >I X?@ИΦ`Y !ԔӲij9;z}Ov%lY5̟(g0oE0*]ߜ*܎ ɧVl~"Q[5O6*.+5RR?1¢cV 0&UgYZ7zXZִF! _]ŗXiɟ1˦rnzx <@0+gMLdȉG8/hV߮2Ik@8cplA͉]W U+ExLV/iW $c`EZ[ X\S?JujW[4٤ 5FgYZ7zXZִF! 4]ŗXi%L!l+m~v A/ !׉ZW%AyԦPV:k_[G4 v:D~ b0=fJ%ݺvׇL A|<]z#AktBڰ =ZFh0"ˁ,jj L #i& sM T[Ɗ6}v.?GmP)MoQw9P_SB,ylB ˯3̝$ +om D[0ӗNC"K穭ZJQdUW9X /"H&:Y_Sl2_3P@Gu-G)eT[1nqZH>Ȁ_' Mgi3n3/%ek{JI?Y w+CUq@ܞ+s>&<*05Va/%UsSI8…pP2>iԉEBKP5DSg_0%/ #FwAȁ;U,01syT]Ex͐Pڰ?qxO׈ɶ[jm=qwy#`Kp6G_1iC,!0{ӵ6AJ^54[QFf<H+MM hrG:O_g ;ޓPn~A̍^XCCzPkҤ q^_DyY/#1E8ug]~eBɘUJ[Wsz3,D߯RFC{P/r .v-I~,,ibtgYZf3c3a951d09de79892528f1ed6939864f58a9b708215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 3 Partial_Function_MR