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  bTdd ]] Sequents:threads=2elapsed=3.654cpu=7.064gc=0.144factor=1.937zXZִF! i]ŗXf1-y$DIX` :anD-Ž&9CE ) x{f"()L ᬰ i0"Ydܓ#?oSt1>oMذ|2v/dhPXˮB :'W, ^{{q58,ɽęȸq,yД¯1p֧52?iNgYZ7zXZִF! ]ŗXiɟBv l82XKT I|:9DKٰD,Ю@g[_^%T65" θ~o VʢJ氍dj~}`>û:JIV؜o{cl <;q Sf&͜}J!hHz/{̀pJzc[ z֪YA{a=nn4ͪn? d B}: 97AK~h͒氡XJOscFl%uaTLvHQEx+0lXpN8z*%h|qb7K {-|>