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  u4 ]] LCF:threads=2elapsed=3.315cpu=3.740gc=0.140factor=1.137zXZִF! X]ŗXf1-) enȈA XR„7[!iCЙL2QsoiApRT,V]Onܮ! W!\CvVJCwO$qB0.g R;N}vn:s!g@uI%nLW%w[88U(\&F:Cn~cy.w_'"€ƻ0{ܚ'֬R0?!SHr/DgsЖ؀9g)XJoyt:xU-Mف>T;8\OOҡ쀅ozQ^ &{nx(+aL;3\u8dsP* ~rKN}XZpֱZȕ9̘( LGCE<2V.5#<z%c߱gYZ3807b6c84c7a73ae866914c667c934a907f8ae10c86fcfee5fb1be7b675a927b4429e1cb8c8b28bd  LCF