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  z) 4, ]/ FileRefinement:threads=2elapsed=10.832cpu=17.868gc=0.140factor=1.657zXZִF! S]ŗXf1-/6vRZc/[؎ V@zC:K*ѵю_A?I-Tmv ȗ{ꗣ *YnRF_M8Ȏ~8OFm4oOT5Pt,<2 VGG| 'gDF9㌾ms r;'+o0Vi}E1E抰RPb:'K10Vn{xҖ_\O{oi(Z ŭ[9Vʭdo ͆rُL͠;zMXWޟ%"ƾ蒽!%*:Hx˳xa!|]\gYZ7zXZִF! <]ŗXi%6Aud'#֜701cE,wQ2%.bӤ/KJ%*nO3z4@؝Zt5L.p\~ׄ(S[+u0;>lPXKt @V|vuT _0Dg~K H H-%⿇Ʃ.ª8<ܻRKA W/qpAWrWB2fNKS ! Bx97ILyM:p(:'m{+W*q,JsN?g%=1Q4WSGC.ϴI'J+|(i|m51mQ>.^[%FP8-j#(Ӛvhϫ)f?&6l!"6 b$o\M ,za]wֲۢNHds%'}JZpsf7]! Pc26J{x 02_Ŗ]=Ek}dC\cyf)DgYZ49e9d82913f0db1bf3f472ba90a7518bf41ee7cbe003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e ) FileRefinement