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  0!|T ]]]HOL-Proofs:threads=6elapsed=585.618cpu=1421.876gc=194.276factor=2.437zXZִF! x]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\ K$~~iIT~x$ W/{3p{QɿĞP.{8a6qh\Q^=YLQ/nj5|RektA[ ک{; ᩯZJAGO `V2 O!.׷F\.& VXg E%EHQ2:dR[qk*9YR}7#4]խ$].m¿0Ec޹OO'nmH-FJ/P,Su& F,rwۿ$4~lW~a_w$Ej_.bEP7̉}O62~.gQwVRsW'L@L&*by43; kB"ľg 45t*j;~m Aʭdy4THwώ%:wt P*!wQ~03?^,Oɵ'w j{} m##'@~O|W> { ,6ҌEK 1i<1˴}DN=`c3sг)S!uZL.M='\ JsD~2k  ! HOL-Proofs 0IЪ>.HdDufp!`S 'P6~s钂h]4F';wIw@5RX)cq#c=o4+R Ù`(4OKE;sHkzH_gֿ)6eFY~|n"*?{~@C:sjߑʳH&~қd)ky"ƪ&~ 1H)?%u(&vl>r kMKU¶#m .K4M:hclK]zc'ɢD@>'P# i+P z&VkZ]^IH:][yw(y7CrZߣ05Khqf 8шƇMkN͒.[NiVmxш5tS+GC$s'5 E*x%WBp_~Wɚ9O1x%U&*եy23T}{ۡ)A?ffqԭ_.$:1iͳ ۛEÜns޲Tz<Ӕ z3'l|l }קrCf9Q~ M9+]!b<2(S,lTHN ;hL>t-n;ѣNYm`Ǔ>NO:ӝ IXlqHH4CfI3Pla"*]F0SI؁ e/Ȥ*|sr]ݗ4Hy'y‚mpyH#ߕz鲻t#)TP5СېVuvg"#yys*a|bcŖX~OFs,64[Eϳ6F-t=mzK"UU=i}K.Y=sSSz:lC臘lxWNgEWu˗PYII}7-NR2iζ5 @% .-E ա%:c,f wcs>sq>ޓZ88PGӃe.cb7n): P5#T zVl-\OYe(qһ]WW ggo\_ha96Hii3 VKPvvŝW=+ۨWsK8݈#QHT!x;a Q0U(-v~,R!2;{2h0n} . PA]g3 %SJՀՖebU̗)Ϣ :-qfjb 1E%X{H.Ӌʯw.̐윮Rx& b^USޡ2|:P(@"`RIy|ҫ"Vxt`HwȠhY וέsiXHG%4$n]^i4ۜr/II}&JgK2…-zI_22W+gH;PaWB+v99fsmH.Bb_~)Q!;zb<ֹw%4է9]8A&uPK!^+ wzY8_^%EgȸQa2sԷǙnU]3hB/d}㄂uz27s "47dmXfH6ɹQ,:УH`c;Mq!ѠЃ!PMj$-LG)VU9E'~, k{EdX,AWFPd@CY|`| 4]\~1OFt{/.a`q9%7xR'h=W`-(IDG#K9df5ܷM=ƫP[,*`_Z?J|njBW ]QՓ }%Y""F3D<  o5x8G;Yئw((l6ZKovrG~+Oɝz*E:RV.'MT~> CNktRsmZ SQ&3S% 9nW w\K(֗vv"DA͖xY0]\SPZϰ_jJ[?eI5F\Mcf4EdyCP cP7}(ui_F~;6ٝ@!4mśѮsNl~q\/Cz6q=Aަ&!P9܃oE3OKgN]- ^X(dםp13RרA=O;֘6^\Y PhPHu!$JKgLolp(_5'qfZ2\2u \Sfelμ?,kyH$أiYnhJZQvG,%ԆK[AK12y(!.XgP|EE"5ZBE=E. ӂ P2>ɾ\Kd9F%;8*nm5B $wq4X_1T-؅wC-3TXy;9{t7\JrcbSwyIx*J 5<'f~ $L_\VҿM[svbJQ\(+[a:&/GЧC<|^ Vg(4j"1+}_i+v7ϼ)5O$ŭ~ l}/c?~ǞS4 % ˣ ¿BT=]f~P&anͽK,xB*1a 'Zg=f Zo5^XR,)Vfn ̱wI(lR tyN`\3BhWC߱Zl2ؠ#JKVߡ2W;40Rmj$ɸ>/HD FVsY'ݿ+}K$]0F8˩~ LRuֳNXu!|l!,-:b﶐39#bW[]}2m<)hʆlA.qlG t'ĚSp8MaBѯF+⢱ȿr0ǥ|m(mڎɃ$iwY:䵮rFb,FvJO]G w#O繝xIYH)dsj܇ ?>/\5^ܒj +6q^u3X?ѷ+&>mli-/5E>ın🏮b>OIGҗ3C.p#џCĈ丅CYNiCaz@<>v$lL,"It]~N~]<>U]k;%3;nuס=Kx\/׌&ߘ 䠖}aۊ^#oHg87z z CԵVX.cUiIp[LR.>ϡcJX b HI;bwn18[,~rl$.tm;P`J|-֞n"S'u/iW[cGTI봮7weFwZNVH r£vfVz#6bu:/) YNJBx0p1)Qq&[}e<򛶜gk E|oנڦȥ^nE" rQ0x[vD!e#X{)Yxd}|)8(Y 0cbf߳< Rn;wWiJ^B_2;AN' X;P42oū#c}ڹ<$yM6f~k:&w:; Pspݠ||EV4`n bAm Ţ, |ʝdqXPT _z|$Lb{3 7WR34fҠ c(!FP"LygwY62VN\xV|䩬M`R7fvGYkXT61"r/j+$R:r;GY {yC),{Z#oԳ0Y0~2=b?59 ]Z!yD 5Zt#&Z0chrcUVeBGٙG ~k]P?*fDWXKg)Lm]I]cëe %Gdk\Kϡ0Lz"Y^n`j=~'Np4Hc2<|7Erݢd1*\hʩ2 pw= -Q\.iO$gEf[|Up>c Lp!MiY]l_vß'neG&0rVBgA_:ыlãcNiQsz #jeuKU&墥%{Dɍ.ѱ. 7NE)_D\qԶyBXƴ2 g> x( 13]'#C(N^2}NJ.`yqE" ѯI3ld$ hzEW2~' M [+?p` ">1; *zHtWRUs\f+6۾ {+9x;ҘnePm+TQL 8J 8mx 7Mt D#&BuIeFjO:^IlM]c\H79 'O :cC_ap7P]G9sZ>ؘ ]zX6{ө͝145X-I}>ciBЕ 8ЊWy<81!*h`iFjnQui$)YEKA:P)tcKe9eeeRHzlVum0Eč}1" @&"_7a%{F AK}ƙ_|MAn\9paE XHP:8gM /`%7H,%O%U1"kPpUΥ :`>莗")BU_0SXʬ a eO NsWA,TdxXh]@@Pe#(H@ 䟂)յ,@H#PK/?KYzg&**9*2{B 2e/|ugޅ Y0i۬#lڝ᮱ x.. I5*J,c@Uܒ'ćV</x>gQ5Sڛ9MhY"AFDμ2wt5kMj~ԮžwC1řĤg<`J O#jRQ5si+v^⥣PԲi/ӓAO 19lG̱ԙgxt9[tGgt}`\!6?aJ3{GPˑz"3e\S5 2HDұF2ˆ]FbSb?O-wFj )5y Ψ<|ဵa}XO,C< A{ 1]G=W?[ c} o8жljZի|"D yzoPF+\\I_v`}3buX-1Ass!>&3lÇLFUq}RGH:*~c#C~=ߜ8c"/;2ϵ&qhq;s֘MOnA !M45(G"g99ұPcNи.׳uZEh_66tWU/\6ȟ܁rR7&[FҺL Es.bMʤ=XK*vò2j43{c[` h:wwڼ}}x@tՎ=~"]0aa/4;^i*CxU RElT M<025i Wȟ=78!6?,*k\v^_BptJDX~{.O떷|Z H'wS6ȅN8OXU7B9x ~8]~7 z̈ƎzJv}O'\DKdP i (DྷxN]aKL%[v @OX'=+b&GٿPYLU/i?5~)gƿoP ^fߪjovO^;WzkǤAAq,8qyC#Tl<=._@ ̴Om_ 暔_fI6h4ɆS@a?c6ͪ\pKR콊0 hjwބPq}Qj~3[˼`4*8%5\^d{ l8#*ԯ+=-lRb̏Kɤ<1tWVKTq6Jp-5$MY4ĝGU ! ]͚Iw-˶4zςu._?9UӃ.eWF0k /$ۀ,sg$:f#JKbZzړ8/V+9X ܻb%uJ4"ZR!bt>a|`넲aFd@ck07$Tcx5JʿHK3= Bqg)arO+}uAx;I&Mr/N3R}>IH$\1W]#k`@)Qcd~TxȄtraqH\(g߷&BmL1>u KyYFmw!j _"8u@3jS!iz!IiW8>ӊR/Q2s-W4VxR.!_HݶP?t4ކv*ܨtdyoDܯ+H@}`hC=kĤ̟J\dvWö́O.@[YYZO |E54U5₂(\w \FA_(Ql!ӬA3dJԩ0P1X8.w};#÷nCGx9F`yHa"8Z<[Lh 3픜P),k~1 |?^Y, \!sVP>þf} .Jxe&A"k+h͟M亇׳M3r6;Df8`n =tk.|̾#4NM`+)i:3Y+Wن?`(-|h$eeL7嘃y '0t0xD'!CQODzu)6[uzlIqN* G=Wlr-+|–M &Ew'K5;ֈLb{a]͙Z"|BCjvmpq0c:JlT \ϴRrKj.\C>uzz8:ÜzZ n :O5HC!Q+%Fn<3C)oz|E<ž߷PjD3/L#p&7ʰwϖWhoZx(+HyႵ:mӑ гnK cbtOPkw{ Zf"sV>n)~yAÈy.9{[x(4lܻs1چ`cdH v,J1V_Il,yʎ$-/.꫟dqϭn[6OYTLVJl0-1s%K=">!UJr ew1.{ fm3S KKLd7I=M.lKOb5G̉^PKiEn,Kkac2h|؉ I}aTyiUP68fk(Oғ(#c5 gZ wc 0M6> |kZ^cD~c/Jli=}"b 4heXi|$_"re+'wob*MBq_@ɎU $X7L##znja`A tJ`aH4ALO_?YQ#1<ӹZa)gGo<`B0 l|V 1qz 3rE2Fgòܸ T a= ;!>a:j.Im󢍅fiC ?^THq,~?I.'&hEe^ 1|Gәwbyb. )X! >z_xH-+剾;fL qh¥k0:=N٤VT~De kQW@b4M<(G\k1ǫOMe9Z hѧbJ /,\47KG', caH~4jzwHڳe\zGwsg/hݑ:Xxܞ{ڝ$Go2&C✯F>IRbiA=_-:uH{r:F_] ;xR.gAuiKG[ y!sI ig((c[+)U^laXpS_zZ?NH^jܦELYSb#X&tJ%q0}by':Q }o <@rm#Tm/:ӑb ӌfd$ |y+C6CӉwΊ py=]iww\W34t:Ld9%'hZf%67߅c`{(b 6@O ïo5uhz1Y|@|Hpm>yEFEЋMRcH%ʫ& K-4%hSWcNq)Vȩ#*'ցnH[%}! ɒ@}U2gB9v'pb8wɧQ$.aޗي r'z9NVmVv|NEEi !iTޅH=ɒ|ѱ}3 ז} fNlilVڙwj4no r!<ܘ2%L;I!Q9]A;TRYt[Y싥CE[g.>?'nOئf2zL)z|[fC۬\#>M/L Y5AB9 =ޔ䶘-HRI5c"E)2x0 YeֽD:W @"czUehmD0sq1 F<~EW,gXѓKSBwZd ^%K7мuXStw׬(xr`;*_aD狃BW-3,^!\}H~ʕcgВO΀ͨgX? k>J=WLkF]dsgPht0%&θ36| qASϟ}aQ[6zVyLQ8BZILQ#>W9&,kzv-Qq̈́ @0C,zĨo+@ͦk$@Vŗ7ǂWۯ{)00ܔ] [+6^RٗTIgfgw6,,֏>RgȮmj0 0]iwuz^up<8裨($=iC~1.0&+8qM\@Jdv- ѿUDwnå3ə'i^mR d.*e{v=/ XCW_~/O 4j~ &5BD7!ȅr\)Ts a$0LAWRZjw<](.; @D+B<9#gQ8a,f/s61gVIuOQ}(?C%Tb[r`%^UGs kEƌ"„;D@㉽ P.ʛ,$;DM}mf$04BRuWV'5L/<32N <%O\n [6^\cUodB+8X?0fQH$ya #˰ˉo냱P %9 -x\pӡ٫ɹn-,Pp}INJtUsc"Ƹ}/VQ^bGnг`Q#] 4jo;:/8BОeD֕j~,90;N0ˎU~g'R^W[wErJ4V,ok$t4XAbXa<0e&:\@uPfTn\e2EW0g<7+ES $S q(+@XүDiX}w C^זD{]vMVykr=YV$$YyoxBԬ!$Zg=GǸ b3,!T^PEUf=D3^&o$ּqؙ- F[ Qϴ"ơp;Emaqw#]-V:@v:M]{K 0DC9Ň8M:k_z3Xdxspi]G\ DxCDGDUW] duQX$Ud|N9UU<98559umza![iӂq©RgYq.qv>O\6*\܇E͝+.4H i:5 y8u8 Gp<]uV,oi/1F س W) .}JFViuq^ ^/FFzb*R#=f 2u'?lFfȉ;oo4f4`̓S ) 7]ȚNXv-|Qv4:ssDmeQoWKfG ucM(~ݏf}T4plhQh(G tKG!:*M&& ,]I)J\3oDXSE/gqs~k'{$EV"pӸCZmALk!5Sj8uz'#WvZLn1͜PnfoJ%ÉPn ю1wCnQ]&=kōpKm_}aSC@ԾaȐh?CAK;ĝIDDs^8 (KM !b.E&,UJlxauF~tI[Q;Z/}IS3]sY >' /ud>GF:uvޟi3M082F &٥ȕL@ 9PǡU*=̾ZPt}Rp}yO`7SCiu_C̣ j}uE'.ڦSꛄv=Ǧ3;gEh6'q@ygm KӍ HB/=Po{e~(2oaMFjܹ:7E,f C`V 4nUG#v1|S״NJlzkn<ٸ 2dd"5JgNF-;=$)U 41#'=S&T8 Ɏgc50u}d&C; 3L'r"CPxc;ho~fnA/U~-P0 1D}} RQzScԩrAs ^]A:Yn󟨞MdvR+B_:dɓM&LIӡ (q$+j L9`[[UZI셞MJ3[Wx."KQTi=MZZ;Vk\G<ԛ=Hsrڀ+&Gkfe!iCA0s)i#*@DHౣ,.CCͫS0^A]X(=e޹[s=suo[PfLD!HU/k -(^G1r~$oW5|cmֆt$!@wh8"9[W*<x^('|eOt8[5ڽPP|- Bw?ϥ{H^K`0bs^-4YpWO\@TMNS5! N#ȸj/gG#bBCBxeuÀ=:+]{زנqI鰟Q(9Gy0a MbifH8Xq!}x/Xެ!E8c5ЫoM;tx^N3Hl#)ߩpߥe G}]r?ఴ t2Ϩ7y0Z6 b+ ݞE0M'{L 0 G㘎8r$K%nOLپ!GćGw:soo2m6-ph\o廫XN,DB>Cp)t93e|!'|]l_)Dlq|`pMDx2R|hR뇅ijܒEq`U;/'60&נi2yF}'ZeG]!$ݝJ޺^3`DvӋ _ctݻDKm.+ŧ44 xN,1Udƛ@gsuʿ{‰s 9#$qȠ 3jEp@w 08%$tҏ$״\c6'FH8"qV tSPy勲p@GPo5ǯ7a)"Hm4}dv3y: 0D=-{G)sX.66*lz(aʅM[Yi ##O2Ԗ掘o|=C 1}4FM)vzڦ0#_.T=g8;EDQ{|o蘣s#UC߬>?MoBXM5$xq9m.L/R`aJ籿.$H0:vӱ\ԛqsκ9\н;.z̈;+?W\ED~ A+ N'^p4*C6R.T_Ys",؜|HBth\@;zP  iW;r!)>ڕs 5oӍaU+p3i{<G@czܵ2hyk9|H={HSHK{ a֐qax(0 +$\-~HoɌS}Ң툙DP!,ˡBt"[3!ł:qU3ac1ݙ@\YtPMfXzӚd%9?8ljw^}4ip/?3'Aգ£/c! 5n-Go͟T3Iم)^DWU/(4 Br: tFsvg a@ O{hNcTd`pZsdy,)!ߢ58fy?.N|=:|"({— o'^*ъ'~hw>2Yᓝ^L޻+"[L;$1+M4a :k4%T@{ v"ZM}`>0%jfZC@u {3w8Lx<#zaˎWS3,]r+&q^gFvnpTMjߒ2k$dI~YS6< PWP&P dOX,D6{E4EյT1q)Y'I>.GxFd,Y9" h#<Υx|8_lo_2gߜZVe(:&K_ʈ_֪9quSI:N.M;a:wDKƣ\Hߒ{ 3Kj99UF]~3CtSx&ފ@7 ŢhATtzo$cC%}VꨏO͡XL+XS`'& g P 6|8w?d 6ps e4-2rg5i\f%5˄eN)yxїDs3Jbt nMU^GKClǾai1%Ħr O)WMIbIHt4>YIIsa1QU-*٨!Ѷbɜk0m4Hh68\Q'x` u/A(W"wEn`'`YyQtqYO2~vjsA޴%o/BJ`rV] 5^/V# Fzjb ܉xjsu:cѯJ./~x"FUhQIOk_("?]M\#߾j@5JRs@F boNHebuMݖʪ#ι3}6EN c.D h89QL8DS%-rw2eY@Bzt|WMA&HIg:s7vm[*|Ndzj=pIZ<ՅX ZTƸg84lL BiC-}Ov> Z4ѓ}-[ǯPyE#?:,Qp 6dk!ن?q<˃sŊلc5i@ɋ.?0Dx*В  Lja4~} ' 0eߺ!}]4>r A1I7F\7hPR#:YJ}`~OFA=c [J%*9ܯo=H")%ѢrqiԦ}3:\(|3'9#M-ssqUDe{R pdޮم9`؆XYDؿ9 B-3Tfmô y)i?ZC[ȓ,tC﫶Akj9i̬1_͖=ؖқ,ޚqcUe:`D.қ`H#ȏDP90BYA% O/hVa{WꂽSןDvT$nlֹ\J_q\gu(l-1TMnqiCWA3̈o֞98Ƿr0w/HF'GEM,Wtrgh&R ;lI/W16ӵ!.@y&f|IDIImP #M9e Kާ tշ| q>j:Yܨ]%(\ʪ;OOu˛YsWʝﳚ#\X<҃~U5.{h܁kL S*aR|S7{ ry}eo~#qkGC*Lru"Sp`'"bm'Y7 0Iz ;dWHꄗ)KwW36jlP%q̤W:{C,v6ذxbɍ;r&s.j?<Xb`lN77Jה}zc!_t?! R [PEk=Qk;*'*K + 3+\Ϊ /bRSdz @nv⣧ຯH;bz7h'@f;,%v6)u77W[> ַ32c4y wbevO3@ 2CjS. Z"U@_!ؽ;oZy.CQ'ԢN$& F6gĻx4ܟ],ڴp5gb: gECM %xoX}VLoS Lv,jfXv-`MR|'=ZX=#Ej4w`sQ@ٮ4Wܨ6G(6)2a8N[w1"!{9OQsAz aarfjKhnYo*D;Tq𪐏'WV c"#rzRo1ƛu^eJ aæQ7[OPݮa#n'OҕX/XvICcЁu^[Y(S ȝlӫuaE]gWo>uxs=zabW#&I}ӊ171%WL|`;QD%q}#lO.)`BU2^)..Y*R6:C m U>Y^U8'>uYgc ۖFeI*"Lr]X S g+פ4yXقxqisIF-~xEs;Bz$8QNG>֑?- NT8^. l_QZؖwg={XU(q}M'Ҟ _>$.B.`j^#yyX~\%w_3Os (֋6bp,RQ܈sm2 G/=`o;vevY+Nd?&Pg]zxH=5_`@[lBPN\Kel?ߛ{rJ r*Q2&_y<"X2ɐߟvԈZk;<-SJ'%x,h\|N,3=pJSA U|% ګh}6pjn]&=a@MѓkqQV (M^߯?MgHNi3 L_hz"_s8He8╷$-)$[eGq'ŧ^[MBE!YHjWxRVoYh[ 5֏«3>n07xm%6 hDVU@]dp @1i6\JSjsժZ!|f^3FfM-MdƟdt;f'RhҰ3&(ڻQFiqfXWFbVqcڐdqdV#[}W]+aѝѬXX,mRԌCbيYWs\Bٯ!] H, JP\gV_}.Nys/ حD-d,ň䚬)G2neyӋĜ7*,T_ >1(3^yc¼ ?V5O5d޵r{џB Op&ErD-AbF8mix CV8 _i,c7bm|ጋnces9Iʍ%Ėr!;Mo)K.'ۡa_Bc$biХkx7o$NXĤֈu*V!om~![4 ? FҞ5EɮiB=vŻ˥ ~6}Wr}9f.7-z.:*-;ЉƉStc*Aׄ 0ږ*mU\ 92=Qt;nrx.6mvEݿjk_X B\n /?y\l jEʟ+Lc ߗ8t.c&oܞq>2Idm) !U@#Βf.F[,{771(ϧ9KzK]'sd.+Sbyâ I;F%[{9uŬ$i]6 {iڳg!I>;JAAi=ktClBM 4^Ɋf, #ƎQ o:ʟxE6ՕX;{E/ol?`kCfJBȂ{˹juT/F|KC(ZL0IfQڇ;0~VŖ_uqB)cVwX}dS˸Ak~k> UK u$< YbɝZZƇ >+ի7{u6k[-a ,|6O[17="o?=|&_~*JX9ŧCBF$dW3s?Ĵra1G؀nPhP-q\ >Ĥ%BGbQn$//ccʛ !H 4ګ!gG6/ )D$^%T*1fA6Dl8<'!mMsw>OҒs%]dhOAxn{eaѬl.#->Zx62mMEXxCV/(oh 2SDg`3꩛^6%0R&f!2 ;&~/tiS*Za._:+F0ڹ<ޜJ}oex* ȗْ"$(錳hC$AN r⭵@0U./zeߊS8 H*Rn#ʆLEsqȖu~챀i2hlׅ )+#X!k&jMpP$~Gr&"ҁ[r*X7"%g#$@>4za"\$h?@(g "˃30Ub͗噊|$4u]ϒAF1q~=[l38(KܫrfV+U::$[HIJίeᷘ/Q|Hyᴗ*͋>¨=s /EePA@ٿ!׵txI{'UOnY{/ [CLOKpa'pBС6ʿD,tWðN($8 aGUNjE˾9G2ktġ 5m D^-lcg *bO9 44qzۡ\yA35p,Me-Ux$NAX dLG F~N;NXA8H"STꀓHnL,Y vkopo+`2ʑ >Ιvx1BohOwt9Ppm w:`׃ƒiq+ӌD7>3ؙ$lsu aQ3C[ eEWnk44?E&}\boAYQszl9؎K!W5׵:^i-]WpMxUQ6-~/|ٗAWq_KBY耿F<:*Ӷnw=d%68VP+ ` #xs"&Ͼl "U:Vƈ\>ȧIB,_fF +6C;6jS we7!xXp˲-c ^M^U$T3F֤XPl( p+OsЭkqۗV7 F;bahؔ{yWq*):FfƤ8 Hn"y2h+"ĺYI!?xV. %Ou+A,"%97+ž)&Kl% 6anBv[VEYMRW\V#XV.JD.Y+[ ٪L oX\}LK*&5=%]dlNɛSڀ6 Xzџ[0V}ˆLz݄ޤ93ZzAa T_pOp|rHJ\Azi,%a1έ?ElBѨNcoEf=@Ⱥ.ѐ C+ 0'v fؙ^N{8owB W{_oy0տhSS!}L2 KKS4&řPfJ-c!CmJKjཋCA þ\\Ӫ@F%Kܷߪ$Nީ .9B;l֊'V {_V7b8gaZjr6B P'ٖRDŽp©=qte~=}).='b 86ȮPOn6g/%dn Jx7d%ܤrj$TKŗ=ѣċA$RVfQŒ3S"xDVj?RQ.:i`uk?hM)As%"=N=y&^(XV%\hvB)uq|&Sќi; G}1xDi}SHv>k߅WDnء-ҒTU[\fwB ¯njƣgJ`CƬ@n)&׌U jEFYkFUB8p~zM &$N+M*{srLam5vZ{/祧2Jc$3s>)Skᗋ\W6~zeI6 SmI (bYmNqsKO-Χ󟦣z077h/Ԅ2a=ќ6'L~Ɋse~ HK]HQ=v7UFoan?N=I j3Dy..%v/PM=F[.ֵΪ )6TMyv[QP)/1l czB}Cm,O{Py貯2Yx@ &FvS2e pBK+Ro /#5'RW:3A\`ԉf.-{Zp`Yj \W@De1Į J1 ppl/&^8tfo_~^m /2uhTcSݷHq0{ g>{>)z^v޳.B#qv}2rѺLHٙ/;"_0dqZe2> a%o@"9jfF$ @cfk:5nc(6ڮTu=x75yʬ/S%} 1r(!>UHǒ@;r7Yh4nxfŦS`EhK7}=plnsw[Xiq=ۅx;5#ݑKs_`ޖ#w@dN]m dk\ܡ6!:gx=A -VoQɸ};zl?:5T%gVpI\N.wNp YXZzz2.^=T"MD3Hdḹ4?k. lC~6I϶x2}jmzyB `yRI F C-Wg` VE{[S)hgү gifZ6p"<-pa?wλ'gGmLEwAZF x[~?b : Ʃys[~ ZFEܱH94z)ЪV|gH$BJk{s$6cfH#R^8څO0%M -&7؉ѽv,g7Cd*rg U ?P]坅0aR/Z< ]1/R)JF9[F22aj*zndOǰ(Tb`NS=q[j,Uh9޳6$iu9đ<'őz%C2/G?> ێِ 8:j)>n)тn*aݘ<8x)y1<(n.)kcG] `y Ȍ;Ȯ1 b'Z3M\vC-E` 04E;_b WTnz;$rz; {2ͧÌʈl a"@xRH'6Btd: FgZxJzL|:,v+0+-H=}v裗zXjω ϊ%uEi U^q4&QG<_.akPzƦsEiJpB@eyOcwqV@_n|?H( 3!%61#XӃ(ǟ$ѓZ#L{t%te\k^uv{(?:mSClMnP5 ufZ{l! Atj sv>dwҳu2@2רi[AYT/D;(„/Q[^‹RH6~ZN3͊Q4lB_҄<Pځ vX! _Qʼn^=bI *q^*hpγ h K;!P႘ ߷(urUsoD4|$!qm,~P$0fdOjJ^z>FTg9SU iȪ_V5䵃?GŻޔ2t7e9%aAz"Gz|JByԛX\Sn,S#hsNfz(LU?絪z^ ui 1JP³F$m 1[MQ[Ȯ?OU>X=9ɠԻRTC< 1] K.Kp~bMZdLZfFQr1Hd-*6uПymjy| b“ z } \cȲ%";,H7mø , )LJ!%,5?5OEo0:!5$ֿi<^d;Oy}uRdd?Q;#78[h䷬@ U})}cnDRge?Ȋ+HaФDcIk:Ł){d%lӤ$˜:;嘄!(~Eb]/XشŨ8O$$pae|yG;k%)Qrȥ8?r,زu;3%7} M,?!",0a#;Rt)k/R:1uM T]xp .~edx/X=s[PM꺅\+<Ɓ*y03]y& P;]fz= Tlqy%Eqd_L!=q$Q'_ƛx ROnVJ5b2+d zT)XSgG?P=fП~W_,mX!_Oߩz""E tNx X/hRED&͘>Z{8C=ǂ9|ʫX? û .ȈvfO¹::N+(LկӃgz6AW stlF~V3(H͵ý  j.R*@7MIڄˆ|ߑl{K 9w->KL{@%62A:%̴WA&q~eҷ 4׶RײഐbCuPmϕ(a^yP38 .8 v(bk!f \KLD[ a88{ML _ԉ!LHwۥJ96i %r{Ru6\fA&t8ț{I.1mw+QRqNe('%vSDdЂ|Iz,t/eC3G"xu|M ,Iq9ݔCR6> 4WUG61 BfnEx(. B P.T <*@z\\|pxIy%"(%"$dXDU2i4S\{wxm2ӋuNhjy73GTj{3Y/kwf~fj:123Ʒ1m=Yu&Q3;N 'm=sYP_,SLQ1I3,1rl*j0;de^^kkLJF9h#Χ0"xF1{yS Hmvh%ys ki+B+_ei؞P2^"櫔5.d]4pPC%gGDghSyWs'b]\2/`l<Nj/|!f`(FɅY5Ɇ>~j5@ AP\`` kfEc}ب%ϺU(Gh)uq$Eaj񢱝1"]yf`IsvMgMYؒ( DkKR]}%[ʾT{ׇ]p4V}(ؐ ۱k)/(h%Gf\Ѵ 0M+DRBzpE|mi|z@"qĪGL\$' B5|"ǪΌz4bjQ\b|>#pP~כ»)E;#U+enM$_-UH:bxPm9E*c0\X_;ZB0GvH.F+l^ZwI;/m0-6L+ZH-q8%ZGwؗ ps_-TG$?]aĸuˢ˛VFn}eeyD57q<sȓeEG$ќ ”Kdγ'j+O~S&CDZRǼ:/P̮WƘ_dXS~UT5~(V2i0_ItXɶDSdo( G.t>!<Wh/(~SI0Okϫ@XWHȾ˭ ~k /gR]{D7ud2| G$\!Q$JJ3#m$`DCRZ zt F[3> 534iKΙN[Eph29 ;6ʹ@_q)a@ujAm,SuLgR(~7*OgNt#\p!iHdSę題ooNv T7R^T}!8c5Lh.AB6Q[uq?=@ZCP~yzyL+!>47`Zԙ902퐕KB 6%"LqY yn[|AV34tNBƃ-R1EO8$m\^&hq={p?]wQ``G0̗'6؁!+2"kKT-!,Kk|ȘE;[x5u4P78&,U˲D5]_G1ԕI(ly"Xub) a#8t0&vNDd~Mtkw)$Ȍq=wB'qbئX6n2j\'XL;`_)9s}ĒTV7p%ʬ/WIx듫TJ \ކ#~i´'\aJ͞NL,ccݲ.!= V^ F7*0u ].N;jS[o(5>&ɸ?ޖX 1o(^z|R7n. 45Zp&*yC'u+)ulsԆ@xq.3 _&;aL+_ )q%}I$_5mv(#@aU[FbָB\&t^nia\LոdշUx30]>~` zY9.ir3iq%4Sd.0$ rZ? 0aΎ8g7<2*āHLAw]O* 28.`?b 1̠٫Xbpoa'Q 6#tl&--y|_{i:!5{s,i5pO@QR&:FN?"8l5KsAs%4mO!=HF୫k\k0sp2sja¦ O!gJ@ֹDyBƄ*Wm Q1%T%TFS4a6ojsdמ, +a%:If9rӮ`*z"KB }z`mq'ʯgYZa36521d2f661a760e7f69cd0ffe79ac20e9fe0e6a61b507f41a53faf272c6071fcd8d5a7bd20132b77907adb0fefa0c2e9c5eb30e85046fd9856ab3b