SQLite format 3@ # .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 =3tLtl ] Presburger-Automata:threads=4elapsed=24.131cpu=75.288gc=2.2207zXZִF! (]ŗXiɟ  Qe ϸO(CA=YO k)ˌt'OoXec_܊Շ'}s+p.Ɇ߀t4\\l E;֋ew|9Q j^欭h} Bk>_2NcjVnF&u6Kc!y aNWdDVÖl C=.u(>2a&s,M2s*ĕ=>jr20C >b ȡ&`ΟTEhI-'wa'+?b`Y&^3w4F@1# xkbB,)sx# 3 Presburger-AutomataR[3;!LPresburger-AutomataPresburger-Automata.DFSPIDE/files$AFP/Presburger-Automata/DFS.thyD3;-Presburger-AutomataPresburger-Automata.DFSPIDE/document_id518S 3[M lPresburger-AutomataPresburger-Automata.Presburger_Automatadocument/Presburger_Automata.tex7zXZִF! eX]A-MՋhvG"uIBm5L5I <_fULL1Y'.;WܐF  mH ЕW6~Qs <_x$p_"L%hsW[r75&X c q l El]c4UXb'zVKJ8ɣK'I.ob&"c7/}=1R ŸL )*.aEɣ}@ "d0̩Ԓӕ{$o( yoMb}Iҡ߂e.+:݅FJA I0Zf\}fҡzB=:SVҺ ߰zP Gl7qqptJߕ09oL 맄³Yl#zF-˶ؔ\`n'Ȝ<%>O€jAUG2g}*#"$mqjeW"0'߭$.a[ oEslf^(G.i@Z]%Q/0,P'8୨V`*rp4/SFaB*L{VO! K;,b0E9LxH㣵wSθqCC Q`[yw?.yAoj|7uoh*pyb`[OG]=v}K5>P2|x JLb|֤Bt;DF7MOAQ0̅X|^51>bWTɩBt pv`ga֚俯떖 k>T*H`ODS@ƘS`a@cJ< mVJE?] o|~*T/8MUmdSĞAqĪ'jVzPZݝ&翲WO Xo> Y<)0U'DQ0efk55CW.8h,}u+Jrbt!F=T~Woe"ٹCe Z^!q|]NO~)  d%^**:otP+\8T#~ *P, 9\}L;(|~U,M&H[/J`f\,m"6bm-,G'Iv6l_&t!9<tij}FRfk.Uͺ.♡ G(e_oS>0p(.nS*YUX 'l&FckS~DLp!ƒ ޞ˥;=*w9w!@m&#d%*Ii4LQ ?gck)x;"1jm#1Mb4Jkx8Wh"HvזnAx_~Z,)1G@]e /Z6X!"Dx2vs0¥4b9ΣAyy lr)c@Tu\.+W\Q O  z_$ 2 zY t>3='Presburger-AutomataPresburger-Automata.ExecPIDE/messages <3=#Presburger-AutomataPresburger-Automata.ExecPIDE/markup ;3=!Presburger-AutomataPresburger-Automata.ExecPIDE/files A3=-Presburger-AutomataPresburger-Automata.ExecPIDE/document_id M3['Presburger-AutomataPresburger-Automata.Presburger_AutomataPIDE/messages K3[#Presburger-AutomataPresburger-Automata.Presburger_AutomataPIDE/markupJ3[!Presburger-AutomataPresburger-Automata.Presburger_AutomataPIDE/filesP3[-Presburger-AutomataPresburger-Automata.Presburger_AutomataPIDE/document_id=3;'Presburger-AutomataPresburger-Automata.DFSPIDE/messages;3;#Presburger-AutomataPresburger-Automata.DFSPIDE/markup:3;!Presburger-AutomataPresburger-Automata.DFSPIDE/files@3;-Presburger-AutomataPresburger-Automata.DFSPIDE/document_id_3[M Presburger-AutomataPresburger-Automata.Presburger_Automatadocument/Presburger_Automata.tex"8 3],DPresburger-Automatadocument668b3144c66c1cf024a713a27d7189c7d64e75247zXZִF! ]* 'de )愸[B"چks&fD뛽][l9$Ct 8<>#LI!RGУg6 uF(3`jb$Aj PbK^/3{Ϊ9ǞcD7?L~5R00Ϲ{2`DP^d:?y␷e܆\P;buK5.efmރQ"^wќ綠%pjq A`xgK OŸx u5uݨ:!JCAեöbcV~N"`qξG(r`e|KC(?Gl.P~/ŬY֟ڛߟ$Kٓ VG\%y6® ^eܣaw!^p~/W/Te%Qy־' 9&7Uj(<&{:M)AxH2<͓Qԗ IMqgT5&DG%hP>-ڼ-ס+)XADVVKRTn2X{_8i ՐB+ P״"׹#!iz'֠^mqo_d6Y{-s:dc#$GL3׭l_: Yll^Ev \|P3eC; |*ٺ>[PX)Z\ &s!h3հ]}w*pĄB#2vꕂd s]LK=3l*ڋRl5Hn҄j `O{'@-wH@̋ +;1ަ#Qhʊ'g$b}f qT/T ~" (ʙRQ7w]?y\+LBz"rʅ'Wĭs.Y /1~~HMmf^ym*Vi"C#/sWbnm \(@xcɠ7?1YN;ww*meX) `2ij"/3lyƁ%Np+ @Dv?fx9xݪUL yܶ G/% ǿX,죰DԬSg V-p+|I6;.a*Ѝ71f,V~{{;epyPZ&+]!cWOś'ɢRa0jѕI7ru4CZIBj_8*VEjXxipmA<ĎG#zaK>j؎1Bju)aԺ^~4.KSH=G yM[7;,8r2V|F]5`[lzPYx+s~M{0y%4qZ"S/}$vDlPÌCu7lILӑqo/C;@_ösGf.nq{`k_?;hȜC麍+t8֎mxB!Bt$1Xg/l:@Cfp"IXDBwLo(+躮IAneE])؂dMotא̃"IxRXS;,QiYD)X' p(K9m+T X$-bZ[H\MPa@h2G%rx/}r0"nr?02ך&%I%ףFSүrr}2@XEFZIlƅ.UO}Ç:ӊ?"A`:^#9)ek*+jLw7iOWIC/p.U W[&]3ɿ\H D䤿ęV*?(}BI\ao^k=1;稖>}ޓ9n>4:U3İ OXo] _|[RwBÒ~in"^pS#UM4R{ C;[-}AA$1#t1Dt)*]S Y+s8%`NH3PD[:\%/ċF7 병ڏX;|)? APU +0)5og.:ܞƯOMx%ozWhOW/^sCe40unCɬ UC AsT +TREsuWbt7EL0 *6%q}$`2iN3癮! 3Presburger-Automataoutline3 Presburger-Automatadocument  !xb;wb$tCd2eZGL)ĦCĞi(8B%*u-a vYx_sM"z-ώnP̯; \b@gW4wesh62NI+HNeH2&cA)z:-qtm%S%Fj-JPiQV$bƂDd{.m'm&z"VYUO|0!AqA1Q 3-Cky#--Xy:>\wE4Uے1,9dK+K\Bm|@+yk$ϊwm. cגeiW5["x R-4܋y߶)˵wJ6QtZƈT47: \VٳYz^z:e<]eL.!Crd05%{ċ MI9*spJ nf$w邰h*f")4@慾TZ9#W8ulTX1̯SL0h{}]G mW.BZsr$n$i){|.2rqgy+յ' wN+tnؤw#<ale" d$Ͱdb+4FXk#:Jy6M}A)P#rg3&5@H*|]%͜tDIwٱkC]LeAɇCW!41;.uz y! *)BƟƒr'C q0%C{ody0pap꼖?:b?ռnߚ_g2vEt%A?o f;j QfV ҳX%WRsbη|?0RuF|0P2{m2)pUG%X!R\'`i 1{ė[Nv % 8dp%;^{!3]6=^# NhAO]I& 9-I }U@5Nzn*^0|幡DB41{tmܶv> kpm:OA~*5 L;#L̏mvSGm^"u[_5RsBy#aPDSY.RH6z'؃@aԒtXkQ@x~w3>aL tʗnË/oȎcvɞ:0D4n@HRw[!83O"=sGk3rA$:W*T)4c dٞGhfvJсN戋1CE&| h|T^ӵ0awšŎ?_0u^ab,[ꓪ:jɞ܉8v%vBٗCP%w6Ko1haso^}L-:c_'З=Dz wUez=HzLD~uĽW~o{C GF:eC:(d@My^q+ErLLFF,u` {2I[\nob?ʡϬPsw G]\߷O6ITr(bQ2{`=}ooy Aš;H5=[)n_NK22nFD.w6KyO~ʞC*s#_${zL+1a$KO{`}܀md6=ĉeMɀ(⫧|ܼu-@֡1وy<`ucM ȁ0ChZ?C="0 Oe+Z[8`Or>J@Uݐ䷲Qah3OD(D :|*l_W3W^ & G` ¤PBk5ߧzMejШb@W6Ji=v+9EiD\l~[5[5_]yvwaosGhWt+l$'75u)yEZ I06PHQ.zfN[ZvB80Y0iW٪5QC=΃dZ|9]Qnd{{?$Ï?߲4eDc@N%A @8ZezE% ߻{aAqXkxV =)M^0~YD8U. .)'ncp)y_.*JӉv[3=T>'oCY1v37;./Sv<37ª2'9IFe? 3 iŒ# dNe"F5RD}!hÉIװGRgҰM>fM#I=_z\rz*rm@9kDŽ0"K0uܥ5P55W@)Br7at=ƻvr:nJ-Y_KMcTv kʣz7G:m\jK`R{BLd)M%+BHݞ2t*&tRssVo*SKVsm`[; `l-ytL$x΢[E[H=KZ`ÌY[TN:{v@_*Nh@2#Zo"@ o0`$P]2OxX3xRhl솠?MM1G9/(0nNƱPj*p$s:R7t3 NG,;@:fPkM%[G{;(:;YʘN!U@cTrl-uBԪ8;U[C*(ܙ[lX -M _9fv֘ ?waF&eA@8"&ǹrbޮw{R$5mOte.'U,C-w&k;gGuYcz8 KӳbG]H,JdO 6PV:ߓؓ7mFTh (Y֒޶-^L!kA}OA )*G~7ID8H>|.ē2|UpODi'mq ,yh+ ֛JR-8~Cx7J.qԛ~6Iݰ:͇#5d u%1(d <м+iB < 0bxo@.gLrLѝl"ϏQV=!2+bRwp1q@hϹSp|VS&q.Ko$OPJPq@DjA1`Z!矃I?)6,뻕vs1B~na e9onᤙGz wz ,b+&3]Q2i9դi`;x|>Qh<~YȈ3O-,.ZMn %| lf]Ewd]6ɩQ O !c#!!u ;80 QIxa|Ԣ8*;_Hn;EGˡ5Abi0qsWS{UL\ьNBaoe>I"G몔[ a`_$EjS5҇D`Qti_I{ m\TA8jI֘Ԗݢ @S8*2!9!'b'/AuIE AqG4D)/ ^/jt&Z7&w[n\*'Fb(CETRb邲OSB MTdN|SHKtAf]Ԁŵ SCQO׉4w%!FZ5怚eҔ[雊AUmKX3ͼra&~sP堷pNS0_LbAoqDzsD\t#gS܋HCz<#m}5sh&kY}!(HuOJ/I;wiy=|~+E&{[\ XB72ݙiG(9,){8t_&= AahDS~#0W*srOĈUgl:] XAUh45zY.u)Ey*A?`ܜЬ IrE*L{[̜o&+(zWY1e ^j~`կtD 7 |9quQwdRaDN7G=sb[lg/\"NXi"tz6NQK lTZ鄧ˆU&=5uY=vD`.fיW#+2Ɏ*WȊb =㐾8r|Q@!Œ i%/m&]J!; sqcR[ 9<0 cV ᄍO|xw]́X&S+04o'{[破ź v p\Hhk̀oxP66|PLB#C v1txrx2gvSqҘhc%We^ ċs;MHbfdL=8WQR*sG}U>T@s_c4ݢ\CI]] ܚPI6ؔ1#*-ɉnIӠс dap>f n ae_m'(sz~8[ FuO-H<C-ߥQ%Nmm"=&IYw&DxLԿ_ d1R8T܋/ 3o_?q$Ӫ3 :zD,< -wVj.iWuv!җX 7KѮ7(勗Xv BsSgiyZBk:X޿:,Ͽ|x{, LImv6e'WsO<\`/?-A*Z,v.ҡ3v\óvA{~2/5]B="v wm(m! j.y]lRN#TtqnͣvZe[Uho6g)c}0a [ğq#ABV(r=pc"a `I"ߊ߰-+ 8Q4y3+lo 59إfENp#rZnr G!A) o|^/P$+_'՟SoܔMehBS ȎTΛ8 [#9!SMÈ^Ud-_N+nvVN*1{~2ճZ^p=Qzq0˱L!h}LT1MCNS`s',6A 1N={<("uwC *7X.[7輾8$/]8ByeoGRЋP`?>/k+/0YZ3z\6`1B " g4B_7i-FϜԳEot:ۤWya%.D OZbW%Ti!WEWX Վ3\!Eloԡk <<[#ƅsNRjIz'N"l:gqЊʘʺp \gI:Q'}ibu X]("ъEj"~q8@(C$yK}etWv>QeWKkڐ-ԀDwb=Q\l7%(Y?rKhmS. |GKݪ /5Ob='Du;&b)( &4Ԉ4rN ;@ k z#D`{YYihN!:;`.: qM~c"4MTGOQ?D{#ƅRm&?&hVl h]lyd8DZk)89sE3<ş,ͯP>R2BۥW+{B`0z^рx6:}l.`+Y]!;D9EqdѸ(]O9@[LDzVMoi@z1*t*[{֬ ZT.jrWPܦ띈h#ے2# na݊nHbt}H\2pm$m4`2ÓtaXזp΍Qxhed.s o>R#*6^'nB!6?).v:\[ܾ[2Q3^孧,=XE"yUr%W{rqA3`T93UNC~(j]L,i٠aN~ѩ+sDd(a c e+gR?$W4J^Tr|V)H/EtȁHܳQM _̒OO洬JLME%_ߘq݃. x6[<"Wo7I36g-kaa<]̓>zqm?q5nw¼Yu 7pI1!,B|1?)-尿fdP]iԵN:E!TxlcMI7f@!,g$j3.GN-}' G'?a%A{ٹr3̺ʺL`TsE-L Pd wEYKvyҠ\qўY:+OF Y5]_n2 ݚ i6O[.8iUl8=\>&26/E 4O14iUe:Z)cN퇊_TUԙƃa {a*-j%OPy>W.[ 5+2>íhN;7&"č"g"ߘۊM/mt@gL|FwU>GQh7lm|ҩS@x,ইl3GN3 B,f_ZdR JOmdGp{oLJq-5Xg !8cq XDQJ` O0QJxOA4A*NQ j2  /w. `mf3y4.ɡIl w /w#eoٰ9یQrj\W'] k,32cϯ1ZY]a9rJ7?},+ǤCXلkm7 z>yPMIO5!NM+tlU?{fl5=AcҠX>m±9"F9j~e"H6h|4i#;i}!_HpP4jKG=ŏ/u8#SClO0}XGb79Yyoz462cY(p<_0&|C0 )h %JK׿5iN9^kP;SCcfd^gB W im%5mz.ֽ.ʆI}G<=/Bqlj̗y81SEݎwgLUg`!K9_s߇noZS?W1 %37g*,^.T[eʪØ!>_IWJͪ<+Ly$sWh}NqTMxtZˆƇ2t)v@G$cC,K$nm !;PG%!ψY8yݸy0 .:{FÕgE:ƴVͦ؅.9Q:0I3,f"l+_,5ھQ)/7oXj [h$P 1\0aSi>"yPϐrC ITލiHv47{gfOrJŃ-bR }WI?hˏ1'N7# NݼԩKˑ ,oC~i"'Z}"H(ㄭF ,Ukqy^zLqJ ̿@CM Rw1VmB,md t߻QX]Bf($;.veŹbe*\ 1IRb~c# 2ga9j: 9o;;> M2Pɽ oV4`si񯿍T,-TKy!_ۨO'"۸bzF4KksҙiHYy`)LĴ\>Y{+ctq>"NR 5AT%^ g3:! ܳӤv0Q@}z. k ]sb i.ڇ[Ps6kn_=eYe*oUqa0 ;z%d&Qf8|x+QX(}KL@d)R9UK9ZxLgH_UqgK}(0܉#Pi}Ջe):i[O-T Qs$ լ$2x`0x>(8M^40@ldD0i[]]^WEx`%sH!Pu6[P4sP=T3a-O'+1'OWn;w b2Q@| .՗9#Eaȶ_T& _>4BSZF*<]8g=a9C9&g} CY\^J$ $i1 gj|2疤o8({J͌aK1'ĉ nДgHOK7,w`Ozf{5&-$\6 p۬=uErKtwuhV`{qa{eT26ɗ''ŤcCҡppt<hu%I#pWr=nsOm/3)XW’ҙj2qLTX1Bm<|C5&3Α2\yp~\TuRaLl(s0nS"y[FzӉK]̖,R&TsgPpNJF[Cofzlhlp,gTk7TNrNk'Haľ0Q;R )F%(-@8 @̷U"\Kv2t KH][7z-GN@6#>ͥbZ:|7E{ڙ^ &2(Y[χ` R:{@;F Թ#0כ61M,I? Cl < Q=)Ѯ¢}(b@v"[M|zK); Cù'4%Ԉ@ɟw@ /ۻ___1 }>!Rɼ؛ ĻdV6ɸM >);t^6Om[b"z"V#<*OZ}%9蝥ee^FzhVKd/vw8ԨМlF@v] JaG)oo{$}ߖ^ _eĥXe/ P:!8&˓̤{75jp䀒"=?UÍb5%sTϚD?֦ A>_@%5C2SW_LK .̧mGkO=02j>%N RtKj i j5=5$* 앪9 镂Y12 \kyT%#wb|N}ų]/sFߛPLkD2=w?e\0QgtR$v[ ;GmkR2\,@X l4B K$.<]{0ה@X8U>X\ kZ=CZ*$,t ERgiDKtƠt`L++PpYv-ŋ1?~MA?CvŰNm-…FqB~W\p*#eR3 {e{VT_p3|J8{=^-~:(<]4B"N#9P^j(iP:%H?͓;,U\zv/|lrF&mũ'i#\}y7Z@5?N:ZE[ \9);zM;I *9C-挔Clj*ų.c@=q UW4+ GCNxY^rMf?dЙFa fuT9M*.Xb1D"˭֭u9NsZ~:? 7^RoX/aF]l*"j,R{Qm]|X"V>eMw'jU{밅bŢ6"+\nI I6 ^!(ԦO[59Aq]])Z:3#v!Z0C.%_`7mI#Ee?Pc?s3,uRINW3z$_EX=cn#kGUs OzIey =",+XB2$M:!ԇ?[? (K¡ $} 4ni/f[VB"l)/?#@t^* un<;n"d'!ckWLn<Št<AvlrL=UtLgⷄZY7Y\il*e{79R#U`/Y&k-/s|v0UKE'b1H+"ҭ?,i`v'S!˖vP(|`{ƕ/u")>[ixȏq-%Qo*P{"򃒵-2vFWD`+W׶ǔ]>)! 21z4+7-2p7S>m0 , iTF iA1}2jܖKF Dx(H%lp&?TYaLu+ a<>L;E-Lٜ aߙmFNy%WYÍ_qidFזfy – \j& /|,+e{M aV=3Yt'2_3o )/2_Q- Uc6A4 cC]ȱ8wD6$hVپ ϲ$~, /bM`F*WM D[J,ia׵^U샂=pw Ce @8-#?S?Zkڪp<:UTZ#-ƈv%2bP.d!r6O\j? :cIұKo4Ҩ1 K;N;SMjɃ^jb(oa`aUbWM<-Fs+߰LB;7XV yHcа;Id{sX{B ^\!s] B2In 4MW/.<v1b D]bh C@rR C_w"-9Kx~fa# ;TS&O| ^Μܓk> %~Oau';EDNu۴)B9z=[NIE6J EX>D|_Dvs=~2#!SQF4jA&AzD9;!kM''17Ё]h)CmL>ks'0_=_V΀ag)i[d#0:MAUl(9;# `A>@ K_1}-QK_Ck 2BgSJ_C:''^b^R葜`iI;0NH5?|3n#b*S "؋īT5ƁP4iI甀~-3;=aie\DC LtnƑ>(>v"cșS3IiзM)t$xdhS׆6ޔmత')1秲07^sӽ{Xt4F^hlr<I<@q,S1j7r?I ".g\%#MAV0ۦBSzQM7 O[V9ĵ,/}5dɌչ2wZwqygTB2V(ٽwD}X1{H| d(N"zBsƗ/ s/@b EمK F^*>_ܻX&+\*,/.zZTk(,#u_~ n Ja1QCwS;@;ߐq/vpGg՛0&h E_DzvJҪƈ""*g(C-krWeIP䡉)"&Cc"3ᣅ5 Y*"`$FrCm/CxiDyv ' ,MCFxVD;ăKv.mWìP Fz2BeT-QeՀKKCLae Iܜ.x?"f߶MxYc6.8^"pY@O0JSRJgZw@lgu8fu[F``C/qdCr0mTYŠBN-4'uyBZsm{X N6d[y-z"P>a57 q&*Hsn?Tiǖ O\Q$M=@)5~`"zyۯNu5J`-nSo0'ΞW=M6dI;%{f[SZWio3KU{m}?R`=6͝keO8[@0Hrm K{t\ %ӥJm[3eqlq^)A)H0;H!_7;.`5̽ k!? p\+ <aʽ(!s?ƃPq l2: kъXLI!|Æ+IFҜ;M[ܫ'6o! 4qldX ?J@ֻrklr\7 #S*퓘4Hn&^8b^ ,&_L4(-)qBX%n8MvIM+ձ:.ˏ;Q`hc69&FqZ{ـHہ?ML4ǮCј(qLvq[ᇘVkv>-Ǔv +9HA!TȺՃw:%CC[z0\Ki$y@B[YU?s4 qX"{d/(y>:WfLkn;y,}EtV9u!#K?Q_mbɷS"+[s'Ϝ0Tl3xXAQ& ypG@0-I2_Pl1,$҂ BKUӑ}ý΅G[o/:2&R()2Cx/oL)؄qԁ~2HygZy}ތhG=5{4%#_1JPϾV5g,e/ %nMU]4>,_[/=$؁;t [RVI}SGra,$`෥]gہ!&Ljru1=QQ#B/15`csnlc<f-hf~5L /F=z S6<&.]DE9!X'Z |1< Ryj& GN{dQpKPi5![4D ?ܝ!x`J) ,e7z( MxpD58&ؒT>'/ mpI`#qՉXVKG wStԆN~u9e"h"41b>/9,?49K"ƣ9;_J΄_(W`8b<4ex1p˜j]{m TxqJ71V TEEAg:xtq#V{zYGjU#7Hq48j)|8xԅa(91D2RbH}:4+49_a`!GM49{@vXE4WFO3_c`7<h^iS/#!T^&}`Gg]PV m߯,J6mH2N%@s+f)ok\15Д}cF '͉\[jמ}i)x4G Fϐ8Y47$ME0 1Nh1( FCZ\ilȣ(^fIG%I/YdΎ 'S_I\1B!{YTl?ǶSXU8yz|"#h ^njY $ Ԛ pbV*&$ w&Q{,<"Jsafvk#p6߻O/h=R$AP9|׸yBl~}5qWIXgJNJͲ3:871/V^i  ]`@M6)@&I2]b3#_CU=@b\@S glfO py1ѤOk, ,vrmt;^͍zb G1?k|E~f#gE-+7N3sKJ@h.|b];g@kf<BX&#=^AlR^ rJuf/;؇ck@kَ+jԀ=>d4V4 Ԓ}_X 7*Jb7 X՜ }->;GnZsT-R8GV8OC0_3o3 kq,҇2s` 1_j+&dމV y:lF1aֿ/t8&, m1"L6Z]S?}$ͭ?m*?akks '~Еec' ̴ jH_k2 ^&!+,!WMJb o7+AQit$3>h.WHn¬t/Bto^yhDo;ANh_v޼ ʆ1譞.%ΨoH$?' dG}6O,WHZA\y J:;]da?/>@|.ztrvloW;N-`?aF[6ߨٔץj~_`Quf7–߈[|zcA류c4X O3@-Z½JYXx9"p kBOB16 ?[b b}Ff= 7~7ޛo;zuHT2ĂFHU&#̘}rrP$pڞpsR)Qŗlhuu.6wEv7ސy@)T{#|3b `šYZ) Z".5&'ɸdg$7fPBkv1ByՇO{nc)sׅoa3<wR]+9_aQho"[&J9]lr%w+AF ލmT[rܪP 3@tpqV 9kyN@>gyyu52,({҂{C~` X)'LW]q^tfah0FdbZkyi\v/$: Op~fon$}-@/km-hn^ x (ϕfsa:%Xf2fWd#g3ZL2njj/e)&nmbSn| H/)I~"5 4w3đ:m|dp/IrΜP!0@Cl@)wfX;x}+{-U32y!v2j p=?sk^J WdLiܕQYXPăa#Mh XBáBir~Mx*{/{7!NܢG`⥧>zkS`**}(kG 1 iu<%>@y0k+V1*.cKއ5"{uݬLEL\H!omQ+JłYtCTYX)-*+VdP7:Dޛq!U&E ;ulL;0"w8mh(jcA .>Ѱ`+G5iр[I YV> 8~^ {Ts5[;}x|G1EH NFtp{DZdͳM1s[r;XAF]va}gxp:D ~џ#Xjњ3lcRq^av*\ݡJB?"e:fWE,>NpWY_wYD 0Y yʔr)B ڬޣ" ,հu|֞ӿgf('38Fa"ӭӗO1cbd}2Ys.xnIzC|Koy S)O`V'82o ^Qhj V-B5- ?\5o`k'gPDG˼U-\`'4M(Wtul`t&B-Kg"㛰 d Q^pQv;69Nj^PV:mն>EuA ]{cgWϴJP<5jg˒j!~uf ?N](/+^G:E\.>2IsA=+kgie$3t[ o^ ChUME**N-lDOSR{:á +LmnGЗ3qKPki8; dg< ?%nw܄xEkUӃ+_q{縁t14]K~sHeLƋ3,IPl󳌯f+Ud ,`pKm4LMVjd 4ڶQ{CRVQS|}gVNBtjMg`Vvѷ|+Jq<>&b=ХPFE"9SO?%aύ O.p ƄeE ڃS01˻d `fc ᷍\;~t_ 0r"8"t)G>ykI_6{uU%Mㄧ-P괴:.fC~֖r>aϏMd\;wI+"%~)LK 暯~sNf]kز[/>5hӧtYpI:2yo u˭А[?F).4CR| ͛EWirnu^*4 H;{a6 ƃۄGL';RLB|n 7x;P7/:l:T#XE>x|fUa /lD!s+nnYD[ X0W]H(~:ivNϯxUSo,sw^ )zEI+E%e:K݇:pU9~ <ih:A.T Ա5(Y 6!=2۴?]r p70E#cN~=M^NB0jSsn`QtE4;;m,Q7']/1aVgڕтŅ[];_A Euy1X'Ia- m}'j:cހز0OMk֖ x6tu8?5Ahރ[,>&ȽU "lz N:tF [QN=WM4B `'G5u>oj") %Gl >qC4f#Y2]k~D09nலr>Nc('m*股i(ˆD=;GR9Or+djܖ\`r W}O^)ЯǾVnc> Ȼ?W^ ~چ\%V ȯoL`)<( ڷfg61o8޼0b%X&e[(BFa-i%W299VD$io)0A -Ӵ^7:ꭠbUY4W~N#6QV,OE+1"xn@mRL-4R (ղn1B#*߂} Q8Jn(.& U& ~ck~ L#⥞FƉ,} |Xƃښ/ļr0jm@+܊V,ZW\bέznד0 xӂUc|l5t|%o]c*j͢(U5z5- z~Ć\S7D6_P[f3Џ9Te  dgkxLG34_uN!Q(߅s7ZU)+G)O&"vf*gcQB[Ke (( \XO*Ɏ&X~ݍvs̲gIEAǹFb }mjKrU1(c3̂H0U>J8D)]0r7V6wPpuH WX=-V \^'ϼ+*%!<밪3d7YI \?@<cU JZ6elxL.ԥ(Lb?@9 !Ktn"iυ59~Sin(zlw04;dTNM2c! 4Cjcnh{.R%ߟO2=Y1a ,+] 4<k_ C/MvlNm!{nY?}k^ˈMgȝHde2)?UOAR2-} .ղ1"\),锵zQxZj>8kGۦDE˾ijҮqGT sT J,_&xa O;G1IG|~7cJQ9QeYZ\-29h1H>KBfn!@:.H"!t J2iTb^/KQ!sզc&fTw& bGPՍk dUi8 ͪGxC *DWv\~;IJε"XNhˇE ^}|d~ouZf$Lf SW\k5&9wҿ>͚%;ꕟ9~sKѷꞋF $T7iM(OnTѥ1 W)Pp gMBN=B\N²zhue/o剭&S=[Ô36:eQ,tJyR@nzˡHO58bɃ% `Aơ_i3VѬE.Y5_0-X7usn8|xQ[K]qǃZ= ݘ*#*qRd?Y4D xO=cV?ecrY-5/|ΐn]ֶ8ܙ'taxGg排9E}hj) ӞN89v2йb9 inIޭ;m-sGOVyp ֈ׌P0_iαԌrfGcWkpO.<Y-bG^Ez×M3LǹI*A a&yGS %&SHPBvѵo8 'D%LcjOFooQ^cҡD u7M,Y#*t((Y#鍮,VMwPG$rfHv@.L"Qu2,/܀G{]]qcS(#OA1IjH(t7Yȣ;vndX5`USrH] %Ii 麆|*dEFxڤT4᯵ zܣf-B"Dua74,?`}U srڲo-TyVH>)Orz< {`,@˝gd%j]AOV oIż_xSŒ~?pcI%*ywU© ]f~ƹyV]87 })ܖ<7$ |'qĽzaWߎۖf❻1eo]0eUEq|I* ڮ]?[Vdٷw;%}R99Jf!559#o$SU)qKڅaZ'!E&i+x3x#ɦhA7 $-0UK|i+!w{tJ~_W_Bv#O  RfEm (KD.qV1lF¨4YuZ*Gm[\/[O鸟t`~ϔ4)?/>fgu*i|Uz$ 1J9 uajGIzC%I),6to|) ı>bH: av^!#8sl ӑCQpMԈnth ѥzpE3D*1HNȞ{{^'ª:<Ò(]ç59A*F5Z-2 r-aF'mo3Rz;+0{:E][c|̿hdY*Ũ& V(Ek]3^Դ[)&81]Ldq:;?Յc-⤚2rĂ^[dt_-~?ɍrXt[[G/׳鍼.4n 2}FmZʂqpAvK΃% T܉!J~+ WrgPUpWmkxf1JcťZtЯWn~;32N|NXVnW4kipl4(ؤ [lS; !%|'YT VL Ά;cqHfJ%IjYވ,ZOQr*s>S.0ZA"]ѨbEIVf_Cl.qfAmJx;.t8#څ ꥪJxfkt8u@d>6jo Sp% #D(ӆѥV%t3Sn$l7C8s\mvK6٠lɱ9=U/u0-| 6HOQIܨPJ̫ZwRlv6΍L&&aevA~&VzG=Kiyp_dN%6=܍EpLmi2}6!\y H*9:xkXӦo53V\䊸Ѣ^(^O.oW]C-@)\T!O֗ab$q6bJj7#Cg1+Nq'0GD3)jk,J6#q'K5Gk`+@maeN;x^ʡc}WI "N%NB=<`ooWO}|Q΅$-?G(}"f؜l&8H gqeۧ7ztC{B#u#* -^=9vQi d#ϼ]-DMuLN/쮑meUH9 &i@.&Rjy-l _nuy|bYc~`p-̤-n1Xr-lPJoG҃SAm=[wU ȧ,=m`t0$c-:"@E('c[ Tcπ.W_o/u VN^ϟφRό#GQ X_SF>SqTl3 $f O1$R.@q[V!y^7Z|.%IH\]㩒yCsrGb2WⶀDDO[o<0ǶN ߚNĩLwP2:ggyߊ @l, g x=8Be`J"1UJL)?zB>ykVdWƗq&@ ONo}ݎ;{RKP({'S D;r C (|BoW+-rL+ QD 7;]aRJ q6g륣+Y0-ĈTt2(]g7PuS̖V$&:=$D7f.fZeU9/µP$TwBHpT*bⷳ;6JH7Iޛ$f`{j;ܰesM|V$0=oe`l<d0f4I_܄ s2ҫq@aLrP9*h娶0l}('Esl,Yϙy#e(N\$"7AM0lvqd?/e4 VA.1WPڹ?blF (셛bncOHxݯz30t2&tcR+_abqR7vsY1"_EעޗMQVR +}BAQ4u+m8t$h[[Hj>MLٻlz6IdYX6<D Yêրt.*rlm6 7r3p"/xJ_?P.np.lBV4,;5h';-Vz`G#+#?DڗAjqܞ(ޠ3j1A:PwZOǤam͐oٞlٜߕSd종rOG)Av*Bk@}-ObGqJRs`]aӔnTvBZES$u*1P;6QHK _~f]I3ɛX$ 7s].ݗ3ST>k/B1mY)v ^^5BTԲ`f#{WmSB`%$X}Ux!\A0*riS||c~t@ &bBV~\$}[/} Zn`q[ 5ߡArx2< 7utwxv 7*3NU#:@%79e63 >UF#/̓$>He8Y 6TLx nJȌ\Jd]\MJkBۖ_,q'E|I.D4b ] W > =we -&"N86# JUqOڞmGgi]N>E$LOY4m4hx ܁JۏNLn#8èvE/Dsg8$Կ|oP#.{w=!SnǟޞpOoSzN;'Gjn|+i-X h@yBqsc߭n#}4xP.9ؒo8!@9]r"UFmGY*!;겺kt D'Fs mZۈl g4՗En\4΄uEp˜Md*DN"|JJl*L|U:}@OJXDžA˟}2e?(POS ϘQ9H&]ڧWD;tq4u$ՏRf 4{A3KRoq e+msER8kG V 6dx[\Dv=!LW`+?ʛB 9ͳf`:k\=A%b-i%ѳ:ZwlҰ~Re̡^5&˺4+ةAhlbX)ܭlcRVJKSڒeA_؜!dC2pB{dZ3NJ©7$lܪ(&63U50c`\i;fCA~oW2}h^p)6lzIi c@PjTu.]/t9l,*{EΙze!p Kay\cy (ZmbZjȓ? ZCB38đlnjʘo'S%"A%kf+D(_@w6!~V@Oz-K.4sBrU`^f&ᗧmiרVbR]Kw|) |So]ުŨԅIO o5VTp|UOJbWz{ԖFA] [+B`IU8V^+='/[TVH|Q$, {u^-ꋺ2LKE~(l»%~Q=둨G+tˣT6𦳎&$ o8ʓmkKe?7pʥ.;5{VK lfo [eԊ2zY?P&ʏg'&hɅS|*>B $^}Q`z^H{$Jv7;R]\μUk{$b|"vMͮM) 7u*h =CN?*5To&8C"v5A.Ē%6UAOd\䝃yvS)]ˈY7.uͦ]Zxր|FmH]CRnaGSW/ gwv[?š@G+*v =dU[a( VUbE29>;5"v *lB;Xhe6$dU7܉GðJ0Ga96|tmkS;SE,jeɥgEI<5 :' y^^:xȠ)}+ V)*,}ɶܥUX39b뭺fgų/j/14VX&SH.(ѵb GlўN&qsI!@gLȥ6 ͠zW↚j$Za=ݿa:g.q;l qp0`kx+т ˯$+R;"e En! p2UnQݖk Dx  Eŵn%;h0b,u)D.bA^ /3=ZCʹo^&PoIVBk 9Mw ´bkgKƑ#r˻`E\Rs .'aXu˯NXͰ #J!ҞOH㷘l|kԁtZHm<>v34"x+K#B/5HMJ{nc]!EWgu5  =E D$"taF7ה+s*Wv쨍KqV\ے֦ݕ< upf;k" E(Ot)Az/<:]LhcyRAt:>k$Ӯ|`Bh\ [b>S ,I15 o*pjl7Cs04р "*~1z|jiѥ_#J/ſ^9*ַ\lzbS8 %uLc^ dŒJgZPOTWoOd#xkgpᾲ-``˂h- ]M M /@~r`$ /2m:GSeѰz wIgHJ]yS˚JƱCaM9}ȄҗA{2|B8cVl|| |?[ƾwP+WL2AZ/kޛ I4@Q0$ΞD2Ճf6 -+C|1OKq#5z H@.bPܗnտK$uቒ['pV#׃? p.K5 z.^Z kz+qR(& iOk"gʎJFXXx~iZ4Itn wR؃U ~@*?~ˈ@>v#}7qjy` n&dO=_bG?6e prbk(s TT&yv]Seʍ`WZw1Oh$Ǚp^u+c .:AlM';E{VJESYߡaC6}%"r;1|g4]'XSE * Lb&۲f"ݹo R&bX5sasa`6y 4GJ~7=μv1iڝ܀%, B?ݟq@T#2ԈG{_Z;}qJ;J_#}l\be2kȡ.S Suv"Sp:% IDΩ?OγV>|bq3 L8jw beg2¬9iqV&m~߂}]msBݪ`}e ]@]kĿ<\>.{6ןɣE/} _ B ʝ>~L^+ ϓ'n[&g8wK+~^ qJVÒ^OaGu oLեcLw?/dOn'Ǭ9'm@$ruy;;Kd˔+K[K ľޟX=tY;N^yeE_EfsaΡ%Җ(MI:`5i5r. 0\(B$qΉ/Gj|%I )9XDrD12(.tBC/B%@&/ J- x#+fX.iaG(dѧ#`C)EӉ Xsa ^X<9gNS$ޫU&r4m*2V@͑8w A?h+G8cV'Rq:,D_VyoEέG =Kep9a0W}|L(jyH3 /Q˚Ci%<׌S{xŢ5|'ޠ~m V H[̡\OeT:l}N_pa|cPXtQjc}lrL~,>l۞[r^?u{+wFr3wjPĘk@ o9TZyc7Gg`%4I'ÕX֠E=vMQWb{C̵ i)$vL6h(5fY*! R'e`6pQP&j;q>mBNҞ":!6A[DyvaR/88(Wi8^\wTtMV?SYDۉ!O;"k.ۣށL9J-Y;уfj'="m${߼/xI'FzUr05}T:bDFO ˬplevtQmT UJÈxZT2i^Cy^EMlel+|`x_tUl99"\#Mx1MIUBEaOA?4TB++4N%ltD,5Wcaj//Kj!-/Zc䙕И SDF257iou4昝 wB ~̷ Wt,|+3pnf[<{^2vW֓$3~y~͔8|u|"1 5ź3l}k8 pE1do=K-;ɦ\HUqoWnݖ@=~}* 6r y]HÒw-SG`--|-cV=GހEr)gd@+]P0wa3(2ެߨ9,jjW @NpHԓPAwxĈgD&m#]'}l *Bla yz~1Kkg-O睩~fS.4jAřP)u=}.GUSăFKOtӐUOvpq7"y+)[ $_tr(:. "rqO^06g詯u!J]^ [%SxP6Lt^,h@KѺAĞoGB2~(,jSU%B$&^ dG[60l1npK]v`ϱ eWMQk ktD/Qңg)!0q+O]"$-UJβ; \ [ wԒuGbb8Y>ƂiY>3Տ4~%FRմ0Ng6fPb!˗|TXV$ڎ5ԁH6V(s{ s>y!يNQP&;̉C#иCm9n6_ve̾m TWFѓe Rޝ4Ɵ2RGe`qgո&3^i+=]((&$dr4֣b.Kevv$Z$ֽs DݣM쾛QմqZ@a?8h˻mj;sz$h2;BPΰԁxGU>Ins. n-U6A8/`lGVL`'p!h]\$|!634i  VrL*q=@m nyԥw Fm] oõ$x.aum~>(;F U&G58WBO1ʭ ~yֈ[Aq:z-j,3xS;z= *quisSW*ɨpVqہ ;P&0r\e!c"eW{z!Jh5jQL<*CJ E,'HctF֟:[wQf bWLJ LT-l8Nuo`++ LoOM6;BEպ?gT&&QWwr 9嚓!Y~")ldʢeܽPVBCFx2Bā&v9_X-Tˬ BY\xdvE"}tבCs\T;I7||'R#pG.-DƙBϽ$O W06[.ף *xȊwRqQ3P@떘[+FS=f>~+ji@ >I 7n8 ){<>YE~(>L"rH0;F MYΔ4*I_V8&{6Ӏ4,I S@{psb%H PKtxB%)srL ^Vk] ӾԆ &#= _[͞-!$0Y$K[YRs_'Wql/äw >[l0b}e0^ٔ*5AIٵAw&~sުdE6"Z K2rۦ%̀<ŕ(TTwjKBj%7K,ª6|h!SNѷe>e0 DpM^1{\&y$ɂkYC<~=55|c*] 3(1fh*|;Z4Xnt($S-Ahlnֹ%3w2KeP9VLV!.&.Sx=O=]gLBv]pFqz7^t.$H@BMnb# rM T;Ί T=E3=uy:MiVl3ڑhTf+ި+`.C2Zc3"!U7S*B)] ^jȉE/FmюwDE KRT#\"-s\ua>/K쏭;11_n8mX <5믁ernSf)*3ߓoV!fHێ#A`aReF ./Li=C%tgGN=gP9-x`^܌#!XЄ`ΕNݑa1=:wۑ*@=c*HЋ~*=rf}#E[?DJqmb %Wn(l_8oQ|Gg)+@&LPNGUP_ɨg%sYťsl8G̏;abnhnJ4 n<"O_/ I2ׅ\)ܮFQEԧdOA˶ZM|Y ]@DgxCoae-'\cq>ʏnr.d;375S{E|RZ+wdh[?)OOvl[zl2=GLGaW]Π}fLAp#.=.hbn=v&lkNNE9b͇)*w^$x5 ^ʩfW@ ulnP31Pv&.x㖤з@{_g_.)$!G$9C!Ke)H)T{[[fO$h|o15#@{kPDP5Ч;Kv`19S]>7D] @+rL52h/u:zǜ\Sbxgl}"@I0@ưX"5llr_Y觚J`C/6;(d1G1W~(P݂?!JWd6;>ԟ}FBТt\. \ډDn82PaiLGINQ2p~Eܤb|OmW3kAS3)?t [H /a̪,L@0RDH kcrC^]N? メxiIKݞyo+,9uY6ir':.?CE>ȫf^Vm`ׁ0pf#maw5>=Oz@&M2'E4o*GzgThPa "a?iFjzpL>equ$:^b\zD $(D(DlĴ,uQq"^E8ֵ.F#M+S}˲: }Qo}c>X>d ;\r":2q. XC1'?ff}V1A\xiL__ ɂA ]p;QnwlOÌ1ihq\K~h#s׿v]EJ1Up_yNJAr7}U(]/r~jfŅ+'X%}㫏3RZbvinNr 'sf\ ,) 8O3Eا}o~p?_)b:H/$+FmoEG'LN#E{̕nO9r 'bYoW I]*N 0J4^mAVau&A Nl'Q,=)sTw0qUE&CJr媂ǦT2slbh*Pڤ^ q]nu|U9TXмF rp|DUVZo)fYÖ"$rK;WDkv.Nt)ՎV\W_m++m)LBlTFC;cIšBZ$/ b3,`?2m7{ RߒG4I#B#dR6g104}[RN~b ߍ&H|:^^aKRsE oBnG]!S1}|s'/KQ!| wȶSR\XeTEtw JLM`d u|5mt1m|+]P (E1W}u72[fI*>\7Wsjzfm[Β/`9[LC9"z+1:S‡ĽGů]ъCyVGX2g#BeENVˆ]6(龘{n=ɮJzIF`vTgeCJ_Zk8,#ZDo#GΰHdAvh5jMDs'\vvPC Coc}QcVW.؆ XH=q}W;AoKZ~+5 ɵlbϒ=q١6 -d"8|›-SrZyT s6'R+2S>OtU0&Ri$ܿö@ meWOV~#SDq*f\0ĐYh0n "n*3K򫴜Jo#eH,@BB7Go\$lJ V03J}˿Ν3`sVRI,N43Sɪ]x:ۃbSY;-zZ|޾LMls~+j3XJhh|eZƒ+ v̯f1 oy>4ў<日EOqd/fˬ[tڅ}GN֨Q G}MD2d}N @Zض\aJ)>a;yE3҃*3xE 4r pRwxc.&2ڍw>^r"[($ Czk1tѡݕb8]6p2wpaLQYD%0>㌩`b˰6.CSB6豎!t+QP||=.6mXh`K ʌQa-Js1f+![ %Mp15>|U_'~$/49L'?+,yEdcaW?f';ϋ Ƽ-.)L}Xㄱb(Ы^j?OFyx5q;<LHAre~=ybk|-घ *y,=*CI$ײW%tݦŏn "Ox-2ヮʥaRY+R;L OU*tw<\)7Sh |MV:exNδO JگbpQؼKd{f: #Hi㑿0W#o.|`߲{ kP>"8i4b=,2 Hyo{Vu4DѠJȕ+C/ȊaDՅܗh5;B N~0; p(CRE% Ԍ{# ŐfDU3杔 :, t9wΓ~ׄ|ׅ] a9d(@ zeS.f{w RG'-> 5 =+9 upA'm I\V׋sCV??r$(skKaMFU ^:LqL*iKWū6-U;ڕH`WkE|0)`k>s P]3hK|(%%X^K?ӍmXq*O}$z ;ơk#"ߗ 5Ϣ2 -{D{?_wӸrzݷ+.O`19U,e@fui'śڐՉxRk[\fRg; `w^RE}OEPFnbCH7I0(! tq 3X+ G<[qm:s\SLhozrθ֛JdT-P GBJ ,Nj㮽%Menk> 7;k,b{-kLOEI#(=3=^p.f? g??!4ۀ1S2>1Ap:% 0{lj؟H @[ ll^T"J~;+S.؜A7dS~KDo k*P]:h%epnumBp0͈r^72~ ]1qMSQeSPe7m;U7w+'=_W,p\/Qv lζ-yj*tH&>If%wv%߼L?٧2y͞&it2]̝Bmlâo>ˡiOBhW!&G ﱔ`cs2k#[h3ܛ!(($HS&ZL\Uaj2e@H R,f>n ZdIO%?>U'^T;2'U0+:p:;}m8koSY6* soj /iy$!rap+;%D^SHڷ`қTl56xBM( XHѐ+j39Fi(~Z'~۽ 2zG'2+#6-\tGk.6C^ζ9>8zV*aؙߧ5&w2e+:indQOh]R\;Y_ -; w8>,_f:,u+Ӌg,ȮuaO}$zug,28PzX%N}G%`0CyYb"ɤybOjWT7{Cki^eo]G ¸+%S0^nqZr05#IESv72=ထ9}HA;IyX@aa{Q,P%fTX_9ȚB\uRqbȭ."Oij]w ·)>dК_7ٟ$+Z]e*G-I!hZ0Ր5ac3Z&o;*)ۙ6`ND aEu ,Y{fDLq$D?H ] mX׌;]Snm ࡻcz>!n4@5/xjbI~/DNdUQ+*zĩO&7) F>؊x%ŒPxݓ<zA XXCJ$jƎ"E&l"g;TW]*2NjbeWJ l*ÃS@;az6xZFE;#NN@ y f (|" 憉6ADӿ{`oz +,h{ sB#⵵3!\(}pR^$^kQזİB)@ k+=mL࿏R {BN:]:HU# 1ܕR%FJޞPT.ҨeorE"@>ט0kάPFX'YcG7jKE%zO c: q s>A[5sf3&Jv [pZ E|LWWpB⋂ tNp0Qy/x)*CkglK)MI?؋\̋ t[hgE &FC;ˈa5VO]`.ׅ)š^i Zop(ӱ/ܤ*n14y|ʼnZ:}f >f=c /j ec,, ѱAP.b=zPӠKD>AЄKww"Ô>, 0nxfTЀVEa@\3 @&j--ʓ7?#Vg4[/_nu&dNqiӲ`XL1_ fQHbSWud*/XHYQSBIntt6xl7ש)*'"ҭ]0h?r@(4䭄(ߍx( BO&)oA6Ff AT&LZ-եmPs.PHB~}f:xh+K8U;mSÝaDe*c)VNվE@RM } 꼕@( posb LVhߗS 2Pq{+QM4ҧqzCJܙ`iS(U:uҧQip$̐_#| m+- "QF#_Ro%˂Cuse˃ok:`m0cpɿ,x YtsOV[N!I]{i>KߔkTeQ0 +X%FDh˜ 9tB(wiȰ=J*g\S&t8's6;'6^zvUȲTQ~*_MfyMI13gn,p 7^5聗*żv_wu1@'(h=JTadaZ(a1cy-ktCa1!_fZ[RTXE9⾸XcBB=aY7"7oQ}B/sBU+zWB!ƭ(WDO 8+T,ai߭oͻ竒J+UeH0Mۤ+^Baa۬4,c)373ʟwn7`im7? p*iq"XB]s(;*1<2=h4U:L@n? IHvئx+ד$x,'R ,=/VWkssMPm3l6f,/JGM(Ȼ;tw$ˤ7rs9ozQ_cwRN`3HjK W ׇ8xk"*s\᱑N"Ll Ȝ۲/ht#kHZa32K\(%nF$vBSԿ~_I>" j'M ]J"F;y*885pfxsX7 䗄R[[83?PKЫANTq(KtbطX?Wf-0fh5+w}P= Q&mPlXS]L'k!`m2L4cnU֝ Bn&WF^&D}C;Tf?w/ZvC=۔AY!c$ÙZҥ] 83YKRa0 7 ?o㵰\u9d'_馞9d"1'{dִA-0<H& }{pWH bk;*a&ȧT'o0;oaR 3H.6rG~#cKq n}#iAU?ϸ*dqcn lq5Ѧ0瘉iQ1xŢ58+6=ZXEXü,ެۿpO2tiS Ibl]Hn'-mg.8Hw} wTRĔ$|v*1t{ie|8yUBwWFǯEkpA@<[*j4c;Tgxg'l_ nğ5}4ؐǗ a&Mk2Med1`*(4H3g'"`hEű$I`3fJY@c#+϶r9 6z>1Vߺϭ5y[ц'p =lW?ahA(6M˽+t4g_kBZiV%fAG8p>Q@`6ȡm-93$N ,1 #WE~,:!F::z| 2²@"+Jמ3 <s@ x̆p*$@8hb}I$6 +K6^tůA?or_2 5Zx7Y"qyYy<̾,Y;A A39ϰ,AS[,AѲXNFwup =AN>>֪^6;W11c7x&zt]qn59V*6{$_ZE#խZfcQKF4!ۦ?sbPW֟T+" ^ɢ)=pog?lt'ӣ:?&-XS"O(#Z-!X2蜫G+p볯g3 Mh[-rEmZOܫ"g@RU|Gzʄ'|3O6̈ /3ӌfҦurpDe_HuɆ^eqîiA0S4@D~DmΤMjD8>xwXR= / >Rl6aJIYe-tx>֢FeTK5%˖v]zܐJ"Nd[,olL<="ƌ\ufX\kv̻wӭ2ҫ ߞM0c62~^:r 5x$49GlfJ` rYҳ#^# vPءuj6aHs,U;pL2o0:6?vxd?jy'8EG7hzwؘ$R+059=mQވI?Cj6 A+N* b@D_ à4֨E^ rϽyEnOm []$adiܨ _*u9.\0aЛ"3FlS7\QT3zRboA>2!φn2mf0Oq$/&<AFdP/S[ȼjJuzH[)3ūmGpJ?s{/%,_Ѳxml< tHhvHw1WY4]TW͑!bWcE:OzGQ3ߥP~Ew:04}4OeYb-YecIXZKޠLb8ⵥIXdvȿ@GYmp\ o1F|ξ['`Ҕ)oX*vŚҎfI Pc \nWօL ˂|l?#a..e)ª]ŭu҇@ 2i+99+z{EowfS'DsE੪! ReQ/Ă#UzM@iOxҐ3|5-#0a$Fju䆃7; Îh XhpASG\@]$ 0xP"QUœ5uJH* @yUuC2DGR/U~A֭6/%gfT)Xz7._IT0"1]n>!mɱ TpPNgNLHT(輺qETIO xv }[dF/x< +u&|]0ʒ A\4g6#}k*"'F`XЃ0E"h4V|Op_@s|~7{]F@e}qhNU_eJYEh{2W=C&>>-Q-,r2ÒB#kj`J͕ F-Q7/C88G@1IL`v8t U?q+|ͥR@ ȴp@ t.sN;3Uu+lV qBUq]:>82h֭bj/9Wrk5C=ƭ^B&| _r9K$]i ZiDtB"I #b@._/᩼MȀpR\pih ۄ$br0Ǟ=RXwvΚ] ~a|Q5E"kpyatan;^dpFvJ̤ng0U)3=uYYGLzj0zXr _"%0O-.Aed]%n>£wO[Fi! ۾ ZOxhe@ Utf֊G6ZS_N/ @ώMdRKk&}t a4Hqٙ"60&i$CvcXJ67#O*DI#-bӴr8;Rq\Q Y6DJ,Ri1v2a# b暖o v`2V d7Al'SAxU U?T;kѪZ+wgQrYS6'mHNP}u<J P> bkgu ?`u,x.5 ~w|7śR NcKc,X!@nOY,P$|t# IƲ1~l^!ðP aO\XJ2n;%=>ٰ^]w]>ܘ VhWcb/bVz3La; dab&bY<{'G 3W>'|[aH#cy1L4mqaCƕق [cdIQ?oDxվI[Z9;5<(S{%u oV@,IdTcZoe4uXYl lGًGLuP._e3&A.P_1Yd֛a8YC^a W>!YN㜌IԷԍ5Rh[dT. =oWd_nɐ%hgƊj-CbksBai$lt)h<&b9rݨns{Q+Հ8UB88SP(:"/nl6G!F0WDg?} UuVWBta#&g q(KD.~n9eɡ@O<׎c%%$yE'E;#b0$-^9G'N~)$yf9BЖF&crZW ]Pd*ېAKsVh9ڦ,7]ND@\W!y Wqm4>aq-:NF^c,uߚ`01ԯ a lQFM9 16'^6Pހ"`R^V-U/k&bmr.b?mS56(e^i84U<\sDQ'h]MEI S֗A/o%$0R0 / >t^(ZS $PAvdb]GL ,i "_wu$%,W3$v#a#ƒ҂^5.F (CY";Ҏ@&K$ܽ|?*.ɳ["i OOD\Mc/x8Arg8-9ه64Wɵ6 RP}x0㾃mB`N5=-ClKm38B""0 F(H=ƒ<\vo-0~xж a^ @uj:-] J>ӂ^r}4хt̹n. 3w@<&VQ6"eq3m߼݇8%"wC D8+(Q223ȇiV(T? Q6ӗ nG\X}+v_m 2WW6K& 'T/v],>[@|-Y}@I{jCm36+FIf p=fBѺ :Ӄ}: Re6?;VM"(mki! >^Z= FD !q qeIB A"aC/JYURP&X9 ~-6|owQqH6וuB.Ql|`v`HRła`]u9 cW݃SLKpO' R|lA ;RE[/ yq7PoɋYQ,)=(Xᥠ n[[9J `͎SF_jÈ`@ȍ}K4ďғiBrkvShtnwlb,XLjjZm쒹ꀷ!UZP~(,,><5C9\,8`̜wBPrs7iȘ悯}[fj$ 99a:8YL%dѺ꿯z e•r{_8gشpӜ Vϖr&c2 g҆0JOWص7)C LSTqٸMۚڝ*[/>$jW҈2B}Ok\~u9e{Tk>k)—T?G g:P(tTamoBf=vׄT5S%b_KA'>21=yr4t6˩{?V'^hfTnW\ Zx5h))0f5A~ KM" `2=)bN IRd͑sO(٠w#=JM mb'Fb8tpBZ c[܋)IܯoW ֒^(aqW ~ϠDfRcڤx:H?lbUK Ox+Uqh8y!!dtz]f#j 8, >`)q!Qo).'/kf_AEkf53W V ƮR؈y2ƖE={щFP3%Nj2(3H#'$hd`}Ȋ 4ocDpg|[!8#4R8Bm joz8\?s+ܧ'qYȳp`zrb;#Nq`-EIMF"(eZ@!_UlNfj9ʱuQJ e7\Gڥ<.5z :Er!f7AE;GU.AO׏>qyd[)W4wABlE`_j )Ut#`UxmR1r1qvP2bNh5rifm7u+5 7TDQ\ٓ a["װNShG`ڢLN83m9ux}g ]S!ZfصBF>m7$ɓ}rĸ"4VzpB[3p\7:PkG#`ܵۘ](vٲ=q}xё|.A|j˽4+5]7"&STرנAՀWM$Ǩ:sЧ?v'xyȵ ! #AEL7/ݰFoȹMc|Èb :\D"YEі'ԝF1nӡ&B8*noq䙚]Df"CmyL0Wҁ[QfuNdW6U1vn'bژI?@| (f Rum+Y S~|Q3Yhd8[+&_Bα%_ݰGm`[yÙ؛T ҩ-F;T,ʺcWCM  W{g= \i6ԭ Ul׎5'w9}5/73/'؃'"aGو|H޳8 mb >{E0`i#3-clIϰ{-kб2dUի.]c䲦PI=$C1vs{ӑ){ hnJl$YܓJy. E3McܯRbJzq>}/!(ySU.\WVId쑡QqjU̇=JH4#>&r`$!~f5>hW?OۭJ('<ۘHUޕЌ8;lQf"/o@$pz?|60Q[¯s:e7aE{-piZ\EUk/ͨ~ )()!D%7\0_P&bO_[aQ[E>آR ]A V37m9Bz,?ʧqN?0=|a6D='\M)dxw":NHo:Gf:YI5YJ8ׁ HK(i, \al;{Ug/jjrtǞ3|<L}"WVG)cy^@B%0 ^/0ϡm+czN&ai@5b/|^I\fz^hHfApo̻:S i1as#Ace .,!{(9](&,XvN 72*ǃ !.A[,:p0t^D'!TWB^aOwSNsuux Uº̻ _ 7( E/&3Krϋb"q3Z I`EHh]xlƞPJdwal_S8Yc)hT-~@Rv8Y 8ADzW '%Z?0?ĮXŸI1Hnj)WL+QNLwժ+K͍2`]Å* O/-1_L ?TxYgN'zx{*-1]zRX ~ lMt۳MĔ0wY~_#F?oŰ4c" =}gg®>0MN 5U'7tD:OE׀@-0P-ŠUE9PI^}Wioro Ucsn-nRD3wB[Qqp.`cjξ ˹t])uN)Ѓ [CEǫɃ~5=?|5&u|"Ph5c[/8gcU](j 0W=D)rj{42z&^!v}C|EQOwGFn@.ߤT/g<+omA#ɥs}iY^yv"MX!va y:U oa Na%Cqâ]r1ڹ.9#Z`زij537$aB|A0cdSp5!96 y]Abh627Hg&^E38uXH(۵L, l_6j7Lx k[坠4paw`zՎ\dZ}sQ2؋s=C6540?gHw3돘,vO{@?̲!çU. ʠ9k=!`R$$:-f?`_%yVzF5|fmC Q`m'{ZEB-S讉Org&_ET ru N+x&>s`#Vo#VI381mYʖTo !d1|W|ipWH}۶ejD.ڬF-uztMPw֕N$Tƭ(M3~/2*|~:yR9hZR5ŰUqHόpio̱?뾠 x7an%gdANpU7ɑp>񊶙.SJo@鄾N=`<rٕV+-.=ͤqቑT Q@] Nc<&nsc{ '=gX:܉j*x*2'Au ic1MV> BTB9$ilt2,$,1^GSݔx~D^K$zM(*ޛ6+cFTV󼞎w큊^Ia |8-4fE}{r֍r3P.fQF-t@3c'$nc]s@ ɰg4wIH`Y(*|3e=c7ェ?4Br:`nBNnCvOI>x*"!EoOp$8#xB_c@qOFsO]Z,&7cswUV.|̇?wKd_ї9G8f4xX'v|kAG@xt7VynYB|r-?~U1Gy3⴪.ڙw\:6 ʉGElQ:2X "w!So+YitV,hۼjgݶ0] !r ԥ,O*A`sEA0/1בa,1p1 S9%iw$YMǓhvOo$Ľ\t>RQ: ^2&K'|(3q>LSJ滵D[@-CBqY-h˪h?if4'6B8 ,__Xnc ~S]RQq9{Wzjw4JƦZ89 .+Al@Q6 aSElaD#(dJ)izg#id$=Ljj 2=peʦHR8~+Z+h\>_pQPZ%1Pǩ<COw;E^U~?40yq0݉uVo({wM9At'9ד)2bz>H*#\sSsq arPߤf7 RjӸBkw;cĪ(]l(!ۭT%9܀tvFv5{Y{.nSc5uz[D#=ƳAL'=J밼HjsڰLc6EqhO\.<Mo6X:޷@]e7ߙ5igֱ ;sxQ,i1LO͛a,hDJƙeQ~* bc/\Ku6စܢwyR{$TO}/ƱF:b1xW- ZQ}\u~ac%DXc]{h$t,t"_̬#Io~SJD,TL\l-ӓ{K6(MH.Q_8-Z04O]e:#8z9 H O Ѷ\k}TV~=V~$+"MIPXWGA?(t~~o^1+}9jf-+Rݮ^Ǣua(0qOyj ~Nm?H㧢PӺ÷eUBg]3K>Tzen 6rİ)-:J:_&NQ GH߮ % It4><3+HԾp#硏tULx⽈tp7,->Teߖ`kFFdR/j*f4lQ.ɜZ$uB>uޫC(8Aѵď+']K&Y-!J 0v?<^.c)tP+28] 娋Ww":mmLpcu/gO5P@tzj$wi0S4pVn>;@EWʲa~ _ұgYZfU~쐟8''\PȘ7- p᳾KpltƻBBRyv/ZYNjyrABfWZg(Pր2YdУ&V3$‘4Zz27ϥp&r)~=T&ibG'8㊂Nc~phA)nhS1EXȻ;9 Wi%#ssHA@2tchr^Ԛ{oN "*69M7F@"~G4f/Euwv{r}7S>V~M*d]?\N$AUA׵g\(" UMhr8xL\_HƮMVwfv`qAҧ,j8MH 1tu4'.rX@^j S7=Ѽ=>YZh Svoh!H.p&6CA-ZEIyJxp0CٍETNXD-`7.BT /~˵لUC=*cv4U# -y 06NFQxeF׍U 6dI[|ss,0,ѻK:?(Dڦ҂LЬ)#o.X{޽7f{)g)䈀$!4tsskA[`>8ZAk4SZf^C1 j@8E*-Yu99?7c]a4,\z/*}'8z*E2cEJ8bzi8DJ(iIu?Z+\\$c4BrOlb8Ѐ雝W <|7!R! ;ސIJxUS=;%Tl̞v5(L/х}ip{WrϺOP1"pB,瀡V^ͫБ0HVѵ3>CM&pVt3GLٴ҉ԫrMMB]sGq<hK7$5*,(tSN]gSNIQߣɢɳ DuqF`W,C_*4θ3ei(WuTA p10AIW& _{I`-`I8r3E@Ԍn͚# @&@ pY-co.)@G}8.WNVpI#{tx,O_pԣzJ([=?s4_=nQrtcgH So)&uw v,l-&o >f$duq.rVFOr./3ܵnWFq~VP+o< !VI11SrKԇI%OFJ9Wf5AAߐBg,H|k^.;>76 u@lM FVZyzx?wm:x|H{s\#O?)pGB/JB A!!߾}Iav\&Rj7; ˰W&\pؗ #rs*8Ю@"lp96ҟ;Q/U kDDA4 hDtMTEj5螸SOId͢>.ѥX%3HqM%[#bBv~ylDلOzb^ tUFg}H&3ӹsphu N%p^v)$U2O Jzo# D88#,3&\FuGBJIY,fE/ɱX3ɁjBj[:@oc ]&Z}`-Q}XmǝE ַKvAm}aj8U?-̠؃gL|Sjs@8|w͸/熺; AFЕ`oM^吙./9%omb̏GMP=-UjJ(f4U I]D^O6~ڴ9?m3𝀈8|XǃH̻+ÈN+P-\ 5+"ƣաmh>6ZIwLniO±.eJՆ-!$Ȣ9sam(L>%RU HsyVZ32,i{HQA&}"փS4 \3N|ԃt\wnJW~vElZk{,B 4˱G3Ė-"u- xU؊NrGW a~B= TgBefrFR٥O~ܻ?ݓOf Vh$J;Vxs`` (9uJf>Y{}A[,89u/ʷJvzIѭ^>& ϱDuJP+wC}*!k(a 76?x U]%{?Vݔ!#FEj3~Bew4SzQObP\/JMbyY kpU0DriS1kCYdKViWr$W,[ؼtoƫGBSVdzezNd]gCKey0pz aipa':t=i$`1>[{X5Úio ]Bu*6=[yy7[" hI +&2[ Ij)H5#Lzi*{㧝ֳy k@31 a5/v*B ׅ_*iNyE_+V* WR-jG]/,Z褙zJfܭB53`*?kg <X]R]*/(.v٫}KV[~5GÐ̳IbPCv7й)8R!; Itz~DIJv CAa0»3':w:imx CfLU!K)"zIQMMMW_6G.wnLY̬c)gS&ab}mIxGS>-\7a.ݹd&xdBӤ>g'iqV)UKjqo ðȍn8hV5 ^W&Is40c=(&Ϗ]†`JNpł9ǵ.y{5xlt{4ԽL6 pTsQvgHy@ XJĞ"lw} أ_B; |x$]=3NTq7JAT媳`޷Gꌴ6އKl(eL((;| o{, irlBa%li !+M-mbץ cwIPOTz@+F!ƕ5KX M~.U6uu[9&̀?0?}sH|ށu" WZ?˲!fDZF&2nH qbMm&QmvpcH`*v~_x>e"B/B~VFW AuZЫ׬NVpHQB`Kf6.8՗ċ #֤LYMW7ȸ-܈;8^xaE_g.l:0u˿fQF^U s9_MG?":WIw6?(#cg3`u ̌ǬȿA)|lY PX*rcHs+byY!;TYH5ZJ5mTNVńR2/犟J:3 L [aOhVkLb?|I΄w23Ӈ: "ƥWk"]l#T\Z2{x24"P@`EԫECBׅ_ nl Cm9_i v7&V*?I}H|ᰳ~\23p¯ $5ܰA< =85iufux~[ E0¾tJ>NT;x/_ߒ?|}3~Npn;;(D.~!Cīn#žv[K3X¼=%'z BeSd^#/ w4TAi&ddr LfCL#$,0hFOv\t:^i6}TR{ZteWQQͧ_HwwP(\(f;xWVڭdɬ4Hee6jۊ*ҞA)KȨu B}~-A"n#=+kGᰋe8 u8!uT7̽hQl 4瞿@ޭ/еp֎3W[Cf%NK&B3\k]K#Qo]2DeB.PAm~JRzidÐ ?snVI,_ؓ6io/f{H2T[p-g1 F`v\HF 钼}/5RlnnOT ê T *1w[Rn]t (8+v\۹, R ) mhR|P~i[3N^L6>Dxj_l(& kp w?许S|&Vi[ 3/zTȌau_vuFJ+Y];zBf,gt_1K֟ڸ8~mr]"fBG*eFfEo͑ic3 fݿ:j~bOzn+yIy%$ͶAPI414V_ḣ?ԏrA?ReIͦr_&{".8'^(:Y*(FHwe'$OU_w$P%iۭ,V fg3>C@{1BpfA+eg8;' 3Ug`r>?!*2f>ų=T4q !b1%7.U2<aMQ1$*M W!sqT2Ψ^\T, x<jAVa]E/ه^$lZ3),r 6j"Y&YI4m)+s vkJ %6VAYM(U5r^LGi{ %j -^11Np:ȴ| 95Ďjh5K}6JybQ, ꞂQx<GxEow&A[&ؖtfmxa[LW0GY0$;g;-dU)i@RaHk얛㻶^r@{IpcTiJh]7۪sd1ycR%OAp;xß ēwRC0o'Mvh )P^:e(=GK%W棎 .Cp \|?8OT-wO#NғҙH 8|WDZ=MoKGpLLdz@I9^_0h5B!ȒEpJՙ 9GCsPUz^uy !_@_<,=iijs`zŭg*2+&;iA籽(#S@Um*Yq%yAPAe hurZ&PkKzfg[.4]ߓy}f名،5Ezt\;y4 @TBV.Ht7@| ( #Vpgz&q;: 㳍3 9..jA3ݚ\nl!up4QpK_C/y+(]Cv!~T<~0)sGLV}͝Tb:5ӝ"o¯,{X t+*,X{>g$lf. ƚNT/|vPeu&̆ROoyL=IdgYZ >>[3;!LPresburger-AutomataPresburger-Automata.DFSPIDE/files$AFP/Presburger-Automata/DFS.thyD3;-Presburger-AutomataPresburger-Automata.DFSPIDE/document_id518S 3[M lPresburger-AutomataPresburger-Automata.Presburger_Automatadocument/Presburger_Automata.tex7zXZִF! eX]A-MՋhvG"uIBm5L5I <_fULL1Y'.;WܐF  mH ЕW6~Qs <_x$p_"L%hsW[r75&X c q l El]c4UXb'zVKJ8ɣK'I.ob&"c7/}=1R ŸL )*.aEɣ}@ "d0̩Ԓӕ{$o( yoMb}Iҡ߂e.+:݅FJA I0Zf\}fҡzB=:SVҺ ߰zP Gl7qqptJߕ09oL 맄³Yl#zF-˶ؔ\`n'Ȝ<%>O€jAUG2g}*#"$mqjeW"0'߭$.a[ oEslf^(G.i@Z]%Q/0,P'8୨V`*rp4/SFaB*L{VO! K;,b0E9LxH㣵wSθqCC Q`[yw?.yAoj|7uoh*pyb`[OG]=v}K5>P2|x JLb|֤Bt;DF7MOAQ0̅X|^51>bWTɩBt pv`ga֚俯떖 k>T*H`ODS@ƘS`a@cJ< mVJE?] o|~*T/8MUmdSĞAqĪ'jVzPZݝ&翲WO Xo> Y<)0U'DQ0efk55CW.8h,}u+Jrbt!F=T~Woe"ٹCe Z^!q|]NO~)  d%^**:otP+\8T#~ *P, 9\}L;(|~U,M&H[/J`f\,m"6bm-,G'Iv6l_&t!9<tij}FRfk.Uͺ.♡ G(e_oS>0p(.nS*YUX 'l&FckS~DLp!ƒ ޞ˥;=*w9w!@m&#d%*Ii4LQ ?gck)x;"1jm#1Mb4Jkx8Wh"HvזnAx_~Z,)1G@]e /Z6X!"Dx2vs0¥4b9ΣAyy lr)c@Tu\.+W\G&O N4z2 F F{3[!lPresburger-AutomataPresburger-Automata.Presburger_AutomataPIDE/files$AFP/Presburger-Automata/Presburger_Automata.thyT3[-Presburger-AutomataPresburger-Automata.Presburger_AutomataPIDE/document_id520w3;' |Presburger-AutomataPresburger-Automata.DFSPIDE/messages7zXZִF! u]D?7 {?:fH\xJw ]ǦPf 9h z9>~454W9jp; vzHDpUH|rh7@"qg]/T:q_sڻ}y|OE%.xnl$_8pi+>!X2V?dӒBI9Cqj}'-A ڜtY/ ,A9@c9(]e.)1v0*^At'ԸA;&ZiԚ@@@R$tŘg!¢uWT:5xh`h"WvRS5қIM/GIٖeGt'QuZU0_^2 ΥZi.4.x~w&@"v ٱ\Ppoh,R1LRʴP--Б'F 2߇ ~ ?VO ‰i.]mo~NIbzOC@2]ĄJM~:Lp*!/\[ zb_i ʉх[irg_w|x1\KI~ԡ)A%$44h ̏nD4W~grm(ΙuQZNl~҄H#@_5lo(!v]uJ@ :2@37AWҽٰٶ]zٹ65y&UbMyL:1}D\gYZ^ 3;# LPresburger-AutomataPresburger-Automata.DFSPIDE/markup7zXZִF! 3]&_] !M젗OFM' R-PILTiǑLB=Mm UM_K֛iҎ ,Í{Og)1[b4qc.0$0@?% 35S\:.i({ϦK%DdJ- 9[Ӯ{U_12BEwhpv)^P) sן quíRoCqzT8qbB~!O FlrIBCJQoRB&l2=!ѵ$#d'| 1IyCKdN&v 8zyǞóy.9/Iv_<-nעe٪I1_x KM#\C~k,EhdcGB6pd|+*JYO(VyRt6`އ6rG]\m15e:X=hPlĵ3orThHIJd0Kfi|p7C1O%ϛ:M%猾1f\=(~=u]&/^ "l:|+-'s-gVFoܗ\J:I.FF4qYO trs+EzVUQcu-ߊ$WVpI_XW^Gі VhxwjF'DN nmAcHo^dy۫ NCH tI^hRQ͖^hX:mQ+qQ sKkWlV`FV]h<6.&"eS=ER&%M3sO9FW6⃗o˚< ܢgSUiX__0 :Y3av|9RM#W tXx+@)|pfCLY$#w(a8]? SP{ ۊ?D$tOԿU3g5Hdg"7WU \q78A#TTfn˃|0Sբ4%u?;&=CuL.@D䙭^>'K12C*8C$GrEm%r7K@7pJT u3 ̟ܶBgRkЁ33\-MPO>SGUjw{om@}炗 Xb/nS.Ω\Sܡ! ^5-%xo=5A藂 agĖ,6c:?4oX" Zg;y8d?ImHUiK`\Ûik{kB-$+@˚L(R<'JEP.<jŵ=Z:>Fe^])]5T,WLkK7}е5%;ۑhŤ\WvGEtxs̵ bԘrMA{P& NץCWbLGyO̐8Xq{ w$a(_Ɍ'Ƥ`> a"%ߣmW.')$$q@,-5g4vdT"|Tʉl8QLQ#rVD/}+Ez Av%sա{g_m{қLB5pq9i &eLWpbH>As[0(lurQB)@{淶򷡠arQn ;ԸKl|3 sGȏ )ߋ/9h3.ߌ©+BQr-l/i!Wϟr &=nP*֏8-= ࡕtAר/>X\F=<ưNDMs.DNEEx( ]7fymiS

