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 ,' 4l\ ] WorkerWrapper:threads=2elapsed=12.286cpu=22.780gc=1.128factor=1.857zXZִF! ]ŗXf1-/6vR[X"9߫TSݬ2KܦfJcTunLsNBZ@ו|/WNa\L^W _ ynN!;8zSSKFj]AJulqAdVh&ZS9EX 4{n@u ǀ"y@C3X?%$1 1 jlki쌔wAf:د%/>5~XRе"v4>>B i4e+OܗMQDŽ|;- jϟ&*p@@D9}oh@_a5.Jه })l!fa8_5=,gYZ7zXZִF! 1/]ŗXiɟ mLr?wl:bA8YÙ#[64OL*{[tANA;h$bC;er=F:Sk;{Kt ϖ;:) HEԿޫpOe3RTP{ʺtss!猞5?i>0^JK2d_PfI"$ /eDFǰF*0;Wܯ@DC4F֗"gN5`EfO`9+sug魯x}NI8wac{gYZ7zXZִF! Jg]ŗXi%>guFM0-pۊ+<_C c_0ζE[]8s HQmȊ &m62ِ 0n}ak"7G$k'0wROP[lR%Qp1p}OC1? TmM6bx؆AOTJsg52Y~PFfdkDnat<)cTӆc'Z\T1Un}!☙H5uxbw qS4\, &rE mdV;J UYd;o豮m}Qљ uA UQbfdr#M_[[;8׽AâJ5 -DTsh'fwCL_\EIk':X<.JjŘ}粪 %qgb3@d^QI7fcb>8jONGl;T:ocf" yٲkq-d_i|Ʒܖ& :Ǥ!'X{,Ĩb-:Jo{ z7JYc DVsO}6'i cyx_wA'P[> :4LmhQwX(&wf:Eqڌi[ jcTu k6A50B\G.sz}^e>QɼuX mVb[-]uDl"yى Ph1V9چTZYM^_5âs{K|X D {QW[3q+څIvn3uT]ךHڶԑhE"ֻ2MIZ7G@df B}R443+ЯwWhx '1|mюv9֌jwVlT\H Lʧ8u.XGT(g}TN 7&MQAZjPDh0 TM $l$9L()r$Q6Q."m5Ao!KrϏvCZ.~V%Π0!4Uj*|* 4CgYZ4a9f858b9d1caf59633df20d856c4b5c36bdcbc9767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 539b3ebfec6c0f7c278eaa3e8bd32b20d653efb4 ' WorkerWrapper