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  4 4I L ] ]Pure:threads=1elapsed=0.678cpu=0.680gc=0.000factor=1.007zXZִF! ^]ŗXiɟ˚Ћ. k$w|e--s7 3 IK.4'kHQ-} :[v<Tos+Mz xggYZ7zXZִF! F]ŗXi%94˭]PߞsCdî L^2H܊XUsQ73Ek<2ڑnkv!_&6yd_.:,7p/`bOd[ .#Ôo"_5=5WZ}aH~e5z>4+!>Tj<. Dٯ|n-Fbb^2!5 AAqE@gC Ul+grmm.zj=z q<)* 2aꣿLf*I>k6%dj~$_*ςszZvI"VYgp vgYZede5c875a891a463e1f455337a5959d8e7c626083cff46c99bdc77cb69279060f2c6ce1d34c65856  Pure