SQLite format 3@ T.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 17t|l ]% HOL-Quotient_Examples:threads=6elapsed=25.889cpu=40.673gc=1.9147zXZִF! a|]ŗXiɟ=QzX)qFCkW*g_˴A(Ok| ϗ]1 7n(hL=Zľ'jDG1˂ Eq}1n0A\Ƌ e 6ŧY[u0;:m=YkUKW`)ΪW_pڏt|aMOǂ#q,Rouh8O"C ЈS޴gncu;*"}Pm\K@Xtwlp\е$}y_L*v1ЊKJw^=Y;4hZ ,*!ecU-qV+qƮzn}eC8" [^;. pgAiZhD7`4W/֤&N=t4^dd>B04Fu|cq9#wR&TxKSl5b(0}$_V|eJo P!syC2DnY?/'.A:V| OpJbӾmI4IfVx_Q4j И BEjg3ZdWRVff[kAsoa8}#bimڏiAHG7Ai[9tQOO4*~Z3#H\?$>* :7 dM=u&[tK"TQAuJG+s5-{ h a Q(CBdx[+. )J ȧ@"ɗfu%LtT$*,:*dwq E泝0ڰ;eVa­Ff,Ȏ23F *0F(Ce1kNu1QKF(@68f|v h08օXt+G2%,+w;%i`l ռgRCT&͋$_rcw ugb^dx6&ǝ)#{NQpwײ*T3{fV#oi}O|2h5 VC=ʵjX?ww hyr l_Nd>5~q[\=R[YDyE#THynMd@ lZo;}yQ+!xai1ΑX ;8qʈ2nׅc1M8QvthA{HΓfˁDz~ i;>+J? 5Omivjiރ"O#tuR)Wr,6qݪ8#}bp%/oW'm n1B1{ґ9 W7ȌUi TxܤkUK@5y{q ="8&Ѽ,x" ,]1vl'lٯy'g"*z3xN_:4S)"ƫB<)ZY]g6s{:s$N;J, ݽ(%E{>ѽ/N6PSZʂC89gFtD4i)6h:$F+Z#ӟ$.Rg@AӉ:;3QC|}:F|/׃aD3q疡K( gd8+Kn!v>\ JT|yW%)eUkIrs5-2qaG{輵}ǮLt?`WbT ?bհfǮ/ւMFZ૿ݟuzq'iLyL[,̃>@>>c  dasM{_) NlK >R?/q'Yl/ȯ:Czb#D=J-We4S<;;kY˚Wi\ovǺʻPP<YوΌ7dF̬*q Bi '7 Crt#)+^eՋ!]Z }8 KwL2Ԟc Ʉ|x !wY&_ڜ&bM#6l?zŸGŴ n!Zm*2q3"u{ C} ncڬ3} Ilga+Pj px [CRVǝG ݖ*^vڗRTLT3+)51ib'¢p{DD[Dihݮ:_"1 OlNh#'c@zY\Щ"(.Λ>ys5wkҸ(:/B-_ t>2֋2 "ܛ`\ȨC\ovg )Eh_”bd+4<0yP5+'d'R75&̫&gYZ2a807a01e17d7fff032515589a0b27256e9837fbc7eca97fa6ef005cf19e871cc66dee919202f2f5 d7d8e72ec37a9d8fd658bf45be9f01f4c101427e 98e40bd54e0043bfb45e5a21a2cabe0561c43cf7 adc04a021a7e3236a56887b5f43c718c8c243f83 410d7c71df703390ecba0b0b87bb576eb031e36b 7 HOL-Quotient_ExamplesT^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}S9N8M5L1J0I-?,:)9!7 410., ' & $ !  P h $  L  q < t*Z ,P , > z0N\t @] F7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages6D7I#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'G7K'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messages&E7K#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markup%D7K!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/files$J7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/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_idC7C'HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messagesA7C#HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup@7C!HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/filesF7C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_idH7M'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messagesF7M#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/markupE7M!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/filesK7M-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/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/dlist.OD7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup5   *@"v#_/]LWWECJε(pzh_X*3cGARNV}xwr|%W51\З"R2 OE^@ ?"Ê!6X<ǹu3d)'H[ *h\5|Vðڡ@܃J.c+HD[J FN`;b8yn23G1-Oܹbث"L}L`n_O:%·b~(E0 ,0\{۴S=2`B9ZG`~ZFٗ$?􊀾c\*I&fHL4:՝r?~LB=i9@ۇB%?빾%|,/۠I;F OwۏLƣ[䅛~RVOX[JiSwe]̂C*xY%Z+y\e0=˂ 9 ]6 "{+W -E}f9{őTԾ@[AAdV;/m2&[\ k!W[]o+$:fr2Ė_wc.竸 фbT2Tγ|pay IA\h8LKX+C@"H07.v] O%!oC(C=hR~TjNd z@(~B}_7ïW?kۘ; L5´q%)gQ?_T^>% Q_tߪ=s`W#"n[6/՜TeJد~cX!l|iL * ; >i"+;_tl͋Urΐs"]Z>3Xْ݇h¬Q@fT2_oOmg9$V 2&' j|Q5劂v/Bm+-uLK8 j UtR0#Ҝ7"3O )z /MRX1 ǔ)1>OcfD}pڭ?qS9?t螋fA9_o> WUM(!@d{$s-v\nAe3P}& #sF8i(g|w{6ಂ0v2!T;'{dhwf!K1jRW!G|7 Emguj 󁃘qRh dRh%K]&: /@rw,׮ݔ=MLpa9oGesb8iOkѲ*Waot*R>0Š9De=o'>}k!+}r8rpy tI]pn,mhf<N F﷉w_j>: NrANUB`+adow!%uuv7AC|<@٦KVyvH-W9 "1mb3D!OMzmprնd -oe4y G+V,T:5wy^K=pfWR֭#"̗溪 s!B`Hb5-OE_;v]NƎ>$dj%8w=yIo3u x pl0|,%E7DP/o3уvKr'HYҵ*s<F- 2Pf_m H.V'jK>'o)!=xb)<{4&wGОߓ Q ;BACBP*wR+klAn(ƫH'98 iIؤenEan#>Ljmu.o&zR%S2]Hy}.d`%+ֻHFHYU0Jj!@c 3E_XOr`38nˊL s ?E hoI4/d^] xT>bE4.x pX?OƞؾrZipަ n_T1| WS=wm^ɗtVx=;Aryq3"d;;!.t`v̙:-8(o"MC&=},~& NS#M1=6F k-`MSu|TeDtb+q]LfSTáHzQG(Hf`_sIy0S9/!B 7Ss% uO.y9%,Rn^weY2!`nYZjNY8?ʼڊ noȰKR(WMʱCJ69!Ԅt3j`rsNުFNZu*n2,F<CNNi9JlMF (u]vyQ xq niJC8Ǡ(֍l}(T'.89n0{R51aKo׽+I{,r,6mg4"IYD JJʍ?B?G IN4ͣ1A*U\Mi2)"2!e ԕHcca|lPLçA4djH9;HROxRx1^MSy8:`:8 _ yMŇ lp0٨3ybl'p1{t3X C@7}BNf:O(zM Go}'Mh{qsІҕ&ܵy RܠmtG p HF>2|r4A?ӔzܘtS62]\fVb~;e;?jcO.gIVm9sEHFG1y /G7}nm:}q~VI 캅'gcoHb0zÀ]^̀9@!XMaX3\;ѹۥ;) E˘-=,ORh#(|L#IvW@ƊjBLmKl&b|᪊Y0EM4Z-D /PM4%0H컭DUIy8^0Ђdi+؇IV &W m~baQe>3\C7(8dV3[F)ƃE9tp]Ep^xWI 2_l+`䋟 d qA*G?EbVCy”ӠmNx ^.h kf$YƮd-%ۏӵc=X~.mkiRDžB4 {`*P:dʊ@ nV?+?_Vr#l@[@9Y¯[XR[;ԣci:Id !KcJ6ZusUXˌef,t2 FW'E HlB,·1D9{˜` wVbZ'1*8יB5rkCЮ J9ª*>Cݨ4pYKqS0ʐhEfUNZ!4 n5kBS9Dj[Ԓ}]'Tk]+vFЎERzIM)-d+ G-B=,Ń4o\;hc,zu% ]^tES݄qP6?Y#ENkjD/@)eOmlfGh`kk1g(2}%,Zg̀simFɶŀM $ ЦŬ )X #^JA<4|p"OXD`/ ]\"S҂l6TH +%. E+<_c-.+%:<^+"{_q!3&wFqBAڣq[3W2ޖ9F!e[l7nWf Rߒ'ζ0RSF'HR)DoԲT+ '⟌S$+d\Se8}0l.v3Qr{EAeO ?<|JQBovZK&rdoÿV`m+p RE.Nl#>{]}91_sC[m54.4 սlvg4]Dz4Xi2fn[[o`HpP$gݾMvh9xFr%ҦgBrޯX~v~1jdoc#;@N@2F`謄.#QER8 U(μraOs%{ H'HʋaTyP)%ͣiDYj|||Mr*^@!+M/v ~(}^;XC@MϠ1U\]C}%?/ X4K=ͳf6-#A}du$+k\覯mPL0oxTOB(ukvY^N/vYі/9w{H8(`Q8 ʘ_p֨4{5V_fgjgFI?u)0ѹ-ma!)@8hJ7 O(Tbx'iQيo@&/ X~xϔlU uV /'B噡1{6н*#˿ۧKYqw"z^GTx1LY"셉S+ 87?DTro\A(IqCr(vlI=LVFb&d M9XNS ¡;sXB"ɱgE_gUUMu{O~J"nw=/B`TLiqī48eNSz!S>NL jK2AEd~v]ޱ \ cIgh;챖0 Qzr#'f< eYFU9bC2 R{I5(v qF/i󭔞 F?H Jε{{u@[gd^a_:qqbzsǡc_5PwFN6iHƫgDtqS4.>k0|+2^@R |<"!(]$X-@'`gC $@$&(MuQ U< E&GeVcv*;uQXqH4ۆ8(\TaLVwr sv$%7Ikl5"ci+UРj0mM3Zsad+3t +pU0~KTiB=U1zc/jVwC"Ϻ(+J@ɹ,|kh34!7F'HkPuv|SR< 9:'PI/SluHPʚh89no.QPRuſi%aM?M]t .zLmo _95dmQL4T,\UnWf3(C9*i"kԐTӻ_6N-r8L-=lzVW$|X@eFujj]]]Pu^NQAHA7x[5~ݨ}P2)Oiz]hrFǒYbZA3czpGO=:׈3b>Ta"IHz.lCdr EAA߆0JH~;{|ͪYY_gִEU' < P~#㡓Vl$a -RUz9p>zN,c{>ݹ:+p"U஘Q3lJN`9fmgW5+ ]i@AQ*gbڃљGHǥ6 ;ŕPA<MX}y wQ oV(.Cl*LU6 Ot1P/w;ݨnv 8;)*8}mHZ3=~IC[>5Yr۝ocWw:9'F`x9|I*NhUހ2t 5a=i>A$l}&`ہqMpzN~Q,qE;(3'BO1Qq7eQFh)]/$g.?KFuͩ]tj(߲j=b0ʂ UPf\'\y-5$-!Cez7fLxfcMP;^U3ո~Ʃ:H:8(LO g?Or+@(|tME)׺0)̅kp/N?݁@m0a32>ٚ`߈OD uL6}Z=St&i͌vd@;%Cۥ:#sJkvf A2Mv*J,[ 2&@ ^IF@FsUCbC˛H?W't%}CԦn+iTU:&Z a,Dq8+|W~(Wdfi+.\C}tKgRzeڌl4_Ћd QƝSljHpU30ʨ=srxe)̼sH\мpLXpV^_oS& C.cT5ԓ?V^:|"(#WR1m+ `.sO5ɁowCD8f8d0y0\!+9ڎ0vGtٝRw!TҎMQέqA-C?mIsI}tuM}ԧs'[~/4G2U듸͒Y*KAd^.˃~C8gP癤ŝá\թiS,U!mw%SbK IA:O 3D!ĭ[Tlzy᯦gQ2Ol K]>pĿ;?&qJR9M~2cۿDGM1RH}il|Bč] ȷ-se?W}cʽ򌂨S)z=oNe D0V<}=,פ<#$#2x6L3g`,Mk_YάWNY_wo ms@J)'z0ȶ[lڦ|]վ_|*R+`67#5]#o=C54+9b"I?.XCC_PdѴ'ɬ=!EĈmB 9H"FU"V䵧cD xO$Ssּr FƅfxNl3nҚTt+=à<ˎXS|9ͦ-7d*qeckNF 2N$0^?%n@DbA~n,'{8ٶgfM3y Y,MCtcm73-Pe4K 'f NG.4bJ]5ZCp*`r9Tky-k!6#/^CXd6>{% rƛA>/q;ܥ3=\ }l/pmgMe! !1T جZ7$9*7W"= hͳB%j!(pP[%^1P-]3jfiY: 8 #dZ<(wkHJ9XđA؃ny =v9n `ܖHfÇRW~*9d.d))Ќ*U+:qF_ğor W71,EgE#I{m1v5V꒘RiLNԠvqXXij4#&y+/]w 5<Fe>=2fBZ MpJlL=c@AC\ ? ;:+eT571.6Gw%&euhJ4"gkre \1h/w,CVMpCYH,K:t=|tr_2U$.w5x/埮>I]1+걒t&-!j J"Αv&m}I+IH _,0_7ivE`G GAo_WD£3d~ܣ0~1\]pjXEb8Q[ok,M 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@ˋӻBay&tX٩ 4l SuRFjta+l3e~Xӑy`Qs!2 qS5U}pwKrx qƅ2_1]Ju&۩vW'V0űh>q+ð#"1&B "_"Fot}zwIC0QZ ..HuǏh~y?v~=ŀj/Pq@V{ #|G6Ҁ>_ oBUg\Nd&#E6EHvk8x8Ĩ>4zu7FsPv2Pa߉N~Xǟ#Mėg(tiP4)tΊj ( ]jFC5bV(e zQYF]WjLyAgUtJщha/A]vL2's’f$7?.\B q1-Y1<*M,}#Qwp,rk3:M0tF)~_Ăța0"SgYmR>?1}; zbg8 @fTPx *Ee/ǒ_%,KzZ\c$V/FF)mPlE0Ǒ(@!g+WpCM2X`q%uYi`68_(QME4W2^^_T7;JZ.j3,KBk@8!L#w h@5?X3C#1FYG#|w<*GǞ|R'vRZG;0^HHo<N5Q^/u2{ {7Frg}Cd'4!oF4$lrSj15w8Kb=X>؛y{m.;NR=4 n~e;dݫRw|mɺf_]:>.׋^McKs@??m-t#j}QԠʤU c{"C/nզIg٧7ȝL?luG>r6yuZv3ރߦ^L(yaP+XBD=t]̷]$"AF((Ձe6=aӳß70id:3 Ewq+I1/ |᜕Y/[_0}ilGmggғ7 fإ2gn;ffw؋2R{{;_fN.F 5:3R/~,xlLHΔ G# +E+ a8,TSzHjcXv ]k{Hflîk$ ޜ\*z9]amq|ٔ7xVv:xdxO/N NnTfC8aH_`}z ?٠RRr $d@BqRbDN.MY4 G9dC U.-\6$|je7KM*w5͘ e`ΗHrC12/[m365uLӒru$WG#3MbM>FkL״oq|>( c[<-95Bs; n E9!7/'M!@ sr[(#:aaD&jg3@IEhmˢtzlN>b^F'/M 8>Ҕ *7`rRq>lzwRJ{'JZG~5]JcD\j]$h+Z Km<-tڔe#47߫hPڲIdzvEpAb;l6o܃c>C фɔd _DũdכfaL16o ŗ T֩+nׂ+d ̲ AиF Q ۻͬ+zkb-~PiA= 5y6`XbrNa+L)q50׃5& cخŵ ]S}w/ f7A3w~-7טMk Jr2 ˒F܎+9i{qC;g;YβCb]`~* =.)2M6فж8avKw^Z5_Cbs q{vnx!ۡ$S~E휬>G3HyO=X2W4g~%g;[ v6GU`<`^㠰Ʈy Ѩ6xhī1} 8uk XODf]FE+h|V x=F#l(:9>ˆl'Mx񟪰oO /Sռ6 3*l,L>fk;a Lx zPΊn*M-gj{ev֑I<>t-i?YQGx^~#|y☿0Z4);8aT:D{ 4s=|{M D[Mծܘ6ޡt؜:QJYe`UpG}-3xpO?1%%M]&OB_PJ+P#n{$D$CMx@٬qۗQB>+O%,?›t3 4ߓ@:G57؍o~hiq<$Q%-[yr{p&DW}ulƮ _no=u;!a٫$me0Z`016!*E49x#ᑭ R҅@eKUBr0 2]Ҝo %$L֤].%L pCXy eol&OL8|J`@1ZpJ*Ujh`/D+,J~$[=֭mH3ԥ=-nS0}Br[L eIUSs ʛУQd"EaKD&\ 3ڎk[Jdؒ?vb+d1|Q)uH<He@žh"E=Mk~N˛İB8XKޣ Q%=Ή8fF\fjx;:Z}ZHG2ೲ{HVEVLkTX1gŋ_GK \xMdPm j urKpw\_t-bH.bK"y(|95En=&` Ǜ>`{6a?c\"Ikڧ\z՘ /ؿa.C~AtР=T>/MfK}>Y‘TXx>M=] -^q8JG9ӵֳ{*(6d IP B89a@h;f,ZB~T+CAI4 h,G>qX:PHfŞQl%aE3:ѓ%/FRޝOU^]b/?I+U۵X $ ~.'osư;/nj-_~cl5#F?fSFpP<[f^5fD]n-MddǔA Y9/ׅC2maNlְr|.Q8p lGz #ž`ot !s+FK,:?{g9-* M+`7sb:-OH;Ruj^ަmX!Ex{I\>ļg4Zni|F}4i(qZPmIEeYKnX*kVlOa]тH\Jv .FӝAU2,?{6X!UezA+E4e+lmn!"Z@^/`G厝,:o{†_k!K\vy{Z 4.HyM^!* Υr) -NNe_{eM i 4e^xutm*2 6nmqb@83UֺkM2#]PIjjܙ~:{vcrn'sl 2+Gէ;b% T_".J3Юn]ԕ_4`@cVX qH!֮4[Ǿ [jYC@BHْwMl*ScElbkCM[,q|kXWCG(SK_Oz'ok[m?y^R?-v6VVS*B17G(5#>,8-@;Cȸ]CJb$Tv22g[u /8"rۊG`pJXOF¯Z']%Dlr͇^7ƍf$kW3(zm 4C׹;5սlG欏 `|Wh!BzxBm\vltsR$^\B_Z9[N jUK2QmIl~6(h&Bc2Yωm[ΰQAl_qh̺m }Rݎ{5Fc]v ¶="e-9iNG?3PZ~{oEJ~BO}9Īwpqf B?ۊ3caX|{t?ỻAYf룩>%(*pc!1CB575r^CpCIg tOr"/RٵIٌF9she *^wkWI=U}?+]! oQ"NYר/CcbnVN@mW'3R=bqMmiA3W9̼>'D``2&HVǖ˛1m* ijI)xXhO5äMA~]ХrbV3UbztTb&5m\h:~(2xLvS@eA@6"pjۺ8%;=]qgZVd b 'x071!Hd-YQWD)t2Bjc³MTN9]!P_9[.Ӻ[ (,0>AH$E;Gi}3=CXs>g N8E Q/0ThLPtL8d ЌEJ@g'$QomT*+o\;<ɯ jPKhRc"ߎ釱 _5Vi5m(V0Ϯ7gx8ya㐏`0o2>L}òX'OF5t6J+帬_,Y:L -/dQ8>ЉچR`X>_+ylqG<޴;RMNozb4'UUc<@-q*N`;Β +%cH G^B'`T#_^^Iz1{t5ȅ$9"-DJX09 Zų^G>$2\{QYcXU{5qXsNv':IYJ1ե%DE7C_Q'.9~?=$4-<@a D`Buaz$(&xj^bo䥗pSuXN7*ITQ(P1dE \*7${~'rTR4]R5?=Lv _1^B:icdJ1{4]:Cbff"MM7WCĿ8!1K9v]LA[((V(έ(m`(g -Hm } ,ͮ[1\#Xq~ d[rm%&sTD{T2[R,(^epX0pu|Z:lr %xX1fY8؃ %&Iԑ^(by#q8Y>u[(4QF'9Rrs~D;U0;e+16HXzB"ԣ"+x#k`¬0yszi4dֲ[6zn.c7by[O l:>BR4<']7p:KOI]pXYYYB!S IC`|ײ]V~B;"iDUDi !}g.q$7Gڔ&TF(`z`ji+3|e~s!ݒ k7{!ת} Oti4+Hy۸5q3 p+:>(]~y i[" j#3%An&]^U "C+=ígh!XϠ|VYb}2Op\LONt[q?Y8E & naVF?TG)(9zqZԆt-|ڤVmy}TNOԾ*l^b!Vralg-x(Ω-LH8Jzu,wc"KL{>G.nH2et|N֝*\ʼ!5Ddpu(O{W !eKMKX{T̹*p K%l݈. "3Р"SʑJB/[{Ql۷WG'uCY(#L VsZmԷB^.e 5 9=Li#<4x׎| jLdN z˜pQfN?#i^>?_Ƃ$UjlP$Np${a)j-Ε$"qUc U8WoRT),Ȧ#3":F[ʃ1tn 4"jÂwy3a[*1Қ,4a\9EJ\(8c-#p6)` OoT } A;ֿZ╥窊fǑ!vkhiJ 0♷qe21C7|%Z22.`'S=.lp*4u<܋JBvijDݞ)W^aRь`Q;"@WJ6}yDm g7Xbl@+N#>6vzGT4EVxJ .tn0SUgY; #`+@kzcESKL]ѳsE9^cb7bwQҡ@a56I31zYֹFUfb:FG!K$jdV϶h-ZFԉQ1xvra /Ûw}YŪ0W8<{1caW\Gvْ6}؂[Oƺ@#=PF}n&rpOr!HK/c n16X{~}'w#3R`>H 2%H-sH'd|_@6(On| 2sk yS/k[GQԌ] 3Yzwg64Y&K )v(|29cJ.d,%xLκYb|4. lm*0qE[8R;rkd7uwizSk5m$<\CZj&@qyEmC8^Rm JvU$@MR@u=q@hDX$a%t>0BNKc|bxяV8Snh[ҏwnmR&ܬ8_QMgia6_K%ѕ1 {6s" g_ܫHާkTlB+?<3*$CQg<2i]uORu %q&%NzӠp89|Xh'Ƴ(,!,Tڪ:5t GmC*j]Rbz둥0tܚ y0Vg?k0X98ƀ;SDڼ֤+qv-(^vtu!Q8Xj^>IfA't-QON>0H!SX i-A#VK]7&$թ(V/c| (! ڙa̸0Z L@b[ۂԤJhqB+~4^ x@i[c)ne@5ä- XCL 흿 1XFmc/"E`LzT=KXɒ6t3y(x/\o`sapg} wG[,tK((u ꥝tLs$ oWE 4Sթ n)(ٛ{rB-f!lOIVMPNٻg9&N:7T3Oķ64 ƵI܆J//1y0m;<'=$%Qya xnhhu$yՃO)Dzmc+ֽ~ۤX,U,Hnpg$m;G׮l\!{Q` G⤂в xB,Rԉmc/?J EYG#+É32{kiP&D 8lUhg1(YbsZG~NNm{pS8xk< hf&E:Fg8{QP@:24:Tq*ECI'~ Ҋēaqٔ3XbcL0UatjJ]>9,/Eoa ID)ۅ}҈ +[E6@ա֨3^-afB )&yT x5Nz၆Gp Ճ0=4-7$"' &'8hI鉷n{Fup+kkcA#Qn 㦝zQX!Jfٜ фWa]@򴐟tR/7}ӱ/M!}z=)/#b:$3CsAGmshHCΩϋ-+HY76[ԃg$P՝iANC#!sTj{l~ӻRr!C+ /1|y.Cc7Ld_?4T,E; C++JldetXu PހdI:yڞQfW3!Y"|LօTX͆[tt8p1:d&hA@-+2JO,x/6zt$J:q $=ଅjZ_Hy;hoi3ݼ`:^贷|DJ"ٴQ}ذ-GiT#t u!t8U!~=ȵuǢpHIfO.q#0A&jYW])5#`mG..T;O-N >  x9h>!caޔpr5=mx ssvSR9iI 6әU /M˵ܹ Sy갬ǿzfB|4T_}VN!xҔ-Zܔ~5TK;JDƽFu1̆^!$8bض<ԑ;PUA{| ,"X;+'g~Z-Z} *e hN5]&G> D0yXm䶐Wa ;ڗx΍FYh2D,FEv XG`*C,j.c[19E 5cѺI8Xꯓi%UAL0n?rǾTl!ZK%W?$2/u]5OQQTQNfC}3*岧 3.Ȭ1dFVl5&!yb| 79b,nxZSQh:)8ys!l1k, DK5yv;T*dm&r`.ac8! V*Bވ;*t*j8+Qؙ-B/t7l|(uͬnѭf tHY:&n'pv ()1]7&J!C[s:">]"(6jʨ.@XMÙa W*>]TÃ\aAEլ}- `<<΂P%,Joͯ>@P1G s8''1$q `ou ~m' y|m~dž۱4SWj̃LgYZceG=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}ǵ˜PۨTkKr~;|ePNUy=D&sΘN{b .)f[Xԫ _NyPËch"n|FhS. Bs9 an⚓/ n:.&DnX";@53iǵv+.E4dO+ȵW` 濃^/ֱ 9m<#Aiwd`Gu:2r$.b &bRj|q62+^{hU8k=OnWGUQ`mP Gs"ʦx9-twa] *f`S9()eo֤nMSgL-6ʖE fB`/#T9aQڱT^̛W:WHMV*Vc|0j.X x6 >i XrQ"tKCJaӭӐ>Hr"!D>UxqUW߬gD5a\`Zz"@M,m+Dǧڄ@ #qѕD=q;|⇻4 MWz ((e#f g$_ Y=JpH䌢dSFC,| :27JD0Т!0'GjK4V3pzK' `Z1Z"G@$ëRd.iQ&_ZF2E-!_QR2qpBgX*%kd u X k˿|q@~-~uhc\3{"*n{g6eO]JZQuwEGJhJmPV[Z~3ĝ1Gan"gﬣZy6VpƢ2 Dؑ ,/MJ 7AC&imw'WX֕E.rvp2T|%Q~4S&qBG>(B̓EK;iWnhJ3BDg,w)2Q%V!gas%_o3,)%- /2g}:U k 6z1!1gp9|kuZb)U+<$7mJunNYMĝl qJae(EApȠ-d~-W,ersCyKN ̦BޓJv yTd_KI[P / \ |ћ $cdzs3.;Ւ{.Vg N[va/cLpvxm(釞8_-ߩgYZ#" `3)^QTzs.n=Z-O^ s]`@%)'Xnu+;?5ՠuP=eLm)fgCWїA 9tB7C-i-bWrQ7ݑ ]&D\e-80}4rk9n80}3X?Ǚr3v^35i V.}R vd5  TU΅Os$jm3EGPD}&|_ >g2ɕ"s7].3,vgg]> >R%8{=z G42cwQ/J@n e2(暟W#Cv\"v/)IjI~Op,+%R8MCG%N327ط 4P[FxU_]4"+.ޙ1XQv/SsfxʸəY&+NBfr_R?OT> v0'"J220fzx<Q?Od9h)CXD{FӖrAVm$SdiGdn$g|ͪwhO y0Tm=R12Be4/3< f1s8ʱ[!`$5p4dsߞ8,*COU"$fAԶ)s.qebf1ftD)wtÍM6H+i/QsJ?AoG#AdHE-P{7\15ȜPfp0L:CanA՜+*yWF;F3u;? fk tVЭIiWC!2 APf^ˉggWl巕;QGpʑHc|Ɯຍ*QBz-c~*Bng׌$n=KRS["a]RX ==!;LK*~j9In7^7mI=/DdVi0R(Tvb}\G|ܢ+yE+g>«~NlDjZi8MG&zjP">Ad)?,^c_) 54Rwҁw퀪QI IAOM-(ma@i^yM`쌘-Ńޖk` 1 Ωڻ@ *RRoeH_Pl/GxG2:$1-Rlژ {r<*J(6_1UV n(7'{^Foh hJ>ll] n }jPlyXY}IV_yr}H&R ӕ zg[B~x5m%<3UGӽ\[3PxCAkm*Y?(`Z{lK Eʅ4e\So_WD#ʉS)K$l`vj*/‰s\W|hmҹ9ZoCXбb W=Fw4M `-\.L5 ?||jf(cP*UE%~!zXPi1:q@'3\j1{V 2xͦ!zAy@W+v䳌)By&u=KoMv{G[PQo9r8Gz.83zXl=.*vL]PnлQiDkM q}c_ĵl=KzSݚNCGYC!IE'Xj10!4>BxA1Třq++<(pNJ*tAx%7îrhb bن 0r?7T7DvfBb@Dhi oɞ«1p-F&ɷ*yrƁ:jnBTKgs_^\9(@yP:F/f>^ύ`Z eЄG4k~pRvb CL f{/J#|^,! qv0~ 1v=L|[|mOX܍kNp6x a]uR{A{ V)jF`z@Z 4m`SHMO9o$aWƟ%p?'c[}٠I`yiRWd-g% z'1.ۡT}sKn˸H\_$%Q^sv$wlvtY0'aN#q5#Udv48~k|!.$U 6@ nRN2 6T69jY7`| դKsBSt2y-.C7P6v 'e5&R#ʶcd:F ax. )L|D "yoGz8Khvpu8_?$yns D/ D~FE润k=pxeIM#?j͕ go@nB (YQoLr<16-StA u=dc:) _` x}%?׎^c 2_c2]fd{FigX̴Ю쭟J!vuw~Mn Er.$;fw!MVu0!1JqIyp@1.ՐcTAO.yN1ʿKʺt+VXY'7k "I'$Ss@X4?U܁{ 'EuIpnq3=bS܇uXKVq82hCij0AcwFr\&%i;|4M+KU=Є ⚶2EKĘ9PW' *b"ZK`WڊVhUcMWވr90;j%h, =tќ&`#`0T6t*=A  1Ԏ2D ֙&h|Fֺ!nގt ?l<d;_;hJE.^=) Ld'h<{h$΍k'1Jg`vGT~+GN< ҙ}N"|peiQ @bvBs?m>2 :*+}6} |+L, .+hDjGHИ|(8(~tv=&NNt|*CK450C沐=,RpnW|[O4Ke>Mzz2:UCe Zu,\xetZ9 ~ 1 !y)k[o*PQdR~d.fGU>'?4?RJ"/|3rJiL:Ul%jai0U9Iv|nApeJwWĻӊnS&b7bTo88ZC]FBq.jprl un"UVTb˵[RhPpVcndbzGnT8>DlnӘ$o:ʟ_LvtF+;Z+C$$|ჟm!X MpOt \;8XJe;U+WpW06 *l?g{~p;qs+tYZ=ܟnʜ"Zɺ-wN6"by⡧mJCҶrwH-R *=J 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ֱ`+ G f%,w &"(ҘwBd5]4OYu8Di\iTFXu 8-?ylBzon9Q1> DOrW.V{v{z$O֛-աi:?`'e+'@4EBv r ',_&wxbs| e,ʃs0iX̨/} iOy/N (V]w!s\CDuh1 ' 0 Cx1[}^XbRvOfK v'׈S9VISnw,3;\(j"33YƼ!!K$6\55D39G {C뵘J|tٯa:t'KU.Xx(V'wJe_RP6)x# b}5# u潢tF{Bեl·[7LJuH{(}'Z`]~mL}>JMүSFDjrUip3;cYkgy7SpZV7MzbM8ŜVǐ><ڭYr7A P7}=s@I+kFUuOAg}czTXO LTH4c5c*mX w i6X)_y||ƃȶ$z}(~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-~ 0ϊJ x6N}"v7AT:('0{㤀nǯ_6| aM^h穀۞(L;),1L1Z;dAv 7p -i7;9((51E$T/ )]Ӷʱ ERГܸ|xtLq߃1Z PH!A mٚ{ae"p]^)+te: vͣkTj GК}ٻ_P0-Rΐ~4iY >eR*926^ύb?D,(KS%̹Ycj9F3{z0_ܧ/[f7Z4L\Pfd" GT,@]WA]zFI,8+G}_WЪG^գ\4qUÄՂ.ŰdZFoDLII;p?! 3Dה;/J|Uhr:k#>5Z"B=I6Ex1@$ālo2.'FyGAt\m=TK R+6AH_, ~hgaInk0y`lڥDyM4O+b\9_V&tkez$sGۿd$YkZ)AT'>Q> +$TKH#nd{6AS*FNO 0]rk;]cкFD[ F6 v;AJ4p@ud`NZ2 Q߭V`FqPۼrT2u Ç͕-!AHal` )k53UBތfYu`iJ$r4tQB"pTKjuj';(R Ťcx$Py5 <*;uДWICƒINNb 8,۳`Ĕk~"@D”f}EY) l E-?rLۖ5y.[fU}!y|xbv3cftDBM&͇Akg%2{>aZa^K׮} = vژhrr`'`KDel< :.lkʚ,H@`G~8s/ca~d Ud[`Ɵh?;pD'oQ 36\ԧݙB,&,X%Ec4*If+C'B921Si""`AN+T\@ImaښY:> '4D#j\&E0K:p֮tK[0Ղ{-pKPL5D|kw'3l7ORdB}W*CGU/1=d;<]K}ύ5)& >"ϝʃ]$Y|0H F0soaNgͥ0?{QyZ9VO!/Wubr$tйEq *xo!- r SNDq)t oIԷwM!N7Rj |üh^(w@h(ѭ  75շ_.[(:3PqI>S,ܲx2aCٯ ,f:;m$ԹcN#Z`ZW9"twRMHRyr<ಚ9Vƿ GqQx*22&xmGytQKG6qiS㺟}i? 28zqڿA,]̙NP8Lب]`u<)\Yy[$u[qmF$H9)EEPD܃Ioe}t7eyHaTʩKU$?nsdLp6xwȬ8p[q37g ni/^{R6*[Vld'$P{7&GC[3l|4ܖ] A!6i'<SJz֩0W zV3Ct8@{)A}Wf]:cT]x E\ rx}&a|6`9~|?Zά nEd;(ATV?y i=QótCvZl)K9q $J9Tb7CLdlEh =I7cQ[! r?{{ pws{kI7;k*$6]s:0-9lzw#Stm q;S\& @oSuզ Fc7;8I7>Rٶ0=1Lpu«U$0%VpcN*-&Y==?2VKy*2/jBjh/]g)n5B[Zw RWRFڒ] ;LjdžݬU# Wy 1=ַD(Ih'hQYK['**BZK-y^!hߑkT*&|tRM.Г&@ʨ 4OQd3.LlbCmץJ֬P˃er-+ H 'j]~ѵ-ظ7sc< j[=l[y?J<#]giTpycr)ՋztAkoEam lAX^5-L=žTͶi0ko ť _W$`@ +j=)c<\)<ȴ8o`k: q["CMzNN[A}ͼy^@W=ӉP Ή4 P@*M/X7URȃfI |6G_C7YRҍu>ھA\2GflAQl,zIM#5Bpû8< *e\~i[5 Ԭu)etmPKVV}*#|99TIH|F&ncK.@$P?ņ3 :ZY$Srp=]LI|5Ɛ=pv3&C 5 ǯ̀p6/?ۣQnm`9M,3L|&wAU?Y&NVg9{w Ihkh]l/?Ŋ#{+|Zҝ g[ۏ^P=XOv10PHp1̟@%V/w:<@C<#dbFS:[_Й(_ЏWsw-:YX*g1 izLJ pa:$-BdfO M 9`[o8q?#;Fn$;}9!IDwm$0<{!pzsQ<4rAc{{ޖ1M]0IWU VsOD=cA`ca{%*z;ƍLN^bAv/Q@ٙ˱raS =!폁19X@U2 :dnM#5!`b;[arUtg_ [I!}oӺhB]e =[ǟzְWY-%;yh-Vs=%RlMJvd*K!QK̈́tŭw{e7I\~a3cMn kypS$Z&{Փ*@۵mUnfkLlһ2!ܲx;prՈ7R<Y$x7'#5\C2Vy8Teٶ-zպYڹ"ĥb[P+;e%͉@8I2[H^ZR͜K^|.UK9O=c+QpI[&Z\/X3O(tTMm*!]{Au l:ԮkS S?GeUR#,=TupcJr}7cT@BZǼqslB]5h)/D"n s'[d4x\enpFH>0[c2cҸSDF?kc t_=K ŴQO.Mx]W5},Ùס E25ټuk5:ھ*1)PaLB؂pR(ڊ%͚bt V燅~BiTjʿ3HIw1U RO~F/  t g7C!XHOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/files~~/src/HOL/Quotient_Examples/DList.thyJ7C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_id660#7M'>HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messageswriteln_messageserial=10528252line=52offset=1253end_offset=1264file=~~/src/HOL/Quotient_Examples/Lift_DList.thyid=670See theory_exportsname=HOL-Quotient_Examples.Lift_DList/codeid=670theory exports$7M# DHOL-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)MBtN{n3]O QNp 3{CY>n QM+ --V.!l*q,< C\:&$`W>CO+ë+Ň(;NBC7m4zMö/17s!s :{2N(ȲĿ̋nJTR[Q"Y"sZY,dAV$_t}$?ho-e O/ث[6bbSt,w7m(eQ)ÉΗi#DGG.W-< :WN$)~3{Nùzg{ȗ\VKk l`Y. J~~z~dzxT3I48ݼ罨sUp~u*}vqd!bÉ]ސ swy> ƃ-GtϻIO$g(nG.o˻6L"aWJ.<jS~K_XGt8~ Tn[ SW4u,3SHeb, +&Cx)b@}v1GHݡ8Қh ᱸ Q;RYR$7Hz6|8N+"dcbwuߵ͊e5дͥE;Ce%BeѴSuetEI.mmz͸ ϊve pbS_vQM<(1Z-z 1½ͳ1بOs҃8}o?3cKY0uP7h o$N&?cJ8rTRMsp`E%:Ä5f[TlICuT?*ŞKjW@$?5͹ה+hVO,V{$O0lWN1v_fQ>2@xB ;𷈤C3VP94_x(lnc+C2X4 7LX5BdDβ U hEq K}cUv_xu<߭!/dɝhtԉ„EW'W wnԽ!𲾹z6OMɷES܄= jmԣD֢,i{d2eBY5RK^ dZ-gib擀>tǪr}ϋC_ `E0A~Νy_n}OWg-f챥OyWS \z'y㱝4\3ˢnm B ( X kHS3ʠ29C@+D c+!rStPK5SR\#16_ȋԩì 43)"J2Ӯw字ӅX 3"LJXүK=5i ||{Qo3xC4yEOW%j2Mi60Ӊs떜EpTOx+ d8}"6Q>Ƥa&erj(^^Ift ɐ FYo&MJ.mlegzeS> )-#v2ٞzK־݄9hJIR4uOkʿwj: e,P #tAg8(,]s@"톮!Z3oͫ'9`dADq&l;Ѿ;aK{;oiqt\Ԅ/*R7,E>D .6ZP|gPڥ5c^6C)8^NDsl5yMT-m:!TD&IH:CKYC/B"5F|bXJe~ ۱|jsfOAyA5C*I\ze#/u 4JpQ3Fm[y XR^͔OTj8i>fEʠJc#܇Cb9T{惃 *uu^?q${WDN`Qa0B)Y|FcY"ᆃ4;De,Od-Uq5—wM+qD'vvO8<: d˂S\ @U ?Fjx|wqr$nij-u2k-=@vA(>Ӥ]/΍"ž䁾RWJ\w63zIU֤JqJ R4w魜bL"^hmVgѠHжsA)ZSD!70G;b1l9eo&.;es#i5)fzN}aH2*hu߈>]#^cRMa +ݦO%k-;::w袃l)Jpmzs $JLh5%؅ =䔨16ZV)N E֨ M%̾ō8t;PL#vvX"Qm6xS0vm,żK7U`.4^cxh+q6- [[vy1v KY3RjXwӒ'Ta,¯T33/qB# 0Y7*6{@*x;QhXm1!C?jA6,/tv78xto{Xye:x>jT_ff)ȱܠCsŗ"*3ya:ZL%imƛ]SCG.wv}j ( Mn"PR#-E1|s(){{:߿w}V:F8.AƮ:Bb.`+8-^ȤOIJpLU"Fu/ΘgΕU=1*P_]3 /Q~GRxT|8ms*_ELd)F]Φ_/ńۥ`X$v3?( J}xRH3Z U 8(K.َ!&IDPpDL ٓm ~y&hO¾CFfX,y/L#皱P;jC2ByE{O+SF.KN&Ǵz!v~h7lYPUؘn`P2z CIaC3eż-!ө4d>t L4'cM=j3NJٚWB9gwRh>} w&qA&-a<ii.5"QBdA #-Ilp餗*Ch,)R[g8ﵱ8K5>l*Wu|$YE\x+/:}~>XCHc tު(?}il-":"F\i}z%fdYƏK ڸI&!/(Ъ>!VqK0wh6=d^Yp5tY@Wꈟp HOyXġI[0LCz 4ʜ..Z04_Ѕqb4#Oi!_qJ'5.Q YTrq}B? S^up96SCc)"Xf=|@,~1i pr]I{R&SMhMdBg +bo|حx쵺*64s@4کa/UQ_77L; zN4~Z^#>8v!HsJ_+_PԠYz >ُnۖ?Q(W3 :;_5@Etwf]'U/A_YzM'5L3]b{5)x͛ (lGY+~(IPvN#f :ac/5Wl7D$%qCgK-'noE/wd=YF(d$㌈zr[r|dg'f6:rZK_;yok}Ϧ;1U۰%g0)Ty:,6߽v?ݯxVF#K]Ji۹GK0^8Pޥ:־j` Kc(pox]%@pa,U,FL8D9*znGujlxƉ2j;؇^Cf2W4wO1vph86/(19] :67ouS*:1 ଌƱ+n+W}+fw&?XP 5eVՁ(jp].'1d(e]C#;EjRA_)tF0nN0ָ\p]  >yD*bЄmZaZ;bCE>l@e"ds%:Xͼ!)ӘQ>w0d(7LGZɏq7,.TTd\n/;JElt9W>e9Ri2Q?`2Р];xaY$X WSg}߬w|UYx$mG'~iZb1=_CЋlU%wp#oppl-f>1[8D4,ec sGq$@f!HkK +& ieP?i)nY1A@ܒ7U (f~ʬO#Uo[܄BFW5Z ̀F C%TU")$gճI<ߑ2|N2X{cғO O1w7TÌ"O +*L?(ƚ]zuTƤ?DZɩ1G4Ϳa )5T0PT3.4)~*p^Vh<ǬC|W]X F;-WOǸ4C@OKzTYÎ{.և!yǠ6|aNjȄwVW~\Nڛ`zqA\5꾨[ւ% ye@Vm.H%'`=JpDp;cqqj6Y0X t??inNglΧyxM鏛ytW"g¥%rА@Kh`F]%췌YwͨzJxjZbzo% ڎlOOg%m½ Gw6A6Z:G\BzDEिs) B4&(ؔ 1Oj &' G {ˎ íZ Y0L'L'm'Qe$=jݷaj$Cz[+H<@EOaVN<;@׈ .C͚2ZYm5$I&&:)TC%0]#H >qg*YIGHvd[H ǐYX7q;.Pʽ80B-sǻW/YKfحNJuyJnH^ΡSY3H 6<_N|]ÔhSwItp޸~Ӽ?liſ\ ҁ٩1FN7Y~*K\UYZиqI飙ȴ/osp*CJ|qm w)_E`ϯn9֮x2AQ-YDdD^deWv< Z1`A p(%F οb٬gϡnkN28)Qip+(vqr^WZG%1TQ.h+yX˻ncҴ#rٻۢG| Kgp=`FWLwAQD_W4#(/{b"l<"Bw`%Uz}tʝ~Pdg]뤱zSQgۋ8BNLB!Έ'0c#)!`J"Lv`EOy+'Ȯ_HŞg/(CP|@`X.raZ%T>]u'P״ϤE6'LwW?k2>3a lIh gT̮bB酷ڜÃ;rK\|a, 3:0fO'|DwjD7sDC;0]PfyI&췕!c.'xI0<+3=%8Er|z qAb>6|lGrTyh0^tӼLڎ+lI|~`P@ݟ2h_tR)e5·=>'<SsFwgYZ }7Y!nHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/files~~/src/HOL/Quotient_Examples/Quotient_Message.thyU7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id6787C' ,HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b{U &s0q*yݑMwQ#Prpjt k3@Pjia .`ujc(_GV ] J ~VhzX:E;M}8-xM22Ƈᑊ/e?@[$Ǚ%/eb,Pu^cz&Ċ&4GVdQ0mgﰹF_9'X7 vkv6[F3U1rtAk)(Ȼ ;N `}(߯VdxP JCA=q%ĺ!E^ 6e)}XHuOFsX7G!n`>ذ!P(^6>Y U%Z^x]jVƃ#z!הC>yŌy}8ϡff2v/Y$ Evǁ-$4 ]X< ˷«"Eo\QxhAŃ_?"QC3ZhތzJ"5a6J5j84< n,Dy&. ~a_2ۓv[8X\J?m;y3|Ȑ[ 9BL $Ou^o4jER6"x;Pf+|:V(.9Ft=W+)~R61hz(КnPI&{.} TƎe1BQ~~{}_.\!0^)=Ph/BVYmq.rwHw^CgБpxl*[fo&&7 x8t4udn1=I] Wdoؑ0T{`%CKWS+J&%{ܳ)7-E^`niKRյM&Jh,I,eoniJE*C)b]G/t ${H"CN1 D)M䲗43_E?]>LFKP,dAw%hȌG|7yX5M`x,@pmQap><MO$wE}-<~v.um; K2P&dBGncڋ#Eu'Y~*kW[y{#'lޤyZ V631nwcl EP| $?% }rT72V$m=FzV`HcI/":V*W7H[q5o-e4f_@cjq2,Wn6- //K'I#}pUUҽU6-e4_` c뾼{M; `p̐QO%mޛ:M#3ZԚ=YJ|`X:4yF[%>%/p"Id r{{/ofPPuVۥXOr߶ .~izJYSuvzK2v;؏+,P}M`6u%ScʯN9 Ym5|`Xඖβ0)80QڂaԕZ#`x=uU*"&rY?՘mCp26,b_2R9Ϩvʽ1˥m44 @-BviF/ȿ8ĩMT𶝷@q]^tw&`20-BedCdƪHhs-M@q9‹h!ω1NATYڱH@1j.K~ ^akڧE%6ى?]R80f!$ 'yG~WW:\Ή1ڍ  R,VZcco&rt <ڪ {n6hv(@ͩHp>{Pȡ@Xp+<S >4J7bHd :*_zh'i9$GF->ձEJ#~#N٥e\Yһa|{S"cˮɎ >:zeUK}En da xp"?MX @LFP 4d]%U]{ <6 L6 c?}XZ4X`-,)Dpݣus/tXPػbrqgGf-|bP*$s@.Sgk-.Dyn{p޴JKls7i?l nNFfI\lqJP.P4y߮c&9-}s+G`wqkUU '0q1eE: 4sm[gC N`)$Ҥ[ OHUqB <|=t)Χ$Ak4F:*Dq z]!W^ѪDכ@HɌ[ dm㻃ᥫo/`:Ҥ2KTU% 9gw|mbT Bݮ2{l;|) wdd#=vЎv ҖE. )i$yw#+WWXhٵg4׌ޒ.t)&#?TaiHuA;G: Uxb_1  T&fdɻ\IC`ƽFNuz vd0YT8r :h`WCJ,A^m Lg&xPFz8b͞+Y;:t3=$uS6Ğr w!Aqb@وlwD- P 3.1v}v+4lM\C`xW)e(sE:|I~FeԆOi>&/Eب&Se?U[1H%CIyK/qQ]u[:qHڊ6"p~IYN8Gwnl_I.;F_Tdѕi,yV,JL&f(;4 @,1r#jwST8IaL5dՄY%ۖzŻD]/G:B/+ aZb6^5D'c#ElE'&F z'H4c@/ΊP⏡m{l(u(NH/\^3*ԟ}Y|FksfT_0q>  ffX]h2k  EzBqs5!/7n3uka:O'Éq'nf :`ޛ>Z,n\]8EЀ⣂QV`'1[rUg4"S Kg7E|I$7=)t Kv̸[ĸFŹڟx{ +{I{&Dp-\ŧigʬQjeH4c?j~mnJcƢ[Zr9~)pSkfL 3pbdnPS/.8$G1H >o?t"&w86/JŊ[@>gU7~EoB,BjGS&4)-*hu^%1CKLSR#]0PdY|ݕhw7zOd;LƯE23eg */=v5@+L0S!qn43wwK=j/OFY #VrÊ^\zUQL!} ճ."+eͼ)Ge3ȣV'Ϥ="6} -9dC"QK{KA24p(Ռms7 %Aeo-Գ_="2p:+c\LߨhC槝25SZsrr22 Rg֑o7Wj0Y:1<^2fw@/umoqaԈm7ЃǓ26sr6Lo5:C I%_|v1Pm~cQSh5LWwєrb"igI԰Ӛ.Wyk ,\X *3ˊV rk67K:ΐS ¾@My((W<5CrHS$ I5,u8f(-Cawk քk! @+aτj(p`:̱\"}p^EuFh%'ȂjЪBVvoZtƩW_Ve( BzY TFJI.}F"VV%\4ZH/|U^6S1#A?_qdP+x o}";vِ9U-ؒO:֥(4>;]-m_2Z֔Y%;o6)8,h 1{'\)+L|d{XZJ/p5YOGV5ZC o@0[_z 7K3\pK}~r Bfz u2yjFT33&aN#X-p-I" P+k^ }B%?pĬ:|s:b ۤ&lXUX 9mfrQ$3=>p2Ӏrϫ5vs=rs8۶ abDFq<(|2ܿSAu"œfB_g[r.{X %@FBKbE>M]c-F-eqG@c'P& cͭEDDq6 f i 4xTd=;G5 ٮ!ʂ 9UY` S,i04F;X\w`H̖YEԔHᴘXVC\*SRtp,,D[ /s767S.Rk$~wt-Not0 ?KM; "N9,T%G M$Khǚ2,k(5aLqM?zPmjj+9(a)GnwH@sq*%J:#$He>t|5t ҳa 2D楴m oϞpqp|5k;+\Ө­뢜Ɓ$ * 9yhLNp8UaΑPX׍qL6lb& C3[q#VkS;* 7Ke_+nC6m8':H44Gh_{&5$0Z%z@n-ER _L;gO_aM/-\ blXeCM P&0<_a5?(:: AWj S^^Ə~̭`Cb'|;IP$57Sm|e'Tk~!*= Dh$aDkBz"朶9κ455M\L`8Uqj5y$!l+P~p'.F0`}6ghnsBgt.TC:} U@.4,v:e(5~#M=f"K8ǬB#_Yff0qسB43n[Lm|v E.y4,Ә۞Ȑ(#v%Fo8H#p^D&Qn79>`֯ ޽`c]Ľb2s';p1NJ*dLzw<Ɋ&ْ&d̂f~Sd.c (V1kR$>Xճ ]OBh12✙ E ]Kؼ Eˇ]bf*npO~E‥*jf_8#@ eu=ﰧgmzstحbxXig?Ih8̦Oa.C=^Bf%$-cWī})Z%XmXk5U"32Ӊ$[%| L\Q^uk, dp ^s"ذ '#'Ag뛅F>@Z(95F'xK2y͌eT  `&ŵ Vu{Hi@cbu5d m(I5x _MGě5 eų`7YLa2&fߦgNӾT@{Ej<:J#CF5tCWi͸/)GE7%1hCo6v p<ق.GU$ ddY 2wV*oNqla_ GM=HeVjp1 0_xfjWp- 9G,׎KDs#+R`o&{692`9F"=Nt u. 8$3({`$3-eA77;[HFQƋ|5^m2 i5Ah@줌:݆= gKτ'l9BI}ly©lTujx *-ޘlPE꠹a; Od X%& HFlB&xRjȣf1̭,_s p>Tu2S_ςhLҗP!wl¯ v"c 9 I6́T˔4i HDМ~ƪ!÷JMzkb[ZY$ S)h;&oñIovKmY>GBiQg`47LBPK&)s0Djwy |KV4v ba#^|ǀ͙^}' 4Bc}uޖ{$ ӇGrH!7bQZMy#I2mQ5.s[#&<::?gGMEZ<ߟˀswwax0r(c3,su!D-cG>D2 $%>/*⿢jyqJK6. "ZN[ajFhy4>+#QTބˊmSvza2bNr{K'IrKzM,)p4̕);6pC`&MrdQ,N[*{j"Ԡ4:5alDPML_tЂv8~wAb6e;p0z6+D\jc%<6 X&PDVfM#*., \Me6 dh 6~9%*u>MnR&xF(P24g) @qU 0*q<*H=hŞhguZׇCBpg˥->Or^j?(=k`J3o=A`5pMͯok(guZ|~ ˧,onCUbz٘AT.B8A$Bdu5|TaN=5GŴxr~tM>ى<]۞ v;^X]n ' 9⡌:akC8brDa $&A[5i;o@̶k[V#saBHNcUZ!SB\RxЦc8n6:NE5kc%{ng_(beYݰ% .,Ev\"ƯJ=,G-Pnpfa؛ 27xMiX0?MlbAqۘ5UnP2 l%\8*ZY, tֲ7ÝYmŻs_ c:it+TMbL(%2/c4t:]7*!xǬ%2{%AX@32 8>H"q"ԤT(mcV?=QM}Ȍȵ vNH ^'wE+KgI$%ٜ/ul90S ߆<zo?Ү~CKL豊AdzաCtGm[o}HFw!12NO)صңw3]d@8;κ!.U|$ ^MGLb\7EkcNꕤ< nCRa3${#tLou$ۥ]KP\aZ5>Zhv(i”p=lTlͯ<-P~b7Q@5ǫ,ݿÏ[r lc-7pfm#ĨVB !Ks*cmBYg3x?VWP"#8FxH-j2awa N 鎦 rC8"*~̲6؄)=]2p+S`hXsDڝjʔ.ۉtw +ghz\)S:C9w\uϊb'Ap# y'm6WІ0,իݖ',nu66eDϹhCȪ۫`~ }G&0cLAwj)#oصyG+ rcG7`uCeRUs^2K97FgGFJ)^Q,SEC֋-tJQ 1R{yfƶ0on4,%Np2"%UO,/f, 869J3R %%lݨ}Ω+"{ֱ? =\ &qs۞e˽b4Q2eZ+kץattPPj&\2[%7WȯE\^ ,Xꮊ`,sa P,KPcuJa>Z VQ牬Q&[4ݚSJ#lMj@ƀp_UER@{¹?q[M5+ژ)9 X|w0թKLa_,lA@_oېA*{>ʈ-uن7qF Ù~WqN%WA~=0rC#*vT޷kFLh"8#$v3,܉*R5 1Gbrmku4UѯCԣ68tp cQ0z heΆ~4)p" AQ@b|ƠM${S} f#ZBlRPYҭKD3kXN}!pƗ8KQQiAta1i<u&POoxx(T{E3P( kXwZw<%z݇¬F*F 3*cK:#'%g>(( pBvmOm  s!r~ßDJMV~jd tcء^KT z9zj,ͽZP+&x^t}g G Iq39TLMc/s2LWDWl?6iCD9]}yJI/Aa<5e\K!ԚKK˖hTϪCyO_^o G>s q[͒[ӡ&|u R@%.Gp}IGhsOiW?Hb,F!n&Τһ9t\$nCxLjCh^ta͖smw e a+LCěW V鿃`Î}XTyKVF|>V&JR++XV7(:[6S+ΓufX sǷkʯX go3`GTN\igdiq&TfχE/*냫Oiz2IK6ϐ?X K\h[XTe_ *06t0ar7_O^+db(NV&b!y:\ TNB|YB楂Lt@ܙ/Hʼ̨qQQX p#R^f(e:bDDRS%%"6+^KTj"agp uc`%i!յmc;)H$\\pطA*F/ ;Ia4dpvߤ'=M*{)IGR4fr?b\z.s,J:ZYN۝^OU7K]cJAokS^)yo2Ͻo#|r5Y—[F6CW-Bһ^fEHj\8mj_(@jϏd EY05EF^r 1MJm_O8?cQjVNTiZĪ_uZT9*ɢL>ˬYyili6+icLDQ oq+` C5 QDO0'p]X )=tY\xRg|1Zuє{\ͯ y~{6 K% zaSu[<.}L"Ԫ)+0(H_AY\ e8Vu p,Rqj.\7@xNbB[^Hd[8븢rC.m}~̢$ʦp@1>h٫-}Y "p=9Ķqw+2D6XC쥶PbPV!L&Ci d3.[B_OX e ^Mzt j' EO"ڙ+2 *]yזqZ,n~ǿcUDcDjMN r{Z\MДҶHi>G--y{'9 {j8N(8 vgYZ //F!7I# HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markup7zXZִF! $@]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5S}U$+cYlJ8-2O(. 7Z֐`_bfح;w5/S?b9:K j{ՠ>uh?a` Q-Qw8:W\+6^1RJ* pp,ӣPȤFIL;FyD{J>N "u Ï .k[+}݊xP+ ^ߎ0ԉ#96+ OE24VlŎh [P8KZ` 9*ذi>I-*"g8G~ )z/cģ%( aD%co~ 78c ziSlwtهO<}6l6XL≄X[IbPf>Sq|Rfg L'w`댺_)2qGUK|<`F裂M2o-+2?pUJ$)%wvБ3@&iXׄʬWJ,LORߤNN'ɼr^u,􀽁C oazs+RsIŏö۩B0OPJ efDMb -Q0Z&RsRSYmxy$-N>Ӵ(%htSFQlT,Ama[уk/&U~o2o!q%:is,6kԾGginF`^r:tԟHVHb?Lsb"x(&P5総Pf&*8ۿʼB18Py>5c|[]f hfPUp%B/6݁;핤sɴ@8#N58_ "kAv͠7e[Tջ3=|A;ɳoc7\aAp3>~2Kǚ49AW뒍xB柿 ?`rZmqPHԵY` Y0e{ccRW,ĆDZR֙?(.vΖ̫QBcR1|q-w|>;۳Wn-;=u(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 &7K' HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messages7zXZִF! ]·Iq n[:|&[z6}őZZd743eaEjo$Nҙ3?k=2\Bb=K _ J/ Y=dG`[ƺE6^tLn2ˈ΄풐_a&PM&_SeZ˖V&{'ܪƐބnmc⍿oSVHcwY_ӄNbcsyL4+.oTAPזcNA:rL !w&V:s~iSFOQ=nt (۽琦'-&X;;<aݍ<ƫqqfɫl.^uѶT)@֓..?BcjCydAYhPbt#k]/84 ;Q VklgYZ% 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؅!nPjæ|u+s!] kQr)gԂc&X8vHI!#0lY[ilYˢM!:k 2,wj-}[>Xwm  .7'72!afkYNgF i]{"0ȱ VLȋvbn$y--BJVEHvݺ&zėgL2;x]$[tZcL>LO Y^ꚐV^4ƌvn/e&Fys}WlJT؛F2'7o# t66qMu!M^4rt5h}, 83; ]Oh]J{;]ńvblh#E<\dB3 #Zk8!9tۂ ;o$7K!`HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/files~~/src/HOL/Quotient_Examples/Lift_FSet.thyN#7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_id668@"7I' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messages7zXZִF! 5]Άxʆ5.f-9 rq6Ӗ}4 L*pk1I ',z͓Ju"s A"&ۥy^Q SX{S.-[~s9Jgrd E^0ѣo&8D"+"`Aqxޠ~P:ȒEC1, JJβDSQY=^_q60֣u `4|2>EW Y־aZ *?Jg;PQ?E03ѯ8eA7©C ,l aBuG2 D.8e$?F*_b:у}Kȧ} +i߃P~C^gY>~r8Tecjf^O4?GaM?%" ܱcnטf6ِB 6#c}(-r^Tdd1VY͑ B8)-n5dDA1UZ`L?#z(lJn5G Fo)}F x9H^b1Q'2^fDӼ̖;=n.uA\'dKQz-xWLϗЪk"H[q% dx;2AOD%:P6 I3 MQ6KTV CafJ4 ukC3!,留FI\ŵ}ҷd *T 3y8J0 ,|Ĝk}D2MSGvx8kO0,}\('bwrwD{Qljk]N9W 85 I\r=T>OHi;h=a~@j5aB+NeKÒ~f^,Fu+Bg=I+s֎v}ߤ>c ơfj޹.*BV0'zTѶ`t2mm-UA==sH7?U-Xiրu7D+]4 47WUq.Wr8gݽì,ΚxL#Y,Z1 ֎cqdr7s0UbhRtC5|WoXty]Z w;{{-j7:9CާªpY"v58r0}D0/ul۲$XxN."agTntޤyUٯrB(Kf7f@f@n-U)n0V.xV wh^Kx6(m[(BͭѢ\ɨX@41ςAEzoA%. *f7vI+.DMM[L5ţƷc <vLj淏JBwK_XbKWBDzQ@;^}{YN@7"`m 0զĥG^zCQ-/';7,bZ/6$քHuځ0 Wq1oaIMH%":8lF+ :w"'}[ ۤÑ? RtymkR ބI80w ԟ  Tjm)rO@ؓ/cWVw _vh ɿI԰TԷ[UB8Y-#) 3ROk pfbe憶@6uع7'C1sFLHe+E`4l@&I)-'7Ȋ8,eaO )]6@/V6&5O?sY{<қ'BV]~di:Na3D#K$f XӍB 𺚇{ŹA}f&ꮿI}B#FcHIjz:;=t&r`qv0㊔7 9xugEVη-4%w3Ni"p࣊X.X:׍MCSҗeϒ0_év`Dڟhλi}vP@ 2>%6#g'r^^<&9+O9ꞁ7٫9NJه;pk%Tao/ڒ<0a V bbD7՟4UǮ @flvE:zemty=}Mfk$"?߻Zb8R^ɝT :&]B[ecbm}nd56Tcfz3xaE3_LFlBU@)q?G95;vJÇ͛1xe GM&tKF*l@Pǫ ={lV1l] ;E3:)Ckz+QXYr;u4Z.5{PjlSI RB̀'!$ඖo[ebCƳB-3చj0ဃgS{myRuk'X:IA$R&Etib2 J݅2 ):#cII.UTU&[#=r߱u.j"J48zw%\:GТtGQN[@Dnz_h@O7ɇDSѮONu0qLA(ǘ]ǪܛD]O:-@ߺ%ҥ8%֐?gruxGU{0û%Vjƭ$O !xU1l["\ x"ind-`g9:F?P'iG}m ~l_B306ZEKk€dHI`@Jt.x&F:a18^)LCgxGx&0Z? a2YQM5Z򫃬JN]~'ϩ֜Y_:j;҄k@HB70kl_ F)jt*K]8ۿ,y@NF ګU4O[ݠ *KށyKBǟkzW-$[V 6! hʦCIj[ξw C̒"iD cj~W]_%%'ϳԿx$RV|Tt*_́'Z{\!M]KͱLT[2ΖM.6<\Ơ)4 oC;1ynyUf l!7oB 8 w+6Mn6 ntXPrgaT ❶y3$KrDP=Víp .q8DgM#D$lГ u{Fzxۚ Oj"/o:-߲g Y&M!Orx62Gk>c5哛49eM o`N _"tHݸft؁}yRmDdK>i i!+B\e=C>}FѵimVco@˼`1hڱM& d_ 2wM.h ~8NuM7/& O̓7Uv.?*L٦rW9D#s\wo #*!֌!3ZR©ڠ0ť㐔 6~ūخ!xF*`˶_έS|ur^ߥj90_?KK#{(YsJ_?&Dz^ 𧭼u6Ө' ?Ut^1;mn";XuʯyG6 |:PNR$7AW~NC-' D4ک:u<ݺֻ͕` h=W_9O`$Ji%>+8ؖf*mfMUʘ<4Hj8&;k:9*mikBj^g~c PIgB{ %{SٹfztyMvvxXuoNֻȨ5'5r㡝Λb\;v`LS0|Z9ݩ9.{.t@t] .J ґ#9(3ߕ!i%>r8#i@WmS*^7SbGbK%lf$=ѨK|,^]e?T}ótN ߰er}/yԯ01mlK%C37]Ʈ_weP`˷wCLR)C6[1xB7Rj'wy CHmYҴ_ao<ϚPd'/Hl͢9`b,_5x}'l#P$]!v(߭3QK#&+B@h\%d+rN83D=n&n~ #+ylyAj; l.,+<mSEti/&}N"lࠇm7T~me3?'N6?Y7θrEbi]'s,&LiSf ?a!9Fw`r}j~eDi9C5 qz` ԅu{fg[#Oh#]8F'z'p8, fV$ђIZX3)") *\&'ҿoa0X>- :u3 6QZD%$~H^:œT#lRN2׻o M%j<:4QĻ7yD]zlܕ^._9%|*q&G Oy!(EM v(п'gW/JbiXuV\4Gmo@D#&0nّf%X7ixz\@k6UQ.f?΋Su/A~Vu>;t7Hj1W*Mѷ(RT0 |ts; W>ZJHzxoC0lSt }%v<'|+>(EA=iB獎F,J+)Kx(H8 p-Az!}?bxoWVoWڥkqQl'NVJK g*D&s&+ӂ xUtuu, ^^T^EFK|"V9X$y r6ew?EIFC̋4098af wlrk XR*b1 `mީefԍ' L$ r?EbBh+o[]&2I x&|N "<0@.tAdQXޅařn˴`^{jY=HL 9h}I8a\//8߄ U9v.i?Ay:ZyGdSJL3 ?٠D_0_䀶l׫VV^eht\b{-eB]-K'FW^@8$%J|𞆘Μ :;?&9kǁ ~!>[( ^/$%/.-,2k-acy-CQZ6.igJn/Sb_Ŝ֥69lbLs hO{Be -A+3j i_!UvcX `?fܰ&C./23Vzyx 5\I}>9|r^t+g+c5 (1"6V!.PM4kx32S OWv) 컰 }{d0`09.0f n#肐גԱ߭PS?f;|uMش^\,&`–ȥs}$FꪨGd5 lV_<^!n,^آYs"IW$9\vAo>'Ia$pmWL`όNd8璧z(XʡB|6whB!E$6lس<+Bn fܼ9~'ޠC_TKrvuzƌg|I*V\*ӗ#IOYX/& jڳ3Hj`iVGչjsB~L*p, B?B}%MgZK߸?Kb"V)x[\)@[B]Ŭa1 /NUd J| 6^fݥoOp! 0BBE_q( 3&RIcC#ƚs, Cu|ޒyt—rwӼ0*~5>G`5qCu))9kWUſ*7ک{A]knR%x:k BH "Yr3]nkB~ScI?x׌d#V!vMAoDV>J@M]8g2w.Aɖgmt7 =x"e~%.N60CK0"sxl##ăfҼ']왖Jkq=X?HO-Ihg+7bdvFUHlAa9I3b*h1šOU>-e?0g1xa͕7#ZhxiYȖ>NaZ7&bWSOf0L|0Bg,og2_E{*,kd h4GkV ّ^ $d ?O%YE+HBe "cOIn?ÿv^=2"מ9ILd9!o^S/+NnMyA8:G'3ʥ RqF9ߕgYZ>v#ӵ0Q>Hf& eѹx, ` nLϒ.uϔc$4'p$8(VLj*]Ҍ:H鴇녗eŢ[~up!0ӇY=9FaU3YNlrě%Eu+bu+@B}ײG]琾Ex3f-fDګ KjtBKo~ uWA1d5!;(%5 g}qqF2XʄTԪo8"7o,OѮzI&"YϦ`fv7W=|12EPK^EfvW}zM03'h'{,N%$TP:uHAǎ:+SYZFa-/pJ)ARNE)1wLx,ݕflh3+( 7Yo8q7qAYZM\>l>cUЉgz݈pw%kbG|]XPpQW^C&LYSl">N(I'MBZ"ERk?ՋZLy՗GY:g^x BɄD 5UH5j9)0%8U#}1-7#_"̭EO*F#`G]y)WS#w~?݃]И$1Ţcer\={ʹ68%tlkxg-v3I7]_̦vlk&U߄R]W ]?Ց4?˼Ի+!+'&"qr#HeW\5W@)f!RB뮛Xo~ނbu+X#yU-e$'~+B! gOpqa/#K+*1IFH>?l^[^vFX1{#8/. An$<\h0˫ e;?Ћ~v>s׫D-Nb_|uѝ<0 v_eTǝզM!ta:Ġv`p=Jd@bf߫<̻7#Vp釦ZgzXr)hL|>2Cb.-ռI a?"ryaOv74'0U{zN+ͮr>~q/~p]IzdP¦cyIv͠y9]3+@%rfjBmz #ߕIwJ97;yK7x2Llj3=MP'#:e10Czg>Ք4Hv7gȫJc\kXJc12Y46 fL񫯻 ]:%{y~.hT\DD#o|lTlJY$|߈,X {7ENŚrP͈3Tyʥ*}Ζ2S[+2Z~Pyx |܍3wJͦ=fBMjT5T3.e@>rd{RfͼeuS oc~]Žm3O6p*E_b]6lhL.7)xvhoDGiYt./(r5m++~o$thMYռ'8Bn&'WSQ4N!<^vԝĢ RiܱҾYW(q0n`>.+&׳Jbd*ʩ7}Oot0,h}M7si ,h{ߓ X<3WsjOMJC!! zD %LpIi˪Y屫TE@I*+$PO.4jep)ޟh0?='cTfbiKWϛKJK=s;4F5b o^ykm@rc"vlP }FNJqztj25H'&`-5\˅P>hamp*ҟҡDEZJE^(PN%=})ɮj.Hx @' !sRi9A5Ikt}Zvd<&X\ޏSbmΉ `|'Щ072IVzץpl ]4vgsۜ!8ӕ`6Y:#Ph@)ٽ {9}~uB>9n¦E鹍\Zd<^ӆ601X?F.8J_Wa-E+N!^@tSL5ӬC]'"aɺR1q ?DHn: m8|˒kU6Ցwǁa:{S[qScI/`nKj{?*N|Ij}!Ȭsr+.ջIP VTuX%YK ũIХE7\F'\NIvb=DWfW8w-=Q,/M$EŠSi, sj*E|.`BaN 6>J;0/0ɘYMTeFv5dįayW G?ݦ8A?)pO/?QH?uפs⦱M!^O_O0- x BP}?fT=9c~ [TA_ ~t$Y ]CkIû5S 9yFPA׹UeұtV33}1/Zc#CA̾4lCm)78}0Sn3/w2ޘr9#yE}d'^A'ڧUhݥ;pJJ(Aȡҩ)bڢ'"2,+J% !kk9DA爒^2Ͽւ-GMxE-`L.xcSQ D*mdz1pYiJ!,BPWMzM:[-O, SG ӣ+u.a䚈Sj;2Z޻oj͈Aa@))Oh d"2pgΒJǡҳ%'t.Nϖwj1ƎO۾;|!uΈ\'%}PVW]Lrh̴-i']ߎ)pZ%د%1 })j%4ttW8s#i2Оﶠ D! '~=4i]ZeTufWPJD^Jt^Ek[{C) lӘmZ(&&N$%}k>ɽ (e?^8R~rM)4sRYu S^ D|Y~[LJ4hA#v)lD}-c8@@T+Џ1|e2V v:قYcwaW`zBX89Y{{^l}aHaz%aKVXSNbE]J4S!.cy+N>f)'_AӬL1ca7vsKiմm7׊\3?)|(";16ײ8?;qHݣ5g*0#e T?׃%|2pdq-@SK~9l:nLSdDW @*pOHHmf) {-9aI0c%2^c꽪&^6c@l}[.uuH߈@)yXDU3n6R t,tS֕Hd&roY0l1#PUݵ wLua)^hR2̤\) q" 6h$y+YVgE}53} QKs nlPzoy84GJ^Zͤ?R7MJ(( mO@%-A1kXf(6"u,#Ζw"'}`c{|l[Yaf[XrI?vXwT]wܵ\_{Xِ ٫vPfI !'W&Š y!myK|@ZЫOG~;iڄhi/b XT/"L4#i5Wۿ~&6Wc|Cwnd/oÑ#.D.3ͺ6G9uFŒmyRsA̸΂SVu3[kRrI\p ՄAI"Glp$ Tfe+j4C6W?]є U ʘyJaQKmku6Dvr֩TPgi-ڹ}$_"&ؕo3LQHYȾ{[Qyu(HOa9HKQ]}M$aPL. _ &G=' jsZ.(%VJ\;LnQԑV`Sn~}E<q": QG"C% ]RW3sth#N%VՂ)_> '%L!\j˺{0҃\y~2g[} |Vu-w5ZT4!Ub;B6Ȧ(^L}爊 0l\g'jU =`R*BP)p2\:>I&*@=[z-mȽ>a Dsy&[ /9/dl{he$LP{>ie U,f鄉/yϮVRdȶbM~,\'V5cP?Lyvm:6E*Mfk`HA჌Hˆ@ᗪ&%:o3myaBע ޔ_;dz~-~ieFdAwyLvei},[uEtu8zZoXs{y.^2gT0PlDIΆ5)8|Qp̞X90q( ֋wL,wDZxXD(S;<ϖL ;P$W 59/@2{7!"΀ jDv_40˘U)^nM_n.VUϵ$zX7J8n6/3PF"_WjzﻙTUiYmaogOaMzE(7J׵ B= XFZHoEUCHF+_@b;h `imX=3.*T ڰ+& l:+sƊаNsN:܅`[ǗTũtb;‰X`xi ``<~Um69©&Ų4л ͋3x>V k%܄B*23Ҁ]"u62G/sįב%K. w/7!}g7}1@v|oyRQ7V $@x*:%#hΥgR^ 9r/X| W9x8҂PKú./Xp˔wQchj;~VHރ|"WHHppgGNsP_۷?azw\!au9p?,ix|%$txe=8yDkkT21ؒ3Ӛ5 in\AW#/Y,tu!]M^dJ GGh aS6mC>֍m$oKtbJcF2 Y>;sԿ82y9$0?Qk*"Y2̼=p<1 GCDh$NmLna&1#AUCu1 NVwR9>?%H<<[Mvd GeS",rW;㨒%랁7m_+wƏSz0]O8ceWhCa $y &dtM'I]!3DOo굘o=GḞi>صz?P_?`v@ GOXQ y2yΤ\`guDw  qhgYZA `;_ĵQ){2ccvcy w)F}yF=!x#__>m~oTeoWW1.A7~2WmT&xBw/{|3)πG^4-g.oi}iTjS/oM;J f^g;,]]z߉[472tfʠ0eLc%3p]k2'Ff'ͼ/:A1ޞEzH *$XCg-$W`~]UduAq'_6>BVg4Aȑ*F( I'=ݸm!d ZAU?>i{Ԟv  ݇O~[Z ,^kNhj'q+xy.`x&]sA1!I3UdU9ek by䛥(9z!ߐȅ ~مE.-ωb+mj@ʙC>OH2uxv{'jJ3avB}9n06ˬ~=u"w@?ʛ7iwzHlü#&& הr2W*#8A~nIaA (_'!{WvnD^{<,V YV*kbR愬F#_3ɨ'O_vy[n@愳.܎s-lK$)92̢Xo83toKڞ1d-MQk[coZXu廻8'Nqd5+#-YQ 54=%n?&QK0Jw1В{gSV{2MbQ\u Îz`TIiઅrLuÔl7H9R~VߣSUc'ؐ*Bt6mP-ͫuVK5,7pG%t,](4ݴ:%2Fh~3/`*/@Uu~#-DW|t~3 c~4=տ8NZM!6>ɝLt8 \vogw@v*#7HHjy87SF2ݪφkp}Ɲ[)H_Hl}md'w|v8V!tPQgRB>_zM4:N2[T0yeY8va( G基 mq tyʆU|xW' 0qגf6MQհ:Rxh]bd◶q9 !سf_aB5ݸ+c ?p5P` JQniT'| 1M\)Q/E*q>SoO-0`\ 3vie&hl0 L-^|j#\џU{ā _Wb! Մ\ILzӞ9 ;]wS`(gr8| dҎa>Koc85lpSTP à4'<9cb7KfWoBqdaol(490zMAIy l̅p.Tx=8FzR8(*T5c)J|(XVzu` w(2])9RSw(s=I&>+VD{D@ dJgDseYتG\8/-Dd<чl3(tz'X1ӎ(SZ;GYRkxv8t!D09M@c-=#V*?4n~Y&BMci7_YH,l+@?&Jm\M<Jg`"L.I1s?M/Ud#lh~ĠxHyЀNB#)eCݓ B`!CT Kb2.b&0~b @7B>+R:v}£m咼dqI`2xP6#So#G _ej0E߭u{F3iYϐI޼d9w^h8Sz!bɲ9_޷+NJ95:pB*}VYcӕ <,Y^pɐ]A? ƥ%»hV|NpDv-uҲQH_N F8.ymIna=j]"] 9jZDe%(ۮujm?*9TaGG1{#'[xr3X+[0/oo qBH,/ $‚#ч;6)(8e *+EikZ%)Ak@$`|ܲZ1terIԼH ř-knO?DۃzPp`_RSL]*ʀ P580:8!֠αM/%;.8iqӥrV@tS5?fB>ϯcu8,EPb^'?O`]yB[1As#.JVȈ~J9.xP!ɀtR/4{RR?&}'ERD\jKqֿVYn4VRpr%RAP]Jg[x-|i *4  !/ J): #:[GbL`G ة ٷ ۺZ 'U0x `aY~?-G! Z|`|OT N ]pxdtv_IQ^pjZrZ.T^K33jek3,6`.s 'TZI`M6f0]R)=dV!V=~nިevL>QE sNgH-B1$>=ݞ#g~ԇwA/9Q\aw1ŻXma9f%g.~ -"H<4KwZ4gCC?ѥG*FeM MKg_Ҟjvk2~x[SL v2A=-#*)?AuA8EfKF@e"T AsvrZ318T 1I ο;btY ve4snq}SHk/&گޢN=C͍Y1P$ ,+T?#Kx$lGRb\oX|3;?}Rf9Q K!B#Yhuv/,-ױ~?KP!xEqx;l p~TUdsNܝ|3TilR&4-EP<@<0>yy,%nɂ-f?*n;zRDZ]S+ ( j2ҹmk;eicOxڲxnφEln 60t*'?{Z&v@6%0ϛG 4㍔5'^œ[4=m9HH$"ч);%kJ&z͈ J|x1,ߺebrCwĮ"WTZ31%q%tm#dXgY1 >X,[āSuLRp;Bt΁璪֑#f\D*ڷ텓q|T/9mhL|D~[c :((Z&ɷ Kf9 J}$p̎,$pw2@I͗GOA4ǚVsѣc*L?AӪi-Cb'I|idX̠.t=~cOqPٺΓ4D]+-quF!e`i`AG;iSY;|?oq6kJA׌YΗ_r_\ Qې3a@Ce%R7#5vzQ``uS&$Sd!?a_`BrOPAM~jdfp8v}4qMb{&øA"بz[כߒ_xvJ.v8TV^y0t 0N*yHӠ4w)uTs3>B>wy=M_0 < yy֤h?"Gt.2e"%Eò"~<*!G,8ҰwN/tJ 펺Lቀ oI-Wt~ q"OhPo~(~f=1uomD%:3~k`A:O6Ɛ=p EJ8f=FDUu}6PA86͏9enG6԰T_|UO5Kh$=fW[ ̓ŒQ lQ`w_K^V\|$B. Ά׆4j|MYI+3ZJ5x/9V~[k370%q+ep‘ٿd.SRdCӢ.p>[Z-wމ:f+7z;: Jku d!E]Q٭qo  vYR`2P8K.5Q0\U 0iWo3Xiq6F5J& ֏LUv7)*ReiA2%s_al Ӟ kY;8U@#3 (/jp> :8G(U_-1;G"l0~v C tU~'M>xMsNXo%q>F'0L%2v]c!PʒݎhUQ.nD+=ON 'ݧ*|yr2#vμ@,STrxT/]L{(xml;eO~EK336Y _(9a['7?YHTninƶnS|/LI k4G SCú~je@u%PE+bf4ўy1HPPҒ53peC/݅NFM<RJ:;&ʪAA}%EQzY{QRv&yzsj.0t>KKc4e/O p+RVSJi1L-5|aaPA7Vxb91s0=&&\f{;"Cf^6XhcN#ƶĥ٦xMJHe5&?I2Z^[$9Vfyw 641e+`L%uu!leC.0 }cdp :$kky*@{}x*viy]7̥_Me𕇺zFσqSvB+.`{Dd{xnn\Gt"Z7-E~иĎ)3p p(\R}m#V_pGzlNAc+ët[Dҽ `0Wֳ0=8]٥Go,!-qߙ6}EOj+%PGUC>)/Ý{@ V`t#ޮ˄"Oθrog, $`^UE=קܺk9fuWWDƒ.ht>c XD]o}iKMiSn_OVU'_4-E2 Uy+VӪuܬR\ ~]krF&mEn)XRDj[cn\˷vKf >94NK!Mض{)ݜy!r.o,5 jL2盦PҬY=} 256=_ػcdT |k2R`DQS x4'Rm/gQC4cSZrXƹe6.óTugX8ϙ*N3jbj-dGP( bc-O>H< (kƼf96?HTheH?A]S95dG|up-%$"G}8;\d|zǂ.4A x&Q+Ucamߝu9nB21Pr鍴"v#coJm8- "`*~T.QϨ[f!lQhcLT}A5q؆aһadv"jWBidox'TQD—iKl*[;٥H%]IC/iܼ bgrgeĵ5)f+f daT @.f+4h(֯"?#h`!)ko,AM]}T5a@WB|={ ';Y`V`%WpO`Hd @δ- ZKz:I/!pK簅mG$z=O7OtF]-^itHIQ$m DK,f1dvRW*}^JskI"om[Y:/Xt;97@/_L0 A=un?ULiϚ3`[#79x)b?yW[ ^CT(Li): 7nee\[ׅ!fN>=ZvCh,d'VgR $s=ThCsoc->+(hA"bmLԫb'iqu{s_q)BD R8ERRn,8s( D\\i GKW4X6( ӯxL]d`btK;rrJ:Ÿ#gzz-CݬKKT~Օ{р r˫}ː$/ܥ5~Se `JŭsZMW=:Ea8mvR%r.cq(o^sb9*D)L8 {3[B")Sz(-HݾO'fSFh5mxF0uk9cPtBSDnGqt.JB%AyEz4Mf>Ez ӦK 븖 1v I"2تS3!6_5l fYf]#>dPq3 yZ,nJ[3lf i/ s#xQ6-ƭKOPĞAף~}*EϨf*W/a@ʘ!Y)I9ſ9hw5//6waESZ)MI 'bUq *rdӏO%X-nQf[TYH;hCtwL￘WFW(hm.l/0ڲ&СNrlDX"& eOnd- \gLS>]5/NʴgS-N|UB8+^`2V:xLM)Vj,c*ΤT.%qZ=AZU5. &:N\O_*ԭDoF \&btN%(xLOCe< ZNw_҉ `i,֬25?5a+W(&콑.gwpP+_{ Hg|yȏ n@O$d%jS .wi~n@-5eFewc- f [ d_u֐p7@!]"K9r'=NԳ~0zOcX񨠺zQ}uA(`N'pZ~+O&'}qy4m@5hP6_FUN`: GPO<;p)8VTAc_ވۘf|5b.n ~%^V ϶vo_ W\nWF'q> *:P0>G)\z~&4ضӠ}]vLt= *_Y9\kA.D3f'dshZ=Kهt&cw¯ {D۳vbR.֢Cgu)* \0x迬cbb9:/-:Gr1&kVh߄ dlu ,1)L%*/o@1/ @y huH1VhzijS]v>n/[ at)6`Zh4~*.E=Pf_ w>}B[~f5=xp|ט]J%G&-Uߛ >z >:a-%de ŀwH8@\TOQ?|p{ZRW&S#QIcIѧ(~lȱnHqR<,Xya͎";1*CGkj{dVzU7ɺPszOm+#637;]Z|o'f\GH{Y##IE<Ѳ ᨴdϺm}^"ZrʆpN߭A@uL,*O4x[ݺ$ -: Qt O5\.#\Aڼzw>}a0􊹷TQY]racH?vH[1M,t+ZwA77,p{B/"ErjGG0{c4`^ gdR]m Oj'v%AQh*-bp'z?#= Ә_![)aϊ:86T-4+ۚ $;!8]'zH'# 7f ĝgM ;ąB1;ʇB(dG(KذwI2)ބ~k?pu~D%{N&`q4?'NϞjopAY:I ]cyh(5l`Un25"9҄fyޱ LI{HulGe!ŝtNÏP i Q=f*ԆwWR8%Ag1 ] F`_s44ITҘ q䩍jMzMƈeKAp;ܜũ@w~K; ZfW"rEs-i(Ml9\!BqdAgYx}?fjnEN +eiGz7YP,l ݘzsWG`7@;cwoOވ +5:܈PBo |8Pdo/e5ZQr\%%%8#%K^˫ε[N:A$Yx-^]`8Z.="ƹ:CvpzTjyHx e)P@['S|'OLxr34pR#Tٖ-"N| i][* uF ;: ֵU|a(pvJ07[J˒y}%a2AtKӸh1>Y~jcA.@JLXd[oJ.;Y8FH5\R Ok3nϑ`iv|†]b N1Kc I=#J807XâU6^+AExLArEf ҤHבppPnk]&-[nyq{h/6CP?a;M۹-Y )lh$]e^T).@Zsx(T-qLSl/TGh*ámi4]"ц8-ܣ)q)r?R37 rRĐqQ}t3H-Gg2X nMn~&fwC?%tMsVf/wHYlc zŘ@sHNM|NHq\="oK %I,Wdۜ@T|2TH.;:-a#Vi쏎Uމ H%zP"oyVg.;-Zj`uEIƈ\f3YvKP j}kDTaЦ4}ߠ{n͛rcCo߿!%]oR7"y#^}cn!^hؘґ8(K )P)OiǮIAPwD<0RʼnW,&q^DF@mj6r"fJƧAH3ͳFJ~DUaޙ5 #dq$wE1!q{STNKO}{]ykKfGecePZeCW Q33@HM9tRW:EX40ڸT!d~+.J AKuWu_ݔ3RWD;R4gwb-+Gr)-7XM75Z[ݧAw1Z(%C R:U{hݹDxr ܼQߏsQCUDܔIV,b(ݘe>G.]`IodKRBsRqߘ17p '#wv|CDzgp?]g,@o,Ytc8Z#74$e^VAX]+IVKtr\ЬgP@Օ!^l|ظ2vr;`Ù1}Qg-+-q )T#u,:lΒ3ñ=/Z*L)Bxl,2@=b|z@{3iG G`1dk1|9/炳*/(W5:E=N0 gT%/@WYalSЉ; $-V7Z3A-@ u#{ O&. |5gK r~s"S\N*.5EȒTͳdkm! z`cMMЀ9tlrh|Uz>k7A{\N}9 41OE81 $`kh JCS>YF@0m%3E'b0(3EƔ6ė*ܦ#@(240E?!ۨ15!R+ 3P8j'՗Q䞥s8Lֆ}"W`l $;}3)eC;kspAA/LUkmN4ʥ^p7ԫbcaWdFɝ ʶzÖѦ n$x sUq>FxSZِ}稕gZZeX9 .n*%8"d)o0;8-]$ Tz%Qp> )؏3x}HaM{Lg%1x/CAsP Ow6#ܕtd@C.5#ipP99x0CB#Tw_!~'`pGʁ0Ey",pa185YqqB?U)SF\$Ow:<5| ab㈱qw%4v B?+.yJA#E.KHY?V4'g8c)%~]K@ʌ^c-QrapS-F/X T6#@ҙѪ2 X?Ձ 8h^|Qlx=_Ge,V)C!i}}֦ ûS_.zz0}UI;GGgG;yKqu| )XT/!`^ g|0 ͝2kp `,]Ubm3X3߻ B& S (<mVv0wxIB2M'p,~Yl|5|.Lp>![aU'Eo3؞L0Yj= L 8T,w)qĐL"b!rgxCypi|RKT!Wy[.yP4!`2}~+/9n2d*u<=PL2-6d@Rge~>! kD.Y{83"ShMkdWqr'aea3=S^(u cH?=qi^ɺJII޼ZK 0NUeV-; MC[/_R?{/Q S .(HdJp,'cFDv4>c΅h(AiGlx(0ٶ'Կ]3ɈD4Fn3@ϨA_ &ы0n.jK9{/.Vuq^lJU4c#' T;akC'J#eV%L[ # %<'{r7Qb]j$O>{mB);8/@<,g$bxJiԯ>t[נ찭uM@5W{ ҹzm{c1R#E{-Դit.F0OV *}XEJ=a /Zx3keQ1*Ĥd;ԇҮZ'AkԀDr $r9`eB~">i%1bX_l&}#-)be{8&a+)pxTtv`F H(M*$o.607 E &UhҝChEdZdU$_ҺҐAH|NR/;?#3{QLbm V#k :S`p-^ FQ.DtlOsiƳO \\d:YSNdpj^wٰPBy?KtPyB^Z2.`y?yM9\C¡4_M,[ z'/Ęv⺎GKVլ&+#xp2bxŐpV#n"TQW ̛1ikپܞH1y (QWȟ®l$`̈\9ۊ/wcq%c ~`5l;G@0dKwu~r/\]mh[ |ɏl^gcm0*LV>oTD]Y%^J I^ɪoWbF܋CIw͚mȻk&W "4*XӁ4j@'05>KУ\a\86Vi/,!.qX_M-ᝣߩ6q|z,RbEC Z(o?,}r9 c;y7#Ɏ vX' .>=s`ǒn9BH?PܢBsWOCNfnLlVrw:KW?T)T#SA([jK}n">UGŏaj i.=a" DRu-!uֺkf";KBQ!sV!~L6)eO!sMmA$A,S3Mn7U(Y=-nI]""jzLx{Ԕ;`[W|5%[ert(&9W%P#2@ʢe5"SWjj1ms?[{ԡǟXkH> s&sޱэqufcXn rVSʡ_qzT]5#isQCV N̠gNF'VL*-@hٓ5xpɝecO(aki_~gD;c Mw\eZ‘/R(W.'0^"kg{/>FRm`?q4@'xLOeP4Ź;;B!lN6@jccZ *,GO+6D+*u邪IlSҤ4_ƃfyKJ0 ?eS@ UOkiCH0ێcF'|mFΑExBc$dl,/Ā"Ɔf2rLeM7ǂ;(HK-:4Ӥ'Zw?UCc1пhgZHͨIa=Vk6gI Ӕ~~?spSAW" +Qʰ~rɈw;l23X H^*QcG\'à1v2-2AHmt^3! b;g#6kN0pi<}S~CvldP-|ʲ ?i$D0'8sI9[|@%r%TdEN^(r_Y˅FfKtԩ w:hPJ~gSiarHm`xtT6u_ ibiCjIoeId s7Pۂ[ۄ?FէsE3®[!4 dM,qC03lF"dqg{SP xٔۺRDZ+I` g}3Ij,Wp0[IM!T4 "d'3\j앾9~u,2beб^lQCeb[ͻtbADێmΑm3UZR)A*Hr̭p4h+Z:x{,_k^*L:PʆLx.~bswʼnØwxP::x1_/櫆05c-]4$8GQ-S]J9fGgNא}5oTH I6)܇MܟNGNי)zq%wA<.N-&|zNkeRRk{'x07{=Z1"ңcYd'o 'nkUbY*0DA XZX};?mL R`\K&0!WGy$ap`k`ɏIh\(:Y B{U6UvjYJ"\4@8Tu2}]K"6GE ) wI_w4/s1 LAAK3.݄ Rz.'/S~ǹ ªkR#WpKЙmCU0A:miH‰5 hcY | HXKi:R=Sd;Xh&%YȂ>P]SHhWiH{\8H>9hב}1[kΟy+ @\!Yc?t 6M Fg"M4!K(qigǠ3zK mr5SRTIXm2+Ojho6<&x`3{{.;5+'n쒪{wE=^烽 t{t􄿜ӝfNCϿv? joC ƙ2KbN!Ƕi4uLĻ ,z D0@_fA T-; .U^/ $DfG%(]U)gԿݛIi ȧ `a,Xlt*u>'ޫ[޾| P)8.3>jRV( sTǔj#s\6!,cfxlݨ;L r[fMxў@#Goz|^M}ʞ58\Na%e8Y>[`iUn Ja/Wf!z~촄#5XV*0N_T,grf4ZhkͣU2c0rr^8"5)p1PŘzbLuB H1j$ֿȯla,x<#I675ed2&Q9PXaGd:sF[Ӷ(ul3#,C}X*%|W)ЇKٞ41GM7&-8]TF,q%Q⣅c:Pe,lU!*7Sm 8~ l[BnL;V]R/s7 Y)Rpн6-v#ixNS ѳeorpomԧQE N-AzȣYMFcS^( NH$ji7Vl:u R~RWby@xiL~ɐ.lE=O-ww \B\[EOW4;\0s®RXLuuK2r?YolF`e@0"@tG#`{)xg+b沙DRJ7T¹qݼhYUo)&*M.pշ#NXhs9^Tc4"lÄd|\r:2X8\X]]g+zd£7,^[nJ\I.Y&5-f\=CQe( DeZ7\ [{:}D6ڽԊaIU+JK0J>57oI쳭_&ÃROB#e3 0wuNQMn6v -5j ]=w6!=dt/p'sfK*q?9F?QԟgQ0-_f{t ̦ fEQtR|) MBb:lMI);m@#iD1 Lu3 Q -S]E培آrDžH; P/Q–%ODeG(%>w?bCrK.gcb&_Xk}/ :J:,_yg 7Lו^R ɋТ)Oҧ8cHJN/vmJg]‘@*'Q{L?_oČ$)U!3C _Aeh4v_ڬۗ,pa \r3xFʼR ޢɜv,v{{?z]lܡ`! w~j<e'Ycǔ޼R=*ڡ\џLEE8O wr6qZ1j%=z =$3Uӧ'e}"?~}ҝGkh=Q9u1U a_?ˑؕIY@_P eDFtb1 "ӟwPK-Jn :K* 3tܩg tVr"6|4yګ$)%XkD0)0(7,Xq 5&̫>-U7{=At8V*xrφpQ_X q@ 8΀yֻm`Ʊ yVr~ۅ vQb8plUby6!>G6%l ӻhP}k*ԈÅ7QYvYO,c⫕0_b3\ɼ8⛹ɯcZetPJ{sf;Qx -ɌNdYd Qsda>kj#ʼ70: >r/._8H{@p7_}A7fK^(6Jm$XW*mXaw`{,}N/Xcx`he S,1:x;x{$9s :zǹx5' dL/̧Hv=p:눖l{;JG5emoLzTA~r8rC<I\̙wp, x12ިT$҈}!TK1w^'Z\d B4m C91u$WjkXO@\dH(D!'ƥc_%F_|-0(S#k, \J5PC](]9F?:H;n\<rNB9H\yNO>NV_YSTQ)2ީCPfCi w6uHKQנ)[%LVYGLY_5q3ɥ̈́Qi<v's4N)y XV0|F(.n3jt^D\`đeڎtx򻫑L}<(kU0YfL> ZzT r[w+L!a2tGϢh\]Q?u.u\1M`3lbq$!;5qk\{P$k9fݹNPEę7篵@lrRwv~{gu8=g?@Xx)DRE[{!P)(J, xl4ӏgAt- ^8~tီ6^ѯPIF:D7 kT\JWҒb;P ė[f>D<;gv}K5cgcH>aR<4M6=R;oqUhA*3HIpBOtf5-K+\$sm!&iJrmo 5ٱWM+s2*޼Gke %Da!/4C?oQ*(%I277&a+bZ8O\D73+V[l _6=SL%L`pf؜AHXuBr(~gm  \׬!csj$I;w+tˁWOw/|VWg¯-< ͚# ~Rom#sz F̜ͱFċ~r_[k$nRk$9}ryCeΙs)Ӵ~Iז;7& Z!C0"81"iT؀T6VPŊ}հm &:Դ42^i @-auMa2Eywda%S@|I.Ve fLE r xGwwaAdC4fH!GNzAnVge×qL6B,YennnaH|BRD-\=LG R5}iQںDөNj,+Ad^s,s d|Bd1<]ŢG ۺczp"|-+ l7"T dENu Z<"}f}nUꢵzc4D2."szߒ8Ge4^3 #bQ3,+c ݅_<قJAV=xU7IwrcPfh Yඖ!y8y CEv=(\?qGAB0Ph_(EeY1!s?C]b4a~(|g92<~4dT~ D _<ȺwB+~T)iahd$**@ȢДk(К8y%xלQva,&> ttSdp3a%8K_b2J J0toJb?d,[&Sp`ٽm.˂pE5\"h>.0<:U/9w&. }ވo3c'pk ýKht[=~cZ)5霩:/kB.`[L`¢#? 7̪v1Sn%$pR0υh㽾iA;~h,=Ut]~> x:ܞiʮ(eT_cYm2FXN)K9gfvywl9-VLZ֍!xTZ$K"k)z//Z* bGyz&~e!D/cn^%r'mB`C˰n9^dgwTyr:$iȄ؍J%)XMۣ0KlCƓ y8oXn0\kͱLſ4X JW}-|$Q~U:]Am83}sy;ghV-1M;o <Ӻjº/96PojFc8 2G,3E{ @/2UG> )-~Ƒj]R|˼gn\{!gXzn F.M_i-?l |~g*33mLwBIH/a,ɶ9קP]ܻWyBk\:!D  vj5\3F Inn&YS#`f`Uⱺăx5Ed`"=/caA}q/tD&\> p9;]Ɓ#:L,o3zvk7ZEQYVd{+ԺM螤3zVy 34{„WΜ.5U*:sWG `O,aDDh$n52E}sHo֚vܫ=f&f~3Wl5C掩Lw=6NӲUyc e朧1+Og!V)k v ]aTơS#0qkb$,E11־DZWqzVgemN7e( clJsMfF:PYiq82 !L@pLQeھ]<ggccB+`ޅA@.jMZ-*(RnAbQ/wu   `D͵.rI^61_Q/JE/&~suMU[zK(S^%ގݬCM*X̱ T!|nMPb3z$_yk-9sUiQCK[qH£]#&b:fj?(Wk6wq=?\)JJNy¼R+q.*)sև/d{H>|c\p[fL?6q`a, t^{79OM@;U&*LU jyu/)<(;D-05i 2>ޜIX#\w'|͢ԭ`kl} :I^uT)mk&4RYr@GVianipF)af)iiDN_Ugg.K%;??{-&SZs\7ّ]O}ߵT.df rҔmW3XW ܟk@8KZ&fSCzo"q$bă˲Ȁ !b`n`OmڬIa /LiCྏ*N;n3 !`_'GoEͤޑ]YlD 61'iחH}!dُ}55DΞ49^ղ|1-#P?5";EZ)JGu+SLZ0&&Ѵ$vE$f< :[kCچvF|,>8{եec!59|F(@R4s8$>[BMx+F>5}ePd0aHT2 {mSděDc%4߅|$: q\Kz7-efĔ 9[U?QO5Ho^QjCR(.̄Rsz$5Bx$oX=^pn,k܇(_CG.Q͠hnNP& شXC$u`zUӺ19G'iiSPcQn3Kj쫎kr֔fƧ$R}^W+c\JgV[]KrdS6Mn,\T앆>ycC1(Y?Ts~ C0';V&~5"c#AЩzrLƉP,=SߙZ0P&Vft&F?}Wg5('Fegh·Y 3% }l u)yȀzD#.>^jN8T:ۣ|x S_IN՚j?| P!/1t@W\h .DN~C(KWuaƐ9{f%zk9TQ/I_B!;ֺHZ?=%KB6Qe$<;K˩eZH![hV=*@Pm{ac"ިK.`S( ]լCR { 6BU@L0mp ;m\Di§S9;j<<`^5*bI c%g!M~2(r f乢&xC5K2dVKy{&Q)FaSsC19rSL;POݠiԴ?ܨc3ƽON30o 5Nw>Ou6d,0p*?`a eF9 wcJRɇOGt-(>?Oo~|/)rNLCbd;|u7GV̍=a$all:JP?AQ 6@Pԡ٣kE"rV3ڋIS4ʉu-'GQ߆r@P6LmGIZ-L!}INN}P)o}oqnڀWCi)!9)eC΍ dvFM14ʴlRq$Tl.DPc@K@X:|J5Lvc[HXreN~m(vE،Lfsr`u5pMّ%G֠ Ӣ0+#@(zaq1$W;7~*j-|E&ٿm+wtDž'ko7v)$HkuV9Y4.;vhv~g˒::f7CsD5 de֊/Ha'^ $սctGQ ͤK:)65$ mqZ}=rxX65`V!oFƥ+5=LSN,ei)XU,4' $i^]ɵv{? Bt?ѢQCASeF-ZU^b{RՆVd7{#Q8!wL{==' &("сwϢݕ$\$jվ@mF}#U&N +zvw68܁-6"Zs3t}?&,ۓݓccLKI$ 48v]Nhz^MEǣ*dܞ馯QR/f`ۛ/G?mp ]\AjN(Mdԟܡ8^a-ߤA9\ͬnh'؎WfFl 0^fKR0U$GhDk4:ezoQ$6 ղ7DȦ><[I7j62V!riI wGvȚO({%P6}  ð/ڈw]]>&:V e ݎoͺSQ$:lIDxW_/RBcW;нY 2(no :WhKÈh5kꇳx >#K!(?Ӣ=ƨk~89jkhf/bƚvNj=fQ药׿Ο3;H4YF`lT8ͳ4C;ӿ~<%8)5<\dΛ- ]c ; (܂)qz?4=;KW9 0~*/+9{o;wBQsrYv_s斍#/' D1@a:Ve͔2s:}QYDR4u_52ox*ge29ܧc&;$eY@(#&>'TNe gݗwQƑFԐ>19 Uܠ>{ vdbE4n>'-{FMq*4' Ay^*C|10lv*ᴃL藠b(B$ۡ$!w@˪\cG'iSS;{"0Ɖ _0;VgM\YFΥb)u{(BO*zg-MZo*qvuJ[c75ɡWjEt޼W1شEMͶ.-"H٥rڻ,{00YW0_TF9.L {|}9Y߁d T/YyT[5ԽO#eD(5db.f|/7aCҲ?Has s>TE,[:`cٗ*dǚ{ymH'n˗QYfGn4$El͵vx?m b+d۞7Q(d#:V^{c 4qsu^'kW') WOhT-"׀3P gRmodkCO5Oi$}՗A{>cǰUJ@BA9-V`/{R, \Ү9Bsw&Wx +UY]~spgYѰ7BTQ8K*f 0NPyf\ tk<,Y@W%QBXY84d(h%v_-x8DEy LV'@;ci9j1"n9}퀶0~qb_kd .i*<~F8mp]O섈OsY*~M٘rC#3>8aTr%s53Nuuɞ5$s8<U{f9%ECD/5T^Kv~Nb A-+e'G`ñˠK@\&.Wq\ɐz]n1Ha!GEfg}Zh4,0ʜp ʛEUFS??qEh! =N? dƾ`7<Ѥp Bh|$?losApP"1l/Dk f޷˥ tBq=qVVfp ֠. 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/8Ʃd-n_+%2Mh` *TC^ܯ#h90?g}N717q[r1,_sM ,J0" ?%?I6zUpw($BQ@ш8G"IB~"G7^^rrȗau-%:[){R^h^|ꉳCA\V*ZЫ ww΁?M_.l䞙h;Q !f<ޣEL1h$Nh2 4UdTη6xk?gۙ`eѠЕD=C_E9 pף|pFd>JGkݤC%Jq(= O*^fdTNF$u:v ߡQyc$\ z""-nfn423.C_oy}.ߑ)ILYw'd(ynI-OUaG3ekpIGͺ!YBi,x5tW(lTHNYsTy_)Z4"%2.t:BMaAyaI c>O9۵?Qt=*N|BFu;E@=tp3{J382Tsw?x^4U(eEr6B=Qf`McQFkdfQPe_6.jbZnAǵbXl\+Ͷ}.2'FnN ޻ gnIm0+n^^ˈLk2ʛIcl9ԆdjR>F;{^DHZ<>jdBld% F)B+K}̸?8P}XXU5مV#G\|Ql[wHC^\Ԟ^COC!bD\!kGz<{T1(v -:`#$oz4SٖVq7摀" }[W وK#?/Q䁎K}cTKC_<ۊJʩQɋ@&*)YNBhЮcpF.=fZ&GGe["O=)(8$be V ELK3H3R>P._<>Ds6^6X˿P #qd'V{*nnJTW$ {$Bޙ zJ8h=-+Y-tJ9VjΏPDMaR}AAR1Ql#Z7 y_m1|s뽍3wH9qߴ$֜i QkB(9 ~4A!lOV8/zX-0v]bXNΌ&/VWk qx4%L8%u3#xgnƻ &C~RFݷbk#-R;Blճ7Hn VP( }N94%Go87}j ,#~jN"o$I<{ClgH՟9pݾ${+JA(Ԋ"!R^.{DzYv6;C \:b 1"qf<.ԱMPVQI3C]N@FjZ^UdQ-29ZS} sy}4s nt_`B/zpR> ]ٟ$M8zmzr56dͺX{㭞ؘsQZ܊-(ce`;KcuEf:ad7 ).x_Ze$s`#gW+ I.X1Z|zK(1~/s!Ǣ(a4K->9<UL dDIbY>4PNܑ88LˌQj9W+wںo^^!*m?+3M`tbKbݤh&*l.Ng&f{8-ja\R23z4FAM]0пLt9@ e07a!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_id676=.7S' lHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messages7zXZִF! p]D?7 {?:fH\DZK9b&Q!暃j0uwIx6 ]ʏ\iTN/F VQ}/~tHWRoH.ᵋVSg߂""KډI@N/_%Orqv$s4 H3Uu#xZ Py (2 .k4֏q@oΙvP'5n1ƈ ϰ#h~ ;R^אc/g&Nn0+(PϞm.js6"*oYȴMD=W7lp`)`ɖy6aWp7bo\sy>_=-ߞt+sTL},YXo2"҆-=4d8wX=}~ U 5;H BXwmƀ2$M6P #P1υrzfRv<7".Q78aɧ-h*D[aTR%X`)QȤdž"P|i~^$@*4u6n{@3;wfy)+ҙ>/Ba[A_)-oYmGߠ-(/t9D)qNa#Njx؅H|Ywfm"qݙ9jt46TTLJ.8is@É-rG'xJBː-}xS'z&"/19G4!̠n$0<9eHSX@ 8?*H3+|}C<KZKrzz %2(#j LJH^hWՅ ĀZIrFߗjPTefkQahkȈt ]0[@mmlAlKl% ';?\ټJnQkdxv v@A@Qш\CFi36I:Hs|;'Ut uaXf/i.)MMomw֝$whnģ0~%46Tszl2J_*|H9:9,SyR$ ػLӵ%odQ U PދP`xÃ6+#g29V՛ ^pܩ1m4]t!d%Ne(rQo~ZG)W\*ry8Ay,3;jt8$E^cd`XS#Z ΧQ`P ]!yC\:³HOx3 N+ͷVd-R^!9%fȺ^EhG#Ml=K z5`(M6$'_a`~)>EF7; Ҵ%,;#dub`"=_WKąs7F-GC6S:c[^΁Â=jAzouz;z "0[q_ 1O\οbn4>mFI+dN4 KěmKi {b{}C܇U/kћ|Ѐc#Q No"\5|4PmvIæV߱gYZ.w?L=X;ed@xĤ!;SKM[pZ!L^(GE>QP;3{spE~YZ)IC$F) 697&CuKcP$x8u}`= wXOur-ۦaab0U{^^SΌ>EXeO5AЦ/Z%^ujQǷ8!8x9NL׏ɠ )Hȱl_0+:RJ]HA- rV &j{gG-;{rSOǥA!G &MVH+5HitP 'ĄŕX7 :2YB}?(%~׫gUȲ9k)B%0EAr  z]1> =1N~i=W3E,95O?[',{d_6ڸ֬n)nΔL'KN->.`^l-t6(v3a@IK(0NznjK*~ZM={DWV*W%j5 2P ^đ=hUPT'z1r}b%@w.!l OX%MH̾*n}QMl,h=N$oƄV,H8 h]?_ ¹my5'k =i!J:h`kbvؑԁGȫƸn%?C_4{P~ˏty1sq7) Hlb1YD@ݗXٖTC`/ڦ(TnCa2|s++Vpri]G]BVrabyYO  +L>Mʵ|e _R*aO̷@0yȦjbq"-"lbZ ;81ZIJ?zT0}I߾culBjoMsXKa]N"YdQ_ .Ԛ1jsF&ʶNY <lM&\XhSUI&R$g)wm(y׀ 47{ynIQ&/wz#ETB:E*%ތ$zWK0bǛê-1%A!/gěEJr| hBԔ )d^Yl*q?xDͺc7Ѫ*=W|xFV)b.ͬ #Sɽ2I| &ܿQSkdNu78x+UNX'= 23"9۾I?$+l(|䫶DT)5:pX۽x6i!Bs.rOX)r'YNQ}h cXC)rɱ?`֔SBOh폨/h*c9]jozFv-PЅyd^k/RҞ?,S8ԨT.#U $Dpl@թ]V{:p*ZI;]AUD\*z+'K\C7*~(|P)Y%,KM-䆲~hLGש']xЁ&Κp&} z>&`VV*5$ 'JJ%S}BC.~[^:N{!X]>zY.m'gN x_>'Eh*J{| rs'0fQ>HzD tS,^+QdH Fcr)1I1R0񽊧,ܫkY7O ̆ 1=z]q,uз<'}\Jd<(685.> >5>_<-_,dNnftt @(K(Af M#ϫq9/n-SBfos ep2`~*!kCݓ&0Vei^c˼~Nfw9ab^/Th c{$AZFd7 JXE;$aEӥau9s^:ziz NTw~giXrAɸGm쇤@FG.c`IIW|} J}jZY <(Rv=7?aҟH1c#ғa+[z4܅—jvUTq &奠2Zae}j+DddbfKkzKy^RZm_v+Uʦ2i(*b2 kHJ;[ Zܣ1@ng؂1I孇fm uBʈ|ldq>΃8TVv8ro˝X{D}%|L Bl}' (zn'Tm`vH/X2'!p ?qBj)6ⳉH.\K74?iA跠07s]$y XzIڜ>OD!j~D\DEA[J KL u A|*q7 S9 ҒxOFA oم_ ^RǚzQc0nRN 0"C!.eۊrcxͮRxo n!}-E5:?B9Q;j63]1M`+؁~" c@QRXrD|E1nf2 `k F-YhԍDj,L 0Yػ8sC OĜ=<&QAGE]0eRg Hw)2 =jc}wSTSMO>SL%>V`Wsd;dF$EKdBQFeҽ[rȽ_m[c#i0FYшt<^!,Wz ~򿭎rVf+Րcn4o0-%j:ch< 35̯h8V: gYZ ++J17a# |HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup7zXZִF! gc8]ˠ)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].bo ΐg&}G"oPW'vBAhg1Xx[xV*U uqBđ~16 xJv0=ulI"c TowJ*(`"ynK~YE N@ۭ}Zv3wH:wrM2H3"턟;1#K6ItĽARcL< TnJpVۚs٢N) d%g1@_?cU@Wh~ds IpeG l J;qn̓3l3~yqyI l QnҞ3’ yb®?qjr> ǝ"+Hb_4A$g1~$yf8W*xsJ?l-}8}-`lf"O)3:3?W&FXׇWF' 'mQt`T8a\DĚ_Ί2QNy} }/-:!M#) ңލRJyXx#]^EGRKճ@',H4=d#7z}1}C  :IـLtB"ʏNx\^5\Y$oR+}yCߊ;:_}+*BI/9nl:28[3rZe/ Yߺfu7Kׇck׿ytgg4T.frEߡy#jAjWg}wAbS‰QPuP_5C 2sGB:-\UCXF7S$C*.vӂ >L(D :2=#\f ,B&}-#Atu(v༬7cGp:r日a_Q 2#j?"}RV?G{?Ăc؜)SWxB&}?_)X2s)o6IϺayT^sS@/5벇>H#reɏdwc`rf=<mJ{x`ө{d9srܽJEpqnXG Lz3,dYl}1 G:/oo o`mwp5r.&F<Slj5]/Y0([f|Ydw -VT<%j+KsOr T~0ʞN_Ic\49MˣIbݾH%Lpv#X3?ܛ)0R#{IMNQ.ِbjW* kCq t y/fpankpZJP'7\_%%ȃHLet@Ժ!hdEj[}m0BЁmg-b[? 3'%TJ.eG3ACB~:TPBb|\| ?"rؤF?}}lKI'p H!#r/*T0lbsw)[0]M@)ôjmUeDEd_5dzH;iK)At6Mձ9؂EU> 2[tf.~g`~BِwHAnI?JxysG"U>pWoIH`$f"OnN-}Jtʸ(^>t_ɧ;|q KP+LdAY: Mv<9s<YKt'b3%P30~ԏ'hm7GΒ䋏c]\8/KFV7tCD(o^ ھR[- C wOVbCưc`1`2#TI$SLjc<(pѳWX-zyC&p)en*Fpg9y xȇo-j~PβbL^,k` Sc Bk8\IcN cH`Ti gq Ѻr!(JlXl@[☬rOlI2> Q`dkc=shh 5w'ΆnBBN jSvM:_.' :Vǡ+/ ȫ\ҥ{ '"%/Wh+/Le12z |6]Fuf;d"$}1wEaEv HK  Y .57I# \HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup7zXZִF! V &]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5 aye)#9W&,}sLm/v'D)Ԁ AZda'Q&DX6C:I."ouߊԺZ`0Ǒ^oP&QO8O9)?crJ&1iUvmSMHm'@B3p/S%)tuT^~:6D-r^뗀zS2М9^V0]_Tј@E(]3(iG%Iȹ4w&ջJ#⇚L)8&"P,7+ 0`&vKY oTn @[}9.Um Cٖ;ryc~"zYL "05ĥg,Y. L=mui=_NwfKWe{)R:hpmw7'hEF:0𶖶n?3/ERytaYg7:cJo*k@C.Uc*wEBjbGXgcy+އkBh uNr`G+4OF3 ݠ|_dY'$7j'c-WlуЈ7t] 4;=K &;'yiCATN?VblNNnz!vѾtڳ @&@h Aȋ`\@gCP†2~F9T41qou5ԅ}H<)]ӻ %u=m!ǟdLv:L%T."p;M' E("ވx)Фڈ}@/̩go O𩤾~-Hw"iÒ{Ak$RnoKH\&ϱE}(J~H:`BQV ^񝖭X*N0zL@EQPؒ1jF*ܒ>S1:c_g+b،- CM;P0FՓ3h)OuH8 2_!Jq<B9t\Tۊ4-חueJ$4}!h{8HŃOƆvx\}/DM`(ɇh<!?()>p7ܣp`fam+kn˛R >{/2=g8 D~(ȍ/23e|NЩ/O%# 2ueBb &4{$c2m}"TKv{^~,t+dq/G"c'o\Nwx#6K~~ -I6㮝Fr,s4_DGzh1,TvWaBQԇI}qqyzΜBwP\J'" O6rodά o`>rA׈,U sru2K_GŸ"U>@q+_ *Oifȶ@Z_}!L DZZSR]p["` ?rHύQ}^2E&uI>Z_atQ26/}&Z٠M޼6 HsrvžCxaO9m0!1`w~o8ph4,!Τxb9x13В\S=iP΢6YR߭ Ӵ{^}){KW"N ћpAt)@:*J1f@&8+Pp@kf8D '`n |A/',穖GFWT'ıfJݹgOD-~ x#Mެ=TQjرgYZ  [ % [u87Q!fHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/files~~/src/HOL/Quotient_Examples/Quotient_Int.thyQ77Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_id662X67I' ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages7zXZִF! N]·Iq n[:|&[z6G_ VxȔߛ~; =Mi2{ҫسs>vЪ5ğ\Q*WzOւ2kTkD ،5v6Xɩ*z6 z{֒r݀PHu3#LԠI 3<fE;b`c&"6^Ah*g_feu 0MbxOJ aW,5$NHB^*dj)!hFr#{A2!ے`y nnM\Mj"!7w< Uv#7^i.JfD9A幡uԶu ۖׄ2S77CIP7INJi9.4!xw Lo,ju+F(Mp1T )u9H0Y`q0mۋ|n.tkf;w 4~E,PF./\aCWn A Tcz#@߭hxSMʼڷ 9*Τ, =gYZ  u 4 h $  L  q < t*Z ,P , > z0N\t @] 'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages6D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup5C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files4I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id3t'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'G7K'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messages&E7K#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markup%D7K!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/files$J7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/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 :'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_idC7C'HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messagesA7C#HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup@7C!HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/filesF7C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_idH7M'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messagesF7M#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/markupE7M!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/filesK7M-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/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/latex)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/latexE#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 t,5 ? `  1 y ' ? Y yJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messages:H7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markup9G7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/files8K7Q)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/latexM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_id7L7S)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/G7I)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/latex D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setcode/set.MLF7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages6RuWilu~ @{8&7;a]#جjC&ygO+e1(Jմs"Yo>Fx~u;I'i[?X1nt=A-f4kb3ƈ!u/h؁7?v|+>Mwu0ߥg$^PA]#wW;=S54>Ax5kHgGECGw#tVF>Z VN |$ ?6. #K[[DW߹j"q퉺~!E+QH\~=9*`釼>?|o #q(,sF ж (6LLd|8 'ǯfӾ7jMOG/tL<<z/nM{y:MtnԒqn"/+GMu 8mu|m,{c~tq ]g>ckAx SՐ&f\%Ǫ:Ur0*.1 v^##gNk!}zu$Efk3O9jR !~$tB$Wl3-JrHhFBJ鈭X=е -y!dCɶ5\16D/=h:edG/bE9 yk~)l-zeCGv0/0Mr·n~9y<,<]BI#wCVXW>E7ފ֦ů* ˭DyFp>ʳy* zZ-;Jz!ԙŞ㓾E1FB Ǟ:_"ɖ*+|kg(oq*'?az|E C?Af5ٻK@QBa~FϬrb 'F)5OohT1Zjf7\i3/>_ƷhFapao`6[}Li0Kdq@Di5sxKFImB:Vq뜑v ʫ3Km.CHƀŻᦈ$S̰Kbi%k>4zıZJV.I* _N%y^ Fs- oOTO!7)Ӭ;]{$s1Uhopd( eBD ;{'BWULҡlr;~􊖂}{I l${㠢6 uiH2B\{^]x)0~샂Da̜Mdkc,hs0L #灞6o!GLn#C40`̃} YC K:j\lj)ca=xǞu nq㫺Ο|@|[#ӄ.N* lɮ.f *hKQS'x(bHO?b E;7ea}(X9y#yc VPv벷,yJPevTدݏ"xXG{Mzdyx[|d 9<$x@v6+k X@T c}>$0#GdIyU&%6x@!6)<0$~P⥘ٗ3}8 U!-@E'~\;pI eJƿ/Эlg pմA+ h4\XXV17=-e q&#;)i,,Y+eW!x9'3/n W ]4;\w&mD悊0@TRz'_2;㷥/&iF RA 62P .H.mO`>$rnΈ]cS1D"hQ}VTr9G W`\=ɫaKzТ> OS7$wU@eE,Cj8#r6ERzZƨ}&4Oࣚz} JSV-)MQn. Ka9 1`o#>LQ"?1c;Mqw83&F-oijDO;÷~G@N3} [TppGfXNa0;Cqw-9>@gTaQr*qP-r (Mob3S_1ދ}['w^$ϳ0W$5[RsʦD>cnGU||"q1Kɋ7l `v\sƣJ([h%ye *$N>(>VXOȔi ?h ].g()Ǣ. 2ڢJ^pAnPEoљPE⥜U2⬕2 t 5sҐptZE@Q'U;l8MC5vJ6Z|A]~&Ac<"M" ?S%/4-UK*_aD S N}7}PD<$ݘ4S]vIY)Sźj֜mYej7N",ܬq:8!}cd4^Z<[u+eԒKH2߄T XYؿNhO1UQ%AEmSWqb>Ğ1! m:/š6ڵ tl[`YGa5@kP='vy}  7­5w )O<ͯ4P̌Ll_6RصY-%TCJð">c:oEZR7 to#+qv2.Vwn{&UOYş UxH(\gbG,tהּ_ېq-Q28cJaM6|p>)\zsN\SRLlt t 77߮4HOލ aM2E샏78UrKhqMRa@6쀍$| cp^)h/" I,{C>q;=f ?1 @Nެ(Da$[uqP\[Uqpr>ҙ뿎 :qfT<9&jfOiy@:4q"pԮmm|DAzG쏾ZvcLo]ߒ 5+[8$O,3?ųPcBA1ZmђnJ)BS;SOX/P YKpPLasWؔuD`{I`w}:>EYsdV3O8$ ˇ zIMe ?KM]NthYe{D[>-)OY? I ǽ \~ԧ;8 t,y1Zl9a ^xR79_6: uŠ^vrs5` t&^Z״BfH(l/ycCu.Y8&L8#Ɛt~[HYV# b$S"j23v(}*W1\8pR=ew߅n?p;g-%ͺ\D0G ߒL<T-KA.Wgy#p؅Q\)kqM.ƺX˫v:E;ȬM5˘Oh~t]!m L3I*]:;I]0M,#ņ3؞MASd|%ʠݣ \o9JAѩDX0KMÄ6\ٌ{6[U K:dcEbPvQm e۫ \k$$aWm#$K<A 0@"?TRfito /9pEfb `EQ۾͉~`(ZCÄ4u4Ҕ9:JƢ `T %t*r' F-l+vti@fþW~ytET@cJlVdk,=>T 1ʨXFlbl`fBaY_g}mUeX e'k/ 8ϕ_z5`%tTB7$D{`.DP%UpT%.ڝ_Bl!Ԍ~ 3sh-nµoe|#VuNoNqmLI_2tg 2.q4HwE1-W봪l94CB%wVN[C6z{+;,-N0#&wZ5Z*Wd@ 'ϐp32w O-byŕ4Tlzʨdl=*20lkY,ŨXُWɒ:I{h6p{!Qɏe0~CuP \'iڴ=IE[9*1CrͥPK:+}i9Io_#ރ4$RVI*{z[4$=$Nm4YeP4gFXP̧PJbl8h,#B0vy~TNLSkU-` 5\QDZ!\UY]ըZH0H|Kl OQw֪cEGVxFrb>كGD&o5-X(;k|[-ُ" 0J.~e~ ޫcRR+4P YǗfd@!O`SĕpƚRGu%n&G>t ɡ]"y˱ )Q-Ɛ3vkx~W:av#:kDlݽT~ .)䤙,Dgĉ[WAcI qˠJZabG[~@ ˊnp.v.|)gLQE,H}Yd޹d%:nWL >E#(jUؑjKnc^as%+Q^ԓNU˄*ya+/tzMjoO$P$ @uOxDFY-ݚ^ S@*ܽ "Ak[@mM>h$B&"Wb'9J5gQ\nwQ%/ȊGϽLX& TF:<̔k$`AuLPS3?oۃmKRhf`!MZL7h8p ChKlD4@jnأe̦ʫ  ( 0.y^5F 4dn|!^E}kZ;ࡔ @DU<<7aL]=#P,3d@1WbYI%,8X%)n9iݛ"j?UR٪3 Z'@ЉFmۛ‘,>wkr3ZC[p?Uq֨.2給^"e z$G>٩Hhyٌ2SOYhI g>mD_OЄB*N $փS_V!" Vx邌_?P{ }l{I/a-ˊJW:9kuJA#e+.^:-$&q9 5 P1R?ʄiU71BM5R;DmE 4y76+`K<m""I 54yۦ JAfQgƱ9XWߺp&3Dʪ-fq'wjvKv;bVxwucyna˙ɏa^%[`&$[8OgYZ 9 7Q# HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markup7zXZִF! -]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$PE"EbpԺw):XЅ%Tv] <j<@QlZf! wsz}[wxv㲤 9;F3{E S2->[ܷE|4KLK'/> 7)D(B\fy{3үm* JfY R9@`Ckz ،bxQأU|e(]%r1F7fT* |.R']3ԸY MW] ĭYs'\IRv J#:z%a=FTy=x/_rIS /%ۛͿ:L*ߊ.]|D9vvqKZusNFp$r:E_R)Ɠ ۲jsB9y-X"?Ck3OĦtJy:l\/?LEod%}Fy$j}ώ%@+yw{-' k!3ے˦"[B}{aqw&Nw[cM)fb,(TO.ėhk!+n@K U)T%%E\06G=J~*M%7E)A#r ">V;eVY3 JװmEMB" 8"M{mTOoӦ# %bWh\/"j{ނd(,M$T4܂QEK@[@?nd; o?:6WrN&4&#-c0uQ+U$)13>6CJ$'2S;YFaVZ9!צ2rc$f} ?L/u0ԗj`JB0uo!3u#+\gB?\*f.! w!zS>8Fr!Q iD:N%5Ԇ\YxgP_J~ޔޢ_<~(~sl] `mm{ '}C25x_y82Q!0UVn+>a=ɪ]#¯ >\lRM'$ aiI^Y:ESeJޑѷbbw ;yR&$ux^#cvf"p 3":r8b(Q`k6)xB,lU /Zy_ECC//?9汗(~ h9Dm֠iXޒEU7SOGk{ߚmq^04XFZ,Pd?o}UVM[*$u6"&d#I-7AM@-,~6 SO" EB5K `XcC /;{`kR7}V[g/9\R(|Un.>~`SbϪ"%"N$Cl߻ @ۭ!7{=WC[/*x$ 8,}_AĠ{VI0@=}n 7*wxlOX(\E(:䡏~FKFo>j9_ ?e*F%56Vk/~ !鍋#~6L"q7v mi.=?Dz1 os!vf`Ƥno S#'u,hKąop!V %aR/9yOG,ݫ&v1spDZPe#\uHX7fruտ|ɍT[Ǫ 9H6{T xҮIx>b/).0KQ*Xo&X~kH `*vB|WN&e3) =%{@ dl;60\m3񋤏S=k6R4<َw;0Pt̩tRZj&PZSxdž%\%wUBy+/U7%B3O ) Ұ*͞j}Woq.&g (h7^:l ѽ5ۜ}Զt&Q  :7Q' HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messages7zXZִF! ]·Iq n[:|&[z6J}/W QyGhl_O( &&umZZb׬w~.7TwE@B0T$zc*eAcUX<ͩZ{}[GEJPJjqn{rkཨx]ts+WI'sD$b{o^=+/Xl(}qA:nLb?t`OL?KLAWSK/Q#AU&;A[-uh2 o$Z2l{{QQLd:qA =S`..Z#ӍdAώ< ĉ##Zܢ 0p(ZŰLt}u%NworIrA M헻Je ҍy++FLurp:ѷDT|%XF]q/ .SLE..A&M}LiO#Еy~}lMdaKߑ`R혮#5[gJK9flV̍sxQŷªݾȃ>N+J% |L,RDccΤe:q,QBĮoB" ap/ \llVI2J}=.Mdm^G+MD F}S4#x=&v\WHS;aH^`N4Gid%IA\; ֑f&+.?,p%)ZeS]xڋm\ Z5M,py+ lPHnx lR_V!ۓcl1m:,y!TqTCHYBQ?:颿jD}p8~QA(% 8ņgcG߀*?NX9OTGz U ڙ&}ĉ\ v!4p1h cKy1:j߱N Z2ݘ孭Й6?r5cNUFR.O}a~?(_O};Mx!K[pWR\h;x"U_?̟h >Kb scpL'*AzosAukO[}bft0d: ]BdrHoNPkm1 8kN24 #O 1.6cO$gDL EڞHF]IJVnxYZ`ӸlȤ5zxJUV%'СYJ`ONK6q-VR3Y/x"l4$\MB{ߕiVb UP&U޷=I{i`P58Sɫ""T4/}ƞi.}K b41~ʶ f#=1Y09%Q T0A9HP))O]}lZq#>2M(^!=v&slV. `,H9}B/bTw,@"l@v@~crEYxmA @ORYk=&C/JV2e" [KiQ)TA2!2 ƘNL{b+9Ph0X ,sX\{UԌϡr?/wW*Z2jAQbhOwSdjh"dc-uAs7緼bPSȮ򒩚sK84<P tT-{L.BQ/ 4,n͇gYZ