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 FF7 <$< ] Separata:threads=2elapsed=14.549cpu=27.656gc=0.664factor=1.907zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nͤ?1oC]OͪTq4˛ fLbfEx4 cUgs|9X69ʔ$x}x"ߍGYuMxkJءW^M&A2lHGl5WMՑ?ӗai]b7ڱDjK@ScoLj4m*GzN&0$.Shһ~MSfǴ#{6?>aðWQ$K@bݺn&Nf ts)Q(!9ܷbhYCe@t]k,5'acm~gYZ7zXZִF! 5]ŗXiɟ1J2oeTʹ̰KoU؝qgz/&ב(DB\zs!gFh֨օ~Gn4d+',h$%ɐҐϞʋnw JaRZy_WPޅTW/"$Ġ&TfiYQyCzqEtOl&E8Эt2c̺q:T(I˂} J}P֌Q,l!ڢ]vzI/>?Cj'm瘗FWP"n=f9!HS_9D7KǠ<'D~ܹj>ީڢofOegdPr'~YF(U'ۡWYm ?ȧlP4'uP a~%0<{ޫ?kokiG2tO ^ uɕaʌ^-|5]4ŐkM &DHxҎ8'!B3[6t+3/e /[kшc'O6@J.r]q|3efz=+R vNZZ[bo GYѱpJGl#ޙSĚ+uؐM; x~(Su.q/-9iG=@IG5s-h\3wȔ" ;"6~mC<z O{Gn !)đqTɘx PG8̜=pvwg$>VSc/:|ˠ0agMKF2)wDS G9[DN4b Oy#"㷃ՔgPw$dbG-}`cؖfHzJEEͦVˁ햔/v\.="b!A19؛77Fű.K 1 8:*Y}6(ugEr[3R{iƋWO`UMӪ>*84'R2ߦ:|گtHp#ah`f1Ԅ91B& ,& wb("A_˰TbRĦ`u|I.Ƅj$PBW `փNLw|>>