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 SS* ,\ O/]ZF-Induct:threads=6elapsed=3.081cpu=10.380gc=0.348factor=3.377zXZִF! +"M]ŗXf1-W_X vL7Blv!~(D,^9z@Z [fYQ@1:X($i=Vў7I7 8tM]t<0$(QUq+(ηŴFd +v#J[q[t}9_u~Ak5MmLkddqS=Ap[hp@ϴi7+nksa[Ѱ>,G8~@HI-R>\o1l7]wm񸺘A &<u"AC h+s<+8Ih#CN<'N18qE_\`K(#l6y|ٵ% KO PwdZͳz6cvP_',g10_4Y\lEOwF4ˊ ܠ[طFMXˆ&̀p~ >(@eڠ]-=Q60~CҕX+婶:İkW(:ִ{.sENo* q R>9~úY4mk]*Ӯ|H^Ϝޜba?_eلAaVԧ$.6 'me^̑*]X3CD yݠU 9e"(5Bܻ)UstjK!ӧPSe7. N5}|<81C5PͨJ[&NA'X+蹰fY7E oߔ7)&?.jt~|j<0HBf[$ J |)haC$9)K<;<^?XB}-HŕV1gYZ7zXZִF! ']ŗXi%-[0>tuVYF~whONOu7G \^|xbkD.N{gZatSF{hm4ڊq;.f "0w"̑o؁OcsޝհWn%-"h?Y lX'RQqyy6