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  `;zDD, ]/ HOL-Quickcheck_Examples:threads=4elapsed=126.732cpu=243.420gc=10.7327zXZִF! ~ ]ŗXiɟW;g``ϐF9~Q'K'exmf,iSӉsV=P}D z5yb@^aJie2OYr@P$ O!=*r6mt,4p'o_.+#˪v>. @^)ɏBޔa<e!BH\);o` γh xv}aY#EMZb=)_Jk?McYa_;yQ^L A}.R}o0_)[aFg$z}`zf;'Mh@\(Erbo5wPE #EPT) DJ@TfqU1Q`+w,(S0}"ը[ht>z|hȚd=gLaDjd7* &+u};ObP::`4 n%?n볤1r{.TK2.|t,X x<"Jmɾ3S&ESAxj¥(\A-\XFs_ܪ*SyЂBbBX,^[P풳`Apv,ޙM'K#x bq7=Z=Q|[AWB0Q3RE#Vq6ĉ"pOQfʩ*$m'}]֎%d!sVD=SdE)IN0剶]Eꖇ$q7Zy5H~_.2ZIc(ffޗ3;;OBv2 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 q;/% 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 =Jk  P*-O+1 sFFQvM-5e?q=j@'M5}?AAMO j8AI(Kiec#8ö;k``F w_~-ܢ`ZsVzU_cP23=ejL硅ܟiܻOFle,&^y3Y;ډS#Avjh/s b*0ud2Y?g!#3f;y]C #&12K G֎(>&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 ! ;/% THOL-Quickcheck_ExamplesHOL-Library.AListdocument.tex7zXZִF! n*]A-MՋhvG"uIBm5nz%ZŅ i]@QX˄%V @sTanPJ8k*/q.gt(f|#R]VBN8 K!:>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?UFÈ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\! (UgYZ~;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 R R3 ;=% lHOL-Quickcheck_ExamplesHOL-Library.Cancellationdocument.tex7zXZִF! O/]A-MՋhvG"uIBm5 Q((2B}77_^(ix6kضHү>`ٰS J:>pv݉$]}٦;Dt4yBW(5y3ps !%8=\7')bgzFd=i޷|`'2pl)gUрH=iP0H4N,z'LZ(tp9A ; fZJ&%[)r* Oc$Xiy<%&sC1 ]fsC'tۻpޫvGr+gG3WQ*w斈|D03F@[Z)Z- wFț<(ƞ%̑6fm.꧛(3 mČ: {&uTxߨO%խ)r&"kw칰!!Xk~@&9G]w-HW:.~r qNw^[%kʻMkqa4H)U0OvStkم"Y w@M%ЗGǰ;/̞­=;aFnKeTcx]?mN.]J[)o@., 'V%eֱZg ]&jU%x/tt8?^D3 "c#P~BuU%/x#Kwv6zp.=/]4stYgs,ڧlޑ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*[бgYZu ;a% LHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nestingdocument.tex7zXZִF! `]A-MՋhvG"uIBm5e!T(]_nj8Th8T%O-#.dGd3E[ <{P]`%d=|LQ=0$o~N-\0b{j|Q| #dP  :5e KIkҜ$+zn {G{e7hV',+Er aƤ,UȊYM8+^ڋtǛ(ߴD'>;NCӻu.TR:v@}ޖj_^oF]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~Mþ\ ~vd O)>#msE7A똳-tXoH[R^95[ؘJ2Tp9LQ򏺩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]'eN 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(Nn`C]](.]"9hSUſS>3~3#%ȯ_8Ky׀,B|9;`6=z 4N6z"KtACqr{I0ɜˣtJ`m&΍e59i=osŘ=/g>[ca4Tw%NhޏeU|""R~A3 S`,װ~Qvg,v;/^_cxQ~xGAd}H1n'#[MHm*X9FëB^`6q(90aR2X[XʫgdPl$̋ g TYKt@JE+W q*:,D1a#g5% %j[2UŨh% .:Y}tC,(7K TjBEOdCl$zx8ܷ?=lK(P$^5Tmjj hxE뻦*5BƂS7\&FٸX:>'ۭЃ5T9FWɣg-$kꬵ%@6/(G5vץ-\;Mܿk_#?q`O'$~pDx(GDH%0lPBd6.q}@͕Ē'} m*~.dDnlb2UI3joA3ٖ.,>(VKr#Ko|4pGZ²v;IǼI2Ohϼ݋:Rq]!8:+ 뱊@Q@K$` js.'da&0 |MCz9A?᷅_7K&lûԙVg}/. xkM:F&gYZ7zXZִF! %]ŗXiɟ1˦r+ bVj mGIm~@]DT"WkyT,vR|hC|&tV yQhM:^p$r"X(;A99Ao}Sr}T aWǫQ$!5W$BqBu,3]¥Hm5v5PGo оW / W>Nq.Z~fiϰ2٣#SNA<z_D)Ҋ).J pxV s[8r{6Hj&צ%sT(yMc99xC 9郛*I겙?kK\n;|xT-`u~\'\Bw,@+{MkS%h =MһYO“)21>Q_cp^6^dԩbxh+؃^W@x ?0jB_LES]񢸎4kmbj|a_–C+GlJ=dq w; ZߏKK39yg[f}N.!ܻ"۾uo`.E 4J pmvi  7¦3^`Al<片#W5.8?6"&"~ (ch6:*e=IU " #l%Gd|4pֻkV#a]~D-˗*1 H|iWIWz Awn؝E:/089ۯJ[h0zee~o7o5TC]]ṮP @)|oFNr'@_^]V4D ^C[lq,4CZ:qP1T-36 WM\#| *jn#.),1uӄnFX5|ZY  Xq2M4QZ#4P.U͂%oSvei|$WV|g~$5M]|S8z͍u<9gj&)y]X`K!t.<K6ZH ?6m`ICZgBeߍrܥ{ؗWn瓊OׂgďXa3Uy_\e΄%ÕdQH=wvm$v%Wp%gJ;oD%4ZĴzZ`Gx .Tr̖|FUw"Ts[ł8ĵBrqo [D ,2~p))$vN8B)ӑ?2ɒǹjj%k9D\V7\>nf o}ʫBgȿ _)z*<F2M{8:-A\I#S: CB*Yp#n_Lp #_Y?ٙrA2mAfHzbB&ukBZ.s;W~N_@|侘ZZ  =uMe3 ?;uzpDqC6>IfԼL5vCw{^/j(#BE`kjk(gӍ+Vs{YS!qV,"_AbжyupZ-l-Z o^##Ynha_u/4 ]aZn,9{w$HRGq뛾[B 76*x ޴ je􈱓%1Z kzS^e:'v>]"gi/L^}NNS> \jhQۊN3<3.g6%uٟ5%3b%eZv`i^_!-ӒTQǁ|./B;035K$zWJ 20NRcl88I\$Aai"KؽpWMϪg[-N߀Z]p(+☸b:Y=\,Gnu)ʊ׋Jv1<5TϤ ^4GH' PGD;c.PVyo;l/Ye5~ܧ%589FG(YN߱(:l` )os<6 ڦ93Q˓#]ciR.Q%i/Lg1# ĵ݇\Nu3|0Uh\|kN`4`CW T8,q:d` !d2iz|y ?Y}uw":%*NP;{Qx, SVͷ!MG:1gvS_,I&'8Sd1 z'"X3,զ&ʨ8a Fm'06n=!5%儾-uQ۪Mv%w!w,*&-N|Y$Ψi)eO,ݽH^r2ap\0 ^O=cwZ-EHHOSP:X$`,I/Zblwνz5RUQO\<o# ءi ֱ]Qr=";fFSԐzY[ %x'?}**0ԁ1u?d0 d)_yi2`oB15`C•zD'ݑIS'?5/6kQ&ߔ0i]yj0ቾmϪJq<_К]*@iWYk'l::d,v 2@ٗmpW@rlwy=*zͻ^ZDr&FcV5 S, 4&̾DϢwLHQJJ JiD;[D7qF;Wxe(uyll8i/{TaD.=|ߊH_җdi5}i9LpKbٹl1j/2CaQ+7:Fpu'p. I/C85MhK %QCk,MZ2b4wfh]i>^-#Ws `lB@ggoF?Ex]Dױ\mreս9 Q:[v4Kz/~e{lRep#A)XO~?6XBN1}ƴJ;[1<|+3fv Y{̞V[L%.ɨAx _s4 0upr%0`yCjY_B ?d@ wpvj6@8UHFs$TI/ oԭ|s,4p6.u3R"q cJ!Th%d7'C_20}{8I!ظtY)Dڔ-LyK2c̓58Yf*2 ajὍIҝu:;~V =+MHfzLQ)=?Gwԛiu%B}=MsEJ-hpHm&e۸2^ RPIKY86Щ'~cPlàq |iXnTb_ jxr'z8ޠK}S:,D (?["`\`7 ?2E=W-w١ϫ9 M̸͸!h;a7S`q*3vbpp,ywO+qы9J;}zpts_uXܴ|JjvGGzmK05MH4-kNmJyN1*z}Q/VWu:hBkw^||/]߷NXݫWP̊3$s\M@ %IS 'G~4#6S*(shH"kFKy)m۳. P@ qt*$=ڼ[!8 3O6G:sxlgKfVC]sǘQOC(le tZl2#7=w&uv o+8lԝC?A[Q~۝ Y8KhĺxV`Z$bBdCzÈ&2\vb+rb6} 򘞧uּqrp9z.lcyスG &?V0"Y)7#gtbsgny NRz#cאG$}SnS"}Ũl#oNAS ^BZ\%y^{$ғ-N҈#&=Qw1 =0bKՏ`:aѰ C5u"ED_q49qY&Yu3)–Ð7c{+~4܈B/q}>VNVvQg:T2* `L5udp /Z6{y RDz4__%|+|-'ޝb4̯D˶RJ iz\v,Ø|m0Lc$iYGKgKv@&?`VY 5G ͍{$&9?>l< /t2:.si{ LT-] k,a_Й&Cʺw̐{=y3lE8ye4+WfudŠfyD_׮tnœ'iʮwkDX}?OO "(cQ Շ-I@@d:!{ `!e|82WDu#s!EʵRyzRA<. ٩[G|x}r̓ev6{b/AJzD͝g6lNF!rr_d$EI 6(p.tB=vxXbНa'v/7wͩʳBP[d]!~9MߑLܫ^SXK*&팓WyHMH`go4"!*믟6 Lm HBa4gi.2+Uyi>}d0MT5͡UxCrXh,zS;2 XHdډQYp)=;qvkff띷"w O*xxdEe$w$'dFDqbiZ~^oj> z˗l>쵴j s+mYе{٪ElV!3BM #( j+o1!޳v *^&;v? n|N#O>׶juF(HQ姄-v-(4H8L BBd߹V脎޴5כ-EuXEHބ}!Uߵhz-%gy,yTX$x!缸d=@5ɯz+=X` vSxF]uQ\5bsC]GJ1IlOaՠ`+6y+̑ul|%L=KWoa搚VI $[HH_@ 0+I [J}l1vםƅMPT_`* E/hS 67.q񣁃Ds7+QayjRAs/$-->2M$xXVxYџν=t^O뭭dm,N8E{,b̋ܯF:Um(mJ4Y dw8]eKX OA|T[tvksۿI7MH"zKolIi"HZ@zO ,Kn8D+r2d cƴ * !irJ< aD@~6I߅"Ԃ\rW@1/կ)<15&2mo2}旃hvC_P )szcH!}f*WsKϫ(=DN犮,տbŌxK΂&|ޡvkTxǰY7/ێLad2_X=[@Qܨ1Y7Twd_dA- _Ś _d+.^SUG&,b~H5(etn?:+i>G<4B$#n px- H|8Att D4efg:qҰCvn rkhXЊ0|~a[4=DHлa$C&idVPXqkC77@%8)hvRF^64mjt /zFIp>,W4sWK$Mf֝5akACrW=*γ$'a$:B/qar0rC뀘h q6OH֑s/[$/[7&YL5~7Ppg82NhOԋ;;h7vM]7Lkd w W;/;!W0˺/e'rםqUg1Wdjx:d৯//0Uܞ]Orq|?"Q<ǕGPٝ~s7#!#ę\]9e1#${Ƙ4V nK!21F(!̢<~Jd7/hL96Hw2#fGla*N,{tގF˻}]k3vy{t%'0bUcJ`W3?= 0Ў~pF*0#EHJCr ‚({BYwƏ't.Xj,l(͓ZWN 5pcΗ}t%! "@g}]R2C6"n j- >C7g݃9(d03 EQS}˲ak# 8s&0 jEwJ[`"' ^!KcNS{A2iy>I͜> #& 9ܮ*xHTBgn|+ U4tK>y5&@6*+ nk Hа;롫f9yw~]ߎZau((xn3!04+bgwb[1맒 YRVsv)X0"w+t%h EZ>v&>1m[ir?(Q-B}7cĘlڗ+vP<)΢,:\0TPf\ڪ{G+t̸L߷jGran=^^3?hYmLL&4AA}\lYJn5esE W;m._?&..?~DWhi;HTEJeE+ɻ\fӌ5T *@ Ny_^Fh)g]rF//xޝ4ٯ TO ϓiK ϧt.BrkZf7C4G(مla.4 R-۱[QT_ -A}X$cnJ0)3q Sjv]L9,.Q W±gYZ4e00b5e8fe487a714f6c05733d5467086f1028bf96398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49