SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  d ] IOA:threads=6elapsed=7.905cpu=34.372gc=1.304factor=4.357zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K);f!qGxQjxɛIhh}ڐ ,5 #c͙[αm[BeA_A*W=,PV)N +lljOc"0ݹID)"FQ2!gΙM:©cS%O%'E4Ctb;}mq{DTT{OmfyAH1" UPz顃& L9VǴ< <[Od'CZu_JhkH^;+΅p1}` x8A{+ , P}\;iyǪ ڕ% NpCk3[0S!5gYZ7zXZִF! `}]ŗXiɟdN'LvH۹)A,K​c2N,_Z$w%_*KǸ͗3ku: '_@_.喊]F"י )etgҔ(fu_< B[\(A^d@j7`hyE, V[0O/g7Lʋ XX-ܬf4|KRE+\YjbX' nGwYkJϗs}!Re<ǎqU8XȚEY%{l LfIUrsdUoȮq̃a9y mJ+NJ{#5WF]⟕m`ϻ}Y`Հ˴6{~ПVB&sՔߩ~Q]wPNIT{ژ4*]r4h *m穷B@~v:( Bv+[3t۠Z%FF/"y@ݦ0T+Hc2؁Q&FtXȸe2)o!k-֔EL)ÔS(92'&Ā1>ũ}{|{l"Ya]K4w;**$o;uDԇ#6{]_z;±#8 07 {sٖ,AF+"*ܥB%։6LabSbģ64&'yQD[-BQ t=| L,ig 7Ni4[VnؖNtH*\r|Aq~EQEfd' D>" ya|Uyq1]6:HZ$.ݮAmo-$+=-\%dprD`[[Ej <`TMu{gYZe36e783912d08c69665a1576d9aa7e58e17cdf7da3c406ce68cf4d9866a541e48db976c61e0e5644 6f001823600a7b7a26170a48ef13bd1808146348 d75cb903d2ddb2da3b813f0a293b994fd27933fe  IOA