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.013cpu=0.016gc=0.000factor=1.267zXZִF! D ]ŗXi%BnlS)2v;O*='}{^AhpV-8v MJQ =i|@i^M0O'U(Z1= 'a0}[ =@"|{YjPTO'y!No+h7TBQ v7@Va C ya $TLj[]n.MIEUrܣ&+l;'y CKsC9x+SkmsksJ0gYZ6b68b525cdc63f9cdb935d6322b5e9045e687917 ae5b33d4f8dcb3d973bc0ebf92772363ec8981a1 c9854cce0cf91f565b16ca598a38c7d4ecb13448 d826171ab4fc677612b2f18634a6eea0210ed315 e34d130dec5778e09ba5c82cd51121b33508f6350dae525efa6f84ecf34af93ff7cba31c2592ec0d  SML