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 Q3 |l SS Decreasing-Diagrams:threads=2elapsed=22.438cpu=38.336gc=0.864factor=1.717zXZִF! ]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4.vju A `K4\TFpPܗRBab^la:I:st?2Ď^ V^r3x%%wCs2h'4!T6b0F[ѕNΜEQ-"cE}JCAa-G}>O`SD3ʊo`5 hpae *iBSg "DtnN®ty=FjF}ĝOn ⢵ćCfUpԭjB,ڳC&n9e݆IzmUVgJKuLE7nXRhR;׉1NbM cp5}?|@@N3V~UK~vڬMEͿof)m@gYZ7zXZִF! u/]ŗXi%}ϑ:_axW%-SbiyR=-\(p{e!fIsdI3 kJ'a*[7I놫~VkӲ|ڗ@I {e\C@ Wl'Xj5~%e`KT;HP=%53q)!+'U*٠^3G_BI c<Gl-˸{5yNkxU+ʷt J&{>6L]x1ЏX |GHK8B Wvd* Y}^d? K [tU.8EjhG.hM!LHlF/@aQcX;6,[.3ʮm TρpM,͊!, OK5~u~ U-RcJd@bUǛ|cbb[V6r¢Hb;t:f+#(V|Wޟ Rq6| ,b=mnhFG@ch:ɐ~Yt e]ԐS'8"A-CdP.Gw_!de"ᑞ 1<0) Hdo}ѯ x:_: E"c7} v˾8^myvynA>muwm(L t&ͭVqi 9wV[{Zqϸb:1 "MFS{ p嶋W2:;D y; ȯxjD7i( dw(t?L(YmLj3s(Y Ǎ8a~5Ǯ}X(ǔf#1an}İp$Oe!Ӳɇxހ@@YNt..\?n{AR|(ߍ