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 ^^' <  ] WorkerWrapper:threads=8elapsed=6.209cpu=23.455gc=1.084factor=3.787zXZִF! ]ŗXf[&M{z6b'(+6(3^TqȌVG㒿d^ZfDфh{~9Z@ȦJ[V>x8Uy!Ve?Zk,d"vܦXTj[(xu_j= gEFu:ƋL. :ȴ*6Fip ZUaqR:b/B~pQE7].stv:xy8af& P+-| Sd4HJcKyoO!8atզA8KoRcue}LOxI@>UN Y1}#.usz۬ `2F6,vkuzbO%NL6q9`$@NQQQ4xsh-HgYZ7zXZִF! 6?]ŗXiɟ mLr?wl:bA8YÙ#[6sXlĆG{4ۛCxRnNNv"ѵw{ 8V{2vyXdR!x_%PG];$auP;\^!<(OyEzW3Dm^SȲ Y4g[7܌vX$_VϐU(6dn:pT' vC{"ώ5/Bn@Vρp E%2V9a+?c t}myIv'beŻ6Ic1g-Ȧ|zZH.w.48}uoʾC)ʩNsnuMcƆTH< /qb/7kIо%6a2bpͲ_S>6R00f:iMa))źX/NuKPL;.d/a qxA٫=aAJG4}4|Su1YwGSF>_0ǰx> ۜYq&it+6> O)>7f5f6#Iv`2Qp:S-LzxK)M6HoA/X>V~jM3b'2KB\_/֥oG̺͵v(Reē W@=3'h+E{Ea}/G{vbDZTći$B>R" c]9Ju6(z? V  c%gP@ 5)<`Aa/Щ8?0kRP61iW{4f\{4\\***؄^] Efï&J^M94F%)f?g<JϴO-sl -URN8CP^Ѱ3 *ݣV[_a^dZXMk#<1`~\*X) 3ٙ H3j>2zr<ɢRdMF69؂Tu@s,THK>O0*|a8ތΝ*ܢw_`7b@ ZhGaj^ғΊT(SfZNfPgYZ31ee09d8ea3f3beca83f4aeb439005d3470a0b9ac58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 14157c1a3b8fbd74cb2f80b32216bc456b69f149 ' WorkerWrapper