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 f# ,T Sw Minimal_SSA:threads=2elapsed=9.085cpu=17.488gc=0.516factor=1.927zXZִF! -]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^ǍrOR oe˒Q5t9> Mۺ]zexN =Wͪ kzBޭ|*[eղ= UjXDd#ࣄp[z)̐,L9I)In$+ Ͳg5Ҍ8FچanummS^{GOi]kud\s+֊ևp tFt?ff v7C-kx="*4r ZC~'v00Ȕ_6(wfU+pN|S$n3?NO D`9h;z!igDŽriګm\Th3=Uz )НMLp)V ʅvp"(̀0xuuT&bW۪h+Y}Gu/fאLF;w!ʒxƏn⌷$FB.-*5<^7蝹JxzD .7@Aͳ]!qg[WTiBֶL$5PwE%jwmÛVhnJq{1 Zm2s=dicy]`k"]lZryFH=2뗟Y)d:\t1٨TІSk]~odp&%o\a}%Kk]|q!P+m!(X;JT0ULWX>"ҽtخ☦&{4KkYu^W9M!lj!$#:d\_-R9+|SK>i;'`G h `PqnD#ė/\GbIow+Oi"RZҹ(2OpD[1gYZ7zXZִF! 6 ]ŗXi%!W;uE&nh](֒{%/t\"C }YZ3 e:c(ap;Ԫ,Gsf(8PK+1 Gm* ׏I%:8N4AWw~wWkbty5~YћZ>E !`!s2V&DTt3 xbNmK،34f}(6`?uU"9cs s[&1< Ӎo==ɳM0 Y8&+f94G[%͗%Xq¹c ΢ (D$#` qfKԕ!jaTKx\>8Y"pwFoqj@(jSf%vw TJ tf+ĎV{kı uW]WO`}Ic0& MYUܚ3z bu(R~ HB3kx_~xrvWxG+"+6 taIVq6F"]T:L?[+|ө\0 "?Yzˈ.)4Q|[K݇V~S6A>F$ SgNlv^(!G+c$DSvpyywV tH{&0Q~_аKi8<A QՃ. w{@(|;~0? `.[y+3j#R J 7 sG$vQb<3o>V:gLii`@M^ub4=l؞o,WWK|ގ#< g"a8nd9όX"ߨL#l*jgYZ71a7fce19a7969a3ae045d5581d29bf46b3a4662 724b25b25f85031217c1ebf4946fa63091f7a44a a1208b8e2fca3865bb7ee8052106beead86e65dc bdc9ce00e49076cf860d0c4a37b3ab7e4f741374fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 0be2567f0f2e7a227c842b1138b48c0e22349994 1bf3a793471459453a9bdb3582c7790fd4bbbcde 99e1e8519f21a35b59221410fc1f425a53e4d2f9 a3ebd99732afb74afd40f902491b4e538c89d2c5 # Minimal_SSA