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  ' ,4t ]/ FinFun:threads=2elapsed=5.890cpu=10.924gc=0.592factor=1.857zXZִF! ]ŗXf1-q恈͐7ӺV }"cXH?c;MՀYxs!7wgJ&ؙ_d̖ú(pJE5hess3: n΅U /uYGa`@S)mjy΃@з3SHTzak~œm iL6b}.𶑐cFNA'*;H+;EM)Xk湾U4MB ᦘZ,sP%,lN0@n^ZPx0q`5u,;({ܚ{ b0 RZ[SpiϞDgYZ7zXZִF! ']ŗXi%6SwKJ>$9z-)_)m0){W٥Y 11"h!j;ƈg )AELL`P da0CYŶNU?~AqJԸ쨴vaXs{@lHFnwov]-ۈ )9˅=k@Rq'HX߽dU`eCzVD%mņm *i^1Hy}+ou j֫b^Y!1VI# Bĸ~v,WiPLR02vG0Brmj7"gl>ݼ4Zs{^TwEذX-FQ9_ԏ"z)A /:Quhtd<,!fX]DD\#W]1_81|ͺ@ a6R((+ 7[)N`Ch-_ɉ?imo(Xy&rpFRAx+l~k-Sb*Tpk{nDf%bA!+,{ڕ%CW[wb1+< l]k--\^nKm[ M8FݟsM++$qKԕVl_>