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 66G VV!&a b2c) (%AmpGFmľ$7ώz!ԃܛ|>Wxbo#(\y]‹P[ sЛ/:dRpxEϩܠ!*De5iH}T|[/Uh}O +xG=֞ul~~0eb Ym xeߛ*؄# ǁBD{u̬oF/Fe$|NS6CaI|F.fG>gp_?CPh09sch4(GK.bϿk_<ԝǶpr{SPX}pCUlX op,[[n\ Hwѥ_^*'~]}mQ`6U6 ~V\- Q]f3e|P }נ uu?)%I-~g{"%d`f;cxNh)'p">|s&Sk>< ?KN8Σbb]02cd(2@<& v%R(_gYZ7zXZִF! X]ŗXiɟ>Ӈɇ9S2]t=F/GZ^ho9 -G /8m{UiDTI}+X,uY>m7Ο%:}I|=3ђf΍s.(ܱyz8Cɒw_Jt IT#ZJia o:LNFzz+`S<KH) @3 js[鵳槔3pBN'fpℛ ۃ! y&x Jx6paT!ƧTfP5G0>}`:+]cS>Z/HI_x@{ݡ nR M$pt]vY2L(ҁG_@Ɣ iLd`6~-:g X ;*Hz23C(g1HSGr*R詞/L}ӕ"`mL:{T$EpU6oZvGZ-H>) N껒}PGR0Yn܃kF߹8~5;{nATBF<On1:$S$yg"?^FmZ- `ṞgYZ7zXZִF! 8/]ŗXi%94i%ZX:` ;P0§K Y#:8873 q cbۑ#(RH?H⦐8^z[0Ks=X˜Gë,qyMak7'`!H'Ng{ ؔvbF f պFѼ H|-(aNiW)E`]5Eص (ׁL0U"C0偧K8sHV{SG