SQLite format 3@ .Z..  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 DlT ]% CakeML:threads=2elapsed=208.417cpu=347.256gc=21.212factor=1.677zXZִF! J ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFxm|&Bc5ݐhf@F ΚR{9(@H~'fN'bcܫRI􍋭|_H=W'2f gV+ȁ&m>ǴW˔/Pvپvf6)*KUwe\6Op%.,keMX*`?Td4IZpvfHnR=܋L SF,ݓNq9m:bL+ѝG̓(Оd,(Opx]^:m}YAS aS@!D#.ny$Qs;$fTևNr d`87Q܅$F̭wjMj"_ܔ: w<6.0o]iEqtW';Uxz4СVq4(;߸ϵ*sHPVG,G*$q5ʨ?|D{|X/I^ly&x/91楗Q > 0B ='ˍyǁO^q~h7ĵHV bjN2*7&mD'nGEb.-32^a˯ipLY;UN%A0|GgUar^*?9k ZQjtt2l@5Kk+^o[ LRs'ybd+#z Sz@e1Zb3Ѻ,+,]=MzN b?n@ cC>3bZ!Fj_8fSȲnxs' 6G_ v@ 4,"FD`+{&UֳEqۯH;$jg ! ,'i<@C AbCnm];~p/8l5*c*K׊ykϾ:ۈA ˸~Z2zfw֓" P^>&{UcvU"])u5]kAu1Xʃ^gŚA5t2G=!MfXZVlḦ]rb^-ȿH=osE8@ Bؗ^ڑjQ{0LXS[PA&b6wUV@wI ph]{N äL-@`iU] -LһO"sO+T쬰E͂ QEGO.}{:""<ڤM}ڄF/Yd@m@#yd6 Մ<#fMQ [_Pgk7N>t?ptX śzK^ *uJsL1G4:<˜ZxP -f]CX   CakeML~W~/% lCakeMLHOL-Library.Floatdocument.tex7zXZִF! n{]A-MՋhvG"uIBm5lk)1ƅ6l6NƛRn$W"鏿m> vFV&]$ ȰB&-Ė[|5:=:2a zV<\ a3!xy8s@=l|dҬv"W#'N5 Rh1 *2[T T妹"!0 ?\#?dGsu$7d6WO\9-dśۜfD5"lԑФ:8)'! wqWBuvh\=7/vb(աZy: %N:v`/# d=GUQq|+T rHsMD,i\M*C81s8~k4(g4\QK0FඏNFQWi,SG ft8 DNPm ΍/BE_&UH>P2 0_e{s_^6 |_4D/3m 64F>#3v+TέIӨ.:.0I9ݱ.ЭlB3@*xƝ a [irX8,aDsJ,VRvXS8J*-wА-v9zon -}Ish/ w[_«O`FqŐ;2aɀ :n؈q)|"Wi讀hhq|1]Z^#64vm5.wQ3=k/ukL+-Ç a?FݙH W xҸB8W2~fq- zڲ9q(|/?+uucᚚq*(!0#,Q熛̂,PU=}[zf4.EUcwjQ*ia]Whe ٸ~ ̭@VK&N=X+ w^$Tw ,Ê{1yGwF7dsn(!cUPqy.1ƜwHh {Dʁdr%yDA+Uڛ3U ǺkHxn(x2zHӴ.5v5X7 R%ӈ?3o;Iɯwd|*&Y B[a0&  "ee/ wQ2Mz;RUjy4V~nNDa@$\]KСɄ֒0~㘮AWhǟ75Q` H!T@{P cT B*mY@DЙ}qz!(u8_܆tu+9QvJ9; ,d@* -/-e kvj _e[x6Gd7]bHOXt IU(㴈#Q"Bp6 F}nF8HJ(_cJAjdYP'`W^hGeeAFp`Q?Ga52)aD<;S{;35_ꀍHo~䚔] u]O,Kz5APhNyA=Jgō]Coo|ic)L; DUՄ~L14e0Z 7O⶗`JUd6קz{q#i%: SKm x[ȱTc uSs:/?%˙Rא#ۙk߉,$vL{vs0=+Zru]+iDJ[E$i^'՛}"U4*{pb \i9ǹ(jϺݿ[R \9SNe)7pD98VG#  A{L#4Phv3u ( (z}[ű9Zl8ִR=Buٔ1xE6Ux\K¹`Jq Ӓ)P[pjxQETk~j`h|o𢓪0"m C'+ι8KP/s6_"M:a#g`,,CCDlATCV/eZm,{܁4VM1tkkʏYc)ɜ˵[^!Iו͇&bHI^00nHrڔ71kM Jlܧ9vH}x @gi`ŒWcxx+ ^@FV)}=e*QC)K#ÓzH42zOJ]wrtvœه36nGu3߫F "ѰO _ px8"[d9;P` ؋jgȚ l0->㸶! 8;#BO1Cm Iv d#єʗ?iEqMUmJ EsS~KP0 1?1@k |-DRQJp@;puQ^BA,G $ߏ\C*n %Tuzk rp h$"SVyU ̟knCI[(G `$X% ALႼ2rjk\]XUHCAng Tr՘9 @>1E#NRJzc״s0b3qhe y&#[rsqOfۭ$R,FњuI\%o,S'p~R?N0uGqV:h*'1@^J({(͍͌T0\!/@-z(5vZ6;2vкU2I7M{d/C"^ L>v"&d#Z) I!6 Q`,b֎Gl ;bj*6%])8-_;mlv"^_EӈwPPhsSf4ø+:x,_/}*גƩl\-~ˑ/N6W"BOpѳ dꂮ2;5 e ew=ycV}[qGd{7N}>2T74ԃG%|km/W DG}$ H~" eUzf'd՛_5 &9Ga;!$qT(HIv[Ɇ8֝*-̧Y~T_?n4xǜ%vF\ ka' <†湆jP d6F.@.OS'ajF^j8iw$B/۩`Vd8TtwOl0I^3>_78G]-RJ:疞gl¬!o >0$ AR!x3@T D<?W$e2 K8ews2skaΜׂ.1gWϳ4* 1q@6}Z`|%x^h ^dc6 7ag#kgA5@˸]ֲ8w'>e ۜrNU. ˣ~T^W~T2oE/D%0gRZʘCzwor: @M- Ʊ2I}E#N=*p%) ۖ:dh /oPGIiQWK_% LRUz>M<6X DW6MWRsF.z "u[o^E"lpn iwO8op5X;Z'y"tQ5h=-r=q'lDqCiOx'hll85 %5@Fj2qQ^ź3>)TCDcðK*):w*Yt逆Dx>~ +b>(ޑK4ab#4x+kFfldkĥ-4o~"ϮiGъ p2uV/c#Rs&Jd4VdktDHV"9\뭷~"0YT(I='<G>Φ~}#mG@FxFXCQD3LNܬI)宋O&KWax=WkJu-eT {*S2I ޲zG'0"x;jS["RY.tpWZ3hL !]N"[0f#3  a}P{`I)/q?amk  ;LXqѾXoW硗mz1\Xp|WKdM&]%V0aKFudƍJd-mGܿX;{cE$"HsW!R2t" Ag;Bt҇v[DGz.ׁI?`uΈpJ$2-91HmvEȩxBRࠤ|#ةDYWث +}';. ;|q|&RvȁюwQPw @Gl. =w1V6zS˝.&* [| ╰2NxsZų(@q P61r;j!֩LCBBftiC*[<}@uaGj#mE?nsC\l(!e"pOz ?>ge3y"ŀ?hN\}aL#*>#K$z'2~"-}텤SȅnSAtk|Dj}Dvynu2#T2@4"t2*uk_1DR~3 Itt}>C3t 5َa]CBb<^dP0 IXwBa 2^ic ogT@T|,2gIDaIƳw~쑃k^~ i*+P϶om#,a2,] \fOR@80ZBIQ![9oՏWb06$ &eK^/Pس~Z)jjj\;rUeta(7b|Kr'9 IUnU}1DӤ[5R@}sUjR@lS"~{:*gԐv&yW@ēo,JKH#$,l,fwb!.1J<瞜9~R%-jlVl(s}\ ~Ҕ7P"7U6̎xTP(!H,4YWD$q?lLJH'J]ƸUKSxaDjZy͚&bn:@rn=Z IO[7>8Xg?9B,Z~~0M -"n[Mrrl}c w5=($eGKEUÿQl"ExQ󃌓Pm``PYwSэ½Nw%?R{M>«r%=+`1$ bձo[f =^!7wDstc'{f:^w [w.sqA56$i!¹. =y:Ӛxn`f'b]OCT[f{(&Пdv 6-R(&Abf91A٘sGlP6Y(~ kQ*dTx@kd9\8..3X^ 't$V/Lι& OcZ5oQ懸%|vInߙ34Bj@6fHtFUyLWNLK%Pq>z\|%_@SU8}40p!_zm c<`".U|&+k%|_2oF^ EcTRK^XUFex#=X[CL#? ~(Q@.Y(^CkIs*O.F^ĬQQZ+5_ycGW[#= %U=ԦPo r3ii #f1KFWѣE;i\-=QJGMWz/cJK-DXqBzuZHכ3ai]; m!]wMjs\ke,h|s3koV+ T ]B9%8 L$oŐYP,${!gtf&F ^s{&ixߒw% yI!" wPemjGJ7 HŃW蹻[ThBx2e?GKN 23Eu/nNQtey5U^KLFr54L)3z<4ғgH:G>L;<,Y}|UZ|0Dy/$<]Ak%:d{-T;%{2|a?#UOD <v 8{XO星Ҥ^ggٞ鯩%{&kR7xYE(\ 1"j Vee}x #I: > Ës I|i U.n\s|KRQz.i0,Al } I|ؕ8@.ch&˻DtUؓ o,h]JG J0ըwlIzkm2`ѝMldk3+'w QuuhʜYE&LV\VJu#bMN 6*C߽["Iy´^Ak;@L?lTS ֲVԢaTkGHڥ[Ƃm$\/ym . cw<"!lm}}s'%gd=!ichCyB:ў<^(SiwB"k0o6 jLMˠFxeRzI ~{ʁp/XJQ , $úC,f;Flk~TbF@'Jl-N2X#s[\%xLߋHXD&k,kejs6 k$^y%/թ.R;|-[웫-cPK7LIMz4MGc:D .'7w(Ffap6Voʥ@"]qޅo.9UF j9~`SeKsDMƞǜJL+vC`+Ƌ[K~rn01ŏ\MwڎjA{2 =p‹+ހ*K5fqη*!m b <2堂z3(~}mxٺ53u1 Nr~XQ:`h)Xl$2{0IIinq)t/f䋓Bz<޻Jrw5kuwHfJ{Ul$C稠.CExLMBAc3a'ce c?$V%2[).("|sSs|lJ>7VϔEvN44B&A008D!5yrP~?CwwN2/?ίh֛=n+PYgn&{&ct3\ {BѨgOա::SfCfq!>hcL뜿>"0ۏƭ?j;a!QM'"O ښ*d" o.tۨCӯAtBq]xquARb[V (HRH`hdPrEpl-MY>B cFĈ46Io{.36\|mC%'r7Hx0Q鏲˚)7F#d A)4DIT<,FRIl&5#uZte ^{z\wUUP &S域lBpb=ɆrfBۘ|Fig*[ яs. dfJuge(T-PEo V2Pb4X?뇴K,@nOO![ifmrպwl)a8syg[0^>]#9|#՛b̮Oj_(棵>R|}eSwN%n4 AʪiZn],]p|R}A }@_ "`N]]̍F I$1& %Ň)N|}fv|Kn7WEʌ0L';Ty(OΌ(^J5~ȕ\zĪƪؔS^JaɴsuӮ'u^$#Y\X; lSU87|H8PJoWh7D{.z"O~mq,bDUR .5dðoF]vǡdc ^ij?ک6 ]g#=-E6g>BN G!uhvժ,ˠulV˗lk u/}_UB8˞Ʌw,1wgtqwlgCHy]R!-C\{oyt%Gbs4o,FʱBD *Mĺl* ѥ% ߽ "pMГE彺ΝxTT=A9TDU{c!Ҙyndwu m }GobZ$jH~bߧ% 2}%c"UF_"T!E>eo 7Y{$nlq 7j DHAU{GA[?FQ{kTg :M ռ[ 1ZPZoӞ̕H3F)0!j.V}>C>!r. z4gH5auK6h+pe@c8YQs7{E]'99ŅX.x`hrp &txPk-:!HP.ϳmLW3Mu_./=X%[tFjA%:HQzǢt]3>5}G,;n@c@ >D2wp鐖u'`jgZQˑq62m\W+d?o# &}~OHη#xNx7E+ř?.[ FߙOPC^ f$AZ댝CzQfX|0[,jvR$kC[:2f_`O+5n߅/V"yq@芊 r;N嬽MQb 1ʻl,wO"Fff%jc )$rg-}[}g>}}%.ԇ/vvʅrg4nkr@K5JaLZA{%lGPۭz('RyY–(z>>XzrS딏ƅ_T !% ("Va5|KeW%-Aھ5TN'2m4kj92RA뫘Wa~!-r#J9g=Vv7{I9 Hs$ k+ VXٷ3p"rgV7`.ϱ~y]|݈rU,$ֹQYU܌?.H:/~G=xƿ-pDt]UB'%k.ŷVA_:̇l"!X) "hr2گkzP4S:KgX&#Pq3׏sMd4&&+Awˣ?(o=cvwSfc>no0OyiwOtwHdWaU3#i"_U#6' u=lȕFraRE8G laPr d?~h8KEٔ-[dSpL0ځFbǴit4Aq(9jyIu<ڟՕ_(Cpbm3𗹷ӸjM5̉$'sqdUx%*c|w?8{iYcYUets{f`KM31ie')?*M嫙ILF4*\>'w|3'nS͟Q ^-9ukHx p_rަgHp.hQFx+J#y2%l(p,V$I6rJhT~!Az4 _].?ͼ8J"5lcV`U >Kg'weJ U97:jK^gu: FxEg-*%wJRgˆHK9ByVV=¥4 7W-n<wqOr.@kj]x*@ l|ɾwCvޙrIKsgoaSlZG4Z6 Py K=)պ5o([Arp\U 25*NAu֒ %`@L&$ }݄fd5uBQ'fp9X4kY ~!^tloo3U=a<6VUb~V֢5;WhxhMq)9VqY{YG)M%AٻOTjh]Q~g"HHsg^TNu]} E$g08mG7o m)) `b~Kl'"Ϫ&p zvN@mblkf} \jb+ߍ[lX4Pe#^\s璳@,5zߥ\N?\4pA# # MNy..q00s`Oj!p8|3Kyg#%h`.,k2A?^7dPD茚"\f% cv  "J褖3e4m%=PPd@\u+* m]ý0$O\}"5M5k>SOkPG!̜ERi+)d?ߋ>\45|ݽ[/F:_XhcƤ)X ]L{H;Ug\.b@"arzO}E\k*=Nls`I1Eû81 c*O~*wۆU $}tt!xJ,l*ɿ|x-mLF߮;vb9:=%聯qF:[L*z/w?Ȕ)4ܻFK*Nt4[uIXCȍLUJ7Ɓ}pYvWHs0aa_ v|K@-GZzGP k[5ZWpGg~mr"ik)s%]1 O-WZH4o||NFHC~ESϷs^a]bش1Z!&m`a1v$/"1ʅ ¬X=\ n;Y:3y0&154z+cIp,"agό E4=dUC~,APk{-e^ԍ0Bg{QA8IqS|!?*?->)=@N[6{tCwH< i9}]6bCɡV@ UF*W{k{2 fB+7M\O"C`AGOZӚKd"Q p=uzrg ]`.)ZzqkB^pC7q>tёm t2mnGv0k/0lݳ/VsIOom/tM!pJ^Zr&, ;I÷*,^} S )+:BUpR6v^ej"\۠hO >eӏ\OH G{+ȚL6(l+M# Gd8B18?;JkiQw2836t[s>r_2#'apOFZ߫㱟Dh'np"a&a!k6C&7?\T':x. zAaKPַ,( -w|l!oiCTtyK!1QKZ@DFEsau 6OcTtkl̢r-P<ċ1dycafSb Byl"'Jf`[#]w(s7}mƙ]? iҮ9NGY M X^V%.3F|=]m12ú# $4I}\Pm ૆u%oˊ4P#b<[E.׮Etdܿ$5*Iyuia|_V jOzQ Jzϥ֫M%`7ՙ*,mvܰ%!`Mz)o.uUau:E@0N^5Bv|3}vEm;7#}sa/IiړR'2k D~V@-y,.u055HNo;ds32f,4t$x B.8P}1Ѻ4[HyPlֹTҕg'鯍L UMKS "Bah Aҍ1|Bx5J̈́f$i}{&X-"pr2mu|YIP\L EV~wXO~u-qg꫓ev'c1,C?f9L/0g]%bB4::/Oc zB#υ?5(ɬ^ iْL>  /_FĖ}^cDmk?iD 3OsT-6XG[M. 1$A0䙂̙ܴ-b/-ןa6\nHPDd |55^s?,eAZqxrоPG tF'P9_# q-hgfBecCHָHuz/0fxr5Ai^F*0Vۨ>a+И#{HC@"U%Q*UCy4n#-I5q.=`aerXOAp@@bAӞlOQeqZ졌+ǺfTIZTAA.7}_a!{_?C HRK 5z#7~/o uH6yL"ه$hq^(K;;t2If" #d\mio5$; kE@]Q>7v:br'ˢvD=z^ҨYO7(dl_!-? ȆZ ngpKCÕVcCLXk}GBե×5|xoKo ͱg˂Y%M7DAO%-l'tԭrŸaɾd*YٔQ,B$7u})!͉us_v*SoR/sCК#)LE:뤣MҩRPR<#d{vW|Z9fs {;lQʼn0YΨ~c,3 TBsOhl.Be܂[D⽱H!`cdt뷵ٜ3 ;dʘδYTYc˵,>O!Gu>~Lfn_:L0 }^e`У{h͸Of""E0 i%FDz:_ҜQTA5fƉXY217aUüd fork軑$!)l-S^l·W=L'=dS$IRƇ/ƢRwyߣid=i#onLXFU!Zf qSvD Vk,bALG3; pHL(mD~=.PC@6+^z|tWœOc׀0$6׍uQY.`8<5S}4)f7V5IbK̬Kr5Q/5u@D+ r/YY4:cHl9ϴ,:qn 2ck:Fe-~[kRفZ#q(30}ߨ Mr],y l2Fk%m ZR !ۅ2#ÎoU[%Lr%繘.zyr.NEhb::DGd~oPì[ C}x A3" ?r[3(SO%3hDn0JRfWG풓IӠ-c_oEJ>YHT~r1mNY/+?i4".3!SRQӘXYrmVeysEP=҆]ӑSDGOxF/i)WQJZmń.45BUyAӍ>ls ߜ<7M'.j9Lh0ay*j*7c$bh⬔·vPݵj%DdqԽMUlӍ'DUVK-O8\%nZ(ľ+j`G%r`vd2sf{C :Kk‘j`$l%uD3Z0CuzIq?]̓t >}bS}Öf-v\ |2EF kc}X.^qT.cGw~Fô|ڞ~+>c-Dƾ5TRs%l[vi̾*Xkˁ!0o"i1c?7v=F~vOIYWvLf*ժ'thY`0=$9yhLڣmj2:^-PPD8X0n riZZrg^׽:|S_ ] a30zggA XѝPQNj >5xSX',]_Ow^>KP6l#`͑YJ"-E֍hQ3qBY64JRٍ% $ 5U}|PNb~[b{f k&.'(N&.D J( A]Έ} 80<LtZ:B]hU?;)o28zd@B 8څ#aT^7ȞQf f)]jme吴"-R* tNX<-*0M UL] EjN;toF1i E[,8Pv%E5i* k #at9&&$qqvb[alH:j$EJ͹Mûm8@wB7ިǧ|ktp16L Q8bl:4Ui( K#"1,fkszK {b\y kC .y>E7ܙ݌h [1˴&BCA{gT1bW;ۋTڂ 8a+A_HZOAk/囊2*&cO"xp6%Mۅa.,qķmg'=Gee;3j$l'qf Ə|Y L~Ult|-H,ɭ6 ٰr`[HV2A}_${jm2>E qӧoi&(Rx?I3XAqZs)De[AB7':hהGM<עJε>>a+mAN˓F&N9۝GaH/Xe9fjLѳ#m)We6VA}Θ U킎@j;M9xh20xX~JoB%޲ALt?Wh`xйcN$*b=dlXelʧD9gL.mf ]AVTBcA+Cԟ4g$-P(色pI\| ;aeIV#*[jl-uq ںQ+n|rfsd7 />- (eaBё/`f'$ZuK _*Kx,DJ2$GP[[sHE[ZgWe* "6~[6ܠw>Om%ɬR_p"ێ-a ݷ Ӑ9^<ҟ@wҒa)Z+HTݡs+m&h=]V$&xng8e|(qڃOD .w&ە ByEh}~t62OJ65!.kKQy_#Q\PY<\L+¯bxNT(.<32\ /v$!5X9Jg`dȑT$ ?sܺ(=& H1Ql|o6an f|͒ˢsΨ~jOʟœmw+qƪi|f0kg3}JgUrݾ́:H1vECh[F}01x+Lp`qD,R-v97HgSԋlНGywٷ/JJҐl0qyC)LmcdsJj!/=iVu~)Eˆ!h-'xc"X,w2aj,aI,c0ӥW, (N]b%gGƱ$*d N6꒩y+݁6gǸDQ&Yc4g=֫ETc|Nv'"'U[:3ߑ@L6e^4j0"c?9Nw\h9lטO6b((H߾1| \SԚ.~7ghlb)9G} r jH8) ~K),]oUefH/),( Sf鐓'>莅\;8xOH(cCHěGB.;9 -xRcQ&s҅b8Eqk94Suk9"M>$wcXRy S 58]Is7rɂ3\NhwA x|zݰQ6>Ye/_M2Q4L/̙j&tܬݜҘHixMre2ט@^߼3$1j$$3NЁf>-*w0H_ڵY/5}:9/cNgOcc^{{.&5K#Vt4S^"?`@JkFtnZhgF=rC ,^5B'BkLc*{&Z/v[x];/{ BpT=W[̡|Z }yJU51`&7 I[yStFmDB'>8~eٙTQDg"5qb0/ jQ@;"y#&.(E]$ U>Ine/D{kS#ct54x'؋:y@OfnP⾣NjM㦾6j FP!ӈƪLc ,fYSKZE6&:wU/.]m&,a@[Gf`wBԬ~(/p`luތ`/=aMdj<].!jDo(3qMhlD9'o\$Jq`~o8ԑ&N'cA؀ ;|\-kRp,ai__LPKP;;-3aTXn1x/0gy_ 8P^VE*гsYhֶ| aRJ >` ~B_jH%GO?Y_ܲzL",,#Õr:Jޏ)Y 7B*vt&k+C? ެF W#^-WF/L'Xl!H;kywl Hg| [iiJΠ jwhMݷez۱Ti)pO=Edz.7XV/1kC|P rږV4z귷]qF.WrI>CwȓE-QDA)lS ,C@OU=_A*ǵ'tRG+OGY- F"Rjݤw͠Z ~ت|ROJ!oŰfh4Rrtj4qLľyEGvl{,T"-`nEFV z\_O8QLP_@_,hCb RULW[ɯx_\OygwZjldt(2n~}K2,ՐOkw. WV/#t>ûacj$1h =OTeF6򟗘+Ħ %F͖FЇ;#h9* +Gai pqT2! #J.MΩhc` =w{tG霪=},=3yD݋:=M V^k A F9S װ \cCͬFwʠX&])P=r 4q\4zIo>aT"Z u}"  ^A/y2TU]SRٍ; 7-)\7NÏ4mZ~d᥀VJ5wj WlO&ԩW1ܤ}_0z.XR\Re~8>G%[57ecz*>lKH!4\ LmmH8ר~6,xl_Æ vw٪X0yxa3U3ciVZpJ^M>ؼ|և޷Am騠$|COF\-|zxf镀C2x$8n!/)x}+9@YMC2!֫M?yzwd t,"|e;"J/ڭѫOQН;77qD .]gJ_XFISQ_NG%[bzcpo( K=ۮ8[>b~6X1vd(V 6b?,$6˺G#}~x@1A'|b #SwɆ??-&q{f"iN5{W[rб7ݬ#:ޙ+[zҦVC$hi|D29aǜpV})] =Ԕ~ h 4UݕsE+Һԙ<"Qa`1Iv_+)KuOc#SWhX59ᔹ\V1xU`{ѕdk䁃:w,A:>_{#U@=?us) >E&5x+RT_օЄ߼4׬S \2!/"[rhlÉzѴ+^xhn v 1(Tm,3C -BE$ud%. 6Gu>{0"e ;u/Y3nMaB:+)1K'wePrgߢUqZDgha{ьˮOJ#Ѝ&z`)%5lO^(h~|Cnh'fjRۘ(1ᬚk LF4;\b1 cI.b9Fkl)G1z{3୍B((cY xPF=H(lz;[inOU @w aDkhN<+^~~ǰ&OD!fDS:;$B1w|Zmb.rTPlo k3Qf>toǞEkLئT֕ݸ.A:wqմ?Si} q*ɧ<ӚaE-fn~Tmjw KN@:)|ea3EÃc_wTB_TEHAF$ԒxR%ige9XC~v`x^_3Fic'WsmwI.; ! 1}`xOs q[o(H!R=mAJgTՂ|]t,NxY>V;[5 ,hvpXh9dEXk9\%BM`QS0{|yok }8qE.S yP$<Ҿm95" =wB_pe~G`mvgOYNUOѻj\@gv%3dmv?E|x>Y|vpܞb6c!p2yxK&8U-QTKͭ\e2(L'ے+aȴ(q7H?j̥I]T .z|b3\+@(bdzp*Kh3hM޽4* <&']ח}:+ڛyՒyMsHs&]V`#K\X|!TN$HyBAKuB_pmxs PNo< g]2|(z>"Agea xJō:9z<СbG%ATsmI{I˯`Y/d i9g>q f |;2﷏QY''@qpmGLhnh њv"{oEjzQ2*ey0+-t,Y|m|օ>ɦ'z،`Z*G(\ZF\RʞPeɑ`>1bĴQ`pM!3WMgϢkqKь .<,Ko!LaP6c񂁌p1r[RȮNnT fL)#{bfBAL dyJ!!?ϲIf6A|sۏo_GQ:y9T9}3f4ȸkw.(aJ 1ʦ=W0YZuO ;w3}K9psa* vH{F/=ۋ{^c4IMCGsbi, YO \3.֕t8LjY |& 8 + <li`GT!*N9jܽƓ /6HHutԲm2^=E~U:Xmg|n^1"C@MAG9 d FZB,k\ 0>PVb#[#=$xT(vTɧ*P\س5qiB.%݃Xl"?-3<0m}DRBiJ]w4%mdd,"Yxy3J~=xy%$r8_jTz&)/XoSlA9AP$17Ӈq}BIzSM1٫DrU)c~nTM}t(ڥۊuz[ 1]Rv6."JRRskS`5&XnL& eU|}{ADoԻ) BDMD0 ~8%!ڹMj3a ^5< 'mWFKP0rpnKo[k(Ƙ7-AJ׮]T>*2[E|VuT@ j#X;V泔"A|Uufe]Y s2:8Pk>gZ3fP9u^84OahC_?},{ڮyܒ˓_ ܇)VE 48UӒ{ފ.G1юc[g3Âp<D3RjKJ!; 'r 1"Ω S`_(FZe8 S%9wV8>9; eG\Ɩ2Oq}粒|,YttDh DB[|MRHJ8OzIa?wf"0 ;r~ BⶺiGӇ= Hr߭lH0v6yYѧ7q-.SD>šqϜW+O{%א<ΕO[\f~R^>X6=;FUӖHۯ%|X=hQͬ}+"RwiK 6+326 4@Z@> T;]ED2:R v!R˅[2 !2 ?3q=D~&ITd=6VK9|] ~'cVurhBmRvz_[oZH)`i̼0 ΨA!mQCv$jE$:π$.I'A{]CX2FObN}ʎ|ueA˙$.Rzd2M72VcuAUA g~}yae|I)r^b] <մc_ZnĔ[h*dD.O 6SeF+i<[ SgT]Š[}uk{d%hZ8*P%;'Weo WWl{u$jJ:xݢ,A/.1?ΩscIbBtSX.u /b! ,cm5[ۼ R k|Rurڀͮ#D{yk|JS!E~|<\nܶYΕNs$lѵҦȱ !,`*9qzH'ț;w=V%Tn (f< j'S1/plUiC۹% `*l{?ܚV]X ,<\2uej5sөQ|my$YK;](Y2+ [ԞdՍ">$ :Gmy4slҾOPԉ=&͋[T /dV݁ i.kpށmW֩Ba!_^0U#ungv 5Xp:żzv#RNP+T2k]s"Wk~ER ,t;L}ȋ-S`" JZHI d=ڸ/~1ڡyދTBN!!a Kut hd6 .揮7b L, a"cY?ac*<ۉ/^JN|՚hK6e1% 50 d;l٦E1TWM..8O) V=1;'s ծ% ˄uej= N51jl"HQj.edDu0ᗃ>l%auEfm|QҐJx!b/)D\єfXn. m0ɦ:[gM(:g]$Iwa F[teA~fP剙s?%Fϣd e¦&A|*8.~x5JgYC:^@C"xv,S(#++knDlwÛO7G|THgM;a\̸9JYʒvjSw7ETxFga@gWu;ehʕ .D^f5yI߂wVID Bun3-ץ e8_S$}gB!]ДYx. xs?|b[6?^HHNT?dD 4uW,:Gt>-nK 36d3XqP֘WU&QnEو=xmK)զO\()>Vr]./m(H_qsr\n:CiJzDLQώaU@ N jmapzB[I^:AMS֦i:d5̬4u7٬=M_Nq?7JF/)P+#(^sy.['H?zm-"xl nj0ki.*jyElt%WI_w:7 襃}"oiCmۭp*N%9i(Ԗ_x׍LJGF1AG[P 6g*vҵbn40I!1,)4.5.IZ$C=V{"+Ұ6 RJ@oݗn`=D- '%鎍r˪_к}y @ݥ𞾐9ˌh~uO  ,!=D1qUvlC2z8^5dQ(b'*._گm&s:\ݛIy\|N6_dW+Ig7Hqؠ@*>{'?"%:&g>JO[ v8zaC/hiN#v5Sd ֨-JK1pkGT\P4ɥ~O\h ?@M\ui\E`dX(7Kƙ柇A(nsI됋Ta9ft^EOAd9[c(Hyg^JJfHXA̴G\UXϘZ͍$AOߴxl~JG3EJo&,Cִy6ӗLx~wAqNdz&gRb|+>cN(m=">Z~OI(ISPW 5ɀźC- ^[&ՒS`8fZ&pӇf kNǠ{) ˕2Na!dBoJ#JĪG%Mس_:<Ș\8m,~PT><F$|ѿښ:m:TqU܃Ql@1uu WiM6X:3*G.NG<Ƞ8OS8nrrdO'vuq]cmh,Qo Mwfo~-Fud7|v#M6hu22?먆u!o E@$-Y=S qe Dꋣ2՛ BէH)qmGfC6Qk鑧{yz㶘]}iW~Dȫ\'R4k6̇GYc2M#-&`b"" WR`ߒ޾%{:RM~ i/^i1Ңk0C I"P4uݟ.qhvK^Td[vG5_QY31fr\N.πb%\/SعO##ڽ */+a; 5qN:0W\ފJhL?'-pANX5S̠%XwH~kͽ'nb +SK)&YiZi|jN3*1)=46Mިi>ڵ́Q;ԩ)i /ory%. !s.uH,7f(V-ݳ5su7cl{'`ʬ^1?ٗg\2 ##<?%Μ2pDcL׬L*R߻=FOe:|0Ҭ'ul^3ifOPp"fH \E#UP|N&vE/n=JV o+d4ßxQIf Zn>1U=o@ӹK,ѕmU2 G2N3nuYU3+cģ`ôF~D.w[Ŀ7~&R=`h;"JFI,maPsАUfsgfSn~٥-~會ю6;5̖z,/O6ծ!C@(筨Z}yd9T3`Omj v~OJ{Jb&%J2Fajh?Eac]o&Xr;P)l)1 On8}7Ȟ_:[}~yD ]2.ajOg$> t P=8I G~ JuecbrAۈNճBd`P/m<~T0tP XܑKIY=q8w8AL<3M3.~FjhUXW- 5fu-3[( Z$@:/H+`#gE V5+s`-{ 3d@ d8$"4ǡ=g۵Պ!&r;7Qmv{fB^RJ H52vI]u5Sn@&3A7A+^c%ɕsQeä:3&Ol%0՛=RMAO=/ք. Y-Q=תߴ 4fR#juFEtW8G~鷸5̫҃hZѻXR2t_ј}VUA._w0z#,jcƒi"e8:X8 b]l%0&O*f_'SOVl%:М*b1Lɓr_ܪ0萢 <#|AקzZuۻ *I--!n+ލJu3%j*Cp$o|g^ě&O B> Od+V 3Hb1 FhtzdPnPr[TbK^4oGi l^XgN[ە.$Rkt6je.;+q_d耈G[;Dt5\|adpFP0SWq#Zam0 BBa yf'NCP2gW_p@u{{0$/uɨlL@Y1Hg;c΢_sBCt߹MHT mrtc&6q(CgS1#'M d#~XAGP;#75d\ Mr\L9{R63,*@OrI+6ȭz[7Tv)9?]!zZ-^c,}E ,\ ,)W!RUej6ƊuYeu7ي^jaY5Ta4q~b&0+^_%Y>V^_Spm:*7b'x #["l9od7%]L<,ȗ,Nr`+֐[ǭ<VIY%2p#?G/F0"GQR PbWU-S6;f0W ӑy&%*8_OK:tkjQ0h)!ŭ+ag`_p/Λs /qu6w:)3@YnaLND?d%MM *Bg0Žq$$n 8c2LKYy>g3GnT."eLBwX^|4 Ąj0M0A E蒓dj-9p`He-~vBt>4Y͞mh~1`l,<-!XPkԡwkƄ˃Fɲ:9jmxb] d)ƖZ!ZL !ܪ`@sIlR T9M[$+PW1A~!t%jl#&{_@$I/M&폈 P=7능lx)9!^@Xh FGˀ <γȆj^ +-u[ ±=hjٮuJ i\ozK3D%p G 8ƌ^)Q+swhv#۴ HiX7"z4r3@M\1X1 @_~)2pYPA` w?y{ٓ"ZJ4 Qh B=AZ^,H5BMxFLꨣ8 [m&P7G!*e%3e^@ ̺,T2K}=@>M{Kr-g){ 9yX!VD͂=X k`$~'gԩ~!{\M?,1ZG{:jj$#C]m0莍cMY֩D8d)Qk~7&Oǵv sHN!_ZXt.M"CnQ%R>1p5(=|= 9kNYLi,k,'@NAw@v7s˜Ss/7.)?ƙH˕& lZrWWY(t"\^w#p_egJ u=gG/^0(f tz!N}}٢lת RԎj娻|V-Z&9$OoOXAn _aUoϲ(Y'1~aR_?V0Mۤ߶ns ѵ *)ORuh+ eq Fo{ʗ) hB6Ԩ֖X]aюT@L֝?:$I0Bk2I6+wwr^Ϳ7@ S\M]CpGwzZP_TpՔb?2Bŧ >yuգw!is1k$a&J#rr97d%1 L!l|,rlΠ*u (W<&\ߎj8JWCuE<2jk 'oPNcɑYrm28ˍ}~| K,NIVVi St5m/M*|ľ2 z) U[zL] ;?uiQ L}e}u#vg SXe{6eJȷ7 rpqϞۅ4CЮ#fJ/˷gc$ۏC_6o$$M-N\本 Goh@+-oFqKc9O =gy $s]'@yT5å?pc.Wي~Ԇ/ uQG7=oKLE{#N"\7$S(ClS Fj1©=%t;őg#'RbJZ[3z&|]l*8JĀ”oR(RtnKM]{l lwrǹ@XNڣ> m0=XRVs)$$hv<24:}Ni[nXa9N;rHuvO-$Zk|/-og/еՔ*Qp3x@4ǚɈpG (NZ,2wo iuIn6y%UsL"۲d乬-"ځ*jם0]鑫L+Kq4d`5dz)ɥ& d H%3fQpzO DedsJ>0DR,$YR{AR ҫ };1XxuaX #"q]:滍c Xn/<>d`p)tq٭nPmwz5R3nauAk~f!lsڐ wLX(D@Bz]]-p=WP9OrY:KS!I(6[]2LK5efW39KUtޤPS9+,SϹxY6={q cŸXm 'Ab'?e#!8Kg>Y^-jqع7ڳ^+r9ۊE]ɘB$7-s#?x?寵FpEl6u\Qe7Zqv=h+e7r_\pe~g0 KhzYhg|fNx5+49P,INtOD7Q+Eb(Qy8۞KcQ)tеyGjȉB `NJp,f/> O;j !ʂB@&xu! 4M5;#eN6F"qGv\FOH`:1LJvwUiٻhs"ʊZßxlAVC m= emT'C]ȏ&JL6(*boyN*hqMPN8凐}a+:# 콻ӰcȥbA͗5VIM*5UCQ-Xƍbɔ@,r`S>k'n˝#sfF[7BlE$nQW\>+IJW q,oA. cIW^PL>-BzIirI5-ѷYĤ Kz6x߿]U)h)rJ$aꎘt՗d3s_Q$r5,(%7ٶC;ꁢ]ޤUl-5Ҕ9FəN(*u rY}76 jqd |'ZUýDl 7OF@sL{ðB <FafD 燶 e~A&AE_`$7.ot"#h"3v,G823:i6K@UHIq8@Z.Ak2po8"RR`͙?x7H#߫Oxr7j WCY:n粩5 [rr\ Հ(ODŁ5>?#%(n5c3<j'yMګC*΁d]CºR.@֠!Q9">9,fXj~u"*&1䘌Rw'.6~:d|8xE03]V`<䜾l8AۭT⭷  עQZ ;aqEh14qI>EHYTƟMF'. U\+8?w')tӀApn6n3+t8iN_۳76VFUz4]Z֘IfW5S%%bXn J:iMq~)5U`;,ҧS/PSx3!h(.[#WW4h[YZf@!=Vs%g ekD[DTvLqx4 k ~UQ  0txľ+9ڋf CV?(;"<Ƙ$yͶb+p@k[x(mTJHs̠$uȝDޡPww[#H >"NZ ?^=̈;:c #jfh좖Ȧn"SȊo*qUt:㹕{B W)-|NID{\Fry6U@N7ܛ Ã,/V  ] O>L$#\z]& r9^D} )[\j_W|=j0:lI*{zWotOA Xa%12swԱfgRVxXp]M@c1)u|"L C*:<{v=|t:T/Zεӣ`GG^^[XZ(p 1ͩ'GȲfλ֣x] {=͎\g8fq y$ĉpsX''6o*%v#b\"'Д5|N-H۩ c<i29Uů>]?٨Av2Ʋ<"I;,m%_2Y7ulhc $˜ī(*h5ިM gCB$myW7GagƩ熇5?f'.$FփCc͇&?CsS('J|ZgLzS_ 7i~IapQhskAt;7eRxgN,G3 OL`\Ns?+*h8c`I$rGVH(q~O/¼` RW<XE@=61upKWHKU}2x(>i`|9)PN#4FJ5Z. 1\kYyX҂ N̍zВY‘XyobK.}fVjyB'̯n:'~cx}/_(qHq VS:ٮs;;tæ+pܐ+>ЖP~QIƩ=P_[<8T%(A-A^-.=^t|tڀ5~wJC 7&#a-A@!=k(,,`_ҫB#ZXy(Kj$g64\:HP͸@HDDėJcG\),mJR-UU{5VqBX}@H#Fڽn X%dJ,hU"=Q}+H MWgSf%?.mA#vxaYT7k>}cI[Ƃз}x=|4TI5~T/W/:K"=b|'v*Xʢ9ji(+f(5[0i&7zoFѸX DR~[21v R%bxRY_zV~MmCzO0. *n$%ç!tQ 9H]a1P is\uprѺ2Vzޒ-LS >ex&.l Eg}ʄuEN xQC8-)I/H~Fn3:ɍF1ZyGVICoKSFqys4l奉䶨>؍M㞒|9yGbԛłװ*d ̩Gƞ3Ӫ9%@ꮴ| HMztZT|EG0۴M{ZcN}Rsobul H!S`{" $҂Cn \e` l7yScI!* yէ,gũmD ETQ$2Aceeёb'\fĦꢄ=4/9ܞ,,P]*-t&f#0cĩ9I &|Ұ)Z9YxQϏ_&IMZvA _z+QN:?]9&]}Sg `z8HRLA?3 :[h3ťtR+(rK#)NR jnt!$?3M>&F)Ƕ\arY;"%2Д T^WHhw@p4&UC"Q/aJt_^ Hue~A\#47H#  m8XIu>R?G$}Tb8ޕ}8.P`H;Onjltҽh׷OJ/4VsVha݉?hQkR(pY~,*UQ4G!Ov* bAe Lqi6owf5<$lJSٻNZWG,HHv8ʈ 4|:jdyjVeg)wZ'FF1{, } GfRU 3gZ6"0S8_C&MNiL}g"%KtZϫ-R08Ro5)kUIh#M|#d*JwWCdu35YP:pEvU;2͑oA) #i9MC (EJU/TMÞ+@Kb9Epc"˶} d1=XU5;M*.z/ :ʑM 01C˗R~-*!uP#HdͼUal\#Fhe<=[C_ńk`{VJuoǶZ׎a /2D\/uhf|S 4f],=CYC&\7i_'0~eX]E]־&߀~jQ.T>`t)rJY}qa 0iݩTKIaql\goF똖mP*ㅵTA~ݨs+3ږ.nD;]b2TѦ!1֛ߧS|ӬQAI3ʔz±N[h(OIc # 3-Ʋf/-Z vT%>δ\5by̰?OMŧ\!vLʯ>o\rakevU01m}wJ`8[pa zfx䘪On2K00w)P4GH L CřVTb0Iڊ0 by IVY=z,ݻGGKv(^ӡ3݆JJ[q2v=oԛh0]9oCEyc%qYQ%GolUQ.u k}6nb- UJѽRT9 ӍPK&UHcϓC \f~*~X]I]*e=5̆OCeTUjiFUŬ/5cfA ܦ8_ptu>*c 0OuJ_KAD j s SA*Vbκk(n%0ፔ;^/Ɵ&FXkќKx P7,ulg;d{^e5~]S?fK@+~y5?u'x:]BHޡiL2D49ݔrfajcIGSCSЁo"XT̔[u[;umL"ef2}?p }1HGfӅnqpIvBIVܢ(n;qC]`~/Y4ҕbּ[ĶM1aw$dظcPFK $y%)?Mt">Sar;iWTn~vdtGpY݅Bv NvsBY"O* V{KzpX|RK9&%?E~' q62@H0 ЍU=V5o?lW~ֽ{oYpQtW1/F~Z[$Xˌj5ˢwҧ<(ƄXDuI kos 歳R31K> eU뼷V4vY7rTaysઢ[>sT6B\Hrgsh2}Tn*o4> 0AA)3;%lh2X:9%O2KpSJJ 9/T> IR7%Isjq!%\Se Y%]i?N|mVOE7IۻKY{y<njԱ+]&8*_31K -bW0ɋ@, >PQ.2w_f"4DAHIm};bo~Zpշ6˕nk]$YmJxi*!BKuXSbwS&@`$n|>;ţvc)B=":qѰ1X$Cr_s)Fn%Uv\(K; cgDy}72Q)5R$h_`Ok 'b9AMŐyL&,W䔧:vDr脒kXuQ%/<@~+Mb6& ܳ%7eD#l~'I-<ቲ!6`C~i$/;ׁ_QY'KWHeohVm|zN@{ / EC@oV_8tP.k8B)߃0<[rŸV7- a6>z80Y72yb=KpnduٞRr`'>bz]6"k 59 =ۙP/ٍߖ$N)jZ(UZK lj?syDcd#tTOfc ecE{d<+VD1 EŻw\FxfeGK1W ^u_45 g{4h?$XBH`j+-!]CzfϣΝ!i /qɉ̓UA:yH'a#op&}x´N3&$&6N:s90c:UQ;,lwYII/xd_;~}_Ejv; ;8 m=ZnxnD!ת OHmjo82,?%)W92oǵrO5rW㼩|釦RB8|8x/?}.\W~y؁|,'OEmQ ]iR!t9Uzxa7(Tu'=&'_`zvuvE,SZVf Y rm=.teD8jz27VIe`'W(XI$~iG&>r ; XtPA;i:q+}Fi E@p|OWr^@ 5#qwk9)`IőѽӪ?+ g P,Urju䊖qt. NN }GXw'(ɩ"<i+w~)qRHJl4Np0D;y&V|ro\!y% 729MX?4\ 9zeTӴMǓW2׽a0,w,y?GJϧXPmcWXW.G“pL|r'V`n: $ֳ'k6[׶:k7lLH}kOLi޴6o87ի`}zE9@_}}@o'a3f>xLC!mڕ$[lZZiNIkf ҿ`ݞ, LcԊ琺 \oy&jVdU$%8L\YK= U o{SDR1d3l7wkGҩB[Ĭ`QOꫤl5vj ~FeA:t/:ߤwMb,mGƲ)Cݸ@Ѐz&Z` K 3" "7Ӗ[~o&孢 .2zi~ c5d; =7R/;BBR함_.R-5FE }||Ά)73QNR ZKP>I)d܍a ]=@c`8C G =I*0 e67pP }dEĺ)/E@`G)| Œ׿mikШ_3p(f>{?hmTPV ں<3N+)#n;|Zޱ80S9ڍ:zx󒐼Pꥄp&;FaiڰGw9r50N>lQ0Wp5)tpE~4s)g( ([%W][ {o4RIX?ņ va|Vޙ=2&x+ 7Z`;8y2(?Aש \㴜Ս}XFXNi Uc㻽\>g[~,&iT>kKl; ·N.eU0W봦ubP.NLׁUoǪk׈6RaAN<8 UhSYxu}#:()c _ZXF}u"ozM%}@Ao"9W_qndRwTG7 xz~a[@m̷@WU`4&aw<-- 4zoJsyudyi^;?DƂ teM1o~XW`dS\^և~G&gT6$A\pVtioпu{TҞ#;I/y2ZSwOMivG3hC !A5Ջ:@oWR_ Դ3" 39'GoA:Q3y@vpgMؿ Er 1θC0 m< Í`بW>L :T(ҴgYZ /% lCakeMLHOL-Library.Floatdocument.tex7zXZִF! n{]A-MՋhvG"uIBm5lk)1ƅ6l6NƛRn$W"鏿m> vFV&]$ ȰB&-Ė[|5:=:2a zV<\ a3!xy8s@=l|dҬv"W#'N5 Rh1 *2[T T妹"!0 ?\#?dGsu$7d6WO\9-dśۜfD5"lԑФ:8)'! wqWBuvh\=7/vb(աZy: %N:v`/# d=GUQq|+T rHsMD,i\M*C81s8~k4(g4\QK0FඏNFQWi,SG ft8 DNPm ΍/BE_&UH>P2 0_e{s_^6 |_4D/3m 64F>#3v+TέIӨ.:.0I9ݱ.ЭlB3@*xƝ a [irX8,aDsJ,VRvXS8J*-wА-v9zon -}Ish/ w[_«O`FqŐ;2aɀ :n؈q)|"Wi讀hhq|1]Z^#64vm5.wQ3=k/ukL+-Ç a?FݙH W xҸB8W2~fq- zڲ9q(|/?+uucᚚq*(!0#,Q熛̂,PU=}[zf4.EUcwjQ*ia]Whe ٸ~ ̭@VK&N=X+ w^$Tw ,Ê{1yGwF7dsn(!cUPqy.1ƜwHh {Dʁdr%yDA+Uڛ3U ǺkHxn(x2zHӴ.5v5X7 R%ӈ?3o;Iɯwd|*&Y B[a0&  "ee/ wQ2Mz;RUjy4V~nNDa@$\]KСɄ֒0~㘮AWhǟ75Q` H!T@{P cT B*mY@DЙ}qz!(u8_܆tu+9QvJ9; ,d@* -/-e kvj _e[x6Gd7]bHOXt IU(㴈#Q"Bp6 F}nF8HJ(_cJAjdYP'`W^hGeeAFp`Q?Ga52)aD<;S{;35_ꀍHo~䚔] u]O,Kz5APhNyA=Jgō]Coo|ic)L; DUՄ~L14e0Z 7O26g[(1-I,.#3wIXy ^vD3jӓI~#:\&c508Tc1~Y[svf4Q72s*IQQr@ L>]/"}&H%&|,  yG)nΧt& l{+ MoQ>$^&L&2E3`cn.X!7_3[Z Zٽ>Ӗwⶕ!;o7Pv{T-,j4NoV+6̍ g,cՄu}LEdH2ʖ4sEoLB6OTL5\'1ޟ[S) =G flO c!pC f8)ȼf9X<]w2g2IS:S1X>["vd;C宐ߨ48jv!$a3bSPDiYUO y,$`Hwtoy[n~t{U%4yJo9ߵ#T<Ƙa"vqTӬ3-A7"XwN$!捏=;Н}C~uUn-լw2Ǿ%?$+ V)!>.wc'{HVXp!r>bn}`o J@>9?f|^ v-uΌȹm@{#‚#Fo>"n[_vNsy٘^4Ҋ̻+f04`^=$3^  XZvI Vj+`Z/3 flwZ۩A:RbgTq\4Dj}Ku5+Z6o^R1hBC1%HS*$Rr =[ IA-Φw hݓ C t `&_j9a?pϲFRQN_h9q鋄)R"7>pd=ibҍE:kR7 {KV)9պޅ6d^}Bg)E jǖ;jf.(7Fcϼ kr:;ijh=T3/#90_"*M( 0}TRĐ$ *}+jѺ=o4bn( _}[ ?rw%}BtxC@2z˄}]N *m2Y:Htj1dk{#`OɆ~" 0I?,P3Ӗ,+%Yz +S grXn&|~_Oc'gK E0F"D9 )UKF%^5 Q=$g鄧$X2f}5tx|{#S5Hx53fIQNjZu=(@/!H/6r9GLBc59PzLXCB)!:nU֩0L =q0[1"ȼ+Ub؝M _t `aCzȤLss\,22vj syro"F;jV" f-Ӎ,\K46K"R? CQ$2>2hzP;P3@/JcCr} yT̑QHnk?zz?e)87C\%ua/+Q%;-NzRiQp 'l s][E„ˉ]8H%B[&#G@@++P49`AXdqqJlXeOQ0Q]8iUuԬR꜁[7{D9 %^{|0SN?WZ֤L=2}f48ߑ’R 6sӤҍ[#TOt(O@fqyiHd@7_{\.$1;Jpm\xsHQΣrH2S2QeqŠXG]pa05vUHMG&h.*#IN5;J/҂$ski|1hNFiK_D/{2b Z~et|XTcn/}kt6vud''᠄jjpɬ+<^ONa%?{SVvӀ$ E*6tcIh1|7^R4TR␞cD1dgk4:3Pu'T|^]!'t:/P8D8$v/|-pNyӘ]n^:+$.SmrT8 .MZIJE NuQa7.xg*_Zt&O,U.=a$kK/^X @nMlb'INSM5Β>HC"cGAq-IA'(-RFxxMb,j'fBv>"Ćn.aC7e\-%@ٖ5 zC䝂~+hU r"/4n4 M ꐺ5Ɣ_;>2Ͷ7ԡ,m ?S yh'Gr;xj 10z(8_t\A:VjD'(s-s5qw!] nÿaUd"6 rNW #VL &N5xԞv8kN şCT=7ZŶTT=D֛GICIS/P8X'?oGZP T́fb3)g c>#L>&QZP2L&Բ4%&/כ˔#C@n /fG誏 mä].4s,GZOWZDZ߅pudl;捍wrL'k]:0.諺$4\"".Z ]Xe 6; G4+hGg- (M眃8hťQ!q%( DJ ;IzB-SѰ ich7Yy[;5QP9|VcuEC9 "\O) 6u8 |PT!7s4gk5B'_N9;$ן00 kx݈̟<~U -б1jphq*Zzu6S[zDҬWx~\8P[]a2|#k{)i/= ZeuYӺjʥ{})8NjZ(L_ oF r߫1X:Udc^V H}z $m0lW7&sr>fSAS|=(ˈsOc,.%"(s/F@!|o4Nz 20*u)+?]P /ߍI,p5XuPcZhQYgnRt0B<=p֣`5)9X'zmʌ0Y[! &9 ms}D >J*"Sޱۥ{*v<#ImfP˳]}{?aF -|0 /%A?kw1@I(b{l\VhPY6C@ұkq+7^cLXl^biFֹِ}ݻ=n˸#kM\].Wi !O~뤙94`Yjewo0r6K1M5hƭC_9p)\NqՅWOR{}dhxC\{(0\3?j://7b6Xb8bop,hecXOw綐oi4:b/ A)2z)#f} 鍥A8s阞5Eg~NbM(˅сȋ@ Zdms?E$ZOq5"d֒?DRWxQ@*Fn]+ң+J=EoSC˥xgj9\ Da=E]T&P0) S5r m% ȼMqߚ\qp8TO%mWj[Q6xXP/@;Bu+ o0;UgS.LL- bXv5-(G$X#ac:-I)=7 e(2 4Px/n I $`V2 2X$*:ݬ׏8ĤuWX,l\JV}s۶ZGd`-C "fSUcY#OlȤU' ~q-JtP(|ڲ N@cHyQkx!֬0!SDE49>(.TSee=f.?uη*aEu؇Rҷyy(1՛@# ܞ/s}0I,&Z<ʜ78cugE4Y5x$= 9nq?Xpqeq!Rq-&3T-ٱY}Z.*yH*<@ļQU߉8Ò"zΣ+m% .+gѨho(tM:>Q}KH^8ASsEs@ N( `)BS>X*$ 5jp#)L^n#wK=rԬS1B˨ET EptqP'9vvH$d//N_?SNGw\ՠOQ>$>Kc]A9V72I[2ˊΦ~cA@OwJpe5\*nDq UrO./$ _eP1h0>_LiWNvYx^ -7ec`@|q>1(シ}Z] ݲe9ji\ !"v"/=={s'xDâoSI<׾gk'EmkQ1cYv-g<޽wiOQ*J`IcmwEvscVX1otx-k WE Fĺ8]WV^#P%ZJv< vGO7{=’̹7uAg`R8_{Ɛ)rFUODY/aƒd Ӡwc>Yp?B=)F,CL}śCvtS RL6ߺulUQB7ֿN<0 z3%~}?|֨6W& ^[(b mW$KKͷ#Q3&#҄u;k 0Y?Ԇn6_܂nd\5m[1b~ إm*jp^4_Ÿ5=.C+( )< t%JS!zkN}P(kZ qE]OAj٠WaY^7N.t|4ihtLʻ@*ŵy=’2{#[.?TўLmHLHZ%ے jn3(wQb!z՟dUaPW_⭟NGJQf51芝6u2qò ,Mg\"橿s/ - w 1w9J 󍨻ec|׎uiE8!S{&.fsLN؀j*3З|m&,%5v'CtxN1GB"|fR;^,]o=f4_@Φ rXwƅI$@2v%9qӻ)IgؚvS^oi5]`a?跽VJ+tkCǏBUXHmR"eRwPغ-tԸa!۪TD-1QH@zO _R$ |lhV5^=4Bz/1Fc8QWB9Wf9qYe;_8,zlcF= A>^W{.6b<>vI>R-Վ&z[ hu_54{P8޴yV:xriWg̀i!w%t_GoҞzNq('{&9l~K5LtV08KpK9f{7UH9L\7GL'yb)Tn3T"B*Ji:{&U)<H<5! 7b G͎0idYb:vĚW[; GCh<taB@{Hv+MjYCbD'x.g0ɴD6*J-6zBbr*굳kmO;!Jm5QCyB=XEW5ށiC=O"XhH*D5ܴVXI:`lztRׁ ג_~ްS;hlw#qp>@\> p}`i?;K*H 5O&&^EA@ǯw=ڨQdu؀'y0O]Bl&-@>?{|M_j뻀 |hko[TjF_xo}o}/U")Z`#_oڴզ;yd)u#nt4;L!iBMv/fYr?Nx|;\RcTPX>[VU6|u&pD('@$tݎ uãY0~J~godp {vB!w,|Q?M7n 5+=U=1EE*<qRպxltu#)d@(oA>@)i0t(DyxP`~F%D˯LM {eu_UB3Ěxì$ ^yfh>04_YfYl %ij003 \)o+ła4ØK-A3OA`tHQgKzό惖?(y%1[Bzr_0t'&8TUc"Nt ieG ҙ4s״H9pi|B]bΔY$tkOjvOei G*nC-ny SنH;3it2Hu. BS#K3HN.XyY"L}W}'qa#|C7)xnǽ~7qfǘ"sX#Ϟc$lÌ3?8ٯFLtڤ(8)-F½-g.NCTYK]r<’C38%z!&NPkrlœDMLҭ.HpGi |,LˊF3Q]!? V랤㩏0dN?ZNP'xGhO"Q .-L8P|>+[c @ ;l,->8@l@uådr젹{!tR/gPgtWFTJ_GO#wV5Zդs㇋0)o]!ks\Gv``+`&u wiS[:қ5ez! .8P$r P'bCe%(x/e\cG2 Jc)h~R: 6v}{B7:.arQB2b׏X"jii>,s1!쥤1n !# mDJ?I'*@6}

~<ԫ!$y+Vbs[N7}ucCi6W ;ȯF6_n}7Ln@[c MI;4D>;A:.M+'M1flݐs i B.=0إe: +ڢQc6KST҇pkWA|:) 2E~TG~ Hj9d$;KݲnccbhxeJPv}ug H`\H煯 42 0uvˎ΁;E *r7S/w:մ?P-Z%No5 rMI1 HJTFL݉{eOoIg T j~徇A/TnUdX;BS^1.Dg.{V΀0sBՏjit]klߔϘdr8C"0Yj6 E/$W Yڒmhp tdZ00j^*ǎY{Gꌈ ]ھAM"4$V'B9ԞzL@o"Qb~$/>{ a}]^j,a!z[ {qeOf!F՛-MY[w  $txPi~ WJrpf xrLCё^BAK)kaTwX>줏Ӻ,)`uyw6lyǃuFAD8GR@$/[?>FwF`[ 7&!~y` B;@N$<MbN!ŀevnˤsu9L{#D9&P;J||n"ij1b$\ 8s~pkq9)rBԯ *3C#>+mܣc,.MhoYk\g<;[ǿ&HDyimfɬ+0RaTzN[VoTj8.ɰE"m F8ŶVٝxEn&0  Kn'N5FRiP4?yGL鱗#VL4I=0gB@B F6)_E /CO̰xyw-`"ǩkt }Lp>OCB¥LlY (X,ebv3y٫--ӽVE>kwx! =Zp( ylIFLNyOF+QaU\3$$q.)5XeCx#e 8f7He!=ZpU֦(ЌtIrogr}0ݒ]̆<76 Jm9;l5V#qR6.MSlHS*pj3[k +7+à і2ͬ xQ=A!*D蹍Bs,;?LM %gy4jLNo* i̅yS ȝf^w/-xX&PzHw^ºyw k+f'CdeE0x ̓2|h!6xoIZxbQ"FR*Ű\%^62KiѸmEdu*ccڵI^_$}D㞾]wPNeLuBy&t8Ek7=. &L?\n.3M1 Qߢ5.5kJw,L=5Jw# |WMmR؟)`?oVGj};Ҧ5t-MeEԨlsn}Lqԯ06Uڗ¡Xs2Q2Xl%P?&`1VA4I3,V?γHĻ tF~n_ap^":OUXU2)׷H[1X绔qO%ۯ)Zri$G|v"Y60W ti0֫lpn*G*.27슇$nDDfĪ7Պ*O&+0u[6W2Vjk|l;3 ]F6+<#)OJv}&!%ѳ3tu![le/+=T,3HyC* ̯z*%V sr҉ԢT>!rX5|}f) u',*Q@oNYrUc=d?Q~(@7GO`y<a*8W,xYޏ ݜ%B->`ơΏ(!jT1ȌV'Yȱ:o}_ML(Dw3znu~nS)# 6kPTAGpL]c k0?]ꤍsQs` `aqlT.:S`KqrHmvX 7sn*4$ؔp&=(%2$HvigI>U>nY5(Ə (A"31CT7`nI#$Id[kR[iu L/h7;t0=rxKgؕST; 2uQb)IUz55ƙNheCW QJlgm=*ڰV^:Aa!#{b*jdig,֩Cy|oK BE0[8A}t0xIݭ`Tfp -IK'ʽA2&rn\qe4TymF֙?Q*pœQS*=ASD_Z݂z^pf;K$q+XqX0v%a]5MM \(񸠱Oyymѫn ɖQl30hzxlCT~XQb9x6'>) pv=Q\W٨ͤ?EmwJ݊"Փ p( d)oyDRAXu)g;JwPidk~tFPgL$g ۝X3Uilc n>rtd $=MHl;^qwWp7DrofMӁSjo p#?UZ>۳8(ՄwxwҴWAv-6I9jSx<3HeA%yJy6 `Rh4,]'NQU=d<|XHrgeg!eAx^tq8Md@'#b?N≷ɮ,g`M hI i 'U{] Nշ] Dh,0T,5sXhu6%n>kEҍ/BXK| eEJcԣ <-f3wq>$5Pd4]W (}/#U綤 t)-aU]_xTtŊ6 Pz;a{ =~T>ad[^ ɐ;LJa5 ;=XryiyKWoO)JCB]JC}VYrh(\2-f|B=}}-A1uΔĘ |`F/*cmK CAא]5q@+=2?~d'57'>R6z^@ RTX1tM2 >suƵ={"SMYp?UQg {@QUui%qϻbĺe_SGܜ?BI:S0hIqdWw Yξzߛ]TzE*rrw7T`T.*ܨnbv3K#è\=Ƥ}/-þ0j3^/ 7}{`,BBJs|Cnr6-tcSs{7a.0 U%NO jgYZ IC% 4CakeMLCoinductive.Coinductive_Natdocument.tex7zXZִF! b1R]A-MՋhvG"uIBm5zgi%HRy)r e#N+7%4.О,Fk@>1Xztz(tv)2ia*fNN_t1{f'? ;.6x{^] 5dh!'kɗk%=8}%BNrFcu(nR[D!|PF'.^lohL3/M|{Z`}W" :CeQz[g+8.?!,AY4wQ;+ .F/KVۥr=VP8p3`HS)7E: g7AI_O]ezozvOdqF xr.ޱ͝bʖ- N ]ųΎ{yY9 k!-{ȦTZEj<XBMo&': l;m=G'0ۖ>q: i\=esПrQ.CX[K~ D0_ΖR:$l`Aa>ߘrн(o%޳W/9B_ܺs<ƅ":Nn x7hk *K.zIkR0&IꝷKB*Pb`׺?/ށ=QQku4UKh7Տ(u8D ˙ri 2>ܐQ;@Q9vN_% `t5߇dxxc @o͖|*o*(aQz43 N7Q2{^DD&4x=|uþsL% W08eQ<^5T>wEp ,p`!ce {jwLX"yxGGm PpuNbG%['Tl#("o"p%>Iƶtl _}H%4Hj,{z,{ekHNY(7 K5{e*6n6%Fn탋32 ;[ܦAf +\Y<J^`o 0귷~۰b&ɀ1&?B[P1_ YoNR`]"N[9^،!ieJc~MSYE_ vs@2:xWgB7"b݉wᥰrsh9%-磼l XD酟imG;>b\Ыu!"[=33*s♮ێ&s_[1>y+աH?@;`QNd-~ vh&_.f]ckw&~5(ԩiyF(|l##V(oJ2mkBo z5i O$*%nak'r;>/=' !'A"63UNwj1hYaND6_'"?`!EKptma[4&<.FfV=+m2KѐwJ<~fuõ/p1 2@$ib"U4'>vD0Vi|CS?d0H.Nl5z"/./Yl>~R91\9Sɕ mFA'١3h_nO=foL_Ope+Ȫ6(iu}ĈF0R Ӫ#~<`axL:<85AGQ*KT^V #'= 8)-DAK2/P̷+ Nh5NPZ7"u ?Kl,ex&^T|ҏja=KX'V[]uysq#7l0N?ne2m) I268۪ܵoO+mx(RQ烋MuCa{d)nn\:+3*u 2)rK\$~e ȶb_ uPݓxUǮ1fQ5cuLSRԑ}[QWAAR%.(jTE،Y?;0<|RWx;[bd pfStWrcOEDl S5ot9!h"dIT0k[v鯀M׃̾m)_ƐtGijPx1)*op\tHH_3&OQH?Z WMܢqM9,!Ƙڲ`?PY绥atH3e#d'D,6!%~땣T"R:#kW@ΔiiOQ/SУ3,9 S*Sݾu&*0f'v\G+}#4HT2EշEt-OpS$~{wAZ C1P\!{N[h( !:B tЋȪ)UH*|>ה)4ŹjT*ѽZ|1Wc >zsɫbDh9 '?)r%W Ï/n*zJL-ـ9#)Ȯ?(4&=lNRb^W[cQMԿ' YM\ޏ|;F@q%8Sv<065Iz3nEUtճpIP1z%IHkH6w4DcHKDTص%aAւ4++L'8[݅tI_"Ws|YdV=yhRN@0ω/:U+VzhE5l\[isʮb/:^u7B5DrDvq( `<VQ'Thn)9Jl|i_-Y;gdc{ X]%%AքQW<KЊf㷽qiY/_ml/Ät>["AB _e$ld>@`L f 05pN; ,? BR_JLϓI騺IqyG {M!w m\IcĒ^>u"h@J,9V@L,KA^k-q~Dc5:2? 5_o Qvznjc*~#Uo,B vw@W\+uouEE_$lqm 4M*`/醐9Y)k?a 3ܡi$> ;##0~ݑzzJD t_?vn,{`û/șe0*C ͝pNR A-zyj{9aSҊov'd#&Qϧ &eaU>(J%U FJ7yVK ͰGTAƐ-;ѱB|P9gw X K3yIEVGg)d[b#L1=wDy_i`(]Ur@LWP]QrF.,j?*35a {#3&cv$z2C aX4]nP=`:|lÚB#-9۹p1?9WgI w? W/  RՉxfF>P̚O1ͦDӦ 6{:Cg?HTpbޜ 9d>D6\#F˗֯hq.DnCz*0^Hr+h*-ޮG3^?O]< Rw [r n_s*׊!D!=x4eI A%]#?{;O۞o&8eѵu @h]hb`@s @d*\UFNYȆO9?#Sh/y~C5Yv1_)8?@h֥z/ơXEԥ3mVxY'9T]Hb3ә[.lD7 A -.J)&.WTY9o ʯG+Dj(. UgTl^/>{Y wxQo¹0ԫOLǂyI_~7ePҳ#:{bl*m։ M%q؝v 窮 w?im4MaB &/};nJsسd03cVaOK)d/VyR~bsjlj=N_8 (@ٮᎾHl1G\&plǎ$J}S[7mOLzj!K3#rP+i_|{d!kTitk# # |?#M|.J%u+~_.0͘?Kr-I66.'p2)N$kvy AICzwH5#i!]ywwrG "2Q]BPgϷZMyJvnDFeFu0{':'> Iz H3L-F˰khwUw%4qʀ ͤd^C)L}G&<Iҫ>"e*e_#/yIn<ƛ8H EJY `1Wj>"df~)[A5dx*"q o7Xl2m\x.(438~ i+2Q3xIPhp{,oCҨ ä"Zp% E\Ѭݺp Zj?kw/(SNM .d":X j$v\^fhX}X53ފ&;Ba׷W)z$*bq&)1QZK:#ۜE%TcuZo5לW,^5…=ݐo Z^׌|=3B輪YɁA6i#5(r_܆=rQ!>g.-5plj1mh>cZT3~\޲ŁƞB(ȄEHqD%2ݙR 9Ԕ4U UT䬚*=8vNj8?Myܻ]A10>`)U>#b~Mhht 9~ϋ*-xg ;f{5aQ'S}zL1dr#5XDOICUU"yN%=d#PA;Sm@ ELWAB%)=rr>  [q k1lݣ@T]-C¤_U=c*nݑJ)Bo]۷ Q&.MY*#^qO'rٛqnk1 >]vh*&}l^ʹ:.D-ЮiN7fPQkK-و8`3iZ]L`FC9$TϏ3 iwzE"0@78OG 1*)vԪ6ǧ qCX/f Apc+ʙE"Le!]9SC'pyyRup}3V  d'D9phQ,_g)-3jl`w2\CBt]Jo`eM֯o(p*Tom*~^ Ы. ꕆGDoc4yYcl}:Z*A0)wN.60{ta o[A[n~Rb+($QSV=Ÿhﵭk_o4q&@MIz:\=A/DM-JfB|7v͇#EFMV_8i@&Vp.~:`皱.]*E?]0l.oY_ ,!S3]k,%!g<ɮvCV/uD;e(]2n,s3EU|a ]@hI,+`qԔՠӀc{RZmOgY %ȻC0O(&0@={a4OףŠnv:It;HRV֨i JCOUC@qkC$kge=D }@%!# b o(ϽaˡI"G)gye_- Lv6Ccm:UM_ɞS' DN OJJ8¼3#,2fȟ 8 ئi*a#!ZJ%rwNʕ$×CRb}2MD4 uC1IiB޿28[Zhlb|Ŀ pqbAx)~ˆbke"d|{I瘜g!|Ѝb҆CO:܏`ʛN?uI&\ŞV?eS?":Y-Wڞ CK?sYf h//r+2-.& )|/=N>KRQKJzR_/oZ@!MCzCGd?J+K 4J}h{n+M4ꕼ)}܏URf}8{qie4]l{>q #BYPf9,栂f4ѣH}U@ |ZcRnI+aήHzpN_,3\zSGPˌs no4ya`cݓ 缶M8P{[";K p &)u5 яP#ηZ} ӸSm`b A_cdIƱ<;2d@`"=hxt(DGk@A@7I6w 3+ov%]sߌNɧIǟd0v&,8z.PG,~f03fd(٪?2KUy)$L FB|9, z\G װ$шfq{?r!Kiڣ:Iu\.`ӦB6]{n# q_9:Wl+ ,^W*I,=Aȧ_jnVBFٿ6;&ń>4e!7)W0]Y!o%;b΄/?|2j5 Ϛ%*RԻNÅibiHky6('w?0%*#PAЌes8mVփ Jtrp0e|<ȕP5%RG&h.rڜkZ >$y(I x ~F5ibhZhR~;sI[:Ł2E:jȟ2%kW(bn{ۜJ 49%}?%2m36lB y^ կgK*UUjBv]e^tA*\o .f<:粺0 N7΢E,,JD\- |ؽ:xr U"o,NlG6Ȗ({󫳠:~K?~>Cvfk#ffNft`mWx!4<6f%lb{-q])n_"sWY,4p31y/Rsuqo *E' L$-^L>$ Obt aConFuiBnFi#e7G[-4TpIDU^*Iϭy\ D>uHF[b]9ujDL.*8B!6vgFqcȒwr^a^o=TyP4B+c:iM6Nm\9䱐} $Ţҽ%Ro5ၿd^tgzW!>mάX7"!p PXuadg6 "zbvCr11d4R=,fe`t<iH_d^R ?Y"=P Gl]֍ڞ̙+*D-J<"N#e`:Uʺ<Tvf/np~Is-'4 2r{à' l>n!QO<?T62wkJW>mZ5>UPhLQE~vanYg7-X[i("Cu/@Jm AzcVd cY3l>:Mߜx ƠrvJ9SOTJ.T^u\9~\4~fM.8;!8kϩMd{֔GD݄~ l\DhofvGS xrNc[1,VPnbWX`]4^К)[P5i㚪O*Op­*@%;Kq\ Cog;8jwϿ[/G i71{1!ݷHED&R'~/&ޭn{֟NF+P7Iw8uQ7юn[;ȷߡea\ڢ jԘEmڞE(qa).a+`a⁤_=a?Gxoud S'uOU B0k">!/gcTޣS_H3}%J]Qrb_;p}e(:P鮧6Vަ\ 0Inm$g,YZJ}]p}=mM *-ͳvܺ܀3Xu(=}\ak\5vj+ \#R]*X\S_ Di @Y!sփxw z;nڰB#r)]r58qdu?t}pH.vgW!f΋~VUm< {Z/^f32`7SC.>&Sß԰9i Yc}Q:RR)G[yCF"VGJͬ:SP?oc!a?,ypM,,#"kxvq^W/]H3vɫ-e f^%Eg!8 (}Q,>hlཾͨ'agdF"' .huV8\V|k@W^gkțAr튅 M\Wm1!+CE̅M4,zY)ɝ֖ _斾e{| 4Xn 㫻W_ǁ[W"4[`7اZKCvdx\Yd#oͦBwre0/̂!șزVfMKgfS4sfԵ:"(WSI@N?Q09@e+(G`$wi\O= HXG.JRNNܥ OvD`ÿ̵{^\UFL9mɔsձ< ) Sqgo8=2#FzB5X`Ce[Ưk7 A2`(v#֗c_xŁP0B1cuk,s&zJI@s_+*>ҫ 5C2Ղ{滮ƐC3}kPKx#F-y's{A k;BܟHNS2^1˄+3!F34. ,GHy$t.cheʭ/SkIcomo4l;__ TS!rZ\2d8(գErݙǃΈ[K@Kwef]]Rڶq.T/qsA/X' bk0g#5h Dl{˴TDUXsK"?ED <:+ dgt7=LwphRy~Q#S[MAۄd- >:ɘ0AAƉ(:*~߈۷#(#޶n#0[F&Onsͨ!`5,rSc0A4S~m&H"T֮|ު|t>w=+&r * '*] m81rVj:^Me7/+F#E!Y*op-_7*(Z& /{Ge-4.%ç)kH]&9jMVq\5ta0)er8r _xxY+."=\:<}sX8EI̫\) *a:d$pY؛5%~ t 8!5aSEheVS9_|S6T5{"3ۈuGYdoPeE}`60?Nԩi[Rsۘ槐\z,< -+t&a:fNP gb3ӓ!r @FaZ==q_um h:Ml9yɻ)3 )l]0є\fCx_hFU\&9O曏7~&RԄ+0"70fҮov{6PM<p?Ȗ]ѰK']Z%]onssĉ@XkhhE5+dnt&Iߞ j}TB I#T\y-Aڴ5!i{eͻbm%!$hKL#]k'ƼƎhҩNP>C7*9ϘOZ`TSh`V-}wR7\fT`TCQaRJvlV㾪\JƱ6*d#RK cZJ2sZw|}"hJ85wPPZ~!1%#qZ뵩j^Vg ]_Zu[S :ْB0=١6a@Ve =粌,: _fsƌsx5qT+ _dCI 5M#X)?͡-ּ8q~`EC @J}1Taڌiea s[K\5%)Ձ++ 4S醵Q %N-Ԋz;ƈ=T)jV]v(wf#]Tc@EM!HY$!ֈfpgk;5dMJy%e,s[ZbS8;IHK ud+gZy*Q\Ğ7G2a&"nrb u ExJd{^dԋ[;k(FHyY\<4(eE۟] G,XbFuFX.ԡruх7}*yNa%@}.lFi8 }a0t@ =LK/ y4Qӓ:؜U MZ>3298_lZO7oWlpOܮDPhݷ|mҷ碁#pcטbw|g4fIdZgXy5Aow"J2)}!gz-Jcyk-(@0 m`$Ҟ¢3eٞf5L7vQ 1OKYb3}Adtk{q\!U\>VfUŒ"`[7}?C?n74̌>7Dqɓ.?q\B$H-muW\fCʥXum~G⦉@g]*y3 +[Nd4?DS(!*6odV1Ag2,Tbɉp_XnJDy5[݈k=me֟uMKKnDRJ)./I:,T)kQ22I8elʤ4{ʳa/9տ L׳K[ߌ7,gXNlkx,KPP0 5.^YNh \6ajMmqDJ˺Rv{\ORk(|:L /9gtK:Z=h!ekӣ޾|{ (u'#"5ѭóqykyF$ )4Z‚׭T㫭)JRGM2aKUJr(zHaJ=$~-  Zdu6L麗l`Eԫ&3cbjU8#19wP/礪17LfVeQ[T†W{-( ~Pvxp1oiaFIA p_mIŷ9%e[:Qx$1Z?:dvZ^YQ~$hWãݳG˜SĮ2xIjE"uc@\@ZU=L<)I`aхJ^^⅙w0 Ad.mh/D| R,tjʱa<%D3g= :\H(>;RY,RAD:dEUirV$%& '^akLSl^3)NSvP1CڀiF/GdfP^b?MpQu%YYGJ;M5MLcxH?|N*pL~|?z]X_L{ v[’х.44^C;t(@8=߬ҷ!^SS?~H)zlJj[[k`, d"@`Q;S"~RB0I[J-Ӑ \b>CX eXN1|c{Ԗ Z!0'Umh flօ^.T8cTlK_`${i`DrR"} =slPU-_I۩*)ѯP~OvWs@<^רOu^ti1TbޯŘ-e)h:$ٹ ӻe+Ɏ6.Dݗrw|EbߡҁS=r lZYF?@lՠG0p26$@:l3RXCE2GR'^Ka"VƔ.s؍[("LW] j.r'S'(H1ӨLGek]`*r-aztKW5yLە(ABAR Ãu'tKq8EFw2NHXS[hMSr9P4vk)tpiVEl;SZ;wbcc8 <16qelV鑜:_؜=*B߷.WT{);0){ RUlt31OXx$МwF$Ji8 5a|K^Gz68Ď4%\W@ SFP|D~nQSA޻ع )]6X:q5ڬ ,drY*elÐ$' q &=LZ&QɣRNȥ&nE2wZ|:!Mw>(ݔaB%BvR*EKlAFp0'0?OɛCk4m$>ke$qĹ0C:lټeۙ;67rmj@rJ%g)R 6̎iq  Jt6n<ABߎtzi? <+V]zs-$$* ZA88`"wU y}cq֐{dCq/Ml'|܃;5lae'cj.hn⚞&:!XG97VZFx,4/$D/ !*.a!(_?V0Jvh@ug[T. o`}XLi#tY^=Xl7wFH2 ɽ"/J>>@KH#_xл| `dt@b?9 cB90 MUNx/)|3]gFc ' 1[&W̩&EM!=``4D3y΢2,c`/h@qB}| '곎"oآ)|$%w+6- }yr~G+/hǪw,SRvSė ;":n}'EԋJ̨ˮ Ld66܆%n_#Pv_[R$jT&Z! k%"g\.߶ײz3av_4.Q%jM_McW56Djjr~ &ZxbWKS oNig|~5]ٚ=ɓkovC˯ n$ͻ= zz#|I .,~z1|7N0^"^ 8*}YX6Zmi]eԼ fi_&dmS4s gYZ uunE% |CakeMLCoinductive.Coinductive_Listdocument.tex7zXZִF! h]A-MՋhvG"uIBm5zgi%HRy)r e#N*hs)Idg)ĊAw]CxəY%aHze"~yWKI&1yR^,QLPG_ TZ7f0CE89w[lݟ 5s3p9dI]MGjtE83WQG'@E^U8fN)p;NQNqa0+$3Gз\7Eku[PsYfcY$e{o-H@ 9m6tjXh9rƼΞvoPuLJhPٌv`AQ[ hyzwE!z׮UgˆFߛ?JF=a}4mMղdfY%+gͰ֯p^j=àAEʊ#B3O2 StG(e9h_Yi%T[0޶SktA'ZyAU Pҷ9J!$)Q~^cZٗ0]#?y%+0!DVVo+ٱ?0icզP.釶+H60dAxk^߽Df34 nq|wfA *+.Ӱ$j _$NV#C5\h-ʅj)o_tL(\㹝7=% $CakeMLHOL-Library.Extended_Natdocument.tex7zXZִF! )]A-MՋhvG"uIBm5惒TP.uazC8Lƥ ,A4~wTe\+a>S52CNf \? k'MjNc!lNN4nN^LNV.lI]ߣM*=<<v'U#B'._3ɑhOٚY|x;5rX%-y/^]z!v 2de# K[!8D㴁39hZ4M-vIHZ2 `$;'߹db H58mC1ɇ7ڋ eiVn s ?;hF]"EP5U+*\4B{ϴ`XXb?ő~ ۠ti0$trIdB8 PcGX7bl8 & /ז`垵'*z/Ǖ߈j)"Gc1>xk+E b*}AǂFX\].밒u NLmm¹2Szq\k _]l*_"*/&GH8γgtYQB,|rK">tcمf%5^8{#=!]w$Rcpǰ1\ңU~no'dI)N,[ˣ}nj)5n@ yv?ؚc؎I׉kLh!][lK:rar s-̤&8>>!2i`TUVpQk(yӯT]R~Ito(ҵ b#Soǡq(5@-.n ? 1ִ^5pCzP*ꬋ!![rBϱskNKh)q[Ѣc61:L¯ݔ)FG:x N}/=A] _b߹̿y#>\Wa*ɞrdH[߾ƶi!\s)?uvfK6#ICkrM̞ECYe[/r''5ɘ'\dM:UB^ЫLz!!Gvid! o3* H8ZE3R)EHbq TK" s8Ny4NAdK:fS=y菻6dEv8ψO;(LhFbiFVR#eݗ&T7%!t@#/$s ]'i BAݓ&~3qWJZj(*p+0JhL }Ķ[Mpg;x rF狭J ΈպjٓܒCA?Kо̇}ʵ} THFr8K1۬1$ V k ceoi I_SylPE_EaH4,B7pAbOs7挳s?6&h c\ٜӟ|(]VV_ss"旖eub4DH= oZC"m/"P ~.s1a {cmɛ l^{r )k^0'#]1Cu^iҠpEc 4)eqZ&lVĬAS`A?AnIӉΏؘ3q(b$y *qIRZT[ \\0ܱˌtV"okjpHD{d`g6'x:4\%LpE(rՐ04ݤ!aPf'2W6F[Of(xnLT^.VI8e\v8A *{ b}권k(p䢸 ' ?Dlv'%Mx1\ `^R1+E2"r2A]9_"TH {Ҿak"{GCobD0PApd8X_6:R7@t>EKm`%E6Aq;-I 7: >唑A,#;v*l00o٣:~Det!څof)sᷛKG9o ]j!Y/Q|"d=|$驁;T'ƧQz6z翽~5t$M'DΚ2֚̒|rήOk~cxMҼU#gV!"ͪ`}@[['u ׼eF|M\.TV's,)Oݜ3fVVWXwbp ?~yIRKrқGJO9* ]Lk{ 8 \d j@v_u18i«:p[9}F?y\{1f oUُP~JƥIPrP1mX w՝Y) 2y~N~W,B@ߕNc J\ #g q%鄡r8ѫ27R u׾$6+|$_ (FDАsCJ lZqsv0KLk7xEEԣ]R[As c|hb%g%~}uٌgxyck_"7)-,f嗃w/Jb7Iju*hneVqw)*1-G~wasb<]nv VJo`,:/H Kr;I>o1Pe!(`:wçs(E2JCrf`yGHF#}?Nk@#iC定p٪YZ\^$8R]I.S2%ۥ0ǟǻM|].vCń `1o^Ulj&_֚MXV9cLoͺYji_]t"tvEc6U-.nLDl+Ƅ@1Hud%y2Ex&ίߞfGm(mı;zFN+mj%.F1h7Iۋ8LY)bXҙ [;;}4T H>N&ϥ&ZtEId##2*eOf!K#o[8/ÉFRTfs+0G`>|C`X/bv >xЂg\A$^|U枈A uN,Uj-k Iz~=Cfj 㗤Z4nv\v±1FaeX~s .$ϸT)B(k$4[: br /K#w$0 עK*`ȀĞ8Hٝ{~^@(13᠞OBlX" |pcSzytY443KqybQ*}{ xo*cR{3=( t1֞QkmR_v?þ}4PF47 %!+㚟\!D=Z R Su|Vc/8В6 8O>>@ aa)נ(9%vAs0kUWM虃:\o0:2@9CN!H? 1A _K3G8<[6 rC sPS3E蒒!I\]!S| D^M) "/{A)N"e9Vw L1mD]$jgA 更hނs(쀽5ӫѦcf(RWۓ0P k%>8@ ]{ggA0]РXCM4FпcF⣍a{< GYzEw_F(FgOk G/bgau.I-m\-f{Bv0j;hAqt$Ҿ`] r%\)|0R85\5lN,`a%oRվo@ MD$[Z*!Ȟl"{VSg3?|mIU#7dPqIFX c8dY&۵ C["ͪ*Gե6Q jǨ4gh@^~ӤͯD⺕x bp6xD)Rj^1sB{sJzRo+_[.S" N>CÓ\s.Ou^M]t9oWekQ=h@êd~\77Nx裎?myqzMS՞)籣hei24͒[np43vNVCπbx QQQ㭱A/[t:I<;MoR_*o, +jsb"fYP8y4( 6J3jD+{@+ըW"N*ߔ>BMgTM;={ 8h6hceV]m|>B⩤ q'zI鍹gs]9G`Pj^נ>E9TW=ILwئUT!w}qcFP2m+*E9l-(DñGqBm)B͇u'Ϩo3`C*)Az2btQD ^gSdX\.C"F5@(<\YtM] }xO`TpZMOP,F\~FHP#œ1"p' Pi4SBV{8H8̀Enp*2+mk><e;g f׼991RRx+Nt;9h |xG7)ѸoRP4ޥLK.?ШuۈpQ-ww4{J ^&j.ȔV~恧_ &8)za'i{bZ6֧+ղ&$u 226 s1'WʂR+9TJ͗vv W fVY@x ćDcwS0(🟨7g2TPb?`=؄RGeoτ Ez`V[+ *Né~xKK4qb5>$3<м*Ha|+KheEy *gk/(?&3JVn,ןj|c*Ƕ: 4OD1_c:_AZPmn 5Pv z\SP|%}8$&fH+9?ڷP'AC1CzH 8I э d^|Gjp'ݴ3k^?Mc:RU732V"g&FI%=Zϣܨqu8BN B|A7>Sw^*vNr}͓Cm8u$mHNW \Dh>P Rs@~XxwQv3WޟfWR+٢MUl7Z'jSf^4U2;x48`e䟁76]6%\d-5_D38M_FEV&$ 9!nzvi2`ikX)b˃A[HAx Z^o& [\=mSf/ۨO%,>uw]!&"msa2׍ŠX87*ѽӞUu|l*uŨ6!IO#[l.T?5{^@-B`u-z9'I/u(Q#!>( qҒsy`NL]Ai0pu"'QAH9@{aZQ)qP3B -Qr1Ax=1x{d_-w fYW©pfPA[9f{B7fk2<&oipa {΂A|[_8X~'n{] xz_#Jc36)~`jYuե ^jd!z-,I^jiTn<ۯG(=$W*V:W!ϡ'j"71 WV撜{? SCZ9yeSwpt[ox%)mY(SP=EV/8cLlЍx #=H[L` \+ VVdup堕,`ᙧsc_!(?e ~{r@e ~V?;u[c잚8.b?#e<8sєY> T_N^M0g'MD[|&t#Hٹ:ǼWZ.ݱ8N2{8[GHp9||t_Y4lz R!wjZ^>\f$dĖ('v#>3qrxX5}CčӲ({xOU:&jHy/kHn0(7O_} Ϻidh}okleozjJnrfЇ~=0q FasL/d޽&ߎS5x {Y1+%.. |2x1ި(a߭Gg֡'w%c1)yl1IbH3j#tLdQ\E"l6tzM  37X6yovF0dSo@ecP.חC %]"*׳0k呁{wl )`1 Q:ȞDx$[\sqZiIaaz- D%~[2pɱveay{1KIX[W)va$Mu=i mSZɋ#U’p}@J@%V(2 lVye*E[1F闒Sv]hE9RFjcwRGάHUfa*=[;3vPf&DZp쑑iOU@uуQ6^|aMozI WܢM'$CmNa)O/?_:Od dFO[2:456F^֤Kbp1mYy|vhT9M-\`DrcM :6&lL/1,$#ɭ>}c܈"-!%mK+h Ǵ=$bG!Z`uHr =^ɝI #C $Rr]&V*>?Mpv9ۭ`'VHF"ib{O[zzݟ$.qt^ͦKs\<[1luԳ {W=:\Y"*f{v\kf0zᖴO gp QL>yT ׵)6dΡUWy&kW~({Ǘg.\/6J-qݡy.>[&Txy|.D`ni<*!)ӁĚGL69K+ER"Ip_lS8U5x=t 4h%yM47Y@LUcCbR7p6A>oVy;RǬ{ǞMPf}!uTZ#;NPk3\0m'\\ vbF:"ˤB=7_P8D 1n;zצߤlIv1|W|EH?A*ԒBKʴ_[Z gz/s-g aA='0fmG/n(ZKMl>RƆj2A"|A?줔Ǔ҉APBm B]t[lEm9T'<:ϬaJuIyb=ezK< Ӷ5% e- iBc Z4Axp% A@!+:3"+K^?l=&MGE0r\7ijPܝ9hF.c(لw`{vr~Ǥ?8z"aM'd3na'+Z Yz0ry]ڐZŠ^:xpE0U]xo/6C.irH/mˁcKE_ !X x} ㄈY,N~r<*@KLAr;v[vsdQ몔B_r舑Ne/T^ " 7KM)^ -*Q04=UyzEXNoHC6ǥ8R42&dl/v=_W`*w9:Z]-晚 <,nYWҡh$ULi4&_{M C@<,r&YK7ٜ֡q i{K܀#6XtM(Ǭ%=߈,7v5dA4`6B2,׈3.AJIq5{zZ'v"BɃp[D|I쭚-D^X5YEol̢M_?D0QY;5˹8+F+ NF[#ǚ|ZScjA5[w=Eװq-5eRڝp~_,7ą,S~gޖu|S/"^pMڵ%)֬IЮK)2 1daJg6I/Ioӎ6T(qL| Db:SCcAAi<GPzP,5ad{ƌ$ԗUdX,AANPqZuYŮ>e,D,p/&7&'i6MoK`vcHp#t؊Tn%|B%Ϻ1JO'Jne^P#wP-8A̖mBΕU\ؽBoֆmwe=@ԼG2[_ե䃍p"&27bGů2Yo\ru!G[-­_]ـ5.nPs, ӓ-˳k^zuRw0TmL(67Eă3rEУnqK:Ç#ݨg Dկ*B3W @k.!QM)& rvC'aEW2{owu5=y,anvWP^! ŷr}Ɂxv?PhRzLya=ӂ^ cDդ*o&QSz?5XM=Z=Քav):)0чXe esؑaY6}F~V%CW0B-rl a2>.8ECL(\z*CAon)~#tYD4;jx\ƒܖRb={| V*d $YBҶ ' KI7&p*U%JrZ;g@`Bi{ 6f w_F,  뒀IL(GDFUi~EB8? [M؉E1 :we ͣŧt+tV#kkUq &isNFm!g,zgx $(ȑ6ot6_=hQ`p<8Ir%K ?wgdnO_.[;POyt /_ں UM\Y|0տ-)f}T6H J i0׹ia5_aTsiA|vUO7p@)ۘ]LJ~RBZ„bHOD;j@؝Kima˚Z.:; GIBLoq&D$YU~NN݀AT Xȧ2\!&衃c*mz RO6:MqD`IRyW黛rtV0 n8ewV -1WXV 1ӕ$mI1P=dKxLMJt)"W_!S#ң-' -T%xv>|ދGo*rHdK͋B U ͼT3*i\ML@bU15ܷ+c wW(j[)wXcpr*l>2WRddAI{!az4'+DjԍVy}=RU^]W贏 rMd|l&q'hW1uX P a4_8pfPf쓘!R2fB+ɔ0C`GaNc x-B.IA硽?vUjgѓYQP DN=LܞL5Μ-$`AxY_s{nQSɮyMKUrZ~y8B(.L(^Z5F'wK0GOjg ]##,vƌz(^N1}4W1>;MkDM!Np밧`G T4&-ըsBͱ-K>9p'ym?'۴v+W7^CEV:n؋\o Sa |HBNYY8}N;ȺB!Q%t9E=%6ablM+kd{ }KM3mni?IcJDVAJl̎Yݢ/ #7 "C uʡ9xSxJFiIcopMfW{^^j}K)ϲd|R'J1q³ۦre["WP #%iwܹqsU~2O46OآstN TSۗee|>=YX8hZ';D,d[y}lbGc0!T5N1{jhӒQBUQ`PS fGc I%xhjmw0.&dK'cǃ_:t-6c?0YW&ްG#:{ٚZT֝XC/E1TTyDDpJWxۙpXt+(MU'q7-4ITm֦vP,/t:*c0=~MrܳK D9o4 ziS|{7#Kgz R6IC"E#ߚXFqX:MǺ~r/? h i;s,cƄwef='lQ9;b^lP%pCP S¿7&F#Y>Ǯjrn"/T[JD<߉'Ƴ! e"l;v_WtRw6^?CZpټt|O'3S}5=Le0]A{AAnTqQijQWBpi\RvHDϤopA"Hn#ݜpUZ]//&H kN)֨WI%~_ rփm]nB/ -Jdrڄ.!M7|*xZ-[MMۢ嚏tQI;{ xrYA,{vy^]4NG IuC(/ĕR-6v #Ή΅4hzt*W>w6tUx[ M1@: /{cwD0׿dhY^-)d`Ds/ͫgW"J]w .^j)ErN<֐k7[" _'*|ۤ /fb:eE7J Bvh{B9.q|ͅݹ+Mcr,^>R@UF1Xҥ9EB,ӅE4ٌO1W0*>yOyUGdmĽP4`} 1576^>be63L?v9ss9#^=#>L Wa\мU3dKF\p&)=>lC1,!~[nW\ 6yf*XA뜀mThפ~ _c#63 kL΁Ʊ (ؾL}’s#mDJJ%{A2Ź<"P&;Z0Q )t,.ʖ|P>Ɩ|'0Y3X9}?l"ǚr  #K>_Ǽ(AH~@?Rs6OsqhD&!eXݯ,4]L؁| Hz3 k] nW͵ޅ†1YMB)¤ 6^yb<%̟?'Fa34H9u۶&V!LE[=_@`6s6M)KH7殹Ϻ:^92ŠKVpi$+k;`7qhNjHcby]tOgq!EŹ>0ֻ#OP7k y=W,5aē7`J,{<`=B4W;ZHogmЩXDHG\]U;EżMh5Ă߿5dSPEbyj$c<#?l!+ևY[*I'G$c+"<=NHr*اawʩ @&qD@e뿑!FT&w&@`/ ϰ#g"7ftAps"R?eufwkh6n]J@8l8+T3[&&(@,^sisvHzPבLSԏm/E].zeOhoy~ܲ(b))Gy[* [HE;|~"p גo M/Bh@`ټ&^/;I#z;m{hˊpoT H[/9ekk7|.OULPPp+th[d!':)L,!3diaT@#{yh +]ㄝ-/_x86PU }6ҧWhyG *Nދuz`pǿy1Ԭ'P}6"- CO!STu\FV"g=wHkf"c{< lԢRo@sevmTId幩GDIwqBqeOdds!'X2?P8] W嶏zpn$鵬r"iztJ i]˅j*#qp\9u{իycB𾊸$c!* L|'A訧q|F _xo"g. nL^SbK5^\]`}.1g+Jj{ , NI W,!J mmWz}>h\ձ<G5h(\jB?N~mO<09oOnުVzJog4*]5e%o;wt`gWc MSsĝ:ExplSERV_0k]Ý k%2#\†y퓑<8Vl~oMIP&r[>E- ZvTH^QhWj5ͤKFO19}]gE#')u+Fs tND*tGvNPzVgIZ/b.,OK~Q-յa B4[\_g=s˱fLJ؝ԠLeƼ>BIx>PiuE DDÕݘBsS1U:!NF(&(y#i( ɝ b+_T]!UmsLGa>ZSƤ6 ]LO? ~3`7Nnw<]}MWyȎ%z!CBEaH(qK<>`YGa"\4@8Q,XBLzMϊqN$,3iwvo/O}nNEWi]6xFB|}•t=Nf8_L Jr]`ڏ#0!x'VkP {f=WB7Is&VA`/ȨCdm% ר#D`o,kV08&31wRߪxRZC|$y!{5OɊEDEenХhoGtwgA 3 Gm$~7A.6^Ʌy)ܖo|bq:vnf>e5gEdo)Qmt:t?֥, "9q<(&,swSN&圦]3x I rwwLhBL' O̷C>Ė=wuTM7Kk?(FVEqkk@CR%M(कFhKCP92ku 4 @gp\ Ȏe)SS ?\x 8f,ޅlF=kfV]'[x{yYRS)C 6r Fx47j-"1_L:4%S<=鼾*b qo/*u R: ,5 i z A^^aZȶ-ĂjĹdN !e zwjX!~gl-ntќf+sL*cߤ'd#jm/tnƭuep$z qɄKȆ9`'wLRM Կy6!vgO]'&'斳iQO_E$A{]U9@hؤɨr SYo,_l0oJխa Hs-;cHX۸J*WѯYp#f418$yOSe:l7K\Vb6mEg&1[LNH/EYsZiCw,$mLpm{5$C j!},y9P-} 6s.PDkf[_3grzƊل=CΪt2+ xiE^.ikb>b 5uqbW}al+˼Y5FLzC ͌oY$BL6k{BRjgyrj P?b0Lj:W0tvX =֌nH!b# ;b՚^UL~8Vdit _NQ^S*M!}>qݘ&1M=fV]kK|ўKDӢgڟvLcv2<)gG4ϻaV(X< ld9iy0Ә30!Ϯl/593@biӒNjčC:X+ihH"[]O}e8ͶrW݀Lxz=DS:"=g5; /Y΃/ٳUR#]R>86aH -u44nxSCJ>KfL{XQyMȷO4AKW(<~$mqhKa:ҭ p!=u/lPISn𔉥n6z) IQGh=s@m oӛ8W1X>E%:p'[}(~x6ײ?:}IFeMK#ࠀP *Ro#M#o0:2;^K[r֔_ʺ{[`e4TܬG`Mi/bAl {gK A}hy2 QDƳfɕ\g 5BRwʕcڑ0!ızBmN=SQaȍư| rQ]Pr=ɗdڽ*췂K"87hĿwU_#e<|4&D2O/r+xpZyF }DХJe;P ~7MwV*џOGD()7xtQӦ$l9nv`u[LaS8\OhyѨ*uEᔃm Lv'i$ݗ1R$F HX5(6]+ "snV-c6h^U :%im?E$r` Cց2W&Y8Q+̄˩ vğ)n`GS'a=/bToM$ȡx')L%'4B V={vU&_qL'xa;%5sxR ~9o^c~`_,:g2N#3  FidriFPVH$Lq'B be~ 5 NjsKW#ոOM4zk巄H^Nm{E H8)L ~Uf:~G@Cۤjen1Q{Beh(РF=1_Y6:Y\ BNڀs(F|@31j6x:ȷj"MD^ W|2qp1eTnlB;b7MytLFS&y_}8̵cѹR&rsɞm?59g8epjCWWkkhy/Ie=gN̖~͠d~:ǰ:ݖ%E;q'kJNz4gogNne. <%y Aav3A} I4uA*\/CLwQ[[h9UuxC6p L[@͞K8ٹ&OAm^<we9 d9?V&jit=0#_ٜL~z×Z0{$:Ǵ٬7eW@n2Tu tG-hh),5oP]lY  ã !>/; -#:Zk(mwSIJf #S1-6 PMUX\qÎʽZYRbȯM8܈q*DK\~l{8Sg5-M  _0J'LӬE5P )W iAù?sы6X;6 h7[׸`6ZP"urرsjC~(J>)n 0Y2e6fZ_9=#_^u0moޯq,(t.?wc^b^I7OOri8;tmpEPHP+?_+&y[1˖7N d}u4E 3?C1YzyÜQ7мg΃IPyhpX_a5SJ5=<3;}Cr|Ih/$|g8兯"0]9"Ғ|.ƛryhف2帽bNmda~%6$s0ĵ@\Aj1ԬʱVm&qy+qX)-T,DBegHnLeM͒GL.ݔHcWrOb^) A:݄{F(/]AFP~+l"TDz0ߝ$D +b$?r1d h@Q\ʝ3 t^wπqqd倘7,Df[fO]ҵy[zFhg7(rEy# <$pED5GF0A;֪$ Tb+C`1}S>$^y`lpyol,@Z~UssNբZV͇,vӣj&<5Nzf5*[5Cy藣0X3?@z++Зy0bynBSD"d|)f[jƫCrS; B$vAF$`!Tnih~:p*H6S֫%kkaؿο(a"Ƨ=݉^D?8C!萃) sqUD$Alr (mL^pp Iqd:Lg2bbE'ؤAuY=;<4L\%q!${R :4~>:?꿦eGI9A$A@҅zLῃv,RtISBOqԉF{"RӋj9X- &m^ (e tݕ gS-_WFzPPS3"9TZn^VggDM iAn#w ;urL#urhrì{Qu.αxĘ6WS bD@vă7B6]_/kV )୾& )H0Z }32zC,XF0ʽ&`2tk/}hڍHx/Gbρ}*q3Lm¬$ȑ̇nz7j}?l?|B 7Y$86OdVZ8K6%Oŗ{Igw>q,`6wr9UQ.qAi,>c?&BU.{<@{#ۄA,}^6*}XR/Ѿhlx&|1/DQ`Ϝh~R^eG<0ra,N [r I;!xKrUL@Ub <kw:{(.HxcLMAj~Xdq8U"`Q%*ILfȻ?^O]/;YKᗀ(>' >1q7z(kIӓ<^1,Y""dW sƚCzBM*כ"6&@tشIݶK,Wkizepc 3OkR#^"Բ>f >cdQZM sFG\{@ڎa߇"@N[g#|~AB^lI!XYQYx~l.T0ri):QRex fwMPwM!Eu[Ɩ#Y[~#z* dـ,^f?Gf'>8uxy+>x{/ k(!2Gml]LVv8={H33}tr"c.: "lGU,g)Q-HN KC-Z]@~])$ga{31El/y~ MJXp] K_ȼG\Z]3?ڤߖX@cdۀ=vرe%.s'ukc {x]/PIr7CL? *9+ͭ.b4]@& j).7և_vl zu@]\L8 [dqa6g˗'c7׷n0D'Pik*bs <-}1Afl:YƔ]&yمٟ {sd 3 L@i! ԮYM^meJJ04S"YaLl8 mTS4w Z#@^̹oޣ ug#ԫVӱ2m$>`knb7e#aN`Eklq\"<4> ;&0.0d,ͧG?,Ls^ q L0(ŦV"s*sLVDODT֓}+*sY?&wa{vPW<Ը;~ƅ- ^M >8=$ n_POK fd43\6? Nj&j"vNp)$jerW#0EIYl}cbG"d,`Y[de'RUe;w@S߅9Řf MOFSuq%ȓϜܾd->Yp"^gQ_!xa/WgԽ/U zb"Nl`A{N?=X`~B͞PC2qRY֭fs{F]ztrbܔH6Mg{E`XA8l}H &t*!gdYy%>eo/8fӉ4 GҜE F֏7ʱȬĂY[LlbGsoA&do1P NFx Cn|=GuPFs)_DL}~P+G+XpoAY7rJ*X"R*ȟ6;ʡ᪂jU&Hsy4++:Yg8DȮֲ]SC3B#k:͊Dym-,'g4^ϣՌt::\.--8@,Ro:Ie';P1HȼqpJN1Nin &?5#w;IܧXJGɜT1Gwj{Wap*m 8MIf iv\nt,Ժݨ xy-߶19 hft! Bj] A9JN|Rz|}_ D 19!Ȫ8&1QC<=c'V6Yxj[|EB:5o8IV%6-e?hDBwoἀx-t GfC4.>E&+3?M<黬F}=Xu_v42]a6Y%wk>WqsI,S:-uH/y NNVoT8r&5e5ZbT2W;^\= [By˖K/_Və_B,!x$g3DE( 'W9Ƃuupa g2DYz[ A t| %<H. Zb? e:rk3 w9QQ./J_RcgA(g=JJD{{p=-#hS3ITfֹ1˱}Z: pc#KcFmm!‡ݟeh?Kn2@}  ^w|q\mϵ xBYHxp'^Z/.F?҃=bKzӚ9ZJyaaaj"C$sRuB)Ap ]ZeGtlQjFQz` ûĉv-OEM 95L kAF an0)[cZ$^gix&O$O]ͱ>ƔWaf jaoQĢeA1`~c߼|NEWUJ9Dȩ|)S!J]VN?/ι)XLWQOxa_܇2?£ 3\0M1XԻ I/[@5sp1|*HUNvd`9zlzF8<" qWrCsp- +;Vٸ2p\z#K+6] Lb y"{Ot5& suIBRLm>)+C&!2j/ i១}:]#"j!NqP傔 MF*}J+븓+!:-eV斀ܧWpnt Tqbf].PBkQeolߛ DOEmx" ql F:f\ ' Pl7(Y/Py5"q%)g[pgC΀I\SƏ}|G9@X!f6ʢUPBؚx~X-VFgLՁ냉|ñq l<)3wdG:P Fͼ>xN MEZseמ8ܡԢ&l^HBFѠ2XS1Cn{]Kr0PgВ[ ).@Ԭ+</TxI(8G|Y X[LAyc;T!ܥ24[EDїқ'8=WuMc"f1 _@w=uvʷ0LAޫё~TDrpLɘ6 ar3ӥQy K3X]@@?= f}~o"㱠tʑ7ƈU7)l8Mvsye}154KUВTUt+OJUԽfa򏮒RYP7U4 hBo`Q$ǟwEd㞜h CԱZ[lF>|T5 ON85?$mܚ{׶)Mθ}Yxym_n]$!LPH >W/ʅ:]Aiնs BFȖT+jo֡-ʶq\R7 n{05C(鉊5b#^0z 4smQ:B8`KG;{ Ph_͝$-m w;^MհUO a^ȥy]9Zz3 MEx} [d[L$6{v5uW"L Ҹkv~d 1;QYAȳmG2* sGG.YPM ƾ׭pcgzU8SXx*B~&8G+^e$&mh^NuW*馰#9٫IĊ%f<\(P]!}u x&9 đi5lRc}!}c_4>:j|ASyZVGh~"$e,8]F:WZUk}` h4\ sl h490R·ǭ@8?PVo߄%5H'(a(b+! mf0ؾ` +C@L6$S4\w1A_ oΌ rFA[t1hwX8}?Io"Jnkh^l >$Ó+'HaJ[ 8@+}?hQmw۽_+ 0A6w 3,N^Q0Ԅlev0Wi8 R]r n1 *Vs+a+n^Q+ /ʩ61!c&+Y(L3KA<;y1dX/k"%SU|u|-' Q}妡&~|[D0._2465Д5B@`N7ѽ_m^_ Ae-p$]N)baΤ`4,#}d.va=azbI[1M>r_ƿȏ'X\0WVtT= ē·_!4b@M!k-Ψ <}=%h"IÙkC?%p!K Ā~tm }ZZ7{2bYOwe cjok9@h45~~5v^ߧH`Χe:[*#y&: pDDS;J'L@n>K%aDFdÕoSs:Ͼ`:[Ϟ/F]>&Y(~$/ڧmX|#g r0:>ׇSyv9r"P'D*芭ZzD5Zvk6ʡ C!yc譴aڽU&nspMƗ2@;5^tCc1d)7 aYn5v`(:ҕpvmJڸ\ PBu?odqh Y?EGY˧ )cB2}Do|[iFkER1KDž0$Ҿ23=ms!zФ ϰ~j9Am9ھP]V`~QgwG>c6U.͖0ҡfFpHv7mv*8#9OL8cdGاOE{ڀʝý4F%SsA .z $h4y 9Mk3  Fk0> Xݛ#rl:xȂG$*܇Y&@xFZ"PK4 O KC[O8$R\ "Wl))WQ>)Wk.lA&$R;o?B7v*0jn#D+5o<ߞAý?S+\-wD{9._WRSb\{4˜R=q"NY]Yp3qWJIY8!=''Վw;cRãfꭠ G1{,9^Pc;A#y#hĬ$|ꈱ̈syBQA4~?6GJfoݣYP Ր$fy5~1NS=n%jg @!Kfl]ؼ%e14Oe<&E2Qiɞ@ Z>0(%d[O|H?qcjq40vVkpEWs'pn}kS0u֓†!EǬ,\M4wvby{Y)tLi\)Ti\!]s_kӪ]]߬.*-6U3zfzHs;yqo w@&q X#i]{XC]Ywzȿ)G449(*FHͻtm/y\W+C 6$K@&<# };PUs!vi'-w#)#G 0JngK*n`G@U˛x*;ROrazS[bie7m>5=3t'lO-D%@ChŗcSp=iO.upc|_-m3YrKxZx+F&*J~Dcy3@}oّrR]]2fPh.?3ir(?᳌ۆV6\c&;#q `4y D3egpM!|,sP5I5Kr;w1"*饡CЫJknG09Cz[63+"TSk\6Lػն4xS?<5V)\t[ !d9)vt~vjawejDWɂChaһŐU#1c,, "<~uG w-=h ȕϜ\Z5KN)) |DK*<휸]G;TZ̛;Wvp=Bԡ);] C,];ه؏_ ;( z.^лF?=m0_Fgc r͜@x Z6Uϝ+t=[{ݺ.aAdX`yo9C.iKJPҴ 0@ŠЇǵZ`Y<(R%i2云l+ cD4Mz>2Ӷ$Ex4+ LO)$]ѥyX)s_V6)0?cq?XT~MǦIX\V_ԠS:ou'06*˴<"LAD)Vv50cEnS)@BziDt ݿ=tN5=p,4Kv`*$7lhc`V [-F#.hy(kiti-+@ V^(TIlcV[7S냆tʇ([YT ,\&RRߗqBD =idLTwK cڻ2$q=udz8MqϥFPS9064ɶ~Hý}yڊdQ;xtY C< @d*"/ݳPhPHotȗ춋3*bmGUl j6fJHFES~!JWoߦN2O<zSLаO5 Pwk1ˆO^= GB v5e(U m "EAK-aSIsôp Y`lkԆh2,Z1I>$G'ƳTCvetkCq\9=t2=B\rI% R?c)\@W](p(띥Q L6GXق~ƶBӾً'A3 DϺPq߀M#_/`dt;vn;@rvz䇅 |3܊2_pieb%Ls8x>tS5=ܯLh;&ȁ#6:5(=/Oc–eK+Dټ~B1wuއj>#+`V%Pf4K_?ۗMc]CԲOeݖL&:kIiy6lVul"2pL)&!ɥš]nNJJ'Xuy1.1](h#IUa f5p42i-|m9fH} @>6տżsrnjAz"HYt;iA|r W~ VgJWGlt RjJC8L }F/USꕌ1}'qf;k?lŐNbF1et ?ÿP!,=䅉t~(ǂ[bWKՃVi("Xەb-q&s:mM/T %7E'FF+LVM=NuX.]Tݢ.tP*@Z3G2;ΉGY_U2LThcݶz&,]S9H b=,bJ9p<ȓSotaewV on obEuBO/S8]w<1o3I촿,-gq""n=`);PBW+=zϣuv~RRPeAVPS5TJYu DOҰpP;!8!FwJ،O/({loth&NvϹ?ċbfbcoX&6@,cNrOo܈ƲR*.\~GA>eSoc/ߗYqJibqĐQOrEuSpPz2R2^s)ΗwU;F X4)p"TsUtxĸMܒvFN_6fz-{!"Xxc"cKې^]'%U9epqcēR#O6nd y&[UаLԽ1[LME>,P tSF~VKE)%}qg ,a\M~]B(|,|Xh_PO0< 4޻GgV xVhaJJDWb,f<g>:޻-3P&gLR=aT< L ɐ\0BP[Ȋ^>>,<ъǻ5{59;QÜ \Lctkٵl؍ Riq6V1-(9l;v!-`B-Te&ʤp˸\G%Y&Ml->>Ϣh-&yU!j>ٟn8nfB0&$A6}ԯ̀ҤGt׃)OAS4i5 Z/3Tuɖ|> Un˽ ǀT"ԫpYۢ (س  /#{Ovd8N[I $3^,U $swy9~#P~xn~CD8=JvbntY-Pl7ET?ز YbVIoq+m-R\LMwy.Uk"pqh* א|!5,j$Yo8Cw 4U(=1c 5qx j~L1K ej+E^OʑaZyTSYU1D};C˺CT$Ebdi'B&"KׄN|nLitQَF~P fcR4{ܚS@.[h:>:-%'*abrÊ2*T{.C scMZ&F9Ocg23Wieܨ֖&ٙ&/s_rR[2 ţ&&6n}{65/>sxQc,Vר`A\0džQ0 jr<48t<#z ځu 4db2Zi54Y|ytş~,\m.H?r~Buxjf9kTa?_OOhW} Y YZHTȤj}w%.WNq]Wܱٵ4 | otz)c@%Y?Bz՜ZV([@kMi8(l+d?5|A!7|oas){"R󢢺*\#ciJH]`qF"ÑO.h 'U4L퉢^ )% W6&,LDIHHLf)I6~}\%*A6̰bCg 9f}܀'m$ߋcks _xa8Eμ\ANv~'f5_7%(!l!Q c^*: Xg8)]ŭ3$ 0E^MDÍPJ`4FQ'H.yXNqUGI*8혯tP-b2syJdλ=3NOMjF8G^BV@31NlbX9 'dhѧpfY^: )_APȭ \ 3(`oiӅ3#T.=>Om8^:r`a5xɺepFIv+)%@IPy$m5/_\ .*&]?PaZQUxvŜXDf{S;3zho2)Ӎ:E.)"ҳ‚׵Mc<,l$ZW)Ӟ07?M݀6wEFEo dQS&5w)sLRKt,a˩5O(yC_) L1I^<Id'x>,;F^c pYbģ~Lݫ}D*m`mqj gBGp]3@A#.Ҡ.\/BuZDFK)ˋVPUm&@BxL*WA[/3_$b?jPdZGKu8 xc{y+K"6*,̟m嶕2f9!&Zs H;D D:*0~QHo%ok >5A+%, LUe]ڴ9<ne|Ab\̭lqXѩy Z/TT9T3R1.ICIO:*1$©0b $ 1`ij]r0tu-'$Xs2[nXm [dJ?FSKuw:lmZ¦G#xDpy_}#&uDk?-z{^j B=.T*l,WZ8WfWקHcQ3A?@aZx% uaB-3W乃̗Rtġc1Ju @mbT;F]Pa_(1<̭0uZc2MNp6oqt8f"ˆً]ًO>R{#CPcp\.x1 2;FqdˑV==؝f$ʁi1r4h[`ETcAjVC-/euzYz3C1]'O]Ԋd#57^ ew")Yw+ݪA8'u᰻mVz-e&=$BH c2o!3b@28\3pupTGֽ§Cn'JNՠ97iXl9J|$>i,^ޱuqEA\i8^b(۔>ޮMшZFI?~DxV7"CoW?Y0l o)O)XB O'Ha_)/":Gs,0 ܠQh}0!V7[k%fui gZ.*ѕ=@!܎`RCѕ+y/՜ɟk\~+Z ƨi~؀%] P0 k8g*0qע8³϶\8 q:i i}{0F}4JVxR5ո΢? !E4P<%]P}"ޙ pk?V5;RjX KK/;6jsGB~4.ˤ # F;y40HJ6%'.Na9lu@'!}$.ځ$&<H?+դC՗m!H(ʯV)^:b2HhW/SF-Ĺ3訐#٠MSqJܗR $s+4_T: 25i,ۣZ5!L_)E-.L U g&{uo7]xY#Yx) $gAGe4CD'үtt9t'`cǐSx$DY,[mf30|_ԹE O* #x P|fcO0}7ϕoNWg^k_t u`FXrbV 2xX[$ZD\sۛ:c:AaDC)" } {r=/'!pD9QޫzHV'͡KcamARΪ+r Q\FmZPh@y|@DԞmu4t W64Qe{ q·2˘vV+ҹ_$ F\n (x+|6#Ij%)kJ·^Ҟ 4D'j3{hg;A׵I | mO?6hϗfTP6uNM!v2wX6!Kbos:ؓP u$n0*QʦJ/@@&? 0t}46אLf#(Y( f5¢u4Oj\&EQx#T+G ;ar',2]64j]cH3bV*uxm݈]6^4=f0HS^JQ}j^{:Hz& CԜGPlfv;>|mkM['=<BmF _ BbeH8C*\l#"{e$NWM|zmnsGiw->/n(QrZc+oR]C‚F/w}L`×wٹP/B5׸,pRr?;3:gBҤĉpmJ G|O 1n@\P3B@8df=,iҢtP˖4VyMye ;;:11C8jCLi{45_J6,"6J)vS8PB}uR 삝O,YFZ751 O\RR2DEݧt,^ܐQ{6Uu^щ 3Ё:Rw S̎9I"Qt*Ǝ_ȅ ^$Q2[hIiPvGguI] y5ӕ}<ε6-n&Ggx@_ͅ%[ %0ݕ[b ˝)8!=| ~gbR ;Vkob] y:DjF?_}yoZiE c0 sN5+0+oXu߬ YTe$[+/OjWJ`"SazciY2+\S%mԛs/Iجnx5ybV-A;CWkSyl|%U\QN%{3ȥ]4}q/rZsu*9/[%t¤ʼn(H]@ {% _U߈z#k4iķᦊOo ckFP-Fpp67IeE -O9cSa>,u2"D!~|n' (?F@zTr]A? T+hğ1H~meS`ŝfhso q%e*dۧe:qZXJTf2FjƤ/] ʼi[Uxwo  wc#AYkx} L(OwXH`~h3C6?43Cٿ J@EW\G-HZLI,c-!|ُzUOs -ٚ=D9c^$?x,Z^ȳ^c2/ MO+Pkm8C;{+0=Vr^t?tˑzњ>p8.Žg ”C?ODA/\e%6LYsXUM q6$B}LO^2]~]c<ҝRSj56؀Wwuŕ?uQnWSꊢG!irC{$BR)ɵh5a1Yc _- +G8RȒ}+ZLTAE)vpe;aCQHj83Fgil/섥, o"q :h̲SJ[FT jy!<sbbdi~Np!ԳU PA#z)F">IAT8Im>1>ÆrfR$9WG'K,.J^Ny:˕N%׊R*)&7`YoS/B;Xr>P40:F{#ݎP:LG"LpTsR{ff1>f@%JW-2m) (  :~mGd1'ڎt y]jnWN' Յ$oR! ^Oi猋H9=;:!} l1.6FQ+İ="8)9]–hCdnϒC eE}_Pua3xW 򧮁(y,up !X ɯwRT-W"L Ak<M3ɲ|w&~wӣ,BE1 ubX"̆4{)2-\ztP0-Q$zs1hoJ/axn/xy8 *+~]1-72؇ɭ:7QX omZmV JЮoU7Jz"-hU֡TOyĒ'XuU"+RާuPwܗNt>;EK@Cő %hR-\c|j$3+kR cmСd3V+2,P;e;7quҕ>6NT_1IC*2}k%4)rn/E1XV?!|lDΠ%j c˃&N0*Jkzk[ ಯ6._-7 36n,ۉhJE+203t CJ9~+ bYg mvSN)E Pz ;c30N׮t(6I ~.73 zJ+]F9⧽EKaԁWv op0 "@NhR7)| .|639^:]K,q쌹@r p FB|*jU^Ap^ W>Hc.-tYIW:)dTy;h!P pZ9n8/@Jc@s'FlUu}b:1-S9@;eq{HExܡkO3d|g\!D,و` ?@!XeS Z8r>S,86|7+14jd7@%4g5-?,eS _d@bĀN98@'nJ.(Ѻ3Ϳ 3%KW"`pZ=)ޏ _1a+pG펳=y cˀ&SNeW`CG0,<-%eɰLy zLp%)4dTRuu>1M!k+GE^k"p'^bw;lb˭aL/-ط&G%ߘ(M_&ͳuJ4'4 M=WMWtV 0Ǎ>t۝ V))sѯCp)@'FMm9 MLXX1H1чv3L u|׉{(1}CKشc:OmTajNx]IQ0E*&v{C^{-E&Am_Lw+H-6Qglvnۇv]jM+A}Dct^guғX$(#ien)8fj6)eqqDpfS W-<4efLagNςK35J/Y]ڳ13+jz ہn"JǹI6` OaH-|T͐O?Q?]z)=kԣfNG!Y(l4*SZB{C}oCX`Nxp|C`gU;8pxݘG^G2&{ Pk "/MCg mC*ss4,1㕛@:"زۈo{; Nf0!7{bwe?$ O}p92f2LpxFD]pTL.RI!~s^'`_Aϰb$:v-C*R!S$t9zJ&of5dZnd>P.5(ɊCF"Pl$7s\%"h 1RqPH0[9Er=4QKI` ɭ2Dg 6Ϳ5%>bŃNUL1_u5f2@;B%R:~ $rsYddK>hZFU Y>G ɚ *@!^|;Pnt&ع{O|K 0,')&C0kgگga|X"7Ȱ)d\dS;l /a#R S 񄰃Ztcyӿ)g`ŧ`z U '\ ':#] T2z |/v {OC}x'pWs :SRrMSYZTHa5*Ҙ#`&:VaH C r)FWJ+P\u@adqGbC s}z3H~Z' :ƙU &7ê>h ޠ9ǜ~)}lq:F~R:ךjM4tNGR tikz\<:ydፌ ҆Cx\1p^vpKi4 ?¼jqrB)ߐkJFbX* &m0O|VUo]>T^I]'k$x(AKJ'\p-2Oq6,&q(.L iMH5 |rOPxÂJ_DhktnXP+kj!,;15Tzņ]7QpL-%e3]lϷn$a5(iZUGq,ՎZ|NO3,һN Di`,pN;c^LfηHyUn2-WDc0iV4\6$*N9-9Ȭ o Tbzڀ֫9a(h wuG,I.&)A~%߿WkHg>ҵp#Y?mUAQRxݶU3ߡj^(81` ̺M6o|-7hP*زrp,#NK֙a_HHe(s$jgp`O~iXb&r(ίׄ1tȰJ2{wEryz>Ǥ R|?j8>j$h:v ]ŵ5߼UЗ&X~"蠃9rV"+jD E6_#wf^xƒv;kN2L |-p[]XV"~s4jl)Z\D=Eo35[ 2ӱ/ f͐XU`L-Y-wGI6Aju0?T sA֑4 p $;v*OkkmV9sKj'ZE]0$Zy';ʜ |SYT%6i,s _ĺj{+O8nC61ȘnE_!z9Eڢ=W;¦[dR./4 jТ2s d5T*qy;vn,y~W0"ރ$%u2b#ݬLG: =~/?w❝W6[3:;Oi)w T-.HFH4Og_PS}z[`PV/77:wjȶy}_qDrsz1Ys/Fԋ7xjJ^Lg3Oh,g̕\I&8!ɏf_aqyFyu6lqݮQ(;+61CZPٔw|^vFg޷T81n '̄.X<=2M}i;bI||T*Y*'6x"xg.B*1'ЧdBAm[t[\/-!H;WiYV'A9rX6ꈴtw~V6.<8PJk:#LJuoZFܓ ~f3iW45>lm~C2RVGIń0 n/,+~b3Y̺ sasJQn4ŌȿVqY*gvs^P6~x{Dgoa #3Yy$<\wte0 $]M̈Hriބ>E74d4.;?Uf&yJ5WcOmUG Od= uQ >*VgQ%9eoKvʄ (xmr1^*DlrSWvcQb kjp-AZuX z8O:X- vP:f`\ÃŔjl>9-AomҾC ?GB%wn-PX`{!)轘NIoY^a/1z:'jaIԤX[2>i9b&& cөwɔv+Z.@|L٩*8L^D*.pRki2|N-C5fN֊C,tt,t6>Z_dtj6QklYXID3a>Y+d*q%O찆z!:*Y}k9Rhj3?O D 4P'\ mof/=\d8B4̐ЊIJAT0{^3*x(E|3|mRsMצy[x=Z6Lդ1Mc, 7lcZ*ܣClfdp4K%5t%R|8Ԉ:5ɜ!g؜ ~_5Q6 v H[rI[K"dlbsH`ڰ{h^UWk>=/ /ٍa2 Gie&?5޴N%^ZPd}!.Z}x.i?BD8QA:o}Օd>~X0(K37rVMP\q*&P09"#hW`"ރ΀6^B^z"K K+Ãʣ\*(0N;1rM Ò'^`_~ dkZ[jʳE封Z5BuP5CTtO~ziN@8LaBG=љEwpdZ]f6?L#T! Kڄ}]Pnz(jF=)RL*˝G`)k,kNqTA^wVKdFglXO ~7U H`Ν i|,=ڳY85PAIw25AUSEtӸ-&(('Dlgy`eBy`_\ ^-SB܅z>(i+,zg3MW-'_΁oň~G`#wC8M, Vv;=d}vXXd!;7Cpe(!ݲBfĎ7$GfV8x76-BKM;/&cIm^SHwgEAb8>2%afrWFS&+N~c\)vl^VSo o;b¹}N,|ta;CtO<4- R[bo̵wE_:nl _QVϺ,%MX9JCPMk W-1Uvn^Abl:׊q8[:_2߫A{+L1aMrfT6T8`3hיpH I;3cHi״))h:1|åhre~sjKܛu#DroI qj9(ď&8E=w)FFev/b *يI]n&gY-]e _2^q؇O U4М*+ֱ/7X)~[j7bb[eh;/YnbdUs̹dž# ̼#sv |z/{ u> D'}vѝO'O}N=}\EgH&&lbX+v;9ㄭ;:rT. R0i"Lp_ 4 )s>`1r#V:IAwX:,ZKԉnKWcȍK8' {MG/WZKPqo!!vuZ0tuԞZ ?_t:}fw( Z*#ˢ2Im! 9mRzL'#D&#ePURFh^PEnb>kq7NJZ ˽,QD@ ĤLV&>M{KRlggNήsӃ |jF;lnmxW"va2;zIfE%7aZe IUAk[roɄ ٬lCR" 4?<$ J4EZ]=I.nGnj(su6?i6W+yy!UP*3 .~{`os>rdF1%cF•S>H(y8hUJ{qo?"F pWH" >3.GOIԠl!OpFv Z5~D =1BI[D:6o &Nabt ! * 03B"{1QuckܮwDq׹]SHn\@swxEP3_Ց0qFM*0΃Ա[ͫ!x*#}&q0*ad%^dI:}Z *C r1x~CMhspA_iMeWT6R|B7}$\KrCH>uŞaUS]>ZH[3}TJbeȴz3M9u:9j䆘䐚Drh.1MޖFN/b*n٣|*tFu(q|ɜ?ZIS:a=RnD@KL)! '-_x Ðo6/å`ш6`=z-ųQGc(tT~[ K/;Jimjo_ 990[O= { m)$X! ePߓ ,0B$@g73AAv9uy(pէAx݂NYF7r(݊㱴 Ǚ0YqÎm$}3wL|V4);7)24j#^3;J"SEZlk%O}\!)I9:ΈQL )npgwhn΢](Cz<2X" ^%G8oi'y-`sS`Z g'J܌!@-'HJR=B'@?>4uخ<19I A"BD!pc+ hY0xdފ6 " 쀤;3(]@rz u(xʤ[b#suhqR\@M(x|= @J(Yj@w9]&]'AxTLA857١¨[G1 %sDD-֥[D0"Zk $_I)^4cק[;{H0`](0I'疇}'drdlɝFe1{b1ʼn*yj>4_kSz0sȕrYc xZ=@m[/OHޢHnj0*- #ILQ`q/\JGJپ P/aFP:/|.p)Rr ul'Q ֣2xsVoRH!Op0EMPR!%֋^Wm2䉨jB͵GÇف]~}ʞyŢ?ANt %"lGv',@Uh6\Q[ ;VRc+)A3<I`<+#ip†rn2BHaIhXĶ5a} X/{>[4fdID:^+~LDDq7ZkV0K3yGnCٴHB)D͌6^;0-_B\_ UGaR)Zv-CџTaNT'.+e*ռsMf7$wR1޺nQXvVxh^u=>L|2܊{Ȭf- } p _0"e8guGἷmy/c~1bk,9pв/Hb%)IP-,3Ʋ[C%2-ht*抆"E]gX/8Y;)YW f4m)$T"=f*k;,󩻈=xS^^,3?r:edͷ  =MKnUfM6|u ׫fkE<"rŭ4=/;Q.Os烨 >x󵋝Tҟ4#4$U~W ؅BJ4C &|mY< '~^L6jn|@"2g'3 О?;$?hm۠g(UoWkv}ٯ2qIB& f"+t7nd2e8sk)Q,տ0~a> .X$H,sՊ(g]phyFa4 Fɓ1P6GRyN3ZZB;|w秌ta[0۰}#}=;SigZKM ɺ3V1mV-ql pd|5 WoZF$}č3c&\%PWÛzk @ 2Æ[`<{2Zy7Dkys\Hl|b|@dJ`T'ߑ;L+0ۑA׻}ZƍʅYJ={l(GMˀ褤 c1OiB.I)KeMtp=@ SݱVE%>,8&%|P]iqX_ %r8H33_Zx#ttErzLJt!X73<.X]Dq)n"_=c9Z-OѮʰ''(HvITnCwzhPN= \Kp,V`ҽ{]|J+:}v(ٖC-j\?s*n'亹kqBtiD7CxX(0ZZ>331%c0jѽ%p`N\Iѯke)l*i9D2s5e.MݨF1Ճun]wKώ"/N'4$3OsLZp_W(lP$~ NN@񥐐MoX>`īi56aoI-H_Ef袴Fn08[X[!UIN;fH -b">Dqk,rhŝmoޗ$?j Sѵ0FpGDYb}HXtHOH2_dJ_xȅ9d4N84fA;]g[3uE$w{eM ^O/,fcz}ӗBt]+E7%Հq 'B݈fV-{K'E(&݄d+VJӴ}-8. = Ƒ\кRPgY?=fݤԤj]\01}=Œ尹ͫ{JgNWʾZC٫7t( gX+Ic Yls؃q:Lr4̎s`j%w7! K,dzdbpOwMɟ^k})'%kSByɭ8\`)^0qC8:Iio>Q]Jǯ̄潪 N& =n=O\xۧ0f{6DbVQ LA c55HU5-fĐ L.)hH:Vb"F) 'RTԆ|\?0,˙+Zh kJ D\U5^L|I?L -)˩joI{&xjq&`vz'[Кm)}¥1- 4BQ$1H:h[:NQi KZfb<X &[R0oھ'67b -aM!a&iև:,tF;os=4c{pL2˼Ext *j?ً?mTj4; VzV6F\lo'rPൢ6Xo$+`EuK"TQ"iI86nlPz4ȴ}h+ghԥH@Пkz4i /jt,L6Opضşk w^k>ؔr8i'/xYvzlvBӃ^(ezpXiQӣBtFzd&vdPA6!uveФ-Uq?5N+۲8qqiFri>Y{5`}0|hrXJsZ_*݇єۏ2`%F.*JKl:8U &:>;g+gDu!IԤ1RZ\k\_DE\"S=B}.7Em\Kp3"M90t!'R I~.ؐH’t3 .-<aivG,1AY.e&{HrfdI=o e} +T+M~׎lbNNW2/wCBSc3CC*\ÐoF"H՛.wbɣaL_@4,ԷBnFv~r֙/Xf;XɕW#ELkMsِEȚyd"#pKFcY-˷jl@Vi{)mYdZus만dؔH&t3qrxոŏuᜇ@auNx4C:x[n3̐~TJMÉ@I|Uvd4q/JqfQ'DTJ$AC (/WᘂRtt O$Ϙ= @xEB1CV8 3E,0usj29Ua)v\bu`ƺ@[gASI?*ȬY gdq3Cv .Vvn N (!2q,n׈ Fyi[IK] w6):.3lnDcLJ,k-8v@X?sΘ`I5GNuY=hT f1 "NZG=tvh5Vg͙E 2;SXPSBI[?ض}4X\ O#a Ԫm.Ү"YutԔg(j\10ZLG7yLG[bQ6.fǼ3p ʦ8*w܇Qq;#O9r .݌և3sICEJΨ9 •&&ɮa[6Dɪw5N8w!=ØV2FN$&Ң:ES vwgZ<7Xץj';MظN+`zdiax~`ݢxP0vëD HӭVBРԱd6!Xz}/5N75N O/^ecCK|F3=_+G aڑ hxҘv#r e44{fy&,v\4m#7;׫b:>cz:У0OLsHMp!P̪Jj&m2~A[uG%F^l?q .74M.| &K2O\FTեfTLP㞣5' g8e ݘ4sݝº'<;~Vlw:zFNd:6;6Q?<[vr8{p9&ɕLKmnC*'FN"ŭ ܗ #g|2xr.!e ڹJe8w\邓[˩!jI>n4qa[7$BwFeLܼGܗVp|q% o2XUv<aRy*O59 D*7-GKX(-|n <Tnjm| *6#+8{0hl)βՍjǯ*y 5@9xD6"*i8B,{&/%T !q-1 M羭\Ƙu}'{R!0i*$|[rfx-+k[̻K9Ћk;d?ZIazǿ^J^ϼ3J2,n)bmA2TCdU# *_ځ)W.4x({^#A1k+:}Qn˷@Qe4W&[߹|tbq53nOb0j qz c(]T*Iř@qYs@d.KENHL+9>G8ȎNto^X-Ċ1rJHaDWGi4&L_` kg2abq$x(?cE ۿ7/H'NWY˅Ka:Ȓv ;w2=U%e_"K|,mb΄Tosr#sY :`Lm F^y e=C%.H"#,j(7ƧbzAxt|<7$#-SJ˲^uGmxN0 hPO~9 -# Uцgt30K淍SZY`*hsj AB btE܊迀 E>xnX檹 PO~>.I머lwF)֫isX{s fPLǘf($ZL{mJ'^3q(g6 iUxCTFWv"1/FmizY`脽zf%rE- 8نd`i<Cn1$>fHiqlAmkJdfr _[e1c΃bۙķV2ŗzn26s٬YvpER,lE3XV'Ɋ{ (dH`DݞoҋLof2\ms%WfF .k2kAh頻)jCJJ bBb|nI3j_ՠO/Mv MjBгn}񆴙Pf=HP(;6L['@ΙϬ( o] ̷N1'X-Wg>ѿ8t`AhfL?R}&PWua U/O^=AWG΍)s`S9q_%3]ph>RN*Eiix<3|ǧL9|8 _¡tЀ !dyb%&Dy%d{f,[0τ^͹\ev ^ߗ/b wZvvX^Y +mĽEB-)iTȰ"h 3y=d.b12]#oօiq*LEO̼ڌAʋM/ @ٔpf ݖ͐<d "‘.'Ad~gp*7wFhnX]Üc |arGcm^KIBI29NtT*BpA."!-Z@Y<}d|PgF 5cx@,e{ "?Ζ_;*];{1e*Rԍ|Κ cɛ[USz 1Z\~7[Ġ2{=\ȸôPԽ))X>Zhێ{-i|s2և:!W½əyQ[$KdZdEW$xvz t[U`\)0LE;GȦh-rO}V52a1Z彮i:|.[Wڶ}U,ѶQ1Nwob*(R k {5 Tl4X&{4o+ή^CQ{jkuX\_Ƃ|.U4']XS9Ɲ_9Nݷ?D="z9A"gdm67!#%"AikCtWmwLY/I钑i[V3ijb7Xf @.xRqDU-sUPtŌ@xEۋо%im4UڋѠ@qGn;dDB!35dɏUf<u&4wx/ueo"H@Dk'`stɨ嬨<'z2z8´)p 5qT op(XɞV=/q~>DT/KXNt{=(׵7(5D@JݨNuN|%f4u6X;mKQЏK1LfZY.d9]CFIX=p~D QHoc~*ӋVtuW˖*iֵA3\o'tqk%dPӫY-yU6H}ѤE8L;Bb&2J|R QW wOD^}FPI?W ?[&G(IiH!E`5No籸%}s辸b:59*-BC81֦gDZ޻c3beAH5'ЧBó14tC>|e+8YT~=X(Hon?( _v.#F ~ۧ }8 %h%$1"<9Q#6+MJ!6pwS< x&bg3_ hmx1)]}C+ n%kHMzgԣF{.'usm0=ݦ52avzz%Zbjj[JVp; Qƀ;bqՉa1^3{vX? ~BƱf) fn=`Ի:\6_(\N@?]'^DcR.zRMdnr-U*i~1@tj4 ~UF?U x,pb>Pb*GOfeR|n{xa `s' ˞-Kj.]b^ i` ޻&L!TvT  \ .K I(srn'Ρ&vV/x`4L!Al jb+|8sB'ǹ^;h!\LCYxQ ;"~dSK)֞=ˉENb$ I`Nv:e_U.CR2{>Π/s+ޫ`\1 ?ţ":P:V=:q%AE[c=R%U3 e_S]5? ?Y;Z$8Q,.#M`-:DcI+^pLql_y.=*>u#w\KqydTrn~FxGBtypڢ\0|w_F^{A@&ᰡ(I>,j>C } *Iϋu۔P{Y}̂2 ED:Y! pR4@T{ӿ xSKB˪κO.DL2W{GTK^u< dݹ][BSMr @C+JpAy9[ '5i8AGt3݈za3\`qjv]:Nv$譶}zX5LԶqau08sPn|6f ]̧|7DP{:si kn9߂gc,"MQ" 1w7+v?4(9~N9E`[vd/=~9~A4ӭM\x O5F+Һ4̡ͯiJ/ta#?3ێԨ5=q9CGh*CW#J :Ėp9kG>+c$=dTsTPm$j#Zql޾\|@}k(R f0ߑvfVgmVDBnGMNE XLWIj*LaMA:FiPxB"D +,W2sy[5kυ8;tŖx(Axb9AyAy~@_*W NW#IX&|.} ̔+j>&F)YCuzK /w’qG*9+P9UR=yNyMd|t$ * fgY 񇦋WYea:~u~j(.aF*{D7ϛIwN{[隱?9l-Nal#iI;Ԭ-kMVjK;)B1jj5CdhL‰$*t,&S;[5=))eoe [f2Knr HU v4V PqZ?*;T xdfM"K菃) Jq7 e=ywEo~wS_oMyHr--j̈́jXnl΂(M%F-$I'[{9]&@*<_` mDCMVI+ʎ$yvq}yhdkǼ ɭ veo B,+4 WC9ŗx9tyke/$g,rfzZ(nHp<)6&n "% 7 >ND>iI`]J$%V)#YW|cQ?_Gs(pp /l"]_%3VOo)Lv?f%o`wXW2)Yǎ J0=e#–dH(rbc,'4wP}Rf J җLiO7 Ū-nz)4 v0y Pl{⠭M]+ Ox>c7?-UnM~%!j oZ3d/ t)=ΊjRWd,{8M+')`hʥO=8Ne)WfP0} tJgSZ*M{}|%o7;^:XMAYvE@E擘~1ܭ_v&0rj5{{l5XdRw0Fj'Ʋaƍ3  KuzKT}' hŋwWܽG w? zFr7 kQ2b{VN&hl፬gVi5L~ap-<.Pjf9vQoWG9Noa<˩2 tgߴmjr8<ƶq=h1{#T#r" dri>5g`C!2J*3krL W;. *p>ǘS! Rl+}#GeK#GB@.6"ّoBX(hx*3EO{ sme>nި)<4E^,8 1F9;g[a*ZG]nFa_ůvp7l_p?6F:ؿDž+/DܼFo;,`&@k)W[kzT,xڀ D`Q:@TJ3ǣRX}wWcF T,='i4JwBlyPHE4 0i7'k:ZP o!6xP8#n-[U6TaCli"A#"KuPc5X:oB^cN &gvey~6*t^S-C¾xr90 K.8XAqWKXQIU0/ӹa)X^(zJ?mD&?80IqGjX_2;[Z<Ɗu6oڳ(Pf- 8]ສNX@;*z,|=:Ng+=^$6M%QUAF[ 6`˒>qm5qDMEJ(R̲nO}hV4''jaMvPh;|Jt*)UJ-I\1iYas|P]~B遨x9#"V z˨k i;GǢ>KJFp|6S 3- eLnqJ16(ټ%|*\BF5m NQȓ1!ݽѦ}Doڡ]bxwnW/3BG &zA/Yn+C FB K| *}ӣyJP1j"g\,;DɈ~c,lP/1HDZngYZ(U wðwŇUtUQ!u8`d-aI"'YcЃ;-w`ntAґe{zvl0s6(A N*L]årqc#Pq>`ɃrX$֏ʂNK<NDϗ))A38.{ }֩@uN 2fS/»ayuaOjey qM+,H1x1(;/-Fk0I8)n`eT(8snbty&. Otˇ֚dh%4m}Ma?9!-Cc>XS5Hf Zt@;yZs6.M(N1`FSLFHmFM "~j7x˹;(z}]C7{YNȳ7J`+hDio{쀄lHcZľR_WkfUzt}Oƺ·DUɽmҞgRgF Re'( *g-GB%@[ H(LKү|:&Gj?,jt9>}ӧOS2p& # &a.d/R#iC[]p b/Qj]0MJL9@Ӷ2Ζmm@k kYN+īoC¤Q D `ihOrD8bD>(j6rꘑv ,ӗ* A>LIi܂'ŻWUSB!΁ s`u7;a2iC'辵wD  gCoYTOAVQ[W Tŏྨ6H~]sB#GO!pG [>s1Pn$<:oՓpz[_TQ"(.X^](?_6%zi5+3q3dũ.v ;Lp|e8;>sky[:[{mŔ5jDq UBBW~k5سwTOc 5_X֧:@(2GŕtGkl;FLWH ~1/R}&+_oЫ$=9zՐ7Ɂ4֐DRAm2a4^hqcрy̑:O 3{~0*18W-aù\2t{(3G4Jxx\U7J&eAHS.jǨ[69xs pmChWPd(?v]!Iy 6.4y#"G:Ԕ^w>iCkLT Vj7C[c!OoOp̕(xU`Xcn~CISlSKGq&HbtZa^~ܭGP69aqT?L" }9ιe,I SbYQ(KVb2ǸS <[zá*Ix\Bnb&JFxFR i3mJseYU0wM<,mb"9,ca|Ж-p6sw[R6cc)B4U aUVпD=:pWӘE5 aoV%)7}t:Y!7{X~ǮIջUxTn>^eI\xӥNT`.i[)BxN3 9"&FCL%*ЍIQ0x]]&+r&# 압甼HxAJ6\=a"Bh!´E[>|s}|ҼP~(]O[R?{2 ܾt+cV=+?HVs>Us te} V9 z2]{>Eem5 8(Yo X|q79`u ̌2Ý*mb`]`S4t+k,;Z3!\ʵo:GA`҂ xLċ,_ U\_ ! UY(QҋZŝm+=VNaWlvg? {&=e:EmH9:@KHɉ s f51Vd%he5zxo{F5$uQKϬRQ jJhx=Na;hbnѶ &;2R*Cm9vn)Jd`DrHtVZqר( x4\}~A)}yVPT,:.۠Խo_IJ6v(L]6WFW"y\mec_<|N`?Gb[JPp00x}%5WBJ i0LWcߚjbb@/ I<.{2{_ j-8㴩[zD xMlA_#YW5,F3QGLZٰb5VdaВ8ؒJ:XK9WjE 7Ni8#+Y|k YBfG;Ze]aQ?fgYZ @@5 E% CakeMLHOL-Library.Lattice_Algebrasdocument.tex7zXZִF! ͸@]A-MՋhvG"uIBm5gbP\8(iQ3$1r÷t& slb/$u_!=#2og.}]Enq]vY8+ g*FѥH*IG d]nOOxJ- &Ss__v0gi; gg66-܌2A9^=S0ζ^}cG3;n@gW1.e0f"D6Lb{[T?=QzӭTsJHG|&_,?! zlx6-MJry[&?}!H\vQ$f0M̄fJ& Bk\m<:[[ wri6CZ];MzN~/Y*%Kb˟]\䈃 4XP{$l sAD!9Zf25.cY65Q&+k%h+C:XKB-2#NAdAb5A'6S aĞE<:D``zY= fP;e΁ 4X4(&4I9 ?:9?~?C0#ѦxqǤIB@]u[AN{s`4#esߡJs%'J"ۃNm;hwK#A:6<-9[N^N3m 7p:'ugemzpE b"js_ŷb_\d,3ckDc@e-B:q?\F%pa涴郳6/"',@8gQN ykvS8x1ƞk{э5.lfq+0-x?3_qL?s ch+K?G F4&$zG_AE3S1RR5 R c bceqqG՝ He‰Qo"O8ǃ9i3U``׵xI_+GL+~?0ygNC^1+2p[-ipڛSV4!DD, ū}gOra@H h  V1ȷ>į~挃n.Tj~P?0|avY3bg R{s[ Q̈ \̵M$UO4gᖲp.gs30 j= b&aч )|<_|?*a iɺP4䪞*̼rB4ln|`ɐYƺ" *|T hR(E⾧%fV@!߫5Sf5ͰGHd]Ԉ {/a*y2TJ 0ίҊp3jZNcqq ٱ1}vC=Th9`}_w|K-F`vVIш9TjYڽ>4>ӦrܳhY) =|\'=yf]\ hv@~9q:!Wvz%DhPm t##@M{Tؗg9Ɖר nTN+.5CqViD KH_U8?mbYA MQ.v%KYs/l-Z6MPk*_M'k;r"QDNIo3Ig{ƃ”j dĆX(q6Knje1A05: ۶:jk/WA^6B c(PV X%0epcC aK@U}ID&.pE'g1ۢ|e L1.OT Ef2'/S,is7eղ۵iuv)0mWؑ' bЧ!,8Yk_ᩃv{.gC/[ɝǴZ czo{> @ԛ he9vԍbz2sڸ eqR04փxq2S=dKē׶{AجRrUo5y7݇Z^ T jPFщ$cXRnznr*X9}Y4cS~v}~9[Sg'O#4s*4fEƴJ`qkgsAf{KidU/e[l W`_o1Og,?@֯kO< 5  v_Q4nGvQ ng"Jzu#[)Y M#Qemh7/ZTvȪ)֍lxiGiXz^{p80d71Cݘzq|b$H62@kGjELyA*Lt׿Õj=! !M=DUo mCEGPM}PfTlx2j2sG"ٔ#D[tF'43*TKA ])ZWyh};^012ݭƴ)]XL&1Y7MVx7T^cɅD(z4*?xĘD Cc &mK!UX`|<M[ucmp:޻"k~ L 2SVԩ'N遣zkaC&RtzȂ~qV*' }3&a4h[NChw %SYlZ <@˗|֥ʻ0z>E#Ҫ~\18S%pԬkŴm S8i Vq*t&pODACs0Xgq*UtיD*9^:|y_=A3J!_"_a'L[$J}bY,l)gEr=nT'RShߣ<8 lbCD`J(o ݅j [IآC? ŏ6PLCJxUgt6Yj!J>6;אrP @kجYdBpyM\:iTTE=0RڙO?Dpx=ٵaie|qB7`܆o3>eʃᏔP6XK`?#W5N 7h!ow1w&љUwo'-mGQ՜ dNrǛ%q00\9 )[HP'o `Wޮg$rŽb;Gy;|L7@ѓRB\‹ 4W%t"Fg'Hɴbpd9UEO#yHpZ%#aFUH e8,##3iP ^0'I`YbDZ^*=k& }"}ID{[0B .;&qgmW&H$+Ig =FS\3ΈwF$n_aumi8G <Ȯ >}^U#A }–LTz n 6mQ83~#6%#mPd$ ]뗙Y2oka줇)"&:~ X`~ƿT$~ŸkEr,劃pC@3(Hq,0箸8JTMƻ3ln4ԮR<ՃI CyDա4.szz%* tUUKzW߬*`''E|BwbF1^pjoycplo'1hH, +n xӫ <('_ oe2+U~z+01'G#KM/1Ikݦ"ؾ#'~з(L%2RU&LhQ&W*,?jOTNЁQ70.]Ψpe(%3& |+ᬦjRv`&lndAܯJPZzI[){€'ó{a 5D,yXZ)%(lⱾp7J#UK 44.G |m ɢ~ -Kt݃=J(t!n/q82 bSc@+O5g XB@8JǴ,mtxikk2x{t*3ӥ`V_ Ilp6G,&Yм/^r̾ej`_ Fiէ;ƿԑgxf'5+(pDIZ]efŊҿǞUwƿ,(C Gܸq7;NNO,"IQK=b0$a{k2qբ+:"m j-{y~_CzLJ* +nqTCex(ۃ[{}K53!.0i?yy6@e9W i,saG(Mo)R2ze7~~)pir@*^]dxW[{>pW̅q6J|pرNjF2H1RoقܬSOOm$+􃩇cÏSv&rڄ2FK 0?\4vv4FqrqF%+l1컊XٙC*F1՗aNfl3 =-ճ]A n撞lzUaJ:?0BxQ z"ЬMha+{bеlRfq4wsgYZ XX E% \CakeMLHOL-Library.Order_Continuitydocument.tex7zXZִF! ጪ%]A-MՋhvG"uIBm5Ń!31 UF e¬|oXx^8ѥ^Z $Z 7'̽1=Ґ%X;g֋} `X ww={^g'?HեG$ѼXu U"{&L`hXMm|:E\޻Ei۟ e :jn7FFC98_؟7Ni!m qB^密:W'QB nE.|)sEN:6uNu"yz%~\Wm:]T4.pmIWhԉ@> tb 4qO7oWvK2/rBzTWKWԵv^3#=}pAR٣|(;Dc۽hnx,V2w[SiRb S@O>zpXtR>d^.)&%aޟI+&uj0q Kl ow7vS>@#D Lc_ 9rzj##H|BBW3B.x6~*^ptwq`}Ktrb֣-%ѫ[|S([r .AL\:!Lyޫt,E~;W(1{;NBnX2*D*!1ry[ouQH }ʐVf_ X y nW-\1t"YPS$rkQ3|I`Iw,5/Dk2)\JXhpp`1Rs-v? S)|SvʛvRx='v ,:x-m^pRJ6e/ f b|Ѧ8Fϼ|tjΔXZk/@"McJ%%pLkS.dt]q$3t:+aDqi0sAEp~_zӗHV4*3ƈ`ʂ!/dryGgg6_Z"1A>I#3;)e UEO3gg e)x=2RP~đ%[=N96vesp Uh{H:!3+xQ eiNx~_͑3kjF7R~r@9Uj 1g#{AX38mdRRr g`=w/,l4?5!̮ްuY]C4g ;! 7C'~Nhq &G!gNTRK= 6=fNc |CCB#kH3G&+_pŸ>tPL_ <'$xkbOtgD:0-C Ng8rN|0S.T5=RUPpRrH<:b`ۇlnxs*.rPB{3 V+h[aWmf.ϔJ *ə`{$sr@?5^M_>Flj(ZƷl';pB^ CW@c/9c[:ږUuiJfb$]6OTq`FX@vn)b^眝|6ڪZRQiTj^DFJ-%f<iq"&KJ7Z@ISr7In> !b`SWɱd?bZrBqæ4Ye09AMP) 7s{@F͈D/v[h븫R _KULX-rݹ#;lIdЂj-m5ShBM_|i wݾc M\%}tdM%}'jT j:擝~,9\8%CK'!p(rڲڨn4_SK ZA;=wHO(&b2qߖEMz'ӧ[vsQc(#e+!@Nk-} ʮKEi6&*?u$>,ԴjKSBY"1lU LPs~ZIx^Y󌤎6~yv33P3v+^;xh{<F1+ӉtM(G?D^5't)K{Mp!q+5%##CŜYRX)C19zAE"vfc@*!7Goz4ք4Atd=)+ -)ȭyYbj]'~1}J4LgdMX3b(+__nU#bMU"'UO-7 EwcKsPVc~z[*rR@ uis"vӔd!VӔ]Ä s.e/LNCWUd~ofu5L!m!χwXqS 5gO[<fcp,mLiTcj4Sb$KW׍E(-ZMNfҕ(vYN;(j(hxs„TLt̜d<dt[mi 䭰9uvfe@HV9Z7^p*~GKg*OK ʞH #qЃ؟b^ +lVk\Șn/[L,+)#"f(D_'kÒլ .WGwQ}]xSO"B d}S;pZǰ qSqKZsWYjd.c9b t`^c|@txAo O]7MaefװPlO+biʞ8t CrՃE%{AyDb~A%/4#{כG L>bbu;Ɩ94A4灗Mk{g/c0JBD?+k0p{+VZ)sh[Jh 0,dP[p.~=li$ D`ܑBMPmq~V مה虁C 8SF~q|+P \*]g=&6M46}хV9<$RsQ)Ղyg}Vs̀D|yk>ȫexEB܎to<Ex݁t~Jr(VP/:]k~=Sbnv_ Ig9R/xz_z h樣s_%_Y=v=we,N)dU ^ C>8\(AX&bS%woCjЈ3RhȎUdg%ΞDu?[ lȀE4e!h՜w8`ɨM6!oW\ 6gaj1斺D0_(_`w a~?'QR㴢PvP  U5-a1u]~ړg]w\}$<3BR>L.%WI^П2Ư^S 'K0rtTa18P1nsz/ rLX(Y<(|-ءeg![0'hc60tnHBKkm%q,S'aOu=Ѿ5 0J$ f Q,'ƕ!1Ih=9/I||?iJo@po6}z҆+ B=n-U'Q906c-xU8 جyǙ5OUGPcAW.EV}'?ݩnj 1w K^+^c@7.:RPM~V[~P*43Sqq5K#0D Q7o ZJL0cLyLH^L tۦC4w_I.Pd4b r.&Pޓ S>>{2M=˵kk> 1W7|5DԖ [XUڄ.Tt[q $IAqe3{h좨G ݹ/ iVac$.-ɓW*!r/_ I\*HR%#w@l@Tf*]%$./m#] q%9 ho|qiX֎ֆ5X2iw{jd6| YL^ ;"|~5cSAtxphy1蠻]p(h!9~D+KMO& _>q lt3Jk]hh};TfqUԔ#K~€*9 e2>&5ƣ/5} װ;P4]D UbsS rϟ.J^/LK)38鰻%p~g' y7€tL[ ;?-;_4QCµ_#(Y'SjTKzZ8/%Ij<,̗\,up9LPEåc:'X!Jt|I3vV͟"X% }TLhPf q֓'"qXYѼ/05/eF=|˟qX(0Џ2d8o?°px즬e=>S ^dO(5ʻ`hJ:ҥ8Ea08%~"],T༅k>Sc3,FX6` V㠼š䐣a8E4󧅂CNWMljL-bC'Nչw)0!|7iPa&'k; (y8'9A*#8L0|C]ݘژC=+T2,9jiM1lم(z~1z&D=)ԊՆp@֤~eq:|bߠ)–hR2H@3^ZPY p93~A񗡯?3bӓFyꜼFFƠO+`%b y)G&@jËH%$Ӌ#%"+%"ņVT;gV@PBW_ ~<'daĚts /+ ҃n Wn"w5;QFJ g{uEsw^`!$7wSwbcJ:0. 9ϓH|Uw C/:սse y xHyd٠hg>NJhmWW_emY0*i5O2Df.*۔g.-L~H,H}Lba`& p`;>T>rj,Na-^Uei\C}g*Z!:Kň0z ƬGQjijEy}zgrg*^KA%M 1?>1+6P>__|ЋrB #o71BIVk1"v٩RPh}npq$=u5۵nC 6hOhZ(o٘y0 j9WH-M#uD^˰b84F/[ښ1~Kvsį@s޶66 k#BU€Bj'eSGbAr~Ep!2Oj/Q& i%ʗang\LUAU|o9Kwf-Q8\ދS(7J͛! bYF 77,=vݵ)asp5d\*3R>,OsudC/O}^V_Ea-LYtJK\N8d0vg5]`iVY=QQIAut ]ċ΢Z +9O )% \CakeMLCakeML.BigStepdocument.tex7zXZִF! Mj]A-MՋhvG"uIBm5E%C5֑IX'*$0HRf#_Ng:5+%\iKuO/CԐPS5z)eMO' q X 6lqGBԁL=ϼ9Հ@FCU}-ItzjU5a{='WM(9.](^l#P0\L6OE1r|0]qVee]Dy➨y_٤("9{Ü,>PGX! xe>3H l}EՑLO[uu7MQ"+j Lڑ'ו7"* 4pa% ي on!cƓ捩>1kጱ Y!qG=N폚J{"? <2^|yĻ;'_<+KrD`TUG5)^$BLhJȩ\7f.rn[~HAg;:9B#|<>GoB6Ԝ`^}P*gGs;flFFџӸ(ĴO])o{vfSLpMs؂&[m<@uۿVz:!b'tkY,J^_h ETqd.sͪn ?tԻ@*1[Upċ)**!$743.#p찺եm85;?[! 12kDߑu}ӄ>Q3qttUbdڠS b~rK\ۖ/**P뭼SiٔBJ-ɫ_+XMɟen־m]:p8Z. Z5:NÔN uȽ#z<(7R<]Qy=v _h8۫s݇΋6^d̋hqDATnaf3)19Bv>͗0fr$4Hf~Q D+0 &7y6_1yc|xSY=KRB:7Xa)-:I'RWph# AC_f:-5dX罞F_,Dd F뽗GHVG/"*jnJOy 2'09Xo^Y#Cz>$^]<ڢ4Ӥv8 K9e? Cd^+\ێBM{^Q47rA[::;ǁmxqZ;;vN=_ H}؁; v s<9X~A@эƴƣP= ?*o][8:_Z2a 523b U+L}"E0geD]zhYX4ީφQz驱VنW;3_l!_@wiyOB 1ۙտP͢Wل3IVKJVn]Uc$Fj'vc|v}v\)Yprv CeՊ;¶#s_Kq:<#8_5 B";¤D#gU()B4J3LEA61*ai¼ ڈű۝Mq%Bj\ig(b%lSaQFp`$  R<\܉NJ3G5d&e7fK*S/4h7|erh$}T%3=i(pٶ}_@[$:EaPmW˩\'R2%[Sn.,̦_\#a$@WaՊt=^*JKla&OoCOW @ BvZq.#D's{J;WHtnЅ]:RmeMhM)d{.x(?~ˁ"LJԎ/!mAB|<Ӈ_Kf)ÐyTTKˎU*ơSJb]J7*J-\ E,g-zDSVDk<-`a#P]LC% ,L"/- RC`N޾ߘ~>Fم$!ك*;j c"󞼨dtn Xb9٘ zĖzH{yfR+ET$.N&qQ 32 K_~.;8/9!ˈ4ôGf=M$6@kabީ4L!9ӘQ0Ij{-Dg,Cb/q-xurHDA? xhXڇ>đ+rrgɳZy5]MmCj;O@0"HG LLXƽk-fIպ!#Dx7ȡ|"@, N,:*ade=(`>I0$fM&cio^^}Gfǁkz߈- "v򀍉3Hto:tGw| բ7ܾNa"2旅moڥzԁ.Ux8ahuA X:4VLxCmŷZe齢qDY<]̚Li]1Wn -s@;嵊C=?89l?Wq0pA&4Q+#앟Y*Dڥ~=V,iuQ7/P'&NQl.X<;FXo2U;^]km oκ *#&(/%C%}9}q^,t!=EH=S#IOgv'ujFVlFG9>|V$Kʡm0W/#7= Oq7 hl`iǖBZȊ'=sX͕ nZz1x4OU;YN5!3zKv9Ӂ`ygM Lg')Ad|XK섦Hcˊ["pHCba^2hi?UZM oP{e }=)6? r<ՠ2<*w-#Frf`zE]s*ce>o,Ƕr+KgR4&r:0,[L|ԡ\7`wW  &O`Ne(a 뙴p?<+sߖ7:r@$VAkhwD˻K欦EKf!U@W{_x9G/78[&+I>[L٬9}05Ou'{Ds*;qƇ- Ȏ U\Cf 5R8gOw,8=F]u.5/);VyUrX>,,@ 5X(%aŊ//Q8CJIWYG0AD@f}2h$ ^1\>0g_C ICG@k9jDfV>5.;ՍHi ƣ/;bÆty?OO;)Gk QA* X/9^ [jm?BgAլZ[f6Nϙfc/hVījƞ$À!ʷiEU:r2tvZKѨ-Vfs 5@QT)fCiRwiyILx!aڞ'WV4+iDwkQֈiWC f֗6eRgjv.j̡Ӂ(M/v2  ]ɾ1+x.DzL'Bm+™^/`VBx, ,l?p/o ѧ5RJ8u/[njdPV6z_?8m {Rv6 w8 *=MyN* KJQ<"[׃r˂gi48=1Gy d\esCnڈ K')5Tpu)"sMpx5Īb0$KBGu'[dQfk"c4/lskQ2K@!X Q@}<6ޕ4u+3~{+b;~B5{\UjڕZtEK'ߪ3a5%#Wi8Hw]bV`CQQo`CN2d4vCU 8\,-UsgYZguzʕHr1YPx8!TdZG8:rvfv==ʝƇpK.s/vb+vp~>."C{AP.Ǵa4$ >+ix+#Pl9\Ipݑ$ZIY=r;>F0L(?OU9$F}U.W,<2XI"/u_E`j*_Mf}'5-K"㮚X]WӤ˲~4m5<,j*;zz҉8 .)"e/LvCS]q4wyItƽM~Az<758U]$5"+(cg'"[̰?#"` gVU9ݩԧz7c/{u|Ζ<$sN3 po9a|V'}j,Ф2B%d]ɄQO'sQɹ KsBOk&Bae٣Oe?̠[ZCS~פΣ<L%9+SWTi* ܕj ``' #:$RdsQ#Hl}I6qL1E@Pdyp @+'K2SJp8 hל(͵ÕûaِqS>@#|Kc0DA )y0+ OuN]!tnAT5d~&TnzϖW_sSmkv۾A?ͣ@N݄G}6ZIH0__9{hn*_weNeyS@dJ0Q-\eBT5%3QNBW0 m(vw@H8 %F킱q=nKgn KZL%(nנ/c݄m~*Qnf}M|r[*MM y4vIW>sqߥ#g漸,bє>v|94:]Iy+]=&LRHCo4AE0YTiLlOIDyja%u z"za. `"{H1[#ɂ<ǧa(Jƣ^FE2ǔK!Mdhd|' eɝ_a6[*Fr)]`"Nƿ[-R-HC;KdDs`L4^B‘鑵'O i={ĒH `(}IKoe33 /N^J "ɮO7q~N :A+=6/>!7{Xp<.~7}ꩁx8>]e~2+_=N6қ$cʥ(І]n.@^%S]AI!X,kK;u'yIjXv2ԖBʱ)Tm.B֔XEۂz$qAbjX8{5WP+ ]Kwi,_L]ѰkY iqz󜎨qBZ딘6#_/|ZƘӑF. R:INu/hnv"8[TԎmWViɋ_J|).m2bVv!QuD}C+*=7d!]k7CLi]u6fx1Imm:#i֡۽~Ų:`wQ MUaiAVdtMbΘ>͔{@q!Ylk ?/7n:5 ӡ7JZsI= DZ胞Mᶟ/cB W~8 i) Q{z_e28-qh[+ހD!/OԆ%]҂(Eq/fbN]+O{Eo(\M_"BrHkJ7hݱkĂ G"5k=Km= 0/kLm0NyZ! Zv뚔q}O$ڂR1,i%E=cfR/+BӏqvY(t˂vB RZ~f&/_V',H=J'k3 MOl`p.|xRx6Tv^}'l͔e#]) TtT9Z=RY;tZBxOhwCdj&%*$g(QXxc1&M.L B =Р=& $TjhwmsoFc7GBb37DLzpSNϯ&1( / OȠR`AinW'V? L:^ X&BwG#\@`\T4Dݼkgf TM[P=@AAB"vks9e}\QܚMk_G1:wIRaű^n8Ln*IJ71(:Hp)P3cOKZ/P>{ ܠғ{l͈=~5_H[}koZ 'Amtfrs$X !o[rD/"B[J/+h$3<]_P{;.6&ǀ ܵÿ f R3(Z(;}CE2l W:{y\c5ڇKr"OլXl3ײn' {ȖӯF'~` \/NmJ#֬:)}JMǥ[49Z׾Pf "PQrZ)H-9 zCRRwւ!™sLRSFܽ:)Xe9(aY_iTkݼh6b(g{<8;ٝ0?}w& }r{HglzYp*}fjqq\$+n= ~ɔ/.@5y#'`8O$SzAOxo+ ^[BDuN^%,ʨJ:XͶ2%SU,!m!8tپI);֊f)qWČn!A `3A\9d _Id<[DVLy\xZH2 MAm+FMzEUK5W !~ //h# Jt>^!LȰCg(uK7Ƕn]KY[e8ᬍY`Rަa2D,46N3b? xO) >"o׻זFYVP-Q"u X{ZkE]z^\|E0|}ƾW4XXu_轢K]4{MBx=In..hΉ|lۑe Wgj@>XFZ͕ŵhOBEupW'$|~R}ƫkD,͌RG,qrW:AA%Jj)$ͧ*h.:O)s43eĭAOxrvE}.-=o뭲vDJfdx__wk@CՎ0b=+ֳX]G5L3<*drxܩ`tI-0)d%хpE b 2uqPq{IKuF2j8."Fk5#UVgM/HH҈Kn=mq;d".4ẗ́Dw[^j#}u&vkjQ0ln֍s̼L"ui3`yڱ>RiI̘P-4 ~B0ЙR8(eW+]}$QN3NllSŁ@3֊u . E(N ܶ[$Eŧ~ş+7W %~z;3hZ= \x^OHP/ưKQ|˩XBإQ;=N m(}G=Qgr׊xsCx|Tx-40H=ߥMf?3 -QӉYξ(8`x(JQdXXFό-='D$DS>(Sy#گc6)T]nR-'K v啽vyM,b!a)iE3ȏiIg:K,\yrF6qV[=ElE^Y3x*? '7HF6]45g;w 9LQI\f& !r*{6{'6YSG1WNzUmZb\a #nׇuMk QYڠუ {>p-m@5g"MNm$w•Zxz}Dsqsu=< uQrwjVH/:N!R6rwCZAKr\*ɯG0ڎ4$qxٟlu4jCŰ'r ƱW:oeI[@ -#kޫl^Oo@.~:i]5mG?K.|҇_1)~)!ѕtR[*Zsiijk<җW[?J6WwպYМWFOܹzD&DL (V8BHyn0{Bɕ5CE\BzD:N4 G7~;FZxaoƬs.W+YD[Оf ~@M|,0Ǒߒ\bMUߤ=k)DK<T{MTo< ?~} A*c3V1EHsd&y-uI7$pk)SIn?|GnS(3[OiiKjr (D @t?M pf)W9G>m 6V iNXD.Y퟇|elX+I:B!8H2׭  N(u?/BthZGp 3':`dYN\XF(7?> `EnjӫoW U%jKO[ߔŒ 8go_.1 c|5 }!beSlre7pAr5w*>$]?qm<ҝe;V&ۍEi :0Qd ,V* J;3ҚƂ!)+J Ζ[+Qhڙ8i8 95&Lv 0ui`bD.H@kqBg4 y_.q_~6 mJϛB35F_=[e 1X c\@0=a6f1'Z8F!^۹`fMDܴl꫃Diu-ad'@uAs3GWU:߯Tz{nN `5g15]dzd7p*O% }@gQIW&qW $dBPQm^/ E*]ـҸHҏAQ ]jͮmH!➠U`Ew7M(1ӚJ1@ȉɖԂ@-12՝)/h_Dy$%%\uJ0yn iw2{H3zo)ϙzVhI4)  ;U/!K2gNteGb#!lC]Ik/J/jR9/gg Gw 8!(Q'Giy\ap-@ rQ8S8fÀ32ɉ?o4 }[[V 6/Z}oy ,.:)=[`v"@ez4ۢ )U/0sf uWu{䵨]Ж_0Pd0r \5 ol0Nfx#ݓ|o]`0D `b]A5$?6QЋt RLf o5衒dvoA@Mz*&gh^%U)L#c_;tc-J>CNzgMq c2\)>ƚa^ޟ_'yVa2?x-HZeh;1Qf4؃oe9C`yt8a^^#OelGzHj?v ˬђ x\b_qLsfԓ}7KBeq>S'uŖ=ĞP]3 F5n@ 7&`ɕQ#gŸjg lDs%o,JRn䬣KSOڛ6o#2 ` <72@sfB:X 1c!$lO/m.xPD>@hh^(,yۜǦ!pb|(pZ͸9LBϱݏjz;H[|4|VOCk L [-7 Q#Cm! %!MSgh.,%( -}ɮUyM))??!J$*\LyiT[4F3y64Ma_d|_ѽ˻ T1om)z5\UEճTbh)I/u!$rtAb">b: &Ƞp͌U`Y[?s9 R `>a֊qoHQ~VֺY.\U,[woT0DEz!f_7$,3}DvvW2Yb!x6[-uв}Ypz1A0Z|3(sFt %ױZKC]&P %^)AzO=ݱ/ůCWX _N{oI~Ly t,Vul7ﺲl]}CƩh2w3=aE.;&OJϻ%UN)E&5{\&[+ixv ET-LڗvvGbF`1o-…Sj|'Ydvtu/)awv=Qv􉿉00YY.ܒ];Pw_eh "lu](I-Hi G@P2*ISw &ᖒx7Y^r3/!Ըxͷk|p@8h3: = Xy:pt?snnS¦z=l t+KI+;`a w/14ު\ezI6,w>2t\Ѫg3#cY hDZnw/{ r^6{5kň'S[-LUN9SΜ2Nؿ\PCJ!OIg\eSH>ʨS=H>Hr 5j ,yK'~{ 4K <[؅M!G֋F7:M6f8a`a>NARz=cK;ҖQC#JV ^1́uɬ=s 䄑zu^0^R^Ӄj%s3.3HtPo><@Q|]AɃXjL2!;01,'y={8 8 c/5IHCb(I AxI{*7ҲGxECP|2Mk b4u* (;?Y5byoSn{ʩ%_σScj<XMW|l%Y1YW^1xOmsrj fbcayQȉ}#԰056J"خOJ<]~,Jcw'Z}"BDgR+`"4K )~MvBa  AXh}~%ⵃRewfr1.*B{V㶉=~h[ ,ֆkߞIMwX*v)Y5j#z,"ˬGc'Il| Cܶ~ԉmI."f26tf]IbXQ j7BbnZ5+PXV 6x5:obƆ  ?IM)cr骢jқmxFzmD`u`ym5{* -nxRM.lU0̻d 6<+ GE-u x6 UHGJl1I)/V G'ZhKq3d p ݂Xճ/e &+3[7twj9l|9e̛>mlV':{0s"NÚO܁bwgkPhb~B5Q= 9EqM(0nyY&s8˴DPI_aH# }f5C{K3a|֭[Ʈ>(V>~H^ /9B 5'%Ց &/fuxJ&)',@c:Y͛z˹FN&֤&.plzw޸0wdC'?צ#||>VLӒMdYH v(kdo?BW&p.m}XkJy89 aIh/ܹH~H1aDhO| ^~$ڼݴPHH3@ݣIj͏6'ߤEs*5\/4P,QV-- )3RɆ~&/S(n63D`_xf - 4CO&S Q_ba#x X[^$ }CUk{|~s~lG8UJn2u$,B>G֣QxdV":J>'Nܸy ݡB^nkSelB}+ X| Ky橩Ę0X[='ؕ(2FzVrm vFc^WG2ʚ9J}|S"\2g aM189sG5P[U&7F[~j4z)Mp$ND&YZ! "C56L{8Rpzح͸SBG=k߼4(v@&1Q'=cv ih] tOw)E"}A 굒,Qzn̒\^!v^ FGT7HXՅvdX\!G%=HG.͋folwwD:c 1CPp-7u<=-&@";ǭa%9J5wm"H;\Mũw"gW?D|tߍ8d6I` -#"}?, `sL-!rۍhM2l9FVHFs؞H>;7l4'>)To㧒 Vbp#lae 0j%l}nH֝tҘ_fSe:Irq}`9tpd @腜퀒q!WL_[24nw0~iVOղ\d aϞW HoC @Zl ؞ЗZu&(f`B}[&лoC<,Meֲ| _D$7^́,WDҧW@-R*Rv N`3 ʵb1/towgNȄ1S`}`E H, I*^"/ 4SZ[2!{"wLm8"q2-ـdN/c-8 2huw&:Ez>KEw qrWwnYbܟ Th?H=cQӕc= ~8L^ړS_̚Կ%nIUwP6FK[l~ 2KNn95gB%r a; V$pk#HQyB$5P>i]날gpBh} RyA:6jw C _Cd8'g3V!Sw1l1t'A=S--H[YLKSbUӼ٥\-`؇nl eW1DToM`^y|ǰ}gt^x<}Zd\cĦK.2j]V]]hDv&/?kߊKcb5L,܀v{DuK(Hvi? q1=uyG~dl5f+`&} |>k|\=|QjІL SGY¢Ч}`U\YniI_+С y ER .Y{le"Ck:G ] k!hvC^S(y̓J*˿(ua/PW9pN ~{;EI6 .6Cr\߈bŠWZexcG%SM\nL%t-\hfCn{zj JĈڇA'Rx]HN(/!v{k; h[ JF* lv-@x1! m5SFۏր$l3-E}{H.odn_ݰ,]>BvA̖h't%1!O)JF4 +z`4{ ke>lȏo+,@^4&EXlBzN\iu|25\$5'؛b3rE!7vBrȍD]n=+6fG[:Hmj`$`@ 7x^R3jCQ 0 !(y[9OOB2% Cf8>_TBJB2}i@7w"k)E'1j$vvD*ʞ7?=cA[HOE@0"\ ty>(%~`aр1'S )" u+cRߏ黼^yV GD-{YDе᛿.VxO1:RّCk*ʙՠ@h;Ƴ (`'\Q)Q*(;dx_8t|+N]vBV?nnmUinߠ\_g b\|@!&ͧZ#fh<>JU<Y;Tv7>(LsGRw3S*\. OFcSLbzA{ %ݏ|%N6/iֵL%f14HBW)k}1Tlך? u\Do;V jiiUgĈĩflY~X0Rى&V_AY; <䱾%C07,sCXE8hnF*zKIš[Pafƫ.UW:ukt=dI΍َCD5kѸav|gekMZA@uLBK^&tM|QtV6/K 6^{rs ?KrӼoDL#(O;OXMHno@J ֭R_>'lפA;F@mɳZ%ì-ha9Ywa~7ˆUb"H  }.+}_,~C+2̑•ETZ]@z- =}>ﳜxQM[E)_6R]eY^t)KH7Lq[^,]SӕF]V@N2ژqvA[p!}}{Y؃eoM_ݫ#V^2/O@آY7-. +1RTg6m/0 eRh?ŲZyqUbRDPR y m>Kؗo8O>2!OxXȖ;4zPyyV$ƕDj?Lr|2Щҙn(MܛcX_qAG^D>J l+ 7ts\bk>?By7e`yiS] 6Tdj^JAc<#,5T&NřN8K"9{ut kAA v!!'pM#); &> Jւa2hJ<>_g@=5`/`@%V~׿]9\N:3i*=vi[  cn)\E J&G91ek7УY^7صtW-܏ Ȩl:Mє밊Dk`>6K|&J>N?})ŋDgn[wk=o ~1m'% S=E#hG#xIobj0(О l{y}7yWcX> bN }h{-1eȨb π8MEUg,@豕ݢ@* ]gt!'clrnz l0rö TˬmxjDH @tZ'Ƨt a=.'SvǾ2<כּȃRVx⫰aI(,\ n_4J6* 6K όE`՞/K}iL@=wޫv@RKBK[t,;Ul Xe|D?AHTXKRHnlj u KP;܏oU KxUar^Xlb/1@v6\jqyGz|څlQ[h (lL4Ƌvh B ]7QȼgYZ 99|[% CakeMLHOL-Library.Countable_Complete_Latticesdocument.tex7zXZִF! ]A-MՋhvG"uIBm5`''-6ᶈܝi7wq347q40"*=FxӛnsSJᕲh>&R]KK ֝Ѝfpנ0h%~^r1%?aƳSAVG x&xUSN IMcNKϓ29G=a&ZI8Jx/Y}~ F1`tAMYgA1#mZN7-W0rrP?!ClNmhsoG J4} eJC2~ܤVG&vh@ 1ډN8gp1>bK/huG\sO3Ӎ⪸}H7Qt2@I5 QH/^ŪjzwT9Ǟ aV>pFF|>@v YPkuƸD>A"@;#"/ꖨw:8>҇iW)Cçuh È pzJ۠2 =-\7# [S`ieNWtkt#Ve{4 eWG\nr| &nCGrb(o-v[-ъ׈?bӖ'ߓ"j{514qm|!}]JE\/>Ws8qc ڭ,Jx"~;]!"ʻo=Et9<1\o7Q;z Q\^UJ_m=f-)6g IsJn .#Al,,p=plAeN1S_: Q_m@5[+~`X/0G13޽qkdg &q9?&v\)DE[6{A JCُH,۶--@>Uf6)k[3诈kё(l q'\f"n͋¼XT86 MUȠM`v%pP KoT{e|gs~Og$D3d?1;L 78Uʅ Pl)c埂V hJPPJ:1%%-@qb|s 4fq,_[)Tk+ Sjå}D䫖!V)47s,)^{hNJ'P GWl_? ̲߫~v4RO~\[Z8O5 Xo}n"i4V#b qU!̖)HxAd)rJ=sHhcA翭y VVas%ee *)b"L&oq\cB3ouK 62^h}{DWb+EN^YHw>cژ7| FF. e`9eY)]6i&/^75<0r'N7$$ny1-z1#}ʹ T('t5J.'7Ms{7wp`Nw&>ezJXm/:7^TU8f"sRpYq j)5t1Gq'bD7[LRM Lj} >>>sC*_ُ#>+R~εz4M+[䏢J2~}!D'Ũ"GHND`)#t+hR?' 34ߗ\_ϚLg_X3}02`½.xZ["<^}wn_m/Iħߌ?y 9DGƝe ]%>,Jq{L JEuªiHx>+jcq_Wz)JFe.nf#q1) )B6 m]qn;fcK&T YDxCY=sFPRR8*fq)63:P}5>N,̰;qWa*gގ&Sj`!waR)3 Cr lZxүћ LP3@IӆRShŢnP- N{Y1sxTak{A|z/.RXMKc[+v"+.`f|1'r2F% rHGQ]Jup;&<ŚYBcTmJ&ji3˯TjŬ3/2>+zv Hm5;K‰6z4c5>:P6խ1mvg2KmL[| _m8ǯ˪!ś;iߣd4/ԎUum*=eI е%V7;121f뭛P肕CE)I'/֗IW@z]H!8cE0~¾&=dj#| z!<`u޸PGmuΡp8׍ kFsϏ#D?E,||A+Y*[(猐I <{Ϧ,Kd3sї1?ϝ0dp `7D{248d="WkӍ5Љ=ܤamGuzx/G|3nJN5u#j͌*j[|mh&WۇƪEMUGcbwKL=^Xb@3kGչ[2p |ա 3bJ%qǘVɃaA8 FןYV tG;HΜ7Wk GL(We'Cs¼U2jF"w]:zzP;fZd7muTٺ@zZ G#Faz4 $ܖ GUz&\Ӱw B^X9&#};ȬbtE+K{0f-8X}񑗩3K bRR!H^T 2Ў-5 ]mLlA7(D8[Fp2O06.4E4ڞOOuM@K_MH$n ̜vA]H*4W΄ O#֔v ɻ. 20{G0/iQ |]VZ=CJ /*b0'#aC6%'E|>/{oϬ׳8,B3[)tO1NZKMdUED>"Xr; A4?kr[*|l 9 EV<*X{dpZZ*E45.$fW=f=Eہ{s,8$'D!&&txd9 rn;k/ItͯM\ǯ9fJ5lʚ*o-XCi13l mܶ]AaI\ 0K݀0[!Ӂ9U( m˂;<̌_ˌo: ^KU>c^\"1$*.7RكB>& ȭ,ԛadH 'ƚ8|n7I#wFJS<S&ZT')8\g*s2~$ :Hu@%TKMD8/$w,K HfΔs|8fIvi~x,H6H2Ms!mZ')sƤ'fd=xr$S׆hdeH Qx2fQ%^MR]%'~l1.H/7W$@,`{v>TL6c M !wRqoz8Bt ^Fl Zq8Y+C>.q kZ@fyt'o/ 4"ЎkS)\gz_}3 ZH~!:0Ho Lr`x \ThxY)|0s]r?)LB* -1G]~Q4f!kP@liLhjuhvғž9JakiSNHW7.vo<ݒ:L;6d}XA,>g,|} O^8QHpL2 <˝bgԑlH)40LxtΧ`&Zvw*Ǻ,ypdTd?$Vf~EQ#n뛚RLՂ&GNE=حUɅZ\3veƼӭ, :RSB7㓻qCgxe54l]_>XyEچ}: ~grw-chzYI~ȼp6>ї N Sslet3SbuHͅNfdA *l:.\gfH6MV#cths q^##7]Rp%3K!l?kc\*orwcPuNRbZ5VsPç?Ā}*LPԎ9~^UpՉR3ߺidh֧v*5h}SjL2&CT!vfE?3P h \p* i%QuX@ z^hZ-aIrȊc`(xoA=T{ $MbÒpɢ,Z5P٨>gyӿ{ܒI0\}7ubF.}6X[EK2m6Y=aE\@S͂>ZNδN i;E 7*u6xݗ̼,^{fQB $ȋ~u}RG$ǖdB,.|v[ߔ񬪥 `/̄go>R!l9K߇w!7G4nzuE~a*s*H(3 N+4qumʦ>{̅\Kte!HI`/UxIي4!(`9QeiH1t[}]pLZ :,R? dr4AоU+CψY_~`xEz%?;bat Z+ RR 5 ~sͯ1\VX6"]}2_ÎɈ"27|ZK=u6i)B6d6`XH2kϨ =%xxTw@:<`KPX('b cibX-SqtX"wY ;|~FNo0a[5-Gs%Qʧ*PĈAdQnqxnޡMA m6gؗ=6MoP\XiBb;j1"Yn8%nLL_8+f\ْ)a),ꃒ2aAMk=F3|gGqGI?x'dC%K5kVe3w^%vdPԯՕS,%_x}#SDn31yڍ^2Tq&{;wgzԌrnVWQ瑅@؏> ,hzYBwF-閲1ۼw[GS=m : CBؗ__;6VӃ8A/Ok7MG-^!sP.s<1)*T)҈ZqCҖJDgרO\WW_LxU}FpeAl(P‡]Xp-: k!t/'Y:{/Խc#lZ%` :}ޫ㙳M eWv 97a[-ʅP8-<0{u +"[D&+R"N6 0+[)_f(ty >H"<HBᵻ -9;b3ڙJVcTa؄7o>9#JzD ߌ6=-[}<5̲Ϯq2Oo I*Vm<:0 H9+~E"g͊K2?9ŴAږɊlQ:G 2+Sc.k[-DZ:&N}_ jGM6|ɋ>iT.ԁ8o]By$+iʁ!>@xLhUνu-bItlGΉ'֥Uc֗)qND~")@)hv1 8S|RG.@.s\D%[JUq9W {U'˻Fޫ.lf *Gap6HslKCwKC 4bq2.%;jBݸ-[LarsPףU 2ZI\0$#qM&l`"' kɉq=ČHM5&uŃvgVЖ}G'FFENѧ9J(io k8 VVh~ ,=>X'pbsvd'Nދыl55žt1 qI݃{=&`bTqϿC\9׋潉90/QYXNRF<fp>DZ ;k?R!sQЉՈX"w&t4z- -,2 (|݂sEaSm&mԞAg# X_>BMJ- PbZ+Z rTk"d\9*x3~cHƅ~oW&[wzzd1jpm:6O;^ yw}FTQl50@#}4PhX{G[ꆃ /! u`-:$pD`6@7g9u:0Iz>+f`ĕ`lqPЙ#9Q,%&o+7|gb8pc^#S0)kŃv35G.ىeޤ&pE+ z63.) 2ƩWj ͒8::m(c4ò¨~ku/ݳp)'C|r"Bd6=>h`w_t'P3.cHh9ZcH32'HHGP5i?TIeߴ𔙉{ ˔ Xx4;|X=F.6^eWΊwad;¸BrӸ7弢kX:j)6?)F0~0)n<x/1:?!GI@d%dg: ;ӥnuɑ&1-9'[`9ԭPHksyFBGorǓ, 3#Tn4]WQ.2Wb.~/R ջew>G5^ FCRB$~1(,DkU )J{mud*zxF3"+.$~ `Ym*sKg0QBV{aytFp\~hب;.xZu](_aK<}!W6ЍBі$Hﺤ~% ?&tlo\fRLgu{Ho^<3EpT:mQf" W5W+h1a,{Ozw| nC5 WZr, !b+gZZy6pWY8ʣĵO(”G~.h1kEE0_ _l)әp#lFcx2ԢD@} Ɇ&:WZolP`d8 ]+l#VY^wuφq"03x>mn:)۶iVN\"Z]8etlc"{\!aQ53wG~Tl"}ϖbEB*ޡS !fc(Ͻ8cJyf0p}-Ø?nR  V&(xoM}s_Sctv4$"p= U#URB3#&k%WTs2pF-8!Gq{ŵ75bjLg+'V햶DHî`%"sO̸EBڟHi!ՀGs:sglPY.`_A#Wq#FÅo.L@Q \@F2:!*L>b1vD=&hʸ="}gemVa2ϱdМ[qtrIVBtC9qz(E#<p[4tL-zn;A a-% |CakeMLCakeML.SmallStepdocument.tex7zXZִF! v]A-MՋhvG"uIBm5ȦI%|x'FwinNPXW$Ep~V_^涀! e- ^U+&}E`P+KdOq2?5: ܤoy>6@2Ħ+PG9҉4NTQ2ۋќ+qN"p}Cua7&s̀/ MqόܱSĆ%wWC'L)kh{dJTaρ>zOY XFܰz__Y[: tXbk?;_QE> g ܘnBݭV%:HI~ľ Vz .%[`Eڱ.X|ыg1h$H?iʙ$V %h> a05p%#CɌlv |EZ.`ʒzQz^{S*sn+1eGr>628 ?gÃ?I@PaJbuN] GGQ~QG>a,>NVfɺHHu\%0lø߶" !#6n]"1a{(J.u:\qϺkw‹sy Pp߽ ^Z& jW zH g 0Fyfi:JI&CVfWFiFbr>, owQH[|l4z£ I3oEiL ʯ$,mߖSЮt^O#l&w.>aKM~`gGRuO(2)0du9Bu $f@&Z&~ iU >DLRs:厍6zc4VͿ)À*d#C=nQ^!_ %@@0uO$ݔ&޼OPANO8m 揽x%΍b_E(A]Kؓ$nzHe$AgLo*}7Hxwɨ"/$BhVG~"%*@0e"_; $IzNvD>l>g/UuɈ|ǶX] Iry'(4/ВOڮtSC0>ڗFz B?ξL]/ EzNijːzd]R/fնh nb` 6tF8Ǽ";?0,ۧM^*a|M(GULQOeْ'XM/I RfG"s^<)ȼ;b[Lg=O 13-nw KT(?"5~Ɏ ~ߖ6%g&y nRnk%=tES9׹y˨+@?\nA%a9$`Brs@籙_mg$n \n &BŞ]xq5" MQP.̂ԕz[1&^Z%}hNK7(-%O͑ rw GdQɰRx{dѪ2YHLzlFÓ>rXA of!>~ĒI ϒ$2-c|P h*IG})(6ǁ.'L˙$0Ai nI. >@G[bhSʣ9 h|#:!f MkIGt1w11ܮn+=u׹>]?Hx\f܀by@Wrؔ}h} B}`Z}&@|p] p`fF9Fh EUQL;JNn+ _U>2ǤhLu2.Bk[*c&-Rv3o3$,S ,WvB.VWY_[vc^p@מ[FH.CJc@fƽ">PH\{< :j I57b|ʻ2̇䆘JX'UX9VsHu-q}ssjF ,\|s➬Ptf=i؈)!eRTvSZ8sQ I wdJ(nV4|bSBֳ-V4GB[ OQFv0"t:>LUc/T6TNx]ٺj;DX5&g(F_zrROcKqH8=gHeHjƐ62T'a0Ts[%ܴs|uc.)X;+U|\ˉ86p#8 mbG1:Tfx.;hi4vMU]$VzڈhDx?}h3LO_3ߴ̰UMӮg0rN0(W1^s3Gn \+>=ee 6ɭz!.D~0j CH+UƸ$PǕ~.\ ]`*IBGH1$EpN}"ySgYZ*'L7jZ(5ddf pT~dƹBB`'gu= 0 ; BNcJdL"Z|~hdB,U=@QÅUm3~Uq P'}*D !yY-4ʖiƴ5cʂp\mJp2D $u8'4ɪs Ȇ0{·FԜlp~ކxOE]W~LNnH*7',Zg4BNɴ>!MӬ+p)6ܟ.jYWP] r Tg)B- et#AQ{j.]p{k|݈|Ś$Z.ꥳp$(n{7q7U4)_5gA lBLqȳȗ[꓈&$_XfYoLR(BN/cdi-OrS&+AQ+-ø>EQ 7i}?eE 'nd.f53G40;~}5Z #7HPOmU1:'贬P"ֲk#v-nVFda pH[Mӓ rDb\xd.bڡml =J.2y􉴼S`4Z/ߊޗ&N&wRހk7RcNGkT=Fޖ\?7Eԋi`~^/JT&q:u)`7[vjĀq2&=`mXespf( 3I%)PVQKVOx8FT`+N]PR+gxk)h3R&Hji%y0F n^]ʛR,Xwz/7Zpf]X+_ 8矣NŴ{H囄oQ01dF6ʣ@\bxVPK`Pf$ ~g̒e_et⵶/hC*yIbb ˀ xLO^ȭ.^XF!p4b'f G"-W_[0Sr?MkzHxc3QHkO| I6$4s @/ޚJ|^}ȥ8{%0 \YA=*{Ld^b/-7;^e wr9Mޣ`Tw=ǔڙܙJ،zUUnu x/{[^Um4R67FTS />LtST{^m(ARrs?E쟒΄H\USPj6`jՊF_uBKF.er!oTAPL0Qj3 6xFڮ* ߟBTi/‡ew;J8FrЌ"u4o1{0ݤ_*:I3žĔ)ɩrVA__;]/z 6U@teCHiԐ)|NԡH atǂ*u"fqXHlqA2=jDZ -~3"r.ӉlsrP^o.Oi#MJuvdH##3נcfb:w8Bխ9otmhjW 3QGc<> wN#n|l\,9{Wԃ=G-hB}4NC'¿fJbQsu`0x//QN\.t + U#|ERw x+\⭣k%V5qt~›VbWęRˆ olsP7cw5륚iQy҃i5> bAgY^{' GԢjD9" +qH@NB*͟e #Q.6gnPTzliYɚEmau$|0HkFM=s^:1[["Z/X9F"H9`B6l9%lA f+:~sz?/`FK6dS*Z{ϗ46uwxYwuĥZRkGfx20j1 o2SU1,k|:Xmjɢ͛9 R>0.ۙ,x~GHtx0{B,>ן#[f]Ѿ鯿H5NKT'lqa)4gYZ  x3% $CakeMLHOL-Library.Log_Natdocument.tex7zXZִF! ]A-MՋhvG"uIBm5&"w8HؽC3.UwTO]Uh0JvItQ]w}n{Y@BOAW~wݟI _\,WKFX(hL5˹L\N |M纴=krf? cךAJqevX>s2R6X'mC毗OJmE(8yٴ)'bkuexpG EWe{J)p!X] E[ݤ#^D&ċf`$uR埘ז2c= ֝)ŭLOY|$+&[2D[l|Ww+SG ;VKB!齦ԍ^0x)IK 4r 2w R$I~uD$qF?F=\6I5kE#*| %6waۥ-r;k)Ć:A z+H$tw%bt܍X;_|Cx#+`[*~BI1' XxzCloR.pd+neX7KI/=҉ ߹c+:=J-ƔJ.2Wyo!`b!ixn$.ɇU@ږ+\~pNnlI x@ =A-@@=Npx6 5ERsw[1N2lBrI1z[=*Zb23PK0+T daBـb]Z'zb$B'Y^9pQ $]{HDC? [C0NJ],pɾ%RUQNB.'eO_J m1JɹZPD 8+% ,CakeMLCakeML.Evaluatedocument.tex7zXZִF! T]A-MՋhvG"uIBm5|E!vDg}ak$QbbvU~윎֬CXu)jLfBE*YqGk@ "2#];6YV#cST^ ek}RwT_b@n C0 sSRSTq|sV4JAAQ3Aw+|cK|Jҗ}q ,q;w]H%>bAq(Q[a+7 hPQ@ G3Vub#:M)=Aˆag^;XxZfW-FZ cl) b'W s(e,pYycV%FxLJRlPBWO"pҎu+ʎ(fVu*LOTq/Z@rggq@oxLhҾ[*99 uv#o+3›wk'O['7i3D M!RnoR(]@0U Gj(x Fϕ t$ڿ1C7۶ZK@(n{,3!H2J'pa^S>w$qBef2,N4C 0)o2TfǦW-&rqHJuMƀYCbXN2-BMxFTѪq5hB9̰:?->8! Gq:xKl.Ff"p@EBTeT#?;+M~5A\;*F$e3G,O*,.mU#+*P)*+ !mP@K4@2O&֍_u}k1/A왒A20؊''ҶeTVJ{J%؊hd :&fAw V(<0 cwQsU٩C\, ҍ{7+=_ΔanpkdDqR!qh[-hC^mDDۜxۗ 5 4֒( A͠XVTeZ頔CA6 x–BS3ʬvn}Po$ck<Npo{X9p)YpQS--> .j[0|EᦄG5?6PŚҍ<@E?&C eMH tL|O& jf!1iMXxD[0'.]p$w\]RbBKж.ek\n%]FYDN~X>3&+(:WSvzyۂ?t-obHنiVڧN.W?n16wʎ˵%~Bխ$ 1= 3f^; `WA]8lr=4zQt9H}rH6!k/br-!][O!@®({hƢϊۻ2r5ҳz?僸`o|kM^Y|wh8>#W=Q=?NOx6q52c,.5Z\SI?s$;vU~x%c-BfL Lz4$]||b"Y郉냒rEB.N{J(y $J[7*/2ƈC$w^dII$c[wRyQmFmisgMhymv+Quj;Kg)a46s'K5s.aQ,>Kdf8"=< +|Å wT4 r5Qx|)H坱%h-b'\a…|Pm!ԗ8J&9NZ\q6XpC1WW$ 6@ m՟jk +0d`q#_r/HAMEOՂk'*72x|ܨ?C+}gA;&'H$G҅H5jM=M{.M(Es<%Z:i cX@w8B+~{٨Z֒U8lܪ4 >KMWcjBh ulv9n44m{j!!yYjWVnm Pd˯=/"mO'Z)ų.%ޫаM}?? Z{HlZ2~OV4u$iĴj" \ժ R@w;?Rok0nw\ >yS+D+f|ԩIb; ksğUށJi'gsQ-)$ DNfUTpVw;P[quxY FpCsS A5vng;F_詬?ӳZH1%1+=[,6Ru p4#PWE<<7~/~2?B,r©VJ؎( =\ƴ'~$ 9"l eRFh@%gJ\ 4IKRH F ^haR 1uc8)-!6H,au){{/ua_Vct>4`zϥ轿/qq?Yir{6)`ٺ`0Ks꿻,UQ{o1%t%PSWvBr@Abہ,)0t8pa Q7uB.'Gol/P8Ĺ@=W<@ ;.5Watd ETnU>;?_R\U$2*QΏLy֠n '>ȥQ;3 v7)VXM٫?Z}O.ϟ޻mVVOw_ajcYO̷-9h{eG>`弐@q|^ wO*.LU;%#1#YDkҝb$SHcRwO;{@pFW M%_ZvS8CTiB T!LQAbDNo45*aYHC|gYZxdO+pF2wVR5 6iP7ysӛcpBUfS'Bō2|F?zR;ځG$LŸH|Nh PBFo#{ZJJB m#>^#KyJJ7c*7 )TD|\v&tj?%\>"ٳBd^Vy%.Wق)$k ͘{>qם*'}Po]y+r LIo6I<* &_3p_SeǤL>`Np/QU?,HRB!1%Q7S*شc&1ZTUY[Ab.q*R┅l*z3y:Y`$mfͅ|uh1G6X&4;) ҭꤽ#9`.[sԣHV%iԞ\]*r҄sF %=7hKk|C9vz af ydcWh׽ < J;ՁJKVE5t#14BA $t! Y u]$f /}6( `͇R$"Z!ЦsގqD *yx5 pd6 |K67/Rh'5b/g~/Sb J R N{-Bfqd8|Ig s;fwN[.>ia|ԇُe( ĽZHX+vϓS= ?x5bCխ' \yxŖ`J'C>q DK2ȃR<j3~a UY۔ =CwgQf׉XtM.5Gctؚ-cՊ}OcK:W4ZNP=2JF7}2C3˲ {=6 .RR3͵оH([:Z~a4ښ\8OE51fUKfZ!q[qBw2T8Vz/Rng0UjZ&y}ֺ AH^-EjO7i#;gTsfW%3UlS*MXHriz!8n_=*%m/g!6y;C)/%`3`2_s3z[@y>PފGJB E2D=?WD%wm96|mC{ ~Dt2Ϭ[ƹXkEpW=öޥ4:$:w::szhQ▾3Ӯv:n:*ٌJ8D!C  JǾ{.p[J,;oDXVpY6;6x{ܚ J:z YƟć cj.+b5J]+ u%[#Lj֤53 ` gZ^>\k|wi եJOC-XK]f%($j92EBF0|yl5q"huL 稀z P i3 gt!U1E{Ew㵨\hwzPڢ9m@Os@9û2V^̸(P-,;[ü2zIB [ddجį̧FD. PSN.5aE?`2[kO~}<(˻h%Uc`=XeQjy}cz{AZɽS)KDŒfky-.z#*|!F>Κ“WÌLl7/fAq$-L=~cGM;H?J _ZhpE:U..*W_y|g.;HdVY/h^"إ`d̍XWI`{ԗ8dNĭ=CUW>S|ʷM mN(į=0WӾxȷz7qؓ}Iˍ(Ƽm4\{[Z.a 'z6AZƙ$S5{NӋcLG :xAs6QqN7z /u4MUzȝt:N< rNA8e[*suLgFR=HDi|!Q>w+DXcoEiqѬrR%KRG 5zbEuGzx^fR Q8Awlw0߃ "$pXGFjva[ r Y$.\:'xj =@rl0.xk!LKUm3tRQֱ{xK1h PvYQ:: +amƎz@.]n}'?nNcqך~ƧdtMFe~1Ua9t[ўNLhH8'r Ɍ `_KyۚJj~ I V8dGNtҙZgٿhlӄZWA6U&<]nl/$ .&-1kNՈtbE/5.'gAtuky 2!N G vv!% TCakeMLCakeML.Astdocument.tex7zXZִF! p9 !]A-MՋhvG"uIBm50l.RY?~?w5UouyPb0(:PRۉjrq{(50kS|h'W2V,WquK.ٿ̫ ,PK+Cu,T1@Bq\nG"4t%oΏZ`jR:u [# btrSTPpE!1Vxm盁 kh߭ 0hA-h`mx Rm#0R\sR{%Tqr9gX v686o!ýl}\F2GF0XCV?7OGFxW2>S2ww s~\sOg;=R5D2eޛLFOս(#T~?apt =Y*FDJoǸgZ kRD?{zM:f\{,6F5KEM=iarq8QME"j̱p"yԄxGH--jlX9+%а~Δ{e@J>7iOyZ-BP8҇S@R~cIg(4Fr~Q[p*hĆ#Y忨ȄBk%[$ξDq~Y]PaJ5+36Ooxnpz2Zy`{zMIEl"9( #`X+(BQJ.)8xHYmA_@ҼX>? eu󉢇]0dK)ZYm@/II^Cg3-_1墊 pw 1Y tKb88=I]ߥ֩ ,K~H5Dh {oWpa(%crs+H}:fEfa"jo(?b8%cL*܊1UȔe)`;b`G-#wCf7 Űwi 5i9muHAsӨ kɷ5i`!pjmHl^ VE2Ya'>IjiMǮn"_oqj2UY@KQgr]M*-yw̏EPd("25"CfmqP0@זЦBwam\ѰIwPFN1|[@Iiqv+R[Υ:R#Kahyb@!qo(NA{АQ,U\}R#T(?,x.<,2E3T _'VlOҩ.yۛpme 0\p Ih8{3v-+#^VVM_8Ml"D-0qdZci3+}c|\`IT& 4i5C5tE1ϹxLZm6piIs vJ+/p_MeD!Z'RgGך^vaG˦!D5gg6mq,K81{~9L;E&HڌY$g%WzBkFub4Tl`c2͇G;Qi0m ȧ 7٫՗}t5%雫G&#z9.K, ,u_u. g^l} A$117a7H!v4NΒ:۹,F ހ:/e&44I>w+H>edqmKRqe]gcH1xt9ӟ*lnŻkn'71D/ؿh_hѽ(j/R~ɓ+t/g($cʍnLř: h $<2ƛ&dA6 Γ0-2Yu,Y[wb ݒj(!*zO/(}|BF"@*"k3wQ) #`KHgYZ  K!% \CakeMLCakeML.Libdocument.tex7zXZִF! '7]A-MՋhvG"uIBm5#ٟܲœ[Hʓ n<ǥ"WqQF`S0r%Iݖ|pee>G~{e Ҝ JE3?\&^)BEA X.Wf+˴pcXV ։S:Ƈ.p] b.s 3Y'גI׷F; g}1JOݻ$ݽ3eu@yn:Ȁy6|/gǻsvt+cB=m>=4#Ct*2tаvy~/5ߔΦ=(9*qRtP)%@zU˄Iݤ3;s3GW!ꅞ"xYg'/tDnM( 54ClC:63w*P%"0W!9J"ߠqBT]~O(ˇWs^gc:EמLj7rjc)=H $庩5uP8NfB-p4A;ȉ^huOa/S爋W]#UU>^47O20)U"Շ葺% eP4\"(O +u75(vz,W1L ]A֑d|O)B/ !OnhK.U'Ri_| 04Wici8hO?-d9*U4ѥ`8{1ObqZ?&Scg,OŞֈ>ȦT,5/Lj <.m$YcシXf|͆i_j5^6fyyb= }MqbixGǂQ)9JM nq#yK6.])uδM[Uᣫ(I/*A#UCU *ֵo/T6tWEcI(ƼBO >wEP +.$I( js&k@&n֝Rл>;nWVJDkni{m/΀Gm<^U_+7{{VMÍ3It"=O(3SC-v'P7'=\yx|v7iI!y]Xf1.ֹN wqmӚq評w#fsE) ڧK\eYzQ..f.uqT,MI vy&̓l}cTW a{M$d8(Yqk@LtͥŒ6O^ lCh~0=y@~c}~ 8''_MvxPK NC V [&d Hwɲw,'cHGlt{cpu.QM \!N(f Šd wSFrуf_]BOp-q&TQa VvGoBx1,4@aF$-̎#;$X; [+ :6V)<,sϤ#Du`7,~"Jz(% ^Ie0m'C #OdBN#|lSQ;vXޫu 5@bt9Α]p'53b\B;, jM/!@ueYmgPC"4b̪~LoM_.{_!r0#B߇RWl̽Jf ?udԛKv7L %OSPeWW?e=ނn D}x8R+kTd_VtqE5SXiV#]+wb H ȔѷqhgӢ=Oh*4}e 9緲pF9U)~VFsAxUgA4c!H; n2D_!h3~zcRېA^n [tobŦE"W(i՜hJLg1%M Znfgnڠj^ XŞ=oj*6`F+jp). Iό݈.k><^$1=NEq䇨Z95H݄tklv睓/w_4[Q\VA<n#'RW*XۇqVEUgLd}?"F'ރZ=* 7xT-; u eVXEH2P*xÍ &Co}e:Quˍ֭zSU~J)4Qx* |IRz*,C~ϕoneAo2odaƈ;slJwK.[l_6 =UB 8HU8ͩt]t-7/zƑ0MfD" r_1*i p~0M" (| ?U0R[W0΂-*3{mCZ+ G172O9Kpr5C s@_:Bz͆ ]2#øGתC:/=0Dh C'Wԕ|S8T';rф y~l"m RD[Dc[C! tn d lIN@f̾e7DUBiR 1ëa_*\c2}/?.W WUspy=aIٵ c4P F[ϪENKr-nwz&Bɒ[W!HZsɸii싦nNe33%=v3b7G6Z+0/&Pn\\4h@3Tk;5zWmz(T,*?j疰Ϙ#}. gGQ׉d|fǧJ ǩF2mңݭQL˲u5ǰI'$&S}T;POx[:zPs\ ,j?Tcv}Vf}7L-dXg?8UJ!=BճRjT:-renRդղ TgQLFd%]4OOM'&o-%1߼eE{ ;& >T&L Ef{;\h~3~ j܉NC驇\嘸Km%8%=f!lMR , BmZM=}cHU7x57\z1M:ޘ2$j%m&uHCq?FW-悱([o&Ng.)>J~M7qCo|`E!W6xO8ݚS |`T- |'HKLGԘ =Oi;T+H#x*ӯ߰ Mޏeie >^lvb&k`{AS]`U,9.] DȢ4dKR"8M#-4ւ0S##3Ezĺ8+?0^|O^& @=i %}ZG30`gѭ!I ITIbˡ1z3k@;q5ϔGwbm3`6]Hx$(䚈+Ri=_p_A\?fdb}A˅ SQW\9 wziimQUvƂӠz@'9Tc,߮N[7U Pq>*>$],} g_ò[v2pɃ%+:ֆWG_xmwr!<4qlۇ 8AmUe9U" "l3t oM_ Ȟp9sIV|=uQѤ)4$3^U)䬣P 9?\_KRm?`x4ҦI~(*!ӿqbKsP*O^^:Tg'GdGr]) fpM?XP_fDaEHtIuoΙ&k3DdmŨ: #Pm?Js,ZR= 9NZeE6UFJJi..g7[ӳbIe3S\/Cb} Ml*E__huX{88 %MqG1ӣilGU@:GX8[QnI cIGŗ[˛nu~<7ˁ8"1ކIfN[Ɖ;?qR\Ե7'aMcAU6(2OnOjG9SĖn/śQ ص>S>6!JA+-B9>#h+`^B |1c(L9s}q (7I Yy< M)%O06A8ODwͺ4:c7v;}kHqhԬ3øΓktMMqV@g\18gB&L\J""~g$/PNTX}\W $JA@YRx??(ad}sb :Ѵ'/'ڀU6l;ecU}da=J:C8G:ht8me&}Kv,kWX-pQ)vywi,tgZ&k/|u!$^7ʠC19 h{FBvubggHTUdwύx\$]|gb+S,}Z¼ȣePpL_% "ˆ]ou}VdVEh:C!EL!֪֘sfkKG<6Xӄ$IM4 cօ@+b*/i!Ӊ$zU\.Hmya= E$hEZ %#B,J93" -fMzkۡӠșKKӗsir2QE4R'3.B`aU /]4cSsR<Nn*⯺0py'ORg'_XLK+}k -N" .cQa $0uѡ@a/Kaz-u_9vLl`aIOh%"Ayſu^n^<l9Pk=gYZ LE%% LCakeMLCakeML.FpSemdocument.tex7zXZִF! ]A-MՋhvG"uIBm5nVqOƚ]7vX B^LJ mm.PL  t'\wcjLKb3 |1 i4)J{lk4CUikw6MxvkMOhwQ+Q罍DG1CΪ9ں $ΡT3X43 t@ v9[ TTq[P-FJ'i&VZE7@8s6deɄ'N(mۇ7'cfs+JT]ΚEMȧTH]m~q6XgD [}qk"GJ: lRHMuU;aM L̩ ӛ+U5?j+mUDbE cwuBO J_&AX]Ĭe5-e$vy7oGI+J0_I .d' (L25E0wlV"h >%:bGB)yűi\t`$rtD^f&Z_Rf.:„FdGԀZ PFd^;jڱgYZ1=% CakeMLIEEE_Floating_Point.FP64document.tex7zXZִF! O]>]A-MՋhvG"uIBm5^5zhMNoS9NLIQAݫ }N wb+n"'O|$WBmL)<57:5q0אي)bO3|kh ς VP7^Z,v-Eq+8 >=~݅)9/5^)LQ3놁d<_Pn1u4pv>{Lm9|{SzR8ҠגiI7O9:OtO&Tl&o$CE'-!9"T8T d'ԱсǯF-,v Y^8m/Kq%21;:Zk%dH̀l>,#=(.Fb$ }mp?Al6r@贉&bJ,N<,DsYK,kERH<c. }J65؅$i{ <:1Op}ˍu33[DPl+Ä0iAJIS~ Vr1:2tl5V|c/'g,04{'#+Pcm2q(;\hWax"lir7ݦnт.$ZW{6əg/ieLaS"Y0:SB[iS8)_;6dV}28tosSJdaIu"OʊM].M|I=نga3j9ЩZ#~H?Hjsaӫ|z[R3?bSKF| p"p١<d6S"6_`]ny,a`N<Ʉ"_}YCQThp7\jb0Gr+omKԾ0@K%v}x!7ԐXKL"ޱe:༌L\O.8ˮWdޞ?gYZ  w A% CakeMLHOL-Library.Lattice_Syntaxdocument.tex7zXZִF! ]A-MՋhvG"uIBm5gbP\8(iQkvTl{4q]Uc=7@2d+CMԟ%}I8uH]Bh  D[WU(cWgMNq?"['%|;ЉWCX1.I-1iAT{ow8Y=;5KlVw ka.z%_Xת$V?[cD 1B_fTk )#E8zحeͷSX|j*o/<"B& 82jjob~s0wkw-e:v _pppl&a~)'4/Ď=79ۏiSOJ.ɜ\RAWeuR=S5I'̖@?JBev@]㣋U͊ML BZ@7FXڳ\ܧrj.ɮoœ_6(]{Nεu5$"N;,{M9#{e 5tQ v7OZ" j;atAc^LqJ@O8IٚU*6i.D 7ʻ<\L)6U:UG~_1f8gSK}˓O-;n$lѝYqwdx7Dr')2ݹgYZgQ% dCakeMLCakeML.SemanticPrimitivesAuxiliarydocument.tex7zXZִF! &]A-MՋhvG"uIBm5Ȣ?Bӌ?SYVh;s$Mv#C.?c fkrv9o-a=M[? .#c1Mj 1I^q]n&ϚYU˘@1åS0`Ibt`l`lY %>%PҡN>NLțI_G'Y$d`^}[@A_;O6py2\9Hd/g `p߮bo/c2-TUs] +8?˂ӥ)ROQ͔=OG6u5q9?V˗ǐ?k<#E y%{U`Am(C,ЖQD"YOb1h#xjSj6}.,W֕jk m^3=K.1}fK4yTR8I׉^TH~"/դgYZ{A% CakeMLCakeML.TypeSystemAuxiliarydocument.tex7zXZִF! *]A-MՋhvG"uIBm5uU#MkDf"|t*~Q08\|ՂqUښ)J%gjBੋeRPQÄ+J͍6$hV㭴lƵjT]6'<~zyj"͑tUȬT B7JU}DHSha QpYL3REjF\ׅ0y2bD ^RLYB5ôAh9G|ď)"%Dq_J0PMo{N25 i W(uBèm'^b8=ق9ҽ|dn͊c?UTɨf1jRA*;hT.+ &_Nѻxx}B<'YY"?~q%f ї.ݎ's9RȭSԙODY3L,5ߟs%yZVe~2iz5F-[eݙlvQq>*S|bK[cқe촃jX4`\0Hh!D^HcFIioZ[h/=䈱*TqOc$?Dr4"}f&?Z7h;i)gFU)H\,)ncS$2>ߔF $zt}~z$pRwnXV TAuFV3Y?|u'5ӦZ/ ®K- LZ{${;gYZ}-% 4CakeMLCakeML.PrimTypesdocument.tex7zXZִF! +.]A-MՋhvG"uIBm5L'Qt P10A8'H0k%M`qnkaKh1^e2a4["XTPOQZHSFDZ_/BN]/vbPƌc+J*aOwBm)1lT,ѣQ\'𤗦Z{Inaj-rPbhw6@"U "wy}Nr2+~R2hϐe5C:f!5;*1 k_{Ė|v\0R :rvw6l-5@d8/<ľRsi M&ǤքPCn8zAd@N*.dم,5 }3E֢5Uo틲6.WhjK9l/涇KUx~,}W=DxKn+/Z4`ʂZz: EfH;9t6q37Bxi$O5(n%Hƞ}yd$I+M 菆*"뎼 P1U cLMw&UO ~&Sv:3o7^j:ַN^dAF95BV?#r j]ѓPNV5)7"Jqvp***1 m;Uc5|b Ԅp*m(_[>kWm{`%B]fJ*fz[rZvɩ"]em;=is06 l  V^QgYZ = ) bn=.%/% CakeMLCakeML.Doc_Proofsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5۝WQ~ৠ@2Pw=- 9!N“/:i"jZa+s;PxayܢFp$HZ(Hhw8|SaET([_3WW.Zm *+Y_cP8l D8b5vHʰIVL &9{a.Go/RG_ϖ XN8#p[HInIt,dFJY/s7RŀƊY wcօzs@(7;bS]M ~aӝR oƵ}1+r[ȷ3&Uoλk[_4fF.o ogYZ:#?% CakeMLCakeML.NamespaceAuxiliarydocument.tex7zXZִF! H]A-MՋhvG"uIBm5ı}2zx̖`~y1eQr9ּJG-_uQu,Kn@# Q/'~cnn~EUݶQs|'ϧ3G>@j`2|*ꝉr+QXD7A T01{0YU?@=VŻcQBl9[eQQP,% fΩZs&OȂyk/38G:(m(F<8v`U vH_Aܙu6qP4<ͱ(꠿idS`%NA͕(tI~L6.$d sk01LHK7_2]Ql(a灬as'c }7Br&U;݀m%sz LK[4 {`&t:B &PAxiz"oJ,Y#44"P0SFp#QRPV4LYŪE@9QXxxI!yԇq8-*9v0mTIfh\i|Bj0 Lr /d@ kxJTNie׊׋'|n=ů$SX6 'gYZT!3% \CakeMLCakeML.LibAuxiliarydocument.tex7zXZִF! h]A-MՋhvG"uIBm5#JU~'mz(~_C.yl2{KЮe7ۓ2b(K|p8#B#ĵrF?7m2ZMF/ū?lGJ/3hp5zYi}$[IiY*q'^5A8KW3QD0* t32VK(2?cH0;o'to> >*@ 7Pzhh2TB7 ]J{CJ/w<1{]iߣ*2] wiдɁ!,ZlxO@ԞwT,^*GU;I'~&.l?gԴkdC6b+Ŭ*Ҥ:X@^k ;^ZSHJ/icSRȯU69@ ҙ,O6#OIocA46Kt06ZqOeu1U' uTy"6)v[DtFwʼ]-e$x"@G(_#org[COx@If9ա6gYZVN#VE "v-P!V }^8GMuq0xM7AE~2ABu}qh&BFAxA"=z!69C7uKiL -Bmq_p]TZAyJmz5v!2QB O??5%9HuQe_E#eZxpP5gmYSA\Bcr_9ü$X{32JM99-Ѯ1$!YݘQ\OL$Ī=K7kdp])hݨwW5eOPV:t*Mеh;(RV&J+$\PY$rǼ6P0!fϦ$PʫrG*ŭQr!)Q!YKki;\y BFeu 덎B=@).a6S-;G&^[b*ljc1swLW]tv'q"Mi#x򉂈`i*hjt5$ ` ŋ6.hp,ʋ$\)v:ius^ М) ݔI~X`_(ܶU]Ϝ՟O猓4 ށ.e܊^>P8Nw4?zsg9f"cH4?i1RˆaSGWV%[X9":{nz w-d\\pO|iuNǪ-//Ti]ZM?`'uؕv C )P3k7>@<y%OzNnN U4`5L2z|k&㷘HF5VGRp eAy;uR;LCidNI\['j?' ;7>VJMmhUUɼX$ǯp9UQP wn2_;QƉc^ ~jz~hQRvg|5}#\~-J0X TTe1XSth3;51t)IEB1MOKe\y_zxJg(n q)7\[< TJ5qka_DV /B{ϗ\DFvE.U3h;܂t|st#M݈{d'hk̸B휢|{/`*8f}6/@dRWfԳ70l#[}Css?l }Gf_&z^ݿ:@Mzi2 "%7цj"ogmtX(-IORP")λ_5Bká[1 zol٦ kRȮTwt/]osF0{7 m8 ]~Jj4KJL$Xiҕ;qV..Rt x}hȿZS}홎\XuPɚBV@GAɆdnՎdڛe҉HbzNiF|o䋶yS=/-WS5īMNH6cFb~Je:+dg-w6D"PQ[80mܴp+ekdRPx< YOdeeMJJ?v{,ʪIl?vU nƙQLrk{1wų 'diRCmA}ꤞP!eNcn7=M(y-Y)R^2}ƴA](->r1F,ƭyT Vt *^[&n:]Q +FF.J=t}w1zмGc=⎷>1l]WL f=cPg-p~q^v2{uU=GIX!6ptvPN;q ;-LJ#q*x,QNШ;+xYK/ 'ؖPr\&lRU߃6KQjzw"p㈢i*FwΚ!WA1,GW $s-?P.@u + ONث$D([Ҭ/^sW>r{o>_Ւ>P-!\nO{K/GUlP͊[A5صO.hM?A!?r9z`e%{Y ^<^]}Ͷ@5O4PhN+8ԁ*Fhn- vo6jJvqTyWz7K(Gn|Qhqk><²Z'7U, mh/zh24etZ,x "~[4T5XC]9׃i`KSXaZSnWh =_d$4q} %i|aO6[(SaWiS>JLA%{?=7|.27O h#}Wn sDV.)!b {2G ض.„ }"'2yV(t{dւUËJ&58[;ʮl&޶=xK%s,ކɏl^4ϕ|ƦICi9$ "gX&W/uJ-G鼖iH_a}o(#qJ}P𴙪B}hG\ܡG J-4dT.7ٚ`At*?+Db4T8n\5 s|C;]4nS&WGU>Ǎ_tWFo9s̍8,nH.񟗱gYZ g(9% |CakeMLCakeML.Semantic_Extrasdocument.tex7zXZִF! ඾w]A-MՋhvG"uIBm5Ȣ?j>Pէ?؈!D 8HxX;1Kfԅ4PO)׈թMp}o $U$7:+RR0yum >TjHkAK/y}&pugd?`x,XzJ%@95GyOj*G_bWLgs6WFw" `753_j䗙\:?’S>pR(`o<>d%X E~'1ɎxxRa_kLuVf V_@,YaADtkBM`ΜZ+= ;Ùc>vwqCX]K{ߪixN w;M,TY1vFRԯØHS'?% TCakeMLCakeML.Big_Step_Unclockeddocument.tex7zXZִF! %!]A-MՋhvG"uIBm5Effb^uO7[@uџhWhi 1pz>x~s |P=3HĬ !"Hi`ZY'@NSsn˱wERᐩԉړ:QEW?>@}w (tk!z//^^2:اw|tOH*cOPjN._rLkbrgTy6O[1IYr6zB~oșM|}詴t^"o&5|@Ai? )MӀxG=h+tы6ay`\953=ҰĪFB{%#a){j!!H!EujE뮹G2RR6>K8#D=U#z6nbܧ#ɾmKY(Z#pٰ\b cP*'L/ (d| 8 D ֗zIPK3ֹRsh^7 &Sro1Nhu|6!Mlש7CRv&?% CakeMLCakeML.Big_Step_Fun_Equivdocument.tex7zXZִF! =<]A-MՋhvG"uIBm5Effb^uO7[@uџh # MbT"m0S+^6'9 ¿^gT*>`ߤ1V#!YSJ ZD( HaSco 2OF4̌mvdw^7T¯H#W+UDzanNc F1gzԀ0~K+ѫV JR ,bKw3eԹZūQd`ju8:mt{oMiL?Jm!Z7'AT K~+>% 'R7`P˄.l[|.IvZ*?xɒ]r)gưi=qP^Ghuk5fL@:cpxzr27۳OLH8}Ǹ1QݗI%*nͭY~H=PdM :I{Ru6ӄ>tɈ~;)Dp^ "~{̓tG$-G%^R7+@[Gqio].j_`\WVl5F"HwW"@疵.ɰÉ;ސT#}A;m*v)cB{@ƙƒ#!ݓ,9{MlB' LD|JEд%u$m(O')4稹ODѣ@MP 3jScrU 2%.3$ٻ\n nOLK5%Zʯ/r=Kfǽgtzp -j{̜-4&EB$$SYrV;nr ij|Ztؿ:yIHu[{W'MsCTC-Hx'""7~uW0+ C@QEDVws1E%Wgk^(4J˂. G^]C_Tp(j2[qr~)];-Pllyۭ~dCVWړJgiL''wϼki~Q3{%=%}g>H)rbjBZh v|ji@m~y{Ѭ^07aǡ(D0M+?xg$5HvȬȲVv#Q'v_JT  یߍ'rE?H]!~dE$ut(!5vE@4en3KsCdXx>CN\nRQA5dUõ>>ikMd[WƠ33\qi,0hN֯+b]T2VH! XCPCf޶'ĭ0JhP#BѢuŠ;[d 7i>+H6Dg<_S4+jCեBaĴ3֌\ԂLJ ͟Vs1rX'nn4^?!C_Nv`Жh82ɆU$ c "qе ͡E> ir\BR'>Q^ Ml~O)ѩE)ZFXՔ)}s*r${Y7/ltkYHZe맱,6hi+ш{CHQffVe(]MP%f|ege$*W k-@FA@#G y\c_F C.E^Wm %t5&߫*\RA?]ҹv=p+d/V+8 RdQxJU=[Jt`u=}XI氛ǀ܁WUD9h2Ĉ@<i$mFuܓo_ mXwn+VN+t;z =mIm$[\~f6jEuJKW*hf~.gF.2(5z;Ŀ ,9[8?.*81LOľ Vw"|n oӹE֛`#I :~#cSDk7O hq_ #zNh0/uFlA-#So,$6.(>I2.[ 6<ܿrAXBda'a2sy̗lw@h!7+x2j К f_k᪣kSqjisXofW!P9»,n/hB]g-EiAaWM0S wKc4t;*d֪l)S)L$?]2V H6 ĉWK➒R9I8g+HUbѧ.!MˑRc xfm^!v%(؅y|onj&sfyeo #GeZO]i[~7\ :B 1sxِGi]^|5|]ЃXo&lq^VPo"V|"oL6OzYS`rM"҂wM[< ׁ,]dFX;WUz PlG[TԽ\6bH ) %غpûۉ~}g ;hN<;k30Ю@(`~Fcԛt5Rp9ԑddT-vD):J"ϓU㿫Ea(9ޖH=,6rE2o$lNoI'&ˤW/iDt|YW̛{^?C}IH 킔{\?|e ;*)gC= [? RTq1rL"9RAng>} ģԒw`l7几E;-KQ)N t5CAv5SŗbbeEc Q4AMLckEnah |eл;e0]Y !t[@{iSr jy_j&b#W oGueo#EJbb7cbK9ږzco(܃}K9H d;`O`U)P#2Y۫&'w͍Csfϯ^s7,8hz}Z=<|NNw+h>n5§;(zvhxC%,j-u t.]۫Տ,g]U1¸)4e\ٖ;X$gYZ#$]!hNz)^x+#6rt:jE=@OJ~Jԡ2:0#[ ǃP +"iF<7!=JCѺZ̵5"爽!( wW?P8++;oNg]mrLXJzTƚ{n̔fM>ʼa)!yi,u{n[#X? -9ݓج$ mԗAZ+K=P iGM'W\ ._,{|52_(P@϶{];0xFq6{mc_y^(k ă,XFP;)Fnɤzmxp>q4X+:&~ fH!\WaX/(ea 3lʳ/yv˻bZS.yPIM4>)8+asSsӗOm^]3! ]ȡ4]+rC&:-ډnWd6@~r؟SZ\si`0rSUQF4m, QuIQ ` cmFE5,7+JnTH$g i%vRohlXߝA&YBdo@J\]5"e_-A\4UVLJᡳSfM~ @iC33ģӐDDzZۘZ{* snZ=R1d 9݃Ӈ#)}ŔZG&Dצ"娓P\1%5uUc?JŌ*X6Pp&1&aേXEkZș+Ǣɼ鬠L(f\LyjEZ0?<|tTU2?7)^w#fyfL֪Uey\`\3aȃˑ~uAFQ^M4%lZ].ȗKcabgBS;DAKogpmy2o#RPĔC--SDg[D;n++8yy~h 2,m97lf<ᨨ2&Z1Np:e!R nfԪ]a;`FDugImn0dk=*xH9ZbR ˓Ӵ BEŘg}O=8NurG?(1^XuVx0m0Z)*D4\*ߊatZ="31.?Ilg&ޗAuG¿F{9:D)k$FefDLʩdAj= ۓ෢f4 i쨽 :xGXZ Rju G[|)Q".3љc\FNS[O`_SVp뺡?"Hse4&Dy]V  $Jlfh 8s L S/nn~^: )2o*AS25'*mQd?#*s?%ۻmlrC+qQ_pJߪzW*(KRUx pav퓊H]iƭ~_ͤ@u8_OIHa$_A\PTa/˹8i4L'w-4Z#@?Cʋ;QKp"aɖS5Gr4:ɰH\{75HGQl9 5/{Ԝ讣T±yȺ<.GKK>0<{Tʀ jֈAZ@ +{;40A<@ wȘJ]3&h7 &qC"e;GQ\oip=U= |o,[ =uaBZs3 ?PGh9ԻH'\t8i˺4\$Hd Tj,l%(ȇG:rbDwټs(&ԖtH:YK ;FX=*`A*CHRW2LDd7x,+}bU(]?U~4RnR$a@΀p݌3lsVAn틁]c EL6n*~0dءKZfKST"`^D4"5O AAYaohaQҼCԯn˜X|{^l_wy43Ք4Cz啧1O?$g$Wc'aT+mKv$efZPV$/][;nz &&sV|@x #Бxnpq9OD7ݑ<˪0iW#gS4`kOT)e?g s ݠvrI̊鱺)ľL.տT+0X N)࿃&ԠG"k=cpd2 40͕;h#=zgcCVϮ-TX8v!.nk$(IDXq? 2վULy GG!aO_@z+ӱ":XY&2g!U$ ,9y&4#ę&7JͿ@`! Ž</#WyՍ@KXfs!,SSG.YST]LE>c%p7뽸hSЌ$!(2qNmqg O嚞׽TMd('Ng)OE_t1'bҽR>w `z(4H)2gF]>C,۞Ÿ}\unr;2n/ X@ -JܔX+{tQ3*c18C)U{hlgxx1g 9AOK]7Q9op-hԌB|)rg=h Do$ƃOe0X|o-9"fI:uCɎGJ.ʕe: w?MQd+i9wF>)8h7R"2NUpò(p7q9+&kՇ/z 4Cб0W]xVսEdƉb̝']5m_&J!ݧ\GݠBeo>np-t3m踉ʂv;H] p°i{0OFBLfxce(C% v+cZ0梪줩'GOçwM3mE7#2] fKSS>f|G >iPv*XYF8-r5% "4 jcq O4JsO ThYèX+cر6~;IQM\Cj3\eJ}[9Weʒ۰`*,sFvv:J3i^m\^kCtȎ>T II6 X Sjg=!~dCFjPĶ*!aL#ݑ.^F|/ 5h5qqX(Ӆj+ũۊRS_vk0=7oakZ2uj%v?~Gue)Sp\lྣҰ_+s+X+#ht;7xB+DD De|ߚ+ ' $8Ic `6J'[++1zs0xRJZ䞳Jw&E[Np[e(e D2;M;/1UUd8ge{/u)l.xyДJFؖPw]qzDϛ 5չ/?R#Yԁ d/d(B/)P $OYy$hpYL 1B=;)"'|I};!B.OCCO|) ]3LP- 7m>5 sk!C_r 3V"q խ N3~nc8./֥vDB^b>7/KIѩ(s٭њ8 i"rӠP vDL{՚Y9~Pc &yvN/M"NXL5rQ.p_ށq^™_nU/a`WbrJ Fm먫[o6ce^6O4Ȅ_ᜣ8@hH`oX:,=$hh|>#Q.WIj6gfIa^ r_#i#,d4̊waY+ǘغT#Kn:Iē N|WN,?6+E׮+iR Yr"&+=}K>Q4o.[V?h͕鹡n3IxK[GƫB *eNG4jtz.܋{BЄB gYwr5g}VEk:Ebm֯ez54>l݋b 0Y$^#qȥ0 m{Hv$@8/o?*sEMXrۏ;y^ !".g3cUc/7 EGOi?~NmRDp.WY8FTnVU|9Rey/0,gL$Yл~%Ļna+xD"4+W G㗤}/ `FďQ*wz\_GV<_ҡӢqgZԯZ{߲JY7Rh{V7G}>/A>g!1mcWVp SD5YEڡ[<7\S9f TV(m6G.a3-wtbɳrbМ9kk\NۂKʈ. Li#z\@ߛ:3NRfFqh*b9R$'n8U OZr{A2_Wξ3r!ҙaYRFHdLÎ↠Hbߣ3X_k(]^+.<Q=Fv" @)h(_čr)C5p`Qilnf(;᳨= ٖKzV1W&ZR&ۋ}0.,j=rj.^l 6gG2YB1Jvqooh`Jq2QʖVM^ ?͖WztN{;u{BL5U|{Э ހH'o' 7z ijohdl]/"gYZ R)7% TCakeMLCakeML.Big_Step_Totaldocument.tex7zXZִF! 9]A-MՋhvG"uIBm5Effb^uO7[@uџhR "4ўpm3r1~O€6_-L ?n$W^!gW]w=ՌPn$zø??3ۮ-ҖRHG<?[7dg! mt>_`t1q$= buF"ZsOKޡۖ6#[}̪%!;kuU+<:l=*oL)n NTlFj=dqM[E`J' %p u쌟f9$V'ۑsȟsCnuOQR04 N=oVwbX~vqB<^"9Eṁpԝ6ZbC!Cm26- "nF߯Uc:^xU*y`X-~#fr/Q ]Ɩz8ƻ9c 7<.#Q1Nk#}v aoOō U6QoY{`pZV7; Rjf|)؎!$?$[BLG:8̦;Fgi_:t>p`n*X>̑M2Y8:&\fftSG0Le fS6Kk7`)ѥm}4~<-i[=4 j#o&`T³3$2X=_%VR^ E!ݪɸ|$\`?<١Z#x)T F*7% 35AQ<+Qc WՍugQ)OCIÑM)2QH4 <1~m)U ; @xAPMcuW7uثfbڗμŌ(>]: #= @%YcD?Qd hn[dmSKQ{ɭ[4Z4BUjg )KRn\#TDQ߷ך~E i?U9ቫ#i48 U?ueU_|ȑ;9 ѣt^ V0R#cvܪ | MYC`z[3 t6V_ o]qau=T&t,،9PbF0 EM-Ou@'WFuѸm@+JŒ9ŲNϷ>OR}-%-(&IC19k@yO︎?l};k󧣭Hqh<:. <-q*Y U֩B7oSP=m΀u}Q y?66PwLjn{}K9T1I_ V~OkLZZ&ۇ5*1QW A++}Z؃M`(PS(ex%F&yCʳ п&\~[:*0uwiqCX4Xx h1nK!'VOZ.!I ˿t9~FxKO#= V=]Jӄ0]JL%-"\PETW=/Da3h;AaX^4n*1 0 =@ŗ"g4IW Hun2Bfώ/.&|m0veBإ#vRĩ3rES<}c%y.n S춮)q\\&N{QE,?2Jn5/v m* 9D8)&?X^PBAI*yxF+~Ec^F-ߌIjawfIG2؆?LnSF rϗ'Zi 6uK. # qpv玒|q$ʴ8gde'>EHi7S[4HBuc![nb䨰}d@ :>S v0)I+7.-e :{ u^[{㥅 %!B_}éƩ~3k)'ݘVi *X\`Aʽi)S#A=5քCs//O @qRbhk ^F׬㠣 + ڣ 8&O$ }e7۫O*}9欂A`F 3!tsD>0`1 $~xT?QԵ:X9ri|KT7F'Q.UҍŠ ?L`LV@lIjń[D+C?zH~Ej((DpR)r4zᅬұA]a5Vk} 1! ITc.Zfe #e8tFƨ(D(>K㳩.fW>Gݓz{4d>p#o:)t|o$'o78)1zBk-3)fF>Bz^=y lX w02twA;^:ذ~6E8qtct_$^􉜪Η\!Fd1Pb7`ۥ.pt{+xBh;kSTr0zDի:Muhƞqr0j=h4Z}#HW>J{M4ʽi4Oܹ*1PpIJ(TA 30#&gfeﬔ1Dr&) l)3@tASs*F*5ѱniQ2  {#tvm/J}:[v˛3f4xug.Cl# ջC^!w^VdRe|޲@†j(r]a)ێ)v!ˊ\&ml>TTu/=ƪ^ԂHspNSB1(xD!D_c Dh4vp<6 RKv+)wp8B Ps0?Rs87|{Uh% ĻW|Y>~'i$H RJQ]ѱ}Y }}DnHIFu%A);ACMlLH(mᒕ+}gA#ٻ.rJ., ru\õeGM]B\zj(+ӟzkS[gskρ8Őf$ʧS4.~!Cb=͊$kt6 nx0Y/$j$ 3$߳k`B̊\ \%y4|Rym%=j^Vza %"b~S<)gYZ4+C% CakeMLCakeML.Evaluate_Terminationdocument.tex7zXZִF! ;?]A-MՋhvG"uIBm5|E!fՄPnz4nņR5ԏ$<Y^ìLc*γ{ r Mޯv@0JK$ 3ҾNW!]yp K^'>xU(koFTp9+ `%M')R>.}L^X@CJ^%ϫ  y%Z|B<$3Cj*r"Y1y *~5LM,п #H h۶U~Qk{ݶ <f+дpz%6ր]:% @kDu! o{QD I]Q@DLn޲aX(9b(r]{ xP+PKyQhC,w5Q TPTWU+Lb/y-xPsx⣛5K2hTD].;:)8P1fn:d!Bt )8bP3$QdC΍[8x@v?efiC"  !E!;NQx\'eq(zZ1Ay,6I?މ9s7;ZF5q)tUQPu_4SA%A/D0t]+iU =H]SKN=,o ϜZ[gK_^R}itВYuH3c5:ϡ81aE8]#|x6jT^&dł !ѹ"y`n ~_9ψw3Iu^F5B*ScbS/<uv4uIrCU +~ )vJS)Z%n}>U[\vt\ܬJbV9:Hp/cfjQ}61rzr _{+#g `]N'[H'2 J_wHm᥽srœamBA=]* PX[{'{Lx,l_"Tcz4AzHEaX#L"&Z%\B࣋տ =["/a3vᎈ6kNnsdkW!`:HB|&lt춆I#d] d=5i6X>_0jn-2p8ľqhQ™p:IJ3{y#<A>qK|``{x ]aۓb%O$ؐu_}%JYHܢ1~-x|m+O# ncm}mF Nd%\1nz^LVS K$~[}\52އ'ńd8\\8VSLN Zo+' h~Ƈn냆882~G'BW8M d1S$M\[JJMVWaq@u w®gYZYkx $7P|8l;!xK]Xo<2)r/3݇P*?ŗ4HF*>':9mяub`} k-@?I̸$"6h@sF׳cO}a_*˔cgYZ7zXZִF! n]ŗXiɟy3 >u48tL3&Y-Wy j#`*'Yܒ,/-Mʻ)~v*UP6Z W tXY| (R ֓^p`L^Bt'8ǥ21rT͗> +b)ܛ 䌕jP !%c#F(ygu^ -˘((ܩ{n~51ЮHMw}fn>nWGy,FMIܦMǚ. -S|%a?/ 0s-h!a>pW2gKN @E`zIl [)Zoi@M"rb;B򂸅8h%B8T*MU+EAPb qT6~e0R'h[i>gYZ7zXZִF! *a]ŗXi%; J`o{΂Ȣ!WAsɻ{>\|+b̓6DU\Yu6ȋ0dR\5յ:O}Ll?hv[Oʘ"PvF%ko`~̄;snh:㜢2@2 '5{;.j܃Ma1@-k̾xrc㷃n;NL ˊ v`KM>+HѥDB8M䢰9O^>^{,xf? L($8%2@)Fuݮx"v=~P~Sq.o2V=$o"@nҽI%퓤PLfx>Q@ p1䳴rӦsUҸҸ"R <)Q]>=Ax]ץ"O8n| OWF!aO_b`pEo璑<;eӍ )`e2nSt0u6BeI}fxtD.-6 NHgwS&8)jE+o5e~tAb?\jxRX>&xO|%izQ'zW~4W TjoT<촂Z5`=!쌂$L*XΏAK߹T-'b|\WIM쥭D{^SQcٗ/Zk,-Kk -Xjw f.^^!y@:la&Js\}o5GEAwNAIF$1 ;,36sO[h .ex^xaw!z3T?=gvT ,¨߻zdEVAg>+ gHVF@ 5wsa80W8t`95 sĎ YY*TB@PX|g\-ZT K<fpNJZk",2vmetkN pY ^swrȵX%LTL`#w N|Dr_$*ʉD$ӽ.[J tD;}\ܟ?aY1~XC!BR6>XkLA@?z./] pYw߳B LU?l $~\ DOژa i? ih[f_RM W㭋t18 M&]&jg^} #TX ]+慞OE6m:*gO!u !MQsl<勩6%#*5T^wMHE|_a6!+- R~g"yu&eyc\*"#1!|K7]o`o uQm򦬍J_G-`ׂ^lԻ/J@ fN78v@5cPS|;Q@5z ㈵$@?4~i?C3Zl=ba16IRbYpsZWguĤ;ƭXOR(N ".ٮa?󛩟32}:ov}! 2 ;(r 6Ƣ}GyWK; N aC"˶'> *_>L}&7#*g^iαbEH-jАJ@rioiN`|[H1UdR DV+곥{0h~ـכ si!K'cWJ UmsJ^ۑPbFM=yر<"'fkZ H/os{nQ4|?i>+p2\y[XEJG@h)O A;xӾ+myJ̺sm(WxDTdxQL~e3CYnySaU@bӤu@ZT/ r^0t%gTp|l:2!tZ<>hzz-]jᎇXmkWy,R02 7$$ܸ8vC/YQ>4ׇPv-\ ٪"Xǿiyy_lwdeSˌx=K3ǫh SbXad~%[W ңtN]G ^^~mR"7&8N#j< To<"~V/ ([ aMҼ,[W}$w}z7:DsɊ s`nInbRC.HFeeΣIz"Wؑs66{=$ 6;ֺ{5w M'@B~9pa(_H hzƌ$B=fi.FHa9|Y: nn7 ٲ hQ+0*ůлfpYQ36- fQ^$ {t^gcOGb Ęnٮb|RrU΂s^KPj5aܵaHr5k g0DPTȍ心)٩kGlb Rȸ\[ؖJlVh >.CfXLgtC(1h'v*KFY WqY^KǏ+:2G@ XQ/Fbr#x(tF+C7i [w%jȀʁ`}3_6!񆜵c/ܯ~:`la*4PqgC!eD<,#=VW8H0Zts/GD{5eзrt>8YS["ЫlLzkPGŚeiT\w>ΌA.)ڧʵmc_he_xJVL 9IG<'UUR/І~`p =4fu2%;R!nH}=lR~j% /F1Crcy1ڶݠ3hK :}ɐHm{I(wEl}lCC+Ⱦ{941R+"`)3z,d8kљc߰ 2,VJ!mN #elsu`V7_.+z# []`JKϔ$}[=N}"8~̓Xt=1Ѕ*Nb~:[rRB@58\jUҌzK3tAGHI@~ [Cߓ`3GZy>PTc}O FJcQ~Ҡ9ֿooоu T=ZJB;TN믵EA&ќVВ8EJum*3<mZp͸ 8'M{٥♣nQMvd _h'h[VpMժ܋:MJF.$[VªUr\( %CNv?_UQ(aʚ@}99˓FGj:x'' ]8Y\[>EYFgx]RNiQZًM&.aH6{Y<$XtTq q`+9J¤;H/qD*VlBľZ,r tXl9e+!l:swފ-??hH؆#a#m1ykׄ!*L2Zd.P2f)r0tF6A:Yr 1eyC;û蕮z}GTI [ڹj[fPoK^xN,~荹|F$mNXcńkGQlf결c|CpK4|ȵ@^~GMWBP`(`&CuFk)5-5M<J`.!ڞGN ljxU=B"YJ̅%U3񭁄{,3i&雂p=]sz> U˰I{KaE={␒ 3M܁%Ow=⬃0ŏ#/D` nnLA$4I_YlA׸@,C+_ 1BLCSZ漓->&jưE ݞpCrzrL[P zZ*C jgVKbS~*L/r?όqIA7t0{2U+]3&0vf>G@CAeY^Y3u '{8?'QXw@ԡ,%f#lE.:/F)MB,ջj%paպ7,>ۜƨH9ߥ Ck7Sq6j'}5'4g!ǎ&U,Q.*6mWFNe(9fX<%xN/`|if]~G7eDjQGg"Msl@hqYa]Pt!5X]L(- As~GYR~Y*L]&_ծbSb6Hs$R!1pKTow9x NiDVaB/: vtve`戣\D O^ ƹ4/p={[kN?`+ƒ^ y\8aiŭ-!PLZkJyD|~lF`،aV*, 1]~1=U"IF}ZQ  zӔ LaM%;74Fb~A䭣P73Kd: O`tA}-R+NjYr_T Ja~4_y2N\"}kPc^ 2&yayJ^_Vwc$2|kSC.920%{%^Xm{09YKfWxYd9GIAx"51/SKZ)Md4 xmkVt_1 m//uKPﶊcx|2@IǮr:9U;S1o-~N@ JЊ@8m~yzo~5|O;{|cM4#G0fٸ/|r^ v'.dzy]{,֍|GzG`ʗeHwlZ3C+6wގ8K2,T\iT$ˌCT+ߺOQ1h>~uOU @#?`N\c %aJA߅upT&r9[J˙Uau"Kw^c'q=5!W9c }dCvD9glFniE0rHPe{gB%I`Bj,dHYu䉋V1 IQ1%1y'#EN]FZ7喈.,/ܳ'&h8({g@l:?堻oύW=h3\XD>eda2 2lHR)?P _ͻ% S`sSwW\XGu$Qٖx=D*H)C[@i6Tian%v@ڎݫ']bueSۮޠAIݻw3 _l/XVT}3 *]y<*?d k(pRn/FK:r籈E˯FVJٜL_BVCx]e)%/]dGw*Y w0% Xa FErkd,)pv`W|2@62xyNKi  2=,d`C`?ץAn d8cu=cuM\Y I7@!3;"ݭGK;>͸7d=)vxf _Ⳝ/ϲLDqidP'wldApl/*tbl! O>!Fdd&:> )&=N/l@rrvtcyp|biTtq6grICVFX(HR뉁y,]ۊ㎭\pMZ Mx`u: D ;wvR̙F؎ Q鄮c5͐YlPHݥݩM^bv.I:P0wVck$53A3)|"(}e$VKY/*P^eyҪ£ ewॷ.um+m@lVĀ !&?w?i$c4G$J:~/lOaq,TuI[$`;jBڠ2o Gbb>|(P(><֚Q靫lAECӉR<A,:Ь UZG#R#sK̜rt[&+t 9{F*h`6{gSZս4Y?FA 0i^p־ 2vfW65l^t1[DM]M 3n >_(D|sop7#y~ԊcMa؊((50JX_QTx#!T|¨2~ZyF,*okƛ|dG/&P(-wjk |7~Nlљ(:q3@,r6? 6iP+:!|fq%,$%WkUt-3ݵ$_uwP (,~5~XYZQlldCęd+ I )`xH+9FY*U>a FV `ll pF{buoRNDߒ{h ΙזYx>[T,s{dw-:^}~!UJ7QЯCڞgyv߯f~y@<spЍum4WH\?(f( yU28 evG"*qR6qŸ^as9Ct_m փRWDGPqpPUS'T]D G5!F2Em^ƭ]zNH)ힺ r u?6N':CMw!q<ʇc0+Wy)%T\^ z a:|̯R'/a9KLL :}XZ.Բo3T 2>es, Z?Zqwu\#lsBKws/]`(R׍AP#h[F6"b0WsxB/l5ZvUHnWi_? #1 g$3!zsO&#bS|Q]lNWĽX+osEfӰ}. QGC&r4xrV\)Qd;$<]1=9;Aؕ-?C}('J5&}] P.٧:M߃?`:G_ PMmĬ.bheE6xJ4JbE֔ Qs._qeWڃqqbg9t|s`\+6K] T,I\׊]\;*(/I ǬU|3&[ ݶ]3&X*?x͖F|w``O6A]::iBˈRxg1oM;VYb&$U\.zro7 ^QS{)]GX+k tKqw9=.MGi ,3yE}]C=̓z r:,)s