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  NL ] ]Pure:threads=1elapsed=0.743cpu=0.744gc=0.000factor=1.007zXZִF! J::file=~~/src/Pure/Pure.thyoffset=33924name=MLelapsed=0.103 ecKWX}YZ7zXZִF! ^]ŗXiɟ˚Ћ. k$w|eae~.G?pX;~\pbKs652''ΐt` 3k~Cqz xggYZ7zXZִF! F]ŗXi%;K^h8 INRDAm;WS^TtC#lWaZw:%r/Sp6䎵ЪvS1iwhD c>oN7z@PclDklT?s"p8=W/N鈄+畤7* Ɂ~/3sc˗E ;xJ*Zk"C<|34~0ӌOZ؏IW&:KdIi]o5{ԅ5M`p>XĻ,*zhD6hA>zϘ/K/PM Eu,ce*Re IbƳ}Cw`Z.q'ӝX ZgYZ5add6eb4cf6b0626eecc0c94d2d96e7b97f418ee32e67617b84c9c11cb8188110a1a4623e5435f37  Pure