SQLite format 3@  .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 M$,, ] Transcendence_Series_Hancl_Rucki:threads=4elapsed=267.004cpu=899.344gc=63.508factor=3.377zXZִF! s']ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^e@@ Nrh*`dHQm@Lt+_ 6\yNGb{uJx'2e!".N*|G `mG&\1<vGTIx [lEg&%*qf_s5ΰ ן( #M Transcendence_Series_Hancl_Rucki   b&$6?+Vulr+ݜYAҵ֤9ol ;0iO>q%d*;>o_pF=\uW^Gy50obE9Ƙ07j2c5'mrOP&4f~T4$S{5m?~@-µow6.mE>tS[m =FT({-U$I#BJG  4i"~+\TN*-pւ˕e.7ejfZ8f/@gTq nm Fq۷:p*˯| zg/ç #+ 8`V1- qC2lfe4vo]455GrnD~{^Ҙ7'>txs))kça݋__6ɫk^o KNȩJ*XY%]l8Rl7o, o~PgNJGu19gGZg:Qb{ vT`*DMCMgM\4}jOVߗ$ ߼ibK%n\|Go1u ǜpdE/x7. ߃Xi8e9PV[hId~_^Ad`yjhUlLm4;+?Ih*AMf~tyYk.JYP-yr!(_(w]pTv8T0'}@DS/_]#f$}s8 R}؟p "^xPIǘ}o'0~<%+9 -XVN0"3UqWԄݱ 4E9ۦ\,;+ǘ.й=] eU oPxTg(D 4X ]6ZU!>om). Dz8PfUs2{v׺3C"G\?vu:'{f`pp R>:ݒ^h5 A3t@`(,A=>o Q6{GY"t/<(kB"R2>K)5&cKaH3uH7tӿ^Bp +(,[C._&B(SϹܺ2mh~euMm`$4vB&ڌ&;й~AЀy]@Ǻj^aqp p}.t:lC;drȟD'9XMg#D]ao3(]5GnQC.SpoZœ^M&U8sl':.rZ`Bs`X1- ?/S- +CiEW:ua!LTRP/vab/0gٝ);f"xeXvHsa!84N/bSVS ZSv%뎣xhx<0%o L/`]d)ܷbڠWr4l3lGnPK(w`ޟ*o{JA{Bn쿦!#.O5g6)2ȗ84д/;:ZXϴ\]t+瘺h ֏s9zD".TEkFx]C V(t1^~q+P0q~SjfG[^~)L,dd2ܟAy1 # xcz.X%\e"]-4pB%t]jk1slӔ9AT'FYHp DobFQz&cCՎw9f&//.`$ivGo|*ɧ?BNI$ZVad lEa1v=l/RthuʢWTB P& tALݟF1qy.̪`2Z}Wِ.NX@-*lwѧGFKg8+fM>Ɖar\~kೊrv]PwȀ?~ ^sxp)$a 傗z2вG~9oL!akm?OJTlB@[G@0A2pń9v'ZNVok`%o`J9aO2pͣAشI<y녑"@{Rgt ahq@\fC/ą ID@T̴| o t3lCV@9 -w'0 qE33eQr ;6B0/x;_.gehm~1CHL*O\6n; T; Jt}4o @AR~v1c6z]q+(]x!v-4H}eR?SM T=4_ǐQ૚vb‰Xic_3}C  ]+iOsb4ISqs2ӡgH.o7w-Jt|Ɩ%#cSsMޥ;("NKs=ގz 'wϟƟ=yDO7E 2E :\"~r H<ҎXF__(=qqVgՌn.MٝrNCQ09G` A2-߿^5]SG;"Fh[xpJ.EQ9< j&ᢢc/PuwQwr/P#2lwP9F F/Bq|.:F ic1=}dakuz'RbJ+X$3 _^$xE'i:lC>!t)+5sѦJ0ׯ%+dBߓ) Na`Űk{tS}c^ܧ9guBl›^)W%S\̆x.=2}bQ̖_?|HhW$kUoTڴ7=~]āJbBbLK/Kn@*2=!W:X%uoIVʅ-zaۜsCtbwy]S(b),\q֤Mj>yk]p=w|$h%6oAnys n,g OQYۚoeF]Lu7[O]=gYVYZ7Y-$`[u*-zQ6mCXbX<N)jG%+V Wqc{W$ ٵmnCZ5^&zTDN1C]eeTo:Vj1y-cTfT wč@. wPgF3HVeac)N p;湄Gh&%6JR1ߚ>ΩIÊwviNnov4jH-oGD3/ࡱ5e9F6}Dr|駱w9-ޯ9wnRoU~r+s` _?Sw40Z7]?ZKXRSE5Gtd!k-pߓ|j7//-I: L:ÔDVqTS_#vBP{CDBՄ}G$veڃ $c$gpSlU_A|QSs2lKM82NQé/Wޔ=NTk02)VIdxQhB^Y0Zoіa$D͓!\F.'ry壥l|LøP[þߘRh Iv3CXQ߫A-2.(p^UQHPS0IG"D/@g-NwK&V/o2 Nk|᧹*A]fĪΚ/Ow˘.=G P/\ϒV0@`L I jq/2}RScSwkʨc BO ɩF6h|)46PzC^k(a5 kwū+gH"J-Gx|c?vyJTי%!rxB>gKS,tYӑ1GICjrW(|fv$3R}PdS&YTGpږg~y[Yg< 5Bg~(W(iXb(1?hPrOȤjF0~rb"5CX!{50Pw~re_ 6@6%8bu)rrѪUjꄆL j{t~n_R!E6,HHP@xYa@`Fa`ҀN̴/ SI΅E/t4λ;čnWpzd> K$_ dLrیqm 1F؃LwTO?yμRHs$!Eb{ʠƎs~~l9c»d()#E\lZ[{%/ 9d`*yޞC5U*+Bo.Bw2DL,PhȃZOP5OTaM5y?r;Đ=(shs`ފ$_Ui[Z-^c^Df#g*4z%HVS,L)t3|FPz3o͑˦} uPh$=I^k݃iE?xSmTnvRjK@}K*Dk%=X]bxZ/9ɽNzntΟhq$Bf2XʬT oOq"xLT}F[1io~Cq =@涤 ZF`>fkx w>:`T J9ΝІuObQ a#z4WD>vp*suzJu{s ESe6w6mWKV\`>3{|-zߣr;$͙}lU6SHƏrUbܟӥ*n+L8FسZyY>8&{w#_ħs@0@o](^ddo9,1tSmzfʑ%wߎ5EgA2d$Ew4L+ne"YNpbtiXY}f{(hYF-& H 5>V1w84 nB+ '+/ && JƧ6{K_kO#s!%~< o5K m$MN|Mbq.>^?8bK݀05^ȳp-B 7g]HڡE!XQ%bw@Ҭو:9!',![OL Xx zO>Ms]w a4;ALٕ`z5'V^H@XjcNi'P&Ikh%+Y&iՉ}X܀f`s_]a83Hٙܦx:<[4Ac ٛ,0Q!mrD5nX??D^FU,3sڄJv=j5`y͎INx'}P:=D/pk5QotoA7|jNE`9eMHW2t,WdHa)BxhQYG<>Xd̮H(v4_Nr.]icXE}3#u?VOX1˰s#B(W82Cg lRi-Y~fLJ T`蛠֫G//])U" cŚܿHU@E]ńy LJ =TW+,ʗN#\U> קy}Qᴁxxu30y cxa.Yk)vaR苙;|CmhZN&A-<eG“AkڽXI wVq- e]w= hJg|ח'lR347yŹSsa\PAP9M J] ,Ka~zgxeϸ/>]QQIa ԓ;vj+H@R r/^U $M諪/źy==Nyktc= Ǽ,rs% Na b@ۇCoݑBq(%5GjYfY&]/HrV 4]g-*ݔo+N# 0.sUoZ +ޚ辜Â;84a:sն+N2a:9=P+N Ry!oBܕ:9d\BW\/x'LiΝ~Al8t牜@=d2%m< B ijx ZSn(=tS㈯%9|'PBi}#_pS]3͘{3`x=o:z( 1kbVZO|Bm鹛w$}2Yv0]Rgm*zKۈĢ$ ,8IbnT1r9=#kcSZ Q\ޱePSEoxtAe,ći\2S&pNQaV+RU*n}kٷGдHgiiGhEȮ Ѡ.V_ҽ_͚"m/ʅ$TJo,h]%_]%܀VqH4cSu=]Y)KnW.UNEd^}nt9:}#SlX'|dO7⤺GD%ߨ_Hwbkm.m/}]'eb ӽ j &;Eg5طX1f ':|kdWj*phxv ,‚W$lO)}J.jue輻=2d ƐOnCr]Pz f|*ىUdc-?]T$daۈerFhfJi@p\gopZ|'ѕH8`:>m2>Eޝ^ݝx2}\ۯh.0>'T,IJtFJ).jwIG˗-_d,d,9(lP-T:UKT%po7)!O֥EU,͕d[eտ.Y`S>zIs$^xfQz%3ܯgx],| ֓^Q]_nDx1nHێ1UH"(.-' ~ Rbda̷Aݯw|@6'UY8"@~y-29?iU) I*YnZ 9?3xnab&lTYV՟΅% ֛YdDCA(*9+ƞfVGn xP$;#k#6ISE{_ aCoPQ7P%"3d\<52rQmgЭ.W{Q; 7 _5HA)̩Bѿ(K͘D ȪzScc)0Qc`q&*:vۦ%҃6RXazuOTjunW n# EZH!-FvK[fټyq 0ո0!!& 1iJ l@NDk\s|]4VeMbt^LU]LGZZR;駪-+F^g4E9CgWh8Lَ-;J&28C" W`Vm8wߙ> МHU|ɷ+Po7#63tq xn0Ϗponc'vS dj[4/\n&$_jM% :搆Z: j5ipY>WpyTj-1/lǯ7#Qm8oIx~dGĹPj!KcCDE`BwIўor+q 6m~83uW Y{nu|u3H~ ;GnPAv˜Wc`&g]9`;f0jત,T 3rb Ȧ@ pfPgڰc7]1{_fϠ|i {aF E:1=Wc '2uءRXz}Q} kϝkT(C"!$P+Ղ: e0z`p3:ϧ_-u Rimxl-_44Sg>`;9@#Ռ`;z&;CQ{∵ Dj*2/4;Fjg@؉IlU=Ֆn*u71cy]HXWjΔ0+WyG>Yf-Yȭsom$&f沀ʜE҆R~~&&HY圎u za+C!b(NkDJ b +:Uq֩ЯZ O !z )`9z¡iHQ* ]mda %40&Y KE I+F}th;(jH!*$L٣W͢G+<7~˲іiL$ |2HX11!]tRU!n$U^- 9}j|Ÿߴe-<\fIƯ-)0S]@`k Z fG/W^v[򚞴tsj z]B`H ɀzu>R0oҒ5BGtZx+"5}#=0gj,#Iv =I5W,&8UnƐM#K='ĊUCcƟqg '@c^N[I*0>xzKEobV_ GtC /q$3ثMwWGE}|Y93hDo$k;li2i0y!нk"J#]ȔW]m Tv :؂藫QhRGJyJQ,L-C͆Y1bGt7Hk祍^:rl4mEʞW ȑHhl, Fl0R젂o~cG(20ҫY=#G!,dd* #0]w./t M:*fz~hlDε{j4a6g񅝃Qoh!D B)"0ᎎvT`腪=)ίYv9r ,?_Umd恖N6K=HD_B }2Ɉ.PF/fIx.S% Ʀ Os& gVήo4.p])/.)`œ8pD6GIl=Pr% u6{f/(nڼe-e[~TO lUg?2?xc|R4,nX1<A$&~Z޳foujױ"}sxILԫt ]ϣC #{[<#WNt|̯G ld~er>!Dd…<.y (<;)C[$0MXEjYUS㧔oVJhfM-ijW7Umo61ޖu1+G݄(~P+biVQ,TDjXUS&l)]w i3kz?)%1~lHL/o>*(X>)!G9"l/ ƽYn>ef|)lcMۃA,:5:.yQ4vɭO<+,nQK9 #N١_H83pW1$cv'h ?'|5e1Ay9=/CeLRR(1NJF߹WD Ld6f=2F B{'E[m/Ԓw" @ÃbžkW Rӹ׍|wLPڡm\R' UO+Idp0SFwmgP$׻%]clLEaX M}ܜ׎!'Y}$80[M SlTP@WF0d%ޙ4),).-8\b3·+쾓ڲ/PNi{ 3oX? zsULEZ n ̜nK ?*~ U0#[t ͭVkpH|ԧ}v5nΠ{=Z*,*4~H57[5{֍m.7Bx5|RX6R7-K0|Kj4(ܟ1nh tbbW!j7஑>D"ģ/y&EτJhS>4\-R11M{<ןVT{gmyZULτ1N?D !Zd2|cT20;v@d-&N̻YKW) 'Rer#4<:c"M <bED/S +^ hҹ{0sEL+r|4QxJ)Vf)pjמ[_B1o\jQYcDj;Oj/Iqiq0FWLnØ)qҽYj,Q;?$T6e9ZH^! Vey8 ƷWx[{ vy^<ߣ^ )}#{:$ldΔҨqp+EA:L[em!)kr=%(O{6).ۡ¬ r"Ϸ5hv \rdY vԶ ,릁'.7 "~uD?,@>0BrR>v;XJfZ̡ˣ,)@QP '18gC?[uӺ &[h5M x" EbT0=X7TjSuR~̹@dt*G6_&7ByqGCºy;/pf"dAx$u9F~I؄tL9<40#َ,: Gqb;s5:ẁ!\bg!RwbAdh5c랲6`!T7O|ɴztMzK0xE107i2E,ШQ$)/(,fxfUU}9 f۟oKRvJ`49it&_LW g8Ч2Q%}'d(&1KdTrZ"\OovO;ũF\ŕEX&zI[ŶO5 O$Ny/h V̋YyujD5d,K0?(渒ci0kI2.@DNXCӿ u(%qGouS¨=lM =RV]~ L;!J̝̗nу ܔzotYx)]2̃>cuGQ f'0sO]CQWl*`d>]qc)hZy٘f4m:lPq^\՝Fo7&RJZ*C ?R-(VslOM̕rey3a~$^병|r;KKxPtec"깺i4MzE2<\Q>]d~8?Iҷ)`6L/\ӜC K4IsNSXeD{ o m'W7ٍxľ[|l2_e\l.C:KiXp;7\]4EOdw>8\q/bhc:[ j0=& \c4k@Ti]ә,ʰGѡ&8D٬EX`V(=+{|{;>jŽLumO:zI]Tv!l:ުn_"-`>9M?1VH#-F9%7?@F|kF=zmZU}6h1e(V^{5&ieO.hۉG6LX ř^2LpPLR ̩M]A0?:UFQdA- K2B"g>pֲ̒wϑ삮 ](/(âRnP׽ KoAL#BM1HLע^ ()#Ļ'1R,Ħ>=RN^{ztU˰t.HҜ NDqt!?NOjRzG.afDW[r ίGJ;㣣Sk3ֳKҎ|x`L!YD*6cw2ずCw6D3<4G*TMQ 'սnUnC>z'g>{>@xC/U҂whwiI@kR.c+]ЫxKqϑ`ڏ\ ږP*_Gqy[gxcIذ>%E)מ꼙*:sb3uo{1T+ߦYN\ib]^f}V$g5G@g$)gI 魕fObP@5nAUgNT3R]E *H$[Rg;nNZ2$ad[݀U l(bfF';gBV+xݎw@\oL9C9 e63g_l`Ǻ옟lW&*vos'(Š#b$Ŗg an2T, א"HRgRUpe O(&Uy/m)#B=r"*!3LtIJ˃wDw\%hZ\V6 s(+Mh 0Էw)$6Ea3շ5= d˯3{hxqD'JT9c|ohL Oz$V|FH]}}%?<\X9,s q[yU:S<k'sQrI#(ju6cCq _w9m֫A{L&v\>~5Cx{e2w]`ѫ#kә\iz4{"ո+~wZB[d2YG|j(+o<[,s+Ϻ>zȎ+y Jxz\/?bQ[u%vV"NB?7FE|ƼQ, WݸUky2ylL<7¹ sQOjA Kא-4FHi|@j%Q1ڹa%'ؠ5D4slB=O(Gm>AվzSK,םqUW+ki@l9J0wV6Z2{3^(%eJ*º4IL&*ܸ:Xv2TL6f&`5T7%bcjnUI.M[n=-EE hMȚJD^s*s07|pmkȐᠤ#dsF~/2 ͛V$SljgaNm9@<H% 1Ҙe-p3(` l9g(o qM.!3!<6`eB}q|n{r2!m_79 ] 1+piX(|TjTuK )F"wvExE쾕!?O.DI$]ohew}iFb Wܻ`RKF{a'{{[f.x) <",î/ꆠob tv+c1Yz'^~Ѽ؂ ̡BĭOԳuOy15OшLm #0؞d,n] ;]V(+QW y8Ew=i NW F@]5 m8|ԽA< UyJuX ݦ/SڬJ.Szc]$oqz Gr6.uOZޘ4$T#;K5)VY5iWv-r߅[t@>2O3?>eǍFe! ܭBO%r'Z`DK(V.bHف?IrKsa/Hx5l`Er= !()*]=Y\ `$43zַ;|߀V=9 n6IFnqC I{jsZȱkoH2腨nV|u֎Gl.lp2^j5yuHKXhp#ړbA9kF2MKf姩(u^z^e2p)"]L"5pxT57G T hvf2VI"I[& _ėb:nA2Qsl7wE~ [iqIEu'C9#xߎ0s-4 oeҎº4Ej+283r@OԟI2/5ll 9] ǯzQ !WnG`*ǟ%!6rW' Fg`"Fnf?rg_Bcr.ufGX7.X qEPf4#22T,CjxK%M"Ă2NPlPM8\I<5/GyF!yu} h-\x_Y&wQb'tPg&S@N- C.QFuUܿEWED>fp4醙UY XPEd$)7|:t9Z4$jdZ Tܔn[݇u0mD~SX҂Z3[qMVkۏ<u+=c!]1]V?i.[{698.<-x-oO *&%  w,D&! ,81#RI H\ RGφqd>\.\iw*bTQ{f/*%ol\J 5:^j1iQ/ .M2nLz9%w(ʁU\0N,JAY_l)pbv²QWu"jmf=@= nd+U8@qD&ᡭCQŷ-;E@([POy@.P.##1yܥC8l56xNPz* oMGLff\w-OcDz ) n&){:z!hίQD՚)nFav(92Rh$U \š__#US~V+e%/)6%6tgG/Ƨz{-(;6~mu+Ck/2s-Ė&~ފ/֙8T"=ɀ/} WFVG? TyC~p؇dGvcoO"yQ=Z˗;;u6;zv^_ PMy۱3o! %N8A~Aat?_5ԔxsR7Y_°tda5)LXFvTsp>ȨYN!QiA46=焸8Xh_$|^x 8a=Iꐹkb*oF,B-J|g*6r nVQ3씜'5QS;g̡l4)v=:S(N@I&fEUZo+%\Ogɾlh_U]m6~HFr=vy)|i*NJtل81>oEt%҅[y;MB&q)Y} Qw|o-_Hӆx f9*Ę1}i$'Z"P꫋TA @ZO#iRYjuhVmlpyS0&pٛM`4t&";C/L1+hlOKt5㴞6O2+ @WŨb,!1LX L m!T:LrA6+PSxq$zoYQDN%X!@r.S\ 1 Rw!SI()?l<钰XaVy d˭sqDs@ EЎ A/u"lKY%RnB2C!Ut;=X{gP[fAĕ47S F:)u1f(t$ p}O}x'j>VE;!I" mMN:@5MsQo{ tNgp1#hVyN_-a2Riw[eO8[[)@)5Fj|t)/dF.TK}v !ý3GI2+;X/Teu-^d+\;GvyKq8÷n_x8;Gpf5g6{U@Htn^,z a%`0;r ,"`aP xJ\^(']N }z5BB.PqOFT e7c?C:SvzNULϣƒ-Y))mFq!cnOSQ-펊*m#tį̌^sJ4W aSM=9ɫ:ҵǑ-e= RQ5pz<\vvOk۝=ۄ?_VDO׽<>िm wҊ,l_/7)w٦H_[͗qav2EGx7d'(kd?@ UM t~Ub/K/bU+N;z*Tr͒Abd4\1\/6,|QTw:˾*m:37+~w-VӧndCț\.`T 2A't34)ֈ -А2 Lj$ lQ!1GWZ\ rh.{[f.f{\%J2;7MzcJp| 2 Z9Llt"%/,Mx6Ni31v9`T MGZ O8kX#5(7#NA"VD(HSϳ ׺Mr!W_>nKE-ϐN'%67/ЭB#c:"O\֠ՆmEgW ܁{lnpM%prghJ~0!ߩy9ƴ1Bv)\]XV&oM/w~˽Bf?,g4ʛopq]X12msyXu!rxnt-+*j2NWًqD+\ljP53 9G/( 0Tn;9kzOX+(pn@ȣ51urۀK&Fp)!1,jg6s8:Jְluf:K_}a}Kw _8tK3vF{ NU=RjHgֲe>yY_,xYUK<ΰLIBmAMIk)/fpQztB,4H4bvv |}=;p-S%V@:a{3=6 j "5'.3CumxbY? /nޤ'ʆyD LO1֋Ӕܺ6 pB͢4ɢ@q y<Q\cJل̍߇)W@hn"@WEs*u&3: A=\$Saa1ݯLGa4zbMsxZ59fi(A K "=y;Q"EД֛F#B_@>=m"8 |`)&q(ċN,~̣mSRXER|gR£R?gfT ε`}%At,!(5NɖL:Mn"Ohl GOOm tPv ͛/<_ N"2Veq̮5Ffd`/r5,;1.8{LZ^AebzuQr* Vڹ.T]FD;%Pw]vV_8ЩJ _0U[Rlޝ/\ rUd]}1AhR%JBh6eprKܼ,M-r?&ࢦx 3׭KP{;{Do˵R@ܝs9VUӭLlIYE։ihj"A lw\Y{yE׈o|+?Flݢم7H+5. kţ+,Ѥ \C=mAO-"hxzATpXL f0-3ʽzIGІ[rSܒw `{*3cC1wh#ڌ"fWΔ:qi>lN>$w~Ñ0L\琶1qgz ߰)l-KdF}$R(9&jr R]v\.(-(G0;&ÊP-H4XLO悅?J7bFq7! a#Q*vO'm!Aч]D`P242^22c0^V{K> G ۮOL© .x"kQfX zfpL %#JelJ%j]H~PS`O'b>D[7ZJ*:W/5 81N\oeރw*[_g I8OckUA{|*2zn s<`Ϧ"!OG<-N7evWq{Ρ~UǮ=Gm ?7 A&ߒvD-&BɅ$g %gޜx{;Jҋ0:6?Wc heMfs"zwc.G!ͺN$J(=Z+v`&JY0 fELpeڕ6|3L?Zq54얰3#"1-薤՟D w0l> 'Im7"Ft.ǿېr\[w{D{EXsG>9xH@Zua.-n/yU0M2 #U"`u_t1mtw9dd%m>%B J{3Xŗ)[81 ʟw2Meu}9hDć@HvFp+r o97D CX8n<.ry13b;-Ýq_$qA$YYݩXߍ9v DA:jy!{I6qqإoAڌȎc+(utp_}^GZζ]v%{mv<|!xy+ПH`zI9d mtN<9(^CJ$~.>0AK=ҙҪ0਀m80sF˯bk}Uڜ-8:Qf̫n?0sTpjZh;-Wgg5: sxýeC8{01)1y[2`,y:h?!fۀc6) m}rJZfprwL6*&꾵?͔}GuHo{>G~ cg0p 3dQ(T6`lbFwT>h1z`G)S[d)-a.-H=r ,gZ e{Ieʬ#F{C fʭn,}iM)B!ugx/ȱMv]?= x6WF.]{8j[[Fuv *i2eaμ b*Wg U\OXA#M$Zh+ !~ BmXF$l|| E!*nLEVXyĻ8a*#j&*^B֘P,ZzO{rl}q1wM&IRÃZo0 YWFm8G ,ǜn\b*=e\ 2驛؊ m4^8ل\r}*;mzO٣3Tl7i1ތBJށa5>WnimEms[ |$V8+4 z;}WZIf{KJեh]#|HI /c ͒_ʥ  nP f$$)mw Fay@L%pϽ\2d"S}2,DӬOЂ@[vlu:Rgx"84>oͣlS{D QQZF6 @0$8%96f`廻! 1ߞҵ>r <8*46vpQE5gdek= HbePc %sG7Կ8`HNܘ ^z}MqԉSr=pKe1R}ԛG2-]湬`Q&oΌ+{gsAAeL^vlhg{,%&J%u׭`]&DB`ҬLOEk}~MsK@7i*~B{I_(zp[3F=? rDh"s#:$]s$+UWNz(<͛Bzp <9=PLyUw-ȮK/W,af;G'9 9u %*bwQƨkD;pnC97y&, JolnH2W!W즍2W$HK߽{ȔP9ҭбuИƾ֓)Jh+s\lyKrZ;G,Yg9@!dWyQWUNpabքYg?_#HƩ;fX{6H3iH)xEAD>IOY G>mO+/[YAgKXKP#UCNzjɉ_/S##D J 94VQLcݶ%?)Vř}th5Kcӥ0_O;dN%+il9v-匴xh+(ޫq%ݑΔcL=mefsH|vJ!C5\eTՇ(^濉j%5_M1i%itLP(#aG7 S͜ 4e??L&bYWj|W!iii$ם6HJtodwMuzHYez SQ$19 }QEPksGo9ut"vO[͝G\ǒcYixkʄ*](S[Jy1ۧMț1uu'bYB4"ԢGߧxk)TMy%kp[Sm[K3L#"`/intTO~ÞLn]Z﬿N r.ZVD2X-: 0Q+s219 e}ݕ[oIju^}D zƧ1)]8c +96LOK}p3;JG:dg65WpCqa"j͜ i,>IEL2~ɾ^FlN!ؔꇃH- _u=;NST Nr7{HcgYZ7db9de901b72181f98978d7d5fb2d71cbb5e6c6f1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 7b2e61ff0c86e069f55e46d35334d76ef1e809ac