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 q t|, ] IOA:threads=6elapsed=7.078cpu=31.560gc=1.312factor=4.467zXZִF! Y]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K S;jų/9Y*]|@?8Ẃɝz)m :W<%DUyzE Һw2/QahZrL9 )g[g/kEH@ x``^OBYR*rO9m_Q%{k\(2(-7(ӤV\N J4*(ɕhF w4?8+e07vj*(Il@Uh:(ynh::b j?spnWۍ=%}K&o8 LH٨}3+ GA; q\Z n2lk?PJލ 7b.>1ܪ̌qC_n8f^?-pD]I:8qS,;{&b뮢5F?n]R慱gYZ7zXZִF! `u]ŗXiɟdN'LvH۹Vf+y^Mdyfe[Yk`zyO^:'[p0wD8DGƣ0 RZot ~\ ]d9u7e Ϲw@8$aNÀQ@~stcєulo.%Akm8҃+OU6zpҔ2 ١8Og9x+p>Xτ>QF Е³v((<+~tkZ6%ep nǓQ=#yo٣̳5 .#Sh5#;7&W'#P{ʅ57<3n}^  `ț1gYZ7zXZִF! )M]ŗXi%GE/Ä>~~uJ jcĻ!'P{ԎHYR:!X 6sV'y~I28ưXE|nӷ{v \RU!iuICED,`S ܚi4},?8W +ߍqq-мcE"&cUS-x޼F{vxg %?٧rv?AlYM-@r6aqH8zo iؾ_}--tlj*4ZyR̲DS ;@GUyަC,>3bZ|B Sѽlz)