SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ll  $ ]S]HOL-ODE:threads=2elapsed=0.157cpu=0.140gc=0.000factor=0.897zXZִF! D ]ŗXi% -TV]y$;W7Cu mQy{ UN(!o 3&OuمpTPk*>/ue nVz)ӐZtcڂ^Ezpaty'%"G 4+7w5aS̘4 6(&J".7AD 2V8F4Zd4^nEm,k٢&bq"ʱzqtuJ0gYZ56dea84255ee1e1750382080a1960e28d7876fd370d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 f60747b440ff03a765b404a47b50b781d9eabc9e 7e392a1edb7d49f67abeb2d4b156c853660397a155486adc16911d1b7113fd9cccdbdda38497efb5   HOL-ODE