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 e) , I/ FileRefinement:threads=2elapsed=10.609cpu=17.524gc=0.144factor=1.657zXZִF! E]ŗXf1-/6vRZc/[؎ V@zC:K*ѵю_A?I-T{vt0]Yq;b5ls`ޭjB@LrhǵXcdD?l\U«Qް+ﺷι1ۡ3sBLn焋Sk9x 4-Ne<;ǹqIՃaF 3* ^mDɟAۺ'0<=sz{S7n흨ġ|3v{LQ,!Umos.&>k"Eca07`iaą.lk݆$jZ?/SPrK ZMJxC~ޖlM C2m#JǾt |*//$&7 'n D cwBuK G@,~v}|VԊ!,>z?aٛ.TT 8v\hEh2:cGD)r[Z`1i/&kϟG5[lәo؟A CWz8VC 5v*1*= !sl ^E7=25$QpX 4cꃃD1&_0WTQ ;MPa_ %+m/&it Situi~]h2>ś$>rJ+[LW E\p*B+lw^W Pk A|mh35f$,eM>3ڻKc l %Z!eCM+"mwHPh}Xo/TR\ʓfyZ&~.F]rv^ 2:Hْ OL€[Y&3*N#Tڧ^< P уaEdcBf8wKL[.7A=!O(G&9$A$w=}}7Py.LV~ Et<+