SQLite format 3 @ - l l B77#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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info -4Tm HOL-SET_Protocol:threads=6elapsed=22.370cpu=90.900gc=2.080factor=4.067zXZ ִF ! p] ŗXf1-q恈%vA?'GAq,$L;N'nH`dzAFp{Yz++cTtЩfg pwQ Znt|t'/(:Z?ˊP 㹒`y$vw% 2鈗PNѓmlp~^j}v$KC2rU hz<Yfք5I EW'lj®4ehF D:qe ȢFB--"aP=BQX3f) @#/-q!K5! Rq4 7!{qC>zgM g~~1Tq'mŝ87U;瀏F]Zܰ!l:\ u#E$A܄NOr,:YcSg 9C'7"$1|yyB6'\>!N*#QEL!?DWGSP@by1 k4# |&H[e