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 66G $\t ]S CCS:threads=4elapsed=14.089cpu=43.704gc=0.852factor=3.107zXZִF! B ]ŗXf[&:)V<2c_/:`5=^QO1κpj\n Nj{ZNe>, g4#LKZQiTWwmj*E!(m,թ T_|0YiV#3!' Nh˻p::p(S*aJ%=O߆oQh7Tbt =ԙHLЋ-p7b)Sm= u;C(#*EP6 '#u#8ǰ|U i3Gk qߴwc{Bo1J Z&,+1w:(414GgYZ7zXZִF! *&]ŗXiɟAyԳbɚ->B eZ,K>FiS!+R18~|g{y&4]W$l䍈csy?z fqDPpJEp' r,`b*LxV0 :EβlJlpQKjo bfu+[ǬNkROW,Q'x6I˥Yoy൜+_"{4!B9+q3 Sq[cm1,E칛Lgip!Y]k #HrgYZ7zXZִF! i]ŗXi%B)`?;tLҙ#fʜ^Ib*Ĭ!La1fS ) {+!,NvY뗂 $rm79(p7JR2`*Q['c|E-u~dA!{k|LtFB6So9Ծqu˓Y]D|!o99Fyi3bYNO,Ekl:x0׻"r1ga;=!+x<.]G#|2\UQA3a{eqƀGI!zE!ӵр_DIc?[юIy#}Nr_Уd\f fi,OҀ/^Yyw r,k)U>Wv9$˟"oXq!M8rM;HCxF9 `{e:o(QX&Jz%94f1%hb*?|\ȕ*<ʞY£(hrNeE_}lHWΒK3ßWFI\}% 1c7ホ Y. P<-[4I:FŠڜ̉uc[%7USU=O۰c!ΚϛDzz}9S:ӫݪF+N'#+?0g%<}Vz)R*W׼ 8VM*IȽ}|nΧΟم5R?U qIFh.4΂7F1๲6K&@ 1dB\U}zg@&߀1H?7= }& ;{ FgYZ13c68658dd96bcee455810451c24c908f6a1f9f776b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 f04b6a6c33ad0f2bac00ec27566d13b96a6832d3 c45d0e3f0ce13aeed7a74396982413876fd518e7  CCS