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 Z4|\ ]S Real_Impl:threads=2elapsed=95.169cpu=136.508gc=4.696factor=1.437zXZִF! *]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnd*J=SꚠmsƷ8Ɣ|9,3OYjpw}FG) RYJuX3 f׶=8ln/৘bd\.7*(l:T0#G+iاQ܊LHT]h#$ob63q:3m)d/bj=:K=4\r6h`q_eTEq2 iU GoZiА5sB6zs5`9߈Rq.qY<"<7)kZ2IBAC֭Ls~"J7 z&e"s=pes_zj6$ooN>f2S?2>(ⵯgFgʁQLI#}>IufW_1& R)kc@&BQETh+nP[9tgK !lѼwB^Rz0LW-;΂U] zQ-Km2:'uAz5OҼC=T] '{@+LАԙHW\?;2.z?3%<H)Ɇbx%'_`lI~JpuUQdܬOXJF!H}VDEV6u,`2I XgS=>|9,qqwk9}rH?p?tLsxD*4k1.o O}tX?QyJ)U Mmk#";b1f$݌縫p~σJ^6\^I;MamI|mnKzvتL#>b8g"w*/dqM F õgX3[ѡ2uovQԌI@ shAHm[t7 ].pf &l󳋜?ORx]oGszB:IA)S owDaI$-TJKUjd< ngmj#7dܪFZRgo" ȾΛ;MSXrXvkq~B6S>E䯯R7o0 }Z)@1z 5.^4{K@+y;Ϫ7-BÖg}Wɴ&z`WOʰiZbQϑq0w5{` D1A=eὙO%)ȔJ.5B ?Y^uDini3`w}H4qERR0ln  a ;{p1) Bߚxb$[Wï*a1ĐsMEFR=ʎ9\,oM\vY1evB:,   Real_Impl+MM% ,Real_ImplHOL-Computational_Algebra.Primesdocument.tex7zXZִF! 2N]A-MՋhvG"uIBm5L'ɚy8\2.^lZ8qŊn_}J5kLX~|V}[D]z'v8▽φzxiamp!c>L 3/a!s()Q;"ڮ┾funSK%lⓙXdIe@454З_s0[qE>ƽÑO|chO^+7Ac.Q6GrZĜY9=])MG \pBW ߗt3lT*d_!l *Ōp/>$ _qAnhrWԷW&C,پ6J 8u +Mʏx A< : d=z-: Bj؍} tBDO;mMF2lul`z7>@owȿ;R5FJ@g0[\vvc$ԔWNJ\\0Ji,׶9%gvl \Ι sܥ7ٽY2_]⩗GSG\ =]% |Real_ImplHOL-Computational_Algebra.Factorial_Ringdocument.tex7zXZִF! Gg]A-MՋhvG"uIBm5f` 7w$K*Y3 aSnV t#VlDI|J$2X-arG6SFWoΫTvcD E >jH?&dXߖrqyr[W:C (㰯H( c6 I9n9 \+L[WDRcZOFwz阞]u|ȑ_6<o`Ggl !@>ri!Pn~5r MUU+pŶ7;QI70J̱φpF"De;X[ΣHH\o?V$Pl\؂)= nr[0O%w6JV' , K^Ckց A"nl/~[b(nddjaot TfL=eؘtCn3[aIt\ |tHjC<2gpY<*ٺZj(5!M~:iY쌓n7!Y~a K0 n_™ۆl& YƐkzVi0 Lg*#@V\ w2 \b@ҒJSWMdIu$]F웋q8^-q1ԪK VƷ}=i>af3WU>٢PsX:|c,oCAz;^PM%UV; y3=RRE?F ͚N_[5uS\U6]$羫 #5S8 aIl ɧaK ?Z+z>;M$@j.jFQ=oG#nX0:]InZ3j "{c4O*B˹3g?iT@|̄ނ$WDfv#b{ë*.$AGw4E3됎XR3Ycf.ў0zb"g^Ɨd-1Ȓם\hE!Iv0۰n(笾 |]@SpkjF3FbhcbpTorК|}mPB[҆D& w~g'Y*;YzK?T,ZL)5_ٵɘiFQ=z)m_s,d{P8gEqSmf2N0x#P7Z,_i97Vp7R eT'b_dkdi,@f7 - x/Svf#6#MP*4r:GC%Q^yI74P$}I<1cxe&U*|_w4xT.u" X>ʦ `O.B1s%MLpyi6j85dsg"גrWp<V5в׃2f<Aǫ_`[ʢqݔK|{Яwr`$7-@-K\XpJ4ɰf"bQ 6/LJZ4x_qلhB(AN E8C4Xi>_|ز _Vm[b62FR%=흢$ijiA9D1m*c0'ώF* 36*rc{i~\bY'|[],BUV.lAõfyv0 M#ybuyͼ/jv-N$I\Nł) ZG) >bK% {̴cXL0l9'?G,ált'݊ Z-S9DGJ3* ) %  O8 pK .3%Real_ImplShow.Show_Instancesdocument.tex19%Real_ImplDeriving.Generator_Auxdocument.tex ))%Real_ImplShow.Show_Realdocument.tex 8G%Real_ImplReal_Impl.Real_Impl_Auxiliarydocument.tex 2;%Real_ImplDeriving.Derive_Managerdocument.tex 3=%Real_ImplHOL-Library.Cancellationdocument.tex $%Real_ImplShow.Showdocument.tex5A%Real_ImplReal_Impl.Real_Unique_Impldocument.tex2;%Real_ImplReal_Impl.Prime_Productdocument.tex/5%Real_ImplHOL-Library.Multisetdocument.tex.3%Real_ImplReal_Impl.Real_Impldocument.texHg%Real_ImplHOL-Computational_Algebra.Euclidean_Algorithmdocument.tex;M%Real_ImplHOL-Computational_Algebra.Primesdocument.texB]% Real_ImplHOL-Computational_Algebra.Factorial_Ringdocument.texԝt'T7atje;&fXy9xG+IYx.c_3y]a)?KPm?p)P_Uh\FGTWYmWszQl1Sh(\)>BX_}5`%o)@%mN;,S瀖%΄8$d ,ò *QJIQA\7?`+s5Oς݀ Dg g êRcwi;zRNGU@ZYX(# z> ?ݟl-NH>~xt+3qM ׃GЧuPX:fm2hԓbySN %k*և bXgՙ+7! "m4L~x?j-MXwy^w>E4o|jS^.KIŃ*D3 Zaoطz qxR1'.AR{{j̣hؽ⪁dߩ&YGYm6VF Pǯ\T^+4=ZiJIП'lV< Elv,Wi&+-cw'd94oXK7#H SПYye]&l/$EK/Hε> HCg&C`5cl$sXxDjgk|\SicL)]=w,$#OIQ42PK ƲjX( +%Ut+!O8s{ a|N":јX)3l1uUڽxn~wf{i|_ui$arFw)L>1|Aak;)ZPl|( 2;|r58M1`?Q,ڍ؍.QY_0_46+N'ᰋ1A8 Hz4$(! 6'x #fB;PE,wMoK/!Syg(T1xZYy kA5SzI}|YĨw)U^+y4몐1jNFܤJq]{\vfDAq 6,K# sINAkxK* fCLlQtݻz*Ctnc%A6.x.3):, $WWέ${C7FV-G^ g← X!NLۛǜ"k$Egj,)ɽh^&.TʎϽ=e -lr/`%OخeJ1-v(ubY,@2s%[/O4AXW#^1:RoswUf8/ dx!KS#/?}8e 95L D] 8)Ϙv>QJ9;R"?Q~p w17`tEE5`/X+,wtDsa>uw8A 9c7K1'9ʘ%W\T>xC?)2g Q:x I.pQъKthȗqoTOAw4sv^iAmv㉯-+M{y8Z^rc*=??U;)TrboARz+=|\%'*B6>󅣾<ִIsk"|qVx_fu૙md aȢiG%X|"śQ/^ f$LB۴G[o;JV#$Co3_>͐1%0КcSlV8^8݌{qoE)Rl.Xz}81S[\#2_v}X2j?maԾz=A /2Pth>3kyDZ/gϴM ̓׸(v#D̙f;ՋbԕF!)%nÙB xQqTyF#Q1 B);*6dҝkjT>dX^CQ=XCyCxcC`=L1WLM\bd4:/p *\`./p <e_VU?9c14,*z@/޶sa>jyl-Fh wH [g&>o!w`tX4b ?#{leɪծ[dxJ!⬇+fBpVn212*䃸vZrzr }ͅ|pK ,/5@:0APFH ㆫ.^Gd/@2(ڒ1hEG%G}vH((.eSLvY>?p&e9u#h #B`ϴ7\߽} `QfB XIĪFң[G1< Bh|)RUX$NhTm7t2\T Wn'՝Ɛ.)kn ۈrV08A$ 6(&`ef駵LO ,Y֟В!J>r`wZpvBlY|9vЃdNiőAo@Ckqh}= uwgO+k~ܨ2LDMQor77&v[p^TtOnΦ2_BfjT>A * ';0yɳ-G1+KIU<XIX6>|#I':4*uKa~NDc.0iΐCEo1ql%vwED7Lg}j&ǖAquGI72~LtWbEe=']Y": *xFtyI =DcƳr|ixRMWNM1]+iFn0Z숤O貾5:A s5+iYmgef8WE%Zπ~ ;+ u؜XbJ4pΚ|3S+֥*/] p0钺D< pwMm &wGv.ĬЃD;n?@+ڼB#@_7_E}ru\I.ZM2Y, G s}(qTjAF>AFOdzxJMy^rƴ';|k1sEiguJyt (Y(*Ie9I-n03o@ wj)eVj/^~kPZU%37[}(L6._g7u9 >4밷:આF:6@P #OWUZzpalb.2{Ԥ[ [r4+CM测sef0JTcVZ k9~@9.t܍X,\bJ6v԰? $ۣw@"ij:H:_M0ːb,0^em yX_znG{Yh/3o5HNXγzW;?}6x]&ykZdy޵{冩jai<@48 >D2Dۍ=[6%dAT,x~oNlxiM]5M3ue޵,5/̵^j \RfgzwNsik`6 mZ 2 X COUMqUZbF,cmR 2k6y'7h ОbPoVς˿w"ab>"RiD k0yf `)K`~kT@R_PI.?Ӌ[иk.I,?  u :~A v_ @jVvp L$NjqnrYic'|n+O9QЏĝ3 =`gPDQmFMSFt%dsQj ƻvb Si ͵RA9E>@wPB8bez//cGWy<֜pX׵Xw,c5VPGadpH{#0aEfU/#_(f qY9x̒R7%IDĚ+8`ul}}{BljDb6rJzl=ŏQE LހD[Y\`Q-Dp4@b3RHyRt`ӑm5ߔ),f.S|]aW; "a(R ජ{GFB~.[*Uj`o' _W~9vFPy/zdP"sd+r!%z񠱄<$H:˜/ׄ%Mrhd$X,~1X+TE_p!vsXS-tʾ{csRƂ.n!릇6,x*Jڋ@_\v2Wn0Ţ jX1;ٲVSAՃwAͣ}GM:EA8Dj{$!RQ|ۙ l6$gH-Ex==cT qI>_}1 |Ad>Q4 ɇ\Q9H;nh|6mu¥2%1,"{adwZOd_ܑ<jqSLp!Y6DL/Ȗ;`ߣȥ9 /C duR.4FYO3Rُci\JKҗÿږqoߛ@jz~JB-;.d(̈́#[>CÌPX䤀`1f.JP4A @C3﷚NF=7TA(a ޘFrρ@=z(hƇb4A3` %Rik NQNYj þZql4Po5ώ'I"V>bo8tF6x2q%9tv12ap٧UR 8PG6.0>Eγ/ 8Te Ma_C[0mNj9D3@ F};L3*6KW\zNI[6 t4 jE})e91BQ"xok qzd-۸ J!?6Rv/5qdCiyn6;S/2>;iqHѥpvQV!t9ڧB48C K=$t)VɎ'gTZy: WNcXoD8ymYpb,&yL.tJev zCv0m|5yࡌ@Dh{-*)ВV͙:#%VUt'M w0twBhAOZƢ1J]™Pk'=#2 0Z@fNDD_*E={W/woTH s:U/J/50xy#92$.m 8oqIVQ2th p^c~b˘\:(́-H6IH`L~7=N{i Z18Ȁ岼7f\(9'Wt~+mjfaL8pTX)Jrٟx"}xAD](șAi.g~Jdh ,x- җfh8{ f0gVfĄhlqL3C=;rt-V&JV'L1G{%ScK#"Mp/^lV=O#(0bN~~dՅ|W,an},ae?g%6ڗݱ tnw[q7W4Q:XJMmjnP^)z& =)lT[ CPɃ9 V%tw9}Enc09 >16=pTR# b#Ȼ5I&^$ m«Ub%~Zj(^\3WŬ0,W~ԋܘҒօ-Rq]|L˛#>.OxX4"i|)ծ띩^64&Yz"']'ʍBAmxzauWs0ȸ<[9R\_$N3#W~m*賖y8f\f݂EF^O Ž`-wQTU J-)l GaBnE Vd 7EgPo{)8;%TN&BUS !J7cb~EWPPԅy@P aM Dl- 5ˆuH"%RV9~fX;SsJm:͎Zd ZN6}ۜTxK7w7]13Q| eAqef6S?A?BSJ{N0;/ơhUa[;n,eB Ad~[b'-|CQ;޼&钀*'4DRVૺ)m0VT*QxF#)ݪd .^2)0)&9;E /yKC:|]h ..!z*ݺZl2FuWZ(&s\V ɭS/Md '>f:͙bν"QND߂~Ѧ#B>KԘQgG`ːU@il?zD'ʫٰR1(4mwJ a_"JKOQi%ACpqj@39^t{ xddngD`mGT2BP^YהگoéLL^]I*T[ivںs!$5L^x%qww- 4l0׌Lӥc63grI(*E)D_-, 0[cl`s3q}d%POkD.K>Yۼ7TVﮈi)ߛI,ao $Тp)/scdN5 `!*~'|gj_iK& [3Hbbs˳ '7bL#D(Щp[2=Y)1dq6[#sڭ7Cfus;rR@$C& g!h(\rzTv0%/,@aL4j{O'1, f)lԶn'NN cw4OTuD[rG;vHe_=oES8*/VҦVl"]"1|{Ww y@c1$_Р, )0QDyiNKK^,ľb$:(CPڹD][[fѽs0@ݬaS&(3҂RPOH}r?Ya= X/vۖ==%x2yRT˨>8Bsv7 f4/^ˠ!|8cq^Ti~7(ps>#H!/{t',M]/+[k7;Y>˘yQa7>#`?M_U%6Yћrt.%Dm2aWIa~:Xf#f<+?.b:#@ }zk&m "اH)"d WѣW ~;.̠_&S-,k˚?~ XgMjV r Q$L!zm*GDo ވh1q(4U#6?@7WNG-]t%epy%h)\-]+roJS٬Mh^wko]`U0FNYJ/[1vBZ::uS44veӧ%5BtDY`,+6=kIcEut)s/AePȢE3fF",se̲ y|("we:d#c9@V ;Cgfi<)0d} x&$,`:`!OXJU9J0|t/{ukuHt&9)]%Bm]4L0gq h[&M^W4 )@޼ :}})֙vbP2q;ch<'AYWdMғ#|4?ZmnHp )5qxxϺ41 wFq1'9C", P Fě|;g@g<:O'cM~xs(vOO::D 7YGq3"0 vk)uMz k?yt57x?Qu9>cw~BX2-_ӸB7,&? δl%W<.l_%.`+'=&aڎMVux%Ou u`;S :u\: }]*TONdv:mt0+4Li n]xm&)'"8w`|{L&ǘS 4u2бRSM|$v>pl|̊7@y4f R3/&IWaq#tΠ3$n~ FT)c/lVؤɼyhCH0UB!4oQP(ujBb)XHG7&!wko`(gY sFAn* h^GŜZ-MQk(j4d9)'jG>>_⏱ZD v(ĕF uG6^4b[ch'w(G{@=`#5!n+/ܹze;@{r%$u5c/RF<*/t .9Pxf]D^A~4 DeB'6Wٲ#9}\ foUb1jwt訥FfeA,! M+,@K7dĢZkVkػD[s '9Эk4N~]Pbv#0"bk4}h_$ lV|w?>eQj.Bβw2_SԔ#.}\wWS旻\q׷kJ qrm3ԓlGCq- j.jo߸x]V>P+hMʬ7W*j#&o};C$vrX258 Nǎ\\S |- "{/DD!/:_{7Nj8@_ ګ A jַ_RdMp8'K1_I/|m4r28TUœՊSGڻ:y[Zh6.#6 XwF<0v}k>wu++>tTc,PNYHh&cb e{KBt+vKБa~'쒍kg| 4d}?˾]|jKoqS Ng¡hKhV'Dۂ&=c zl&-jP%6NOC1Ԧ;ߙ ?t*ŽW8g>mY43M; oE$o|"CB݊U@S'?IX2duH<)ABDe\S5ąw~}EXlKe&6DۊǀPEylsŻ{>U|6vR,3_e,܇Q'UIWBU_ZSSO éai=Jq$*lԑ"@׏Q84GwX@̙d )(aڗ#3``CSreWwKSm)A;x0;l @p<#T ;oy_nMfOj&0I^+aMh]%Ӎi,/W.qW2{J ƻwe?L'igg.^0 1/D~0! _20y7}DGaVp+1'{CM0~Vǃ_1+'t(J &(PG#8XbpDE:,׌+Vv⿖>EԔqBA|M1OOP4uF2Y9C/AS%E-Ib۹$z'P)P4Qg^NAa #boo ^_HGs=eg)J4XBW-~<5f+(hV335Q{̮ݬL'l0Kl8|>XFm 2{4רXX#`ob| >^5̵Ԫj{V$"N+l߸ฅ]ώ XMBp'#Obcfd3vʸoɴ)`7]]M77tŭ4vuȘgG7nameHzr~-NX&0j' GgB˲6UyzH7Uu2gN Re7gcO"%ZkٟA* 8#b*qnCv2ĐOR)(#,Φըš6+ ufƮ'qqrhͦ&1*D;GR^⏜MM/'Z!5Sd?J`oŭUGS= eR%k8w_QOGfTdͭ4jq uo_E)K k` 8maҹxB=’L{Yd0UlLm0hm6w"SZOW6aN6 nb]6F`S Y-]?h#-`g]9'{MQ!"U1~*Jq9?IZ/Gr,)M\XHux,Z8-k'Ex> :~פk$d*-BOg)Hp{|Z(|h#3~[*r|\4]QdB|kŢℑs̤+ڦN:"֍`I!޸ۙ-W''=6<خl|C< K0lwYۂU2$Zg/ֆ0*?׎OqnlUUתCeߗMSmYnщ)CF jע/ǀ*J l`GZbVJӐ>e@Kp$O)(ZVsoYDB#Ǧ#S=п׊^6+C*g_bܛ\i x- Wd T{P^!_ڝ7l)6ȍ@97ȽB8ghG 9U23rTϞewҵX'n0lFr3ӝQB$D렪a6#Άv7O9ơf FYKzƸY2Nx[ -}5qKdϭjvk5QK>ǢdjTNYpiR}SG+8딅SW1 8h.q5 Ahk8!5ϓ\^^6IڽZu1_dfN:0s~/5%ڡgSRԒ7{% Jiׅd U\Q^!]jt"Nfg<zSOԶѬWBmV܄ NΈDr8~T:?JMnWXEbw-7r0oQGXp&dPC>Kc,zr.cpZcűp-ߥFgȔT+Q ,:\4A|YQ}wPuo&r9 :Ʒjt^"#!gD s joTiE89,e jL8~&+FsS/".E-M5HhN:$.ĦUXmGC@7Ƭq5"#<Dm6JVP :JЏNnFK'$uZ$2k e C'&3 E(ZYS3?XdH HD:f)^dGpHQbRTœY,.l^8۸.86yQ C$J MW%ס} !Df@?ͨ?W,&SIGDH50 >ު~brᴟO/UF]-/ EUƱpPіG!Ŗ68_&#U1y (m񴅚dԘrf&p r|WX/^&l+}րvҊ"3pd҇FQĚX"[W N'ufLL ^P9V n:FpAɌz]mUZNr0,{M&ؽږŭq%oǘ.W@G\$s|ʗ`x1m~u|R~khz+,G(BhfOag!jN':J`*\B2{`&&ܘlz-de08[j"I\>.ƀY~ T QF'MsY `FT?\drkpNLQdDo V0MjϗTZ54<UiB3jQL nq?2GB1˫R>JzoNgIͽs!{%^8+f.*sQbWY%x"F#PEMLIPgR<\ #1wo,ݏAphʷYzcYB%u8 V* хB3 h.DrµR#Aң=ˏ5W1%]ks߮&f2yehh=wFc7񁾚 ZX:҈BБw;/ %E^ TT$=d %1tf#mvNp=&r/Y?&G5h8O%1T@,~-xrj׉j/ SA_1cB%տӌ=kjǵ7*,4'˘u}Ÿ́e^b?"zߎnGo=6%)B0O!BρZx7fmIpmd$;7Bxx#JͬD<ywrZ!w{nj'f^wf%_aZ~ P:0io 6xL).z(ǭןh-9az NS=এ1qb]f?G0@R AIsUw 2DCV0.=2,6WL3x1"JmwZ7@R.ߜCj}VXp/!U'p_^~"}OD56Oиf l6?8ǿ(5NݯXu/9m{\wj>H} a?lgw|0;",|.1 8WB-t~^4߈LW8 bH3ʢ ޟA&bEPROݚBV%7u턺kzUxzE{xOUz>RZPRL]t̳Ed%ƿ1:2*vJ/ϟns`b՜ub',xL` 2s`m1l<\d ap;~(60s_/NtyŪEG 1C4Q=Ci$=Qƹ:lUIP[-jCv]F'Kq_Fii0;iExd%7Q='לQ/bA|i+!d xF&ø54Ob2M5O4Ϩ:S!g!B-qq1>ce+edcֹ#(_(W4$(lr~HBcH)[FYh%pfO8hMLg z;-Z8'kfֵAnĹ:R^! Y{z$r) "p<}bQCFMlmx؊b5uݤz`֋ c'%hziXLA7AۀHpڡN3A5l\l2S۳7 zrh'"ƛ,9'\ Ze/LJ3>W攬aѴ`@Y5:¯#VIݷ@ _qnީB:T%H~UFC}dB#}9T̞q="M`$VlM`XސJ(aN %(kg[vE :nP *a>~<./{g坊f\.i;`ѥπ &I&z4`)Gf۫A@A&hk& pt GƊ>g:LVe,v:vKPpm]lE+?ƀ>*EiYk? T\` @c4ie7VnJ|bhO<7yE@E4]eÆ- C5$@piN<D9u:tx{C.n>FC 4)>lRײd,a&[wd;k hdҘ} R_Hdu}Y'֪/.!l59`P+4n'z/tMClr+jZ"?R7s[=ĮB0Ƅ+ܥg|IjOFxl%HG.ol zze٩Rz[e}:Po0 {tb%o&S㲰w0k0${A̘ kѱd0}1/ф$#=6ЄZoWצrGעP=S\b5"\6z|KQlif'k$.LH:"*kH"c&"gdڢX&NqBR8 CQH3vu(9kٜ1m%/O.yKI(`Iň4MJE?.hay?;6W_wPNrsl˳4ʉv8[2ezlJR3L;r۹m޳՝̡Iv7=,`FeAsd5H6R_X||2Y;B|T1EU_ (87_yzᐼnRM~p farC&5&+PjOp8Ci]ԬO@RTPj,,aA#g 9K,@ ͤ AOc.áZbSՙEJL54%S[EǸ -g.k,C {,?O7z.1nJ/lפFwuq0 P\aݵzb^.XIǨzSL- `%7^ (߯ns;!^$6{WkM &Rj$*PPD8j{hy]b?Q|[ Uc{1)_aX;1ΥBxLsV ʣ`뱋D4< eVE4U!f/t$5g_:=0E4,M]y`7暉'te 炄-\G.ۙ0 Yz#A6zT]OIX ](1/ u(0mx Dho6.³ڪg2\f@-j{-N$tk6!W &°4aqZ DuZfX3uEhr Ay>iޢƶdAɻ,R?%Ҝw%MIA 9Tzc ![4qoÿʀXěF UNPbqHi;@DnؽV+y?Y)n0y1-G@+FݚwZTv2Qr':".J1),/hpwrP[ srΫrK4}K-L\ $㞁3S;oNuqm {"/΢emTh䛱^'-~Z:K{?84B1`gg@>ʲA!Y5X@  S[N7Fbx-'GO0ÑD3 3t*uOPvO"ມս` 'kc!'ӌ`y/ecx~Hwo&^VsJ08W)B|LlC)17_1z&e$K>~/-tD=Dz%6\OOۗF^N/EgzkZЃMW)tu,_HQɮ(QN[OoD~D戞NK}RcIqqm_XD*c[d{^b$ey .߷ۑZAe*=4^ItR]9VP.2C|ޝF&=fF7L&Ty'M*,A9~\Nv91yu3 ^r U+m5_=b.7FSKx^~\c银&lƢ VEwn_5J~.~ZRbut)4uGj1Ў3x!GoEOr2f\V=RMT'y|TE9NMʩ+gXf᱂ jiQ| e)CW4^ Dh"zoSSw;Y1װZpBzC4-qc1٧-fE_\`AWjCbJȮݬgYZ 2Y8@Q;.q0rw.PqXh{v] E>J>c*|qC9=zzQqy6lFeY.G\R^_xCrN>sk@r]໖$X_V5xz3{B &Pl-l$*&i6qOglH.vūϭk8y8…1TO2v+<G=U,EWhԇθq&Qz{,n*lFgL ;8Kv|?맯ZSv'O/n.amV+Ec>~H VW!;OYӗG(\\UTf4kCMt! ~'Ezf{؄I+ΰ%_KEF%Ul#sW4.?ι̖}SVݷl1Sᙎd\U]f i| 3_O5R9d`9y9 DT6V^LQ}^b&BJ7rUR)ÖbY;}hoY"0:#zhhf`o*mkp?*ڌhK~ kPg<0JJ0O9IrbKvYڄ4sH)[M>vEIGkeV6eU1#u0evb!\:>*a$GIÜ:^" 0[8zX*VasfHTf06՟~J&Z1ԖG|*-H}w,hh8DbK=dƪbiOR{(1f>h@T`CV՞`(<)7 `x:Dk7Z2 :WQ#S5۽&Y]$*]dhh5F*zm%o/$Oϐ '_!CiX"q+s݆\A_[%nIŮ2L_8`|\Np3,O QLS w֒<"VNq;69c9ΞݙEi&Pb$}C5Bl\Q7q,s!.r60}B4ÀgcMh/L( ^<,;x?/@v83G3i|d.y{@^MM䷽Gق}ݹxUMy}È7|/Fm]7Be/.,gn K_"2]zMU  "Ŏޖ߃A4xTgq DqQKZ7mV:sNH<LLئoe[+f[Co;9#ƟvwVHߙ=–Q>(U+L݋A:|5햁孮>u$| {+iM X?4Pz a,[z8ȒDaPs%7akH4:XCώ!u잲߭|hqӯû±EUtp!@l2܋`Mi :lEգ+cRֳhz2](fKW$EF-JzC%/I+;HvX^M M)]\ )%)[,I@M&?@.Uy.V %O+pnK]b>OBܮ999sSqYs5}f'`HUoQ07sڜxYv/Q< a|1*t]\Ӈ<2qT9#dӋ jp`G4i-7G3M Ϭb^ԢCZ/,TPUr;Ϥ~EyI Թ?'`_1Mgɏ1g EGڻnp*23>5k[u"!fZ &}%-&^1Pdҽ'$PT3m .ة<+@kW#m,qlޖÜphrBFXܖO`TB^L3 ^;IBX-,ɭzD:%K8w.Ao CX[>#qq:G}'TJb\%}G G~6>1&NJ^MmG>?/HiT-]\j+=Wh$ͼH?\y߯uw5/!]764 iU)R2$kqW :Sl\GwaF@L TX5hSO q`(l~:d_J4 FIbܙ ksRqHO}1 [+p$ ]OC8Ghrt-a #YjF>5h]ה$cr#[ oBA6&*zժ٧74 ؏EmE K'x YO2ﲮy FvRΧmikDT/%Hy٘փ5bo{*3t|Sosi p(k.J)PJOyx8 ,EgE Y9)[(dDת'|?w&p\hr Ӟƞ?&L)KO}:"SϦZSxAL.fnNi?,3[MuPOZGNqKy  C~ECNAA&c/wuٹeڀ28`:3FrSw=TPSsոp@s?]' aR^moJeW {f2b#uKCtǭ`v2 +:uDLTŜm;.-Kˮt>$P l||:&'t'ji@W5p{ѦQS0a;zDJTk2Zhy t sKovtdžDZ=m ,s~ zaBBp6Û7 hGjtw yrҼo R|76c*hj Р;!`@4`CGck7N.ct<u]歁{MK^x4r|NPsVgx9䡋Fsf!W]fLx>XkROEbja&4hS'oaSac69oGO{l)Tt]4eo ?ª--Ccq i(9WƉ-z⸢EgؑJr"Ű I&rQ7P&}×& ГfqPʙ@T3fn ^Q0-s|zN' >tΪL#Ԯ]fٌtr16q4v̘F9>=TCY!96PI"++چ ꑩښډdm۬LP-ZS @z?+mw6`ktZAuM_V*jMPN-?8UF 8*q3C<<+}^rl5(wQ$O#R^DYJ"?dլcps*6jWV[i{%ciDѹdˌJpO9u3nLF58[T>=῕>0꺕rƍ+%9Nt?=%v!9ct<#]N22[SiSKgk(f*Uݭ^mC\u"YtӅԋ_PC055*Z[\[nYT)^FOp+v&CQ = E*~HVww@0z{US4f([:p0ݩ<6 ]eViYr<{BjOX*3.#!8~kW"} W$WE3tg,]<٥Y?,aO/Cm$A-񀟋~M"$DzNy36fb*\;,fӵv*?[s!N4վf4̩TT|E|N˥QJ29cq{('4F`/WVaК!u_tUnTʩKWD2^t/D{E+؈N5_SR7%761RG҈쑠vnΪo5F@b$RPYR\KQUDh npvFx=qèfB)m[ر'2%5#5'&1A0̔ oщ=1N2E-tA#B4ާ'M8}`E;Lfi--[\L{9ƴ,a&eZkٻ)5}Qj $n !> hGarX_D 3kw:2A\u ;Lַx97^ώy/oɀR(wc&([w7n#DFWd+1+1ǂ}_( JiTrY{vmEܑ\_1*lH?6x//NoJD(b!? Btp)-\.uˡU$sǓlܭhmɸЦNs+4JlMgvmfmzŸRXS< m"l`vca簬L gl I3KHK'Tew~\Ҽ ^I~9pTbX) 3>3 ]cͻs"wZ46]MPuwPʜB# P}]"̗%7δG.ޚ؊Spt={T,jbwm1;KD:}`KWl"dK/V{lw6{D#?!ajyOH_E?iV|rFe݀5|D4ߒKɫJQPrw!bRXJf};>ux!b*9= 8EV9eKiAXIxbL;Egc2L$Tw|rn!( 3trWKJi/??,ED&̪7kVgZ$HG>W`?~OuIRF<?)5jmC_qx~ 1F~TP;:Qƹҁwl^!PmGj q3Ca|Ć&24PF=N3HL`>&^ ²sM>#ioI&ΖXf%.h @(_ts8QS)Y0j$dM&^tA bDDMY?JK/!AֿSUY.v4,${w%z5֓O^ C#G;NCJG/P#|.YQ2LtgdCbѐQ493A+}jܠEʍ(o$17s /~Un'k|`I&tHEۓu(0$alDI9>]v7[qG 2l oZ[,Oqg b!(zoB,\% &gj/F*u;o?b54:1BH#2_LQS^h&fP|-Ud$a.oC$Bo^D' p$wݍx#6uRgLpKaT -=֯v^ lI"UfvHk<(j>ֻ[lNmBB*(Viv'J,HA97=Z?/qlY+oڮ=dZEmNgMbxfewɪ-S lhWĸ|72(ƽi;xy 6zOȘHɋ8Dt+|٨];/#JP__~# qKa8(÷K& t-mgmA#m c]437. zpP{1% 3G7*`F',F_O 3bA ^?]-7A8<ٟBq)$B;(_JNMFWK(%6+jv$pW?>LqajR\a8>[stcౡ&fY^GN%|Nv'Ez9G@L1C4SyhUyTί$jb{gk,E+kLlIFINI*v~6tn*XK7Ys9wZf@CGKShb6쐁0V AaK\\/gYς{"H?)F_pJCBS(|N0u#H]S=^=*+0hQ7QF;,eOuy=M|NsY Q¾"oRU9gB WLy6>Z67}%{p+ 35͋(l1;ٔ%ËsG]d޻i^"dOKmJEU v"i>X3?8J'gи(BiTݿױ2@g{ګ-#eBXW)v=E e^ͧ3=n0v[mP`2 "`EoJ*wZ5/| xC/4q2oFOҀv >26Ax$#vPZ~X Muo-qb_G@Rao/ +PdE\@9[ͳdXLfSyf6蟻6o@!* MMz+<7l oi^dcyOoo X_ca z_ : r ' ;zSDz?pjp.7|4R^k~JjC[rA$8,+*]#L ]3F# {a@6276F*R40Opt 3ߟI)i/IqsnC쾂$k ȴX["'Q'QP#̻: HrbߠJv|aCIL`mۡ k8ޫ&?䱊h/r顟QO9Iz6U+T+Fܮ۫۵a#Q%OiZ;לrFJa`vzH^9R_МƖ/]|uB[ܼ+v*rV7֣_mĪw;:@p5'_(p5jy}4)>> vӏ(s0ucQʚlpIԺ;ЊʃK- dYWz4i#;wPįoO Baij0lZouU f`ADGpx{)5$͢:3=n}a!t $v2Q]\KVwdh@FY3 $"e:{su$8#Oo`ِˋSUm.oDUj=.L`z#Yb);?6K%[ ^:T?~P/Nf+V>jY<D?!{P%_z& ^:yKQu+m!]NHsHŀQT.WDEڍho*1X=Iu; 2|pu}OTiuf*%Nn &iC6!?FhqCdd7AùyW׾!+۔ G(,hBux)l3`!VAת? "DX`۝ONDS $sPeޏysu-6Y*6t@17c/pulb}b0}OΥKV(z#=XɡIqSF}xiRyWrZڇq5Z-(#M5jH9bd{. @Yţ"e )jE\J!2G \yq.FGzW4%)pF 4e:?ƠfYni9+U+HUY42 W8D7q̞yrUH-*Z z?L#53j*Ev\kjPd OPbgYZtx1PcEf9)ݗО' %$8Y3E#KF? k$vyjlIWkya%"D?qnP^BŒT7v14 TcOPafY ݩSҒWI"GƒWE9 ^.W9ӕjA \KW;4rQHf||V^,s_C׌6&<$yס͜q :󤳳thՕ1H~|JvPaAv2Bѥh>0$dh Q!yi.&_~$ytDR3 =$dh0=x`3a;z[T}Z'G ggVO\mIL! %er:67nЬ8 ;JpΪ8D zY>̈́}ebjVY-`]-^8b (sArU][m3?܇B"߽5R^B"Z9Vd՛2wHj1p$3HϣbWpWD%xk$٫ ]`AܽlY߮З0:Wg:SqK֣ꗫpǻYZ'p\GVBV: f`5w}pbCe.`̧$o6čB%4բZ[eQBb&s|^C&Mʡy&EXFXwMNmL^4j.Ǜ0d?+\7wT sgޮhdԺvRy(G"7q|M%P2jLLռ#Wbwm/q"!X%9Hv,C?Ӛ:'^_ yX ./{^bƪC$1%".iU8q2IYA[}xgؖqKԣ>ewB^E{H^hjA=)Vmm\y"t9@LscٱU<V.* Pj4Ss}v -̲>*qe:q([9bbt38$Ix4݅  "L}> VPULʼnFaAK39ara .gPgMQ0莸 \`C9Q$^j-_IGsK&nkl\VRM8S? Hi 3_g!\k7aظF !g̐@$E~ǓїkUm_7TϯgFoBu7$6 ٖ$}n0zᦗyFq'*O@&{Jk;V{h;r VYS:B+#ƚ1 ֹ'\>.;S]5hH4Qg8 iwɧVkEױzU\len-xKԄ^Ɩ I~{A8h;aIb;)e2:v#sSġ")xv~d@ޜG|W\shgP>ڢɏ@t +cBX T!gY}61(>4 o\W*V; Lɢ]WuGkB),Y 3T-D3ҙ-=;48BV.yJaY}Lk2qkfWdXן*/ X<͇И*dpkL'Xc6GRqggߦ`[h[QzieG96*VSjh:ŦdEcT讪@g_ 4lEU l3ǖ0ϒʨ` hmž~1 8qTL -}o(2~uxB@eeR6BS/&1Em,*YЉBݞ {tOr L(Ҁ榑>ڛ{$`wC6<9D1(j!wsĸ0&)&\}#ju|.n R]Ԅbe<3p06ᆳYG"Qv`H yg~.QlZwJ!@7oR;ĴԐ߄3%էq~fs#TkNnjэ:3a[J4fkL ҎEJA0Ta (͎c% N+F=k7Pj͆Rx]T˱7⯊,ڃaݓ$ jXwkOzE*b\j*nI(MnB`?1J!|U3OxƗkl/HNٞ0!+Na2֍*BU̺DC%GJhp9DB!ueޒ`G 8It+y[Yz6훔@Bǘc]'%>BJ D4Y^u [ۂc.i*uvs\}d4Nз19f,?"Np `v߿8}s>؏pSc/;9ط1J&wɈ$DST2H+Տ`|ny9ۮHYF^AN/72o]Ⱥm*[ܧD*z=*`$YGLg1Ek ZI.?qh,CYja@;× Cɶs{q]%Pў;b\.I6};c3|j\߰eiwP 6[Y T5ٵC2+ f@UG //fx?qUFX`̴s3vX٩j="Re_Pȡq TZzN65gL?˘rmJ >a (4٤*XK {o#Cuuxr+wB/`y)ܳBfXl[<^jz$B趘u,p$2Wl2.L~EyZZ/. q׫nc/ ڏ[Xt `؏+[MI-&>c5œ6,- rKV]Gwl·WUOƌqILF<>HMNJ̭a:AvB L$J$ϹM"K^2D4SZH S[3iGryE\;0H G%>f*wS^W>qX1Wy4@YY]X¸6z;ƃeTjΨC +y+s 2ogKC@VAw!y$`c&AR4 w;YTrmF]vm7j[j-Z ;>d`׍ӮNd"ҪLA@M@­3y/p \hMY}n*i|W7fyĕeeKרn1e<,M9 Z52jkzĸJٓqŝ2| 6M "'XdvTy=\Y %] @egˬmn0w1ZBYc-2D#Ԋnhl tlSJp Irbm aDuJ mT)ߴNz1TnW`_[<yy8{L24AO(#s]yI//èzx;; k8wlV2'֣m4MAJbHMG}evM r*o xbL}ric_e2s FsDhPq׈4Vⱨ&fs һiӡ{w&[ǽ,ߨAW\ C[%I8F3$r"kٚf|+;Ljw}.k9swyO&GZWLJ4̂vstۅc}_ -+ΌeHHHr߼*^Ҍ-)OjW,s7P< Sk ފheh<( X!Cos`i(j$%FaZ4aKFsX1tG]UĬ>EJbϾ7fĽw ,ł)&s W}O[2kv c% @֖U^$Vjɕk&C*tIp@jâ4EA~գu|k.M{LFP??ts'RVTKxE\fW.s>6W> I6!lܛcۊ4sVeF 8%+<*b L?vDKG ޱhB;}ļKއq[su\=qWRyUзy(B[NuqW2׎00(saXVa )N!K=:My=Ly48O>n 6zpU^΁[r,oX$1Q|;.\;x3;uf37I򵧶G^q;yQP;SIr=g\r<`lY~3++Q[%|F_"٨f]J1 \A2Jٗ7hb|)6uZ3b ھ^f8U) 7Ibd1:vJ{J z+ѝy;C iM[f^+}Z<[OI$CXG^/:SM[5v&1>%`U8F&> DNT *rѵB·RU,vRgXZ2@q7vnwXvdBBZ ]xld* 9%eox 'T)ܸѕ'e SLCwJTSXҾfĠ3#wi$\YQxDfw`"9cgM;|*Rbb)4X^9 \gCJp谋y#- .'^  dV>QaH5 o+_A ^'-wm]?=9Dhc6J-A7_P&sGIzdpN92ҹ(WȆp0-~Huax&^ 0mO*̷Ϸ>[vj`#N΍T :eY2s PߍLMKh)RfP@5!|_m2_4LMZ~ڳ6m$:J;|Ivhy)pl?ˉG..g!w-6ݢA#2_~T}iV`v2,HvU~r LLA~_ ȱTxEwzuBƥZؠY6K01{(R2h!R:2Lߊ-p CUώ67aQ=ڈSQ7rc5mG9 Y^?r[|#'66Dh(춋R!{ޱ?`V?Ĝwͺ+'!\ړaXpϏzϏ| A 1pO["=voDiaf ĔIvlfNs`= tCmDaщ.X c曳b-ʰFtOlDZk& >>5YX 2މzH( sWQZ(:&޷ `BduԷ**`EXWLJRВzDˣIbc$ke9$}ma_V~ MbZ`q[]ײMF;2[JkmjuGX,]ayЇ+>,DyYz\L;)C,x0AvEcOl.'] V,cct{`Z8kLifU~˂d[ぷ. O̩>6`󴼙3tn[ydlD-_ P\U+tZ#OҼֶ)KV\;u2 wg$VM|rN C!reyu9'g[ ?*V=J6M N~/N>֨ 3zXS"q)͝q?w:Tqj5@s·Oh"fK ƀrU9*nh5Ka:W7_2b Pxָxli\ 9ۑvi jhsG7k:yZlĸ\хgGZ&⼖([(Gf`)HY;`lR#GQr0\J(%kQR8](u7v 8kV* IXV\Ae84+,ԶZpd/*ؿ[ªw({d$W!Kʅ8%5 }XsWy9¥:m`aLz&ȸDB4j^LZm ia$OuY^(u}s"x+8?`\ZOr,o+de[Y峴v]Q. gYZ MM% ,Real_ImplHOL-Computational_Algebra.Primesdocument.tex7zXZִF! 2N]A-MՋhvG"uIBm5L'ɚy8\2.^lZ8qŊn_}J5kLX~|V}[D]z'v8▽φzxiamp!c>L 3/a!s()Q;"ڮ┾funSK%lⓙXdIe@454З_s0[qE>ƽÑO|chO^+7Ac.Q6GrZĜY9=])MG \pBW ߗt3lT*d_!l *Ōp/>$ _qAnhrWԷW&C,پ6J 8u +Mʏx A< : d=z-: Bj؍} tBDO;mMF2lul`z7>@owȿ;R5FJ@g0[\vvc$ԔWNJ\\0Ji,׶9%gvl \Ι sܥ7ٽY2_]⩗GSG\ =]% |Real_ImplHOL-Computational_Algebra.Factorial_Ringdocument.tex7zXZִF! Gg]A-MՋhvG"uIBm5f` 7w$K*Y3 aSnV t#VlDI|J$2X-arG6SFWoΫTvcD E >jH?&dXߖrqyr[W:C (㰯H( c6 I9n9 \+L[WDRcZOFwz阞]u|ȑ_6<o`Ggl !@>ri!Pn~5r MUU+pŶ7;QI70J̱φpF"De;X[ΣHH\o?V$Pl\؂)= nr[0O%w6JV' , K^Ckց A"nl/~[b(nddjaot TfL=eؘtCn3[aIt\ |tHjC<2gpY<*ٺZj(5!M~:iY쌓n7!Y~a K0 n_™ۆl& YƐkzVi0 Lg*#@V\ w2 \b@ҒJSWMdIu$]F웋q8^-q1ԪK VƷ}=i>af3WU>٢PsX:|c,oCAz;^PM%UV; y3=RRE?F ͚N_[5uS\U6]$羫 #5S8 aIl ɧaK ?Z+z>;M$@j.jFQ=oG#nX0:]InZ3j "{c4O*B˹3g?iT@|̄ނ$WDfv#b{ë*.$AGw4E3됎XR3Ycf.ў0zb"g^Ɨd-1Ȓם\hE!Iv0۰n(笾 |]@SpkjF3FbhcbpTorК|}mPB[҆D& w~g'Y*;YzK?T,ZL)5_ٵɘiFQ=z)m_s,d{P8gEqSmf2N0x#P7Z,_i97Vp7R eT'b_dkdi,@f7 - x/Svf#6#MP*4r:GC%Q^yI74P$}I<1cxe&U*|_w4xT.u" X>ʦ `O.B1s%MLpyi6j85dsg"גrWp<V5в׃2f<Aǫ_`[ʢqݔK|{Яwr`$7-@-K\XpJ4ɰf"bQ 6/LJZ4x_qلhB(AN E8C4Xi>_|ز _Vm[b62FR%=흢$ijiA9D1m*c0'ώF* 36*rc{i~\bY'|[],BUV.lAõfyv0 M#ybuyͼ/jv-N$I\Nł) ZG) >bK% {̴cXL0l9'?G,ált'݊ Z-S9DGJ3 e+5G5ڣ 6g% dReal_ImplHOL-Computational_Algebra.Euclidean_Algorithmdocument.tex7zXZִF! (]A-MՋhvG"uIBm5A!Vf- VE7ޛ^Mw3AoyVQv9'h+L8 SώΒ̵6|ߣr-ncC$pB2" 3jLp5V9o8r|DǞ Y]mtu +VpWgXᐊG4a3u\M I,$U[7]QDohLR6?!qi]*'k|A:t KBPtb`hP Ï%c7 c+sܻ!sӠ*isl֤k旂_҅lK^ [g!C{~{e{$7"hUE ?ܬoC"3&b!7I CC,b!ZARsC}wKiQ- ID S1(= lK,`\T?]h/_5I`~Qa$*>[ƾ !ُZ \`L, 3"u95m -`:*dk\@)>=|&;;,h"Z@ MQd62sݛqFgMbWg e~:OsܐUҨ=i؞<:s|y:Hle4[A߮ Tٝ84GHx$G0Ibs]b}]o2Q~zzl9⌽W[T{l}#c k#';'e`r(r]l俤<-w\p#.̋M5YىU9uNń zkvx-f=x%'0PK h\WhnASG 4&T XW<7ay>@.xS0j7D/p'ЊOQdm'&lJIǸ:_O5*ni9]3QS>=زvtk5Je揆o$܁gFSvǃ!*MLIsEOg"vbW`]Mq VvC*Z$M1:pkV,5Ŗۋ >o!.ZFgO{ƵmW[O֝v2"l }d [b}azs䣑LV\"!H{?, g31!)\te3K C+[57x-OHJA49fp^Svg@i>~dkn 3"$6Q&bрi2s !Yԛ- Cρ ̗D9҃7xیX6C52"g-$wq:g8ye:8/W܉!3 א3AW)D "@ܜ,dYI!޽r !83pz1l /(š3Acu2 *NY"%X eV[tM#dɘz(9]o9"1W̳X+D`&VgRM#[>vծal4݋Ji}_Z-?/7δ"̀jB5Xke p,hztͶ1ƚQIJEIxFRI%Zlk(: I6'sc.)=9 \*ߞ9}"҉^)x#?O|[:[98˖n vF\{@GJքpu@D<염 b;2'[oIL2M?oh":߭:)I37+[r`íi_01"2mS(Tr {\%za5Ƌ D,-2c0呱R2' ؽ Hh&}A}U0Zek.Ovx'CKW%P9~fbwf N]^ e@5| )e\U& 7 "h(7S>jݢA iO G&=pr/Z'D{TI#a.z'M hmζ.4X3ԅFB_P|(wN~E Yd$zox=Ju9tYy|ެQ6:7F bM\s@rT qUz\1v~'ݹQ!mr/o,%8k>ysyw 1;NVcPKHe\v߁L8pɬ7P΢%l_}vPO%ᦟ#-w Ïʜ-]/yߍצ|/^R=_:6%Q1gggb-6_X!(J5\ vມqs״ѳ~ٙmx_N[C" $7 >e0hѝ˿ XJZ?yb+4UK9u;L>=Cn2%0I:a%b$D19h|:-s4xoҁv_t 4)[ j?; B|B 2U@q?xN v%tN:F,2%:w0]ձ|={v40LøjIa)peWY2!F3|-[ȌG1 sx'(e@ p:@IOAEadc?oup :d޽gߗλ8YJ-gU$Vq֑ij^X64zϏr]FF͑L2j"IU"wH9w|݇krjIYܢP>B_׌tk_U~ȑeYZ814'Nr Ǎ5M/Uf@QyHE» xH7T0}% (ʟY,i_IrmbjcTG"El p䈉Hp[ Wubx䖡`/fWWǍ6{a'.Ҕ=d\~gxO{/5<~*lFIivB,9'ǰ6"ǦpHE?5+N "K|S84EwA{ahwPp=kԒ$&Xs5dEC^9,<Ph@Dγ["6ҼF+ QwWNɼR9ZͫƟe$B Ye&D[_]bBuAF"/ۛ ˎIZéRvP¸KP`o|h#m٣n ; _}kyd^b>Qx&3}|sd]p5{w2%ͮg\헾:Pn$AbBL[ Rt-H)1ImwhkKn9`Qw gZWt DDd'Xp$!SHl=ﰸdWK0QSՕ2]r?7ҹ'vHP.,xAQ]ouvR@+WAiAxь] ِR-l%9~#|#VKcIM9_ 5Wc]9 8 ٕ>\J'+>WBЩ_HmE^Symkb[tMlBKe$6D[ Ua3ލL}KG.nGKyu#yHQ,f̘do)9gVK*.):fqf=6e/:WWsRvy30_MN`6rqcqnpcf)qN/J!^ yaHhX5L q~&Vb'08R$Dt#kvw׍>Wm&diL$i*A+!ɑPNvfJ$^TSe1cZ?И ,p#PBB@1[[0-d J>CLR"w(C%r:%^>Ib!i/)& [Lg 9UWr TuWo\wb "X48-_>+*zc5{tppdK[^Wݔ﯉!"P7KFFqx2 Uf?nDgeQe#7k(bw#se ,l9^3^;oI^/LD5~um}0$ۅDh>q>u}s?c0``hy6H@`-6L [J[Y}ٹSd_*ye徵4!Du/-x9m{WPiW:|}M]^WAd7X?%~йv3rF0f% y)|-Ȏ r=cҫSs:稏LOT9X`>'aztm\= Tm@pe\}--i$ MdZ4(>Ò[CFm#ŮE $Q#]=i>r2DFXMzѝ14dޅ(~rh%'￴CN&iPf4 {[߹穄Ԡ o̸Dq CՊA .B'u&|1t+Url 76ݓ Tмew"7M@}ЉiýN ױUqqdn[M "H:^ AХڒձ:``IfxxΆ4;eifMx#dx|}琍)&$o^U/]讇)Y4*c_Vp qcig{Yg)૔I:pWwyܻA4v86mySK)5!S[$ d'5 3'nY0?c?&>7pGW=ͼ:C[>1EtSkȡ@# r;Lqfw:nuƕaP0慝(0OMN!+,T-;PW*( ]4]ͭ>gAGz5]_TQZ+d! mLfH朋\xTÜUp8#Ϻ,E"jwK5d>w=rHIpQr6#2#;`R)h 0!mpt82r Y?4(o>A2_lʋ .Z-o<hMF8sYyz@3J '~!\+!}3XMOHZi"J4'˶ l ,Ф)쪯^pIQ< އBz^D`ei}kЋp yq2v>9E ҴdJCȿC`BKY$vw76cͪY.dO|%i&Nf(v {(&aq^U5EYӢM0C.9@?L1EjAY^l]‘-9'y4`4en߽Eo{)N Xz(܂f<+LT9O:'tEF"pY/q+ƒ zB2CvR4Gtn]1j۪ j(bӭ@PAfRHȤ.4֎k <Ǩte~P/\f>X͍lA6\h&K|}jp!Oڂ{^Oj3xHQy0Oyܭ;,ƽŊ)0I6[ڍ뚉[r? wj` ÿC6 ,1ЦWO2XH<`o ]9ϨmskeKFL_W{uV׉ H)VGy?k:6PEdud6eʌCrTZJ23t3Mꫮ$vҬW3>.ajuStDvA <,ˬL9 )?ދ͕1y+aVܟp|mS(`:zD҈wAB1 :L6=_zq|L@ڼfVjw _mq i Ҥ "ٓwM ܠ.؞.f>3+&|v,_C hP rё[ABrD#l SʹA!Җ6 ďR;ZHwWc<䗁+.}ĀEqǚ]4V֐4z?Rwf3&o: `z3 Z^@,RNc78G(t-y7WgH:ۜ7{Pg7Z*x2 70#4={Y*GPJR>.*yp:/;njt$˺df({ 9 OeyZVt؅Lr' %ml7R!xt&O?)O ,`2ZY.Kn{#L%wQO}[7flsp*AS}lY( 樔iŊ=&}= w.F",<k~+Ч4qyGĐBMi~:ƎN5QlGTW#G~:9e\Dxd"cȁ3FS'Gaf_8(쬿9bs[B :@Y/:dmYa/8W7g %"uTQM8^KSM~*Ck3"pE%=Ǣ( */L@5qah fA|8'X1ָo]@H$ 5uxO0BC,xfx-~ BZC#a2[Tו#SMSj7AMʨG"\ h`ɠfrtЄxNz.)MJMB@2O ݆݌YlZY XX>`&CȆ2K|(HXR;^[ {F~[. i*OmfQOP<gZX N2_*˭FVH+|!bRׁN^,Kΰ*k$V՚#c qNTcvk$#ilPf[ U;0>令5CZ5ƕlO>Śbpce7TJyû@j1ĈnH@V*Ba]ѺSZVf1%"oL$fs@Gz*]aևZ̙ \c+*;;Xvc2T 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~<\3% dReal_ImplReal_Impl.Real_Impldocument.tex7zXZִF! .(]A-MՋhvG"uIBm5*Ot&E&#\b*NyO?: z:{t39Zy0I9PX+z(lԩWRQc' *VRe &uQ2O6cEu3=dm&'EHe7g'}b\BQR馑L=9JlbGgCP~k`c?qe'>sz(l;$ة7;zw&X܀rHowH^A `M:ԩC O:+2}=$r` ~4Y|%_@wt:& +5$͟F{OcD6{n<@q=A o9;`93[]r(V]#Y6z>N݃1 |I5w4]L!'7(h6;}I=_ Y9}f~c7T@nI֋|5mHD"?_b^q3U;/ٹ*~MqPbelP<"z4 恩 Shu暽D30 ڳUie 8}F<w7@,1&O^BC38#a!I˲J8߫Qz> h(, *glP HtP؍GZwk[J !ed_aI|)4H+K#N"RcL♔~ml!t^/eʝ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 h]\2`l, ,^IOz0jZͮ/k!#0{U߯H12;!\EtV#;%UhiNB+u,0Nw0ɫZl_gkh"B]oQ0$ZG>8GI)ɿv[ِY׆wHt u%>8W|y 9>kLt߲D#@H s7}9\GzfkQk%P3ŀ]̉vXipi_ ?/Gʗ[ ƥfD? WY7ګ6la.>p"!qJO%v- O(cm|=s?wEUP&6ged*[ynCp}mȋwxJvF<=%oqN['sԢmlm>QWhRC0IEBk!u6=G1j?*?픡MڗUm7eE sI̍S ǂ-"-EQ?ɃrKf:ONښڜ/)7c%M.d^G6X ؃Cɛw]YIڗVJ#XiD}z<2ӼNu9[ */_~v#2,H x>'n v)4yNg/6'eǫ)Y7c] ^:JYt)( 6J@OML;fL{i$KXlďpl=~Np 3 b?Xȸ̊M(;6TpFH0)TdǓ!8.f`E!8l{4//a!өvX GU({U gHe#˩×fA~ utfbCYHbm.(Yvn33Ehmn@ ;P$L>+b 2qJwHI 8?h.Jc{ чL@mHD1rQN\z#I|~!t \4n`yn} ?E,͗Pjdw=|SXӥ"R޽Ip"3Fj'?Yz魣[EbK2FqG-VJ|Ev5Pυ3$ Zp@N]XGř3@X#H@P& "y +Ez.&%e ܢ2aZ~NʉLK9tsyVޭQRJgPE"He4fO{ƅJg9s<g= ;@ 52̵ƎQ"Lk ~)ڄl4I`: ]˿9zkwkɈjnY$bb%Jf9~JŲ[1[[?_ s1o:GψfHpׄ٩ai: qU1?:n#%^}uqYl4(OvC:Go.ైM,j0܆3.Is n\Ԏ[}nI>=fc#L@ YuՒ"l ]L&j>;$&fu8f>n &f#:Fx.dWi]=dp Tt.kA{/z c)2݂xbt޾vV4 N)>Q(h;3?O834tӮoifKEHoѧքWwGkYU&n[2Mz+K%~EдO} C4~*]_$:~79Rxg.,^]윱rlo~g~ٮ U&8Qh!Wiڷ5R $[0$xRrɿW8FRVkE E +~ldqR 0Z}cd2jFqxyZ+$^v>jlQ|D>uJ}1JLܴ"yp^GK*6i[#r )D,AV滃5]*) :`s=ۗ m#oh B . +/CPjfxrMg*ZT1M\Ɖu' 9]{g\6ׅYɫ;0B A4J 8 ^[֒>:/Y?;PT({X%H}w.=~mWH>`m( yCP7FN}ȷW2y$7#Mh܆:bb$\OQ( ]lQU{{^.O9$ҍ.GމIxwD֍wJrr+p/m9ԑ;]߄g+A&yk?RBnv5thhJ2mpVT;ymsj7 D8#rQwb_bbJ Lu 7 讷7.s+qt*4r-G EFbZH"9u<140d=LPG5FPj U-u`ȃ4FkğA`YP%37찐ai$`'=`qY|'<> Ds؋ck(xNˢFOmRB't4QI9#N&3x դk;bkۄHU㮅q*R9eNa I}j-;&T`XTsQ=fFD]ԸmiXAGh+?Z`f4lQ8Ntd¬S"剱>{maۗo74{9zze ,j zJͤW W2./ۤ]\Gv/tR[ܮ:P͎(2O4yՄw[s? nRR #]T®n |˂&E e,,"(?A% Real_ImplReal_Impl.Real_Unique_Impldocument.tex7zXZִF! ᛛ!]A-MՋhvG"uIBm5*Ot&E&#axh{aR#r.s7Sjz7&hT0+;Q?n{, ZO{ 93oU-5ˠQ\))(aC?dMł9p]E֧֓>M뷇m(l@'顧={#G6)ɺ`G,ܟ/ Qڙ#$䶹np3d"Þ.s[J7#J<ߗ%9Fl҄:D71hBwHAC7qڑ;]UwFv)m<3ꜗ$:gDAa:BH]#&qwi^4k|LffRnńrWGf)ړTD&7s/8:u׳YTjOR* &s;% Real_ImplReal_Impl.Prime_Productdocument.tex7zXZִF! ]A-MՋhvG"uIBm5L' D\L.[Iي,lpHIaM9˗3Ļh$l3n߆OQ ZlJ1:;rjJ+pn' {fmb%HS<ūګ3 VqK׻QDŐ<@WK}HYf5yuLO̖+}M.-I ?'" %5HYYw>WܹBƗH3Vu&x;/ ]y>C^i,FOcU?3OaYz& l>ԋ/Nu?󡟨wN_~;d.ŭ?v~̽R%"]^ J}X6?޺;Ϊ߱@/|8>] pa %47,;?9P KJI3Wj!P=5aK :Kc!@µ&5|/E>(J(?˚q1L˦Oj^  w;>?qB1lb>b3:3]"l&"W /i1<-x7%*CI wJ~TU՞q~-i5"; 7|4Ҡ"守!+VXƜ`N{];*jc{|ymUtgAonLI1mu<7M9_(VmC J"e)p K7We{۽V4( /ϗ2\_ޝ>ݠD #YͶ ?HmZzVLX1Nu3Q6M!xEXS&5 Z 9KU!>uM3PPnzEVrK9mP>~]ǑR"w<}1 T2EI ;gpMr W$$ EA==x-Es\9@WFS+AȞ]/_ٵuw;S0/IP?Mqi;ړCPAy\?ɳfXtn/eփ]Pݷy09bb@/L>&"ZA.LJ8s1Xeq$#A꙲dpw9o Z)mH;ZLo:6sn5w78)|FB<y?&-%8y-(- b}i (Ru,$\29,\ ,aLIpA~JVah{|/NELUcncOJ_w{EUm"$oQՌ||G GB-׹d퓙C~(W=ϥd> 3:(؁Π'JW]c&% o/YX%6eCq+߲ _*x$rmKs1R2__ Œ!2Zo@ p"rvďtA5+]:5+u'M3 Rɐ]q )S]4dnSl׽'?2Q v1Fa2ߗ}4m^9 8"y72tlPeaVF1$u!|0Pc+ӗI&]vdN[,Gydg. W?,"M͢'?ƛ|(mᇗ`)E[Ƈ٪7]-n˝ zV].H**Dn$NDz~f(7#Jf'֭KY$@Yfq=Pf}'FoHQ_춞I[R (eݼ^(N<أ1UUŅb߰v%-(,K/c7#O9($ʩC,LuvwҲx 7ip?>nvJ+tTPQ݅4yF7WSE~\|֮TZ}(Dͱ(.JJR /'ٝ#YFʝJ8E7yg& ,-A  ;9 HaiO5: )ƴAj%evmF5Ӈv:Juj>k)d* 2@҂p(Ր\״ϊh9Vw;Q+PʼsMݧذh4E`*0ۭtMބ֩N; #` * 7ɴ2o 0- ww E" O[:z 6|ª, i"]Z 4]$'I#g6o ե~uYCidB5C^Rȣan2t;൰OZl] {=P tMD$ʄEm5!U "K;沫ȂWGÑsַ?Q"ow8Hło vx8}f=|$`\x# B6h,$r<9313-^՜(gg]A O^H~NqcSIo7#suzh3m )9!na(dx ![ADT1>~Ǯ'O'Gzt Ưq<o%hnnKȪJc)LgPxĒz DxSET=K8ePH2>XS+ԝk{W':mT1>㯾kzrcw^_< 6bZ0 ?-4M}${!e0  }]Ptlc:а)R}>˝kPk! O6uakD;TTK7!Np&@pW^U>Y#(OUuE~$6V@UK?12=+A{1B( @wlI,MY!}nNл*XM,%2W_?7Fb1sӹ{q,˳M.z(8J<>ΎNJy93BZN.6OAn!Q+^MRڬ᫺aA,}Rp \} )WE1Y> Z:@+ jP8'}mu}m_OpT@jΊ/?i!UQ̹)t&*vC< :# g94UlQ=.}r\oC䋒w`AjO}"YҞr ;{nEiPh#ۡwB\3 `-/{} Wc ^- mK4e 1͞tDπ5L?ȇ+~\ nh4l=%o3|78-1|p' ) Ѳ~0 |1>OCrâ":g3#Pc [/'͒6yq˅Ie9 b hGX N9DIq36Cv]L]YHr:ug}%74FUtat3 ܲDA>.afyΚ+vFfJB=.a 9\E@E#5&(lu49ҁO?J\`!wޮzfk8·SJ85Ek6̵OXM5`;Juxlx>e?B_j]r: wErQbb+S~Aa,t8pve~/aIgvɍmPYBF3J"No~ l_Otj6 F=hÚxE׫HM0viH qnR}"xYxCν?I7jH -jMINf(̻ir\ v}-7cYxJq Z]#ӗO_<#~: .oЊ#{S8m '0\ *EM˺Y-nA:qrwLw-D3Gb},! \ 8/;{5Xknf nr)#b!AzqԷ- u|¡4ug省9uqjɓ~@*^3Z; b)٫dxSUW:*TEgIAP(k];`xOl ;䨬?\OS&~>!ǜȈkʊq J=p\\w"6tȈM'UM$=h{0yDi+$DsRlgС/6jP9 L*-]5S\w@i^]#}"#Q[O[AӅg2zfVDšBr-j%ȶ! '7A! :`YQ_f*hZt󁂈WKTXGL3#LmNpk ۔s_Yw;7>!Pb"((?Zs=^ ։uL}3W뎵J Zu,t5|lve|b>t[g4cA's,--n.)LXN4;nZ8?Qsٳߣ#,HF?XgzT= +H,rbP"xZz708Hsv+=D0yku,Vs bs8裎eADE";vU/SUt%{4Ft_}*.I!G)Th ~oZᆾiXޟk=:Cf[!vRNEd\#X$`9>v ZD2CShڎL~td)| ֕fFrCEL&!(>EpIJX-s $S*S|K2vNA0PBU3]gGgH}0g:?u֡FТzKKS=vsL{lЏԎ[gNkiF{ÜnkYta|u6)P*ҏtZ+a߰ONl*&lKQܷKс=6>'rpetɵE;~u,aW75 ua(.т HUfbuKH.ljvHϢFYMRH"F Qr7Eg${Nt$Kr Ѕ Y݊u !0 =̹9\pe't#Wܯphݡ'dƃۊf{AcBqlU~5+CAQJ?\vS )_YC.GBzr!Z |#Q08YPR}Qc%X)w%G\V>*?Y6|"7c(􈿕 7&"Nq)\[N^.ɟ7D O|;P5MZZ^L+.mEvkS]Htг _!ŧWMJvR};ʴkD -rLGl2dlq.ʇAwLՁLqnb!MXhRU%$A{%6) x{'| 1/}l ߞe[+[N97]giqg54a `o o9K & KxFL7%YaM"#%rb>~4vJb#VU|rDnC$BXbH;.J#NMlD}\ $|#{` 奈; G?͞Yoaz;RpJB[ȟq3'$jp-A xS UmyCB::RmSgjB(ѳd`x}t$"QY{26!)_uT p%D.[K):Uv*Z3½dZPwLEfT!xΩ$i5vq`%c>b+fdCj'(cɒNdx3m*JW5$$sXnjX5o&~~jˏ"n[q_+JJ 6ƹjJ6:งZd}+$XQTkM,68N8KX e"3g,t+L< l7+mD @4*r&Q"%1!r_՛P( LQ %con;]cSo7CmN%dc.JPL3/[EF4XXD̋MPK0WdT7g+v]Rdo:Mp~EMYyjn yX{HC!a }ga""vi]J e 9ޤ:3,'¼ǻo%Q)qҰ[ڱI\SP 6Ylk޹io=WABꜭlS?JX&=OK6WGptd(z3>$7N lPs1K<%f ZBh PAjt`~>qksǂj%UtOYz3e~͢ݍ^6xDG^m3ܕ+n:f/o?Ƌ䰶+xR:}u@-ǟ#b9JPxlb2ա6n"_eU-,2sOVZij*7uFop[ko&Op_߆d9Ҕ$C_bi΄+qI>ch-l4b'Љ8ќ[yN,i>|i eb CJf] 0k -\wz놑tOGqź-{#l?{P$^`HkpAT'Bx3{85o 4i?9r[ =v'\GhwHy5?mVăُ YN'=hA%C8 $`ikksf[+!Bu1Ua>WA9I'`[#U.CGMgBc_Q|mK3͒tI!PwD49զftȪ8lŃhM#N%Ϫ|E@_i]&VI 2v]:F'R|O퐖YBiQ [LrRf" Jʶ5pug =lpֵk.C."{0 5ഀ wvŘE%I7p&J"A?bx1_YzhNA)O^0_#̆tJoDhs['EO}Kt!\n6J"ە 1Ӗrw#6&¹= czz( )7fY'J0()9@bu2)`/Mba߿+Sޒox#]쵾Yꊋsa m&'NtI+W[^s ubA0 &ʌ;O &UPpϜ&S^yĸ׽`#cvᜡDҗZe2+riO﫺bUޱ6᚞ |g= BĀ6 M`8mpjn‚Q}Fqg?41`3)g BBz{ )h2oaJUlS`ܜ[1s2,[e!Le|P$ (f2AEJvkyzNPU_?WNRi7az0uĻ9 g?#~!sK;%a$Mi`﮶jQ\+7/I&L(ǽ}5eUGlN.?MH{!d4&8(8Ύ #K O҃wFw@r(D?܆jmeFF]O1mdዌܧ!Ss&3Zk ۈk1P~^ıPA۬urKj$P"%OUcd[~V?u쇿$踇]Kոr&G8 6`M;L[Y6!&zm6p!͜va *D)Jh8RN[g ^&+*~]8q^!# /X@j>nO{iFX鴁 wBs1C,3Sщک&} RA~/ү&^̃Ih:b]=@G7ǻ[ Ԏ8X {f:VDԸ5BI` u_N|ӨᣕYGVDX+˙&7-RlkH49,R~5հ1ЃLA_[X$6ҋnxPxK#]Ө9TQjڲE 2p N00d`i{y_j8qRk?}blKߝZ }D;Lw¯OC߫# M;+ jqc3*Ȉn%tn;!ڌ" 'WsɬVwв?aIqK̪9?ZҼ$!iTX&k3Z(jT+ߢLMj c>+.fƚ b (є k"wѵ0\ES{I{8p+8gXXBjg={mK,S}'Bo~_= @ oY?#E{0"J۹aaԐ"E솥UlΦ#CȟgFƁ(JIh],I\ByҸ%4lg1U bc":1Žf!ʆhX!fۇ]+f[=:K bWfȒw,avl.Kd6=B)CV= ?zs3”a$ElI9$ Ė4a}, 쉛_*{<+1w\\FpN^ ɠdWS. ;:;bvXOvѐƲ{³Dfy}[As-r}uu֎[S\OYkEJmN&H4E&3p5Rn C9H^!m GË?mf-!4~dlevY ˳-E>"cX@~\e"tq(=,^qսeL $c4~O zKq.,fh*(< 7Tkf`^F?1sx!˻w NK< d^Y8jNfIPTL;vd5bRW(q*Z<|љLÌ$|45bvDЃ.LA+N* ~\5w|ǀjY9c獙[zf܁]DX,K ym6M^^5o.D0Q+K]Zc;^l QD JN Aɳ22VKtzHy_&oi:Mnۼ42_Lz esY܈4 U⯠#mtG]q8?z0bkh>7-h%]>d'|Y R;ק0 @0)4R,tAި;eWCP%Ъ]fܲx~gc_^) 7Zub]SV㎣yWYV~%ȏ!bOov%JhHG@Dr^=D_-YA#Q?}T"#Қ(po ge%P8ZH 4g HvP AJ\= 3#_4ck*;)E;ǿ/8hs,Zn@7‹9 6x@OO `rq޴#}RɈkT۳$P/a DCʼMb" oQOϛ ĖDNg%'TZFUm9}"I(>劷+dƆL7ne aqحCIC#(M|cLͿ3&c>lrƋɹ7XVQwY^=Jƒ.݀zK܍+ƍYi ; hxN'DcEF,!Wݗ \xkdaʰ]xÐj9`N@tqKŏ[ߪOm«_  #T\h3ؽ3n̷?2֝z؞USW 2\V}:\ɬ/ "oCz@+&.JG<bW,+21^x-=X?5hej >*L'l&u&st ܓX˅^]K%7LտPI0QIgd:#mxH\zLUmᮆ%V#{a7 :çj0>/G KA8 T{ DnFyVu0D x izL'yv? nț`_Oz'"sngi 76-v3C%iޫyJ8o65tqm:_uk'/ZC;mCKGQ7s$'ך+<&9VݏsigYZ{ ;% Real_ImplDeriving.Derive_Managerdocument.tex7zXZִF! t]A-MՋhvG"uIBm5֕)eGBŕΙPSI"݊\%Z^G5jp=;)'&m+`S+H:Ш{Ѵ{o@Ѕx#&]l`e{j"H[@.xD!ww5:oY5|8Nt"@n ed`vyڡѡQr N(. 6'FGlXbm℣9+h;퇵6Rُz'P`vGb`zs!*t\G$W-咄Y[vقk/=؄&|RiX7T0]&Q4Qv|lxc> ?géY͏ _ycFSSiqsX +.,$(r]j}mW1(ރǫ9aMR>+Y5TOs50`Q}:စ٭Kd&Cd#]!g)U\Q6Ѽht2O&6:o3q?IZq'Aނ"ViY~,n?F&%$\WX\.vU`|h}p{EH`ͦϪcw{$7%^Fgb ݝ$dJi'D„ͲWʲ+ORoq 㫩0i;4B7]p%? EQ;.') xR?BXuZVb#OǒQ!}-^虏UkEct r]Ұ'Ҙ(֪omUg;|gYZ$ =% lReal_ImplHOL-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  o2 9% Real_ImplDeriving.Generator_Auxdocument.tex7zXZִF! =]A-MՋhvG"uIBm52.T(Uիx!^m UR'2 lGQ@94Ce|JOSy֏1:5/b3ܩL*6p_z/k""\tF[UۡL/˕39떈x_9! ,BYȕ}k7J{_o,nVC?`:b(1k;9E HIA)EkϽ3/?*6_<ۗ&o<$)4a,,r.:?=fl9CI{l;:V`G5IҎht޴j`.3dv>j@r|T7j5wI>8MD41w̄&9ꢥ. n*^yCygti7ŘCFvBJ-KSqw&;!!hVw_2nbC#32Re1eTƠMcZ+l^ctj& ̔QZL.Ԃ;n]]mY$*7]*ӻPvU"*v<5385RBR q".3qAA(4A;TsXW4r$we7rX-Fb1W| 5Ebf{I4Wa]|k-VG04ʘ4;p9Ƽ>j7qbln6q܂>E48Xy6mze&׿@wJgX8@D֧ G9pFAh1t Tݚ$NDn{Db1wb-tv*,O3Al!:[O!aYcR ;߫D]WG5'Eꢿ<#ySjpv9yXbEն;I/~;<&;AH!3~WoWL9]&l4W6r)ǦWfDm]" X' gYZ )% TReal_ImplShow.Show_Realdocument.tex7zXZִF! Y!]A-MՋhvG"uIBm5ȣG Ќ}ny/OZ7nO(Ή]Kfolܟ+ea!XZo]`gBbf$\Y ErHU@ ^FsN$m?;t\oD@# _E1zAWҩ`rϚe bq%KĹuDh ,ЏO7.5Sr I.3'";Utׂ\١VK *f 4\V.ZA:rFͽ54(I66^fvxPAWK(fO"VqݓXFa^ʕȡ5H)#)\:, Qy]@_b%J@#3!N8RZҨ, xh9߿O_ BKL?SD%}hTrcB7&vMg^q2_ԕ1T0%M+9dqiȓa|O*ң,NT.0#7x):c{ Bz߼˓=d m#M}`'b ?ȰʿRmǂjߞ݇Ro9OCV/ueC7fz= U!K3h_ԟn)F,K2C:[';AȼZ5| 5gQ|Z6ꨁRP4c>wIzbv쳷Þ{Pٟ0M|ZG'c3'63|9 FNk4MQ,+ŏg<~AT7ܽ)fe-լ1*L&' XoG=Ѝa]K/l;qAkێF.z7qSNDC)1<P4i}BqճvRa[ӓY,Uplk- O6x bUPyKSЁsQ~K~޲FbI.M-cͱFp ~%#o}R,aGZF 9gAW;]D9\LˬX> f aj8jݧ{~l430g揝{C* -{S29¾P\,l9FR={M"4jF rZ-Ĉr"jpd\gV=mUJnF$` mKOcJ<^J]xh0]/2iϡjѩHXLT۩4|/ȑӠ7ᨷuGMoD Geם!By ;+ agbR;J EQ^ëAD/"(xMAaрiˆXnf|47PNQ#O*X'b-%>R= 9BpUD}XA%l(b~_D=b%}MGcG'(u,i[%jf.v%KZۺ:?g kiCI %7:*C"iyW([(X% gw}HiJ]Պl1%7 UxH ط` mdη;u f!0MU}PT/:f©eCl~9d+d R"_m\ Kk}+u3C$?W^^tW=x' ˆb_R@7,| mZVdn,cl}ÜW MKJj+<"ӒҰ1'dH G\y*VA\4`>G. UJP0 1j{YS&()[uznS8#!9(X9bLbDDD{Z)ڂ- Drzϒ^M,Ђ13{cx]x39˸cVS}0}9Md`j 5 'p9fuO-$ HZ^*|amq3>0osưt tnCj #Dž,T.S`nmӋ1&j + E:j񐸝~,k%t rtotYO\bFZH2ߠUczZ?c)-ȁ g%ְu2nTjCsԌ!HtM=ی s ڶ?xI^p^Js*Yױ#؊"aM2K{A(h| 즖A2^L-+wg~OwGqgFm%~v6&+ـ\Y)-fl <[r/`x>m,RtBOV'5$P:JR SbTӞ~ =z!ee2!d5еYvXj#Dqa89]E`Gqx@ tBOg$ӕ0J@s+MjN:'`~VL{?oB J+,+͘U*wzئ'Q9;vhl};ŠhP n196>\j×wF-<%ubͦڝW z>-5kƧ>k?iMnЊ5fGinn ;nX$~!ҩăH"ڐgYZJCv) cN D4k">dc_'rO7z@^З2YlejMP5MH0[HN2inyuD>dnM)EhJ/h0,ATGXx u$䶦Q\QP=pWsEB!$lSQDf6Cn3$8c0$ `&@mK"+,鄚d#=6βk`旵Q!.= ؝PQ˻)G4%pS >:c?kv9X0vW( r^`ؽj%i-=G]x'Ŵ"XĽ=Gk(2-^NA5YbZcN+ زDl_[WaqڰЎ|Ko)~9?{;P=Lx5O@F*,ӌ9H"L 0cpO*d03и{<8 gJH0TBȍMR]f.~^$JN`{7P> 8C~W%ɸ՘q(faJCaBqsi䆂sxIrv ;):Yɬ$.@6*;Dꙙ< TtS*YR'TcM~ ٪"n%NZ|jm>e*kwKݘ )4CkAŜ" `0:\l,9+-]V pb|^L7n+nWOwe&|P#&2ҚgMV>aq"W67}72yF.B ݪܾij @3f޳\'k8FH +h[Ҷ<[Y~FjJَC2N/ccF !'hf򧝫 [%Qe%[.]^S!6 ,P U_OЉ#PP$:U7˩Jxe%槇3c: Pa˕i[ :o5XtƆlE 0AP.pÚLhY@3ilřlN<\[Kk-(O(-胩JMzȒ2:>%ȋ.z>^Id򁦍;_)QheLJRc_ɨ^V*~bM|fJ tUedY h"enTN΢xxt%å&/5EгH \qȠ!۠ы&2~~o][/&.Ĝ.Y8YkPb-i/(v W51}tRFq+U5U5WҭPCa.ɣz|flrjW>u C컆 L#]=|3idjxkQLA<»Xb ۹dcr,E*[C,t;;>˥tԐeq8+D{xxcҁ_l&&,tT< 3bnmd&bI(f0Zt&z2k=O5C2xyG뿱= ST#7/Xu%f42m56sŮ0C1^MX6||.5Z_lͧ $MXᑛU3aF5A<6/jt$Y3wĎPuvd <$-M^q-HjWJ务f `MqXoZ6p8vuoc@ ZtH`s+:A Oe7uؕDŽ.xZdSևڦoe!n I1 ]nЯsv:6ŬUNNPQN*D? ;+0]*r|C$ʹ0myD3-L l%"Ф%~q:hg*%K@U;N4# r @nOp}G kh\UOp㸳X-3 Ľ*ejh`c[̏Tj`gCbۂyvń-}Q.8F@7YUH#1m)JD=(?,SlSWd‹׆N@)c,[hS>s mïo|%n.gYZ547832049c07bf4e8dc3bac318e1f6b9db641b290a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 91b0114bcb25228c49185d4ebad9faecb09e67f6 949ca250bf0cc9a80b15f6003ce808eda918e425