SQLite format 3@ .0:  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  D$L ] Trie:threads=4elapsed=22.900cpu=26.792gc=0.828factor=1.177zXZִF! ]ŗXf[&}ynZyI k|KEw^]am܅j?Y(~p&,SmWSՌAi}Dh }YZ7zXZִF! }]ŗXi%G̉S|~#aD "f-Aſ.9(ao"h7v.) ۮU.n-DQblC߱ir+c[n7E F[m5]Oef&'S HSĨT6#Apc[[O][T L} 4 ཀfACB6ɜjɶYZNG'e/}up.%*T 5^|yJ BT ( h ~ym/ h9: 7o gvQ0(94) Lbg c?؀2`;4I{K`P]pKx4 ЇJ@9q*Tщ{}*paLXˣ*Υt)>aBNgj-; |68Uh8X*7ZHQUqU-5@7d M3fI@c'ftD.;kqCD]sR`n )3S xj[{ 8$Oq+2[.guwDtson\)Qg4s4cƅ /6  G7VX;A|]z ZP#oJMLS׸{lЀvpzs.eL7 n!!AM?T\N U JuS7^XOmVuV1E?mm0Ѱ )PF5Ѻ^v4IoV~|Jj lroלaKY&k};{n7;Jr;Kzcyh [K%>[<\/+;)]E2@G y)P-$ IvSI=C3\6p=@ |l|Ql'C:^QHUHwL-dy|ןgYZf08d57ed503af806860b519c20519180e935ce8c78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea  Trie