SQLite format 3@ .;  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  4 4I/d ]/ LatticeProperties:threads=4elapsed=3.497cpu=7.540gc=0.240factor=2.167zXZִF! <)]ŗXf[& nv$g@zq}=Yx=coe L7ߟ6g]h2~yB;Rok$v /#ጬ.VێCz ~DQR0 jҤWMM[77dl1H,HsҌ7#qn^Xt.Aet.dO΀c˻BhMШ :X9j?$U֡0Bd5D28΍xJfYa!+_&+q4vɏr]$dg}ň+&ߓʀb ̚ ggYZ7zXZִF! ]ŗXiɟjg*Cp a:~- ;t0JTg }[%ۨZQO!Eٷe XπӡX~bassE5hpZOگcKM${Bɤv  ^vZ) H?eyBClzsC;DGtH3{v]nǾ'>T+ <&}`2wV$0CHCM? H:7>k2K>|ݸa,䠖uYw{CPR jnqBc<1qV0]K_O}_WLuWR*") S5jŠtj  %~V(Qy9y4np)L3fMLx0"޽ pGh_=7ofɃ)!kpx4FC D8Xؠ#Aǿ%ꉼFc.䢰YLФe!ׁ0>L|PTA~{@6>ax.Xծ=/F[ϱswJJ\B֎?wlG-Frj_\LbNWe#P٥Ҽx*&LARԠ>gYZ32fecb1915f3c7bd7c7cb53f38686cf64a09bd03d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 / LatticeProperties