SQLite format 3@ . BBh77otableisabelle_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 `% tLT ]S Sturm_Tarski:threads=2elapsed=16.998cpu=26.872gc=0.404factor=1.587zXZִF! ]ŗXf1-/6vR[]Sԯ'=Xܬ׎_[Fׄ<88}rW G>z5,͐ iY-{IװG$Θu`QA老S3vEI{ѭ>c#2uLn!H1GYC!ZfJX^6Y'esS.#0cJ5,ø (ajK(#]l4)Rr28ޜ3Yoa'MiDf?`-DJv4 -~t.$IDHb @'d0"|l ǹ:Xqu)ҭW~S+@.gg`q.LY*95 s5 ) 淿*/*yfX+>Fy ?L6 zPSE@ v" ϭ\\8 )Kuя肯l੤na )@g<}.X#7.`,a+A=U܌vF|*5KW#?vr !5WpmIOcҮc2,+гK÷_!=y}e])}m2IթxRDx}7!k2|H( %?h+#SӘ-zkyBG{@~(Jo7ȁSÅ V?i9T8Wz^g{[)mZ- )9: yL0ye*(3RA4c IbC_pun@Gx>GxSg14NJ2;H4:]ʌz״_ul7} {t= -z{,TPK4#Q;Vii GA==)9Bj]黙{YrfАP Ϲ]S[S('Gͭ9 ؀I/hYZ:?x.K.|, -SI͉\ArE3M#tIh,K(r:YéO0q9nB`*")ã%:rFq5ѭmp/jkC)Jdi0~֛Nf[I4,IljR2c!xr^{@B.#-"o"#[KEeyK:>C<P?Ksy(0W(}({țRK?jXcmQ֑gVڋl9ߘFkf;>[#ua0gYէFS#@Uo:8 iq_k%i2:ɤuf+HȀo=`4ER2ȟe>^wb6Q3u$e2.F!@197/R]*D_!B$L{oy`5pJZ SrirX>ir3kk4哙)I g̓?&H wkVug4 mgYZe31396a8b5ba22a272704e587c99beb983d5cf2002339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 e18eab774fca0e276fd5ccc2347f5041793d975b 2ab3967580a9293260799294f3a72b6d3e4eceae % Sturm_Tarski