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 DD9) L < ] HOLCF-Tutorial:threads=2elapsed=14.488cpu=18.476gc=0.588factor=1.287zXZִF!  ]ŗXf1-qN0L%.u--W^3M,'_{W&|%hHEdwi!88k1HyñPX͠MX ꬮǸQ3|̌*g]q_ӇW2ta'(e9D{?@' $$w5639WǀwF~ȓsᚥn)|ƂꬨҞ|Ĺw hK./i&?XV73#gYZ7zXZִF! M<U]ŗXi%9(PKYH]l_L-LgSEܹ#ۙ-t@ B_J BYzdNf 3%.1__ _u(!ggU5AB9Q"u4³9ab/lY މګSsqcW;B][Z9LY\MŽ cI*oOմS跤ђ#j5r&??ԼPvY=;$+^ m?ƋZS[[goƕ' ,Db!N0-Vp@ڮRŋ]t=ymU DLVZ|N)Hp+< eClFl "@oSZ?&V T!ZP#Ěf~ m;doqŖp&bosDʂf t>S|8{fBlG~U_8QIو{8!9:-)|㍗ l۾Q&po'JxUN^{I #'yKZK[XrEr2vōev,ZY}Ϯ2#*A(Y#_5WjP$h F,tX*X\ƚ$q$h]9`-3֭u ~EȘA6{+%I۞Ln8KuVW4WneI^sSL {w<;֠}{7:hȮѓsV.@AeB {b)"xJ@g j}sh%Ŕw>_ޯ \l9`%GJJs]arKDQm2Z'm Fg}ls7,L,uf%"%,R3-bfۋ6Hjk,14nE7x]ϔ\Tr炲&&CQɻ)2:. QVZf.Ufۥk7sW>œlv^- _cGBu XPr31m9{vwu_7$g(4ȶ#~