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  ^ ^1d / Depth-First-Search:threads=2elapsed=1.079cpu=1.636gc=0.000factor=1.527zXZִF! F]ŗXf1-/6vRZV”̥k2*1TI g~{ȋXwq/m0ƀc#A+PTI!&^ac#W`mf~7VC+q?Xlc,TMzu‰|_ĭ:1Yrc1eȓm =%O[OZL$/9YyHkg^PYmWۛŷA1\ʺP=m; c<ݫ[R+p%ı^2שl_USO*g/&PZI}ui;ͧ#EJۭa[02 0gYZ7zXZִF! ]ŗXi%s;JnuWO=B(ifeeަF.KSn0 gi T 䃫>[5a%%c- FY  xEL{Gkp*1|PLRRfXǎq<mHDG[r"!"mZ/͙Ou5EHJTpoSL)5i8NX^},BxcAAG Sc6_0P}<I:p_у# k{oู>}*i8ݒn/J0n5JY H7|z m`Kiceo娰8ŝ8FMAqȡS:ZO<0c