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 uu) 44L ] HOL-TLA-Memory:threads=4elapsed=9.309cpu=26.064gc=0.652factor=2.807zXZִF! 8]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋE9B=WLw22ɵMmĖ=GOp;z@($b6cx V+oΐx>fd!?h2<3گLLP &/UF?@' :;&:R!:BI@xīIʪ=Nb=<[iuo^dFAs̎NS i602j;5ѻ \-pf;W1kϮ.Zpr$waO%D=_n@DJ}s&S4\'<l*Vbė)i:8e4Iߤ98O *# 4#S 'HK93*ͨHOXO\d,Uk`:WG>+o\^?(CgYZ7zXZִF! ]ŗXiɟ1zV?/cJ=HTƳWj8zKWy+y4Z!et?9fnՁ9,c?޷,=s"oxp=-8<(:#PC7r?UOO8nk<ɱZlp͌ (*cֵhi ^>o0I(a9N݋S.n$0gYZ7zXZִF! 7|]ŗXi%GЛ Hg*>@p̊RhQ# OT^e~/.(-c}Ǚ/P>,<7Q=/\9)pZm"lQZ~mn7,졂DPq5qhU)5NJڮo{J [Ӝ sޟDC^Be`|Q槓axƽ} uxW h}.Eޑ^ӢJ&ra#.pyu2*py!h"9k*aU@FQrP;nLP1 HV*;:] [^hwt?[οҗxVJY x +8͓A\9\R 4zS/f^=5Ye(4m,Ilu ڊPRƨ"_ɝgW%+F_.tH_j!cnf< zx۹E#}qp'\yoV36>q8 +3&)@4t i @oЉUn͔hH6;){Ж2ݚ 1c-"m.0fţWWn`5#[bîKop!