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 jj DTt ]S CCS:threads=2elapsed=21.602cpu=37.148gc=1.052factor=1.727zXZִF! ]ŗXf1-/6vRZxi}t7hSyv=4Rqg[*(*rC&H1^cO<{kD ّYlM]hP)(b~9lXe5! o(SԕBE2?uu!hNdOÞ˓P{ΠTҊ ){Qy8+!f> -zkR˚xdαRm0.npr+Q4p6] (^$9Ibqv0;9x?9dyʌD 7!6xtyċDQD~=):?fIcoI٘zZGjly0ˋgD4nYWٽ8h`v2WV31& bG3 x] nY6H^o-Rgjrox;aZ*wF0kR{BL&Ҏ0!^n!AdYIݦgYZ7zXZִF! *#]ŗXiɟAyԳbɚ->;,5h)t=59Ixc])!L3^|/Jag%YC+|t *64m`>ZrIkTґP=b]̠ h/k_ Yk?s1mټbJL (Cmj\)b8k&7w $:.EQ 3O_m+rqX+TtbA:3=Lf-ծpqT\2'{9[kr׿EԊwymnI\'}$_ie1aKRm[ ]^~H XO<@J4a#pe~5"o`&WN5끜 ƍYX,|oR"XOk"nZf(weei &a؁69( $odmdcrj&;|`t9vhA#Y켽>fC06wϷxXP 2jեRRŁH,Ǥ\2cHO|%.܏} 2yp2N 3ۚ4Xap]&n[;}+#?u{_cK Τt 5D_@Pf~߲ p &oa?X _[ND/mBף1aFc#mbڴ Ǣ:P"R =a,"?5=r«o 4A+F!?#ϜϪ;uFrvֵ"Kg`eZ:mJRn#E$=3P!!h/7; q &˱gYZ1e49a48f40d58ac5fc24217ebe1c0619bf453a12665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 263de283d945e05d07599fa0dc16346597953cc6  CCS