SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 lG |D ] Kuratowski_Closure_Complement:threads=4elapsed=22.046cpu=64.428gc=1.612factor=2.927zXZִF! ]ŗXf[&ET{!Xn(VWC-#Rlc}.TVPgyNGb]6c e?ȒO푫!wc\w(h3llQWN YZ_;ӵt֣h8eڤHϊҢ@p _4($,׳=@c]ϰ^%^U;y'N>UʻRg%ɴ\UB+֔X}6Hͼ}9@k5/C}F;ϐia&|R\M=.@=vtY_D7>yu1Bݑo)5^W+By_SgS29 |J7xfzd it<2#[0Gtq(%;>Rw+?}_4)zT(^L7EzC/4ᩃ$l45 e쨜&EBtw}\p )a8j:LtlUe?+(:q0lPl`R$nUB; /-c%BRa C?XMGWe6r={B\w"L>E2pLN=@{ղ 0[i˻s7;'" *8ntQ5;mSOwa-.dso3Wk4A=v]ਈ6gʘVBk0Gf En& S+Y4~N3aLLlԚ4yi{=rM=r {lF\Hk:4Nv)IPÕPj.KJ ˃̒ ; ۘ}xV?g:E-EZ3)lē' E