SQLite format 3@ (.;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 994;z4  ң3K ;vja|q0*=44  =۵Ľlե< }sB\vRM@1}iN+YOO|9 M+"<+she%J<ڙ*y2 ϝmf b~s=6(w^{1x c2WUϴ>/{XXbvk­D "9W0i\>"\ :(ZYYM_b*`^˞32Uf@oH:c-nު@+ԆT`bMBvU%'ɉǐ6p4 7rV?((w;zUGpJ;,-GB˅\{g`n5n,9u0FiwD GZ.#)@ӋҜ>z[M &Mxol=]U32q&)p!L<B{c1%-B~G-G񌛵*4r{aq_2i#BrJheKADބk߄h(BʙjXSBk.@9Gj2{ M@cJr/@qbHAgD~ vx.1BU 0qٵKX2s ̈ا!VIJ^5 ]ݲ?J&Y8Q =[΃)`B(ZkFM׷c|,ָ|vLtSOurv>A)2y B{ΨEl%LDԟQ D*F?u:TATiWZ!EwAOj{a'(?\Y?{޸V̖2-2bYZ6v X5(1& zcEpRuKm9JƜ Yfyil&<1؆ƕ!\(9.>4! kw tFRP].Rq+pf,)(!~NaLtekz" 4ˏ᫉0~=[P{X'Dֲ 8Ph{4 4iZ. 8t ޛԺ]Fx/.iIL?1 gF}œiɤ1 IcשǵU)j@6)9ڮs ٶ]AIkĨ6aOENrՆ{M7Gδ3!s} ׺5 R;)8^$.3hS˙/yw0|ѽ5搚tbA_..gPqGϋ5xKٴyx7WyߑR."/`a/0kXW@G)g?t w`p~SH7jf7lKĪKO& ; HOL-Quickcheck_Examples %j;c% 4HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Examplesdocument.tex7zXZִF! rT]A-MՋhvG"uIBm5e!T(]_nj8Th(ݾ2|3}$-/9O=?GQkE&e23 Cf lUD֐φ~D`%XqI׮8r\z} Ty2hN<]8 d2ezcYOBv2 p`hEKQK 7e!/c:h_0d#Ot(`W,cˢj牵N8S"&Yr*JP !N28iߝsmg`dE0+1mv"r2ؿ1z낤vk۸R)'og=) ͽJtyHo(D`Uٔ4-Y7cfO-Jw2)eiT6(?vU/qť6*wRknHD 8Oi!:6Cy}Voz\`/̳;:,ڠȐ,@V+:zYunh'R;1fnAnfN|8' hd)y ¹`hZ!=F- Vzx p3fFV7M[b9(d$e*Ñ'Qv")3xzT[̩ ckK%щI}/Pz帙TSMrayz8CܵիN-yGbv1ױ6s׈U^TtgQM\ԥL[y~ I.l48>W*+1]Asu[P/>zz EiEyt^ Z0 d9iU!qD()HoθA=fKsc/M]4iWL#[!<ȵuFze4VoiXħFL$lwLN-  bgϱ'υ*DS[O7[7AOoٚKK.W6UdIFl>|:ɸnaKm;|cM_m L'dGu4Ѱ+͔7T'D)5 xWMxX߫i`:"h(g&86gr 8\j !A?6 ǎI5 ߻mPNc' 7Ū,0R-oqg#5=x ReHw;ͥѴ2&L+Qq'Z\AνF٣7kIV$DKw|)fb)(YoV Vz_*icD,b,=DE[&v)M D_$|=l~Zk2\tds2:U莀T&/7 Я"<:eHJ8o޲]@蚼옥tF̥ HK/pbQF&: 0vI9f$g 6:!F8sQҏyk!Jp ݺGafObeMÔA_@{mu+z[֯5l&lf!,D}9K]sy5&u59K!LH ={FKF?+˄9U!e' իdhLmտih| &JN}0j9CU'CD9tA4XXO?/A_ oKϺ}^(Ua1Wh4!̂ڽđq4Euh MQZx47ٟ\0L)IC ,p=I4c2bP`+0ϗ0:.{}䳔c$`1JNvM@l$먤Fv2\CSp+wZ}&GG(.%pZ\mD MUWghcu!H8Bea>xGaaLaG"Cw y*a5*A,/YH/S`qi!T@Gu2Xx7ѫ$m#FK̒(Aˀ77=au /\$4IN~-7ǴHvI2{0#Вy]K܎1lFΣh;:@on[so"c{?0 Re?)1(0|#=(#?ƮKBD" 65&![c'R]HH<1hjS6+7LE%'xtOb _\ XÔ/OZl:֪w5G%C8Τld ^3(z٬ ?ʃJ78^K,쑗J[fU0ڏeXb5[w=],[¼ʊ`#r9:ʹ~wZty(I.X5V6p'p3{~V-tkx{oP_ؙtB4]`% ωB\ޗiLǃhQA1QDCn\ث5榷)}Oe8YxJ+A+SB+7(3 s-Un{2@AqԹoXi?x@n9{瘟g%nm_,&X4++Um>V]x>3G `1^__DC侜JH\!| 拤UyYK:8y,IP4~Mt6/T>^_,n㸦InI7=GpIˌQqيL1) &IwN4DcF`tWv=vJۼq~vE Jr:٤5{-ka %f`}'#KKdAVaj(k"Ϣ^og9\_oSYGkS&jIorL#@~. {c!<\wρ?m`vXߨTѣI>}qLc˃Ƨ *XFN||a"O<@K޽UWeКIHO0o߹G\^F`|1 ז9RvR$osbq' flbBaAs2{GF{ i`W+5d՗QU@W&_w#3`0^m:TԋHz_38WwV.i~ fc_D mɳ吵^vҘ 1Fy!GӵLAk?/^-)j(Y}9㮃F gیF\hK\vM; 6*jí非2mF<) l5[Y!B㾝,C]a K>+Ks9Q؏dxγ0>LЍ)p^ `;{`>i/Az%DxPZwThu)[Ѹv$.VT Tk} :O1J6R =VeӢ(YuxpN2eD 񨄌* F%zUs@}fc^~_cd]XY $-C=R"ztJ~TnR" 68OpA>ZYV`]<_yuBJ ܫƲ6g$5WzK;U!,;W/JRڰ҃Sh90wvVw/Vd$/~ɖ%ͥE^TB38InJ!ZED΃YB6k-d> f\{}MBPʼnТ~VCl2@6J`w9f9=mAֳi,SnBR?6" Em5r`-ޔ !ċ+F e[Jڪq |ahQ Ψv2?ky<.B1*Gu lQ-}{5\d/o8T:eWkz9o͵f %kŰv{A+084b.@XQ};yϜyQDZJ8B\5K왑Y)($>F -DE.&ik*IlZO;B<[_hl'2Vf{3OZeD}q!Հu$l)P}&_0?G'sI!b%*SrI SLVbdl,.XZ\z;y)MdL"BO'Z0ORelRF~UM靖%NaAs8pO_n.>*;9T?dRz`H JC{eKf2N"āS%5[qι%jZz&/{kR5r{+/B3 xQSᡌ5&X).̄mcI<7T,/[bF7;`>]NS_XnZB: :-~U#Y!2L@~~s4v~bɦp!^DOr$֛͚]_x]#?Ra3:fZ"7cd\+jh]!=() ~On 6AOHi%ׁ{&W] mJƘ/gX3xIv !%+&yУztUфʦKf,tO;Z7{x2u /_fd<£]%^^|(xX[- Kmrv1ټ%S96(vnەY~ۉ#\9bD /hњ ˄&ϾrDZu^V{(IۊzV0jz!tSm {I*PRpİ1#.ϋ@SKvTBKص񥽒~k)EAU\`!K^ (msayz>?H˅2M#<4r,pO#qF&1\MxjԷqFےzҧM?5KI0]*oӯy>lE:(rmڏRw:]cOs Z鿌pb./]f80fQ统.2(^EgYZj~vرAbʳw@%a7òI2鿞+~>FT ˝X۴׹TjɧA*=sr6wCzlcڈ=~PBKpcݴq4v8}efV)sM}Y0 J(E޹[TYmX.dD2l"ORسSA)#,5ޓXMoC(Qqz aD1aPwK״غk0(0ȲܡDʟle$~%vl@FҪ4#$r^5R۱$ԈP.S,y匏O?H"ˬS>w`4%gw98|X8/EtsBN;VDWdF DZi?`n\}R:1.AqNRRSvozkP-ׄl&u:G2:v?u{ukŁaq(݉@[11"S/-66d*CvABIɥEg)Jw2Vm4Y_=&Pj>{Du@|F#0ݩKUp q<-q;*d,6&Iz,'U4*~]1dU;8ZH!|v{NU%}H-w o{TDi+d-XAG^;؈& ̙ 1Cȗ1O涥0]a "_KMF +'TeQ_:a2"oN _$wGgaݹgSeB~|Kl9LN$}5#:rQlR;9_lZ=+9ܐ=C P@ő4v]OI]ZtQ8o8ܬ/(3"x.{~.qKig%uaf~̼s<p`BK#0TlYv8=.u#8MmKvXpcphiyTw9Lÿ7d—*b 1i~OkxiUyG^銍=Ph9oM 3K62]Ggv{a7QTGC[,C#iMUg}딷3ֳvS9Cb -gT]R*9't ܭ]'̥/{9p?\OεLrP};4[p Fd"(qQ| g/!:Zg HSEC֦ z[)*5J {`TBK^e+(-4XB{h|xjJfx ؘ= 2 ' #id rf5LK]{[|6LZ>vxAqThܗ0x7dWg&'v[.F7]K%1 _a"UgͮAe`e8{aL$&?)8;?(P Ѳ0BMAc=klL*ZyMWK.̧'Ҧ-Xg7^[aF!F:HEtbɂ( aVoΥ_!nz?q>ϭY;vmKF7UdvM^3zI9Qh nL 򚪿d3 ,ۧK~R R:nBxoRNE=(K,*|:잚cUv|W=uU͕+8!s[{Rւ}V]g>N'][NG3|o&{e!j-&+Am0H'liOTCo}1jI7p~OӜCou)m}ևc;= |Pn>f]zHBё )c1A>L ^v~.i;ٷHv8x N웣0ererl&E##υ3p20ʌs="ʵJ]<kkTg0J@ObFmu1FlNz@[d3qe_ế3Nϩrk kUPؽ*6PIu 6f" 9GURTY9a8dK_ksʪ6̌s[s \"YqcX jf #9MYL.HMV}gIS*HeMk1(A'Q:>Wr&IGB~-{g,M$ܚz@7gLEv.t"cUq|wQ"$cՎPJ$7hMl V讌juLDIU+$h)^U.X#ٴe#Ďh%S6b<ͷ5`gYZ   j;c% 4HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Examplesdocument.tex7zXZִF! rT]A-MՋhvG"uIBm5e!T(]_nj8Th(ݾ2|3}$-/9O=?GQkE&e23 Cf lUD֐φ~D`%XqI׮8r\z} Ty2hN<]8 d2ezcYOBv2 p`hEKQK 7e!/c:h_0d#Ot(`W,cˢj牵N8S"&Yr*JP !N28iߝsmg`dE0+1mv"r2ؿ1z낤vk۸R)'og=) ͽJtyHo(D`Uٔ4-Y7cfO-Jw2)eiT6(?vU/qť6*wRknHD 8Oi!:6Cy}Voz\`/̳;:,ڠȐ,@V+:zYunh'R;1fnAnfN|8' hd)y ¹`hZ!=F- Vzx p3fFV7M[b9(d$e*Ñ'Qv")3xzT[̩ ckK%щI}/Pz帙TSMrayz8CܵիN-yGbv1ױ6s׈U^TtgQM\ԥL[y~ I.l48>W*+1]Asu[P/>zz EiEyt^ Z0 d9iU!qD()HoθA=fKsc/M]4iWL#[!<ȵuFze4VoiXħFL$lwLN-  bgϱ'υ*DS[O7[7AOoٚKK.W6UdIFl>|:ɸnaKm;|cM_m L'dGu4Ѱ+͔7T'D)5 xWMxX߫i`:"h(g&86gr 8\j !A?6 ǎI5 ߻mPNc' 7Ū,0R-oqg#5=x ReHw;ͥѴ2&L+Qq'Z\AνF٣7kIV$DKw|)fb)(YoV Vz_*icD,b,=DE[&v)M D_$|=l~Zk2\tds2:U莀T&/7 Я"<:eHJ8o޲]@蚼옥tF̥ HK/pbQF&: 0vI9f$g 6:!F8sQҏyk!Jp ݺGafObeMÔA_@{mu+z[֯5l&lf!,D}9K]sy5&u59K!LH ={FKF?+˄9U!e' իdhLmտih| &JN}0j9CU'CD9tA4XXO?/A_ oKϺ}^(Ua1Wh4!̂ڽđq4Euh MQZx47ٟ\0L)IC ,p=I4c2bP`+0ϗ0:.{}䳔c$`1JNvM@l$먤Fv2\CSp+wZ}&GG(.%pZ\mD MUWghcu!H8Bea>xGaaLaG"Cw ydxsNXUQ(4-e x,&WR$#z*9i"M"5Pgg)ԤGbKN;7,ƺkǎ].֏uW~Wu: gWmy,(`V{\(sjLMT=L.{WQm`]3>ҡ^躁rR\>5W9 He>Q^  PguUb9VPKH L-NH)1QQL"ju\]b{acB5awX(:sCus $PnpQ#bg1[>$uNμ 9mi=_/r~ݗ"c\AU ޢհlj (0 ׂ<vd6Pg]pܽ91@nVi2tmNɐ*bjN9IvYLK/߫`~=>Ca?!I7 Yp[DH<7گTd}ݗDDESxv IgtT7WQDR̽).$nea-1O{oL4S )3 t[ZdK \=ނa[gu-|πIpɡ"mmq-}8jۤcG;h13 Ec)蝌!X%SXy?\=8dz#U zx#'+t&H:u`7-G 45@Щr1ʤ:6IW/ NeM([q(J(ĸվt7@a\AJX>qJ$\! wS75;H=J}| &˷jJL8!nRۓB|(Nt7\;tⴄhß&biȡ(9eNguz6CT 4+9hթ?.{-Nx?"Zk:uDwkIZR7m^4XXHi@HcUMLr"ԟD0.b@zk'_- S^aS/Cm-xX+A£TW{g]֑v o׉/=ڑeb Aa ]3Vku)oŘb˼1%k%6[Ӛ1xYc(W 7Ggl+>"EQ񸖬E0do. $yC"؁`IJAVMɺdVbs=8J\8\L箩!뫑Sz&znE^?`$ u)4q2ȬNI7A" B"B/L#q4[~x3M◞+ s—xAe )j6X nȘ dٰ WIm І+_ vBq,a>)&`i'ۥ;],44A7#~\+ߞ kb,RI^vp>J @?[ɌnK|/憕Mg/l2>Y:i#j!CjweNB.+g/ Tiz(}*e\*4\"9e7JRK):l_J5v|>@-د.reA" ^~Ch>XL)~55;8|Ie", #]΀%)գ@갻Dsl?HL(Ἧ.Ƿ'ou <$I r~Higap:jE0rm"c߅G!r3F Œ"0%ԁv 2 Cٻܘಐ]Q7OcøepvDeOþmr{W0۠@0u3& ~Vk]^y"'}0 _ǯ Pln3`~Xse"-ފ1~<>y\}Z: :z)g}c}ԒX!lͅQdD8<.34b-tsb+ĨߊbD*My?lHr͢qOX8)+ѵj~k%`"v HzxR2>moG)}EpZA10۔>Ϧ\&l"p* 7篫.Z-. w[Z-$ e*ͳ4FpŊ$^n\%{%ψ+׺̠,3짔dE(aH\iªd·Ep|U\B' };1% HOL-Quickcheck_ExamplesHOL-Library.DAListdocument.tex7zXZִF! ]A-MՋhvG"uIBm5\Ӂ{qo 1UZS*/]_;$6Д "C`XV-?_xSi"~Y`tɁ9q3j1򼯿iE&]48-?Ke{]&mcD*=@)1ۀs+gfPcq} cn (CX+6W08}j#)\J['EmY@-ȩ/N`=9Fzۼj=yA8t~v X`ւ|H  {W I'|a [z8ǜI(gðsl`i@eUL)3V,7}4*!2C<#A_DBjSY;[Lx73!@c _Ǭ=sqY^6ГO`#)𢌬Cְٲ5x.3DJoہKE&eRi n,):*e4^BUРѩM#]wK@Đ`3.'SE}GlF26[ӋmhݭYkT {b$ϛE\uuĦ'4֫\4z|F 뜄Z09PeFI1XIj] {9Sl`BDu,D8p}ܝ$pHHSx^R4mƪxMWGZfHTm{|Ϋ\?U2x@ma$auߓɟkS:1ºU9 GE8]?g<:9EZm_ MRov0Alw[*WSQ3Da"o׮7s[397-j3MAƤ*&5&!h)GEiݘ0A7B' ;`G8%)6,r>~CQ.00cNj~u)'K~9ۃ:`&tA*Z͊ ߾W9#s~ 5MQ!r/'> 3ܴlWDqY)7J 6pt-QWqSF dd +agvkM[XR|*/>3(7k}uuYуn>odx8,H=vQFqd^\%@. i/5Bs)BӆIB,w0v /6..%nNy@{%95S-XS&` \rfyCT (\wr0Ly-fϣh{žD\IykW|:3*[+:=L]f6ejbTY=+GI n]ە($zafup1kDN!o>q9N @W$dGls?7t B <'*jZxY0@R r Wԗm𣏕Jl@9n}̵mח|[P"M6#WfVM6~$hOM-%ld4235vdn<D+)%fv.> ~2\ja (ia@p7N W" }f[~wTg%FzâZ٪tؗŽ>%ߒ"|(ǽsPDLHZQ&3]"A]}y㦢棇Cse$.<9QCB#CZo]j˫M_8iI?}LzuД 陈/,fdfɹ2xWhrYWon優wQwJT+͸jGCͼ߿3x>DE|9"ah` "V/VsC{F> ^/nnm,lP"4lv^+7$̃R.k7O3X\POBaNwøӑ}3'RY:ۉ?e+gmCxKo`jwߧ>OL &fiXOf vQ>]H}f'31of$`o~\_wgYZ&r.[#"ȧtNڧjDipݸDqJsML\R+( rsZF D#Qh{mj=5c"%`3E]!&M)Ovp`1#P$vYR$zqT * Ӎɪ~B+ ⦼MǸgz7Z]ěЩWSҀaS{Wg&XtжMRUW# J\M:BQ]0|譆z1:jŭ$: EhEPz5[Z86I ƚ-Hz/4 P<w3]H3]풇j76wO W81VE&b]ϼ.ZYRP7)4zz{O`,=BLnM#7Jxk׵+5[K]A `LKFBz6W@HR|ս`zuPsWieEd*%>z;nO5~&1aY)1WvGVF vUSI}@o~4ih$d'c5F$1 Ys0xv~);_ۘ1*1arΖj\Qz@(:Y/ .Vw@vZOCH)iI7~q[µbc׮]}B-Dcpop|-ZN"P]lub*kTƠplwk/%m;gatpG>$p]!P3 '?zc7P6'0ޚNi'w <ܤ ~"=~LOI7-QRshqI*=Cᅬ^LMvҞ&RP%kš{UanNoCtbiL)7t NʯEJ1lpI\U+RCI] -PDyvYUSҦ$cRjؐڦPl1o{ɘE/[Q˕F+s*-9IԚ/LDDe_=,G8z:lL=`xWs8GU5w't^⩞|?R*L~~v'\kH,V{T֍Ċf2ƗnSH=m!U ^L4$n!4QO+0y ~*znҸ\ؕO{EC6]jAʃmE1Z !]1 "9?NLoնۥRVO#w@8xƧtR'.lGzh`vtQ y;_;1ۅUM8, ZĽ$: j ֏`fZEkG4&J6y집fR]135#|h\RNR(*PtI0Mhrn%% s_+<̇>q/cz<oS\cJfdjg.%~a&Z2ͯOOH©~ԬF;{Frq4B멓7gfr6QxUHitW0[9o@JjY"x1wL<ZT`~8>gXym>_r5-^JW{'++0Mzx@i>d9As7B +`jNYgضc"l{@cT"/TzGAȓFeU\/#ik pu!h,jHPv n8)|<Fz# :F8(eO&qY[#jjbdYwJ c8EFw+}qv!2hc+}lLiƘ,!>wzܙ~BNk:A;ł'vVy|yye8f!WGKL'W) # o+S(,#x@ tfEYq0*&ߤC;"*^zE:;qP4h C'k<6[[ 0أ qϛ&77 ]y(=9mLIqQf؈:. 6@ǫ!48hJ' VQ7Z^('y92Y2j}@ncיMϣ}5D\fj #MiwK,iN8KJ>\@}pP"H~e>!˾{tE\a\!򁃈۔Tc#EG7)JIZ0-;৪sS_Rh DAi ! σC9 "mAJ j˝O U{6G 6 8+7Gdhvajy>eA֚\윴۠o(%aȂ TZgy N5ek#+Ɏ/Y~j&4H y<ʆxtV FBy:>7UD~D0@YJ5+O;n~ ԎQ|7%{@x>8w Nr>pͮ㘁$ '+K89%`ōh- DoߖVLlQ']r} ,*)5%6h![(>匹*U[gYZ  q~;s% LHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_Examplesdocument.tex7zXZִF! f]A-MՋhvG"uIBm5e!T(]_nj8ThA;oAzekrE+[Pt/ZSAORm܄S[_n4 H>/7#Ǣ%_qd7%J癘t2"}0̽` t6G%}Hđ.UE2`oN>Y$EF2{yxa avvBzs pfy>^"d5 W0'q{Ҽs hd#rpYpʻLb@E^)aL^ ~xh :,ޓ k(! s#HɳDp5i!o>}YoZvc:?-h>At~|=uO8ǀʌ9LK4Cq^[<:/ {ӡ:?(2j5ӗ]@߶hCԲ=rBFMNѢ&Ry^uC˶ld!Nꫝ;3ўYX-hGbD7VGd\\cSφ7A@M ;;aichK6o9l]49࠱d@̭:#΢Ԗx~r2Uٌ:ի /iozU@ֽ \{U&U@O=:5{=R{Up.Wb'9hj::'[`tgzsЂU h# %MK,Ftt:`sjEhQws S* K$![;>a?;4dQl'Aye?Җ5hU#֣ {xI#Ok-ܥՑ'G_\krjw 8,k2XR*5!riw{ RX=Qи}n u0 R[3unPQdJ01xa+EiP'ɸoCtL=]NQVQ^j + *HH_I&Ly'u~x%ch6Cvlj)\ msnNw&=VOIl>kZܯ]vKzмI~'f|UyP=Lv;Yaԫ̸vQk$`-^gONHZu}x~[mܠIבgYZ;/% HOL-Quickcheck_ExamplesHOL-Library.Dlistdocument.tex7zXZִF! l]A-MՋhvG"uIBm5FA 2A0qNђ% ahE1n.l1誂bBJ X]~cT{mu:j` ) {4Ƴ;E,BwY݊~>vCzN~a#5Ur1QEgHA:]8`5y@oڸ5+b/|uJb}9ɼ| jG;hkx5 :/ B N6Iu"Հ`S8.2V{4\idtu0K]=HeP.W@-,tK&1$z-9f2dɋ*dpztZ JE@1ͬ,6jGTx^׳QE +9=NzgX@ϛB!/%\}) m,e  .،5 qwNx2HtV'dd?YX74_5cwbL6P8^Z7 )#*KZ\h|xoc.H@`f[Q_ʅDWV brݒz/+qKѻqs"'n.?Yhn[T C|$]?ߵ`yq@ί!PM0pr>WSV (;DeZJ02k0[ndgY S;U% HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Completenessdocument.tex7zXZִF! ]A-MՋhvG"uIBm5XKjͫ:-"&3C=9O0r͇ =*HXޡ!2=f@6V"\8r6ePLr .&YЩLs |5~x:hN;׹N ba/S\n&#isX"̃;X&mMYrKÐ̀ ^|˴vExm92m)?D]*Z3bVGޙ6OBnKRl zjb<&8_gj+hL,viUFÈMdC5DE nRMKP173\9 E_V@K;lr .08'xzfi`G`tBS% b\m<Qgp C 3셋M-f#9*Ff1vK3|So.̭F Bx;"ş],G "+p.ꮄXQwU*5PViVXouTCk9m"2&>X)mᾡŊƷ?TGxYÂ):*.80SW%P+m٩R»2-8㾛RzuD{!=YO]Jau}EGt7ys,Nnߊ[AƱQQ֗N~m_E5/-@@5 = 1jɝtP1wΎr<̯o{{ocZ-ъ%5`kրNޥoT,V! ,؀8#blQ*`:#y9%ƽGS`7@IMpp_>*m>=nLtk&ߦRK7E#uL8j ]XBOpֳ'^rp b ~v}byFˡQ6w9CW$m F 'Cr 4ל<R_%Iq.AUt4PݤGNݕA"O<^x Ơx- Q|R +F1VfݭH,@(hϖ]6B.r'&]'Sw ]*b=oET&~L` O^G\QH! T('Dtҡ>4b@v-"3JwԫHs]>+?TeCRҾKM.@ERwCm֔=Oǜt̒)F@l~USWf:5ZcZ\Ow:O\(x-RO*@ l=('.·:(66G `(u%.JNq}oQwݪ/ V򾤧i!?dٲs|+GKQGb;i\(!uYK.h(1 br4+&^Dnp9HGN)XT0+cOVUԊgqq* $ƨɐ}a':shp+Q:ֻh/ĻœCo'SrO4:I [XP]UB392?Du^h0WY>l ,+%Øɤ5{Wze:l6*TZ/UoUj&{ k2'eUE*8I:n³xN$!]xw~W=bo$DEkRէuCδLd ,H)%S}/K7L軺ΉX +W _A]"]!C1Ă *NoM1/~{.d?B3g*1]ޱ>t.夅Js]G bڳ ?zBk4(rn{NX;;& ~O-ױnH{'[ӿr_ H'ϱܽŋ[ }zmg%pYK[QXƷ|F"#;8Utu{@)[HW;\N]uoW<s0)lxBD|'!Ve{A?ζ|ԇAl1p҇I%䀮]aH\&:.񈄔.0 o'^Rʄ0tW<[9G[$*qH'L!J\p c u.+6gf<$yީx%˦&uŻȻiY:AZʊ>`I5u#̮2e^K޾jF6!y%'!o C-Yj-yҐyٍUlC)dSl,W6yS)tQ4oͅ38ͮ-+Lheoρ&њ/5WBh`?Q_Â{e߆[-~\5 ckcDU9 iKw֞x@j4D,&R#WǛР_:NEO< 7II @y s1iH4S-)5X.c1y\ D|<$eɩa<3kaWZD2jzXJKX3[']-۰(na;DBa^Bʄ}hpEL ly'")b~)Q3OqX"?LZF|,dr*$+`MGo5Ag{=qe"HV@t:|sǫBJ iŁO0zCɬJnqاB7 V5>-.=4|Y|S %aRd'({(n,FCO¯1I;a\n~CK1Oxe:IBT3]A'Fs憤Y dd79㑨lLEw_Տ"$XpO9b1?˟T$3ėS+L[ůR_iA]0nW+[~DK )M}~$]<\$/9<گc\x4b2 XM*'Z!͒E咻QOH4GnɄ>yH3"3\sĜg=4<S:I1(u˜gc 2:7f:gfBXNkV  )g3o :)y%M>FXr2C33`vZťBy2A7j#йXDYw<.2zǢ݅b I V$C%crhg>_UtdOeT Q~[6 Ř/6lŤl$v\fҧi pBfC'Y4|JBUCRvѐw-ERk~tF > ݤWPHbNmF)l4S:͎]L]t+M5auxRha,v_t 5pmYr #u3vXf,z6 zW^H%wwP$:?*9_>mMi1BjZU4gDԐh+! |p/*ƆդIs8gk=.yE$2!B7^:)(r<5Id`0,f0se(:+/qu^ d%k+P*Ϳ[FMvum4 3k@":41SPZPH8:@s;=A#wN L| ΁0 \] "7P*_]hK]uˡ5|bp56ΠL# -a ? K[пj(CADйc/H I+$AV/pږN1IX9C(m;%8;H)M%ib~#$8ןiTHv"'g?]bCS'}~ ߎp訃'ŢyC9yjpC. |-ލ\14 ^S$|wlfЇ ?=N? R^>*q`@`'Z0NGȼuHݘ8'dpsFrv՞-{ĜlB/8Sg rf5Ԑ+e%7EјGN7Q$5[ 6|R 5j—ѝ;\6'worRL[^N6϶$ɐ tψ ZtȹCyDuVCrۦR= չ mjUq}*9(0zŹ®PY\+\PY+CЃF &^:ptjW@}DѭgwS'&hm5 wo/-`DKRl4IhGnոOȜKY|oRh~ og}xw(N a@sŊJ=ke)9x+SaK6ODž 3aO`H^?J6^$&x1|4xHN/]bkc*lSH!"I<B}0TLA~|Ꮃ),3xq_(ZD.SwĮwXHMs|o@~)Z|J]96:_mgq6̅OX&RwuJ@ 7N&ЏF8sJQ?Yإr^(2 ZcZ-`]D}I\! (UgYZ5;9% tHOL-Quickcheck_ExamplesHOL-Library.Confluencedocument.tex7zXZִF! L3]A-MՋhvG"uIBm5TM j;J.za@ZVTz7^/=!| S:ØjԮV<[- f aH*hohk*~a!뵚ݎ*fj=$)u&4L<\W)7ߏj+jڲ=%:kz;T^'e>Q򏺩d7ÄOB;XD!=kZ<2QLゔn~ ̅2cV& *y9_"e鋵153=&f`b_\o5jVu-aojx8;eY#ڠcӂju)"|N}3HF3{)zHMH:EL/{Tgb CO}]`7 t'g$33>5rr?[@qL*AE8Ua1hL>0#6D9=UG ymi:Lx3r '_p5 ]0ML=D3{]Yu\ƖXgw B0>1׫1>^tsIWliFSX>&¿/4F(}Mt+naӾu;[` Mg'SF"'K΅'F)=/ iT7N;0]`/eya1YXNk t-oX!ZS0aߞxK]'e`ٰS J:>pv݉$]}٦;Dt4yBW(5y3ps !%8=\7')bgzFd=i޷|`'2pl)gUрH=iP0H4N,z'LZ(tp9A ; fZJ&%[)r* Oc$Xiy<%&sC1 ]fsC'tۻpޫvGr+gG3WQ*w斈|D03F@[Z)Z- wFț<(ƞ%̑6fm.꧛(3 mČ: {&uTxߨO%խ)r&"kw칰!!Xk~@&9G]w-HW:.~r qNw^[%kʻMkqa4H)U0OvStkم"Y w@M%ЗGǰ;/̞­=;aFnKeTcx]?mN.]J[)o@., 'V%eֱZg ]&jU%x/tt8?^D3 "c#P~BuU%/x#Kwv6zp.=/]4stYgs,ڧlޑFngan q&l &:EvoC,H5G(I)"G4.Wz@,!77 @v{I٪y?k@;tXҮp?>N}I/%6**-G)ղV>9S}2Z ~}~j*!`=m2EKb(TN3ž,K*gIC# 1ISdq3T 0ņ3HP}ↆ(|Nf]jA; SƉqLz(N6\)kZ !MK}꽊5U欃VR}5~ߧuFPXq6,zd%vzNxvD%q#~yCIp,'T@:y[#M)`F +nz#Dy?:z5bo_:MyJfFJ6X1}wf@<[y*[бgYZ ;q% tHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_Exampledocument.tex7zXZִF! 6]A-MՋhvG"uIBm5e!T(]_nj8Th8Ԉl#q@W Eϴ2`|2G7Vq`[K\f Y\6vFVI6u/ `R_R"*Y!w mZOO6,qnTţ{VF!,=nK z‘V!\c-1MoқEҞX9Ay!H P/6baI;/ 뚵9N=*LJ O0Cu`=X )"fcN2ztE;I`\ݺ>Mþ\ ~vd O)>#msE7A똳-tXoH[R^95[ؘJ2Tp9L;NCӻu.TR:v@}ޖj_^oF]&KS֟e #Y5S~rl-?GOF9<;x-JjCt"^9vzJ>=hS `; Ex9?A[vo׍’TҼ:4s*܌K &אM;)`ݴdr+&T! Tav ӜEG|^tY 2Pb\eJ?enyrgSG[zJ U0f3M] -Nc4{'f(*):(SkZkoWcztÆ`$'4}vjPjn #\ṷ{ொ*z>F{`$//AZ<{;|kkrpYQ8gQ]:Sy滿YGRb\]Zo93ZGq] p^ oͰ0H<{"cӠDT_0S9VTI`حE޽S%1hT)-=M.4+JNܧ"%8FwVbltmQrWV!ƭFlhvgc3Lskr,3w^m7d?`({Q'F-AtAelaTJ/2gmgV GhԬoh =%_홾p 6I+r4x!э$+jB@f-ĦW6,cAŭU$θۂZ+ ?='.kP@ީhQ<;c9#?T~.9G9S A%|=J+UKr1.nv5{Gl7lU:%gߦ .f)}S)n+N؅TS0#!zpm ԈϾ?mkrRU4 F?%˹_AC=w U̗zViNc`j4*'qXJ8'/%=gG7,DHgtIP }PTQ/ւ,oT̀9S -ثpQe< W)@tP)t^~zG'SNv不!topx窈jK]` 'R$Yee-&RZh8#0;rȪ[J+yQz {.[ojm azc#1~gW{62Buf"&S>xm %,}2r2='4z>ޗ`٪ZmKC]KOaRy[4A2p4~(_=\ذH^q$Ёbd] 5-LdJ%"T񶋲FUxw\-Osw[Uw/#\=O2pda骼/j( F^pZ96=jnyˀ5jݰ\ jbP  uE:/) w3e.ޚl+?+5ok_(.5xv?ן _){D \WC ޼ ,,Lᩬ]}]9/35'j<vȭ >2bj0fzB/LI~8n?zh ~b}8LԤ:ىŨʍR??sC*5]VQ`@'G֢83whJ). 4`=Il* o.kUtIiKH7Q0kB(*,N&)b u̎usW) pYom`0f-%ޓ[ߙւ ֭6YL͹)P%jˤ@PMҪk;dWF}ޢwp87J::X[*]+Ӈ?!`p7ȭҷW ZyoE;'>/=PU tEb"JZn%8jfVv/~J XI-`bIX8cAQuqHo<Ӏ .P: |{fEkC$q(تFE5ssdaT!߻qy$pA! (JIe#%yc1?>@f*gV9i?(Cd?B/1it ,@qv͊Ѻ^qVIG29:նqsaUECiNtMEĈ]Q FJG9(ZrZW[z4.o4(M|fGh4Ws~3i`=!)5 |#x{R5I27G`>FfNHAͿ&OLnM.X(*v7ŝ̳Viۋ 8,sc5:MPC?tnL*v:8@$m}@c*TF r1-(X ÁmF_'!Q&dž-kg*b0-;,#6Ɏy IG. 1v-!Vs[ޓ W5%;7R]Wg&eJ Or%$" c7z)^ok֐l S wszw*SU3MH3.ъښ8 xaT0;8Kzcu]r>rM <;CUĕ~OMP "#l5ɝ4 5)]$#Ws9(VrG4,xJXT36 oHLg}UN2),!w/:%ebo2WnKkBgrRD0-NK qUaV- sAf5%ѪEs̅J$")&sȢdZjW <1\xGjr0p܏u:NNC6feS+7SEpi gsX:zytR|auV :n\)&MgV-/N09KO6fs~C %'櫇n8Ktwa@"ёGj \ V~<%׃Fd"A&2JSU׿dQ#>= rpEy-M0ҍ#C쑨cphu ;Lc$w`I}D ~t"JjA+)gr4'7GRyi2=Y9G=yGZF⩤aΜw*(ZG]\+uMT\#Rus$=( Lc"Zn׌2H'W7&1D>`! sM.ǏfDV7Ƨ gzY=c܌>h@enݣ(qgW| TOT%Vn8h0;%{[a .o۫lQ ٲ[p;mS;..73v-I_7و:=8ϴDNDw_ΒlIV&+s"{x7|xXf(]Yt-S5f;O cǔh֝f<)ׂZgh-zٟjf۲L-Y+ͯ1Db HCƹTzМt!r- SeXUFJDyEكEKמgq̔,(|/ >m c+ EgVRrEr/:Hsq2ƃ( -,N$qc|i׋L0{soȕE8tRx<\xaMKX6_{WZUNΜ"^0 B!Õj =+ϔcáHHsbۀgNHċQv#脃XڶP5Ռi| rr2<.31áo+#+f:Ғɞ|j#P /hGopkӉu`fKDH@f"uz^CYnf9 rqogBGLqۙ~vX!z]pd 7Ѥ1֫u6#q]9-)5EWe*sIsg%x _pˆ/pS?wQ1țתi5X8joTPwёZ !*n9+6%83-׽3.q4BqC8Ih&60Xg}e?I*YQ1@tA" iDB_CjrW)kԡ~0q%/Ƙ3%S[Bqءn\4c.NJӄgof]cԫ[ht%< Iqݶm7Nx^XaXj2{b.qԷ@O@~d`ɿMRowQѾ>n*% SPMΆz ٵK>>c}L[5 /v# J]Rԙ65|oZ&3ayHPuoF f*:67;OWZE$6\VTi[,(hI}I HQw}R<{1V%4NoǦMwGwU F*n;0ycA"n𺟁 @T{HJQqﴽ` 3 ՕlR,>l_? {4)k.ũrZhaO;:c\DX^H@".Ѻ/TD6V +"z즺Hjde>zrZF"bi*|:q@guի Ri^Tj.; llivlGCdT Z\_Tmи{HPTHh <>ִ`n͠+Rd_&[/ஞ5W4dy#@N]]"Z[heBxoB -qxOB=IcTs5#-%_XXڶ&IE~,LaS u&4vQ99 WRgKTr@U'"%`5Cde@X[}{n@35\ 6 _*{d=M +@UXd2F#fŤ'8{G~*MyXb0NZ$P>MR!mWle,NCm6 \kq7sz@`ܤc,_A5uXXk`|xKhӖylKQJg( ]Z>#_朜kJN)YVȑXe%oqia2:EmU Z gYZ DDL ;5% $HOL-Quickcheck_ExamplesHOL-Library.Multisetdocument.tex7zXZִF! 6]A-MՋhvG"uIBm5h\~"EY$ Sht)KߏEh]Ι>2T pY*X+3 {k3a]͗RR9Yk.rҵe4fGwؚsi蚊 c^{+w'&৏#71k?"^b/;7QU QF#%YςT皏,;/ʲ?fj8??~`9Ĩpg+CRK]'*I6#.=5Yb/%nq cr~OdVUc'ZȰŅ~t? pX[-˲DY=xp^䱿4a-HZW2!/l¹%s~)p"174LW*Zua2/3It[2 _¿GOAJCJtZ{NC(E(~ٓkБҸxKkl9DGi959Y`dm']fUХ7ENq;dg|^;1XNUgK#tq__)I&L;$lɋ3~02fU%<^ !b]&I)0|PaCqiWf߇]Jn$"`AM&v0V ginԆQqB8ҟb)/sPt 6—v 0ެ))^o ϕ)O"cW+qw!N-Exj{}E)\2T/n;P5^vMBe־Pb aQHKE^f̘pZVae~n+@Iɐ֤/X*#Vix6:W Հ5_˨ăXׯ;dry@2vBm٤Wx/ƭ Zss1hٟvوDٲCʴC0Cg$HJ*+2PA4!>郚 eBq=%m9y=(8E3@-g&T I:nf"Jl"Υ K4R@U;&&Bg3LߋwM6?(ږJa#T侥FGӃ~1gd}„k{&ܑF`޷ϟ S븉 ~쥧1(awdzUr Hg0-Bo nϖ7\~Mbp5iטѐd"ef@iFN_J\Y'[u} *S,18-rC|'+$vr=P_znOCpCE "ߑiˆ#I0IeD2 W( %`OLXp>tTe?07z>4tOxn~Է#YAlZ ޜ0^4 >ݓ$t)_Q_x&b{c:$/Ņ:1nVMGzrv˨Xx-/swn3 /,ͼ̠;xjQJkVfR3ZgM.'| fDѿ5:Ljh~EOB(1Boh78o=P!X/ǹquf,;y/n9f@NVrWnCƞ'r['nB\;bQR헂ctiqWs(;Wm}M)w2nj5_9|Q##, ZUQ؍5.XK:m4.(q KC{99{@{Cܴ.H.b~o__V [ c7l(sMMf;=pWJT`M4*P8߮]T!dy+%H y-+ϵ}Q1Ył&aױnuA}OybVEoRf=9:TynJ3M:`%~-ΰϢsŇL~]1o-`yU(YBabDegv=f+E*8G&`F{&&v!ouaDcNopQA6Nu9i jF$%i0*CTc4ƻ]5E/uX&w)Dh[]eR {(G"hSMIwz{[]Zcr1(x.`jo'c-`;.~ڤ0 #a?N s7BPJ9 Akmxgx岣GJul鈒 yxeMԈqd\_jor:V-ըz/~5@(!k*ۢ=AP|?ح5$ >fpܛAG 5*5 M`P"!{sq"{E6SkCH*~L+K'"fNsV/3X^8hہ4$ ,|ffL6@lp|TWxna%eukjJG#EϷY>I#ca*pQo-Lm[{R_s\gÔ2Z~={Vi¾?O"AWf+C,!sw|"aplS.xL0w)->+Ixwŀ̧64V30cF ox?5yw/˧}A_DZ/C{,g͟s %o1ʡ45/XM$ 5wq)]9~J3J[Wd"O*16h$%'bfSOe ռ(LM؋[)Np# nry'͌, rq6E7|yL ^w L.ȟW#l"``A2,+m< zxylWbsm{*@9ρl,@6bPa,;ȗ:VQ-`[1r+(<}M@CQ+ll~ \֑D@H]bPCeÀjU Pj8zd8t4FGV旐a\5 H\oj L-O ًx34 d9W:MLڃK<Ͱ2B@Tjss?vU=Dvj]_մ0,hj;! K!2j; (d¼-L_;Z;S0MÎ?p_#̤[ú :]`&vg.SyO!H2VׇQGOk00Sp==qȲ9:^rroD 6Yoh=ۺA;C.OlZoĢqlrM(3oe bnT;!dz:,xO0B8*m"`HDb.ə~?" ]pXr/?UBעfjm/hS&REaUƩxyr׶z"ES*2vѤIás߃*tIz9MҨ1w5i{^K'R(b#c1=Uu9zI?bd 5? xNX3h,6ɶ+CP=az~L`܌ՃL\$E߸Y;+2lt^qH۴9-?MڎU\j2eY@9ٌdFQH鰯/Tq~t#P^:m'Ifn |IH|6_ tSZS/ T3qi;U$H^KIy3,.4akahBʃۯBӋYKK u~sd5鶩M|,[TA (&D֕`'*>Dr^}$UpmаqNY֎0 qDUk఺a+7;rڈVaͮ6r4o.,x_B͗LTzܤe*v%ap) @O0(ڀgon%|Žfs5JfT%0Kivt\2E-j)*i2*q~yX -#@Ân|,x5!]^Npr\h'WBlW#u~ @zĭxV }ޥs?BTn(Qt__v9LpVKU++{4w<|9̕ Z@ !'"eVs]Ί#nP])0qa蹭d0UlzNRq4\K "Ff3e_/+C50Bu+-PڀCA~Q*Uov3[b:5D*Cwzй]^.tsj?:u!hTiޠeԄ,ڮrُDl39bDΈd*>_D(Zo7`!},j, 2ih^P<LJA{^87<&{bOdSLԎs˓>CeaU8N1:Ǿ0D)w>MZP-a܇4%.8s8"d`a7EAsauIS??JM6jɄ{Tˑˁ2\Jj)7n3?5ae "͎KbtXJ$}mB`)ȭ7j1#Љ%S8C+CkJk'"*_#eJ(-^G4 KU7g:wm<Q#mlQ8x~LR:_I%f!P6th& X&nNH5diӌ*'gk oMhr79`eiڂh,#:sV#k*PpC=jjǨ#1厥7oU&b4tx~9:5|z瀢AIQD[LD?{`a@C4!~ 1/Zw])f/MƦ\BNWա/<9TZ$-E x@AG!IB7KEg^IA=YOWA;luZ\FԿΓ> ;E [ܨߖz4iU֩6bpٴ>oݝDj525|gPn;Di$taք2Zd+h60mufTu Zqa/p'WsN5ɑ[W: P h/p.j5׷Y`-@'yֽwKp;xDO,Xxdxe c~-|K@LV}x$(u`3yjIk (4::&j+|rA;rˑ%_,'ͨ~@l4*2:5= et/yNq'VSb=_Iu|::BXM󇇒%Y^`>g xz f,w*)yuWl]g*6Tۉwu)Wv / 4x3?+??"uMT1?W6kvZ.p=T#&'pq/!v_!x-S2bq\V n*ܙ-7=!%^h؀WT})Csj=y 2`H0%]q&x5)4cK$1]y12t>¥zHa\sXly}Qg`ᜟU1QaRJG޷/kS@/Z1K4X_24R9w6kcFP <]Q-"kŐs!Ys+Q8f"c'K]K7u@G@MI4q#U@,D>>zqUU$8;CYqJ9˴GPpq z{7V)L2|j'K/߬ic .( aB(+oi7qg 5+n~E2q4Qkuet+)%;_x1s>fEZBEƄ\5Ii{ Dɐ:2.1bd/7[. &{< ;Tyx׎vO&dKwRNrǭDPS&@B^֥NG-?dKjJcsm8nan>(zLd)h("6fp ].d5hvMZfTv0 MCX[>%j/tUԠ3_GeNa8/ݴQERt~A+ P a!, `iKz/-l"[16X>;#Ko,߁ZN/Aݎ-t0oyݷU mvT9x?n&_,00I(ozF"~ʟ;5yK1y$y0@Tr5mMu@'֟qU@b&e4DLJh*5[G? 2m󶺻g{Uv=E-XU' @L@o𿟾.;zKȴ7Z B:^;4hIF(lJnxQؓg}] S' k7Fx:a*BuسUYC\S;,7Ð\AFo9Y{D f h7;0<&yLk⨵"@{{ќ"t?yMLu۶ge juwKѝ ^ͷ7%еer?!r{z'dԮVv1ձ!dwP d>^UDzRLVvcriނ'1q!Qg5D !Aux"Kh}?:d5w : }H&J@{?K{ûHsHA:2+^A[h*7 hkf'0\'153a^<"qeGdNE_c7*xu=bwp=BzF(2\~U!H "6'vhَߎU,lIa٠yf],"?V)H'ksQ >wbW$>jc+&=`X_6韨%<4[8 Q̗'b^,8G~WZd=6oQ|;PwrDX)EU k!r ^!(%`]ʆ@%G2!Y}ƟuXy҄ +Qfp.!{hfȐ()ORX_# ;Eca(d0"tȫ޷dB26 wJ &\(H#eOa'3G^~j8!ۥL},| $98*]TpA /yk|?Q2rC5K_ښTui3=A'ɦ{;`IBrWo%~E-lxD+C$q3t0Q)t:idi #;ypu&';59W>k2yxG2\Gp}q|Y>"3:AC&!$sN @D酏yk]b,gᤎ@/I;f/H9UЛ0Y) a.zuQ-<1GlB'V (Jo|\P:y` dKOξ'-OCLBk l W`J~1VGTZ"L@hfME,UZKGD`+o:FujXG=i_ep] /Neʠ0[qݶ=Dk#$USSx- kzFg_,=.փ>C]kz3SI_A^E \&oɒ;YrBL+L%퇅ܑ:lhm~+m?Ev%'bNY>[$ݚlײD٪C:. +1OfH}P-Iw! ċ~GeW&JÉ`f*Ycvpi,<ꑗ(c `(ЫD&~lb"1* م3cV5r5)Cx Y^܅"mz~j Xo>Am)гKfNlleӯLfKhoS$bκTHpzJ^2r[l 6bA.IߩvA}5R^m + ҆/&αoj/,bW-/L1ѯtoD_.6/f3.#&ZyK$ /QYI<gsҾV3] >1:fKzE߱Έoeܒ/i1hE]|XKDotwk U&;cW>i.hUrXq^0pS`!o*M1qph~%v[i-Hѣ2o!7v%cZ*t^kðoXt~TYqPH WZy3&ZUkl՘˙UWxHo3r?%'/d}uLP8S++-pWM*YA lb`@ٱi &Bi2spW~ /h3 Ox vm%TZ:'fSȃsU.П |2NK)ZS's Ll}@3l@xG܍_R^b~So.ɻPc'@%GICQuaڲtE:ApPm\UmĎD WD7 G\bmse#4Ok4Ņ,RyS\/q<޶8o/ȍ ٰ3yQv6'"M$$ Q0)5}JroN;3%csn'z7iP}~mbOb&Qp[FZ[⃴;WExC9Ї-KPut%`#BDdvο$I3oR5p Ƅ*NrRy^[rpxlj*qeGv=ҍ]&EGdSN"qݻص, |H%zc̙7t2q "2 tҀۣ<#sz }@&C5M4 w*`OE,mY]CKH:$t P()bnTlApub v{94?yh߅{MFK/)b3h#(yyiNJH#_@3v3A9`6&#!#?#r䡳1. Zdܸ!fQ,\'yb﹏Z,1AL֍PVra;oJ@W n 8(Z*xji'WLnx1 Qqr6ھ>oI޽-WiC|MѪ$p! `/v ET(Q m/ GnMdQ&<[V!*K [d) 1 Z%PKQ3{1֋rݦ0WP [X7I6Ƀ&f̦ K㐱%7#{+ 2EE~ufdiQfwd"%LTI_yYDW8p\Ѭ#Z<•fBvR@ >J8S))HXPR;7ѶY~YE_WN,4ֱD:}g'E;aI>9e mh/}x$ڲYA\>yN8}Sb6E e#6I&  ^WG#~|:'H>5``"LFM[LXz{c4Lb׃mڳP?PwuEqcA,,+RE֙>.ߍ@YU3@nI+ `)\l="pSq181u kA]]OE ]mI5D]Ft2\C# 5| ?I>hr٤t &Ni.J"nRؘ[ـ1| ۮ_./[r ؎ zz(tQVhG `$폊OAjDUhfvWƿiqB"Ƙ_Dg}!..`6c2 dQ ػg;"u*OIǹ$['>V܁~\.#GlOsw~6ٶ-%GљXUĺ4|_w)H lɽ.ѲLhE^YۉT"qcSfՇow@y:%^3NDVecgZ :f|+fdXt Fbcj{](}%<qoKC@)2vA/:/"*5H zT$eRn}~YQ:x]K;Eh;*O&ol LPpH^+'׈Ql8FdV|bk <O[u/!8";Ї ¸ rIsd_aB?!'6aR,gɌ-ÂFv,-1",󠲙K*,I: ע!B:)*'%tv8?ƒ!QrkWz`&G>pjxn8[gk3YzԘO}iHPB|cTJ~؉0nn %,y0,17&-c* .Q& )/1lF5 ^PEՙqֹ֧@+), LWG+ۍ֌2^F{<m3U4>oNIHkj)H ,b4yP ؛W^̅0 @7RGKs(GwRQz'lan/)L̞{ e㍜]:_OazԚAFS`ղPMhHf ˓%Ѧ}1k7"Ĵ6x=Ш(|kvsZ,.Deif>673<%peaniGaM=$jP^Q~w=_K&:,iuhID#mAF,1 /=(.e^;Ao7%Wmz-d8\TGj|bKd'x&hDGYO}Q7a<a!`An^>Wc~^cA*s6"9q?C{<@!&!8[I΁$,#}jZE_{Z:r[9Qe~@Y b$|Dt=JD ʛA x{gpc7s~!9jSWHHȟ-jub1BJ Xw9RFaC':y`(4 >~%54ljyD˚Vo ;u!MC7:@-C& B;_fEu|v_]ޖB.vj)zguNCg0W>Y,<ӦSaۦu6 0Sx 䟣=סllqf_)i3ξvb E!!];̜/.ܞSPCr?}ecs]%lpaMK+}V ePf;cw5а\HG"瓏 0/ /~:_kv}[MD!|DW-yu6G)2/+j`p{hc Ѡ *׍ ML %%6?qD,?f+)JX ̊3SV*Cųp1B;%;C8|tlkVr#iDkDLP9џUȁ&׮~0-p`"7}۳4Pj!zi}* =gG P'dH>^zxi`*)`ǼŚ] c빟 e6UwJ<>;O0dwTYMl@z]|/G)==1Y9i#o*{n{'avޘt݀Ҫ]`|'O%U&cLk/J %ߤM*4jvJᇇpmcDzUžLK'27ލ)>ﰃVr$*y?r!n] ->e,uv?osr0*_n]t_nЍ%=>UUٸAF\jO~]mܳ[kXYGDp~ń16X=\@{[xˌZѦԘE+\^,|Rxޥ P=k5 =j3,ϡ+~0h \]/7 *!9Yx{?Q:Q%9L,g'kXZŦ@. 69eݜ=RAVrozu#裂$bH+npYioMŤFL^!دIdF Bv(93 {8ADtwQd-xm#$ ZH%%\m!H80IEDzD q}Oͩu:Oq= x|&(ǥ{3 $3;Ocax*HGq}ɺ%t[&F! Ӡhe!,YH(RP* WتFaHL۵T~3l*CDoWE{|L>J rqGl%3 UKO F\OUB3cp‰c$C{gBH'\LJ=B !k>ͅ.lF j` Ens$SHM-_du.ҳ,a_"xJT%ɵvPIY騘;(M@tt 3b mr ~]?e^v/:!d%捴_ngJā/#>E!97<ԑ*g01 WV.eEH)w]8,)~{I0C3QyS-;3ٹWOvcwiu^)f$aOP}}<&)U,ʓ<jFy!{Nww2" Z9w\NH]a]:~TM!&v{!&å~}xLWω'hۘS-9yE\|9GRoFlY"i*\]w#݇|1;3FW4 | L5Q29|+BudZS.QS9[֯4&4NmvPإoI-#]6@SVP_QH<ß=5IJVQ)5G?+˻J#נ/!OL@OSnԭڬjšbQTy>ĩO?7YI߱Xs&iN#ozuTm ^uZ<ȾUwYS(-LNp5&69RR(z3yG/Jد3*!ì Dv!%2 }gKr᪶t 1y_/ \cQr0raG"9m$ q^F8T*,WqazK쮭GWx"K``x,-!g%Y9oNf#ӌ;9=ʲW) aC0[Yx^xs\]VU9B/fw O+{YjӜS sOj>-\ WP\cJhhV,_%Y!j0nC1_ecNO|W}F06^ό}VB{ׯJhq‘l:f_mߦ%a-p#y7IJsIK칹hvnE4 41xsc ǢnX &G2˜WBD ]Wӭ>^!}ey\^LJ6][0{Fl쟎A~e}[mT}mۺ˰[Ў*! /pߺf>DDenO-EtA mj-ߙl>SS j>4OB;yL.9S&ɓ&J'%A\B`(6#/Ə_=^FoyGuRqk:k*Veڢz}~svdžŭxWr¡o?W l{f,A7;3"4P@vBZ6qwmSojd-6܆vܽ`p(A^NNTF=j>C=pE5\җ/[YvzMmnjÜ;(dXDFoF8yP}D, ]h]cJ55&D|P#"<Šte]R) J27}E*eR&S;Q  k+yq:iChd6CPUAù*4g"l@k<1ڣCx)(󹖣󠿚Fd}-KLr؝9%s)o?U}"-+g ӓCxw\MK. w$u+c&wUG~`Jb.\fS0S]SsIݣLۃ?Vs*5$Cfu30"h2je1u~!O|ٺTXg*I $t߻gs+ x y(M85uZqS%пG&hH7ȾQr/}sz5:P:D)I&6jns~vxՙWGڦGHMOkINrP/NcId)b%͗  uJJöq\)fm~TB*uIT6Opdp!ˑÕjGdalG4>T&eVHٷsKb T!Vc] h}4F.`jV}涞F:B& l/۲ 9p5ƪyRbۙICVSv\8kPF] )F( *ܻ1A- }rON2@[ 4&#&M 7EIYiS n*(KhaoB#ygT(_Q2@<vT)oH-P.{C=J"TԿhPh-Adfs߾Yҏ0Z#Os"n;\!I]K#'ȏ]R3-{`έR##7wKKK F%$x93m\tlR |o<+붬0`̳.;~ 9 JE2'j={Z=<7NOv(XS+?>74bFbv̽ˮ<[W5PsExibXŰG;LzV~7J d>X&tDgkh|ipJ2ȴI_hrMG|Xzs[WwLjۇ#~ O8&_k'ےQ!E"3ep7_/(C$$SIH5q0 b쾰qMw_!tM}<-#}8iɋmnn|7G9 R,YK냪Ң^t$s_ou&W M&Śv7d~^`y[IjardA":aȱ]u'Q_okbmee/HgBX*^L+1 8N'NG܌0?xu716h\4Th. D+b>=Ѵ^ҡB\_tsjԨ`Ӈ&_1xrd:I+*^ P6NJWBjd5m pm\UR(:^Khkk5^e'_vE.wۍyrNxqTݿog!CWV,UFKR/Sayʔs.5G:}"MzhZKZN)s\`5I6(hsK5DwW*f#2> CWox~!D>"#P?PZyJǧ@"{a;dGLvZג8ⱕ`~*Esp3Y݊=nj&/mWfϙ(fUtojsOaM?DDbFǭ_k 9nP%oFL~ȸD>237S|?Di\g23xC 3YVP!v +vW$5WlTW*@.HA+$Գoz(?c]rq(.Q.aVpc&V/teEkIOT.N5N+oQJ:GFcڄf*X}rq5ۚGb8ZŌ\:[qJ  C˴%^y> HND[ ! a9׉="{_u3F"s[S/9IڥS8[z'FnMI]0_>U @$'^B#ITKMY{#8m璏+;+3dB: fYw4rM xi XxNB#gwhUOؽ0ֽx.7][\&6 ;? d *gO C+ ΅IҰ3Jbp:hV^q9T] ECa$:Q~mrQIB,v"yI{iᇘ@Z1&DDB D/NִV.Y'Fۅwטwk%DmK9IRM]ՠ*]cL̿l'XWYoYLkǣdvH(WG"bȇa>mVȶ8<dH[Rr m/9~J q]vhș0c,qϧ +cXX3p'-Lb숤ݲNmy(4;MsX>H,EaX5ߵɦlyb@p7g;oQHph0/b#0{/n>FJ6?#I/|ٻjw so 56ύ7b웜=.4hbDK?+G lm*w̨눓<CN&ˉ$O'AԊhTZ dŎ x}'9{~}Bp11D$ߵgK%!E9M:dV1Tk$kth/%efH%:{wki57ًsr*/[xקطܺpL̀N)C&q`e]iBKܙ4U64ic@PuZ~XK:77k|ډ#.I-U V̊ѝ<Лd1uoz,άB- 9wg{PL2*OE\ !`y]3;<<#_rwJL2**OM S8M Rfy*Tg DtsYյ-v0GEc,'Q01.RK̑v `;f+{hY4 bu攄ɣnz(n~0uTޤwqg9΃S^ь% .0qHkC>˰M}KRW B F Z/vsM|3"(" V5rM7Ex}Ct7z`MU>!/X=wQz@)eNcKӎ?u뾴-C&1QsIe>]rew%% ًݵnJTsw_~;+߯|ӄf0lh-fP4,jpݣf'^h*#FW~C1ɮaٺ[fxNvPvZ (neO3v$>wfT-ֽ/p,p?%0Vn]w+Q_>Rʆ~_m. tj!!ihvEgv։Mqn>OEn>*Wm UkĢU[MSua[ya:\eHݬ \2vR5 $rƗ fѭG )l,|ɴ) xqu:BG#1A-;拀ea?e?`9lBIj$iSۣƬo)[Ynn;/9+$İRW9^Ug h1 8r7KGڛzhܜי>EaJNx_G^1ό{^Qf0%NWkp70 ;uX4bslo!}Gрl  qϕg k{33gڅy$m8/$?QT'?B< i =+c]!R6Y7w)cfc S_0%S#`RXL9@%32:QOLb[|7^ܡE=CiXT Ki=kvC1tIfSʑ7(4wj_pz/Ͽ]IsQZ@[!y6%@pNdvJgO򌖜eO 3 h6:cnd3~Z&*an| 2;ng7J19ŧ61{t?]M3@%CAQ40p@̸l6{& `+bh_+U^b֙2=D$s \'HG:CzO`o GtM+}9l!Af*{A@yOQɸ]!6SY]" s_Hbmp̡Uu *cN XZ"$N FߓUmrFL[0X/i䏖[|{ f?rf9{7n.  TIAk#"?׍1sAKpײ=>oAK'9g?2&D̋JuDev6A7 B7#jbjbİA( >i`#NPȸH-j Q\ٕ5iSQECIwke&;qSq)ę/5׈81>ė%3]uc!̼ȋWrLbWQ̵&G]py:v,V쵺0fU/_B3;R_MM:gt*WqvZT6oaȡ2MGUI)֜vS GIE 0pJ󥈯j;gA!2v4#8#y8АA_{XKž֠o/ 'ƺ7ehş\䧪clR/4/,g܎χ{hW2syHQ+I/Oa߃c`7k 2){Y`"rG:IB0"ص2M9[Vc6|D96%m=UjghR7 PѲVqO$TB퐳6.jhކ@tSm۬uֹ7Snb][ jqFN..e Huۍm Ŷ`PHuJ+6 wPt!57+i-qF|F#Fa0aQBϫR" gYSN, :۵ZRP_uR5k*%BJ`,"ǽPV,cٝPN=ȡ>vֿA}Tq3m5zNzt{mz^Q`R:CVE4!rN tG,q>AҐ8'=6VbRZ<ډ[FӊZatLvLŖ :x(AƼMHԨ)J8[-_$*NM3w (V^_߉b7Nz78V7z ǕC_APML|gYNqOf^  -&Pg$#i]j4^s ;k52/4?pe(fxHt㗸 1fJ(R*tKxۨHY]g*OoF?a ‰S, :n(ark Yk[SPD LQ*9-@)A8 3#||u {W2]G{76"&++IiܖĠ,G,Ȕ]Ӕ4[(6 -qM M K_sĔs9|fH _H#j)Iܬ:Ɵ !8{f7XK^,ؚv`HīzOɺ <Fo"^dIQ^~Ox9T1$,Q1ito":jQyAKzlDS!Do&8:"IX<yWIrRqX.K0=ެ2gߘPXD!k[YobC%yЊsEnJ(yMĴ&zWr}+;cxŔ=K"b?ޙD j&]Y|w.}Nw4uYw׳G*3ݥQ9Ybʺ%;tAa+!MB>ؒaU=SyO_d%p*/:i3x M 2_(IDsK1Ǽ鈿2Av ޜBx->+E1YJ0 jB@l_, ٠zjf;vh@.np 𕖿1T>HVV\'~Ƥu%^6Ƿ[7G 0w#Lt<`Mpǹf=B3vD[ϓyM9Tj)i؛kLðtzd}+c-^7:d~!_ßҲP"g_jґđēKoSڀ P]p^փsSyiۋmuU\B5R&gnI]pb50\UpNVk5hC%o\PeVr 3\AIPqɮh%M-&>/~#Cr,Z/,%)L&o[+b?z 8y>1KtM J?O"c6jXiJtS} 'I>*wm]1|}b'9*5z?n<Ns}]@ 761>geB :&X<"`oWKSGp !45 ł5$}*S\ {< x?rRvv-}p#c| x:TOE^.ׄYڤb4oaVK^J@s/سG 9BV*!J;-<0ǖSqAȾ/b]MxnСM}o[(؉e?mF1\ b$ĜձI4)qX3s«V:]$VE҂{ݿC K3ݸLW Uc* <İ`$%WNOε)ѧPJ;*QOPlIu>=B oq[z4TsϠ$o8: pˋ$Z'-(Wsb՟Y̓HSV#|_L,G3.`F.L+{j#j򏲏'.?;nk&tI3B\SX cF=,1\F7?^Y" E|yzlX,>D Dvס?H|xo .A:2jpf d6NA;ϔW`v,G~]v2Kj'e賩GԊp'ܗ^Nj#M'[ tԌ?* w;|8l|Tg޵'%-qvL_L,;Pq?mW7|]yL"J%& ޕnBtҨ'l3ipnibKG5D(5fPx9Md1G>TNק n6_5Aevwy(&f ƈK6UXR ]PϩX^%;Ir"_S_btR*MK_Oˁ{j~ٮ=2*izĄkE{mQq-GDzV)o%~tU+dfmg]pT^|\{Nj!]Y.j]g;˽SR+G] 7lN5Gcf*򰹆dk:fI.nZ豮-akf'V`.oXڵ{M5MD)@)=N\0J KDK6EI qm7'S\Lvs>[7u+ -+הy=7%?M_5zHХQ$حeJ ~ bqMҚi@idž^I絰k & haDCou(Rh)Go)B<7 sxP4/? &ũL5,Py'mO59I;S \G VXd Ŋf nJ"- }/MUc瞛I(9_^@;ԦmbiN퍚+ċ^hpfhZōdadvm wvӸG:X0{fZ*Pu2W~F8] %I3IU\F3Sz~L?H^ڛ-ܝu={:\S瓒L}^̙{Hˁ1KzG\KsJq^t5Tt$0/xoB8Ə`l*1^vh@&xVTp1:GQƀ&h6=DuOokޝА8(QCP'(ƟN//JNbv"`u:912s^]m"8 q,'8&5=\IIa940|)};Y'&Qd&lmR4xΑ 0"ϊ AqX7U@!-de֧c0S2u evLqbpEW9Ql;rOqhaM((;@|r6 JyGe>]k٧|čR գސ'ۨ%(񛍁iۻt|F a#<wĒ˛O=ٽ&dEM7N=Cc-/T9SxJ mgW.ǧxӲɋRدK@ W]}S]p<ZL(qcnƺ).']2ڰ簵 T*8#8C!.~&6dj/^rR}tWU+4F4ŮX;]:(nTSv:nLWq*+yg V񹖭B| KTj}`>Nq!A FUw#m@"d:9<ĕX^-ƋIm 4+/"{0%@Bp^*ʞ4%᪰{gu9fx Y ~low&*Oאơ `&J%^wb{XWؒEvb\s*]?p:} !l4L5I][sI.#4tl:qg_3VF<{|r}u.ȮK[G/j L<5 񖺀ΧP/}Q( )pvʼn%?9xkv"in(QpBė' DTn碄9llɶ)r{[.D&ƃT~7j6:\}`ߞCyaYT1L|g|R!Rw_WY0jfuQm (6bG6Ŵ_'ٝh[`pͬl>V9['8gYTٍhX"i8z `"kȐ@Qﻧgi #vaHkUa9(RԘnu!HjR)Q*mIE1hZAdG\1C[ $1 ,HL}h?*&"yS894˿6= ^nSB&17 @I2Z95Pd31RT%~#&Oã!dp;%%`s}3ͼ8+ƋfpҕF&h;`U >*j(H2ܓ@L8JЄi؁ע̙5^Y]ԄvvN'a #XlofUhKAŎ Y2<lD!ΛPD/U)zx)g'r(1V-{œ$ԬgAA_2I(1 *iߒ0I7~=+-X'nOFOUTW t. v -I{|}c$iҽa)9u2餔.G9\ضժTıN}99+u;1ƾ%fI8#ͽyMF9 i98;)`$ҨwEv]t:5T!ġcqy1YξzOFXx{j: qU㽪mF JXsHQn0ӅU*iEBxS:]wn.i51?Wc SN_p8%h?35}hGA z3RZ):Ҝ{#%P.O:d=D*.0ǀVG[S\׃I2'X]X,KA5Ļ^^v`Ai!ϧ E5 M8)-vl9ZѮPE,y:Pdtygxf>нl E!Epp$9(rUmdWz:D4% 6ABb8 ӄGC\da5n\1m@_1xڸ\4ZP*Eض,I:k'#ۗ57tZ"}&1WMZ12O{x `3'qaZτ`h? 9/G?FSA(C9hw(UQs\8!av!i&ZrdHa6&1@*mT_oNo$H=Rl~[p&ːey]οN0Љ5у@ `^b[0Z̦To 9@ Nlh`,~\^Kg. d],($ձH <~D"t\\Z\jO SʮD}4-1:%ӯ %/%CުN_oz1dxCwGEuB~DlGl9UM]syo(^T}Wǩ%޽ǟ J?MN ?%(mPײaHHUy"ab;r:>#d u'>c8T-7闀bH-.||kݲ6ƾC Onj!AG& -9Œc?klfT4^cل 6)=m0*ҕJꤳKJ4ڑ43ݶ_-8݀891pE-!ggqkHQp(B})klluBF pם3C wr@$?SBr&9QZm k*Be0 M*Ҫ-6Լu)ik6S6^izcA/s2!S`<(bēʉNpa"P/菆*-dt.8*L`I֮gǕ9{ÄBoav-64Kʎٖ ,j>{=9 ʶsu,(bæ7| ,683'pThN@崳>KM6}⾐M %|3aN>I_.gO* щr2<¥`+3"Y#6Z<ߛ\Ke {69g6پ5n1 >;aZq h}㳱y^ o۵ª:N|p~} y@|.RR@?H^?]Fo_X)?|&W$8tW 6%b`SD}vRxR?h(aNEoI$*^pҞט\{./QEI58' ȂPB +#w{h_+6&zTW$FT_>Uf)#p+wGYkYFuPqޫv;m}3PgG"J ٩݄m1ɯ#lXbRJzpo%*P?1&,W*>$ʹ!{]H,R'B:Lh4~|ݯZ7uפcaPvb: 9 .>$(&;O>Fi2cL}baHG~#fa".^lQgEHFJ!W՟:fKt;IimJpetA"Lo˾ ٦JBy31kLK O`7@_4Sl dx`ʊHvqL\CUUHI7L4HgHʾMq._c<,~Vj!)c"Kl*+ v$?.7wkJ4.s@ `ϧv^E^QjRBw=;Ŗ˝ypWi X>{eS.Io [DGTN"7":vT:fsy[sGaC&Oy B`_&Bօ7` (,. {OY·h'k4!ŧqS}%x$h[g9ۓQOg(1g V(70$DlGI 5dߜB5ġePoIU1ҠK|A|՘:h{lȦ{u ¬A.w@:0{?G30OLo3cL~? <,>|A?h-@IЀ ѺBmq]fb+vdDe{Xs*'E!G>Vĭ at6OY=QJ8 Зfֲ"嗶>T!f=`6O*FPʾdei?ß 쟬zGT.#]VqeoIyF,#~M6 Ī'tƢyRC"ؒ./q;Bk tU xTw2_T<9/@VCx%@ҡOqjIzzO/5o^!n/PF9|5䪆e϶g`R>6Wt ޏߒ"J [U, ahg> *OQ?wY|H|:޸^U<;=m-;cE|%DNoM`yoJ É} f7E(WB2QVzTGvְ01ë'rQ?}Uio&[Bk֑r Xy? Ͷky4 +*_䅈4@o:것'X#Cş+7/Y}C(rYp(]C@mg f3~6!mPG,V n9v%H=Ig@S )QXG2"['&Tq_F; _aIp5a͌xx=s6(?wA #jP_c  o^mTp0:VFŵ.'b8qTɠoysl!Š62f| 6Hvn}W#:&r]k7E9wW 4kQOzprjϵw@`]TgͻLiJ3~fk?ddbdb==kY=o u4(5a&nVfO*U# D@>'PX۔IĬEGeEh\ T;GT{N惂T͍6ii~U-qT\U㸶];r}XCS&N6Rݘn_pB/o$9t{GF;8#GKW }o;=j :RBӴ#.ʥbh֝^W0@w ROJ]?e 1{yr,9J*5)ArX2a6N@fcɇb&fИKfV$Źyml{'AL(9Ȩ%3"Uv϶aܸL:ehܯIy'#qN8gq0j2Y!7wt A7GJqe6]#6Gk?A.ޢ{? ig0G'q `]ܧcc,p'=ZׅNt?D;vBHr-']y]mOdSs{ېM(cl4cIu߱X?ӈJLu1g'+RAoDp͌dER ^ziEbIrLɂ"i8zTPvY/ZAC҈s;tnQ<3i <ȋP탾_N@R.e,h[x|ZRwr=BΣì11D{?LYox?բpr,?t7ThdA236ރjgxuL_`k\FNuԲ;]#4Gig4p>jfCLJyzS DS{v=%~/篛DŽBszDZߗM|C!ݫgE02<~uKg+1PA( #pp2]`PVEâMRs)moMyk/p- )HЀ'3he+w3#8wQ'.ZHz˭s$= 2"{ Kxd(m=DոkxqpNĨ`J+YqJ2gً C_ RiGt>{ٲ+'g:S_7(%{|DVV@=H6D{KW_+M3&܈3ຐPzBQl#pgb^@p:sxʅB/ &tQ]SuPbS-HTz2-z/3xb@Ԯxχܞj:_L _+(WdAc o͜(B^;L: 5׬! 2,F $Թ#ovN_^1)jK.]EQr!g3!sCSF,b *+~(:s8 ޥ(+b9M%qQV ,/0D%)В`"LI%SǯgD${\b. raR D8X–psց;4lHgC[ ly~Ѹ9Y7@|MnQ,r*d{ۊneqxYځI 5ƄJᦚ0a:O!LBi R0Y"^[C=Gcx6l$&N4킽aesAQN Ja1CgfkQwhA͇YP3R[ i&}B5pz\8S4NPu\w[5(dCp!6Uύ iot%|۷& Fz*Zf(ԇI}R{4', MYvIfR&)k?y`7w_)9{c÷e@㯵_e:ۿwl&Mf+O[o[{+!dώk{6*!otguK|1`{:a!@/k rgN*' >f6ڽO]Xiƞ3j$JV{6R,iTyr"T (hTbm@`ߝ a~paŵԃ,RH[b6agas(NB˩B#bjۏJ5uiZ(w |z\z&$_>'/]'WNB\r0| HK;Piq8ɬxjz8Q,幂?xh $zhw n!JMy٩ 98e(Mdfl gGxS sI1TKcWPg{bR w0SQQʆN&r#tc[ظd\|xeミ=&jzCaB6Ө_ڗ Bt:}WrqCGOo+4)Dl^'@ )WP ֶ`]*;4u ?Wzh&LA;(V11 oWe5Bߐx%Bx%qf3>G Upy3F3qУ[Q>s+uQu?#.9_鸵(Ɍ&h̉\cdi[!ӝ2J”in3mMNyrH>xDo!|TEʼnT{;7jOH}oDw&E3%U 7 ˡwVgN+t)@e Ԉ#}yawSg[]Pb/۶0.[+ ROO*9g2 W # OU7tR^g3--~aٸם<LNzd$\+>7Dobpz8!5&^$JsN]L&lNxTd? +ssЈ5Jފ<:8S (*jɺw/=! u#DB,I+=RRסh^ X {th)zF%-ǏYR p|εDH/!sz>-w!4H>TBh͌< 6(]|*!ZX-5!}Ibv3ȘY$`?޷AG!E؈< @8<83Ay#`Drx!u7t"Ox~&C!/Ѩ!"{PIʽ.bٕ<q#9" b5\a=]V f?/"|\3{zTM$v;ydd$p*֡F[A2 ƚVK CQJ|pf# /"룯6Vea/inG%*9GP?5B>`̤c^ThS 2ewl# yۦh>1VRD-@gtžU l_[AȿXU?0^?B)od)|F3_@\.O)a-D1 df@9+Q@%1\r42p 866o]/1@z#F]^G{3D*`x4.n)M';.4{H}YTNSed$a?4z&6b۰z6_ŹAoS:Fhc#Re;a `B<@کaNݛ8&Y~:^riIw*+ɏVLfmg;Bu'pۭ2$,s\j3  (|S:f7C\Df:3\]{ҭ??T/jqؕN*#Fɟ [X Z#?3C%]fRD{FD9xgJ$1n(oA d8@bl<2,kq,W +k(a4SbKe{3M џn vz8:ȘW^3V2w'z½ Z,U!ޥZ߉}a3Fa6ҿ &x!ijnqaoJNk+pJI^D^ ʀ<.gDH6s3NREԲ~h!>(2+U9l+5y8ZґU?y~{ v/G(iΛcD]kA&Lg#eٕ0'b+4'Đ/IFGDㇼc";ha6׭ nZwrLG 3KiK YqJҤUs&uξƃp& Ҕ}cX Z[#&OC}c*-[*)]9tt4q yRj3l{- 2=f8e^^ O` ^J:A0AFҟ.!AD=i#$ge*WgS9oZrOm޴zZ6rdGk%?4,qVe~H0JӜV^2I\A&pd'})}pC,zJQ]w3y Q?@Reb>ɚ&ڬ_Ug<'MүCj b/ӳ=V(,D)]bdd[ox&dc(({}xF4F=f#2Y|`!ic#elrs85} 'YI=,vU 3hy7[ BPgc[3!XKmM7<":t\4YLKp;/hZE_n~ -F ʀNlfGբ*%u%{dsjT =*QpWuf pŅ`rȋ&.).CYm FD-fwdHIf)vWu/c !Bw6m4CtAlDk,wn9nSMiN.%pI.bOQd"WZ89Y6#.Cҏ+ô 2)%-W)3@Wi1qZ7jD>S2 |Ld nt:.fF̕ %gq?C@%0.گEͶ$.S;キ?$3T|V(QF炿ISI|K;2a jlj-oO5{9j{fGA>cą<ςFZ9p$3G JExZsjCdl szN0)./\9k8Z|OCs"$!Pri0AQnqX|ͷagRnOr6 )Ql3%͌JՈg{to ÙI9$׾~~ ^ЋIt)h3,WA|8,bbĞ(+p+Ms:k"?t;6W髱@ytgtU2rCm_=^̤8!ӤG'f}6:ǚZAF\NbDz)vƆ= ?-PkcM[$|-/2 tOH5$$>PTA:tP9ՠ05TpH1U$zwC؋1xf e1o 2Z;z~>R`B3dVݸ47A@#h{V4\N^>zA4U\f4D]ȥ\w 鞏Gc<Er|c Wo˅olrĎy=qY(nE9JJb< 6T/F ])k02Q2W,vOs~K`ƈn?@zߓwsrX}[2J=WtvLʹ, '|UWqu5,, 5Mk7.|)T7gījcRjǝ'UqXM!Y-qjZT<-T1ֶAڙJyp_Ѿ{.7$PT>X; t*j;r"| xUk]eFn){s_TW,mAWǐ$^bӰ_ɚ8܍O?vb%DKfj.7('oA " ,mѯ[Cm ^1AEO7?w{7m$޼y&!,4yPSp<O{Tϩ}s"LMNVUy8-n@Aef='d|6 NvҫdƓwڤ''lYiIHIel]I29p!r^MKl$ 7q͉]QMpC=`nZL؉ɵɄSʲ)Hry6[4Sr.*S@"w(W=g b|@>1o<*vÆ^^i)8cP/eBCC97%>6,iPU>QKZ\xtIu09㬖,g6k;e=;OzII0ᰖ-#>vaw1%09 6gzn5N_;tMVՆ!8x͚҇* Tqj.-dP˅ wwHQΞO_x_WK ՏҀZ96br_:@:I W1+/8{39w;Zw 8p$5b"+yJ{O ˚&EGzglYh s",jI: vp<}s2m*o#L͂` J` 6Nxg :Vu|:R&@30 LCjԚn]Oq!nj\S?{%h!黼š"Gw}hjg؇+vo)B跛l)-fzOԩ=>2&SqCAsY"px8"=MBH[`+a%}Q/NX޳oGkȣ+xLJp&mu@x"cͱۤVH?l[@ƸhPnDsH2q9Oi[qpYnJu弢o[,5q$6Y,EƈqKSΞN;Q eK,O#U3"g' )AEc<{2p yQ$!6cME'<0O20V>-HΕ[I`LƀK t͞=YQHUH1 +$,SO^l CWݾ%Y*z! A$7e.)J̯Ml *b(dxT |m`|ɐЧ0A'RCk}_M{ =R=$z -`bh 5 KW-vC k{ r8R€Vq uBwbwԗCS'û*kY.q wA:s;UƬ0l1yF7~o^zzTZ`* SO{ mUT\-b+`vjB z熗DeG,V_ 9kD!cjr[c:.}v 5>o Sr,jQe\Lc`L̓|* (֨ܣ+r &Ʉ)4` Dv Y7ԁ4 .CUs `ͩU3\XLE!'{ ާ6hH߱yGs,ۇ j=UMBJ"Ÿ1JN$o}UB##~.1|!ZUʂ< ({s6ΰ5)-^ u%A2[,R1Znd<7 rbf[}ڢlcTӣ Zy)5 '\mi_Ͱ˝A/qgM!-3yca2bK/o8e{ɯ6N|'!>h?Dd!3 wUЖt78q>)<ϩ.UkQn L > 9^ggXbۯS5qw k4=rFp`(Mj3Dג&2dp1kv^Y./}RdC_c/h2=CEQIy:`7|:$D>Fr~(uGov8^v66ݯH4cYts%0ҋ-8@ufww 4"w0͐~6ɥ>k)ͮLWX-K%2yt,B1,R.~i06s͔TwTbz`Hb7PU+$*N,oUk )̸V4v=_d߅s)NjEf41˷,ZQ|igvrپx'w<~yH~PN唅P]\0ѽ4j43lKn-,ͷS""l%ԆW(u&6WP::x1KCM|%N]KYp0=CƃI#/E|ۘ*j!%б_~cԂ|5>zxl۝j+BQy]*H<5A.#?&C$c8:.\o5HZ t~Eȝ Hp_L[|BG܌Yf2]brP^0\Iks p.Mpӧ*X^R1fQl{_V䑑v9LwUJ'u8*U0ZLϒ@  x)u:VjZQfGJ< EvJ L0K dz9?0vNŮy(j,eʔ=99PcPH"ƪ@{4D >&=୦Ɛe䁥/V^¹ScM/Wв"G0M]Ug`hȤJ4pfK)WQNsD=½ڠH9}W$🜼&OBLyr<4Kk9dG$H;W% |HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Hotel_Exampledocument.tex7zXZִF! ]A-MՋhvG"uIBm5 9NkQa[פs3]5#,H ٔfL<Jvk b0:ƥ - x%P'䮂S*ӢY' 4sryVn›{ j9A6-bʣ̰ C*6qƟ ;Ida٨h!O[;;0})U*vpjInUĩ,K.U (@NVvœ/}âШw*c[gxtvb/&0&1Glٴҡ/幰3'cR5ɦ;D~bvj5L .[+۬ƷRL2j#;]% lHOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_Quickcheckdocument.tex7zXZִF! 1]A-MՋhvG"uIBm5LvfNaUk#NyP8I tv T朦GXv.-'g_DDV{o$()Za,\t eVaseOqwBK-Z;ս4 h(v3ORv6%m9- =k;qw XX&&R6&jsJ |g*M@deA;KҀ=\Ք8տF68͢S@nA=Xf49S1UAi^~+mxAǝį7'r&R3a!DƲӛ',{[.IearcIK;B?ŏb%WRrs9_ނR8",2Iֆ7')$쟍 {k빥;T (x _f1y /*P>~"Ttko?(dS֪ xH gYZ5=jܯ@?3f9r2S[J]3^[f<=JRD28q7bȽatqTۂpqdCՍM%f)cDl}D̙Sƺ?kp=OԯMaI7wcŞ4wnyo&g z{}Fpѯ"SpJ]jTȿ;̈́{IhP HRM3/gR u}inoS-xO귚] !z 'iTi-f^_>#zM"\f/8 V;_nYSH^x2vG_<&]1PMVA)2I%5 @IRLf$5y8Eu< F7H5d#hoI\|9byTئ}JC}gN?z`FXpuvU3ʎǡ.I0UxG㰹.h1#\Ez⾳+#R=tVJ+FFQsǛ,»T5@Y:zS)CB kt$hD2]nGUoS*]*tgwIU:4pH!ܒ1c&w<#עZe2|vbr>ZTݙ )mkq3{` )6XA+@JZ XzMuq,7 1m.HKIMW >%(p ܓŒ[nI(W&|BTc Ͻ2sF04c,ApoW2}FZbc9&\K%lwуCmh`Y=`ץ;kZioxqa2Uu*Y|+v|lbWTQC0GWs%))O*+aC/V,ۅ z`wS~e?<x־RjQMNm&\،^Qf$k-xBvyOGBA-l)R[B&bksdYѢz@u2=gs&z<$ =w3!ZK#Xv5:.pE*F/)΀1JZQ{Qay!~k & 0+b7oTcr 9ׯ8iVW/!j>E֮yBoPP"I:ŲBi-S`Ŋɳy8[EbxeDɻʺ7"=v,;~gJzaDڛ"ـZE/o"TMIӘwDa }4BVѮ@{Թ 2+^QY)߲#@a?=cᄒw Tw/ ?*!C3ssLtQc(@B}RhJtD}|Jw9+Ƶ/2NoL)џ I;AhF{VJ`r7'$/J5s)r9ZCH0X@ q-~蔙 $Rs=.. B 6yYf8/B}s8-,3[Ѳ?#ps9ᄶNF:<&?ZD;F2ׂHh)Nu#yBG-dJStѺ MYу\OBV!́#;iYɅbќ^fſtߘ0-<׬ A G$chV`ޘ`PQEKQg꨹vkE22IVgJ`)]OᮃQJH%A sHU=shER@_%E,if>^"8l&{mg5!@)$fB{1s'Zz u4jvЫ²~ݲr"ngAo789i w*"";2hdVh&;hݛ4Q da,aLɉq`.٩"}TD92ԐTSH8b!Or7F$-U?#*ӡ7yXѲG%8).L5qm2Ȝ bZ; Jf@ᵜ#p`ՊCEc$_xJ9+yfʷ!g2E5ǗUA;**>7C-`r>N i۟F"-YKcP.*t7(ޘבG8}'(RC m0M&hcrd.|W zA0sZ'(,*>LI.f@dLzbO9WA.TĹ>(qClkhڐ^릌oc\Vo@^tv7t@{Bh4*:&'5+W? N@R-hB.vPExgn҇ Uo*``r[9&M&r+ as>#U+cHO^eߣ[RTX@B*sik@Fzq_u$ x۾26]:T!b=~!C1. W4'uEtM!e 7_/SXXO⓬J,GI>33^Z"=§E, Gͱxu'}^U|YNgN:4spL+(OJ m/SݼǏ np>8.h0l"VsM?XNIO8ڠ7wwҥn]w%eU{v"= ?6wٸ ySSsPpuQr/~ƶT31ݘeBA2~ 'JV{3zPPE,+VF!&Jɷ{̽ 2pr>n_%dTŸ[}嶜8|(UV t8d" n]p<=P} bul%\EMy_9ESF,adɾGuXwhKΌ7csCC05~8kAJ7?5;rcI޴!b-9P)& Blyס ,/,aD"c <`DNV j8uIhxI(y ~=ok-PļԪ ̿ Ar":Awx yR_U+QzpOeC`omeTSZ7Lb7{WxGEDvO΋gp`At8d|δ\Z|5t4oIk音kҘM8'Peq^[UESdbrTއ=ENctr#N?۵ʦU E6l+h֨jӫbiaLk@boH)2K~ATJ21樒K3"Ԝ~ih)!D\ A:M“W)j( BGRj]4WfUX мךNͺ*50ߥ܏gWvBT h㵓ije?FtVO,;(hŽG+5׃:}HˍCiΫPuN)$È%f*igK­SڿU&طR|r'U\zmL鉺,xְ?Yyng,nO:]U0qÉe֣>]nzA+?rZgKC;m|i.6'sCխUέ>7{d5WM|g# Z&UkEapwDrNJa|µK_ΑӮ?Ax盼iaMJc*8+~ a@ re;?#[a騹 _p=zVYgFa<@*9k\ȜmkFsCsZr{iSXvh[*L~4ͪel3 `"txeH#6}ؒ_&u/P+(@q~cDl BRG|G dv j5'ʴ /&熭iTw`2nZ)g7,,2 iK ^ R`¥iQP>j:KU_CQ;{͹V Z-w⿈p|ր*)^G>f7639C0q|_[h>ߩ]F̊QG3qZЛ OCU=J8 sp1TzcEyFB m8Ce?ҫClVJ/ ҔlEys{x <8C2i R,m'PYoA4ZATV&J1ks[m"kDgPuw#JO6 m174r6 *0dN8; *BA#8r(@ DZdgC`[o:R]}e^WJh%B+ǂXq ̟857RQS' ;h F Ì:MIDW;o^2\Id7r{ۈ( =EE)ef(+"}3ywUM#Qԓo:86sF |<O2A˼,!|*r[hbCy5}wRdn 6_T5WQ9Nܡ)83EZNd;){œS,aWנwȣq\z.bCJյ,jT-g#R;~Ι,[pS+CB].Y O%vj=N"z7>|[Ad 4:٠I}\d?dM}) K+Hg&E3RH}&6;!g\UO(@O@.E [Cv[k=ža<_HDp B?Bх+H2 P"tȦN H ,JZ2]Jf^;%lbBL`{{wR;)Ψyh 0xF쇞"v ,;w(~9cqEhHgBFL-@ zkEY}H lqxh yCCi oD ao: im>ߦ/K \(_1C7rZ.Fon#GBY%E [(%Bfl?o^Q;뿂,lcN;kx 'nQgdz?"Y š`d?cdߒ6;/m"~P5* 6MaF|؅R bV`]ȹ^pV8wC.{n* aMGEh\ر.=cёӀ#n>Q2›%jmYJ `'ox&O`}4 ."BSUBIAЕHWlDJV=iA&YS%4AjaO*{"c@pI!|IrLP 6$˄Sq4fjkjZX,&װ$KQXK\]J_ͶJf`Lfc]yܤX0sc]L~r2 Lhh{0 Z{2#ri2 xH Oq2Owvt5yQ :LBAN?鈀ns>,pMį6n2gYZ'@m4 ˬ>x̘j5nΠr΂@0 ~'o&"F ȠnnoBsGGml+7 N;H|u<&Q(kV=CTEEQ96{vd n2IV9{3oWSm"3@TU8yLxTya#0۶O N ]n8 BB_xPzSRlfkz|}K[CN5B+-;)Qm J |?q?17d|(4zJE@cv!CY3_e2{u @x[9K7G)*]POj#~(4Ecmq46W-hFؼ!ObSoBI׊(H4EdWN넺ZjAH*Dj7KOo=ۑE)e>aqlFFS^&Ys"0.mX [%^c-6`2V|69FV9ue};{]!*2ڛ3Y>-Iq@htky :%bb7Od?4ZfW Y2˦j &*o>JzEYbاcM  isf UJ_qk vYP̏6D0%{'-O9oT)Fnǩfo 'ؕ0o S)2&M_^ͽQ{b;D%Uf"V,-M+?HXwk 1fhBsr"JmN+_Sޖk@$]P *4 @dgYZ7zXZִF! *]ŗXi%D3Z+n]P@j?i@epplw/ld3H|bay3/Jg_K򇆽'a yVX6EBHt8A0 _3PD/ [%2mtXI}pxclc~>e LyRzvR Gu@?[?76+q?jBZˍ;S >'u.//UNc+8{îᕵ7{P{W:y#K~jA!9{+(ˋH&e.,)y閞M#"/폇uh2Z@x1 V_ESYr 4UW|8X77ֳ+v g^\F9'3 ¯ = ud6tKgii敎co>ed=/G%}Czf[Vxm 0-#L p*W#4%L'g[~ u݂hap$t XF˚F^ϕ/G_kCܔ|esig:U%_,=+Mι9Q;S <_ߎ[.@-fޜ5&.ݼPSb$#$LNŎkjɀlw`u'6иm!jبS'4oKxQvQ8#5`G K $3js]V"U~AC8) Q]RMh)Sb+>ym*`1=餏k'^̘s;T s"2 rgs+|ZBpe"gd3"WsRD#БpUA!B\΅C ,D`s΍:⼙e"/f :SXt:ZH"1oA'%$t}ѹ*BU,rߎ7GQ|`|!ݹxhlmYRtf_T# 9EH-7.0hD e3sc$f]#}9r!ClaPH;#hc]eiv7=<0f6@7O:_6Vd;z^[pyܛf$06Sh ]@KZ;0F0fǻ/,Py{21zQ)  -ʭN(>ILA1k{-Rr92;J BT4~@g#W7ՏomC?pe[Se '=Ar:j3~?4ًݨl%%^OR'K[Q6֟2; 0nl 'wL_ 8и)3—_p kn+XxG ;Lq!(<+1/m! as*~Fm5طQCȭɊ?QGHJ< M}$7CբA=d-S}:̓/sX2tSww tȮrP6?_B~[voTq3\Sȉ*u$S[F|L"vD?u_iS2LďlE?kRfV_^y7?u2YZMBXuG6 ?SG'@̭ x8. ,< 4 >=?4{g}l^ h\GCۭP|vl4(tsHfeng\献Spvpo.Ţؘԡa,ӳIN,,s teVD^}x8anLm\HYe &1W=p DN(>1Ǎ/&fMm Ef67,f|iH"Mj2˦=5Ǝ6~[e'vk>}hVKx"[ J, ҚueҤbG/qCԶ$#Lq#ޱqoJ /!eTv Iʝ V)>[l_6Ws:dHV8k$  C[LQ aJe" S]/GDtg|^8@-bm!Y l]%@솊pMqVgGvptC$jzQ| 5eN}Xn~fG?[^H`guv!'E]-m~ɦf0.?|h(=:)#"W;F7J@/Nu_A@O|8/5"D {*zyJO PuE27 otVa2oep2' t^T3<8h wBU6W`kJNDL/YYA%3.a:ft]_W0EFNrVrӜ i(:Bњb(}Dt4)NI´b=c(>%'%:.#5ؽfa>`w311f Fn]7 ܾ$V-^RʯyҢ]/xB4cVV۴MsFLn2yz[^t2c2D~kAA!P*ի.\c#'|5Dμž;* *ECMJ|0)FY;>SͅX^;x߇Q‚!uė/SLw N uجj" <!TʀV;f8Jq6fԌ*;%U_8ՋD46<}|&Vd^iH]}b$m`FI{=jDWYDMt7i@]60[4m!Q{Qi hث:7L/識Hv{gӌ7 @O7e vFʣH qz~EDGNĽ }+S:.!qº7r/'pZ(kҢ8蚓Fs1 XDSK?\NW>ŦfQ4O@bUO4>j,X+ొv>{a(\ϖFT(%Luu*gU$R:S4rPCI:eY<~ޔ}jggf,xMI)_lV4Ch O߬_[!pH0}Wѻʸ2}O/%P#[ {"33(x'=jzn70#Z7-~ԡ06K)dPq[Vb46D[(@fq#XJASC% ANyNv*[ ͠gKO;-:~mkc vz3Ck şȟbMfo\Rv_<$ͨ@L@2Z%C '-%-r16׵GZR&id&[B~ F^) 8oO62w"KŵsornnxOG7d8+$L\mN}9oM,qx"y4hL+H2<̜_2bC ˯>']ΒgERyG3!(FMuٕvuF;&)ξiH˗eppjl :>,p2 JPұr!G${ȥ }FڡoC/O#[PEvU᪂knrbVԌfoDs_aRل DKH` "u//  ؄򝥬]" ;_7rZu]IpW3A^.Ü|:2P*&rGZЕԌ 1\Kꯖ6f8 ׌d_tk<^m"m; &Qh^5CqF\ĸGwXG^ ) H: Be瑄Ӷz)X)tGq' 18 HTY?fC ]ҟF+ڭ2ɒ|Zl©#S++ưxnCh/N1X_Xiv9U DohB#NT3Q4H:cACF(c#!O8 v@6cul~7*;~> h4 28u#E ųo, LupH%~*dZ?Kވ=H!k^@XqT\OTx݃dZ3Ďbx|BiH% pZ(LCdPxQ.m4Ǻ"xa`Y~d) $3,8D":l Oj8cD"hgޘ*2P),5J!ul7 V1h͇y5(SFH1%IF5:^ޞxA7$n`L&(a0Č5_Y" dUAS@u爥sIŀ4+3lG/Ur3K(F6?%sj+PնLAv#@It<̉':pjl^gv?b;YfQO|) f'#Q=jydJ:f!a IGs 4r{υMyK۩YZ@;-G-_yb &ZDs+-IՌTfqae[l.VĜ 6gK6ҍ<ԿL&hSEhH&A&>n.`̈́wA}?|fz;ErvZE\(d~כyT# /e;8v]tj̲TDˣ|,EK&LZU~J|nKChtj-'Z@%PuɃ.p ' jnx̳\u4CK0[p ؘ,D7顁C ȑjM&,Nw 󦑩ܔLҴƆr7m:}|t#= G|Q=?.z`G9ܢ9f|jղ 8@3?"\x0`uo)YS_%'Q[cnܓ3 %%o]BZANyl$F;CHk!nz%!.SOk| }rԀ`ӭ-:n'އh"tpt{д;(w "X9 eӴDo:U6YBVЫAle<`b{Z."Œ>D.Hqa:Qb+=Ȫ)in^ӟ&LWD5M>{}!`٤d/#*{2Ut3;ʙEG.aXSۄ$Hk߭PcģjN)ݫ;QfOt'mld?~y.!o~tRTA,F':(/:d\:/83|;I-@#Y1BC2Yy`dd+ ܮ1:VL]E;x5-lxɃ5 U;GseX)QO-)MSJA5IyA;<gA \?%Pjڐ-+n1wގ+jkͯ52SaY`r$Nf'N^;j] F?&E%|MUnC ^c$Ca"ue,/C~P"{1j=vtwa;~Ө8^WS VrCtG͑"⠽~&$ rـFK?QɄިakOmaך6gVh!-FEdުfb2P7ս,37֊$WG6J jI>dIg/9OSe!P +: [v"@~L":3 Xs:r?4qIQ {ԇ<~մa3=*cLݠ;$Q۷G^w)R@لھބkEJ 4==.Q0pEE-GW풕OpLDAЬl,rpy۲Ƣaq[T'6z 5K絹قb~#@vUFQ9xF뮊Uy>LNJQ0,dÀJE;>o&AUKC?fN+b6р@\1p}q\o՟O䰻6dPH-vq\%hQm!zNcwB5[ -t紗\,EbUǽp-rޣʪQڦa5T(.v޹qrce> ƚ)4x)*f嵄L;n>Ŝozj3(N?x`]<- i2T hP0< bUzIgvL_d^)^ވ`m֑`[ "!e ee3"eAhS ؕ ]y.HuXYmȸs&#טJo*6E9r/KMrJ{ʱOO'4b3LmQzd+̌TwABYsWUY0. ʏH~Ih] 4\#-b^FJrfK쬧A6yn&uG̀b)~j#*Sjڃ?Zs} 4{hY 8_h?V6*3vk%˙:&}ߪ+DUaנ6bRTti:P.Q_J+[7Lo,*OLV ^A1gNMc4=(?'CXcj+=YLNl:uYiTjB-BͻޭF̥UQ)z#qfٻׯZ89Lgwo>)ʖb9ۆyOF k޽Hq=#w!#h֫U/2 NaBpUZAG7; mMKIaT.$u_%L؊$oN9hoHH<]VCA >PVL_dDžM4 |BZi]q]Uˎ7k\A Kvpx7L,U*%sU9i,)o1fu.vBN?Rn-MEH#36#bͽUh:<@K%Z :6)9N0.7lb'HF,5k8xmRn1{cД$f %9%՗0?|.$>[]fN`qW~k.,W; y29(O}sJfQ\n#/cど#jIJ4uexq C T_7[:la Czxnzx /h й蚼zAe2͉~} $y墆axZ wQ(*`Joq+V%y(3_XPb/n>9!uA/쏐Baz :]=HI1 &ؼXDnh2HC192#ZUs F3*:රt=0@,{&,&`~_g4ϣTܲ-_.B4Da~|`肛$:,ͤ<>в+i}.)Gz/|ŔP$tnohR%keyhhayMA%DEtѵ]ar Ƞ)[)exIL_)@\E8 ]:qB) tɩ/(F/msU~aD9F'(1;YpӰ"Ee=y{e5k:>vh0u_a渎$T4,F5h}ُ*/ңDRyed:.h_ ('B.}YCA0\?IH3 nzU!~v? ڡun`Odjdz~290!ӪB, "fad[ i/Bx^vLuT#Ga!PL^/;uzgiWd{3u}5^hDuQtc=_SQN2&Eu#Z^#ǖisz(8˪ ~ p?]HPg;j|Z5ח%)AK'i t0xm~>Ӓ`䂡7VƫW~i#/v4ʲ9~txJYWWjtRدWy" o܌A!rJjLH]{ {$.g9vɒ́e/.*_NQWUPgGdU7CBHi`6HCߥB@ʧepL<\C?%lONU j$|ignQsh&.H^-zfDȼX$2)NL ٝ #*6MA+wW23cN"ndI`Ꟶ[8s*)G5vΚ\H]*8JUw5WO6jCwLŜ˒w'i0FWe۾F3>!D9)nV#1*\E\R] |AM~7uU OgYZcccbd27c646610ef150c21480af4b48503187d2dc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6