SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  C C:  S/]Marriage:threads=2elapsed=2.840cpu=5.028gc=0.060factor=1.777zXZִF! e]ŗXf1-/6vR[Cx# U<Y dCNhtvaYgRp)'R 1Ei9#9Uʏg[bmD) Leocx"/pT:i[KϓӃAl {P;+mD2`+y %d+m* ȩ7vPYe&,?$|5B 33 {SQ^xfas5g@RU0 ?#ua $μ;(ȵnm[~ԩցTMY *mȬQC"ODf㝐H] c5txN'? Pn#H gYZ7zXZִF! AH]ŗXi% Ŭ[k_0Gr"BNLtCáH&-0NTwWբJOV *aV+#;`+cM5(Wm[ߣv$cWCF,s8$Cb204L(F`%9wQ~*8l򋏣e(E3RL@)JOLa%* o4n