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   LD4 ] Bernoulli:threads=2elapsed=10.584cpu=20.224gc=0.616factor=1.917zXZִF! Y_]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z3=8ZՉPzCht:Jd{ +I^X+1 $Bf3!2ZTB]U½d*ڢ9JB(ll41DpFLHz5H'7yqX4%`q4lץ0HU^ӁZirUsd̎ Xjc}6 jS2vl^9!dݬc};3O}٠C(Dk33:w9gYZ7zXZִF! y]ŗXiɟ ؁#dN9ԝLf̪X:6p կ@DHrNj mHQH)5G$47ϋ2JV m;ls/3Al2`Ӎ V_yTȏt @OO[c /رgYZ7zXZִF! C`S]ŗXi%;3:/-uAt7”fF&x6{Ms2HX`c(6Sۺ;lEnr^fI JXXK+jUv<1\*SP|ˠB|=j]{lPjm1cfsx!XP<4Iy# ;_C,/ E)SiҚ`j!ɧO=P+GL=& iϯ0-ywVbD05/J}MpjG`#{s= Sj%Z4)aqy3_4J2@A WTZ5w;ȡ1ɓՐv8qIљΚv9d1#.Ul㰚K)Zԟ[)|UV\ARF"bb<Մ nq###N|hF#bFԼ*kήOit]l; L#0%n~7r_a0uopoG~e%۱į_ X8sjuIx1P(l3!W:G9ФcDdVr*ќ}@ӯ%_?2/ (e#!)km[T:^c\ Psn kR51%:-ie O$-֟{nfcaUW̚[pmAr|yRڈcC[4~َtٯEFVba6qzJm.dIّ;`z9wҩѸ (4LI(L5oWg(eRc -]48TEXR_)GK.Pr,sQ+dgbY*{9V-#YRH8aW Oi