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 HH51 d|$ ] Separation_Algebra:threads=4elapsed=15.267cpu=42.644gc=2.176factor=2.797zXZִF! ]ŗXf[&Q) Һ|q1i˅3ѓAmXo6-Є\bZ&yΌ`'T(^m$؆r TS}Y5X!Pߍo2ġU;$yCJmF,H݀o} |$ؤ*{wRu_`6-'}|0턳``X۔/~)zGs 5B=Z66%Z-c?Amey| hӧreˬ9}7 ߝ-U79wav*4f ֬\ߡ>ž]YV @T:LI_{$"`*δTG\HNuǂ!f&qNl߱R}k<60a> '-2|OC,4=Ppi *O(@jS]e8$Hg^#ݾZYv5#&/ bEvG}5d,>~/z(^5pY*!p ;w07Gء.I;o}H>(^*oyӈ%H ۮv.wsN6 i"^d-Zhm^ō^I@bF wA(Z.$j^?:vU]F ߚǛ(u!8),`i_XfԙԔtx)Ia</h薖M@Ʋ//gYZ7zXZִF! ^5]ŗXiɟQcegQC#M?ЦeXeq 8yW!ܰT2.G ^*θvze xY+c#Ao]QVtq~&-KUG جwgZ>S!r?BIcH5ʈ⤵EK# \[9Ɵ#丠b "J7)3lX`-&IT>:$EDe'pjguQoZMkwC֔K]qvnTnyv@gYZ7zXZִF! l]ŗXi%L =.5&XM XrGfd}oMi#Q| u&?x#KM. ΄i_I.47< q]Gj{|@ȊThlhm[stjq;z,{:doB!=)exO@T xbCBsCqlo'g9meq> N^Tu5ZS]!u}X~(؂]# Y=NX yBX`8ڀK1t1iG8#u5rƀ|L)Љ(Z{O8C*tos0rl; SpZ]g;,hL;_\ZJh@&v/ssx