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 ]] 7 4l  HOL-Word-SMT_Examples:threads=6elapsed=55.825cpu=73.944gc=0.892factor=1.327zXZִF! R]ŗXf1-q恈2Z( \9 .b(Blf^i1Mf"K 5a)Z:pғD+5JX^u%G3jd ?2h|! cEx Et!3dKH 97nDq.Fj |wS tVOGoR%&U[,Ϝ(jOk(U*AYc~&5zV+y!!m lW;؋{X꿤شewMFho'cC92Rџj&,<y7uz&wzjp:ٕSP\l!_N / _ގzhJdeiM;'~R,`0 _!i1R5xo.yBR!ހ>8BצQ-O*f7\^}`G5ƶ߽ ȶ4CHDܰ,10.gYZ7zXZִF!  ]ŗXi%6|LY:_?E1'Mf J _]5M4??8B' DjR1[pAm|u_ )#Mީʗ(,g—h a1ɥ .Bp$>Xv{{z̞bsb4y\oL8l!8eFTEYG5{T3$u9ƄhZ}.ڒ;=$QOS{~Ɛ m?] ZݠׂS$E!|yt-Czw"`X A`9h95!@ڟ?c=A#&`WZNz!.2!l%5G@I(3,X @)w'Ժ|-U9LYaBݔ/J2puY GaHk7y>)Xv #!T# YJ3u1 :DK4D"9#dy^ HWՋ.5ܮ8rE,UECͦ)_c콟h ;r}EAX]3)$QAMݴS9tK2:{ գrQt7,LqRpg{JJ&quwsZ8ZNth74&WջS=8 bXcxL{sk&+f\?cw?!9$Y8YJ /W9kjrnExXY.@U(B%׭.~P7+Nd{C)l"VB+ZT S`2= FL~$U>@Nz8Z]/d(NV98Cr`\^3ism ~l⻚3yO|'Ix#g8*w vP#"o^p9_Å;I_ٌFj(apRëmkF-Zm4җiC3ST>K:%o&+}t- o iӟQ,A+=U!w}fdVX|&L{<) })Ǽpr@*ɷtF!w`:h9&+Fϑs  D68R9]P HEV[aFM)"r[yDZB.T1 ZH1o:H'[[2<@؄;>L [}g Խ8-YNFlZFϟ .KI6ZVI?1왴D h{z"*r| `ڌdf<"yq Ph^锠dE V RafdU?}(4SgK쫋T'"bZt Kryë≁hf?'8\S31HZ46q &8?Qd @nIrҟn#t!&ǹmTGC 0#]ZBK<{BXDytISd6skW(&DW KvQߊo]Ej%L@69Y tR OYf$5M^MJK ޫi#퓁{ 85At:3y~Uv_;͐ Y(2dOt!