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 m7tT ]% HOL-Quotient_Examples:threads=6elapsed=25.585cpu=40.712gc=1.9287zXZִF! c]ŗXiɟ=QzX)qFCkW*g_˴A(Ok| ϗ]1 7n(h <M׺\ GE>ڌ(,kU'&Ϊ6sDbgѵr;^fgCaM"DPPlg;ϔ=QY42-gK0ӖJV3FE'Bo_g\kwvF w[x2tehfr5&hb/HՓb!T @~K9;<%]WMVz)^. 8L)- 6NxbeE:z*/gYZ7zXZִF! ]ŗXiɟ1TgsC2MpRP rq!ݖeuh-) wɺD`<"9v#JHdbRKdI.%xi@medF!5BX^ŒSV?^=6-x(##^[qD~ZŎN=H NT(~ᦶWX5`AԿ/q]%\wb(BgYZ7zXZִF! ~]ŗXi%>PƳuеGނm {䵖2EκgᕂT?eP0?O!Iŷ6ZkힰH:X88>؆;a*pg\o?,dfσ '؏<9F:J Qr=V(t^׆]HLK {& P G?oN0#2Mg-9ӑ8>KY$JJMH$'yį I \Akxtcʡmyb?^Xc2؎j:]U;:͸}$z *g4=:w ^?K0`~PAdi*u~G@b~-?@Yy,)!G*Y~EMs 7:s4VװϨ GED=;vˆ~k?wڻ6뵘Nco2iHs ]BAډN&WɵG6J6C<qʳj4e>v`i) ^%j#vR:vj!%{<H#luCVKɿb863;Zql/-crpG*_c ?X'.uHbtA5B{Rq27>YQ|4g5(A'6$,FIn FpGC<ִ3+" 9 l!ت.8 ]\M,$'lr`Bǜ1I@:',TRvrDjd5[{E# Iɍ/[ [xy-J(ۃs,Pgܴh߭kS,ʱT+E0P#w|n&,E"r7nspH??3Qlg%Z $NCm W~>xR.P&sz:% y8鉂ru R&RXoh_q(Бx;s@u1Ǧ&#~;jZtDk.0٥hy$~RqSDX:fRaJ5Ѹd_񽳷Ly"J1nl}VJ1 fdwE΍Nυ 2H=%Q2 rspĝ9|'BaޘR˲Xuf*A}FIXkC*Xr_3* nf?)tJ=s \p"l:NK? zv ig(qc(|Ӡ{`#Wr(F[b(7U"~K;ĠgP+JQG`}^nQbf jĸECuQ$fRpl3uYğ]94Hz9PgYZ448e1fb9329a48c5ef9537f027d7640909d3e8c5f5c535eb8e289f9179f2cd93b57b66300861cb0f a3bcb999b7efcff01c5d291a88ce943b9de5e75d 725e6e9447fed785c1c7d5cf3badca9aa796c484 035bc0d414c649a646b00a17071c3e295cf65bf0 ead6bb7c25cb16930b27b6c6339fc84cffa8f490 7 HOL-Quotient_ExamplesU^7I# kyeF9-6=X/~B~-5FO ʼn/naO7؄)dP *Io4 DR"ż^'<5793.B*F jWN|_R|YBW0ȵ@F+J[9egYZ7M' |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 gYZ7K% 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/ JUR9O5N1L0K-A,>(=$;!:7610., ' & $ !  Q $ i q N   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.MLH7M'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListcode/dliPG7I)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  m h^7I# kyeF9-6=X/~B~-5FO ʼn/naO7؄)dP *Io4 DR"ż^'<5793.B*F jWN|_R|YBW0ȵ@F+J[9egYZ7M' |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 gYZ7K% 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 +{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-l ICǞ٪ߵ WYP8ޔޒR|+ޠdϒE~Bңbڏ /h mU#TORG& Hpτp~fP!}p/ΝpQ{lv63$ɼ5s1 53?uJUmkc(нCZkr>T%%]R+ڨ[eIo+((gP|]%Σ\hbUJ6cޠtϒ%7/mHZW- uC,V?SKף<ᶪXj ೝNED2' uteE5szaCŎ[W&}£y/BU"#Gv0E͉8 j%8tca{.v†n9ψke%B6OyD: @v[lw֧vb[=m\SU}'1X/Db2@y#ZwƋ֐[8T{(4DRt76Ć\KMfut5 .f(=Xzm,n2yew'!+h?}\jX8} BMgp:?ɿ]*٬[LS|m;.п#?.!$/4-\TJGt p:bέCϟi{6Y ]f^bqщ6QKbѠ^K~ [*-ӢD칭 D8 %/&[p&[yb>IxAn[&蟍a|6ӥl:cAEwl]YF{4O17-[(Og̝ g)Gݹ\*w[^α>aӹy@$zhaN\ 8.[ʗfܑNǘHq|>~%a6a MϷq\`-)5e jj8NM|Y5 7{:rsTWrAVr)l!_eh_שAx^ H TSР}$AX^%u(G|=FbX,""kFF*k ;BX\̵w†>5nhYѩp7V _q&p$D-K*PuW0ԷfSW=JgY:+ QΖNWYIubCoTai+y(@ q_|`%;ܫ^ O3yNcGYS)>AEdMȣ0<*m t42}jʤ6 nGKfE :jg@2lO=pSơa&W0 `S2\NgB4ov,W,W(?FL(~*FgGI{95':jfnx;t!hFzj,eWI<I^kQ[GbE ؖM/P rs;*Mq؆~)S0zub79߇咊u')GO9^Ԭn<1lBlLS쓛S?Gv%9A/㑌۾5sU] 0uծnAY =_Ŕ 8؅!F]JB66= C %"l?qM~ iq>ά}5ԏ[#(bm?_ÞOA Fbe-n4.M @w\7.8^h|p=~'!px?U#v+IoKƹ@YwG!ޭP2'IJ)0'rAxYL'_<8W#}V89Iʕ},ӫb}|Djc431fBlY|c`1' {rZ\Cbf53VE4.sJϝxk3%[3ԋ矱]UA-K M[5aA'ć+qOxwr4ފUc[LWbW֩ ց`Ht;v3Q !pJ{Ԋ!x4?#^͸v!TÜ',DA:V5w1S&F&ʖ͍dc_Ic[e3WՓcIrmeb|iсxXMEK9La}H5 ُFYYmV0it R3t] jaCQf]iJ}T肠1dIMo@ϗי :s1.xk 9{/Y7pYgYZ NNN7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_id670w7G' lHOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messages7zXZִF! rm]D?7 {?:fH\h40c;vfbCEN/$z8i (L;#v@5`w&TOc C&xU hvH{]}[Z Sщ&">V69}^&8h3xQ?_p_,s7•fi{fBh:p}uV![k7k:40pdIX 5 vywZ惆QZ;ѿOc.;ąuz&i!3![E14Z9͚bMiR6Jz,,.ӭy YprsuzzimeOm)p9e7ܙ=gRsO:Qn"4񉼜[W<3.j 5Dܽ㵄69<{D r9B;Mfr]f[R"nT  : ]$AY2=>6o"gV gx5Τ8\' 6.[|XV,`Jm-ydT~I!Tנ~3R݅B4C z$p8؊3ȡe0QT :c%M HqY`aiJS⛣ZvRl*FgYZ]7G# d٦H{l7 МO{q}Z׼( (f¼_ŽL6 쓒F'e' ;t9a*63N+St.<)4fs3ISM$<%> Lum(ou=y?rhh*yzoޖkjvr)w7)$."6a} }(m458N%RcJPKQ:䴗RZ"# 1~Mjڦ17[Q=ײ!ٔh91ۣGA#YZЅ9qhC?l-U/5GW30FϒQJ$];ۡf@Ō}!fƏBbdC^\*:txpWxy[yw]4([S~/hySI~إ'UgͨmW/[<&C9OuE(i?٬-Df&щl|D[h4dcGҲh~h_x7Zb '߭A2PQd7fut-I8!(%x Zx+˫]ёwL\V,'eGwrh]aLrIBߒXzn_%C{U P$>hmFeB Z9p˼7==hH'թxBz.ܚuuw$tUS-μG/g1-~l۬ɝ+hܛ;JhC lޔ6"bI?#SƆϳkLz9< :!zZ7KAP?4bVHjDv_eIfi* ʬvJ0ؚoqug(T^U{_up˻[ÏUO\i1cpU!iP [+%Hh ,ҏ5$/&LGbVd֓YGI~H.6tJ/T4ҊZ $XBp⥱۱`;#i$} qV0>𩒲i!+1e+jNgZ;\t!{Vnمa]lx(C^8@r6#{G*gI\[V5gr ϑ?).Vde\l`XHs<(q\C*2a[  O,ºzd*j#c_3_ЄI- p`&s¼VjJdhpআ;X*C@AMz$t!b\^O; R+KF Z}?a(S,_ݲYuC[pm`>Cc?ճN&_ $G։[8_.Pgٔ>jY%B^&!=P \~WSD,syOS ڍ} aV{lY~`[9-eEq ?0I76rS Щ5<ͫBAGXHR a"p˯S| JUwK6W%H!^h _~/  p u7Q!fHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/files~~/src/HOL/Quotient_Examples/Quotient_Int.thyQ7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_id6607K' HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messages7zXZִF! ]·Iq n[:|&[z6}nEbR]#~}Նk" 'szke +}iNl)#Q3CvJ#DNn:QSX`u;ˮ ,UP\LMZ1P_Z%Xй/DN)>>-'2m|#={wSr# nwV֋+d޳:+j:]R,IMV&P\ahB@>qcU &aVgYZ 7K# HOL-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؅!nPjd4$ڰc7\'ʷ_D[L5 i_xuRNx iAm'y׾ .#.XAlYSms$Nk(v!-!tO(n}>?V'֫ G%B7 ϙpCMEl:߆>#HqT= m>_b__7OZoQ>.&/Jk9wfA+xV#4bnNwB͚=)?"ঽ\ {c;rlAͼ<]BH&Qt{>@ X/>1^ec}#*z˲wAvy98Fy{B6$d3*ElqPK״z`m9.2o7K!`HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/files~~/src/HOL/Quotient_Examples/Lift_FSet.thy3l sE21_Z1_$L"]-yp~}XV@%x ЍXuen3(eY\l=gbp+d+{OH: h=dJoG^~=+t)|76.UPZJk8%8Kعu={hWmzŊA(OIv4Q *1_sOsa^ mCp^]`*PNе{6|-7Οu8 󯐄LdVz$,qG~%C,c5dsso{y`L;Уqɡjp)U $N&.4DxAˉ⺔zJQVRΡ )(,SּͳMv9S]V)s3"z >`ow!wDYds =HR=d]cY6J)EAHM94 sgQPQ&y3#)wTY-R o<Ċ`Eq̰-WS*-m%\N r**-E.Z#)p<׭ϡNh4iX;0GD/jPF;Jʎ~()JJAkg1Կ154f6!YbfXc4BG!V&ѠRR`a+٧Zœo0ctxҺ!GuY1,"^3~jb(ΟUz"Bpq?:ÄL1P_4XBuL2^@/ޮڋʈCthl[MehIT/=&m",4~"':\tX4O^|e%l^ *Cʯg qǔ^$@a@d^sp ..ezÕ93\(WE8Ex]v.r=`gר+R뺢ze#8KCګծuO(!Un},Ĝv_h3 wj]1O wtM (8Y#9=eYؒkJn֐'=̪aRɳQQJ-}grPg^L CCwHLHa~Sk0oodq5BpeuD/GL8uPqg}[IȅU o`0_=ar &wxeVּ뫌9I-5 aSEv`yTkdi 9]a0,ρgSG?-9D 0~2/u5]ݼ¹L_,wƒk)b=ymF6#io <2 (ͽ_ɈaV]`" T\Fp|OpXBhy_CJF@+a^vmN_[h)IvA YoayNRXQ8>Tn TɰB: ->9O3vǑbXō,bBi`C\N8K:SsM;Pk˫]p( Gr'1=a+9篡ҬܼPcz_+eg?] {WB}#wC:m *F ehR^1 k 6 j9n]hkJ6RXmE݂Tj9\^A&nMe ƞϕAz2()zzXiv UU,@ƍw+E|8ǴwP }XUy<ەamcִ l 3Md+XN]x1٪ KtIX2eIm@qVIrF3sMbnqءbSxee}')ZÉSs(/.콭JC[Hm4|H%MB_ q{hL'覻27b rDNilW˛'n8y ;R_.jjl=OZӰ.,|cTR/;߽ "}uywZ~c#Z9np΅jH0#6lQEt\h$r{ lj fIJSs08PPRCnÆ#Z% %F`-3 sT"%<#KlU.qѤ̟Sꑙ,> hx$k\̘8Đ,F[ x#D䏺U=ܠ'UvvC%;B.6\(T'}]8;[T@;oΫA3{+ U3Wːk8i&mR ȷo4"C V1MLj[Ap4i^ˏ"H&'BeP’@SSjtRſ?Tx9K[_Ha(/a/8i-B4qۓNKx|{OpWzo{rvb}=0H_^\u:b{;|0e NL4|H>d'bEZ^.掷 jˣn k*HHRQh.󁜈dxw}B%,B+) 31RJ*h*o??ie$&2TWiBO/' j⯌8s^TO:߂ >#j47gpdVm45+W+bmh5ĴQC1\mD&_sx_PVZuSkQ^ѝ;* 8Gˆ5@PYhѦh2&eC>BJ?UT|'Z -><JM' Yȟ%:ʞwmhcj/0Nk[aIA{}7^O+hcVbiK5jNO%Τ7\ЂqeS{nM;0Q*B 0fJ03x+b(ԦaXk(}<Ő*D&㵈aen謠\F!;_@zBBRԗqq":0{r `C&Yy+Q[גS󞖺E$]zQWz Vng*o08 לfKe|}э#kJ[.wLU]v(Ž߂" jW8IL7'sϊ47r%i=AҚ $_{HZow7md~ T9 ;Mb@//g'ϾA@$Jzk?A4[u%!z&Oy/S+>>g_B3}w+D]%˖d.}BX`i0`1ARCh=iC)cRR:Jd8EJּ;J^E9 i?9qzuzAtF/8%!c7@[<굽ݏ) B,P|iX_^UZ9ANMoԿDsb6CDHYr'egleԥ"&R,;q/ 4@;@H_>*P?,@l`*p\ N evKZ6.t{F^M7<|XczDK >?oG >w! 41;KiatF[rfAbM^Yy.C-5,#Tva85p/+3P.[:eH]|7du0QRֵpVdQ"Y[8Ϳ$ BF&(?r{pJi[g_qe9.ܛ[Wg%!C4aI7^[/쯢شɝDJIC6Q*bpɋ<P5qh}l5+Ä0v2Mo2,] _{e|lHkӼiاͬă(9ԭ~GR_Y:+U` jeq& L{ȬiMgޜbhF0,d r!=rH;[ jMfuʯIFzm} $ExъkwB&GIu b?HFveau:.@;)glV9uo#.m?ϗe(jXFDgHs`OT^CdSui[witm%ѵ#^uUxGdkfLҰ{`RW[r2ߺ;wk@NQ[J=y2?7" 5JԽ;\{휺A'`AZ҈\BD1пx(ᔼTB(P9= Ȅ-SA;>_o(\4"dkS^ClLbH ;mҮ9 >^դP*!Nkra}OGǥ7F1Α|7?(5xʇVW3I۝>=7@@|0ظabS_ *(/PA KzJًz=gg Ј,W1 XI$g(D.s[yi0dȍ]lk:i}Y|')^B'0hA15R^@`r T܃L*I3;³e3>=bg%1D3e>ѹfxʑmrlTRb^g&J>xmAt2C ґ-rQ_>=aFa oHX_L{O{XPoՄfIAWU1K@4L SvV+u [7坫J7DYO$ul_,FSIOIS&*rte@[)<Ȳy*.HÖ% 0G:BzaM촬8*m 9tg"[K_,X6(qB_Ac+kIQ~#Dwlg2j\S(nҀy_z86eRSCUPEÎQfG9}~ ٞ!KBͫ8co-Xxf@$Kiw~8N(ntUKzРfZ1JQD}2.u'JFiUl(p' \B `] BˎV'} ?q!ʱJqQxxĢ(p_OY~ {6;]>q34y`dQ@ ܘ'ZL0TіD -rI(@0z}3ӣV:މuSJZ\sZ0)Pd&߼C{:6慭k+Nd7[ۣȠYqWAi%o (Υ`~_nן - I+mQop*p'/>y,^ )w9;-SZLP,lUIT0ӼΗѡHhƒ==CW#4NA:c[7(NeE3%F-&ҙ&'k= U:T'X%3C""I杖q8 c8Q llQdaE໫x53lvʼ ƒѹĘ/kMrVdǵhKԖBV&V CmѵgZ9n s[Kno[Ѽxzw)VȨvK0Gs}|)pW$Ix{:WNv!Wg4N"Gd5B::9lDLaiy--pT8I+O; ={V~̉GOa>Vy&/^༭/i, r& ͕6=O ( F 1I@&οs;YVI7  z<(`BmQάjdL5ϐ+z̙^%g8UH/8\Edz.Z"^VUL;'Eս|YM})+)|e?RWbtP#?87+n0iYz/ S3SaLb4r>sDҼnBgrEzu TdoHȾon26F٩yFldgYZ5j<ϚBL(<7ryFplɖ)Yܢ ~ 9.ݰ i;u{alLyUݨ"I5TLϯ=ԶT S Z($w%̼2enRLV?؛A[-*D+`x * sϪk:4QA=)hniJXg * -3]Pp $& [oܑ=Z GkGrK19k>Y2~Wg ;roG/-2 2f-+ql,dplOd7iy3+ yv=j#94@`;wsI{cQ3~ w i7^"2.-u|# ;vYLVNp;۠X g'9򟄚('e^!"`#"%I#|z|WvD+Rly~ϓ4 Vfθu>Tɣ)y:,aQj&- I,g |=._)a n hrj )GvRfR}]\ %񜹪^`EイݣA]h.ނ{۩W2T KUA{/a|M/)f4!vn)`҂ڦU`}*5x"ćjFYV)d]8‘A *z,^WW "@; |^^'q4DP> t@6Qh7ICSvfI`|<06B{l6&ZWJJ6rb%?G뎆cFw)́{IZtQ'gGu.BG#?lـUG}2TvtS٬LrS ?@E3kJ: fx">GcΆUhFp yk.Dz2Cl[LD{`_4\coy(POv`cسsqe H͓ JZ$+:x,[M9D-:*{|;C#5"Uǚ,nϯ'PB] z o75]Y ʾASĽ+H( A/Xh6j\? $$coHVP^閁O1D&Jȓ'2-)4 u]FR~X a)DMvެS@kVjptnQ[ CHQy;Jek&_.zWH'&20oAZy6' 8bLb2E7wihϠSLмvZd g͜iwI~)н'N`;cO (uNjlq*_c%&ʿ/ϊmV* VaaԢJڟٚ :D28kT #sͻƕ)Oya>^>2ōFbDD-~s+g_WdM~±b FkɨfފT_(_W.Ե8EpTFb3NPAL<\{ [[_L4E_WT% ='B38TW]DK6=U}f)zW 4 ݰ6a1ko?7׫]+2R_$=xwQ1 ̂蓂)?bUCJ 2/`Ж7nf2wGrhіox=PY[ʉP,ZϳmWj½=5n.veֹm tro?uP!.gx|8_ zO(^{cbBag,>R!הAs(=ʗoUػ@_AKHc Kz XGIO ޳%~WcqE;9,,]tT3IC?\~+ۆ.PSB {]`$<E(]RvAI"yńjLxbg91$"A4ʊjv MO쎰ؿ&9 SϧkMlMفʗk͹Rf ljDpY!>.%lbSkE) D]I?ͳxV#u <9v>ﻇYU:Y%ifCЀt$O 8PɗWc`/ĜghuES,K-g]5ƾ g%qB#ȏ_Q'qw$6#s"1b;2s`՜#HdpW^ϵ[DSX}؉~YЧt3 ۙRŷ’bPPJo3/-޿3GU}\4¨'vdb<ۓD yTЯ.h^?ۜBƯ`}acD;U=3>hׄEZG VB&Fde!Kw柳(ӇY~"wS O}@]1|j.7F<~v7qw #$W)›A1U k欘g"Y)tuBUӕ*"H`S|wC7QcH˹N!c"IE)\X cG`T*nV"Kݦ4֎<n%fM!< d~k2 ^У⟿gx`o@dxv-hHs_RC!4U|$+&fRZ[-4ןZ)XښQ,wȕ$0^AfƖ?nf&4ĺ2J& pM9 YC'[%f#e'rAUQuޖ@W~IcV͋b K(r}IG ׅ _nliu&v j"^p1DRш$p0Aᆞmss)UvS QR0͢ĽqQȚV lHS7'Ή1᎝<*`YK{ތ&Qvi-`Qdבq-`c9XTJ_*;X'g "½u a/䃰ӲRLZQ@uIƘer!mzxk/ht԰5t^ص0:!ܭU}/Zm 7RNerbcW( +z(tH*] jYniK;7 emeMZHlȽ.V5rm=R{^56\-r"P gIhBbL7alZe(QOX9in3]dXOb CBdAGkDVsLA%s%ƪ0/g\~uy(9h17Y_A68Lm֮*M[XW6}*y/).v*7$iϗW@/5n~hݎ%H]@_ht ZW5.4;KV$̦U7mn;cO 2zn`[faZZ}v&(摦é'v1^H{fkٵa)|gr9Kr l{Ň(wZۮ36fBC[d m@j4@$2c95ߒ`ӽ0xErF16jnMCj35@'CqGtP\UNbEe*y`02XCS/ZO ]@Q 큽,@5xF^Bѧi?咍r@Y6d(`XA4 @<ʺgi޼m6.T& ')#N= Wy.6.??VDI:C '4^SS{u^>"wOs5LX#(w!԰W/ZBvEq=y+Sw.! 6Zq Cgh! PkF2 wd K(%j z>I 2yH_ub .~.:3=7" (Bw<w[@@*j+?dNʗfLKq^ӦtO;?!( ءyo-ٯU+J#0TӸvr[:t(])wZU4\ 0Υ"= 6x2P} ԢY5#5Pu/T4 q=seۚecV(3Lc!%bb]$?̹/_ؓ@=.]Ao8?P1x :?aGG%yRUK]p +gRQS,ϫ F9qge 8P4LWM%hQW8&A,a„6LY bBkHd#\GґwI6c}p7΃%v;pW=CqU)\4⇐<₮:,Yx4"!8]) >UHBREk,ok9!踞Qo)n㨔ģ<%^4v0]LGIr/|jbhO8=]G*Rˏp\>dw'U0uM/lkaH> %{F^`xDݻFh̅ b3:,ЙkOs֑Qd:_Ѻ> c*:2 ·8_0c4ci,xZ2pUW<|Q,PmL@w])Z1Nꡊͨh ;H6 1g8>zQ.EةFOaLY?x$ϵk(\b(>6BbWn=_~=1-\^0%L`9 !>߆uCYdWVKj⌄zQF&+ 16%v=vq:ƽIз* X"* ^'86lNJ'x*D'Mn')ݪ؂;R}ݢ|) C=irݺcjxK݌!--*Lv;wWpttҾJao#_6E?sojm~}2#RˠfN6zd#a%WrkDȄƁBR#2npu6iTS%|bw0;Ӗ1H;T QΟMvyx|̞ Oh rψ91'uzvqMw}0 ?M/:z߻*DP hfL3Yx Mb=UJSR4ss[\ A}z6n\ 7ťHJ<7 ` NPuV%V2r}*C},Ga3,`5LSF{{ lI=YPeS KK@R!ebAߤO^/qFƼڝ;\K`Ƣ?-J g6=)V$rTԡz0yx]KM1xp-H2I*nI> +˥4YbA[{0pS|pH*m)Av0w0U3i'w+T׵"ibX>jFreeYOt(Q9$;X+ԔAFa [ewk{ ̖,kjctHoI8QTw)2>Z7M~GAz~Ӝ'儁6n1?F켬>T)Er{PE"EbpԺw):XЅ%Tv] <j<@QlZf! wsz}[wxv㲤 9;F3{E S2->[ܷE|4KLK_FX=![ 'W)^tŨpyhMPk!* 瓡rgTuxGTsԃ1U dRAE'c l:kmi5PhкD20 N>xw,VDE̓Ͼ\Q=)ø0JF;+%qk2QiCw/k͸[/掩e4v ߋx|h"53ۅ^ZtHkr (3.V{ęCCcF*γoHe\ DկXׁ$ݻ?] UHA x6Nǖ c+ )-_m]$0?a nT5G4NEIe Ѷ- BAv F|'q^)66Š)52p G1tvC$a3KN_Ja9' Qm RcFC?E $bIr>_bw? )usqI̝ulRѩqh|{qB"0l }%n&~\%;3><*ς!sN^䔬Eךi~4?i3EEaP)EOtl)qw[<=gOhˈeC2]4<< ]Uo6[ Mh1s4tX֮6BKV@+ŋ4_]MaUmKdT)CUڎengw5ߏ) Q{'#;I QL=~QζÏ.}=襔/޶#3CTPM:pN! 5ysOY ʰ̾U#K INb)5T yK ,I•Tj!;Zڡ^M --y(kb MD(!Ti)A]F°'C\xT aq]Lb휺\o8I("SbGX!?)va}8h4zp}5!>>T<^(j"2\9~q/u 2bЛ05vynh1&E.t2oF ;j%bE߫ȾݦVkDKn7,i!-USv-Zi*w-tW5GB3cc"#nEhP ]ozhQkʔu|h?YFp kNf+f%r+FB<+B >2Ks෶1А޽J mQ˨dD'`/C@{GY y<ʻ;#h;.?ʀEei%{gVJķ`dC^u' @jű\IVbJHAךyK:!^Lciv6`јژnt V Ծ3,~mL(,n46M5rECV`tK*|ߟMu~YP4s$A_}v=idF4]b EeR^7P!W)a_:f Uu2L[bzp{G ҒxRt*jj!#u P܆>U\YN;%C*s$fgd\#Do8;X6+*'aplIžۙjC=_=)3cGmloҩz@F_t 3YY!.(lT/0ѱKe2(X^7Sl%Y /az%Ѻx Q1F_Ҡ:b\_E+i3G ^4X? YI7$6+9>M5cg*x տ/N}YLy?q]›C [lx>riMxy_$GzO\G!V F$Yӻ4l2;# *X61"hݎ*WOd)P,<Ҙ  ~1%D׊}`eI@p<2ק\ +,'%LL%n(oyeDv7'gQn_ԌS@*nH'&_$*~`ŒUv.IYPwI:8!gL[|qgG~I=J1W (}Qk 9EzhTN a)emZɾG)zhr wrY=bk 3iǓ4?;(Az :Uж̂6Py }?|аz$TeI 8#`Qn žkX6Dގ/)=}+ixz,kulL@N]wߔbJyB%;b9& ^1Xِ!B'ΰ%$K"3KDZEw9ꓒ!};fq=P=uj綾_h}V' Al; X'NDwi;dĭ,4 ##}7Y!nHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/files~~/src/HOL/Quotient_Examples/Quotient_Message.thyU7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id6787Q' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messages7zXZִF! v]·Iq n[:|&[z6J}6oӳ(Ѷ /ҳy͹-eI~ &nh!V6qGd].(!7,0S) (clM/HWM yoo' 9~7)=ù&rEVhzڅ;ln a@^{.{F6dZ*N$(Ekc6pa5xĺ )::Ct7r];mL4=n&Zĵ]{(IC}? ԨԸvqLp`&C+=Ak퓨a[m0Rj~\յ݄.sלX,_$Ac Anzac63d}% W;h,ϝ{vb'Z^-Q5$sM"=:\jp&YT)(| Pt;ݵ-*KsP7OsȖ Fo\+G7;ms_U(!NpUەmDPDٿd<]!Ҹ9xaݻhJGtTd- K`rW=Bl~Mɋ?t !35xUXb-4|Mo}$x. =G-I R*g "޻?Ѿe}i)™Y6B剄ApGIQGsUeK5+lC{2ը^5p:`WcR#>X-Kn!] ˟z!>Jh ԃmgd}֠ͮLafIEb: 5X0On7΢gkvnrbq Y$1Lj^ b9m|lK ^v,r !d^cF]]7{Ҍ2 &w?WiLP'K7ܚ=[g-04.-2&b$󅭽oxE% @ƉS{ͨj#)~܍EBDz' Z-^3scd#0_e[M%T.h\ H_^ݏ4o[R*DZ![Nv~-;ָL RC<~fcR-.k d_K"eo?v=Hjftargk($F2S&Pz(\!w;hxۂŐB~kndIj<۔QQZ}:xE+O~7 #V&ѯ4P/OH2krR0+K, i|KmfHvmhMZ!C7ʔ[*ʹ{ 'wGUgնiHՎPq5Ji;&6϶x#jC"0I5| uKRD-Z{]ؐRlmPqhӥD& m}U_k)?[Ay__)DI.&?r")`BnwE pw"<@ `+ })ވ~c}ߓXm̓+QAwwNӪTFF 9`e"艰XC!!^\\U,\iAOY9z:HrRP]k޼,'B{u~;(͇gYZ9&ǜ- /.ʜ1t5]l; S)gRPFdYK;yS}1l+m.sbo$sW\X Vz@MQXF {w {1)7k,a)]X'XXl/>*uMOk4䚩zu+%]`I6&+3Jn"l֊U`i|.g]5aVэz0anԲw )vsRI|S=BtV^%#7\K_|m8){,slR1RdjQh ;Ev͑ ec?HT[7}c3$mGeC2y Zq!=QX=S|vK(ߺΘ:]^jvn~]Oqdĭ.y8R|'+}\!)R0;M Ըn;-hh2QJdsTהTamCpb"!O_VX03Q,qS 7WBZ:'gh"D%*`XAL,'b[ Nr=x- ?4#.9u161e҉!~R-['~\Qb3DW!dx*d@C DRr#j'egH~H )6LvBja&?ъ?W ۧw[Z}edZ[ ʑۼlr>&x3I< $'G'}L5-תl=/{qh(MaA@޺s3oi]Vx<|!:i6+[|J )d(|ke^g6o6(xGD=)QQR~cHB@y ͝#feV2$DG=v˿!QΗʺ{yq1b~M 1"nʖT_ķ Q0v)l6,4 *6Aoz&B&)mV{f/2<Z./x}ெ#H򙛃&o Mߒ2OḾ)C?f(cY lë[΃`+-蜮 G(s26sBCm* Q';Yc[@TP[ $ӻiO.)y-1Dӻkի[epQaK ݍS(>iϠja*߂>XSe&=!ެ@KD+v曓d #ihO}ܹjn#++b6J HQ}K> uNH5ђq/oy<e^Ĺ-aP#8RwDSQVUz-_gWoz\Ψ-|^:Gl2#ڐ ˱gOXa7B ڀ]C㬦v@ AAs C0Jzgyx&߷gJO"t\0Vݹ:+&B%pfy}7zVЏi?ejq4j0D%ߑR(}hPenْNװ_QXVѩO1~ab JOHXz$֯1*ASJef-/%Ut/`v7z$"X8〿p#(C# lnӫt"Xvp;ERn"23; ŬG㮱\qzӜ& Hnh4v#zEI]aqK؁UL'蠻$Q|"dŒ/CUMC*XD+5eFwΟEl{*KD»ՆPԎz6Z ϸѻN`#H&YRy0aN/Xr\s{1JbI rhSÀl:jl7KP1"Pb7h\ȥ&U_ll8ײ ܏^FU S&L'@&!NJŒ+9JxKkTj5I|M`#PΨt+J@f1q!Y;أ~>3%f>(N`E*\2%_Yc׋`4–4Z%L[ rJj8!_Y,~V7'E'q =66&1zKXnL%]Ӝ^_wFQ eY 耆_5ZmzƓ4͊/֤Zk4MV҅n^]Y vFH=_rvK E8_ Vg3\#pzei) *Y9W]R j"R 0), ?>=`,l~.iˇdn:_3_BRʼn ,&{WqSP :>5km9hЗ@Y1܄_-/E+bBcwg$ "Ex} H0{0tIT# @W 2f`c~g'ᅴwp~ 1'7Dy>^YwJ 2EɄ7.N.^NG4*h9l.;j ,cdeH+CC;?AA#2Fީg$YM:= ~L=^ͽ>mK fO~ÑiP9H2"wm+t(B|HYE+}x{kLTlGX2UDfxZ+m AVE+$76@MyZr[MeH7ӐΥrvc@>\5+ee2,*H9eU5&jf'ZX-pj@Jd 9W?A͕dY |  !e,ieWG<`yowDPWKWrVO'~$S R:叚t];30:G3>m`sHs}oS5Rܞ*qǧ0xUmfJ jgp 9ovAqei7{ g$+tX88"/ehHY?h:ðNX$8\2#/8VYbzf!C*hC k+~X+A[5cvˌB'$a$&hk47)R_ ֏Tq]~X' [!dG)EfVշA(~h=x/vrGOϿ Aip}8")޳e0|5QԭbA9 Z\G1ՒDk;_7{xzf,Cށֻjr\P ^ -e-AXRPQE1LM^ٿ(ڧ"0C=vpi~ 1Nĝ$Ħ1tVR2o'1!{t-2Y!VT&cA\^9ԚZ-S5^A֠ˑ!!wngEaDυ7^`xHPCCj \O%y4ϴ%Ta'Y\kaS_ v2u'3鱎x55?MWܳuǻKӔ+ե hG_1~ɟ7h59{Jn2$ZiWxæJ%mT}o &P?hE:5Yӹn*`ȭq,DK/^hG(vds]A1lF;(C]/Ny@z-_rVMm !vbi9ˆ_3;Ic E/ɠ?s3&mf9ɳTV%@b&bM}Ђ(hdqUzgb}&WW!Ҕh1ʌ|)um ͮ@ ]oFs an޻r=ZnY[`*vo $$2;k9c6arkÖ1 c'n}b<2% H1Qt \e7}sAw,XV5EOl-gVk4||N%P`ȅx?2_$1IC{!Gɉr؊ GYWiT 4F)T~(hw vyo괘5 h^yϡvҩ۫Q.,x7-nhoX/?.ׄ{hC")@qY5N{9^ jR$3 ՛s V?Љ )ٍByj>r~#P[g /P#V.RMg I=oqTeYZyjZ~' fF)~u9HݼTӑ+!TBY kGctȱ#Zd`=&tyILxG]LlOD'v* > +>tuD{z5k~}MYE?&h#<"\Hp;k 5y,^ }u4yY.ON]ҊMc >жIǕ%c>L丟e}H3h;S5t{٦8`F}ⷭ` .[%4Ѹ,} xZ37 ,vR-gYZ hhM7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_id672H7Y' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messages7zXZִF! J ]·Iq n[:|&[z6 *kc }lJȾiOƌ!?4Op~g5*A O kihP&DKlޘgG`F}?Z OR5(iN+z*.p2XUIwдP.}`s~QaAdrHd=`+_N{wy l[Κ@=uma"Ȟǀ+Jv!l&FU, wx2sמ+0UE#:y  ^d[a٭_yzJSZcft'g'L/xlt;i;K4U+c/G.Qk?OyOCډ2;i7&;t?F3^u0W^u}5L`S@uzV7OM9@Lbi](_ EZV@#ő ZBuL.Ν_kΆ9q$1ܽӷ97a-[h}>'-yD.l{ RA.5r ex͇U=2cLjX;;o^<8Doo4_R-o l_yz)e=ԧ^3cNz$&;Խe!xQ<y"^&H3gy>eʨl"_%* aHӕJ$vԏ%ny7/շd)F _duA܏4ތ`pt4KB==OoC7zgP:==%6gDM4[Cz+mjh\Z3,ftg!0#u^|#  wGn'i{ٟ+ˑv$(]'  z9h; %.VxcH Ttea Ϡ!Ů2+E"2HT7e7`4) 8i=l#;2CjŚ 3StbI_np[li~dMf+.>Ty2j<'gM=7 !Ur͊+Y ګofX1cF/ió `NWU ݦgYZo 7Y# LHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup7zXZִF! G)_]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$dklezHv,7 \maDAϺ6n uZ%ݕK$De[9h Idu'Ure4zaȩ O+7H{Kq4OgpXY+j#I Ӯ@ {Kq FLOVlcwNq4߉Fm/=Ŭ+A#)B98$r#a&(rn/CM|B>9Gqm~Z_ "6]芇 ]}j6Z)WT__Z1MThT}Py1Lj;;* y]*8jœW"*nxټˊ$Ryƿ_bE"௅*IhAp#>xnZS8WLreƓ~ ¤fws;Oae=$$@7%˙5@ 5%A:"i"̼Cu2vN$e1#gJuXmFi#Z^+9k[[l 2I3O;#/vBGVr<^5W<84#]x(]N){yj͓2H 7z0Ωc^s/x:ൿ]dv-_Zlg;m%++SKcz.CP'4 ? ) E(̖rcxhEB{YEά2xXj 1ӋNˉ.=؏ R}E#ä+b=0?ΐ(JQ:k̲Urr8"{N7;四ᰡ@LDm }? h"ryDB@EoPsXk YB#ބ۲3-zg?b"9q4jm,-+9kP4U[U1/|KF$o*jg:(}y$wDݺZ0̑-1l^:XBj#0UB6 qaKx$><HNOt/9f_}&*r#Sg3e|okI&;q4g8dI-#߇Ylۃ zb)UIPbXVmĬH1ė >'6j)C48*%H> 9Z)yn2ՙzw)=6F~KHb3U^EPkӫf|YI%N݅ ^phtk7Bd"ؿ]ޮg(YθJ2,>lSZ[˽p-9+8k/k1qHkf 8Ⱦ?i*I4ԊSk6P\Pi1Q-?9gՀt¨z@7g&=x'L A K}IOvȓ)5ꮍy\(u;b4`ADw3VkB9uIX+0"JT}omC5Y˄ J̆*AT{ "ݷ-"RR*$n8:sVE1bXyHrƙ&e{~NQ)t#Rѣw->InB:lMDt]g> BFʏ &%Jp2fd)Apzd=>N- @R̋D_t2}FT3쌞󘒭0:rYQd..!XvR|EiG"T:eu90ZY8)I.o R$_YgWnG?LV&Nmo;?LqlN*[/\\1xJqQP~ BiԵwBnڠ:I$5?r/4bGl? >JT=3hs<ꯙQ!JsgBA%z[y{ U]P38T\֞H_PTRtn\ CCk,lTc> է `aټ$M{&)SH TOp 2[p¢3! Y̛+\@\y+ (VVkA* NuC.zrAMн@P+E -0<~Ԧ Ch+#Zli͜be= l,AdF%DpRxXBA+RqDĈ4;ӇUiZOv GLآh:Qw4u?]/^nۢ^OAf-)Q#y! aIuϺ*wH 5r鶀A>P#$F &pqVw4yϝ Wy ,‘@P#O?EW;`wI3 U)%l`j-4ygw m::(vqA1AAbv2T en߲ gjxv%@A2 $3BQqds>0fw‘DD M9|Maoʩ72=g̒lYύ$SE-)[ c ٰXQW]uMBIB=qB\7"֊,3$P]PoL 9cV7X=;Ve. nd*A9wf2oI_ ۺjF~7 Q)cq*fN@d׊QoМBݻWGdYRwA(S;uxhlp@n'cL3E> B,5֞0jm2 _:h Ny%-+Sd,o; Fo=;^QK R*O0CV IxCh/E&ne\ ƫ$ M^BP!\́{p&PJڠ=h&DɱeL^D{7C >&`rT1%0SHa0ty#n]HP$GFDɼoLK3pkrgܷb{:|YX (7 do>te%v',MiuDPgKlx՘~JV(pJ-xO`>yB9+_n c0 oQ}Fݽ?AqJnOSֵ]U\ l>䀖A!ܩ*TqPp0.]Iur""E>3{gVT>Ҕ{,==-^yJQ YkـGaqwXL| \<Yਫ਼C_T,> r4K`TL_BHVК|h( 흩); 9tK=8# o[ꭐ2(\vH:w!8j@ұA) YݙG2#gA 2Ŕra([Cx'.vBWXq?el_6Ikmu"#0JH|Gkv+czK"pJdVp`%BBGcT˯2A!`/1S}i Z8]?{7DBd#E2'q~mWK;:tL{ muέMrˍ!?YH.N: Q15Q2F'U[M .$q SsZɤ4նڡ^ӸsIÖeZ ܠD8th|ưI3_~QG,ip"[%PRs՗Nuf?DJK@<:-7T*qW̺e7M/Ii ')`d~5 42͝_yx exk]싧Ay+m &}-tY gFg${5hk 7a+Tmx[>s&/ Y f]< 0[WT/`qɯ|cWYy}/Rݫ_pN1\LiYwJ`~ Ba[dM]TrZm+BArߕ.hO80"m}O!u!f~U{xn-2R3S6*@/9rzzg87iQڵ (51 › iM@ huvp;E'Rd6l&Fa* يxi V59CfYvI[0߈b~Ӷ׊dA{2-˜8}1Z;BR偃V-"cEԀ!/(`DP7-1298z<ʳQSD/6` A=oXGO[iWJ2Xk=&)g8zHSP\7JQx'c5G! n(?iאknxJQHZI-̏pv)43$"\Q-3o˪<5u_"U\&&8C:9P;t7v.q{b6Zȴ0!+^76fEAsHy HKҜ"cbU}]~pO<.U}F_%)Ǽ]GKDEg!*}KƲC4OGEcin{is̻ף+Bp̷ztk ct/̍hE KW mg5I- *Z|@eئ(T -;g3qvVn0gULY:Z,aI2wn8]5b(V/ e ~TN;G*gv5v+ve;Wk)ʬ/Nvy8.?A%U)ds#) a1RrWKK1)V$]P=裗^5{~@ƈ/FN b&pmp FHQ8n,aѓtD#h%tAZ]aFvu;q/.=80$=M lh"V MnTX4oOWRٴIN 6u2VLւ{l΂ϾX1\' :5ٌ5PRL*{hRX0N *u-,6C'2(@#r6$hk9=u+vS7.Cڞ<]փa\po0=C?iĺ} @krFv`eteKZ.ܾd3awY}Ɏ+Xa*rZ{CSKx $^0p% $Rdw0k ԛ#a3l W J^_r0DAqEdA{$ 6dߪ&x~*0ϲ2E_342b?QL+GHg9#pfM zXT(Bwd94b>.0YVA薳Rpsס"M6T\=cˣ$9=GǓ J&{U) !ݡZ{$X<R,'!&u`b>wg.@xN] ZU5S;&r@䭩IYE-0ݗ,-uV<Ǧ]\C{Q?A)E1ĚO쓇 XnÊċw@-QI\8_l>F@RtA zu'Q0z/;  ~EOP:. YR/^]rjۈ~]]|BekU0ճrgpK$_LVͰɶSRZ3,ԇ67i$_O2_'s fzj>8 xygYZ  E q$7M!bHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/files~~/src/HOL/Quotient_Examples/Lift_DList.thyO#7M-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/document_id6688"7I' lHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messages7zXZִF! /]Άxʆ5.f-9 rq6ӔsANw1!Y2GP) p~ ߅R3.sQ2e<' 5'L[;c7Ѵ[pil2YMbC;~]ij=0 W4 2Z оǙA)i+ɛqg^$?(Z}Zo{m~_C6nvD)h>ep(4p޹ asI 93BD FՃB,+rlBpNv;0&3Wpsc4uEvμ*0CCV j 'RIHBvuV/D-kf6Fw)^V`-i1'hvMC[s<=j{`k/tl [t8SPe;<5o/%T)LyXv;F  "g4f.P 5#86&:fY|vx^ېd{2 㼔9C%ѥw Q3O}aں8.;yAݡd?3B2b[MoHɕhPi&j>TCd:oCK̻2Ub8Jl7q]Cq[@DG +NjKD-NQxH}niVLJT8xExk6 T3V4RhݾR2… *AiT=ɐ+d-񭟧2/(塱gYZ yiCyu(7Q!fHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/files~~/src/HOL/Quotient_Examples/Quotient_Rat.thyQ'7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_id680#&7M'>HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messageswriteln_messageserial=10526574line=52offset=1253end_offset=1264file=~~/src/HOL/Quotient_Examples/Lift_DList.thyid=668See theory_exportsname=HOL-Quotient_Examples.Lift_DList/codeid=668theory exports%7M# $HOL-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)M0dY xy&̛-F$¢F&OL-g`Oqk4o(*L~itz GPk,.IngiOW,rNX[Ϊ=$ OAZ`\ֱ@y%[jU)f6?̘1Xw[5@bLbZCB'z&:APEo' ^jHH;7 .%'ŽpSH QJ'F7'F$K.":)*,%ܖIDYV y:5cpwz|L16]}Fp(6ZŒF<YʟpoyU?%w"|/ Ѿ3`Eߤ;nվe 76Ⱥwg!fRTS|88jt;Ǘ;n;cofwn3r#F5@2}N~]RのfN|vG}ҁ8> GxjQ]` }}U^'QpͲ0/jwᲜ|[YH'XJF OwNpē}_*2ĶC6X^yσҾ^{|EX*(/[3[H-ؠ;)ߜ%L1>+o؛5-MyNxH<ɬyvJҒݫWm@JՀz_8CVsa?F5ћBsKwp}ӷj8&w3.:>D.>-(Ji1oR!>;Q}.兀 @ (M$r6:5_IXOTZїc2AmupAEF!Ά3ff .KBaerMcupJ@>pLXN0gq1h,qA"6YTf>2Ŭ:&{BP56xMYSy/|sHh=hBx ;7fC6\pE1Q%0KAwT%^zf uR:q8M'k%ڵRV]ѥ՞`}Y7[y-\0 5j.L翝y7F>1'y{uH1:P'lb ^:2g ^!ج.14=b66cLE9y1S+1rą7+4'}a[t2R,wiS>7b1rni搲8yOR B"[`֘Nx7- iW'shjUxF>R|h.`]}dIĮxFCP[`v~הa:xLu:Flem fH6u)X-p'\N{bG!v E;ӝ"fqoՔO*(]kSDx(cA{§ b#T;Tez}. pt$$R,'!DFx]ܸf%8ńĊ6@kfLeY -WL `4Xtꓓtݹs:q݆r,Bhv$ b+x⺜ǢNЏ濨Z~SƗϓ O,4@3J(;;go{Y3q΀'utiE m#f$1f> ٣$s9E]`COk>Z [U@F&Was%:N [~Aуt5ja)Eޑ Q8K}ө>5/RϦ ]A̫x(y>R ߦSQF.tH)ׁgƞ|>iCHrH݃ݥ#L;vRw7۸B5d)57})E.HA(n89^}@.QxdKu{I,S{`-û Q\<,OT厪M.uFA@pu77>g´֧`p./r߼$Dߣ=?XL [P6_# *Z>t 3_社wY-I|LG@8{DX1"eݑ/&x!v3ᶏSߊ*"* ~Y[8N橿rPvF+eѡTE T:FaX32EsAJPP6oUn^#f@zcRa+6P 6Lǜ菞 K6srx<3\vItOYώ`D1^3o?XT '-*ர&-;_|%晶 p2;WGYfiC_QAl5@!Ll? j+VMM>%`@`OB2tx#eBUg4Ɠm|j,-qYm&a#pũG퉪M<܂z6gɎE0.p/AO}V}0|Qe$կ'_S\T8Vc|,2⯽*zp8-a>GjQ71崲.*68968A|'XLwj! hJ\~\n"n6\8򤋃?s=rxYF @0jĬUY?8$AhtIZQ2&jKtQsՓ喿%Syie(P9 Dh`KRk 3C['{Goy!mQOYI՛M{/!0#E T}"Q2ΏM0ހ)x׵H8Oulreu 4eՐ<!"kSbk ,.^^ VVkeY_E<_.DQ? nOԮ|)eѤqaW~1@4"<]sS,x,Ӆy4!ef!=@*f PաƵ(-*wUJE&lUC"s*8ppE5ixJ;&df܎Ո&ݞ\ bYtB5qD^Dym<$q۹;6 t2LH;w5jU$$ &&|ݲ&1N'M8dMa3ՙI9 "!W^w4ROH[h-( _Xфz1 b Ǵ)Ax\p6$VrKhS$)\;vP8rN˾fxإ`"^hnl$U! q_GR *MLLTy3?wW~w&Ѻt׼^j Q{RL#Ϩh+,-N9:w=ΩΡ4s1nL0CΊv55d{,{$v/A4A[8s[!a/\M?i-ծ0X)PRߘj^c3mB De/qORϪ)sBݥhUp1"PvPjT9 OƤФ'Qj:Y"U.7*ñ3W>k4ЙHlH-J}u':nA;q4w7+&=izox\3"8e1j5}Ч'(؜/( [6?k( ?mQ?;Pu*]PebLdZ?TRvmJ 8!c Oȯ JxbwC3盻,TN^g__82yZ^Ʒ֢y42 :ѯbegoy?؏ELNQ+`Jl'lFsTHuJ \W=ßϫ\2'T{۵⌂}֭خ |wfѹDJhɓڙW#LI.VoQ|a{BiVqS|: we7ѼbP9',[HZ3fʪg ⤈ۦTjs'K)p y8`8YQ_dt(o 52`L,^T@&ã]c@Y0x?DAmQNSUߦgns&G}yBuLie[%xOízGMar'ԍjhy;:lrK 9-oR/3={SSG\'LS- Ծ$ sl*IKL~33}hKN }"0&>p5 d"m  &/4AFwg>l&1+,f,|~!c]73w"",6x7 R T]a%`d@d?r.fo?t@m8VU}8F[#M53:]+pW(+,g>=[RU/{^^hgwp$FN'pk?HEW[9enDU.L T، +pVu^>bddW1`LM^GI剝O3SLoniӢ6ʆ O/Xtˑ8;48ECiׇƀß::l$abӶ^6Og>0}{ ;zSC\=[ ANڪhvԅ#mjR RЄ\:qimm,1 l^;4ԁ 0O}sx&bl;6l!uԎbnS8KVzo4"VĒ7DovÍ-\nH=wjHDQC@8Лqz_r R5g -ъ-QT\:}\{7kXf_1͐"=#*s""0Ex b` f6Ұ0VG92V:!390/d;"+ΌzWA )9e⳺Ut=GL΢"A8n'GR 1KAzW9[۬Ca \c^0k3̓20@g[2t_ c[TxB7GKׁ֗$ķHT 3;2\aG [@~Ot8}㹤Knh@Q*G9\DxO#;/9Ku_9 [*O:IQs3TT x3V(T3z$ǯiXk2mL4pi< \K޽LZ'=P/<j81!7I#=LۤY~kSȁ7"Jk lFLΦZH/4a_$YI@X@- m:#6-wn yy.=/8$+ u1 | #sͩpؾZ!bEٹ)H0/ݺoaef $f=1}? !lD49@WOO#_5~X#I- 7f{r#u[صg`L>O!NquS ]rA{_й?SΦ 8.}(;a;8Y @?v7Jo$ 젴Gy-A-pAȸb9+ Kzxndr~.iC(lw.lqd ޕy)7~aLͳ0$̄HKp.ˏ7eSh~PˡC3eBzNX KK:띯:@i{ҺBse = iP+Neb)^(okBZ)W,mY$ AY7@~)A&3(}s&+SVL8ʬf.%*ˇo}:ţXZ/~PA cHm斞hƒ\t7e7Ø ]w}iƍDiAZoitgw\jp,*u>q]ܦ[[ٸƼF|Miѕ;=.Akݱ#LDm"|˿sj?^ !@Ƀ<55evQ>,P'OW_y'[7զ9Fc8pUbm/&"*[TL+1F`/G!<_^&?5MpYU=N_ S|$ pS'}Z. yЃ^AƸP+b⢯w|yOY)1Eq3kvTEw;+*-Aw"7B&g12ߊ)/3nWu9=o\ڿtʅ)3J.MeM(iNiw^_>:VFe +9mov̉  \+OzUT[`%K{Bv]t!޸vsU@͞UǹUUtǭJ.#cddy)Q;SADx֖qwN?Pܟ#Ō2lҖbe[V?o9@~aI I|΁ ck;<;09Yw3 ՝/Uѡkl*]}{=_=kfλ\ &%j׹-.1ng\rŸ!^-]5aj+V/;ɍ,NABlpb / %[>iv"Yƻ8%O\A(7jU~8e[.EOTӼ\W:t;Y}\uG9@҆+\neq6t* ,Td-_a+U̇h(I$+Ԏ.DReZF02mhT {)3p;Ɓ3zWF+T1C^^!f:AmXfO%ѬGmL8$1⹷Z"c`_cUS]WHcmsJt{`i?rh>^J_.4ID ZH\8mc9\+m3 FG3]\L՜4r  ̓q#=7ƞ}4`]d`C6B?#HX{<jjDh&!@K\բ#&fK# \Nj's{ȢXzf1M,L ?AqhavS]P)ZUɌ(@k>Yj-lxsW6=b1y^k8:;* Ot@'1uU0mQvo:9u&wߜCpqh4/Š P}Of$s8#{nr_+jb AGC!p Ne鮕NԜy7kFZ1ڋp}@))˚VbSL4pCKHt)!'Pbȩq>/2ɫwqVzIq&GVZ^A/̏Sf%V'Kwء{aw~8CDA\Y$u[Bh K k#ٴꕝfI)rV?q?.9NO%6v #>nXq`+5~hGydE`0k>rui&=j.$ 3@YpEpm<ƪ 1k- P+$zםnrךPѳR,k;25pudj6z\>8o,ԍ30[G{ ;JZHS>a(%DId(o8~cl2}@~&*c'{Qqn!f_yjޠyhZz-C'^!h돼S"[w~Fqm+A"xGKh# ć[<%g+;lĤZ(q M+ |x6mkFhcwFW"/덳}V@r }96)"yqpb5e@*Swҹ $c<L`!]TK͈yvUۥ9)ՒFiffT+jɿUS!4xh JneH< "j9pDI c[諂;~c7nJ:OSd'.mA"wNfq5mcr[$" 2AS?rMgos 2hQ_U-qzr]ݒ#<ß1R G*ik} L<Ǽyt'i@/ϒ$e+hsɢp03M^S8!3+Vz4຤46Rg4hŀ))wg}8'Z($dgZy'%EuzpbY&'ɞ<׳f[.۴WA$ETFİ)kLERխ=}`L##mi q`+MgYZ?) 7Q# tHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markup7zXZִF! {J ]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$e[Tջ3=|A;ɳoc7\aAp3>~2Kǚ49AW뒍e.KJ\ 8l>/t-ĠZuL~&ȅ(at0ضb,"t,<5{#Ypv{r~۪`L#9qdgNL^ydٻD)Y:`e4_-AZOŪi*Pt˘nJc:T!/84a0 ?sĦK٬ ZZW0c 0E|O><|68I Dv:~ ؛HwzиGDON,5~#MuW/s*>ۃ MQjW񁡊ESlBi{X|&Q! +]we]9jI,Jk|GYPɛ eX O3Bw7\T͛˥aRi5g@K/Vߙ=ւJ=mDWXnƮy!k5iqF}PMwG5QA s|1-Os}\N>v'O**cIEHN;t YRG5.Zv jն3*e3ic+k~K[sܜhZR1xغ*b[I,d0_0ZF_OX`u`,L oH#os9Q iq }'Q; w-MxMd˳ Qy0j~Z_NP\R[¶gkU@ښ+=UW#}E0,&XںR*`d fN`20>J.Kv4f3:`o"=mHy`9ḇѢׁHsG⦅n#k8ۢoXbIwTy5 Ggn"p^Md|?@RWǡ763/s32InH)003* Zn5]?.Վc$+e4䢂cګW+@" ^P(R P#>̮ |OYքC&&/t-z_T2-:ev--ZҒCw_ ?xX|Ch:iQ3l^kMWWl~%U31IoslDvd&8gT]0|Mn,4skb9]WiHu[wݬ'<Lڄ;3@kLirHe2r.P4Tu)dJE-s1I˜lV>9VZ$tVGj#z-#"u#ip Dra DR'h5$ɻ':ο{&*Fd܆獦VDTJ#O`P$z7u%U.P+(o NIUvkDG*)RK쌭;F3r_A^E4w:P% zz[M Hwrq1(' mBz(4gx";1Ӝ 5 :ʞ. "+}ַ) t(V`MSk}Ad, khiw@M =?lcw' ]q#=3U[nK.kfMsonwy(щz0cjmEnօ[sb }߱գIqeyV)^ C3$(FRqNa_7e|4~BaBdXXg,QRWP ZFiV(uq}zC;lѯN1Q{ 'ySXYl8XiY9bg6\.7)6R kW@e*wK=9-4 Z ~} kf\`Ae*dj†͂6l`דS[dP8A&t >{+A &L縐- V%XG u4iOșrmqƁ(bCXy9 ɶ#*sQ$)P!okf |l cz`?%ڝGEu ̛}֫i*N˼Y8oE[q%+aq^a"7*Ժ~%`?=>wp*fa񨷍@ʵnO5a̭qԣ]"/o.23xƮ  >/L`j̧IB3̱JC|S_% ti%g蚆Rx|1oX= |bEy3$OR\"_Iv k ǜ "C$75xDcqa3c}/D-?C1u(gh+zH Yߠ=96l4;;Y %C"E{r?[l \,ηe<h9E Gڻ۔Dl ί9@ȋkMI $쓖 H}ևAEpw9p^"7gb@0s ,'g˱h 4&.!qU,EJ^ GH螕#0 >23Sz @0*])eGR_i0c{:lt A=s!:7lCS 5SDm}fm%1T06XL2glEF8P6VsnAJz%}SL [  +#wx;rцC+'ڕ7`b-6pT_*5oӛv_4Bka@hzOJY/lc}e`VX8*WNzܚ^C区3@3yR/PAr4툸#;LV͐s{}pӓoGVĭgNc|}kx/O!m={lO(%* ܟZcO@rS:NΌ50[3=Y-2$NaZOuafXW/. XΗ i$~;8qI=HIM%L^M4k)Xez:J0R1f̔/7MMV-z_ŚE)M/y n(8УT߃Tڂŗ$oTgIl?|[^׌˙۔ƅ+eRv6u;U*0.SH^rlA6{plxG-Dx8F ϸ`you&\/g) 37? 9TTN "#WNEa;/`epzBn$"b8g>φUQ}<=mTr~Q(t2W=$.z!KEY %s P#eP̋<-g&:7%ͤ;`k8lmO-nqpQGv\T'_vAaYkձ2Yŀ־TJU(3B9v ZyR= X> Kkl㶳jJC!Ɂ%]WnH!OR s$5<1 Os KR*Msfhq^GCO>jQۃ!eɋ+sen0/_E" =!\:S  BuXT7r`^SOR7BևyGۯsԊ41F_Zg]$ CqNC9J=a7n(Mft/}Sٙ*/U MKhWrNȀKbܯ::WRkk1s:׍y"#LfcQ6=[6a0Q4˚z?<#>H Դ׀U̬3 ońH܍0o 4$1$kZd1sPc1W{%հ/>pć2Fޗ$s.ި 2\ {$.yE׾B9vGh'Z(N9`7.O*}ľގ__RLKrw5]ևaZwFvW4}Y  ܰwV-;ذ2§ wb&C=Ԥl A齣LEGQܵ> !C"D@):V$Ú3.MQOS_N{;<,ȱjt(ǣ`4zrDhw3- pn3;kͥ{@>qI9mZiwYodi w.r,nEi޲M^i#ߙ['fm:T>!,mz^iș/\h%m KNLZ\LHVrxUxD F"_=Lgő:$sլRDRH"Z 0*9PT%+upXO>wQMI1sڵ"n31y\)7-p[/"~S쌓zŝ1`!6loXA|5KJq3F'J\S9dJ]lC疗x\MP䅚%]4!4_łq+(RjA*4Fм&g#BȿX{h$C$7D̒ x୸c3bǰ0 8Z{Lw o%a/F 5F=[x@98m4T D65jWTIѲܻR-)̍ \o `=Ƿ4XDzQ3+.ns!jIiuR.ԟ;N{ %E7tEJt]S 250%EM~`Ml!@Dd@yLV Rvh(f5_'* n.S?.e(M(ySVج2cS[$`{z,lb+<ԓ|ewr/k ;8d(AXה}ucu_KA c[W$ZP1 ~U`zHS>#L*Ń밈D"hRichIY$ao¤+:P;(>evP4IaA:kN5J= t>$mKsأ} 1Vݣ9lIsֱ@,Nbj yLQ́Ϛrս%jӾdSfT2Jja5{s䘗#i{Tbc K7`*bJ)E_5KnEua+tT|~8,~Hݞ0P΃ajwcMECܠ|xzt7ra7wLjGq?tT,J& y3[lٮA SgCe$!!NFzH*\ۀm}r"ω/OMI ,aoK[^Be|8w>tFi~c)bEq zJԺ"16S02&Ki))q(/mH+%{__jY0'(ϲxQ+z 1`r NxߢGL#Ib,8rǢVS9 #|$>\XRW! vKl4v"櫩FfFs51L@ϕ`F7>J4~y#KT^;;'{Z(dp=q" s_N §q3? ٰ0R~%LVU~F]sTכ}W\NC̟({Z)Dm#3 Y齏{H/9țdD$pޙ*):t&= 7?r^8 .G<}my7 s(k9-Tzk\S[C`>J󜘨NQEUM[Ev<-)"O{W(jn!YF7ʸ04dSId[5ni*kʦՠXӅ1ŽG)67 aVtwUQ(4#O?ECQkz4%!wȜ$݃$ u#yp <j>-[ B9"XX(2™qH앒7#BJTr#x4qlrik>iZG/Ss獐Z9S?EqĀV2n:}RT~ο1=$Ï~S2cw#Dw]ʹ {a|ԋơҠzxa'Oޠ%JuY\.ZR`sh4hVĵP9jncʫocI-,~56,iyy%sTF[W-}xtS/>ra~vgu|P?̌EZL *>9,-!DHH\> fy%dѴ"Nk :pwEbח AMc}~^/tjha҄جbȻ إ \!O61mͥ=`%ycj]dz]/5$z;6M;AS2ˡ.1B9وF/g=`U<ɟhpei8VЄWoi"ǫjfXJG YDUi#-8jʵJ66RwvEɭ3Z[R9D%mL=r0YL##ېJdڎ"_'Iil|e12fTUo{ϟ MY=Pa;h͕ȣ|eI5¥DB RGa@V@:y}-`#< hQƒk2MlAʛ;#B@V]OCD0eģ C"'j p4Oe+Ϡ򵠺"44޲]?uAʕՇڭ@W!Jwb9 e}H,"c[mFwĈW2Ogn'f>kL*ʵwilVi?ݪ Qayvna ^N2>9O-LCB6VJv8a]F°L[2‘0 ZCb P~:,yI"CbN NI%)'?CO_;?.o6墍9qT߷Y5ckGG"V&]{d:qsX4y*\YM_a1mm}&D *^{2!/N _oL(_⡫c$B=m:aqd yV'Ǹ81=*W{%8?\S Rąh.O\OXZ 4Rs F@f14Oܻ?;n<\2?euT*!arZi-O~*m%/-^_׮5 X "1#;`މ649RT5o? wo[oB.bAMHk#yFGnz@;NRL0?p֞v2 h ^zET<P7)řW. 2IU+u˄2=Ǹ9suLj1 `Qv,v HSZ̀e}FDU 0St:3luut"k2UTʵn~Ѥ- c5kAޟA'J]lJ͚= !qvDx4 B#7u9wx]֥ s~MfiV;Hbl+7xܓ/Ϧp!rtrx)qy02,ւ_&[zH`_bbzgegza:?En&YsY"VǧG?OSԸߚ̾RV{3 ]xCY{{cA8 ]G<7 ^^85!{kz",*.94;Pm[2BaOE'Ԑm%wO^4FL?r11 pF@^pUPY wQ 8J2(-۪hm`m*kA 4j;Ş *;XJv\CL}> Qo`^uH}8w'U)M9ԬWlM[!x8WtZV۰58;6dfz)n2@qJ@ӝAa tfX x7!&&egH!+cBK0OjXĢ}s ;;+3A{^uL A3ѣqxpUziu*|lۗg??*S̓'%$}¸Q)$u9s3m,`yUUm0q-c4t \[4Uv|lcM⥹$o{//CҾ%12~"vEO:ǜ]Dvm7t?O)s SJ j_m q6|@t'SQZ{TN9$[n >;3Tߩ'UgGh_٪Xz{vT@z)R'X/I0c}Fv~% ΋F|/W}(sPoa/߻u>Dύ1]"oC 楼;D*~skCJ`n{h}PPS6?i -3|Zdg$##nɿRHsoj U_]g 06U#wj+|C[˹QMc99xٻME-;W8 "s줘^҇{00yB5?YhFd;s 6znNTM:U_w6;,_aZ+P>ݵږʗ^OKׯERW]ލϞ/'Aɭ30 \{aZ_^wO#v.#銒z-o`XmJqn~b&L6kST \;`˱;Tm|22˫=w2Y_%mȯf uCM~ﺏ"3Uj I  4Ta3AOh''2lI7s[}4v)( n S5Gx:C1d~賲'@&צG"چo[4$ !wB7{ZL@XJ+&73ZSH&83joa> e8Lp Weu|k$|֑'feF ҕf=a5l3F|ҋM ݚn`+(B҃vv f.e-ɷT\ڧM|: b}Vu &{IJqtYĢ4ᓋb_@ N녭vCm8BfMaAb4\vq'!|SIs S[`街` -L4F& EΌe0w vb=pҨE|Ω]"R:۴,r>d*7^ H0oJmȂr+sEkޱf6G+Vs-/A !?20BsTb5"q+gƹhGT˴ 3xIkmwxSq~!A'L2CSMЈ@,ezΑNn8}6ʮN6~}LVEKk_HXӿU0YRGE=xH\bcwW;bϤ㥖ތ@PN66s]uQu)ع}g[6(,Z4#`t듙vPE[cn[Ҏ ^̖Sյ%1ߑ^DT<lss\7߸WYL`EV`T^6 6bXVRN u)kJ.xH/TL"浯׹^؟ЯVh`vč%Й„\ dx_OQՌw-G?0^8+-x*Sh#H`B#.lU)3# 3ta̡̲DSv][:hg\$̾w̭U)ݡ+Lz}g; 5,gHnBڵԮ8R9u*cEFX6O1iERY2B3e[2w3Nd:e_F^->?e9GDJ9s VY9[ĝAVz[Vߐ޵~:9-oJߖ)x,kAcpiwQJw"HLpAH8Y!/,m b v,y?܂wm^ EvW)g#mNf*^/䌸pZͪ[ikm': A]B*;to򯿹Mo)BsiqѮ ! kM!▶3aEQ+5ǁUzC-XZ>|}$1J7diBz~^r+`*Vs\~Ւ*svdd9=) וtqV:3=nge"{Cm*N4 á*rv%."L}h9S}?i3B$\ix0."+rQxƃ:ZU+_PW|-TKd4j+jloՖ."dFhȋMO4ݥ]'m]Xۓ3D 1HI9Z;5?Lzv!ěFۺ΃NyP`Aӛ-V1_嚅U5| ;ѿu eҟNQL 0$`9⡪JlQ,)@[+G%q,d12#c!+=oU^IҊic{>(yެ+-//ӫ^SH'Xore6Lto`!˼؊# /Yld;ܓjԶM591~+(wРB L * :f\3O8znv ENvpk'@zR|JK`*˴Gx}|޹%,pz[̌ѳ.'-AlP/ُĔFG.y&hmag9H,190Xֈ3eCsEE*fC;& )Ma(c{ Sp%+vф}-Fvy!>g>vޘ焝u u{Ze +4Ϫn 97=9dpvj:Y ɲ9 Wɽzi 0.חoS\\l0IΞ64wcW/hn3,ދ͟ oʽCX +*ʙ(:!'ދuxoIÏ/c=.jKzc]wM;}%&,QOb!BK(yF鞅h hcÄ5b\Zmx%„yio# y3707.vs,8[)yfR}pJgq/0׿K0-omP( DQ 澙c9W('Y"5^5oNވ58&2O7zme`COWTLgDZA3dYK(Q02BKӣ|}#a_Kl'NKԹrU%,t9QM jq$RiLRB˰lvshF'(}K4L.&cژ}mFC&ya¯pre``A]bEY:|cBZxV(TF YZ<ѣh9(Cc<4ܡ2e3,Ikdf-}:AE L^GAw ;#01X}'I>ŲǶgs9V/^hY+MysJ首.QS@7? T^`yETêmN( aHD4rƱ]-v'd<:L_r’Ղg%-r*Y&7`̌*'Ivqnߴ#m&/g</Me-DR&;wL:|[Fnua}ɂH?MNIl"uDr6 Wݶ"l oA C¶?-cAV_鮭,4EH=^ J"o 5X =9+`?뎌ӏuȁ[,m$l*Q^b[dD[KǧYT̈́ڟ'*R oQ‡0j\ nyՏ?<[C`6 OMp-5;SiTH"֫Ap0˽u*7N+k2LF==LZGs< D`X u='r^> WZ}l71I0ߒcd %NdI!0:kۑ . ge֍F?CEhCH@\?LHwYM+:Ɇ$ȝrG[iUժjrVuK(\cѭ1lϗA 5]Pmb|+ʌͺ[DDTuot84S2Gve&T*HͲBzB9WC'JǏrKޫFفHUpk " `f)C$ajs^P LU~A<Y@`IV&ȼ-zG?6̞JD(}֑#0Y><7mГH*m;ӟ>a2o#456 7̓MEW;h6pz{&ːnjBYLƿ5oz?=V"tcocl⹨ 6~4S ']RT (6c9!!o *[F IfFXsY&pb8s a#Z;"M%y$6@LJ:@ɨf,D<т]Gk{GN U{6(h/ M;a\~s{ N}~U|VXߴx| Fl€&`tIJ2We:Ɖs~^ -i,zZyTm!K@0@P }{_ѺZ\ 'slБ Jj 4p"?jq|u' ͑AWa`:'!! "8.(%2׹򥨠9DŽQ[Z^9|"˔W6$ >mVr*J]2>!dßTqG>d JA#'n5%xzGE/M dU92c[z X9fs8nM$}d%%`uΔIﶩ̺v@K{7P w <j5h*S#bؓC^AZ nP+$lL1A[pQԇuߐ>=!\cQ% h(]~&Dik?)m@"$`S 0¤Apu W[y{ _PڣZТ59(U%j} ʧ*IfNj${M+z(gPew5}h qC%}[>Z;QU \7EeP mA Av~i<\~'H˫B rj@1IGtPGQl'= m}0y9ʹZV_.omiGЅiXd!4]kU8E2&n>_qO 7QryXm4LCS ˂Y‰(V|Xtďa4|AkIJ&/gtN=L ݟ(:ʤw(T xL’`Lg7&@ӡ5GrG,lhs¶ PSKs}V עGQx ?Zۦ{aBq |_n̛\nn(=w8"?gY NϙKB0WxBZS=8!.FA<%3YBͯ>K6yBVv[>EKyGY0ߣy }yd_m5ČlSw|].4w`a* 6n vbwQX{Ou\WĄ zo  eObOn},dp(ƂkK*gNR VƝ LplN۷,t ]gH YXOÈ fvbzkíIHɍ@u*+Xg͗E;SiR_xCXyi(yɾ LL=  ;.V_|y <6D^gsrgTn-l=]P ?.nsgFa UN \'Jhd/uBZ^iBt;D9)q[5 нPt~:ͺ'$۽$=͉_g*ƀR' {Ce.&p6%Cy|;jSP (*eB( @;ǚ)! IC-sqAo- bGCXd,jAH[׫k^(4C7VbwPuё Յ_A׋C<@PERݢ@|.ץm!CEY_j ~fir`j(32,*$iP >U7A=ʬBqem-1ZKLSޓ\dzE ><2CB2Q2iؼo_u~H@,K2f1ۻnF@F(-eT[0[ձa4i B1o?\f'7l9YXmuػ:QzGC zPG!e:?v $6_1_fY4M~{_ypHY#?z'2U-lWgoK݉BJJiZN;Q}nx{Z﷨tz+Ҁ{!f74eceH|iJ.*t2riP;DU5n{ؓAD<ϔ3?@i>N$ )p2f7P $q:Te\*zPx4z -'Sh#h)ȣ N Yn0rxC!h ,EϏYCncn%ú$)' Ėg_6Pz Bski3SK8JJ%t͍NKD"' Fs~k7RߡjI0ApE 6]Vb7 o.ti@9ykj氛c&oV8MoL-8[7cL+Yt݂ډ!@E7h>O ~GT+=*M!"Ny/Nǟn;uKaF+HyK`keJLudmW!hU~yٜ{j}-r".Aʾ|[D)`hxC:9*F|J>ݸFo]l' #v)H`)_VzbN9},5t5D~Rmi=(z 믥&C]נd0'3XvI4PݑͲb%H~RM(X 3&/ᱵ* ""cg3{P|>u(Ғksi:,U-_=h[^y>I5Dž xA'O*-\Trx ?2@2,@3r) *߯IQ6 {"b|.$ύwU@BHp` 0P(Mnwvt .PcPdʗ-AE*(2`|'m.ևհenU>m ÇTu 4%tzdzAigNTm d2GzMl8Nha\: Wz2tQMKLB8@{xz#j,d$vP Mi)´[l{3SHN ЛR"=>k[{Kj1c/<&Zyb~t MQsEX+6-+C Ǝ&[U__^N~l2LDJW`fnqiAiSf]b/syRmKE>bGGƝ%T58bs ҄:ft%jP&w>\u`grƾ\60߮h3n]=[d`oҚcmm؀[|elIV_:#? z1!~ڐc.NرrFf 2^,q[HD ڭ䂄1a$eDPD4j7XxeiP/5NEqݨZoM?04tf?mL~z #%BԗӉ)*EL2u\ c®,3jυړ&In[l/ZXИU{O[@Ă=c' T\O-@ #pt0OqQZ5V({9@~V>·hX {1*A-$NJ=G>x@N` ˘(aZ=Ek?}^W؞zJ)znOR gF8:&qVO=e3c"5  d[VPsm'GW|rn}tZU$pke."Qu*Y)TiuyZ"z[b}#+RQyTyV{Y^*u(Fi狃/WEVUw!@ǒj)4kն@Ƶ h4T/[G6 ;^^.$5sLiZ2dg*lT]l}"aO-'O܁]os^@p\}m 2QE3ʪVeIQLO3 p0 Zc?ڛ۶C-2h0!Ƃ.iߝfsn8Pa=T'NuGpp}aM'{fڗ*W.6Ʋ*+g@WzyzPoBl| Cg$9Joh=i3ɩ {EĀG?qosIꚲea..?Vy֡_raMiHny< Z+2{$8'ȗGSԢC?*9N Dh:`~QX*Z%vѷ|VD*: kMg}ZDӓ.}6Eg\Xΐb uQ򾡄 3q?pDAmX7ҡ:ܷ䯞:ޯTPUެ/Gz\/[P I&m5;l nwn+h^ 8+?FA%T/΋2&:AB˦J\Ua6J=MLRxMg#P-k#hM+oZe|E@qZƈ>$K*( 8_F *'{e0eNcN^S6Zx bsyؑÎXĮE3h!;zP?ҸoL.N¥>o.kxرyo^#r5 ִC*rΕ<@gEĥ"75ۯGrS5"<˘` 'J:U4o bsrgƀ\LQ EE<hs?93:NWvnҭ"ңTLwbȁ[޴Q~ aʎiGv1=lʇ׍li|CkdiD4>I8`_"}|u2ȡssBq U*6[η_:GNΣm}iug4e L R:s[;e$8SRR-> }nD ~vTA _tV@=0b4]̨d p fQ E/O6R$=\*u `kOTD$/KAՆJXûΓ!epI/?|;.a~t.`@p-~ } INK'`Lh{]aY@3LJZů!v,l8eWH92eɀʣ[A ܪ %Av_G>R϶=+t]}]'Wf.٘TD-p[f5kJb3am㝂zYܹk뛌wrKvQAXj>wLzL}Co9"{sAo6JjoT[MMl2q3Ǭ@B?2B&tjIANfFBvпjϏq!m١9N=;ߗ[ TZ⹟30r?Rl>a*7FDːrEG 9RMPQ-ݽc>jΗ;eH(<+1 N䆮?)eUV49J641EdOir +!# ȝ }ӕ;^|Pkv@ι,:ЀlU~k`K_vM  2ld VA%decŴ][+W cz7Sp7Xm~F'B ]V.b!.1O*Y9\ ~jEi ehtM 6=eAFc.1HGqd!jBcBUMF*9% F"){2TE=.)tH Z"=,>3tדۖゾP2v wJ$?ňb*ɰ 4[ gl1F$2Ғ_m:#$POTYҵc&Kjim\z/ ލ.?C_^XW5 e;/5zp'}\! .@T;FLg]w϶/oH;;@8{_e|*bFmת;b>a>1׎`\I3#-TJ0chbq%75?w 6(˙oe,Ạ2nnB'C+>Lcџ W#ۇ/6 u4 j~T@9+@R6qG#/ -}oZ/>{ez$|hq_\ 6DBSW"bҌlB"ɷdeȫoTUކhw.T1HƴgFSh]{yZ 5ơk]ɸAm/,7 f[7$9Ǧ'9 'каܕE$q5"4WܿPEX59o"a16; 'ygM$RcTIsxe/S,Q;#x8R@GOff-MCAb\Ӳ1䰫; KZѐ0"6hsh+tG(/b7SzX ,P(;?2ͣCxFo^7q܉v\Z$_n7GKAyzZ02}NYఛ5.Y8?ECF [b VHl!D3+x.Ӄr0׈ۨL#,!r-G{-f\դZ/qf P;PJ C!8PV Z8 ^1x!F/u_cz~VTVpЏKn8C8MvcO+peq-bZށ̘EiMI*#v;,448H;ʅ =^ȤSmRϖc@ P rRQ*S,"AZYi+{9R'-Npv~ۓL?<9XzMpn*l=3bRz28%Yh;[Q[0]z_!e ɾL:2 SXus:$ La914"fa[ka.zJl><{:QOyShʗs-8FՅHy͊zye7.e 'E4tKp VzS|>+Z6mFБͥ5@f2\6jaПbk-1| jCɯJ^U)vEO]l|]yMGf 4F\y̓p|94?c|{@ֺx&.;/KQlWyG=fPÞ3D&l#M$6P y~i4j^0p^l/t35~X:k=0 \m,Z7B/1,P. ^eK3!1ͭy@s.KLU4 "i}yR58F }IiR?uJC|\6|Nݖ~Ϧ0SQHlQ%1lKKR*&d֡湩R8s3# [w RE2ߏA܂8$bo sx7fn8fROeω_f11HBDW;*fP8ǭ.9 $ o^oJn˕Zg:w|VgRYU?;8J J92Y >y5LKf( ;|3A]Igl=C֕xs-,btBءX(`k@\ ,[Ob,"ݢTά>,6r$dsiyϖֻp9Q[aY[C_lA Lvz+RKᆾ(2W&)KEY Nj1@Atzsi>pj-QOD1}'!|ZSOUjtTp?:%fK_sq@V&Ut(2 "U]$7Gd;[bkѐNA7UF/̈́ oYft}mKDp@b9Ũr(6;ذv3iil(|p4h26h2iqC pL =L>* ƨ?{(O^r}e~8Wl0 Q:DjWfkw:O./hb-xNLI6ձ;6=d2Ȕo)++;1{wG+`Mr7QCЄI*,ovߤ0dUHLj(HHa:.A׏^o +}$Xjv˳-ĺ3!hM1Hj6ElB[ta҉/Vj܉4. ᢄI"' lhEZzYL'A|Im8u?⋋26,:!TcTxD@PMP^4M4ƒ ouiZȈ-AbseN(lT$4W6Ӡ440f!a#ַv>t|kl(B7P@|`'}wJ蛨ZVOlSfqL`T+X%Z]A5EFh,$V>> Vfhɛ:c :k*ɰ=X@^Ab euc0]om,`H?RHU)5ԧ&4m*k 3ν#zjP/eEԫ1 +$pCˋ}\O.v>>]hh*'눭%㲂ßΧdIl Ёy JgWrrO}K.:MukΤ}lJ& ;M`̜Yi S% 814RuaTپ*"b 'uL !INݤf;5Qq kpQ<Fʭt _[i\)vGz;{UB>`NKvBjR~2餺BCi&#\Jп,:5t}5.NeD|nˌSt1IC>GdT:?wG'b;hwH$q"Fdh?f/2kUjQ l,2  } 3#ӱp]\bmiRިu\q H b='a8"mknח ~&v'4pBTv{Rvȉ.~=WeN@UȒG*,T=I#H[!.^%- }l%}c8mę[-m!~q+z;McJv&k^. q@Osdtu>$ޛŢt# cCvt6Q9Z8Qo@ ԡ+?[D3٧Vpk_KAܵLYL lBd6GU -̱Db%_H0%A69=tc`=>kyڶEsR_iS^ݳs6pQ~{G4 R;l:Z)=ơ6ިSj./\Y_L;_E*joO %L*!u%fxeggYZ - 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/_\]),^D5| >!Y/ؤ%P1i6N\O(cXb:L+ݙ7Krib 캲˝X4\ٌ^H'V,H-l:W 9low a"JZƩ[˰4P䉳sY_6MD'a ꌢ[WD>ݐdS ySDJaΗ;H#,h9ѶоHjY)wh=hEe%U@p10mSGdiQn ڡ[&_}f(&cFxvJ2UJuz]q2n/;6hP~_bFϐYU6ͤUM.jɜ2ґ(SvLm@G[@ /=z(4.{8q5Hݬ[5m\rνc5>CqB[sCIRٳBG0HemO$N~%/>g< ,rv=̈ g>~x{zPDTjX g49&پ)ý*+J$`joN/`ޛ-< ^M>LKs5s_/GhoT5)k Ozz$g(ٺzqJn!q;`^]/$dU ӫ0O<3 ;? T7b>MO.^,)fm22Ҟ}:68ߧuP*WljbV{z$ ѱQ/:HRxMl,?\EH-~OZ~҆6wiwAoV<#ӗ_Ug̈́#feAQpmu?iUVDC~ ۄۅl0]rad "% }3z'8WGC?l(+Ѯ.ʢ:>V;ﮗmH&gIKW3W(FsASįbq~?jkX\ a[*:ᝓT5D+񽥏Z>fr/W50JF/J.NhJ6Eonlcy9(\$31bw(vYF ɔព'w2  d?fib%b+P9 /qΐ{_)t$nZpI+!q-<<VBMRKJ& l/ Q:9q  Cj./.#*VvLy3F@hZ^0R <ԩcPV(ְsa\2lU펏L6 D'jD&DG$7].:=Y&~.q1ez`/ x8 tSHy"﵊!ۣ!rmCW]F|ףs RTO@(4&W7u5>]gh3XAϐR]}5O t)8$iWC 0z~7.”R>zsxwRZP5V(XDif Җ3zDJGyhͫQѳ+̜$ˢb7o8{M?e RU5%\P!gf<-S>z fyhy֛S*A i\?P@&~h5xU`ݗ~ iRO'ʭ`&0sV,eΕ8 -j5W4e/((~ P#Iܥ Zn^KjfzbvvkHR03;R\ &d,XOs HmnUY_TU;w~i^,ͦ) )EK0 vmw,fXUVqc g4KIΈ >r0GIYi/6i*eu=Mt~`XZ$2y@$N"qB 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\Е- p83G/:Yo4Bm*4Y̹f$8OT*,x_˰( R;&/o|\7X^1k-b*H=`=³ rd!L u9gl7)}0 y_}լqqŕQtN*|rT1X]˄*FH{m0G1qf4;sY0^̺o8ڸZ$ʡߗFĵ5 gЊ ć*{Q*!ن(yԊf ߳^[cxD->ĊT'@~NzC](Ox>HS)ɍJDU*EzܬgSX0v6hEuRIf׈CȭCʛ5-{[ E`2\6OD9 ;?blSpkp'ui?hnԜ>Aхu+ȾvH%YVeafU<{czL\SH"BB>gY@G {@7L;,j'Gm6hn!yQ&Q;-'YUd VAɵMqPqg'Q)K,ƸgZ2@3§3B&+jBv{#o-Um$t򇮦 !Dm/aPmgWNƵB 9T15 JI2 J7d͐e:f <,;-?4m=̷`z [C8\CE޻`gMhi/n6P+"ZhmOl*кy:5#0KP%Z]H<!?|r}[BMj$ uLM[ l rKXȽ!m~ E^twU"N*) z!M/9eKr4iA{Jjnb] *ѯ,M{\> v(N-1O4qC`O4 T6 Iח36"1̮qW+B*ALO(}4L(.9/)ѣZw6 +;kp-rSg6ZB6t8fm~LwnfP}dOn̰,"1rtk=/J4"GW0bQ}pqH`/47_ - skmen =NPr#?qD< :07SOe䂌8sYEg|LpťI! Li!Y1:]>d~iL[S BN|yD8앆%[ fv:)25( #wAyRT$z=KBmSt*=J0zH55W"7y:WK~I,d.ܿەzjbC;w,1^mY%хV:7 @;; %'TMƻT80vM3jzR*iV+gm 6 x{kx x9r4-T<|-x+W!s ꯢ2A5EѶ\4>ro$Ҕ􋂴f j$e'qG (#gC2nZv̓D )Vﳟ'67́΃j`*?\>w/ad^>Jd l7nGl%%hB39/Ҿx`{=ֿ< >pm0"J_5,c 1_dr8f@›cbK/seO3)5Uc ]ܜa<{[cU{#:o-}8ە7Q8ێ*߱9zy I|~ MOXK CcT?VHR #сO=W^^k `K~إI"0|^9GΟfZ'lV`}YzM:W?w4:`^XR\;W^>W*.ɔv.}5b s;Grw~__H ybFg[$ǦbԞܮɰ7ͥ2S|XuvؐfE)eLt*Räsd0B,Nh+UO2 ``$6tI#L|%j ; _$;v?n.[4 OQ't`|C}Bk\N΀>O~;X5] IfGn^͡PPy:õ[=)"F$q{jpEp0r'X =ybgG69d.@{j+hy%u*0Ei;a5! +}Uc@@ho4ȴs҉i?羆X@}+ӻ; 1(DO vqPx{]li3-Nю'9R_Bqf]Q9&teXcDw_[|E' TwjbmN;Qu: gYZ Z17a# HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup7zXZִF! gcG]ˠ)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]^lߎoX yqȠBaMVcra[~0]Fxҧ/:O-H'ϴ23bIBOvƩ@keN[ ;X_L3!=bEn(Vd(5?Uf6٪ ޾l_\$?7Ǫnl2tG Db#8P1/h[0=< X7_dQ4JD/Pk_ehG1+$?RT~u/G"*\١iVRUl4Z=0O30`6hzKDɪ6}(eP& ~Oە'7L^xW L._!`-6q08L%z-P#COZ̕x%*V҇C.H 2FC]ŵMS8gjeL㵂T?UZ6ecĊpw-Wx=zE vH-;u{d̻FfʵAD [/.T:p`wsh<,rgȌNtW P"j "M.g 6c"Q\JYrd =~©9dʊ@V#W"gkX4?|rg(w#CIC,MCLxY1a7yJM~-4DW^j͏y[zּ8c]j$5UV#AI03J$^sOR@#y;Hr,δO jiWK5Ƀw>(]v#-M3k=jŤQt sAǹqOjɉAzy怶Ri\R,Mmzle6&^)J)~kbz| |FV_Tg _SD?lP —ȚS0g@jT{6 ȊPVX϶"ybֹE8B )eONtsz_1qk0߯?Zz0Sh\EtG%%6Zx44KJ$"ui]Mw S_@~,a~Uc=Mb^`a-z~_@rیhCVD7T8< BZ%dWP[:jŁYӃ:~f0e0E;Hϧjq@. O Jm)ط`eZwfVkhbCQ6>uM',' ̫x f[QIX赩6c\א̭lI< =f;?"$kO2_.}ϑt@Nnm7nw4 ̲n1jt)rQzjZ؁"/SҖ-Fk JugS04{,RT^cL.z&ww_YTI̘#Tj-Zl[y yȎחrؐ#-Ú'%"5U&t⛴1d8-k(lgceYNUlBt173Yy'e2z d_! AQJ^Z,gֶGKŵ]D1_j{H{h:*eH-دg9!oLsqnh##uFdG.yve9OR"1*1g|9K--tö\(+R:q X? m!+dzgr]C"'+a1Ky- KXP>ê$QU}N<{O7qeV.ux4(QٰeB7"w3P=Q?QD5Gi]ENMz"|y_邎V}?4" 6-:Y³Z"%C!,4PD6W\Qy/i~bUBZu ʎepּ2q{~sxISؗV>Mޅ?jV%,v]N*aF3&I)m]z(r%;V7"- p-c,'@AAU-bwvݠBMrGgt TAT=&:+HgPA|jb8O9UsD-,-맘/\iؕ5"pTB^8*SZPt [ lꥴDv=eic eYd=ل>q?SH{ٝz}|m+{Ot̗B~2ő6ߐpqJ?Edjh0v!`1˹k,Mgл,]dJis55o᜸c'}32u@#Z]z I8 _,7$F 'n9Y[M  Y 257I# dHOL-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`&3bщܯ-ӯ. yHOkdUQLXAV" 0uI}21Ё_*mATb\O7k cn\BߟK"dI%Y e!nFpB7>X")JWwN^Thq` ̆I>E0B od_`\ĢЦFtsڑ`r'"H wmLnV†0ګYfsnֶ91] F <ʕ;ռt o7t%QD_XC?XjfM WM`~19XW`Eitݷ-l=ysl7~jgSGB.;sSw]ߑr Q0\ ݢ F  l?9h|H:=kVƦqل#_7Z׽FIe"ѥFfV@irq2/POY|5w3:`'+Nc[v#s?<58aݒ)Wr.@$|`LZD؀ h^Cy_KDLŷ_$ R\0%Vq}yMS-lÏYȡײE jRc?Wb/!9jI|QαJu[;Psd1mQmh^|VWdjz18S_ٵ!u6%kٳ$e*Jm GnQYlY8򅚯..}+Pi +D~bxD]~X35M^G]I]K܏SifNuSv;؎]M)q]SlDV6uW^4>7 k`rb3X:U0^xRGI^fg65 5dԳJV@0lOl>[f{]^Ju6?ɻlk7cEYzBScsY 714噟^9H Z-Hi]RmXs8fCYZRFtQ$It|e. qlzd!Apd9!8OZ 0>v[3+X%2 Pyr6nō|:ƭ;=?^Ĺ (G;!cbۋA2:{9?4huS>LJѷ\ޤR67qb/ Ug.A *9dqXzVIIZ!ͼi42{Wvi#ioRM%Q#fZa,v#jŷnЪD/ KO>(+sv<8!{w%1y[$HACCmgrc6^½j5#/<5<;LvاQRϭ-Yء 'Ɂ3LF@pM: Cqn?5q =Twk(p-{=<p 1U.iT~N ujI&zN ˾̊arTv%`_AIw%f|޸D]x.C#BYx>ޙP@s]Wx"dPmA$ǻjT>[7ӴxRqÖ0|?@Fy]8Hэyh/\hܽl{agfV;€;6,WQ+,H1'پY Agxajz=[c岌_LeC`/lB.xxqaQ$ɼ{^#}/!/\̓cޣ mXM[}^;G@^|,@OD^m1Zh:H<"DC|)C<4~~} !\JqG >xGݻjBOu05/{XOҭ蝪O1#MEL(U Z8#)XLzmFVr$WV&tRNӬхŌ[5O Pu a @~Rvt7){'W`ͧ.@˧ >1o57-~)el8ݳ#A3rNHLxV+6"IO NAW 4)#rmѝAb]҂O%uACVVlN3|7E"Cr2O9UD$c0yVl%y0!C[.$+b*]5joGE3Jv>xOo}5e"1v\K)! fpxMLj g.gOwhKEzQΪ꘯9Oq;\.Dør^<5w kdW6TS1kΒ8XܬyZ: lex pGdYO(aqgYZ ~ Q h $ i q N   tB ,4, ^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_id3\M'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages2P7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup1O7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files0U7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id/K7S'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messages.I7S#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markup-H7S!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/files,N7S-HOL-Quotient_ExamplesHOL-QuotiC7C'HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messages:A7C#HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup9@7C!HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/files8F7C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_id7F7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages6H7M'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messages&F7M#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/markup%E7M!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/files$K7M-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/document_id#F7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messages"D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markup!C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/files I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_id d'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messagesL7Y#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markupK7Y!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/filesQ7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id *'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messagesH7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markupG7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/filesM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_idG7K'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messagesE7K#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markupD7K!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/filesJ7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_idE7G'HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messagesC7G#HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/markupB7G!HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/filesH7G-HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/document_idN8)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/latexN)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/latex N)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/latex H)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/latexM)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/latexD7C)HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/latexL)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/latexD7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setcode/set.MLH7M'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListcode/dlist.MLE7K% HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.ML qZ b 4 Q  q  7 Q qK7Q)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/latexJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messages*H7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markup)G7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/files(M7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_id'O7Y)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/latex N7Y'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messagesL7Y#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markupK7Y!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/filesQ7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_idK7Q)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/latexJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messagesH7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markupG7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/filesM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_idL7S)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/latexK7S'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messages.I7S#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markup-H7S!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/files,N7S-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/document_id+S7a)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/latex R7a'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages2P7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup1O7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files0U7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id/  % p`9 7C# DHOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup7zXZִF! $E)[]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;U+x+I9( 7x4uvԠѬɽ˹g""#ԑ bˮky WM6x Wu[է oՅXC`]jiQXէa|?y}K0z:zqƪKU8= HސR 1GOAL_=e#x_kԏHl2K狠^rfXmqy o`uѵbT*t\zrrM·!}-_Nt)BE0{VW*T\F_Ѓe4*~ؔ cjK%à1UZ5BwMa?@<ܶzup_0?d_qf* z)Tf{*o$aFl@OoF*H|T-cr'F#36`FHNfhd?lnZ3Ǻn鹿@of:xNd/ӧߍ{ 1(X"^778ngCKkeiC']&l +(w{yPL0UF<IˈS,8ƌ ѧď>" !ri{rQ룊v׿tΨóH|!;&3*rka(V6U/ѥW 90)QBqN8QTB.>LThο~fX~ S;O'j<&Fl.(*/ E^ l񳗀s5[ B5AM҂ _~3[vEx%~/hlCgy06f-Cn3Y;H)384|ǝyG!:@1R3?L㇪ٜd]xG]k#%W@QmP5Cؕ r1kG2{-lt</Qz<zv~^_ÌwDΆ* m[ mݩ1z6a.g|Vw7_\i6#5O鞝GQϐD_t vH %JPz=N̹JMFkX5B*S)0qzR횙d3Psd>j={P0AB̥jFl8]WQtrRsMVA ,`AD6'+A@yk 3 @r ( $&~BoS:8N<@T'\U@C>mZ=L5,;ӛɘkF5Z$Ͷ}>6&H[1z"Wq9 &գ Li}zƬBJCac7@#bvaK UD_9/8JL*(RY(4tСPMńvGs&t|WȆ#ذϔ=ˋbE2MFd=}? =ő^-c)5sFkpa P$&lj8ا Jǡ a;ΩdfGC!zI)SNɑ!h/a"&(jEb,dţ.E `d›m-16-|M0Q >&/_w'XӾ;1劒Rg#VΤ_@[mB}ɷq}pX^t9/ta}Qt,k~ zPeFS[ڱNz.,1+ao-V惄PH$4 P`kd(~]&MRMzFzj,+WgYZT99ԭGzP #Z=9+?26A|=hp\ pUQ@Uo!eH@ŵ(n} <1LG Ý4DW>xKtPv ppA],>,r1rq^,_5N$Rb(./S1r1X R'DѰ&O,Y8w ~&9v5k<ds7k)ѻ33ϐ]Dbgpm~>c|*.Iu䤝p0&3ͯ۰ s%>"?9otrۄxt~e>Tz71i˔b]@呟LJ湍q{ +JF3Fg-xHIF.N:2KT=~svwaGّ]jVH+ N<]Es{p6'袞 ӵ g 0I$f+V?Ir`]H(ܝi{}zv=lD|:ZVz l#K=0 LD06wbe$Q(׊$Z61f\LZwW|!EL};oe)#ApؓfY=Cb\6FTnciا-9HsA.17r^|1s*) έ 9':S(;/kxZo)bgU]2yt PäZY4zc6rih6AN:Ņ;A 4xK-v˓[qg:QLRǤMJɩO-_aqIe;ٸ6,H2o[t̋;Í UmF~W/3iWMj?֜5<Y=_5i+/CvMyrvQZEQ5Rқ΅qk11sdi3xkzc۵4~eak1@7޹G`mK#F`FX{-=E2} j(5_Fl&>fpy/r{]39`Y 3 ;%lMᢗV$=E$ri0IBh8!z~nWe$h.pD$Q%=%5B40<Q>!J͸ftD8:o\EyNP0GMmʆ/iYl,J< 9 $с}@y*DJRԞngD8:dh!{1gճT)c<U$M'KyU'uoЋ.ФN5x˿OҰ:< 1~v-~-Q}@ν䍮z$x3uiYmCE`37?\Me* \JL~dQ '58KL\y| HO_M@&+8B>GL`NHF~{4T8F懝:9X=ugP; "prB,Wm*LjT)F~⦟4;\|iBh]gWFm~m@}Oxǹ.Bra|ZeQctz{y(#2J)5]Ap<Ka= =8)!~R%a@="ʷ?w@^BIbqXbPz "# H/a>P>qlʣE>i -LBJ$%a_y\*\LS˧τܳ~߽}%~>1 TЇ*I>.%](?Č=x(am0ފ=r=}I͈:14~ԖLQS% ;.WЖy_ 8/?PfNZ)`r"00\}%^ yo_tt3L1$ '2=P,kVA}zє2F`t/`?|pHjSϒ--E,UCfslh{7XY++Zi]L4fZ˛8H5wkߏcW@/eWc:56/ZfTG')734Xf8" ȱwc[<1$P_?' "4FVʥ(b+q{ø'1Glgwjyn</*p\4LHeMS4ܞ] /̺=gSwX\^vH4 A3[C7c)μPސIŠ8TEwBZV7 [-pfJǷ}jhfIW$o[g@DԿ8Qr~IV/q߆),:`/J"vc32CT8E Ù<ƫUS7Ud{Ίkb)^|XQ4p1*m|VasHY f P 0XUfs-dSP3O>|:rOoJ:%y7ʏr]󠾇|x4A݆hb y6'[ Ktm1[H%r(9 dluЄ51V}jqm[5\)W0SܦTrdBԩ 8N_@A@fR?^8h({O L` f/ѵ;W]12 i)Mb?Nթaف|:/2)~&^pɕ,`0~խGZ5na.צvOpČ2/ j05ge"9gI5sx;h/0JŜ,tSHl|hݺ&L ֤}eQ̇F1xi[`mUcla&grPe2(݁DmS:< Ģeq4~?CUhZ=Gd%J߰\܋['fA߀8:(]H+@ ~ J:ِ4T, ~ϏȿsKB\5jzԳuO 㘛vr6h+Dx\HX;c1"mhbw䨵so `)Ie{˪J'L4s .KIcE*t<(UzE/(CSaGl kP1 `hrZX @aE7{"I#]WԢcG71V$l1[Oѫ0~И@i)=@ gdmY4"sGHnb`cz^osV|I}g,, SS >!r )L߰ '|,hO~4yAB|&& ^϶wat*ihу:M(iApk/vݜ% a{i.7Hos}{MBvJ%ڞ!Z9`P0ap*YK7<>|lrJ!\,9~b 4u. I/!x , FQGC%!C6G-3>quM˺eo>hWUQ NjaP٥NtˍQglQ{鿴2H8[쐵P/(E%`uvZ$4j,!&1J:6bdP3~,!Ƣ&ʼnhr<EƎas\|M78铽v =`oKViKd 7M3"C-7NLM6V|.%lRiȞTo J8^{jq%yŌ#E^nw5yG(}+R;mnZJ*]pW]/3ϐjMc%u ֛)TÆ rE{oWj,J/{$zoLWrg#37lKsaJ&rQSpI/aHx~Wԏ80Zsٺyc>~L>( X.{3LPK$Y6& ލsgF <_FԎXGҰᎂ,4p SHYloy.B a)Nжi,V)9aҝ[w#зgAcbmI VگBNCttt*(j̨@CҁfAM':a$OfhBDAbavY*-2Z YB ŵD3ȣp?Dj׊ :穈Г ?/4!曁=}S#1dgv 8IK50.k2 aƄ.Kd qB$2k7z8"n:0~lEv_px;tgL$ 4!Ǹr`U̪^~yz'J7;/MC+&.( RО+J7~({>t>5|C@hBBFq~0'{am-J|M 4e O"jNR]Po&,'; }VEID hw槏ɨ|ìLhhp#a).<,$od60d[O$Bmiq/̦-V\BD;UI4*PͼVK׀adzPH?C˼}xVُ9Үd=. 5L͐(rvo.CO `E(83ԡ .]g$e7p:ȗ{@F%bB\O6Ȫh uwcuS_~m|spNݶ(TM t} 57R礚oktTr%>Cy 7:++o }D-ed/ti[a7+dnXHYFŶ$ 6X2k] o/tE܏LnܿxyI;.C%l+#7{ɏ%58BHǒ\v 05zP2Khƈ@W$^10z$77Far#ٽ>, -Ŷ8M=nhRW\BK4 ZuB_YsZW]8zYʊbV;=0 Ai>j!$2u,9W!)^v.s* v̤nT0)g{3]˘ފ;fP໧C'F@}fZ@{TFź}2UAm4vukx>8bP rDUۣ w!5>:ڳ䑧@5*EI2quER Z 4泮/b.འag_WIEnCm@=Sy5uR$K, #jbf887qF)V$)?!dOWPdOh f)Cr+Xq>[&6HL2b:iY~@#>VmMpWD: xٿѠ\6վ19 ǔTOdYQT]u`?n}GHJnw'$"mC2 k\} CkwOC1gkK~j }pu6{WKH 2 =AO82jf&l3{x߼j`zoܔM ڽy:@e owH 칮F0uм|x{Wv=쬦̯޼iogzwxlin9YС[hv 1qYqu?*/Sc՚A6X3۵vzB#uMCBI%GEOa5oWŷP5K % F&ցw_C2ߙժRXk`]46\h} :}B3P4(?uϓ䫮 6 T dHvs^2h=&1nZj Bo&Aj)WaxFl|#d ?} Z*O~eteOc4\!l>_JB"郤L1=4I^QE^[ݔb(`87^86IKzFe-GU|IԲ?aæ_b5>9 qCW0M2c6yz\d-zN;Hӽ9t;?M&e!AxF. 岲8m~!8,0^O;fxlW0<qcrU3OOkƙaC\{BZg]%fǻ0,}dRԃĐ#/?Մ_̥IzcT.QrZZINӮlpQzkA8XgNg̑WK2= OjI+-M+r^'S5$|l\+=$R^mOu"SenS- -}`FDPo]ʎ(V#0!;ר|ocK!ŦL|&HfwxrN;0"wE^<9Δ}"P~@Icz8"+ͿnTV`׊nA1<L٠)0g.<,}ƃGU ԗ{˗Y)O\TdTX?Z1]e"O.?b^4:sCgYZ