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 pp  $t< ] IOA:threads=6elapsed=7.009cpu=31.180gc=1.572factor=4.457zXZִF!  ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K Q)dx;״gSe֦ci\qY߀4QPݨ$)X"$!-g:w n[=&>D LXO#x0H`cnVguJ  Eid%}Ux y=wV%[kpE;(^,oJx C6ⶑ_|/k|bȪMns0(SϞ: 3<ƋYkia-8Sl@ Dw dmJ2LeOPm3]`eҦ ,#DKeoX[o zOFO SJlhٿ$:g)nIPgYZ7zXZִF! `r]ŗXiɟdN'LvH۹C<qWYzu3X b>*Rf@ ILG9s(^cuXQ0H SR,w-}en[yuH273/Y%o &u}>Ye) Un.A"h[3!o5 uWo])TA9#0ve8Xe ~O$i?nFZ 9T/SÊRnT^xЩH~hm<;)l F;&eÞky=! ~W2 ?,a&r՜9z!;J .xñgYZ7zXZִF! )X]ŗXi%JrP.-+ ?Mk;_wmǤՒmFP a* YB3NTfw¹tvW~HU0Klnu) G_A+a"4Ori]@2~k:#iQ;W&QZ*Gɲeji -*ExѯU_b"d&ߟ{z^x7?f)HTTf2abdz08OQOzۥ/ '82Rӣϱ瓨6aEy<ɟJ/tU41?ڸʡ}Ufv3$W ʳ "+*yQכ^F"W- $O[W&`9r#SR wf [)¹;78 4b0d:]97 o5`$J}uU:nL.sZ0 ȍH bX`,KN7;6ybTSW]C.s"Do;B (2X<7h3WPS}2MbWtYFk4NyDz%\z;2)W?SOC\}1ؓGwJ$bJ^Q)y* m_-A$ ]0H+pRH~)