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 %%L? 6rnm#)L8&lOc3?œ?m9ɩ`20ȉf⎢f- qSKF/p)Fu ~==A7JaK/=5((蓌}y,\*(|u{+u#dZ7?wcao;X \.6m|NӺKgF4K^3UBH-fMا\Pnhy%s{@4U";ykxgzEWmG&0R_U޴X2SXa:aJy6nV:_7PUND)1,)<k( }W?:.P~`t'u {{,{ j]@=u=qTnV3ϗrzGҹ>9"(LfgSGjإ~DDᙥtF1ڻ‘/{9VR7"~$w.,1ggYZ7zXZִF! '-]ŗXi% -ڕף!~Q%eCxO?gq:#A5ߋk1CwFd,8#ԗ3[Ц/ھ_ISEvs` t}37F5]5=eUdL,U7Y&eӕo+snVݳ-=Tan*6'da$$zޑ^%Nth]}Ek$}YBv5ps~D+c w.> f'MrOL u""' =jgolmEl&Vvԕm:x}&d(NiHr01_A<^fUM}>k>2ֵ2orriCY[1k-_d-