SQLite format 3@ . YYQ77Atableisabelle_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, "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  M M0$ ] ]Pure:threads=1elapsed=0.655cpu=0.660gc=0.000factor=1.017zXZִF! J::file=~~/src/Pure/Pure.thyoffset=36467name=MLelapsed=0.129T/ w_VcKWX}YZ7zXZִF! J]ŗXi%6ͪ hVR%mrdolHRJKao9t~y R-lS moc~?Dy·? )l$g~ a ) $ OE< YSp{`xt8jH'Wx%{Q͙eV+5n9szuzbi"*aK1,?Y`̋zCGqiݷN;%t·u00 {9Pk@7þ8UmA,yz _\2;޴39A ٥ygYZfd19f8992fb5f6acb39903f291bea7c8b86684434c1c895207ab9e683ba172ce2764b942c7875d56  Pure