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 oo  $ %] SML:threads=2elapsed=0.019cpu=0.020gc=0.000factor=1.067zXZִF! C ]ŗXi%"-Q̚<+"ߊѹXLwNFWD镀2~gi2ub˽3̣ug31NCR0q~r(*o_O IAb_k8m| 0b3/bKW`뤤Ƥ{ohbP䈤pG3Bۮ;Т5#ͪ46!LH< |{q/K/\9LBe&RߋfwCgYZ6b68b525cdc63f9cdb935d6322b5e9045e687917 7b02ab27e07ececa5a5f2861c7f7ea00ea6e6c21 ae5b33d4f8dcb3d973bc0ebf92772363ec8981a1 c9854cce0cf91f565b16ca598a38c7d4ecb13448 d826171ab4fc677612b2f18634a6eea0210ed31576e60ab7be570c8f37ab4fbd0cc297599bd4212e  SML