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 K| G]Deriving:threads=2elapsed=71.904cpu=117.340gc=6.104factor=1.637zXZִF!   Deriving z7:]ŗXf1-q恈eO/O4Eh~$&} _ru4q$th j<wmG"M񈦴I1=q 펣Gf ;#= qabl<%b3&*sIKKW$!\ȏ6oK L~%] :UK7}MwUuG,YDz>*ԓih9‰?Q*Դthl eO,"(ty_oaRNw&:@_1=&5GV *t˗r̡ӱ jwK)Zo$0l 0 _kGmI)*/6?KľnF)Һ4 H,C /qI ݆!rSZ4-22 v4K|Km(hvv `'fuicy.(V[(&@Rmr@N3cDRM21k#G11ljj߮|Zܜv?V0]d>y䄁OvM*0N4gWc)6p!8{wdi0):ٻ|u7Sn>wņDBV^~͞3c\Ӳp}L؎u fc2e-bXLYrϴxU]1uؽ_Bh2e9 ޺} $uT/JJf4nN5LtC7kax0]/hG5D)E~ZVWFMAւ aRHifDB$wjFںVLtBMHYZbZ?!k#" {43f-泌G#Յ?nEK57)WBER?j3Z/p):CMP@uʹۅAy|Xwxxt2)Pwpm@ 8̫.R$sBj!n 3Z(p!M".7RV4F#2vxzۓr2zTȊw bNe:^{`sݫeG:XK5ʷ,'_&KђW0P%[ z-i$>Vi{g2 dՓI{C?I4fg<Gw} z߄bOpU EWۋz<lFipM$愈$G8+{k6Bx)?o`Rz&®oЖ 5CQcm-je?-3rmdfEWT5JDĐ ou5֠ h6=Oy諟d",%܆^lx/J ]k-xs5b+KیF(ZX_}ʴ(hoT_.Cc@4A6C_*boEP" ]1r#-ug jŗaezɔY^]4+K?}QG4BRH甯qU_%bNePKK A[VD T3y.E`໛D#TU֧_Rk! F rL*wRACj]2nAM+&j.=Tyjܔ)BѤ&AÈܸYB)EJ$| dzV}U=g!4_I&6%V }Υ-{A",̻gdE? SHiW?)g ptsHa4>09^ӓS^̫ rF`qYQdx0F5}\C'1tCH+SjUi̼[Y_WIz;Jw|9KͣN`26CZbuHo g"d` 0nlx9 i`T}nt(]yTX¦9j#cNul]7]kWO<7<3͵2tIER)ɤ2G ɬU+}$q7"(+_#-(i'2<E݈@#SZlܭyt!X]`)_+><詚 W:uYXCb&?LEi}?"no20h 9Ak=+֑g:R#K|[ ,(%Kli^Uiɮ wmP ,`;!+Ƈ)7 f)M@Tj?^N佻gǏQwP*E\<"ìyWɻ\[֟BL^6Tu٦Hw*X ~dj$kW1ֽ+d%@v]t츬zLr(6ĻB ouH{R4+,ahU8ʘ)w"ϯ^^ܽ6]+X?N#T3CON(`{W R!{oyMoT{ { țZiy`٫1u䦓GMzN–Y~6 0Ц%N Pk8$/y,){I+T>w6\8>Pq̀K)ߛ8>Wnfd)N;$ғ^wLSAM/<5WT«T7m .ԑ]i{zx|p~L:ߕw6 #@OXKPMDDW2eC^0f[jSuZ {@@q?\F" t5WKj\j9c6d+yJP:W7T<RW9 \ CA 8S]R z=[FT{Fѭ*Y{Mcd6rU˅mF UiǾ,l[{8{|# iRV%`+dbS"\NSe{qp9zwĹ~U|sKQPl쟵fgʄKhaZG0-^UMQX%|۲Eu*E'߱$eoifҭ3nBX-> gA=uqOL˓xqy+w^\]'9Ţ/zrSN(pRIcƷ7jGo-23vF&*ꅝ΅HV!Ylqӯ`q? j F nS,sOHWb/A ]pwm'vnU'd[vwJ/A>!,~еC/,5B[5*o|ďT$lb {3n X@ T0ٸJe܌(zAcM>To!X#0FZj%̜5/_EF .6<L Z.2ٓUT= Zu Apo]5f~լn2[_X H:u'jCIIՕ;GT0WRtK& 1˞d0)^qkܧ>]kJQ~ %jQ\ݝ?%XǔkZvb +8:r:liP]3 dU5,(z]HA~oWObuzJA6ja(R+٘ҿLЊݚmCՌGpaX5"E%$ٮʀ/S1{H&(%l7x+q.dU4Nss Aٵ0l[oCYj\/h*R5?s|&*>GPvC :)#a S;*9 W5CbtM ֹ:*` 3[Sn"q(AOA fB.y0D١dyFđ\Ǟ ,dzF&Op|V1IZЋ8toZ%";e樞' -EMsU(7f]8]׮b[u2FԑS), Ye@}\ZZ˅vㆻ~N1^ThS FrB3Ëb_nWo"DzăDׁUZ"ucc lc.K طNyk,0>X꽧G꨺(0 ?J~'vsX%KMF`&֓ mCnf`zUO /  h 5N*6GڅMEn͑poJ:HE7LёqaBB9C<ÑjAOI5 0yO X*BZ#^]1Ά-–_ D)Lh+Ə@n<]CBB}FYٱ[̻t #brېM{Uj4 ,6D%V=Ú0ZnG3KUV<) RTp HЋ3RԖ 4g W_A$Ye} ֠ 3JzCt{;*2l)wk* cyU4}wt@l2n'VAZpWMxJd (L;Pѳ3Pۮ=bp*&@up @ɸͥZn[r{qH}~9H8= f%pe`Y8V9 ݉F 1ooXfPo+k;^,'~x%,Y#a2 L`]0 PajO;9WFD>' *^]'x2[Bm)x3N/ ]Bۜ q&mrPA :I28:tm4W2 ^OhN2מl>l˅Ӻ5T-/#~"0k&s|i d{Mϊit[2H!$"t `$D0z%.V 7`2 uhM8S@k>oїʬEli<>j_ TW÷ )13'6Fbl'kLX8w8߈`X"x#-#k;/{0MPFhzO*̚1/WvdPidwfp!D~+-[x8бڮڍ7-~/1 66Tz 14s%8< 52ffi~ ZQĆ\F|=:sf/['nEpģ]%'Uu#Ϊ=DX w! \`wpt9( m䶜guEi!~ ]{X= j]PQsI$<^^ ʕmH#ҹ5nN]W[P;ϪtPj:XQCW'(kJ Yk$N>oiYui6@IyKsYPc=d`,UncGf m:3 *X_di]@u; ]Ψfe=i~l[GwcX+RjaZĮkjnǭXjkc`9ٷLAH8gYZ7zXZִF! O]ŗXi% ~NxU__sËJ&LE;Dc!RQksHM/ׄiYyPZ8=%3Ƃq88sNv1j4ŒUlr[>dbջ,ª'חGoVx.V,QD(K~V7ճyNvm\# uZFsm JS}*) xmj-QbFY*pP %6jpjȴxyCpȖL,>2V(!Oj+oj |I4'!ŋR+e!N"j~{脻29qhq,C>6ҥu7̚.9>[[ -$T#r>0wy['&܆Qӟax\|LnhyhQ:9 VuW7"ߓUbԺ)(FƑ"NaB ߢxrLx,%V'}` x9RYWW>9l.<.]@ŻBl3E/4|?&8 +){GRz=6MI1[nnt;5tfKa Llzǖh@&whBtxe6Q]J2S 犕"q{sY챬&]Lk ֏@ZytZmg4_yv;LL ;2BT!w>K0B h|Y|-U8VB ' .T)^VgȍoE`irvVe3eI ^eSP|OVJaL:vxbĸ$hs|#\=7Ei+m,|U,ǔ5.o:,,y}g q܀rzc>^`9uI-x3a& mFk<3  eҌɷM^~jdw.eBȣ <@ jwɠ :#|.V# u3җ~+o!{0L9M>uPLEc!pM^T!0SaQZf+d zci "n2o7@o.zK&?q+WzQWl !ߡNJ|o/׌駘g:uXӈ.M׎͟ d]Â%~2 g_XT2<ShInkX&JpĺHi/TvARǛnqIO*db X}|bjlX=/@H@_Q_PPwN+ x<+b&5c§/9dΣK? 󿰃9_tY tO7[eV nr>j"0J &nJ}U?E&-tp~TPѐ| vg5Y|6kB({C;38Sr2 x>0[Υܾbqd\^Nd 8ᇟ/ |u&_z FpT(rc|Io9:uyHԕ`uk,D~ ԻȒ=YӜ /L e/m] .Zb#*ViP'k:?O1^ rXaYz]/EFaCD&  Z>lNqXi`<.\V.z!NqD vW~YpDA!(EXYqGfps@Aߋ"m?<eAv>N/%cF8ZO[sГ8o&;le@YnD}Bo&=Nw{p0Ps3z}teyo88U$C+NZ 棇0GS{:h˔]V@f5vO(f0 )x_'('NK"rOf<%ŝyR5 t"Ş}RU.ǻdzc6 !ѸluL@j7ktǪC:Vb#`hw蠲N=G@)VVht_e2}wazv2/hY{M "khԈuIn'/d} =.=8 H??ʡsn8RggàM;.-[wo&gO?SʽyK\XWSRbVф>L"[ ^w2xק懂ڮG^ bbBuFv^X@SȂk `Yž1d~28*v.vGV3 >5=_n5Cd]LPO>D\&H%ePՕ"-(H~Ųc*4_=`*'E2w,2b G-,?KAf1 r/`6Q㢫/:@/`U%V`V%~hG /`J" .hը/'Ai^JT&F T_vmQ #ny!ήxٻlkY;yY4yXcr!eDLU ()ѓ FX֏s3;Iԭl&~|=~ذOܤVTʥ j!PV ofSF)Qooc*7r x@F2~#VykT_٣gۦxu A ԸӵhDǔu[i` !S%LA6k0Хd#exaRA