SQLite format 3@  . BBh77otableisabelle_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 <% L< ]/]HOL-Analysis:threads=6elapsed=282.935cpu=1240.356gc=87.524factor=4.387zXZִF! ?~]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jlReh/3ux BP!VQ?˹ϫJXDB"6m(',S?^ieHSŇߗ>`Dy}% +eۅ{Lq+} UG]hPlSoؗj&./⻏Q=U$N<|*@>3$Gj%~ c*dVG#d`L0.7׸iy/@v$#SyjRq^MN-]k&訦vuQΫ l:}5c#*by[?\.msr'`͹2 yq3T2!I? g/#-YEU>Ϛ Fb!O!PmdR)h̏CT;:X7nzz63̋U3!@c1mv !YrkH,w~jwB_-WB;c`"t~DE 1Nx=5+0>:?[L"8\nQIuB狦iM)x4 KAMU_>$Fg$ðߎePo}v `$J+aX---%Q*c/)#;c i}teg(}HM +TB$IN0Xdw8 R1 #U%XE5ĪJ+=:គdk/&B \!eSmG3Qdh]^;4jav3N($92\Ӥ*w+>\|EL<O~xʌXRb1-d`ˋL,c(=ұ"&^45zS2chS.vZK{ާŪ5},щ)Ӑ T5V }YR ~N2_&^#7&vB 8RG,JdR^_M{Rkr)im?-|D9_܌II;U=pw"L[h-6R;JhS)h:@al_4ayEd<|  |mxV¬Mes>435 e7Gxܕˊ'Q7NYlX1Jђ8 ῈBN\Lݣ4cvMxj}"ĮVj 38n3$JJ : ghsB~2$~ؓ8WK "=@%Gvʩ }-leC='Jmؽ9J}{Y5h#l)8'Ɨ$ l38ѱ)kҔBp{vp?l&_gHW 1=;~O܆?gdjVXܤru=X)/]J*K LPtZ侍4>"TZ9U~eݒ?c 1+;J^HN6Ltm *4]\!*{"v% 4ѕzyI8 \QQw '@`Kk)|Y} ;HZwuƮP4Q60ң 5B,p/0d ?{2^Tbʨf 蠒@̹sХgdKږ"?iUeH(%F4>:+hn/$gx0Li|uL {JJ K XJUUcm*яy{$?,g i:2kñ.s@g6{iuFUWB2 熪(9V-jm;zS_Xת>a ο\.#/f'(jy!ѿ*6m?)Goe&;:h:%-Bڛ<3? g)Y}W$0Ho'!z63gV&+7ݰ='-8L?s =6 -b7h,H<|h8L|J[E1U$jbS8C5`g$Kut:U;JP!Iv7yݢ4KIqQ@dl 3L~K>3|z1j>02j'IH5g59_<}ln'%mXdmGbto?9;oN gaCzF) 1 UIև֒/7[m5|YՊH)E"]$kElZV/ 5MQø+J`1~USXM8+^a˨ x^4EiO{cW ν o<ðwO ȕ'4$x|e@_/YBidں  r\o  96ذcOXCF'ia1Yn+&YލrY@eW oZGtg_att|oU.ή Cڂ(y!MyѾšRh36]璙ӯU2nh$jff-gl@$5stzχVb|i Hk& J1('+_sO*{)hK ]tGQ}B93Za>jL!OCh 23!ĵ+d-xn6*b5Y/N\ze:$>Q)S7:aGVc;N?RUiONO) &v6eu7M D&ӿ`+qA}D߳Qu(4ϼsݍ8Z {Q1*t_VpMF{&qZ@7RhT]:=TG3G8ȜXA#8lߕ^?=K܅rHaHr7P$ߣlVotЀ95E_d^@ 3B I+~"*ZY47W>{ItG % HOL-AnalysisG10]~. KZeGH kFkd@QIOs9s'ī'y9֠)rk(OG)#/⟎ҤQK)玺% "ݯ*k( y8^y60V i_K^8z~wp{oF3OQ]5Nz`k8KQKqՏaXiA$>؍ĄqWe}FCq RVdfPoD܂$- ڣa0eΆ)K/6i9>JWLz͓7|Hv.U.yd6M8ža ^_:jE.eu/^mYD@ ̚q$;w'@[QA#?aM8lbZuh]$]p"k e nk7Jsp&{Jx$J{4]G+.z+Z;T"$e$LW<*C5&2:Bo[d{tJ\RGYxTs_g6%ܪ.] ϼgė1.Y`@aGFJCj`@9>BɎm)Wӷnj;ET4P۵cj}* /jkcM8Ԣou۵bxCa"qPlûL >IPZ-97F4BPeg:S&m/96EQ-Cj Ybb ӀyqN^oA :4GV4d] û^݃)B݀\ b3'2|f BNb ĩx.ۃ޲,Bhǘ]8!!,-̮.c Yږw"*t{_1O0j@gnOޡOTaUy]Nb'^B+ 찱h FرïpkYʳR F\|I>(s>ƫ's]x4iIKP?*v3Rgt9nqT)M=9|k 2$8f7,g$K/'#y WQ61Ǧ?^TdƝ!wD'[% x)ɩy'\n 8rloxKɝ5wCDml]7sg8p5B'Xv1-N鑲Yo(hNr_R])A1¼S:쩼J42 e'-O)53Uw$|ڲ mcw)UP7+t ztSCtv#DI1BZBX% p48ַ S`LmB6wi%QL(iF] h@Wi^A0G e~,`֞FĮFASpؔUv{ ^J;@09RQ] v{ު(RekѬ~W鯬S \GYC\wA()}ο&w:)EX[mc/Y<`XZ#A3xr(gENo!"톳)bYC<_ u)Ы:`Oеaad0 TvS2,5)hL?wA73 KnmEWNGY$x;Ia~K#l2lvm͵Wp=ߜ閧Qg N~gNÊwzEF>3DkSFS-&xLm L )7{fmĞVh2/qVs1wQK(ew_Kmw.s SfxL%@]N>E^Kc:0Jp(`nLxLO6mA7{c=GtD:n0 L| K-4ME۰lW4:5٠DHp:'֝1$::4y`u:bNH}Ӯ?})^JN=t.|KI =t aLEV z)(BiS"Ti<bw[>1`."c.p;D|Iӵ_>/ K)dXELw,E+!fw%)gf0,%oRdis|GGsGj1EFgB.5#)&_a@ٳXprq^:j&+ y`B(HX|5kVD55;<;TVh}ϫZix" +J:"T́|(zaPdbsg+I-C5~[w#YՓ]⺛+/*"ōPC/mHjc('3$a w~۹2ZÌ-,Gl[+0.֟m vrOd֡]driKh Sj+S7W*{@{:T[<6=9mlfbǏd`&a}-#]/ILj ,<φ([Gcioծv`H.aW ND[2Yϕ%j)4`;?~nʑ(&befRSxI)6^H}Ύ/8YA!+$H`Pln 8QU' %\ ).~4?}qt|y.-iSۓk.H|VуQz%])OUouЭ]P~[/k;$#JYgE/b3E*>JRTAcxU_& ?B CeZ1* vNMhYka@ouVt ںԚ%>VmAٙ7' ][3u=N<#E*Q͊"րr</ŻrAɬb#1+B\NA(E\U\Ի;R5 G.RJ:y=y֯>|atΆ6nJwwD=5M` :rv|4̂JlG_#[k} ef)bo GݓSr㒬n:!%9ѩIŨ[7p%WZ#S%I|қ^~SӲ3joCyJð]FA[}#@ODG.|x'd}m,]'UɃ6'y1څtlKwLEn}=jƳi:'Rppٍ3rȬ{(1]b`VQPjJUݽVW:!2GD 6?ڜvr!G2/ʤ2ybR|SCV ʼQavKn^b̸:WSE oxb}Bu+kO$/hh4xD}b)TRu>4 t鼇IC^MㄗmP? ?Pv]?&{X($Ws(>7䋅#F_jG@d[7&C1ƑЀo*1e dcc$aÌ82~})%t>'e@U5WWHA:o|[s{NK~'!2Ooy7B=m~#5\X,WGx![=[U} D w340240(RNW|xuʜSh\ ˷݈늓CbVS+4^n A~:#9{ty8U5VGDK_#Vcnc\7_xoJ%L8M{[ +; SX_%@V9++գONineX[1"VIq")7pwPsT #NY؂^^]iYXgV:P/M^iCDGUURbP'.H]{j`QGbo䬋D1JZ.>5(P3E9ݮ+la_' FDaώƄ;R9!m*T5UKC='-~^^l!JQA"O!Y,H@+B9. >4VűyzDΦA^%*R">e5k ܏Ai s;C+ڑ`Vos(p_Ԣ*b@ ?\2 0IȄ㭑1_o>0|rl\{BRԙN;GNvbNah@`/n.Ʉ5ɥQab C@Gtv9e0hqdGE=T7=waV2dM I k]~JC'p.C FPr_|m l'g*Lv7<M~ d]=(D yPAyRO ,WSlq .T S3#U RqEσQR?4lf+?+w t Snf#%Xg$`m$G_͘ӞϺ* ŹiI[h;-X)]_ylWܰbk}|W^8J1(.k2|_+%X$X 395eEx>J[Ǚ[[-/7>$BUf8o \:C| T IFJiJa(`[3 ,b-"8;j1T䮡$fLj}5iW䟩 vO*'Z@Y(KftTI|ly1+֟͠ WF.Y ^Ob. tl |YZAi?J ~h< Æ،xZ\ AR?;H(z#Qؗ( =W4! g/؛LjgaL;y3kAƻ׷ \dYD~y=23vU0& "}K2/ a"RH%8#~{(?_LUG@{|M\Vghy#\?{d yKzN 6 [e5\m^lWcyϻ$(b"Vx%'I$\Jm3'jbAP*r%O;i\L+~g#-Ƕ0p/4jSҶcT3ݧV4TEv$L'XOj92ZKđvr@03lў9Y9@`;^;mZ!IP)Hq.MP(b#*K9n(e41#+X,a0WFkKPNLw Q0_U "NENT(ծr7` έ*. zb2c-DtK{/h@D/6Bio#iߖ+ ³ggMW8`z:KڔrJvBu=E1 '_# ͐Iǎs;Ʒ?+jJh&7 rdOM$ooS)00=;ܨC,qSQTG$h|\ʠ?őfIrh3uN6pEҴrl-~wB0LH ~@^O*$iݲnez [w|LTN7“h>YHPO-P|zbBkj[XsQ"*j_mX H<"5/: }'.\N15;V]~*B8Z ˧_-(ufϳWmH9ϟ@MFD7V i Sthз6ʫ-OgiQ~HwŒٍK(S 5+g37S㹊s8Bu1.*62Un1~tA(k⥳N;f/LPXJX Pi>6g8.To쵉F3YX{wK=}Kx%<$PT'vy]*9Ѡ,Qću/uW>K` qf&U|89qwq3 ߯(cZtGRQ& 7#EJ6W\R='^LĞ噑8 75QVuµqJY1ੀU / |w3?Hri$e[P MuK,aŸO30|ŸP?%Jiij~I*ٕd~k98{IPY3*,x&Z僚 "/-!m"']9}|V=ңVTsKΕ")昋 C`8PLϲ3=q[VmaXZ0l]r/7<.K$0p׈#o,+`wY6C9yOP5L-1;bnKb<O-@?ذVoϖgBįġO}$!> dٸ8/qL jw JU|eWfHAxd?%OmuAdNpq6Zr`/w 2|dscEWxpPB _= 0^]m'i7}/tH[44eE_g>ml b rTl+)F(=&o0b#iܕ' ~G*E?551Gg+Mc#5]?SHJE]Uą?` !qpLN< #فlqHCޫB;g1]) (!DIR gU*cW삾 ̗c7)D45o>͋~ߥ 쯩(tsnuFeyDy+~ R}(b/)[g *H?qOlT;e32`s|1g޺+DOcc vq6"'02͆$͹1?ܖvHV nf5Ck[ElOnིXpl*3> y$ ;M} Ix\jt&Jjd8[q?|\ `H}ņel1( >pa[/Hq8*?K~\-~m)\53064jvcNˍ}3kO98]p0ͫ$# dAuA6@q|Ł[*V , d< vWΎ3s|vISp**L,}Y<`8H6zkԶ_{2>E;t9l-Ü,"*^aHUBfQ%Q3 R'Lȱ=~ؽpтhqXCJq…qpweE[(4f= -MX>Z;J._Jiu=ИŀjގԡAӁ*)$R~ߋLDЋu-/^//rу˅^81H*ϟ {#vAY|VT0\=m:lxnCĮZYAC iWwq4tjl0\&x-f9]z"SXWQgfKwsYZN@JUn&-S 86|-.+jH}[1HejR;HG$wb'#P͋r7iF 婻J(b3BΚFO~l{r`0|E}m:?=(^rܣgSsE=Iryx?b<;;Z0M׊LDUȢ.@Q>FɂN+ܙYR@L_BKvG;2͞) ~ KUJ+rZQ]q5#^0ۙUss[VK1InMgEl2/{?f>@>,WD 7`z^um0=a>H!'.`e#6m묧*,إ7M(>Cc>!.2t)WWds*R-)4uEF΅R fr\N],i-)Ѕ!^:zogB^#OaLjx DF u>pTUN˿M#B<+/#ϧ;VN2}ŐS B}b+ H^3HuZZ;7֨z8J%P? +-9kUu^K.y6ngVLhesP3{#F(̉U'㮵`\b'yؗ;P&&YkeWèu^68 !l>k{j>p^nڣܮs Y@oWӾsT"kVUZMj6d=|W;>41N86-rKxDTlOۡCZͬ BpbfZD,*K:~gD9. 'i8eʷ@p6©Y/:2 Kl{:xUeu#:X1dY;B5 ̓'"ڃ`3ya#rrܙGg-0+bDjtBum@ :e qnmʪh?OlWq[zYUwKZYf %l YeLȈ'z` V?0D*kփM 9F%qik gYZ7zXZִF! !]ŗXiɟ1˦r!cHkMeBd4(Rd]C(g -^/]t~h#?O;,s+ܫYgksTNž *z3A(/Ѻ-CBNY̌Gt CzXE'` ̠ G&OG Yȯ`+Y]5`/UeM˺3Ģ!|J4e Qew89j&cЇ&1swlغ('|myʹrCwrOFiRmk-$Wa=b5ڶ-Y +&qcuVhF)Qӄhmދ]Rwr>A~E|·䓒9=&"M5+r!k;OqF#G1z6,Aݮ k "-pN#E Di~1 k.>Y˼i Gbl?D`::nHqH&[BiVO;oEXA&Q "4;`͟ q M~4az+n?+x3lC)V Vm'QĿ V]X>A5\!ȴ32mQ߷#n&(M}`CpӁSy*;AQ,jmDM9zVW_7g5>O6ӵƍ Bj.ljGXV_Ʋѳ~BXznxBɜ0D@[6{mj~[& p?OQRniMU16igɘa/? 4Pf!mB-+_sb;phvhWYv>kgnQo%%1v̮jSPoqђ/)> 卞Ye#rNo}2ruEs[^al*[.nnz^>O}֞Lr;毠{U"_R(sj?%}" aTh1s}~S{PkRg_E>EI% z=׸) ԋ`R5suG;[aY/Kŗ/dgo**n!8L\ܞ%?{BVYI!At+Mv-~KgLh޸2^UJI'](́Ҧr θևBy^o;2H|%t2ϥg qw6mm@"> XeO9H̚u~_gqd@r0%@跬 \ fTkSjþ 2nZSHCr6g |ˋit^Xk=inbzΘRS.;2i$}hf$åVpa.B17ewnŻjI+ B <>= 4a e9a7n><`w"UtGUbO Ncws?z MWyۦ;q7_M9'hBn{/IX2A` TU |Ggoh#$'2cq?Mޯԍ#C/#v qCEHt6^|mbmfӌ{Q`zTu#p'==Z!w.gjk<м|62ܰ.,sjedVIE*)ƨ'?Ϧd?~:I:f\ҡ]c!F(jA,^Ǟ 2ѧބ8SjrZgUWb m4iaZvRBd" gYZ7zXZִF! cT]ŗXi%;ŵ9yԸry牥L t7t!6ncK.3%RMnno#қ[ 3fS;6׳|H}, CO˚EQ|adr1ׅ@aTz&F Cx ȁjIׂYV4W"&U1z 338J\`r, ]v!cQ=ܺDɔ!ÏwQvi]m 5Cye2)`qlr\)un'nhXՅ2rHA}g߭?-aҰrm$3hj *B~O,X8G&.(@;)C;=tBLZ)D@,Ks97O0oyʍ-&>WߵXAmY|ވ: Z钬R?+Km[D4C8 H{̓6J6= x͔Aͅ2e`RV3Ԯ'a8iSGN2W ie{e".҉7so{Vlc@f~G ҄:΁D" w<V[w@vsD(g}RC\uF@ҿ̉'A-)\9&\~N;g-n^lIѢ vKQ칫PA`׵!>0FD8sIj·γu,.O[Z4c4Lɡ76Ώ_>?S֚&HUYbT9XA ]iT࿀pZ@dNbB8bHqC` ~1FsF )mU> ꧄ӫzAi(I{ 9Kg[v`|[(yUGgyKa-ۓqik,TSVaրf„xWF )^  zs]zE(tv_ Ȍ#?oo!^B\.,]\*B@4$E TD6!s;@l,VOR]%iڙl] ;HܩʸF[pLG=x!ػKVNv4ޑq[' M$5`lhtcm1,! #"*ޝ믫A㖦:ꢭ# :\0]r \F &V&>{fZ%(z@_W! /=E(3''㫿UأPLΓ9_Ifx_t -'<?=oSx2$EՈ wBwwTĻw֐."e{Ʒ-^1xT p)ɑajviY̳4$p2 @͇ΖOocrH4 bZ'{G˨B|o)=kLn;"o+6Kv>d8 \YƦZLJŕCbujGӶ>A?n⛢`-.ѲV$`qʹPj7T?қ_L^2iX/hlT++?9QsHPd: BZ644lIɀVV 4 *T7LcrNQE?DsPON2Ɖҫ4ӭTq{K%;י&j+2PD2B {Nr} ̿&}6I+mHY=zu_'Gy0[={Yj[)*MD,[g4H-ҿeu:J҅jE6Q/"nv8x>wNW,RCn5c:YԫͿ|~o|JoFl$ |2ps~^hІQOgq(Ls(3P7 Oh"ǽ1MOATsiEt{bWK$hn Dϰݼ|j+ڀ ݆҃S2tֶ]&Gϣ=(1̃ ig2dsH@8'{Jr#SʅJw 2Әl8JpJW6k8h @((Jr\BV,~ٰ̘ȗ sKYՋE&̏M # Qhz"M@΄HIU-134 K!8#{DqBbȬ?vEoNMEŝqȓ2Dw6%{ޘHp `w*bļd##.PUݟ4օab1;!4PS]Cc~Gt ÊP 8E |'+*io+q‰ЯaPÑ={qCsŇHpvQx ςO#@ϳ]|ٛ lvZa_§oEԵv(<ҘgcCשw1b" >&R^<{/{7,ę@MJ rb%6/-H5- Ef鑷=GkZY-A+)[h>x>P<}1b"lDuYeQܫ.7%* \}VmL% jj~ׄ?y==$Ypw7 _v`?1ǝǔ4#+YA}>9cI >7lho7C}YM,'GR:U 4 E;;xr'p,ެf3qol$l1-vo 7ƞ9#Kh?2F cY~G.||O6ӚWCncj<'47`&|ުLVCn]rvXԻ/u;?U1؞aO280ܺ^FdXΔb!?czjG[渴`]|k 8SӲOԴl̻4H;L#T zkFm!Η?CyCB%9l*Y^;OWGRiS>u/ӻ[s!\H_5REvB) \cJlL%_aZ:d<_q J'M(L&kj8ʻQ!0b=&ۚm(I^a?@vOPpQ6TVhI9Qqmxd]ѻ?Sߔ5WW,a R'4~ [p>/t5)ԑ<M# dݶ#|ׄIZSQ'wanJ^*wqR`2J f(ZÍ@<#ہ[/l@ye }0!}if=6r$o=Vý` se< c Lmd #w tςDR9 ([cD񄉭awh`8l=+èf-trb"3yy.ggr)O`N{LPPOK{<1|g✄B7>YQ_QO4R(~ a=o#K-YcAM@C!ݒz@Y$ZKC-Ƣ=Vʚv}(TDvo^~S`IO":tʕ=Z+B3YNg%nTH"xfnghmً gVEv`m,W7>f~pp4ܘaW(.9D[v $hTb7-'q,ơf4r6io<+mZڃYTJ;B5o JL8fULsJyB1) QG'kJc`@äGgwNviVrPRΑC &Jy7 6S8?y\v4M>=$C͝.ri 슊"ZC~S+ȮB>Өim/"cyڌ,?[qelMFF: KD!U,i-R*%Ę95s%-^MCEm3/'R)FpN?@~qyE}Ӊ;̍р#LW  _Wg\C ؎CH_m:h~3wbX+ZŽ e5%DXY~% ,8ѩ}4P2_p\OƱd}dֵ @z1-cqf-JWqIqs)~,&{ P=vJg)x>fw~"iW NʂNV$iMn`CFGD<< bDF=Oq:L}(tQgQqhKizC{'<;yS4y^ՊL Eљ>ߒ=Gd\ RTKlEzOQ$EIC,P^V:fUsvQ)vZT±g4ENY-? dOYONHRޙ[uW,9{6[:mn;6U) y#uOqr §9l+9fcjH? =OT-.r޲^{BG !ZD^${GB.xqηGЍ*8$Q"¸~Uo. quƇVlTrA?cF2S= Fɰ#*Eo; و~LuṊ ,5Lyr?ذnjКR&].rCxf\,G @Y'ۀYIstzJ}M'H-x¼KAK_f>fXvTkOB|xw-T{Y$Ts"V#>7E@L7KnٌՍ1sp%:Pt }BO?7 s>95a  gXDG{y83*pt~F,ՊXdUKbk vt*,FST<9j{{wTUh dq\nFႽ栘[.sn)ITS0=PI[ғHV+ѩ1V6O&'ju~Vm.u{2qq!QX1*eo/tZS)`?J&Ё\,ߩ.210Hd[.?3?=Z˔5L}Sީ_DTE1fF5m*$k/kr-Pߒ.M>4pÅf<^Ǽ|Z˛Ρ.4#Up!` &`udHT19}`_Rxp֋y_#.v!n:@I/[,Mx%Kd >f0Wo> ]u+b~~M]iYީ7={ f9GE2%sD(yvU@9Upb'At Rv.Ŝ)ȜTBLGs}  SB c*jF^NJOġ5ɂ?i/p،JcXL@er0C̐7>uԼ_ߋư/L",.J!^DF<eC)??)&[G168vZ(4lm R4ȝ <<*TEo$Wp>k#/%쁒sF5=͐ujk/@Ħ^ `qOc> ~A -_YA >ٔV==~x Ř7L)'R󛍄ê0uTEYB;TCe㥛Kj^+xe[%Un9Wpk#n9V Rw9V.$;-0 x*INƚgb[XorkNbG>di%Z|3CwkN{8b$|LZ;tZ \4%e5{FTMdCqf}hS3P65.dIDRG.ЅQsm[.Zk =h%Y=(z^ƒ| Nj.80yI˦0= ''_- /,"H4]6ӕ5d?p\Tl_C8Z#9'CMc l4϶7OwW+ό ?N.ETutYigCJhKlK&^^vxfM׸!Q}?b:I4%5oz :bǚF4΀i>UfOGN)X{GU$88䣥K[@rA;x̕O#aYl4O:Jcux-r M>s[NmJ*y8\WL{0>;\ÈU`~TuC8ZPG6iP澗 \ףPjb\RQůgümC[MS:T[$>CN!;ߖ-Zi N\xNj yBT0 Qq#JxO"1RWd^K 3C6u&R3 Ho]s83rZpȎ$FMZoUy7^w^ui&(+OP'F'$=q,Q h;ʚ ۷l0xd҄\5~g>by^U1 /p\ڦ(ׁ6۷؃]N ºXS}j㼛GوT)^|7yvdy>D$><u Es{ aC4LڀAE&5zF 0r`R^шJVjѓ@E?sd=zX֠im,vBP+zA+Cu&gY)@չ iV:X_BMRK;_% eN=~^L_&Sؓ]Nm­b~~|A %NzD,K6%4s /,+{ۓ-k_I#-d%&R5R}^)261|j=/l[PAfu_E:_(tfCFUR6<*t[6)Wq# z7bƧx-]䧲ˆUySvě"Y ۵:tlؠ$6a<$SͧJfϰZk- =k%Vǥ qW0XSKŀVDV9A:Kb:, KQ)w溲Qzݢc:14{{P/qŞOe@1gxafUAe|rJz_X1 vMJdP׼ )Q} ǵb!(\W8Snh*o 'MUE'& v%qƵ:&HSNq ~Kw48]z檆1\F?܎CfTQa6&\Θ1Sݍs~jp_H.t*^P_g/{=ww/f1LwSe(=ї n6чmG$eaA?mϢ\2Ԟ: J\cGXZ.4#'EFluH99NPWUc Na_/y]..`x`m;{FF6o1 ԗ 0ex}Y:ŵ,c* =UNFԙۺ nhSDuO،]E-TSe8Znnxݍ* H!he TBqQ,@#wą)!A03I֩놋m6[3|KP9ʨ\Hn7/;ԧ<Es~?$#;%Y҇ѫY옮'xr> `;fDي} J`-sv:. u5;|` t3UDTj+9vw~3j柳oMt6kB'G](F5e# ~J'AN=bIƿ}(#*ɾ,M7噉[^8V4.9+2K\jB`:3{E4wk4̭@ {AgW[,2.<ā5e<1j*'. F둘nTףU5+y ҫc(%"gf~PZiRAaA3I#〜O)W+yHg(0hN X9=:l=tًa噕 1%So ĩYT|QN\ɗrɸ`;a_| <i} F.ڍPP j+҅ 9ĝr.jeW-cLrݿգs>!#:?k> ]4v>+$3y*M%! I4ig_L/. ɔ0U~S+:I0vgqZi e^b"ttD(`¹ V9P[cIʾJEG7tFgV{eKrojq 0a)ȧ)!]6ACcl>!&:J8?<&g8CJ=a+"4Jlp>^nT5^n\xʴBkS).A: YAL .$jbŽsM9!샕tfM# ϭǦk|/`Iy{E}F 퍶IGڏE9qlzo"AvPGR v ,=:[WrٶׯN.6 FGU !ng!#,4(*ML2qYb%C*]ҀJ ǁ} N m5 E$5Rzf.0mk&ݺsc[}S&,힅`.&M~ئ9U>ci`]{cik;2#RV̇dgq@5,N;x023(+=e2C/S?%"VRۚq839b/MșvtW>/9'{pq*52MV$>CI(clD5*8_tS[F+Wǵc_7@R9ktsvV%kKN Ҫ F9ŗ͟J,ds(VH&٨{R5@cDKLVoTR9-TQ8q؋Š;L0k]r1?ykc^(I@?f",>_ğ-d lնF11"x8@z/c z(Q0UgFȌX 2'o vս{dMԲohK1[\C^ !PN7pSJ> /wԁR-YD1[?1|V7ϤF4itF=<!bg$€ua27W/J&TNe'O-LSK%U'lw$s~ T^`qp犂C4*@`[HKh|=*<0 3zn^_vdN 9ݚ3n? Ey@J>hѻD̨Ӕ\ߣ!OcM,xwb7OlYbKSkзΖ p2K\AʑܫKݭw ^dHo%kSy-VLLΜ#LtY?ZWi n[wExt)!_gWDC7Cò巂{k''ȝN{|ߞKX7`)gXmaoOm`lp!U.g,]{H:_({,/>e& Że"s+chv/F*_/`ӚxR.*ImAwhסLw7,rNpF =!:k&$Ǚ>[.1&YQq3jIu[u:'r¥NPCp@"xΥƳ} >s󱯦T(2#y)!$@>O 1bi#pPM`WyOT&Q@upv{]J+`>. , BKd%z~ءn,^ ,&AfE/L'=$Fo&0Bh:.g%7{em:)܏(m$sgz {2s/+4x[S W`u99|,q۽x};!-9^@k-?yxS9X!I֯3Wzs*ON+c@HA kܲNzVE21I!6@ ^NR-Mݾ2\yýcvftvF[FbPDֹ֦[ܺC>ƛ<+L JàUo6ΎDKj*$_4{!OpJ ׷Y2n=2sk)Їsտ=W(kRN>ALj ֜1zqw* vD&:2[GEWӖ .R莞qZ#":MLgpJ%X_z+xܑ ZREԂ? !oEܪ 7poB I0lѷ$ܷxζ%8:'N67]h:m¶b#?dYzXm:<A5 rfl-6=6ڙO%U/8LQ|7xc&HޘNUj6*ۯ瞃[c>͌hJ!8)W-?sA_3ԍNKiReZ콕@X} Od'98իRjXCEv >_$ لü6y܅11YHq=ٽ=$tlݹ`=3KמEkiNצ(9PkPYgJ+} ȔDB! Rj>Q#BQƎ"MwbHk=9]l] ڸy 6"]fȰA1I^5 ͮBe5/8V-p[pav Nno aWVng" ]Bxu+Ii8 "Lq{ ᘾI8_I0 ! GL\ȟ^AjE趦* Gsɦ;*!h&LJ.k۵C ]EwIWlܽ7a)t" `› T&Vqqƶ"3Ȥq9\%P.#'_TF!p4 >yh;N,48+ C.l*d +O7hju߈W j1kQA`Rh/;CTUQL҆'C<)ڔb}jz9OD(g Mo>)b(O0 4~P2.2bc&s@#xl0G}ޫKkM؉ar)/x gȒ&˴00w24eҿ yZ?]p(nl}§j`%~ c3[7wEELa;ۮ)[zqpe݆np~8T_\<4p:-,y 7W#}1iFyww1rv҃ʮj==w:XzɴJsԈ2]y{ru*ZI <ivTS%y9#".|dD:I h4%^"r23H._8{2/є~s8VaO/q z;"u}/`8CݑiG'T*Y$.n@,Z$Ш0> !\=E=Cn/10B]awcC36:Fa xTЛ9X!jLޞA Rk6XSf?fEnU[PzkI}ՈRc48! ~Ef!Aht͵6OzDJgxBM=}MwO D\ =y,eloh׾C]A~R|eĴ17GN1:w>W>LҲImq<hh_HOT1Pq/"vw[5.S͇c CFI @KŸu<03+{!:2x])1wt`\Kjzw+:@s':̮-JGXo8]rJ4[Ïkrj#b_z,c5gA/ظuYfIdه5MtAjӃұgV"FǏ>HU{RzTDHx}>dfn O􊮛עS9J 6-.W׳+h൐}q=̥NEHA[K!FgNGE_Pp#{DJ0yހ3)[6fIbrN%}obi =#*D B-ItXqb*qĕ"dɔ, OjU1joSKFqn<3unmP:~EȸMSoUWVl/OpHAPۏ2]I^zBk@P!sAUBک_iM7O` wʱ܎%fP~Չ{t5pkܼ? VhQE%Qo,Es=,ͺ0IY5r(GQ[1pǀ Vyi# _)1RES'M*EzDx~F݆4YC699H=X,ĝf92ޑ ︷~oĽB^7Sy}k0O!΀A…‘:[2mN~r6?(]<0^P+b ZVHN[|.i>;Vqf%̯Ì*k#Bĉ8AOjnhTZW,'b>7…a<Sjꁜ( .cmHs~L>Jjy/+@­@>r9Bz W%X`$("ˠv*~  j!u|m$CC.`\bo'5qJ\´-# OC$] ctQU()=VsPb3?QJњ/੭EaIQwlIXΆa{ BQ) 9kSBe{ꏱQZ`/4'` \ʥÓeuK{y,R`HS,O7y3A+qAM ƴ1xQH1o7 Op\Jl;*/B˭KRLV ȕ~>h,Zt97^q1>@-~0hAp&M걂xpLXno:JAbzJ-#qc_gԀ)ag+InH{ZHeDYlįòZ>63Y6ƹO(*G&=97޲dM E \^wn9Pʘhwsˌ_jk}D4n}n룔!Sn#X3=UҞBzdwVj Tܯ픉ָ9WNS%چ5Id*CQ}6*:MXVa ni5PvM'UrKw֕j%zƽ frtMrgMem1ZX7ȅ"i_Or{վ9#I &!"CR'ET tj.Oբ$:AR[=bYGܟ;2^3B3U>> -h}T-|GNJ.ref΃ ^EW`&0qD$dXZ4L'. jy!xEne٫99dt˶_C哛\3xsR3|&xl Ȝup`LY07 DGCzkLؔsq~ȭZ" ɽ\e2ņѫG(eE|'{xja# D,lwϛjK5 xY9;zj ڞ;]_r&f@#wl5V׋ & 6`ep7m.KyƱgYZfebc9e5ede3d9d01bb4fa074c5d06b90375dc99c6c8c27efb0c8ebba6c08dd56f4b9bc33d58ea855 bd9e806d713320e48df8a9e586a2a05529fa70cc747349ef2daec0be7b95d4e292da3300b191e130