SQLite format 3@ . YYQ77Atableisabelle_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, "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 n < % Trie:threads=2elapsed=22.262cpu=24.164gc=1.004factor=1.097zXZִF! {]ŗXf1-/6vR[ltǧT3(Orh0װr'^|6d*C:B0="u] Stoч&LNrKMf3l]ATYkN"㸮(QRuraĥZߢQ;g;Ol[ {QN>@ ݁\b@zfX_bF%`j`o^ӕjb ɹ&|eL06km w9A&;kᩕT٤O>K'o9 !Jtu Wobϐo#ܬB4`D ޣwI\+*,6VDv&*}$ɨ\ Eǻ}Ɉ3ȱMx oү&45?%JiCw3u$.0X$Mef=r嬇3&`Zs-a|hKʗ=P-x֋/u )7JLZ z^NЯq&!ʑٽ%L՗#U}tü:nw\ stXK%ÂKBDPF$&7rNZ KKӗUB0Y@Nr)uđ sa?ZޓVϹ=_CBGPE?V1[kܘ&fx9/X)Jk8ezZNF0Uj_Q