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  E\\ ] HOL-Unix:threads=2elapsed=5.800cpu=9.692gc=0.504factor=1.677zXZִF! C]ŗXf1-q恈>HAHIq"”a;E HvGl "9%i-3SYe]kD/ar>B3 Q<2ș]YZYDX9kvɎ)j-X>H򔿩s;f{Ds(g5]( {NjWffMYPy&KBrŢ%p2Jcg7?xZ9X,,#ƊeϿwO(?z;gYZ7zXZִF! e]ŗXiɟ1Ivx*`(rHQ ɅeXa?I`n*@FjF% F o_ts_cq8&|?G߭aāD 4wY? "mISIB,2xY\0.ϳ*S7z>u\v>z W,Ƚ&מqloswband|{DuL3u[=~UA[g޴*/[lIk-x0 ri??TLeq 궬 k,dCEݶ]E3`,v|"=8pnqBJL]{+ʀ|=3: