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 w- d"sH!|>|Eq (Q}$=z74|ksPPWV&wL @Lf_wԶfXRprvx EτSu%VbA!ΊU89|X.v%ФZĥ2L؞cH͈i,ŶZ˾}Zt$O 0WH6YRʤQ.\pK^5D#m`kR7!k-\>ZbcC@\Љ Me(o'dr^`05KF /@ @OA| Tt"6[5|fQA-U/1=勣+4eל^-TIe^fr o,kѿ!EbЙjŞqX̖A՚öaoI'u15B"V$e'!ˠ% W)߂9x%';j6dql<&eКsP xgYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxx nYf޺K'yҮ&a,r^aИ ,Ӎ-l=jJpl-hiLPoH,Ϲov7P#ØZ`W8 T!b:GlZ&"Y `[DDShGCi|:; TP6wί1һ{Ë34ٙ9ss7E`?z$$F> O!mӣKŊrŋE>.wׂΧ(/ԋk@/W'MHsG2o@:k׀RE(DUM_ &e5nY4XK5iyg$B&b|MHCHs+YLZҋ;YѲ{p)% c-Yt_ tjXﴮqKOuۦ3:}3S]X!VltE gƵp = 5>f0cR_r,w٧3yIj`:U4/3z%,~C}$ۖkψ BiS6iK>t?