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 3/ss+uKC&Lή ŻKSHӒEK*ԿSN$a!7:SD~%J}jJ$h ן0](dxl;uǝXd ôNoY,Eɷ D +qt,9i6H8 hӸds9v`20+uF)668ZCR~iU׈ڏGml>GELW_J^DzmG7V ש87 =(^n.~(OMk+0c$!ˉ~f纁Q *HC5 n19 6fnlok+ˁ-aݤYꋡ>_bX~~c7HFt`6gYZ7f5c3c9d840397befaee03bc92affb4e4115fc1b1f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a 76d136fe2b1f7d0764f431c043fb81a2fa9fedf0 605ae0eb21f7e683e64e6c6163dd5bd94075e385 / HOL-Isar_Examples