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 ` < ]]]ZF:threads=6elapsed=11.362cpu=38.220gc=2.448factor=3.367zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_T'nBLLZv?%Ԙ*j|/ݘ_ N_'6/ P7G2﨓^}t1_y"u+&'b ~$+x<eaLtR;ԩ$=?lΈ]n$B@P`J{mDžI a˙`$yƁ{e=P,'W˴XW;-si&LGP[ ֝|sg:NހE2W:y)Y)rKCZKHhm1L2pX0%Q_wN%FFN|xq@Es5ƅBm*Q8;icgXGBggYZ7zXZִF! 6"V]ŗXi%6ͫs7S[NEOu0a?D;oe෉9$lWsPOX^ϑe[H Ȃ1K1VwM Rf&`a \x7IĢBF ոL,;(?{4qShh!WL^OxC5cy+3sY+[nҕ BP1oY5!Oti&Җ8x. QlEzNA=.P7aK9+%`̢~4Ui5WK38MY~"h@FAwst: ScV*`iM6Z|ވ9Ybr՚ӛW XN^dlnt*cD ix 򡱻"Q`~%iH΁ Q=9]$ڟR ;8e^/몛:[޲Ne)VZ".C2*c@+6# %wI峫gzݦ*ٺMZ >ýob>H d.Aӌ$i<a*)xjdYlT&޵aae |c63Gnx*Q^f'Z:Sፍ,ŒU?vT& ;ie=oNasvՆ 2K)791F?@cM1O ÊemC`!̟gQӈ ('؃ŭja%v d>jP =Tύ8|Tw,|YllgYZ90a49e44813577af51803311a41564158b77e9814c1c895207ab9e683ba172ce2764b942c7875d56d504b4ed2f2afaa1fca4aa0ad4963e4fb974b4fb  ZF