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  T < ]]]ZF:threads=6elapsed=11.676cpu=37.108gc=1.992factor=3.187zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_T6oM|}MsD!{u$zFH1 n' 4e* /E}YV5 փ P[@5FL@4^&,V|]qq ^B^y qyfd%r %`C~L3|muϝ[%1Z`cV>}-<vfH<<+v6 FV6UxS'<Ύ1>5*ۺ~)hq!wNLڃ mS5m;u-L[4 Y}D6oYBu#'&GNodB4!#'I߫N~3pYa5F켄.GUqᩞ_E2}vႮf {?qPIql툦TՔJ{h57<y+LݾJ,qD1EPu7]ngYZ7zXZִF! 8]ŗXi%9*a3oij7|z!&.Ԧy_cd{h;Q]Z5qiJ0*EhxKL]0G+BY7+bk& ]q彻V@[R-Z1ҶK,eZ%-GW40 c6*]O7,,ܲmrjΩn58 e#_qI:eS^Bԑ{Ĺ^:&4v[θ;2#l )1*D gV_&ioY D.΋nIe?GލYj fmݧ9&Tc)T,n9C6}:-L*JC xG",jށ;ZOŜ(2Y!T =)(1Gْ2K9?.Oc\BgN輁>D1/ϧ4,R/v)͑4ttΖ&#:|A̱3d̕W^]gKIA3`p0pFo7kٙhTt$<0A!1M:I½ i! U#hs# C0b"̚aɛ'QJPߜ̕>}/C\Fef瞧? 5tһ+W@W5gl(o͂ Ycew')Х q^ .Dce/f"P|*O,oFJIC~LFD쥋â'OC O!B'K0o>l *aDkH݅|\+ %вAM  e E,<o> > 4Gg>9'f2'\hp /. qugYZ613869a64c820cc1d65bd3eb320f271f5a1c43835edcd5c29947c92ff6acaada6d85dff99035d30042b61fb985279b86e696b10406dbb577eefb61fa  ZF