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 x? 'li&DUv^>T)FOd'k ,mX`zi "9nz)T@)mئ>'!3F |YMyˍe-E0S"A8 EKCWg/U6Tf 4q"xIa81qeXQe q./>Cz]R@1Z:d:\1Ap]#Z>a]@MU*2E`m<=1 ImoƔu^E}!B4C`%C2c/kEjﺲK߭HխC;)]؏|4 ER7ݰ q[πu2~NXCaETUOF.YagYZ7zXZִF! /]ŗXiɟ˕A;[] VmTi{RM9%^Sܽb)*+%8a4|C34˶n°ؐŹ}oEviNw,'(~$|-Gwc GDfTt7bHgL^o=XJ= e8xiבϟ%3B=U܃,wvY޵^XAJt٫J"j iB 4ےp3WMuyvڧ VP@qKHmYAG4tՇ왘^jY6gYZ7zXZִF! s]ŗXi%@b^~Z3͹8Л6 ` s3cmYj27|0&F-ˬn>7/J\?ڸKҹN\qN#c `kOqV|J,3 PIUgMh8c |JmކC0\ɉH`-lhMUڞ^ү\f6/f6:3[¨8V ժh'WX3!cR/˃'poӱ϶ _oxCQudI2AFfLkV/jTa `3ECMOcmZpV5Լ%PeyYrh+#X.ap*?#SKbuwc4(w9AN3Kn ؜qw@LAdl{~ҥ %ـA5W415q}z$s-aNm'Q.P_|.۲.eȢ,V%v)en!蓜AcFr?(0)Hu+"B2:<ZmE`(qSrG_(teLR2`Pkrk2BV EDItEӒuI@ sSK@#ҺꏩdiI|t3UDRJSl )8 rnZw`767j:ؐ0-}^5y캗uYx RA/J{~'sc3!P͎+Sj^Cm[-'D8f`bR'a8wP?ӕmf`[0r} .R<(ɡR4ǔTڼ0NݮfJ psCY6PulsW /3ԅ ၽA8 ǨM c O;vU׶ ޓ)Gb|fC7GۆDHuߓWsBcnc[(܉M7fz؜׷¥CJNP{iA=~=VǧHTDŽ9$!Ӥ>W*cmX8A2|bo06ٓ$9s=[BL4Fh2jζ!8%1JwbaɹQC5Pbi?J`.м ySgYZec2c0005a4c9c649fc3c1959f0c5a87e94a9c98731f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5 93bb26101d67863666294058bea6da4fd77251ac ? Program-Conflict-Analysis