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 m | ] IOA:threads=6elapsed=7.272cpu=32.448gc=1.664factor=4.467zXZִF!  ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K.O&G(Mx u⇘o?2IW wd,2gL2;j$p[$j^%'F&Q8`k3^0(^%-Gpӿ_^XX`@Ij @Ԅդ ,Eܙz_b!d.*Ja=_ (d˷I 5nGlqHѦ7J51CiL_cIw*A45*{ wJk/0!+sub%}FYB]R`81DƢ?͠\ZVߔ --q*?V߅`6Hb%[ݰVlhzr#Mƥjk6[̮>Qb\"w ,صH%Ӱ=,ZV7rT%gYZ7zXZִF! `z]ŗXiɟdN'LvH۹bܫ)`Çgx1XdF)bg.6)я={Bh2i(tgzzmvmZ=RW"/Md ܫƱ&ײdwnM9hiJ@:y'e#C?(K~uf뀘C҆)"LzXlݿޤC4&Q,)^7*II =."J>FV3ɼqP?F_:h>J60 gù^=pcJ_ JF5_[`DHc?*iOw@L.$x ,Y8qѵe"괇=@M'w{w7t ,gYZ7zXZִF! )5]ŗXi%JH:KqW\?|Abp A_[V η¸PX7р7;.% =vv˸'sGOG'Xf?-r5DTlfLؒK L|>%x BjEXGӄ1MY`z? y).$^*+At t2$^ KeRG?I#*VGZ:{bu\ :ABMziD}zv^ =@?)ƥd Pm$̆6)`3Ȯ{.۪MQ7-T1cd TR*5]}5T_N-%WOfIF`KQVtOgL=PQ)jWL7nkuyokR爎;$`S]m6-Bb1ޑmݜ8Nf~H-@T!߆+PϦ2ExaA"6/̫hpy+U=+UL9#ݕ.l?" |8,<fmSDgYZc0b3b6caea5d77eaa84c7a179831f1022461d1fcbd83b15e1e0e9039a1a1655585e69901cdaa3f80 e4ea8cd95193acd87d6b106879f9d68d28c8a75e 6bd9bc6bd23405c40b0368e9c532f314371e36af  IOA