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 %%P)LT !S Sort_Encodings:threads=2elapsed=64.555cpu=119.304gc=8.032factor=1.857zXZִF! J]ŗXf1-/6vR[]+rPH[yk)163{+x VYRc'q|CACE$R3 ])I&.\Rkl1沝~ڨ%%0~W5޿,.?CE%ˌx.N<ҡ@P*g-dR+cڋ)"+kZ ^@tؿ۔[0 b' )H;Vl,m݅:TLk M?lwǯ@קE7Lȫy@_Vp/]_(yv(w'/6XgL„tb[4UW"U}J8TB&LFsnM\bܙy y>_&bM+Q(I:SƘx,CJבgզe&ˍ"-k5is+*Cm j%}+P $jBܬ9vt6;] Tw(3>Q" 꺇nf7Yx3PI.)m-L?WaxgIyn4lV#Y+?bc-{߈p&X4 I} 0nJE9H x)t peQXțˑk& x9LJ$.7Ϟ23m김ffb? G0\茍\R`3?wc 7 дsiYȅN<#ɕ#qkޜj81`&d4|0`KnXlF/Aؼ7jቧmnKߒ.G;_E\)miVđff.NO->Q!d 21}enGcpE2i߼35NVINSB ']?D3&bt#K GdZ{*Ϙ!UY)$ xFHyVo(> ČipZj,ŠQm*+d DߋM@% '|9`{1YpSc  (9gYZ7zXZִF! )a]ŗXi%6ZjG[U_#_%J"``0.}T }P`Დܲ?Ͱ3 %3ɣyM9ᄪjR&1*VM6B=8r:ȵXCY1y#1d"p K%UZlj Mi mjs{L%Fmb6Un(bpyuoT}Fe>'q`q,Q3U6R@]z7U- M3zd:`~G~$D6AJ`- >Z ?{e bqX+ΧYLeZjqKSӐOK >\(߷]PmŔ"o|`]c Bu,+xWȐiypM,1&_n5xSQ@SLh!hHRع7G`+{vpNiIw3"fsL{HV£֣pfOo4h4么<T{ *4a/(x\ lj<ۺ ϒ8k;3˕g!,=šajj #y@*;"z@j_bN2hٖ@ѽm(ْK_zᆕIV8l?yf3M؞Wq3%NZp A' vE{o{6P,0@}(u!##Y &e{al}ya l*3?ߝ@X~nji`4Qunn<<@ZFJa,8g|)U1R._ Z5'4Ụ-$O6=lG}+ *cq~QLӡgW@>P\Na)^jͣ%@B *ɘ˼^I&b:%an$D9|c0#L:'Y{j]qu68 }!upDhZńa`@RP:Uhnv$%YA> (tqzlW{aG=y㵧 پ4H(U?ZCooZ4ıK{UZ9+X֓N;,y]>HBĥZA%։) +[9,Jst*g0ڰbGGUpzbm-bn˖^CD._ה$R 弱+ !n.ؐfjK6TߣzoE]=?$ wy{#"m9&) Kȇ¡j:G f