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 Z7d, ]/ BytecodeLogicJmlTypes:threads=2elapsed=94.908cpu=168.552gc=3.616factor=1.787zXZִF! # ]ŗXf1-/6vRZkX U,ذ&y͡y % bLi ,u xPvB+ֹbZN!!gײ-(-lNKG_D^X_cK0)hLB*՟'GۅpJǻx\\RJ/,ك,ӫĎaw6=^Z.uoޠ2z4d&5XTob)'+Ш0*ǎm"[=͋pg_F~l8 d} ݂t);:no5_?jlĽPNs~@o:9JAQ5\>\O=+G%X ,Ӛ((O^_O%(cI!_/_ =ZBSüy{gH[_Ν݊4 3ug$/rÓd@>m:*vzҧh-D1m!bϩ1U}|E=F4;¼2%McRjaA@P<3}! gYwdi°V şQoV۸}Rt %@Bٮ.l7+HMoGKJ'ͦ<1QA3ZY󩅻[D]:鶛itKIF!ac!2xY۠LxLE/myw.|uryWwkBV8DŇy=YpO 31D)9$/aA;%ێZMI pPy[ȩyx7ڧ{ u[i cYssձiٝUUm’<tBYYPdf G"@(kPs*BYEFΠk)E"{8 GA4OO H:qJr+"$h%޲~ӳζdĤ)E4I=G&H4ڰH&vGۑfQ0k,eÛ _HeЕP@$)yh׉&u<f5% Ʈp]eU#0'}%UK7n|U }ms?7'0?!WdD |2cm^e$~y7u Q6 e{`zꀖ԰[#KOVag%QF *cŽhy(? > 2{߁j-z+֬Hg xiJQ$E5F?UaZYh%yDXɤ۞4}*:7t)1Mnb˓O<{VWe.ˬNo99-ߒB7}FOgZrah=E'z ,amz(BP ,%" =N>O$j!˷G&S_otqħSyʙ@|w+~-jNϙD=P剡|~ݭN.'O>0/҆EFHV}}k; EF ],Ugկ/bC&:Vu$LN,Y8ݸ铣 u)$.S!7UPG NNsd1/Cߨֳxehxř f6#K}ֶ>4^Ǡꁕ GC5R"AwNf¨4bkʃH_10hBvAihE8m~&$Y1>{q eМ;m#Y!FA;k~~=?(#@&fq;њ]\m@>*10X5RaI &SϽZڃ|XNHl.=Eö~ ZԈr 3nNu7whI'־IQtjbZɴO\ƄW)06*z aepLLʖ%zu;4?Nz!<@Wh6eУ( Yjȝؓ/ {i Գ\GnR oSfՍAp79!ށۼ)4X4&uCNUȞ:W[p*lXyl0C[eT]Py'FxiWCv ӎ)SZUg&0N?<(mRWVZ_{YS ˤdJ(,~6,oEWڸCÜU<Qh`Չ73/p'p;zt$Xƭ3PGs[h+=3:e]Ę/hpmA\h)$>Nz|2t t)+7rӕ`^b`()a5ҭ$v%82:d]@Dd8U;~)?t^sPP;G V{W h$ё߸p|YA\WĨp fV}±ȩڳEcd4ڮ=~|wD3ߴ#'\ܓ`f +˟7[ \)vpxM^hPdi\os%.(Y@ tv:WZ(m=ϏE(yԥ)J򔇃FqjC^P"[j:?PAbeDROriҙ8}-U8|E[O*dVN hxؚJ۪LouٱQ3vHXP?"S=RDULC2 85y˯69̅YS 4K22k)o[#5QLmƚ ^S͢l,tvG@2fR|X!rW<ݪ!a-;V x溄ˇvݞ<E$}"@jL=YA.uu86Lb4=/_udžM*O;=}g[tj Th3ߓĔm$%D}a6h^Rtȫ0toZ4IJtR~ޜ']uplB ܚW7LsIPX<﬩ v|-H Ds^5OFJfʤrYR]~Y!a=0>Ry?'~TLbA#{CWkJ:꜓6f iubBȿvm+f h&CjhewR!GM >R0Sobq{gαȻs|:WZ?~d)>-:F&N.!/Dr$g$N]ϪWz6(MG=(D.ߑ1RN wea$ q0D%=Z F=˵ނض5wNI׏tkX~|~K QzG_Ľ mt=>i7b?;="tP?N jeҵ{#dzYp$>4H%D1yzjb1}n'~Wv;$K.?~Xy_+iEš 2>О/ZݠxҺh,F%%U] _n9!٘0)w|\<h Q\ \ېR.7)]DٿMɷ-aP_ϟnew>Db? a`iuĐ~u?&s`RuKB0cT%ҰEBILDJ jA!JԱG2LvT"^n~r{ U v4ڮ{y$JqTI1ձlB,W4 Et]y!yslzfFo`w˯"%BP%y"6Y~/T>J?B}s#վҝ8C[aFSlhFt:X@sғ%X^B_yFD2cL)[$`󕸱PV$HnH$"@⌋Ш9rL5K baqwd[F.!fOil<d|u1 Ki.8l7Ud=10mN#=ދxu:SIkW@MUc>{׆eP~t ƒq#GGC[^Yp%3+5ɴ|w3o$&jV>$ [M-|ȊJ>HJh='T*a$14C{> ƾ ԙ A0LGXy6J3AyxuDgȗ.Q,8(4N=97>[%Din{袁UdUjIM+JSUX{˼yV-<ݖ X߀yG@FyA,6oZ?[f2蕲 ;wӏcDn"3,Ђ).$d aܸDԮHjfӡ%H!Ow!8QN1^yv*q i# 'rS1J8_'.l#\*z0Q0qtdQў#&($2t;gYZf9ca748627311f092ca4236f24245252451bac4c0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159