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   l \ ] IOA:threads=6elapsed=7.730cpu=33.204gc=1.304factor=4.307zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K);f!qGxQjxɛOEV_>+1xn!y/bC)9|qڼH4oTtfhݬgd 0n D>5> Snqm\"Xʝ!(lф !YHe I3Cb𫃳u:ٯ_%HBOu9m?G-ky shojoUE8O3Ӿ`M\yvl*OaE}GZluzz9'%gYZ7zXZִF! `]ŗXiɟdN'LvH۹)A,Kmxvbe5̓} 8+Xw0w-<@1@czBeoR|1LI3N)`<<3ȮJlcxh$:v2}b9K8B]IhhF~}߻=9ϳєb["HJ? So>o"y˪1脋P9Rb9l#؎{ⓘō5+ %?"ѠawCXF gYZ7zXZִF! (]ŗXi%@`cqPh4K#*(, <[3I)~"FYM?UxD&x8w^:dJޛI0-u !.ΤDC⌰e}H7UTFb.b}ՇP(Oq`!u W0x2 #[Uh0~o3btpһ2J lgJ9<Ww< 2S?JTOK?=nN1\vOCpzB=HǴa@&(t尖Mژ 6RK[8طb`nygWZ>LoN (ݪ$]fpFxN7PfkGw6.2>l`pNr?@q) ASS!J*xlWAaR;nF3n 끔pͣ8l .hft{!﷊vfB2JXN!v>i.iELLSXu|OZku}MgInCG:uCMh`l΃_w_im^sWEe{ƜJ>`68s|BΏzRƃKtl28E>޴jz89\rGׄǜ\ ؠz4!==mP9w V|M)Hdƿ[`q]ۑk76)k{[[A !ERJ01uxf^zĆBlgO_\R3n_! MɽYq'iYIؖAg̲Khԅq/4kJM [i\g-@I.&F: reOWb|E2.%.'LyyS2J -?Uג 8O"mRX+ ĤeK ,UᓎIj) 0Q4gYZ33e0c0ace13137a8897d4a1676f96a48dd63748fbcc4ecc5927ed0aaa25be4ff6aac53775f27264e ea5f5da5cc0366d1830f1b8a4fbfdf0326e82ab8 f58f42edf42b45c6b158e38b75c19dfcaa4a468a  IOA