SQLite format 3@ .0:  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 nn 4d ]/ AVL-Trees:threads=4elapsed=10.984cpu=39.472gc=0.648factor=3.597zXZִF! ]ŗXf[&(tw`)F~{Q$؄F;snzafLخHdӮPqA!!QA|0W:.B(~lcR-D8F!TNch sǎaZSÜcqOʈu(jZ&@h"rLPL4\@'[+ |ktF Pg^&wccG\Y7s֭HhBW%vJ8hD@||jj[M~ͱƚzϳ+4^?f}l3VQp62S$I8gƏOz Yd_<83_gɭ|񌗘HR]@Sc3J8p8sH;%2Bc"W10?+N)VrGoj8jJ?6iQQ=>1?xDj"%1Z3+͂%ȥN!QpgYZ7zXZִF! R]ŗXiɟy)j sC: x䛖yd˜Ts攄2]3h :xѨfgJ^np0gYZ7zXZִF! N@]ŗXi%B)^OBcbn_XZE+Iɣe> Y@ʤb wIy낏XKNVS*DzҌ ɼKoh$6k$s2~P9;$z e[̕8yTHJR19f% rC+vIBJ+2v.zuA2Pkh!t/gl^03w8w1"֤$y*[?3@ͺi]EC#K ʷ F\pe[%d1-H+]Cl?@w˂BƩ\1 U& 2E(CF9?!LkLBٗϙOL̐tSd8$oq'Y>='6{O$P]~PgnX^:|m3^?ɜe *F(4L6VYsK(l@9d„V4' bN述oj&j?ݿ(I#<Ŕm(Xe:ڤ;DVaJ(6~kS #3uGYS,?AiHuqG-YN 9 n[d`ErWK)R*vQIU-+|$+Ԭnx$wbc`^0؞GQQ2z[Zw4tG}=@[Z?4&HhF<`4ಒawC3Aafyb<ϥւ8nd![Zha`:W$=eڞ+=;dͅIjK[ f .l"ը*h }bu$WqMޘuܐ':[ò833nIb"B6։zڗ*=~"Л>TSGV.bz{vF 3lXv[ B"W,|G `gY I]ՏfZA;ѱq{|Ki*Z1i+;wuV`8)Zn8-wX3\[k~y3o2>T}<EZKI;'f^c,7A !ir`C7r?oQ>R1A}bX