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 ,,Q7tdD ]% HOL-Quotient_Examples:threads=6elapsed=25.612cpu=40.476gc=1.8977zXZִF! ak]ŗXiɟ=QzX)qFCkW*g_˴A(Ok| ϗ]1 7n(h⣌<M׺\ Gʹɛ{֞3<:vˇ(S[o(0]RdtM'D8aM+z>A}ǒž Su\l4G-'l$f%yugۻ_b\Be*#O:Srг䓏WVC2+VԇL}1d3_ /3,?-Ij"O6aIŻcߘMwq;q<Ѓo"zTFɏ8!`8k@ x"&VzvӬp+o!Uє&RD+ wl9piC߆Tu s$ץMnZ/G$b]:B{)S΅k !_M븙Y@@X7q.I~u˜Sw>FUێlUPƑΊz(1t_z`A 3CeKjm 8VDImGgG:aRI%fƑj2ܭʢNMQLUN ah_8[(i*6jϡFW翯/}ӂ#E^ J;+[î\b).bH@1 GV^`TO; Jr&:4˸nqbQ0 ܹv_l~˒mReej_=-]:)@7Z9s(b%:p꨽nBb#):B@ܨñˢp8F{Rێgzdn۠cÜ$C ˉXbVx:Ún.x?A4>a'f-[{CU2(ѿ",:!+BKi.h֕,LtFԀY j>f aToT⎠,ZX]L[}Jy#B}6C}Z|ғˊk]; M,EO !wXwV!6urtc`V3wT!&`Q4Uwi]\tĵدus;1isL2 *JQɌs2qB{R=eK/6Yٸh>@r [6/ġ&+ͶGR|N"IZxf\ cmNv2lVHjc°Ƅa7m*ˬyBV,<Z=u{}:rVFw@7nnpGӰœ 5+LjLȣt|عx#,i PFђ?%! q0oCD)1\ayz qMByIg;KD(n{ta讹0y0\k ХWHoG"-nDZFf$r("KZ@[jBD8=rwWxÂ.!~hǟY͇a$~ QO$:t2 {0作I7~bƻR5!-|o (*"=G8u#z,WNz$pWξ#\zx̝7dhivQ 'B"Y J.cvMa 0~L_P&X,CCUi[Kv,3ͩU/=nbmDYUvÒ8%Bm=v֗"eȬגEGn0mu@g_i U=k *F Ҁ3D~"Ű O-a஖Nrs?!Oj"*xz@f-$Q% /L[%3m "|oir@`I#rl&Iޕ+_gYZ5829b702153a07b4f3cffb6571f0468203668cecc0c11954fca45e94d806b43eab333f8d62bc6a97 20699c095779a1345da4b26e779cd64939d1a74c 3ec5d42a6a9770c5be0d82b98a836f634b23b4cc 292e2c3994dac6b294a0c6e94eb1787cac922f06 5881835edf4d94b3f75bf36856ce622744770cf7 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,>(=$;!:7610., ' & $ !  Q $ i  N  q tB ,4, r"~ ^N r *D\ @A 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_id3R7a'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-Quotient_Examples.Quotient_FSetPIDE/document_id+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'H7M'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_idN7Y'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_idJ7Q'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_idK7Q)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/latexO7Y)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/latex S7a)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/latex G7I)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/latex G7I)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/latex H7K)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/latex I7M)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/latexF7G)HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/latexL7S)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/latexD7C)HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/latexK7Q)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/latexD7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setcode/set.MLF7K%HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fsetPG7I)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/latex   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  h^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)w^=T;qkc@#=X sŊcGyyzr6^![4؊Ykv1Z gScQ#/>N2-tF gYZ )) 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=)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*ѕpC윣[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Ĩj1gYZceG=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-癞LQ4MoeSŃ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'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 7S) $HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/latex7zXZִF! k ]N}T':=Q߲mZwb3Kzd? P=r,_tW fWm^`Gz"UU}8Jj^Q6w|ƾ!m~ RZ½f;I{V~v_wTk3FsOGv3 +bTDO!ؽ1w[abz&y#1x'?Yb(rӆ e pD>ZwV>ѳ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  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 ~~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#q@|phlv2`Dz=Zpjw~Mͳ,!.R#i|ճAEE1U6^ 6E0'LQ-..nblY\_$kMe?0>rǻ:-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 R 7K) 4HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/latex7zXZִF! pv%]N}T':=Q߲mZwb3Kzd:ř p+u (ѧ;g#LG%gX1$_(p_inɜF"4JBn!)xn NRfhuI"xz$loy$kֱ`+ `G7 vՖ&~ĤPĀ8Vj>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|;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$W2i 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 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ͱgYZyRAv! ӁhziQĽs;R!4TyY$4{BG6 IBrmLd]-ޕ?W',&Itjeϝ,Jz $mË9`Z)"&(bZ zt 6s ==Pg8Mz\9zy+1<)h̀!G-/w_ֈY{c P9 \P5মs5smur17J~E*ې!DOƒE OW_5{&y4c:=L^ߑWBH?ušKw,y_x-, "0s~.]a-qSʶ֙Ӽ,2?dW`:,&G+߼J"GTqmn^ßHG7bH56I`TD/cVnw/FW>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-gYZ*_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 (d+b 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 "rGm)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)HwzT_}2[Ka.@pXҸ1fg:&8"Mtw"NtVwe9Frvz6Ԁ-v:jV..MΦF*FAF|̗xkx邞Hcu]N6$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-/[SwRZyOsWX24`?H`OzDs%yL {G_#؍,`夽IY+2Q[ٸ0MPae$zwRNiV½"GJ؅k&-}@W\`dʈ\#ցpzV[5A cLKGޒw p E4NPD7@@^2A(ɱYJ4:]DfqcG?4iu6n*LO#F+xΆnoķCDѦJv0 uжi>`%m=+pڤWJ 8lZdFHm츬)kJ󽷰!IN+Y.e\==?'nXru=U*Ji}'׫r,٪e-殒Yt#`[i[‰ 9ʗQmܛc=3†nZq?Ȣ2N^(b?^dޞ %r`x$JshBIpB3b'7S5h[p-lZVrO-YD;.88j888OvPpj.3X$ ߽K}v˧U#u!;rpg,%Wtt r1Fh");g1ILhT =ezyPC kB zV:|)1pn.z0!ӵQ{*%nEH]d\ӭ:\#H vwNݗ:Ӗ=U$8H"dw](-:2h'=eޚ{h"ڒ?7?d?\q-olcTG> f\IeEcH|ltO 3VU&h Η3%/ϭ}+'},v׈Jѣy`c@3s-I ~c_ŰD+SVdK3&M]T {3"0B]+5h&gkk%!CP8Jݯn m a,1_y!+`Ӟ?ä(ƒ͟YĿ)'~A[$큇[`mF}s4Z梭ݡ1xTHV|5/ A0,P^~z3=1 &B^{rAX~+OJ˟= " cXJ)v5T.Tl:Ru4Lj0*e/7Mw us Hj{&t'L띶iE8(>6CHp2Jb;Fc$.f۹9ޖs;Es/ݗ~Ԩ%$v4T0U\F^uXrِ(aY慩  vS{W& `aZ w\g&ƒjZ<a 0ݓ- ZJrWUQ\%16Cr9-tSew6~*61GHԚdS=W^ύ*jgG^fe"J~ί4h e:.!\b;/&3f__w!&1 tu'8iu.ɤnOJqS۳{51q dW3pUcGvS3OU=*\ͦ,Qi=zD!3SB4<_F9reD`.M<30t\*_y!rW В0r.",32`llUYk BoJ=Mp'#XDc 'YS`Q0uc*j2*(W=ehG!KŢMδwD҃m)yNi2><'ҌxXi/?h)@?q:Rx9a \89y*097Եq? 愡Xysu~Ԋ=t!_՘' n~F!HT8A(NFhD+:ڿ>˜*Ha;f{붜~ң;aٵxfH%Ӥ?`Eq޺Uh^,[ܻo{frhUڧ1ku B\;C00npъ7gVb[92Z=<;GjQmne㴁. >BR3PG1tb_vS _]B5N.x,ULG9bCyەϤQ~xџ8$i9aϵ7b+(FoصOo—[T"8M "BʼN+2C)Mb sB_vޘNsjy pwe.\D!q6 ζhJ@5ˉ7IpN%?~DUX[j1_Y,.u~J(avJ0QHl(q|fMS-҄yݒJ \܈20 51Wtn +j5^pcgƊ6΋|kG6BLw``y/%4Y,S?CB,e-k\`RHwlFZW¼lӗE9#u׺1@BlkY{" oV-ne#׽^ȸZR'ŀr64B0(|4c$)k>Ty9%}gP]zM(Rԣgm!`bu%gL~lG-r"NFXO%۝MbqR%o'Hs_KBJT I~BsYZLaGԉ^9s(9q;2(kt$7ZFD—ߜ?{L)bNkIS)u1veq^pϢfPsP*y k ‚ٹ|7R=|tۥx֗"FM2OBzSI=rHț}tPq d7?/vҝ3<2_=. }詔3j}Qq{EKz֎ɂ':(^y޹§~n[ﱟTr+)Wk=̅* 3FSBic\Y9[m nI ³tJ 'pP`C<[̰eTE\S3L }Ϯ‚'N'#=kM$6B 5Z_?R'C'F᥷.;DwRX8q%6->8(gYZ 66N7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_id670w7G' lHOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messages7zXZִF! rn]D?7 {?:fH\-X7?Yȣ2I^&Hg7 K\u#͝GZ3AGj|뵃/oȟb#lEY|mK0ϾKw%ILu{vg媗ٲS8|yzAݕt tvL,ZK]wh p]|LT,8C'vȗ=A8aSbwk&zmD'#ouִ E->6 =Vqu)TAeprA~$݃IwRzrnTjd* &2ۆeb{D%{N.-}+Y>ZjtB n&)\l?-1m(xE`z{ I=I%T )#[߶ۍEWHRqr^ZHyBN΀'Cv#S63M .٩Ԫ 1Nb$LCHٽI92Q k*?J-,cޠL0V\Z*vk9uivie=Z_1,s\ /vnx a1V11UJ@P d[gg] $T )[phw' KpeDATftuSE/aМ2L{  =D˂E˚1WH5;BK\%mYZK^8)1\l]Omׁy҇P5Onb|A)+-3?t,o旅vG OBXeu魙<ϓM}c/!V³pzC(O^gg~A}(Y)Xq)boZəpyap50!b݇.Pq0tn#h=1RT*|^Jp_?9KZHY-娪GfU6+Ά ܐv)>-B3YAPVZ5; n>3 w)i $}F)!]NAeOcvAWȭ,s!<{Yq B)"};)qNذ6EFɋXrZ/x47{Łbʅ)x$ Z 7,];3}T@ d|߲:$]4G8?|\ed&!:*JuGzGۆzww@$tES&MF Cnv{~Zsd5g{@aPZu+2遠~D 7ؾ >+!zlԜ !x?T2 )[~?Dh>[*6 )ٰ6DJS=_Y|验<0 E*LϞFi~) Eˇ6fC:3_m 3. s~k)eFh݋8cJp+w Ha p ,h^Pǂ:ҵDDsϦO8T^_й[DCУ+'jsoS:푻4֑iRj$7ˤ & u7@ta^K _Bk`\ 4ַzgKdMb%S`!FAK5&P`Y' 7gYZ 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$ΨbHJ]1JMQN(0JjyD9 9pƩa# +پ vuTƶ#=p@׍0W娸] ,7&ڃC2\EnvYO&a遐e(t81Mkl$du&+T}xi/ZЂ5:eSl9ja@٧U.+_@*R<\}5>Si[G 嘥E=Tphx0%MSsK@me1ڍ x#-5񵇢o1Vm9k A7Ye-ꨚH2972o7K!`HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/files~~/src/HOL/Quotient_Examples/Lift_FSet.thy3dsZ ~9l;\A]7`HG#RQ^eb覱4q(ܓX_e~nRkIa:99*H:Wיwp_)*uiOWÙn4b5ޏs!s_p<ؔqˊs}gCA%.WO1*E~4Oy4vP@8M"p* \KEaK+ 5(CktE{ t@s& ^o}PwHvR~$qDEe}a}P35y>6z{Dѕ,T.&!LoT 6w%8pFcAЙAMc舱 pLO{^644qWY¥ xN0&K{#&xK'~]YK[p|^XLo9@V AoxҜq҈t* }Lg2;mԫ?N0]CWBH]d{QI ()>*IW; 5s;ԠT_u1nD խ=e}Eb9EmnAaq2(O s9{%VsLydPng/M@۴˸r9ŐS#<[S8 W4"{LKfdDIItiNdMn3XƓhad7& X{!8yx\/fR%"<0zѫRїZW$a|Ձ/AbRo_{o:ZnHw˵ǝ"}w&Ik];;9*mm;6EӫQ]Բ PMzh;鏰kIG|C=̜"   XJD޷֛li͜yF0>CV'o\D!s1@񋦉?Y$x+6ӥ䢃W J|ʐ _( 1WZb<)"3 T1Lk=Nk˖Nѥz?& zH1 aZhPI\vqpjo꿵hFS]8)M'7Fq\mI( yKdxgL5W+ځuB,gmߦo 1>o`M Eё;zW]W#Q"GdGPK_4;p?"w"q>!PݷiT/MxaMvci0ZisX!`]6U\,e2+o 2JgT~ŇQ7qݎ.\=ik܆o.~&hd`|T[IO@s*ج/Ҭ5ܓɹ+Er*_`x['j*D͸]p!޺G$j%cAYoYqK`˕wsBȽPʺGed VZSҞѻR /{H ]*vGv!bcpvILnئ=Jm뽻l`[WSЋtnfKf9 ?7Rg/HV wB({*uiGOU , `뷼_b&o1"!>ޞӝ2K8-G[0 =(S,D30弔C%U-1<^y0^))!ӡzb_4w{qA˭nA"e7ܣ,l8PxO M<ʝA$YEZ>#QT%}ؐ^ &-NSC'V ƋA#Jc_J)r*]LYa^&8Z1 jq'`l/˦Ŭx{72fuă^} ՚A2ςJSo7-Plݟ&LxͳgWsu_S'9ڌ+%6ë* y3:Z=fuqDau۱w.-XH22ۜ$|0s ܵjE\? H| *Fټ+;(L| Y+ǬF$N<1ܿHâ09cY_LRc/[ ;XyoQ(CKuPM2\_S\+!vsCۯ{th%nH\VKm+-4gtz92Q/PHh s6J+>Fkz:f{oiՖ48J NlY52z7Y$I 1k415dVrY]I>QWT+">O"1sR%uPi"Ɗ gĐa|8:Ui0q@=^!"F5AB .VVxjcGR(yk8IwprB\^'̆6H Jr%Xz( {`:wFD%YSћk"e駛Ff]L8==z>.SvDYVJB"݋<0710{;˪>] aZ 64.ӓ(>oīZĴ(M$D]m=3g.@XG#R+=~բݕJsɝm:?6 \Ѵ'D: qGwbr%` &[u 0ǃR Y0+*.~zWG,aɶ`O?@]y!P>xBV'~> nh=[=ה|r4UZRM+v5:F[x9%iRd؀+JrN9t]}C1M¿OzF%<iid=m07`W^?XMg "71rBP̽k}VnsO=bwh;_Ov!KJm T@h$} jZ@o^ s'U 83O2\D/HpaU%B5%,*S[(!,|L>7,Cu͎$} 3 M,"+Sa'LG#.F~x o.@qkZH) flvgdN6$fh &脜W(OO1i|6f>NyyDi(@8陙1ᘶ%' VC}gk&bsF޶nU5f >sE=P hXޝddG*[{( :Z~88 ;6%z{ SW̵Дy+tGa@ٟqv94=v|(gAg пc!""=-:%*}<0\ג.ʦH5VHkt\9؀3[ki02g1jNg:h% B޺#m*L d-H{N .lX;g>7jP)â!>*/a)0θwkHiiMyĦ]N?LIb<ؤ{eC]`AT@,8w(dCgjtT!L)gxvX CSPrV͉vASoC\<WЃ6`"@nم3Naak c^F.jZ-s8%ܫ,ABS ifTo̝ty [P419J w>H_KT˱< U~2A ♗Q^XPQkVk8u9v% FRoѐrPDN+!Jq!It)1ApoُH7̥޿r=I' Ѐ* C꺪M,CvxVo]R%yv1&pG ,CxTMc _]#E_I;iCF=HhL 7-E~Sf /E Y?p+NK r^c?*HA F9ET6ƞ(1WoJcPR8{" .ܕ;N$2[i=}A E,aX&<-~Jhġ>stg0qbr<JL:ӲAw@ :q6i_=|KGQh!Bo"rx 1qQ۲]Lx*teuLZ^,Cr< Nދ*<7[D dsRNJJK6i;Ix0$\?< h̅U6ßk;?jnmHE- /ajߛ1 ˑOkIyQqCnBM4vYq$sPnl6?TR:*twPpLofPflnD*^zKMZ/y{U=6̦к=s7m "WIil>Z^8 P`tX&L-Stpg*)D p2R]s7ـVgKSOU3sŇTl:h&a^PfR7)bj,Z 9/J0J9ޙj\w, 5bs?zE,L{x_q{)@ U7qJ(PuҨ (ݰS]GLTfwNPT^!CFg:B%Qg-1xs|'*G!l,l3~KJW'RyeDq( rԾ҉8t a:^}{s1Y#hiae^i4murY| ^d.@iFY?/ֿ0[i!Ƹwl:>ѵ[QO*M|$E<-?FFȝ-jYTeVh k:c յv;pӢCJ,[`#㯒y@\C.FĥflClEX/7CO1 DD{eP- Q+5F{ U:ilLאJ=dKO ED R]{miyѴLK(^au˶ԈD]s_դO3N$XY7P]1\uuf-H湧3μ71e4 .-y 2%]\ eWJhP9K uP%qcNY>T[$}`wO^[!A8 K HMiWiN&3談7i:B)Vlۄ if T X+fe^=]y:a(/ˌntA/kۜmϢ]A5-H_]i0J\Ԓңe}AbV;V?qp݇d7$>aZ  dѤٗwfGZu^?w˪gJ@q]_FŲpѷKtpY$'3DRMPĻbXcȅA\QA$zUPO7TZ䋀z8S4CJH@( EIDq`=&#@n!;~[a*H+|;ϒvYҒvل89y*J=2Xe&UlX+0 *Fh ![' )?RW"r&m`ٴY+p1 J QFA2|=LN%%XGGy}5>Rrq) :]70ɿ6ϬRl-aB*WӖ> < 3qZ*:ʾB'9a48<7YW 6>"TSYcdw>"hgGm= E R[}Ll3d>,V_͎$j5H\M;=140E'Bu$.'N& #"%\ )A?\*I$v{l䠎םDxoKP O a@wpB{c㎃v0@h O(+5'87 UXjd- 8s D:ܠ0BWSa_Jĺ8ojcQJJ2fr߀L˰\ˢP:i@fϢx-`-SB)ѳ50~_JDE:l|RՓ2v=zH?B0Pe^̤sm%R9xZU0K@1E/5āCQm%F gYZ56A"r}9#*M CGj30 i,S連UmMvq05 6E4+Sg!f, §8xeT:^'_fFem\h}|jdg7S GS㠱n#fY1N&;܍es-n'k(1(oJ ];/׺ Tꬶ; |jj\ym'~ƨDy $)2.bG w%.'UrR>/nP zffcWe3VpD CcF\=M|-3H]pi"R`2Ot.cu X/ q; QoTW{J;n*H|Y+ !<&%#aKX=tGQ6\*9e 9[Pm~G)Ȩ* tǝf(N![`wWpneP0q{MNXW7d׌H ?:(93仉 %oHX<).\`bذ(E"d,cCkZz=]+/P},(=OteC%iPlǵ+-ll!C3p֬X~# HuLA_oMVQEfk B0(~4r}UY=IPV X |4Hl$Yp/bѾ$W)i,]8N̹`CZRlH(|lMpRfٶԥnԿ9%_NK <lȫ,tHa-$7x#ұƑyQa@%6;ILQ\ɎD>> ٶ /_FsTD8s0ݼn6&TA<* l;,H."TsIؿA*V\/LPr)ҺR(bQ?(Z#ʥciwxع  nd_&09X}f)u;T@]m8o<+n S ~?+ 'E` dvLhUX`^Zv<|7Kyt&Oyk9.@^h`/&V`i#HT/b+Z$H}Hޔ.^`?}@3*/ ywn{Lq~?LkǸ IǗli3+m؄>Rn#Jðqєd)>Zr柟om?N-@ ׏;ݖ֢1f5,g'TL3eb+2kJ⫡~Nھ:f]O.9͍"ThhDof @lǥċ7%@ŎW(IhZ݂XeWh{w20ι}FdJʐ,&w0*L;e߇l6|^ ؓA ęKC*3&{Ub <)]ŋ'rniԧބ6β w>|y|meeu9TkM{Z(\U!^}Q'Z͜&[S8?uFȝyw'VAnCswV7dt()|"W1yܢA*u~?dw5WnE}TYZՍlzZ+'64{Ni7}TECQVzdr*W _U+!KZ>LO8o{ &@}O {3UI^QfR8% ՌieaGULteZ|ulAnt'Wۭ <'jpg#{ɼ*T:Ž1~G_]ǘbr@GH#o>ciIn)ͳWB'09+W XÃSC XT<91C)i{ߧxzT i['M|m|leR{)D+b%T iP,9P+L-6&Qm]=3*#"W2tCa7va BVHBEzCZA ^8ZOj Zhd_V<γl8jC[Y!٠+Sf}{+밌l\te` YJ݅:/j@#O #ӳڠ,f[Fy}'Rzy q7]%~6$Գi⧶ED"=p{,xMz6]_Q*$7./H%цJנK8Mcا7S0so]m>`[:Gr(ۆ-~}N:N.yN}XZ-·xdQs 8,X0&MH鑸^ 2XwF.OAy{2HͬF^}9ior&B1LZ/g9Jk7Cw WmׁPbCޑb棌W#8j2BKǙq:T‵4rM]ykmʞi?DvquZ[/UD׳6`.W.VԠGDFE +a*}c_6]{:]J+F(քϣM*͚Lbf._<ᓉzΑ\3f,,aհ3DOo:{ o0xc_RܠIY`/>~0 3*SP0*j}5:y: j<hK\If(`Ls~c -4a} }pT} C4Q_/EB)*eɛ-P:rS/2 {27@I`du?^ v`8>Ut$BY d5,cROU>NIK8-F6uX=?`n0hM* Xv{Q2:{w@>tӢeu9}VQdS$X8ϝՔl\Ĕjӌq Od_1 ĝft ]/Zd'Ew!iRۋ:9 ?_Ud~ebX wVRiRI;qj";){),y7LPrQ ѵhQ1`9jȮhyq*W[1M|J¤8 @4o-!#nuJ}-h)[\cGݫmT~4ti4U"t0a@o9+nIqg%?"e4zE_g3C\!mWPRjMדG⪃)K=2]Uɲ%8˒穅)ˠ0yaM9Ye J~)nlܒɋiDş)H~R<-H>F؂&d|0$׊ |&4{PHnsN.ԕ2Rtpe>fSRk%$AIw*&"(~^7b7 1fRT.3-+pݯ>OvvE}%ĺHCt"4 #+R;V 7ka*Px]Ybikn:J Yv ?tV`RU_4N]ܼ\sZltrVr}.0ħ?t9Ny۴ݩL$X2:{`|tˁz)G6Ԩ}wv.>QOOU> F MjG!$d"қ(9T2I [?Y'G2aN@G}|}kp뼞.ʕ}:z:FNE~]fPʰ?zc8.ws(NNV)C)%,L9rǞ 1cBAi/W6:@"CW-Wb36 ` |Aбf K>%bf`GpF!] T<Ħ>rJ-~AH-}jd+ 0%H$]4 W\Ĉ|!*/9 [6Ss_Ru+jjX(De͠_Au)Zn1,_Իtel#$I 78^ 칓`DWohWr=&~o 3K 'Sy:y Re⭒Yʖ:{\T)>3c8f&Ȝlhm3\ABQ/$Q `.SKJ>ss<#qz͂2Nk5*7q Û_DX֗j?yI\aA~%#t~iz6;&qUW7#WmU ?R n<%w5mqf?O ShNKSe~]eoVo$ $^\>1-U;E`ܟJ?*E~-Eɡ킯D,9 ud[I^! oOrphwvM>D!yU/-1Ub$f#n[@qIN&A0-. %FX#/UW"tǻ>9I0/|LNZ  ( lS/ת0G6{9X-(zuǼ,UX@o\]@mx4@F2 7>y]DZ%2&4FYȷcv v j OpVhE{>B-? vsK[!ej*b>)ƗWT::9! 2Rszl:ܬv3e]ȫͣG<>U5y34;sr-@ GB|nxݰSRD)̍ڲt;"T=Sâ.K;8gͭl0޶f'8BQ%T8ŎJwFn#Y˵LmdlyrtED@rTXtQ|ݑ7r&7}KO'^CYA(Ɥ^d Ke)6Ξx(!Vl Jڶ³ rg#8U j9iX{ ūxd]i[cn '1^~FtfM ,?v(M &xx/jK+  #Ѻud@FoW Ja1SNӆS^3žm~鴬ǙIieê1('m/Zk]Ls RnlIe \/n;OruMhLHڝ+_Ng]l/C6;2jvl(I&A1@< H 0'}*mc(72B$Yzt_8۞hSF#û0TsnGEI5Dtoَ`)qR<((Uj»<"fC\:l #vSu^ՐR64j!C%xW^VO:J8B)7VMHs6^.}#I x b|r4BygytatyQfs߳K TA436a`Rs3'c[7|P2G ؽA*)sx)0a>QNwƁ7ec"OLcx?srmJ-i8[\. kEHox2cK{v_"<&G[s,ihbzH&~y[fRN41hp?"]㒬YcJ-Fp_/*P_:C/-lmH"Ž[~rgYZ { 7Q# lHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markup7zXZִF! -p]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$PE"EbpԺw):XЅ%Tv] <j<@QlZf! wszySH9gQEv]6 st8('?SF&*̴Vd~?sU@XU eO8K L/rA}D~SߵO z{lpGah[Nt3e!E-ʂ|'ER:fsNT ?yJMdÏ7c<u' K[j96iivAކ@>"W[=`*k{?Lq,+WFG9. z_va<o>k+h jBWp<t 3[!6І& ;1hQ_eMVO#KPlR, %3niV'pPe94iB >Ǫ(2KoiV+l3_H9LZ!сEq,vi䆗gkذr $"]_"B#!P#:Cs &\>Ca7ngۖG*mL0RJ 4J}[*h^覒ʵ2myY7kAނBE{tM`~7X[ax2a o DS8~UU'sVt;t=]%T0v_g>QBR$Jf70r#5E V\pS 3s4KtpNA̮,me-cYiX5m G3| )j\%ÛKMHLhŹ4lAٿo(aԿ1m>6/j 䓀-.ze\k{Oewȍz꫿k, ;GjmJȼZuP:Cw_TK0۵>KtSQcynv] T伐F%"*i6ZY~Z22m+nM\/HHP,RWI>M Eպy9fi};v=mLNUd唔?M1EU~G. g3 !wBA,/sS̞rxxNd/O1ZujIȉdk | 2KDH{u)rB;(&hf8R*Nŧ4MDy!aH_c(9gJCikلHa֊Qaw/U槶M'yWz5D;s5h(Tu߭8 f?FT–5 %rq7wl3 ifܽR4dr1הqD:NT},?X/zumzϋ(ok gkO7D`B0mhs³)a@$,{%-ltg])VƉ`-Vd,Y~s%kWhSYZ0F`趎? DP .To@&u'3>Usf7c{;$՞jC#/=$ Ӧ+Kik8Mķ&y!q3SP\l|h*QlrYAj 8l<8ZQSZ7k҂6A:D0^ꆾW4{77hl[T' )~ȵ> u-ʵIYQ~fd,TI IȫuGmh˼^Sw5X+`96~~:үeMHBN#*,?::w BLX1{16Os:RLJˊQ3=gHeD*Ik%QIve8Q͙Ĥ{wI%уjǁ˝0ſH"o3$ 2Qȹl:=X_xz|0 xsrLNfwyCy)˾ӫ"CQ޲ 6P1k$MS)_ w-gDgяtB4R)Yd M bW\]f~a gbo!:X_yK\_*0!I@arhD Do3[xˁ ץcFjo64)A:˩^n$8iHϦ'R7)EVS!112i|M`ijQ!b-i0bjXFǽ4Dcb;뢦jxrMES5T宀1 ]zl[ZeɬOoF"o.oq}VIO<-<*pUAzT@oy& .~)\XU{0Gwͯݛ]ùq˒.j5BNjm>gՠ-,5cmAO6n =49G|Bs9/9ϰ%eG~#4P_jt7^f@ dg ]L!XgX\m'ԇѱ;9Y[Rl%9;vZ}woYip1b*-1I0 xj6\oyY#ԩ,VdYp!럿5G}> ju =|$J{5A3q+ (,>߱Ka(Ekwi~@U"RY0N#&guBA{ i G@E 4n8N0V?<ϐٚ 5fI,`pqS,}ul{=b2>ӚSڗȓ:Ӣ6qUBm Dv2QuHO7)7ߌ+>3+i4+}$ !HI5|%IiCi|W#O](ĭ5 7b=Vs΀ c!u*p:AbbKQ['RFMa%=H7y x_C qw,rad_)AAjMSm ?r.M?t vjYB,/叉ԙSF-`JxMʡF }M2#; )lo{ti%O?m ܼh;Q*)f'*D7Xм4ˀgo:|QCWj]G{_=#l+K$'59j{#Asp)uЬ.drK1m:}_躂`n$\J+:θG\MuT,BzMAǖI+nU4V_#.#磑s4Cվ lt. '-U$p6X!'Z>wPAXcb/ ?Jgw1FA^gWVbBn|-<":sn_cob| ?msk `(l[ahC+kJ {(> Pnd_6ȥ<&]Q*'eҏo\ et%NUҊ< mLb.1/ 9}x?RQrZ,|lF9~'#k^σמFϙ=k%*S KZ L7HL'sܝ6?z3ڴv⼼ &0CV!fO$KkBmf:׏~-z@'R8fE`06R[Zj:z~-,è[L Y"[!;C#Ǿgj{n][dAT?~d~( h\PdcٜddM&9lzE|r(\8(b&SS%%l;7‚\W x29NYݶ*VEUyǙG|ݴ:u;!E,BޚNE3h豨5{¢ƿ]p ΅)uOOE&Q PLy lPii ڠۈӱ [>B%L忊,Z@0͟ce:L#RmpGBАsrtty݂So3)O'1151U0x0=, Ҹ{[Rr2%Rma*N_dKZ2LbK@u*M/?*SwHaEJD`Ou9@ _xF]}.Q:ztGM[aEq4r?,eNPb.G͇% gYZ9m7k+uبndL./J M6hj*ÐSt"|W`> g}7?52/#L=֞>ΥX>@Ȋ> zOB%R9^D ,zU秹α?Ɍ׈ uqa3ͅMHWicE"F1ǾD]!DrRQi9  н1WD BoUvVmzu[k :ר17` 3s^ /5.7+;2vđEg;~GGpwt̃dx2O*Tunn[`{F"J NuVC.row gh`f 9cόje4Fznc=ɑ"T ܠٱ1i)\JdrbЬ9}Brtx+~ .Nt,sK,bøy?n+: u-~ cEqxZ=ओGXtsZe(I(vN=;oea 死ĠR쪣h1±A.9b$BOɖEc}ZwXNrq B D4jڃ^"jZM?Shh1}}osTە~nh^YVdN b%\7 m}sHD+V71ċE+qU1 w"ܒW&TQʓѼ S9Ei^nv "$ћ+kCܡwf*"2fy0\%#NY0W0lğ@x>&>g?h&< ^CX@(~Ьb S" 9O(+ ײAU-aah# 2=1_9I|WbNL<no{n:o+u^G>Xԕ *H=\m%Kr Ty"Tu?^7@II$Dp^컴2d߻D#U-ɑ 9X*[Յ)VXyh=QSH!{l*R,-$ b?#O̯<6!Cri}\JdǡH_ź^eYދ4ǂl.Y](p4@I^H!$I -ǂUgJr:!=quU# (Q?簘444,*oHšRe.΁r]O|KoX1lM@>l5̪gx <91H еRƬ~H}/7=8aAE5EnR VbĖriAĩF>'m+7F-Y& #g$k(u[ץn'ke|ecT"Ie[4- I(@3PvD8wKtm^}` u*%J7/pqt(%rKc&4_ r#\Rp ƍJKFuVfWI,#`:ɉ E[ğ&1h wMr,Ro owŤ\FT]藫*^ME۝Y_"{?tL qdnob"eԛ3'br^E\wn&ewa35ۮ+cU{`WWC+ _ͨU4 {R5eU ٟ'۰C 7|]_(7h c=jMJjBzGh.s͏ZĐ8ёj> CR/*D"s&q R0CK~d+N]nϩ{'MDYҩ-q=O/wq8n?L0oiXD`2j;ds48yJw}8<% n}~^kFwjS6aփsazŠڼ%aISxΥ=AIVrSDxѲ$Ť vKA@A<` \z +!hO.Xx`M1Mi7e.7bt`<t .4FN[ll.2dOtWpCŒ"4mF{d4GI:w*K<ͱUNNiܣK,oCt\RL=XeoX;c$~dN@`+M϶!UZx>͟2E)BXxn`a-\~mjDŃQ" o/S3!VS- '61e7|kCE `@:]N7l8+'(c:N11y<TF>|l<6?a|Qr]x^.<.m᳖ڢ`AxO} fP$Q4ݶzk;G^KއOo{.iEzȀGoFZD:s`>fŠߦWu;M{W>ƾ҉k;ALR(uBUNGɬIt|i4|i8IJ/-Qn.e 5vNR2aeVFj*ZJPZ#82*BKzcLͶĿ7K{ƿ,y`]A90*Sb_@O-FS2@ȤㇽiRIZ+O1 T^.̺Ă(9"knܛ´fn%[e= D"`F PDZ9/!_E hHd&UmkTRa=H -;v2Ώ leBgO?-A< SvѦLT;TSJTŵVyr>͞ B2o}x\pL7E, J@QgVem$hZL2SrGWcKB>%,~Lg'` l$vՀ0"^鬁ťOV䝭 W2n( irûUM>do0}!f a IUS8(&㺧 `:nmx9!&5>)IfMIU;0O~}C%dӆP> *ipĔEviX /W3O; g#+K;NGIZpD4pi1-o/]]]= 0eKZ&>oO q?~R}~rP!,Q?w|.5vOROCû逰>+=ʀV'P ,=9_.6,eP\`*w;~WB{.3b_RxZ]=JmQLOֈ  kn8э L=<"-pO*߄oFLƎqZD$0#*ԓ&3+>E?[_sldKVlE.k' 3*g%{ mf}!xVUrUv6u$Оo#vL {fD]p׃N]*oP|"baFS;nثǶ \VŌ1CzZ(lҙ4Iј+zlEW!/6:4#ѿ=jr$ip}݁PR4nsDB]Q cV;5?ު~{')*89/9pq]z4]@AYMӈȨpo@+TQ$߄N-JUo#j={ '؜x@]=q< )fǒc=_Q4n Z iJν  : NOk~*<=Tà (;0?n\2T"/%C+Q'߹&.7y$VѵAfԋN ۜ'z呶R<Ǭ D_|/'J|c0G1;쟠fvЄn}eJ߬D @#wO 6g1 'l50ic?7nVhfHp%9&) @ il8SAEL=ܻ$o#UuOi\S*f(6j]%^[M~gޮ;LcVȐ%b ¤0{4(Sziƭ>F;Ik1B&ab*l=sHO9j"&Z)4\|&)v$!i+ACc}/>us$8 2>1}5_7V c?"m5S}' mc_i2*:DXЉ .#CM%YNlrᣰPվhnwhGi #.4= 8polJg^̞}]^"Q+M+kZTdYQ'N"e@XqWŌ&TtXi4%=@yr ٴ|̛ΕXT *nTOC<p9@mm:_%"ة7zӣjM{h5ؤy?!kgIs2wEӂT.>iV 1&+?PAH '񘤀Z-0j^!MйzܖɀQh[>P!}X3Y<@dIcjj'w^恖h_jbZ:9{'{6cɆIݫ:t1 1@5%,Rser/izڠKBF"X4 _p Չ-jZVgOe4f6XΤ]w)9+<$(o+K]Y7E$D r+{lm-_JVumC: .*3#"jZbZlb Hrأt|^|F1CnBQЭuEneD bvwt]E.4=AQ @LeA54)FlohnVkp U"x{u`9C Ip&g1SPTؽ6p 4qT`4 _:ʉʨ:Rkmܜ۝X&mjLBJwFVr{X⌂d( v"~Vr-d5$D}RopLStcr_fr1T*Cܮ &EԐIX?rݨU h۴cqVmPȘ17Z>R1=ȏb'>gյcj#uvn=݉ 86Ή,*Wiқ&򄺟ra bP OfRfQs-CwhK$3SxNkB CG5mnqBTsP+įn/WR-WR3"MuƼUxcRZߦ#J=8[Fvt']:Pcx0x:+B?`H z˜V6U[(b$gK  i R)spw% Z\$0MVoaM+OiΑmy H1F7qD\Ҵh&-A>R@8]*~;)M:hP 0L@T#:pc\O T(Rs(ܺk.7y[ S.+2LkTrpE$"cFr~<^9Gk:+d[ fE5M̏% ^<зsqILMZ3ǮoVθ!"27VIDIVfщb f'QQbzP00h9`TNY 0;DGnԝrIK?YT= o^CCqwQs6}]8#1@|JY`PĚ;G=Íײl3 էB( "ikq#ĈFٱ )6nj{dyk;4ZlpE7Ƹ&D `)&'~X&? nHLXk VBFK:]ϢNm$`O…K [m ߠ ̻fj\g.~̚$1G[S u6%a 'T71N iGF~ܢጲ,`A%Բ:Rbbx%sx$68^\,)26X&Fqu9a tpgYZ[ 7Y# $HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup7zXZִF! G)J]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$o\(hiĥևAKR%pt7n0дe3ᓎȴ.qb|ɛsN`'dͫ(Xʀ@|XxJ@,O:җ\;M:ɫ^[eR;^gˉYne"[k+pST~c|*^@|;$yCG/=_96*!ĥp C^gNxB,d*_!H:)uל EE|BX} D3.{%]O jWyRZoSPW^']9PlB]> a_Ja{AK1+XyM=P̳[LaA glX%@Z b/MKY#N'(>;شW7dEMc!> ΝH(3psSJ/^O#`[1RHimti }BUph&(ٙ7i%<Fk ěl f?Wl30FJ¥Kz[WhLo@D4Smo;ƫ`b=͗:nX $wtiON7)( lCAXS0}8E&~e~o0z-@@#j\ȚR{]:CyBThiOl##w@|\b`AWN`Va5P4’/=970녜'f:mݫv}ԁ4;M3i롿9 6&g_!UyGچRѵ`p V\} u$_yH1ޞg/d ʄ!sZW7}rihts\gg|Xsj X23Lm0q 4Nʾ.31:roUu Kez(;=a[`|̣ael)7ns4Ggcr~G\M3tJ.Ve>S>N*lèǴ'2ckM_}R(;S/߀ $)ԡp{b%BF2E>V\ӟΩ^־bI.A 6Mߍ)PWq I9 PjBx|g{ ;8L8 ՈƫU' K.A9lN>):f"#G]@AQU|8R92DeAA`)' RgBج{ VW)U\EvN ow4%M,Rbc؍ӆ/눦 ,hM5G_!NLt7 oes$7,YKl+F ؑ-̃=/st\K6tlIF4mo* bZ>06Lr#E>P# B=ک@Ldtxs4+Eì)A6I 8/O{^wrl3p?> Bd曛_T/yjI[ "-I$3ԨH~[ ]>g\dXQm5]7>OY guѩa$ 1N0$C=k9@{ަ 8?7g wPgr;^i$'b33rR/}yO:"E><"[V@kFmg"F2ˋlXXzDpDq1܎d~v7h>5ĹЈ:8{c[(Q2>h96G"4¸&ĽeXg4,AoY@̖ _ն Ɠ?|.y:dYDiC. "*L]Ak^L`7\IO/IEjkWK44>?/`3҅SE㲊eXaFAb.]R#Suu6R i}?Es6Ji}Q:ZDʄD-MU@"q2ѕͺX&o$>'IqKr !옿Ug O .uts `Aj++,NHF:1${=)HUܖ_(|Vk.x*.,@Kjg!BLuoC%+,3P숚9/O?G_7 Ƕ'|- /g5OlBGU gL j<{d[J"ZލB3m7!x9$7- -FD$R #Ĺߎ9m2ǗZ)!cyY& )f9*}-V_; ]g0( ,1rzzh}ΌO#v ÃÃbWV9m  /E7@\ 6Ky9[L3 =P#v|C0z ],+J_$70Ӹ_̩}2t{Pڠ~֍i}ti.zd`x]O+ᜮS"}SwqЫZ9EޠLz}+дK۵[DSXo֑f8p<"+gX =ܐ˪M{Z e/<rρ2Dy#ßΦ DE)vuAr.wP"kF*/n؈}Nu*{ I{/UȲ1-84m[߂;k1I[߂v;@ϑ-v.S,6Cuz';jNn~M1~t^¨m\sO9$ =+@!\q5d9֟F[uVGmp.~"-o@D-}SEk8~`L|m\]7Մ?IB7O۷2*̭}wW:F0aY+cvhwjT&#\-=J"_w"ۉ$ٮ!&g6i/?>fTxVa!PAkz0BqO!Lz;'/ZɠfxL LRX3"WygIM3 At2׫'+܏XZŘ|#b 4(o⃟a&w^G ߐx^6rh.& t*^dz< ȍ?WVVꔧl8mkR1ywGi3\pwV>9 & @뢏Eu ߎP>T\IDj:v  ? )$ҁ Hx@N>#q*9=-NTr_-竘aXkdX*X6'Z)ƺYeQe0^C*(5?0N _6ϊ!=[#n4/0‡_9_rRY}KHz;^[hL)Rdz{Пx%5^2ar=-?[AԼ#`\$+!;Ph)~^w;XtXjcʦRa #<] 'D y'M-\rr*3Rnt@AAwXIK2[}Go[5N|ə돉H` |ɽ]I].yd:xV2AK;y\MPsj8\#OXo噺9Pe2X5zTk-r0X %`[U'5y#SQxX#O_snY*!![%`( Zx|bsE/Wqy *OD@A*8()dǃ Br>u*8L]nhN`5P#>ͅv\ey'Ӵ`Y w*UF-YZUE ,˹wJ٥q+ -4ҩܐCE.'BRf.Pi˩Ӌ콈s>XOCp7k:i厔[T$`Op /s3q8n,yV+DAIƹ0МiF{?mGj<.Ek%tXЏ|j|%YRM(f=@ҴN5F`oRl c'j1!p[{ djFcpkVis ?Ub" |mG۟۵_f" p wq<O +)Rd5T:gJf TX2[Ҕ`peh"}8W?&iRXhG^ ʾWoP3&'M:GVX;:LVoe,_舘/;OJ' xd xC#ךa }jds^Q .E&Da+xA 7y-c_eF~SaO>(\Ju!js.uݢTQ˽0B@R&(3e@ܾ5\ t/I%-ףQ|"FBu}_-aYar1!{LlgX0"KnSb~XIinjʝtQVtݹ4Й=.)r2/R`. g %m_g$8?~'r9,b/WfBml 8['TC :Qb4pĊݨ,HW ?f59ur&raz^$uvg_1v"Wɋݶrx'V!IDID.D-6{`8ϋI<ś_cFhۆeuK (?W90ow=8y}:X!gΈ#稠EI;r:igyMB,Ӡk+)5^/,3nsG 6;)}<kf ;&x#ο Q"CϰIlSE9oȴSMӫ#8%N L~z6Z jaù&eIXw*d#Ŧ+ړgR-Q$@[,){`@5lfqu}ŞTx#-5G%E6K jP( 0}k/{p3RIw#k蹻`c< çȡn_ຫ6$E@ l4t\** Z <*n_PtedSɰ2+79.^ d>p$I pvdրߎ1+(";LkV?zjh"#y>.$Nm2Âf!'t# 0%yMCp#]empl2[Hy@<2JB 3uSuTWxOE@m\𸿕vrb84;ȁM(y:5I=_An5 B 12F2(Ra\J^-7|wԮCt=5>@χ]oINVwD L{]އ1^tG`s9{UtБ;fuU.bn|>(Y2w&U9?_".^O4jҥpRaMEI$J_XG a2?8 ?19 |8šVaP(o8iM f5 XHȽm:y?ۋ՞ ֪GN5Ѧ7)Υ>qi ./9W꤅Inr29<Su<"UAa?)z+p;sp!eWkkb7AX(_\!Q ǤƖe98y%YPʖOTWVe6Lٴ>VwȁQ]i^&TQ>f$o NrwېЀxc n&pkI x'`z1{Ǽɒ4SY6)oHNQDs ILskfL~hEd =) `0y$t+=.&#o+nU@>-I hj:ʹڽY] xWquHR1u '8iCLG=h؊V]2w ~SN 'FS汧M"92Wܸ"ei7U s_]~Tbw!* 9]Nls5IrϯV,Ϗ jlו(~b- .]ehul*Bj ɑITzo[1bx#sΞswoߵ!+y?X( xbcسGԷ!hB3FHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messageswriteln_messageserial=10492206line=52offset=1253end_offset=1264file=~~/src/HOL/Quotient_Examples/Lift_DList.thyid=668See theory_exportsname=HOL-Quotient_Examples.Lift_DList/codeid=668theory exports0%7M# \HOL-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=+T8aU+',Eglo A/:Bڻ]M8ǜ.ն-%R"pf{- SW9f38T۝~hhIyb2VT;@א3sr^ōV~;ж0Hm|(ɈǻЮ>&=f'F?^٘fC x/ѝZBѸ=l#FUw-*h^OuG~5vw.F rh'nT~p (~dDh3?h'"X@-a%e;6|슨m&fVQhgx "튗1*\Vɦ%eSiR# VE$8CAuOGw9Z!VqsQ~+LNt4Qi@ـd¼U˞Emz[Vr`-;IʯTSTRD74ъt>(M'4=.$K3 τyQPN©c{[>(GjES^y"nnWskbmr_7Ա*j˝gȺ)qƜ2,$m4 ArEHuqZ5 m4 Gȣpd MN6n=*nJvBaDBDb9\wp[[xg7ӣ6<Šv\#2\˃AVnqZZ#q5b.(!2A³֔O ]_%n& kX S=x}™}Bb[sY5:d 9:#"ve3`ݐx`}zCFi|DHȪ7>@oK>ujk'Gy4PR˸<9~^ lm ^V@CE*mgw{-l^mhVԙʾd;kieVdb 8w=X!vśD![Ut&@&hV7Jҳfnr5xDZű_FjQBB[Su4>pJ-{4HIuMʮI4|Z1H5eo0" нjUP`ފVu|ԠCKb {3|b!p y p[N]Q>ƔTQ40K/=ثG{d3z~׬qQoӋZKl[P$dfią\pG:֮9yM*:?;98<z;s wpG*m'IVM}j|B3ƕۈZs3jP ۥN7ahʖEwnVm堑[HdZE{9i9~nSIg] :DuJ%K`gFmQ_bT56@zukLq0z`JlIć:woJ $pș(rBu <_gd塊 BnpKV?+vc؛Sm5Ɯ܃&%vc݅۹`^1ArhPddM0_4<{iI[:'37(Ÿ+ V몽0bbpF/ZyM;CI#z_Y?1t@ڮ 6厧qW7ȵZbSsz ji4;d)w7v0 ָ.&Tn0r*O$B8TL4L`dnU^>&;6hYU ԯ wp'?x(4 !a 5bz~|mc`PYEO|n3SInѷ]$:k%ͶwS?'m7үrR2N]Hf2m/ N?70Ӯ\hkhYtS^cPUxO/ ᯻#Xv0 gw:~ ߛ$C nt)hsGgzf#MrH_i u.pa{ٳ̰h{ԃoSi_Qۦ3)m̜DLn^J $*NP3 ..qG1g;e_r˩홳}RGL-(AbMJ?Wr# =|_ zx靯.̋lt&I]7usnq[>)kx(in'p6>pLwLaP}$kObY3l>SG"ټٴ}|wύXhGOF`'5jͰ2vQEe7!wEr+zH6TGu`Q?6|(vt }(v+l1%1Yԯww4ҫ{ញ:*Zv&.Þf@ɯg@@a6^ Z6?gXU.81t:$9b+=Q_Q:4s1fl; jB_P6W=UcV6T/X_Rؔw ߌefp! ,> obyӄoYKA幩5`dά4ML^3{FC8\ݷ7IjJ"oPg.kX0'Y^,vuNb*GE|?H룜,U&nGf݊ŵH)Tcu{g%F> f!KSaEJa6m)6Ɩ1:;[Տq}8eb%645n'K@ Hu]VW&UW}Lgs>'T@?b3opԮ -̕#W OhN{l{8?ؤ'gaڂ6)^ gfԹP6y>B|;65W.h^f$S+y;e $lIT/WXtj.掓f1s8%RQ{. Qu;!wM)&'!WƾK`!-<1#+-=[&jJC(6Y`` z + y|ё@cAa~8 huod\;`CjuҼnmM@*,F\qڢ} |&w;_ [.lBir] 9g7K8dSJ Ғr(K~02*dϩtCTv tQ:sZލTOY${7,kr{1#wB^?Q TZqQ4ۙkGk"5c{/G.*PQ^S+~ zUF l"W1BBbvq΂[224k P|D2/|Mu`$i4'nFDfK6e:F2NbP 5]LL+UKG|+cF^CC7%3%<&(5 z|Y#Pu:Ծ %4\lw~/l#bT{u4<@X"=8I?Y4ֈ5w|tmEXeVh@w6]i)9QaRaO:T{#I/)Ke IЃ e}ɩF2n{OG q[!+ S"ǜnPPi6~ţamn5bP\{q-E&ksT 7B57hΪx,͈ &Պk[Alؙ͞V~ȿ(&KwxB~7>Y\h[M擝l-t/L^iy.D5CK;O@֘4a;$3YGk`TRsF_^9V } #8C=N}Ėg,ȇ;Mnf?QY%xhyQE@Tނ'N:P j_[ 6(P^%Hy"d0!-8$ʕ-0 gBeo߽ufJ]LTj nDREvv: pqiteˎBF*Ųd#ʶE1`U0޺/7tHPbx?/"8]JsGŁk9}kIBe<%9hhFfOqHj([ۍ3QSS=2(?7 <+KrAyW!.>h> LF D&fb]۟}/z١vG3[9x* AHY)'],R 5Wxoh;M8/:([Ǭ#{rJXP,| GDÍΊ2%K3-2pWm ८ӭQ%H/"&`!;0™bi}z`f޾o(n k~?9JNԀ/c ,rR,B^sZ?j& ~ Cxa?cJ3&Ӄ-'0d1/߅ YGsUd( =%Ì&P}*mPz n7|-IJ[ Φ]Iѓsrphn ,MF=K*5eԞ7F_,~f0c [m+mj 8E2]fmҿ% d|`8Ft…/%:I͗7Xʞr6xD{=Eg#@Fw)m(LoF!J6.xm:pVbE< w4Oĕ}  "8kT G:bB k虺nVsxJ r.>Ի@Z)яR[q/p$|}-8fY~o xݓv&$5N8 >O9ߞ9hӪ+vG.'40Ie-G $2˫O#ik:-DhRLVkנE!kYOUӳ!-%|1$-@OL'2Ņ5kဦzy#NiTg7W3H?P3#~}\|rej`SS39^Y OU) Lժ;&$c"M0JQZKʏ|_/XFFQ ːŔt|vlWH/?aci^Dn;i&]i $Y,IT:t6qqd1 cޮꎶ+ i'?LGskT≯ ecpsdĉKH=kԌvq&M8IRvAC߃H%E-QG:x2#$z b<)]g[sgvK-r/,\[8vy) d^,;e:מI -9Q~o6+Y݃>.}C"v֭k& ُ:L r"# n*]ơoFU߹$/m6ndM7`5X2UAM5dD,1wBj !. W`{ L܃fKJ!s!ե}ЖA]oLP]!JG{}+DAmRۏA#u܌!ۏ/X8T ?gőr4Dt/7+|%[qOv*T.o.-Wakqxsf\jbL 5k&zcH pD7$TL j\ҸwR4m%3eyxGi$WV0n1 ڒ~NFΉq[c²4&=]x{žIJi3B K< KSJV#Ph+< bР]TUeev0;#h:R6w]A=z%Yn]_AL}t9W!Y8pF`X!i:K Ҍ4ĸe>5cd6ц8P \zLR2wy$5Q[CV$z(QԷTypdC0kRIl71N)7JZ+UQt*Xֿ`R]_-ˉ8lq5zjg»᭎0SOD3>nHp g #4QfRUj$/l-C%Cp^dP/?"#*Woy 5z47d9H E zq!\lC"(:FSVM{K|q E1.ƽfK#U&\RCsdKx4%``DC&  ^^`{YSWTd0N 7r Һeivp ۡTnkl? ݬZ=RZcDz#wM*XgSõ?/p"-/vm0^WѤt0𐼵h7Ųs.|AŎgnG]WvO_S֍ctpUlnjZԷ|^f(ጆ[ǍLniή{D'çvSSy rӃa{kDbH*}*[hD,yGpg6kq _؊iS@XY޲a!)sTVi =+`,%($s3ݤ2 : lyA;OBL3(aЏHѬ LTHE"t!پh/F_EzOzoO-) n=5XPTqbo" v{@Z!YCq-Pb8訃H:%Ɩ&fXgRST2*NG9bAE)G^XrD% I Y{D{fMUgmIUIߛ׭`elQ5ݭ޲IPh.f!IrF?8b=3<4& '?(y3 NHЄEu~symή"{];R>Jz7wa^IA>.(9C"Į;>*S8ɟjr ^ MA]bq 0tNQԙF!pX|Ȫ3n7C/e$'r2{, E;]:Ɠ&tϟaO2Ց@suAĀW;3tXKLǔITԞ0x2/>5(HĿ(4nr\)q=|u']uzp9 SZ.b /v&*&.H<զ`@f[Q̴łہGad:n^}N&:3U5PǸt6Ol0M̒USWKT&{-G%ejR.o^inF8rK90{$9E ?f$+d!(%-7ѱ_\(?;{2~Tڄ(uA 2HBgYZ iw,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_id664P*7Q' HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messages7zXZִF! 8]D?7 {?:fH\B"JZ)!753G٩.2fy'A"vpncAGi%pvz*z hw5n?, 3 +z%u+J&C#`5cAL\L#GFD 7kݎ>"6̛3 s$(myɶItK-+]!b${EEUHEiNƱ}~~%CLJG~j Ւee:=n!| M4 xol+~R%0kIP1J'.ƭОʏ< }[+wUOI)2)xvel.M H;#/3O62%݇"\w~c,K)i(7 :cկE 5%WwC縖Vs`Dy<)gwY }&S!ENGo_z"@\cu\l~)G>vZ)yĺLy3?zFwPRk>*0XÙAے|S$rU`CxFͺ+Ӻ\: 3>G9)Ht|Ǩn+*i8 $ #};b^v51&I4t'{ 7ZzGsG[- "5x@s{3>Z|T ?pONk?ꊳP`;(źto[g|^8_-z^K50UB˴.ަY\°'A iQ.Hx:z֔ELg\4~eMq b̿}+v=%kUjcP*R WpB2A>Wj]Y2»Gxmd/28?z{cV]0!kޖq}}';s4@W #NI3!tb-݌ѓ$hHQCZVVe +z1sɋAjoޱ kal;(O2{B+ASTjiSfU|`B+2pŵ Z(3D`JxސgYxzQXyƆZ&j ¿PAI32Gh qwgYZ7) 7Q# dHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markup7zXZִF! {J ]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$eZ,3sP2p` 6%F[ְQe&L u63ԧ#eHe  ;tΆwqoz&m|.)A*$DcWopaf?'wF * r}yeٖaFZq %Y xbi)C@w o"ԃ`X/[E;W`˿,>_鲉v rڝEY :bGM}g0[`ϗ ˜)@ ۞Uth۴Gٴl1 GJRC Gs-s#x/XiE?vU~K0 tN e[/9xj6W(܏lj\AܚŤc {+'VQP.?>94}sqV<##8TWlPTe@@E'A| ?Y8QG_ StU3^pF$ .ㆶ;* ܒ'K:RA`Y"_:n(杣Fҽ@+ b$iAqΙr7b3vh?HNp/ VS|~\tI] _2fΫ;1YWZ Cz;gQ8Ϧ%(O}7]dnyq.ƪET˯Kq(…aSd6o6b+2h3 ]FX'lÑ[m[NCa~T̕Q."]V_3dqóOnJqmO} P$E( 8]\a^9Lb8JkM|=7r%"MqZmB ,ߙΖ݀HBoxPhRgMgBp hdPB1{ލ7<#YW j$϶J!2, jsR +pu"Mdg:܎ 07DF LGȘ5H s(}O}ww ]-M.FpD 0߮߭{o_/o,ϐL=_?՗Ui`^N11Sxrb_ahwbݲ ǥRZdf zGRwP|S(c#QZnEgX<* f:U}!$Y> /,Xg\34P Y6Qd\+OHy֌@^CVJ, ^ݝbC 2ӤzpI=m`I\m/58>_ l-ӑ*>&pˎ|yJ}4iv[%Ŵ֐7P LոI2'o9YZ(Zh %"U*z1Os}hT,zs0ϣ`e ݅S;ȝۉjB?|w&ITqz5x'vr'&4qQFZ%*ry k1}<}YX8 &)mMfw-hKcc3ʎEG.VnG2fL4rA@5vTj %SIיCsz2ަ:C(wKq @WpcwbzV~XcXCEYŧ wl=  +2pJ=asU) m|1DAaJMߓawM_M6]A%,bT-dcb\СLb>b^ҝPj^'$٩]Dk?Fd$Ocռ㑥Nڠ.k"^j*!"t%%zͶפF Wedf_&\)AkDQ$gmM]),e<},`l<ߌm{ԫ-(47zY2io! ʊ2@>LK łw~DjD%|Qs toXhݔlVox Z3Β[~&9גGj; Ro2=2u4F#%77˴V;ܝƆu#[3;B~B@,0Vp9\^l;f[h:tY=?DއeRåc*,.@(ߔm^ŔG6G\VnUzk|:qa23\s(Ynf&oqdF͡'1*HC{4Ppx!,Ik4\ƇXԤ\;WbC܌s-M#ӅiC|xC?#JҸPơMm.(UtG ))݂P3FAB`3Cbs5(FFw.ZXc!rjwG :;s+ǡyЀ)a4ib [|߱ WGiҡ)b)0%Tcj,=?#]Nwp5E&g+ZF{OL.yQ¿Ex(摢]ҧ~6ʥfjT75^9(xl9)ɀtGCzl=RpFczG zgegUʇFΘd790TѪRY n=Ft83kpz3LDQv[P$b'u]x%lѰsgȮQenwx}[:B!֦W(گh/B-Lx4?cqxEmET;8qYЙcxT'o~-oU#X/c *63yEsE14bBD~lodQ)o+C1Dq; ՃLM,_̹B( tao9_|HDLOؚ:+r|OFխWx̐GR,^v~+E6Qً*4ew!ޑl1OyKޒؐ9 wOd p\bM5mZh`ɵnew?)|Ҥ}e]ſ[prXy+ֿZ @,n}2nN m-"B4OBJYZV~ &gQLժh*>qǾ:Q?,܌حɠ$ B;~hOpN* 0\,'%.o2P"|:_݄PkKuSx HJ-ΚHH$BBs(eFnb0lby;ZWBB!%`qD"nڛ*J4VF >5eEFJH9nO}j8^~!)* dQ\xKdV"p"g7SMAmWJ9M/PKl6ێ~U̠1Ϲ.ŵr>?$O¯+ ]3ūs QA@uz4|DvAH 5*m[0e1'N? hU{x%t9cX˾9 ?;7tOY٬4$`wI"Uq I7Ѵ*mPG5f07 D[b/BQ3 "G+pO4#vͯ<6O~Nb bN~sBdr/*N͡)k{Sށ$ bARHilkXP-J )1\?*5G^@iN[GEX8)`Fc܃@'%~b8t^!\p-"/n wlᲟ Y%sxP(X^08x #Y=019zԅj0K:zۧ{_'~2ZNlFd{(+^!̺OԖ-7><"Rx"!{qTͨxK0\ 1G…{eD}_c530G,R%,|9Vcp$43VȶRw;)j]xD1Qr,CnD/V;YԁFт pphn3)']VF"^nC atJZK*NNRFfa^4Piן G43]e="KCmUM6G^ÁY7 Jgq|z7tJ>6Gȿ$M &8EVYo5Oi|V(LTĥ-~,w#H`+h ֞:d[n,hV)ނP*e8LOVU ?7E1Nx!4c"ܩ% c(F71[wU sl YTɔ xoۊ73?$jWaǓq23<\\@pFhbEp2~U::lGjta=Z[lAfU78DN ZԤؒY=BtkWѹ֕::yHއ tS*ԙ]__s'R )}&0uN#}֎[v 'YC&i[FHHD6=un쪋ߓS7T]ɹs$p܃qa|RU/>я!Y ELYgΘ=[m5 o m ܡ` 0:_Do/eqU7TKdo _oGIJ*2سq7] ^ _29uqYtKN} d{M 0o/ufZPUF5n4=qucr%}avmr%4kmHW`>*{ Z`Ȟ%/Xf)jWJo"I첍ː0*'G0&%EiK!&T"1]|Mѯ_J1}Fo$SCasb88+\[giv= NE~LZ AȺͤ}#5N唐Z?FOMv } P'5_XmwAexE'Qqkfld~8%=ia=9$>> w-8xH?e妱lU`aSǟ.:ANZ{*L2s~[qDŽUJ[| gXV)bf(Y0úյmoTlqێu?ƅ"z63 Uѧ_هIAdC=|`sZ A0Einzl*rBpgaOёå#/OW{`8j6<‰TfJ:'Z9{KHA_.8%&2&M-L93 ˜w j󣇭]W1JϒΘ%)Oϥ:-3 )<_ U67ϥ|X-o߯:M 6xA=.[Rn]ہ0DU/4$;"vLa)Uo +r2#ٛ#X7='F]* v6oR>[#TctBe VlrC ,'iR 0DnB]LhtU U헙*:;"hJ&m%\"C&ZTW8D>YzrpA,vLfyi_jT}4ɥC|74ՠ~=T"^_|:/F`"|<+K;kNme#/,΢^w(<(/Ö'i'P&i ?!$>YA@Y怳YCq0\PNK.=0s܍A^wdQ%r|?Tw&4 [VN+:&eS&GZ _zeC1zh?FU |>Y r?,EJį`ڙTl5)RKOfa0D_3?9j~T!6t4Kw4=񠐴uY+VFOr|ngp G OQ~I!ЈW?OpΒ,!GTH9ۓ}` hUzq%qwdl49')\.T|r;ܱ+_~k3F+Rx?ˏDO92/qA2pۨ76XʑK1/aJv9Ak7 z<6-Yk#T =2:%Edeh: pp,5|[8f(Sa`lh:TߌȲ2tQV@,[X,"9qR=T7:РxfhըMɮVIn0!ouS ~ iVF(P",ɶB T~hLflL6zjRSt@/osлQR@ףI4ֈ .NZ'l Rsg@bT^vsq'ތ0,*!__e1;ՈMzqXZpQmzSؠv=N2%ؼU ҝ9K )8}jmKF=DZ{ u9מf `)ՌFG$Xk NAqv|^A`,هE~o랻[$/\7{k.|QK_8Ajogǰ4~cR&[sE(+q|+N ٧793]qI:A g"NzakuϊuU'×kAE I6#] !%*^wq (87׬:񝫃_$?;n#ڽF2l=,!ӧU&ւye.`轁A'zM5Wp02E= j3[b*MmU_uױSkW{*! es S:H} $K`@;!B7C`.!Fw֨@`vWU\smaʯ=U6w6+9/V∂e^h[a^[2 ,rA*$p0b|$!{O+;Tz&U2ʃ1+.l 2 @{1]u9?W*`Ⱝ-ot=ΒcHT}0!3is;@"6wtw;G!8TPOy\ö r_dfs1bn E }TJBd7bA0)Lx`'ʮLXbʺH9N}HQ@2%# .C$¢**rر01""ńfkxc+ě؋ӘѴHY 7qzV L[G3`JLϟo۬;)/{ZIwFo]{b:- i}x :! JPU7pl<wy4Jv RIYoOs:0P2!,ϖ\6ț!&"(LO 7~B8zhc £ŭo2J.QYUK28M?ۻj1H[rJ3[DA4U^)oB c~[pP{MثW,[¤_^B4:%[>M|6%73?.#pWp cQC$ ` y1p3vYSE|/;^鑃+KquW= 5r8:z >k_GU*/VgE 3HB^`0Al>G}:tELVQ 1^7(MLyt%(zJvﺚ{dEss=`G ̙ EI  Ɵ4"VRHrso 2(ޒҋ?u޸ePg{G,1x̊o0D?-K\ öe䷢j`Ժ֩'x~ȶ1-+mwBXI>=u JOˑ#L,ZpjB˼.m,mw o"ɉOq8o?^nOHЇ-~+ȗ)_1m!HZsCMvل|Ce(>zω5"zOR6bhc{ pvqԎ>aؠF7zkams>xo ۤŵڤ=zA#3;a-gƺ+ M8Gsq)j'Z6.":QrNBٰ]2ϸ'mᶃӇ{Ȩ9"xStD!sZNSˉ@:_4 +Mg^j E NUvoK@ŬXnmG,H i?CNaV>,B#濫 6Y2},8TkeINdVaOO|O c^WL 8B*EI=m|W12A>N79̫)a,*'cU=y^_҄-<#С `<2d reH kuhEְ;:g89M BKW5!K 4Hx'Gpίl~jCZ'ox33JꝬ; :8'k@Hby&~ `{Y9UO+vj$Qb&5ne][`HŊ{B$Jꓭ7?%? f w,| v=|W][}y. gj ZknÃEř.t9` ̠j 4n&0B^tt_Qǩ]5uRcNnJurGC;T *ޓ*X HhEsH/7K|l^8$GxjS2zTH$&z]ߛ.EV(tBKa[uїcGx|?,C"&8qhwq*kdS[8+fMA~1SӌB[2EEV*-}y=$'Nׁ.1R!mciM7¿9&u.BɮJ/* '%A^lUOJka A`d}M7xTg^+(^|gs-=yU2iGdoE#|-^=li|T\? 3FH^;״;<贝a`ޑ_Ⱥ=p_;! pQ;ŷyuOpfAgWMSuƏNv2^Z4fe42qB\FO-,:p9%tnX#_2[+P3+. >U ې]0cpA#<4oG$St5F\[q槧`ST u>hGK5Q ;>dΐ##6ru h?N'¸nR Ĝ#jsBv9Jr U:3r+Vz }q1N @:Wl&?$NyJ=b- 2!a?.aKܕ/v22ѭ3iD = s>+N,ܣI`j*Pqf'$LD>CVT]|v:İSݰ&R"YY-qk?51m恈=z)b#~FpXs$m8>zޣ'dAq' qK5џcvjR@Ar@U)=eZRMEBq?blRvJ( w67F3EgXi^Ю3݃b"Z+jO)W|5U⳸ e-rʮWE.OaX*3.~U|̆1} :d:jͮN)jBtzyHG,ֽ_X&9&D s4y%VZ!" sQ$ٗ\~tH_#Х:#X+Q8B&@p@22͸w Xh_luj"qu5c/1_#^"0$7<#<ِ sU~~hb MN>W|-hc\39~AIV՗ ܲoWeZd %$^4BǸ.* UvIWBq6{Ke!c& 6Ty=]2gNm9-W?#G:G,EܟV훀 h@<2* „µI vAz6F?A12aj# aу?,D֨HNoz&gf>SUyKU6ϓ&H8L\ۦ%aNv}y~ӉsQB|܂?1tAzT򜕺d0ѷ DW4kVdi+&X.f}3yC`v % 7Tg;"byf#a9؜=StM|F&˧FVRnݴj%v*'~Ui!RIJNgc)=HKHzy*(Pvg"_!q1JYwUz~%zH R_A5.S`\; 4RYuQ̫: I;3R!TL( $Buن. ːur񙛹l[}!w:~\>T%y-'DypNWƧ1YӹgON]& 1*[i8X#5/lV㧺A+D&v57 0SK޸[+07sz穨R &Lپ{dZ(J,_;,QEW46**Rx_AKEhY3#MkH$v1)E?V8(V;ZW?a X)vZ m.S̄dY+%Բf.iq/! U ;+}2!dDBZ@vgR6QJVJߔ l0pG*wyAsa'j`Dy;Ц0$?W!? g+0)fGW-Fb R&7炉5ϠznIȾV˕^*-B<р;Xb }&K䮊 D`1FYa)kbG Sۿ +{ZzhI1쓐,7G[bxMZ~o\:-N8d`d}k9}qpe߉ `"%B :Ba>˖Ϡ_ڲʭW_`'΄b>Q%KC(ޟlCU|q:SXhO7P.(hB!pYBο65q3h;kfWE+e] Uu7}ٳ$b4 -y5jxB ,g77y!پC7u1X%Ef/o净Fv+ m*XTLZ}xdfŞ-W_ T5TK͹gOK>~T# V}{̜%nM->odmĨn/Mڽh]gҪaīт0ʴ"#boyFP\oD#at 3!K[(c(Ȋ8 웫Qq4w:_"1$BZrW!fMQǢqD2Dn!٤M"ͧ[NT=l[#҅6S.FwȈM-E:,$oD{XL1&Ĕܡug]zt"=CMO-̌^j$YՀcH͍WQRt羐8Xdv"πe`ݟx=;^A5vel澃X`pB'J T!D#Ey#]ɯrvG4+KBZI켒GZZ"֯a5`CN.cauNtKw]{?S92y)G$ nFxn]5g = dBR3pUT' d;p+S)ga)e^HMP352/:׻gh]-\f\o{|joIۑ NJ>a#oR- ڄ6|/8VS/u(.$|fQiybxSn0F?WfT\ w|Fg>@OpT|lua(ES&! =|6S+SV(ќU0]IdFe6V%֣Ds kk <ufYA)6Bf# EL)>\}PV,sI~DbuBL`ih"HZ#Y~I躗(s.k 4 n|RvoŬ5;eY%sH6>hEX5ȪxfOIGl"=Uz Y*BMT2M!|:{h#GQ>/~ΎZw4L#YykahM-jh c!sn}wS1Y^yT!4XRʺ'M  t.WoϩXŝ9i h#(y?*i0 Yd{sf9jJ H" *N\k+0:^8]0J0s ԹXV3U-VBkl-}sHLCp1I}I\V2|Pnf BM}>-r{+esL$l!:އ-OV{Y5bƞb1~01@# 5O8XH4LE9E ahER},Ł(>Kxd\@ְj궏1-g<c0LWϿ)Xfar5R5R綳X:N鞃noIw_ӪUrlSkTE*`3|u5\ tє6!m 8h`T`Ŷ.9$*azu%y5v%g00*8u`_tNtn }"Sţ$:T9k򄤕cVYf:q`pjj43U^B4neGY<٨E7rj1E$t+~l[C0DN}sq2 1n G=핓 J#!Cho+7?)djn-R3. -b#B8~}>A$[W<=8f~ iyNa߻270aaز'@o—mxbC{" cB>kS+1v~BAqR.#="=.|rf En9"}[Ϯ3#t X++qbYb?EHkOYSd9sKq"ns4iKDMU@п2jo!Sa}9L:bR)u ^"[ax&<^i3޴f$WǗ$PVXj+OnF@:%g2G FDZ ʎ8wpJk50/W D.6 ꔀ=Ya#va bZGncfIF94 W zQ/9gnȋk*(XK2ZY>86Yp"m4yN8td>%l-7#z{u5t%g57t0ƨx2n'q(9@:(HJj"gζ̢KoTɓ-8=sYhnam͸ZĞ=#QY۪cMȏ(w$0'ٖ`T,ߵLm\MMQlHQcp/S{>Ϸ:1R7O 6f-Y9,+gF>7a4W[^74R[!֚)Nu6ueB=E3Oo`ZM˗(6ܾ}_bӻ*F9=SFPEƎqn*nD!ڡ6NvYͧ-@32 zZk WDNAQ:Ÿɾg iv kxV@G M][/>85>I\TN=ax\J0[w\ݗuwMG&88VWfrxALeoÏONM,N~r^ ˅3*L3Y"HѾ>F*e_B*:ZYEhfH3o1b]x[U<{h퉣|{|Wil%v?ۖ/y~lfė'Gdҭf+9:lܺ_vTVws<\AнQv Գ'}ۉݤ9P3΅ɤ(zbͭlt}1\ߚN 7IBm[mEfz@+JהRZJ4W"hÕ\* b$'- \T3aCZ%ݾ9NP:S+Q}=(HD"u+C@l }2OQ]=, t! MؓgwJƇx^tW(˛ ⹴(m$LgkBq7d.P(ꞹKBEc5j)m ~= jVRBx=]2nYΓg3NJ؞,ڵV&0ц Fj3ulrsk~nQ&FST0(0,:k>3'bY=g8-TFt%uF./.WXCb|7L#=a)nsʱZ*t]G^1󫤮|9HjJ P0NaoG5l*7܁gD#Jac"BG3-Q~)4#C=R]Ni$|Y+cRJl:RFX:>lk{_C0fQ/cp6iZ7.z7hP'/ikΦN%TEfs`g wuURH謆 8«Oh#/S*E"hyjMn0通녂e}+BG=W%~ _ΤER\ǴEZ[ޭl,vhm 4zCwKמyθw1_Pp߂dzn1Z:h*7)*?^ ?WAl#@y@14@HLE%Aߵp)/,^ǒ%($ržҮwe'eL? rܡQ-!L` fVp^FuH4w "n;TYʦ/JE`KC$θ RMCi :'e0Ň}twHTkrbC[?!@MT|v #bWA.V'IӤ1zkFcl-N)q5f͔-G#opT?#T9P 8@s;ݿrR!npqo0j\Xs ;LC3l=6r论6.ό=iv*ɯ7e\c|j&DrǎgD9׻% ѵn@TzsBꀧ/OE2F|ZnT]N0Q*V8Z=;K^ce"Mb} cy~7vvm7/ Pd\y}'npI3zZҒﱈ&Áig߬bn4MDAVã_Efu?fxj_^ݤ~#b6wy? Ko3xU{P zFo+0QܚPMMa}nL2aSldUݪ ̀!$=%HV7vN/$B4IKfî -I|: n29@znA^结%H_O4c";>G:͠l۹ ޿\BOF5Gᇎ;i0?tXeP=^MxY]AKc@ދ2\&ohTnw_[{?&%z$aퟵ,LF5'Z U"߮ MNW,gI.~ޠvwp7eX8Rό"3=SV CFњSDD~ UTFy_y)d.DTdS][V9qJb)tzVU>)D & Ǻ3t1Щ=΂*#fgcm=J[r;6NYJD^.j9d`ѐ@PYe۫'|/d$RbqkR L-ً%\~ڰ ` ^ǿ~/)o l*sh 3o T$m㲔@$ų硥/M8 8z&lR:)k堞#Gu2 u?>95hl$VN#xǾ P>.mi##% &`9fd Vl{[(l ӓiPKpR1vȟO sgf {_X|uEkW*9smծkomjQ<< 6\k]8l={b Λ3#}.$[.EФaO=KM)JPo@__3&&OwVXktǬ6$ r6{Rm9s^ߔ#`HPioWfH-SXٗPۖ\7\7}^V»^yv笎Jp듀JNmq1~EGt9cx|+zϘ>TEJM67˜_I4MKڸM'`7 =.uwc):7ǡ"K7]M[J̡XYs^͉Gr׏4 HiwEo!)Z17ܿ)~a?R1\I Epґ*3tTo(ca 8 ]de CP%V}q>kq7>k!&ӛ*W+9be6ZzFa[hY5ȱxԻL^AFy/ :%RGmW:e"ZKîA-2äÅǏ΍jT&S{9cH$.޾Iƶf ytu;cr_FQ _z$o0zklX~R.â>8πAYsoH.UnjeqwKwC:;2qEu)7<ՒTϵbE{ʙX8b|.Jֲ8P@ |6 eu[sKV01ℜk\{wu 5\n6 R,bp2Ol mI\-[ pl#B'Z۠`l!/P_0n)ẺGEm } v*Zg?ĉLB}fH[Z宬D)=d %M7lŒxRw9fa*9Qi,rKS_05V!Z&5TA 1ęd%qF QH]wؿ!V81-5rg(1,-&4dlꉥsʜ;hJLϣGr7JCj/#F?3r0@Lڻo-9H59ismc.qH"v\y߻i'`X`USA6yF& hU| ԛ~cx^tBzQ~RxՂg0{ c^؏3^;;cn}!a^BH.'ى)=;"Lst.AIk viaU#G M9[4kpߑ.Jy뺅TgiWD%˴Cjز 36JY^j,h6l.u1Y4FmP^=L[[j(,oIRp(YQ`6ȇq#xؼH\Z'ކGN+jad$T=u@~[2CV|0.u L!G Xn[TE ޮI? ʣLYA3r+J C||F8K;NsiQa)7?[n.؂iFfBc6V)BfxWx@=u(35}n8V?͸Uw`E@kNGza&JAY|A3PWwԞb4`?dDLM#Ƒ$" mf-}?n|v0E ԣ_c  YYG{6bmzn2 ح̖BXd#q(~o%FI>`e@F&O^+.[4+jPpݯ/;G~H#GG3](xܯgKmBK6-@iLA?jy-v %5[vi~Y`>_B-ь`/1y)n`bH{^z^`S뷣w\Ź: k5aez +ژ#=o?7Jɇ"W?|eb Ϩ/yߣvR#()\A\~db6}nj)B!yNMU s3"e ڑup.vu}ziQ3dt7}ۀX&+*%! *J$r]l" b%E`,Utұ{єϴ+9EHou}{pO 1HZY?Ìð$?V 8#FB9g&;Vk^pC*Am=YQ.|~y%oOJmJmsI2[}֤ hl{6"lwRmnZSF9Lqj)Q~<i^ ]m5-SV*|'G>3jHkBC߂(.a&6i2SrL9o9ԕ(o.#slx@T;p>4c$ǒHԊ7&vğ6V8ַ{v5]0Ɠ#7+]b?m9ȅo$F7C!J#iC)"]_!R@0<_XjgiQdFϕi-uX@!߁%ב@ 朮l6Nc!r&tQ$q#LHEJƐdʞUXq3 ov\l7!HƆSPr2=O$:T"LAƫtY\KU]"MϨS_DPg݃”&#d,Ԙ(/Z[JT šm%G ts&cR)Zȼ렊 a4A/0 1~Op =J7 FX\ϾW4RMVkԅ@ORN FQ?8]IIoSб]Sm:)prL#;w`)>^kASLzQ,ǝQx-K+W1C%2zT`SB&_˜NSzɊ!Ha'Ĩ71ELm-ƁNX3g JEtBg{yk^*҂YQN7CjZ]Y!{T[^,ًQeA DѨpSw>{ j$6OeuX)<=}ݞeKQ*=ailŵ?-in~~`">eboZUax"]mf#=fm /YKFK)ԃ,E6M\++ڞ*-;tGE3ɥ'L`_=Y`%rXXݪ@W>"sbN#$Cvwco+aXmCT]6@M8r ĭGv%ɪOw2QtJ|(#/AOY 'C}n: tq5vEMYOpZF#'O;],~8c *~ +E.V,Q:tL%LgXɻ'{Q~p ^H:<4\AhϊMB0ؒ& ]=F3HH4 !/ PII݀At[̫qUЃRt:e|]c4,&}SqvyyVɇe5G8W&wܔ;<*7}5qߏf`S94TrɁ+Kf=ջ쉾~6H]vo\L鑻i$W Ğ3dX]iMĉrWW*6.]'l<ХG*(U 7I)9}T+\ `l Yj23Xm,`~Kba0 lxJaXbUaJ(z;cAuf>M m*s> O/T}K[d@_huߒ!gQ(+ŔSVMmr{A̘[bnޝ:r [b!^0RRQ,S^H jzp|F[C̉gM&>]jHSn; "'CXu:!$-E#Rhv]6g_, \^H梡ݛw@E1*%q->]`ܡPYËqiֺ'M4&ۑfahXxѯ@kgi;Mo \`m---e7Y Eŧ`J`n!qի-/ T|jªsk%wg~)Q)T;ϮѰrW,~vu0DxިFx+~g %  z,.>xKHjq0yRub=WԱ1d' %v_G}?mJ ѩlqڰmwT(/)?Lm=(sk"!O= SٔHQj܅PӇsnmH_BJUhs 3zF\@|^.7̈́^pX J kfŒ$GuI;gTn_¼<j>e,L#{ {*dV0DMN ?oT $(ȃ@P5B=JFEƧ}| Nj[/<HtI6Hl@ܬϖl,?+FRH@bFU衚HxIzjF-)qY]OxL_:3ٛ .LD PA/8Q՚)Fݴ:O} ItIН%8ݽVSD¸X$3K8!%|!'t !{ߞV$,KW1Kj| :z_%8N+]5-;JռSAV'iJ$QldXBP1,h%̈Ѫ3龵rĈP^u K~ic'1PXٷr2dm)׽ !, #u.Lb2f9Jmz`dU Nj)U(Il"(?K4VQ]Q\LSwEʸUzO7M-`4V#_u5/|魙g܏KߨTްN|>W?e[T`'vQp]ŲVfNE'O/PHtwIDYoTz].'D8[|˶= 0Ҳ\)'r Vͮ䵵tj7)@ơ~/LrOH¹1 v & fM*NAs9 =!P5@y~a&(+ݽ_Yp33lY8>E+W{^ȋþDDCdtkARV~&o,K/E!Iwweb~,#>MA}CC2aaI} pD]Ir:aOQK373n-@nhBT"hSeӷT.w8KmIsKJ}YH m]үB̺"tK si5 >OaڴӶ&(68O= jF xUK+T9>뎅PI"^7a?WɌQyx,1rx\S|ǍRSgbnţbi~o;y_xZ:~Jd,oXم|x} eN`R#0:S}v+ՕI0:os!9U@Kq51b:ltɪӽAYEeSYx{Ȫ;ǭ+[7Z5WXn_ F~-9iCLUɿԾ7er,AI[$~eҀҼ͇z#lvv'K⢭Ԟe*I<6B"E90m۵&V=]PkUL+i}{3KM|&:р8fuylp4e#l6 x nHdo>N@gq?{ѱ|6(4Ih# k0@Uq'v~J>KЧG\Tf?&)osj~w{#&*K` 3שp,#;58;/(:h=_d"[l%7'Hin*-f%$Y c]5 3eš}'Ihsivn`uȶILM4%vz;>rrͱޚ5OZ΁E oNK=a8IoBC&$¹cfTn&b޹Mpï,1Q|Tݡꠒ_ Y NV1cf@4ig;"냜~%uHhvU4F>bwK]WS;#kՉHnCdc38F;k -2s3΂c&>`MT-*TA=*iFXk 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"~֟QE3qOIExV|E˜C[-\Χ迵ko±VQ[gt/ J7j7ZAt=OsDK( 7aη1[C>Dfxi{ o[g.2v|h{A;OzTd LIz<5&=(P遐VP/HrȚj$*gZYM#Ygݽ<;S<a:)}H8gpit$X ?T]\%A "W#^*.9 QtcB-p/ɍW C/0_Wm ]55j/Ze+Ȭ&6%.%w,wv Gue9"pH}Ҥ)i.2?n?fO7ڽOugxxU .u6{ mT=oY#sՈ`5"_fHEқ S.WՇdK i Kn-)5TÜykL=n|vCz)%#*N=9XfٔpvL9dz%ں -TRy BSqi7Ա;*c3F{MP#e߂>,o7{݆X^Ƒdk[2K%7p="ȉݻڻԣTEYV/,<>rji.\b^H("*vtCV0蕖e^YXC:6l@ $shzxf_g~w@~oYEi_^9ﮰQ7B 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\E:p6$bDsA$#&n Rhv0n@#U]xw^\WC6O Nv" fU:$d]%tn$mwY0An^ í,}l^=wu/| )o@R[&7T+jH2EWW&X :,uٽbvHm0TS3WT= fy"MLgc66w5;X״+Tb0K+I#k8zϿUݓ kxN;"A+Sa8|rؙ͐p''27y%E,"\?`)A2L.,.ъD 7?"ܛ}l.M蕇dEH@2T9Of%Vpyl+qC2|_C/4 DlKPF;|l?-gQ0dӅ u Ee*sl$+vEv9sICMĒ'c؏n hg9hp; ID߬y% 64Q{碮FaB7=_G =x5}<;[t@A9).+ϑVPZ%^y}IHa, `YkMw(D'Cc bN.szW.D)6`敋5D1{gX/Y_tA׃n,EwJޛ:NLr 33%+<{UupC,Ϩ}"e FizVwMBo.[/j;, <>HZߴ[qמzRɂ㔭01uф>aA_;6XhUP*Aqqxh1ju?K H1FD[5T0*+} ro ~6rCI茘\O|4v5}E],ӏZ6T%9A1\;"`@|ϵYȁ _ qOY,q@)8/ܾU&"3$V౪OŰ xtθ>Mxj nj/h3tDՋ{k):rS t@W`A?e{e-,CbO>kT8W2[V/jlo:.^1/WL ʦ:CֱgYZ{|ĠkzKU5;(^5Q536|mcq,qj2pM4>̫c ۬NYCQMאX`E9~fMW"ilsT7PBeۻ%n³V+DaWT -?CՏby ;N<% 'v?f߈)~`EIPNiί4PN>7[8Aϸʄ-1Aw|FPw (s Oܼ@d 2:[mzLUi_,/~M/+mp.Ȁ(A D^rL_5~CΠ,LvdjLXtq2Q4O sUZ6t$PgRڤz$IHkͲEc2.6HS@dE;sDఒs~ Fj !B}x4?D޼Lho;=6ᨒP ^A15/'n +ADkpgלCx,{vL-<9J^t,"Y)\S'n#,‡קW߷p"pA=K'i3/uY;iNSR O/lINl(RJSM5'Pj ytͱ%߭ H'(ۣ5P>c#kz;FuGT+ܳ6a\#iɃ u;9)wEle:;hҨ`*[庘xnO]>S1oYHK(3c+WocjoAl.J{5o6աEJ׬K0d-vHT$qfԇbxv 9~;b6ӠPMT`_p)@U3.ZQfJ)i_ӊ)XgGW$\\[ccx;q=ɌLUsx -6#GKCn{ 2 Sh',6i QN~/SC,Z{`Y@28P"đ 0rƆ'"vxM͢UdWb==rY3}>+L8Qjp~ fRc-HȵtuhoCՖ-xg2CArȊDydhY%vϢN_5T(ӶXS3dɿz2,{vU 4:]R % 60tо5 ֖mjRɛƦ(Azsobn2]RM{=Es@g"9XzldZԿ3Q;h.3vaj1OvY-[;DӴV(ol.FQo`wUAYpUQ|tGe񍘴'iq0䔅۩$ְ]'|smX3Z*_5CV3UX9Vm=o-FesU9PQP)*w/kndA(q|jSxrJ/:w ,9H \էKRCB 1O,ydsNN H/:%0㺑3[ԴL`nHDHDPȃ\Y C}}/4Q,yM?z79Nw+<oS+X\sG>r l}k >޳`?%6 xjmK{LJNV~cծv[A.j=8;Pma,b{{矴fqZJo#]; $D~-M_)'Bf %I="ekn;[|EbI?9\ڧmc~:ܨF6x~ jNWtx8[@ (. yENʝ̾fHfZotBLh wß#2@E g<4de0fC(IjʶzYU }f~z7􂻐N)Z$B./{{L6_yy)Yq2!ܛpg\֝N>}r.65݃ry~7w.`:T玀'2v%'SZp53LaVO,/VrYWWmW?iЮ+'jw!^RPE$p|D+=w_'_觝<NII5ϻ`Q廱˞2%!0ϒeu՟%kapI ݑɽvQXбW#/]˜-ѠFlǩmGR}I\D+G `5q/*tnmU՝ Rtyq>!NR5u%'R0u#Ń: icݨo6isK4;@ѳ2{DJ̪,~=,#k\RTu9My@qJ̚:Q8΀j!VķJ ɫ! k!쯙'|ǽ(cbTB^8H ^! 9G` 8H 1jepގ$(ʌ!pMO)u5 &{ɬ6ޮ(}׋gK/tس"'&]qB& VX.y)Q%pS-+`IVͮc5MtJZ;Rd-Mثqb ,tן`^k ƅ2=?ŵ_i rkMS/'GA;dw۹UU14O cI?{ON}I: LG lG/xmbՐ傍#,8`4GI\Cm%tCAl,{( Sm#Yq8Π39@#е;> 7jBud s炵kk{R r?45 7&:.xE' VMOqIiѥGտլOPb'c@Ά_`ֲˍR{q Si6?Flj'à?pE In0Z}7d4tiR_<{W8p aKQDPdx{Y+;dZi1AHxN^eE5sU9E: NH67|˸: Лz~!BsՌ<4rcMzkŰy?R 1|+ZoZ2M:]@h@`9y^|35xʌJ,ζlg}sʸ?L({fi6I >VgKCemϔjPزTb8DQm!?eL<} CқTʈoJDkB:F'C!=nw0 BOB)V$i(6iBNG:;$9`d sK#DW,OV`5.grӏI7t3‘4\ w1tw֪zўƹ|Y?\M)c>y+' ] ǂ<.2I:,F8 u#gv:U2SD!{ S.-[E݀Mvϭqc `ZZ1Efnpݗ;K6pp':eȂ7 ';sOԒzn:j[c+kO6$s - 3s&:B%?u#Lƃ"Uhpʼn(ERlW #(KscRL_Q7%nUCJSȥ͟pFa0 FɎM NGdVmPHl﬋>GKnC ܧx,/[+`F vtvЃ1EdZLS?fGվ\ k)Q7mSG6uTf0!SJM-0dLb#Y< fX$:tXnVK |N^RkV6ܲ3E~t]P:[L#m2q3b5ԸhD0m)wWXnM]Kĵ47Ac؛&~jYtY_ܑ̙"0 x8,kP+13|$^x"dWZg_tRy~lgI70֤hi$ /ǝZsgh;W.?qhJEj*ZwGr519r[@dFEcqQ`\.Zza259C<^ GrH]m%}\ʞt7XY:ÜCՍ,"qYfv'X]d " IItXvhٱ觬ȇM$7`mbb6=Eչ:FA'ntʹ6ZZUPH h -< F۸K?݀z4/GȸDP2l \_rf$-zCblMCBVǼT(:QGp;HH)Ś$_;CZ:CIV}J^o%϶lr"1ANQw].RaۙҐMηe+ɩpr;C-PTE3"3VVA\}uy|?LB%l ہy{OGh|V+詼8x:hՠ_Jc`0+KJB$M  Y 57I# F1 b|ͭBicIMc;UǓAzWw8C0Go^])A!.nN׷,:)*>NEs%)VzK;5դgm-kqR~VS݂Y {T u"T*:V/=iRA/Ӎ}mOHA~BYN]iaF e< vznLMuӹ>f3@;=@Ad63*RSK[D D% ''CɎcwjAelL-7+%^! % {MG-47%)UiRJjE EAb^Pە/W=ϴ7R;oI/>*F2d`ͼx/V13.ˆMzdt=*ц967}ɵ3rN]D76*)C:y9B:JfT-{]v5uDrvw2KćsU_&px|q ڕg k/SNi'ePW- '*3Wco:<VF܁9 i>Z֣KѠعnv#H:q.Ů:L𿯈}w b'%[}ɿw/zTg# `cG`&#k Rz_Ѡ|N{ԽWDoW\Ltf$~\4 h ШRU:$?(c7NdZ?[8W7kr'G%˿SJ[> 6kOtdJ.W]RF^uGW4".sexw2BX郖QRi%Zb~.ᲄZajl7)1xrLuFJG3E/:,$/V"VQvo"*s6i,1}飠CRHDi4S ])&!}.ww `Zݨp5H~FnguMM0ٴh*)Ŧ!9G]'v)Ui_ e#?=MWG(*6ezPz*M(pR}ݥyXY6niʃ>\[ڏ8t0ޡM & b7Ǥ +>ǩpsְsd߼ʃ1Z,QJUMQXgnJY@{Xizh⦚dmp<Lƨ9iAٓlQg0$]Aqm{A>P=3g ,L*k!AR$ եb Nz?-ؒ"p`Q,@W7!6fX rNH@ $ԒwךcFFi ĸ TX/؄KflClT+#AAiH1 f.H('GeɞI/%1Q,Ͼj4'ǒ{-R;P8qVv~?クcu0-YCۺqL<lh8 -جpXf$+'L`xY,v`w zڑ-zLL˳$+z9!e 9znN5>./ФM // HP"4og\J*^tܨAM- `W"K+Z#y$eD^=˖9H_~* (z*((Zƅ" %?\ڝM\yTtgY;DycEj<^,iH1B7*v-v1v9^2Gb(0N;@kK`x&5|ԉ b.-f\VSo !ObM1X"uv]ݞ'rH2,56x:}}uE=bpx}2')7D?WK^VpVPsd2=˓3_bxJ{1; SpIv }HIi[cG?rx__M8X;ջ';Tˠb*WOCJUxD L ɠU3ژѫ$ɼ X,#&M YN' ֕aEqӌфࠉk›L b@ ހL_1+Ib`7qa=CO r\{r =s:I4GS.6SoSY9C5Jm氋>1]4hG \q)EmL˸Y9?ЮE4ti}A2"Sbkđ,>"jY-,s/Zm@5A98j|!/@odׂƅUGڻN9Sh':"iE ؑ*ԝb턁u"|{e̫#L]'.ֲ;1};7[қCpp)d!/q:ZIH:([B*Ca @尔30,}"m-Ii/`YRY7i?|& xpwbdV`[f};Ţ(¾"ر#$?m;JKr9f' @U`$\CRUC-/;?L#A·b% Fn]CA8J< IeIc+rs6b)p9EjY%Ra1O yVjLbXʅls-dY<gd/NT#IQK" T!*e8'ॏ{IQ[lfDq/heTKL)dbװXUo3})%hr U{xZ8d'>tFGLOv-_⍘P.y^/LPc=@hBn_Z7M~k잎@i*z"~!xT-mwk +;5NLdQio889?T!lg<C;*u] i3sJv9qIe(Ŏb̾,j#6fw(哰d;mR/}rd!Hq>/c⇓{v ٘Mk` d"pIu CPDgDHgxľ~ڥ퍲:%LV Lril[e xYLѡhǼB>ϓ̦.ެole”~cΠQvwkXZоýPs#tT]/&֣Z0cw/i-ٕ4oL34ǞjԋLjwږKhSg87C!XHOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/files~~/src/HOL/Quotient_Examples/DList.thyJ77C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_id662\67I' 4HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages7zXZִF! T]·Iq n[:|&[z6IPd.C~|\\̠%Lg!hMY$ld{< r|VZƿiN+#miZ.W3"Dj_ݏќƏ!ðC ?9v-WE{9+?#FG]Byɮ{S]%#RViy>+C*ñj&IAu4=(4v,*/~Z <:;Ewd;L4ڜ8C^^2]VTopnvAί) ٔZhs75Kѓo] dƲjd8 OjP%dL: ABy}\;ţoa y6PFwLIP%)ZLa?+M&X=EMmA-g(˺I$ӋC ^nX24`;wJ#+Db uK`2a(YYxHeĿO?@u܀ZhN'[%mi*@)гPgڔRs1`癷4҈ՔN!Jʦ^GĿu/?N,R\j0 |4Z}s6R~uL]Nu'ZסuNkMus3Vdˢh$ Qww<]Z.t7_r, M}{Ubη2w{C bz!Nilb g`zHm (W,FgYZT[sTUn<)h@q5}KnDL3!R ޣm97S ' x_#퉮?EyjD_ .a;?s9Ӌ"+sVXpivZM O4dWĊг#TCҍ|޶<@|fJDKϼO.1?1bʲIN?u_*ॳWHbL]eMz^XG: Z'o Sɔ wf#yP:,[UFaeOv %Z{FEB S05]Aeb?]gx8/ܷƦ%aֽ"?7,B*O7쿎URcQn.+vn';Y]g3W]ͫ 1&'5fY@iGn6ΚG7=\_ཏUԱ @BVޠ{ci"J^f#g~PFl4Ycij ;:2FQ؉)rGq4kه`l~Ӷg@\3ijǡ9MJ =h&snR% FOF bD Ë4" yT,GyαY.\Kut"!o M Azec^]hϾ@YDousz k uzgDESQWK|0%L*. ĜT dMB[iIH}-DR/B: _s%pźOnV.>[йT*>.e$bq[aAo>Z`N!J/HdOqy Enje&MY$'ڋnI|JlhbC,ן0 ʥVh')N W4J#E"f9YnDP3E]\%QI8-Q: (T8u6 7u+|fPi-No7=M*(pkg>źvW KxMKq xGs< uC^XPtZϮ,ib~vtcl E&Y[!*,og$j '7C.~i"aV"&{Z".R(7L  2$ޤ d#g%?S.elo.i7L#ҵ PIYbAwܲQ/fr6%8iB{⺊?|k_qoODV ٌwq|&?)BqseF$V3O'9kGkpl}uϬ:4 uH:064a0mYmScr)&qjɳ-%~lp"6^Uͣ)s/a3~D2|*,|;SlhK:Q'(sm2)ZvcZKCFc&Uffs(π!@=5!9^_ؿثH'>*X_vacR)cWcYxl>ӕC[E3M]9&POI?Pg<'i8|_J *t\ZO\fc_@p9bh9[v{1S_.1hUӜpĎwcq@*-*gX.`B ;8<Q~ R)u~GCYzC4%ҭnr>FnES&69p҇"E܋_EF3n Isd-t,_$$`ΰ]1SVQB~M*bWzP.E+ ?g:C,.8jEm=󲥃6|i[w!5veD$SdKsp%*9 #"[,)VaFd5 PN;V$R0KNdG͒\L^'x08 w-q-"!2&j"!Ի'4r/G]ڔ{$hk8;) <IwLw[չK]@T~>Ma6: %|b\a\[@l@ <'}`0C#K 纫u2B 'Ğ$3_I+ j /G3B)4 "y]VMIunv~'aMU0 C}ln5fpX+˴uz W%bG*ԒۼX&ؖa;6 _ )̠F~2fh}bJT}1>d\ZGVwIغmll}GT騟͕#Є fbm/ּT͕vWva?ó WGI(3ϲN =Py67T L055Q a\| &¿O J&idkWB%); 13û֧j4E"Yű󽆦6Tߥ1[(ѣKjxu&X$ ٘Sa?OzN^ p&cո-mV+{\A lYyBd}lа#Q#ɔšJNsk0޾ASئH}CΓ+/TfͲ~=NxSVv}n8+f|O_Y|IҮ`:̿F`w$>TtcXV܃w))La&U7(񓇽Q6BdUtƻ/A'V *t5 RI٠%>'U؍bXW *ZL }rXw/Vj sm,pG܊w7rNl($c8[{.YJW=_pj dtU/B:WՔsxng##^_^:)=?-F!V|2=v"lCc,lٱkjҭ^BֺgA#u"PX7."_L-tcbp}HƺJS D҈=_vX✻Ni/ /}YΛlǫ—Ù@n̫Mj`d(ކzCr RҐM{D!mI6Q$PYΏG}yz30PBNz1(Ö@ވOq]Ewc >Un\8UIٹب؋#u9?{2R&#CE3ٸ1aL m@ֿI!JnbdL[~ ^YQJOn437!*BEv`([&1WZA13<.ͼ"8 Qc=1X4'T4dEaG.BMpP \6-U!3eУ(_E# ۂ'[hB%,>>,{iKkEṤ[0+ T1nV<.?h-hf`v4Ƃu0+F·8&Lt q3I5 ׵R) jšEoϯ^Q0:pYdl^ovbFs䚲&? &_C4@)_ kٮ }MG ^$ Q"2txEtުT=ݷI3Hc9-v39BbS5I|:u%U)c,K''Ԋ`%=O"?5Y᪭Ʋ ƶ g~9Rߤ'rrf\v{ק P](})&'ئ9vVLpRZUg1LNOKb$Ӂt6C.aawN~kC2?މ,cO`/(I$iwaƯ/;={G %I w{:Zy/. .+SN߯3ջm>S`bzb!Ƶ"'#e]_iAl"P[1O&,#O>l=18]t T2Is+Y3m㚣>ciA|:P]ϥbSBWj11!> 4[ },NX1o\L8_6n|gJ=dj#S8m*vb~^9pTo3xyAHܘVmnQFd04kU/2樞59Pq=g)[ E \ aBͦ@.⏱倫Qg -/袧iSzZQW{܊횺wL"f#yZg$]ջ&pz7JM&Yk=8HU-# W遺SLۍLG F_՗|Xhhfd&!Omkio hOc۫tԮN_Qn#%1:ʇY*=4&S͌ [TL| 8S!?)sG'MM]RP L`zlqQ^d55DǮ>]ׅfnv,޺?F:8\(5GT97 JTCI gM+1"fS{rFYw~0FԀedU%b>@C=T|ԱSWB/LXx&̻]*}R >BxaEkHt7xC!СiS Sdk?B@X 9n6$0@BشP FuUz]qˏ1bf)3\;|SZrUV*KEĄ} G"zƻgCŔWC] ˵GIm2pDL| "GFL)|##NpGQ,yTF]}j%K"O {U(r5^厦VYx2S Qn2<ǂUB"2"dT%%IS"7ak<,uW,CNe=m}8'cMմ>DUQvw䪷<*Qc:*YL g~gbW L5ub-P".OWquk`{;&.o=t+yh71й ƾaaTACLj.f@ V,#̱45I.!J%X[J bq7oYV iax_7{%_W 0/cc2j/:HU0W߰se%l6kQrfiZȅTV`r\#R}gYZ  :7C' 4HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b{8%QO}ja!ޮsḫ^LGrhJ҇V~ΰ5Wf5jNuխ86 zl8@Oz=mͤbMNٺ@@auIՊ[߁*ƉKs_7EK,I}B&mV%)DԇZ9/nq?Ei=U%c,y$ALm"bm1{;)3h#,Aks oa&1ɕ+nclY TGk^#%ۭ}+2I5TabY=fR *DDX')PUo!kxMϽY**gYZ