SQLite format 3@ " .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 % tt, ]/ Completeness:threads=2elapsed=15.445cpu=29.608gc=1.760factor=1.927zXZִF! 2]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jknM뺀/{~'e-?tչMWR:n-'e5}zK ehgX9ϫOosFRT{ R{QvxX>7" )(}B_IRu7jN1)Xto ᫞̂chSj xJ!\N"ǜ$8mhV*/;7ֳ;8=;lJP1UP6vm'HFJY1;СRV Yuk $tPFN Q̴Kp7'W?)*d^PlH_@!#K(:Cz$>ʑ o>g17Kzˡ!+?|~b 6ǟZ<aiZB@/.JF fEZ.hc/xPm0FzsS^'\&#ȳR#rDCq|O^n/Hƅ EMpԓɱgYZ7zXZִF! ]ŗXiɟfssn{OBƮNk8snấ ^'ShUϐVßn5jeOtєV$-`pߎ(xzg_5p7Q )@# cf@=$FQ2z @s_ >L4CʎD Pc;>8e=5&0egYZ7zXZִF! [O]ŗXi%; ,۟?$2s>?34g-WB).->=ғs5_Q9J~ɝ zum2 [akch#l5anPOǓ{V@`ҸW\TM)Ka=\:[J17 #DWnlXrz|u96G¾&lvTD=Vu G'oL /jڤԼm Yp2{iXx"sa-G+*m*B|a舣M5 K{@VH56Sb&φTsn[R"LIcWca+\ JzPGb-4&W-+-V?D\޺=/owOK іOETl#η^I 9k*2e 5(8?JsQ@VV&2w~DiTuw0tG<7_} ݶ&6~2(U:B.".$ނ.b}zj1$f^4+k@ǰCfP-@WyW G dvhWwR=e-[!b3/^By= MnH1z ‡oxOt-&[&NcP45`sRVa|:n1)_ڡ6{ 7|6j)l-`G'9DW7IPiSm(+xNyW}O5aj fݴqdFkZًULbo6px,OHo-K UR-!': 킫Mgxj;sEdNU gjb鑆|sğ )gYZ04578057179e313139ece88769515190ff7a92240a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 % Completeness)%?% lCompletenessCompleteness.Completenessdocument.tex7zXZִF! 3]A-MՋhvG"uIBm5XKjͫ:-"&3C=9O0r͇ =*HX9"^KUE)P]r,ž* ='YQx=uIof_kH0V(rG|qLֿg)!pb a%KSKc^jPv};(+v$1o*ũzJjǗ5y]0(?)wY^:{ĥ+K/Z$(o +>Y@{Z#UQtG&T_VV*,$Hc<"P|^ѠIV6vUƭpM.1dq R4Od%nkBtкu-,.( 7ն뙜qFCd<i?FF+-q;C=ZةsҏU'i`"j 5WC\ Od: kFbфE0(sf% ~7ش1lhKdkn6WA@归  !*.ce4 ]t946ljANGyV:5HGIJsQw=$w:Y, jo5Yv@բ o/-N˯~P@,B0|:F-yzf40KˠmqD jsIG}zJ zS98Phr& 5˺FD5rLX8fJ9pw{bt8lϾ˷b )P w5h0 דk)ݝenQr$bz_Nď΢KӑqL8 *[n\ѹUkYg~Fm|9c:1Μ,g%X? sT{₄>=4_Za/oeU45 :&ݡ1R`Y?(Қ#_~q(?w.3*I1qD09"tH;[*U"օ5/QDo>$>5ʦlm q^>|Vd{HGmӱ5hX,cӟ qHM=k ̙]hKO.1o5zўga1 c\_V,V A'/K؛ d;&%v ol Pb+`Q*3W8RbV r`q~ޒ|̀\)WߴTW25j<@p/[W a :&Ȑwk.jߠlRz޳.bx2ˎExw:"(ٗS_]?}3{XHǺu>!ء>{$S 4Cm\_F4nw75|vi{NSK дRVPpi"?F!d Xz;up}!Qkn@ %lbUC CT9`Y=4ҜxR^S*feՓ,59*f4N~S^lh,+N/XE\`.?;y `Ă+ϠÝkInIEݩE/(a!"%N=A 6cc\̧t6U[ރ&\ěV2ej6-[Hc*#IX䇘TH;{>HQf#YKqc&dM;2{P.ɂ٣Nd[.#Lm-wyUu|ѓ*/]날 :^gt;nyYq2vEWQ4 W.u zsl֑~hc?7Էg7J`.c&JPqBet#CBOoOFxQ$dАN Fo{B*s>ze9(^@v@ |(긜ĨBZ3M͎A׉G}ag>Vn,|Q>P Z~6g{IԊgN9N~A8 y[Z Cfdy_hR@F]y sEf,Aհ@䵤 o1tI*Ez)r*~yӏaG9Er@Ktf<\yHI@bM\$bȒ֪)&J4VK z|&:4&si+m.3=^z%cZU/) s0HnLF4W |Or6>vy*3d'pD[#2m-Gb`-/vL2..q #78_*GFCNk$7pmu{Q7H@o*O% 2e 0 @(vcʎ <5a?kAB9m5 sK%l:)!G^ub'LA4lDyeqa݉(NjAA= WBi%KMkx.F9,ƷhXക0ĕPtE)f l so1<\}Z*XS<[+W٩iRG;sM2gz œ+K w(*gJS@sg${D=^`%h ExgŖa$ߺs+NոN)UJw4>(sfgV1tp3XEyfF(Rr'}s\=-㹌o\b:oM $+][$N^"IKLbra|Dve拎Ꟁ9QTэ3>.B߸x(ObD^N8dt ,["*hP͡a /6wcHS\)~I-<ܣb;e&x"+/d抗+ Q?2cľȼFI|˻wsPϜ@g#6 TsY#}|D $ů]P|a6[OH rUFW sl{_-{L'W+{s\ۗ7ad_I٥@ !͔J;(C \gʔk  66x&y1^bY:D6&(h@ŦI@7GŠ"Nt \0~T|@2>]o_A{&dXBhNJvEN;q7Q=~%S GĴud鑟ɖK[[]材(%CI(k a';h,Y}O צ{*.O C¦آꚀfnk9[2YFGrDn?k<yRaK?A _Gq'xPi1PC73٩:ku'd kI+C}\5" z9b\U2zP_"yʞ|V*8رK}j.NݛFb(s+G%دF84EF Ӳ uCR+(:ioFLi8Bd.jmSB"0稕HJ^>}@Jw,`Gܫc]<'KMx$ 7[h@)@:t/QpCwV?} 4n {C&3> Ve֓4Ρ,yr4Z:6[+7O5bNCЪJ;m:ʖ:BY~>ތ},z.qwO\I_iޏ E"/hk~RNP #9v#=8Bv{Bh>x/dwSLI2{,h%`MIF:q%ZniH<ƛ"Ƽci/E,-1wS Ii#J) > <Ӧu{?6:v~Muԭp}ɒ_gv#AHq^ߤWn+"&zBڒW9KeMfqE}*c*^_ldN,ǹ*AEvRFAd2Q/ڗ ^ a"nJ Fmm0Tcou\D %ȯH_Mu||/3-FڀiEdYi8}G/ƳoI-׻$Lgzq~Sgj_ygv'=_">jbN7dq2-hj+#FWGR`7Kokߎ~pr6EG6p>U谪sanKV|O1w\J80&|d4wUB'BBgz^Is }34> !LJoX͎owfCO=Oiٱ6Ū*A[%i_yH򢴱oRްcgY4#wQ47s.dn{(tNkBlfW].>N^C:o n/_׹9Jd BFF pC%AVr݁҄4 GK6:*k J% uK3f.1x[i}CO:Nۑ\(K]Euj(IڕUEֱ5B@VH,Ȭ hif["-}MLiJhXtITwH,i[ BCQ\"$.Ճo`OUUY#DSuNEҫs,H >=[`e$<~%S-9gefiڒ`vs$#v}7Zʞ!EhfUGL݉  L]w#iW949y%&WXFM@PK`fFT& beáu4uH!r2ś;)ǿe̞'!x:IqQK[Vtkzi. d6OJ u=?B߉F7|{lS 2]g§@-QY_bdR+zv=63+xY CH5ya=`D LtRGP `A :N2=pg@]hYorZ;Ș'=oz]_g7"v a<drO ?+GwaV\2hSk]~{ŌC4dyf뜈E`s΢.˧dK2kGNNm1{KV2*+e^Zi ;#o]*[ph:򸮃G 8D8]lee {HXHOaP,MbXVt+0:TU=Uba_|lUg/w%TN$Fa/0O~T qw􃴀P6ٕ۴al^ ] !4[Ҽ_'.*a5lBy}zȾAK9  ?"KS,XxʒF۳(M!zEa~< 9G@Ǎv]٢'3fƅrYWӹ'@rb|jRHBR,H̠{L\?+g0 rP ! aX)4X'%w兂]:hERSi\Q`{vK+sgX| `'y|W*h݌FU56.Hb; "e]5$ 5QhTflZRylhY>`Ce$+q *FWgzJZ &jԢp]Agz<~+,aeFam@#`8߂WЁə^q*(tq̜-xLCPmLj=/b\EfR Mo }üFLT X_U} =a2a)o0 bH[lQ"_}t@RH1&sS,$-7E8r 30 DCvBVV1i.5L&\#\4EO0}EqA;^-3#3CG 4(Lݮ~Xp.4Œ>T_ic<4p\ec-˯{U$V["HӃjMHal}G!*4_;bLщMg*H;EPΣUmhysW*P|m"VCZmJWX(a?<4%ַGQs -Dc =s # 3(En9ZnpnFq#EHBuRMȂ/У<5Vڤ--B d(i,.]p򝟤 :bjm4 Ḕ5uCU#\He/5iWRUٵ%C5b0O9\=w0W6ؒ %|-vt_]zd!m}``p&\x)iqQܵOݹ (~u%FTvP`Eę@aOMܲ4²"~hZ{[Gk՟d.Xa+h'{tFO} ߣޒ饞IRh(ZtD#fVKhb(@8 nK%z:ʟK [ۚ~{S^㶪݂26a9iV1dIaJc{jp_=ĥHS/^6`\: F i r|:[ tN4 5j(lr9K# IhP:¬.uj}&oKU$54ѕчn-=ޘ5,JBXfW~˶9\+GX_b4=E)_ ?Ht^41DhY`HCJH2sR5U' ==4ݎ[diD1ֻu18t]ս?dF7-FPZ\;A!}&:1\NsK,b>XoPê7 DŲ{wr0BX!Z4f{&q93&4pfV!eH< ܏07-N ֜悏l'}~b2.u_sxc%>8ұS(h㥭7slvpJ:&s8?̝nE3Nv2҅zs<z uB]&laB1ZFL;^ }5 /h Pތz*!)j$E4jӮ"c؊ gZLčF،~*i`ײpj p!- oy'H`yY.-WMkL>_gyqsUe)wB v!9Xt#D.o-t(} i1LJ^ !XJcBBx"̓R[]^ƔcMl%ҝЌ0^Xo6eN$Qق7044k-P;ybe̤(j1.6~z((z/(,򬩡S?i>^rEemF -zFÑ]NW3{pEѐ,Y^,L'ǘlqbruC,3ƬdË5j&[!޸Z(+@VTkjG&JVo3qSf`!ԀJ?T{ʁ\C lD̞XL 8e}O=W,Fee:p}km^G|1t]vN!")](sWvD0XHZ+ vyl}`݊{g&A mVfqag˵.]aǧLQ': 3/Yd2xpq^a'pq_;f :mKCM>݀`YQZQ"UJ[Y=hMτkei28NirI (ѿ(=dŧ=2\6Kދ&)zD4?8Gp(Bۆ.LDCC=֬_uv\/7) ~MF>HiB6!BŁ-u0,_ڸ>/>)eU=V(¬z'meӵD cz$45<} F(DI\{8zbn#KDl漦3po+x+ .I\HlDh|pq[~8bZ-*Op`Vu..Wm\ExYk9"^P!@\n&,z\z%&u Ly䵱8Y׹˷JWm7i&Q0>}@uء? *ƹ\*ɢ+_`À|_J]HM& ƭ-'l2&q2@BwMA0;aUmgS+z$ؐ[l- i駏BY 9ncPK#,W^^Nt#a,%$&=Q .IB$I'#SָĖ9G1Ҥ}T/Tj2,x*ykNzmBD@yړf3-y n2z Bf M=eyc߳ש{Vj,hI* kVfB^w`5pם!5r #+x+}ubͨaesI0;~\Qh0ǠKܰfk#t 3;*.V-hË}Ć G(GBJc} H<ԧfTXU/6ֶCP!&-Wʦ-|xVڇQˎ@/RĺG55G\YTݚ6Q%'6V'+1X@_5}p`yuk\6)IFڭS=unQoϹacf?M7~dsqĝmN~ йy:C%o| _2kXsh#`d;:OU WGdD'~%pw"~b6N)F$(Ik6-{&PR_>o8})5x`,Ы7K|[E'i.j~Vx[ge~Y44v*~l g hp, 3`-7XV\m0 5:76/MR.x]EsѮLGkkyvk}n;A=uKUk "g69*0~BCHvfC, vAJn@Q=tVv(z,U|]8V{#6zO5NnNnfJwEObz3i!ƿZHG&C<3|!p/$mwVơvp=?qr a kNV36^ IMCRyt44Y QgkQr]qTbNĶLwTԻ6#)Yl]"j(Bu3X̀JA?NZAS<&k?A/ C' 雰&+p yW\) Ŋ#f@}/Z}g0c/yU렗 K ~& . 8v#?̆쯭ݦ;yLx1)^fXTʅ :|C澤dCXNc. 1Ô>'~(ÁʩA0 p)dDcR܋g t'˱gYZw閦Ih>U8wP/I1d&G%28ռ\j_1ЦE0g?\}{}8 KzsuV`ʇo#Myj7 4o fFBݳĔ <^cݛϣlqZϪ9-nOtMt (> N!,h8C޶Q15}vFT[  aP>u}2xUWxe[WRojnHuoep_DDfsXB,Ӆ?ύG ]k8P2 鴽*J3l֊HV+K~bXZfUEx)3Ny7U9vfJt/l^\5z[\ ?+C" P@KcOsY [R׆Gy, >rw[8 2zLGitʻ%]jaep;izYYPiR,;Ư.]Y֚kAئ!z_ڎ6;7Iz<$A 8B 49#-Oꗊh6TAb0p'*Q'v^@M!d;.ŷ2>==_um4]S2i G+`mp' mYg (2Ľ !P>-(8|S3:8~=*/KKith& !& Ĵؿ9ԅ~C 4lť৕9>9|X \:欅&%p9J/4?KXՂ&,ecuN?Y gdd 8BRd^X7(. P4*,O[\Ӏm;? [qo /vE%ղӢQ@z\+glAJ/ur[Ɨ34 7 |_=vFXy6(qWVh›5n (B_PD°Lv'3a}TG1l[X=5QUxS:MNJcz'H&o2Mw/|%34}!;otx u6A<`RȪA U.6c9c;,ZZy H3d0{^h0Ϊ+w_wsIwDߎ醣mib۱mmj)Gcx~F?;17K3\YqR[~Z$Y"#dM_*i`,8[ ^'=e((_7Qͪ!i I9y;[Kggf!{dGyxٙFrxA1\aB02.;20U-I0RnS@xৌu:E0KtAI2#uPW9H Cdމ-P[Qvr8uJatN&GeDA\DJs }@Wz{i!JM5^WxIAPDɘXbLn,c.3h\$7͔ yZD(c#cS ò8xg$Q+`/MT}B%[^JM ۟XfmhKBdpTf IczgV.ԦPlO*WEY24y>ۿ}2)QQ%R X !X@/4PƞC_"m5ļ$g%mcY@,|yFxޖ Kz&5iٶ A="]װI4TC(c0E"b{Z2(-iUԦ>ҵ_ +G]716~Fr'B-Ή\fws_YZʚSd9#jin2o"Sen)r4R󕊼8i r66!&ZPq9}4(a6ഴG-\dS 6ˈS]D.l  KI>vj(Wއ]OtHo{ 018KkHmBT1WJX;%r H8XoY pG7%5}+0U=jAٻhؽ^5 \Xiq=۱aJ[IU5'!rʼn-X*x ߋшLCu H%k\`\(mtXNz{,kqL! V8z*P H `v'w>wv,^ /u_W#1 'b^6DWZui}z\I3ܗ!o ׬n({VE)P1jf&|)Z W-9 gۻ#,*[ˬp׎72 |LIJyY o͸y@Iў` %ݕiѦOgqή^rvEY A$*{ޣr| gxaG^ ^vlU+e71hcZxB,v }OYFM .iOy L3LOQu|ۉl!EY_U+ ʪ+F{4+GZDJc"X[k4)/PeT&❔gB'iهӋKu!G[Y;t2Qv8-vZp?[T @[Q`R57U.MLi RHU9aX汢 wR;olE/VAVsN&PƐ, +WQHb3X=-J o/f.UB(\BnFh~F[D%}~ѣ$ٖA7b,:อ-LJl HFwy|r|%#|30/ݿ+#94XLiZ3^8Xdkf>;W?CZ`xE-4*D1-4!#M+~I-$V("VD]C8gYZ  )%?% lCompletenessCompleteness.Completenessdocument.tex7zXZִF! 3]A-MՋhvG"uIBm5XKjͫ:-"&3C=9O0r͇ =*HX9"^KUE)P]r,ž* ='YQx=uIof_kH0V(rG|qLֿg)!pb a%KSKc^jPv};(+v$1o*ũzJjǗ5y]0(?)wY^:{ĥ+K/Z$(o +>Y@{Z#UQtG&T_VV*,$Hc<"P|^ѠIV6vUƭpM.1dq R4Od%nkBtкu-,.( 7ն뙜qFCd<i?FF+-q;C=ZةsҏU'i`"j 5WC\ Od: kFbфE0(sf% ~7ش1lhKdkn6WA@归  !*.ce4 ]t946ljANGyV:5HGIJsQw=$w:Y, jo5Yv@բ o/-N˯~P@,B0|:F-yzf40KˠmqD jsIG}zJ}""nK)a Q +n *iZ&`tWchGhkCy@ oSa] Noe! 3,Š`Eד$@?mj͓VdOZfMl=/DnCe<3oA^3~c]T_51SR3 h"yH!+e:r:I{` l=.:a{˘Ә u:pP9&|,@k:|%)XHB7~NPol5iQ YRlV}_=(꼎z*Eޮ0ӝ wAn_wg3Q 6ŅD|pg.K>KԜpᰠ]M*sHoX;q9 *T#V=]L.K}HH,[qߥ?6i1h kҽR=D%_34,yp9S% __TizyAJYE n:KB:fA)paNdcV6J2m~RJ!]T6sywC)>BtXf7v9C 2̛<6-\fcrpM( uoѭӅZ N,[,_ AE݊:=m!Kː6Q%8U4uF1V뢼([6)z E~ 'sMW_IyP%ovL3RZ%Yf-EBZŚ{CǙ*a;C2ud4~~v2lLv .& OpvGl!̞q+Y?YԚka#o\P;j6шX0Hg%b6b+iGS%_C:U j{Y b3 rȖphb9oRp¿ P,GJ/s)0'M$_`#N#ӿJ%2R .]sDlەZ1HD"c^79So-4q'ׁŊ'&"K׫gΉild:~њʂ>`c?P^&eN@+b_ Vܳ-odm*nQk>RZ$նMYAH0 bU[?c02]Zas%eiv_͕ X853SAp6ᇔ4Vf}L#]RMW2kT';(\L:Fo۲Me.e9q*}2J[T!Chyi2^In˧  %d{p@{\oV/ê@X20HQTk QPC+kJ XEv˴IOI$<{8ފ= B!~2I|Nj }pPBِae <햶!M*s3d ۤbJwb7ka_q-Kg$ UXdHy[UD4TCJ*/5|ABNzu$D'DM|5)!"tÃJ9rK?`K"Md$7!E44R) _ u&A0(I N$#(g&H3BڍRs=aL,|ߍ c-T/v1ON[ {˸` Frӹ8I}ViPR$Y\g#2>C!坂%j%cc.duņC[Yّ[Cr^IB\xZRHkv!o&om 9تq+rЌN7QpY7?Jx|l.C$p:? ؠ)Ofay|bA4pH^u"Ldti9 ﶘ4v}R?!4w)z%ho1a4p [m;WUՈ&JD9Lxe2o4g _@`KqDjsՅsbńDJY&c 7T4F3E+ʍ{sBdl:s?K~nA$d11}F,. N*\w| gdIƋU2) "yyaf-L'$'4#>UH) >Ջ"cwiY/ike(7D-k'}">#X^Bl<`Gꏔa֑ v9txyUdfD,#Xm8ԇ "^D9_;U\ONbNM7 mHH.a ZmCF/ҨVZD< 1q:0=IqW*sqcrFc#ZPB ' R ϕ(Q"`:AFdGHd=(9tyȌ ]SMJ54]jEWmxyͩ6(T+y+'ajbL"U[fn=p2*7Q_0'1Rf|p_}ؚrܥir;9?* 5-nU U!f5.Ӏq}p Ĉ^lYmb{k_ewUxƌ6 hϭόMU~fdQ1ܕ-Idy+8::JgDtR/'Vrs9^FLYlWG'|2U;ǟp<_^>ЭX8`bo v6;h _Ȉ5aK?l=jT4уfp!#Ul\ ԶIi}! \iO`]cIf"'jD/;Qv9>Ҕ> aQɒq}3!%i"At:l^ji=EkōE}?e` %X#eʰ|5J  )}fE7Ę5j[vrSٍ-܈Sw+fy6:(/;Hu ZBd-ʊup?۠;{g=-璒f^~MU^[)f@u4:i5m>K޴n)+ 0el 0JG ;y:x۸! ^m6[:ԍ[&]A=ÕzazBd\(WRמ% _{?$ECU%nn@"aA|dU4I ߪ1x2󚣈?52AEtx;ݓ{4BkgI(Rk8KI[֣UWXt=bkRODʡ+`jr7kO>7d-% 7 ɢ4^};nQa=rHڢZ̘cX oM`00JT3 UKJQnr5Y܊2eC $ T Xe[kڬ0tȵ`ն~ʖ+6E~'c[⊎)E%A.hE8rOOyf ,\n*Nm$I i) (Zm .!L(DGhMB@V+a8\)GtFOD;rG r/n#:ˋdкV.?h iXI$=?9qts7?'2$SHd3 fSxq|PX_p`<8v#h)wa=I/etnfyb|kEƀX k+WP]yKۣx\ T@yAAM^fE[rD:M*l1^mčjXfȷ$B+!հ KI3\U}(HTY3N2T]9e9=N=l30} k/V< fk:t`g+DAR&['rL,sÙ޺I2p0\Q!Jz~\N{ O#y_͂'I+{C1˫[fPTdw#0jqB!eGNR(I]F8ӧ3)86}89S9 F܍o|}py.ױQ(9,Ñ3!cЈ|-Q?r0NSJEl]$ct)Xf<p٫Km>07cKl p~޽C~,ɂr7򿧧%lz }BlZgar'C-זD: >JTS+C)xFhDğ EMj p1Ěc.O1#W f5?'_Oa=NjV89Q tءfۮi"F,T~~}RMQ]7|gYZ {{L%7% 4E |ל#ᴋ\\P-f26u(ƥǭZO@=,U֭_xxbXE ]{oWhqx`+DT +̤`qn!€H~nl Le>rTI 2 > 0,\)n7;=XMjQ$.ǰJV(49e=Re]'+R ^!N~ۿ,ZenAhHy1GC>eQvUΗ_ q|ASn[kʰa5뷰mJtkc~gC+Q4HFo^z0$oR="RӴD9}_Z9o{051k 1909fZ7bb`slnuYȁuԗp6}P fF _TmD<)|dq^=,p䈨 :DnDCxD:ĕ Õ4A2MzwꀚMC!ҽ( ӓN) Mca%K'pSmĹt:-'s o#%5% lCompletenessCompleteness.Formuladocument.tex7zXZִF! ,]A-MՋhvG"uIBm5nMJҳΠYV(]CBT!=#Qߤ*$ONnDfpt9hb͑{x,O d3!olaM1ΧYlR-/ө'^:t٨$hi .6ECEܲQg]d/ϫ7,-^vYTSJ}Wh&^ʸڻ>5W1ܴD AofnN AˬvY@6t պr.'r'\H# m<j~z-4cmN$q>pI73r6la-Ue`?4~8RV޳תMZs37Zgr +7Ēo[t {݋UɇvO(\t Gx 9XB:K"9Uѫh>JH#zYR[䋪QZS`Vdq mܒp8 VM0 Gd~ M;ڽnngByABەsͫw+e~|` EWhC )ڠI ^P>wmVgJ^U^Z\DQj?Z&wX.FV |0Da u4Q~8@(_c̡ 2fz":㖷Z{d.}lq q - R*rfWa/KMy.(J j.Zˉmqnٲd1ǭctM:p.1RP /ZԻtA W"G£(]/T׭َ},\}w+ސjթ*Iथ}e>@KG\ .a=yqz7) ;\H~H;Nwի\8bݝ6̀:FJ^ɻ4ш+:s Wz"2Fn?2s yiM>{o6.fя?۶/o^d;WARytUȐa,SI ؜ hIS =o2zE<.1ń u|"3CwX۷)&9r0ݜO HP}#Ƭ)zI-Gp8>*:&A^0yjV@]yu3< P9/o=/2h<cJ >* C=<['1;efǦxڦE&wH,22NH;÷6jhH0OQ=Fjt61P6i3e i*O?$A;#~ः7hI)(m5&tڷ״O ,[i<;t; _K$2O{9)&t=O#p[ϋBn##ť)5Shw1ٜe^nJhbXŐPDiK :txȪo,ư-gph8EtDn>'W*VSIoR •v@R0r6{=Wg/gϣyNLM+fTj/2g|N\Y*cek11Nc& g~l0ƧEĺRC"cHt/nA_ G4h:RCk5wtjKDꀁlwl50GرYF~[k iri\s5#V=V2W0aȓf1T\x : t@HmGuز'ƳQ^7a6=~ʠ(;Ps e'.tAMY*Lr&p&PqOC!Vn)/FRÌ-[Cd81t7aop$jRE@-i={jٹady _akޠ3I EaQFU]6id>D i>N,_aQ a9=g>J7sgE@\wZhlGqqTC6u6 {XےW<֡ _TF0q|Yp+7DȲ9Yw=l Y;:[ Kx "9\,1f d&i“x%֙9Y)b%5ak[AOjFz W$B)fA9 `x{2$)_8#I ר9D5E$8s:9PklS1!#®UZ J )2nq(%ﺉv) K:Qi?b?8dRܑ9Ԅ"N_9ךdoFTk ITJ> Ҥ=uWn g(Qj-7.vX_uS{]E8m)Bmf joڳ3׈2 F)\1(?:̻D3%A;Gذ-R9c/WٽGI8F7+LԖlAӾz!D; oqݤђ5`3A'LgEi%t4a'\ |?  =@Nq^\9w|`HF ML$1_HHGU#Npk!BJ۬\m6+: zP!Vk9x,Lr:Қ'b=NkxC?{yjR&Df=*<8w=#Rtl&\0@ iwĞp_ht4ް(@ܐkT% `1ʘ dz4+Zx(NS" 8YKm/j e1aR =;_2 ?p%b'ԦwU tHo:wpC0't5ԯI4=oƎX-jE1N.KwmD(,ٜ>"S:zѫ~g* ^#@<2HYQt54aF}FR@X-tVDa&{H)_0?DyV9u ğ¼SA!pd[hW|F[6߉~G>'"Aa;X՚u'v F\;vf ط,6\D_jg3FHaB7%eOazlegpߤz\dz0[?A 4aQ #kЖbd>U6/F-mIH2EMC F9IR`8̘Y{"-':5Ws ,N#1>I'U0;U٢Yjo+@~R$)^${"u,41ZCk=m30L ˾baȕEI/Ua(-' O*±Il'&E<0~p]eIFFFh -RNIG*NpňvOv%=0R렼Ԙ p#E̍}g61tE~r^ߥ[g,+R-€Vzڝ2~0ۃRdm)>9ɟga.,8rr .aTDJBݴxgd|+āsd ECLȾyagtnlw'?vrbGj#?X .WY XC "gڝ@Ct;ZcOqQt=G="4j%ٌETA"UAb#'ݎGq0;˙w {yz1HDLG4̅pNp5")BQC?whNfi}IOĀ.$UY:$M{y$pT nNIT^h@ Ua %E˟q(/ ({ NyiOI/AEXY^i*8kû2_^W/(2P/#">쵼Q"hΘ7l 㽔K \r+#n<&Flf2-|$hn!uKZ=8ui;xQ~Ne{lhVDkvE0sȡ9KYW3g<y{O #d*706Tұs,&/'w~47/mY<7ǙN^S+nρjaj?*`~ļ5hNw0'aqPBo2es1id*4⧓n]SX.7Hܔku=,.@%N"h+)d3Ep58rb Y'AtNIZΕ^!,Sv|Xxq$:8\ ( 04QL*Uж΍C6yy5e[ YR]5>%m@XnDsq. Ѵ*sv#9܅]\5/FU-iDq,5u:Gg  OHd_&sz ܤv S$MjяGv8S{)f m?{Uݴ[5T,V˲W(H8h1͛1S Ȼqa%/Ü|r hd9}XqQ(2WԄLCs7{ר )9R%eL6?+A2`ɜ#kt]B}x UjA)`* OW&4io%Ш$egYZHڸYa D 5{YMQ(I3DLX8)DNA[Ϛ99d{qȂg Q řX77nZUgobj^()Ki3rʳwC7\=I_?M{׭JpW(ھ-8qL +AI~ 7 8kz?I( +}S) c!2[~;DSxv?:82S3KP:~Ƴ|<e9T@>A=ۖwt+̞!V[TκϪvgHp7R͙m V[sRՙ }ѣ-<*؟CBI~[.U/Ӹ.%iŚB-t9hllCgBʥp )t#5P6Oupzƒ'S`hM^ծD5cGg؉6'5|p!r7TPՒ^PU]FՏwKJoYJ`YjCwxjm \C952[ɖTgr¦6K[ %>D Q9A5#mh^\ qZvE㶤).~سTqLjQDleC{ph l 6/uMIӚbONGqg?ţ=+oXJD~9> Uj+ssIm`"a}F^R6zhKUݫgAsnWrlب#RƚSˊ)aC M2HՌ.&|, ڲ3KǤ-~zA/_g _/{.q_ 3NG[<3ɲ'VT/W룮G6 Ugk'734P41C7̓(LinWm1ɩ+# 'ZƄ2E:>BD; (:VSۦ A,K}xhB9 0$V>" g%ΎO?VH3˜9wr pd0V3yʾWL}Уg&x9f"ofsjz}jrŸ/x3P kp3ezhgkL/7yLe?UW<8Uʤ!-8m w /{qm>6`U&۹G `h5 q%M`/3N> hlb#F^}o 'I6Cv50ΰ?IɵΑůLk}jfqǹ¥īi˷HH]::4>B0/5Իu\8l yK$8K!s9_QV4?M£-kJV=]vdh~' {Ymh.c*Ztfƭ~++PtEXaLVȰ!f)-/xK/=|\~TWFyaO"@_w) ^1\~4P:IտRto ٹM ,Bc]Da^Iݸ.עxH0|XԵP2V}RO?_,J)?t5d35vp~&-bco|EC"L#J|sSqӝӃx̽-ȧooTj^WYy-28* CyE*EyI0UisvUSEVM]GG_50FKw)Tѐq(QY i K$qQ>Tc1[PɘޘS@)9sOV(BIac`} ᒀz t n=8IblԡlllpzDIȋ;!"a9Ki~#y Yv8݆Fj-r䋐5\#i0[o@kt6aqWpбHy8?)է}~q-v"pѼDj_Q 2 T]SAtaZ⌠-cseD1!?(a#V,hq  XGrwp]7],:>7KZXy}/?|E3(&\JgYZ  j%;% tCompletenessHOL-Library.Permutationdocument.tex7zXZִF! ֖]A-MՋhvG"uIBm5FU ɀ3ﻈj0_Njw8 c ejvYӻl*+0skF[,?y]Y;Z;OQ:8~~ܓE."x7^M2ҥ 'gm(L6Ѩ LړäO32RP&'he ȑt >KVx*W= Oxٯ:f4'#O:GjZrZ~vbTMG3>ڛiۑ6y0|W`,vI6 ٦Q6~O*nȬWqҊBJ$3d e? TCU Q0gDE(YSTFF9pNE^NP`'2jړ*q S&Ppޕ5{*)^+Kџ@m_U~FmP=.a{8H> fv~2BF:Gkܥv.FʊE] ri`"7ЕWe\۲<eQ`EgexQсȌbjQ+˴1X+ua*R\{'cM*1!ɠ~ixo$F ihمw@[]\GJEvD*L%`.q`!PŦ4HޒF}$ËN{at+}b[EϺ* a%I% TCompletenessCompleteness.PermutationLemmasdocument.tex7zXZִF! |a]A-MՋhvG"uIBm5FU ɀ3?E _ȝOqqe>ZXC#$r ?<=&8Eẫ3 Yؤ/j?\<  bs>Iwd$^jfe.^_|&Dá$-MU@)dӣF[H6/4+ʁ _IGzY82q3A6/TE"Bg9.D&#+ M[J%2ISr){Vګ|Ge0p`4od ;L/2lw r&IZlk؏ak veD2-M\Û\^qv;@"bo14N\/Tڭ0i"?`~n9$9zOIM9vT,?IA2; ds9=Ҭ<97!ȱ[TXAM🼴WapsJZ# ꯳Mvdz^"7:8$g.\]MnTWs2ĻaM~QU~WbjIl۞s2)?6={KE.0Reӓ=셫Mpg&/C'KJOT28frhܻ JQn⎚{؅E%/ '^2EٯXF[! Ej]ȦF  N 7Q 8a~Gt@8* 1ykN P$ws8T u|wh1(D_^UIV9+a )q$z򄜆QOwB,ʭdWU3CRF!EkWTZ +sssfʴŮ $\s 3sYI8KŹi4t!JJy#Sp3a[}h|%<\c5jHx6Bۼ1QgK$4]5^gnF=k)UUBQːiǀ@~J/\ģ0Θt=I>Ҷכ0:} ɼvBbC=v6^>U&,{X͍E-TH;o_w Gp9Rc i_)̄UZXqB~ _TgKmF"UjYhLIi8s )@cn̔iDwYVF^%Px NJgW\wðjtZZ­T-/6_7-fTũA&s|b$0tY!fv\bl9:ǁL~Գ64˹[c )_oigNfnÅ*}c`:|bJf4"|]Tr?9Fz~<ڽ%.U2fFŔ 3~LFQV9DϕԐ\x/nm Mw4n2&Z(b'ڣ=kq2$"}zG)h Fab.y9% 1IؐZ+ ĂRO5$DtP? !t_LrٱƝWK)z Ii$Ó=a.̳oe^b[!\Q%,LXhD$*TJntph'LjlB%$yNuQCҟ{WN ;%}x[{ZN=5~PXi>[)1)vq{c/ֆ\FR\RvZ!(`vE)mU y*SH"/ՁyFB.@2~YP1P2o6@Y<]5K,;[ĠSؠ"f|F8YE=/,x~ldްB`ɴگ#D $¥WATx8i~B&"Ʋ6Ӥ4LUEπ(~4?>qSWw\.9ޖM UVlV / Wϳdž({N䱵'K%+>]oGALK&N;}#c*L ``.ҷWaHR/ڑۀ[EB(A`ki$k| ?ϟV1 9 u6:3kG@r[Mx(4/t|u[>L2,LNLt/!t{䚆Pr;濛/=ىbܦt.xYB<.4X4`ՙԵ՚UjbL&f_3`; 1 S9b- F}ŧ_ okc uy*GDWxvdafcFY,xO`סڒ:44CfN}K1fױ7,aoCK6a sJa/S}a`f5~eUĘ{-aU5.J%)"x3Qٶ^>7"~*61V%] lЦv7cl(tn&ǘ@b+ӟxGl g?{> 7ˆKFBv Yqx#,W9X;l8vŭr- W_ ZڜG;`71Q !x;Cp, ^E%dqB)n-@2:w>咝)ScPlT5<PrTpz-isǕiTx &/R9qqD!AdiQR%DU PgYZ VV'%=% lCompletenessHOL-Library.Cancellationdocument.tex7zXZִF! O/]A-MՋhvG"uIBm5 Q((2B}77_^(ix6kضHү>`ٰS J:>pv݉$]}٦;Dt4yBW(5y3ps !%8=\7')bgzFd=i޷|`'2pl)gUрH=iP0H4N,z'LZ(tp9A ; fZJ&%[)r* Oc$Xiy<%&sC1 ]fsC'tۻpޫvGr+gG3WQ*w斈|D03F@[Z)Z- wFț<(ƞ%̑6fm.꧛(3 mČ: {&uTxߨO%խ)r&"kw칰!!Xk~@&9G]w-HW:.~r qNw^[%kʻMkqa4H)U0OvStkم"Y w@M%ЗGǰ;/̞­=;aFnKeTcx]?mN.]J[)o@., 'V%eֱZg ]&jU%x/tt8?^D3 "c#P~BuU%/x#Kwv6zp.=/]4stYgs,ڧlޑFngcK@/z@Q0Fo0B[! v} DADfw9Sm!;bK9a$K)`8"kp%3WƟniw!ԊqE0_D_rfPaéF C@Eݮx; $r:+,_6 /ā}%$f6)ؖʎi9z!%< 0K)BRW"kOc38!C0}(Va?pg( FkP H3ƵRr/ [[hڈSV>%9T $>-;L ( D.c*Ph`t" 3ӛPS@Th4IG-ƒ㭞)Lj{xZ*}!lsId^Ob39Zf|%q e|0u.tᢚQȦܣXڟgYZ u%9% CompletenessCompleteness.Soundnessdocument.tex7zXZִF! KK]A-MՋhvG"uIBm5ȧ`$ ?UoJ| kIxxpcUTOW՚uҕv*EϘ N dZ8aoMtk/G;D {@/]1A]HM,Sa&JA=ѱʼn x맡 6^@WkEJJ|0:f~ rY]\C8 7r֫yIGx60`yX^7d]r,-Qj>8l:(>Ϗ]#D%0/AzVrCݜ)>ᢚ4k÷3D<=P ? јef?+c8Mt(:$Xv|y9AhPP,P!TcIujs;rZ 8eZ["+iM2^T 0#I< SL&yq&'oR+ QfQ N ASCox L7H#H:1׻e^t.T@ ݳ9JMZUB,ErXXŕ%5Ztlw?Fccɶw>7S}{DblYJai:쁇<+g?akA5" PԴ%,3޲<+PXߍ#TWxnpҙ}!jEA,5=\v3So_I_'rrPz"Bz *&&5T iAN[W*:5 َg5nPH&3't,AQø+sV\r;;JN S/*2':iaO1N}|BۧM۱lEhHs3/3hTSN{ ȿ%T$<[v Z9.z[nACB?:"SSgƛ.W=;"[ -2T pY*X+3 {k3a]͗RR9Yk.rҵe4fGwؚsi蚊 c^{+w'&৏#71k?"^b/;7QU QF#%YςT皏,;/ʲ?fj8??~`9Ĩpg+CRK]'*I6#.=5Yb/%nq cr~OdVUc'ZȰŅ~t? pX[-˲DY=xp^䱿4a-HZW2!/l¹%s~)p"174LW*Zua2/3It[2 _¿GOAJCJtZ{NC(E(~ٓkБҸxKkl9DGi959Y`dm']fUХ7ENq;dg|^;1XNUgK#tq__)I&L;$lɋ3~<| %/% $CompletenessCompleteness.Basedocument.tex7zXZִF! C ]A-MՋhvG"uIBm5Am)v2DAW핔cG!`7 VWD2b m[u"vEdu-C w0?U(p$zݢD9V7R{AEH4mQaOɊ:+XB񳉲oqs;9Dž'Y*0\,_ܔ=R"R_Kv/xʗebU5MٓTD/|Skgm#Fo6bUxTJl(, ύoA[Ld!1B^asaiwR<1 qmK#0r{$: lUS j;KwT.eᆭryZ&Z7ۢ9_-מjoTrAp ז>YX2BAؑyGnedgN6薄?5%nꖏW5y j*-Q+ yN{U#R avsmj ݥ`Oa^%K~z[JB 2Ai^4b[6D~1bG6n¼ y]=۲80VZ/iz虨_xiJafeas9 IB<PxuW4.ː{nƈok9dX/|{,H o新Exxe* C.ˆ~DVWJjSP3"x ק((iK;t hwۜOJ 1i LjaLc3'nw][X;7}^jwW0P g}>!8ށ}ӹ}=qbq 7(g:y}RfH0X':x|,XcR+ GsMhQ"Uf([ٰ (Ֆϴ&i |.E^'{u:#2,NayoNKJ5*@ 9K&*IƹE7 dpJH.aS:3,@e:Y򁄅eB,]7P 98r%uDRʀ$ 3Z#_CrVF#q*npe%"d[-)&ܡ#eh}#uUPW MGFēM? ;ԏcOo6u8ȇaEyYhvm"t;bl0]>R˹[aa6ye,Тd2KK^( 5RFR_I.C 0' $z>q +C%0:[% IZt*_J734|Ý;FХBKLfJR!~A˒RTeH6IIg\n%+D?)2Haq? Ea/|o}Vit /⵰1X 0s(]Z?.[+ؤB$!_,|/6Bjj2t| )>,Y@k_:̻i;v"N ૐ)ɲߦojff- Y$ߦq){xzӭGzQ[$He25rNH*$6gYZY0/2T\~HኢՃN}T᥸U "?T YS$Gso8鈸LC(a %A2RjV-Q Ppg.U):;)TZ-_Sm{$בdBA8a]TBPtIFr{JjolMwaMi2e' $D%]]?q%8/27 sV$:%kt2+3WQy]no%zE]&7ԗFX #U}МɦhiZ關TMb)rrקtsDUD"oo>N s7BPJ9 Akmxgx岣GJul鈒 yxeMԈqd\_jor:V-ըz/~5@(!k*ۢ=AP|?ح5$ >fpܛAG 5*5 M`P"!{sq"{E6SkCH*~L+K'"fNsV/3X^8hہ4$ ,|ffL6@lp|TWxna%eukjJG#EϷY>I#ca*pQo-Lm[{R_s\gÔ2Z~={Vi¾?O"AWf+C,!sw|"aplS.xL0w)->+Ixwŀ̧64V30cF ox?5yw/˧}A_DZ/C{,g͟s %o1ʡ45/XM$ 5wq)]9~J3J[Wd"O*16h$%'bfSOe ռ(LM؋[)Np# nry'͌, rq6E7|yL ^w L.ȟW#l"``A2,+m< zxylWbsm{*@9ρl,@6bPaWo̮@vae^Dh/P$ SωYպċ|`ܓc@|X>_2^i ؏~'VeJǰ!eNfK~B}\ݚ@n ;Y,#*$TȘM'R1׊U[C\I5CP7[ۈf@C[3%^mUΞ-\}1/ƢZ%fP;N3y|IhBn- v¾ԀڊcI$o I k'<]gȍ!+F4<LC3sG΋$TiZ;6VIc\cQsU!n9 ^ޚKHRrCJwS飦K^h*\qk1E)NF"oq}ũ}b/-: {r8,ơ #:,?~2]Cv|*=Ugɣi0:e݌>[ d=PõGMRŗ 8eKBYMϼ`0\ ueJ|X~C IADs3Pµ;a7Cت"|Ʋ_B,+fMgҭ &6cY[Ϗ<$?tL?qu3KŶKjc@V [/hF%CBEOCb T螥ejk;pmCNua47`Ԙ9/`0mVŽRrhB ӟ -2gJFa.fo 1Ce߶$,*Dy3bH,*`fH|-D4V.ő:ܳbA~!E 璑 YWb !_;Kg pBN`}Ay'j]eY7A#F7\|u+* HC.A͂ CQaQj&c%R3rz{NZ@ R^)L۩,Ǟ0FߒQ~>+O='R8hK\!hxRi4Z-ՖMZg̀e+c?ʩa +J+NS7ڤPNf(ǟIFt3ڶ[#ǫ ڳjSkFDiwe|\EfDO<71N.Q2Y2X!6}NfGMř-:̅F]QZM !?EkکE Zr:N xՎoǼ);-32*)rDB'{l0uAӇRAT9.|<m4rl?C:-E+Le As$%]a/VlR%FT!h2+dm9``+=:PޒqaH]/ ٓ̔>VPtQc*d(Dmݶԧakuf?Q) uQ*TFu#2;Vl"4 ZLO#^ܫgDԾCU$]QzQbBټ{}-f&pPb{T< c#~A1VzocfqaAڅV6?.'&N9:C}.|-!ۍ:QЇL, UVI*F[ (x J/Y%7$lIA|㈐IDedxmTko[9ʚ~{K!a+{JoGzkҬ)j{`u8k)@R%/blܫO|B]6Ar}gR6|w+Dxzb)ú\'2ԥ@RVK1YۆܲZ5͝l8 K0r8aocL1n nQ ('Ӯ|~ـ{a^{NW-qKkF["[-JA%W¿-z$885'+"ȶfW= FDӋ@0tsx ԨvwX̨4ftK[X^¥d< ^#gZD*<>aaTF1.Ďһ~f]k<qU\t ?VROU$pX;%L.q0˟8,M1%o* n}KiuѸ"q*"TJ+=xRFo`|KTӜzc^3[xRZ5?K検PR"@S<ր„)8q8Jn:pC T/?W7.< {N8:>Zc)IMWnG6>4<˳uqlrJr<ڲҐO!lzф".)I>li/9lJX|VdGvcOK۞뎁2k_K%At>]rNq}BtJrZγDwbi9"ftB}n}T;F^i4^B!Cp=yg]Ǟ%?$rIH Io9D@N)S!0ZTp@j> 5针>l EЕsZ>,b/Aτc0ĦF- eſf3׍% T?۪6gX(^"2B pf.:q9 LMbiwqt,ؕG3iٳw r+ze=žQ)ڕ)JBGEԛ7*Qjt )iPU{!ܺv3YLkbA%a%)/*@D_]=lApM`O1xDCp'fdr1 bD jUJJ,pzH6qIWew^3촵Z~i˝OZ.p_zc0E^ƍ*YG`KaECk|;ь~vN7N7ҫhx=v`KE%7FQƴkFS\/Onʿ-)} Y™\mtdJ@X^0> } Fz(W\jD+ 7)/,so@\kБ|l3Z聤qGW}^u-U8HD!([Y_ނe0X5̒"Z)fQ!+ ¨gfEE55,/߅$^ KP "嚮Ř`| O-&ϗ߂ 4_ i}fW!ZPyvڎ:m\&_3A\rm"8=gtl5"P!թ \\uZbZC ćW.Pc\g'%a,&Gfu jKrjw|:H/0DFwXth `IVvfE%O C^;o$ҚZkϸwzbݑRi.I㕩+!F).[oeTHP`vl(Ib/;:AP ECnv\$F-L9zTe]4\&_XJT_(H#%0qO!(\q;ƌ*eE Z tZLeSh ;&DS}}":\Jᛉ?Lߏq'Ʊ[.)å>8F!7T=Bc@4voN Bڟ\43e`E\pJۻDfDW{]O5GWJY`^oo s@JL59z5C8'|liEKi81B©3jiʧO6!qWspXrIs5~ܐ]M,-56X/|~Ly;OwYߵHüJ u$jh\HUf;5=pz$93gl%JЌE?VYAC =itA1sO9́́_3SgW589Hݓ =T !Օ%@E6[$DOZbg ?<WU^jW'+R%lZlobSާmDFy[5M9 2C-6dsF| $Һ˶3=߀b aG40.%*J !)AxpFd D?8)iig{[O%U,N]L I@qr JMoНw$Ih?A-Ţ)Z^-U.au+H-+#igΓݨ(jMβfN&Lb@Q|e[+7b'c{ȌZKT*=bG~~W?sޣo9_ᆪƭnT.43pN!w#XA܂?#B 1BRX_:d2AӊI[X?znVPљ=s3;*ͬ&eN:8?V+Nf Q` qEXmkYfsO Oܠ?O7.dh m1bqӟD O3vjL~`i7tSixh[INjpoQDW--A:3dIoП;[ɿ;:6v0 cn M6ɀC!6֗$S>vhL#cbZv/bX5|(uȶ,LT(u7@)'W"2Iת02HQ` ݞ8&BkMowI}l3O5*% * ( }wdͅ@À=5k֖>d6BȿqZj0O*1U2'HUm\$fg;@ J?ܯyܳYSG-ж<++g;+A@ExvgO[Sqb9iLۓ5ij6 .}&iP>NqJdɲ\Cn0*dT7u*Z_oH Щ?Jݔ NN }aJ\f"J iP1.p>y ?}\YN߭6pRڀLaKBz2Q`#cډq7ƭ0":"ȬOMT%LGÈ_fр9Il']e־&Fyi5I;O:(0 R {H*;rW82Eam4ɯ$! {r$E"D-٦Auxvaf>[xuЎ`"~Lzrsc`eYfrXQvCE1`m oDQJGNo]F|DA:ht` wg*>2dM%{Vzj o規;g^0}v#9sD;bYquH.Jh#)JDgSw8 `UֻȇpX' `'Jm/.>v/w50kL|6~1hz j8 Mj'e'efyDwci;0B FkT=S/&9+|m.HOwmV o1Dr\E0>Y6(l'`>['f]ڻBJ|!%1!9CWC5@+AY,Z- !Gfy ۸yp¥HeA8>t-Lq\ifr FYASXcqaoӪQMIrTHC`~3\ѥ6Ok|D-X^v͘W@WsFP[c b뗵3 W}fs[bbRbGo.z0M:tACzSx'm n3r#n G[KYo%ɾ՛!!= Td ax&,4InKI5J[l]؃L'MD0˥ RʁKQ|h.q]SNEK1w[Yׂ Q'N{)N uh5TAmB* |܍N}N)zfpMS "6-VYuLn.YE?&K.w-L|L" 0i/%`<+eXU]S,PRNi)kLǹ1SCm~huLhW,Ӭ`,vr:tNpޕ'·vjX|- &Ƌ&b54pg2;/ )'(}:x*FB=I!Qh3+R)Y>Oq-sM`(B-SO#:;Ev%kIwA0X<"sǻvObO?%{߲:r(\x ')DaY0\Qчm|Tx Tk ShT=p5'2u IB<0Vξ_e1[g797Bo8U{/ 2!45+ϩ83s}D2xؽRu`(1 /З? ^m!\Z)FBg$F@;^pG?7,&i j =ݓ ; + |}_FLr|"} %^ǎ)sܑ*? DY\2 S.LҢ( YɲN&8qaצ^ft#ל2AnC2͂ i$|URA7& U:!Ȱ [a= [=v1v0E003ϑ(٩۶k-CKV'P7P/w5piy ;r''9x"D(g5KRMĹ-g-~n.~1麛>:[@D W9`ET4-ہSxỵ~%S}m??õ3Y9@OHulK~qv9ro`SqhE0snKHRV.wzNf{[cj%H K&!|&C9q 9;!{`rDr$HgqQ,,rUΨ޿Rl¢*2F32Z]wa2Ox'eD [byZ7,7+[6AqXhfx $bmA:42Va3~/Z^5K0]ٞnG=E>lw^[CD-T D? D#IPP3[>EsTQ(ujOU?p$]duzQ0ɀ·Ym3IN Iňt!WY PӜ4r2")I=Dσ%IDW }¨XH'{x $6H 5QM=ֹcʗx yqr\'W~Hjo4Η'Ddd ьT?ae :!6No &7I:1̋BaN:m& LQp8WȐtPBODà %d7az0ɩ!{gt}$h5hvr,m*83i~4{an(s}΋eZ<;a)k,/͞<u ]{:s.. $(0j/ig†הp@\SͿf\?Xi^{VKH)vOEʤ`|^K֮h-kMuBLXf'KmĩB3TخDNI|Տ@7:9#l1^5e uxji6Ł&o5?gOVY|+"9`I5FPƂI%PU{Wz>M4'ԄMi8Y>}ݠq{̸H TeP6E3e5j\*\}Z ZHMLޗ 2fcX+dK@%)hJ4 {Y! }p1Lalq4B*E U]bGpp.;6scÛmy8ٺޙ#^G;a 2 &9oHSC5P%7W\Ϧi Ãu쁞Nd%4uhuW`KTw߂ ^rZêvnۮ.ӰSr]CڠkI:RRN[Xd{rF  M4J4X_^є:/ϭجQzJ)PoI=> \2hIO`^AjsD@jc15}cS8< j5b MTDžT&& Ic Ư9wqDp7< kw6kF@1RA±]rwclL -v#Z0ַj4.xw2v͞%mތ#'!$l$+䔸ӊ4Ϟĉ? z-c2TRs)H"qF?y*WحH FFn@+B&d̜BfrnDIo0/a-m,7;yDZ[| 0fH;ޕsxp&jP;Eڐl߱9^>ϭEb~5Q+v 2yӴ'za1C mWcvy;_7gsj i_^~@Jܾvyyo>xP,[OUz(j TﳦDbZ["߽RƇϺ˃ߖ^i qn;rjNl_x3Y?Z L) Ώb,#0I!$KڳXȒ0,53tUB\_#9}.Up~Bz-Yqnk$ ژQŭ!OV5)j:KngџaZ}))K5g9\Mh{J=-0 Akme.P5*|2=<l;j_{fCP ..*ZgVцKO!Gr 3W<]Јqa,niy *.#+!-\pϕ?[Mx m!۩d]ґkI)2|3Pd{cuѶZ;/5A/12n57{"zpXY3_2mܰYVU}jrbNST-]]/J,03ש8})=Z.gȾL|"T`D+_-GS^Ll`\"P  +p$n!?^eM:@>p5 *K:s, 3&%PFIyK9{˦5ʖUfSVw?xNM2,tJA*7q0 A}9K5zQzuxU& ԔiȞ[q`3՛]@˃2bսX"xf-|ul -1ߏ7 տaq_,::@I#% 1¹kULeBԻ73zy"JRq.5?e,z(Ceyi0p֓*b^q]aٯG$|24z"[B4+.MY‰dTa56MFr}J&q0~8䓩AWCxRVڷ}qn/O}q>rD@ i{$QQI"@U^+*U"z^ F(g A_ "<,ݷ ~8(:; s?]Ss(:5&C1b>HfqܡܑJ ,u.Yqg%Dgg#8QN͕CAŠX@_5 SpBh{a GZyKXqGx EZHZjQC' \n)DTNrZ6#(/?.IH<;Hl|5_'jNu1%Q5&kXYxBTyvX(#yr 4C' 'F!ͯ ^~nVc&R=nT"A6šAJ$}#^1:)IqjECtCЋ:U w sD/۟n}դfbZ8_=:t* H}SLփ~>R-^PV#o9(óa!ya3v@,(s냧L~Idpw$LڑTnp+xb:e2#;tx%[&Qi`}eAAM#3O!7Q`'U}{>A;D +&5 H2$*AnMj4?5׺NJOv:f SC#_f%y\R^T8 d<ݏsB@R-rX~׈#[ov- 㗮DynY$&n~U*sM ]S4>(,Q-mBPSJyfyt /o5 Z$s~J9m%'XHEnJzp ۲`+In)Lh%."g.utZό%g0j^n..9l_J4L(s2| -H &N_K>o儗a= 7mD]J^3j7y0G.axFEGΈ_{oY N;gfsP !D^ ~5jOtl/&c],\m:C}t+5z+o9Ÿ!g:+gɡѽ-0HRλ`jkҩvYYT~5\]PTY蜪"]Q_α}J;5(HՇ&IM&/Tx`9 Z0.ň- gl٢s*4P4w"HW7CFfu,M"jVr`|[@bfu oNq YSڄYOYݒ@MlGEq47#19F >Hp0CY"x_AnӐ lؖ\R_a BLy0#6eVN{o(^{z; %쵲ϥD%Q xc~M(\/g[w>[OFVVU=W hCd{[Bu?3ԣ5 {eW}GQp̺uC 6Q@)2DMᵛUwYp0G2$*ju,T 򆡾}˝uRPI̟/ ܸ3tBsrE @D>j+}ygh6$#g%Ka_^),^J1"MdǺk&C3_bqv' rkb xAW5AR*d#/5\ǫa!\s):p@%j \Oo;H!}}R UJ V#H|Ю!k`򕡲j!l",#?뷲9& ;=FUd}D=~Mqi=Edm0J֑{*% N}$-g7Qh9mjUsEHn 3/ТHj蘤a0 ~5":cC;3Z|miev8yN<ļOg 2u!Y$a 0x5W:}N;OUP"b. % WDz҈DĢbrEMXm:LZ9i6T1o"C* hRJ(=JcE3"Vod&5$ft?(QEdVCslz7*naaHapE+շ甓, M^֪w?i2w2m_2nᨋhQ!QG`L u|?bI|=8lH}4*wF:%]s9?a:4l4qeQx'L2SDc?T#iN)hMhO39?܊a8%WWϡ4`;إG"I힇ak6>SW 8& ?_Knmؔ$ %q3h7="^Nʆ*;pؕ79Æ>+U~1ti}-(l;Zq&xEaCf;Ƌ1 ,SmsXYOڝ(3ْ/>_kt.)x-Qvqo-`G ijxH Hڧ]u7P2XLHM@Xvq{&$qV/2Խa:D`jv{H[yLoDo˞?Up&f)b@pknZ)h/gf1V9 D$u}J'$B?W Y⩭ |"1=BE1eLhW'Ȯ% )IV,¤ppFے7<}=]h'Mpt䀰l%vz~'RώL?_2qd֥k :%CDZH€DuswwZMYqo0c E~ѥv4;Z(]y(]tlyPnNEKc ࡥNf5dښYrCYgĬk$jp=5 *%SB)ٗZ+Cd%?և,BgR&.6x]qsl^`X //+|2;F<*Ҋ5nO]3Cc"YlCz@MHn\'PRi^:pO9 gLy"sG%d$nz~sZ]RBUPEB:so_%PIכAmd1XthKWp0VSW:ln z`r"ze A k}8{Bw5A]$ή,'LNyK)sM JnA6ąiJ^˺M"@ c]]46 ? =^,:W$(spźFIVހ@ȗ$/9~E? _\}mqha(bz]9Gͪ)q&q-;xm)Q *,’䱆 mA=s}^)G3} 5O}h hw%|`!1dɍ(U(MF6: oyW[,^E j^W mAә֛߱07ψ!/D⋹4'V=A|VV56lZO>,E-<#ʹo&zQp [V=IS j#gqzX׸FtK$c9𯿸+E>_ ;fdrF %p'tѷ*W.JXش^GH٧J2oqtܬ⎤MCtm9zeuoTմEW=m6 L(1K_s^477E;M B $uϓ }uDw.ߊ$ 9ѱCľ:$-[K/$qSkmk.d1| 7bt`F ; 7TƋ?7cZ HQ"$[TsY,wT!^ 6ַ _ZCP$i8g-[-)ۓ3]ClaB?1c~D/%4~@A`yZn+>%Ld҈IiuS/ievZ!ފbîuQE!`B8ƈ#-L$ WN~\g8Fk b)#mb08qxN %?( D,1LeATƶ.'?׸pG= [RW2ŗhQTs1胏7,t b`KOSg%UVȾ_`=!Q ^Pi:{b`XWr:J"~*[2+ Ws9a B3*L0&ko0B.o]8yaI1qH*.\wȻzUl:[#H0X\>O(uL ~&_)Ci $ֲ[[+3@6# n%vJ叝;ۼQȈiU՗+;7(͍j/N(Ai)bi3t/DX doXc4#alM\J\;Mw`sX$IZOWX1֔~`ejMITw ;nҧxxiy04c؋Sby{Fؐy \IcRJ j ~v\R)$Ƶ7=D9ܮ"栧dKds= , #gd pS_ D#3F)iw1jS;@ ȣy<3UF빁X~_L]dO IL8bV u &F!ta= k=&GW{"!?@lD_ "j7Cg6voٿa;_3eH c:Fq[쎷tƋ8DYJ3'qtr\ٌ6 U%7D ^ΒT7FaEGQ"yx$v]ӚiM<2e#.;GbTǷe]|v6Ex ɔb~1,LNrnւ2ZwɱfM0vj w4m 7Wg̯QȞA(Q*UQ,EU N,KO\҄ԃ\.纮j9!t |?<%+\'[ũ k($u,$ϰ!MϵgQSj;QZ4`_"I aֿ]VF&;_sjvK2n="͵DLaأ'v XB ()d|ˣ. "9mـc gAMqXrl4dP׶;&2gM=D*ƞԝP/)92N}۶m)#2D 6yQ߾;yphq jQ9/OLm]D:.)ar(i8Oћ֏ l ِ\'r LR[L̏*Ov¨uE&%˳3~,zEs{ռA|Yx^=:=<9=cqʼuS~(z r@ÉbVw9Y<$hEWjZpu_Igz~ԽA<O\0b ].Z~SLZG-Knm{8hQ&

c'JZh0qPe$HۃSQ @sPd-'?x8bJH& "N~@W dTPc)">-fbWpGu`Ʒ<^Q\g|v2}֣S,Rw WfJ<q{͗ :U2P]!gwֱ&g@ -1% Z\wԄ+lJ'<IhhX Ԃ,:"2ՌuÉAtj5P9NGW(hS{ug]D~3ESnp F?n?FJ>ǚw.HykUo\&zF ʶz.:-OuLlzHM:yC6m lq}bF*ɗ}al!snh۴mXBUhqhA#.E7(/Ao#ZVNw_r<ܱ\*éaWH2|/1 o.G8p0"9nZXnܠ&j``4EeSO!1HD)W&ckʼnPnMnƊЧDɦv1+ˎ_F2V !/m*3PY( %1i@u=0)7G?ʋGL,jMf~pYkpʴ/ <纴+a_Adc"0KdP)> K!Fe1\@gRYe+VzjTC}AS Q~nϲ7z$aris?iL#?I#w/Bb%ѡC7:T=mxqpXCIp1PEKxtsYPF9ⵛ)'ΆDh_\b`1},@"- ;}=45W=zS:޷ Z)읺,%/͈NՊC1/08^Jvt(tD[1I S7R K\|_֊Z?dwɸ{)cqMzEւ:aIS@Y. N :t泐pQ$O]}f}gAKj( 0a }+d:ڢԜUgBU;{]9\w)\9 ~09R_;˄W:Oj |i,zښKsڥbRj[?[GvĪ5Ǽy`OwbEޱqSb#rjrD?e|)p[;IȔRn냮[=`IxNg3%x}\YY”3nRg=FIfN2խ)䡄 rhw`( !C: J1k˄8zPr6!I=毾܄gs,v)nKLǶbԿ^&& KWnFR̒#Rޤ|v5v[4=e ^8G ._>^ xIDD <%nm&2crw9-XsPՉq\̄{&R8{VmsEۼʄ&v:Z̼]+ig*ʻ22h+`FNVYq9 ,f_|x`X}hx3F{H70@[ҜI\@T%k G{.0Npw*1B`+OJY-&Teyu]`>^{~щȷ[Q$YӢ8GLut^@d[#\<ݘQc6.,&d1a#}^ήT e aPjxJrc+8Sgs]m,_A̮w7X|i폼XK!!Fc͂f]?sÉx)xKqUB ̶?ƴd=d8ߕq1KxYoe -S6"E-Sv Pwt5C -$%V]XS bDz;F d; |=ɸEA[QG(h㎯ r7}++)WMZz*jݍNԏmz!4_ ߯ kO.E(Z^k<[IHc0cp3柟§{nÏ`zWhK&orHKߝY>_zAB3԰'(%zpP`^)6. ,d U!+0$KnVY VJN#sP.<ҕw?¹\m\=Kޕ#Ax*XKƒK@Gu yOȑ,HR&ڨ27#_Ds_#_^D+R'ag{{ L&dzx갰r?]RH(\c[4OlZe,2J5D-`IYcJ2XEZ>> IGK ޲*Lߣ'G{$yv]Y]R6kLq<]$#^+צN- IowVQ5UۃIƺt4(ml&Caj<.ĺo~?dԍ٠7xB\(\qpuFވ&85jQ7unLury|ys҄5八Uml.lRy;m<4{ahM#;7?ÅpY&ZARsKu*#xyf؊aߡa[Pu9TI,jШOTVN+rt`IJCӦ$d4*WTPo̙EN3G #DNag57ʨbh$ebiŜRhEpdz0^-剉v6^,m 뭍"D(VUPvjmLa[}0mAyDF7uQ_/Kdq0u?R&e,L-Z$ۛ&gWIsm'QH,duxcħGgu~БϼZIKu~50"8p/2zZ k.ڊkJqJr^2xȽN-^dF(v w)H;ku|5SUH0YNC816_ \lL'qH <䦮5MOSvfq+aWBN3T- $tᆏGo„" R*|cogkW|/GV@q>v0c K)}mG^s"l1pypȽ!Mqɽ#TȲx$1Dz\m%i__7^]$*V>Vpt`($͕?8T?`>YVnb b#y5@45ز+Je3ű,6= 3aoxR}@ ̱QVǣrXd5LZ4Em\w~ `}UKCtdxʠc_e$C?ld^CuaػV߬7e-eDx %'D1z-'ڮ8 ::+豙E<ާba&%H+=xG^d@3Mu齶ƈ/:&em4 5d3JXYNwWn[LKݥFvX x} =c#K gEі lW4̜ [=WLAr^)pcQ'`)hu6nH8Q",NqRw)/- D!"d?'틽hyb0VçTxI,E3FviyyG3KqS7忾{}ZZuVPn&3-`讔gWjM Rɚgt2јZRGD;izCv(HM{ MS8a y&01*v ٸb[[T}ݗKў;q%Ya:Ҍ/8^^?xoR.nƨ3𢐡 ^{:ivۂbqꢌN0`@Q[}Nj#* j&n [mc=Ihҳc-(V|BJ03!Glz y'-9{8!o޾JXܸ >mKUJJ~e#!J&'UnxbAa~ '5GbJ誗>eG5Υ3k󰃎ڒ"-\8,^oI Y1̪ؒ +Ɏ̷?ʹ53pt@|^%ƾ,>bGs`&<qAGB7dvN%yR+xO2cQqNɉ3@|pJHmbKj1dwc 9f.λZl]9WW(ØG|ڦQY^gs  9,Wdžk"8[s(ng)fhP'PJjz^~M]ضa;٣ܖfIsxEk&ځ#G :4'lrw 1uAO/I'yC482PZ$ ?+jO:FkaIi+2/[\\q$ZtA;3b{C<}s0Ėle! V|HrSl^ө^7pz] Vj x;dj-q߲3*H`sfÉ/Zb*i&JVz׼ixG-d|^$ANt-Iw5M:t'g'"Ufs176R4:0c-f%6ri`V2Fg+ ld24B[)3](@L.ytrFCSubʭrO͵k9E4,I .*'# QJj5(θx"sc'Q_BT 3DylY#OF]! 9ӑ*)끇0+zb}uDά$5;*9U'w5w>q;#[^yWW1]K?+ Q,uj]K{xy!SNTrVG}čQ߲W8|}"%dsof6pÑr=*ԡ"ZզJ3Q;]m4OHT~3Vw$zP)T;nfIC溪gSl} 1H3 \N2!/6E:2LjM= VlAZYtN3gDve&o'ZrӉ9So e[6f8KRеA D sg *cKE di!Fvc'gPd&;hf~+=Oq1<#a.4>h=voo=9߲4m TW)WKvT1 N8NYB|,k-K)mFDKț0 a p;N:e'Ñt)+)ϞٖYbXk0!:}I *yxe}7BOrEH^Lln.ŀgߡ C &PZԶ)kz%eC93PW9ARԨzb'_"x6/_!ݺ|DS0n]eIڢrg G)&mՕwEߊ, h}=w2w޺2 Quk\jLs5x{ݦFCu,y9bO 7$? J8GpOpUDVncd3W o).`u^"tcvGY?ίotE{>jbǂ|h!OEJxf,6:P{54RC( fh+lh)[)MIz-bġK*pwqYSuݷ 9B9♓n߮q\B^b17X6Qm`Ed6 A h\R*돐ZDN5ڨB@$Nݱ3_nǶ&;"zʜnU8Q,Wak:A\07pX37kj3Xͨ}@e9o>jDIXU.klш۸:wpW *MLSn')Gm Sz-^Y8z.Qe_$#aX#œ })J"^B|)*0`6YA(yZMCs "pIJe_w88i\Jr 8ؠDK/*kmXxdXm^/7S_m\!n=j:9V^I;L4{> =̊zF3q   A YOlOJ٘,"I$Д?V˄&}Р36vxb*q]`%G fs#KVWnMi+"23z(to_D*ΎR(h|)CHO &FL w|>L\Nbr[vocU(QkZrsò^G\cYSg ;֩4YXQuԯLޑ_%$v̍wWV/pP.{w6䘻TxGys4~qג]Ey0e#ij9At~pd^5}zӾ\  C.UBR|ӵ3oF/?ǗG^`8,ŕ XiLYg7bL3 rEbp$X%wLk; e^Jb MJj^K}o7%?9 λݕa+rC*6u*p'+Ԧ-E:cg[yNH7%.c`Mދ|4:Z/Ebp洫h߿~YRg6zeN96#|;QAҕz5wwy0F G ]6Li%H]K*X )+Y!=&JP "L\/Ԩ79/)rtt{} j 6@^w!ȅ] K+R)%(D hIh `h'r"Td5֭6o!:#~ ++q?ና";X}" ɒZݼ\.zn-ʹ]]5;/Ս[Ѻ?b2eg_}fł)Or9J#\]@8}S>nj #LlrI4l-r06o^Tt|6fuGz32kzDBĞylz9¾sfn&jo҉]`).{dMH е xSgiTt<)0!g9zݔltI, 6zj@cEz.-:'=g Zia<#7OY!d2h ⸨FRi;@6Gqe$D*`T̑LJ7vXm=}v.IWyÌΧ\9|׽ȵJȗS" 7'Ӽ5-eJeR1zG?j`*qm읂Wsx[sCR*qRzS&1VbZO/c)z靏mjޔ_%{gù"nyU[B>ޘIaCfR\[.9ǡQsiWA9l7X;in#9c A^>AL+5YsO f8{dW ayMWgx0Wi=lcBu6v-JK'>*砡'cю%":d-'EP]mRbY)C+*@/(ӝ[)Pֵ}$Q9Oea+OCIA pT+ic9UQ>$_,mpm֕6yJA)ibKĺh/ZCJThApr]riy'%ad/HoBZ$r(8+"1'ܟ9X(E#Q}sa7G̷WAqWyW Px-d44̯hQm %fQVLQ6<\dx>Ъ؆p*i$%Mv [7 6uT7ueR*'j"u9XdjFuw 8I̽Gc #FאoGRzR@}=-8N RRڕQү=u!-%%ұy=ZЊ>H37-,7*0 ?4ȶo^{;Ѳ[) UJ}SA4D!aն KM_wk _5фȍb/ }^嚟g!< 錒k$- cf 6| -@sܸ3cz]%ק\HU6L`o:Y=ιd-$t/ vFPp\# $HƄu&L>>?4|Mm"],F7%&SP@K_$py5*Հ[}a>_05ƔCY2۴Ho&4VeYz)(4EgK- s O !%ICߺ1Y'}{ Zʁ#fPF\ 1)5U@UmɀT2we+`J㦻2sF SN@I\bwAQ7ʺ\%\l^;MB:+ Ӻ=9p\zn+G\ޒwd#^}m8oO xR)8+֓)+7sD;zձS@l50$) 7;6b Jum!UDEz J갉x)R-QR[Lԙ>Qw-G|][s$,D9ֺ!ޝG9X~^GP }k z;a-UN͚ m[َ"v# 3wrI!)+~ӓE?YCß7Sy_4r7eJjepm_ZηpY[lYV4"~,кl;p)V jǽ0LhitkGDJ'員sv4-jq` [W/4oFV:eC%y#on7.߳~3~0710{C^ĠV 5郙in(gv̻ ]QS,4)Yf U-Ӥ=c&_Cӱ e{]d%A8Fy9 ּHMlkL/FuȌq7ʅDb*J-m}ҥwvyDcnpo&%7_2{0  rJ->'Tݷ'RJH}_0P]"1Jj ]ɢmGsgCqm{~ƔmtO)1KHsIsLyszfLn?=n\+zI$aüb 똪h@["(O"~)cJ6?ThϓLkk˼fQ1]c߳i"m1òq^*RH(:"Ϩޯ{|vWy P繍7oLŠw Tt/j#Wl).lGPv%W[o4'?:'>mt?z=W&+F&zE5kDU\DwC%}nib[S/d[̦ ) #\4~}53 c2Bcx.x6z`[;#+JMaR-EIY_)U~~.\qZ\fֽ6q, ~!4<8sW {6[ W<Y> $촜 .JeW2Om{9W; @c8ϑRD"-cS1*4o]5D'l f(H = e!TyN\hi1& ިFS&]m]`y݈JJgKoi횇Ι2v YK-OB;eg>}PuաvdQf4i4EtcK-f_E\kfyN Mja3A !}Rq^0K>nDyx-rngZlTV>Wx[ayԪ0BD 5Z."?z T_Z`B9b[ϰ遙Z1qcb+3NGTG\JmfNd\ -`!n1R5vr~S0mKV!Gߙc I3uɚ4aKs7XX8gqK8djgQKϡFL ;>W yEZTҹP˂+udKxPPTڤ'k=pXYO(nEHbaI,g0^1mF%.K/.* gT6@uyK}ڨ% 0>qVŏPC Gy-wJAiijJ cJszSgJ5 Ku2 ``4F E3(xjↅ [ ~6*Aܬj!CzN>>,Eu<",Q߱a̒@r[º1RِV+k _##!Z+ $EZ#j1 *?!*3}`EP/W'XP0eb=qn}Q6ƸĬĸ`{HO'8h5uAY,4Ÿɘc8N=ajc:Y.itqƳ+!Rh& /q1]S.Ef<T~N(8_=mI8D3nbIrtKn~h9G*< :Q$\^/sr@E$L &N63 F;<\T`c'ؿ} ow\W)i1Cn#7Ct^pb<軬6zB]AAs$]f,u8Ì(?q϶BLm:,tatnm- n$wQj18G0i[en8\q9_//j Fr ր>·EʷZ+'xNw#>,q]ڳ!7z$[> v]ۍm;;wX <U"cpx%]_␂_,7lLV:2yylژ$Bl%/#?:}Nvt l/,L{Z_LTR㊱/p9| px,f+2/XI"h"t%H2$'!3V: Mqɱ_kR5ճY( *_:;{6t KTqu2 9=)7UM!փhP^ѺW83/% [}i^1t Z$3rؔd?P{CJ5eh}+ɇ!PƊX!ኃYkͤ{2^XGYm*+#R_oQkJ5,^a"iWHfl6>mt %nGmЂGFOʡY?~Bnc(bu##2R` *ˬ+KI_ !׺L8WI"BCDtaPW73PutmSy<,B+ޭJC="ac/zL윂.JDv-~{f7wk-AgȂHήl OWbU7L{&>i}?Ӑ`^ FME`wz4ͻ m4![ Xo2#DE7(]\c[\>V ^aq(ǦzUl. Z:H `ntTKzW/[n ^_MjY )JdJo`D rF^\Rá-ywC3PՋvk^B58N:p4.LUQgcȈ?Jz 2!$A`>uR?]!+Q[E.LfW!g]j9P9nfC\gɽrCo _m b-3`8 ޣzfpjzy )$5;ohxыE8A'^mӶgEo:sI%`::zK0×&:W Y`SaذD /t-FOE=KQI>x✉tEu3\y;Xf?q D RAEȦ{e.'JQqFs2k5/ d׮@E t0c+.ָnhO-C,KQA2 E9.]Xj,MSC7,nuzA(HCך48bq7CG@AZfQ>NXCs#,5@` a==Rߌ=k/weTTmgLƏAO%: yղ5,e;߹E CKFߚ`$oEeji/6H4+43i:H8M>\]պ-zB>o# ͒Y Fj~ZAԡB4>(6Oޤ Xt=R#C|iDX b[`Z̞})7VŹ=v1!@5 M(E gEyL7ۂ-y /E |8cC\(SC?unu?A|IHų(5C/!HGɭ>m7V"i6q|"%X]JUC%Ј DO|Ы\;dT_#FI<1#3Hf˛h֩Pg5Q@K<*Kӑh OԝrEN5q1D}e;%mZ„)eum} SXUq7${Y 2!?¥{նeI ƨ*cxwjdN yUm;*fej1T_W|aqXksfWh^5 RHvs*kGZ J&XNx 9}RW}{GQxE`9AtSȁ=#]cRNJ_Qdi7qu'QӐԛ@R.Q_.99YLM/3$q5\CQ{F0ȚXs*'؄,V+^Cmؒ/k03xH8-&9s+}8⫯9*Zn^dOX(};O&Pvp8ax|Hun]R|uCY2McMm֮\sB.8;IW_]cKiQPvb5#R| e.#ů#h+sX\x7JMomEټ"Q# Sȏp"M+Ed<5T-{pa$ HY] Fmu(Ai|rq %X)}2>.z4 U+t(+wxβ7G'%<\v?B/@9DjR4rhN5XA K*9JLhxZ'MF}XǦv h ߻.I':dܬ.%}-c``@]btektjv~o鬇nnmLiT0fUs=`P{ںlɖD Nd O{|J*? }%d < ݎ3g϶FvuRVUI4P'x(h@v(evK(ayίqkAydXE=38.hL& %(nO߯ݝ\쉩̊<ɉV K O y.[憫<u!8NqAdIo#J%@ݫx!8_Ox=`Au؈KaRʣHcϭ"j(H:Ò #?2oڵ@1v\,w%H2*0Tx\X=zv0ZuZ]Xbx+@>K6m6d=Vo&a.d^l[?9CrNiN8jȇ^{(E׉Ijec5YU1E1fr8eYdgoxZ֒?2#͚0S`H)õ4WHU{ LYɢ!eр _lذӼ綃 ċfc0T<3-Q_ 6׆xmȺ騋f+'CS~Nh%36l #k;8b9# I[ZH ۭ= >`xJ[!usH^}n| ׏B̛/ZKLE06, #ce4{-] hA[XÌ6/[ |M mD'!=ޟANO\D"ȐWTfFDt"%/0+&Uݘ\O<4ۥ˙?_@`=N82)?,PR^W9d-7 9yK, N(Ubjh262O)2AHRB8T1Q <8e ~9B7dH=?yYAH7R+6B# (RuouכzV.ogZ]|:"BCœ;BȥZ2; v%C ^R2GB#.eMD>P(INC}}~/з }h/LJ j-P8W U4-pL;{@.7 u] tn.3ԡ謡,SYOq2#6VgA\˰S٥[G(R?2e.J$!>buQ]wDf H"04OD|G"*1` SK;Mӽ9fljM.uN|*ngըNa_Uk?4hB8 Y^'2mxxYUx_ yR}oae-6~-AԨ跟)EplF?42g:!);t#5* %4}J:8:3J"Oi1[0 LVdGεXK!TX֗@Ž™7Ħ(rcnGrpZn;'-hu5 G59 g6=wT&'RTnpIJ%"=TQ/ _b:J7T{0s '-b.@͎=)m2<8 _U GS0p![*WS.ێג88 YIζioiv*xO` o/u!/%E!kJ,_kڻHceB⥊7iyv}B&thq?((&9|\}梁ٸ~/pܒg4L(ZvdMd:kPh櫜6D *Mxs%+Wx} h셪͌P:?=7س#,=]g*Σ!ٺ K Ia:snBd`q.c_t.?jfϱ|,+g 🍺ƈyv lFHd2Xh5Y}1+=g4Kl"8h+ہL vϳSsb"nERs(6%JNt%shl0N`ҶՉ.bhbt%9uKuRem\𖂣+ (*>"K*3'9:K,ay 883/8\c%aAd ݹIZXb`=kT(WfϱQ3vG 7 )Dk?'5xY׸oow?-!~vN9:/@<Dc'ǖ L BgLЦu ERq&;1-4:OdblYF䨂 +ZLmuƫPSJB8pF7Oa. tdhZ'GNgSUK*cF pJTCmp!ҥ 'C(TBd#|Xkw$ÝB" JWF5Jq+[XϯX ?dIa d.({jԊEX9oqA12pz˘eȇ5ڙ3)C+usvM~r־BdgVQ{NQaU] 9Qs7/éM 4ɷY-/ -g[wm?A$͓uTBK{Ƣ^><~J)H$I`+ ރ%Pfe $`ç:8u}Ov6ĔrZkJ\wGUsnoLu)Zɮ!Swq_ "K63ZBg|dbB/԰>3"hL:,NNќMzP NG\)- AT$+ew5jbocng9NU+"<u-3Hj*_AB39Id>sEi:,n[LǖE?r=# gM}"#="- ;d$RH3!6LF qBєpSyt-#n:_xCRg,?lcR?vԼĐ QtBAJ'7<>:#xKpͥFC8q Kd$VJ&++2rn4_L)dLh].vJ[~7M8gV$4:: )p2nx{e`uD| ٓ,c^V4^H8ڄ39`vSp6PHEvvl{n"x"JQUޢau͌@EZ#Xht;=ngi/q|#+G`hFCn" e:\-/qB75Έ~*--{Άr]r?Y5eP EkW\pmua@Av a 8qcmʴN#9!Ǹ>DPFcF]gkKڀ!o.G$҆N0Ej2s|,Uyc9?Cxj,2ؑŝgXgE<.0 Q{.qf5ڤz9;uJCFWljs)Le12BC>"9n W5_eB\>vN$U{wW$G6Lz{]gWFCk Ci3yC*(31U\pg26Xb4~ln0RZ|hv2J #hx5"fv^!ų 1RkIpX첀Alp+;瀟z&a&ʉ#1 B:+K,R*F>n,>*C,83ymc4Sx_NYiٻ_>iwef\` и<03ѩ0BŔc7+Ĥ 4H[F,DJ%A)^?̑Xc oey}LjkPkw#4.|mS r T`Eun=πE-LZ었!h^+WTT-u1E"By:㙞++l;4 q">L5HT猵MB)H i 0a"~Hf||HLKЕ<,>+G/xn$70O@`Yީ$EM,Xo<yzVTQ'c*k=Bb8_l %_ظaÏ`SHCՁ܉bgOi6؉3V_GӀf/Sq8ȎNzSS`S.NfXN ,y/~э<&z qb>:4Eʠ6xoZB@IRo &ػ5I +aM)E5 _ !-dpj=ΒJ/MEְ KRkk4yuY˝yz DYh_VHh3' oSUzpM T^+މd( 9I@z%vf_5CJc$Iw]*w&2awM}lg_̽4&E#o~ t>|^"Nᅲ(5_/b&~8[jw<^Q$lU$pwCfߠT{&?p{P @נݓQi(2=l( )4|˺W\nGQp UϸB7]%I+8҅AbT㩡IozNt,,EӮOvO9%ਲ਼aCfJ Пč0Jx֋X7֬_a R7:{Irޛ$'f{#s?{ ng{;<$4 g*=mmQpĔև{=Սt+FA5hDZVMi[R@5/ј}m ц(Mv"st1j6߁TIWw5֎kHssR8chq\+AZkY tR^8 a |6șTuft ΜHr/‚E!r?b- s6W: kȢESir^4@"Xa>Q.}OR!ɪ0yٛWzjF!N|d bNX+0>!sBLE|LTxfF̟Ï]bua-s$SwRAiq1s,#bc]1=Dm-@\P{΃#wt? YZNl&m,ݺMO>˸M̘OXz)ZFt +S{4HT]E_t?\,Wd^Ȅ jd{/dFVg)UTWPkй6h'cz0jMS֘8-^x,:%›K@]N/GT#nC=`>~C\Gc?=G?ɇr;/!.UgԀxT9r /?=qR̶;`ˡ󺟉}eMfZCLNW^e9 fpxvXyE]`Q>o69>WGfs }i5=C m ڌ|uԣI1OFWv`fG,,_c?@ZYGLI($̳ % .ٓ:,]x3apѼ_28:i4b~^4'KDlGE0j^"5d1ǣ:Jr@KouH'Lp*Y.٦15%Ua}c~Z@G'֫xa*c 2W{8 #uCW, 3Qwi96M+ JS(?0zhюP5 Wq8sixeK4vsHPo3ggъCHLj;l^'giTX5~'i1B< p֌+_ڪIUgɱ4¡=E[6nxNh:Q'b?5hy&Kgǚi]Um0O1΂eI,_y86RRlx7MOqCRwb蓫+cviEj?5!/{z9EtT"M)[.F fO~qcn1VУՔE6N2 V!9XP yrG3y[yԾz*v-stAĭ̏.h̹+m9f 5(ޜL,2bx%a0PBf3&IP! D*Fo 9;f r. aMF&z}Y$L7U /":/Ъ搂g} ߪټ?3(Ǵ]} nNde0Wf~`tVx29CaD~z!ΔlzZqE&nmcs1^$ B6-'fw~3l͍(/UwsDpֹ/BOPnUe ukK\`۠OĬɨlkpV +zb:Czߕ?XkEaqqakcҧ5!D_3 Bvb4!jDG U*9傺6WBp;ȭ?f /2YvqdZ?I* ƨogqF\~'O<_a;BiKw~eL^H|RJKF}Ŧ^VƲ^e·78]|B%Ϸ<.,>.ӠanT 4p#)98C\5_\+z9ľN4&Qw]Y֭!^ |SQjIYHI3;=/ON)f̃+򊊓+ؘ0U.t a)CʽBOַ](nJ3jy[ř.ʻ>=)_~q-wPFNF1{_rB ɕ&OOZTW\$g6ʏD\NKE28H-ZB ]eV to?#$ z\ɸZZc;o\K -,/bPc#td~x{eK/z8)NcfV6hEF a꿦YW;*$0Dv$@\6O*ykAӶU9~<{@]!10NR Si$8'G0LhAxPsiܸ=9@ť#wlpa7s6@u`el=nD5tCM9N׬n^) Jmg;e/I9z$S)ydĽ`pJVCï]1~xcA޽Z_{V52z}8r4ec@rSiqȥTee;M!(ǜA 31ԯ 6t;/L<*Džԡi>΅Zeee^I]~SNOS F$owd N=6&4NgYZ