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 i# 4\l ] Integration:threads=8elapsed=7.189cpu=22.666gc=0.888factor=3.157zXZִF! ]ŗXf[&L=RgߴD. t03<ЫT^m&`ABAN {樵=u$X ^ a`rRGgx2o!w!qcqrL~p3L틛;t^H'At}e@@vj =faI71cȒ ;so`_@%}j.47N <$6To]/ζ\)΂Bou6p@{&}̿{_X>߀-*=iӰ;47{MNv: |6Wd?&vEé{VP!P((TjҡJ$bMLXR0J-#P;($ ;ML_QCHHYNSZխW9U v,t8m3xiT#4tӞm,9/VpJmuo4er#8Um; |XEo%ǂDpGy*%kЎr-KcOKaa=nNa.s۞<䮽5~YoIDŽ_,ѫ-s`9-莂M)kf0=F{;(m E4>!* m:Q3׊J GKzZyk#Yg&c7 "| cyVTTyBuǧlYICGϓƫ388GuD0G?Ԟh75P%ApHvE N(ض4zO/I& ;+%90|p\m-JM<@6N$.+FҋаYƍb*ZFY2j>'~xKn%aP1ayutRfs8WqK_Q&yU'0XMf!=@iӟ_G<'mBL!:?7ŸE3LN,!-`+ͤI3쩾:vv5v {KLCaUFz. $