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  q q 5t$l ]/ Free-Boolean-Algebra:threads=4elapsed=0.826cpu=1.688gc=0.000factor=2.047zXZִF! q]ŗXf[&ދ1޺E.B @\S0Ƈc??-jK|x`9,i\| [1{*FiHQ6+?m7mO^!vU nkjAh.*!OI" tÇm'̇] qO^PO({D=٩F`^+ACd/7nǒZe!-9[t [ۍt5zr{@xS0LT˫_XP ])g}그Vx xTl%ҩn«ŁrLfQ ttA&h @ŋW&D ޺Wy2mjyl)-*yV!`?}m1gz^4пl9tm==Nj. dQ8l:%iO1ڑMf~{:9jQƉ&\v72_B@T߬*&V{?pٵZ1GsOjycg%ݸ#R/ZtTRs+бgYZ3aa2cdfbb5483a70a40b93eaba3b5d09d2d8d7c6a3a1775be1ea4baf5315ad6630d6c2542be8f5bb f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e 5 Free-Boolean-Algebra