SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info W)  %S Dynamic_Tables:threads=2elapsed=9.138cpu=17.792gc=0.452factor=1.957zXZִF! `1]ŗXf1-/6vRZaK Zf 0kߵDڞӯk@=ڷ8{8 Ґ DY=2.*ϭ\0 ) Dynamic_Tabless9v*MHྴK;$V;t0ʪo9@S⳩a }CtNIKK|8|6+i.!^Bzl#c<,׎HeqRsJ J<*!g1%l<;7=2(\}[`;䁰 R:.(OKv y2ͦҫ|8qwA+FMv.#(_vH\SG穇6 u1"cm1;@'wNFP*5T'OٽͶ崹r b2hBKT w?!%iٰa,|!,gmIf^y^^chb:?~zel^V-Lx{L 'uw~"p=lvw1V(n[kQ!endUP>1p7RJa`.˵('T:]N+tu-9C-%PRg*C[b|!*oa^jmƑ&Z߃¥0,L$\,#2ښCק_QjnNYF.ϻ- fm!:NLE2dUQbRjwJ9{(Ͱ<"loAz,~7ǧ%[ہ6!=:/ݍjkvϸǰff!ld(I~K&%GOrAɴ%F,i sdtnSr/Xt/@%Qx³OE|`uH3b:A@52"Ʃ_ҧ:DPܝ) N Y9#]8_i!ؤ!d Ld (\:EJBG^ g\VfnZ_WTN-Z'6IS7sqbL4;qkC^rKQiTX,HxF!F1J{ȈG (!PW]z'Ӈ.Wߑ3%ц#Eֱ7Gn!Óx>m$b*B׉*2v 4J2,J߀Ԡ!V*Q<{.4n#͟$X{Z.-P v1hz/EA׹t- 1!'(+ʧIIbw4fz_voΔmCqo{6cRR-yYx3O^k emO{Ut=k N2{<>tvXhoY(EZ.IQZ;\5BQIڢü&* c`̻)o|P6 F;b!o⤜a=zGXnkcBg>H6oD(ML+2uٲ5==U;m#lNI!QtM&{dQ&OW 2b~S5u{ ?:xmzn!B l*Nڧl 4#Fz=2IǞr@`ltϒo$]s={ KHQ**y" a~%ˤ?)V3[PQg, kE*ƺ-QJּO z[tbiz!Ha/yF-lzAb(9)/V츆pv^嗐ZDl^`gYZ54422d2e441107a94c985566f47ba6c8bc00fdb1 70b069c01fb973ca7b7242ff41b1634fcf9264fc 80c6ff8b9b633b73ce88466aae10319f627f7b03 a38b3dd93eeca7b645dac42f5297f6b177932aff a9fe49119bff4bf429d6d8a087e420d260a29e597df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 5c50fff35e48300ff10062e832c26a132060085f 36575ed435efad92c5420c1176d30e165010e7ee