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  S S*lD\ ]/]Cauchy:threads=2elapsed=2.660cpu=4.652gc=0.116factor=1.757zXZִF! m]ŗXf1-/6vRZy_[&~ZD2[o$Ëҝݲ168Y-q_~u*";,"@\)G}EzfI|gYZ7zXZִF! Z]ŗXiɟy?}ScOZh`KρqD.N+iGDjC@4,('j>DP71kvdűgYZ7zXZִF! U%]ŗXi%9(R ؖulR٬fӻІOۊ%r$U_7I>egq たVQňN1Z1+{ڭ4iGUʭ&I_r[ 5IQʆSb˧*y! C1778hSkFVO#5E,f S>OG0H%QRL DĹN0ҖN^#(h)-Fu=ռf'7W2W +<91UM^ \ z=Ճ4Ws+ɞgn'Z1Oԁ;7q^'g'o^&ouk~-bdP?X7|ˤcA\ItNF<BH#%5=4(Ώ{jX9\Yߤ fLUnܩĦe<6(G0)Ѥ/޻6fux_Eq/3(kq%=@}!l)W"ȍZˬWG8r yICe.2ݱgYZ8a82c6bb5054d1d11610d5c42c1b783c4dc872a9620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15392aee35fbf235e689292fa0a1f3373944940028   Cauchy