SQLite format 3@ U.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 ,,Q7tl|D ]% HOL-Quotient_Examples:threads=6elapsed=25.619cpu=40.445gc=1.9487zXZִF! im]ŗXiɟO}M:; Atl)H92$|ʍRr? ֧$7E1R (ˍ!HƼ'gk=. ;2uPPa h@Y! \ (}3:s;ʥ͡^;$KD5R  V'o Ti6;)g]+ `c:!@(o~K8Qꅛ+.q) `}qߩ7.Yv kNԎ.JhOhS OɛI(N}ԭ~ZX#+hSnEG@qA~KxXd֖Ֆ@bT qwg 7,͙Xt1pP"a}s%O}CS&;`KW%>OEBuθʻcncӳfw˘ic(ٞR+x1\ k~{{ 3̪%@y_2ʽL:%#zCsbI+<ɒXG1XIp7GOd40}kP+Waxd״s*|gYZ7zXZִF! ]ŗXiɟ1TgsC2MpRP W?]LZsgOR4FEq2ςo<6?֗2_'Y(7@a*A1d΁ڞr$!oxS!ocMwJ!*R$+'!\f\*BEQ̏ [a >G!Aqگt@yFfoo(gYZ7zXZִF! Y]ŗXi%<ݰQMy#}z ?\,EJ=?ͱ<[ 3Tu $f nB,ײكm_y#g^= }&ϒ͟pt!W]UK)>9cG!K\שgZ}7qIq8`uttgz` 0Rgr*{j삇|kHL\xge_8.C(c-ز HT;,5tȁ3<+gO{0pX]iY%! vF8;GMЗD 9Lo@kx^ P;O"ȑ?_wIkfbmVu'-\{"T dZZYr`ſtt;6Oz;őed-k'Z b/h:kH$;%<@R:{NM8??BFnOWj(R?_<4 5x8l0CԆɀ5tG8a5 +v\ԻDd*! &,΃u%!3]xXC_x8՞LImݛM|:("!Q=~8$vOxޓZ|jzJvOgR!:ecS 5| vP//^-!KpA'H"V]#%l8*}~tYU-}iF]w>ͤj>:R;{­L3k{m.ICg[z0:Zf8Z.ђ_}q8Y"_m~ OEcfKUyj @BO6AS6}x›G<3/UK:$qfI7"^pVAL깬{_a!||[\U1989 yбS`)e84j(;I& 8.wȺ`감+ x?r7x/*aEEˀM 'D3-5D+LA'40.U 3 J^%߆oOPH4yȌ¹3u}B{[?7dɹ|W:nqȂB@݁";y !bDMP< o=X=DңO}u}FUZXA0=seW::Iit@dE9Ra{m #󨜺|nK Dgj6G NtEG`feeRג mq\)H 1Jw$w4uX?peu&uiIfL9Zc\(eBF'՟-~։H-KFz~;"}jw cH.V pvKڕ @_pK">{{,=ڄNj~C=]6$\^MDYatZvVv+G]YuGKHe ?ZgM⦵^c܏M750,T`UHK̚n: ҼMAʶBs-oi'D0@k*Q&zGV#L]42K,-GUHilU뗸,jHכxȪT=kX&uU 7Fq`=w/7N juf?gYZf6a5597149891742a52b3c9a844a25c1d9692a8c47e3a0c9c4e00d2e90772688cd89601e0e76e6c5 4089360610a005ee2f39c6e19f04260ef80d19a0 bee3a52192932400ac1f5e6de3ae2fbf79ab61dd 193861a3c439151aa82e352b18edb9494c31748e b5a39b44aeb4a7bcbd83d830bfc96787629d462d 7 HOL-Quotient_ExamplesU^7I# kyeF9-6=X/~B~-5FO ʼn/naO7؄)dP *Io4 DR"ż^'<5793.B*F jWN|_R|YBW0ȵ@F+J[9egYZ7K% HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.ML7zXZִF! ]]9 ! kH ~6ң~& 4E~A3I3?BXCi,ncP)~_ֽ/`gO)cv7[ dC\\[m_- $NEtWl𶎥Ű5^`~C'x$L&TF^ k/e:OSpwsRꙜwo\aN.b 6y#KK5֣\"S 4Hp-+-n"}[mXMJ{Ώ=8&ɯ.~]p@мpKk 8gDT2D6x@WiEuP3pW>ul٫ɔ^Օtu(S"VsDNQ amE60}׸wBD(tki5a fK5/ JU t}KJ^MM{%UFeߖAA9s7.`ė*ie6/:jV9R;bd +{gYZ7M' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListcode/dlist.ML7zXZִF! Fx]9 ! kHCKt TLh0qWoeqsŴ47! Vq-TiTՍLSl[*~Ax*M}~w8H}x:@L,CEAcÐeؠx]G>m/Xݪ,7Ȣbo:lTC|@piY>j37t٠^rGmSEËheI3`k={y-?kyD z 2*}eze:5Dz؜#~nT1pUE7{}!i-mW}^~?$[/FKK 9G 8Gn0_HNzGoX{ +歖i+r-\٤DݐAhqߌ%:ؠΠ\=-OOSԼ|C:l^':8uWhMD^+`W\@%?fAIn̰H3HMThgk8ApQ <[[5ozٟk};;qfi'6VS% -7뀜w,6 ^8[}`' w>ݙ6_ʆSL 8S VbWCv'F[ہ(B,MYMpE HsߜLgJUL_<tJCe}<>Yev¸9T9\$4[6DJZ=}#mDo[C;vˇ)ݍ*Ĵ9sH6ovf ʈq)R9O5N1L0K-A,>(=$kyeF9-6=X/~B~-5FO ʼn/naO7؄)dP *Io4 DR"ż^'<5793.B*F jWN|_R|YBW0ȵ@F+J[9egYZ7K% HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.ML7zXZִF! ]]9 ! kH ~6ң~& 4E~A3I3?BXCi,ncP)~_ֽ/`gO)cv7[ dC\\[m_- $NEtWl𶎥Ű5^`~C'x$L&TF^ k/e:OSpwsRꙜwo\aN.b 6y#KK5֣\"S 4Hp-+-n"}[mXMJ{Ώ=8&ɯ.~]p@мpKk 8gDT2D6x@WiEuP3pW>ul٫ɔ^Օtu(S"VsDNQ amE60}׸wBD(tki5a fK5/ JU t}KJ^MM{%UFeߖAA9s7.`ė*ie6/:jV9R;bd +{gYZ7M' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListcode/dlist.ML7zXZִF! Fx]9 ! kHCKt TLh0qWoeqsŴ47! Vq-TiTՍLSl[*~Ax*M}~w8H}x:@L,CEAcÐeؠx]G>m/Xݪ,7Ȣbo:lTC|@piY>j37t٠^rGmSEËheI3`k={y-?kyD z 2*}eze:5Dz؜#~nT1pUE7{}!i-mW}^~?$[/FKK 9G 8Gn0_HNzGoX{ +歖i+r-\٤DݐAhqߌ%:ؠΠ\=-OOSԼ|C:l^':8uWhMD^+`W\@%?fAIn̰H3HMThgk8ApQ <[[5ozٟk};;qfi'6VS% -7뀜w,6 ^8[}`' w>ݙ6_ʆSL 8S VbWCv'F[ہ(B,MYMpE HsߜLgJUL_<tJCe}<>Yev¸9T9\$4[6DJZ=}#mDo[C;vˇ)ݍ*Ĵ9sH6ovf ʈq)w^=T;qkc@#=X sŊcGyyzr6^![4؊Ykv1Z gScQ#/>N2-tF gYZ ~~7M) tHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/latex7zXZִF! ৣ ]N}T':=Q߲mZwb3Kzd:ř p+u (ѧ;g#LAu0Kt `60e.[';PH>@a2_਒ՠڇ۱ǹfL~F-ŸxaV.{P1}ǵˍ}Po;ڂotyM-VC-`(ȯ/`GV@5'|mYpFSySR~,ܜ~!K1ȿ]YwՃ$ڡa5pFSj1!̈́M+e_Fn6-X{Kw#=C%J EL]ş5NMsuE1c|L1B"م;H_Mt'6ªI_mG [@'wqk}ǬD~KKO7bMz $5t{Gb;ku;wpgi zbB=DI gE<2[,j4I #k;5)Dh|k8'WAf/g&wŀ]p -,0$fP WL|W_cnxk3s:7>@ QDZ[n9AlIAz> 8ÊEAaEW(wW< :dvfG/:g:@u[ (ht*0tU~fwZ| RF6oTYLMZ 389Wa@ %a85$ՅL?)ПG\=5G7HrE]:g4TIuåB2}A:Dc}=a.lWVSzz~:75`F[u1-?]D@)FX`i)~4ْIڼ/謃i[vcXTY˛Oe֧:%Do6H2.譒oyg`:O'Wwh!4wJa_}!0`y7- Y]itre`m$cx`R52xy ap0(zϳNɏ$.u _-ߩgYZ HiNzڻ&dbaFԊî6?#-n)Ds1wVpjР48M8p?G4<+7eDs'KP7_r;Z|4U ,J^pVh hnD)YǃyRjX=^psZԳ鼻=lȰ=a1NW>$uvfUR?P\0.YL.vwE?mG,g{8qZr5֓ϸ)Vn9,`ނ,{ fYCtb4Y3#t*[P{ xo0/EE^ūC}3LYm<-L2+; 8Fxّf^R!JUƨ fy9+#u?C71rCR {';aHwa`կԸs+($)d!)¨N8E-gƖ 5ЊMƼ|/% |f pN0+Y3=DÚ,8&t`S‡8UsI)뒟WirwJܪ|LODހnzbN3оl& G7;ߧ=;YJgnc)RF:yH޾Lgzm=¾+z xHfhߨ}MR}*Wfp>k@+ 9} i"VՓe+: Wj4QmcxC3V瓫Q7)7}61uk)v)>?3ז>F#XH |]ÌŌOc G?1)RIwDqn1q6bVSJ{-T1&j=LWA{Fu[oOHP}v5>ss(>q[~Qn)O|9W6*g.NhQy#w~dG6x/ lmEhI?ik-L0nM,7{fCb?ҁ.7!\$^ϙdfA CHܡ ƹw@'m<}{T7t~ns>^o»i/{$8 Y4 )C9]#I'oh(ږ)Xys ~F4{=deHKUŁ04 1vZ(Cz lMp̡8vPf})זgug-\"*6 i=%1䫒E҆Q_7u O2$]:X*o fw ku} ]bt0c&01Cp -Z3"9|_Wz抍صҜt f>4 ?~,I;ϔRA1R{o#75$Y)B' >9筧7t7#S}n>Ӹo?3Z &@xPZ\Ҕ[É<@' /ZN55` K*"a0<$H=B%[?=eVx|₈X0EQHGگGJ:=>d"+d3Hn8M`ph}ː` j9XԴPOh)N&BJ\e]X /y</QJ,ʄ:MH~9S];;#NPo.AmKQKXtq6yxDU¬!qR]3YśB +os:bOÃ,^Cɴ0h+O{9g'YD]0춰0 w&"RD#NǦۇ+^!ZN"c85h%*=R86%$KbfO*m#:Pn ::v#䃱k)qa.M}PD#H]7L;m˗?؄7$<ϮIHz!e^5u%Ei&0pW]> ] R;t#wsVDYW-\uY YSO)j_afM$y=}GFyb5:ѧڮ\&۲=Q7 PQbR>/R+.*0T ȶ=a8AQnz aXVqE1GUFU%W\Il}> iQrzjQWXj) 1I|tJ_SW:-XA ~nMr@v̐CȄ[gz*OjntN5Fv3c/=?JYts'jЗ|6m45Z sw$:9\+nWb#+S7 RwӜPf.vxBR]h)`b9:kCIEzǯE'>Z ]PȮ.[k1WH\icbQA՜%SڡpY~Ϗa^e %%6KpsYg` Hmݔ-$  9w;$l V)J2|'Őn u KB4,= f ޙ&S vġ=6`ح% f@naD)&wR2dO3sP9_ kpU7D#V&1~3Ooyx`CzjEC (7928bISWiϾAQ\諂X xz1#:f{NOӍP# MI(sp[ek(}S zM  :"b扸~wiǖ)t՞<1Dϟʮ==a|/V SG .E.A=T;ATʪv_o$jyz,a ]2XZS +@N'gVDDv~"?Ctu *k XCWNɊ˪$gU/@clrQp .<Qv#☩#S-)֨!A3ny9&V,*s OT@b±J'|DѬzJ `~!BǿfsfWfΧQg ḿRK۳VWkMۻ/S`,<,"ɞ EW?7C6\C54»X@mF}z1B q[oP=ͷ^9.~xwfks#H F6lZmU2DPI@f8?*1~:;Y7}@vm4śR52@^܅e@YsZ}45"ßaQx.hxf&` 4.OE= D[\퍬,+|Y鎸+xi@y k;gK%H}F,Ǿg4͘q-lGY' CgՀ/~3 cw> *#_;zg|T/H8_qJ<.|դ]dCA:XuW\N2y,Pl6Ma\LHjvdnAS@p/{.-#>z`E ̒urZϼNt|%pˍ:Nt 4gƈs"4Q7T Rp+3֓"Ȕ Z-4b=Mg(SXIB8IEM_͏8 Z\Ł8^?#zt^r'm`_|u&܁`i(շKhi_MF*?Y>ߟ "<ދ_kj|4Tp.db2Z9ۡʗXa}|,y"FPsYe˦(iP5Ԑ;ǓÊ L0oW8B!+9T&#Q&R'#@+JI?ֶ;NƨYI>g!nJW9aYQƝ9fTZr q/BKs`~W".=YJ̼;u֟I;EGG714fWjUφ7`-z+pCҿNh'@be1v'E-0c׍)̈o< Ms 7\[܀EP2ʕNMXV+~ 丂Čk!#SNwJu/xcDVOFڲ&q<%,UhڼhPY[ߢc'GT@dtEH l~OgYZ   7I) HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/latex7zXZִF! P&]N}T':=Q߲mZwb3Kzd:ř p+u (ѧ;g#L ]I=B(v}i }%7QV;Zzו NKN([ډ3%=Ϋ| qq02ȵ4Jjv<u&!F'H\`w^o6#}", E  TNqcVb ou?symmfCpJfnԅ}qLϙkzU|6"MnBLOT0Q"٠9=nxCП`2$kRzM,@B+r wmxPz*8- 78ډ ZI4?'jt)VϦ\iuv?|RQhZdGX]x2$,/J _yd4cߥ0 ź/{iţ71K~d"j9TMi_hȣ,T۰k̚xIx0odLTB'Aܗ-ZM,mn׬P7kpQx+*%jCSvceW.a_Zw.`6]]N{>VTCh tQ-l̍4h>4,%.)2Oܼ3vLRth: d gJAs9]FAv1'u4o-[z 5Bb@a84P1r%fQ2I^s "`rby%yGI"$m( T^Ҩ\gA+mdfq+vOprÆ AE4x$J Y!Loo8}4"nkt}V1 qfTvCڂI'"Xf}N~ԞTd3XwKyk8uh[zG`` 6=("j'Ѓ%X{ \<X(9%t՜uPC.yDצ)J09H#9r,Mm gpSK׃ܖ ӂԇ}xOJTPwd ztCN$}Ph]3adRG̥{N9Z yֺ׸ U(G B95),ncœ([DQ8V℧J'"v-RoMPsmXnt{z3huY2l m@Jv3p_|ҺqC9 JJ#wO$&,KY`:WvA`h`f.?)bZ:yE%~"BͱgYZQ 7G) HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/latex7zXZִF! $H]N}T':=Q߲mZwb3Kzd d_vh_KC(3 /dipiJc 42MQY5kP#+%,4E P|9? UsCdI b"ƫK)Ǽqom5<9'$kO Zʽ*Y"N̬ V:T <6^1D>'EmD<: ޚthӑW_?˶=| M\DcpD 7yxur^ʺXށN5G 7Di*3͌l;DHU kKՒ7̀Ca\DX ؛zYf?DxMQqa]9\˸QZrE9Kq[;s=s*pTEVdPΝWtAh>,|:G4c5նDԤd x^IHe]ه=\b@bt& @VUʱ sg% k!(\@#>I;@Rv%=US <\|,6Gl`*Oб/|bo)aX09(d=>rݧfd{i)E9/O|+½C+|U.*z~ՖT_&\b[Phذ"s^:_LwVQֈd Ek\j]*"K )[)J{Aڏ9Kliݟ*o \b^T:I^B@_#h/^2-Fț{(,5+4n&z4!qj &y.M>Fƹ_w p2lƲ§gUGhlU qUf#S Cz2Tҽ*p;v[[(HZ 4P>&Nb2! c=dF&H>P2Cǐ?\le[NieW,/W 3B]A'noJ݋?={<" ,O>lj1ki,BJp[%U*]#!傮*Ee7*E?t)i{JUc?2pVzC ZJ$2W!mfDM 7' 0_6%t١+<Yޣ~b"mY84L/,^vtL9 ?eA2^h 3 㟰~|Yj^"/F*Ԓǎ[la/1 XL.ihxY|/=wr;O^[;.vR_wSj@/2׻KF,T"0 2{Z f/|bxI?[L!ҧ1G_yoǩ({j̯XDf_Qq޷,WTuHZ*5q틠DO1SWC(-l{ H3D WB'ЙPTaK's$Sa@ÔN =ɇ,YCݝ.J@]sDЬGxFdQ=#ȺBmQt:ŝLϐw,Kj=C"܋=h R/HJ2M[@^Ÿܲ7sJR{.'o*lME(yѰ /3Y6(h Pԡ?Cc[Hz+78 ?As<68 AS~ըs&)FE[MU vj1]GPpsv&.^o(C^9رkeMÜIJ,H{]Eε{ 0/f}:%*y%H|)b~cz)}"hk%!-Υ_8Ew!‡Y-`?i"7̕)(b-{q]8|e߃Y>װLDgŅfF̬v/;86'_(i&&%F4id*saCd=oyR2F᯾R$ot͟p 4}L:;X)KkCq+ # AQogy]n,} 8ą Rse. Ӹ6,PwQ{۹Dlf,4_=M`_y*]n͡9?c \EX+_'EĈX*)PZio\ yٰ/JanF±>w)q;QkZP[Vdݭ7FӠfz_ ^|f(j\JheB1~HGgVCN;H,LuzhϠnd#h A8gzwSe3Clj2[Miᅭ8a֔}̐wq%=6U2 _ ,O}cx1Ewۚ &$RX0]~5$Z1~wq'Դ!D̵TAeKoֶnʥqپ0p74^|ģA4Mp5~J̵^SadxvsNjPX!!&RF&.ro>i%>uVćx컔iRtgn\IDexv%q$:RBI8!6[Q6AO&NG?&<'{= "?4ƍ..1Vȁ98wV"oY*|Ru./.u}Aa:t@X]+v~|}J~#؄u݄ȅ7Wtw$Lu.`{iTe[++grBMGL%s3q ~>&g}*+.cf00sx6vnO5aE{)N0n*ճOCfw"j\;@jgedh&[ DN6Y09Cx'wj.[Ah]^o%E[j5Ɔc: hO-mBxә"{&0-V(@v V0 neRQʋ{|$pLLiuVePZՈEo#as ( C:?='\+uJ¯:|#^pf!_2na:.߾uaL4f[lfLs&MZH=0ݞooL0hӣ<*$\ o DEP XTa@ z -z1ZBZ*oQ9]2J yqoe'-bUnK-1 #=ƴѣ+2J2KcT][?8sZ[U!4h-G~0 P'< &|Nw"g7ˑ[(Y^cyR$SΔT|YX.+~ӇO7?R֍L|wFrYXއ//׊遝7,5jʤ! 'k{+Q2 gH+c|k۳>IxU ~[T+ =UwKdtuep4 *XըWgkK0G!>dY8Hx+Zݲ#a4j_g-M_Uڮ<Nu5 {_ͤbf-~dTS(3ˉ`ap=;h'ckV3q*hF"Pƫ^tt Ay+Q 0EOd$68d)oD)eEW<1j3)Lk&)uI97!N;`k;ŹuXnuOUӿ)VNUe84(u&q}SE8&,sg)>6HA~uy?k;lPƞy<^?hG^N j%$a@*׻#228 !K-ÕYI2-c_%#zzf_^\49qs{{)/~x$Cte2ʁXH(GczJݙX\x.%'XZRkܴɼũqGl!>5Չ<%! Z~ ʵڢ4yڲ nʎNNソ7C8P(n$R;o҃t%}QExlKHΜ̒)Qt5:)R1wÞTgY!:~'\.&Zp KFs0&e8fӨ_?)'_ #eUO>%I#{b/HG55gR9_wv\/ }ml2HuLՠ؎ho>k3t)N hRxs M?n@Yï<] dop b[*Uc`U,d)wm/n%lnzET" ˆɸPUݴ/ҷu~w2zt-\DJ"z>w8[%EauU@KUP%Ҙn鳑 s&w7g:8}";Ǥ|My΁(oc^ft~rgvx%*pٳSͻZ([ $RVC02Mtj;Uipq[Ғ2.@-f'qbl\]hy73Y_jH9Dv)4 z`3j@C\NwQ+jeXv C7ω>̚,b"ձkɍ7Z{YX#5Vq5y_ӟ@+- uTIk3b^_Q 7XwScx鯏>r='=UFӲIcܞ{zjx H6sD|"==2"X-x~ta?Y+;eW8EMi2s]^s˗YI籌 ]bz !Jyҋaֱ1׀$L(Ԉ]w '+Z$?w&-l2=1my$}~}&{Lh}IiD~aߚ_ra_qx~GQsrE4`ޒo2;gXz&s™l@  HOuħЫ:\qGw& %!PќY7[U0'BƤpC|OìcD@7#ruYN>Xѕ}HD!2h,}EUdDvB's<,Sx7EY(uKH~h-Z&_wG^9|L>%p>a" 2;0w5Bx)_ꏑEG+:d AdYlBDz {7K fК2u.Ҭ,B xrf}&֬_jXm,S_JT_l;x%Y?4*HVcp}!" [Y -Jȏh3MKY^lsB-qcAeqU=qs, 4}ڈaTu2>G81~Vq^,3aʪ1, 2-Q+, 5|^e$2 z !q!OSJے-?Y"Tt3= ®^Q!»)8 h4? e \*VѴKB ɒ N |?mW̊Ji'(LE"]Q7@V$R_!ڪpeyIXhupOdM+V9(\k;LZB (t`Fx?.uפu[@ڸyoJѧOIf3&Uz3P+(=[)5 ~?;ə;R=4J Ɏ >H`!(laF(]YW62=\޿UkVR-2}?H됙'*0^`W~̍㐤ۯIGǐ[Q\\adUuU\IU8ͤMg{h(P' LpfNm!-WYc&3ͣBE|S vfLI(z3u$??}⩬K?F|hv>\Χ5^lbNz1Pg9jP@JתtH=֗EVErtZw +ymcm݅Ywvv 2 ti` t M8C^&T!hD ƒd8\zW$y@/PR+G&4|:.E&8N=N6~Q8aO`׉1l ͞-qI1W$GE){\˹tb:%l^ S}3L1Pj`>Xt)?{:-czۋϕ~s=X1DŽkoP "A+Z!Ws+43v 4?'ߖFEFk_4r?* d>OW'Pw;Y|"x)0q8H IQ$lbf?0% /Grz [&'|іDǓw7J^^oB@%wVD@1>u/rQ~[wRyU'@0NVXrލUITP[d/:^#G,}/ KBgAyV|Qd 8B9n; e7wJ6\M퇇WS<@[d׫ Tx96^N]6Ơe Uqq$Ȟhvv^cSi虃CBVVv[2 I6A][t=}bM>ʲ]IX]`xs2m}J9t3KڥGg(j#3 8U#(CsRDC6P?%^Ad㝭&&m Ϧ1UUCZ㓸oJw (>ܚ~OvZu\:_?`ls>|e$kKI}[{ 3"ɞǓiD)?5%7>r08qa>1a_<|ʶ\AELOK3l_뉃MQ6ߡPÐŋA5ﵖy CaK1u(izw *NJ;fM`r,Z+BG!Ѡ$rؐտo|"VS>ܑnω!Dc8wʻ%UHAF띌:)5IE̕)Ny&v+8Zy|qTת1Sx|{Ta]WfH%ads#՛PBѡ`'g4J! flK*3Ϯ[Y-p{;L=>vN1tkp}4Kjz'OkyWHQ@#JR+d,_7٠נ X" $X#Dp.| +TFZ@a"<R5m(t!;qyrMe7/t1kӦlʘ#YQ^(4z$X"G̒=rdm&m8s ! z{~=?cӚۘ! Ф&qlxƞ" n/H"Kkt6d] <4.E "x6C6s-&;^k=+߈qӯF1<0C(wZh۹Ⱦ*(c!!5/?s$lI^jA e ߿OxFASV8b N#/ˢ0ES@;gߧݛ_sKNl@yL*nWPza#ړd/^|R޲+})ayx%usE-yZS<`9%do0b_ɩjj\ W~+ ВӞ:̝#t,GSHJRl@3(s^FǗshdu;j `4})FRDg;Jp"W/WlU$wx=f3dW/l읛||VT;L uhn|0vxuzceǚb}]q!#B %;WՓP'8UW/-Jjާ 6Fl#v~Բw>p^%vpAFgM?)>ofgB; *K4 %kuq=F+pɒR;sgaCE>f%9,RPXŷ$gH@ qQ!Qde @ Ѧ<'Nx|6$Gf3:HCM-af1A@ =)P r:h:7\M Οs$"lZ XAdȃ5*t'!͛T/YcPδ8E<{"_~bT㻀s'#@nZ2mc¶O @*z l'#ye:'u& @-g'X <W/zt^7$.eHt)PJ&1Ći2Q(Bzi7t#Ob 148Ï"6u?+b+H3Ї9Ȼb2rc,r1E >}qY/e̤ %[`PT3זMbLp\|6$|`OqB!Z >M13(Q``i CL &L&zPA#} *WD"Ĭq8 U6g7\$kŨvuHX۹u% )J KY):ρTc:?=ULݻx-$0 Qv<[ik9CZ(4րl汿]94uץĹ<JRuVKJsl|]฀W90%D .LΪow5q})k!#{hNJ<]RRGLNf݊7+995TlPuTK> z!z6i}X^@Uη A^&8a, r.$=ߚHSbђfl7D|~%cu-wLs^T%%b1Bw Jx0wȐr⢁0tQk +Ϝ=&u!-AYBƄ!19~~3O㟛lMsiMLhT&U+:\yTY&KB+s1t[u} @ 2Pـ[ű\b a' Ǘ )oq_RV({ug-Aa?G%;NnzSzJqA ?# mpf@4L.4Ͷa?hrg㣗vw˒Ʈ)C؟ÊZof)bo^ٍgYZ  7Q) ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/latex7zXZִF! 7]N}T':=Q߲mZwb3Kzd? P=r,_tW fWm^`GI7n\i3m9NجK&#cFS*U;w#L'7"v;6[`v_Ӌ s31& :91 ~g-#\g'0huK(mz^9)K=i] %PR U $q]W@X>4y2Z:괹\ɐ[r^(<إhy뽳)wzXsPo+>[-=uG{z5Vgh|bK;Z ~O:jQ%ug8Kz3W9 G-BM%Ҿ[{eZ%ԭ`cF#p?} bָ0\>L P }/IڇuSػ4Bsi `lpeuKpCmP̖ hae'Ġ 17' 6 O+x?Q"nqT6FT8P"4S^6P(h!L1J@q1<ڡF =pH#" 7SW {G`sÎ0Q蛥,"Y|^OAUMt\GJ*{&tF=rW|EiJ\]d}NLĻ_?7c :w#x4ۄrـ+|3>%kD[`9& !Z1"&VO@-[(m2vΊɢy1cX(y[-Px d3jOIlϕ dh/}w-^#- I$I:H0-Xʘ*VFЍuVھw═#uOay1߄!ˮIAA#aWԎ,q^S:ϯ?mDmgQ+Ntw7_%nJנ?<8A"^DpvtoM>>6!"%Xv4LYpK,sj%%:FZ*49W UtH*N|chi- =aB(ҜE#g 'fۼE)OL|Dm@3s9v ,bor"Oa0ULnɖ˵*•u/Lv, kn$=f ڨJ+EN"2NUNgV) kTɍY[6+6) EHY__*7aeٯhgKlyhdۚXzxdOUe|Fi>TE00f,tʵ&9i3ojNc(|ϭJHmsabQՒ6f`KmM H YG=gBnk*ѕ bMlŦ##JشM3`%RIs iuW7$^?}_:hތ)+Ϊyo}-º 1X.2H0B&ޫI{ {\Jq# .EG=vN\A#/ ٲⰖZ #igJ$W!=(_t(A/J;?ZMdȔvǚmynǜȻGH\%68XíOv(SeU2B/ugOpJp5% qX_ʃ?c* 05ӮH1 Tr Mk;#&pe4ӣ/Fc# o,NBΉp/( ,`'X*ܹZTR;ak%g>en. 1^ K.ևFz-w:'J5?8iգd`< >0qjY a8rqZq P bk)%?öf1$v)XΩDG 'XOe"$UfI#<>#*JZQJvo$+h+ 2}(o2J/;mY5 ^%j!FC v&)kxu} bUPz'="/,رB8:ꈕ'DV}E$E$ʻiEoo{IK2UE0)ȹu]Cl"T7,b^f±%Ɵ;##=QfÒw#rFˡft [,)<-i`a Vq zU09I q qj-4F;722 KI NX-Ϊ2FHoA sS4ia{;r@ >i4-Rgf&ǏEy`KhNQg,C::ՠ 𧙋su8Ӛ8lk83-ȷ5S ^í*{Φ)Pp8Y*)<3涗W]s{[22[hVG ͇SU@v8/67W7yJ@^Dȕ;u", ǼZZHs7f< PN>I:]FYi/u>ZfH2# yMƒ B wGԮ|Ivc5%I%ZJNJ$5QP|w\T0̠iD!onɻzd9ҠkQ(By`3IcC~zNZar!# :pCȁ!f/>/"'~Wē ;Ck"2m2l_&:>_}JA*;wa7fo] sen5(Mdq3wA,*,QHwf0v9|kyv!HO*@%lS9 RlAF]Q⯆6mqDjN jYaF%`]o11[O+{O: 5Q:e.3bx)MF/jؚ^qx'遁.4IʬcwPeia՞K9-~oA.KA;o. ZE);_`Nw2YfYOA-v, o{Ą*/4NHn~&;ta{Qʜ}´{w-s,ch%ƔL;OYTjDE?py<_FAV'CBCn/V}$ dQ7% !+ ޻͠Ʋ@ʆ>D}ΫѬEȺEXQ+L|"s~P)3(r N|}'h4uzΈ-|b4[#n+!O~iꃱjLTOhXKOM C4"%RG>Amy𕖗_$QX]ha-Mйk ga՝ZDمwR5z)ia#J B7pU(cc/Q$1_dӜNahx#77D,V d`ܧA9AHa 4>E5;D+`Gfnm‹,4 W󕓙<,CnaLABjza#|CqfY2*6 tCLuܦkm_Gr}w#iz(#d`16Cu./Alz%D5$EiL~۽<"؊b<Dy2ևB-VᅭZىY̷v*Q;Dк%^%)33}55`y٘WTޒ+T1Ͱ9`S ̾r,Ӊ, q.~=@SpPL"$w!U=dW';?*E8bLYj??BS~$)E 'ƪ_C!|LUibĂPL&Jo ߬+c#6b[Qn/e{^&D W l$Hb8)rϙF(fjѠȴ%uS0h@lu3e_}mR6rIY7IjMZd(BaUt@ P粗1zqp*\G42qQ/$bĵ=ny6sʅ A)YHz|fr=cVg)d@-}6LqVF2uv@ώVҘP:gM+2adk op5R,8EOWr<>6?;>ǝ=1mfO/iE LzFRgkY xJaS#ݸ틅~rx& *ŠMH7Զhf3rv wF =bF^HzlhMfƳF9D\FX':><4fS RUr3¯ #K;|}<-61it 7'id zBvly}3d#v S iE][* !.4 ;V!mGN4|m\I#=!әjzݒʔp"W PT˜,޻oT`~C?Aex3a4yH駱 Gp'1不([0Ԟi qYUai{ȟꦾMg Oa#fG#%ieOg۔;`IwB_`D'foIEhe'b@(!Ƙo_ήqO<^^߯NN+p.bޒ.SdCQ/Gj<~SE{-iuq¦qhw͸~͚)s 9TSǏw Q+pEI|W(@Oc}.]n⢍xֆ5Zyc96_lqiEk\×to56mIF ŗ[X%b!׏zŲxUl&LR~A:mtzTwtH P!@$ f>_1"ѼVXug\ K+Sk]. 9:aL,uZO8RHἆOʇQ? "S÷|&Yw&)Ҿܿ.%춱9?M8,P: E$,1RO) &q(I{1ݹ*!Bp[ ^s]\4p"ski ٩xWd|b('A[+ *R}0*z^2nI.3VUK~{A{TW=ͳ=r: R3)>]+vvc}BrrĨY 佐ܩh9ކ9J%r{hCT-7ƷJቿ1([qbJ#xwoYVGb1 !K5w>:#cveHZia;gɿ2.pj d; &r WCgY#^i*`t3n_$ƎJSg ؗDU:5MȺjz4=iUfK zg6H |N /o2I^-o["WSMaԤ-t,J fIĞiGrFm3-@=КE é"F0,`͒H&Y']f! * 3VI"Cqx/dC]$[R"D8UZK1+eT[|+T2QuHQthWK@2ӂg&NVyzu|}h_8YM{%i3m^I|!D X}vx1O:8u03EF(ˎ K_NoL%Ab~-٪/eRt7DD>T#re3h5M2@3%"i)Ͷ x-=Zƞɉv vA]T(M~ T֞bY;MD(,8 0G6Prl(t}@*Y5cYeh-I/ C"(KcN xCp^pcB"lj+JSD<uN}MܰU"?<5ܘfwX xzVX$W2irǻ:-hB>7,A ^#"Q;K@cou[_dIO-Ң %]Z&xv~s{j&kF;KV wls&ręs "9A7~ Lҝcfy3k+F8k{VG>f9B*!l/J= \QW= t7CR?O3vi')[ 5,54TF["a 0`[֍vHBV*+'I#8 Y0 .&Ŀ*Oot*WLnz~[FMX$9V5FRs#Lj2Ͼ0٠(U+h TE8Vk_DӕЙ(m)17Y淿-e0y^ X[(ZOsIX\NXɈB'XG(pT4/<ZOI2֘7Rz/+ n#]' b@Zn 7f-?ʅ} IJ}kjKK1QN*ugr=׈ j]3`ެ8 'ђЕ <ΰ\ҋ '3~C$p!Ef"א" ȲÊ"?ݼoh=}niaJ48V>r-1^jju{4B,>3 yJ+v,2ZjOdcT$R6`[,ǙJSMXuZ$H\Vʻ՞5M  ƩGY$pUҳB7;FG_Lz1$k #i?Q_L!9+#Tɔ(>Ӕ[ㅪ@|ż}P g$86y;+:-b F^ps6dXȯ5B[|MLNs_=q -U4[jV~$Ua׈ ;^eoXpۊsf]PAF~Y߾3S;CE`n4Ƿ;iDN~4@>>rwO6oHklGݽ-,n=/_x`gy 8 RK.8;gH3FI?~gI\Gbɲkޕ hEk:s+C{ y۝ڤi{,KcS]J#K`:;^\ĵ-wL'~imV)CEYP_ĉ9 0OHx#*HQmVsp˫=vx?{>w /QD  {F8jg?ɇE?pƕx;V'3)cӗ`VfNcPAzG^e6T2jM>m}E ֣|ol/,bbo xAqP=)1TWNTQ=CIm"U1'ݿd E5،{CiF/AX2VZzKÈY`W@Rw_&TԤ:7(Iҷ@D:&G.'bFk7 -hGۻ΂v7nUzdj;)YY DBe+D>վ=ƂӴ>Oo50=Iͣ9 GPOz'WV+YVyybYQnx(Kezt0D׭c`{w5s$$տXX}\=9OU&qV4@~+UcEG._N;`APˮ$uW ɘ?.mm:u;Ȩmm+Ȱ?rqnTHHB %l3%rDLVB7=:Pk6׆uœ$K+}izi+a YkCBXƏ >;_DWcKj8OjM~a7NTTB9n0] \6͝Q|@U) ŷTm%"F9 GNsz34tկb@%* BP!480 ք#RN[A!^y[K kj՜s7(ګn)(.;2W%#.;ur"t0s*p j5 î AM¹*L/ ̚`: p0u=:YuA<#:n\lh4m"@n`a(GN8_wWjiDp1RRo_~%9?Sc k9?9Ӛ؇5w::CCT,te¡mkū(4gfP^e^>eP:8' :') (U2 ヌZ%zWuiT$m5_iq:`Xo+.)`n: ;"J9ɱ<g\: Ù7H^,&DIJklp`.OXKȜHG ?i5?S^Gddi]"PB1eW)uUe!Zt'HSޤWԇr߶zh`}XgЅz/DQ\\6#Ai=$*_QgڣQGws\4: ̲[gOK)c[!KEZ?3]2}5-G+7m.f%-Nb#)l8~ehӞ%p!~d$,fr|pr&zg>d 6Į@C WæmZɏ J+92S6 [T[m4ҺK+dэSs ضhΏzjsA-Þ`JD^7(t;Yb?D5(~X(_#ϖd!4fF-/z ^IGNmvdJK C:Rr҉p5s. /-УEk۶q@c ؑxgdGx3O Xewa P ;%i6O4=i&p.`W\@AEi<+pŭĢŢ$` ֪u@4#v=g븲}JTme5&RLK]ƇEbȓc~=W׸lD) ͼ!g'%(x|?Te3)%7\RrݤTU#1OaJ8ϫ Io&et'OK7/;8u)M{4.Wp.y+pEJ\j>ǧJZϕO}oKwg4Uf>W ,Z),S.ݻg`/ z6o7u3b&v/$ Gu3$5wbqI@zP X3?OI͐mQ.z`f={C[$[\ғhl/}µîMpHؘ"!C3p( MXj9)]VpJV iHi2Ҝɚϩ״鈸ckׂe^<EO˅` %sj4'+ZSuksdZKB<;ܞEe1V;V$C_3h( tXk]WR<3,Τ5M=q6 m#2s=c|@Z%=F+䚻eM$IkeMY:de6}uBOI o̩`ƎAq ˁE""ެߓ{=E.- yy1*UfSIOE&-?&kݘ8c;a*ŧ+\'=s \8Ddulţ]ovY;hɉDuaژGYs$r90<%C4Hf')4QC]Dp2C";LB]O sW-u UV;UЯYByJKE_,H䪞.5RϺ߯"L)uE\"2_V|-e'Rjenoce#iPJWnE]=w/fgaN;I[%Ot-)uDhu}*?9@C;Ȗ\p8/w;S@ J#rnaEP bfd;o"щ?re:ă$*je 4|]+A*J·m,JGVwn*z'A9ZLa=D~CU{Hiw/6a?]X;I {ϯZhlJ=PB2` e%f'&|8J?& 9o: unEj*P* b[l_=m02mT#Am[h De)k !}M?= D1c} I_ȎvR0MX?@ӐC':'b$踙tqt%1:l{|7--8=GƄt5!I<$q|Z~#!q1ԣ:;yw:Ոw,ܢ?Vm{bK(ܶ,5ی k 7\hp%9ܸX{E~nCOCL..-lj2a] E:9yZxcxTiC:,U-LR1[حE]|']K$b GC,<ђUpY,(NH>uʁ˫;Q2j}r,V;ֻϰCZ 6ί!Gtv4C mJ?k}"f;Ii5@ov!w4ӃouD;"PD%3"^,yVzR8}_xZN_-?o:C3j(dZ=!yA BF)ȠӎtV\l('-?Y uh9 <"wd+[[t~O%3Z&v[<4I\=3hEn'un[.)lLIGG$#s"82ATaS =,LAoix۶&Fo{*W)QlRعpy[Zb"5TӸ$DQ# c7|a=Ns-aAu_!@SINלgh;{h=}D^f𥓃vnDI茑?d_(Λyp%SMkH]Է~(%8fcJTOT?$-oח4UJ԰|lH19O7ߩ\I ?%r-b*9G A.=:yY0 92͏9;~='rbѣJB<8J MgYZ  R = 7a) \HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/latex7zXZִF! m]N}T':=Q߲mZwb3Kzd:řrNyʙ|r"Re #K'.`V1pEƳ@)IU[ڼacѸz=Ơsz {@㡸\dDe sDp 䛌OA'! G`J ΝFȠDcJ(BZˀ֩%:՝V3Dڷ26xwqCIFQ n&(uA}d2v-e&ּًfK*Y0G > 9wƖD>$ԁkNWbpَxA[mv  p?879p,3y9+1d! 0"(iz qEP&c 0.4>ifeD<[@:g)]]~1B8 i.n xA@-y,9@ЭAD~" Cu}֟P J{#lM2 eRgFѵɪθT?f3c䳢=uI8n[&-6=(L= $Ck_: d`cku)(^E/ K8!k}!:JpC?xhx<+Ң{%NaqWl |v6O&) 'c]ljTTJ6Z;x+EJ.q@?u[a]4%roI;$ri ͩAG}TtRN~ y1!yYL,8^)ڱDwVɲb;X>^v/sB #xA 8 !VX])*l}΢V) !Bߛv q-wHОF2]+^ef0U#{wE;Ǎ6cLjF#X5&zdg} cu5qm6]vqzz()s+Q:X_teyьZ4b2 ixջ3K sWǷߩwXڷv]x۾fL31M0 ?36Zx(D)]@E ⠉ؒhY^ikpM L0cyR̄@{ZcC'feȚ%AF4GΪ,) үm2k粨>lOw'= Lt;Tqn/1=A)"U=\EGA Jܝ7´o$^^J(iH}{9 u5>\tѭ/SHqG)]VSVztS^|ˍT H^>ʰV⮺clͽv)Go _g+(V'A "ڷTSZnGt>˛y_Ro3[/PD%Tlt*AMi)9g|QF$E'=,<1LF ڡoE3DޤX1{0ci݈a3Z,.% m$k0a Q~ĺ5,`?6,: EKrx[Ί( XnA;W}QM-$ 77|;zQ85p%@d M'&*m \f&BBZO>њ}u}F"CB?;̖ԛ9vqD]a2##.ALfc3di!Su5#5ܴV%jK.N&Bf!Fٵ~A)| Ikۮ7Ėvtei֌W*C{V3^4z-Hss^p?sZ0z8f~:XHuz* nSD!JA@n66}cPzxBL~BNveFyGBw)רoRuZ͓T}jC,Z2%ntsg{GƵsV{\ <ŃW!B<OPb5 w+B?p$s 3ʷ ̈ Z"HZ:zKBٜ)͒;ְb;ג e˜OXT@E2/'R.WBc@_!-o^#46K<Τ{^+*ӗ\np➢8H5aoܵ\u G{״?tq S$eox8Ƹ&zseckTʖo%2lΘ*$ #"߸D\K1 Җd#VvS˿xZYDz^/† NZi~2 m*_Us C8^BJ@ـ{O1.Ig<]Dܘ PlQdz 1\m70"lȖuǻs.:0!ӟWn_HI2yq_S"_1Mqd xgmg`ϩ+Qi*V#ztB@ycangM.z'"C`q9B1ī7lGQR^ۯLkjeW~ay4c˲s$)$D!~ cemy8puigJ^[K4O./JNՕDN4'S8뎆wa3 3{2N@ໞ+#˒-p[NYtjxfL]Jn#A eP N!|牕2Gpk%20#%[ҦŖ,vd/Lfe< H[4_Zq LeCy§=S V%% ɳpZL]~F}&`0mGZ8Ո5=@ZLc*0zl}`5ߎog*r%³ʚ$(h .i~IBRDk4 k;KG~ +3QFP?wd1>X #Xsٓ8*ʋsEaY+M>f)y|,85iA1` 7{^bi&LaxK7,t.s aӔhy:B #IYmzg8 i@ߤ³7?1zix?hsބc 8WcY?\jzu~b| f<I7]7|i |=3|ϘY&v}2a]B/U5\D[)}b]?FK͟(h$t@̞ADz|XTE.A㤤3Ny 0N\nk2 ƛ1bx[Q8'_FPy];[#MiVgڂ[}ךuB%eqNsπ mW>1MhBRZ5"/X.m~VəM܎p&饆t`4 %,GuT&Z2S>yIsRAeh'VVɖ y&< iekw&~wxReѱZ'T2vIhrP`;EJ$vj4+GT XT ggP< ~6Bgc/MB<ӏvBG?JV?"3[OtT= 3 'Am-  O(B.gE#(AviQlЄ,|NxwIa^L ~q': ̻dt0!ŢA4/;+-ZnWjCP8ьw w`a6$t~A*1|G96= zM&[#k vr3'H܍nD)I~̊|Aēy+-@>W$NAObB ]t$^ϧWB.V)$L ,Ď[`D{PoL ebR`MuǛbE1nS#8֐ϱm"q7wep8{k,W**&zu (1b͎oeh}]{gDn`2 c"qf<$4&FߪC,թY.NT+xˬOiORl@9.a(O>WhN,B\Q˨AJk1KRe8J"/v '$y-gYZpC윣[kZ;`]{?ڙ+S92fnO)>?+(KžhGwJ"iOPgH5 i:ZcF/aB?1JMkw63HX[j!>-F+*NA{y)H)$apvi8py_m;NY&&} %#_:k'aLv50Mh=6pjcxgߨK<їX@NJ`镌GQ;” c8q8_Z+XEl k#bF`4\S9ZziNHWT\X޲yRdCREN4 `8tC5uS2=MރLѿOZS{;vdgYeMxu I㧑^WYn`+YՉhJti0c&?C$}*H(0u]FiJ-xy߭y_n-vd`ɽ4r00%;@deVFiD N7 XbOY 1o2Y1@9 wIiJ9F>v3H 4K`w $+LHvEGPDUP%įn@* 5b9Rx“$^"@nIhEJ-Wu6֜phyR?H*uFòciCcN{ALH+kPub=~HQf̽~e~MDŽqy\y8'@@'5"JP\6A%Zcڏmj&XG:gsdg3=mL}dH fu5Tې$aހЄ"9"Ųm0/mfѨ="eQSqT$^0t MWx[<=m"6;6>txS6 ~EmUg`i/[D&ި~Bbmp(Z1rȔzR˚LSV̍1eǿƈf Oq!mщTuZ*I=2o-ɐߊNEڣ trn"pZo M# |C! d..ĥuW.>μ=E|\fDl7XY%I #:,}K^@.FNN9se$ 8VӬV'oQFA#YQ-L)*.goO=xFa^UäXLwX/щ~[d"ח-*eq4b{FNXKKR1ԃh{NU$CX{NK[ Q6K`lӋqyk|iɠWmC:C(R08i{D!ļlFaYݔqy(7Pw{H˥7YeQwy(xQ3l tzam/swt h J| z>R#5+gW!՝E 7pMuh~wa&.ɖ[5i%SһE5\X|<$}b89y.y-@`9e/x2Z(nE.XO3?qgǚMa ^ (.6} MT}2M6=ILsh+Y وL^I9O:8nMvX=vRzxhj7)L.])h`J+ ݨ=ES}-)D@9]h2;̀4a:I6>`]m~vY 5̓΢RL;0ho;A3nFl):IU rpIh/3[)qij.'V\;z4a.hO|Q1L]JO)Arw#v~ }f%Mu GP[Eg!$xI$D\^4z%9TfEbHxSYvVZ[DsnHKr[$+ !n ׯ ZiVum(% 3 -&wП'kg9=ᙃi˨M7!xϔ4Vc4"iŀÈRі<͆(@FǕ9JYD4gE1% `㠻AGmv<>TYf]X\?q8#NS(kXH,rn x_H*b .ox vs$ r-ʨs4 #IIZ-^Cu&ۺf|᧰,>41!aӮl/tHI+FU;r. u:2tE?cy(ӹwo4L/5d3)x M*Fcy?mO]ѫ},0UqQb˴#hM'ۮyMe=1F2v!]0 "$pliRlgVkTObGU>+#A0D*'t& E⩣UGnsL'My_{2m#pmtB1x:LpblמOG@(Vh%VBe/CW*d\}{)O6(,ǨAiۖ]y>'D\2loE҃ǹ͜ ,B:Yig"FC@`+o(P/< p 7t+}!_6l[!$&LVb<@_Ag` u?P=g)/YFy~^PhK@ZEϰb5|9vϱe# Uh iޑHL Ȓo3t)}YwR{˘R`6fL&{] :Oˀ Wh(;Z޶4Y1L0>bt 6-e<(\徦%뫭!&9ޔZ͜d/je>tSz!(H,xAN'"l`9L[",S+s%xwTU.=5 N.CE/Ӎ=PPV-re-~{q{X%$"ftz OmO0ޛy},@{Xti@#fɟY 8s,O1kT7Ue&x^wa9$ֹ|U}$`7E=L*mLX$iEX'sgyB;@6'T}09J2, f" rڹrF9}y1 qÖ^,pwc|Wwg:G Kf<6ayV\V] Uo\jgҳ>?ӴYyd<n6UD@-$x1;슳]W{1mX?6PIy. Y.!Z!M!nAymgƍA{8GAIM!O ɾwR3 `;Y}&0vU,Ֆ JKŅo\⯁w$tȊ#1Wz/M#-{[dYAd7}2\y@55DD\ =d@!;D–0:udKI'EP/PK]\aW @wM">oڛ 3946G'EDCBbF&q~L536O(ڎӓ;n f(&)` S2O3  uq7?xuօ'KnMhrxS'峾Rfdo\VuƤknPmyD5N^.N|$bö|Hx656]}FBX"M lonS +k}'M?##`./8:y'q7w5=VGghBMl5>>=T0Uz9.6,jb)˦3oP :J@f۰-^%8#i8ur"sh)C܄M+ \'ح?񍱻v{ u O~} Ic>ΫG1f~`-Ѵf̘ϸ=nS0^* J1~[0JN?#@I#RblB=HFOsK=UlFDӧIN {D38wyk܅v 5,KzLQ'`o~R5)i/Kl_'`ݟQV7;m|Yt%Yj Mk|j :pZM!U`?ʝƢ=X4_ )τ;U-4QD?$%}Q,dx]R^|D)@1Stt>q:D2k*W.]ވx6hy;a:9SFUL#8 p_eErǫ(3!z\`mtKFVBU@Bgy#&)m=+H=խ5}n &_ @wAnyF&Q|Un!L>O܇͞7p.LP<ڤsfg7Uگ:b]H&8< AA]C,RW5Uߘ&7Iiw Y9}%299AurQ kk+?ʶ'r;͢TzĶ tTmmBܝ>#QϤ8Žj;QֶŰNrlftl`T$X湝6 PW'DKޫ.ڿ.o ^ ́,W1uymg=/4dE#JX?hw33:!g|mvw3ǔVrrf!Cvz"KQ$b)eG)O 1.Uw2?-(H$\7K2՝ojm ɮדs0O~nBG&M]mRx|JSJ3a- vUE 0Ѝ1B@)"wU6Tu&໣0a1X\ƙD$BA Rv^n0Q+ Y@LK>͇!u$z@QE3RFMX\ͫ"&1 EFN+#9˧i R4!l=O ,ZBT# "3 N.n{Ao ӕp\ WG#ylջwbERstCߠHu;r~sQòBoILʭq8B\ YʁͧF@CP7M Nv Hva6! kXy ^jeS[6)MWl|:nuMגjUE`[j7t'@f=NY>B*y;}jfn%ՂO]h3k"tym4 -16t +~]!GZr$<554v\_a&ZTynr!>%8x|rSWt40*/~e6"A%G-e=[j̺La/as#M$K}ժdfF 9/[O~Q \ZqRlU0Hq Nƿ+?I68($;חh&sZ׆:.$%)+̞p!h}dT.\d}i&`)ُcZ;>7ksQ+!L ΞRَ ig{t'N>7UHy+/Gs0r#4QO.at2<5JXyQùD_. yȲ $3Mo#&\}>_{ReMwxZLָ]xkJvң,&k~&Jo[HՋ ӄ'i\ z=eP㈂WWurU}F Vlu~ll Q>9,zix r^ϻTlVN}k6 9a kO rZƹkT쿝M{&xF2Jjcdpp[xw=P>a:*u ױ>"CQ`y9NpSz~Q}ܰyL12'\S_Z!2[U#WRC J/A=FoE)(X3 6|}R=Pl9kК-w썆N 妷,p'KA|_s4 E_Y ?/emޝ~KĨgPͯsX\?;v4䴊c^ѓO}~=cc|gT~eCLz.S^ڤno 8daIӶRze}/x??iHdnX&}ŻN:crn[h_{nv[,8t/6sd$Ύ]bӍGؽ T+3w3Jh]kIEf,ł-CČ^74NN;$݋_w~?oC*@H]ވX琋HóI-A9p&d.岾S.gXn# "Tb%_c,UQ6)ZaK3y M[25;-ĹMLt.xB0g?2ffϞjD$f#,(-d0L &vT|= =fw~`ޘ"=QgsIWD=YAWhEs람&RC!Pvb qRs NL_:LaV},lXGB!U3#FO #kNiS\, DŽR\\AC'DaP '냒i\1K:c'E UːT`4^rtk6%ưL#D{\3rxM A4L i̞P[fUQf/LJLV Զ{Zh3G}2dx*z*{ 6-I6C9/&3gRf_r)(pN.M!ФB>fT(43)"@/z^|\;3x˃PCrfMɯ{-^N8yy!˅?2Ib秬$jqؼ_Fʩ1ŷ}&?3vpyGpKʸR-nm`3DE"n03I 0l4^\+ty /f@FЉ*n6Xԩ]-Gl|U칗-Tۈ;zlYo#//&ė~V[ nͻ:Lz,UAﵧ1~O,k o@9,;r>  u80ٙsX=&E>ٴy *]ӅŁRWbfpWRiWj%eT0d#`l%OxB3W7Mw~@p1Kh GjHSŬIÔV&v]-'!̍?0N8[SlژJbm9U^ GB*+[Y2ض}tm\V [[C%Yo<:W9NY4ṷl v 4ZePf,1 Ff:U yFd.k݋uz 챾haQ,J[aL4(GAw/x z^?o#ڋX8deAmR k(,yJ(%y}X}Mѣ~A֛e>{rNY]pmmɨòbl6{DhpNwr]w pFl?يwSu5Й>H;|݃H\8״BgBvNC-Pqy]ǟ_(}>Q3 ͜n3ğ+5/6@X.kx} F hge?+Cnqnk7g @AZSe OzU~'Ame>:-KyYk&J.h%AK}:\K>4EDHܾGp_{HZ: ƊyĨj1gYZ  Z Z 7C) $HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/latex7zXZִF! Ԁ5 ]N}T':=Q߲mZwb3Kzd'{hR'هMٟ鈺j&~ڕ:N 5dQE43% _ɖ^|Hc+Hwl'-7*` z"EY)tbWs@ˋӻJnTUWIg05<o9,Y i@ H*EW0Xqo,sI]}3զ;={ӾFyc0b4wuuʠ1-]0ψusTo%\GSeu;uC(Ųܒg}? t]=BP1`y'ce~!"Oo!IN{iiGBoL oE.ˣ4[ب!Vo3@lVv`?7!mћB1FV.IU8y3QvZ[ݖ[Jmyy.x6؍\pwk-g5"o8BCi `U'r ^L:&z"QVekXk03Cٝƪ yCKm{^D=)6$i =P  CVWDŢ# n6,s[d0 vErakJ%#>TCNv sx ^1ɳInѢD }zSwu$W`ǹYNgJlm:w򵘶 B 9:M q V1vg.Z6jm7~8- ӏA5Gڶ·]?O{KZ&'L_I[̼ SÏԐWgm֪+؞;Ӂ;Prx6<'"kA܍4 RG˂;hOG "iϕ w:[vR0& QABL*uel!Ni+:[({TE0>|=s1}h]w/{Ej*S.w0l&Q!'͂l5 $nEm?PFA!bYA%9tLoLT&ճ5DS9|`:H+I&؄6GCPX}ZG/ Al6YF䓩!$ [lI9cHw=~zb-x*N<&ԋN¸Gqv^ G=m$^I"NH@GkKBen%B3|!lzI*,}[E3Gm*x© HƱ-L.xKHMŏn ;2/fk2CLY7tpf'BXX [(E*sn"7^CycGּ:0dɜ1R79ܣ>0=uym} e{-#3>C^üm+[Z<#a>Q@ 0 vɦƘ!;lLT:8.^d+~,m[&Rx7<(5![YB4ڌ<9 \fQ#ҍR%}$NA,XEߓ47x;%}30UK%:!'B.cQ?$uP#ߑTCK48! 7s-w h,Vy^4#/uȝPȣ8R$ƵJ?}hVi;rv0Bs lp\O\_ň[z` ~,p?q,7ʶ'xn_8C'.;_h冎Na}SO-tĦwx53.'rNB*kwM ĐVYn,5>‖=V(zu/_:ce|3F.( wNYV_I~T֧̈,"IA]DI-{jx ^辭7xd̐7]ESqb`5[6Ih= BxTaR]Ӝ/>vKβZ8i;՟ nZ xxZHƑ\ 2%Z-7P]F:F8VsU랅DlXF^s_nIfNj&A[.dբb{0T[o*ִU&S=E:xm#iwB~~ߩZ?D%I $WwfAY9*&Qjl& ݴ)wuølHש4RF6$og܌qoePd|s6`p롩Ie0χƙ&(Y%D%p4*(d3WPJD[f'햴% ?NI& n,Ƴ~^?RB?T/.:v+@ 86=tk]iv%|˕nlXs9Հ;r)VV~lC2;LcT4ixNzL/SjŋK[?y' IŴnLL,2kلl@kzX'J1R+2[oEEnOtw1K}c]mO$ LT&qv@%`eX gY+u:n&_3|bƋ^7EM#.0P[Mn_j]ކպ"mU]9Z,o}I-jFᤢ>lMvTu )87mVSoIq(^, Md e~#8vTiQs?Z xYy+Q_FA6QEfT}gyAum8k *xՑ'ı?KՐ~XH4fRyaWV̻'ߡytjT'0s 1ڎ8,(qg 5 hoSڦz:MsS'>-ŏ rnfh3qR."ik`겫oJɅoژX38X4{KI)D"gZ0O]*}e#Fn\Eoi'QE*}F{mzu`ftPds*c9;g^gBhn `9Ğ75s\bn!WLӏ)0AUvP@ɒ2{3ZbBdAQE3,U1scp)w AF@G%MXt9T {,rz^za2v\]Ď7x_Q?̣u~4Kjv q/{nܱ.V 9iQQGQ.*G9(>g谄Sa"j|?tW*)QHt#F0֯J+whv#4|ĥ=5)Xhpfif6mtV{_OԙR0u "/dtL|ʚ}1$&ft;l΀Ȅ.Eǿ!17d2e.edZma4oz魩 ۈ|/d"D6I:jU-p@sNOp?ύI7 ^)a8qTjJHGJq]ݧ>1٤kڣ|h)ft`h|ѽ ^81t:o;GW+Y{6l 4zGm&ZDOt1ݤ1\Hp j ٻ'a "/|s#Z—YfLP \upzU;9#%׬ּ A8T/!vF PSρvzur`$0Won(ʺ! (5l`v5j܈5gAPY8}Ƈ䫧-sh0Bq<`ގT T@TM ܺ6i=Vsm0,E!°L|Zl;862zK|@I"snbR3Cv}T_ 19$1jmfKꦺ "}I!2 K|#&J!|ڥ|ceO{ nv0X㧑 8⳸Ƈ2?-%wq}s,)o0zcM?->3# M}^kHWvp8qaȾo޹eUqI6_ K}aK9j)Rb;q ~8 [t7묃[0 O1J8󓋈0 @#v %CHa 4n(Mg(1^S'~XMRp%^!-Ar5";]v|@'e~_kqR4ҧB]] S$;]|ht'v zru3#8Wo qHqqmcb7<7{p4ϳ Y#3FL;w*ЃjTUD(?LA0ȏ(i\q)n_sBipB(l5Jʝ0!뚼D8ge FĖ̙fdU~Ě[#]0iRS)eE >1Dad1:+]T\/ʸ lfC 9:BdW^I`>"q55GT pbG R~`Ev̄,|U[Q} -o(F(T2ư|>P{ vv43*SF\. )+>=I $c+mc<0$`kDQd_S您T L3I!;ibٳ/AU {ly?ba{.j:kUQF$Iuɸ1uںFDƣб3qls*4Z{w:wb2c]Ni󯴫E}Axfr@R+Е+cƻxਬxiBg1d PIHȵbg.ڴĘmpl5L SoUD].RD g[yitJ99 v_8_F ЎlL 18iJ4iETq)#Wm3XJTkovAА1Hh\h͚A$Gh<9N/y.W9ͧ 75!$r6QX AdqźOƙO6@M>u4SKaTG$G5It& DޟEٜrU[iLV+:/)$S}9|z$!Sgn5PIP/d)Kի^}/$m^i|ćM?NS᳥g 9BT5o1B"r~P-2HJ|(\[$ ;X7 K;IFJI B6aފH!7tQm ҕ.e1ylIM#Ld ێD3hh&s_(EN'tFT%~x6Air5bއ`E4l$~ɬJA3ۦŒ|G]ډFm< >l$}L5gJ.H%X*Xp(D>V)qp¾d5iLˎg){ 疖6zկ;2`tE{o͎n^5H1 6Qvغ{Ffr Тz8{vaw%ȯv7x%iU2`Mȁ 6]pз}3*F x11%IgVUV F/ | Upn#PepVYYZ)˟4?ߨL̝ HOPώ^6ix (1Ê5hȂ!!NV*thC-s!bNgx%J$f glVKGg!35Z[s 6 oZk?U7Y Q BG$E!XnQ92\NoQ8+I;Lʃ`<bhqh_ S76q:R (ya7 :L;EHylo?2r(^PiNIm7okET<$9Z-BBVHqe;㼿)0tb#nR;tS ?$Cޤg~6HDž<ۈy ʉtvg*|IG7kF<'iЬ]H[c,v Aj'a'{vq(,tlj*n&xE~[;mgD:y4u;XqT\{IaF4PApː)u mM 6 (db ZL 7)Ϋ{'BP//~")CtK(``͏>@Oo#|<N:ww=_-Jh) )9P`N%2Ow 'u$6!n$)F@ӛ@]]=|Tl.``u1Qqpfָ'-H]s ,0,+n;Q+E<9&3I*R{138.`z0.Zu eٳHo`DU),x"<9ӓ{9HuL }DRS:e9FvB"tAXA+b%: q)Wme(ngdDȞc[@p5ejI~ƴjwX P_˿̋cbB E䄚% TƏ&_H'7`CǓ䦑|q,X^הT35P2'vC%mҬ4,l[v64$7n$aX0QDKhGc3PU2nh!Vh5EՄKihm,3!].֮ezFAZe5{lc) Pac1:Pݔz}W~OFn :]5Ux2paҶb" ou#Q/q&:B{??)G]ԯOD  .уV)qz_MvG9z/0E-ULsTKgf }AH7Y?l;a mLlt7!f!)ULVi3D 0HduZI&EjF^pqd"Cf?lT>AmL拶bVx yoN roʲ fAw܏a-;]fw538Y~5u:NKHA^B//EP"_PE`oUI+-m\pemMTY )Z#`uS [$3sʎΟp û=56XHRꝬ)So* dYmWe6?mXk0e' Z!`hs,S^_tnstuN5EoU.Y@+ZXuek!+ pZvRf,1p}w:=”Zd5SRϏ2SSST?.n6kR&YiUuae'VA{J&K?dk.zL3˳;qNw=a,jOtVp=p {G0vwVC&Hl@ n *,g?Xՙ(pa>mj7W%20a~D SjGP*؝ށA,֊;1 ]̝I-.51kjug$bL\E:gWWyR0TUϹ7ɽ V:tAtܼQ{_ UX+J9\Cwn%p'Ohl-w܏V}! 1_sF,J!hD9Z(t])UcϣwsNk? ukїQw)IL9 daqS$}ךsQHZTs;tWwXkϕ65DILBKQ`Z)wkU7/OMмf֨YtII .&wwY'?JA4Oi{H+IARzm!e(^>5Uul)b@&V .^fCݦ4^yvA Wk@3آV@v68mRqpS?^FнʜeLY{󧱔V~<&hw1U_2v2˃@k ۵yONK~c;@s m- @oau< a-B6!s](uw(f _Ly2Aӏ>/iVT\W#X]wOsA~1X:dQO(/*|GvYm'brC4':LP(ͭk!|Tm{I #L{o0h[Dٳȭ*ءZ>A/>g`KV럂s49%o۟vgj1u/)AōFοZi6vۭ!͍-qi5cW2opa%0_Xpf)Y+Iղ]Wx]0Q) LZzܿptcO_Q؋np;*$I`1*UHkrQin満yT-ifث)JJc2U-fqY 8}m]2S{5>R,A ̩PqQ1Vi'ǔgA`kom{1q@=qLoIn|G[eL.^Ul;=mZ@scJDPL7҄e> O+%{N2ƭk1t̃6 GV;(,f:rY7gx Ebl@X'z[㘮#\:J{2F2,ͫU}&qҊ>dzq_9&g@^T8D+fuZ4ukl!IS4Թ9 "Q7;rp+ ͛Iʑrdb_J"wimJ*2#)a(z0٧shyvcؘYnl|a`DmFU.vbJJ{V n1@b4M)OԶ2tb@윞eL~EY6HpԆ9Y ]]I!oO m5cߚw؊$*eDf28Sie/ㇳ}@d|Ir5\%</t/4Y n˜'U3Z:d}&3\\:TZxs/Ģ^TA\ Mf粌Ro uF s9,lmUfC mOE4'n >TX11Fi?U3=ďjuNr [}H6k]x,k0t TPt凅uжk"/3:Ĩ<{c9¡`~6u5!ꠖf .8E}&h@00RYxSAt- = ,G g|M>j|>*Jhr! #>W7U EEݼq-[ɤYÚb83V1Fe*<"bP6I`vObfeץR_ %pO)w8=%h A]ÕG~f~_` Rya⭊ s]k@!ǕZJP~!,z*K꽾̻ɻ=sVdнg Izs JA،6L,(r#j]GNHۺw7TWk %5Z$pZ|֠V.]VmR=fP]fT TXιPL8t;3))U"XW2&GbJ3_jŋ}W"U8/Z,MPWW/vԤ+y$b h &z ܤm> zR3iH[80-!ɬFUx%UvE 6*ۃJtDx5(w0G#>&S? m eBh\lY-aģ 7XPZ"-)l.J~@Lچ]EPMzSJ~ gC*0@hH`6@Cqڥaw ;l#TQ<7* E()m̏~1jMuP!QqP>&+SEU_B9DbʉnQFX "\"B]HW{aΏBqf$0\i]{[v'dgJ'P?sS߱,Hi~im1҂FFDiKhV9E@w\ɪY3'4 X \{bgr%9uW6&pDSG;f֠-8sk!>=&Dqj[i).!mقR?ʠy?ܢ]2ѮCJSZ* 6+*|#lp)ivsx^Q %LHH;fhǝ"YsjğCW> R`H5@A8G4}YUGźt @qc%ۍ_@n~Mt6W(ɯ]BjE(CVd汀J>=Hq!("H,J ? ֞4j0ʷF i%$<0+8tj7I7t$A`/)1S42G<&"Urf uK}}Y?s毺KMb~?Fͼj%۰쭴"cmٔa4Gog, cU q"P"~e۰:ZS؊&M]a7gՆgu5`mje"ǐ'+PKL@WHX͎Gor&~ 5GIjӄ{oN7gNt%[SR/m%<; h)Iq7A4Sq:O;qj<`YsXfiI+k0&RC]ZXp ,ITmE θrYWTl͒cM3Rz+@倯Vӄe sj3]yޏ7Btw{|nlU6~:lچU0kl˒L Sz3}xEgx{=gE| vHY &2>i}\j֠o6U^3 ޓdl-6lmŃ8mˌ *}#"c̈qGWcXagtK<ƻ9M>PJAW>FQc~s*/Hge}j} L$c2ujkn%?[<)rz_ r3 s־>Pi@_#~I IC PRތ좄ASo$ۋA "rZwV>ѳP!-''JM!GFEnɯ~L/h׌{BbPPfOTOJVF} 6m̈g%peb) =CWH;2 .wM] ȟb ԧEyIK{q'Gqrӻ<8qyP3 x&UQop8)X?kͭ$X 10e\اf]䲁B_0"IϟGd2| }b{M] \g{BuϿհby̡R ssDDB*C.@C{]Kg/Wo^8g3mFJ[((7?XJ5[!U4 TohNth7.cP9X vםf7c&+FgoP6|/-7NAp7"8ȪjJhU=5lV  q^L44 6gGu<9J[A3fL,ޚ V`ՓD04DH"10Mh<6)wN,CL#^i?v}|L*? KPyQ,篷;-e#\ ޗT%Vݳ6ssڈǕo};$P3=zeVN4ARY[܀q-H8EY@hXާI(^EZكV%=ʩ'n~A;)bjE]zhDal DžZ'7(qcU*3 .!ԛ5Zg?NIDw ?}t_5Fll5I̋5WH;KBK5 !V 7Y) HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/latex7zXZִF! x7A]N}T':=Q߲mZwb3Kzd? P=r,_tW fWm^`Ge{e;CBbUN %FOyF]; {kƅl3udk9ŵqr6F'W|\l1p%jj8OgŚyjq{GŌSJݗfݽvԩ@&-MFI'JKTi==񳖱OI!j1'XQ2tGnt1ȽXIj= .'>Gm)hÿ6}\{<u [+v2'}zl<)p]݁oZ"D=I9՗רA?>(SmE^t &~s'.,@0-c칻YrdY2Pƨ YK-0]Dhz_⿤sgGӇ"Z/8ҔA$%el O 8wiӠr7gY-0|$Wu\WRy:w=/K%{4b^ &4ZI`1˗JQOۅ-,:O|{^@ף(oұ0gl*h ꋝ˪޳y1g(/0s+^E E )%:q`Ŭ%BF˲`m/7Tw6BɏsJ0s1qRPp8uEb71k6l4r2tW 0#iRE 8/|AK,5j\[,hd3WRgFWlr,݆hϳk`Q"ceG=u>DH,85q`+'M-F)sΉMX)jjaFt&'P˗ga5鰠;[va=Y7T)-t4co5Npq&ؑ+wʢXK2K6e)&bHssQw)K=sg!md6t 'w(u]3ϐǩOʶ:&ؓ,Dkg{FC=;(ot>vI9ЕeX始9{ 6~˻q͛~,\ ^c!ΓyB׬H0Aa O'n~ XX[-&{n%t`JKvnH¢ unztώ&0ƉjрjhUoѨm y;ͪ:}eb̕a*vy°?z}L=n`:lEe@:C 8@ ܘf&3}&A4ˋ.phu; ѝpio[[ToޅS~ԎEjUzxMё0o׭5B .6#UqiZ% WpZ7h;~ܟ8G.ZBL k>謞 #?UB)ôG{S$pA YT T\#tgH% Xj!f@1ޚ ߾ PJ}ƴYISק6kš ޝ `*^/A[XeEq0Vس1zRR$X^b@[ptč"K>: !SxQ./|17pYMQ BҐWN=kogjJb\ƅ^`F)'vچۨZ"]*{xXM%R'dB~Jt9J:"Ǻ1)9Krx 4rӋBӵ]3:ægA+k1( N9i]'|)ڹЦjs.GKKsH`/:HÆ &"viZƞ [2r!ػ" N;y9j")lpeN0Y=pEG@ڤWiB *2T:Woj!X v)Ws~3v۟@]_/'o@˝~9"}LV9/C k&AM\D]5Ws 6w^I$/ԑFvd1` Ƨ w%ѿ C<wmpZ\ 2 m )qU [(K^dGi p 6&⻄Ey<^?zkP/D1Q{s!]H1"hF[!Aafy=1o(c/O65j/CXxD$GSS6NHR/٩Kj EJH~ xeI"\T"1)ja6՜ 0I/Htm lY Iɍm8qw?1+k H1@FQа(8}cC9J ~Wl4N{'SV!>Tۂhrf;*[gT^;RxۃΜt/`6(?aJ7r?9#! Te1sIdO ltRsAŮ|WD('L8{ 4mG.S#4لc@޼ihN\{t& ':Xi!0 UI7cѩ; V$u1_ M.9f}^+:!6upa- rCZSRp:+iG6fm nB}CI1[\7lkP?N,"Mѣ&~!ox?3Si4 YÚYQ]Dۖ1:ي6gB(gz֌k^٫*$ճYYQWJ$\JrXbR͖Diø 0#ck+;U2>ؾ%9ȦJL~=Y[*ƻ%ḽSgٹY>]h;Ѡlpb-%Es1 d9SRtc61_ jd?6 0LLG~`~er1aE>-&ԟő>E"\v^atW~+R*ӂ .CP:6К)G"AiO_Yjҿ.xHHB'c>W3Z(Bۖ>M Կ =%[Qfza U<){~eNH8ŷ{ [$HT/Env̚&a09.Մ#%*ZǮ+!So+vx 38 I:ׅt 9 qY*()RM1uYw#)P: BchX:\\(qXI EfL&qX ZDXj,X!j/}dOeW%xi*Gj}-. S T?o$qJY-}&i(YB6%ܧw|F~IDfЦd/hW@OdThU+3X* ]F3o£>Ц8=:ZxeVΫŒR<ak]>4=%!߈91 I@jXR6U MµAj{ruϐ!ӇLhVVC/A4o!WOOyTw\eU?O0fG6u4>DN %Ea'UX{}(qw?;~Vy;fTO #s^4έƤS34(;2^yK<`܋c}.Y7zVf$}s"t h6IDo fuY`Fi:43uF\uc (qvz%lXb7TFmkt)ſĨ$?>|0DiNn^#T.H~C>$ A^|N2HB5 T`ζ0̢8Cr8CM ٩ڣ Fh|!eR wB<`" 6VJa>6D{pc-_*wxs#pٔNH{@L`=EW rVÜྗrJ|5q:uCb2>t̓:JC@֎vI#!In{!&*/CQ5*w & dY>B:>6&>-O D= G&¼LL!46aW(:X,R P'6K~?v/> Pa?y桮ai[UDwf9fPgGr*- S `HÜ* YvV/BD{5+N߾PO?hrS&l"h}leֶ]% [`0ƝkrX`-mh_dC"[e#\)#Q&4JaMk}@h :W+M;;`Vp_lRYdSs]_h9-}d/pXǡGAZTyڗcb4# -qjA%و兝oUчg6#9T'hA.$z fRD`4dA71V @hQU-W Uȝ #A|m$ 2fMIkkڮ!{khߔma.ad/_rruzε͉Xx\$z ÈXS 04|KB]dr%[D3ܭu,J۹0o%xxU@ȝcsf>$&|d)iEWWPuMIȂԩG Ot'v쪭b(㲊#K+/1Q9 @REu;;iٺkS2iKX 2iTxt>rXɠVdhxi,Z_,:TCܯI+_Q'}rk7 "y`Xd:TQYxiI=dQKc6Ǝ;j~謙5)hM[>#=|*I d Ŝ~BO-hqĖ$MtUwώ^XAcޫu ˳}KVͯRBH ;G1X8^&#D=OOh/rv> /9.`kQ866+[^vT61V*IV.̷YiAApA7unD9"&uHyA+WPGcoV͇,oRVe?W ھNl<?QgHo|nf9P8pwä',NRh Θig>x+Rl3г,hl i0yڞJ@h8䒀J~5x9g bT{C*y\"l6輡4\9dRUNMn5?srX!>ީ2n6(ȳ"5ڔR/h2hҍ VMĮ^wcd mv=Ϫro14X$A@xˎD};H퇍Łgͺ+KAS>C5%ʪАRW4O(?}#AUrnFQt2a}K>w63K1úSQrוD 5j"N?>|&=U.#Ars ^Om%aP|>]}T)YLL4`ʏKXWv(tMHJc6ux5sMeX{Wa>O}UbCJ-I[۸YFKܢ\0mjuDc]1E^9!dMzz,o8 +UפEw@#}ŀBJ icߝR_ͱ#u#[п= 5(uͥ69QL.oVq̤}A_2: ڲ7xuw({,=Xe/|k Me-Ol8g}Vq7)sHiC=oP frҴ z8ҙ>_dwg7o]pQQ{/P/Jk-e5 'Hٍ0H3c-U=6dVRYcb  TH ThBlFŻm*Y* #\9?Xy4tWZ~uO0`ZXԄܵIL=~pd TC ;S~؉4MD(1 /\ƣ =J4+#UZp?TCӳ1> ,5:V7d>1ELjC0sqC+H8$J@o?q:< C[0 gc9)&΋(7?9H T] |/W4= ` v 0aC P -Jt!f~$ _[ 5;7'$=J3(EQ'3C4暨,Rd`HT^W/>{Ȋ.2EfA5M"TUQ{pՂuaÏ ̱\P\ "B F _G?rgh^n0_O_ǎw1{KucՋ <5( Oť*8crϺdX/J e|1Uvc*JEf = <*-[a|W- $c`|2.cK[Bj7= NNWjgGJ[%)i1wN䠶o ɴNT.gP\1:~$mp0 ^_~e#fZwxMIۈ4u>[d3_1zYk香+y. \7O7ja~LKuV \]I*AE[m ևx&}4\ҋخFُZw9LD[gEү,-'bf$ H9<2^jr=Vzޱut[TӜdplEM]88!^ Rk 7OK]œĂZ (;*e07QW,]+ZF7]},-FuDkQf5u~c vjF3Α]̍{=߻fuej¦EU[7 ac !Yղpڮ_YVR*XՇDC Q rx" 2b3Frq^>,HFiNcH?VnYj(0`ӿ3mhxQCUa7]K֩-U8=(vӎe!4tݗ mLcb9&~pf|-~-!: rgc$`IO63Թk@(yԦ1R}H9`:GdgV𵳜t? q<#4_:y&I~mEٸ\V+ʔ+.)2s,ȹaQ~( .lc%!FTasJ}Ga|I)[ߴ*}n1. h,2pRIlv.q5yɮAPA[I%*pAn\뿺{y+K[PD/@K"zɝe5.3HaVV8ԱȤa}pnܗjDsF@/Z6NӍ0 YY߻ ,;ˉ-B<1C^PeS*=ZpƠ醭SR/"b ^҇ykیµwR.ޢޅlҿ+@^K #%{ fu1q{s굆[ninIj%$Qq؝j:2L`yߧ+ǵ*J~+'{gՏ$<%JA v3`i ,ʸљc5&i݂"R>,QMem*y: Wsr'h>:s;"]h1ѱ>n!:Fח^EdDL}{zjk}'7$E4Niⷣ4KAp-Q a!P9El'61>ƥf7П`+;iS~(h\RHR.@]q*\*>zr-)*?1*υy@XJ,#Ϡ*h|}9UG-.D-%qE!̗sR~ʩ(6 <~kYF!&ǫt'w]iqO]ay ٣U_++#nJWkZ͈2n`bh>wSIB#HLH#|b mdYڴW9tx ;A4eHqn hv'\[rg1TnEp(V`$Ur.5+hxkWLLXACs[5╆h49QWti?'O !%r,7D5uܗsCX#Ci'BTŒ*5 Y z(bU 4Wm\knkg!CiV!?6Gjt.gJYh!Q5=: D' Nz ӡb-&q>] ͝<[F=kʳa藕`Wq ,7XB+q|vK)h'\@Jm1VG!oX;T#{A.: 0!3O$<5slej!~f:YωcL\'Eb -+bMg؇_Z!ۢ _-*&&3MVMr5-&YE}*οʹq`Ahh'ej Z W8FHb^\$7u:zmՖ.щ<~c<l _TdAlv4ITp^VDBU}V@` 9VecIg=JeJ $&Ӧ!]'G{kOT r-?RӉ|]FR839BLb \_l\_ռ+X Q[0ſ,HV8x)W\u E0 +F]3!l2_ƋH,JmH]/yRRFQʌwY?@VFiDٝvSA ̃7vޒi:LPvsx]Y("y_A WHTvq@ hLΕ8Fcf4)kk,R=sϼ薠:7>J'1D1a+C&˻76-\}2ٛ Y21BO3s^+VĞPB5IBJE! u$& ĮSB:68 eŋ#1ؽQ6MT pd_FAf%>>Xb,J(N\4ǫCTQ;A eJ, VhW"+RJO)H;k*2n-xnX}oH$T4mJLg )hYMY^I◧W4zDx`"N*Һ.)XۖQJyKJQ' HN \r[uĤm"4l6" "d1zz'Q =a2 gKw7*5,1 -&+yNUӨ.¨=DdZ@𘠭҇bEYв^E^{Ko{wmzPr\A  H\/w&Ԥ2k/(@~^JWfR᫕^ [v쁸R2TVzmCd۽&Lb6qd/1Y!_iŒP+G g?=QWv/3C! ^xÇPJgәѥ&t9 >E+Ko#9sΆ40e^vZG-6Ji$ Nd`>':V?,(e]'Qr9 @\L"TtPu_Vd1I2|o,rŭH041JM~$V 7*Hmq׼fZ12 7ҝ@r9m/@ڻk]VxEJ}{RA+)'] Qj(EQEWʙ-9f"xuu53Q*BNM"̿x .YP}q˹F شkɽjV!m2cͺw=KZ~-KTΗMtoM1!}{b"z؍|O?8/m,8Drg:&*nH4PvMu&bv $`) څZ`MLC|b+R4\fo+'ew+el`i=qZ.2ik"]z/LU’ F+uвB|S :^ PwKwĹ Oi>wz=O [UP~3 f~uvaP(x ܳN0'5U߄_B r-"gOhA{H;ݻsc6Ł?;v#JzusySZ-ޘb8_ik|:nXJ Z}pV.ǂfoLO@FXC+wrnk9[."yI05Ǯ=gg\r3?` rms0Yφ"1::o zf *m`gec.+o-癞LQ4&MoeSŃ7q5$$khLEp.dQ\fr1v/ۿzpi@<1U)7\䀞cU,c'~,svǫ\-cQ)}!,kYX]"xMjD v[XO$b:f:_1EؿMy?uK-@uƐٵkyá4&),DcVtIհYAM_ٓVPZrB5j1q hybkd$Ud> 6jf9+^ N S:X04X_=܃!^*' jFnl @%߶+.']VV:[<g*'&o| 2jR.W$E+aO)1c)}vHSUHL\\I #`fy.K^IQ->|kE >2ez}M&;6@.Y8NGZ!WKXJ獒DIm>oR8շ5=GxHj"wNQ r>;-S<Ԏ0*rW*dpk_CK {PS̆BL4Q5-5R*<}D'E+b)곲uߒ)WU$s aA> ,|?;r HLaۍ Z:%gb-h tt+nfhM0]Z'a:im.~)EO\r _7xE-w1}gϜSzWCDOvB$#d5V*)Vlf`$M{GewuPDQow=| ˲KJҮoWȼU t`l_[1,#)8Rݺue9h&!kG7K\hG;*B$Y&z'>u$ 6EF%iId^ @Q"짉Cab٨*,D2v:XԵ(y{iErJ@I 2ji郍ShBZ];'TuX"xՉ/x5iOw͗CۀXٌ > |LVMp6OcZ#IiR٨X ~f%,Vq:}//6;1ĊO 4dӳFԮ~^V7{2vŝ(D$ЕE F53Sk!T상L ] ${ℝ Q0c(2MBaP%9_'yN%غGdqt?{_q}.TN{g\Af: LO~S֐?{JkaoA@c* }Mh{ruċ\k)N{e'tra5{aMobL vGEpҢd?7JFn"?F>ߣyD`ꛮbw`%F'yW@/ s~QTql@ǁ4b'zS>)][j0v[2XUyP,nA^+( ]$:K) "96Na,rs!PSܟ b-#d =ܽ b6 Sj '[{31_9+7=ҜA2=]V6`Nm`M5jC0gmn)"y~wՃҌTg9!сJmŊ~k+}Tpd2:F'^+DRU^9QO?2}&@o,idRo'vNC T!ۯ0!TtdΛ[GF 1œJ4s%cz; BpmjdMV85)ɁH u2i) 'RhW KZ ̮F'y;mkad #*@2 y%q,3Q13Yo!L^Zvp@?[k IJ$➡ܗKrQ<Wŗ.e}ZaV%T~üat \{UYeIBj:}TH+9PJ7Ȟ yM ST3E7]ܶ:z9a҃ȯKţ_|^AȜ<=p͒<@zr;7z̽ΐR2&L28GR qAEވ&jqqgU& ͅR#҃袏:@*hzX1E輧P·7v6 b˼Y xO=OS9[79oBoJg~,_tDjE}^\h ,=oaysDbR,5'A #40> a>au^JQG1X)mFW2bǰc6VoP:s,7i r-1]sf؉ #w%\te`^ ˻4 lm\x* /DdBJiNfX[*~uBqϭWmpv]BOsM8!8p"fWVOAX^{z6ſ^0`?轲](qdgoʜֱ#:F@1^jd9^YvƮ"䦳FP߲%lhUCRu$h&"ZEe1[)XqwAU 8$lzpMK'kvƃrcҜH(K?NF }>5XeQz1*bf[\zYt̝'.* ptT.NQe;EbYIlUh1H1YYX? -ƙL pL: P[%o1 mIfS1<, Gԥ$v'UIQF,Qg{YECVߡ&0]+ۭ,cg-AroТ=jL6f{ ?B :Ag͕ءmLmgGxd'nPntIj`sMwlE|0ĉ^`CX%yY"Zp˫(oYdSf}i5D͇k<^]DZjYKX5Ģ&[Ӻ^{tϒexIE!G/u}$cER(1ɠ t;Do׳?! ZH*q=:v$NGKpejO&Ӊ.C;}\NvE>J=WIžf+6ِ>0(OZG`oMI˨XxA;̑(MS]U|}\ ջ5 -Sư=z-l,h̠!6/,VnMJ8*snoC^H[) <`yoi @Cj:80TVF5ҡ_7k"8ZKE$H"oxI2f[3js'4N"Y cG\Kr;;̇- (|.rsP2ۇmĈUk<\wxF?}^%$*_>IY]N7e%&e٨%&`\L@wV & ˉFqIihDk%h%qR}#Y8Աʩ>Z8E9ݔўdܾ@pq_iۙ^ḽ{Zku.p\z% Tu;lˍVzYZy]p¬Ek'6avBb]*OjuXNwZ7/ʮ ;hz$J;"sCXt ̵[WL$)"P$1X-yvF#OsmBp$Wsrj&65m<τG&J"OŐH*} tRl>tlPB^= 6#iP8 dh| +k<14M1 ]fϷ}RB'xD3tlpyoM?,-*?5reǮz_5^vϔŋ3 kqs-|̅A 2JK2rbDO{|jhx\A^#G"|ajobjMsPNxT]*P^%_5FdO 4[;{v+,}arZX^ ~[ZRꍕG؏h%rSn^|T |Ro@ {|g o_%s8-;\'"_,cS.ڜޡIjU! g`Xi80?myr1)-C:4!϶Cl~=^ů斉oa!]ZG\!<;Vc&}j{ai} ސh9b`m|RA ڹB 2 [yQ p|*d'텻(E:;mj x¨΂KkZ,"]tGޏR 0N笳fsQ`/=Vt3ʹ;ykp!b N Ehb֑$g/ 4MXOKR$C7We=)58 ϧ-*jE?P)V `;-mO7M֎lNN@;ُ/-uG{Kd~ k;[T."7؜ٌfb@K%|Ʌbԥuwm s ʗB\`"L:'Sl˟G0Ȑ X구ThJyÄ0Ŭ}EVk:h"W9XeǼx$D+JCY}>r&F_ eIpVO/}w"}/MѬ) wY@_o;S3m^%$A(pȹ?vb%fKdmt|ƨ̜LZU/XZ 0)(VĀWkb!=,Tm;r=1HN:l?.0U 4"|;K2Ъvol/+R,i7L[U]0=hw8}$UNf<%nb* TuwmL[ώZy0U)eS'/Ԙ4w'a)s7ɒ$3+\m,'n'/QRh_e#R3GנD'wg.n4'⯜3J\O#mqWk::]}&©I</xknB08I5͈ :a'peg=WÓ(OPhx9 fDt9-uhNXpDmgߞ鷶P~Śt[;/Hrz2kG-7TD _͖kVy>{k`zӴ/=?H`adFZ;TZxJ%~* zr*(T2{&zt9˲!6; ~I.S?g'RQoZQXИ z"GFz:'pmAIFg&Y ߗn=@XsS#Tvŕ|rЩȲC&KGZA1ck?:a.].@ĞDM \%Z FvzgƚP8oI[rӷ;WRεZ3ܱw(4ʶ 5RHHn7OnD9>1 @v O >xMVS!Ү5R >BQ{3k`vN%] @ԩ &I'$A Í6)Xb/X㻄;t;{ 63Ynz\⑐E&6Bw}FkʔRKBoN';0BQyK Zaf_Y퐓cg{+(z?{]G8Vk|@k !yk`)%JVLVHn@a|ξo7/oygvKWR6OP Ch!V^`fZL @נC1z08JːĭYcLU0n-;񦐴8 /0QFm(at 3Lcb_!lxbvbu20FN{ qGGS3-stp5pC+tY{Jҥ3C8$L` r^ײɋ5e=0 Xݝ˼oR*A8}_ok̖ OU9z 82jl"g&EyߎȰ^Aʹ))# ARĘi#j޹oҟXCXFp?jhu_\ZJ?:9@U|+d&T l.h$\5$+)!hmF,}ظz Yr%Ť aUT{dEʜi9)advVleݐQTMąc#,JJUי.PbFoоK5Y$mXtʝ<.V@YxZ\|!Xc)5GKOJԓ :}ktVx_ ?嗕`ZXCVKdB|c>hǺڒ^ImQRaxdFk9ձPP;N3U'FYJv` 9:Nݎ癟2.|yccbB2.Kو;4R:IbP`D;5 aިë/ (n .>_hxL58)ҋW9j=(loD:oe&.G|lWC*.=r3&f]5h=*Tz[ܻ.5'kh|ni?-O뇚)ӊeNf+Pi)KAF=SM5+-*>`4"\/,syVUY&F GF-70EF-싔y[5{jS2iJ&'z\+ =mw$@v xq <|-/؍S2< N0`="^1v4L1y&Gr%QF}@Har#fgaXMf-cIe#Z]BnWK㾐ªւF{|m]EKF{A. %cX ,yNgb0of3lݘo] &ޜmH V'!Jmgxc uW@DqGIy[ra|T-$ɒ;@xx+hѴ'/jŋPQ-4ʮ 0M{ meȖG;ˮ~৙vf UAD#W6۷J=0I¤*r4sM]K9hH[ur :WI/[/' }lQ>'cTu"2ԇFBوe :uЃw .Sa2"w)y_hIK##A %dmѠ~fR ۓ܈y*&M9Y+j!&˕໖9㭄'NIZ- #2#VfogszcD#}h$UD ڊ$kZ2eatmMW M5;XOQSv2W,;]*uU#jdE81|2ǫ╕"*piXG:ˍkvyʏB)¥*ޑ& 3_-kaSf I/#xclu@@@<&B;LzdTi%=fOHR33KI K9Dd[Pq:QD1f [±n|ߦΦ zA W[]C;⥣M4SgA+os6x5 ra`e㐏9Z̍fˮF&Ͼ mC^NtIGKr*/$"Wts='y'!@e;_hW3\FDXlj[<~R12e6I9'Y㙁hv/yT  KuS`=AL܍WSi*TWk~E1MQW2 ?|_ЏO-O$muꀱL(CcJ#ޟT4{Ep 6 f&oxO4?a[fJtA17A|MKK)` ׷-Vɝ^ʹp뾗Ҩ+N ')w!2]sQBA/}&1+Wu_Vlږq!KNY^ k[{KDWP3x@32k|ɨK0HqLUk_yT uGXsZ78"Lm0f+SM\c@MܒWS.W̍z6 EbbZc+?^2& +2ba_ip?PLCf*~8x mFkc~E)Ьq0QREL-'bhDHPW,EQ͞At:jqUNTwIV[fX @sн_/ PuB*h$#F#o.w{PUvizs$$weL~:Xɴk8UlF(.6OUW"XP|"vCvhYN| dۀT/+z9$f9}+/ZLMWSgYQ"RgPBQhw8Dz=;O-N [rL٭d!*&9)͖G$J"4h^\S*8nh8؜H8f &_Rk@6**ۜht1~.ɫ.nDfZC^J[T( ˑBnD(MS_OCzұWs >\+- GCQ-3 i0sנ]'{rl J4ulFoP (zW|D5ړ-c"+ /YR %B7Y@Nuhߘ!'xne4#T+#gAx踮Z."?eoK|(|^MS->&$n6YiJ yfٚdK}yBX67dx!m1`/%5dhNB{[喙xiS<-b] 8e Udg!CWZf3|&0vJaeKxTۓVI#2~>`Suݑa|ƚu}@tm3 kG,~|sW(7p *48Tq5ݗwC'u'KiÏ^9$z%ȭPlT6!aP)a ;ulhI=P;3W6ȕ .!qRc+r~Ö.lTd7#C(ъ̗&,Hq䙍*8XS4 3tr 2|¥A<˯6hUv:KѳPr倬,z–QR9I=NX ׿Co*yc:#;ֻG(D?q.1CЕ>#qS%C!T%S7A*<ΤgMHQ??JZ\v#ndgmRŵ _7 3F{0ս]^$tK.鴤l1B./r>C}Tq vӶ}boQxkZEnGV;(=M&sI')CCAm*ˋ4 (UmE+e #Yv#Fip⠶6#ڟ̾0j\@vgP r Yvvp?L 4첍YK>&CV5?nWIJNX+ޕHKm)%lryТvCOc#J&[|T4'gE{9SA/ٵ&34W!G 8@[$p&@2}Di R# g2 $Lg<͂ufI lJ 3u56AsO;\ D2H5ʂ e@0D%2Yg޸ ɼVBN r7(dYTyݣnw $u8wQfpT361O09^Ëu(\6ϵ1dQ#?Z6[c#4DN#B%t^Ll' 60Co녲6VusؙL xfvaeKIS+{vLrC7b6*16G^M#1f5ۘ7|H7-({}%Tf‹߭#+*\G%P*`HL*W1؅eZƫ.][Oœ9+}`-.3̱b\X-2&ȟCԬp2!~_˰S $2"qsbpkkKeV+B N\Jq β{i(wش|?[2ppU~lG`dw8I sʫM(w Aw]g.Njifa B^a~F?`Žq[*&2AO[g]_]hqgrP/Өh\IW4>jco1iU  _rlW 3}4STyLq<0K)5!YFK=:GcD<(?߈鄷=P?}̠L>1Sz S4Q v.V*AP8i$)sֺDwq aG=`[&>,o%Ro8~`hG~ !dB"_@jHټ A Kڵi%}ky֤)]Xh!A |"p׉eZ]gy|$RX_ B&5*", 99bZ+4M +n^D X)-If|%QY2r+O3 gnw֗OP",6>B6@[? mLZ+vJDHfJL T{vXa%-̣͑PnB`2yU Q ZLB}Ii8 ;s^p,dvѧ:{ T:I1.nago=35FF9/V [h౫d^nxiA 2>%CRùjg!r4W9 #[%f^7t8C.;|/_Y7ORs&q ic{4g;}M1buՅ |]Ai=ikHYfI M/qVa!w j5Gv>T3fщ)ą @чNNh|K c +!Q!`Kd&fBeiv31zר0 .[+ȼ<^} eP@J4`L`<w$5nW13xT!F5=1 ,ڊ7tT\ 噋`R_[Md4;UPAŰ<3PL,ݿXh٘eJ;.3U[aU9k' 5- /s}i%FN3&ю>xsΘO |߹>?%p&hImR4R Mo,jvxK&(} 9l 6Q|D}=JprwdzYCH;av_,/N>kי kڱaW>+.?O "FIDBxh=Cnq'UK$x8tM:鷄!ㄆnw+1q>vK2Uc," 3Τ)cU2]uDr{篂va@ zZx [xcCnЧ ٭-blNҠ yW{MqRa6IFE-3u|Cp 2eQ5YT=.?V#bē^e)w(;[ol7r1le?5`IՖdoFeVy~~/;?_}QMfx8sߵ);u= o+xq0œ&o,>ɛ4{XڏD E-0?FKcg4Lh?X4'MPlUyBu0ޛDhM~D dH疌iu A-%e˗"f1RKծ(ٗ 2 Kf%v{f[7gӥr`͏@^}ˎ{F>p;'mo5ӠAKN\PUgy^ݷ3 !+ƊtK)PajUDYq~QϴԴsެqr%40gLҠ^>H2cCi-.AϺ,O찟5rQh|l{#Mn &Mh1&ZHrن/s)G$WPcKIҼs@D,0W}jt>qdpuQ#2m:47g;b5Pf=Y۠P!XG8d_13֡ ە@[Ki`46ȁRw:6͛c^mx !Xt8 tw̌u wCoME QT[OjJh, A)9[!>'obiQ~S3pKl_XUZFKdg 箓0PYmTcP;ީ)3 Ū Lo^uMk*CPc0wI#":@nΩbee;ɢTq-gT+.^yF42~нfL'B+MR5V ;]&J&;Bo-6~[A5/#b/6v/dhUx8G41oCrX[hoP8[X-!|S5&ZAݽ01!:Yf!RWƪ-Rk>FJ DL:G5r&7f:j|<-}!ڵ2d-$=A(SC.y פH bH;ҭg!qw)cu? ۄ JuFpɧ?29"C^ZXdvM4ң.:cU|枂 AJ-E2Opv7pn,X͚tO+usX{AK@MrkNƼӓ ɳyzI135EzФm$XtN3E"gؾ)2bh= R*ULc٬Uz<#, Bg_܈̟=xY`0R:6<+.X_xXjD 0RhѱӆG9xǫAA}q\OEO6uRWfȟ$y0v2ǐZ L q-u)1R||PpCp Z6|ۛ8x[2㡛j'F@J?zr n qq,es9+,J\BZN.F=G71C%c{>nz}Ʋd/ "3ۙ.Gcoהi?c(c)zd d$VARk=rO5M[>mVBV?50N(,o{ExQ?5a~g\!o&Jiʞ3g<0.*-Bxs{6&wb @װ. C mTH͐m&; Y%U}L*F޼%`&~3$g>=_,iGB^b\KBzsO.=W!%gde&|Xsu!QC֑?KXYb)YΣhcг/` %v K5D )Y7kVEk51k+@䤤:PӓiHzK@YrαhXЦa W`4B"b|T٨5JA!/eb*vߊ!}-Ho4Lk۸6WBMnVR:9na5&N;TPMܺsr䇓,.N60켳YFZ?4=)2^ HycA^ P`WGJ$?tӷvt7w_75Ebe..hAKqKK|͒6ʴt@Fr>a!A87Ro%>Hu?|jܢR8ʖj 8!hVb'2X0> Y(fqӚ`&p}MAf!]KR5%Yohclx y.L;OSfr.ZuUoFwp8׮_ߐFD#(s<{PL1qQtd;68BYt&m+QQ:Rԕf2߄4*w|)⽱ڬ_~C*$*^{SC7= N?̲[^Zp@BD}'1Cdw<5YD#:uL4 I[n_mcQN$ed<vW4re1Fm7I؊3Rqtﳔ 'NYZKj2 Mѩ5L%DH՜(m]GvvhbsEHn/u:pCV Z:7x"InWVxL[Fc^_Or{iOK xX@h.D;2Pk0xנX̎9#r?VEpK#4Rusc)/2]n5:m7kFj_"z??fM(z4sO>EjJÖ{Bx̒-v_[\Z7m@qE@X^2̂<20; !%S8M/rr& ooLwD,vX` `5 I𰪪kNb|wD1{}^FJE+Smr}5/Ae'/"/F^o5իRdQz>%JFa<;rkhQ]zdk[)҅T &@j)`om%Ҧqpb !9P 1װg ݱ`] ٲE&oL{:k̓K𨙗aGP%B*^}5@m혀sʬkhK`O!SX^B2h60bǚاZ7*fg hB] !ei7,1;@r)!nQ)/L/;C8;GT4BԦ ,Zfi8ߡ̭{ tN'ڌxK3qb2sҧ]wa7xrPBO튄Kۅ,%ȶ#J|x A54'P` | vQPvSX^b}WEyg(ZocM7z=V]Tz` }׬k6wF?[B@+~͸YF}&9J9ҫ^؇~l6*8 ~iTSUؒnj K,18^b\!CT Ͼ(C1)a_n^32/S]s(Ppz o&?|J#-.7h>XT,yу2$qU~d[F–߱L!&{7$RE暛DˆiVSƟ' z0Bm"Ѡ]!ޠU1IRpcrw?y> Aʲa Z1KغK Q`ڡ01Na K(:~xD~k?[I ,Q1w]6˳E ]bY~aka>8hTy~h `+zRe#6d }: ___K|~U:t!Cуe7 ,.C=ш8M2 n"%cνSr ,e޻t,-1r:2rݘ e[d"pkloQxy , |瓇?Bt벑ƽP`fia}~fpx R2\QLa='I?jTXxaկoAZNQv(eKq "aT_&̖ԟ?< _e|瓝t[TwQ :QIAmzfV$Չq@9I N*]D3tjǏZJF`(%*D16vHD[K,! 2,)`mPh&u 1/ƖaF18p>zۉL9gN`g` ÂA`̌:DL;K dp݋6|rwafr욂Q-x$/6r&lJپ S`J>%!=2g@OGeY9,jQQ WbIzLFLVѩJG- r 9ӆOULzF+ʾu^T_b g5x྽9ɀ<-~3IcS{A?RuZ-Go y>@^@ j-ҋr%:T]RSP9 e[ Ŝfy8g \YC`[*LR2n,dǟ 2iHj϶<#^xTg⮘ҭEg1!9{K)m'$hUC{UGImFl;{_.bF靧kD;MWE] s R+}8!p]<`[N;u?s6 s>/N/c*p>%mR^:Ɍ; Υ+\u $ PR U3f3?Tv C2X2OeBkP[U,scW9KiĐWb>\֝nݢwLfk߃?{D2Ju14"d*>c.2sBN0)ypI2faAD>9)_wk(fAz=» vG.Iagu뵜z5rn |hCE%ٻjnqzFe- &BG%V*oT96LyQ*^tkGP DI 7'ŬmDm Ϻ%iy/.؝Q[!)f)Mil ζ&\6%5&҃[jf2\ ۳^Kn鶨i02e~EŘv*0pmLزxPq6OX[bcBIEw9.wuaw~iLi#roiQ"J1SIw/ 2ow gO:\ V~&$Q\)ynvf6BΘ5dZgOΆOI$8S} J^Q!?\¥ךV9I&nU*UcW0g}2S0m[9x)cPj7{eohΩO9zgWcߪVɁ̓U J45xik{ζ3SG'ģ_N?/6",8W~S;SO;䲓'mh66u Ҭ|O3;5 ~ Y FhP7t7 Pw@#DW6gdtLY I} 'A^,!Nkd"B8f-o3c c>Ѧ }ǎ{N B̰rlgA57 `FM| P!|1WoYЌO<޲MQ; 09.";cȁ9,,KcV0cl!{+ 1騠9w_a53^::$-e X#r {_zglE6^F fA''8G{p:6šK\bKCX\LY|g8+~ej RUTx$fq8ఈt{{&~J.TK ] ʟ @Y {wR\S] K*e%m.}r-e1u.;'Ѣ;WfS"<B)ڐd'5#!0c'G> }:p^(}: >,lŐ]!6{g9 [yFܷ2[ԟx3,fH4*Ms&]5z 'ZA7d=A}&8F>t@ԗ_hR}F?t 5̯/:vC9`(vkd@baL`+$sv%zQ2'5?6pWꭃDO}W{ߌG\`R֯lJa#Wߙ.X(76vgX'"e, ;8LK\6uR%KLf-]gQ= SkBSz+(TT[!NP+R\"CRV,sa#,j,,vv_u`N,Bo~ ٽtVν0|?=NB]gnՆ ,2ķ+%ov wtd*~H xQ«SKPm t1rgTxWCdK~Ky'Oqd圙Iƣ+XBTXT,+M$7dOl"KZ%Y<승$fXMDQzZd;Ba Fa fl *pY0FP{LL[v-oqy_"BP`Lˣ3diKN}~ョ;[YZ;&g| lGڝuXB تyU^Loy4 c~ye y%?M&n/Җu׊ˊCp'#}t,Dl}(a4#*Kq ^>H-)RmS]u8V[PsjvGZxg-oGeTSip6 VM1s:+~xޏgI8D6SՈ4Z2%p*9سʰpZrvH)iȾkW|yVC;1uXY*eV P 7<B]<CWN.Eɨ (͆;_.]vE$sC5x9ڊxOkP¹ RK" "WdbD‡WMln;U,ԤG8c#,ӿ16d"8دY Y0o$KAדkn;Qg=nqx8z0ppM@4 -*-H:ۆI 3|u2ЩJ2m] Nk%v;bQvś4zP}1 Ie#.v>L2B-_UC7NoګF RdOY)VG;5zP:K1 4B*͟7P|Nk"#y\}wy9 Hcs#:4Hq-uՏ;Y]b u/7Ьo2DZ`q6p1K eA4{|36Hs΍6Vc&h0y'>ϐk Č!sr/G\SMt%XFemHﲢ|{z GO"z]2})TbNP]1{);]3q$W(p WYɼ@TIsMڬ»yaKL46}ZEhrvXQВE\A^,|8wNg"F|⁞ٌ9u/nq$|).>`wI"+̄Ih 2%G$= K#q劚Hm&uPi EH5=?rϞM c`',VGXhH {tgƒGAѓ]'aǏYCD';CǓ:+rx@̐Zۙ UnsC r!#=YY$-C!S-ٝ:W뉍XaGd JÙ+fAGT0D>x]_;}kAƳ~Ac>?Q*a+keo `tBThh56u؄ϊ:~pg?sP_|*t3e<PwBp:Ɓn˳CbB|`;/EܼHqq5mZca"6cl]m/&]ԯB75 [Gf&c_bkw+ۯ]$Hd}Pe)PhWX%oR2 :Ьs*_$]Er`7\%U|\Z_v\z.O뱡 *V`?X􁝧vqR] 7 pbRSݺtPU?3ՈhSwKlWQ~^8u2x-\8z'$OI_ i>|v)^wat6<)pfa ixTiZрkO=2"X6yrWj im,G!O8fx`Z9Nʺ󸜢>s]*4!x!Z jLnt%KlO24bc4?4bl"b -XVz=w}U"3gSwr5l *Ȉ'?޽fxH<%\,kJ{|KbpvG-+/7y33Jkk^Zoi B? ZmlkZpT -ĉA ;;cĕX}ԛ>E_ΏX|a&\Jb; 󋧴k" (Xs36Rbj/厕h&A ه$0 r2qo7Sf<#! q;L=A*,eTQ 4YWÂJ{I5x广簠fDvî&0# w:x4Y=rҫno&^H(OdI0}{%us G7FLMHF0RBAnDE-9}9i.{ ml (78s5(༆"=NVZ6޸gk EMF55L۲Xgw+ ui9rJsDD EhSOP22zJL^p1}8i0@ 7_wHNl|c:H/ ?tep]0B *E;?06V_ə~Tk ; zX\Hⷵ,b/7ojx"J>1v~ϻ2O.Na: ԝ %:CI0i813DvLIk57Rq66e/>Q?*5+en]Y@D5hxj}~C=/w5sztLn!4VkU)VfXU(gj@\6/sz@W6лiJ9t2C{KhR~ h\C RfW rfCvnE:| |{)b0 *+ O|f6aVsg/(3{|` e/j'[$h1ɚNx'a/~jYP*)Š7c؀FIe1zI l*t1BTEkp@MO@b-.ʇ ؓ 3^`Ys =g~W9@+݋дbcn)g[%2Ҁ;,SDClޢǍ{;'`Y9`*Bf"a[MӇ/M8 8vbL? [iWM쀣jM'UgFX)?SU&Y%(kUA~4cx~ЖĨȍa y(^adhyߵv?=KѠܑthp jJDgq4-77 töxB _.-:AcO֊ʽc'ڦDUyWnC1MkWNh8BK^o޲vp_pDx|"UaTU*W_2 SKfS՜ UFeB XWeuHy{[!WHa_ޙChhZl+?FQ(Gd Km?M'JoӉӳeS'nXF2+㔋:IG)D?Zv$*] >N eu =K]a~aKDq1āN!,DZ`cnPy_gƁg056ߘhl#\LswT̰=_<׊\|GKbxc7^r|$*^tu [d% >w K?kljPBL-N,@2Doc8omT <2E?I#*|[OŰZ=JȜ] bAoP٪꧶߱t7y)d1HD%: vĮ*P+ڛdں$/%<0#Qed\n{z"{͒%r6[62ϮpHх:ЩPJRƈy%.rsy3LIXvNWwVZȐ#| FFT2ĺ]qѳ*=ܷ+P hFMن Y=I$7ց*p$#r8 ## k>o} ᒂAl_iEo ayh,@]‚_!Њً%[j3!.H6s7 Nycnc*g]܈`p *1y\41/C8+{;Ǖ]Da1TibX#@viep[l"[Y;ā՞'"gE1;l/qZ[׀ &U!1[UJ[8ϯ)dWSRp@5hKk LB/RUYڭ@LޚkwiB< =b~)9S*5rC8%v9SSݽ^Dt4!x[ڑ8\rd_Rng Gjt5G7MYOYA-RNݻ _?nSvĜ),PPmB,=s4-Hs5+:􌤢MG\a> @Ax,&_hMBԡe~pB.C W)7/%<v@"VNc lYcWv>|/Y#`؍<Ū}G`pX&!En(o8gE'. JmTdX:'gy,yE7^򕷜~GTq;s4Qp>rLC姓|P6,ѲTA`@zӻ,攔\ܰކ:FA֓B-[t^n g-3Iz ԒmqSBufm":ǏS;3E q(n~'S\E( K{iFS*&YƟ#>?II1!U?2ʋ*f6Tϊ5I|ƴ)tP׷GD;F*w.Qr?=> :Ӱ#/,qiG%~ Z*zFnޭMo>U9P ?U]5)XYk1d/b)T˹BqKmY\9Ëpg:,&j+rg|R}%FHepsf9)݋wBA~}Q-.KZ ?;\t~G/%〶\Rȯ:UU 쥋 p) 6AuD>a[Kմѥ[N@.gQ ԃ^%XdWR'Q⁥!~@iK_я ^7֕V+iCG/>ANnQAPwɾQkU~nx<&%,|8oX$_MBG{])>( VF<$v'FT^#Y'2Avz0 J/L⃷١DȕbDܙ df(aݙGui<,1̧WC^`kVy@3fҜja0X E(:4tU;S:ۖږN>-rna!!k=Fҽ}t'1!sG"YZEq`''{7[ ۅp)os1 E+i);;,Nݐ-:b(ڸNfi^2OG4v=D Ddwfb*;Se+dSuXbE.3rqPҘ`F0i+$82HfIǯqB(P}oNBYTkԫ *.zcc&!ިN:J1~wb˄dr=hiq?-Ey|! z #%9{O^M ٻU/SDx,מnXu9BV`f3?Ѭo|'N m+j/dOf5u`!/V҈!{&Ȑ a¡cb&W}CۼŢЪ~b_d=ЙvFˋ\j{pSǣ#:!~%:׆D/pPGt3:؟| 4ڿV~A&SF$AxUN 9pd\i5dU{[iԳfp9)aп;_Qt@Z,Ήff5Tx%Tco.8@Z7eZ@bП<!6:sO'|.F5({D T3cēoeydJ{櫓 OM)l3P49@# !'5]-ECM~z,FW[6 Oa@&[cu+v[Du/Ȟ^N,3DTD/ Ħ;.m`|S!$=(v_~2ӫAtԒK=Jѩ(iZ 7dV# &Z)U͚IkOxX,">DŽa\!砈eJԘt{gTཿHUnۣ ob y\,y݈A_<ޅc9d?I3r3$oP_l(mJ>!4Zڕ&x7V4uoPM;͠5QCC 0s2hWU Z1>=\ \N%8%ƃ s;F]3 } Q,!ҰTTVu0 X^#۵۷PW蘅{A*"ӐDLqD8kP yQG+Wr'>IyF*|VѴ!fJG4A rQQ5g.{GS'Ú+(hm9%L 7Ա9#vc c33E3H_pJęSV9Nn 9 ZnK^4/yQ7S/ODc%G'K6?8]]%Qrt=h:{:}2|>Oߋ3@I$̅B9J'i+&J`:( ~vH^up$\%Qsr&/*vz@]9'?Bu-GLnF1ڥnU]Mqo%fa{ٜėMB;o$˹jU.~t@.dU`=SFbi[Uyo@z.#(`'٥>Խ9C%qzHp^5M2}PFEۜYh1Ȱ̇M*Qqr?եK,>lXw_hpTsEXxM^ n4)eևP9gyLeC^a-ki/NdBORZʽ9=_n!=QItsSI^CCLK"lXj B[6շtZ_h?lh ^[K ma!b6hr?+rY>w6εeSkGmm'9iNgJW0H=E!;0sTڢ؜rFXOާ2g?WNR| yCjij8I]6oWHT{F1lY>L=B+W䘦T <"Oq/Ɯ7 gaTݏIinQ79iJH/2X1'p@NFCzLq)9&\ EDPoB1-4B%q{ZNʅ,+hR)->@KIN{NM$hҠ0ARbo0D^ `&I3W6 QsiJi e=:l-793>Vȕ\@F6֌1X^{â.,MMm闧6oNFt 1<ێzhOzCjjxl!|y|1OdDr,*4G>:J*1:#9  2,xv6A6ԙL/+GŰd8 PhHs2!.h|(zze7 r>`~^]Hvsn_$S_M-8:ޱ<9"nݝ8N/"h6T#X݊esmMP7vfʃAO6IXIg|qܚrO"7I g`pJJzї|bj}EGk @5;w0>a9Qۮe1ZIN\b0LjKrtov,s&Qln7\6+dDX3u"jb0d|&{~̽,(|vP u(w*ƺ}xvs#泻gࢎvVvZYmU,ZfK)7"&\fpš0iϪ8Ǹ8@žMd96cc 9o̍ky[qׁOr[9#!PG`˯ ;醪G7uTQUk("Cq r-Ԣcx4 B7&ekQ F%Rq4mxi`r6H"1y[E?l$+Fg@/C0=;( 1%G2'c6@C.dK䊲('pmVv*uO󒾦cCv\-ҚGOldvmf_f;£-l#x/~n(Gy4UZQGo(|?Rz`4~%$)fZD|*Cg>x*\VP8B.ɛK貵O5Eni.+Ј1r9Y: ,~%![&^zqj+ ;nuxn%ɀYiP4^ ]L+]辂,R,0+5l &k-N`Knj! /x3GP-ZHItxI΍iX9XKIyEKƘgѳ*SNJĦ HfVv]nw=QSs$뻖.+F-Eisґh?@Ǣ߾$!ycmGrh4ZTbn||&.9xm&&~YX=th~E⊡x`x=’D8B]ެ 2x@( ~X4=_;'꽨$dY%"̘pRo`9 U[؈2;ƚ(LQMzq 2nLTmcxGk״X׵h~rTzkC?ruW œ % %>2w` Pk˭ #9܊ 3X |M mIܲZ|{ $A1ȎKyȮɖT O,iU#[k?L5k0hY^otR^.]?xr8]3^O`nZk2suk(o– j7FUq| Zp|M!ţ՜Z0׸@/YF+[(Po c6xQw|{{5݉*67B-^scaYktSoG$aHBVqq)Vңx7~R,yY(43 JoHm)\0 &힇GTPt4͔gUWr`> nbB)`LWMXM\L~|W7 >F5foH@mápNd06wBH:z.됯CPUKv#Gmdh1F;J 89F9 -i@VǤ tR9W_ twb@5m&ENk 鯂X<"N} مookARa}yb×9$kyo-Pzu:P KZC5%M_$`J)9RS9X,mRA؁5ά-|HSF65@ؖgZ0Mk5wX1InXycu~NAzglsҸӁBPj4}ڟXJXPk?R6\9ޠ(ܣlIO1Ҁ'҉}̑l ,!AU!#V2wH=[W5HY7)jZ2#O\.e՘oKG9i{cq/TKߴe;1vVn^UNvOLI݆ļpN,n~(Wh)T:,_Rtqrj"BxvkZYU&UeW16)= *g7v4g-Yj:j?M)\^˸]NS "u6B<a:gTA83io͙2izh3' |,I#$g"UZnr#@&OJ1 @ݿr!%5 qxD|i)qw*1ć,oI1;AEñЅ)@N-xrC(!\1w:FZ2*\1z+rR'OU&\ȉsaw9zP]QjAZ!ū.JLPhK Wj2~G{SC&8)QRmh(թJ\0-STZHHB_A8Cio9|2粨59a `w~}XVMSh跷F5`| b$k-Y"\?$aS e;m`7ñgYZ BBN7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_id670w7G' lHOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messages7zXZִF! rm]D?7 {?:fH\ (odm!7iR'~}5x-&$@s&fWDL^~ryoK0mpuThv勎ָ`{_8s˔H^ϲ"U,:zR"R%ps\ʞz%_3?רF{$iUPācWX IQ~ $]h*wzr*,s{է Lc'hVk1i!{z_yJP> B YtTxwr¯q(Kn#1ԾڔrC~GEy؇tJ, +2  BNDӚ_;e2sNz0|n=A-]Ŋ㓢PHDŽP.b rzAſ .eK<pUÏ# G8i'Ӥq+t^A RDZSbw֋FO{

