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  *% d\< ] TortoiseHare:threads=8elapsed=3.403cpu=10.188gc=0.237factor=2.997zXZִF! l+]ŗXf[&}HN{u]/PgRarg89^B'OԆ4Wr)I}"[p#󝩘_م#$XT&=#49|?PI@!3,nVbF:`P!_Xmc)ua.ɍv{ *X}xOFE90j/(^UQKb#5W(EFOIt'Cy$>aɀ~Af)L 0wgYZ7zXZִF! h]ŗXiɟgbvȂtU v!W烺C/n ڠ"xl:Z*- UOJPb|e/;/Sf xsbETgYZ7zXZִF! "]ŗXi%>t~w%LôtH)q훱wctt(aD,$j DRi6=V NߟXUR9Ulī47BTYGk8ճ#9cLwǃ =7Ny$$gb%WwI\؟ڦjxD[ +}mL+!U/w4n==Ejw5CD1LR-,p詿{Zw}|aYW3IH;1c7TWDxB+|Md>q/t 2Q}'63r9TƇ1etp>'dc vL60,\}01]؁jRi~To ]O&3gWjw2M#M}ˇ,]3tmLTЙE>_g{ g֐W!^D#U,\n b&z1>YGϘW*T틔APipf"?q@YDf5Th*ψm}a{qC3[O97nE6_fxݷd j2?DWU)IވzL{㝝ŘSx4i)Z{ËO+g_%.`g]NMƴdB\4SR':ӯІn0聯e FKDVkgYZ2ee85b893d6a254f0ac9f9f60ad7999c2e0242ffc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b % TortoiseHare