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 N' 4\ ]/ Case_Labeling:threads=2elapsed=5.468cpu=10.276gc=0.428factor=1.887zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Iʼ<x]ރF%8R!:%9bLk9^B6Di0jkG*eja`N*g[3K `!@a 9&~_#֩ߨ3 HƑ4Ljuo.\-%MDxhIϜBomj&8&VT%ozLqR౜3mB+]׃!FW+oF 8Qe4> v5uwlv)wsvĖ)20Ų}돉Ի fvEk@'bkk2`={YB!7>;K>)&mA(/&06gYZ7zXZִF! ]ŗXiɟy=58L¢Z_ʵڂG-Bel=UxT+%IqiW_wI'; Kj^MHe#xҁ[ dǵWBn/$Ή-[L aA$9κ ^!k]' hl%'rt\yȷ`=;Ng!dX0BD1[Il90HrP[g'7Er>. D/4"HtuF |Xxލ=vmuņC^j~يkjTc2L!?oCߘ){ o!*J"e|ji$'U{YWYz+нA ~"&ha{CP/~[P1<俙k"Wcg>_d$_~o(_t@zOxPߊn9rGiJ7mC#;{o]} >C 0M3co m ,F<6WAܱS$Cm,GHJto'3VKD_aF[ J=N.#Ц2 FR?m º1N~]`;FȜ?4Vt-޿QNuJݒj@5̳ }F[h;wx&=!mLwx`u^[ &\Hm/SGsGq{@N$!t(ʒaE:MR,! @ V~UE?Z\ɵpAML?}bӏ2$ho aG"E [=o4\5" :+h31" +('pv`-_8y80ڭ +#70Nw uv[[ԯR+ Q