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  A A<3 Dt ]S Monad_Normalisation:threads=2elapsed=0.880cpu=1.264gc=0.000factor=1.447zXZִF! []ŗXiɟ.<<ݴ[ֱ<鑶0oNN1ᗬ2 r[pa_5zb:O PS==߿ sGmwdBgYZ7zXZִF! ]ŗXi%9(PM[$rR[6cvcWŴicݑ#nv r=7gH\ğ \NgvwTdj& )1֭uP11&"~X^R3@ XkpDBmQѾ;T3c rE:J!퀜WB|ͶEv|zg~4ݠafk|n02фŽ+sag4S怫l#bOQK%Q1xSyfjq.dusv8R_|G@VS[y6EP;u@w@>5}xn|~[-rم`nq%͘EO-jIyckNn6\Lc6kD'c,|gYZe6ff36a5b8c366d2f7f39299c7381b643aedd702620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 223999b3718fa9c4a49cbc7261f4cb6ae6361149 cf4cd8bff22bd4bb9c82a246bc88d699695ee1d8 3 Monad_Normalisation