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  RL$ ] ]Pure:threads=1elapsed=0.880cpu=0.880gc=0.000factor=1.007zXZִF! J::file=~~/src/Pure/Pure.thyoffset=34355name=MLelapsed=0.125]K]0K cKWX}YZ7zXZִF! ^]ŗXiɟ˚Ћ. k$w|f %[WUw@2c %zڵ@7"5y oZLhv. tM H^$檗z xggYZ7zXZִF! I]ŗXi%9,xfRIқw)͎ qx R1.;8尻&^fJ db&6ܶq\{$(֚ۜ%QYy]s<= G$LM0K4`֨8o w,hֽ=f@RY؉;a$~`j)w غ7,Yy-gO(\yG8 #}7!g@0!ݸ!.t46=V/,wo+~cZ+l .AG29*ѳB1~q`.G`:0J aڱgYZ728e36b595e6ecd123ee7de7cc5047810b2a15dcb3385753884b26aaa722d60ff4b4d3face84cc7b  Pure