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  g gLdT ]] Sequents:threads=2elapsed=3.853cpu=7.376gc=0.156factor=1.917zXZִF! i]ŗXf1-y$DIX` :anD-Ž&9Ce21sS8uws 8F%x.y&Kx-\q]Xm>Ь)۰㫕6eܶb6 5w`ͤ`Ua{j44 ~łrN-rhrXEy{gYZ7zXZִF! ]ŗXiɟBv l82XKDMfp°Ek\lT_IDL͌h?6j FVPw֚m3\YUGǂ2Z .6R O~ff0@s o@> _dAr >Kerm.H|qF6Y3G#^հ@x{y/.HNm{>J,`gBlGvg9|4 k4(.=REMH+ij"ZzWE`Sg d.w-k:ް{  E:^8iw UW :` ^S/Uɛ_~gQn^XfY$?J$: )X@scֹᅄڲ06G lO1>.Nh{'f:ojHrO( >1Q]+&dgYZe41242c09c7f58cb2891524525cba2cfc1385c12071f7fa30665cd1599ab0688c2ebc3134f4d53a1   Sequents