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.615cpu=0.616gc=0.000factor=1.007zXZִF! ^]ŗXiɟ˚Ћ. k$w|etpD$/E߃HpN|r~Cq՞W iwb5&{m@k4ʑRL[z xggYZ7zXZִF! F]ŗXi%;6*66vbr98I;~6U=Ttm@M'"27Ljpާ4TL0ÚNiElF #ۏSj} 44=q9č ~bA3!K\ BŦ,hsHLuUHD d.Z?萰 ދ5 S^%M 1%N~(7U n>P=Qa_T6K%tTgŦwHGdݧ `(9 ŭ1#3j}I0FkP}}+ gYZ98149bc85ba5a33a013bead7d04ea6d656de4879d40ca4cdb5a529824fb7d177aa42025673a71052  Pure