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  _ _1}VsO&r/T2v)KY !딙 ecgYZ7zXZִF! ]ŗXiɟֳ5n,)e m$P-SW^O]b ꔁ72$HZDKVW[E9ύ> H䇄jh Dj4pH 9մ ?柼ovًh~\Ǖ*w;ѷSιB׸'"y8gYZ7zXZִF! IH]ŗXi%9(S$^ K L^&FcMc UvL'ü"#eRfoq0d0Ɂu@r-k4]Y=d/nځ\tA Z1 :km9Be>")簌|6A$&/Vbaj/zh)A |;L']mO_kM:ggZ;JLWPEe! {`wJDh^%-<9|kYr'NMF!N!_D[{=- Qo{;XQkX 8êrUnyL=/$pQ ?6r7šc]-Oˬ{fΣ-==D 5-~MR> 'r>׶'zer|PH3CO䱈'@Y6>ܫ;|$Ĩ(*bi[<p .N#gYZeb4eb0110c3c6aa9ac6c136e2f5df9cbe241b3b02722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 1 Discrete_Summation