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 LL17tLt, ]% HOL-Quotient_Examples:threads=6elapsed=25.542cpu=40.514gc=1.9097zXZִF! ]]ŗXiɟ=QzX)qFCkW*g_˴A(Ok| ϗ]1 7n(hSw<'z'<~nj:M,hhg ^fXn/ yNn?CYTڠ J 9ȫ#*!.I8.**4Hu1{2{ɵ5{RA$UJ"\C^K_dÄ ֪AV'r Ϝ{<,{eזׄŅ'NbT6*c-[ rtMP->"d~lw:d`д eI?E+j!m*CpʿT#gB; 0YwRz(v1_che3c3P gOaI5XE'2k01(6A)܋>3X866walz}_;vfL`p^MX8*,6I0iqI8ɮPykTNj 1D/z5d|*.ggYZ7zXZִF! ]ŗXiɟ1TgsC2MpRP \awK}IvO0D0ԌlJK(G ΃r`awI9f{gYZ7zXZִF! M]ŗXi%>%N,qC##,x%#"ywvL5l =RʔGRg5yV=[qqf-v2ذ{>C] cUy*QY;x63\7 4W#ީ"ZJ2xow%jGXx@WJeh%쾙m)8V(  .1nGv? !&JM*GT̵:#Fde6]-ߓ}dYʈcdY߇Α#+,J1sjz>2LcN;|6F/'Eak>v}:y0_ hl1bNqP}m/r͗.yA?~D g,]ӠU4 Q+ T'%TfZ62sSKΧDmOsĨ^ ԅ{((~BYE H&l}BFv-]? y>,bWr(߀[KvFCo2owJ{p}D#.]zF`\ ea/Jˆw xN^>` a)#!ooLJh7\Z 5n_-AE gK\RƸXÃP90>Ifof۬i6ØЄ}~ yƦˏ\$ۈ^F-!*Y<5 CLy׭ =Lүw9"!Rej~DpY(D 1XH\2fN]hౝγ^чR \AD?c lht[\X@rg򉽑Ԧ0sbocsקA{Lh]ơ/,'Lu2/4@#J@Kp=iP5ZHi-ju h9)Y\G)8IlkɎ7Z!9I54K2湝3ؓAUkǥ* /ߜ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-GIەvG,9 Es 9xf;Cs P+m_pGX9ad,/D 2 %x)[29.9e)m .3>p/i_#s)TE/iPyouX-/\ْuW߳8gc1H $&&_e2)$]*S(0j" +֌vͨOnpG,^[jho5G+l b=d]B,(JsI 1d1v_-jz|^\ ]Z@/!oR~E׭g=EmsV3GH=bFh4uhuJXGvv9w9ѹ:*z KjiސU 0F1;7|czl杤uqX$U`XU+ptp~y}ڙаmN?-\C@!z n+> 81m b˽GfY,\e n6 <(^lD&+(gME9uDO͋qݵlv>s3(3++)Quf2ƒlu*\bDBFu'u7P}+@QT֐,uVṲGǁaJND<;T5b`0OA'icUQ6(~hlMcU\ ~/UjNxV6`Ly 8i 6ү ]Uye~V1VfAV1-aD~wCR̼ CO0LoӶX٭-JfkϪ~%7&\ k?y`n-B9˔V? 9*auhǃ߈#e6@Rp=>̓>GNbg LE]u~xSaЋf^W0("$O&N([E 8N}Lv/q<Ƅq(U:Qev4Ֆܡ33@ˡ;- F(=Q:ʪ=ߩ o*( X_@`߅#{u&Qb g qs5 vϋ7>gs\agV۪ 6.)GXV!/K6͂1]X@ZLīacK)S'bjq_zttFН2snp9EiHH~T l|s@Ae;P]FLDMZ E'Zm~ ?tPϱ~PLJIS:8u ))WiKaM"ܧB ~޵nY+1@2TՔ"´^>#$ qL[YiZ@ĉ0} msTA:H;~,rP#" e )‹eziϖx_00PF8XP!uDΘ[f)..+\̛tZY6j^ϠXimʚ*%)Z _CIK^ BX;i s:{4FnI".>z˧6iͩ{!hsRG j&pBR [ 8 8]PcLFyɿ]&FѧKw8I02xCYwQ61wI@P:jHjwO&F WD{Y U>$ץqIh6lv tƭx{DjFJ[\B+(J/d"0 ٽW8b<!^AЂy4|UwƎfF4CYOBOUڶ6Awm¸w#2w48Goeg5$qFz88^N2"DPҢCi䭌W~f38}%OۣʮaЃGVPĀ0yweA54_ǯ~37qL^T݅_wW4Z1ٱ^95^;I)@7͵A!5|T!?΁e^4Hl).󷴰6(?%SԺ&Gfٮ$*Xbl1oYI.8)|ۄН<ۥ]=x'k`w!UxLSZ$fܖKD ~{rRВ0\ԑ ^MqN}W$Q٬I(fC(gVǘÆN{'MN2Ic7lVI+n9nHkR&`% r)et  ATknqn|ah2z{ ZZj0!m N|e?oVU״,sab櫡_{yyˉ{TwkZ+.} ɲZ KnW bjN2ظCῖPY`roϭrzER "Iginʅ(KBR ?c$(ff 5nʧ &+g gla6:3⢈Z~3pgLL8Lo/9m1a {҈c5%;i *| ;u$&/\vDM`Y{ .JDK7@WZJb\#81|R8r)Yp"GeUŖf:'aCj nu K[ qAC]PHj H "fЊNv5 MzsiAQB藩<_\'UӹF1edK\B>oNX3?T=_nA˃9_t;ma_KrCQjhMH8uFiܛ-¶x^XG>^v1vf }T>#=7 &0(Q|޴o*%9yuiH&?zy >%3 %M 3Qm}uMn ɇg쏠8>$gYZ ::N7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_id670w7G' lHOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messages7zXZִF! rn]D?7 {?:fH\h˳=cAӨ}<~۷%)5rE+:4 ^i ̣Bб]Q7@Ḓbi.tMwGKm[uY١suV 3<||[Ȉ\Z_;*חc&0o:S*SQdNƜmlo4suQ*3T̛26 ;Zp8OTcLғDzt-{K B3 9*C˒/`nM ) ;oRfӁ;O 5Lu})5KJ?# \:(?o'q.J73Tx Dl0AgAr]go#5Yk` I(Z[ L 47ʹJvp(8F6t 3;k=iAѣx.8iZT֡tъ?6۬!vҡ -;!0RLYA+&xuaA]ҶTeol"N.εTfS'WgBH&2 *vk]= &u5wl$WuZ BؽJsVQ@1n(t+k?^ZK;ܲAIMo,Zù4B=$Nۡ0VfT!mBXrKL@8S[w\d`*ɦC)6I:Cl7h6qIM'Dw~"߉ KEkוcj`8zЦ)JB],wo- P8L@`TU{emc-C3y *Z4~`k;dAɜ׻P ^*^8Vr%t# <VHsוT7RF\NCWl(B8.[(c{At_}O(`fE%ZGKv$2hpz֋JS X}aLl6>J\kcwY\,M%כ+DU u4l۫<7$jɡ !=e&G]C!V O)-(}c5K_!FnK 'i[V,x3_a-bڀ>ǴE!! ̕5b8)l NC7CqX%ɠ-Y {M0pf_CC.;E(gڧ3[AZxfLM ѱ щ"Z9lhd*+I̗HM4EG< ̖<aX`%-C5+%|,r[הp~x3]ԤMtĺФ#ۆT62a k}` ju@^ƪGdo)ܭ[ȸo>{,'m+(!PVJ+CAWܘ4q;Cbi,qY+#,ҢN0HN'u&ʯ\.b{Ivn7o2'Fe'|!@QF\u᪹ $Gq|H@,E5 uD¢q)x:pb+>Ȓf,l^<}SMC ;h$aԳ_7ԧiB}74=7V~7:zuWF=o&* _ND "S,X9#bN@ydgC\+2b4yQ%{mAqSP#Tp3̉#~Qgo~qʏF<&i_xfU{_* vmK\JAwɩ<EeHAJg6ƚY˪Rzqrf8n?w ؐ״"xl)%F"i*3 D5{i φCz,\Gi4F!^S0"d2d.! MwQ3]3!o&l-yR#]9ŀyQNB3$mryS ,85 jSnxGnK[D?v-M?c" e\sPvG ʋB%$o!yRkwN*%ZW>@U-eAlxtk̊ ㋅;YƓa<;ݹy=f09WQSt@@WEMA2);)#!YFW_vBDvzF~ 򿼰(x<Ų.3g}FGۑ)5E"YpjPUGe!k{248> ? "'tJ} OKe3Hţ2В.P ( S"Е0=(5oml]6aoCO\t-I/Ҷj.HHfA=!c8uũ1^"*D_nVq1ƫujk3W+8C}=>`z3~I<ؤ7jԭF&E %sP~dLjb*C'GȮ={46zIq3= s۶J"ˠDZ"1E)Gġ}+?p#"5-ŅZxu]F9 [?+$>3/  -u7Q!fHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/files~~/src/HOL/Quotient_Examples/Quotient_Int.thyQ7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_id660 7K' HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messages7zXZִF! ]·Iq n[:|&[z6},4McڪPkJwh`VG볱N>4 %kCs]nB.fAۣ54f`w4*A 櫡3q0s_,C(KZAkQт.+?ٙ̿͋RAy? sFc>2ɾ%֚Qc8F!cx9mombrC)':H'hRŨ͵mlάϞ BM"DhX1b`dsޒ$֕#.}!(T=. IkS>酙{ &V(JI! 8-N --~0'rr-d @U6>` VklgYZt 7K# dHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markup7zXZִF! Ax"]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5P]Vz!b(ɧ&HGyYsY9 "| 4Tq?48TxJ:xn$ ]4FJ W^ bMoIt/8k(W^" Z tѩ]]@*mYFWAl ZJX7 !]35_,0$)()2w5,U) emSJg]b|O 64>p /@Q;t؅!nPjRqVEuvӖ1qD=ǣWǣ F9tD]*'$fJڪdszbAQ.BL`Ux(e۾+̹+|ip]ZZ ye{7H @_xzH:?Y)qs]'#e  TanF1,mP`Nc$J.9׶dzEim x)G>s4wliVGq?pi!j s} c_"NJ*0TtZd, Kt.Uviڂ”y# eu]h)*Չ^20-`8 tYm󂩪m퇙yG `wt42Hcpx y+եYMx2o7K!`HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/files~~/src/HOL/Quotient_Examples/Lift_FSet.thy3a@aQ{ zxzʑ&Fυ9[ fQ;~7XOMlaN+Ws[}=i7^*J/?}щX'j1-8&?rkOa<$CC:_]xz+=ÓmM!FU˰_eEQ7am{ Vm f6,o=Qds2{Hc]Da):$Ȝ_t݂Ӯ3wD< g|mf4jLtAIou!܁5YG%-: ؓi0,=sʄD?pіY?ݱNly5 GOKc4J] /;]7ӲD2o{,]az I G@5T鄇|# ߪ)ܸ@ǼKѲ8\ww6vyrI7bA8^j[Y)7Zy(®&x]N7jRs`puxy%Ih c:Òԝ_VFU09@oQCS؏Wɡ;t8 Fjh}e-?aϜ[MՐjH䥆ְ4tٶҳ yb#/ v[o7Cd_,oY3{[T\Ғ-Q.]2Tx8ђz:m Xjy=y`Rsֳ0ܤ$)y~0V=^rYqԽ>^=2 qJV-eL.kO1 |:1mm18\ZwW^ bBQZiE73AR<.rjh7)T\:Bvo8tưָ"6z=nLQ=rTx #8\OquYs~ٮ\I;+&%BhSKca:Ӻ$q+22,E1zYn/CjiCsLjf{N@;gMzycYpa IIG0<5SZgF8=Kܼj#ɀоqLf֛ R<0$ ։d]`}s/=*f1cow 4e?S Z=ɏUY`.Fouy}jߡ'R}-ZbB`)I33emGԅE I2NޖK|x U9_N3q5j[RX8B0@iro~yp/R(uW<}9|c#1A͚NY͠ɇB4F9~TpɅ醇S_V,ŧ,Uk,Qv2* +;7$)>P S%h06~Y} kc\2 +SĶnѮGSI}o2׳[Dh*Pc]n${Yz66 *@͊؆~E;n<>7$1 B2`)](p; R+6нX\m@ PG_0 ʉKbBEksZ2g kv)rfŇI0_ VVpQ7?Xl&@7tEmBU&s{s}r(\^Ã農&C5V1 ,poqfOH\ VEnOZ+y>a8&ʋ|t4g>@i`f>|5ZaB%ϐFX_>&8,j졟 |8>ER'0WuvvU2:Fgf̍誺V>LVqWbag{5JΙI u ܼ7)-]]CzɌss{XРqmsY{jE9jڹaţi+>Ԫ֏ m%ҡ\\./P<9o24V o_v]+΋,C/Q`wX=0{Bn4\DZF(.jo&;~}!jfS#nѴ# 3Y{`N܁I^Eiy}Xmp2=D$qn?{17 1,Bv fV }%ޢCY;A,6 `].876AVF!W.4'S^rDeIqN'n+~Fk~xmhSu ȡ8z0h[Hjq.NI*'HX\) d!pP0Ru*hN(4Et2N\~wTi5k~6>zU'%mŗ] 7[L,cc"H_QY{I+ɬ{z5LSS"\-!hRmGy\MgOxFpZ-cXD|FgHERt늩q ck\tL޺iSC=&@t#g{S~ɨ-`tt"]B06).\"9͚his} }zْ$_/ic8(a6[߼lW:s,b,pkUh9J= pFQTžԗ~T|):TxPԇ;)a((/=eCȺUVl9B̳F!?"A5\ S\xYl5XqѴ%'bjFڞx#dF^dRTb&ԂS[BN(B+!\3f[LIPNoCS`_sFLx'@iJtFn[)=%(Z$į ?kRCȫޠ=P }Tl@Wض!qOfm!n)NۨU #7o`.>|&݅F.Ey;'?|]e7>O$YJrivp$\OS/ ˮ,KxF9F2o Wc.ۯr! vvùA4?AP>s#Dj]x;*Bf!2ČR0sxxԢ0$2^6z,%Zy,W;UȰ~oɰ6Da\wC/r#9@i g C% s7}?eۯE#@[ dhnsإ~Xsx9f(m@@"}׋?Y oJV0(~ganvjYr"x-#1fS-JٟG12};B+/ryY h@QܤU @US eY79j~rT>i6&\z6^"lRB )-a>Sold7M8 R sa|vYjj`> zj?e?J!]/)Ǣ\M=nG,RI$fʥDX?pvGVظjVIs O?0%KqչCguKnA^B\sQ/fمLXa<0  / nIM$l-Zd}2s4 ůJg2F!1IA0J4'k G~_e1D;9m倿L^a* YS\?>%&ђ X I=qr|"1 :;F)GS)D ܺa!T[S(K!0==&ݚ{Cl֎r`!ciyA.:DSv*҄ =[鱿T}>/2wy(y [%җ핤 .?SMɥN==ŅZou9I-P*lɄ;s _XԍrIR_%w|4Hms9!G0V*AzT/Il{] |N\rJYT4fmÂV jslK@HtҪ 6h\*0T=OV3=in*x"y>!i:SOꠥ2Þ~&C8h6hHGSo| ? ھ8T5BП褐\U\aӹ 2vKGԄ|/uZ*s{~@KG޷6!Gn TQ.A$G$-:QhjC" (ɉ]I,՛,x kήV|` eKFFW]LzH47gXW\򺄻9D8gFI`&3)1/~SEwDK#B5T}յԖrYF$BzPAvY⵷ m:43,[Fx F_Z5&2eoZo=PgGpЩgU B Oj"帾2aR0PO<{ŭ-qyq ftqTh2N8?Z\ћ+ b+yThO]ba#CM+2a_*]x,e\)ЪŏZt+crYk2LVMs޻װ[Eg=}r:8g(W$Y(1$klM5IhCV+LJlipOϰ~ԩTxmp79fu@mdZg 2 p`:SoJ`P!ON5Y4[t7tQ8[')H%1ڍ{VԣcӎRfQݙ˾璜_ʳ3}q͑^$zr#gsh_2B4(Ml&ہݦʨ7C- )enZ 0FD`7!&򫵋1 -.dvs4ZGA,+.RaB}yٮQr%,7'8cX3 ~DGEc58ZD3T2E ]9riAsʑ:E"`qӰ+6"YFNŠK DYU`*ْEKsgQ;]W=ۤ*ַ%=|cSV#GӦQB$3@X Fl5ÿ( tFIS|Ǽ1:}N<o5%}-H('Hgue@t[$?n" A=NVe'ΆDY'-N Ȭ4@]O)D뤫vQȏ<.t;5؍`Q.CtUj`{V5JĨi%洁 9P22%zh'>1ώ( Uz c'PQ޷ Cg =gIL/;r29E]`׶v}_Q\dܒ!V;:.[8]ʘlIE)@86]iQW/XYsko;fiiGk`lޘRUm[d\̭,"

ߦfNXj|BFuNşI~JN2Dш ˨7_ߢ.X(&TV'-U@^TvF6p=uRpgÿR2 P[/4%1X&w3&q?-bދ ɵ̆uv`-HCڽA3M77fǾM@d2lc;aް"H1pI..SaEoX^ #Nݼ9J7Txʥ}g:Հl s=v~bgzٯ`d> OiH22G\83)76jȄhϝh-)(07^\jJ+?OE衩)ѭ!bȰ8ǤWpeg0!L?].bHtyO/sBPPyCNo 0AOzy91UsCpIXm,z6q =Fv)"FU?0#)4Q6)t[ċ]ucKAic1. g%ܷCP$uJVJ/gAnzt36-1V(FU”,Brאum{Ⳍ(. 閞K eM[15VDG# ST#& {M2C7{ӈvRTyڌG4ŅRLWOB!OsFRZgYZ57mp1R#S&4H{hHe2ɕ<Rfo9[Cx&8dR$b"7 J[/Vm<PsB$vOQ,y<[ JTJ ciRElx KȄҢ+I5y ?4`U90sYRD!./4VO7*ChsF$Rw?kDc&/ Y4Ȣݮw7#z@Rͧ$ŐvXwT DEw68m٭6n">;k~iG2lNaS6hF&  _UOS¢Qp!QxwfB?\{PkQw^\XNOo__H5jj3\~I; uP?I5^vN63 h/)]t {|Yd4d_ (r @Az# !RUzD L,2I>ǫݴq%!$ ث^t8K{BSٛhiR*)J>iٌUm GhLrEx° k̺GP$W:1n%i֚Mc g^ T- Ѱ"ߏ%c̩X,j :@!86c)HA o?65Rvm"10~>NV mҘ^1V&*i4+92Q=7ڑxF*Ws!|S'H ̱?Fy,~G/!;lWf #Hϫ ۦ qХ_R@,ogY;ȪM'I OxHPV :(YK΁.A=Ek[V'fZ=S*lQ&v**?q=N@WU5cs$BZop"ZHy[T|?i{)OǾCVDؘ+Vʅd85[OJoV1wDт`vTJ|ۓ}bHS g2ׁ 0Mt8r+}Oõ?D,Z| ⻃ֹ xҚщb>OxB4گvgvSs47ĞyPhH }us"uL`C<@`Fk8r~܄?_a,sƳ2i+$`нb"YPO!VŖ ~q)_ myH ceI*n#7DpTP?],3*P#Z XiHnP?L+ |&wCTfhDf'tL*|[X}J)^ l5xșLPXDzYx>Bc_9; N4 z; ]n 44CP}O xV V9?G>LZz,ND l쑳11hb$c⬵7̴JWPd=t'1!l?=is^v>$As$Ӥcb>jwDd,C"U}Ϋ-mZ<M :N/`VX2q՟WvNF5H9 J^wW>'8Lu!܃(^j7C۲q?B-ˊ͎C ߸4G:!_u'_u@*5@;HJsPcgMRRq\WyX;scv͇' Պ P$pZ%\$rvdZi9\ w;AX4TFJkMmJpJaPRwIcl`|">e*z*p#n>kR坾( ` al2!aa[+=,͟ A]SǖˆL?R,ͫ-΄PP<e_ݔ$澅\˚MNGgk~^hN2"hyҌ}k•6C&z,d!5U.a5;ݝ0@~WbӼDߜzT2[l6w$NB1BgVdoN* eNuIL,pXOe j]W-צRqyߓf4ԥ֏H5C, Ɗ!Бy ȿ}s[ xp0 4o,8˲  H{P E|HÿlU T_6c&rEo|_s"f-"kl`ʪQH$Ç f* j{$2 h*jY*GIF/VgټK54hbD_,rR{b?EpB\hX}ĉF-2h KXC&Ɗuv=#IbXŧt8갏9,3Gz_HS hZ(Uf>Í41͘Hp5jU З: E/;@ '*lcR,KT0&d]:\ w-,Z/]]}s,Sv5MfZadvGˆ`s8s_|byW5ɂM'+%拹Tb+Q|wocCD {UKz2)a+5tOqHf&0/^o_%g!˥k}osL@yuEK'yCpfćkPU!o]HTsA.\. ^x^l2`j'8}3'Tn@ut"ajpK"v3b%CP%s+䀔"Qmr1 º4mjTtk/Р{ՆQ|՜X H/1vzJ͏LDŽݕw;-B={QV=)BuS^L1tEj YՊ6Ojb$3Q-Cn Í N_/t- B$>Zwf4&IypGސY ܰ f w4irl'x+CfGpkpkf;TkmI}>=|j}k&,hx3QCF&mAZmoMZf6"伀@ 1v#&)6젟ސiQn/w9"(?jz/?Iu~|9DrÓ"km47:p 4ax̿8@]юVS,BGzA,ѻt?G[ ~99a_ X6_,i1u쏹w%>R܂B/yr?l 솮<:;oVKNk`л} `{V(hցvGgQ2_ug~c[17x'6ѹ|(y#Xl%{tsF MHT ԧVE.ݯA)v@uEh HzA˓]fYkj/N f ǘKYHD(^&<@97 DԜ>m.^&m0[?xhiZ.9(2%y%jH&OhћV4fw YRZ!mG ,z|-|[{o89Ha;JeQ_`)iA2m$RŔL;:GV?bޕٯ+h{QA2tK!&9Vj¹ 妧\ºόqXJ 9Ub7ɐ\|Ai,GBdNnDcjjZU[`/mXkqH%bB6R U %oHr;VB ֲj<‚#$Jދn(xV,/ m~MN\'FDL|P^5%-X7HQ!"q~ no~QSP7MHWȡ bצciKb8}fV97>uvzmM(NuڛZmlyg;,P}㨱 {ªND(jTʿ,eР !~r0 o&~ "S~,cXX+Xk:8@Qx}B72$QW^TeV1K];&0C+VW \2EHw/'=Z3tŨ-l UݰjR<ʿ^V^_Mtq/9qֿ4^^Xu/1%bq T߲SR5^ݣzǕ8}jEWqwW0Rʔr86!N0n=r0y4V9R"R.BsFrzk㮔O5iea&&7>(Dc9o$7ekᒱgh#9R"aA )/.fА=髏n(;%|JMi:{_=C-3 M0RC! JOb6I1qy,:˛pkͫr}vuǑo։ 8WD9@)ω(0 Fy :d馤7n2Ř-AI;É'^dFNQ35~ע]78S?h݆/- <t&RtVE'\h'zT1m "BKŽ'|z|SĘp" !5s w6j˛v"DZA$\Ԓg[zesI Wo >16 >wo%i`w\z a9Tlq#\<9zEg qaխ"*2 5X 1ǒ?S3jb#8{֕\i+}So\^0 5kv'a|z6k %b0B)K]4F:iWcΦ%CW$LK$F'̧-_t(w>CƎD<8R ҩ&%&w WMf'8`b-W!a8n)c]G ?b*p$XPF16 9†W=\`6'Ex6ars| XN'Uυ]}Wxw8ÙA +M .#4( #:C\Fۼ1ӄ%oP%쳈:&Q~m^Wvn$n|q9|cfsZO+Rk5w@PɜP@JOLjӽ8D'GypyK)we䡑Qe>FZiHpuV6Vk+DI /m_ T[6v]гe!D-hs>;Zm'in?4z3YU!~/@tY[v!YgYZ / 7Q# THOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markup7zXZִF! -]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$PE"EbpԺw):XЅ%Tv] <j<@QlZf! wsz}[wxv㲤 9;F3{E S2->[ܷE|4KLMm&.0rjhN\trN av*'_ZV_(AO8dJc'ɔO'yF}b 5{wo.@IYȿS*YkL&_eXAqQ&+AOA>xA6?Oh yZLyxǪ! 7{g$)kHZ#or:E NW w^̀s[An+"q\RދD\ M%erhE ]QY&뼑:z6kȇ }lDZ ⦱ړF'|N+GaW>#Lљ,D r^t.+Qvb-.houصByhjǚ2VdtOQ93 }RT،[6H ۔85Ui#ͳuyI6gp!U mBԺ DКa}\gO}[ŞسO@B0~P% foy]5x,Һ= w#'hd\71(~Zaܥ :|҄5ga7(Hd#e}os@cNQ-ϟ_K4*IMJQ8z7Y9 @i8%R2}ORb7.Reo )O5=ilư"&ZN"UYwQT `ar"DŞӖ `s yUڀ?HZnPnةs 4]ozKʼn4 Chs'iGLI’1{a`pQ #F Bm!Lؖ:)!hx+5ʀH&ۻC 95FjqoU)d18Zov!?(MrMZ͟)%*g0"[O'a׫( { É4VrN=\M`)[ ψ:\e]%=>P&5ިbV̪q*? T  vw;{Hm3ȫ̔}9وmPҋ ձ͖@mp7|wM't>ҷ"9,)_HWp٫4#fOL= ldJ9T7eh;O iKXZ-Ȓa"8QO ?%QEgHMݭ\>Ʒ1e}")h:s1G>]A`!%hŷyb O?,`fK&~+?|n; }~YK; M%TlxwO6ȿ-B-DUͶ?M ⫁nxrѽJF\ dW p*$!yr,CF鉶d^Wu0-1Q^C.g+ &3r]1N ( ]:]/w P7FAf`H49L07/քgOj YhZYɢc5Zɮ\%h}.[3C][mvBQ d^1!, ,}O#jv`biPi}KN$Yc1yS^e!:h1Ejwzp`ˠh7rgDZ sծ Cn^Ex.SI7"RrѮMf`vp1}:לWͨ>!pTΐ{IH_ۅd`PU%9C =sd68x%E{prxJBzqKCB1y rOSDRRʃLpwAo:cO-^{]dQ'|M̹/O%Ty^ hB vubEPyG\tBXmUp--(":nV:P o-~nG>ÈxGJoJnZq!f|*нqesȢ] S݄j-5WGX!qMSRK̔0`?S c0|$(dpau7KcL72-znV8QZJmBèpVecCU~|$u=2)(D#y'&A t@}6\n@)媃Tp%qNb,ͥW SmA3"4Z&`KwK&bN:+u~:.ŃօKB"&1ᣄƱkcFqGz&KAiT{+x$E] 65qaf|=dqeS֧{7YƁrʡ{9JE@iQtp:rnl-=B(wFRɅgcNg fLϬ ĩbjro_ll3@([ھ)QB3u>:|z"AF度\nH8asqpTV[`-*&1[WD*]16X0RN0l恢vJ İɔ~f2VtT/s!@} r>[ M HDfʪgQHv\oWɓb7OW?*C`4e(^D#D]k4} R^{zY;+Z8 oS0THj%sݟJԇa&Cȕ+}{,$ so@1Cg<@DV5tE{.Ȳ3C%Ï+bu8`Y} FE!vӼ\-m 7jeô~#\M>P{ P 1{ !6Gd뻼Nř#f2 PˁZ /+!<9FcLMl&Ѕ*()AD(y(Ay g=4c^R]Y_PP/ zY0G23 /O<^mqzi_O] nj!kQ; 2c?q%_BI)A܂0+hNa^%Ԩ^2hQVi`@dIB<ԺxW[\tko@z2s@}Mk妏Xy 'N"9 0-$V. O͇CgYZ9L4,)[:+Gc0q SUL"Nb+@F {F>NR@)|K 7Z6M{.MϘX44~^qGhwRp=R9 `D'eOIQT ɵE;|u%U7YAN~O6ղVNY+Xv FA('(gNtH43_U5b:jWl\];?7cњ~ҘAsLZӒrY# A'ec`4D̒:=OSVBi>z`*s0$= P9]g|Ϳ㬴8cm*c155^09y?ԻTҍRRzJsDD!pg$MߪFuq·ő yAjYI]W#Ky|̪WQ53A]N>EBJwrd9nV9M?R]Q9%GeHw:`\f͒CmH~`NE@>hGN>gVLPYJtH 82geԊvTtM\]b\c/.t 6gL]4 U^8#)uC' @߶5~nxsD^le5DNjd ƭ0Wdm\<3es}r/o6|IH2@e4rЧQV V2:55͌x\ŧ 0/-ˍUL8҄Cŋ)@ETC>CU*gkO~MPq;zVԡhiԩgD:ps0 FԱNhL}F^uPk^B f;>%'Lr-ڢ4;YdRuFǎ9|`bޛs(;#_$JqٝWedK۷ޞzWK%J ro_F(ܩ YlF%!XnrujFD ) ^T0<#Y%S(Uo>J##F2\!]`o6RIhǽ[a*|N*D_|-fXRf)@ ( X+AY([4G_HKΐyW"+IbR݇)djSiăb#:*@_i0^5#7n鼫uœ 5Q" W7qvܘt-}Φ[G 2B$=~U2ʘ8F2wM#;dxZi& Kuz~~\$ \QGVU`+1`[&{SIkkLdZ;66k f{D8ѝ/磮#ܗEb9+j`yn/43i-5͋% u]"؎?2]Oވ)VZs r̨/;q}F _TZ/! J1mR蹗ʂ(DVdd5C~Ea|,6gF0V#9GJabzf8sRYz\*bw޸Xڰ;*p7#%̹K8,de޸&:7Yі,[PG U} 3.:5Sb}u?_D>kojcѫWPǀPʡK->%ѱT 9<_|/;C4x#1⍽7t2olqK}G\F']r)ޭem}_Xx#4E'}7ǣe| {=)"kH|6$=y{4F&G Y]7$ G*1}Fκs~MX'VQ/&hS)z+K$ 4;aMj10j75H%zR"|ePoi ꡗ6syϓ_-Zva)Tu bxA?@\L2MySѰI'c96} ryYI.7!N|VTQm1n6}J!lsfV(r#*-e@3-dE9Z?qbb' &9t#To+*ڃ:`#cQNH\{D#<2ȬʼnT ٟ1KaI4\᎗06ՒCOQAe)cq6Mŵ G97Vp!nD7EQ*RI ǡ"NT^Nkp5#LvW&1ʽ|TowQcHub0uӿ0}kɕJ-F*fc3s )ϖiJ\ SC]cx1#%Op; 䋖Z Z$.QY1b7h(FLgbpBeN.a9 J:Y"E6л;,;p 6لax? U*x3]谤 NJ./]DtS"nͱ /E&!W\ˆIe쟰80"t\f62zbl ^XCM4V[깇pIs*go΋J`{=%Ǹjb Q΀^uze*8Ots|SJgJ7Om G2TlpKL}$Z͌wN+}6bȽ\9$',Y)9>:գߩEVf4*IHoI;~nXs_#ZtiQl48(^Օ! 16=9 XKNA `dDĽ?򠠎ev3ŭn~dU._ԧ\ MEJࣩ@U4 #J5L">OU)Dgan#N8U{#Uq*IQTtޘC{ d`v*6m qSU8EXC5QЉ'S9蝗N bTA. e֭{ h`55M*W GĔ+WK(dEf JK7e-O|vT[dy׾M$n:k2q[I5Iݝlxzż$Dt{L>1qe3wmLlq'Sܵժ7v< HA 5wۍOY>-+]j '=|D֥fV<}ku,Ãn3(I!#aV{<\!raŌ@a H ֢͞8J "I11w O]tʈ8Dew_GE%)扭TG;ڶDaGI?B賤:et}{Ȱ* H$N*cfz\O'b51L=cxF& ߍOuNgh㔡ȻŮU5zgZ"s9;x`3p?LVԈ;m=S};ztMۯ߅YȄC u I}Ȃ 7 1՗=w"]) EO[;dD\m޶ѿQ=Ƨ{lf(؈/pR)^ke=0A<ĵYPIGj%',< .WObYC8gH[6x6T vH1sAOLm6 '!R],$'yH U4bzJ8] L2P]݇ NNSC (UwhX1CҌ:օ]KЇ)VE/ "j  i/xz.h`~z!\ojvi\~:HI=!,e9u:mU=$y_.ߢLs}-f;t7O eE)ʯeTS'ϋ^ tlgn+ӵk` @81 rQX{7çϔ#MpA2K! d ! i!vy2&b2drCs M@nHF_邟ȥg"Ky7XrڊߤN{X0d컼O#"ݞwMR m"q8EQ-]ruϠӎ]AM=U?F9^9sif}֎#^ / ~i5PO~ݤTV#*n?)`ҝ=7xY*sω()shXlVc?>Sd< Tlز-IK 5Fxbih~%e-334l3f!?q|Hղeij=s]lYw&/ i\sP^K`=TEaq 4 XDQ.Ntt~a,Sg6>$plgd*$ARjƁt"zo't]Jf􆆝tnk vG?%dˌxhoT113"}ԇ~8AHH@BHznfna~sX (JpUu Js4j/!bN?r '8'Xf+ꛎ1Y7*X( ~7)%u:)KxMZx5swy*ׯ̂(l쇯Yv]w0Ԏ=s He ^@>R]^|Pi>ce1^5B mZY*Rߐp2xp?Mrnk*X?Z jRi._annpj e3Uwb/+jM-j$D );v1Ce-.Er]rX)kD}e*bAq2R _̉3Dt4]j:E!W7@)r"ʄJ+tf ֖1 ؘ?=%P=!?f"hJy34PzgLJ*u Aǫe7K] 6ǽ)bg>C uAjy)\VA:O%%7?#a^4Λ4"ek2/WPW=miɿ(JET5՛{&o.iELϣnLg!jG@7 cnZ }dZGUE7EXx)3=x[\MVjrS )mSR0qgYZ ``M7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_id672P7Y' HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messages7zXZִF! J ]·Iq n[:|&[z6\'Ҧx3bƓ}şT̂|UL(r7 :gw= ՞b 4܂˚<o?1XdLA iY-Ï{tE!%#q|s>O^W7O`gSũG08ZT>WJv:cd`bnχ@΢i{EB8gwK{yy]ˌ 4ZSd8x$v;!'}rh]mS&KP\> `FKSgzz-[xڔ)c`_ g>’&ϚuERGHEЈз)'2Z[UGM+ Ut?b~io^4@5Z6\d F?κ-1FcoeWpoGqB^ QkfLo3^I쯎KR1%ic*QnX F/`Wfsq+hp\ۿ j[`H BݟHZf}3(ws%畎U$8\?0WTQv NdŐvL2dOFlLoPƄtV)IDe bG&TAi+{*b,τK)d%yEk턊y6B1Ks=ӥ?y[-F'7vH7i; 4tL6ֳZgHHJ%Pj5+72:sH-4fdR{Ad>HUm #y| U_b].qRM/WO G\۽`0ubZ8*|e,y.Q,UIA 6s I7Q6T|$[tDGa2^=K@Nk(WwFv~@R; T3`eyE?jVF s%WgYZo 7Y# LHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup7zXZִF! G)^]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$T_< Pw]IBZAh:H槍U^L5~a$1/A/찗3gpcpXndX8$zeט1}LID*7~e ["_lCSC9w)\]6ת K]Wq.Q DHb9S{jtVrlDwPSZXeq?3Uֽic^I=AX/d:{[!JSi2"56̣%N+?H61[Cf#EÃݻ%W$Z6G98ª<fs!Ȱܨoth_ZU7*Kn˸- "eˇzP<1fC )f|^kAMeej:6?dA|b*~ޘŲ5Dkt缊0 0.DS+7fV^ 1jC8]/úv$>Toc(B:$=0Ыm7H?`VQg7n>:ꩉ~`H[|E^nډ[\< XKlET~x jJN8tfC2#֔w wBg1WHZjv-T!bU5 G5nѧ^(>@R]NM"Ԗx9ǺN)ծ y ;9 `wl&~1{"-/)B;TBo2]; 7R7]& &z9cا~UŏD*Rd B>~Yؔ4kl ÁBn2Xv IF0{Z>݂v?;Wv7PʦI6{BgDd6Kl(dI$c=~!?{-Q'Q(wHn[?ZL)5hLna`Y'r{vsaY@Ƞ_Of>-# X ?:Je}1r+= jz}#TII@Oy:>vR3J. iP=]LvJvױ *n4S!-$X\PdDcR;wc]XjZ#z$2C`mG~ `tv&o{[αHF.x=NsXϋ^E{>PO+w ΜG=k[h70p7]vE\ڙhelf[\N-=U'i d\;4~pE"!c1xjfݔQ]xs,*LɁ#vл倓tEW~Ss5lTn净E0N;#q j3%n 0iChB)j+z =4|1Ϩ<*M'@ 鴞fZ7Va@8>!C*0NΤ\R>6Y=>6LMߎEeW߼ᇔdqp{-C5 apl͗4#Fv_XZq bH,נ&XefՂ2Dr6)dfԓO,Xl%p%30ҢノzB"M sjٜx xLFBkyy9r$J &ۏrg4z`')0aPv!>Iuw/[molg ؝[7:fY707ݾEq1r T;vvcq#Y˩-ڏo@8u.dÝ"?6QMA9!XW/b3l\GLغ G1j5=l4{GlYV$ [yM:(ߕ `jΟ8ƢKٮֽ͘3xuϜ*ba9ڴf(vGTH c&V$xC^'\ZFD KƑ|dw)K؝e'J:2I9<=w!9i..V?MWP_B&>-98_:րA ٝ%4ni= &rt~,1C;r)=#VK%|Tv'K jI[S0{Ōm -#ornW ۷y. )O/E+Ee[%XHKHM,RtfwD2Ktg0 )JJdU}4Ob7*2h:juIabIњne rr ,vL>*\ʁ;(h1BVaх琨tvJ1T\č/y8DeQ̧P<wD.]e_Z>YPx|lZɿ:ޒ+)#e(UƱtYfgL y[Xڎ ›yͼԿ67=m #5-Ojb=7>%Eb_b c12(nUƞV_[F0Z"_ڬ#'yɊ4R/[p۝?>^='~02lܼ  6U=(!KZI`n5?Cֻ)I.ODRO=6762;+G<4wOC{"zݞVDКwrRi#yeDh[i % f7odѻW-to3]F-e9>&m(tR__OH2#K3gH2B8812kI6ή5D_Ө^ |Ns wr@= F=˵!uRjB\C4xe-,FNؒRh*[QZB DXl~䖂<Vˆ"QŢ1/ZL;rodVj =NP|1M]-7fB72: Ksqz^— 0S"ԫCFߟV<H*Vv5O#Q6Bb}lVe(+zgM8{^QkByڝiB[ϯSgffu`?1]svVsC~Շ^Hr-ط]b,Qh{ɍsmfAj-ՀA}+u|wW;i=ڪ&_aeV48lhϩb,G6ڹH \cKLabjJ63C@8YI/) Ztknl i\MIhkh[0r^kn[,51ZWQ$-VWu뛯{fw 9[]F3wDPȽgƓɣ{{y z:9g4G$oF^ JWBL(fpF)#b xuΨUj&k4B AM;"y͊Rl_ɐ=2KI* :nک3I|;y t)oYgDvsxU:~L{S75X_C\z loHG\PYv#\ʋT~ 0zЊ8iN`lu0#˝LT˫gs(*5.ץO4ۧgпZ`ƨAƒ2Aj|Rd(Zn6\Ͽ]ho:e3ᕞg b4fԿJL+tf9tmjyvфދ JyYo ?`JCTB`Ӷf^Ke>?Nz^vzl4:-&+vi5+qRb?W L0Ъc 1M5qJĚ!lbf1\H2ڴjo+C!V<Ư Kor wy , k$ *l-&X<˼zj$QEZbZaNn|:5Hd|.63U+f.u̓(,*\9'ܺ_@[>10^]\́}:w@tA -T6+TQE28lټJn;?fIJJ e]V5!CY5VX 4GEȝ"mpǁj~$.7jf~A6tGCU1O2ߩPCEG—2Cqvt<+DrOIe,)&k]m{CŰ m礪*40P[wmMS1r~9Q{aUd4XY72y9TSߍ5K&5[԰t̰ ˤCQ?`=1I4n]ec9F[Ec3@dWmMM!!+ߣ1dAHCčFrR?NWDU=fD,IMVBμ2\m6OGnh{5H(>[{]KlfR;vZ5X/ZaGĔVñZSDBӬm +0]sj?KPj0}fŸ"h1# !w[!y?r PNwY&*D?jZPvt6x]AMӋ. CkVѬs4z9&Z/S>wgKhJNU B?HF4a\EVY܇F]^݈Dj}UfaIj6b7F=$* nd ]e4:0):Wz"]- :1 \`u ɲyNFSq:W"{f> JH g%I+M|D`Wk n7֖-puivx/[4[X:MIanG7gċ815p(z$IOA'Qjo$+Ydq=lh[J& / (Us6!F,r>}ѣ٠Fo:+>09N}"b>-%ΟUZтh|l)nM~!nvĚ:+'ޥ/-Dyi?rϾFg28r7Ox ]_ck yD s7UWhah'waM}VV0 #uesaÂ/,;lY)ܵ7-QurdO$؞;@#z)BSDVO^;-eX= 2TUhusP/MVMxy?+Lj!u6 焸:kb[/7;$3E8,P 7*T]:/*fU<'Jy ʧ_fd+Z쮵)~ % ;uHÞyo hMAP@&){@6@ZGC @[1>u+NϺwwr 44̧ZHX$C>h(Z[zZ׺)#@KoS@R#7tI7&Hr[gMX&mf=Hҟ|C%F^e>7HX Tnĩ3'3xhk'w)r_W"4b`a @޼YgNލj ~HZQ_"j Vu U{TNWN7M,[g"Ibܖ!Wh]בr=)?%j 4eh(A;jWmrO_ jOemGηA]vuCIt ȘؽoX<o-~! 7oi?H6H|ZRM;6XlTbiw+Q8_+ujtWSgvDw}PmΛ ZX۳UUxi@>?iz5E8(RVmMbܕ?jj ݣՋ4^XfA_'OݘM"QsJDM9@[-Xq6~pn+On[p˼YUv9tqЈMi9"'u*?e>KMIC!VKjҿj ԧ:BnX@S1$)0|н}&Ȑ]k _B[)tVdTp vM@Ҕ]lv)!įAZTA}NӆA/ s:YK(K &]l DOS?kN\:ymDo=H+,V(Y@?L˘'s` yΗL(bk?Ax8 iƱgYZ  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! 0]Άxʆ5.f-9 rq6ӕ XpnD57uW@oE W*^̒\s1Ch|wk5+ e>lme]ljֱ mO_vAL qgsbĚ1~@IIQ%)x)1LX!e+;RZ=(Wms EJ!М9 ",qk(tOv{ol@vijLr-n{[tR -DȤᜯ\'Dd 6_Ā'jH*J`KuGu^} /e@Ldpq"؇5ȣ̝1Ajz^HK zcO{2克A#vV+q`BjI156v"掞/"HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messageswriteln_messageserial=10528080line=52offset=1253end_offset=1264file=~~/src/HOL/Quotient_Examples/Lift_DList.thyid=668See theory_exportsname=HOL-Quotient_Examples.Lift_DList/codeid=668theory exports,%7M# THOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/markup7zXZִF! ~ #]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5u+G4 {C %3,]],Qz.4i(! &K6Ҙg TKPq#xLCP$d_qǫ<񥼽E)MC1xZhTN #$T| c bhsyAƕ M*{hAKX>1T[0J+f6cG063h;ßƓu (VCwܩJ&-?F- l5]^sngJf*x걆?Gys$9f|OikS^Vtkl,m*SaxC<̏X[ ĜkЊcg:p]ۢsJɢPli!-2?$0mhalFvKkhtgOК{e 2P8ρh1nO<PMeZ(&?r?$S73"HSQW(JWaEDI+ ֮>)M F#&3E]NzTΒBuՋs*:R^VQ eTpX J;^d:fR\9|$xR))-ݑ{z0H ~#;LjX("l8j&ᷚ9jl872CtRޞ9c  XeSV T!_/Liz"2v[.bWHt$S'9EE2Ѯ('rl% "g *rKz:YU', N?NDtzsC|y(^/^W; <&"FU.̈>mTml5Q׀G+ys9$%~Y(cӉ[cP]~cgɘ 6qi Sņs&S$grDQqwGDC]䘢C8eDkJɘ(YL|񐇀zC3դHG4^ ̛K(!,շΡo7+~iҁ9ˉdijD5\1QI >`P6EV4 ȟ%VN'5_mtF9uYI-ՠXh eZ(TB5I;wI]>u1u|;♆ԇa ;6I#jWGO/TcoB9<)9 i1&a8'S.H&PLaQ:iWX{ϑU,XAh!gqgHC~g`ѻH> X.U9EELZ51>,!FЦ(d?̐òAZ X_ S/]9Uڥid]"U܋ނ$ȃ_yil®!8^1,fAiY ɋՁ* (30EI`=8ę\{o\uK]ʳu% F}qƛ/*}ak&-kOIhM.}-oṄ"ȠV맫g nzqH+_:`ł AsaLHq?`QXl# 5N~s"zCy:CtdGu7&*a(+ QSViE^l{ӆVON"{ۿ5m7'nS+vuyz& r]F.OsN5ӬY=Zĺr QӖJ/x.hɿ6p EWtLkmkW{/D ږDۊ+kT++ŕhZm02tj8p0? a}EKd؝[Y6)P@yvP=$5B:yݪzmMВ@L)ߖ8r]hh{L0&*&lrXw;-KI`yq~jor[kz\NIx/95?ZOA'zy&vktA٠vLO(8s$Ijpu4KM#,%[yq庹=8OtZ~潋Nnї|Ij`Z_x0"bizod ?kHLfX i̮c;gX}[M{! 7'Yj!;am!tHɳ;,OР4at !=%ƿ-`/[)7ש>#TEsOZA.4Jzs͸ ۨX.c!`c'WF8K]kOͶfN%#Z3KpErf٫ -҈S?di]tӂ Z̧xn)TLQ[:,'B4{,激ɱ柣oO ,QHz- rgRo/fGSa:'7FUd x! pޛf/\V̅bQysWh] } 8l8T2f7ƏY j~q`z]TQdo|vTp' ~` Q7o;/{9?f8<=?^ .([w[IϟTʬ o-}esE1POk=X$ &J,A_OsU^e' ր 9~~W6Ur,Aι@W}hutʢLɽo]i&dk,XO+*ޝ+EA5 ݓզu 5/ZX! n0Y!ʓ278WnL[{LkFs31)Vv`juՓjĖN.I&G!?Zᤱ2k=[ MCWjCh>(v،RmrJbM%-Ô"8צ?*xcAz(fM|Wļ[S5){,,\i_Ex*䛭$ɋthG9,?.Mӷ&Po( l#$|lތxT){[#cObTd9HպtG;j9WhtŽan_1gp z e;kb+'o] 9%oV}8Uؤ uT$fỳ mt ?M~c-zE_y4O&0.EV= N/jS${ 1CbyWc}lT~'58@X@%-)lN4`xj?x1Y㉳.JGd%Q'Ro蓏/0<  "X/LqV\P]{F/ZR 0/f5]=Oʭ9ag6OlշeQC)^t(VMӈ1)I@ >>Ӡ0'BaAhX$'yS}Dk^}Kۡ 'ƮzWuwu>:md̡;Z)O^^:  fD9IA+~(Zܖ&9P 0-ްJ7lV'^5<ERS TmӭMyHkkMZoU.'xk@ x aCτpShLPhV}Ƃ(5Tr[stG}0DH0DX GU61>MiTsY>@yx5߂2_ AkJ"uh=ދ,9\}20EG!%d`u ʪFE3Q:,(y&>fO$U>R ftl =qna8c@~F(93r%@{fɨLF̧0dO)@*fjeTF#$sXi;"DO˨ *Da#6\U;gr0nX Xrc%!+PEq-9 W[&IgG >G8`>w2vd\,kPge"uGCAűJՠ'2t: Y%plY2iW.$%77%uPB_?'[)m{G)I9 t&A1g59?ƞ>i]hL1Ws-vTdYr!<,.Qbܨjϱ3nsTrm|b"8,_R285>3%Ɖ2bK y rJ]@ƚl8Y\U;yǸ<~ܻOIK\{/Q=E| ~a{ i @e62π7$]ؤ쮇VCQT 4D H\e|r[ﶺ&gjc!pxPx,?;6%f~_~}oeHf' ]]R8BqCX]HE&~#;ht®Qƾ7$ otˣ'I&'-/ ޹\ =v3kũG}͐zJeFKFQr4#IQc$NlkÛbAgᑦV(K^t K׈{0SZo~3OĀ_ 68>0A^*_h!dɪ0ʬ &)뷘,+Wj¾~wfvg=ayF (;I 4qlfhM$1*4AKЫx\=F'H"iٶxzrNogEꐎy]b'dyX<}n2֯ yY1yl;zYRd]9=mJDCD12F,5VeQT.7QsuC`RLyϐև. B ?UqaKH%zM~lP ksDym%c=+BKtOE2jHI;V[ӽDq(LJРHhнkNX]W3D-kgr /:6>o\+kpIz.3j^,@ca:_ю_ٍ⸝/YM``>`'2ԉ\Γ4غ ۛ6k'®OSt:Lnį IqH5AϜ<х̘g֎ {6 ^ CgQkP0tNdVI/;;gV57us $ y+79ocScF),Q;z5Y5eC)3]ř_jkfU u}ZE\f[ }*tM*]wsU]'  UI Rc9ϻ /Ϲ㇯*ρǚ(gգA_ %4d'aTJ$ݦbUP8Esȍ[y:$%䉄F[tFOfHu KK.P+ޮ-(D$8Mg o!d3+ܿ;-(ZDӅ5>t";&, ϰ*S엉ɋn&gGo:~m ־}0eu~3prkkU9d53=GT<細(@<. x+caL rKge,l@7ʶ;+,nAFvH⍕OiN|j9=fQXqcF Zω L*DQ#'R-s?bڕ'xtAX֬iBm::O\^0)a6jMl絻X3ltuXR ڷmӯtzc7P%[9d  [Jh` 4L@/vՐp/v/cj,k &|NػD!'q͟m6t+uA[F&~&fzE2;6[\C؇hmAc"ݪڡƌG^p[S=k[u 83y3F}fѰ ӕ$sYd#i gJoޘ_ V6|-ޜG .qwV>u_ic=2|튻iMV^rU 5&QT!#_D5=&nNRb~[ʳ_ 1$<VP2e͖ )aӺեXZ+`Mhoe>~2z'܁gݎLT{Us'?[1[@LKg-B bK<=`ؖ2 ]?|7 O~(eh)?s!z?bRW9sx#GV3;ӽz K$;YdL_8*ssrǯ6ji(,eHR}_to9~=<O3\Ƌܦ>t׼WEm+h& =ٯ3FWcXi@+wU&09j}%gp)y]$EIPs=0Խ*8<.[ʟ=`o_(BQ!6zbGe JesRAЇ"GA<_ _ImU ɻ@D"_q a??]8!ごж]1Ex(lP){d=n>9lG`i6 gr|M؜SaɦWK|?doفs X޶C%Y"o0 T0|#a;|SWzmu]Zkc; q(fDfA>iudCB,F3-jǣ9/)z2" =yE< j%^ıtmk|nvgwg̎G..P&V*\Z&ć('0ۚ:2z9^V"^q6|zT\c1I"I=b S# _#k;SdEn;ϥ0Rr1# r@""P{moBbDU;E#A3}BkORn(0XM"̩5XGz]C8i-25,m/jޞ,/zyY)1x=yCȅvK4D{'. ;84tTfJm'%αPpmSLky`erVfpnކ+nZ\8t-F0tBY$ˀ$F&U"9¡ͶwYB>iCl9t=;N`'НS؞vab?Íd8so0P<gq9>9U/#)<]ƾǻ7s&}yFgA}?Y##aC}ϧ5 miri}Gcɀ d*e:jO p 77A2)(雅~ csb9bSAl[Im9f VUE`[˳6葝.|MzZh+׫ٛOW4CQ\Q-Nx; _+[>M5(<fA:僑Ѩ~2Ab?G."lE%Ew_\z2숵:54ŘA JttXlN+8먲뱜5 w 13O~v Q1+sRAΗ?WjYI:[vuvYʲ$B(3?0rS\qvQRndiw%~W!DrZ<_'34f 15.pZƒcK5Pz~rAw\Tdz>PA\H6sQ$N_cjɂ®w9b`QBjTGB(ܟ|8l(eh4g\|ХܵaiVQ<h-:r:>'5/Ԇ[9y˖gG׻"2{RWw6iTsJ[oԊ]*xIx-p*:}h Q 8UxTZ닭xp#wg4LI"O63fJ2`Y6 խ b 'h[CbґFa6/D6&-=sCi 3ڲF0%c>@GmdfƢ!=Mw,A]o4ew۹=2tv7۩ێ/[` " V d8.U/,@ެ?'C\S3kE$$w8 EyBza{[ݟ*Ǜ6zHqH)gܶ0$i]|I/$WHUyH+`<67$cc둽"Ӹa 39`V q[sgYZ7) 7Q# dHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markup7zXZִF! {J ]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$e[Tջ3=|A;ɳoc7\aAp3>~2Kǚ49AW뒍B*-pi.B|0? Wœ`?CtC6(EWM%I`YORe[b;tjtb$>+Jɭ=a1.d+cuqU { /F4:Yό)s8iVłܳ V "D<_Kc3Dӗk1fwE *ڋVqrl]ǃpU!ڃ'PߝVr3m/Ol4TNX7 ŚYpnNVJD K!(SZA~;~z&[Ldߖ_$ V?xUD朘];H$n("څfIBmR@Y ,aԥQ>"Vd"EeXc}Q c4aYVe}rLs,Ρa$Efz_'rA*f5$loFÄ^ =2B:_G@"V9s!)R IֲQkW&3O&"̋Ùj0{> ՘:hJ\|wG5Bjm)xmwM:,<9-,,^!`c/T%U>us!纊2"dV-#4APa/|RMp9{SN7Ra+AM Sܦ˘7'GC&z9|)AI)x[j[V(7Pjp'H7*~L4Om8'myaoʯ= 6E[wJ5sUB hU#(|HXd9nj qa3V樮]F|C4JW'lqG)uD* 9VtnJ),q0Sr}ZZo\nIK[wqzFzfq@2k૮`؉#W#0C[P4&;wؗnL>GLWU# Tk*;JL DŽc^&[bÁ>#J93{s]v1]HGQ{Ir i:^l{>L>u#xGQ, o[^鸠4Yg^x.MwPUr$BԄ}pPo.ŧLJm+7/f mp*9 J XLh_Qy!y_x- P'Y&8KIjr~ɷz9lqRمQQ/#0-NC?Ӛ4fa*U&ˮ?믪IM>*ȘSMBD8' HL )@xl3EMua{zOg(ĉ-[:`H|ZU4RC?b|duC|yMvg40׿A;:Ю&N3Ry*,=ʩH؞#ɑ6l4}(š邺r~듁[BlīBB`B0>[F EaBQp du SϷHX1j⹂l߃S<2F|8ޘvo8D _~\fBҊr3xet.'B}*ʾKk#QT-d1qO+?,ʏDMhF3?a{W84\Qz·x=o]%#!ejsN|4B*d%Icl0 LtYypݦ+cIIsj,O\LD |NMy\RhR$pٽKc#Ae)EMZd$[LE-ߧmvB[ܪW w鬁Pv m׎9s7y؎4tʞ y4-"˺AC0y(fG )upيud==G3}?W]3~~ {("/Pϐ{=Fd2F`tk0!Q/UBu+,߰xR?3_a=rl$h)JO?{ Kx9PsmH}U`.R>}iFօ̲H3,#cƄىryA%&ʫqBBH 5M略bܳ YSMPF=0n_Q]YvXWN*z0LVTɩza8EQxs΢b3W\2|ڍװ4D:NP^q3r(Az $Iax<X_@A7ߥ[Ug/1)H)N? Zzx݆E:V.u'$N `-_2>io P}'8΄ϳ-4A%P`Ԋl d*R {-!h.WwYA, 9IYm'9Oc :$8 Xt#Be3l/XWCE~0G,e[$]3F"H^`44i QƝVث[Ԟk8f8aтo}]{ `vLG=0d k*˹䬹rGb_Lps+8ϟ 9gJhG!KmkQfWɠ+М:J)4VW<34ٕ+Y49xAN I.A n.BZvRba0t9Xآ -[%_3k`/C9bEabwJJVj4~4_FA9>0_mOL62YEs:2LC, v@)zH,vygmr7}h$86Pm9^43o ܖ }zm,ֺk9#, M#9YKMϷOsE4u|Sj ߐ]%d[?ۮQ0g3<oa<ܚ/7;Nr/9(QYƝ/?e<}xo{q&v(Q8w_-59waaȧIAuMP?}gL=3"vZU ޗ&o^-\d5,5ˌfnU#DfͥXP'PMSE҄:WgPƯJ.lK/mKEAqJ šRXy3&7SF_H*Q>g;:_sk;X Upijc 'Y@GGqD3"#6oA1"NX'B]bZX 乿o U¹B#$X滾zmB6*viDa2Zs3I܉ߏUL2-S%3&y=׀fQ5g,culY0qp,xZs8cŤh۹x;:bD4fTzz knHi8G7YP QGe냃H ꘯!)Z`` +>7QS28xb$ 9-YG4p !Vkrxq W5 9E < |dܡ:%^[ǃp7rka6NXq_{0R#RqHQ~1Mւä,i۳x3{pqeW$4l2OcdF5m܅_* @ )H{IsD15ANB %_:ڍ. ʕĺ*7XRPMԆj"nPcTbc v.Iee;U 3i.4v h2U}PG[S%,]KLI>l~)`lU|0Ι"JG t)Ms+ w<=U 誯2`G¤M\4 z9sC?!ԎSHvK%A&)],KFZmBJŤ:C;.B.$qwZ|?籬ܫmg81mPH`HXIy5IPWgh548AԀ ƁQ1 ~SUj KGڟ!ݑSQ s=>HHlz0 t?Kh~#Gd H ar}aL8#6 oJ `JJ;\M R57')\i%CsTV:Sk+DLO6k~=kp;#欂S;mQ]ǩ%a5cw]T?"lY6 lS@*j+k"6>4OZxXa;cl$7Nw(dY!,BԱ/7+IsexBʸʄ7H#8cw&҇׉;A~ U,q,n6hU3at8 C'_Ns֎w w,kqCiP.9H=t{'Z!ZR: qJ؃4]lɈ`~緥4WVsE#Z CJp4-|-l'K'd/VG}R~ϰ!N2_yfH'+JթÉ o}2w\Z@f]Q{([|5&wV@ֳcA`OKv0DP\  E2peHҿq &T0`sA$zޙf-+:6K{_ R廄VMʇ{SlO_^o>wRPU!>l+vfn59ɔV|} `o."hc\{"|K(Gm3"y](ai\tζole1׎W7\&-{HԽpjkW4*NqzU%`=cI&z; OC.C\͜@Nvg6iXJVL~<2A*Ƀ”7gOjv F!{iPV9@b)WP^_gO" IdW׮~"OI2 0VDX:.n{!OB?mXݒhаo,%LMTotr#,l#5‡c&d yte:h<֕hNB)I.@Na&A6Mrz8ѵ,\eaeN;>'󐿕f|Jkձ&ҾtGM.Md7j◿ /#Q ?fA$iXd~Ώ7mGd3vl6[6gg޲N2ܪU~h/!A`Wxy;WXL;ݩwآΕ$ n`}h禇:W]פ [dI<02E?!<\)[ljg7qÜ웓RR*Tm=2fJA}W~3͓3`NL9U)i*s}Jۣwݦ;(㞨c RaOvL_];v{5SHki؛ lYQ灯ғ0=]CAa]jӚkuDDZNUr+ZV824J]/!6E#~<4nZ=woҶ:ZqܥٔS xذ2?l7\vx3sov>NcژbYp2OM;ޒR,i(#=" דJjeLzpKP"av>.h.l4T˹ħC5 eaJL[4ݵAfۄdzaF~CvWbXC\Jv! 5鋡1v >m::cosCx_FZ%W- KMS*/U]|*K”x323Qy%yv;g.kgk<6}j9r,u l=@kBS ݕ*[AL;Qh;e =1?̐o͓z:G c-)F:eq/'^&ilkgK/[ Xoݮ+}c]ÀM`0zMtoŹByk8h;SdC6X29t:T^єxq io|g0#('&VlXkb3oojiL9<}; Sj^Kq]㟽w;HM3.v@$;b{ciEZRwDHZ7W>3Bo/)a/[(0Gk}R D1V2WpMR& {K:o{0 ʆh^v:(w3{@[cJ_gݚ{C12WIU:?|P0Ͻ :}y@vy@$'՗f}yv>VW9|{.MP[ Y{N҄@Blx%ǎa h,к6(Pb 7/)3,ũ'?ܳkL۴Ga>adJ×q8| 19!7 ښV#%&n馕?jz\gȬv Ei+ss{iQr (VNUO`eQ^e/9cHA&qW[Xk0^#V@ֱSj o.*<|q=MdX-D+j aA=ն;[/T]nF' `rA"SÇzoaop@ ~9}'O1 Y"N&"B0Ɍ /4-d?C^ed|' CețBa|J52lb+MJHs.tAO?( uR2ܴSI ㏄Hl' 9:9, ͣ2ӊՋPba_xIf"E'hmMWQ8yw)Z7ȁ? ϵ EE53A^K^@MQm]!_iZp+D~w%LqOeؕt^"^4P@<֍|VGS`;ZkYYB.njh4/`P7=f! b-;$y%kBnL69 PDJyu|D|zͪҚn]WU@Xʄxȹ(ݣaD&b<thhQ[3ſuWXbC%{39.f"|F5qŲ y0?o5'o{F NhT]6l R]g7ܘAnSa<Q9 ɟFqrK5tZMc8U>iԌl[͙ ֕gL s}Q QE?i-3,afO0AA~×<ؒs^V0 u s׈~CY6@7JӢC/%B _R8zߗa |c7֕*Xv)ڿj4!9@|mۈCԘA AK]-P}G({/ho^у&cm, .n&H% hg?`=HH@! AW)\>Ƞ&k;wc{r,4{D21KؚTSIcNc9@qܷS [ᧇ\J\7a&GwMH8xF5eZ,tt=dkR~[ܒDNjk*M%=9NgG gb~ɇҴw3ZhOmz*Bhv7e?k-=vi7fORMdgl%勸>ifV]QZmAӑmԇםOLб ~!1q/UO`[$K87%FN%!<}CܔBe_7Յ.f `Bһ P)$.2e,>^֘Vn ^ߤŅr.NwE5xp6R͏#j+;8(r>&2a Y_6󆕔 * .2 b4Eeqouw{:\ΜPǓR,LCz&U 3fY[-rMVVH:$ wюkCF&&.Oq{m:#t6^ Ϳx yۘoNtXAVN`/{Ԗ29zfkC֊Q&kzL4QuKMkvwr6REi23uq@< ߧdٞ?آ!jH 6|{=[gHː;I#mYuؓA񖩸v-93mHrL jd)*Y7Nsm!:gy~TaϞGF`2#C"u Mrē8fv.dp21n&:YpnWۙ/IS\@8 I y"U8UhIo\$ yN2=KzPX '~ t.¹ZN]v`Jxӵoϓz5*4 0VFy\b4~I(`-B*{|K,hTC7beQ08뺙u_qJ]Ui8B˽m ~,ΔrLr2~0JP}o5 WusN°qwz*xWnRwLja}\-azX $(<< ^.X ˝e dI:w%N̐$vTO+$痺]|ÊuhA4NJ@ 5խMHe9R'W2q6T fh 7X:3_I3M387N ]ɨm7j;Ǿ($tub@A5@4̠͑w))reqm3-/%RINQ7@fw^km+[hB*s^UtCD$z g3h"Uě3T:ٙ |K ZX?EU 4$O Aw'1!HHF0H}CÙ@ʜمl"G4p-=Li(R4"4zhKjZu2}ƃ!d2kJbovM#kͪZNWƱi<`o'XsWbx BOr772*BSGHA /(6 $Vʭ@_>2!`c!%ZX4WY. C ׮dA~˲BN%* ~%]r+^{g‰Fzzb4s"̊t|1.TG 43b2D.ZCw!CsF)bCva`cyg){GzIgQϓ Akvr{gee=~:LQjļB+LDEN$WPϠ\ ( `{nʛ.5\_䗪nr:ݢ_IaI(IeG ˑ~oݐܣ#wjUU%ĭƒ7Lw~x^6vmM4 W _6D./eބj'P/TOQͪwKENY h}C^N:$.9+gMe?n%?aSȪpխsRM._)5:j!MPNͱ/6s44΀x eD0oiy7\4R*Y~%^:YmBYi5(oZt4hlSW-= QV݄PA@`x5,yk"5^x?{2㟇J&x݃"B)_#dH!Z܊"M]$bX"%lt31C 4 ;mbӠZSSW#$m%?Ob"ltxPhP_'$/C.IA%ᬗx8T0t&6~@9rd3Kx&E.@Lc. u9qg`'X$\D*whhd>f[\=hYyٙ@W[lkdefV}GiA |S@YR`+Ѷg`@ӆAg~4'FAXw՗buD I; WFj PwMg27KSp>Vzf Ap7w[8dўHvwBo=γɉ$qN t `zrlN(EknT{Ϡ3l =מqjy6yxgf@G^[u78bX:NE YٸSvcB#`GAq#>ψӍAҡ ۟П<j `-t-1PgVJBrX%v!M]bjDRA(ǜm\.[C·[24B 2iA#F tuR=iAo$U8)~a0x f U:Hʔ󌏂x*pIű͛.! F~92&ܔ=sj~gۯ1ࢸޙi!kQ z1ԌTuw mKEf6x ,+g'Ork^p @մнTª$34KHaAǂAGSujBTś8t;JpDB5`.4Wry&ZC Qq_C!d5ȞˁZ@tە?qg".vEh!4ys38Z|b˕ۅߢ2/6p( JSH'4L9)Ù=oE9Vu_@W] W>; MYN b Y[>c Sv`र:k8(R\m6diES,yQ SZˀ"ϩWO\x3Euu,k= 2"޹1a=a/TBqyI)r| Q/vlV%F`uQa[9L^L}?!]u N(- tXc08w+N Ak>-RVQqv rx$O=VDgœm^YWnՆ ^6l/A1;1+4 T%!#9\!L5gOZ1MGjvq|be] ?#KЮ7%EΟ<ķ*޿WSƂbh%F.r!pP J.BK %GɞJW* ;oDFZ;sB;0|ުbj!P9$ w<`bqX8 0' 2#Q*|" _Ԭ׺Y,aSmu6f0ZRL7q̥CqaWE(:ѵAe\YԽ(@8$׽':kW%څnhD]z2c I=-]7Ɠ9߈HA})@< 鮈Z} ҫI2uDCP;B@r{qmd!mJ:$ZOul[bodm l- +urt^63,D1>"c]李>MD${5,aC{/9[Y2n)&At0=YJFmD҅ GAؘ5# EEOE5LMݬ\TRa^)Oms9n,'T@e_A >ԵW,nqyjWؚ%= %b1yTLQ@w]&m'6w1,ɟhbM֗ ~jWCOw%<6F8~Tjc=M+!hG ø~j^y4MߟI3Ymxu(ȃ7 NpQ@: !Wα&# EZwxx)TSCJD&}L)eA)Lg5Qx5Cr0ط0X&'nw: .Aq4:s_  ϔ][bEƧ񫈇WG 04Ө/Kj, p{vs7EV1~:hȦ>58>s?FϖRzOS`hyN+ǥ\ JR)ɡ8Pת׈f̳7`0qRpQ[$[OYK2tCMƓA{t*|`vNpFz͸5 ޖzbQ/2/ LAHp_eϝƑeQmgny>'ܜ[DȊz2>gG̊I!?hi']tuoZD|ZL,+RU{~Io[jkh6Zl/)g|6Wb65 Z Iv:/c0p< WȂN OI5_@p- ,"Ya46였zOf*݉d<兑dzx&jn5'TznlIcKe ' F$Y /BԆ6)yj6fڣE]yBwP&74"{D"~= ˨CKO1 mW(T(H4{j5 >R+F`$#u2ۈ=%YHxI!\ZG"4*Qy;\u6a IڥTfT<>70rar^t-Y^> 1DV 5om1P:AKD $%"{=h&+=.9(]W;V&YfY&$f@gӌcB}2x#*N?\:BpVG2l 5b/ĒWMy݀5Q|b+DK`sS-XX}&M"Ⱥ/LWfĽªy;6hU\܎LՀם;[E}@l?+- Gd"^b;sCw;HJw. _3{4bzևYtFO}ߔhҁfgÑaO7#PZGT;4n\Pr%mGɊoTRVܐk!#KPw4@͐ڶG pZ:-VܒTs1*^mQpTݥ Ȟđ ⧁GA! ?cA.ߔ_D|7ut}@F䔺`Ց&7Y3G{fJ!&b-g@.t!kKhy<tFT2)lߝ{;m3.!Zn7^(ɐ{^zǖ.f0OMԱFaO|bd-KZsk%2sj r T.f嫩 ЇmKHq34jQ5;7zf, smt4'Jb >Cmz[ )lŦtf@u+ ,|NQUC6}aN'V\( D;,3$šjȝXgzWշs%Mܙqk>U0eRYU5T["h̢FM||[cH`Y+:J˙Kvw]{yw9QnLp{Dj_Kn\:!Ōxa^B]Ԗ͐K'eŵCi{NbMɗmPYw'_sͻ-GW`ˆQh{éMQ~L!7B;uֈŸ$w%(D^S=Nwiʞv;U$_3:ii,bD}]ĀwRɲ^qxՃ6;̚mˊ q%:TZگ1acОg1Kv?|Uq>Q'ˀDC: nht^bU) Y)ieGϞ,n@Bf 8uF7YqR? R.k0:!q'c:-rի( )GQ4tIIcюx}f*+gLn/W7Vg;bX^;XdUx\@Y9 F]ʀՅmջ[#cmYDM#_:2׍#֫7֖ca[P8@ԛOT:g]骷w ̗6+)!b("ϤƷ%WQ(W3G)5pҷ^Tҥ1{jD&0M?Kq:sRc(*U/ovEMt 8YTُ OVQ9v *7@̚ƊX2q}x=tep̮.)̾rJ8o/OÉwbMʙYc++'he2Rw6z$FcPEVPcF\V|Q&fxրڛ`%#󞔞j_Er{v{"ˡH-vK=X ·x~c,R/Q\ͦT<K63Ps{RwŔ8ƽL-V,;5O|#au j(n񾂙8i/v--Q#:1wv'pM>e(rC;c\_AЎ+Ze=i_5׽YzΪ5SjOE# x f|6/ Fo̸x*,|݁\94EɎmm׋@ajBY`r^}4UW+cEΘьAw1lT^_;fR*{z ~I[0{!?jʖ;;<@9F%˴6$-"$`ajʹd Dq !5Nf]:q\I$]lJ_Oi|C`P*dzxS}JIERӏޭ+xy%ŖawrIrR`OX} )j/`WWes,$Y0"=Xn+ﶞL;? }Tef,xw(Z9V]~Xu.Kyfx*-_#M⬽[,-K|[E4ֆ]l5;XkN_M(G|xO*tad)IŁ1bT 0 y?5G+ HxZ5Cch3<$Mt+YY/0ITXV`&կ VҵgBDzqϪw*Blx+R>c4j/&]& ' ;qP;mO^yHWݵD[[nk;w^fVU]AoD lhݽ;uY*nPѨB:}k{ah8f=ᬞ9ɦ 33*đ2 aQ`Px%_ jz+k°Q U:&?8H1X-^7VyOxd,alS`SY@V1ܿ .1 ^[@-wd).)7c'T:D%2 d[-erM#VRmMߍƑZ &K6aPpToc8H<V~֎p/ UK ?h]JtvNj3' "?N2٪=@p $I^(] ۊo)`0#~>mW_Y}vՉ:NPpɟ16yHD@Gwճ{YPAU5' n }55FB4f %u#~W]Ide3s}%^䉄ʌb3z]+%18kpsd{WB4"zuSK'OG2m[zqv˲JA2j͌I!NʗYc_GÔ 1Vt05Bo?U/ *4_R=9jΫ|+kI" )>hB@rr<8#Jΰ'JGFSŪ! {CdҼ)KYUsƜvCӪ1U)[ԝ2{ $,Zh}j VMhEXe^ r͢}eq j ۸xE>1ُK -wpr˥+mx 7SP lڦg tε@a)$ V+ʌ]`zDj#-sc[} x3,mFW0SL6;44zp02MB.(&AJ8tEKҼ&ۏw Fu2|-~tBOMVgfRtⱼ8,?[ d[kbFhtF&Qk_dk$0'ڵ `ELb@m*-NdI+rgp.^H <':Cz˯2kr"ӄFhMR;a< p.؝^fT*`/JfD/*x}DuSDQjU*=מ ި'1zG78u"s/F!C0>I{CmĒ.-^%|I +xem_Y" Ս"`TbQ&7AӟzBRv;JK 떚%+hmJ3<@I:WU]~qֈC;9266~}o4{,ZYk׃dRARH,4YAi#`Nه fD7 -uyډ 3jQ5btzFeq]㙔L?J̤n)D|>96nFAabm-N V(cߣɱI2EM7W crB~31!"5ڳ}LptM:|3r$7#Rsҵ)lVXHk\_;洰.QgVHAzmvgeE/>G+վP&JWJƟ4FJ:'yYՄhP̒u6P|rӃM+ӂqsU9ۨJZL;X@ۡL,)組؇n@͍n2A6t;yjyA([/![q{@ԛz Fi-oY$>Vȓ7"z1biR+F=K {/*x1\# #Փ]{JY'*ƔCiv=3؉+[AOm)xOi-yS_QGy<? /xI "bZKh46[ NM5|Q3ی)+[+*暃y8S IhℏsQ¾Ĉmr˞y^  \'c4CE?cBʾ~rbfS̪O& {sf!B\f(YxV.h]obhE8MwtE?\2Xq="uXaRs*z@ծz.%J l1v,6G̀}7j"5x;`&NHYJ>k Ǚ\5UD.@OB$ VNb0u[BNO'[\Vzoz_%qr.%?b)$eO:<\WN\;oW +bkXvxdRia\­2UY;ƎiPBؐZDgJ9LH$qhZD$DFUR mE5|j-2rԊ/vT;@GObۙtGm$kg8;GM ,F4?(8yN|ތ%kij]"F<BP5WvZ3G˾H]~bUQt}P/v췙|.bCWsbp|zטV[BG]1c\ U3M'%nc_lpa5Mbms\N lM=eg;j}@,rY&Rk6[q6T/,NYq)v %!WGyC)A'Ũj$i 1ZACG+0:x[,WZDd ;䶴 X*m"XbɝH_6dQKyOA 򨹢ul &H9tLu|Wu}(=:'f1_Xxa ؊*mkEk6Qk6M/Ek`Eo.o(3$MG৽/ϡH|܌ X$ 3Q{)`! ҋ~s [u~K{i~̹ຍ;nEz/dKXmԿXb?6.w.eGJҰ(ϩ=`%WԲ_MfzD%l?Av(]_n NNSnSQ YYG~~Ɲp4bRF]\swS3KV) 3Uh=&zU l{#5610|hE i"bIz*"QPT- '-ޑ9pxaeHeaya9WE-A+~`V<~+Meyjp9cUQǐQd#uZuP&wl 7yf:}'qM nW{B5^{џU䇷6/EWc0Wd~A|69n=jVj\Rl m 0q(㭭eOqi,: im# چKf3j.. \|4QS;&a*C-;u7!KR hrS)E-ŊWX}كw@HvCU1-G6y{vUF.)D3WeXz΃t➮ΐc:}V&ur֞jߠ1/o,%Y{~tlEِZJ -qId*vRgI#a Av2`)NpQ3$0z[TƦ6ν$a$FCW[?5.lbB[|+G3ޜc. 4ˉx2[MzOdC^i;ܧsWCX]#!KcbrSj!B-6+u} D\9:aKҮΔv|L:7qqu, 隬l!p\o!a\ k>?eK1@9V̚ܦw-wƀvs!-j[yˮ|%YMIc <=7"H[ben/;P)wRV"h"ID)890TeR)``L| ,ckn I4XG{=k/x.O :o|(yg~pSJ=JV8R<ƘS%uњ\i{w4jzXr.w2+显5DƣU`?tL^fr8&r4[l қȺMncr\LgIKueH EKO8]”'h2\[PQFr\fr% ziӳþLlQ[V͘Tr-|"qq a ;77=OTO՜´rR)BC!9T8fá= Ni{ 35i~B]<Gpr)@?FWW*b=zh1wmC/y;wF":"mY,U$^bL4O)G\LsH*eJu %q`b$CfsH]8N]F2#% o;aebi סA.T&r^z6 x*2oxn5n;+Ao ]C~E0-qN%A Byc4Z.\]S[ƺ̊ ywB]DJh# ބ?3n 0\2! *:/QZGC?f7$>|| @KIBn6j'rit { fR<8\g؏3$1l3dJva f0/+rRyYX=JBbm)}"\D}ݬ>J"絙CFj~%f//f(:sφ&)xwȶ"U 7g2GO%0fj޹OGcSW9~qᆪxB05xB6ci. 7ci&bmfEg-"YAh:EcBS*Hu Ƶ)kQ0A`Bci@}ѻ|dpH ɉ y3#dgjc_dpLͫ`֊/L!U} \y9猧a:۠WQdܫ/5$ ltKlÇϹS!_UpH?&}3Bȣ qIDDb mI>?md$g牽H~lao2{:.t_P~evӊI@$`_x!<3O/@ϊqr3?oטk=i_*U'ە'dW:"7/+0UjZ/HrS,M"6 #I0%UBQ\ âWI2oss+32;{@& _v'EdshZ{@@Kfm)HiMs弡UBc3lT?I6~; $c܁b ]{YTmsbT,&y u_§i[Rdlf2,Է:]sB3P 6TPSA0C8dQ'w?"5{Hc4T`mXFa3/l1|b?#9Ѡ<^`oҟ5#6_&^j хWJpǹb.-jdN2NwpT&?$ E( GR;&4am)ظQ %œX J>"i4^SGwO7ءߧgYʴT ~ňj_ '8=L*No z8hJt]M^)/(01=õF/,r (PbPrLfҺ]Zs) jkz6P[50-M!qc=P ]SDC OTk6MSXY.Rhm:Yzh%F9zqPn_ qh Ϳ=Δ0o鹦N%M(sȲA.|I*Z"+"\ s>H| ǁKƪZz!SV" 'np Nq A3?J4/%Ϩ5gKͺR )T658<\ZII'iy癀iakʿ>/ Jս@#Mn@˶mG#h@\~!=(aW_V,+Z^%x3@td+ϱPE4qFg@~{=nGGP8r]~zD ̙ ojr q毇5X%4@ u݉R o'nx4췽D+5B zl< E +4P8 0Cg4l4gBgJ@무ZVL.ŚXӫUJ]f_ >-S{x`k̸_Ko-anh0/#~Qc8hlXa >ZLa=Y:P>ȞΆ u⠚AGY Jꌊ<>wQ.ei'܉qbγPX.J4?L"m /P I~wlmO> k޽"u ]e7CPV>k{x{QqL O bwzJe-#ºf ?wwfak;I󅁑h#:d tږ3kFCfou99uߠ 7j~5+D-†qKk .jǑq5:22>w OןD2$;rB Q, G`&s<*dQmKO+4{3u!I]QB! zуR0Pa6J(U_*mu{@μ^d.;2<4⠢x+J 2u/T5È9/G-Y 24FdG.2#_Um]ɾmvr"[pFԂ WuIk*vfIZ7ZڜKgL_mok _وtq\RYИٱU^&ZⵇLWsV]>|!lnh#G<&Sh |JuZ#zl ϳeb#oaP.#vqqj9uD4WYt}%e cZ~l;#;5tOS&FAe4؆LbXHl滋ǭ72iύ258{+ oSJ)z gUӹAޮ}b0#<oew]J!=89lW< “RdWBHO;O`D_^/yH?ʮefSyZ~r$yrxM },3澖ǘp's x8LCfif EMdE>gVkF&<)3]y=\M@Kj߱vr3+mA,]WXb'Weʗ _ rVs*ڊ7Wh&DŽ BB?_vM80ICn)f.t5pUT_ l:ŋo4~~cj͘ɷk;zP-?4}O7JkH<$%@!fJ8xɺZR6h0[z SH}}1]8 CaTk|μk5-w<&9Gf-iaV93 OlxU)B]v@&YG*D$ 3x\|Um//L [ʂޒ/zjW,H5ZO iqnbbFXaLC^Y&-Ƙv6=$ q Ψ?bi w3^GO{@ټȝM*fjl6׼ 5 ?*nel'BKƟ<^ѬysK6Iho -Oɍz73 V?&t瑍8Kܝ  ~p=;߽!|ΧJQvq.g͗7Ւ|ŝݙ~ 93rdOMq*z8oh\$)@a}%̟jZ{ HC $`$);{HYJuBlѓ Ӎm8 ya r>Sɷ،)Y m)J_ ϕN[͓cX{TOg!ȰhϚFt)&v=h.AU:߈̟Sa[ 1Xp !Pi"%(?V[!i*Ϗ8XƎ37Fw2h+\=:_L55hp 4);Y ?hǷo3 jĺ *]Ps" b0@`I4(F8Ie,J.SHjDM]XM\,b+"dlz1˄-L =Sۊ)A,|L&қ؃e; 9yE&Hn54s'A3XO&W5`J8=ٌ`XH?VP4Z5]pwY *?qLFE ^xwm&ѐ}D sjMXwB=3Ti,^P\Ikdh O#?T'B{ LLޚmG0|Kpʾ5/Bb 8YzTdw3j]w\j`*ъ =/x0ho"3pqUay2=:FBqMן۰@ۃB 7?XT>f\inf 1(A|T9h?qmzY?۲V٢vr':.XXn%)F4P$(4? tqޟcQ6l-bo"V My-@~u*c N XDnv%*9֒8??vn .[L<ƨw[Q:ܘBRr}.`[0e~[.bV2r H&++@@g|OQJ sT|7 UNSelld"ّ/%`-l+rqLWnQ\54 d,?K&F1,.,ߘ1h/Զͫ7r`x/q8gYZ T- 7S# HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$ Lp 1Ҍ-kŕksG8}+3B a~}B "ކ0;,ysP JcH6S8X9؞v4?8%?y9L*(Yn2# wV[sYr 2#'s wVWa |-(1>] s49K+=8QB\ȐxH6Hi^/\vHÿ+~ps/F{gаTe:0j %*GXrPţo&o␝JQ]\O-E1^9;lْdحfǯ{RG@e#d8/lA*'0mǔrxOHo<3\}M'K2xVbl;8KP!$OWR,nrI\"ÕN!}}{4V)Zxz)$H)F#/CM!NTŴrQ*. (81WfIR)8̸>8ݦ\uRii3h[ %X$bŽڼ1VNnۓyU_#Wk%UFj\ us[(?QdB;6# 4XhP= 6?iv$߹7/^_W̆,gg& Joht iռ)s/T=miWz#,`m]5g"c$0?zL+1FBne:s9XQ=: ˓fIZ9E4P^Q@mVOBzz9vriW?2O9crנ t1Bò5蓦 Lj!&`Zh I.o-G]-ᜉ_ITHI.]Z6)pXì2r"!|@#b!ׇd"C l̯vFn53v).or~>o0]{D_@˵2p[^s8U KA5OtNv3COR2k $IER ꪓyd&qȼ:;2iq!DtSO8N.k -urAdQO-G go@rmz~}EM8xl{׮MH3!S`0*aLGެ>'&H3%“m}kF7}M%Q NĶ, ?5!-z&]8l[Xr]R!Mn8hBwanKЀ=fIu8uX>!гA.BJ(uԧŮH~8r0=Ьzw{m^5a'K8<|"2]ghBb 9Kv.-52uz958V\jتx:hSB \ E5ZxfDzkaK$6#Tl91Y iNZ L!Jު% #ULsOmrm!d'  q4jEo:󡒁)&ՓA ":w@ p$#_?% ʵ/%;P:vҁDAQz~-2 7Z1/^| $ZLY{ehQeYa)Zmh \wS1gE-r*&YpJ%7]`uݎomO:'$oG!g$SXLI ؑY{5Wiv2yS -X=~ML{O)M{)R3퉏5w>]2`G x|@|m?m=2/zda*:Vlcdj|`*AeH˛)1;hCdhh:E4nO0J_o}***ix./szarLEEZfYGS?q[0V )4+W**+ki%f('|5{ Ay}_G΁7뽼~28>7,g$advoxZtr=Tl=zգ;rx~sJճzU^&e~߿(K?~3n (sk"2z%9npK'eB,XBQ&v2oLG]ѳYtoE, s٨I߉8 .+jm:zE$/cV__\wX@i= Apf=pq:X誯>BBPb^y<ŕ  -OHf ,UY.ɳow4fAkMlh\8OOO+i")=e.2XI=)}R.p>]q̾h0B@i>v[|cTi◷}g=?wzEE5hZO/;TW^8HVZx h ;H,C^@ ֝Z}~JvRI4\Y'YpKES^d#7TXj2fks ޟYQ2LV;1]rHP #Pkd%7מ<@uOMUKp2l"ֲ㶼-oe5Mvޠ-{_w:`=C&c{j=z.gT$^Aν@t0DC6p9r{eN2h,.6/oBhiY)-50y6_̜ %)gJb8>\OR.^nK" +2zZнowZS s8(5MR`.ˎի"̸aYdO@ܶVwC˪6wQeIBNY%6$4 <3X#T!R'0%u>ٺ xqkעI0yl; N)y^Z+Ab&M m70LFO}?F(&G水T/]=!p*WmN׼ 㵜#h)EB'JA/CiӨ;TS-H+gMD"p#,>E gYZ>Oڥ퐘2͎?sG9:5A?mh[$h' 7'Sf<.(w.7/M%ӷmdyg_1k>io',&Wf).b[\^I$10fȨG]:@ oo!opNPIj)6k_t,Vfu.e9fn;\bH.3oR%1b+ܴ;Ly&2ؼbe3=iZl e0?WWWm@XN{X%0>I0p>tU抎PY%$S D6"]kt8@\5e-"&YZjq%'"TBBݬ;DNrjWz`[<3t2#Aň9XQgUSmOWeo Gqc|Q_y\H3Uë\::b2g^&8mG MU)q!,'Bǫ _S;ɿeZS_>HՊ19hn3$ME kJۢC'y~ "(%įm2-+z[/ξP 7ɳQ@C7}y+㝂j)XLa9D)T;?#A/edxq'0/eDb|7G ++(KiDZXܟ̠[Tsndhݟa0[.hDyq,RC4OWU"1I$ԘoySfEݬHkVL޲~/\ Zq+k:"{Ԓူ9uLd浼Ovcbl^3yu&ߏY4f70܈8"Q9؉>(qxj-qx~0;:ݶ~1ŗ`w11QXc,HTXn%SBU7l'Ĕ t>+Y聤Ylp5|DmiWt*)V@ԭ7: clCdS xؒTFCbF'4FOxb?i9^" :3 ZloHJ DFj!*᪶_vz=,mff$lڇ&"MMJTKlJ!/=]* 6\%f3`o!U@M(Zex@SJK@Ow Lֆ!N"8 il>4_ mr::n9NȒ.xsqAFh'"< oq1M~14cq)J 4m>L;m F=Ď e5n\fHa 3~l_µ֩s8r۩'ҹ27T^x 0L9#_o-痂PjSz;lۻFn\VA˱3"t3~Ȣ=$d37w}v- 5©( _Pjq@6să=jtAɠws;v 5iҜoGQy]kRe 6SǣPMG8™ooC7@iW O9Ќk-V)LkFG*@zT4/C G, r~'R? f:qeÎvh mXj}Gc[ :nW6bv g'ϒ4g瀈_Pmh.q?'78#Zm7nLGqӰ_*`2XܠPB$1hoKS{ɴ-%R0F>vᲰ;!!U`Դ%:S/DM FX/SniPwTMhҘW0PM6yQU;C0 !:>~?\_U g ]*Ept\¤oq;>1Ϩσ UZd6|0x?4}4pk*7tEg8];ʱm,kkiNXDS%hC@|EyC <;}-7[FKE+1Yf~s3ai8): )gYZ //F17a# tHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup7zXZִF! gc4]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5t_٧ mĵUK=n^u@sKQ% +:OHMď曤/Ld0eu `J:) 10>NH67|˸: Лz~!BsՌ<4rcMzkh=Wt yit(Q:k'lSva><2GE[D].WYۂY)uzNBk;S 3eLԲ;)0ȚS= $U糇̎C|WfJlPz&~Ɩ^5l7Tb>/XdWu$蓎VH &@>v)+u 1rXx= (V!o2@OY|O["qfn!cC;ZNTLUܜ` ={_}j I£F5Ѫ|ZCšoc cN5^Zѻ ٶYFEѲrPCp25=Àui}a]fs)IK&ۊ#l*!ϭ ('-x GR)Bx'4z^ ajm͆/0mz_`-ySؗj[" $9U-cA~U-~ٻc-Z#5]H[*oJ:rmO0)Y>WoQ!d;aI !+ ч$<(Լ;/eH#PZ9Hc$uJzq, ץB:6 j[$M"MDkO§VSOc;Q#+VC!lR+O5%~ڭG)dy] {?تԖجh ,HُVF&*w(p5AG?";lLؕwq]"G]%,getoޛ&nVWGT02x&6+,iFdT3ㄆ]]yKv#49u* Ņ_ SB`+Ym3h^Ëc:DoHcqbS ROUwLRb:llA@qgP V`ۜ3fbUy eiκ97x-D/ 㦨c[ܫX\F~kJ,{[')qAr0 C"/ݱqY&<|ɞ:yޓSD.hSq:E*Bk2lY UxB$Z|P ETpaZ춷R#4gنZk1Vqg<>ږv_ ^N[ q# `|g:cԘ”`1rN?Tڸ'{"zCd9ڊ_:PH4ZX@ qΡbYhH9\PpRb[ q`tϪ3df8br "lCRXSqHk0oh/_WY.+{͒@yRqK~?[zXztM qE,ԑg/0yI-8Owؚ ӗi$QWCU:Pl09IhCa ^&,T/0!@22nLJXKr;g~ +ձQ*x;uƨ]|4~J_r{i5@C-&fcA cD,D/A짲Bh$]:hZ=;Hg8( {|EfY?'$uݧ* w$5.Dz{Ak Rl&2P>:crK'm64H'k^8@,bwqQ~)-)t.C^ˑ2(;j!S[p~e Xjz⨇L[!TZV'~?m@Q'2iB;504 x8NoAo1M :S_lqD5ěaćIit'A.媕ʠdP #L]qʰ.04YKt$g-PD{@G~v _5懍yGcrl[w/vPByA ]u9V!k^Q3劅*>8LE} nZU {{nlM%>>طAYR6!eDt5|P9[Աgʧܔ ґ9S i msGzaULcGn@cgWg7?a|IeX쭭!U 9o!gd#[iجoWD'7q@A n5O&qq^LOXQݴ[XqNhGBtc[fR 7GpYdd/?]"Pi%?sp_ E@O U])c^5BL4J1,{pv%ڸ ԥjq|2ᮃ(8MRR?zaBGA< o4O3E5@ ~p82uJ1\t%z1*{z(EO<˙'QlFaYO>>U MqUNw׉+P,w|'a*vWSdʹSCspcY2keD6l^TZr"x6 [ 6[xh'L7``͡k (9^sDƐiJaqr#(^qxvC!>yTy]ͪ$)aAiNbIIQKT}/Kot& Ŷ1kݬ\s qM  Y .57I# \HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup7zXZִF! V %]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5 aye)#9W&,}sLm/v'D)Ԁ AZda'Q&DX6C:I."ouߊԺZ`0Ǒ^oP&QO8O9)?crJ&1iUvmSMHm'@B3p/S%)tuT^~:6D-r^뗀zS2М9^V0]_Tј@E(]3(iG%Iȹ4w&ջJ#⇚L)8&"P,7+ 0`&4#粫m$*r} ]&)n٭xd(y;ΤnHdßcrcTc_~p~T-q3>,ѧ}{A޲3<J%}pxt1AʯO*A~ZnjaB|Ju[gr)b4mU`/f`J#"|2+R̢ m}t}HvtY2w:gR@g-hq+Je>Ī6m4z' ZTs-VS"KoD}DUl/Q*HSAӼMsQg|Hо\}Ip+m Lfw-N@4. W 5g/N^1z5]BFN83+})'?y37c|t…hdӼȘ?1ABq{q3*%R~t~^`(4uO/cJRǾ2yab,?1ռ3(QDBbir~Up,; jQ00ߚ<`N^A[ o« ֊'vtF6aXm$yixyz\IQcs:T2;?j_fPa'j5*Δ(,o"td3fx[cx7\&T^}RJEhxI'ObƳ,l0C76ך$zC3ˍlt#"r*yHo]k5.x|B+i0THzgd(4̍WouІ%N&)NxUOhK 6TĖ* ؽALׇImđΦ(hj%+UEQЊ+i:lRl@~tŬXeQWZ߇ fj;ip[JZGp ijE '| F^yc# \hMy$l@7v@9^ǖe&r')]`Bjڂ1&pfCvl)mtB<} 4Z^psVXJ`֎}=k,sx*o/qqjf}ke0S؆׌eLP%݋6\o3F[3@D㎝掸A#  Q(F4(,N #8 #gyvh@,Nq* wb^-\&4fd$o@F}![qK_ණa^55ܗXBȣ5:'<\hjSV+s\|^KAtb$Dup Md/w)s-@QcK]%ή_J]~ r,^ο&>րL{#J]^Gv`q>0hӈa$&IUWj^҂[Y40A,Ef,* $X t'e.j |csK9PWpY 6SzIkT#O5`%]70S&9$nIȊhCCLTeʰyĤ$Gg偄<v^J;x_9#ݔAD? ,>ŵ;ǝ> ;g1+K5~Ս&wfΜ+c*e Y'fL#ؿypjH 6 6DQBG;Y|h). QAnus=MxӦ7=K-R(rOW׬r\ngVߝ=j hfq%%>A/5h"6,m8y[QQdl^n[SL~̩VZLb?#DZgYZm47I!^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\?_G8eYM֡<~5mfo$ozF !?8|T<&q8d+%hHp&OD}%etoeh;\6D5+1Cݓɬ^) @kBC1+Єք>pԏ1s1t. -2 c|Bjڬ_ ; i&{dOPOHb'XfwِnwB2S5PKXjJ rQ\&rGף:}c<٬0j+GwRո yXwQ١{i%{ۋˆĚ˹e טy]k<05gP(e"{rQ~/x[I'K꼡@M ~QEr$xoQ啫{A D_Ihp| ݉]݌:C!WMiz#`,9_Cb縪wRK|y\B#:bgB13)Ti P Lkm!F.* JӀAHH);fZ.ĥ|YsOۺ[ L]$?CR5hj5$HT+2^:J.nb}-'B-Qb^V'"v Cjpdu)ƎpjӛcxHLoYE>Eb8ÒFL \/KG%ݍ cLL _VWiX `C&|9=ڔћԂu>F-If5 htǦv]er[GtUmF]`,*CnFHV=Z璟J}6YFSYx$a'jW KO]1M FjrQk]@?ߐ̳08l`IG+>_׻A J^KE_+>C;mUawxh T3KWFoMx=)f{6[/|)`j [Nʼn+泹 ~)wënΞQ^z!}e#@=FӹQQY%L@.>6`텤rӟke2:/z qUԿ'0eA%6vhh&KwF& G`oV=Mj&y)ydxv>NO1*r- \ vGS+f)vA$ϯ6+@N[-$E|X[ Z 6R@ ~\MNxA$)9s4ך {R Ǜ4pu坹<+e#,'X@Sًfo)ِ Pߟ @Cw2^S8KbCOĵWy5DVx2q$f;MjXO +Qu_Ⱥ9 on0]vM %oN51o6 zMίͦ^{aq(R-0QrE?+x_ᤲF [og9L}{9!1~j ċ] }UlQ@+w+vu^]4tyUa`I*xTTRٓF9zy_EA"T˙KSfWEatZ): ChiZXJ9Q0Eqar|by9Jߓ4{֍2)$ W-^Jȋ KɏW`AUd3a,Fo[ ]r9Fl `|.8$Ί'+'Y sVR;]"* iMGoc(ω@t},Cܬno ͢zzʨtBbntsf.<)z$; Vy<K/` 1 ءV="|dy/ƉedP 5Ģ.DPAJjtUf"YCF .qjmZ!4 G|ȑvt (5pϘ!™\bc'^-QI8i1!@Q8bIX7nh55l*a& f8gp\t//p3m\>Ly?C^oogc#5a2=d&pa/"BVMz8 Go _%JK/Au= 3ZD>'hGwlm]Nqoa 78ՠQ{0Cp`N uLk߂N,`QEj?,2% S853큋}q]>م<?VXK|ᅫu[=] haD5@+ n+-FRc{sgyeWnh %-A|g{(ɚĠ73 nK=WB$\Irc}+3F: 4(D̅ ,m9b=%Ϝ$J7 $;RƦ}!\2*[,gYZTQwj*J?`T<7FGULvKwoGya򲞒7Lf ç?TG1 J^vtn#ݟ1;-l%K 3>;]hss/IVxhQ=q)MIҙ$_)/U+f:!+T^:a,Ǧ%.n(Մћz#C* RqtPn뉼 MO'a jC$E͹sȉI u x>y_D$w6=HCѱ{T-  ֋۪ϐo-ySDFNMlj.iȠD2';c#)wFNɛ\'3NJǎ3 3g+THUDuÆqxLr 9$̷(^E9NFbOQkMDYeaă霶M_y-Fwm>X{&}dg=856hiB`\ܛ_ˍѧ˂Y&F-qy$S.C%*uz-Yw86:h$pbqQu( 7 h=GV4m 5ڨ+{IՔ(!&z•lMk[<9eyeƷIo*5|?=6 =`\I)*M.jpZ ?pdBn[wK:tv84a}W(b!FHm mZ^WIܶTI6Ê@(0yC&.* mVyjZԿ# 3oLAMysc}:CرGC>%X)|x9 }qwRlO~D&hW+^x,٠ ^o>r"JL ͛ ,rA,L^bZRٔʥ5n1,s9ꃟ{9͟GQP UY (ߨOju-7ܿ `RTHZV_xhQÏ]W ^+Fx2*gޕiD:u"[(4box)5ӦjY<'DyA5Noyc^ުA-Gv4"cν蜾 [ūȱŌλڄ\`'}< K:Զ<"c@moWL!qi+뀷}35|2sh݁Y"G~fwfͰ6g.T4{_xZAc&nbuhkѡ`)G\b9uJi-PDH޼e9rb.oyhSP}8%ڶoU!k02Wn!Io LȀ #ׅ, 9(moExײ d-=qA0T3}j]=Z\ZcvYiNlդ黚_F qo a-|h/9}YI[.a~:&Y]3d{+.i,h3^l<#ôkT.MOrG6xKGqX'u~iiK og,{Qm1ڢ&M(qvJ2 IfٽAvk+:vʯՇbJ/wo | bjn!p*erwQf}0(-c+ =E#TtBjGKgɨuOXXND"Uզ8<@u/ēkZMoq L!UɈSE/R)wI7uϙYh9+UWhtb.Jjtx隰HY|q'm4El-Z{PiR B*#AT`H41q1o" 7BWr-w Oetֶ'7J/maؑm'WsY[Tj>:qJA(84V(gskrE:k$yapm[-.L"g2N?;~02&9ыw=^PCM:C(EpZ 39,b~8JL{o=o Q Q91ӊlD`Wr(taW8fҐSdZAiT}D/#ׯֹ: \>3r>7,n 8Au06-]Pvh\E6Fř J' 7MUz [ m@el ʅ*u|xRXh̎ 7g~ı!uS`3h}^_`hzHzN.KѻI }bܿXyh= `2"OO^{1 $x4[0q&ܾf!ZwUdU}MZT$C9KQYy=Oې9c(fZLHXbs#v.-f:h|Jg;Hn;@* {. ,56u%VJKW h&0G;YREo2Dvf9vJa/%튟102bp/yWj>ib[{p>WR 3i-59Im:$=1ŲH|؅*|t*桖IyeIo{2<2*R :i8eKlRgIZU"ǧ:,PP?696gTk B$#JH|"T x6uB{;`N=(vIR`~ūH* tK>@FUq r9KCE/6 wOrjOI"7A\Lk7pх+ aP+.H&Xݔ0_*U(o<(Xnx}Po2[qŠ*حο+(vK,}8)@ L`+2%N5 <7`-db @TI/dHఄ|pm޻b Mhl!8_zb+A9?,iL B;Pw;ǧB#mSf=Štu}TX9!ũ]Rl}Xxs}fx*xy>QDq' *2jlņI940i)W8`…GW-4#ZhR 6 :h'`r She)kԭUm\Qb" w@0C! v-ҾvT,6 Z<௓:Cf} 9qtho$Tk/MEh/,FLxҮNOup6 c1)3LJANNiBT`Mn:JB1]q508H4fj?#٥7 |.I,a˰~k6鿚ڀA@g[QI/fuB'/q5@>"*{8PbZ x l2:x$p"B{1Vas} 7{=zZO:x 5b "ӡNPYZ`CzІpkX :ġ6}ſM`R[U YVB!S@hL+C|",.!9yjot6!ꗼ$Ayv]?x4'V: }c!YD%ʷh*Tu{wJI+Eda-Ex4|Khp 3Gva茒(/WBkuF9.EZ*P} Xh/Ft˘QOIxVAk"f1:(=Ӣb3a5,3m)Ӄ)0J'V$h z9˜f]#1.7.d56%)Z¹ KW ; X#N(ڏbg 5T3גR:;bi*b&@}Z[ar8j:uUEv$7ޙ*7R=eθŒ9obHj k挱_ N51CBB g:S &bkDȮcH$TŶc_Ҧ1xtS -rnS<>䐓P/[\6 û+&ϛwb?xǩ|ůSx}..a_^va=[yhi*h5(5FWx ifڧ#;=.m>b$0*,Lu4B99DW.gbZ|z? q{D<5b߱1gZWTw @"UǦo+UfT^1Q3G7|2?NG[!^cgaY[^ˡo{۰bXgU?gB;GӪ;%י)Ʀ IIkJWo 48c b\y*k|q9 {"[U Z,/DBex6GWfϢ^EN=O|&Ȁ 3'نNհISE ᭸m>5Cfqe*{hl$6\O7TWObhޛ_ŔB]i*l4x#%#*v5hO>> !F1ʾ KnHofp ؔώ(]./T}?ZUIUC1*g:}.ul-q)޹vL& HUSt@j`AkM*f,Kcea> Fbn]0 ^]G ϖE)P.V#bmL\-9}5wytDW^O:- "6fRV7ǶT@!vVHwk8%>+evNe9掶?m/%ɀÍ7?,u ,vzh"Z$gO5I)q;Q@Q}u &:t/(K )5>C 7q/At@O0Q7`O!.|S@U/2@3n^Vp/̑ZtTkX8:W:ݼF0pHtS&_IYU0;)5K*ha d_Sw?bI潉/W-@cʫ?u ;d/gmTz:tB#ɨyBYb=y[XiΨX>A_!!i5Gi/|fFC]1\ƛwClya;4h~P0//8ăڷ9}^\ qazP%J0h&NEYԠ(d%pN9R@Kd }mj_mL:1uŵ?"ޭ7CX"VTDzrSJf/·~*9DZgC6J)@LQ,Aϗ