AQЂOEq}9hULmUZ֊06V7L'pN]'k),>CŰQ$LIf2`RO<9C#^ ̝mBΉ$(UЎxl&mT8vӷãݺް9զGyk-n#fG GσLixhy{ӱWHv`9ŀH߇,Ch/d?z&tCڑ=VlB%偮U 3$I>أsLF]mRӔlQ$q+j4&~52\'sI7.Waa =̘=ԬyHSigEYY%I)'BKDSV }%sRJ(@j%Vz+@@L1R~PNW^gڕy#e9CNYK%wG^ ll7NIP&kSmЋ qQ9ǣaA rR@x[w:ʈr">(6"SQ{5{Ip=7w~=sw+ ~߼mf`׶{5 pWqV&b=NÚ.s^ ȵ* @8 %]&5v5M,5FHݒ7:v UG6XybV1 |h,SEmJā[27LW&.JYXiI~~5|(^T`Ncor9+AvIJC|L?| !ҁR?x9]CxsC'=O2ˇhru[ܛB:MVDG~m8dW Ae7u/_?@1P j°E|F9O૥N;4,H( iP`))bqw-^C;, $8Q oN.PDe`\rCV`e3|NMQ,Wm,W!Q, 3IHQMXcf6kGORǀe1鳬Z?o0hv,Z6Yr:tuԔdc/d"ʤ3ZcWC'yЀRp2 9;LG^uB6>wyu(;F޻ؓo0Ts00Hb8wt^6 9E8D_ N7^%e[movؔ18JK* [(]b"-g1Z-7щ(5;OMeX\gJ21S ׇ#Cr&\8gWrwي3u(@&VRO3p^ȒZQ,Ze]OaP|靊lũyi|B}v +n P+f ߇f[$qe}&ʭ6:"_&B IrHkgq(aH'&kQ<;[8͖~fdI #pH,?BpP0r%bh|537-<^F+fƒ0ZTqcȘasJG!QhT"04;5 ?Q"bR&\zJu-o l=d؈Uۗ\4O؃[zjK caGqC=д UD/2^$ ֨"|{,=_׫8PƔ{۟Ln:+ A#ъbĦ)D.H { k8ُ2έw>d,%ܯ[CeX55[Բl|=1GCT.k:b <MWIgGͭ@q0䚣K:25tN/jaʢt*9cA>M`_?$YZ[RP[p2)RV6ew*?~~n}s*OXo%ADZ]O=F 1l7+*poӏ{8MڡgDUPnW ƃ~q̊UW Ah$٥hhao{vaB 6ˏ #aišpaW^=pV]#8h;\$m36@:M°<d@0`rIg{W-vVI1~`Ԅ"cxA$jȇI!7AgX;46NwX`"6Fk2@-~̣?H!ZA&0$?Yne7_"N3I/ɻ:ޛ@B6LU{`Wdy[MVVš1羺OlHm[Ixgr8s0$ҟz?}5E;#oLjܟz8[q;Dbs,eK3vWPgk9ǙYTLJ.$[͐W,?7+߼AU*֣DROi- S:!O]I.\5!>A`V֬eUï8`1)PEˍ<ˤ VH|=YcA ZȜ_TR 5'VOpL jkc|TM/`0OhM_;jw/DR ^|W* U* d>F1;!ݕK0cɸ`N7"9N=sV=j#G 8%81|n'uęDx DǢݗ1i{/ E;K ԛY4$><ᬗsW|#yi3˴9pifD}y G%It) ?lEW] Ht(R Er!MX$y!{(D(NQ yuJ+7Q,H㎄\%hzL!sB&꽬Kq,:{Mst+outa=i8!,Tn$8sNfH!dϮA鿪 &Қޡr&&JFbĂZa}CmTzzHmeMwg'E" LжNjtkef^]T4,C>X#}gfF+U_SGGR1!@Rjy|g{1HJK5 i;+4 `MkXm_YlquEMt_Q.j) =%&oKfE8 |QI_N Q rO *&cEXU2B(tV0 KRЋ*iЎ==]%ַTYD<1$/2+/Ζxx0^!TAhx3)˜3^*8g6Ff}jgLO,iRMr_Vam'Iswy8&ty$}qrҖح si|n-O%4)^T&L;lòÓ<[Tq:AK=suB[$(j3X1z~ZvN5TOZW$@mauXrfCvwZc4VfYhÝF{z o|92+eQ%IXJUm*.VF@HOL1 Jb*hB^̤iB|]ӎS<1[#Tvz0ǹ3ZW<~L``mwP33Y߳W[\I3}\Mݾ%f ?0V%XzbI7&}qN|HxvL+Юud j'*xvɼ>1D$N6):Kg{/=qZwm{V;ux\ E R3e@rZ꛸RcRgʕW9jPH"KG'@goD6PKo~GMl+/ lCMNz@/hs!aGPrUVBU:ΒMzR Xa~gm%"x<<d13ĘL9XՆrV%I]nd7ɬTOb;g:Ywqv=hPꥮ$Q7s<ĵUb=f\x \RP ms >\+O;4k%3 R?'bɊݜdUI HkVvh$0'$ROܓ fD")s.a_+VGjUyQaDœ ؃d2:fP$ުvƇ >/_1\N\fjE)tYc]괩oq:.Kҧppi~Q_e/RC![JZ@p)%/?wS'i9%7>oP4!4 JJ`3Tر f%P f@a~/e 'N.k nKc-9f"fmkb.WUt/-'%<:?T/d_c׆ݰ27&8<U+k4f̺s$~}\q[Y918iZ4.orE07*ncc*G(әHy+vu7UR ;%y|F(rKU]?g+,EM֨ ֡jk T@vn_9jh '/H?;`AE8iTΪ{!K\7MIǪ-/wN$30x@R$I9??>~^wBYNSDTj.{l "Ul`F- ~\\YDy(C|uP)>Tl:e:֒al^>nIs(B{5>s˹jJ\ORZ^z`Q~ZV1T 6 %a/RI>DD:R;>ݔ|$Q4=C 9P ̷C(@/P%FБ|{8~"j2h *yКAĆJ] ϼ 677>8\vz+I,¢YrQ/CG32[*wG79j\ [!=fkM" l ~+bCLuFEXe^,;cV´A|ux‡`A"*|:*#Z Wn>nԭKt;mCR"ׄkS*DVNiܐc/thK14l~XmcO b66 hA=GTBڔ6jox|eK9Qy+R,SEåZW}_U2'.v*k:6BP ϘaqI}h΃IMg6Qws [f]+s#^9,/HẍZ)%|E~^Q:!.)ĩkNF4vgH^JB ! HDh{y36垔Lێ8Y=$PVDS0nli}~JoF/(AXTj\ABPW㚟ү5X1ߪEB%/MSTUxR3wM%.l'?bL*ԊK0~?ظ{P+h-dqu#NC,j+Ϻ05|N[X['$:4P$,˵ UK<Ukvʳz s(z' ֞RY4#wm <s|d ,9 ?V0{c (2¦lTB#M(BC~VӒj <\O !s'JS#-;[[9bq7a7-*&W_4iCs$R3. HRv2j($xNdw E͚MIA=:̓QVqݣb$Cdw Syݐ6d3=`U5-rsz5wɳ\zwbcK.!5TL2}T7K}0S%=:OGYEYKy~T/9&[WCDVHVZcl mYD-9 ުu35ۛdrAjK,Ph-Z"OiAUT$uJ~č8|en(-L,tCE*sE1˰$ f#Vbi9g8܌ȈWJ;%`^ѭ+ˣPmEɏ "mv)I5f S2D0`?((@ӫUD ׉URBAn㷑'0jw l7$WQy"ޤ" ȥ"z}@$+~^j%V5EsЂRzT{kzr&wY"FD7䀲 @|_gC|"_'~πCb;S'(7<0FZXR"`es0!ǗtmeF>6P#!rb{/II]Ϫ--6ܶ׮|o: q,Xl։{B8G|An۰// \ μ;bFslQ]09F{ٹ~é2Țd|#9f%(j3߰n,n`M 7i`VDcY"qƢlv9D;G,1B)l 3J}΂LA-4aQ€7b%+B4z2}Kҹb{rv`8h۷%ϧ.Nh3\1;B9<]mN׶"tPF}%Crb拰dӱ0: /}f^Υ$Bܳh뮉&7 (>W,>8{1ݍEx*V#m0j>WgѣYM|R XO W!N^NL_kI>ݩK H5^FZ@&d]=dNWM}͕T-nf>!KdJ|=O{| 38`yWt|Aenv$Ju}:YhDn$je^ ʫbng\^dJa+b>|hUd=m 4&ξE@)x [GL1Vbߣ?kهeM,qv+n4eKI]`\h(r~aI0f? N"` OaRㅚp2+PhاQ$O  Tcwf(R"|z8 `c!|(N wi+;&cgʕIH+8qD:`BS fqrߙ"$Z:Tx |bͺ㋩1Ѵz>iw$%P'O#rqf3rBV7\a$H)G238DH(bXo; b'%51ʣ+C.[`Z1NϬ$y]ݓdl~ >ނt7k/qtyEsp9*~hUm7Yc7|VcrkSjjp1M6hh-Ǡ,װHWyC/%EJl'3ȟ@X2 7Kku UאRn{]QHkβjy2.E_՛?H-_ؼֿ@C;$a9zF:gT,f?('V|yϛBm>]աG酜"Ww%$Y 9^(ư'տZyi}H Ws /%NЅ M5N NɮCiaRO u4- 1S0ɅH(:3j/xk ]%KbX$<̜E9H2zlq `] L]SNلHnl0pGR{jcA>{˔*L7/%)H +rrGXIՒyVmƚу)QG;U!@hΔ slJRNBG&Ilx&-@`[-t` h3A'GNDV& xCTRH~:~ 3h7gtH"985ħ{u/1 QT.Egy@fyǖ DY xĤ6nZ=b3x4bDyL|/.o F]Œl䉾)׈l8L'P5t4(2an ^zN}|$z{Wfiz$>WW+ {IsAzd-e3tFtWl:ˮ''h (uf)h+U6k}cdjgien 7eT, 59jshqR~- J85zypi;z3-q0C;2\gfč>TKr7whcD^~U+[ZMj*8EMY(r 6S3੤KHH[ >cව.Ֆ,{wt'f.[T8yG&Ssj %XE%ksx'5!leSYhFMJ- γ~KCoۨ&VZ6ݘڱ9d&<dT8~Ѥ2RtA#n׋ R܋+uP+:SdJFࠍO7-bچKtǞ Y#ѳjT˼`\(ʦG/Ҏ 6d)r/@M/0dYs6-5XL*Hñ4EeQe[\a GEf/AaKHt ^ b(afWsF%~t髡1"欛L~` m|lbF_CMvQ1g]ћ~4[PyI6 kVPsp Ac'GG>ͭAXeGb,"]FzUu"Y/iS`6;"ݏ[X$yFDҹjkTP:^0Ґ{Wp#Ʋ"O2]%@J.^@>JXAQI] uy)g!$!wGK>s\}g(e"xG ,"Jzt uƼVL&KK~tr]o;@lÖS HhgTSWd&*{474핺<  ~ I+ZLK±@kK >E=Nl=NEeM%X}p]]?\/CUħN#f@(1-ĉBnr4Hʭ?`v뎈~2 /6+?I[\*''3*Pz6[b6뻗lܹ$b%GUnuq*D[,SPmn=ʯh%~JC9JvjM:0P@ɂoL۱fJV#` 0  'vW0 Va٭1e*/-T|W 8%X;{ 4ߞ_s.OX}t1mm˘;~aBZ Yըz݃qE(- ?3p"(JS{8q9%>ɼl]ҡB ηO˕OZ/+GN,oR^Cu+ r/g~ i(VIZՐ2=0l ,Y$x6?V+&K,+g `٦H1SM) &QJ{Zá-^SyZ lߒzPfME*WAK&Oŗ| elf%e-1p7b"Ԩ`.n{/JS#Z Q?\TYGY}\rCmS 9wb0j'%?+hՓZқjnΗ#ɫC%BS~ԐByh*x˛YtIJr{/G#jC[}\DblyDԘBJY 1η2#iQgo'*M>19Q٦ 3uF9:/D5NlHU~X!~HaJ`Y-9J[ 926ڗ+|QI(Hc 7esG݂ UF>t^|ti~ f۞t ˚ldi.Ǜ!4)y6f+UG&Nkz[F_$p Ral<)zFN uCnvJ(i=_Jl7gvvZ\]Szn7i2M}\҉v] r%On)2 זSf[nf*)ͻ˯l{BhP#BARP`.ˌCUD%8q)K23أ17] %AT-~[q)Jr%q¤JitQGpt1ȔxwZ$]:s1^7 c" B4A:Qrqwɐ }>VU&]> јhF=`b`bo8;㞮,]ErnIGtP%/,ygt\@!D;ߑ0YW Sw]ipNɱҁW'Rdn:zoEsϬ.Yڟ$n}2p?d^ssO1n\;dE641>Ѐ `rHtw`g;|/q9P)/:K=G-XRט̚002#jK&t#yqj雁^Ej`{g﮽Bki9:|լ>SDA/tonטѓ?c_4.aG)вϟb ];N!MZ^&^>Ho3RF>W s~鸋]?ˀG$DfZ%zIƒaZyY\?,>dV>uIOs?$E9 4CQp"2#W(ksr&70AՂٴ'uYyrUU GguO*')B(HCP*>> b6q~8 !,9i^n*% 7r> M^If /_ZD9dݘPwVo,޳ D'7*D)Z>ZqVKw&ĉWNpN'gy󘱸3׷;%$:D^ɐ.ہP iEғl),JNjuvSlPE^$mA8e$qIJDʾ F2fji:5Ysn.u!wi] Kz_K.6"W2ʽ)~~6x.Ӹg q0HaQtdέ@X? *>xI"Of3Ê(`71akS;룔.ziO_e0g5$(˓FHy[l55o{€1>x[傡*:I>Ҋ.wZ.,G $C b;d޺D5zo Gj۪Eg9ɪDpPNpc_NvnXAW fqq\Z4*yed5֜nf#==nXd€?DJ FjͷWeOk>k,Ox7̧Wn1[w*Cm6@kH$c7Ǡu::X!?4Ա7";GH]\4&diIn1^'Q0+ʆ!߽pO^-D8;| 3.rYؿ6aO/>s9b?#[tsz[.VM9tQ*/VQI/}VŨVz)JЏ8~r'u6@/+!H̀xd yXΓaZ4{I~:Nj slͧ}Pk|qD=Hio.5x҂9b(Y(R=V;ΟJ. ۯ 1s.2^BjvW ΍A$btSujtf5ufR^itPޔC1bj TĶS[XZAP ӧ)&?/(?;Nؘm`0;tI9-V1\ry۔7zAor35]= \3N!sn3a*Ag cQPVa=Z_4 ?`GeZoRc ZiAW,ǝ`xJk bkbVĂYoj'/ + Un![k$ruʚ)IREf33 څ\6x_z4\6 RwGbM,/.Lz;MdlLYrjH&n!.rDxе}7"t EvP-h)+: -߀X2++|ڇrj376oyJ˙n\sKGO/@Ȱ-nQxj-~dJTz@sg٦8KgfI KG/6V"Bt% ogﴣZ&VP!x2@CoB$"}f#=gF՗M"Gsmhp!.B!|(!$6#Fɞ Q㉶wp~J?\nlY8 џٗ"x$t=}7Ah۾ 7t$%ip٪035[AN`S?̧UÂ1dӗX5bw5i/57fyƒCdq>ߖF@R2C6T Q3дrZ\:QP`1%if4bvbi8Rw#}iO$]*7wu1-^]f뿍爏@Ym1dE$EwpⅨ ͪq@?QT i 2\ 3uFj8MUj͖p |)S y OoMs<^릁?,}<+?>4)**;hm'M?lϳZ)oksb?Jܺ;D1ꐌmyV=yoh.s=§C|U MW)<@;bj`I4z߀ i߷ƒט HeL tyL7DBw|y᳝{$N֣*M)0H@"Nt;6O>֩@2LiF-lyDQ}\t l?ۅ/"Q1f48Ci/H]ׂꫩIo82+w TE'D 玫D8]ܕ=?9 b:Nr12pU,C^&NLmGږz*fy*-5IUX7#' ~W3`}]#k8Qn\*$sS{<W/W=5! 훔AX#&|XQ@k\`Iː&d<]z64k^b߉ha4:j'LK;aĝB@fim"":C׊biDv=sghB«mB f`͕`|/C12$"Mm]SNJaokgϻU;ѿ8ؿ ?jܟ /V%1G3 9B #0N&OĥlvK7>u ; k(='x`k)E>zgdH1!zۯ#Kx(`Hsgi)WDz[|WZa#jWba6fԎڃOLSِLh[G B)R(25] 3ڔNkQ6m8,2E{B[ b!ܬN.3 -ynXr^ 4+CI(4IhK"ȯmB9خ\p_2x -ܞn% tmWsdU/\AM`.+=7tDz $BF ,zk/^%ڇcsnT2mlTW_ri~?0/d7Ng;icW0g+{q q5~س (؊?',a7rp/`#; ׅhnɰGRx3.p`.@Qzv3N`,=h'AAWe}+lp@k^{bဘ| ҀM7,?=[,>|iǦDAI/>\ XʋN}ϒ$__)RoEk#U]cc}*Ncv1Q>.-x8ZT j38;TνsBo ne`Q~A++TD\Q:"ȗړ^:,m®/ʚ(+TG)quqpF'`Hw3SbH$?uqC _31=d!].Rw$P\$f7\o*jcVIr+P iDR!9eiRo #L<_gשɛ`V+@I5h'ZH,M1gvJS6s.~Sd|ZhQHWןMhwH0QkG6g1 Ly !rp>5_)6?&E@xW? .P@2Kܡ>!7@;l5Ϲ#5j*O)Q n);|x%Ji~4bרnU rsؔ"lv'+%d9˂|wsF@7@p-FŔn$g&W9tM5,Rߒ'ȜyI9CU,lҐjL2R}^&oҢV_Fq|aDziRb‡pIdMrvrOaA)"$b{^M-{:n9.~wD҄E?'HJ}l.i9R27aS)JIeB=:.䥰M;TSDA 1'cӮ(8BO ^(c1<`-'rR_e冲>3ggxUm.;S߽  p",H: cn ֳgމC͈~b)| qD/޳D`Ce8.)'[Lmra?V}59Pt;Xe>+Jup߹<}*|W/d:O'3R7愾ӈ4 =knݏ5qB^JtE#-o E@*Y'I/=̉;ojNy ڌB+K5!BE=xV*8l74tw}~]GS0ُ#άQ̘xNg;gWwgqL/lQnX՝TJᡜs5|./_'w~=iag6rk:A~9r! @n,Z݊L2 ӶTj2$}f^OW4r]Y-fygz~3UZ+1Le Pp)Wx]ف`Rﳞ *ʓ2@h8DACy}Z3*}{?W;i66P3aXie2xNM 駿~3,҄㧻 ?bUMV[X^Wa|oREFW@Ų[24024&n7lzR6P U(1㩇8-r~d+='jl%sVnZd+O dl]FdׁC>- [n:%qοqIpnU+bGK tTD|G;EqV=ɰ3K㱽%##BE/<@g|YdE7h!G