p?(Vi{޿J@ +XzwUJS:hc2[0VS`ī}ٿ3hH"39}Nv[7^J  2FLy7K:RW]ilqQc/Sӯ\K'cZ#~/P';Jn1 #F)Z> PO>+bpL#QN%d+};ƨ RI+-0I"+1tօr/~ 8.gXpI"!j df b? CW^GHәi2rεŏDŲ;p&ې*7bOf?Vt+*Ry63#q~]sac`tjF;s8`^_XfZ/ 8`#uDۀ!=.[BdoT벌/25/XeKU R^ P*NeSzIcܗ ْg@rl? uHuiPV4"}qTA'1~fPoPJp)Z^@RڋˑeyNe`!Xo XA{F=N2'u?%a *cP1i츉i~"Gr-?X~tmL!8"*]2 B}h~qR V4/5!3A (csz'[p} F!2 tδ>y2C >Y-+F~=_\ 2o+CmᙂcC9%o#՘*e95hp^;Qt VA >_f׾魤PHK!8젿@pX{7D-%d .v3Xw:Ê=7`?77vKE8Z fߘWi0GGV Ū㐆EF*+N+xJ`2+G xߠ9#HX 4obckMBU #9!Vxܯ>.(~C^~]/+ n>ts8Z^!}N/~h%\ MFCL:6e˭+ 1;W UֱaA #U8Dg_m=7O9=,ͪ?\ke+uK]"MHWs>iPd#Pq 璞V2 IP˳_㨝?akTm7?;ԧ??(ȧ\*r#YV3]tdfyEJJ{p'k%}Tm>IOҫ}A*R>l7^)°qCHS~MU4ϥ.!| C #^%Ct9I܆IR~Zޥ :LXH S@ "j!~b ŏE\MAe5I0tg %v @?T24,X6t1?|SpvMS22ź%pX2|- tSxu!:h6}S^$MT~i]'Ww}Aޫj%q~s,KyḦ,XfY~+97pezy#GүK;BE5y2UNJpdzz/o?]/{b mAUwh`<SRwJVw=jD,9υ{n| Tu?ޮ{?׬ϹwhX׹ ]jg?Jp%i5S;2Z 2B-'58PJ.׬;, y0aʯD-S. =mD?V%D&Z(yطNWg$؏a9*.&D8Z[> hci탖34eK/(ܪ_PrݲO^qJ^mਪں1-"1%8,)MYܜ4eMClwU%Eb&}a)RNJo$3/t<ҋ+q {ʕi\ۀf|+g|Ѳf~\AmGwÛq9^f#nP&.LG8O S_+73G[$j9 VqCr<7-> EoE;vȧCų!'҂gs,yWܺJKf5S.}t@ #'"l`6 Qq5,RZ6 -YP>k1q[VFlѨoSjK. y~D@> Qk[' VklgYZp 7K# \HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markup7zXZִF! At"]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5P]Vz!b(ɧ&HGyYsY9 "| 4Tq?48TxJGp5yŗ4D`jcX:+< `;ZYA}R\kьZ![pamZ) Q 5_Hs\u#2ɆHLů@ 2E΂=W0Z*vՠV3'* V ûyڸLh F[8T-G۳ 0mx0μ6TH̠2n\$5$Kt&͙ՕS}?>}xxŸ`ӓ<zOp.5w]${lx;) ܉ ÞČWѺ&M(&5KRR@]7 e\i00@1 K1+qSg;Q)HX}M kꨮ<ۈ뾟w1fL3/)·?KZ器shhl y ?;U^ͺ$m  Ki9!k%CNA:z הS7[׿ `KTazd7=fN33!7WˎC$".`|bQ qWnMM3B^/2o7K!`HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/files~~/src/HOL/Quotient_Examples/Lift_FSet.thy3!LoE !J_k4e569{5bbNB.ʾ.OX}5\n<j a,H ]( DI-ndHmN7߱.EH(gȿԜx -YuB6H[LA #)R>C8-|^,K&Vnz݇]S5`9L McZMuAd]A: @y Ы +f,0䱞gkᴚ ײke|7ܥ͋L#}wqkȕSQ y3-8/Aևj:rhb4DF"PMfƇN9H\kK *NkJY5M{ػXoiH*:_ 28F\ ~d=y 4Sn@Qܪȧ33s!gU>g"%i^!|wy\d1.UP׆,2Y^/ݠ΅~wm'c6$\^MY_ƁRd J?z )O4 WpʣW@kwmX.l2&5t,I4E`Ivc|K'SāyH|6?ȲkŌFkj& e.$K+!=gy(/fK[ {}Mee9vn|HU#8`*lh-X_ٻ^gvn4-P!v#kPtH e*A/#m=s:>P$}N6koJ}7V's.>VF-qjbҲ)zfSSIXs1 2 6mEnas/P M+MPF~Fgh % a ul+4#կF:L<\8cK@W$1 C8HslYŤfx;H`OŦp!*鶎ut=/E7ƘA^ڼq-Zwo+3v f2[_4ҹ(GXub 'ۛ4OUshINUe(FlHkGQ8|Ab SC0O%Oi]gL-o89|k# huҪ!meK Fx6[L*h=2_xWzL %j9oP~igFcYQ:1aO )31be'7 մJ @9WW4|HNh J`k5X[x`BOcUͣp\u'bI.?X]z_9 #M|޲F/E㦤{9O;? ܔgtMjWYԓ-[v<1 O*AofFljPגI fld~&C`Dj-y=VCwO%Ns&L4eEsញW>lCJN)๵$l+OZL~6ɓ?|-jӡpv2I"`F@S}يC%c!\/<{#:8DFdq~ fWYsZsci 1`OhER-!X ^TNy6zjϻHNF-炎0C{ViM T GkkҜh<=rַהi(f#_4B3֩cX;9+K?'9?%3&i, 4Y/.hw4e 20+`j ,*=s+͟ڪh[::BJJ@+fo4Z+ .IN_8 1\wSDw#ױp)!?s,$Nw24ٍ!i/_e~NGO`Q[)Ξ ?&01YpN7`uY1Lv7 3٥J0 p+ ^}ZD|>APlв$[:_f_u s;LHu8Qٞ[?wgKZeyY0ZK屨qc,?&E)+iY퍎xhz$r˶[.εob(V4/zH8 !@=R?1BizxJaR$ָ}Wz3Jy.uzVv|n(0m3@L _2qrG;ad*9`϶B6Fɜ($鏡˽_C8q g#hد =1zʊcwA6(+W+0u`+jYC03 jtCZ54+ z&lyD"pjA+%F/_1} :h'6?E[:#Mf(}Ͽ#R_RXsgelR'[|̗Z60'ofܐKNA,7$7N\}-$ۃ;N0ޮou>Jɝ1wg`pD[)knx&+1yפ!r/R>Um^U 5[oUnL`KlT$QƵ[%o/<"D"*m+E*=/c$mPthy*`\Y< J'(x!JD~[wy:e6q) }>hs/SU,V·%T|aJhKbdraJB-R7,Z'F"\Q$~`}@LkO7>WGl˪dRP8PO$Svy+VuqqS/c t5bңY>%"75 b|LiYcJ/L$-J#bbV)2̷;I+57^Gj/j"ͺ>r_k̎˱rU4M$5vC"r |mfH747Ą%XL }+u2FmAIg>X]s4_WA.:HDt:8=q V;9tъ8UV|L`e[p./븰lQ5M6@y xjfb&"_73i9/{QsOQ@$ dZ V@/BPqee%'y2ãcGS>KθRsLw</MM`*Utf ^$'f1T.uX z`h̯3ɉ4V~@=ّD +y  E8W+o63%Nǀ,Ӎ buJ+j^MA?1=?(n6sy<"qS.PIDA=aR&JGC%õ9.fH96;v>*|0@%v-ލp6G]' SkƉ7kBDo$]fk1T=PB.摇 _~2y8\,Xb>q&7@8+pQsz^K'rIzYr-03F5n:6A|ݞɎv-Hbgr[?PEFgBn]ptD,ytq{vrpt%4vOSTzbL1r &q 2w!qS8s3_zRR'W* W>I2O"Qv(bCf1\˚~?OGr"(#> z2KO#O$/ۛ}G\mneAiFL%˕$Ԧ< OtuHŎe3eˆ0+@s5joV[jŐ5%:N&b[ Gl3뉓Bd+S1CM߂t.-N7t9{.L2"`ti1QB31pW7i^ {QOaUZ5oJdVExLǷc[v("Կ_3{<6*kmi^E7}YuuJv̹y^fYZ[0[EV? yllHFn1Z귤₊p&nPө?݆<*4m|gDS]pkfJ$Va9(0ĥHno>`;D\O"G/'ZYGvv_QBM?$myT9p/ѝ'rS^wtso(AxIh꣌1tc|.(1Tذ '<&T$jWM)MdK vmU Z?cvN#DY0"WrHlY9M!g<.JCТkߨ=F* ms^39Gx.A zYP헒(ZȎO2}tŰ(<2+l L# TzOn+B$ebC7&w̑=Ewi z!L%>aV_8l+/^hΤ@7`` yHoRuۡNqjoKK&K+ŏeZ.#RXCpCy ̛VK)Z*ҳ@69WfS"`foug34 'zDC~g&+cIx\kQC ~0J)A/txn>Y/g]> 5XkN-8h~(3VBpC %K>񤶰o@l)v%[LKƊ]"J̽ #;L ADYWs9.^վԲe;Y|kŒ5[LaZ&']\n-~`!Œ5ۥU$jYufmd]_#|j=M ^HhCP{ѼO3k wFHV@Ol8X_ G:>0,G" ׻Kyts;}`m3Զc&r6ZWea yZ){GhQ#2ę%c@Q:<+^\]ci)60͔D\eG$ՁnmA8> % |i\?BlUn'ձ?SŦ<-~Q^ yrW; ^Qߤy";Qm'9b Eưò/16|҃ɇ$y5:\Ϭڸi8YjT'ր̄~fs>o ȃo,G?FiXt]$.^;14c0AZ}cޓ~6`ZLw2P[SYъˉ0{'d]sn!ۧ̎1+4.gG5ӰzFQI%y j]|;qX_ U 5Og~@>ƎO^+Lka %D?]P9f? $f)H ~kU!( ߞ"˫p dPPz$w$tSIYI^Dƈ% p_PLMT>)`y(V3NNxn.ͅ|]uM9өp!zLոh'v|JeYM^nʺ^\`{'ܵVp0oh2u'PFҺR?zl%*L.{ufdf98/r= iQ<¤u0Jdt(q@~?L4$Ju vYU0<@ Z.]O٬ڕ\2^!ʳ! eUqVFLy'Zh릭-$~Z +EDt+&8)<3w2xL3 h"[/ 5djmSG8݈PV AA 9_f05ΐ?uEܩhz0 @Eٖυq>,h6}'^1ùgy*w8[/ٺPϩR‘Ug[S(G)|+8LYm 8ALfu 67*d%IqsIZ}垎/Y}+'Te[a)$8 IkI,Wh22,5Vw #ֻ͞m+4# w^ʎfg[ilp7@v)8 xa'҅r bB~̷ܽ؋PV%PgjxLX66էz s+FtT2܁]Xqq.Zl 2T;lra!n <翽+{W#PG!+[y $7W'0?a dž+<BR ,AikԑH= qV&3'4Aq ]cpiiszif[ xZ0ͻ?4@ MͿrC/!W_ھ6?j=aC0У}O8-lڵ߇QF_r3:SrTZk~'tUA؏R&PYF*ՂX̺2Jx(20Hݝ"朗]m&\seex/d@uݓ]bDGpjuD&p XjU8P2hv䫎)cV.ǔg !ZɆ?D+\id2 <8mG:BU1 0T쓳HߜHlɶ}kFN _td9xf7k(Cj-C*O_&6ї 37 BšQjf⅁b| gPc.Yp)#T˅:, 7]0ls"lgb7#wk\ ʑd!tW?9& ]%>ț7;vx IC0r 40ow9E4OeZMOäk+z%M6fp`i\ԜS}HXy'Ӎ2#0f Ea@vsɡ(~[?DPUDQ?~Ie3kw݁ɛj^ц]rcba@\3,UR+J̮% X ~qfKj,㨽6(> N,s̠#QFWJ.!25R+Y8fKhus>\=lv퉻O7(%tJE%g2ɳ@nE޲ LY<8AdIWWUJDXLxt:~ۖkc9$2_iM|&qEd5joRNl0z"$u!\ۋ*ĭ>股 pXa|p*%+jl{XԿԵ6:緡z1VuxpMۙ=BSɪ T&\ % +(#R%d;c=YQױނioKǭ?2~ݼ&M3(XqB98aPb3TlFS=UÝ,MUs;3V=LcPg{iVBu@ CSUѡN7U>*#[{,7A֝`vBp7Tt1M|\)oZ#)ezM2b7dj;fXҵ3[INh>4 |%w4HIдөZL 2ffy%ɘ>|/Ӄ*CbwdG[粥/+Mw :+˖`aO6)LAw-տ"YIَZjOrIJgHc O^X-8z} Ot+W^Gc/d6gKT%?]9[8 f@ҫ /*9ޣ9A nB jPMʟ#o"ˢN@0󬹈?&EA!խ":.8 "<c6>PJ7(r#9̮&~ 471S>2K4=iê:drʈ t#MgP5R&t=)ytcռʼntǬÕr.ՐhXgԳ/4 4tűI)PIKJCq:3`+АE5?m\2MGڙ]/*".@M g^fJI)NF|=f |& In%\`8\V _=8ўKic?^24K2bW_˨Hhy⼒.!> 83drO_{3b"k Jj|TZrTFI#J$`l=xGki_F|z1B X6~TPKBMosI‹(B/u;@ҫ>oU)[.|SUð \\k;Q n=POXIŞÇ6auoעZoep%bWCۗCk7-=.-XO;Zm8teU|R@)]CfB:<9;:Dc4:U vo@6yJPA"\7zAQ*/?S1~<:69G; HpC0z37ofae֑CTX:'DlӈvGh:,*$TXƸ y@|ﲸV i*%ʅgF ܘhp)D3^eWcͤw/ȮS3-V 'lz}uwK*u+ПA3a]}$ְxC2L "w(/>n sr ^տ:읢;|IW l f_gРIK\o/UU&R]$kۨ+F˻g ?xt}x|ѷA1DShC8Hغ)}WgJpRYZC3ق֘{W3o 1_ʦAa1q0ocǡJ}PDTcӴI$CTb`$b-4\x&8<dXgx_*!pgދqoUQzb/}]-%FbS6 'EPJX/ H0E^P$+<+l qt Z%rwm*k PNlz3R}pș=>2 ˂-{Ƈ>0Dk9cmdGr+ws$ף(:H{F楯 b4UpG^$L=z>aaP\g7ux UvHS<b?cgZFzXFYWIF~=+BKr$HP hk8Ev _&BO_u2PU 1B z1.ض!zAԮ׭K45:.RP~̕|X[?B则ڵ;ǀ.y,/aR_0sɗIZ%Ӗ}`'b$Cr# `tx7!4ӽfg绮j|.D0KKgq ktewbD&cP#Fm~D;zINZ -`W@8_)~#@22-cbӃOUPݍ~x)J .j]H'&Wc]bb8Wo |>1"v:(v=[1[.X"ņFc\5FHsE6BBeuY@8[3]rnU^CPK)KhvѲ'I ?oFKN 'l;D>HmGi{ȠYK%*" Z&7jR>e mt M&gm>HH ʙţDӾ k@~2r;ȕZ?_FNj8r]wZ>[uT?gYZ  7Q# tHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markup7zXZִF! -r]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$PE"EbpԺw):XЅ%Tv] <j<@QlZf! wszySH9gQEv]6 st8('?[X ] v2sW2wOR. eM4]f_Xv;΅0Ѳ֝R.Lϰ8SbbU]Ea`/<̎p'f5߂kVM2͈fwP81U@l5?Gū=oiJVsVo:\ҺuH S&Y<kGh0)w@=. Ne.:VZ׿>.θLۛ~ԌW?O-6f}lo? >ðyoM+O>1&Qު|DFj PYۙ=Ã>/̠ZƄ %r,Fz/ܡ5+ˌ " R}鷈Mq ($J*ҌR|r 2inդLf͇h? Oc{ϴWUZ?;hGq%vnmnHlPcW[ Y) Q+5.HKx˒:9@>ԫ-T\ GxLxvXT?`[hj?MSFA{Ţ݈53$2t˺jJZ7]ߌkړ9owI,D.4oVVI.ĄG}  !B. H/Z#T?8q%*EbVkˤ4@7W1;x8X A3m䋨Px-T{y`[ YbPqP(串Qi@m7TRz6*]i|gduw?[ؼsRCk]-Ϣ]?8_xnw?5 4 Hw"n5Ǻ2p˴wv4;:L8;-f6qi_q* c8PW@ M7$rzf|xGfkINM;WUG2]JqJgd#O>ރm0Sㇻ)nkM޾ oR%Pg$_#/g*AeW 2ɯ@-ƍZU>1OOG)m=S|4@XOJ;O8DFap,P禧Mh:2B O؍ ̢Sc=gz Q&06k,,t)4F9!s ;z5[B=iv8.\iMmƤ&Ѣɢo,q:iUQ{C =L#?:AZ ofdeclſQC촮[9[ S[",6GAWvnSl D='nDTd0-ųpPt{8v80o^,#Dҵlijw?x\dP {#.\#mp-rIO޵m2n(sF Ep>Hnu"V_8-<1{ 9{m˶Pzcus_Vѫe2)bITtЇSO QkmƊ0v'd;k(1EO0caގ@ ei2ZyhW$6ȋumY˦+3IyiKAD dwqeSYb4QG(j$a}L'n,iXvau>)g"K4 }7Y!nHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/files~~/src/HOL/Quotient_Examples/Quotient_Message.thyU7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id6787Q' HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messages7zXZִF! |]·Iq n[:|&[z˲[>m]WLrs.XjX u‘^6awp?ކ߶{N+~d0e w=j c+SȤ;k;=u[mw2߅TmN yV۷ӛ5+bDTNRw"h*N54 $Gf$>T)^jRNA K@t[t =t˪nD+G g _wCPaqRMcml(rf򠤋RYRѯp:/6 *judYl}XR_'ty#K0~fHNV5poȻɜ""Zxv-gI=PH{DYmKW15 6D(XIneJH-<% ψUesfpܬU c";Jez8HV]@XG!#(ƆFOcJ,eMzdL:E$9Zf4T VSd9-PUq4Z!#94)A`V kB$.;)ڷ/J 2r[zXvp#T )G.s)Jt8"ؓWuMĕ0؀{V j9l8Jq$tKoE|2#]FpsξvkaA$6O A`Q ognmj=˙:)_#2E)+arrNdpl ,m#*oB!;rVX wԸKF^Ě͜X7wiMgV$ŏVƼ5<-5ߝs%@tjJ~ _` -_YpTHE Uؙ)|. .T,g QD8yCֿzԍ s$X|>]zΨzmGz.5e=-Hb !"o\SVԹ)xkr5@ ~vNqzcHD/h'&JUaj_]P]e\GR@^߹u|9k6CQ) 1_)b4\w?>^K+"恳onj*'#[D8nP5MMtuo]m [/wRM*☫ʥ@ I5)!ުIV}-s&,{2)8ǧXS{˼yk9#?~?r",o7i?AKLRGREgeXw L`3i0 f~e08ukdI[x ɠe|MrmIKzK[ Î!t< yֲ :{ ;2k?c v$] `}QēHCUg~zm_3PEP) 1G㱼e8M;UE"*|_|@**t %_-yg?)h7/i)ze@5Daߗu>KN%x|(99ٺBuO3&}CY2"'2xkmLD?(㱋P￶;vy-Ϥ^y psyZ1,?LS3Qz)Rjx(#Z*ӖLj"CD6fNE>Ta/ RչFXS, EpZO=)H&2M.̗wME#`e(Xf\Mo;OXc^*>lb֠'LmPr;9].>QK͉dx'"O(%RCKc.eD\AH(fAžD L2Msw_gt,7;w?Ahtw%BWYt;3+=o$8N*7 cj/ T~3pC ȁ '+ZjT.(bXsVjs_Co<"˂Ҵr cd߅[>RCF._#}[3'^ pʺ {}$%~Q&?GcGm(%_eDA@^xU$S>EuDZOJ+o;0IAR1%/FND\-vC3\@@ҔUFͽ_i٨0 ԕ ~+\l\pgGyRg܊6ԛՖnLڴ(ާ!EF1"qeڟr`F񆸁wq_G`w_Q0,E"PsV'Ji86?gN]OI&Ԣ5ةzT<ײ (-(0St4h Pm*$ "ձu>$7=~%+4 v\šH0Г9-H556g՟6q5tX"^h#,}3)UI,qXm|'֧Աj6B$p98=b_RMl{nȣ\q {e˾t:>$w_xbg+ 'G 3aʔ}ukDOPܞ}eG ٢nEP3G蘚MBCюcܾRQ nZ!6B2& ?gq7@!֫CWb3DnbL \$M xgp6q 0I1Xk j\c]c9\@|vZ(L& S"7uUU=F:tu8 C\LeGk3J8`}]{+IS^bR̥q^>`q]3b4SUl84,@RՕ?zAJFH!GN@[cxPJ{Owx+KK'F'۹-18qm& rJr51{*h4! v3"a9̳\HXi^\ӟu4>Pa莍ƄYm4dh }GzzK)&¡S?AUY(NF "cUO+ל G7.YX/<Uu|ϲ~!,AzQ$%[,wd\z brKH"&#g ž0Ո!E*^G)Xh[`*lNH[#GQ% v;˶C5+22PHfkU@ w6m}yP̤}c%J*MB[^eDWf*W^umN' cݣޙiT?3۾J.xBnoۂP*K׋ܳ809 jH.J&橼c@G~pqۚ,;D)g)\l:aLz6oQO u; W)g5w<݃(6 )x#]L- WpyFxc*! _jN rĉY yS'8׿͙yH0-2n}6IWڐ+WEET!M0ȫey8Zu@f@{ngi\kvQ&!qEkI ݀$dftéZ ƒJ@/j]~|EJ<ME05kox!HEnKۜ} hg-z oJߪJ|Ek8 uUAWLJK],vgg[߈ =K[~Gȥ Dl%| ^J~Jgq TlFf1n4.jq\9ΐ53 W.qM*k#?A_E%}լ{S|rW]~DNR"/%t*O!O*K?wXTg0&;bx`Zm8E'A:}l@%o}G"qd@Vw`{\EBwQknԐfgO?Q@l-k[˚6#3+ \54uzj"K&ș|@v'"b]i=z90ƺ'}O4h|CgTgo`סc0'ѻUfz5#"wCA8G^bb悙ѩ~!ߨ7ߏd4=rKLaj0jtF>P"+zf(\ N1"eHEݗT_\L)&.F!EgHx w==˂ F0p,3b[عYn<`BQ\&WǓJZ[X`)Aw9%+hOh?gp"4iIIөdl'ʏ艖$TMl̈:cL8`S!Vr"&,n)^u{%?-b.e?tiqNϠ? -{ vbm]q"&*ugV(%7%DMyFi)P}%g7pn^3yufXh'eЦnQQ-܆M53xUǁ(+)hcEMU2UI?{mi8DHt(UuP{Gky!B XUh'}½qB.ܾnC%:=vӡhuyU]7kwtgHS 2Q@u8h=ŚKs% 1oK9:Rzz?@@c,.aG( %@xͭq"큙p/?Y pLMAY/R;x#OwmdAV1m" )f}a50a5jaHqE!sk:4MGM?cXA6ڸWl )T솽ivxbQߚL6=kњu/D|ipp9PU?.̚6--DDmN瘯Nk/&hXҏmYs"5-ynԆ4 2áwI7E1cr]ȄvXHk E73B{24D"#hYN?ǐVĉxT'ݹ{w ;ս-R0%ey7v>k:˩`;???ɩyyGnN*z:,C &k8K7r5Ys'8X DzECm9: /$ajE*" {k/sËoXqيJ&ք ;q-wVOn;QE!>M@Wݾ;o2soCG5*n_l4GQG?J'%4O8+CrVqCrm=F+ $DpnL/ge&@CY˾/Pt֤/_L'`fxI0"jD.bx@ߣb } 6ۄWJx?*XN4]}1Eī读lðٞe7h]J?[XFㄬmS#{_Ocz jؽb |(P],9Rz3Y5k)11vqQM @+ v<z*3I$< ,͜7ء" :{̐| %}tehz*%m=j(nx$ "!߄̻"^%SU)Tɻ,~_I'ô*}&Bz+ "璣tƔ3+Ȍ1wbBNULJ)1/r$ &P|"!vb˾ܙv=Q1|4b)jP_ZѢ/zto-Y XPzvce$EaL?B:6:؝J2n.&9rw1rM7xH=Co[m$)@Oh* VGpk5%.wUEƃ{Sh5¸y`mΟ5@`:Svr/)(NlϦal^-,e%)e}F X}/B"K<+8(&ՈiT,c`jO3Jx\NO=029ኾgCɓ}8NA#]d9O6eoYϷBc.]>ԳWTXo VÒc( /ucT?^b\ur:̬r,N4$b^:D;X6+J/J˻vS$ȭ4 0,aLJˋ<8u!r0L ͧܺ]s c7IiiҠ^˿, e/s z&r-Z\W9f'N6@^.le;6NsPI>` +,Qp|*M+Hfa#" U)KTf Y&rH.6KNa/Jķx^kwtIuA韑oOb]Ɨ*?]MX ]P 0bH=XZ}U}@{L^\~yRb0cgGL) ^XKNJfޏVBq2s93M /o(`g2ǘK\=gn.Y:a} jtO2 ^[{D2)&}p-Oy0ZjM3fy;%D |k;^jʢHzmBNE/o$2ԂDD PGszҰ8^>T$@= .7N3'P1#V 1Anl!-.M: uJt5+4RG%1I`ql"-4w j2!7COb;Y3ӄJS7;(ufVsN'ėwK##S9 [cZu;Ù$bgU]ۯS?9!..+Tn1V5ټ лyG _ڞ[TcHK4SRCgYZ &m 7I!^HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/files~~/src/HOL/Quotient_Examples/Lift_Fun.thyM7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_id672L7Y' HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messages7zXZִF! J ]·Iq n[:|&[zk2sB- L6\͹~BICpB6||/U ]!$ŃdGPv^Y}ݣLdC{yLmo&ĤN;_OQt͵B> :gvLy( qK_jKѫ6R7WP׬aѝg6˂7+Ukz+QH9ٺ8(vQ:nY(-c],}[ ^_A s9|S7~'}{Jtb\褡nL R0"qVMK|nSQo. Q3J; }$1Es,Gtb}E-|X괭[(|jD?wX%Y*1~O8P5n3]'7ގ^:FNvá5kas{u>-`9\D7~oYQY)7O nMޖHRN&fcKFQ3VZT) е٢Uxc]HZKI+<d)08=Ue܁>h+SwdOj: 5dn6㡪+|T Yr؉D|4*wӜ-JbJQ+ h )}Ę<I0dR~-Ýs%Grg.#vE.fPF_*6h v%Ch$ݠzIUnӏǍ?WkW)jjEa!zo0` d]7A9 L=gYZK 7Y# HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup7zXZִF! G);]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$mLͪF Rj> ƅM%M5zs{*6i0H8vp63!WeYd[WfBv4<~e]t0c=\+,B:bX? \F_Y uR?vrmMm!L>r>t dsB46+Y9M; Dc4{k?ٿ%ϮP8n)N~c)qQ[@T~EdKaY/^`MY1=2  ;)Z2t%˟I)xB!HaOKIyAw'r&uybxUw2^},sHq٭^[cHh77k͞>}L;=XBvO8 z3X;}rR ~ݧKd͡鋱I᷼ҏ|n=\q4ȤmdX-(/(e+Ƿ{ .cnRjD)~(fj`_{M}Iqd#ʹ τEzJla;9)8`ja>[Uc~`:0o6pg7=>r`SЪdp֍'c&joifK*tbB`O#)$ MOeENv kH6 7ǺPd7a\AXi-@OrVuҜl7}3 ^PG'f7 @q]ϸ+4⃸L,;wJm"0{lS2=[T@@!jqllaGşaM=_ [s~TFtc[.k@3%,ȘF \ECWݺlB#tj#@ubV30 _,,̸|1`ZCmY38iʇ]3X49&N1H`DL2"S ?~PQwuHTEXWS` 5g&Qs 3ntJV>Pݰġ) 䃋n} 8iOsȺ\Ǖ-#ӉjRpÇ+)M {H1"{'_1Ĥg+sAo BfU\H#1mkel /*VDMW֐$GD1-LCmZ^6sj9s7vV{ڈn["|.ݺe  >Lu3}Pzlk񙭚D\hFL}SSs̭uK2/ax; dSgMc+J5ڍo?s٬pGԯuvH?ƋlTۅ+cf?,d;vn8Ϝ)H_ӿMsKulC@vIVyn_@JfrG:[€RhMW_RY EwrP\7 "_kk|m .k0؉X$+[_L.#|u28ilO.%g "˅/ 7:-Ԉe_p:@4&:~) P29 <ޡҒC2t"Ƌm4\[Ś-V줮~zH=π/֡tM]~Ψ, m?bp1ď 6ỪuiԲ?C#)xTmWM# V|qj //R=I&zqHG]UXY M{QK_O˲pڍ8ԤkQۏG+cQx|DqGLY$Df[EhGW&CU2=sy*%2_+4t ~vN~Nk5Mvpm_jD* G rD89&?&踝dzNW1LIV|6*쨡 [ rH5;ꀭ >ߵt]"J{JWPc7B[I:Es\+ uC4~cH0D怎RuaGUE -I{9)Dp+. l1ƑG]9pyv9r>G\.#VNg4=)!'옶q!3 ] jKsĔfRiT|"rXΑAObfKnE1cJzrB}laDepLm*%g,F1ti:ij3N>ˮr&y%A):8Zʳ*LYC}.!o@ݵ yQ,m[~%O CLӲ‘K]&IcWu3%?.UFNX&"{o(Yio lm!cǎs#.*.QO Uo爒D":%}̝J"I6Dʀ:y7W#S9ԭaF.1MۏIp0fۡxEMS%u[%!ő'idK&M5AMM@TEI Ͳؘ1`8'Y퇅\aJ[|,nhָ phWnd699Ųi{עoq2;5X;H+W-#L^{w#;BJk!_wyGQX(.F3-Uo`<0p !{*S\m#$(+SZ$KDHI:W&K "BK\G9] Ⅶ21+>4w|_v2xsHmR ^£_<݇/a-J# 8ri'y=9El<QI+"ʸv*- lETu-C"J֭Aη'2A3 GZo2,8[Qߏo:ysD 1W Ѓ6`qVRRf3+uƤk\Bc`G4f&Xtj9l@zf/S༔veoj~jVYCfkui-Tmǫ4 Xx4͜LCCH !7.OD7'TX.%{30l]eE_ֺn5Fݙ.p/4X R 5o6'Vd[\|ݔ;\ƺ'P߹8 F3.5CpNv-+* 0 .=|zo\W xJpJd[*QtwC]_L]#]\Y\Z^ JoHTf?$⫷459|=kcc&:?/w2D! ,# t !cg"DH!dMdLpbx) qw H3jۀi|x\FДl&TWUó8NJ$&=ˑ Lf5xǤO0zb3ՆΑhL\ [7a(z5cd_"Ѭ}  g!L<Դ_I+ذ!3mTDqrұptMR,FwԴ>qC%r=7Dt09FN[v]PID((/%24<2>%V+$) IhJtSx߰en8yݓTʘHC8YIZ\q{< mG%ي'd0w[?mzN;R.Ӽ3ȓ5s횊]_ V?İi8:ˋUd򊑫Zg1M^*㐝=n~'l Kv*4H$ pFy^r0y>>kY{&TO_'jH1GY4=ܥk _e'} s8莽rCTEdȻGtW;@xm4gcАlI+8bOyhd;_<x#cWi=D`3Dj 1ihnXu`HȜ(%/O2/4.yoY9>xQIBJAu,ʏ f:ePrj@~jY!B/b1q<Ѕxšˍ]J}rčr]FZj n6.q_ePU᥉(Iis$˖hq\%tֿN|Dwc+-uuwX,UGhn7uy,*iŒgu.9myI'9ME1rH{پl6żaNmuL-"%tXҺ廵 `(~[a𜈁y9Yp&H$[3q02>%Ej+݃T+E2qIu Fļ7,"hS^yM{e>9.VC%R sz9rEMh%~y(y9h{Vmt-f8 gYZ ??6!7I# lHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markup7zXZִF! $/]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5S}U$+cYlJ8-2O(. 7Z֐`_bfح;w%8ٶ [$j@%+ D#߻U$̻E$Z=, z:e"Ew*Db9a$>%ӪÎ Fq'' l{t5cִN})PEUw;:+A-n3 8Bup oM0ߨ]Pwxjm1&]d$|֭^дK*zFJv'3K瓊1yf㜊(&<`Z m eu?Vjr@;wjA_Λsg?ϊ(9=#@ͫΊB{' &H_cn 9K1y*GuMa9)hX.BC qm2r"mݨ_ĺ1I6ʍ pxn i%>L5 iB$krGtYĩUz*$֐cMz#~m}]tte$\s"b u1h6e52RV! X #޶ls,rOQ ׍hINZC- w{cBE[p;qH[4ݺi$ }ڙb@̇Puh3u50sQA0e!HA\E3N{M8< -L7_VVMEN`uອL_$^[\2ny>rX"ς۹V_֫v`\X>ݞc[ѽrI$Įgd~Gy_,"~oh)GD7jhD4^=瘣lAq_'<| rrK`8<I ]NïM&*+VqoV:+4o4FhG[ϛ{`3¥U$baia6kwѣН#ðnghު+CBϤEs$[qzS| .~ `KB{-ѓ`"8jT3;8;i)drayz>P(%ΧJ8,Y8* ]E͈ߓ`] 7ByEn õ{Z/q)3 4<,unW+LXBD XF X'$k-8FSn쳻hR'Pd af,@gM:ʥ|m5uL?۳]h^#M{EVg&͡柢'X"!$R[cz5 P'Ib[ ~ B[;b_胞֪~X8 MeI2`&1ئ'&W'd*>*F4C|Uhsx):l,I2)'X[t,WA`Z?>5)9-E@p_xU Q2 j$itoR4`ZƟ6r3ES!#!K-e;2^;  E q$7M!bHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/files~~/src/HOL/Quotient_Examples/Lift_DList.thyO#7M-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/document_id6688"7I' lHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messages7zXZִF! -]Άxʆ5.f-9 rq69x]gZȋk~iNR3,u੢ƯOEIp7pչ&r&"œXMUs1|L?|64&?8DSvl:ǣp1w cۢ.A K+UI]\,fygQU[b'ڤ<+$1vպ^9Eey<=Ƨ PJaImeV8.-`ʘ~%u*_IcW>P&i3/Ϣ:ɕwIj֞ޥ+K5aؿߠEwmD~5UsM;Y pZ( 'o*HS* DYODȽiM(+$Gx u]^2VR]u>ȕg|q-ruQ YEASgE#S$b,,+_ˇpՓ@aZri$wAp,=(\ [ (9 K~ ѪSWgm(q$f83*\!3TcBR [3g܁t54upsA(J&6%t8NΫp%ffS}HA,xÞ'c uo2k,0"ؐ W;?9`M fMIoD7"UE(&NYf] w -,0-;~겋LꢆNmdEɵѥM<jfjr=(1W|9U/#F-gYZ eU/eu(7Q!fHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/files~~/src/HOL/Quotient_Examples/Quotient_Rat.thyQ'7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_id680#&7M'>HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messageswriteln_messageserial=10416482line=52offset=1253end_offset=1264file=~~/src/HOL/Quotient_Examples/Lift_DList.thyid=668See theory_exportsname=HOL-Quotient_Examples.Lift_DList/codeid=668theory exports(%7M# LHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/markup7zXZִF! ~ ]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5u+G4 {C %3,]],Qz.4i(! &K6ҘXY*AOg:ʼÃSޑ]L)^U>6mganco=+T8a2٠LrW(zc\F,a 5 u󶠵uQX'Ğ0eC Lq#AciRsZ-;H8k|KBi fy둒p^ /Ob,SR;<|%Xj@a;A)lM!Y 6 BiKyuE2X0.=/zdu[ӏ -L<$'"]w駙#1x\jCtzhYGDsON5cifDsJt4pSf6;}Fҧ~w'U\4,VBO9!{(mK:A^ i֕SaFu{j1z%6UuEK Ml*Sk8_,n/+-`,X̍HI[K H]ŭLwaJIyg<Ǽ`_^ᬆO/Ӡ>tn̾Du[{&\'0v]^K.f@zߡQRU-$آ?g=xF)ݟlgL#eP 4:gm ]rXb Dck֧NmkGC?nj^+韸i]Ԍ|Ƹ7akr,Cr|ryPEKc+ٹ9+1 SzSHϪ#ҙ8(sis *^3Ȉ}/f+rJj( lu)^2G[!㸀_bbZh":A YS*Φ=B=3>>sz t"wHBd׎){}}'C&R˗bꯠʦg ݁XzFepYPC4kP;Ļ&̷PF2u0lS-7Q9BEx2/`8\ y""j],71r2V%OY{104#wH*Gef47ТX>$e)kYG%DO(d@Um%.Wg̾`tc$dqnyY&4&}pٳ8q=yRzs~_RZQY&8V9%.J$^r $Z1\5CN#&SQJ M/'sL̿Ӡ8:#;"6e0V2ѻ4r2IC9"MV*F}'fWB+w&OB1?<[ x4dhB9?bdMӛcRĸ/;Hւo7w*yp36 [bN/%2EWTMIZ' g}dthjס+G-w q"6*:VKŒ] b?BNk BO&e=Yky{e*.»"f}yS?AsWUAr8銶^;}3֜Il'󮓐$u냚xc86 kg2fO{Һ,roR`dɓtd'YVP,;v ;~WAǠ@Wms(c)Gշ/a&W2؊WA1M0ÍvgӺrlzгIE6}8+Wa|R쓞e~!T o騠? 1 2Q-0Ȩ c,LE[ܭӓt4i gYZ@) H:ji `le?VYMW10mߒXē,jUnyj`JJB/b h?m}"zvs8󣡍Z6^wGbwNTT9*vm$m}f8 6F9S#Q wgNی92JH%8N쎛8NqyǾY$Cv9kA5u :3E!}+Mq)͖I!b)6Z\)RwK8T:MPP~4V]~t5^n\nX)Ș,XWbm&6rh@ĥ'5Uil l)&h{*b fXv"HZiaףi % 53KuQ`'<= ;ex® / Vΰ#QLyk%0粆nmV%"T[! ?1Jɹ. wg qZ䯂W1Q7UAXFxN,Q~!5(1|#MGr'u)ĐIāŖl@3*1@`EyYB$6hΤ|^\oy?~.=\cğx6P Bz/NHLXӞqbu5 PSnj4N4;Ðg.n %MgA&tg$7*LdFO3] #aʁwP.ot7]nE𨿧B)ናc<;㷶_g]RCx\N{oPxE[gǩ]>2avRXtsԎb4(R* tDaE Ilإ{G5"O/B^9zQP'u0N!s!M006TY'RHquB)9Rg_]OݣCf]31o3fIXvm9tmOC}y]VCOG#J`$fB> 8In!ĪTY^xB̳sR źBg؄9Țt{>&D9A3?kq97~I1\2[MX#pjp/`WZҌlP>7/sJ,|2S5 >Ht\Ł\1F\oXu*b9t[[$l(ZS2mڗ&׹V*xK~\Q9R*5O(?^>8'>B2zF%_H87w!Ԓ6cMb0iH+-] *&:ZL]Sno {OVfr6a2Yx!1>N2^mpA#x #t5ژrfK H'eoc&#ӏzn΅%ճ,UGq9%q3.3wVOqfK}!1zgpܺ^Qh6lg=-)ۼzmc@4KVt YgT3K AI|y'Bcb6:WH8.kgmѓ?!B3W<WBssb(pY' `i~ k_+q QcJvkȔ)ЋreۦY41i6r6mȉbf*ZYaBuŷN` uzBnk/#UBD"hy3^j0xS_3νUЬ$ҽ-Fwt<5m0j .#,i&Kބ|e2v\19oj-ϝ0y> ~l~(2O߿ȃxAK#-Y:\4E08aݝL^y1}WL?c}eRHM"^}57W8ԋvXZ![3uMQڽO0ٴխ(*c#q'rYa54r—jǯ '_ ?ux,(ŒQt! 'P c@&<,L 6 j 4-NhN.G՝gi%p=-1p-g%иy3Iw3LM%N݉$%~A>)ϧ5 h1.K>FdW4{ ox 7|J=~ɨgMR #$Q /r%`1xbj8 6ho-WC+d zN1bE싷Qc .I~Q5 :g֜_]˄jJ_ ) pc.'j#)Q؅G<gPЮ4XG~;6/d!^32jr>5OEz GjI0_0-9VC,#zG_竴3/bsz<EH m1!XQk[PG f U#r*)ʞʷ/帣o]$0gUbTHWe!AMY/ٚ[=JPh W38)>J-E)~ϭkx*/Ntci5V/@2ưk-!Qy"2`Rvfcg8wu.& xF:V@Y; o)TmwxE N#z1HJ6RMp. m0Vhv#j\x64"H0ƭ7:$MSl -b31\*RC'4^MIX(V2F&v5]: noLQjJ'5!QV|" 6g ]RzuᎩP !c:ݚ.;uZw%n9r+ 9m,u|#}uH|de !DurJ f|np9ftIsAmUmS7$ԯwر~`9!t<&k*QU1)[U,ա]4!^!$7>xU;wY-MUD ّo/SzEm+BM*cR~LfA<=tŊf{k12|si]8G}^o +.li ӪeAؓjKݬoM«(0$cX ?.O\sì4%g/N޺" -[Y4!&0#M'ڛ]V$ÿ+:RR&eן_%@ݻn嵀[zG5qC,#߳$q{_V `^'B:OpKZʶ̶W !\E= :`LJ wn& Z?/=PwEcl3{fH  I+(+/5IdN{7kf\8o%sm8@6c+ =Qq,;p2PY\N3yzWZaaLW/0#NKƙl#TFՂWf>*ŋ^PiE9bņQ7J99cNڱ`Rj^;ϳ ۮ ƇiךI>9qq%>1\\cBމP+KT)ʗ9_48nI+;4C>IBf`y"~6 FVHfo =u5,seT763]'nL=qנw޽RoРKh$ ȗ4z6짓.է,SFIةj+!p8[twbVt1l<}G?_b0o([_Kmq;o.|0%dd;%o~) ԟsԝ/^{e4A OUiH;!ai W ih~lEhK0@#Qn<=x}|MiuCD:r.cLUtGӯS F/hc˚S=c2>(ChX˄6WiFz!aqN9U ɵ 4gƐSQ&,ncɩ"㱩)&^ @B^нO'];7~=zŧ^lXαX)k5^3˨Ղy}nZؖa6@|tE&|Vn2p~س| 2x"ZI ~q^qEz?s ])߹r%F^zԬ݈)ޯh\bo>[!?'oܺW?ټOFK I*EӺ%&rzx_ + mؘMrۇ0'I[K&n =:a>BbFw2`Y/ͨ3[P2-HGٔ&UsQy e5H|*a[{ $#.-5ۉprS}[De}ȼa= s-:*6aD ۱Å8xI+>ShLk9TD9&4_ 4ma;H*,B1=ʇOFz]jy{c&xA%lR`hƹ ZS +NW猚0[bJj2pEw $=L䮉=Ɔ0Xj(72ܸ:/~ l͇s|ȭm'\9}_S,?z&5/Џy,C^3"w 6Ru6_ιˏPjxsQ2YNd@9i|贈Tֿzuxe.cqݯ*ޯ&A< \ꤜ{32ɝ<CtSX,g+E A}7xz!4WW''?d0rM* .w@xۋQmg 8c~!0Zh\H&4Fk jZ e#rmUmׇZq4g{Igv.)z?#:baOlqbُENjhH"ÜHHz?nrRsTgMt x繀xJ/Jk)6LC"VOJ2N5hgq/tNRX?7L0Z„ ,:`@5MLŖvYf̉X ӀCLeL]\-{X=Kz. goW6@?c.q>=m \$NMRQ^d (V9,/Uֺ ay_/iUr֊*Gt(A`9\w2w+IxR5] "OCWF3aı s1>G~;ټK"؄jgO鎝va-+k+9W.9UtI6ԟ1K Ȉi0o>$mpCeՠ~"eOd^j9:Vaūp *Jh >Ң@y2aX(rqK[Ó{fċt[!^KùӖ_F_wZYzCJ#F|!T4;Cg8(8ҀYBfl" ܦ+'.2K--kM#$8d dRcR1LVȴG^UlUq? mTܗFd2E8H$i$r6izd 'JkA\+ļ .(XP&S%Le%&k2szq 8^h5cX^(+1ɫA!Xܝ0eCwVJKVM,8_REκTIfmzlcSqؿP[y0 :`" ]רHsxl2':G*Tȹ6dhR9N3=f|b W=s#PA ԽgYZ ew,7S!hHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/files~~/src/HOL/Quotient_Examples/Quotient_FSet.thyR+7S-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/document_id664T*7Q' HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messages7zXZִF! 8]D?7 {?:fH\  FCQ s* \:MK#ADp7h2 ;j-r;2܇,d;78L;]OH3[Z\`+BֻLQ[PR>WE-R3p!DT|!&SY<GH?-a=X t/_(ަ8a#a<S-bLPȴx"´ 2JKݫP~kB`ڶXjWLKآɺ]e n'"]/OrނOS!1l*H;eNO 9AAzHJ{P{i |l-ijޢ8. ]RzcEh 'alSC>ՠۏGJ;=t%;\"{0n BӉBb`׆7]."~@B- 9j>E/xfBנoZQmr.ni2R+6Y\tQL,^_%ٿ\n"ᶌ{Y5Uҗt?%'Όɱ2 S O֭qnAJ{:\8%{$^ɫ p)h?3tIRa&;QWZ+DL3IJdU 슀l-?3^*4n)![>h:W%4y +. [UGvr"=*莂yĒ-jN'_{;Nj6}_O]\#֜E,BpOex_]Qg~X["M»CxJ&}s[nffst:sM@4 @Ci j$s"!AvIirvkILyBQyMyꦠ b `\Ĵ((jfC<}otWjcq4.D6pע:L-D9X6pI,040!FM鴳@\d*+6Ÿzg|"3vTs/cyρfRߎS7ZP|}ԎًFե y|,0#=rG'v*H}i WE8 0r/Lv\=8Da0:p{ym,Ʊj۵uFSG[MHZUO$ qί˱gYZS) 7Q# HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markup7zXZִF! {J ]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$eZ,3sP2p` 6%F[ְQe&L u63ԧ#eHeRrM "Y=WWg>'nSK%/(Ton/0S8arRAsf6qKY1zGE>=S(:Wb-).?h&T[]i\hx;4sU;H/ ^? +U3) xU2^c xB3 KlQb6g>6?m?j*t`NZA+#jjk#. G0,$u}.JWqG\~b8N/~Mo[A?>t= r {un=!r(\rn 6Adv͇efC>gnwaQO( 9^VO%cj@pM1 \^g 窺cZa }Cb!p}~)k]TuQwdq|rӦ$`iy|>O1 rgW8\BØZY0〗|Plo!0&Hl&@'PH+ff)U>; YƃvtOIȳa ^MA`xP/F?J{x䝒Dr]^"IBU(]?a#ecb<-M^xK]*V`j=6O۪El>}Z\Ec҄aX VmM[.Az$ԕyM#!řO{$/E8.#:7EvVR0y,!glVA]_W6ݯ1N0;þ`_ sa4JsZ0S\/QY!s&T b͒lK p3-vI>.9ŭDZB5 ػ-0 .v%i yJ6/j<2oٕ5eQlG3&0GU.2.&ws"F잷[ּ<֫eIoUp=jgpcP8KnO;.aCHslUG nf;'cO3U2ёb\㞌w{S>KPL|Z5 ggۗZNqZ qk`d ;>Ȧ݁l.3%Ôp~q3405ZW/H-'O0m>?":S֫PqRyz`{0掱h]k,eX$냩& XWNJFMrm,"M+1 xv1DPveϔO%7CZ̭zNЭNzWϧ_"ձպp*B'>ӛ"V/8_*vM"m'm.wc[I [ nBu᝱̟X~ٖ[aYE Y-6E${eIKKpA6 ;s:zƠNO5c cw~m2YNg6uғ]eb' s>?'Hi3X j+QA&:o{_4~vTH=UY ][t1\;4 fEtl ߻*g?T9{lV?daJoN٭{Kkԭ0LAו`V2J9ϖB8̛ zK>G7|yLsaοK˼a+` pzGl[HId;= _4ڪrqEB1*(UI>} Ɏl <4\z.v-ǯ{@BrPxZkX^-Ex'2#ծlcV?bnC"L|=*2BG.eqh?U:r<|߻d}̂|gAEB+Xğ+EkE5u敪KK$g!.4G9`V{25c2z.:| wh >Xwy/ fgL04q&|y#[0#t7Ҷn׬TAd5h RXAko)md+@4<`·wjuYBbUԪ<;UIrIKI+]ihrTϠڸ?E0K׍ l4[3*UcF1XӸGZ#:SBg7ɹr $3Se WRm@MokgyT@$4;3$=l" k-YBl ꩛e%Ns|aW]M&ұ% 2F!W&wve)Ȥ!ZʇFK_ Я.K?c[KiEůf%KƙFL T}LR|(6g:t7qTv❕vUpJ*xq&>^_leǒ~K_W)ˏg/̏a3u2 8*?0~`uh5=꾪Ubo9Σa[f}S"PèFnGm#@E T/hl2 ;AE` V N@!W%db&i`򆐆x!SqN~RJwswuVV[p7{xppRwG)nTR.Z=quƒnTp]>:-h/;&my⃌/]fFʖdG3 eXE ,ѸpaN1ӝT{5՞1Ojk+ö#lШN$}ޣeG8ZcВ;ٰ&y,I*\C(/䛞*|*tK Vr84< +IjwpD646- 赹!=z5HEqkm J_Cnh5I:Vl0fbK3Z=o@kӹzv.:UQ5*iZӨlY8JFaVL({ T=U1bBOثK/eӄ>3qЎMy08]G)˓Iot ߁sy 9ێdk>UgEjHT-(Big&~/3ˤ;C qndx>#NKz"{R5K2L:Jr\[s+]_R~.>fBNl .kY2_8I&u]30?>*S`uWp״!&cW_i8Crb /W}3Զ] %WaP)=ٚgf#`5 /E7# IC(lʕ,$2hϔ )ŶQ]0jb΄NOn ^o,% (H``gC8_q. yoV"Cdʹ^bJJ|.<(0TXkArł ! , ._tuf2$jr&Z'hߖؾ0V_%D}ZW>dRvDE>DXT+#v9BySxβb jh֬w /ݭ;!䦩'4Wl uh_#XdJu8s)E1A|X)X!ٳ CPygô9} #_RcSߩx0aeIƷ$  P)1D-AՔMr1 QޅFER($pnIiʊʧoNSZl1v_:=$;qkpk7rQRø~>m8fʗ#P0{"o0_s`KPc4d<UDl@5[Gb'Wm=hMϬzM،e~I:Mi5DѓJ&`-R][Y@͹1Q#9(BxI3X yaV=T}C$m?OKF)Pڟc+M@gP?[V6R"d.BF`k^K;Sk<]fЕ=7'f[&(Qo+zk]&N~!DըMl`C|)6xiYr{r!Ͽ ͖{Bt2vZ??hW/lH WC<_T^v'Ԡ@0 i>Aa< cbکE/U{:si(M3N2]le؈V2ﭼ#7؇+k[˒ XUeߞhȻm.D$u`jOPu'S*uWRRpd_8.+~)@&?s\xs:a2q;>@?ZV1 B@g-6Z{(# *85>VDZ[s&QΔnjNY|3L/Ykt#NAb׈hKUkK~fCz!Z;TpD)~{Ht#OBfGZʅ*})^bm9!%JX=q GW !c3`6=V o@EbrKvDOKI3T}v"(qkϢw7q<`o">e6. QuM4 |b3dN7q \/؍_):6O3{Y$)1| _~9jƽITprV˗%VvSHi[ZawZRXi>'h|mB?h6vȈ9J )pe3S߰ՇU;f*K/΀/ Frjwty]U Y0;=˄7an@ ilG|7~~ُr z F>S:f/ʤPlT lA1xHL5(ׅ)_3S\@SeqGJ*fȫ}̯oHVwCM7}gRO%8ъ4Ԛ5 uRKː<ԅi(iHTX]]5bZg\8%e]>fvٔWMG6lGHcK@SYeChq] f>[3MRoB~z˚\^)/~ͨ xߟs6y+3r[SFD9.)dXYÃ"}CZ/I2"PcВͦ۠ʚUp-M{9>X/[ʴ _l)@Ȟssϓ"~D70 Z" բĢZ]QFCmgqyu`ZKĚWPd1UySYIM U ~C:(k9msf$yqӚctߴ"Y8o/QMw߿iJBui ۫P Su8q|.``a_մP,aIN[W׀J923zvao(,uiP`6E5[fpsҒgGla[@KŌD|o7α]ː x?h^4u u^PcDx6jH+J+cr0mO]Ѳ,v_TYrV^O bA ٿőrcOL,R szTS~hZ/1How';琽 M1V="I<9;d |97 Y2{Fs;;!NqC(\=[| ?g7$\ji5aaEr J?d C/{glURZ24L!%f7c ( E4m9eW@j7*SmRC[yPwk>m D7 ? aAfɤq}#Ws{N%od h>Mh4¥ٵlܔ= ^UT yz6ϔzE9jTP)g@gU, ywACuXX!Fn[8`h3pWx[,]82i۽ RtƃZ:/͛?N&Mm!?,l 4LLx4p^bN/}#H> Hӿ %huN]htY@ìCz Gg]!puDO'OP]Ekq3>HmB#wIJJΆ?AbVO%c67n\^Lwoj^^[!_h'^ݹ+8{ʇ>B›KJb$VSB( )]ފ]tX\?W02p7czw#8N A*{oK퐕$1ߘ w_㐌sZ@X7ͩmˋGXjsIqb ʠIh_󏳗{qv^8T6=9'?[E?-;Z ":E1HޞtVtrk%aT) y򝚌8H}Ef.֧M+ӉeF|If]XٽwJ2Պ`8Oai0bI.gJ[\UnZ^3Vvߺ‡c]pQ4,'7K=og'd i<Sj0#bM httb{r l7cM_lc\6&"cO;r. VE0qL$f5df5i lCt]tN]vt8n3KIzn@Ҽ ;~|Q>XկOlׇTG!. ~>oTi:M(~,ޑ,Z; ]3_GF(sZ2r4GQ73 >)uUy0̣͑=D Lc&>?:I-dC *$1yku-ԙU!!G3W).3m$E)= -i 0 )DDzikp~Cg^ PtWSH=@*W$>s aBӜ*@TVJ.}ZHZC0FR|St6OI Z/ "nvƛm\ TtdʸWukj{PX\P6"VR05gw/ ʓ$mv${ .E;؍4a慾ng:dtr<}mK( _a(A eoJDEMz ]0S7L8IC0^燃@LԊšbwĖX؛>]hyI`rΠ;۝fKɧ燹9'YoSy&f[; E/oKKG^iu:5mU{JM =>S<뇥XWc WSlfgGݠ^N@j928"8Ҕ~nAXSӅaTOja2V..!?|}N,Fg#L( UF+È0M3>آҶZ#vqCM_saVQ7@`(ӻ/ED{p#ʥņNS^I%9$ ڸ2wn[1P-K}fAyuLNtQK>&-)>0mQxjg\HLQ+?We=,`VGw Bt@W dn9-Pw;N,pdZpyKor_[Qa1HIFuTAȌF.mD䤼ztP?5)RST3 2o*Y0᲌ipHYrRYiq%9 *C,L߻՝ @8&C Dy ԥ|lKlB%Ʈ@*"_z'({~ *&IebSer:'Bm~w=Jq սHk 3~>ivOaF&nL2de_F>p\5!Nu|X/$7:gErTȍ(2Kajl l!!Ia1 c8]~5JYzͻr@,5IֵT~QJO?"uT$[}<0NiTٳ6Gٹ#G@:E,0S8p;nCkf Ъp+Sڇ6`c}QXrkk〙ANS O>;#B[nx俙Ienߕ$bO*!!,PP>BL{;, P&鱑s ͺSQe I.&>4|s`RdGA#3"U4u%&\9IV uD#*1y Cl90Y@:#^Sp| .jw#IW uS&;LM{K/:u-ͨ{_xEߌ ~I9;"Ӣ)UJgPlMO|V&/5 ,yYؽA܊ɩkxe ֧:ML 㨡 ?wz78Di#prj ~HB(Vt I]oӀ ԍW!0 Y?-\MHݻi\Ke MY8^ڑɸ`FRT1Yu@Щ11)e}WJ܎zD;RaCE}Zx@֘)7.LD|dma:$kցR ""*_ J,d}o4_{i(㱈$r&̛үmEHh!}/ͥc%s@F`N=BxY)]d DGy@!ѥ[iى]髒 q7g~@9^ϸR pb{D^񫸍!7U!M?&gGۄKF0F<ڏHAP{ sz]2(m%)s~@݅ ( \ c]"0 ,;lp$CcWK1jo3F l+%Enu(n,\(WAih>@Ĕz{;7Kk};NH׎ƀ(*;5?!MVʫbXl)mӛ%ӷ|ﺲ6ŇDvl ׫(j%u)~NJڨ.^jE#Q[SrRGf?Y˗^X<Ŏxl\W-f"_0S@@字UVgIN](Ff݃ J~21ؿh)Y y,XfЯdZ&(  j6=rA(8{Jĉ`u}c̡ ꥢyz QGWt'[L h5 L6XإV4Po%}ZNj"@Kb@!9ĿiL BN`*+NO,اښOA." _@zW?'g䄹0|\[>n-#PgNzfo%}g~כ.5Mٮ\a{b2w?fM,N(@mn`e?C&76m_ǍovA KGP#gQ|UVv/ l TTa+Rk pw~2ܷ6ggds^.VyZZq.MrY; ~SX`Mrl{BRڂ3m佡qdwK/^~}ƈ>󺷊&'\WF z-vJGc-E'0bG՛p~> }S!mKlT`u '2>6;ars3 Myi #[5oJs|i2PXA ۘc!H[q]-`sTLbEF''8>|YhN JpdsCa\c1ŝ/_ISp "9N?Q(J(=XoE$$P$?{3sdQ&Ȱ(C ʴLNPg/|N9kf#U›^pǞ;ג3q!4/2lDvG5Y"*Njz;T2^=S^qۚ*KZǪ@v,r ߊN87b{Wȅ (u4cQ,RjT3wOܖ_.p\U<H7܁XPqX뷣*"{$ݴ&ү/rS .3+ +tR٣E\^6vMˆ!dq65us2>eӚ~'nmhr`ԠNJW&~`V5i00&e{P>W1&[-t\0ì*nוxr@66?22`X9##XHEj::ͻ"DW*dPDKLSB b:OB5 .0r/J먟EuZ83TT¿t݈_U" V! <<欵%kyN֞+}&R:%wRP*x[Pr:H3:\#Dͮz6PjL图\13V4 O[[cQ,Ic_}h:SXD=P 62˺ "EEQ+^c˨%=Tz R&wbj,FPiFfWX2ma'R֯]]7ۑHDh ӣ=uV2kt[hRyğ(\|2Q F dOʂ=* ovdPs{('RZAS>Z)I00 =8IG—23t755$zq{<ǤUpu ٷ3"|$AN;+7itoƟI!ǔn:sW^/8[>ď# `bZ+Pxjgt<6ԕQkv+Xx/E>'K; ɞ6- :g4B9Iܢ.?#TYCND*X%uʻO&LG^Cua#)21dQfg´Yc l/P)w=94* 1ˠͩB` .94v9C ZyÄO.z"w{<κٮN'v]eR]Z.!и(rH 1s~&p0hY-!nKQi/)yb8s7Y8GY*LS( 4lژkn֮ޱ=Bl!TN{5{D7)y'üh? >;0fu򘚍 X@ P%^o^ˍ/d"m.S@!YfzyUy.I)Uj\h;,cx4B@&B9sςa5oYơcm҅sߗh0keh`N<44^ffE2:Kt,_BAnKAlh"Tpt?_:*c&ъ3cL̈Zj5"C⯭E`FR*o6YB#$q nu+w"<!#r, rNJ™ >[y+93VK/ -؃?ܚ0fsJFhSO0m0øfL,&~gR#F~?Z8kҏ:$ q&of&v6~xt;pj%sVG!  @HwwiQ$h<"L~[q/^j|u>C\/74Rإ 㽮NSzN-hWx`аsGHIBWcR^wj]t)`nN@HLyu0; P+<5pi ؖe'y}8<6T)94'NgW8Ck@չCM<{bMX>UZ樂Bqc~ ,戠TUGmigmآ8QLPWraDc;#JȞ]j,:R/hgO,h뜦;,fjփ쭢;25@+t~<]ic"9}$L^wNn+Dt'SQbxx~4!߱ʢ!.FZ+P?cnVkn8 .GZe]v:wYlco*3Rq<0C<~z+`wOd *ӌ_sـZђ'~AOoUooi`&HêpgƐ?٬hI~ט;Bo@!漚6AEo%C;5T >!O0I}_:T]W|ۧ~5h$v*,74i¥^yn0l78*0Ĉ%^h+=B閸W8̭:<9@{{]}v9 $Y1];"T`ͼbdv~ s`ĚUūoB۫ c1a15֕DV-Yj$Jk>;-,ݵYK Hz["}IhzWS44HmWMu֙=?˟,!;ddy{w39{N%ׂ@$`;lhm>76$-|n[4DdT I+FƊY¯2plIpuԆiFe̱ H(w!Îr \ĴY햼 袓}`RxC?{No 2&mwTcQ¨? 8gGƵ/ې"CςQZɷwm;uYEk"fz:_޶]F25 !9v2^|%I2g|@~ї̅ߊr :2Ro@wQ M'dl GM`rva$k OJ}]˨UI<-}[E#Ǚī~f_\F6zXH yEPeLHm4=={py~|r*M|AP&[;f(X|XwT rKe^LId@zV>P`6Wk/e_2kEh.oat'^Jkj,>4 l0QT8*we.@prN[]3ΡlS oRO@C/@A>6Hwpxy#D|%0Q1AX~2@Z~NfnE5JAX/M2jj;6gxY3GJm zU#I:DA}s _jR~S x b0}PWlqQ7{ }|, nb;8F"+#6S4C4X-C'=0@ـh2k7ڋs  !raN#u +cDŽken J^8 _'g 4h1C\%T׻HEÇg;[ %b:Y#O\Y2N԰_6#X6Yf0 /czjtoB(-6u 3U |:O)8 u-w_y"X4֯b~"1_Ms S&~^s^ tCR.:V%]=a7U턵grjPq [ot =fG(j\2a9dD ?Z>) 8OL#G "StEkTA=8r޼s)e͐;썎E a #XPtʪ{RZ ڧcÆ/ժFi[[:cC$ BQBS- sA 1gTDBٸ!!=V_O1ߩq "" &ʪxx@"HO0ڷ#|v8*ᷯ+4m۴ա%\BmXCS&mL%uCvyIjm`TVE_#^CNQM^>~ˎSTJ<~JC 5$3\}$h m(or1d!@_ױH+D1̈uFmĽ mhc<]{wjM "=wE̦]"/_H^lz+ܚ?>ؘ̱Vt9G&XhL|/@h LB*Fɀ;.XvKiFRfken* M-5ZDžHOg//^:ٺs#*FyD}3,;JDJfe~$ר: -r ]ε8bFGZ=+ nъCMň1GH9ryvd.![?GR4萒YdVS0}./8(]%߸:~*&I@#2Z$ǚrO*fkt/+Z:r䶆{~aרSR[#wGHmڿX2j KLՃX;F6w-Gt竓Os5jb쪬M~4YN}j [w}A CXRªp&P_KV_a!?]EJ)n !h=6)5[v/?I7pWM|Fѣ'qҤi9@JwU˹t׍tâ~8] /0xH("g|Lj\aӌ06|eUQAk9›&&\y֓9 vbИ嬋gF"(xzZ>Er @15fUP׊5 F8AQqQ)>U#VKZGxj#~0K+#%_Mj_j z'/۪'>)p5R[JvY0|㪦=Ԧ:oPaY jY]vTH3Y8YUڿB lj %c^K-V[1gqʸ)3L݉}"?=lpZetV|Mc=#ڤmJ;J(|/̦RH'm0[C±㵭m`ӢUFhW-.E,)[RYRvF;hIpӄeu3ZwƕҊ+ŞM5&Dw5IB$CY#0=ʡv[ ݚY>㌞IYtxjn/H==H5L+3`?v0PIYxDHA|Tq(}:F,K w /r  |Ȑ=֙)PkYOؙJq>Ii}̲p*f'+I$BRWl P(ݸ,^ oY Kr{[2T_-ۡUsi&Ҋٱx<&9{E#?-6UUKC/ ͬ*yϷr:ad_zɱZvQMI 'g.eMe5,voh,wnraՕOqInȹÐR,U} w,KM{ASm]A0t2#!a)#!9Gna\|H3-H&C6zXp{dEIȞ4>SS N8&R˺N9^4oS=իwz @y|Jg?w)E:oNC$01i@eG6juU}/ZoO5b̰?Dy 2+pf+JpOKq|VkQ}6dBN O[$AWoZzRoeҞl,9ܩr58Nc/M[ Gx@XRE6wjCz)-f(ύlz , Ζ, zTarѼ{`~@bhyKW+6Qs/NۖU%!}z8@n$094c;aE" Osf]r jx߸`VxNGAS Է'س?@[Jƀz/2iCckBi9~Eqk+Ȧ 8u1N?@ˏ$"K-o H0/YLn'6=Pr9ⱽX ċ̨N=PY qt ZOn'SU})rED/xОH;4R f]9LY]?18'F~YJ6+wQI[t܉&jl= SaW`VEP"xn,/qUt^Tv3j>>qce\@yEaN˨N9N=0Fz_;Hg+ 1H`ƿh͞2N±׳/nE٣5U7h3!iA]h6꯬hzM[䨟Gˈ #{&>Jv3˻9z*м |3շ&Z7a9>벎t'yޣ`ck#}*Ӈ|UVel^wytW"ի-v)1P6 ;I,QX!jQ3tVb70 ZAf;ozy[[hzGbddC+?Ή~&SVИ6\ag?J bT{(ֺ9b[o%ԷE}} Si&sm5+ԦU"6.brjѫO$ǖT5aT x!{y7Ҙ/`t2RJ ڽDy%3%8KS^El(X?2qx80y ۑ#R3U8Գ,HE(1-7lX nDGpmm\gOa>Unh%RFh8yhgqZf<) ByKo q\f> e/Ml>Բ^2SYWL}BK@mCg/B4:pytJ78{Won<{ȘJ+(rVYtM̗a!07mW MPq$ik͹McFfDS>$ ?\x ;=P֍^៞11{cG޲KFrFitJQ"kz'7-l+m 0E0 B9~jZ*h{(][tw|me=FOl>!0plEN7_i0Ӷx Y0^Y~(y(XցhS,ۣӘ1^֬w%&^RH5U&$in\ی# >0MݴGS՞ c ۝TĝPmnק-$%3,J<ՎfEP*PL)nw )K+ҷ#ZZZhlAԮ~2Bk-xO0Ka/uVfKOun}QMXf zV(rlr3O@ǟmÉ dR] 5ͽFY8Kva`=MjფW;%1&Ѧ!$hT>hε!$5߽_|{|t8)iמ钙%9 5m%C•NMb y)Ȱc0_|?vwdҨT dj殓R\!jߍGY6gzaS,g`|a sb}O88ށE,X>A?U8])+S,A>*}Q_ |z 2g+JS O<]+'m_RY"#G*r~ dYȣN%LɪiDE|*KU3&K+qχ[ phU,ڎ:y ڻ iVfd@IvB܂vY؟qh̟ZIىjZ5eF#gLN@I&QVdL Xp T)Mq3i0XIM6򅮓n.N_b~Qm-^BN-YLZ,!I:Q2lُLes[5A!\QԸwĚ7Q?]!+Nl,ҸsX MlzjwwT-Z.1UQ҄C9nZW-DC%Z]TcjB}2\ X~v~ HdFV>KۇHMK9+f)<]pj 7Amlñ1fJvZdsC=*k"rW c +M":mT?tf"i8;*P| Ms7D8 H%ZR $`K?v s/ F` "|*e_{`:P:ZNg(;oa rBLmV+^YJ<KO뺗t { ~GntOD*R=dڼ%Ӟ0lP:P!K}f͈+jĜ ^-(V.raФd8L "U6pjfL1.UKaGmI ^$2ں߲֞x@Llr1!.$f[{߯Vl9R-LKg=_bZp&"\\Br 2k I טr+"Ӥ.خB 'FCX,qȩkq\8yYl >lhIzVMbÑ?VnNl:/+ M>Ie zR`]ėx P bj6GSغ€.?HAj#S&hL]-z/k*ACAv߃g=Ѭ{SX ת+)rdi2`/'\lXbCzF g^O| ayKM]qcR i:>"4#}i{SSr3Fܘ42%+wJr%*d(fM<EǍ;``֑&le gtc2y GU;l/"cN$UCg͡5JCW!9g(ĺ9w 6\Va枹ɢT =D6{&EN8-j06}}ĩ:W sј&R4 b+#S&Yp3JƁN/BJ*IZ^*D 1G `UuN@W`QRj)#Qyۤu۲37aF߳+LZYcw}L>L_m=$dajk;xԦ9'yWd>䶁imAAMI *:< 憔}O#5Y|Ne_QIe$߷5q&>5fͺG]>Vz v*_En)%TєP_Q|V!4l'r8ebv{'zL(**0ç6,ehjd14 h գQ4?tpu#{S"v.#$Me>fy]lw%\ !{h}#(Biwh\_D&l*lOPK çzQ|ԃ"8 x9.;@q=yXR㧫D3e%'Z޴w!'65!6!'|N]{}.q7 j :WO%b$4% QLōu"WIͶbtQP"mdb]qOfGV]> \OO.>cc4~͐?@r| J5'>ʌS?p7 7D 1,M!26|6~.n2;fL#Y5\qNHPzPOr:ۦCJά4C"UC W ~e~@%wIYv?tRkXw֨i^[ʑ#7+<^ّYFeSCyLYG8p(GaJLU*OmY8p56KE呮,#q>nK/tW±p6ӣv jrx^trԧ/Vh^BNbM@.4kpv5Wf-7輦R]ƁYᦃ0'J1|v_KD^~PfVA2qyGf(:]g>iq,IOr(%KƵ(k$pPM2pKb\mfzMǁJC R[1uLN^SCʓ6?Y}xy۽g GGħO7*&!PCCV)#D.Ce{%@MpjX|vv2m?,\\F&+`"N-]!0f9&D*1%R _&^{WXO8#B%u Ϸ#—HhI Ra"?KhRhRlWUT~&ƋC^Y(`=Wˁmq⭂.QB;t*;'J8^Oe"%L *ě+|L F~r~.om Z;dm]4ZJEe )U/}k-P7صTu{j7v:"uF[ͺ3-stVj0qEk My:ŏ`;N<4i4W^*k_k}LNf"( I~FlYԟ[g=U2)ZGp{6I˯ {Yp@9,nxk#S@^.Sؾ11#{2mQHAiBafJe,ړPj P!MuIVE۵P[lT`^X\GoT6ӭXpirbBͧtt,4 @>5]歏C,~_xt+p)-xesvd-oKEt&/̬~LI*C# ×2v6)ap̢%,܇yqN\;рZ^zx6wA91uLUrΘq?,[)C&x3XSMdyʗ=R"7,$எ/of4~7"wp{I<`sțg:ꘀ^(6I%l1Tɶ/>WlE@ݸ[ <֡&v3P}{j9Q&1UpzV!YB={{^6EdFG/ϼLcI Ŀ Խ!1s0O9Q/l}<&5brA3^}tHKB3{dg& ;uT/4 kɼ%@稠+%(ϡА)}$Pg%Ezi`T>y]B?S;BysVټQXƹN;DQ0[U3Ge- ICٞn&]MY,DE\Jm!w3gX$_\A>ڊRFgTXJj=V)(H;qhd{F#5@.Wr;> npx\&ϗг 4p7h7lʻZCSU˳wG:cyWA$KX# uyAfHDŽA#I,9kfZԪ^6nCCB?ckqB+'ւ\KG}< u,yPNbngzKcL,_~|'67oϬ}5|w EW\JD1qB2߂;\6P#BX?77zK`ǿ)a!~R!Nbc &Cvzi'xNu/ޟ&L7I GPUv+)%~+>cc˅!ՁP8ʠw39&|WˣI6ۤzM'rGy+] {}@ #̓yQ&y AD 3>m<\n]u7rͅZ$Qn;| cfI2dJ ښd$c60n;HpQ3= ܘ@_ G; Rɘy:.b-:0O̞=ܨȡ`l.0L& Lh#a6l_lQl[7s6 tjZVH\bMSm&x<?ʄV)9?A@/zngOδ嶡2C#;S)=`gI$=yw{G3b V~Y vE: }C +^+9ۇjk&zrPRK:7I 9SQTϹvLR_} Z8D:C#3):a_pd /R $q١ Rd? tKFT#fXZLda$ wWNtπؓ_ o"^ 4@~n_!9(sBdBB( h EH2>T No`Uֽp:`SkݿNmxMZ͏˸?5t36eHSґrq eZ5nh٦zyPl%DA.E*Ϟkɥ(I;:[;EoK)]M=9JSWǻƝ4+u4k ѽU ܱ3=067Tp,#TJc(}̓w:^N>`+rR|3lRș Lp 1Ҍ-kŕksG8}+3B a~}B "ކ0;,ysP JcH6S8X9؞v4?8%?y9L*(Yn2# wV[sYr 2#'s wVWa |-(1>] s49K+=8QB\ȐxH6uioAPׯ4-VJҼpH"~֟QE3qOIE,@>ǫ&Fv3brq|\UNh'N4P-:Xu7JL)cuȊ;UŌL9>A.{`Y/f8hLdJ}>dq0 654Xa9N7wQ$0HFoRcHώ7;٩ ϱ فstqB;$H~@C=}~uŊ߲:O\W43m]rt-ŌUŔ/rT.z]#x vQ&U!h8:|Bg?+vS.F)L3C kL~gk}EyZXhiToġaKRsʫ8t?AKC(˘@ "@MvU =cJ/\uZT٠,>"s`#9Cth>q޿ v_#]Ǘ4n@;9_LkQE*tWXDr3>en:BNoKVk(j VOvp*PhFZ1*ǒ WWR`8P0+s6dZMϡ ^wu3|Fw0hl?^FE M%_oe9x+E}P!35#4%3ֆӴ Umgg R{z gTFO X>ׅLUښ2owJ 4C^^e$1iݸ)_a܊xF[ سxG_qɴetjťWR*JCƨ#6+lVک VLH 7hRFJB]S'hrQP|xD`97(ܫ'ؾ9Mu^lFjخ J% ]^9<¿"HeLi0L w4 Lmش*qi `Ħwiba $TP/ft'8g?H@gN̈́cmuu=0q`;~o[Z#<`oz$,8k5H6]}y#Dڒ7ٞM䏚?H:ԙ W!!##ʂ\$YjBE\xùcdnK:v#֠/D88V.ΰe(%9&k;#q\jCzÁ~܂ mFhId BڮVnҪ RtS3_Lk1R;J׮36Ieћ6 UHlȴvbUB37[+[Ôm 6ef.eώ EbIFV?ty꣯_a/H~[}g9*MeKk7 nW0>zzĢ@8*!Tc7Sk2C.׀ԯ 8n$B a07a!vHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files~~/src/HOL/Quotient_Examples/Lifting_Code_Dt_Test.thyY/7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id676A.7S' tHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messages7zXZִF! p]D?7 {?:fH\hoA+Ϗl%B]zLhbʉgmkft]2QL`-3̷$|4>bCn3թSn~]l0ݴ a,Ari;FhdkQ"O4ɀJ׹O+OfxE!q o|2\z[bʆ\ <IPzuͺP%Eo228V6Pdoݏ7s S^KHU$C[hDkh"ؓ%"nT2v!y_G76KD^ TC [b Ɉ{ZBNA&K&f<\{e@dҰұOo},Y?RHR7yU^+mW2T$:Va+*P/e:;ֱ]'XG{PDYDm qW= td*8{/;.^Z ~ŕ:9^^[KLSq@U**爟ܴnZV=J~aװkZ9@0q8В͍D&KZ% +<;e]2IxFNqx\GiXLURXC#sDmT jfjɾ}=/O@%Yrtl6 UCIb+&kX87?Nľ+UZu )&-[ywM띶2C/x&dKu}X&;DXY%'1^0A͔]=1=@R#\i{s똻sZB\!`Y lrʬ%r벟A _c>8/,^Cn1g}t 5gw5uޚ'Ǖ?eguxP dF5` =͛ vFB!2TSR+ ~ԂRrBD^b#6A{--pp\ %/ؐw !Ɠjk(Z7{~ݝMUj2Hv#=/{ %w#HRl*uV]R[ბ9>Ȑ:c?UK$M(J&vBZ@L*RjdzU@ZpL2v$%OmP o Dj,Cj G>cmM,ᨋ\kuH+8G9?1:tԡ!d@V(0o_w1-Kl~/p;f8n߿RKnJU$+>ih~X}X,_ek!adE΂NSء E V\8}b?E-ԟB"K5-6BmQ}>)>XiuH2*+{֪`}!E(lGa& mOsN<1 d`qX<#+LfrwB&6 iآ/L ,a 4q)o=ef^ m\|2jY+w~C[ ѴBz&˷-/o&'U-18WHIeuA3cߺ Cdv;vOt!sݾ :# FP39=:2 -S|P<1Z%U/TFT%J:CֱgYZZ{&UGRs8DoٴC;oNrx?|Bz&J?SQ}*d *~l}:Fʗ`ɱZٿBgFfGU ۆZ!8%e%"dpm>^6B+/na!i6ˎli { ܾ 4εGaiIfmg<[U #ŏp׶|4" tmJ(8mh;:!Ac*==|ha.)DKWMZ}*Aҭᯭp 8[iؙ/7R,~ۏr ]/*9lӅStKxcUpn͠RTCx`ahu`M:On;rO@(gMr=7©rk'jH :jZ94"Je4 q$Ɠ\=~' q&d{ml(-oob1 jҧy.eUQ;z k(O>Y[ Jn10soԾ;hSy39GepHF u0tH؀ H ,j;ʊwJBk/<7wi0SƷN~|^{q쿱}o|rOBC=.&ZCw`5]U֔"2 ![R*_"n$J ]bJƸPZMSr*a,5_h+&H̓v/-p$wV/E\M$?) W]af=\HOfojkƝϫWyncATb,NMLR` βr<5JwnI]L3m{+Xzip>&rnTZrЧIa C0إ;[^ɿj0bY<,3a1lPygGM2X!mJ8U68 Ujć}`b}qs~.m3^Ş5#Ѣ2v+G2Mr})~ ?fЌAwXPϥW, UB06QѠAI9Q 4@SN95* r𝇈ltYjUO$̐zE.pKU@P3k&F}̽u50ԲG!,0. Y;{ {n8O gQ `̜ZMeTeg?Xn& 9VY{Vb 4|757 >j Y6vA,2)z"xSS>3b f5IDshWbmԫY#M_]GsצЮV^K /V6ߊ,Ԯ ӛzx瘪JƏ5E#>G7Sr$i6>rU5 e`@4UfÐ505=Cb?%yFhe%cw`f'[~{<?7Xz ӊ4z^n24@h׎BB!Ra?27Tpzy7<o`ldGyцh.4!RNX'znh.Aƪqhb2nܭhePe'pςoϫ}!\(yKƭX9N*"sp SiѭCVrfg)բPcjXC Qj Y~J ׻: yޙi@ lAةkH <n 6[b;ZUWZa0^8_r"9Ѥa5rX6=51 %e+C ]8G 9!z{>eÆ sL&=>wsu{`I:uDZCWӭ4??(T5ϭ5py30$pqS٢R "g"4v D$$z`ײdZ<:PE( L -je&8q_Yw=m,sXBr^6>?o{}]WSuJVa -~]/)> _+7Dޭu)nRy/l]5&cnAu>[+핇.tJ,bTnUiKWCۄtER f䚐QJ L=,f([\U41{32 ?4=M^BYԪon9_Xs /gz6Gb2L"fd{tUdڴׁ鋓%i .oM6cY|Ϝ|Z!hj΄%MJ<1Ě)<=v `)M$g!~VD;CDZ1^M+j!y#XN'~$g{XLKiS/),퀞=dzQMS} ]~кn@}:Evhh`{X #YdR)5 ؽ>={v:+opcJ-\tkRsDmIJ`t$T 9Lo1>":N7[X1BgS>,#xԠ_L?mv7keXܭode=Zp^Y M͊JX:Zq+?h<[܇ѫi^9]O, R{[\g4kfIDf=M0]7%KlǾN'aG^ˤQP6-ˡY|61۵8IU"t(25OqZ}Ŏy#R$ɢw' *.A+4oh֎䭹>_F>[idoVDn )F N27< k#?;dV̹#ף`{t]Nq 7؎y:7%En6YvDj(R4>=AcM+ UA3l1y+PPiC<ĶNEj: L@gYZ 33B17a# lHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup7zXZִF! gc/]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5t_٧ mĵUK=n^u@sKQ% +:OHMď曤/Ld0eu `J:) 10>NH67|˸: Лz~!BsՌ<4rcMzkŰy?R 1|+ZoZ2M:]@h@`9y^|35xvu 19m>_O5k07N^T{ B0JHhb.8<윬O+Ŏd܀]5 G: >#F)RUB ϥDL2cO{ؑ2e7k1 j"RTJ 3$"kq;Z{-U)RGpX 5k vQg,P] ¼I^ \FSI vV9~'<~"ol`ݾlz^%6#*)'ҧ! cH[ RHݮCd xee?Z̆^F|J9An6diXv]l=pSz6aV\K56c#0$%q/tto7[WrQ3j+\?CZa/ɫfo.F<3xL-,'~C݌^+#m!Upo_5H =$Qc-{&wqUp^C:rW'rcuaNsS|j*[{ tf6sEr} oyi|XghO'F)-<7oO̭qojF.5jLsL)ssMq3ݮ׃IѺ [[vlS9 sZ.Vu<}$cDB^P|^ 6č7iˈ/dܳ*1bߓ#ZHːrS#3^Y&+f.34؄etld0 1wbra={ H\$*ůuzxwaDž6ORPk S\+ݹ۬c[!Ja>ܙ@M*(A>^WzƑe(!.3 Moٰ3k˿YUخM2LfIditK4.3 K.D(FU4~ӑYkH Z4LjC52[}:uaV;C9Hxe;: D= 9niGjÙ^KDwO8Wyd |rأ*7&J$SCeC ]-TQf@p*uiKLit?l^OnopS[G&p%R9k*1dY\O C:-]꣡hGzռAՓCHZ 3z=fuh rp2NoPփo^tQvl5##Eq=9 ]Mf*WV| #'F.tb^ a'}}m0)$hhފDTqHk%5cHT12e[Ly3]$D мO8+ DGs7iuo& (@O ~Z)Sgٳ5[t͸ Nʿ…4iMF̮.qAVAlwpڼ p QĴ\SGJBPj婂Y|։@~K Jm:E:X/Q̴O{s쏆MNX8 !7 *l.8bmOh,R}yᒟ-گ!w5KuOq} !K_'0J:]ӷAW8#{oWr'g,ۢ]5&UPx‘VzYxPVgLRf4J lA09@IS?p.$ػJbQ`;q,qEHl@i.׏Y2McTJ2XCn趷yqT?z;PYa%iM-lxӜbvcX0. P -oA~eIT0=b@\R60@NeiZ&ܩF ݼC5n+&LQ5#!nq+$ԛimTo29K.m_S7& 5ڦX^C=&=y;t8ɟěaד6&\;#Q*/~vg @~g[Su'q{<5YϚxBaRLˠz7y#B8g8ʿD}zY6# 1>B;6릎 Ux1Q$$q.1WF8O(Љ̎Za~[18XǢH<[GE\#>< PÑӓKa6QcwCYضߝ.Zk < fHx,= Kj2쳹w΋ʐ(fus^KidT(|%;U&UCڵ 8Sin޾+PX?T~$48I.$tB @"|G@Wu=V7=YnPj= wt@p@]~1r>bMɎ? J#KNEX-oE^Cwk=BGY_WW`*Oք>3,oa/&A=< 9o9b'_?iqgM  Y 57I# F1 b|ͭd|PPb=x'ŧ/Yoljb!LW<bmW^ECb9DWDKt|jRU17R .ʲvk`9wg6*J$)fUb;zXuBe}džJOCaB_NZV+a4Ժ?)T,:L߱M!²MѤ ;D$d#<"oL>5yKخ.$l I.JeX" 6n}ån[ yI.T_r3c:UIJ\9JplӲQ ; m (^BytC%%y> >tlխ_) ,dcL7I[k!Wd4c$e&ۨ`DՁPvEd >p6'űLvw FF~>b:g1hjv -ϻ[o=_Efpn#su5.1("ȮyiZf4oEF,S@C?s1_ [&d7 pk8۶>R R"jZi`IᗅWܛ2XO$&HP9s!EhB&s`V@4I}мQ^Os o>QOۤ_ť[V"/@9};Q2!Dť^e3 ʏ ~A/-n</i$HoH)]ڈ9`;M84h9JST V' uI3֬YiBzUroFO,}fOp \L6rTj= '*V4U+; j۶Q{TQ:JPh{NH;-+VZhu0K5. PWu0 smnM0kbd 0 Tj23xɅa(zB*k9G0Kc߅jrPMY1e9F-Lp"U|Zc']2O>3qc,`8#T ߋktF%E\v 3 D]Ē# ёP>pRI8ob 2J\Xi]T 9p4sǤONо Zm~~]ךoR12>"$UTO[_gY # Qq/aJ&H_IݚT픲XD?|ԁ(wEnaMP2?f#lH|0FbA,Qj@+[q+E1ڧ&N-D ƒPւe1z\:Jg:K a]bXǚ%[6a&Ǡ{"n-ĺct  hN7 }/Oċuԉa)f͕W'xm-PuƔb7ӊ,ޠmhLL ;z_,qSC0lf?[0H6>f'Ñĉܼ& h S@dx~堐tECg'Z4i TP,QYSNIJ+dk޳aT%!lD2TٴRϮNoN'tqX9@S90D>8$p %ԁgYZm47I!^HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files~~/src/HOL/Quotient_Examples/Lift_Set.thyM37I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id674$27a' ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages7zXZִF! ]D?7 {?:fH\nKܜȮ`2JOSt51kw|pC/mN^J5EvnB_Mbm,nW'AH!]s#z1*W8X@ X&D FѼ`} W:>Q$۠f#bWtO1ϒ  w~1΄:Ե]%9.hG ]$,e8T[[WE‘e"G?֔`@V') A6"/h%Xsڌ)Qwcj7$cƑOGh ̨MlDo)^&rH&<78aW!9sǺdD[R_bnX=*XИP#^`3 *z:۔CIYkKCՙVµ?im܆NLD 0oc&,Ր[Pv'dKz.h oQe{s(UrZaqgYZ ~ Q h $ i  N  q vB 4, "^ r *D\ AA D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup5C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files4I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id3\M'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages2P7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup1O7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files0U7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id/K7S'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messages.I7S#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markup-H7S!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/files,N7S-HOL-Quotient_ExamplesHOL-QuotiC7C'HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messages:A7C#HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup9@7C!HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/files8F7C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_id7F7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages6H7M'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messages&F7M#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/markup%E7M!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/files$K7M-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/document_id#F7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messages"D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markup!C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/files I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_id d'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messagesL7Y#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markupK7Y!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/filesQ7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id *'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messagesH7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markupG7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/filesM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_idG7K'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messagesE7K#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markupD7K!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/filesJ7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_idE7G'HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messagesC7G#HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/markupB7G!HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/filesH7G-HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/document_id ")HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/latexO7Y)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/latex K7Q)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/latex D7C)HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/latex T)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/latex H7K)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/latex G7I)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/latex)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/latexH)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/latexF7G)HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/latexI7M)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/latexD7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setcode/set.MLF7K%HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.MLG7M' HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListcode/dlist.ML qZ b 4 Q  q  7 Q qK7Q)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/latex J7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messages*H7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markup)G7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/files(M7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_id'O7Y)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/latex N7Y'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messagesL7Y#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markupK7Y!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/filesQ7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_idK7Q)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/latexJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messagesH7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markupG7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/filesM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_idL7S)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/latexK7S'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messages.I7S#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markup-H7S!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/files,N7S-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/document_id+S7a)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/latex R7a'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages2P7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup1O7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files0U7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id/ e ! lex9 7C# tHOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup7zXZִF! $E)t]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;U+x+I9( 7x4uvԠѬɽ˹g""#ԑ bˮky WM6x Wu[է oՅXC`]jiQXէa|?y}K0z:zqƪKU8= HpRt"F&'w]\W&]be[ʼ]WkFG!ׅQ< G9KaMTbH37HԊUK~ygMBZ] `xkgzacMU09@@ =2|pҔ# dkBQX2x'Ytj3@Ё^1~ FAC$#0 MhXOo丢Tb؋L×LkU hYo Ra$3BA |=qr_=Jv,Fisme:#{,+8>9>rƑPAXMg9(2d~XLѢS=WU-Ll* wLf׶ OﻰIu ;z8 DPrV`OEwJJ{j1]Ҿٯk3#+Sjfh gjY| =~Se5!4/ 3CU`0uC9܄JA.M;}7qZkWj,] 8beJ1`IOOuE)QmH^!,ǂ OLX^+-L,O? 3jbGi5&XuXx*_aФ g*$!*ƺ< Mm0QtaMvӻC8b)M/HkWpJN sNmN D3klp\ lg/42b!ߔ({3^xqCZj9YUz˂LmpB3>lxvk-ĴC:W+fI]ESZ7*o,iyD2=d>G!iFGp"p &QY^m,}!$U$]sL+.7NJ~ܭcvvvbD/RA.G'Q {ܩftFQ]L-VdXE@9_ӱ8eΔ r1碑1lArf̚ceG /M3a-n秮ao"N/+Xskx>Hܟ*~*P+@C%zë_GZ0R$v5aD' hʥVofKosʧPH>/ R(J|XeԌ) mmCeihVf&R('T\ b[mZcjȸ;0BHh Enїc/IQO/#OWڄ6d;9CΏƧ w~jC]24' k-iD{ѣ,.PzG#+oO($i,zdܧ.v@gqCZ-^|6kS SP=|Ϝ<(XPX{,DkjdRJ6pl` Zp>ees57{<ϫVic 堞&ȫAaV ~Yc (yr MBSNm^GlxƠ.GF 3N0>7DJ[Q )K2-\U`Y޻ JL>MƳ$ (Ҭ-1zl~ tH_||E|ϗ$W%8I\>`,@hknݨ9xAE_wlQ,WH96Kk}K$IT0Y+ X*J!~$ZkkEԈ}"ɣmVs<~A}ݳNVPRS14RR3 F/{Nh+Af=s)n];Y=hxȹж>诬h+a;tz+X$iK5Lrl,?$Qo XNA:; /=`߬=rQ kKt[y 9)5͋.Hi*O'xXW~\ uT~KZG2,A6+T uD1N @ nn2 <a1 ӜpQ<3u{|V戼}B*E[' iqj? W`I"g/yj:sbHp$G13܀[&fi}D ×ᅥiy3ho_}P I!X eňkHiN!YEDR/6!K铬kܐYLPsI'RVe W&y 0 ^rϽs.w=SDz7*jx#Pr^vV7ѷ5齈r'a/3*y9̦x[XPj3=VP}B+ 77q3rXGU 7.(d!1ͽZre3G|D˧NGFoa+C ZJVIZ"JU'Oɯ&>aư:MQU$b#裻\`Ԗnj)')Ucw ǡޤ_IBhu‚%CqaFuι].6$P y ~'%YOcoD19l\ZŶ=7j$-?$]?TOr9&2eV=2d+xȢY=ldȞoij+}VZd98lg6#K>_Vs #!klmtK'͜84k&WW4w-:C7 7U~j}5>\*r`3!A}l{zK9wڔFe8i^G,BmS79["s;Xk|kyb䓹0s , oebp0a,< t9o$<;l6(Q> 9/1" L15\(t?)z d뾳KZ;37%6*` L|YY "&ϙShY_Ztbu?NgS{?nC$&ӳ[qh٪7:YPe8)1Ͱ@FwLWUlv4I`" +gL[*qȩ<`KIse1x$[++4,Hټ_I$,ߺ|mz h4d0@O=Kb1@8+[b1Ŝ:Ƙj]$Td˾1{J/Wd 귕vp7zgmfG:*`GTN0*w؝ 16U&B(ߣV921ޑ-H/ڧ_G@nՠ7LپSڗALX'X}M8AԚm:)O/0]o ::pw߶x'>sK A,,fuŠ2vc O8 6/M6s~޷A钿o+R %6|7ʦ|3"MZ 9/0:drol"FTxO~KUxƿk\cK}$kzȝ|yM5 IP8ह3We<~=eHx7b&NEUxtI9 7~ z&-eu/&6U4S@5,[4r;[5C9%<}w#63b6o1ai B)g 9Im?\;U݉fg m%6 4/U?FNs3]jyOX k {3+Vh 6d^9J+J"%'9Khơ'_SwG7>vsuUZ " =un 8ș{#ͻ\C'30?RW[EOi'&[ĸ$#fɓ *B#y(l]jנYbBaPGMT1xDsV}y^.WĤ(2%o ';bIsw&)ZlV /n|=<6+6ٴgoa'ܭVPc HT%XKZ_߅O?k)( };21ͻٗ!ro8 ,Jq1Xl'O0у|w*ܡ䍥țquaVlʻ ;=*^O'j7]<֍w^ج((ptX'sgC|ҟl~[.|Wk8G4ˎ<6d&۷dOnn 8b{;0lx37m%%8Ol &6љpgD=f Xºў7g_AG˟FV^xj1mbwH֒;Tnd3ܨs]n REB ܩTP|yRהQP[W@AU2OWKM@5e#nڥt iG?XH˩\tr3[ۢmAl)@ro@|z!ǵgg X3y!c~OIʇą3G.: TPu D7 1ͨP.Q̈́'Iaa<+Uti߰,쵷QfIּUQ[&At}jP 槱eqƵ@ g{ـqBxV7~RlAy-͓Es,n)תpN&݇^Cl8J;XmۤY-&$zq_aV]uǂ"3{%B.% wHkd|] s$xK}&O|"h &#(UL+MO d/>@m'O[MrF|@a]eYpz1fe73;tGa9hK X' 8=u벸#_㎝K~ 7z ]O)>h*c@ g+߸v]kEc.:sI?wD`+>rYlt3f[aZGVe:գ5Pi̸EXd81aqkf֧au 3U>zޥSqc)lswK?)(i2IM(poUMC"E4?ɡUVSU9sUj`WGWpNTIGs51>'੽(;X]?ԡ2,5O2@`LMJ*dnK;d'S_jPqXM(_oF5utHkY/Em!Fۛ9?_m~Is{a(OIȌXG63fg4y\ۿ2Wap_ ia^kόBCoMz鳚*l[ECV)ʡ0K3#vP|c:_VNml†?܂j4* m9n\Sv=5V=pnhcXz, 8U!Ykf7A'6cdPQ5kFv*ǃV_WHfv:*Z /F6I/ЀjوzR0)RR_"!©ii$JIzHQ^.~y_(Le-B\"&~{ƫE(uày1>*ydDBbWbO_:זĀA õf$Y$Ǩ bIG'P,csc,Ftsۇ=J ~JݍQ>YtCC5~&M˸pe==ORbqT'aӶ]K?k iFGRFZ+۞1BK.LQ¯e&hCLF.k]]Hm`j"lp=O*98Tx6g:.h\G0[ӽ;`\-͊E&Fr=L3 &L ?C("lF7>ܜ0\t4fuTa k, uW ;(2痣YYt~#^WAi1 h CWO s_Q|AIf9@qLs!N75P-gGij]7oH!v *!a]o]oNd5$Zk-#_0aJ ݔ 9V8_s7E(Ob_|3@Rt`؆Kۂ`2WcV㣅E}2Z~|>\ÊܗK'jOgi%G HA,>I?[ctWeLI2vNj`+`<~gsy2nSNQ a(v 0W?5Bgg"fԷ0auz@Buɡya" Kyai= C 7f6F P`ml2/ N|[PE)I,6 ZR\:F qHȺ񽃀?s=z^5oƔ-Եe$ s5i*{0n&Cn]Q &“p|PB.ԄBk{V*xTx?9J8dmZAy4rX9Lm2LPElfrqaRX4T 3r"w1d/yV R'lO $7Q{ %^h(^#kN /=aʤ:(p^dq438${ qwVyn qvjyw\ei=ڤcu\@Z P3!D)Wc^Vy-49P=tH8]"`/3bco@:cr }K:S lxMYXfCIeaor#WXGw;9ZZzi* Du ψY"V)"^{Ftl>sHv I#GyZb7|jcAd9ʾr9w(79g hh8|US,Fk#|*·0o`/JUytqE]IqhnO ]*Hy.|e9"aGD֬3 (!jV5~B-OASy"*/2>\'( 1ڱT`m׀DRr๏YR[f g%QUQ VǍL(`uxEǏ{bomRs2㘿,;M ȡ%t*LaLAEE؋Zm MsxrR٭[pkZbvm bMo}* >qTT(in 7i3ߝhw&|r̚K-\TD M(- :-L8Aa~Ze? TJ7A@7aqf;?& `< ͆]'$Z2m iD4ɈrICЎXAݣۿmq:O h\7MU7[YY+ږTbp]m㳿S!Αmü82$Q+ڛw!H(n0V" mɉi $Ȩ0*)ճg'blUDé,)clML&V2P[nJ-j|16W5Tň_N *ty޶sw2Da4q֙:*pUkpZiz@ϟyŇ5Z4~]Ppd2a,tPILx9RE0Z1ED yX,X.gk_V;3#VVcĨ{@[P#lώ@e=榓:tɍGˎF龤Hk|^6D8zE"'+W8#K=m.P&@i0 )w&J2ɖQ U5>"('rbag\qU`1&0eP(p6p_G w4q?7=cKҝuwC~ 7"'y;:뗴;hP`I]z;X#BJB+hLΊN?y= %RF#A8f$"<0ee=Vty!>)ڑH[wEX^pv{Jq#`,c?̵%}ܥ/ 9⮥s*d[ X*pvpj@IYх A8]h[rɋ Q_k0_t]y{lrg@1!mHO<ȃD2F="pl'+:Dlu0V-o`.0U\HxjSgYZ  :7C' 4HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b{ϔh 1wP/-C-}!cUR,ZiHhNVQ mdyBjy& :P3lh!T}j,˨EDj ymp33)ǎZšDZ"XL '*KǁytT|Qfȏ^@^S;=f| ASϜ&g_eّ@)!!AfuU2)k'5$QNe+XH i1?)hrc)uRtGӬ L hVݜRةx >>˲/VǓ()y{ [؞-r92I|rKCQ55f**gYZ