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  Jdl ]] Sequents:threads=4elapsed=2.006cpu=6.616gc=0.164factor=3.307zXZִF! []ŗXf1-y$DIX` c?Go](tE{D[nGV0Mj\r,D+Ku[A55 ]JWuc]a4Jݿc.1b>>բ2>GW:pJd6tIjЗ hNcÛg#\]Ofwe86vgYZ7zXZִF! ]ŗXiɟBv l82XKWCBKޫq&Jł%k'B/A,${}DW ES4-8^g@=^3C"V:kf>+2We H>%ڐ{.`->6ʡε g`nkq "/ ~Bs6]:;p ORH `)%"nVo\ ԫ.P SrGNʑ!gYZ7zXZִF! /]ŗXi%I n^+c;z:]N7RJ{F[[N_҂~vF6O/^袀y]!8NdvI]㔸|) _z3 *Md-l'm4f6n)C##,^l^"qv=h<>#Z+ӽ@AzBMK7PLgYZ898f38844667679e875d94c0a3bcc9f08f0718ba5a3b6f7b3e61510e7fd7048ff8c15610e20e90db   Sequents