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 \/ d ]S First_Order_Terms:threads=2elapsed=8.846cpu=15.764gc=0.856factor=1.787zXZִF! {]ŗXf1-/6vRZZQUt)/ǠaR7˴M6ws XH&+C F /2M vÈו&v}/"EM=L\m7>Xs;7 Ltpl)?oGgYZ7zXZִF! @]ŗXiɟ饜وYFh8ꋊg6ɰP85|16c/yCGh^t?Eoqe|2M'xO捇L%J;0KZe-ޓAJ_VE}WO9a9xqM@&y3dk'Ac/{8bnw{4P(m- qCsː-Vqk^ՕWz4"=A١Y<Ɠr)R?;Pᅉ+'y*cٿn Wb@mMߎeB r,#}E;ZP7 I4_+h4ׅep;-R {XƐ򷎖%jK>8ܾ!(R?:xHc%9$`ssC` N{/I~>SƠ -ƙ;Βl2"#EGΎ-'*oϧL6P(:'IβV@6&>Gu`(--+RQZPZp\ܲ0.,RX#őpᐱ&S8\}0h.ا;.?uu k :˪,A#*OiJ;_͹2.]e?5dwdU/|f-~vYxAJU%vIR1v_x;'GϫV#̝:!9-G5OXV֌y RaK*yG]+/g)n֘[0M[