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) <$ ]% Jordan_Hoelder:threads=2elapsed=17.875cpu=31.984gc=1.156factor=1.797zXZִF! =]ŗXf1-/6vRZ݂KjB`_cNNMY{ #lvS$iv F_3D=㬙'f{UΕ* (\iKŚآy{A׹#-Ak7;Ys[3cVz}1+׺,s>qF^Tg݈VT:Oi5h/BCޗe,';z06U~a@Wո7wds;2ܨc zmX3R)O"H-%KUz9TL;^z ^. Ca C"~88FRKWcQ6:!0*7#/#b\Tul6N*, ~װ-|U߉is@_39}O;O[wU>Wd)#<ImӏKAymd,ZCYř*좊uka F C5Wk9h Kl>@kS dB~ @0+ ,Ý!LgYZ7zXZִF! J]ŗXiɟNGV/}YHE$+N7\Q"^_^`0Oz{̑fYJ]hLoI&} tHQgtNp$)-_/ A{y !xY@n0gUO$iTh\ο}&w8syOf8. sKxR@3:& ٶa~]EIQ2}Pwa/S`?LI@/4A;lptQ$Cة3_?RͱgYZ7zXZִF! e]ŗXi%9*]Kz鐝0Em>eWNdu_ Dר/c\J6&I*.$0?Q07(7 #ۯ&;рxBnOl0/C{@1?T S @Ц.u4&{(~(qaؓpNوh: [lܡJmFR q7y ҚP<^6_kkW̩-6FeH)Ww%<3[K12IC34r4~.,埈@?Y'*cK4@.c~kHG׵i[BkʚI[Iwxz0Mln9F-U;*8*ϼ Ǚ=7;7Z<Ї-+^x7lj}*iC`sbJ{=qRiDrsFڧD~jVm̘ӽW*H!cR:Z"~GlgB;axXҋz?@-H(ӣgN?ޟZN(zAS6Xˆضqxa;OL J!P^ 1QMvkh=/oF#bxķ;!"LX*m8€I5L:k}5q? } dԏK#遲sby^.XPRL~Dw2偰`sgULbWch+B4&Uyrcj$ 1eiu>xm_T/^\=+u|W+sXB99.Yt!D\c?t=Ux+3W}`mģ.%cN q^\t~|?HxxNikosiN=8p17Ԉ|I"JasLt}ߡ<_.{Q.gRBÎk"Hj-=jrw=mwۂ\OD֋_ CW i1̭i"@,5dùumjLPXxV[/Vb}ٌbʀE0~e媵Q}搠+1~9KܓO,SZ2пOJ5uv_XEÖR\V5H垆X