SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ) 4T yS]HOLCF-Nominal2:threads=2elapsed=23.625cpu=46.280gc=2.272factor=1.967zXZִF! T]ŗXf1-q恈͐7ӺV 0 މ}l3[6TM6z]ޘkjf=VSئXGQeJ%u ŻB&?rb@m^?gOc#3Qk8/ =ƈݰѨP-|B!v6l Dg~HZb"Įšn9B# Y"+rje:a'VC1gpvd3lMK{^I8oE ~޳L k. j56j܀3HQߘ㣤M-2T=$4nŸ5ιqz%=N:ӏ0m6_N(ǁ: `V IKEtI0m92[{gYZ7zXZִF! lR!]ŗXi%}Jh2TnI'Pr 用N1&ObHzk$\u-d(~m:\1Ŭ0wrnͤw <.$ے~A1Ժ_ D4;ApСѱr7 n^ `|:IZnx$cG諍-@Crڬ+ μ&@WB1:QDLo C&=jEuvvh!N<U|vS!hZҒ#ls<+xXEcCl7hN"uCz3yɳKݨ%JBoc׫uYgӅ{r6#coa|sR3Nz( *ivs\Ӻ9 QKuZO&=jQ9<&M*e@ngn Px >漻PZl~|_9_m^~M!D 3 kݢ]=v0e"5y0wL8:Lty%oSٚ"$G>D^/aceı[m*;=ch>;冑G@A}sdwy չ#~sl2'(^LLZ`Qkq;zu|DŽ%լ;5H8QY _L;D[?j_H%*Sq,JBA0Qc~;LHR*vՀy=Db"W"w-(磫.ΧM+e5?S7I:6D7%&vf'}:4Ox$: 7͡$]H (u=(IƀYz,{ #al0̋E^%U=iw$k++?K۫Z+&GbІ.o.^}N#y*Mq r4|HJ 4݃\ysW$\&):޸Ŗ1kYy4 WZ̔HtQScAwCjqu,Bv{(|+u0ɝf; uK<mT}UVᚱq-]~^715}\V85E=_Ep5gRbhVR|M.3Ub,NO;.3ƣmx>CD.<Etmg70%cA5?4{$g&g)ҧ}(+8j_3gN"/ڏF͎#jO=U&K턢Dܞl6c-קX]p!lۖ{D76@ 8rx0KA3#.lK\׍8]7ӌn>&cCl)Mb\WO7;SHP7TqX^h&2Ձ[Y׺ؓ[|Db