SQLite format 3@ @.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  + +J' D| ]%]CakeML_Prelim:threads=2elapsed=48.726cpu=88.616gc=4.380factor=1.827zXZִF! 3}]ŗXf1-q恈͐7ӺV -FD Kv3۴P)6.dK<]TkW*؊HBExjBDИC}% _^WiBcl2FA‰׀ 2Ck5UZpȣCۭ9{Hn:rH_ Xu׭?Oa8y&%yDooƣD9x SZSesew`L\ QNSCc9kEE- NEdm{=C+9veYWBz~Ӈ?OeRNSƄHޫd`w;T<; E!V 2l8>OsgybsO!w8 L*%[[!:5 KnDHTvv!CNLg?|VYP_~nFp[pIx]M 22\Ł67O8r=kgS๗sEhy473*lu/FP[G A`2ݫ~Mt@A]㕌Euq&f}jzZm|tGhXұ=$Ӥ!Dl0[ C.j#5F2 N) W骞. `ay: ]*5GKm fqj^p0 qUggM\3s,_|i]€*"U.?3oJ{52z<ΥSY'"6>m0)ƫfKӵ0(_-!}r',xjG qƆ9F.=LFbimЯ,&t57e˝Ѧ2̍'v*h旵܂8cNaXщ./#-'R1ETU) E_' !3ffʀbGN333e mj#‹'/% $CakeML_PrelimHOL-Library.Floatdocument.tex7zXZִF! |K]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А-v@ʒ6kLZv~}FWM)3UyP#QRK[Z 38m> Z܈:%AiN$z Ac9#xijDeA95"OlTZmeUw7*Q+bq~7SJzZxZt,r{=~RhmjNPh!?  |',C.ȓ hNyRGn{pd8{ܳxPŁl^AX b^9@C޶#ZyӬޑzq̕\ w)ݭs3VZ;S]r6 { Cre+йn'pA>ba<U%8 綀,6aU5t|Gz&5"4 v~)sl{JU̷f#w{zwUTL\S3w,|K7{w"-|VD(t8(T[hV ;ctI5qQ%XfT"b'Fljiwgtȓ-g3n]+l70'Ԅa) ^S+B)\,f{ƕW:aFxw1Ⱥh;Y* @{ @4K:I<8nnTto<%@ŰTf\ N>EbRTIVƏQ昞g6:WvN*SR5FSx°X5@B#%Y|j QҊ`tZ_3~*sjg]y-|R8!*Cꏫ3s6e6L_R!4}}PZӺ??uXpJ=',ڧE~;3xEmW;ϹJTMONQgQ_>`h5ztHwLBY%Ln[榖7HRsZrHXdHQr8ZYQCJ'/*XMu4#xI*D2ϟ u;u,u5ZDh/8tUQ/ L2O!/Ϭ cta]S-fU!$*J`b{Xh(OSÜGO$Xi 3<ضZ)N Ky]& ͐`8pwS-NyS Aʮhޞ{'8,aj1"Z `ֈ.ȄlHCVIqxEϷCqͅY&Qf5SZ5F$S s8#|>W-r_<-v"`"TA h)}izp);|ޠs-C]L[h& "syXSn YS*LV3hFMaoap^4.e$7lk9ue- meiM3j ʦePbRkHbnO.51 >;8 6 4 !  R >1  c   ( j7'=%CakeML_PrelimIEEE_Floating_Point.FP64document.tex:'C%CakeML_PrelimHOL-Library.Simps_Case_Convdocument.tex9'A%CakeML_PrelimHOL-Library.Lattice_Syntaxdocument.tex4'7%CakeML_PrelimHOL-Library.Countabledocument.tex2'3%CakeML_PrelimHOL-Library.Log_Natdocument.tex8'?%CakeML_PrelimHOL-Library.Nat_Bijectiondocument.tex F'[%CakeML_PrelimHOL-Library.Countable_Complete_Latticesdocument.tex 7'=%CakeML_PrelimHOL-Library.Infinite_Setdocument.tex 7'=%CakeML_PrelimHOL-Library.Old_Datatypedocument.tex ;'E%CakeML_PrelimCoinductive.Coinductive_Listdocument.tex 8'?%CakeML_PrelimHOL-Library.Countable_Setdocument.tex7'=%CakeML_PrelimIEEE_Floating_Point.IEEEdocument.tex;'E%CakeML_PrelimHOL-Library.Order_Continuitydocument.tex;'E%CakeML_PrelimHOL-Library.Lattice_Algebrasdocument.tex7'=%CakeML_PrelimHOL-Library.Extended_Natdocument.tex:'C%CakeML_PrelimCoinductive.Coinductive_Natdocument.texB'S%CakeML_PrelimHOL-Library.Complete_Partial_Order2document.tex/'/% CakeML_PrelimHOL-Library.Floatdocument.texi!l\JzA wEHǢ-oqX}qjc**vz"@{Ɗ>ߠW|.< M5JCZs>5My ,\ ^NC_b98<8)F{۲:.j2 D)_/b%?2:@oU;`1(Ǝ}ߧ*3T &]H>^)ETE(0*+֔E-V{g/M:)5WK?4v>J B* Hw颗I應8SUUSex[tiOD 9X캞xŻփU: @F }6.CtXdP] .K%uӁ4Z@ xUP9 /HRE/.ߋʖ^к`Y!WAT+ }_`GcĜpc~EwAK׽ʽ7SrKp-1F񡂧N_IHi<>DAcj:3Ohcpf@43~xb ©̾;dBߑ8U6ϧg fO]MXu#7 ã CyBҼs .7ڣdɔFuՄ \e<(ɞhH{/upV]{B8cºAsr?7ƒ>iqi~A#٠suN<4O l/% BwNa:ShޟM)=jz\+✉K4o$w'_mCJշM?Xnڕ JͅR,@ r=7V#S>N8ߗn-='G]N( bCjMyT ms<ލ[$ "Qf77͑PeV]GWr"(Q6dJ7"XX4),Lh %ܨN &ĭ]\<3sYm߼GyU"/ iel\&1q$l cTc…xn~H|}$@?ħXK$G ߙR4DSPu~RnlB{EsHe8"5DM Xw7u/$#j[,JS.OUog„g4'T8elKsy9jn-{~cռWQybl ^Z!.w ei\m'ɓ++Е^vYa1&gS.ȶWQ&iveBJ}tK>G~,]c@=>XV5Pj"4 k#I4JsKҸ${]|eE>r`lJ7dIЀ7EްiDW2 [wʨ`DLutT{i5}ׯ2\w"IV\iH ׬P?<2Z X㢕N*^,ܔ_O&`ʃZ`!m#~HKuCu)iNZHKKxSZLWոݸAoib%[S<6s}$ےkø:S hπ~FoMF _la?qOlRud@ :AR#_(D6,2YyPwϿ97Lt@yi+>[+To\sYS6v\d~P.Rdڥ_dч~grY8tB*7e-4d}418jdԠiGˇzиgZ_xgƖwi \uKGx~L3jlrfD$蘲F=Y",[JrX97xtVH=[W̞osvAm%Z|LӃ d|Gh..2W*'6:%b 0FW8A4{]E 9Bˉ"c+Ѫ]WM t w=_ ߅4nL~*s1%9De3AV=^Jfg.J-_dvg0>ܕ i$VSBe5]? IuzygniRU3Pi'GzZ}]Eۣw 4G7uUm7|CV站/ uvO6,<#!0{]5NP@4<խ@<U6!fv2Н\fOHLYz(z?'c!.TDIsELpdM8PYA^!b[ZVX>CU fdDEUෂj6|O?#4CU 9('h ?g=y1${`!waCXGeڳI EkC_GvNjs|3`Ὧ){$3?%O'5]P -a{#|:saP߾Y_Ì?:\47aHp'dʑ\9= t;P,=B-iԯÚZ[ z"Z ~<8\pwgqI2U  7 t!GbkX=c2(a92^piލHӊI 7,U=sK\P!5>;!1 .&.28M70+0W:Cja^E垝$\*g*CڜT [Az|DY^&AP3` rTMbVj(q/=Puc,R鵰l_h~=<|"zZ!X'V; hw4ek-9v&Uv(.Mɤ+3*B2 ;X5gϻ 6 b*- !9˶<W4a!f^y5=hK{K,܁> y!\t{g@eOqƝc&U5afC|Vg -8ڳ@o9tt|$U\ G06"Ŧ&5?$  `F2>FszYVzs×6ѿڛwA9>5"rFԗ> s[c3 R!i`AJ£JkYp4zE1##_m8qoqg,-+{6f >Bxְ>qD{CTˬG,T(q3Rxq^g%mI&u5輷AFg|y_J_'{YԱȒ<d{M~^gX9j;o])/T׈?7I`2JKׁO^u=CiNzP0痂=g7e\V[p{i#b&*YKT -o7-q e"`TXa[Y|J&,p./qzkw1O;{bJV.n峤jp!%\N4\nTSW>&} neU#ģYe\Dž&p7faKW]dzMI!?|Ap!S5 txH ı}@+gWKTfFUCΖ??]y8(~Ƥn`IEu?.2bsEjx;ҧ{.-M5LOT6$J[HƈN< Zhp}]_OP`v~(|8J0kDm#N6 t1dEyOٰa|ݗqg_8*&E 2 ɁK<]mǿjn:i? xJ k!K`)˧_]bIl0A.5SIQ!#6o~"|[͊y. ps!ˁnS*[cҗ|@% 1TMPIRׄ|;-V^s Hը)Ӣ;{r՞tMOεQ%u 놑̳{ yTlQgJ1~gI%}dTsE81r0MS` [3i GBLAtwu[bѱ@n|CQ>ҽPaX)lCi$wrl4C¿=kiMW*X}FI8;D=}3.XW f<\0E޸ [4 ~R :CTQ~+[iNtUUګ"&4@k)AR#U-aeLjӚ}FY"1[Ȇ'W%P6XbN)_f$,C놞cJǀMz_ogC\~$hg̺_=:]B'qC5u5j˕Z1Xh^SA$KJ#.~ÕlzetR()=B@{Pevd/;Xyd&`)mqOIC柦2a92O#OUAD{t gp{yY-廛p!)w;nmd[yC`w;u3@f9lzTJ+(,2&| 0(2n}b%kE\_=W0VMW4 ?%ĺj%53 0 6̾t&ē6?_, bԠHOHW0s&;N$7T/xPAa`$G餄©ڴRx;kMz~l1kl700@|K⹨>BЃZ'aS89k.IUqGL'j/F]B6;\Ù3D!n!|ukYȼ]f&89Ta/Oys.^yR}ؚO@y )pl}8}&SN:33dv9Hy=˳MX'wu=5K4>/Yc/M<q毨9/Rv@w-,fdjuwI3S?X.RDSlBAՕȧtvgA?sr~: X8+vXR KXOפ&mè[8QC1hvl86Apr^]v]g#[`! ,DKssvzq *A"+b;BKsQpV*MW26p0$(U"*tVʷ?TXpeI&:h,n 1j xSxfZTڞ!b-j֭(d1N"xΛ*+t7D84gm|"΁[$LY 8 )MEגv[82wԬ՟WV17ƒ(brF5p rv\&%CD^K7{~cԷZ^-Mׅ3/ʱut%o?0SO"XXk}I}Q 6L#h(m1@~<{ 1poc>fQp2-?٢-o [dtfBKTmdkg\=r%src-B`OKX=]o€/?qrk9%%|8T#0}v(ҭu GtØGG|a٠Dݤt'o;6GwiNθaŶ% =v5zF(dkuƼkyD 1HT3c|]bi|fR0NQ<ُ %r@C%?>T_E¿I/ ( ?S6=Bl ^zJ+ ,"P`[q |%-2$xm7]$RۄFud.o&sv]j \BMɈZHg3=և$T5ySRB}*|ߖ?n8NHʱK6P!:1&KEN%sqn']臺~GWIEɟ;4QY#) }A^e.ׂ[Y)c{I@]^9 %7p:'Q&G9T&ZK*Ë9|Cz}SM"(_}o^ŭ-kw#t)T+<|_uagv=0w :衷fnʕ Q,0 Xcg"gB:(z:LcnbbkʱPMHxlq !YP` mR[Ť 8ikcF;I 9]Jn<Wn^}zR*4RUN0G6~[}_.RK)d}BSb۱-уg, i QD ޗ»$|$\NT2tldR8nwWê g~o-t,WiThuu1Ԙ0&uEݒ"X0ܖlz=Z8۵󊡆f8ŽinG<)(ʕǍdT/2K$2ɷPcޖHz7N6$^(k1̨5W\IgFyҋV̌0ᘐ;Yf`Η1Z8q~GIw9^ Ő-6{,~ m.Bd' +%5,&]3BG~6-Լ !'Uo}Hq|50=4on]P v@ vϘhđypo]<A-~fnt!RyʯLrt' )#{Ӈ7?y $ѻs %PBgdkaŹzIη!c{e,E2~'kVdK:C. ʹQ; zoܸɡc0a&֊Ӝ;rKn>tmͭ8x̛uQShގd#n34p"UEg5CuFfa췚' wC+ǦLoPbbcұ'"AɧYuW=O ^GwR {Cf{_T5Ǽw4K/TNvFULFn;|Wg |ŝMaY VLTV'vMi `+ܓRJRXxDIgDg`FVB-DlҢv `?q)zL eOWc7o J.ز??E I+?&9iqߐЅQ5)La,X밒ƒ꤫zFYbQ?.< J!$"z"̛LISPkYYęԮl|g8I۶[AԈwe _3%J/%݂>18S 6Ea˭E'8WjI1O}f\T.U~W%QoV8.z? e5`uR۫;\1('^(8E=tOpO\X]C]\nfwIM2FyR;I\ob K9Ƌ:~z# ??V41v$cX~bIݟS's 3JmUXƖ|'tz=~Nz@(\74S,+P*H² LX-{B{HwDp7#7Du/q*(_b΍9GB)}Uen6"‡۴S|+ znŝr:%E\A%2DUx 04^~[HMX I5:˥9 !D df {!mĬ!b6 :O7XT1OݹD>HqŢy6x Mo)HTx?5 %vV˳ Ik!P{qݤXvIV፥bwK% *Q}c 4>tW3QPaE&.Gv`ؙnҟ|H{YV]uPƸY9<*>];[ƍŸ|3GFe)SAO)/WSKB^JilbL_h\(Es:dFy\, XB^K1 R=V*H]fw6r"'Zd=YEqGA;~'M-L#x Z&F-8vF/6Oc/aoMZ0ǫbmʘEZ pB2 }7e(1>D:'JnL"Qm82=Ol7W'yqw%%j|Nׄ+MaTO2~1.ܳie?M,5AP&6ja Vo(ԍ/wPB |_`z**e:G0&([B3\y㨊p,{49W#D"&UwUzjizjar6.Cm8#T$ԑ;c듛t?FZ.x j6? ^GsQ,S;L3 n@甴}? 2Ͼn!K<ldr[!eEA;kܦ(r%8zУ jvl竴v<e;L32!'aϚ$Gʍ]~lkوkui'rul^ݕX!?AOiνk;4o" ]5)q5*YY4@Bn%y6"t~U/m}ɮSR˜(޽aAʔj$hmTa5y4^&pn?^g)\z.܃='\xo܃4x()r1 `?b^B.撚j T13/3Zb9fQx;/We?Yyv#; NQ 9C1TVʩƺo>3h{?Kpcr.!F([9Yrx|m? 8jt45?*5"KLˮJNFL)̢|be7\@d8V̉6ua&G{Z{# 31L% =:9R1|kdC#%rY[B|Zԫ95q3l)` 9 ;X{6MAas<)]d1y&ddwB}]xZ K?@qp֐zWbb\uKrαAsJGosgnF#)]j8kjg]ptL|lF.ݠuJ' a#=-34[?f ZA}kla>wuEݙzY}sQٱI }1HA7?KWB;ubjR7MDxuf5'a̞­( U¿};6~ Q+ؐXt3ʾѴS3z*J.SyH5W AeDO*dD1Ix- ^V#%S8}{'/Et%!6-S$b]e%l_!VOωR>/{qO8awER{I )䊣+s04쐀ǭƞ}fmHq@ެ𶎜t\ٿx\"xoU2ksFR.Ь5& Ņ \JX)KĄ|B_2YHsE̚U*'Ze}'sXO_JXyw.x .~5d#*xqY=-X_ ~n9ق&(-zD LdF_>O ]"U?hD t_19 ܇(t[s4޻85$?b$ɓt*qǁ4\|&a~*<߲KO 7;2y9}ط޵X(ʲ;a3M 5ȷwKtAxaO!<&wʰ3u34Z;I8g S\:|u7R2I?qUDV5p"0ehGNSZ?'>W?tyT l97@w)3篌(rRƟ08 i\طqVs^t"";XoEi)N:< cD [i=ғЕU[sUfspF| *#4vqNctyʾ#x/HM u$jrԛ\G 8:r"Mb U8Z$$W?psCN4$6n%l"xiiU1F<,"i\=S (C,gspө؜SEٺ5Ћ/U8ž'-.iVGpX/nP3zRDQ@|Dk//& <#* Grh["3< Ld{j]۱,/S<ހ+渰isN/?ʭ v:d8HWһ{TTu+vYtRYܕ@j".~jN0[[ ִRDj'JtPPuؘAn4/J Z6 oDuVa$+d2𭷚~}#Y^GmPUge#?L ƥ/눿ؚ<>#t*WުсQ`ċKzʉ_l&T˘*85kR #sV[,D.E<~N/HP!Y  ܮr1 :suhN K8sqN`ϫKFŌCn M~,#Ea'K7E QQg5;n^َ/fW[ZFeg9˶Ke˄K2Ô#w6 & +/H !ԇ赟R/h:b޲ R;/[8cTcRd&4>6x> H2ş 5:v(u> ag(Z Yj3V/'\-&2z(ObP1̚-A n??.@'||!`7rNsO`lSѩ&[gi§w<(J|]l+'qN=Xh00Ռk=ﰄ]]y)TXhG.L˴.~}m':/.`ЖT[ہ<ӿdd_kO7|OWuܕ}lz]pK=>|5I9/G] n@)ZL?Aǃ#摲ݠkP,R`"u\ 6|-~ZS}rY} ]='0|=O3iPG/Yp7L}:e]XKr1^y Tڗ׵ c͌"V5E9a r Cp7.6"Ńc#qTÔg8=Hέ cvT-dDBIUfTOM)M^IAWs46u Kwt~b}˴̘~Wͫ68Cl=aZL $ߘP5]]@%Eq5rzYXoZJm.uiBw52O6 ȶ[\_)67aw6EРd `ftb%I 2߶:/*Uބ^c`L|8XgZ8b(, 'V#'Ej;yd xr~5ҭJ7:|xN)184e/Fb>]l˅!)glSPeIT37mJ R2^vK '%@JӟU)tKN9hL)O@xa5"87lKj*,WI-{4ƽgrjQ/&Cɗ4o)o=ֶ%bGk'Jnj} *~ 6;nH3sT+OKͽ@' ɆP:x V?ynST8u5 ȑmUf"[TJ$IT*tPm"@,'[VzZ(셶Gpfb%U#+g?bE(ϥ)*]R4)\Ӌ(?a\uyHMF`'qfZΈ34M^P/Cy~0w#Y=wMBgQ=]_ػ?5Pu\G*wMc(`wR(š9ܐ}ywHN8CjDNtTݿQǁ[%EAq>CxPr `]|N^5ɉ%NiҽE)+<<)szQ: ivFy:~ɶ3;XL+\[Zx>uR,?u ez" Rvf> @ K0Rs֜= U &m )PNX(DڹmޅXB/h$^Q5xA7"L 7:2L.oh.U=t^9(oX8;A -뿭ѵŖ%'|<˸?i ld/xxד$YD +> IuM(PI(},wG >%/0l9Z)&:)ږ=60GwS<-lVAӽuHMN)g4-~%<|"ٕfn1!b'6aR|Yԅ`A&lޓ7}n^W9M>\A'ݎgK6v^64Ci/"l?1)207d9ݗoo(wz{܃;ɑDg~">&o<)NDy\fR\t&7 vA/?k8LQM$ k:IXQЧ#"ƅ毸:e&3\W[+5rkꢢ潓Q-&Z5 (". vAdupgȘc3| MYd0]6D ƔXkًD/PLWV-?\cƺm6Hps0z&JƤ0\4| 6OP`떘ZӦzb"S/J8?r~9&=<ÔLhE㛇tUEםvOg-2{ y)|lNɲBb|-> T~ω ]VcgԞk[w&/GE87\aV0ja|[Z+Pw`!zUf6ѸOB2W?*xͨZ(c<|.z&~wtȿ`5}P"az ۜDr4Qwt,yLjF|2@}Ճlƾȡ$Elo]OxhVϩ9zQf`M!Qo[VOҒ+þ>#K@rEYi:59B])yU(J^. vP]!,ׯsзϒ'8uœ-3T9վ(f}rr%U&y*=VhiM">'d`8T`k c9Cv-"-( ^PkqBT@Jx-֖wC# IhFJMtH%Z;\t0 x7"EfJCp0K&Ͷ@N̡PZ$?Grɓ|\tXqׄcV\0Y"?ߺ`'1ջGdq: & p%nr\O;N8ݠivlճ+8c) ga缈6"CEI!kW)i(5+W4 Z)}X;!/r=M.XÀj Ǭ鿫`3ǩT]#!L,z*8mmMQ/ rC.ӫ|iYIoHIF>gdj@ڲ0DB,% W-O/C͊$jv*e)KxVT5.ۄ6p8"幊RHXnٗ4w;ct3. +Q! = Q(v954ݙIa25M= ^9S5l=i %bWBR{t-Tg{ju7/|M+~3"9auZ 2e 0r,"2RY盯Kf_^xge|Rp_wlS$Ot u9dNқUVش4p>mgIKzD@ 1)"QqKaܚ| p, `|q6<,E eIxace3u >f⛖C@ w Bg aKƦN,oGL!u>ʏmWɀű> SNlg;A_~]IeO tW[xyk c$e@Mc .F1dž*1.׿fjֿ"Y+ؼӌwߐs$QND?K<& Q+ҫ/5\JDm&$48)GAtEG&86|~D<'a̚sonh8;Mv!'o #tyB; ;`#fvxČ /e1SmE/37^_6rf`'4,͡!^=C{a=>䝲w8?RW$a%斩V|p 5W_6nbJ p V ;YīϛK#|h^]Е.\nԵ7FLӫDXVCDųZ@t)^$md=y$ud lcϤ9˲?5j )U5Фe >Q HV#x5Zf;HWf[=6)]LҊ)Y}Vn w5Do'vJ=mcY/э$(X+94آ 2D:e߬,)س2hȺ& A&q6S8-Qzvfq[Yʏm5ݖ K]`pgAzL]3"O[w|RlྜྷF VnDD ୢN9K{ ʥtPKCpјDynemo÷Z 0,B&b TlcT*RޜCV,G,8s WXw5~BZAnJIX 52@If 9šHj{ON:ޖ鏸;0vZdVݑ,eMq|ػʃ\ȍM{ݎfSOL KxQug :9(CvmY?T6!§8V<`J`][?'\Z jSwfrI9=p@c jҦ@etL~lY Sv]u5t AyK^d+@Ov}=^tP -VÌ?R$u į,ԼWNM*ϳ!py {wǐt%}Uѫ 賮XS[\4mE(K*+ e|+\[,⺪2^ԻBE9acGhПH9]ժP@0\kX)K(iuE+ޠ Q砢u6`W@K2&w]abЍpkf-_,VaRŹ`䂼VȽwAY?#E&=?^1*TB|uEq3 @((;@WZh<4!9[>ɦIݦG&ʤ ΦFɹ%yJlq0\MDDRvL% i)VAAfHD֗]:Ƹa/m5&<]7E={cH5'yH%Gj$йc̷9R$yn6 7VEkVa\Y>KKA#]-!$]#d^AHa=/$Y׈V9IgsIEId&#UGиCVT2` wa4EoI7օSPObO9TJcPfx;a {i@3M}ߞR%?.E4W\񂡩,a+irᖂM '93LE5&g]6X..AGaTHѯ ~d4%_:R[l9cKSel򄕪j =]C5VfSqY=kt5"$/yXB\qzkKS\ .LЊ ~4NN*K|,ޙ\c+u@i޶c.P־_s߰I a[-$,@J d۰g :A9CLRѨ" EO3H]:Ism?uP[F)X(񓸇\jc޸aLCӦTc 1bn CY+@'4Wgm7{sYRNkFԽ%Pu'UT|IvkV^9fbo9˟<2~PZI Bqc~y^X@#=t^u,25+ډ2K5XUn.5Tk?wy0 M\޸Wa.׽ʆT}&CK-bjԍWrnutK/%n(<;eZyUҽ쾣ӆLzނDX+qǗ'o#_~'8"`FfN)}%F(> 3ҳ!GMTjNne~rr? . 0t1z_šμ693F4 1.{@M#kr V`̪".Z\xxh^.U 5bF,,Wgy2EN7uرebR[unq6Mg\+R=Lƽ*Q5n}%>ܖ/{M&BCh !1 K}W $u--VB.}'Y%%K dD(֬7>1T^1aho2HʟdRAx$7Z  w`_?٩9{8$|EbGLk *Jx!\wrsƤ0 42w}Z%}vj׼)o4`Ɯ7cGh1GWT. R/~V͢Ua\NgBOcMI@cwrSlI2C H[0|mvUAcՉLJ'PV]^v=>¡:5pfja yt9~~'hg<خ5bUk=uM"*wS "Ict%eNE2NSjZx?׷4eA! m)!Nuo6荺MAX2UsPrJ0\W=+1zNY`ܝHxFJSRc!OBo`_>SQ"~ŏ#žfZiioϣc>#?~:z)k61U&[e0g/! EꞤF㥄 vC (j NXTH17F}ŵcF҉mO5!뜀}q^M8I? V8=!DVU7^PfcI#[ew\3Ϝ|V{$ךYcK ވl6C|!BGгbarO]+Z8(C1-jӻbRia, MX53)`mf2]R4}ab c?@e&c'n%d3ele'ȼ?2u/ W-p&ZtT\Kw-lѪr^>t %RpH/"?_mӉhyҙCI^!DH3QGȶŅZ{Ow3uHKgE4{aˣQC(}q3_OUQ&3>&&_SOL9߂k5]bS|R#4[Nh7bYİI!iG8"6O2)~ tQJl$ͭߐUA+β59ΈYQ lZ \-dA[gUF55{jqcilۢFR}"cw.TƮ5zv8P?%F-v0kBq .+(Joc]L7dR]%- voE"`c 70\lO=*0am:iV"h-B|J;p&Ki8̕^c7o(YzNIpJKlfXeˏ7bǙ-n攓/Qts;y|uWPkl>"ɊAHB;wx8}"D5%:mϧj rJ>?l (PRp"C^)+yl1ߥ*Blt:x ϑSJB_=Dn2Sņ!ili4HkC'jh,j4B} U U,О-_}KxqJuE% >$a w@&GbQf6E89Qp؋*ҫrI<bWtԮBJ3#p 6S<<:ĐIѰLɗ'xn%VrFY v 1FBoU/> ѳ8.pS*=5@QK>A6_$h4?Q|gjsW2]J*9B_|AH~ oxzض( dwƳ=NK,Nɏa_&lb^I:V1c,s7oM!){gYZg7Z`h~h:XCOu33Q:IvnMO^v@^ܣuS :$ȶw9E/X:Xo#rVL~+ Qɬ2V8B/KTticHK x(aW_=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 >'/% $CakeML_PrelimHOL-Library.Floatdocument.tex7zXZִF! |K]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А-v@ʒ6kLZv~}FWM)3UyP#QRK[Z 38m> Z܈:%AiN$z Ac9#xijDeA95"OlTZmeUw7*Q+bq~7SJzZxZt,r{=~RhmjNPh!?  |',C.ȓ hNyRGn{pd8{ܳxPŁl^AX b^9@C޶#ZyӬޑzq̕\ w)ݭs3VZ;S]r6 { Cre+йn'pA>ba<U%8 綀,6aU5t|Gz&5"4 v~)sl{JU̷f#w{zwUTL\S3w,|K7{w"-|VD(t8(T[hV ;ctI5qQ%XfT"b'Fljiwgtȓ-g3n]+l70'Ԅa) ^S+B)\,f{ƕW:aFxw1Ⱥh;Y* @{ @4K:I<8nnTto<%@ŰTf\ N>EbRTIVƏQ昞g6:WvN*SR5FSx°X5@B#%Y|j QҊ`tZ_3~*sjg]y-|R8!*Cꏫ3s6e6L_R!4}}PZӺ??uXpJ=',ڧE~;3xEmW;ϹJTMONQgQ_>`h5ztHwLBY%Ln[榖7HRsZrHXdHQr8ZYQCJ'/*XMu4#xI*D2ϟ u;u,u5ZDh/8tUQ/ L2O!/Ϭ cta]S-fU!$*J`b{Xh(OSÜGO$Xi 3<ضZ)N Ky]& ͐`8pwS-NyS Aʮhޞ{'8,aj1"Z `ֈ.ȄlHCVIqxEϷCqͅY&Qf5SZ5F$S s8#|>W-r_<-v"`"TA h)}izp);|ޠs-C]L[h& "syXSn YS*LV3hFMaoap^4.e$7lk9ue- meiM3j ʦePbRkHbnO.51 Ԕ]owSy>Fκ(lV?Ssp8>~  T dA'=% CakeML_PrelimHOL-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)EHbqP'C% 4CakeML_PrelimCoinductive.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/=' !'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 <:9*\C Ox$N' s>&}gUdҚ~!~,o^>e-# ŮAѸ8~ "E ] 'JPqrdpO}[g7@сҝ}vV4g Eik$n? 5)\HDpc􌲩q6dXOeҮDk;'- Ӈr _둂U<߾ f/O޸ҧg8! :fJY&B(5j?fIO~wiP/Ť ; 'pҏao@~t)Ac@X-*yh|4Dx{,7zXe Ph$+n!#Xi*y;V$~a"]9eVx8z(I V^jR쌎ǍzHGiFLP@gI=Y J^GGe%\v=pH?-]|nsuV9npOy@U) M\";m),!Ͻ)9JؔH5[v{o'ᠪ߳H.06!>=<Mh`ꋲm!K苢Q7j $wjh=!-Q=g(84y?օA"xx/bhzSSmb"UxBy}W!:DUN%cLOSؼBM60}rͭҿ0gT(;k\E . nWhd.O4TFK(+ե(E%y-e(fAfNeW41OTÐ/rɫY)pY ;U}'#ceQ8^=͔k 8LoR2E;}VyIVN%il|2"RcE TyE۸}y{ug/J?m)rk2/*X/M<%, TV=~sϵ7nE[ nJH՘PqJD0YtƿFĐPw$h%G\l&g g ]h&A=(+0ĶWiMU^Ť3,J_)?d0 YBNh" yx%FlX犞cWe:#`zuછ1.:ZE@4â,Nf#]V;B('mپh[,~vOC3Ƙ0x>mߚX VUu]aӝwPGRUͥ?J%)}&&P; !*#f2 xj!Zj86&7F]OF>]21ze6`WHs`w/4LJ@E DlD/N͂H<5qʙ&~'+5!mJ=M5XmT7sW:m)K̒ VP{Cnd˪FDJ]8S˨iU2SGF~;W›u"z.{x$r}dUS1ҭe_G.iꅪU]jE;JM4e0ap:r +[wHX x(̇὘,)=14^ҫݥ. ݋6,g*?f'sM?LYLTӋjrӵsߞ~%o|vNDa146{@ڊHm%"NvƬ)nΈJ 䵌uLچb|^^bh`Jp5Cw*ngѠdu:tkˮu$l2:.VC?$Xn>(n \)"q#?ζ>J J4LbļYxPa'5u|Az V%13,AXѽh*""v9@Ìw*G>A=P 쪎W6aӐ1ˌE]Υ7qEh?‰Ѱ#DQפJ0~Z -u?^@%_ G&y(b ul/<0ZS =VE8vUFx665.cᷯGlj,鸊6L /="b4Cu HOl C>* l?sqWjQ7[Fa%]b>tBK^y[6i ؟O8\Z6} <"m8+@.k[l)ږhk 8, yt&П?C6P׬4&l"6n7Rp㶄k] 1hc÷6wf3qQCyqt>DBR0 F?8a,~"Ca-g@$`3ORWx SpZ; ъl'DG]A9mJ?"v%M^h9O[3bs`CB,J3a"qd] 29..k~Mzd/A~z9QFQiUJ<Ѹ:vpGDz-$9U VLX"t WQi:F8&ߧ7T2bm?iqiu"1f-z@NNkU6׏|={ɜ_CvUHv-zͥKc.{䟌^Jv ,vJ/ 4"AW 1{46PamsdEB(1D w  QؘWQb)R&{ o+仏83ػ#u?t Y>bi92z90}j{ׂ0&w3{cwu֝ڠ;H wʸGjWR[p2[d39FxyNi4Z2>U[xzV5\a;ehq| RYv޺oBJ{?kThvY90Pb0W #dg dϊƨI4lzmsߥֹ9)w򼾅-T,<lMK7) ZIېHc+#ٝbٖے+FZKX·RA|AOB!eo.6atP\GڏJebA?U+˴bb7:0 "J f "E e[? Ew=5#j T=:Gr<(@҂N@FdMш-pC OqhMg]xY!ynJ4UV(䂆=nuUjd6SPF,G!يv~&ً 7vW:;%,ïHv{B%G)݀?Xp UP[OOeE YCG1ؙ̤C9D3p`Ok{gޯک%*2y$@861Ht&c2&qz[-HXoNo3j+rot#me( 1#/娤俖 nRC #=^ӣSca$*np5B@cF FI:,s g״ؑP#mG pd`W>+hsƌGY-[қ8r4ϒ n l>GHx/\)a_f7;$EWF_cF&̄$_]x`SWM1(ȮxƙZWyr7; _6%|]0oպyb-nL ÖK dn gpE5@Жʼn6VI 1܋뜍u͢juɹG-^/2{48l*G@&zIT7sC_am)زC*+zU' (7Q^nak[1X8CVZG@8"9[n&Z,6l]:C6:fJӇp"]:ҽρ e3qPVgWzKJ۸IV&W9|3׈x{O2v2u7Ld3XFC_IK??ߓt "CŖ[1awuZ1c5ͤ]_՗!0vYpIEOJᷫ0qa5d¨ a3OY3?jqdPNTg!v.iFD] YufN<uV,F Ź{}qUZ ĕ6ķxCm!S3A\ƿ"0<}?Genz@bn*y Q;&S8j8e4 ȎӡX~ex8s'ǻ6K/a# _6y+`6PbW37q|N*Į_/x̴E? fkJ驘O&#ͻShQV  {U^B2t/A<]ns%"j p4GFO^ p|A2O O BE mS?S` Lʔ衬6 kNĉrs91ofs8D.EjK>B ʼV3F]S*Pt nP(&tvR'֣V_`I#H珪$} )T+M+VehKq Tg5GT<[P-~ƅ?y#rtjxx˰'-@i2KkV,tYŘ L@aNͩx.}HB sX3ѺVP҈Kyh@jۥ}DJRһ ޾bxD\!N >*a+k{L||KNHd=D#az&:ClhlM`Ê %,ю9?TrmXʘePhc 9DooEg Y0(*5c*MH! PlLYdo/  јކS[5 Kow>5ݥeZzJ%v{E=6 *V{ulտ<yg"7VL/j>z /Ppe3 i6I}. ]hp3f_eE|qv{wjjۛ&2Uz)ylڢLt{XH"$w/! Wy:\60vcuXD#3M@yX6C╭CZV("4~8T^zdj{3+y9?Ct>#4 x.%ic_]9.97:ZWα,WFw+ڴ 9c3 nF~TecWRp^"@^GSRP=;~W/+Ryy3 1SlnhU׆s8$݊ ȇ9aedI<8Ic=yn[7 xaGiI1d~ťڬKugo/7Z݇-B7͉/]͐eGIFډ4}H-Y g%WGFU8 p}*)s&6rKs}H7 Yx}:MvB$1l:)4G7q̦A.,!jA.xbu9Ň#V+4DC0ᖬ ; vztmS-OdQ@V74'ɴ [qʮz΃&.8%leo6"cPl~ ܇օ%Ǭ:>`z{TFpwTٖ-Jy{/H7dv ޻gf◠ADjM!' k2Ujl e'~EO}sƲvi{S u.K-_io6.,l/R "NqrSU.vOT/]u%=K*G%k7xxBB !kz+_m߄i1ǐ)Gfw!\4b@\]OQѸHCFtnWq]:D.3qM5DG!FXH%CnkH3B_!A#_0>]u f>h`woq$X WSVMJ+Potx_:тu<&Vn-``Y"h1/ZD\Wjj"n@w\>9O ͷ%HS97~:th<`Zߝ) Qۊ?ݰj^Plӹ,x?퍼 2o0톢ѭp"sDÂC7m%_DyI HTԹ9b9,l">=Mn4w2QJS$sw6kf;kED:9at[y~ipQبwH=ʵ1kI_ :ufe$hÙ%lt**DVa& ` k ]:R 3/F$π7o`>/a-_Gȹڮ[k> DXҫL^}MڅZj>Mtbr\Ǧ1 !QӮ[Uz{K2}?t}YIˉ)렎+^q~n_6foסws ۥeY i]~-ZVC0"d!0_mEнrӀ0ھ.WixG-d6\{nE t!A|GH Q5=n dgMݷ9K|F̦h )n^;LiAҪo] P*C<)>-y>M|P~6f L:i-t#Jx͵eY@-]CjmTX8qg.}nAI"YSJv Sc3-@̜x K1* *05G7wN^\ylz@O_oO e_cQT(($-扱rB37@UL5Yٜ9|f#." OdxC F;mނ\&|P~9]gNgU@<.D 橘ִ{,=xbD`yER&=jd8b+lZGP7CŠI܎QZܱpYy <%g<*ZbtUmD6[ޤZ2v?gYZ EE0'E% tCakeML_PrelimHOL-Library.Lattice_Algebrasdocument.tex7zXZִF! `4]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|avY<uU} Y+> O\{X_%IhnH}Kwflz&7_ ܺcuYi?'])ϿtXd@Zi 3ŨG6YSJ9gpKAcbķL:T K!՜NsGTޫ.:j)rR&ijMVp`\MБH(_JG(ΏBSYʴ|mTMdcndBJqHpK㲔4aƔ>崅} x51dPؤ ?=gK _6C(nħ-ىF[;)m|O2Cx\1ţ˂Cuջun?"e8EGApPyJ۬BOOt G55Gn~a1{9:qBtS0pc9DPXB:\[Y^UbHh'Lp 175'ݝ`}SMc(<4vmRmZ.Ɩ NZp Q(]OӮ7IERR+,vAVIyԡLe-ܫp_jUu(^N `!u{h֌<~wvk-.S@KardJ$1].:*poKbR?:O^.n'\ ^ !r:lhESKuiY{bUi>zܖ(V!gMS Ovi:H s/7י,(BLj ׮q`^Vi:\>dB+Iw,8[07Mq#5H.%yk=Cc7(JGa *`:+-AS60}9Py:8ҭypbɁBfLCI" ~5.:,G\6I*aY jm͙/L=?rO=ns ÏQ:nNCw( y>bTUb"}l^n=xD_[ `XhUƠ\*E=BkfZc7IfܥF"D)$\r~UXx_?v$U&+Ch"*:F)tt=a H,i.q6~mI2uD;֫{U.mұsx፥zNJN3 ~ap)x vAk $hJPymA on0[JfmϕnR>*=,9px((5! mABkU8NPMWQ\N58R0NU+sCç1@{91*x9_o)|fy0,S84jR@tЀ >mz@ yRG1ct3)˷Z\l?ztW4H H%=(Q0xRCFW_8@R}FZl5r' JHO*a.ݢi ,Zq5֧t^2)gN+yj~h^Qe&@g_( џq0=6|txȸ ',(Tet)IƄ~# )!lT^ Uq[PE: ]4Nߦ Y+/=PYIv یc2Ҳ'&uyΏd9jK%U%(=+4+}f}/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 QQ$'E% \CakeML_PrelimHOL-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^Xa)-: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\,-UsgYZ 0'=% |CakeML_PrelimIEEE_Floating_Point.IEEEdocument.tex7zXZִF! +]A-MՋhvG"uIBm5J7 J9 嚚!Ч5{םE2w$U~1+8* ~[\lè\  OQYrSF.O@ы"tV =@gOZߦN?*-v֗dn~(d#Ztuȴ;vs!B,뷄79֏0GEv0rZ.=%jpBpb.WGPBUpzqϊҮrHbAFM)j&lߓ'FcoڀJX SE (΋vJ4k4$jIZYS)j&WaFnξ7e4Wl_*{nROީcn,6!pzNu|IֆSVU:R*|;x leOÊUD[Kr`!Wj6N6Ga9G1"2Z˸N!I\`&Q6Nn~֎?m6Or4=AzҢ`#ڇ5#'67d]%HZ&Y&ef'_PjwwF=Fa%'*ڦnQJhbd }6WK)Mε+yQS>ӓ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 +guzʕ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@.~ # 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^;1-_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Ԥ2RZ\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ۙķV3ŗ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 'E% |CakeML_PrelimCoinductive.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(\㹝7KEw 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 < '=% CakeML_PrelimHOL-Library.Old_Datatypedocument.tex7zXZִF! z ]A-MՋhvG"uIBm5ŀ9"*'d>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‰6z4c55j#Հ m/. Xҳd<0&/[o< ѹij3=29Ac&5~N@ =H'T:.(tBT[pdž- YznJ1:X6 ߧp-Fl])n ¤+ѴAjeHJa{ٕ'Xd>DKa AܺPˈϨTxoL$@E̩ux~8-Վ81" lW3ܫk5?a`b]&kSurٷYtd+|U6R)^Ew;eap'+{ն@QE) Dd(x'mUFh+@w05 tAS+͝LlWKc%щBp2|o \NL, N " .w s}"I^/x]e+8`z*d ]2%C{^܉ލś@&k[1Dhk%~\f6~'aaNgS+0(k8zLAiXWK4*L1"GO>H֚:X뾗mH3zIp̠26 4 !b*ĝOmf9 \B(iX2+Z4^"cmeRdJrѨ81#X@B%-ȆNHh嶓,dWe:vV"f O&*},m:%6p<涉{_Ҋm*ZZXl՛TQ=/;P[%P?R0Ӻ2Cx"snZȂ^#G! %B3OSmU]pzy5< L3LDu e)'}<N\ eeE"oLw`hepgVgZ|w%# "i&n̈T8Uh7I`~Xv-a/O42*J/% өbWu m&*.q@$8띶bge ܁6Tlvsn'hT=8hME?B -ds8`]0燔b m/g!DZtD3G9Ȥ(9kWʭ$y8 P 5n{9={Y _{ wO"2@mBmՙ^Q ~xv6E-4bM'҅VKl,I?uV~XL¸OچHwypNT4 J&ч@MQX8"w.*[Chp>[boӶl6wSY!2`f h.Q 5M}g0& ћ,~IRʼnBn_6Χ \6/)WHbDj)6tb^OY:'6$\KU%(şCpV+H*ML&!pmzò SPwxiPyv hl|敁űW34u1a"=N \ۋ/#X8~pKsB;,u_1oF&M?9BvOQǒYswԥXNoY**pҊZ+#뉵ʄ\+Hmd^K:!kȷ*V YQ}/F(ǺO@M4e۽U+μ]N0lz ?(Vڼ Ф\{C;pE_0q1ߚ_:3XGIˢ; cTƪ`@bζfzmY5@$-5SWuz8kG|,1 cބMF_u{O$?F]7X Dnt ̷s3${cd6/EEL| Arn7f/$%1%eHLK>,OJ:ŨH};TnڕB'qAX\m gzx*o;jL@PmzI`7zt)dz  긋M|x7)I Ml)uw%9N(-txیTßy{}%+n j H^ܘ[GcVq}T0 dUf_Riy(`vm&uT&퀍PK%]TTBj2XZ;w('J;#ҟE:Ɨ$a)IA'\,lU}9VMMw\&Xj$lꋉt ^0rg^T)@"<ś6ɇl y蕶`*IH}f^IE/*9Gj.Ҵ0=ErQAWFN4=58c Q7W6g0>/(t7>>S6ai*-4Cq$7Aony4Hk4/J=@*N6 q9+!c|/Dwc=ڑ^Ald;7 =k.q4[ GgL[KF)]7SXfx` Dw@˟,zEz하0zXg/dz=X(e<\]eΒ7WV Ln?9PٌdC9$nI=dXB7 ,IB^"Qp;'5Fש_gYZ GG '[% CakeML_PrelimHOL-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/ -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-- )3\]2Ʒ(ټo8q #+hcu+^IEZ(Ȁ* )/-ޞ\YUMJ]"p]< p=Z#jxy?u-X1n K:̃]v%o}SQULO w ry/5%M  =i0jɜ7^pُ8 W.Y҆Bs0̣m(/ѭȨcM$k¦i[D=.fT/ક"Zq%9ٕbq>-eWz~7: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: ;ӥ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@Qj0 pKVo1iBIqVA^kHvRȪ/O$ktXsMXA@_? &h@ktF}X?} ^Oᵁi[ަTI;;9b*A0[_.%ؤn9: /SGLt dq$[Kpڟ#ԦV3y(J\% < '?% LCakeML_PrelimHOL-Library.Nat_Bijectiondocument.tex7zXZִF! )]A-MՋhvG"uIBm5ı^gi,f9WӰ )8I MU+hT lzk"fںN (~[tfS}ipS•Ҽh=!Jd;ǟ-ǢqEkZ }vl 8\:`;%`OP$mt+e} bw0B;X܈#hF/ YQoTYW,ۭ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;:jOy258W@tZEQ%о}>1s,?k'a]:8 /W?2|RnW?Ʃ>&={Rx 9(-*?"T{XsB*-LQit{A>",m9R{DڧQ$~eM~mhpe=]b9' xiRD~L#U 1`\CPdcpGb.x>BB#X_3dƒ9-Z÷]kNwk49Kg7OĘ\a##"M:)X< ( psO( X~ COyx/(K Yf]SsfqDHNB:$U R|#&Bz-KvbJaPfW\YtDԾE CҘ_RW[gԻm_4JW ղo'Gt{{4LLh|K:\ɑC`^رNEJ/Q[+sʵ(T2:^~W<*+]ڣ<3 19 17S/WF[7m2Ų$d;zWLW ryJ3 k9ծrA Cc{OQC`g'G}W)D V ǰ5tI-:ǵkyg,%/qLQz.[* `Z7W[Xl7ʑdpT)8"hEf*b]ۜ5Y#MԋoԾ^06A3LAdgm3Bء^O/iX]gA@bx0ua eoA}s!HA(}<եf`{vVjCyt.!?}2C`"6S;lף[-Y}tJY+aA7|SF<{[n2THp+J/u͕(?eU9~x r%{x]tw}A?*m b7N`:qVU+2aJ:H{nЧ,E,fF=|XY2ǿ\MY:Ә؎*oRY ;=0X~wr-zmO$1q٧n]vgt0ln9r""/(wg;u3rx Pfo<" - `69/hcC G)yJιS6֓ƌU%`.&kN_L!GZhS, c Y_(+[qc KlN9g)OpR9K3&^PuS QoxӝO$²pe#aCzrk]2嗱 Aa_!|m[jYtϵ:/$.5!h&@.V!n:`:uJݔxX1 3Lr:YHTC:rzgt x*"ރӎ .9`})aC61ٸY|J' @A!9[Uw''Y uճb1x%mә=^#+mD7!\Ƣrt lC4 14 sLK^><=q#`@z Rl&hS5h4U.N_H.5Rrm;ܦ:SZ8µHfU?D*pg&w]`Vbh" M,A\p5h-< k~D|o Bܣ83c H /H̗ BC"^$$EP}׵E*k̸8'cQLtgtٽ|i|;'%;b$lUF2N-;!Fi5jf) 2=^y(l7vrW#޲$CgNd;;LMOHGWΛ$}\8G~p/M.rB [R 7bF '3+v f*G%c̴a SaDqtoʶ,Сáw{׈Ծjω<9751-%lrކ4C|֘k܅s⹌-b{me ZZ8RoxS1*>cW?Y!"ΊfQ4?DIre]QJxK8Ga%2_' hq (B=JByllq9@,)r~<߉fRQ+_8r^ ܥ:ɤA;=e"6&Q\wCM惬HVshwN vJ@kR 7!k) |й 9`.-kug[l3Ⱦ+HXw-, 1n6&XZ2x|Veu4)=-bKm}N a #"snMbb&a긶*OiD0r#X=n*xot\q.$(O^30]Us-o|)Od ':<Tj:)x"Y np)'Λ'h숰ݕ_i57秼$)A}yuҲ¬ڱ"]\Gsyi S{J8W@]o^Mm}0}Ӟ?K>aq0+3trht46A60IBu`l䷸ЎPf/V̙-HOݖ.غ8fUS>ln- *̲,o`oC{;Co6ZĊp9zB-;]Di:pB` C$K?g'L3P g +BJT`>U{ V|3sAKPWOh§SrTf\sQ|=~_P.g(EyT:|J\Ye꓍\RRR{&5L[MLD\HVzۯt=k}bQf=i;ƻX y;5Lb zH2xZ,?biضc a%06"KG>Z'k ,u ܘtԢ#3רڬQ34(r}붰ju7b{)ۚBg7f_'چ/kr2H #A@OCX Ne*xM|]Š[=9DZ]:9xVFQ= Myzvyik:MU~)ܻgYZpF2wVR5 6iP7ysӛcpBUfS'Bō2|F?zR;ځG$LŸH|Nh PBFo#{ZJJB m#>^#KyJJ7c*7P1I-]D4;)kzp?\eHs\6jHӄGbG\2_TfQI{'i&CwHeפj߾}?v/-} -jdec~(1ޤŕGHo64,lvSl4^łMtF*JYFC I'gF9^S&è`я`CAZsh(A iS[$]]-MH"y0n3,-`{cU7kBɇy Me~ӄr=F[V巍}Cvq|Fw< }Yug)uEyH#6j;FĒ?2gSAF8zW~ŭ|(X4)]x A\\ԆP\N>+j[TLK1HbOv ̝l[}&YGcu#5y m+S.E#J-BfZź3筢0;ہ@[kBKڛ^ ${)7enو€V3+QS1?ߗW#i:(4+\kc,3PmHLI:ZIB%j߼}ye c YmwHHw8pКE륀pZFd{~\%|5f͞bᒑ&_{aG#zF#U_7rǀ%Z80섶;Qm/vYғ8&(pÑO>CWF#\SuCЂ 4w"} a4 {eeߔi%.kxYi ap&^ng<87"c9 /,_Nj}^#π=2: wSw)8 X4vREΣ]#o$)L p.֤>0e=pg1% P-3,c^2Zh xk:ZAi<("D h 3BvqܒGz> jR% K}M8{w˓MA+ҘZ4˿n>sRknlxRb=Aӡ,6bez|XUF!pZO;۷r1yQyė4Ed*. C1wA8Ok0bƇޱ}; ؏?dfɮC12DD"mZ@*J,z&۵- EWdȧ3$"2z\e` 56TCEj% y|46f6a;.ke3D'~9Q?esu@C.Ey)%|e 'd8Tx" f6HqbOXD8q7 s g;ÿm7mP͹X֨5Ͳ F㡏Bܔs8$`KvJgd ''CWԃWr[O<U#疉8X-K鑶;Pպ}<_H>Z'7|+9f@槄fJcRFW 3 3$/A'*{Jiis6B2;|)SʈJ#ئ &'7lU61swQ5MȽ3P(3J @cwA >|KKlL6tV4y.[zB\W}z .Ԍ_:GRǍRB;\&xJiQefQS#"5@@z3tiC P 0+XR)R% PvG/:</{t2!JU6k.cbu)ay0XÏ|?=,.i{_ZUs\:dDdm§:ߧ%M1 b/Ř-ݵnWձU si{# 6U5wB_[YqzgMhƲRs\G;UA.jWE!>I *'baɧj>5߳6eez\D+8 4jk-e7snحDTqg1$AfvzŎmk&QGVCa gNJn9=$0'6]&+F`dvNv&}0:{6‚m `6(ͤ9hӯqi:rZt?3uGrT(_Z]y9qQ~8O`\EZ:|BR[>}Q~4Ar= 7+Q-ƅt,Bbxb\0zߨp=dϿv*{Qֆ~Qp}0pɈajX[BF±f  #x]iQR3S` tIo7]e.G v  9F5)|XujEkm@J.իG#? aaTEꂝ=Ewv1xm1@Bh; )O5䞜83>0GhI.L1!\Lsk퇱ZK ԮOP"cs5†cHۀFO)ʋNWlAs@#[=!=mU]i@ S&e6 tYH  zn~qxɣL?>Ρ: vg{`< !qLƤ#D y W+/اeWG - -l0= N0e@6{J;cԕoyb;Q3ʩr(z^)=/wWc5Lk)]W.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~'A% CakeML_PrelimHOL-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ݹgYZu'7% CakeML_PrelimHOL-Library.Countabledocument.tex7zXZִF! ]A-MՋhvG"uIBm5`''bN\7eg>|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 xdO+= EE8'=% CakeML_PrelimIEEE_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ޞ?gYZTAlG<j$5MӓsBWG8r0T;CYP,8:N:T A]ɓ)ষNMw)9ɿ/j;Nȟ$u yѬfC¿Lb]LfAUP̪pwyzlgQ̼ag+j'yH)]x\1O"P&{wJs +'^j#4aB&g @{)H[! .}UWu>lGb+Iq*Maʾa+n8]ѧΛܰDMͿD2 ew9r~@@MPs}N38iƦ'4s{o^=pp|Ojm MgYZ7zXZִF! " 9]ŗXi%;B; ­Q᭼ 7{ֱ3%= 1N;|BWݻZ5WC:qeϣ~/\3>;ME,IJ$Ah_;Egr] O#r&pl])$]̰K7oIq&bb1E ?;gqsq0QIwNʴm=Ws‡D,i2,ڛ@Ucm!IL2naϿ4 2d~ϴ*UYQA*wݢOh<z3>:tYt v(v?-XJ,rv&.~>ԙVZ*e4y/,aޓ 8e?[[^EI<<"ȭвYs$I. TPWRMc10;rS&zr%vV/7Ea|+bTCQJaCl-]ǫ v͟Pf^_@͉c B{D8Fu[(JJ;@BFl  +u-E>v)D W a[<U\zCѱo4aN+k$@I%]L맧g_Į*jM ;KD}][=3x#D̺V*_g'9NGE$%65+EWg[c0jp\(k+˖oB~+f9}q?Дp]FP\DmͰ>#:5't#`i}v >?d*9߱0G-awk]ih"K:$U\V^x5EKe-G >]+fFA/iXIb^ i@b {^WGC_hP!ȝmA*}lV[t\,(~kh$#r0sXKzԶW8\/ZyК6N_-$`Iia[L1\ UREP3/> 8Knqoj 6\͋y,9b1ioB@|ofz'Dl[=$R* Ò() ,7|G &txCE}oSkVØ\?7ΧePSKsMdLCEX~ ~ EC85Nh@&H7Tb5~)چ: 5 '&f!ؾȎ M̙[Մh6S!`3~t,Z-{?J9"MΣ2jfHKWQCǮFa_OmGzSGIphUjW$VnXL!%]&y'y4ndDnp+L ^VIsxl ],mYWЊ :q\*K%@-U{7d1>(Xk-c=bA0Ŭz-!_;!J;7fb[ zw/3rcAaPzVRk5R騔ˬX8=RdkOy_'dL(U@)&٧EO3"84̶6#QrpQ5 9!2 һgu^jPgzoĸȈ0$}yHShAnJMr6H U?O yBՇjpD9j<* hF"ִ T c}  Ul*Q&:ׯ .mBSSR\3;")v:R)Ν^ GG(8ԏD⺽lU[=`R#ͪm`Fo-(*6CsVd Tzբ9-Eskmq\uAzhTrz4)b.H|NyMRL-KstPF!w@aYY?6Ym;Gz-YѴT3AƐ=XjҒ > 9Xӷ꽘vsץ[ B;tAB*c8ayK~iHvf&Q8.41O}R٘2@MhdB,qIshvَP>eɝ]U\%ξF3^3h\ҧy:gYZ326d19aad3ec03a3a775fe986cf4586f8eb3eba424747df6cb2a1c6dccdf5e71c720e60d85229876 e043e88e30121eccd09f72011d8de3c224e4e95e 0c70644e6615bf00ede0c1870fde637955ed40f2 6cf82bfdc031e8ccaa03ff2245a20ac48bb687c9 824b8c7255cb2b34d93553ad7acb089ed774bc748bb09b6c566ac858cf32186e9e534be119e245fa