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  /t ]/ LatticeProperties:threads=2elapsed=3.186cpu=6.052gc=0.220factor=1.907zXZִF! 52]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2XW76T>.fd5A9( 6;NU @jE#9.;1&,;M4+.4dc"{x T$bd2L~ [tgYZ7zXZִF! ]ŗXiɟjg*Cp a:~- ;t0JTg*ZZG`;N+wh j4eَ%/گB\HH-f"'k Ë4Vt!pCBbQ!07LK!$tAǩ?0E b̳I 1$_egYZ7zXZִF!  y]ŗXi%>g!/eQ\6<tvxq}~# $"GTkbێ*r*a/VMiה@*J3̃g/_~ +$Q؄bOhg@-K9A)PPa GBy b?m̒{DE%ZBw*zvb6ӭ$.Š^EBᮗ-Ϫ-AܿjKohJNqXFc( yW997=,+銺,z.ɿƴe}n( w#-ڇĈF$]&frí;D1c;F UȊ`&<}_}i3NzAaәvd^ѫzsֆ__L."w+K3U|hvi0fc"Mk #B18-UQrRMQ QJGC}ė-<`f.Gs}K He&tj LSIWf΍;gnNo.4Rh˦k(*HRckP@\ l>r-q(CG<>BgYZ4a5ad2cf632415373227699dac9b91e6ee01a283a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 / LatticeProperties