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 a7tD| ]% HOL-Quotient_Examples:threads=6elapsed=26.191cpu=41.310gc=1.8707zXZִF! Y]ŗXiɟ=QzX)qFCkW*g_˴A(Ok| ϗ]1 7n(hL=Zľ'jDG!R1^1ZEhaݯd9k,Ѩ:3!X0[$J>NׁX[l[2I[Kq!V,+՚pqRn7@mm1~69ȾAwCg5Yދ3r0X#bZ3&nÓ%UrKCm\#-bf)n>gYZ7zXZִF! ]ŗXiɟ1TgsC2MpRP FdSYNqNo B h;RLf>ٲAAK\_@Q~ K&Gٙp֥!=9-s*0ľ8j8mv ņS{ɝ!Nf)_$uC :QDx2y Su,5$@R\[3i }O0J(gYZ7zXZִF! ]ŗXi%F\~|uK-& O)x ~ dȓǬAr8 ~UqRc|^/>:=Q"q9/x'qgd $ :OxA`) ccriePxa=׍fpdK$9\YvkY=֯  ȋD;'/跍!z7An~lkM&|2 |uzTςr E l@XDa*dDq,nʄȖ$ ompņGp<}\>MBB#˔eRпp)p؆27Eq U]W!2Hr}dRMuW]{ %åv{\&WUlU8K/]ޢ,F45$n(ϙVGO(N4ЭWAߴZ;WK}5l@LșNJ˨т3DʢԝpőjT &-m5Ef.:Ȏ{ Zѹ 2" % ذ-KlzZa7)PDN~ke2 jYQrsB? mX Ecj8sا5ve׏uմ|/-s;lcK_xnz;d/;});YԦ-j <6+cttw $ ěfgy~qSBek6޷Y|jd>M}^(юf^CͰ ڼ !k3n4Z`GVbJ>pP(~0ܒжF!훪$U'TWK\YP*U(1 I^p&=bȁ_|<ں#|=,'f]CD unP(qX RK5/MW28YS.釖:>nVNJjZXda-imt|k?fra1:@ϱ}q^}o:E.MYoDR×!cp <~!` 'Sm#viJڿ ,dAH !,NƫL@gYZ2d9df3053fde6b1c1ca9cddbe5c0e3d5863c3f41a2fe398aa5bbe1e9167c32c9440835ae76233687 bb893dcfe41cefc4a17b5a562e7b39f67c6612ab 0e046893711c861141fef1d6277a6f1463479037 227442b3c1f9ae327fa655c5a8f2c8155cc1e4d6 b08c1133fbf0ece772cf0e81ab2691dcad804236 7 HOL-Quotient_ExamplesT^7I# kyeF9-6=X/~B~-5FO ʼn/naO7؄)dP *Io4 DR"ż^'<5793.B*F jWN|_R|YBW0ȵ@F+J[9egYZ7K% HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.ML7zXZִF! ]]9 ! kH ~6ң~& 4E~A3I3?BXCi,ncP)~_ֽ/`gO)cv7[ dC\\[m_- $NEtWl𶎥Ű5^`~C'x$L&TF^ k/e:OSpwsRꙜwo\aN.b 6y#KK5֣\"S 4Hp-+-n"}[mXMJ{Ώ=8&ɯ.~]p@мpKk 8gDT2D6x@WiEuP3pW>ul٫ɔ^Օtu(S"VsDNQ amE60}׸wBD(tki5a fK5/ JU t}KJ^MM{%UFeߖAA9s7.`ė*ie6/:jV9R;bd +{gYZ7M' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListcode/dlist.ML7zXZִF! Fx]9 ! kHCKt TLh0qWoeqsŴ47! Vq-TiTՍLSl[*~Ax*M}~w8H}x:@L,CEAcÐeؠx]G>m/Xݪ,7Ȣbo:lTC|@piY>j37t٠^rGmSEËheI3`k={y-?kyD z 2*}eze:5Dz؜#~nT1pUE7{}!i-mW}^~?$[/FKK 9G 8Gn0_HNzGoX{ +歖i+r-\٤DݐAhqߌ%:ؠΠ\=-OOSԼ|C:l^':8uWhMD^+`W\@%?fAIn̰H3HMThgk8ApQ <[[5ozٟk};;qfi'6VS% -7뀜w,6 ^8[}`' w>ݙ6_ʆSL 8S VbWCv'F[ہ(B,MYMpE HsߜLgJUL_<tJCe}<>Yev¸9T9\$4[6DJZ=}#mDo[C;vˇ)ݍ*Ĵ9sH6ovf ʈq)w^=Q9N5L4K0H-E*D'B$= <:98., ' & $ !  PB z 4  Zq t4 ,N ~, NZ \  Nt,^ @ {0 D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markup5C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/files4I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_id3F7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages2D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup1C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files0I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id/J7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messages.H7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markup-G7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/files,M7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_id+N7Y'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messages*L7Y#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup)K7Y!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/files(Q7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id'E7G'HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messages&C7G#HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/markup%B7G!HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/files$H7G-HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/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_idJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messagesH7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markupG7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/filesM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_idR7a'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messagesP7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markupO7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/filesU7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/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_idK7S'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messagesI7S#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markupH7S!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/filesN7S-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/document_idK7Q)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/latexO7Y)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/latex S7a)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/latex G7I)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/latex G7I)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/latex H7K)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/latex I7M)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/latexF7G)HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/latexL7S)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/latexD7C)HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/latexK7Q)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/latexD7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setcode/set.MLF7K%HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fsetOG7I)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/latex   \rybPϼTըfVM1k80@mxP'Lj` gv"[n.* YwZЛm \ʇl.cdeh(m6xx* 8a0)My57V?'cvV-|lk[o'9;l{?=j>ݽ7_)EKYw%5IvAYN486j|<(*tt`]i~f`[{fOJgasI+:Kx҂Stqrsm>C(EQYoW4kyȃA_9)X-ui 4 lE $u\ҥEUݵ,Zr*\Ivп{{A9&Sc~@—DER WIr"H&ķ !qefgNWYZp׳%H~yM'IϋbQ3%Ni2u?O)bt´@Hʱ-5utzg(߱vM:`#'t -tx-P Pcڍ `\&+*œݛ8Д%dboP8xpsɲ:%f1e0 DmRPs2ؾu@ѧS-.ڥ)&AYZd'Rw\ڍ/:J9 @¿SNNl@1c&FZȅ("XbUЕ濶z]/}SU rhvār؈jE2佡xuBO[t <zlc̻ͽ` u0TWP, &{*WՍ5|BPwJ3K@oM$p H1?y$bvlr|e6Q|Ɲw*'qvqЈ7qQ  [QRB,A'3QsұB`i"5I[&VAOΒ^ ~$V;H!~DF #a_G'[n7 sBpP~/`=hJLUIW_UO0 .3!mn*_o|od?~cR6Lj"3a* r2h)f{7ŃR>b|LgbqEx|0b9O\Y;M@u QS:S~U1+XQcrH1xbRybՄap6H^,dv+]z,nz 6ɒ0ȏ!o,wِ:OZk֖7\9 .r7˽ ;$cѿF0F~;}m*:T *EB^7%5msdŞLzu+Rx2MN"[3lY?B d%LOԫZ}1g150 [K QO/`GnFTkU)o=[|: ]aULa7wUrWxa FX샨?s7_S^lnHW1]s4lFSsn6Gjv9R= FR4 [b]zoUvmQ80\3@:_J4S IK@{"ijǔ o|ücec Jo,c\bXMLۃ}>K{:e9Y2Za8/Xz}庒 *) V܉ׇoF L=?mtE4\޸~FUcVUuPo{ f7 ^3.&F|De_IiH(XXW?IʹTPJQkq{3|))<;P ps[ϧLJC e#dYtbmm`A]:o:2[kZ\S xCl@buiXaCA-7n^6FN'ZH?0ex\I6I]?y8ܽg*˚ Q d(,+ (~EHznԙkPHt}P c=gscTKʆ=)Sn$vc gR!:[ 8ͨ5UK\]Cɪ>f>4|MG`mf0hCF2[m|—\y"L"ӄ)=͵_di{kNyL_H1 9H`@Y@`u"f gʡ`߂od|p ]^DK5OI3{ozj.i.jxSՎnfN'rz[y8^_J6c?#s .S%})+XOPvSYV{w=<.t j@kPĖ9Yذ~ d4D~>?T8PQbz[JmXJEU^#O؆\>iz7|=)4VXpc1ߙҼDrPͺ0(ف=w,LLS2~⮦+,&qN OЁdfT+Fs<;<UL|5A <EL>G4)iIF/|eR2M| - ^bgo Zδ8첌>SfI檧WIVz}x<9K3p sXs|d4Ć%ݲ;Qyڥ L[ N "%'DNyכm$Dq"#|6̲w~KoaMUOAEE^4AvvX{k;u0] kIBwAe,G B:7:o9J/dݨl75TMg 3" 굛FenYFR61gӠa)ś\I/b1̲.q;z9l~דiiygHlk˂~j% SóxٕWEZFb+w/30 'hGI.&f+fh'F(FoSss^?GI\+-8[7lGPh>>wA) à6ó ߑB=7tl0RҒ3an D~=& q#[=tahEo}t C;OJ{ߚK@‐ Q-bSHx?K"*FG8F)ꯩůVQՙwa[悼]ɂ#6U$ޒ՞bCކN("דXgmkiL>1|81 xK J6sхq&{YYaV Z:<\,9|'+4/h:(* Kèl)k-F*jJ7#]5(aZt Mῠ@ЃzXue=^HTlCXm{ՍE)f=ş>5sJ.ʌ?9Nj<"1\ BTV~ @8F*˻D>N[JI/CXc;-ę H#,uD'DTnDXm*v\܁hToc2ٜoeN4~wl>dR#?}Of!4cnTcn#5TڈU䛘ɡH4I n~_9Q%N{zWh,*a^Q/L+q̋p [vmg9w;'*TI( MuMJ2hQ?<9BFr҈䥱+Kϗ~%C΍&(=t^r%: Re;Q;޴׈/sziEG,fbl뤢I{s68Hؓhb1kC< q$"U&皡90aHe19aW&m.iA7f˹"NeFA^AF5&m, ih6.ǟ,L˞nVj.bfZ^(BLI7nfN%2n,۽*)O*gfҍT Bs΋glsQ)-NU"#㚂zEjItyvb{%wurFv8l["ˈa#,)X"\\oAS!5gG9AE]:JdY-^vن)=AU@8z8X/)l l1_Z0YgX̼<& ˋf<B2l2W@臼M`~wc.5ETW4_ϋ dK|U,5N[m H@c ; I`Zpk0ם` eG:U$c4u[ۀX#D31c To B!p-)d i`>{xxVqF]?Dmk ܩ6mi4TF!т5ڛXelA\i d,>̽.xbyj/PLvʈ$X+9%KZFF ڦxjR3z3G 4x2yQ=tu=ARV\kdQ.믶/u]5a W胷ՑlX4m(~gWuJsA6'fu>۽4Q,K%7?6qN>C;{8ߢd2AE0%zSt8۴`XHRM$ pƩ{wb4askW_Blsm0_S&"_F@\1 5Sy*X\Va=lggyk2cy^y}JXh4iRnN41^k?HD1 S2ȏČt_y|vՈ!:x-ւ|\޾"eS"yg{dj[EϷm=b×*WU.FUI Z*6Jcqml;8x%Ka&k9 >c# m>XOoQ_` _qP\قar'#9OiF#a̱QІ~ إdt6=_~ݡFޜvK-en|XVַJ)GqQJO?8Qt\"-=IDB;0Vȫq4.hT-vBBDQ* #-K>PplWG$U2[htn h"G-ƌTN% [q4Hq ,^zJθTZkQLO `W$j YB3BROhRu_D.cV A (NB}UReB]KSY8r:lGp6:ʟSH3tW@8XAK4U݆0=vq;̺Gf˪ zɢ ~MNh?Yl`SEzDQWJk{`QR N[m |FOQ몷|r-=Bw)8of7OBQ4:3nP" >I#{8ާ$-4EUr9OjQS ѥNtn66| bdn/p!ي_Otc#پb 3Sj1q4J.6YzYu 3{&Ih_~1׍hnx嗧M}t"|낿~Ϸ/GvJNy^"NDkYLfpO?mH 8 +xsʆ$SKsܲ= j<О14E=' ;γA/6 p{HD.G5z-U.RuIRfbd$t&t%iTdə{Wç$, c+BI:=ᯒvVhQRp秇R)[NFRWx7 ,9#<'`.6WCxGj!DPUC!rF<*!?TRs4/\dןbw5?f˟"S>L%)ȥj{v_rhiaT`/P{.ހa?]Č! $*CT$-h<yJ0ץ6?-VZQdv P/Y P"=^{WLSzDd Aأ{5tK^L 6)FA[&C42A9Okyq#9T;_[ vᢙi_=3@ʟjQݼ`F?PlĐf#\+`i^؃yzTdLlWJp*cb-J0 #̯[Ȉ<]5þԒ1M([-+-kO$Im,??!μ]<9\EՄDt& wZc@kEt,'ÐC jV?:--B妣iJpoEՀ@v -Y*K' '-ڤRV^,bDڞ !>tw}YAg'(";*uUYlY ׌(.wOT==1y+P1k@Xk/[I)а^ ޝ[|N0(=Yn _x\CRĊJx)U!!K` ۦG*EP6/OS|R9es⠲-)%nСYTDɹ+ pnxVx }gM0WOmiN}H)EBB翏d؏W]ތ6;~@M9ͅ\W;Nt-q=̰:c9YYB"k'Lq<@Gpi\CdPc%mZ8z` uA)iuIAy?.ihxe||'Մ'MU 騩g14. ф0i8U)|3_N 2&0hx̱)Knj(!C$,BߴИ3TdIHMތHP3 RUh[((8MeJ7-p 2\=`ۖm/Ƌ=ʾcW9*'9`"F2\WV̸&Jҿ(^D^zVf P0dѺoOQc^Ĉs$^GiT͠~bQUue|߇4u #3nZޞV=5KJऎ3Z0b1P8ϰ_B7 )oGbeb('=fby-[j!ER~ODE'Qe|<Ԇ?go!tWŘ#GL#:י]PCCw!v<>gsWNa|{AQCrKlvOty KY( >#MԃlI޽Y:>< Trv"Ϟ$ jyU3MW,[У{>J;: @HE1bwA~YujQjw}bSmT `($(%ҲFߥQYRdPsȴ\N}Sy?-1tT{<0Yq^奣4T-|1!Y$:cYvo!(@ ӲI;/ lۺhj˜ħv吞Aod8J x.Ii: {ϩ?"`t%ڠdӦ4,C36o]\ ѽmjAPw4Ɨ;- Zsnq9pqZ=q$F,qk0AG no&x8O)]!TAlȘɓ| |K7T}ז9<:^pbIeGc%>$)\˕]'j̝'V {tj~8F?QizSdED <>Yă}@ _Z1kXJ Mu|831 Ǎ@͙7yL3;blf8Nc!ANYQ 1ិT]ljtc`b-bٶ@"e ]6 lFF]`5b wsNy+׏ԿhbJ#H傻S׍?ƒ_좐6\rXN~Ҧoڠ^q`ܰU|Z0\FgD^)<fgτJ;iK(`jDE(A`d"|R-IVTኽN(^"u+w*㏨rg j`6 w$"C@$9//~Ԓ8]bU5H,$NuKa>{Fhs򍣣64ԯ4aZrʓǚ?GX q -FZI hӆJќIX>f?r _3v = HW@6+Nr_lJchZF'Mu(a t{ E !a8 B^{8'g9)"`+nk<~O6t@]A[98o˩nW4kyeF9-6=X/~B~-5FO ʼn/naO7؄)dP *Io4 DR"ż^'<5793.B*F jWN|_R|YBW0ȵ@F+J[9egYZ7K% HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.ML7zXZִF! ]]9 ! kH ~6ң~& 4E~A3I3?BXCi,ncP)~_ֽ/`gO)cv7[ dC\\[m_- $NEtWl𶎥Ű5^`~C'x$L&TF^ k/e:OSpwsRꙜwo\aN.b 6y#KK5֣\"S 4Hp-+-n"}[mXMJ{Ώ=8&ɯ.~]p@мpKk 8gDT2D6x@WiEuP3pW>ul٫ɔ^Օtu(S"VsDNQ amE60}׸wBD(tki5a fK5/ JU t}KJ^MM{%UFeߖAA9s7.`ė*ie6/:jV9R;bd +{gYZ7M' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListcode/dlist.ML7zXZִF! Fx]9 ! kHCKt TLh0qWoeqsŴ47! Vq-TiTՍLSl[*~Ax*M}~w8H}x:@L,CEAcÐeؠx]G>m/Xݪ,7Ȣbo:lTC|@piY>j37t٠^rGmSEËheI3`k={y-?kyD z 2*}eze:5Dz؜#~nT1pUE7{}!i-mW}^~?$[/FKK 9G 8Gn0_HNzGoX{ +歖i+r-\٤DݐAhqߌ%:ؠΠ\=-OOSԼ|C:l^':8uWhMD^+`W\@%?fAIn̰H3HMThgk8ApQ <[[5ozٟk};;qfi'6VS% -7뀜w,6 ^8[}`' w>ݙ6_ʆSL 8S VbWCv'F[ہ(B,MYMpE HsߜLgJUL_<tJCe}<>Yev¸9T9\$4[6DJZ=}#mDo[C;vˇ)ݍ*Ĵ9sH6ovf ʈq)w^=T;qkc@#=X sŊcGyyzr6^![4؊Ykv1Z gScQ#/>N2-tF gYZ )) 7C) $HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/latex7zXZִF! Ԁ5 ]N}T':=Q߲mZwb3Kzd'{hR'هMٟ鈺j&~ڕ:N 5dQE43% _ɖ^|Hc+Hwl'-7*` z"EY)tbWs@ˋӻJnTUWIg05<o9,Y i@ H*EW0Xqo,sI]}3զ;={ӾFyc0b4wuuʠ1-]0ψusTo%\GSeu;uC(Ųܒg}? t]=BP1`y'ce~!"Oo!IN{iiGBoL oE.ˣ4[ب!Vo3@lVv`?7!mћB1FV.IU8y3QvZ[ݖ[Jmyy.x6؍\pwk-g5"o8BCi `U'r ^L:&z"QVekXk03Cٝƪ yCKm{^D=)@Ι0W2}pLD *aTVfU e/E ,2W |$:Y3IHY͋{ ^Ljx-7:aw][46d#˸':H{Eb9}2lI:͒ѹ~C#.cAҐw3{&I^ɟb+cZx'xëOۿۀ>mPV}Mݲ -XT#1 5V<\N:g lp#r/g\jIqE+8ּf@\e^Ptޒ__7e4CA~b+KuuWb8}AXx| Z(PT}IqY^QXl;uo*W=c+paqn > %ﵷeȼcWv&ϯUV.11 xTP=ъuhxXK|"tVm#EhnYR_zёB}(>ܢ̠aHνx<>j|6uco8%c?z%x|K?2oJ:ƟTԢL3؅'$h!Vyk\kC3smGCZ i{m[ c>nz_\"#)zqBƭ%1A{?@;H8v9Hh\_YEa/礁ׁ.aJNn ;Ϳc '`khp]!yEȚ `3ot)Cha%HYli'P/UW٣4!@IoӲ0Td  <#Ȳy~ s ROn>* "6pC윣[kZ;`]{?ڙ+S92fnO)>?+(KžhGwJ"iOPgH5 i:ZcF/aB?1JMkw63HX[j!>-F+*NA{y)H)$apvi8py_m;NY&&} %#_:k'aLv50Mh=6pjcxgߨK<їX@NJ`镌GQ;” c8q8_Z+XEl k#bF`4\S9ZziNHWT\X޲yRdCREN4 `8tC5uS2=MރLѿOZS{;vdgYeMxu I㧑^WYn`+YՉhJti0c&?C$}*H(0u]FiJ-xy߭y_n-vd`ɽ4r00%;@deVFiD N7 XbOY 1o2Y1@9 wIiJ9F>v3H 4K`w $+LHvEGPDUP%įn@* 5b9Rx“$^"@nIhEJ-Wu6֜phyR?H*uFòciCcN{ALH+kPub=~HQf̽~e~MDŽqy\y8'@@'5"JP\6A%Zcڏmj&XG:gsdg3=mL}dH fu5Tې$aހЄ"9"Ųm0/mfѨ="eQSqT$^0t MWx[<=m"6;6>txS6 ~EmUg`i/[D&ި~Bbmp(Z1rȔzR˚LSV̍1eǿƈf Oq!mщTuZ*I=2o-ɐߊNEڣ trn"pZo M# |C! d..ĥuW.>μ=E|\fDl7XY%I #:,}K^@.FNN9se$ 8VӬV'oQFA#YQ-L)*.goO=xFa^UäXLwX/щ~[d"ח-*eq4b{FNXKKR1ԃh{NU$CX{NK[ Q6K`lӋqyk|iɠWmC:C(R08i{D!ļlFaYݔqy(7Pw{H˥7YeQwy(xQ3l tzam/swt h J| z>R#5+gW!՝E 7pMuh~wa&.ɖ[5i%SһE5\X|<$}b89y.y-@`9e/x2Z(nE.XO3?qgǚMa ^ (.6} MT}2M6=ILsh+Y وL^I9O:8nMvX=vRzxhj7)L.])h`J+ ݨ=ES}-)D@9]h2;̀4a:I6>`]m~vY 5̓΢RL;0ho;A3nFl):IU rpIh/3[)qij.'V\;z4a.hO|Q1L]JO)Arw#v~ }f%Mu GP[Eg!$xI$D\^4z%9TfEbHxSYvVZ[DsnHKr[$+ !n ׯ ZiVum(% 3 -&wП'kg9=ᙃi˨M7!xϔ4Vc4"iŀÈRі<͆(@FǕ9JYD4gE1% `㠻AGmv<>TYf]X\?q8#NS(kXH,rn x_H*b .ox vs$ r-ʨs4 #IIZ-^Cu&ۺf|᧰,>41!aӮl/tHI+FU;r. u:2tE?cy(ӹwo4L/5d3)x M*Fcy?mO]ѫ},0UqQb˴#hM'ۮyMe=1F2v!]0 "$pliRlgVkTObGU>+#A0D*'t& E⩣UGnsL'My_{2m#pmtB1x:LpblמOG@(Vh%VBe/CW*d\}{)O6(,ǨAiۖ]y>'D\2loE҃ǹ͜ ,B:Yig"FC@`+o(P/< p 7t+}!_6l[!$&LVb<@_Ag` u?P=g)/YFy~^PhK@ZEϰb5|9vϱe# Uh iޑHL Ȓo3t)}YwR{˘R`6fL&{] :Oˀ Wh(;Z޶4Y1L0>bt 6-e<(\徦%뫭!&9ޔZ͜d/je>tSz!(H,xAN'"l`9L[",S+s%xwTU.=5 N.CE/Ӎ=PPV-re-~{q{X%$"ftz OmO0ޛy},@{Xti@#fɟY 8s,O1kT7Ue&x^wa9$ֹ|U}$`7E=L*mLX$iEX'sgyB;@6'T}09J2, f" rڹrF9}y1 qÖ^,pwc|Wwg:G Kf<6ayV\V] Uo\jgҳ>?ӴYyd<n6UD@-$x1;슳]W{1mX?6PIy. Y.!Z!M!nAymgƍA{8GAIM!O ɾwR3 `;Y}&0vU,Ֆ JKŅo\⯁w$tȊ#1Wz/M#-{[dYAd7}2\y@55DD\ =d@!;D–0:udKI'EP/PK]\aW @wM">oڛ 3946G'EDCBbF&q~L536O(ڎӓ;n f(&)` S2O3  uq7?xuօ'KnMhrxS'峾Rfdo\VuƤknPmyD5N^.N|$bö|Hx656]}FBX"M lonS +k}'M?##`./8:y'q7w5=VGghBMl5>>=T0Uz9.6,jb)˦3oP :J@f۰-^%8#i8ur"sh)C܄M+ \'ح?񍱻v{ u O~} Ic>ΫG1f~`-Ѵf̘ϸ=nS0^* J1~[0JN?#@I#RblB=HFOsK=UlFDӧIN {D38wyk܅v 5,KzLQ'`o~R5)i/Kl_'`ݟQV7;m|Yt%Yj Mk|j :pZM!U`?ʝƢ=X4_ )τ;U-4QD?$%}Q,dx]R^|D)@1Stt>q:D2k*W.]ވx6hy;a:9SFUL#8 p_eErǫ(3!z\`mtKFVBU@Bgy#&)m=+H=խ5}n &_ @wAnyF&Q|Un!L>O܇͞7p.LP<ڤsfg7Uگ:b]H&8< AA]C,RW5Uߘ&7Iiw Y9}%299AurQ kk+?ʶ'r;͢TzĶ tTmmBܝ>#QϤ8Žj;QֶŰNrlftl`T$X湝6 PW'DKޫ.ڿ.o ^ ́,W1uymg=/4dE#JX?hw33:!g|mvw3ǔVrrf!Cvz"KQ$b)eG)O 1.Uw2?-(H$\7K2՝ojm ɮדs0O~nBG&M]mRx|JSJ3a- vUE 0Ѝ1B@)"wU6Tu&໣0a1X\ƙD$BA Rv^n0Q+ Y@LK>͇!u$z@QE3RFMX\ͫ"&1 EFN+#9˧i R4!l=O ,ZBT# "3 N.n{Ao ӕp\ WG#ylջwbERstCߠHu;r~sQòBoILʭq8B\ YʁͧF@CP7M Nv Hva6! kXy ^jeS[6)MWl|:nuMגjUE`[j7t'@f=NY>B*y;}jfn%ՂO]h3k"tym4 -16t +~]!GZr$<554v\_a&ZTynr!>%8x|rSWt40*/~e6"A%G-e=[j̺La/as#M$K}ժdfF 9/[O~Q \ZqRlU0Hq Nƿ+?I68($;חh&sZ׆:.$%)+̞p!h}dT.\d}i&`)ُcZ;>7ksQ+!L ΞRَ ig{t'N>7UHy+/Gs0r#4QO.at2<5JXyQùD_. yȲ $3Mo#&\}>_{ReMwxZLָ]xkJvң,&k~&Jo[HՋ ӄ'i\ z=eP㈂WWurU}F Vlu~ll Q>9,zix r^ϻTlVN}k6 9a kO rZƹkT쿝M{&xF2Jjcdpp[xw=P>a:*u ױ>"CQ`y9NpSz~Q}ܰyL12'\S_Z!2[U#WRC J/A=FoE)(X3 6|}R=Pl9kК-w썆N 妷,p'KA|_s4 E_Y ?/emޝ~KĨgPͯsX\?;v4䴊c^ѓO}~=cc|gT~eCLz.S^ڤno 8daIӶRze}/x??iHdnX&}ŻN:crn[h_{nv[,8t/6sd$Ύ]bӍGؽ T+3w3Jh]kIEf,ł-CČ^74NN;$݋_w~?oC*@H]ވX琋HóI-A9p&d.岾S.gXn# "Tb%_c,UQ6)ZaK3y M[25;-ĹMLt.xB0g?2ffϞjD$f#,(-d0L &vT|= =fw~`ޘ"=QgsIWD=YAWhEs람&RC!Pvb qRs NL_:LaV},lXGB!U3#FO #kNiS\, DŽR\\AC'DaP '냒i\1K:c'E UːT`4^rtk6%ưL#D{\3rxM A4L i̞P[fUQf/LJLV Զ{Zh3G}2dx*z*{ 6-I6C9/&3gRf_r)(pN.M!ФB>fT(43)"@/z^|\;3x˃PCrfMɯ{-^N8yy!˅?2Ib秬$jqؼ_Fʩ1ŷ}&?3vpyGpKʸR-nm`3DE"n03I 0l4^\+ty /f@FЉ*n6Xԩ]-Gl|U칗-Tۈ;zlYo#//&ė~V[ nͻ:Lz,UAﵧ1~O,k o@9,;r>  u80ٙsX=&E>ٴy *]ӅŁRWbfpWRiWj%eT0d#`l%OxB3W7Mw~@p1Kh GjHSŬIÔV&v]-'!̍?0N8[SlژJbm9U^ GB*+[Y2ض}tm\V [[C%Yo<:W9NY4ṷl v 4ZePf,1 Ff:U yFd.k݋uz 챾haQ,J[aL4(GAw/x z^?o#ڋX8deAmR k(,yJ(%y}X}Mѣ~A֛e>{rNY]pmmɨòbl6{DhpNwr]w pFl?يwSu5Й>H;|݃H\8״BgBvNC-Pqy]ǟ_(}>Q3 ͜n3ğ+5/6@X.kx} F hge?+Cnqnk7g @AZSe OzU~'Ame>:-KyYk&J.h%AK}:\K>4EDHܾGp_{HZ: ƊyĨj1gYZPIuJu쏬jg#Mׅa9rtxP蠮VbYN &&R͹ip?y17թ.dx n9-&_⛨]52ꛥ ,)PjtOIq=8d~/5SR_ko^Qsk^2}ihHYX)(7S@m{ Q\Ȫ!+ԤO pUqiB^d L{'GH+vYԄ<j9Ta=2fԔDA=r9!P^9ՑJ)zG(Kj:[!2Iyl Dp S4D$R#DWbsؔq"Wǿ?;N` #6h1Oe^a9ei\F'UFLq=-C }də>ps}[=+C AVELAӁ"D};( x0ΆZ8Y >Nwo̍+VkiTViP4VƼ{!ge!aK[.O/b0tW0 +&.ӱ_ܨy@M Iv Q<2ȕTŦz \,ASdҕs}}TR8U xkg v ;j ~L/P9Ɵ1A׬H:ܛSM>ۭYg6dW`9v=O6,Ѕb#C:$y`T,8v 5[Xoor᳹CmʙRyW>$-z`uyh2.F>Grt7B['[dȞnEK*\mp) {!#e{I4"xP=!F@%j,NNHYj\$,'^! Nsnɳɬul4=ygh j%3QS/D"/~;,>i75|??:T p_>n9S_k1hҥ2*w#|[3`Έo(QRŲ y-RV :T%&eũB}-0?pgpqY !m2bm0e^V8G>q|N)D~9G01[o '%! t&P ɼ ~sqhQ5%ҭ@Xl阭V,$7a"40"ozM]YJF0yrU))lq) U|cQ_Nh,$6tQIim2+㶃XQѱ.މRJ31$`(*JXyW +CT%( N4l%sEs|{ *~P",#?4ߗi(NpGǨ`;7̞Ŀ*R][C4zCzS߻c*.k0T}ԩ?&է]E[=_AzQ60ֻ8ZRh֫E i|D-to/g.o×zd#Kuxl-R,)4תӯ9E\tMguB orO>vxI5.Uݹm,hBx}p|_o~ս ʮ>윴q><뙕́|,0fnG؈4[bq>_* {~}))\_(ٵw.gy+U uRKYҠ-~9N(Z{J=5C a!iƛp!P۸|G[XAV>0\#r:"*{~?BpJ L46Oa)ei[\;ueӍ9Ν!Ќlf@1ںJeHHʸ4x0hh$%&E I֞6Vh4uNaOёzہEg-DT!4WV2.R 2&_Rz0,$ Jk?"[ Ĭ`롌=kg=uw% ozƅ Kױ׬r.]}2"31t10NchP֢&Zɲ6`*(-@NEš qo_Yԣ Xt,3ͨt .-%)P1-=걐O3ܺVqb=h DJJ&lfVf*Ta )W/,vo[ K5B|U7F赧tɑVx] ~S\mEWIf \Zv>wrOXkP(v{k'kJ v/[gj0Kn6:Pv;qCVW:Yqq?|l5[5d국56MAtZ!T%/6# )FS7y)CG g"i<cnP1(_6DoU(3qIAm#94^D )'7Ns&ś@yi?nQ6]fc< 3{:ٷI Vb1lMe*#iO4>qZ*$@U`Gp!God"-KY%!utM#abZت}گFP=`_4|lƸP΋5*Tt^.<߭{|B7+YQKgkLﳈQoWj&@|SU鴾QYE#.ԃz=% !  xLIRC1砏z>t^vqk!C&1^fg/LDNr4*A ̹ A O& ̫8K$2dL)_ Vgi;_EC!3FTQdWדbU(9\dCua+b\nw*IoXڻV0J=.ad5Ou0߷!}Eo1YDLP"SLC[%pU׸0I1*=1;km΄B$>za110 -gpmcl>6FkG})p F8"QM[%g\x9ZۆFu<)]/R*?+[ *Ιr,W0Ӱ2F46o뛵 % $X1$KW(͍O@7Xp1MZ ;_)uWtxZaUHÍz$V!=y#7_8kOj'gPrVh拫5 9ӒOu*J0FVco.9k ߪ(\<=xeŪ)!G6oOpʞc«->YLPhH)ls`q5Dr38Pʻ0_fVY2Q>;d؆I࡞+lfiMQ!txjy`ZfK"*WN6cduDŽ5e2w0hE'"ԏ~P"}zHv Rs "'4pPʔvOو u{,cuzq *lX%>FGye sX|8N/uӳb&Vl=l~X`~0wRPߖo$LH"G ƚ;8i[I7 <=2tY&Ǔ;oB}:5E|5M1|d]!Ky#q`dI=MY%'X?^KGG}Iv8S-H9Uipͺ(mȱN)f{4)JQhVcО7 Fc?-PoODrq7`gtԵ"Hz-W oZ!s=fק{E(_L&M c0g..o k:&CUOʟSѶ@r>$JeGN Nj b=_RFX0-2֝Fi6ho >16fzx\{Uarq'e"6_op8եԩNB3/ʪx7 y~MjĞU{tdgij79#rS_L!dI/ea3:<&g.9bKwMRf4Ea -/*;`clbfK"Ҙ$5R?]LG LC=}t'ݹO&`S-"rjNdRYzidWhhv̯f A W%cZD) amC|4>[Dn.}oOLW-=1ygCr̂$00%>¢8󪟺3\m.a5Dj(ؖ#ilETzb} "ΪP=s} 匿:+ӊ .89am!&ĥ*4Q0|=qR>{Y_xHw I'᪾h \*'2>ǰK1 )#DR(.wqv̯. Ȑ3;8z 5?,MSѷwE4;Qx_ѧWEmC~Z5PB&[ > a-8~8.׷KڻɌ{ CBC^^W".ֺ؛Me3I!oWW# Z/v@ _[nw ;$H ,$x,Glk~bpL&e os܆]@X/X:o_j8Zhk{`h[^$nZ"]VAhؓ])%[,"Z\,.)#jXi5(&]?=Uԉ XSjczl)qXF ^U)s$L&񝧉]TEf7uu_SS;j;xA=91Ʒ[?3nYo_E')&ɉ ~K\,wf؜#Z-2 O,տ +% tZR>O&/ >nنtGxknx9̞^ҽƅ>KUբ ֑XzBU8u:S Yw^2n (h} MA"LձCs֑TwbPqE[((lJxW₀{| LZEvϠ"4W#WdRt bUcl~?p*$g5DriZ'2ym6J G#qj+vЃsq (zj|*A&xaXk$,˔tӰHIAb`]Ɩbzm2 0s*6'K7K:SͦtWd0DIL_=E>1kT:|K&O Ra\sN| p>=fφ|gM%9R .Z9J #A L  jh3xK$ 3W94E[X6Vu]M9Ő}U̝ãYg媛e"N8i`ԐUj,{wQAX4 a#j.kK~4h$sGviީ9$_vǪ*qtz\Xˑ٘U#m6"C9 _Rz$p>5y3ͫimeWAX?;ڊ{Ge]PmrX#n7$R]x( d@lʏFm4JO : `Yḯy>~[n(ɚ^O*MKGWz#!H$N"F7UCyCP2Fw-"Q6,=ɫR.<ӕ8N8|]yMزiXd6/_ Үu @_\E MCy5[}6[2K爾4gc⟏Chey|Ht Wqwix( pqszg`3  6q 7fB{c'>["@r#Eآʾ9ӱ攬@ޠ`^jgs61KK܆ij*nK^ ϿkKqՔ7(_?BA+" Catg=bnB2:.Q<*v$DĮ&}W쎷$Moy:"0OTZ*8!q>fU9bD)N?%ɂgTGy+eroXKGLySBQdRʦUʷ_.ݥ5{hyp|qlQ=Loj1Fx)5#]=^ }J-1;O.$!Yb _V^+66mou 2D\nOZۭ@n'2Gz8&F %9ӜTRTXP%EYˇ%YOqΥJk:fbf&}Q+V w{Xlމ}Q,u?FND\=x'\\2#':%_r5>~VAryO%ӄGUuMBq? =?oW^l=8}כE1Z覲rTr7g¢%sߛg-Bـh^zz F^${j, T{InVy遌p{]{v5c'2D>Pn;.m h-XIC: aid>WAs$vݲ>0Z/~bJ)r-Ax"ȷ I`4vR _ aN`NdYpX0WW>[n&__]6lLdpH;|oD+4alړYs&]%KinCV U\UHHSp胂/gD exEZXy1!K5ͱGܸ-rcXq,1mx!E4r@<XJIX`𐆊" 4i`kQdDYT+>]rfC#G낊B65zJy+_(05F8} s9mN{k1OOA^{$+,&3:VK@p*|pU2]rb!tEdav.5݆#UUJRx>$=` dK4gNŒx}Q"L%-}'KURt޽Zcjb >{B_ȈstIJ&n=ʫs0Nӽ̇{>s-H?8bVlG .=R4;]\au NnjRfO3tHOق-dXo{ҿRI-|,%J0$ka$? 8֞$c PWNYbMX2=ވy H_<6/ݚ5sS(n(:u~! Sm-K ׾H&mJu+"&@BNduKӅͽT˥1WH-<@OKԱu B6Gދ jzܶRz<^N\ τEJV9^S11 E”켆L+E-+A;|hp"z5i0Q|&5+г ݯ}?{ֲbO[1`IТ^?E>Ț Wc?v2>!2_N|@,J|)h)Εپ/xnQh w~qR$%˪JTEx&S2EDi@ݿ˷Ҍ#lOgLw|J -2}YԆ9 ׊;UQKZDgm _4!NWxwGQ'b6Y[Y3ɹLVH8_|W]:_]GB1adj G&Tb7gZjx4wyįń6y%x>v3ؔvCK[o~ Ž/&?X3PQcyoX=snSҙTAOw:O,1JOW3;+ܯ?2%KDf֠hyU^%}6 ?kn(R$(䢎lن8z5"GՐtZs#tYIՈNb=n?J|8WR$Ql#M=5`TxM\5W!c2#+tSM[%CDC5*qmR隸ۣJU+G ̮R)!_-tsk ҡ C}{3!F|wrLao-@i]x 73[ڈKP1aqqLS&EQ\˫~)PF\950>wV02;_Sp㠧 ]8ZU|~Numw(RIg9ΫrLԙ3[N"[?W^Z"w_Ջ!pISY]|Kfww?&[7LGy‘~R?^}V _;1v 5 cC/K[*)]H'Uس7o #0 UfۮL+SlǏO=C"[sÛ>uUU &8\V}1ke\ }VYn )^`5hƴ}|ˏ bhU/lgLs7ެe<  lLrݷ9t$A)MD34qvP fqQ;a c+*[{h6zMVG@5'9}ޛƶiz7.߈ 30ݞ`FّT!q]|%/FFSaاx+Oyf_GV _9#Aƀ*]{2섉@7 R9pV͑Y=:2楄[[}Dk;(r2sy>Œ<bP`PnG͔yNhַe O,-Wq "p@h]0yU[ZO8b$Qš Q1|S6*p@(%trHJZw S2MܭS<ylqj;)c':KggL.;ufA8\nĔjy%!ބo̹D ̌ ʇ$"mn:MhNF>H)|u!meee7yzE[+ ho3mbz?iB| `1Fij;uل9tKN֣‰l Q" ,2i0=wh"N'=}8ɛ;F V GFb&ߐF)<~ '=3E Vٌ}ij7N|{~WVѪSiϤ-_d2%237jDHW$k'MŌN)R/ą\Pl4*M][0PAE@I,&Y I`k8lG;giA1Py?< neG+,'ǾƝ2H)dHٌfA}!&%_w/XdA}6aDYyȘ\ !3k36,GjPnQGgeXM<4r`s Am/ HEX.o ,/֦(BE h{ Z\ UZ1fb2MΡwO8$]u_F-ͽ3'EQg q<D7P2JvTQk7w+k>up}ƠFm-bi0$ BH x!ǫz2~A,) ɢ D65(~5 HɜcpqhgMKLZ(A%mJxRW9uUV&"%`Q]uԵts`S120t>[wfJg%Fd Ill/J]w3ǚY^`4q%kNo1wDuvRLz.K^;y@䪾_چϊ 2Q ]a^y._hҎCLwƛĉjEkF' $dװN1 u8\f` '0X}N L( &eOu [Vm9hHALiB-M.2偓Wx7.iDӖZE@ۗ|`-,>@Vnf6&p+[Hd @/8SD`Ru$5ި*Wvd=iiުn+.?.߀c1+8QtZ5Z]!;$´lull@m_iV^a!Uh38ױ{yU)I70Pτ2|] e8\nXA!`g%ZD/&Znn \2*KRREi7n<:'o8ORhݩjW`%&2~SM%GQإhgIѷz砧rs g)DښіwxR%|Zp((LHUXUa(m%"DÕ\00CXJg~fUU BQKX;XN9Y03+Vaaz_[锃Lc*q#ODI>19yR㏝Qj!tRb?aZ:֌gs͉)g#kNEuꓹ<_peXݐBt\A'MJ)|qTuǟD!uwgI%kmo_ݹk:(9_!BdP:l'`YM:LXd~wVA1>^[MsӢ0jN„y]=}n<٧YMLdcd9^~CeHJ2##"ow7]gpoqA,hLE=TXS |Fedkz1pE&NnT=UeW2p2I;vuَZHDKE`c$#ܦ<>KTHs^˕Ѻ C6 7U@T*)zP73y| S§MupTˆ,4T/EKq5R^&rx{G8 6!k-Pӷrۤ\|t'g.`k ,jwIg#>01w,}@{:+߀ QAhVi}Z9#C8v[F6zw4й{c;E2DoJgv)I8f08uM?DȄdJ?f ;mD,`n3\׊Hk\3hiqctrža1`-9ཇtԺ0Dd4 K{7j .h*q;WO ((|s1ye`d}]n ђOQ6܂=sONIWzGpuD?<"R(`<rL eF!)Хΐi#P Pga}UD.@'JnF^jX]j*QMylc8GC![<&K˼EWbvy[ )7_}X#YT]Yቅݼﺠ3oV'`:DΟ>:z&ƘevP7E\RCam^meͿK%lz7.@`Z8J_dn#W1@,a} ~^Ni?t% ^ o̎3YdIg5^5/du3j^ď56)H89E,J4l! *' B_b*sYPž+S sf"RCma7l5ڦ[. Ieִkuĸ9b!tD# k"#f5{{4CzGz~֧\m.ڣEYoHR*|fY[&xwf0|)ezv؆r[C\Nw$`YuS1[)4 Ĭn fTP9|E.4\uOT4]!S㟗8S imBeM= ha@LEG_sG O}ǓTB ri:t-7BRf Mp#2)g L\LG*ċ[}Ϳ֨|@%ܿuL4f K>{2Ȗ'R|4jRډ[7"Ü,y3 d]g 4 +X/Y/MwPٔ:':ɲ{kSO|c w碧E{bX86>t2(o<@_ P-2)w]rTbQ7iJB2 _ J|a9_pvzy/(Dfo$/aLƆFi`BМ%EsJU t7&BafZ𛛍:q &#$;f(N,-`44)( TLi~q'5!FkG*;#sMXG~k"§rQNX2sQ!bR?Niqՠgɖ47ا^ ʦoߣeZftn_T4`#riu*pڛC=+2 o{2FՓ]+^I2T1E*ԞCJ'F=װ*r*c[g6̤BO k67]4&ay2TWS<ڟ Nt($׈K`C@G_;eet_iʑ!Z&7!fatFNH@MZ2e<\[k|& GaV+0QZ63.@`dL6rc "sooTA6G_&|]<ORQ0Szc4+ꕤ0SD3+O5|*oP5.lT~se͗}o]\0{p6^dvs|>wKhq!00!}2 p-)*b28Я:_&xO,y3UQlرlFd~ii @L a3-6 |?&iӈ2='f893*7Ӹ 9Mq* !-NkގKEL g'jc~c"E:<$z80ˉPŀv٥dV6({ +V[/ؽ_DWSH $ ]i/qaUٜGNjyX/(b2 Y u@\kV* 7Iro¡7 U ~E&WpDž?VlW9i;@  =ǵ^4^' [ej `Y7h噎Hdz` o%}.7*# ;qoG6ShQ.x#xl/WD#>ـێϙaة3OAYtO+;hllQR8ZZn_XV 43v;UQ3GCkd"{|IbÙ W1zt@ ،#r_& ^zD{Ntt J6\'PIf>uS<%|ߟLF`5SPs|)%#BΝSg]y7vNch^4NYrA.9Y}`6ރ(uLbi%nR`sHV^pHMW٩Gr~ȸrn.)qvG GfeKE; ۍf7Rt3G}?VbD_ǢUE^@iXE~N:@7=W8SӹU7fmϨ5z³ :Ǿc?Qmli`wsJntdR Iqtڵ%dM5}|O6q:&0{_@sƮn@$qI0 |J~G7 8%B'ZK:1_}uQ׿W2(Gbd%:Y|%Y,-'(?isBM%FUwVtC|42ty[R !F`Y71ş32fTUwm,=0ܮ]~jv$ADKf!:qn0%$WFN{~Y =-Bs͂%"=#ߎtx 65T7QgB{?JfOX )F9rQ4\W0Qy=KQ8IV -gH>4cdOA#++}5 g3txn Kp西M+2uZr3;2 r hH]-*ϣWF9 MPĖ `n`dębtbgH8FDp3J0[UB\ܭĪK߆{O 3zojWѬG4EyLLAP9HEn,c4htR`cH}0!)S/*PuWv22`7׍e‰XO*>fN|(!npj}03ƥ MMy]5 u^BӺ2zlX*Ú_[fg*ag4Qv\q#nD~a2+evg]$~j5a].{6c= o9cnRbt4cXKvdβ+LQ`'v`u^5% "ef"MH5@k˜Aj[O?͒@ $kT ޾&P{w!2WfCELYH9GΠW;ZMW5h#Fl6Jh+~?FeA ̷XdCE|aZLjGB& s<{w}^N&I)}m $(?!XL['60KuB}QnAb K%5uٸ!%uR&Ԛ->&D}[ 8:u.=k@I0؉Kʦc;^r۫DFDZBjU<үpRY~EAj'5{y(T&i#o/ɝ*"?̞qKm{8!w]3*f5Fjz^6Hpl՛}l?w%v:oz,yfʾ0t/j>'h:Z: q?f.#҄iѨSQ%nϠOKFQCHSRWNږxG=Lb#h9YkEw4~{)$phepfPp1AYP7ce 6{-т|]Ѱv|RSiШW?U:j/pI 8JPn5܂Bn5u7U ԳǤD/;[\ ' /1ZV9hODо hիOtDkJB}ɲ0fXez.;])v eH2UDdT4`ERеW9P(an³4v ]!ӡ􀈜O]u<Ɋ26x_:AqV1#E)F[n^ʵ9P+.h/8M3Hi尔 .Ќ_|F ѫ@Q= }VU[j " )8= ^? ñnY#ef sP##m!PMD>&YF'crЄ]C3 .s&ʱN+4~\kb,2RKvb߿A)&ϛ?_K~]/ynmKI$o]kB[&ɅU˛nue؀S y[Ui""GE͠OUXe$Paht@̦f `fwx]za,,BS|h3ۥ|YX_mmYS-t<϶uo"=,$14[QZg@8%ѹ/:U% Rύc mx*>&$w! 0X=wʖ~ 45y >+C'-8(AُXr-p='P (젷Hz0bf%uъiRb!KkDq-p/ T,w]VyYN @Cw7D45V-m\,E4D%9Bi)B&kkɂ|LA@xVJEeV-}i.VMXuisf{}[ZٍI@#s?8x''OLtEϒ1MhjIWZ0o-^+_þeVeW8q+ZS]X7ggΩDYӍ vd<2^t5zV5k 4 %`)53* p[ 6ى=@>r\1HRdAjDž Rfg.xvJot]6\,pg^}GvܭiVS?7G_sn!?|S0?di>>6_ĚmX8!XgitA+>l& Js$jWJf?k@'i003C7uʃLLݡzkL^=|~>K%؟? ]b#= 5O p:H%7x}Eݻ}bv4 !m1#5j.?qٵ;~hIZ~nl.%Rs;5MX;xwBIdGY U6bzvfK݈_!lEN($ J$[ߺ_nuJ*'09@f_݂mrA^nlxJ; Zp.Xnmp(%2UeȾxM<5k+ ݪc3RT=ۜ/^S_,"&8ݫ04կ'wڊJ RQ|8#cfY0-ؕ 5Ć]Ӈj cGPtg%uTފUqC( ,21lsXF~jr ~EFil6}Q8aw]C2?Tolk)V-=̀%,،m_x2kpۇ8뇦e[A@Ji6(f{(_y_ѹ ;fN7G'+*ɚF}8M~Q`dsqiFwfRoU"DHJ5L,@ \{=0@~1җ NK ";(?q8<P=p !|ܧMIuVA)sn3qwdKZc^Pc]2#4O(Pёz(TM30"qBuSi/msP2yX"Pz>_87puݫEgHg31] 7"ID5vmcs!ja ڌP*bԶfn)2YY@G"LIEEmIIe[S"rB;J,>:oM&\|aS}C3M?Eyp1UFJ{rs#M+X:U B]0&[z bd7$Hq@'iV^*bqgu@p 硃UBsrn2bi*LΗI7ءǨR8%OTVJ2C#>LQc^l꽡*[?01:zB#eՇtQɖ(ٮm㧆}7{d&Ka0U4:8nϞD繨.prjj5\?C0Ȟ^P.{|\}(0} ij&'T ţBo<񒇵/ _b6xfEl<ʜOԌ?/ Hb8 7z3EAILhCd^}wn֭=S? l&#( bsoMZPc Fش?m Y5=TqIHdj:ꚬhO_wl{$ƠȄFJ 8ࢸf%nLp_A!Aӈ\VP"^$P)X3x2P@rʍ1dgr,¹&l>`eFWxT(n ޳%'"[LTjC*3QhǶSfX"V$ 6]?yl{2 cޒ[(R=zU7,P_\2vWbs'8$%t/;rò3cۋCChd/z>q@OGb? >*5+qFicte֍(PQ| cR禁hF6m7-nBkvnsq{(bh@xee(03a;IL4Ýxv kL@{$U2 \6y2@WN3[VAu(>QXY&44P)"mw`Me+Ί̴ &uv 8( 3bd&̪Α֠rp ?,ϓ5;lL4yb"Fʼ?"`n?FxLU4$LS 6- bL D.^gJP(6AR,cbHAJv{xN#P8L BnH$GM3픏 }Ff|ݩCwW6R22P a-jh0IzC{‰U ſnsKpZj n7u-!)Ò{Mƞ1>6Bm'i7;h]WZ3G2lw_lZ@q=æ|בȮeyA1ED㰨Ϡ!W1H*ATmcne.$Bä"QEs댉JUE 9ĸP$ M vaQO3ku8RZ5]){#嫐-nY fQZZ" ?+mr=K@l Mvw>VP=yM.B5u":-'Ѱք`-[8, >GǙj2׭U\ol(;N/+Z\Eoc{\vARm^{vyy3PVTt%pMͬÆ +re f)=VjT /=p?\eAw[*PPGPmQX$SxQTWKtr^1in`GeL 33($P)pB+Zsf07G.Z0h@*RJgz8}<`|hsI3̖$a9_X]8`ŏ Pgnhv{k6Wr1XB|]`H.aZX\u  5jF8CVPCO\RDM:shn*Kx[XL'1ka%UF o$QX%T/$vU;~Kh<~yd@J\ *rt!o*S:3Յ?)HEO- mFBeՆ Nf.lva ĵ _,{$׃s8 "w]%3LFfv UlxVUaUu_2A?+ bUC4s<zsWaE8}u7]_V˔}Q}ΒW7 82zn|<jq$h6,=NAO`qVba%hOOX{we^e #Ů9ա™a$uosF@-?Tz|P Z!]P.؄(z߂ "@@3(e\GgJ&s:ޙQ5`mPk=3}*1u\R0ǻ)3OGPʽ8HZ'BJ[n.7[6# $MtJ>/wI+` 2殨řKy2? %#bAHTi{Y9%瞺DpGtsҙ7n˰. ~ 5^6r ,-&UAOyϹ)ȣ]fm'b'^cwD܉3kV\g S;@rV! ?T3A{2 ᓵJE8<9J.#Bğ?Wg7PEMll+\Ǎ"]T ٭Ѣ74:M}o?l4 hZ댤o dGi@٪<'z2dv7bn\AZ~w޿&ݖc5r`1EA-ٶc.Ƞm3TmƗq|]W{38Ļ/-T<%9<%D<;0|T~.:bzB؝Avs/VoB6~@yO._^C[[o}Ӷ#ZcG٤T0Ն}qrUcj_I$K߰rM$1;wθV$}jɳM/<nP1d?Ylq5$x to"9RwRϟpt[VP=\gFE9pk@pk8*1-#MhX|{]H ?P*Ѣn`lt 7ٜBE#a>l&<"KOVB@Z%G@OJQbQ!;\JjH@o])9Q+(Tô$qيVaz%8c9+AkO̐W_?o^EzN{ze33wę,ǙL^?@{lj=lO9)F,Z؟>A-'mO -/ 3("yQLDSk E3̧_Knc2-w3*JjW i?7;*rj #L.9dITeR]gtߖҕ :/]Oб0 ^|YQrgwQ3DH_q }^B !=qx^_y>Țz|]?/S.\z. %`NбaD't.FQ]z Pdv=Yn={"(_ d ?'K"ԎZGS>HK֐OY$Cnݜ̎m ڞױXej*@ܦK"yAb&^K$UH"rkP}Afh$Z'>@ Qu#b%)YWpYq"<+؜|tu^]OeGEqǔ2S +v^xʦZ2/gZE*< +W.x:Qr@=r,)]¥Y5ߙ(N&P$O7TcXi i{qs:3 갆֦]!!=b> Ȓ8\fX^ |w>U3#|lgm[gJHvt`rTq50^t1\ ў [# 6 '@VhZԪN`"!wlguFoT\*?c^B"%N qP.{i d UT l?]Lz7YyI: dǦcJ5HNFPFmsϩ5]zyuU*|otnzKgwMeNɘyb8spW8ڠ̯'T8T]\B;EH.C{M*[6]u@ՋtKTNQOyI24NwrrQ9pM]0Me&h6ɜ= ptܺ|`aw䓚aelضdT>/dF :\X "]j6a7@#)ΔOU9sf#VokǶ YдYڛ:yw0\Z6b}i'3GviƠ*.[ϥaC?y)S*ni+E'1X yF/oA)v\VĠ«D9Lž<Շy3g52P ʩnD(йA[ds}tw= [,+Qf%wNJN~ѫ&ƻKM± 7Hr x_8BpZM^}nQ|CZg]NtMVD0Cȭ|1fGˋԯU2s8bYBD! >~IŒײ(<80^;T{@M35ę\\ _LNq ݅ "}#::Ovx%ˠғ :BO8:\Ncה&>phru4c w3ZRF)JgL&iEvrj QVKԛ;#a1ڈM/ӥv 2˅_wVx{ֽTh)֏(gS6~y&sH&N)?bj$u0Ϝfq*`"!V)8I??ڰZ"ŹRJ,p ͳgtS4}J1TC e?'O3vwV|ڲh6uMÊ[r_'dkeHM6Gfr3!Ǥ_u%ԙ;84GJ#9U` S>YQ/7Yw^,^=yz!sAkI.mCf3}p£7X/ MB=*YßVnCZ3_q?DGrBT#/NQO3iO$VZsd ܶcE:3+@ ~3qGJڮނQ@Mubȶ2~KQC }I:j/ǰqX#zZHDADb+"S*eaUbP5ؾ oV^p X Ow}d|dӧD؏`.<:N -Aoz}t)?zP:ՏEI0d5# !J}b᷈?9ŵ)(#v2y/|F%3NxxUW%?KWZc' 1^-qiJYSx8G>вiF8-:+:7/zmHh[A\by8I  "`gL,kBǞRQ-CG4[z͊zt^?XeEvtZU{mJ"A/;[}·3B]iun9iĕdžj{ĵ$7XtSO7mc1M<:h5F=Ew9q: :>0鿅!LsِV !qH+CG"&;ʀcukG:L*"g;vy*]=w| .yZ$ҪY O3Wd=VR ^^5ƙ'yuF4mMBo :lV o]_G&MO(+f:)+Fn?4"B%݀Pieʼ%>W>ûo?B՗{wMK.&4mۮ'OR 0C dr=9f9G{Ԉ նI+5)UQůQgZ#d%z OgmSŇ61AIBVaWO[fyL *@ʀ.8]C\C!$-EK ׏Ŭ_ov 1ʩ!{8>3|`dcO"Ѐ;zbid;\ csA)mtgm,R4$oI VMϜG}(8 P"oq=sYKt K0Xtgk&OUI2yf A:rq]ߜU U\K1= c16F?'JCNGub^S~p V.=.9F[wo0d[/ [F@Y7^72F pDe[lp4@|w I,'ҲY

@娿6ފz^'~Ykr upQT uYքiievġ'M*WYTKefL?>RMH+pu k1LFt:3 [d>\tS5~m?؋,@u"]QH-//؆|*.tY (5BX4m7[*7E0TX?ZW C$:ߟV:MQYրs&7:şzVB4\Sr͗T,[c錧4:JgTp<;{Im(RTAYR/gt7Ӌ#2uٴPNx˫=LQKl$~uCLRS>#)|Db?\WD=+V2ুT^`R+oCA;v0oG4]vOVntfk|1nv mObE(Sڼ#EXr6.]=*t";1AVjag9V"90 t/XgFd ~i7cg4rmn~bGWK:2:YBw3[.3ZsB18 Ҕ3O82/'0g`OHaaɟW>^9ۤ~]J]sv~/0bw j H7 ]}pl=E2F˹.};wD*~QBM"qp}j#U7vp.ruwJH`{y/&"k<16/l=IXnB2\QOFÑbT~,VP#Bj eț;,TgKeVLY|p@{(ܭ9:>x9:ą?i~m'q~\ִRvQ5Y!X/8E B`Z"}ٮt_9%|[3.,*5-s]\6ƫ1t&Y 4D'>a_ͿEW!f_EI[vP LM1 [ FS^d#<-TD,UA(V63iБ~qvہKb&Wǝl0c%qDٖn>̬Qg ~k~nW.?2h;f/5IUD3 Bz_s^'J8݌h'To$ Խ9iNp cӬmZbB&XHU%>C,q쾽v[gJO 0SM,, ZS8%0\/j4%;d&b\ya8zbvѶ.D:@_^ك~5oj [mSf ym}O9P VD*t-WM1)t5a0w.RZy=iMjsnT >2`HZgs8x J6vuU>vV/ӴuZQء[E"Ռu"D۩˵he}`X+#PTsFN[#twpC_)1w@šEUBۖ:sjI' oOV'(-) VMEρڇ<7-L2$9#n,393F詨0=Ƭ%[+D?ʞ_%pq|kœI=?MD$DI B~W9ʖpŗ's9\B(|YOD׉ޠ^'t!dL/ d<}?2eI! p AFUWbˏX\}U)?=5 l(g %, Vi[Ϛe Gg- b9A}4W-m)`Wti ŌíX[0{;"fcr2W1]ЧJ`BȠ!Kv:XFA(6@$P|"CiWC8K;Ii7&|v81,n*hm-0o9C MDjf.~{V7p|5&g˫H\2?G*S?÷eU̪ح| uxNזVirBw2INؓZ@rY.:#Vdgaa(UVG Npk F뢯[mSUN#QY2֭ч/o=oW% mCᗥjr?ſ7\!cyE|[- _%ڻw5>.FSkBR(̰Bc^_[ qc_LkH4Q\?N:d2sgC;eҲaWH%05UHȤ.a|gpaCwru-&}bOW eHZo;:\!xɠ~@Bz4":C|0;$j#UmuKNrL=)h8C ?Tt$Q?mZiFe=~}/ĬlHΧ zl3tѽN~W }pw/ ̘uXC)tD֪ak(8 #'kX\qUr1 к|Ι1zc燷b(}wR!k O9~!zX0.}@vKAkCg(< ex#Hve0S0Rџ 8G15wEHǹ qc)X#b,3ÇQ2GM d[ˍ6DUyj66_6j7 TmB2Q ,.w͗Yn4g&&'̠i(W E;Zn!TZWHൈbN{806vY?gۂ Q>ޱ[O3H[(^w3Wi4l³֯aB煌܊_/~@ e]OD 's[~y!TہzַܡE4PQx>QBqyn>Fumw8X rWS7.K,66xt'lp~l$$#4P|wtYʐFCbAgV5SOnp-CU9/bgR&J̌/ڬg<( L8ݓl]JhAR :Oⱔ?q&>vls+%\,8'H߶XgȚcuWT X74ORU&!@#jZl7˂ѬmM/C0"'~p-YP.4c%,Y&[0KKe㼩f=sOHS8% kUM!Tn󲜅.sTc(b8w+m: 1ci=0HQ2 v7a!OP-;2T8R%n(.Krym9b6>C}W,'1q1H RYDX~#{1J dׯ뷩[nK%q3*.՚C^臔$j/rkv%by߇O _/sLs7``,8^~+qbPb^M"_pm%)QcVqJ/+#2&Tш!kKOxήB:e>5P7LV[_Wc^aIо~8Ӳo8sfJEbWV?e-~>Ad; ໄ;jΈd5PɱB:CVvD,*vBiXs'H)x m,")a ڐ;˪p!Z߫ s +ξ廒h1}aLyW0z4T~ײW /b6ZH@``xת^.&1E~s 22@ r3̝;hqqwciЧ4 $^ZQ?[\FW%|vrQz ν090f :/7KUFc UIF1%~Œ^ 4> 8 Ʊ=@`j$ݬ oHAk#R FhnW~0=n$:km[򆸨| }iIHN" ~r;SS1<(Ar[ëIt+v!!FqqCA6T:]H03iYWt:@4A4Cʩ=YkK Kjz#,ʘ4PXr? T>hw#Z x <]_(7*He&PԨI09$~ ~9&Qi2ߧNY~L1~ ӊDӠrF<,A̛7%]d!bHkk'W$BRK7e}0t`[CN#r j(sl'ƶa)22w뇁]xe (5>1=<%lrڧ>L׎T5 ;ZJZ2"c-`Ś5(SNccv?$wRN%G~ (n'3A%~zNύr[2&M}vx%6.r]K5/Yt0*KAh1n䕞W @ "6U)y*ІRY[mbAW-1xӔ^Rb>H@m՟}4/^|m10L|eZu _ hUδpl/z؞Or*/Y5y>Vc<>CE_6Sx_){J=Co=!h6ݣI  ]!=Gaz)\H+]4}H_@~E}iR5֧H0|Q3l<Dy'`dre9NCA:mTvc.E DKNlMs.0Ar`idiȪ2$o\zd^_Ĕ1:GNJGyVՁ}T6$I\ gUXؖ^e䫽D2p#p*57Qr%_8{Div2q) B xmfzpl%֝S9=.LeꙀ>~9 <0Ӟ"%`ټ~IjQ|nphi7wib: sςbc~49*(Ls"KYiOܞA^V8_( ^״{eGE VMF5u0w[bY",$׿ڝG0*'Jyf t쮕tElMN MHW6ҤAdnL٩ d992ӭnjRcOcP܉c#8@;TF̅p~aefE)/GKyW-!RRBaJ6&'_P$9c䪊^ާ#lʹfmWŻS%WEzNw3zXːR@1fZm S\Y“9E pd$cJ K]Axb /lr>`cu#s,ȸFs\ Şibnu al]8wdYU瘧Z҅ M328(:BT@ޘFQއ3VwP٦&zpig8mVCğ۝Bi萵looHe?:-eVc傹=J+m^Ca";.NNb:4xR䂠%];kzP^x1l ሓE.,+#|͏[Yк37diON :8h 9M ^nXcxXQ78Du\NjvLzK8߬vV~ `B>NcX #=.ZJHW{ZM>Sb-wX&>[6'RM{,uFFH <ڵ*o5MuFJZdM8lѕRK.)jE`ǩ2/Lup5%WopԥkP}n͂/n\.߾w㛀Jϸ&6BVBB$[GSVMYVSz[-!ުk%Z#} NDB%lla#_*YZv3P[ qSr %f)WԭG\b6pmlٜHk==X}.nS#6L SM5=!;`߭8RЛI{%MX*~wFwuM/k8A*K4>bZ.=ε,&嗯)e}m}6fgfOG~^ϔ  (BmJ9'KcĻP`Y} @$pS0FD~C z{ȗQ>.ƸeŤ|&҉TɈ{urz=4Km$P3§ WxpV#f>?#Ce7' wf^͔C&L1l ~x^o2 srJ,,Q!Kz:Ѵe 59.a}Rma&(hrQ@s&g7 !a; jA:#W ;n^1G'zeq kvӪ,8[љz&t)ɣ@G!ȁ hghUoةM1E5lPCiZgغJi pݭqE Qĉ751ƖrB~f)WP/Ā؂/V;$h.>9ΆĮ f?̂ Et-k[y BkڿE7k < Mu;I۩[An fV@`)%LAGh|K?kmC?3GyromU~na*mSFQ E*m2!+/Hɰ\Mâ[*=<:or`qϣ\6~rth„q4(q끪Of;n!7_[[X~.ZMp0)wVbb|v` v7yLMAuM \xgO7+9g N{Twݤ?՛1 Y6{Fcniru g$ArS؋;!rڜ ~⯴yA[SQ?cri[@Sc,kE-aP\Ҿ-ֹ wԱϨBwގ(_~n'fMx/@SF΋UVZ|4`DGiro0 $]c&}m841p@xx?2Rm/4b",0v@?[1#8Gꒄ2EC qSGd;*M.z#5Fٗ=LEgi"7Cci.c2T M>CLf 8&w:=H7Q'6%$EĐŹ–h'2o/-;fxaOaG8˨!֮7`c*wdhܾCRI$8#vrVVky G7jBxpa5DU8\jLGтRdOAd]nB)Fg$h* =gk;/L/:[pyA7~h.!-?-}, fr&k#Q\K6'ZUps$&%yH `fv:f4 eP36!46@)W(U~N {czI^Q4Jٗv$*I2qk3%9Zf6UnLk\|iS_kۇC&u hB/[RqFM #<%TX_mJ-m<ڳa66dxI@%pXcܡ-PWIRtڙBIFZƘZl#jJ:Jg [vaJrsg'NgT~ ?iF>PWv$0?J~NJI5[Jj^Ԍ@;Z$ue35YGG6Ǥy ~3?5I h?hk,&%C穎"\J?&#tPfn̥U>ޯ)Nv*k9Yl$\SprqlTVKʠmR*-?=΁bL+D%DC- M4J=.iGV92LMtR?۩om$0c!wY8Ƕv&y>5 N?԰\H:w^ɱѿ9+JIޥVVzr*n鹁lۏXcTimUEAj 4J3e:i4q!אnA_#M=1g2b7 W9'N07͉NBT=  Ć4ؿ <1 p NOOdd8i4B@o2a'rnyMw17 w c~_dUc2p!,Q1Ƥ,J2aRML.]\lڦ.x҈Ոq׹ Kh?5LV2|1Cp=lΫFAnDxȨˊ5!sEkNF\ 1=M+.G'HwKG!ݺ$(L`fvt,qO=|x X76E,- AϜ^tSo),' 6 ?sηiWobMoB7 SUIk(.C %D75׆2@ÎBXtny 6)P#~$/<6\G|5Z׶-l:7To+1eXNf<#nPb?t>ͱ`:%vg86V}Cm[ ~sdx h1'`y.>rَN5 v3VUgʌbDqͩ `!/OkΞn͊E!}^S ƕ3]%́fX&9ՙ qt*9MD1H.Jr}x, @b'ĭs`?FY=%2fLhm_ my=ʗ85r Duf C<M~pM&/|bKqel&^N@Hba# D%Ў[% oX@TclN]xeH'v5)ӬO0} "P2f.c YpeV}mQ^Jc_z49)2-m~l_0ut2Ilp icdW^]΅#\VaoyrҁC2C4u2f]H|F/acpѡ=6E1H0$vuhE3O`zK53au82.vcq>+&5a4k.09::"x [6v3 q޳fd2bu' [ƟL<-':n^痋52$qL)=G[9+l7aW=(W9:SVIHZz"]+nuJ%%Wj99tgk&Qdv}3sqf"viٺ+VsN{Jiy؀3&©SଉkFH_0q t.>u8|CJldh:"=M<Q/ӠNԚʳ-vy7i=RֽPrB^ѱ/R{c$֖,\ (BD n$pYcLqA3ے[\w"bnyiYw;0Vzk{cLESus 9^ŘLi{^O|L]Dh *FLQB#Y'%3CdZ Nw ~Ȣn2X<=$a%q4՝bF F ^(Zu۝hB~"rM8(jՆü'gCF;9v'͙K3!Rs<Ve^IHPMZ-KW7k:|SC{ruF x3}Т!.P$k/65ؐ%i0E\G :(%mb ts!姎d-/&z|EnX]@ٸw [^F)ehMQ>gPaLE4X?lV̝U19*oڋHJwf',3b7Qg!~;Oo,5pT;6䝭{9=cKGF%O"#{CDT@ kJP)~ɡ>;ƲD9,1#7R̖bLi6uj˓(GVN*hbe]/Q8Uu1D,R쟧HoRa:|\#1vA4N2v'+D_KgTҏ~;.dNf[TG*,( zKZO4D]Tb.~DYSLZe*.E&5ۊ %t=F$6=<9o0Qq=qnyh)F;w\-bMG3@9r8"Cs"#%6z{`fad]K6p[i*¬&1*E"N5) p.f'\s{̑_E(1Aw; #qx}i\ƶݔXqQɘLS ?-t,޼5ǚKhq(20/ի<@(Ϙw3mL%z bLѽ 0qf(n ,j"+9uEuG|4 2*\*HOɺDCϪ^}HH>ՒL$-ihǢ{_$c'y(0Y-4_vi@׾ױ{>Ĉv73F48&K/aFA (oV4D[=ט9;YMmNlƓ'3]DFԊF8~bAXĎ+- ~xG%f8=.M83rY2.! 0FK|WP*ڵ9s7=۰syn&$05+էޠ8T}$ ׼3c(^&y+#b@,r}t!5 ~iy$5eż.Z&7,e| y)/=-,7i٫7eow;|=jA~qz3yj)HPR?F 4? 2?N9Nz$ʟ3L4䒵Nмc + Z/pRMT4Sx? )fM4f+_C3pBmp|+>,{Ug \Gl8|'7Dž"'.2.mN'nVr"gLK&#* "\6CRQKSVtq hoHwTx,-j`WW0P!c.P{Uӛ]`KpF V}p6=- [?4RE,+Idij+ٜդ6?q`V=D_A Kbm%r|2\EbNSî甬f/R,QFE.IEۻ^k;Bz@ 'ӌ$ KDPHm`9" %Q 7bE7 FŘc8C֌9Ҕ:UwgKy0B4bPNQQhhb($"bEQt>k Y Ћ,!*RbR>?kirc%ӂ:hI@ӚV\:mfqL8k+o\ϸa\-S)Y[c;韗 #F MIv>L F`_NIIm> ĮJǫg7S،[:g˦bM=]g.jsja*0p"l%C옥T$@jNv^9c?$q(U(A` ^AMϠZuy@Ϝk2+/_]v .2.͢8\{Q5nO>'H*?/1rO@)uh=W$tT}U㣓ᆆ¾|IQqHr]\N,77Z"#۫Mb:ssJ6I?{́,tP.שՔCMBd=*Sujw -"vyMYg_2OpA2'oEj(]CzRS Z5_(ް7wYa W>ڼ3xHj^ꃵ?&G{St$UhB4au=ds/j[]vBlm%^Xb$xPc6TwՕa6CX <5|ڷʃJFT6b|~;F,EVqD_x\]x7{=ƒ6IrR89~ޠ@\hR"=^ s?[2iR2>FEڏ>F|S7\Mu"` a`Ч RFL|m vqa, o?M@kZ|2/' =@?Y $Um!I"eAɯ4.%)\ F#󂆟'@O~ Q[zeD> Q |mK&nf́_l;(^qA{hĨaG_/eUf IatW1C0u[3r_ur0VxN2nG7/=fxbmyI}ZL5tedjpIs0uZVo YIǤ gYZ E %EQ 7G) HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/latex7zXZִF! $H]N}T':=Q߲mZwb3Kzd d_vh_KC(3 /dipiJc 42MQY5kP#+%,4E P|9? UsCdI b"ƫK[T<->!c޹wJ-1 e8Am>2 ):~e+̀HQ>5ŅSZ( jC0@ܷp-vOZٯn9dPzU׷ش.0U0\Ai x׺@;=c2ũ5\"\%t f)A%'ѓ ݕ#cN-TJݿ}!3PR3ZobhD(s Ef?p}$i` UֽكǘIԜ#Pd(FbYf8QYu>V cMdv*- +1«u!  ?jh|*$1i"AHHYK:ATy&_@&wv48uvn%NF9 VtnvJ-uǤ 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 +bTDY c憹LJYsf)jLϲs-@- @IVw?Kx >U U-tx &uLFɛҏ KEdn4CSe.VO+KjSI=uݳ?oUP!?NSRu`~KKJMѥ CY8ʐ$z*n4XPa7z|8Z!i':] 9A~tek,.MMK&R#;>k [[p]]t]*%)29J",D\羻_?8)#ϞC ?T Las̺vWi; ϔmGd5S AgDlB ]"aN?W$Q p? y12-0|oMMݜ"\R󉵠.6]o`!nphVM .t[H: 8|'/Ѡ{s`kFQ~,^5x)PWiqBd yv{K57 ¿NZ=˩d'|z42v=0Ilq7r46#:ê,ވ&wC]tM-6v2O>4V{1Z*{- >_O5L9j& ;:CD^(|/˰v>C HYHqFy-hڌ?ppIHC^0űMړ* #33 |lNIvpS#? 'c%Y5 X%hz~t5eglM.Bu{KPeMKm<ʼԹk7`_խ3 8b@iDi[+ZK*ꤸ' FoK$*-`.00 AGe{Z.֗l\Ic Ya3- q@2 r F WL1%g/O2]4jRX {M r埬k;^Ӈ;D7fKT87SUl1ڊJ\$bʲ}J5.'VҋTA}1RĈ `0 oPz [ u [ƒyO>+b T$v4ա&ʼnnUŁ=܏)L@#`~pD A7x M|yL9N1W־UҶ[U1OB*xm/Mia'RfE5lʈPqx]n/mr*)]"]ZEemP!w!^+iL}JK/]#n^WFn-㔛m9paMvjI5oꨦGc "ݒ;ڳec;C6 TmB+o$m]7f~X ryN;SPZ6(iG."#{1ccqY3~a\и؏/E>eD̟Ml^;dY1;B\0O?wFrવ:^L6Z?d3e%q;^ʝ:_GV` {3sWB8 x{m;'re,Au}ZU=mJ[jոKa:x)7u 05i}#Ӏ̍ƯFE~! 6`bB' KnwI:@ʯI‡󤰠qHC9vaԳdֲ9`?qye-o N+` ]!+GzQZokЬJA4h |.iˢ;),aj@3 M"(##J떿Qc4pIw3W {gU[Wxa33ΓǕLq@nނ8:'C/{G7 L]?hF <"K;?`*m:Of*L ebst­݋) <rvQ/jzXqhY.]w&C,M\*x7oO[#ݱ9Tf!0ޒ"Mʽ|٥ Xj2fxvjEXfo_"=';2*IHSwʍ,iQI+ZOB;/G6n06L%r #ƹHң "F)~.JOŅ$q5 $T$qhw\s]zY).bdž:3<𳌢jN$i%Uj{0 |HP^}iӭGVp8"1pڧ5Dl~*bsI)fUKbPY4ԟ\2uPC*Kl][ݝR~RNU7Yu-|e#~uyyˈFпy٠g~c!UTFl!.AZ4}YI5DB5̋EMAo IUx%-e_!߾Gm;/sD6;7p=ܨmlMdkwX4^㳸Ǒc 5UR:bL(:̺y nJKM%J1r[#푐, sOyL : Q,9-29g%k":tXwvrH>p| 0Qkl4R.4]&aA hU_8"jV "w͍kMqĤ9"G74ZMקVUJ~ IEPQgz|vI>ML;]O g,ٔj_ϙt Z}Ӱj%F?hc94K[a^y$lm+LbL:5Ey.,-@:TyhK|08G -ܪ{h)pV(Tf)l?!1Os6|g >FT$ٜҳ*ȳSP3g#``vx&u&> VBFX%7Fɨ}'MG(wAXu:)9QybU`h+ǹ ӷRigPf/ϹbT *6 7 qvKwbL*HC9 ,"T1]A[Gsah;) j/T/l),,g*NY,WAHb%Xb}tce_Uَ°cK1օXf mZ_P9gh@B| ҇Xu纳p^8)q%R=*}X?m)2I'JN|,us($(Z QӺe < `"} .\gjEY`Є׼A`_zKdySuKm/$YQoM4] ծ8REce};; P 3U#sy(3.}݉|iMé#GOM OZd킹Q1m8esN5!hْV?r=[J?>;`* .R%vVV!iAT3qbQAө0MW u}SaK7e ;RoFnӎGkx8:,'KNA}̅q<,RFfog NCfusŗ vkM'vW9!=  ;_A҃r(K"p';.wYfkj/vr5G#>RS?3L8K~ 3Yf8FR"yMj 8yO.5<׌y`] 7mBԦmvu^;F=r̄ "$}\.iѐŞ"ZbRsdrO2aE|zu*lU}'EAX=s·SLtђ/Hʇip qtPAhW5$3voLDNz?&!5~yFH '쎭W1@ KT_ݺ4.˴%a=3> ֫e*DsrÏix[OΆu!)EJaqIֳljP>^F#>ԉ}K*›foX~bV=O B,óScnkX$A5J+ ]lQvGpgu==r ;L&b+{ i~[: N[ʠw=\$oԂXn.eAT!PKqZBQxR{݂&SW"=L.5'^^ef H:߶J ͑0V-%YH*# ]I) ¢(?|? X56ZqtRJ.b1 f#{S\2#7KnG 4BGoE][zFjݫ-&P_ToXϻ;ilb;5dޔ7j-YO*N{γLNFܒE!3?cVNƷlISoaF]괟naLTg!,1T1ˍXmMI3)̮|ZArCSPc6,/~p ,J0i|!>5M!(z,Ǟ:pjG=`XɅH>.Tu%$:nkׯPHUz%/#$6;<扚]hj o&C{^>_R"kv6Lz&rNw׮A(fe?5_uRħ$(pm Mw pSK GdZL6e{09Nղr#7MhAn'8 Cl:d hG`H!cX!pn2Zw9&|K]rX`R>2nDa^c7#B8JȨ^ WZ(i@i%á: d`L 9㨉mE dW <\QoPHܧu.E=\w=RhW)[@Mb\hi-]"4:yL\V=EY^B{c?_4*!rG`w:JBiZA6Fó3,r6ބ/ b @?8e>^_W!REo;6l2݉x:@?YW!|{BZ[L+$[f MCQAVb;Oa%syd]O~/8PS|e~Ӌ[_"JkBkF9COYE)j&L1X `$E\\&zxDž] xDH 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#`ɃELcBZ HK$bG 5$F!\2١XT55P័-r4pC)zodR-JBlVA:_<o:ީ9?r߳PzDsmCkM*\4~PP8EC;l T<)K\zaiA'c};+rA93ng\X+_ac8UkP&22/sۆv DkEJ/'" 3к G#} ` @A@b]A]X䴅م˱=*@\H{>VbdcZno|ߘl_X^q,/ ۇM {d` 1J=*ox7Fiw9J2T@.Tj3[[P4)癝VYK gb:;'[ kdr^Nմ=c&V Ԏ2Py!oЙٸrҙ2LLc|ij5;4P{5mkЀh2:c啄~ӽ%n^ڏv5b MJ!(s\ 3>)dȯGڬ^?ͣiŽMYجp7hsy.vU,-Ӥ1id5]v~׮e<v&jA"HSõttn ΘD^k U,yGoٹymPU_m\fo^S4 ]ĀǞy݂︑`:Twmbs;#z ګ:QL 5!j<ݜ2uʭt:кI 7H;ve4/A<̣w"n TqA m,5~hQe„\ȃ{1r@R$n!޾xW\!zb&zOQJy灌}5]JELTѣB(#z8_:qQ6^pmk3 9ΡlE}N0x~UlR7S03qրcy/TfsD,琄ËWaFS#;rysj {ۙs4| ;ϑ^1dа.TH+5+ )vw|۔AbH|dXR{(p&V$\|d6WEm2;)^ Nf1d` *3BDEDFcLABEQU@YKpI LIϬ ;61߬6 ƣiDړ^Z& MBRuWޅa%!%}D؜!?>fKM~o^)uW} @}.A^PqÄΖωv6"_u5qrKBtXVݍKp);8ɰ э*Y1 a'x Yv;@uпN ~LF'QZ~b`.m܀r ZTM9@ &vgc{EIЬ*_$Y ss*f#l(oxcK /v,^<_pWw Ž]3sQBl}m WI/QlI:τ :GE#Lm:]pe BIKz  b K>}1ׁX"K &++Ǣ"`w2yI(oɘڬ!_rrlU$K$U&}eӖv ཎ 7(a8wKñR/O CnIBJ&[پ :Q)+X41IAC5Vf;A!gnk翦2=}ApɸwjQaSMf)K΍Qh֗o FSpin{slPۙc'Tb \]!P^X+PAĕWa+}B҅C_)md-6IsA`+0etR|3Ӳ 4lrPv 2ASV ǙTP[u<{" Y6#(Q?}z&mS1j:OzП5e) feRk֞@Δ9(jV^sc 'aOt(9LbrÒ]v]Ks`gJ铦iRt6hݬʹ,/Y%qʢ11"3f@LU !19^𸏼 O"=ODw9ejƤ;amXǿɕ>>1F? KC,0muw'l썚ۆI޲+R8!bVF|wHFm,㊏i L3tF)y/ ^HDTgteElgg~f N'MGA>TOh! h _dX ^' y r?_|JݻFwURﻞ'G`_{"uLf%y]\,B:WG;^Zs4 ZORrWv>.\?bB_ީ,edO̩OI%*%jڱ߼- QJ?G   #iriz,8 ;5.{oA9`vXʌ$s2y yɋc}~BC;BP;/A5*tF۩# XSt9-P;vM[&S,QRنnsSc̶CqޝAg0;D(]AobHVUmu<nSӆH`{s hv#a-rH /Qq;( W!]ɎmA%شk,yw`ڥ{`ւ;8g2k3|;@LϦB` =Nز}Ǧ2.G?=m;bd3K S<NA ItTRɒ߶P=|_)I4PI i*nF'M|j)j-tVG m15Lîn4y.V~ ~61B4Md(9̓oX2hL93u;2ZH\«g1cL<}GOԧOc-yYKV޾EKgR:e"jT -fn\KeBIQz7[%!-㛦vf-Y<#KN'b-`W1ķ_S>ΤHk=(lEqəUXTBUQݦȈ9=_.jD7DGشz;$u\?c&Ӎ+dp*hv"b}j,dP3:fH*N4X),.x+d"LR20SA*!wnw3/P!|}CKͲW/eJh8ڤ’-@erI4Aٴ*o1mŪnنa)J~qc/)a=ĀlE l wwJ> &iҥq"梜QG;yJCYxVr4( $Z=&br mv<';3ϫPt'ٶFbˮ/{UZ~c{_z6.ΨLj_Y2qelMli zơƄ1 S=?q3!|b]9k>iQV=r~ohթ{}aPnG~,pa":Ii)5B6AJ 1~ {1N7M&pqRp x.CQ/xBUUs؃ ^uZK .TBbbP*Foĥ(wOmQ@*Yu&w:iB/A}@燒P+& U1l(~8z T>tHMnOdP ~e6E1-jsJz$L.7OvpF?Vl%$XT'qzD[:(WtǍ(/jdf,HK'̓w%]+rU,dvIr1SD"Bx}y *'K8dRq |w<e]=pֳhaڐ)<\׵[cE!tчCIBJ,TEkÎSk~'a knd^k=1>Z5mm Na @qhGjKD;wa}N½Bo9>J@+ȟxp@kw"a=q_baΝ3t ^L [ m \BsT )}摝3)!EvYCYXBEӛuP2r ~䢯'IFIPIfF"Cw$jXbG:~6} )E\K!^K1Ti~iR|빕̀`W_&#X?& "엨OwWN>/0KU&o#-@_5JIx2 w} IT:.ORBRk6BoDヽ5f΁f^wNef7)b=F+M ~C1 G׉}5Hkf~CaO 2>*zJ|eT9[\dLɬwujOd(r~ 0sGm6$Δцm;&HJ(H3)ۺ SKr#Q̼st[j7)զH/<5*H,h]wj<,T@^h*pu 1N0.dli}-p'-fzZs.nPcINc6VqLTQk&I_پvr|w*?G1vm7P7&u@ ǁ3<"mS4`z})9E'9ү[O%x}6_b-2@ L:1ѽ-olc0Zvn>~28t^! pX~?RS,Lx#(;1̤%9JŸ3l3cx1i8m0L;;ׄ(ˬ erHSq S\gs= -osLHx>LPw(+m;ccx:r /L&Ҽ$އ5:LQo/XG_֎79<=&'_j _- Ư>Nxg Bv诺<.a_zVk?H0_N?ayxB#`~r eXH $kx:Zr _ d\&E6DdzZezgi;*YFSul!QU1TukыC',o9Zo^bgdBkvD;=e6O~jtP'n(zlD[| R. )K3RoJ@x[2Wx/ۋ#> p"*{y~ӻA$OpN!Z:wQ冩24hVt﬷qJDŽ$n<*@悷[/,+/WQp`&)8}ZF:dId!ś{ 7Mۜm]̚uZΓrs C\C@9(}6 120J*$K.2~jS=PT<.}a@\#sqX30woدL9_ƥ2ŅlMn "o|{q}yI4fe4M_.vgmGPV ¦Wj4_ !9'4{@hw~9¢x| 1\Bd}ufj_+hf|v9v `yj45-iPUf3NY.s'$Gg=YlN{2zmZ8VHeolqll+96"¦7uj~tc]i.,28WEHBsS&~hTHlo <J rZgYZ  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ֱ`+ "1Of ŕmQV8@P,8L8Zkwl1῔L!AY̏\ubvH3̻( *}F;B^k9q34%`;a<gw(YH!'5&]CERb%LUuL2|yEY=h{qQhΤsu8Y@oU08K1,gQE:pv.v)(~}xüKAc&q5D&BejX=>]ǕcihnE1Y3ɉp0r9# {9ԝm{}gqb;"EF(qWYw]&0C`A1%7 &\NߤߏI6u4bD&_fՉAme+5v8&y-mo4:yGAWbMER&nG4u>C׆-tEY'NO ĽYuAOEI) 1XDeكL"=d)M [BQ͡bGLTACeҒw2%^͚Fr\W=JaZIx:ݠZJyOb(0P5M34EZ+arn* S܏}ݼHL6N+ʷZHw!(}UDTg}r6I.{xטU~(4˷aogyT5S&jeOInZ;q(g(%86Z+g$JѮ_X7C; Dwxcn^7opv%vmj#IE|FR̾:wM|9>|KRߖL)q S&$E?I<歋,O?2OfΥXBܛHN ù҉)Xg89gm1j>eOO4TNnjd**.4fgDU=53(-Φ?*;=U8 ;fųjdh6!N"ذ̾"g>[bD4EGmK:ԁwVػ1p(G hs~+ }kߓ֍M?DsW:jIz2hNҔ"Kbא< BlU?n<~'3+I d\C'}aQB1gy>oJDLd!HzǪAfů%S ^k"[ֈ$-"aC*\ 4,ϑ5GM4[RhG??"_0N0C^ރTKEviv`.k䘄VhT/zfNŠԨ6ɗ6Ka8)3[@ʃDS p&8*9yB5&_ɍ􀁖[Wjž2.*S5 w l"sL_ qY1`lԞW v{=0Xܙ|%F{GTbfrOCb1`.Jnu BF0u`ɷ<H'w՟$:[CqC8>#V*yEMt-;R&dٞyZ$ctAŃwJ@8uf&ap:VۤRiR 8aa*|`X7)7XEN+Wdtz_d1 o٠tu@ga_<4O`Ū`(rF>I>^B ]XaCE@|6n& %"z鍄bY['0?t$u$GL$)YjDm@$R.ҿœc "RܘP gs̘YU=(M'7@mI<4κNy:>d лAY:g~ |h5&;195xᬷg9[F͊F>l>/AMU׵#[>w5daXZ pqn]8HDǖ$QVL,nεC# DHQ`?##2Y̗ĂfC~K2λ]V 9{vJ9̵R."_ZDJ |.t<0:^ 6`a!#bR:u=vQazT[3xە7`kD'ǕZ|;D9 ٙ0`c lxXZ[ hFx}Ω=+J;Q=7}s}΍967f=* hRմdsf@wxՎ.' Rs .[,VFMW xZݑH!b 1*]JjXP E@QerGp!Hkds7E $_! Ye6=ƍvѪ_ex)RzB8o/<0#Uh>w%17z {&b,.lGbv*MNz|z'B58"@MRc+|:_g͙4axe `{P^7EY-ug`TMvz Y38jy!:KA0dk"бPda H.Γt{Qz c%ݰ٤ׄ3tr%JAAF{$ao$rzlT"j$~Yȿw[/wm0lGD Э.x9D4\擏y{+o?>]@q~>VmFڌ jY(} f`߰f8$@V/Zr9ˁ+@!f!b^(&X ji&pk5@G5x 4G(I'hdf`AQ2<]~J;<9$YD1o1Dy5Q u\# \P|M_6˶2|6CIh:1]{,ؒ*A{e/? Ja+Pwf*zXDд;q_q'R)EHئԿ'UOe|rhU5:ʬ) ~_!`D90 ,|xûcrn~,"x i* tSx, VfHx404y-͆>IiPm Cv xXGQP4+khR-&LJ @,xy$xsloxQ  ϊa";}A_4D$*aftĖ`Ӷacy zp98º%YZi%Nzt|eywōSi8_gpϜuЦDu:$Y(&̞{ S6PpuK,Z/KX DA0/ .@L}c]''[g (!rhGZ7Φdr1Bieyv D8#b0f'sIU/ow&e8Y{Ғ6on%U:K\ I8 f* ]ba X=^}i Q7^>}βwq+=mWڬtD؍yF2hk*7M|vTEfH?>.֞Ի`12a( VAU5%=NBg:zVg,3Db E "`7I.NM:Rcc4%iO쥂%X j֢AI)!<1ZTd@>iCy:kKFUI]|@x ?O709*ulZN h@5M=lTښ^t1+Ȕ.Fⷚő"ֆ&G]V7o9'0ZWy+Z yL(V3胋< F7dr7'pbQR T)/. r> }x{LkBb;{ d6WjMYR:Q&MB1a\DPz_as nK=LBtn3i}YƔV&_wSy7xč3ɑ^ZɢyG>;k@vd*UBN t%kqs YޠyMJ!:INl~| M:~3S$ac{r76I$wa2'5,5P0n>]X#x]I [!+i>UPiZXK7׈XCsf@Q^6;wxBZ/Y eŏU_Z9śq+9`9KJCl.?snw29|*%I7:-tٚl~6 QgYZ e 7I) DHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/latex7zXZִF! Ṁ[]N}T':=Q߲mZwb3Kzd:ř p+u (ѧ;g#L[ @{歷F('y|rvkGY [op/ɹ S;@B .fN7>([0Ԟi qYUai{ɖI1X\803wkv}R (Č2f3J3rc}v#6" nw*0eNMgVHz_f#f:}A1wHz [9Pj%[р$c{>{ ʡ@Klh jT1J8v$Xuo7LZ%ϙ 2} k k<2s њ3I<7582#o(stT?8`Y)q3lvF$y.b0 0 VP+7}DO! ^0Y.5nlLǬ Xq[$'rQAKxiu"LΒٛh)Dݡ6PLF{[\7sdňS|KEDYTEF6f6 ENnhߠVHFn';c=bt kA;ſ]F#8zSubZ@!)~!iЇ8'j㯷Ju6U9"ĥ9>Ypuz-<]J33SLUA<3d[CwOaP{4cs/|\MQ/"fqGϋ+ ܡPP~<0 f BTy,&WEc`(aHbw֊,W^I@f_@ 9+P"2q!kW2rlODquԟ]|"IPs=;􌍱)_m6ӭ0b=)6ju,vL䲯j~ s(YCڪӠ.>KSd-}Rw\=z찉,,ÅQґO,o8@'fz*f;{=QH]aH !T=:!fzGy!9 Z Iw JI>$Qr~ܐrvl459'~eLU+9nzqOѝk7$ѨCx%mt#E"qw}6k8}bғv£+rl`^Q. %m*z -hcxX {#|ub:VkHEObv>梑9l:6F!yv 8P3d&5c-'#\4)j|D&VM["L~`)!8y 5y to׈ ,P1 oplyJ% ,t,= 7a) \HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/latex7zXZִF! m]N}T':=Q߲mZwb3Kzd:řrNyʙ|r"Re #K'.`V1pEƳ@)IU[ڼacѸz=Ơsz {@㡸\dDe sDp 䛌OA'! G`f]9iظҞtDM$CokԷel3$>6se΋AR#g$_\c 6Ӎ˹ҍ%oKo#nٳ.25} ޭbjKa*rU! xdjơ֒cK>Ңb v5פgOU8"\4sgXDHn~N,lP#nJVA@}X8b "dnڠ nT<%Y;%E_?Lg1;Hïs>Ea| VL-i3w'^ڪz._)37OgƝjX5I- ^zsΜ28eX!IAx̀!ZV˗Jm:&MQ u#Ų~xc$#+23PYoQ@שl뚖=}R7[Bմ-+So]s %2,) uR~S&Tߎ^B8e:{2OKLoI%.#RNkuZ xj\fFޞoWt؍dA/L"ȫc^Q}61r]âuv=(2מVmX3[@+4ڵTSw;P`,p_v&S>{nĊ4sX*HTp<&\j}R,2&H˓!7ѧ^By[Z17 x0'4М 9B*RL&Eh9S*+ӭ%'s8*% ԶQc:tNh l`xs>.e{M52dHI"#Dg z!$*ҹ7A}K;YC'P# 8 nKn2ɏDz( 7I) HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/latex7zXZִF! P&]N}T':=Q߲mZwb3Kzd:ř p+u (ѧ;g#L ]I=B(v}i }%7QV;Zzו NKN([ډ3%=Ϋ| qq02ȵ4Jjv<u&!F'H\`w^Ɨ-Jg"`n&u.١ٟ;3JxNw V@Y"=gXtLeEXu#rXOj[I$`ێCJbUgY!eFX[W&\VvdhB&VoE\Hm NF6 _;GNLSpL^WJ. ]7 GEz7P l6#{T'Iw0`O-™RƭJ#.R`ů]:2 󃤳XW {!Ϩ23 C *"jFz9H<{CաIB L8 f>2 |F $H0paF&*(D svrnF׃X<>?$zps/,zS|<!o!L |ו-`k,)b1EϺKsQP#kO (~ZmMlcBH+r= vkl3F"C>[}F;$sۆ/JzޅHtד3OIl`KIJFڰBH#o>K@M* VI=1!noXFWv`80`$Nnڼ^|" č:т3TQł0}LX*RVQV܁}[RZ!*YδO v|f'e+R{ÃbD6C'Z7tlݝww8Cr1 l4z0nk!dD%RL}6\1FR>5ʄ1)!)Vl D!JY /hqGp]Л)N\F⍾<<˪$ 띾xqxABXxyJ(r?/K~Q-*54PƓuK ТI By#죘-Z`'BBV)쯰3Om`6xhJ*>D"@4't|6&vJrῆ o[Ϯ(NJr}(y653k2#IIn>Q/2G;BUbg!h_޶JQ6{~wM+3jt^;~hد.7=He-z1;Sr>nFQ/ U T8XerԖc[c _\JJ3׵),S{sQ<+3Fֺz=Xw?IIjT Q:U^3(̱z^0 ΄1̎qA@U@955=Sk4O\K0\  @i-dP Ihip*}\D 0}TAۃďIDžQj!gsN=H~rܩu#`j"gYZ{NL1xn=Dj -|l;U{+_V9) QPʰ}X.a f 3aYF4@XXRY8? UᢜAݥ:dDKFn+QUgp} {ڢyg,G"B?֞ 9+fXwS3 jbMXrߨUʴ}ɾ|v('}aBvenit,y\5B6IpU`]/Ϛ)a=4yF;L|=R-(!0[k[(_ЁAlV'~ڂ;)sH(2BlXUXN]gV!Y_̀>%PoE#578MZd?|9RJga`"s?AO1!]%$d5Dqsu1|X{)|{+r)- 2]i:WNHo,쬲hxh=GKWԃs[M6%Vvޒx(HOKuw8D}"'/ 4oXbl9皜$xkX KD95w=fRɏ(eBUzVjM}, +>C#xݞy*đgݝU0ّC'@0^3+] 30ȱ>Z@-1Ѳɺxc9-%'K" X3=h[TeV,3ؑl6}(V$GPW_!gҊ}m-eg Ja{?X7e>W u#ݭ j&aw[0B+ҝ$:GM`=nqhv|,)#> w. "Ĩ.q QNܘ0>'2sƽ}PnS#a5 G/@|cO5u)>ҋWLoļmۨ.5`U24.,8 Af{ݪ!o щ-(7x55:"6 v D^ *xAWa`Nq]$e\xp\=bchXcb.N"h9@5g{as`2őD=Q˪S*3ϲa5F+xU~ 4ˢ2LYLx}tkZ¨ RdAtMMi)eVx25H$0>W)HH*YD?d?Uo( 9:.Ȁz5(6r]sC=$~5"?~l_Q3nǮ=?DdAk>k}kJzהW*}*gqN~Cc(k; nBd `S8D*ϡf)d \neG&8% kVN\ehID):6? S5.lі{}CNjL*Nmr˵ W'9='yhBEf9Ë \J*ɵ2ǘ[h6txUoBQВqiMu~ʉT Lܗ?K5Aȩ(9cݷ5ͺG_!Nړ KVͤ}6)hGp*z!KF 8T}*q3/JPE7]l 3"PƒC WVP r?r'iT{K/,ƬPE`T`ѴW: :M`<>*AlqC%jyZJA ꈖT` n<&\ Cd^L7a6ܲ@z{fn?I&4Byc&޿|Aw;@uO 8~{ի_8jpU `iN-3TӐz(} }RIhXuKkyf6گ騉/GW~ |J{=\VX?*.zFIЭ-T ^W)*<ɾW&+:w<ɾq55t-(@<)(ҀEYT8e ;e#H(2N>SI% 0-IIJKR<]!cYSCMقUDPN9>]X!9.nwySA)^ gD~b=Ÿ?FdnXM|nS{A."V+塑Qn0: {r^Q6Djk՘S x ;f+\Fs[L㘡 6PU?OQ\IV)ʕH'|~r91jO>a$xCH ܸg/T04m3QDžM~:n'a\c_F۸70XjuR+]=Cda%Nhòjꑆc~-gI5X=~a,A%VszPV?^a8nhrQ>oj A$k;d!aia<̨+j '&Sm v;sj o,< .~E[e-x\AkA+,TUa篠n9(f'ڢan74I}`Ԇè <\6JccX,rm+'8#fjKxJ<-V`^3V! VϷyf!^$H{v8xs,IF B7{R[$|7ӑ;x A#RmQ.~x1h`th@bO-hKƺ'j{.pf'qk,7(X )$2pj`Ϧ5 #COcGY%\K ;n3݅ӄcGrFna8.,P`+b((h%qe_kڥ94U T5+^DNrn :N.fSC'1̙VK̢sa5$@@|huf8)fA++=h+-1T BI2!HTuv1GH:@1w^x CgfZ C?L5V@4U^_P(Z%G*<>7o$e-gYZ*mə~O װΏTꐺjIm`߱FcձQFf{P}PZ=T=\El%;EA.A3yh`\Npjyft)9ˠpVCJxYCO?)vhiDV"m{+X9mnzx+n~&!opkRΗZ+np*aDDu 4F E}Ske_Nl^*nYneЭ%tO򭪯~[!I z6u'w{&E8YkB#ψZ6$i\ Kˇ,SVlFQPW|G:p吱 3JrT%R-iy r=(:5kNzaHIZh3J@(EmHc$ /}gz?B"?ru2$rU gvU)$n, 9,آƹ4tVl#ź#ȠsI*ԺV۟搟Π.{-V>}ph, dG0kxG`{FnP*;`` ^ 8 @}7ʤ AUf} z@BݿaEL2"Dj76L8Gt kq{ܸ𷙬6$$'|[ eebtkwV]~YSJɯV朕zN`gt/Xvҟ^ ´H<&ayvbV.%ϬLC<{;X}\/9|dDgؘk%(3@gS ډCߊ,-q4ݬ gni $EN, A= W?-T$] +S=PßgiwP?F3i\T)[z`l\?B!-1‡M< 9kcm0%P#q!znTc|lD8wQ|l`KSULCY%mݻJօM9[{T,C <@Vw\H;U(}nYݻU4AV%'ȩFf؃0_a1KF3dI&#o B1+[3IHzaӬ34̐νC6m5Q?YVSwʚ#g?";^Iz%tXJtI(췌jp aSc'cHJZ:ubdސ0(aܔ6Fd_-Gm u8C/`Bק]Rh8EP2S>z.adr+MqӁ$GEC,7ďj@&M]v}[A_GP2_zuG_Yojޮ0u¾A,)#^5EkO_d|^%cwTro>W `LV8!Rvkp wՀL 'C>yI%LUmz \_vrD\BDetOg}}q_nµkĝqΉZL,E9FMV?@b$WB{%w?v~19v99YOr;Z:|Cu" n1^# |OYRz0Ls,ʉ: W8]K_ηkle3CtA01q4ÛꛪZ/o4e7I I^:T3ZSrƁRgmnp,;'42ɶȮpB{9&YonY.3dzN/vÌ\[HkZa0EO0"^YVI~E10{n1zq Xr.Rcи1iA/n|˯vb=z) zb;x^)?TAXbmjVO|$o$H섩:cS8x^T8[ݐhHsRWœ䦩Dljoo9s8?%).ͫS 'JBv]T +BPYp%>U;uճ <1'ۑ:' eƇ:79<}gn3@yy:;gtv+ 1|);zq $Fd}g'J,,+:~!#@z&RQ FHY%)uOƣ\`"RWG9.x6?$:rAf61oDC|PK;S-EgX[>ɖbZo*v8}7p^ Oe_ 57;+ ʸ&*].\۴͚T`HA/#]1WӮF5Epۜe'uCJ V 4Ǖڹ'ĸ $R.ė \dfl3"5M<]](yfx{+)ۯǨDL̆ix0_x<(+`vS%>o;L ޺h^7!It<^-sݸPE02zoCU,_:rH0N doދ𛐙<6+9 "%צe9-Eْhw#4=i0PLڱ$lWiV7pǝZ^Z]sT=濷7em( 6`<34%۲9_ @j+a:ܓv/7o,1N>CBd/9V(5 7I}MP!:Ď|ÊJfS[G| xXfbg-Sؤ|+)y$$|{=!iu~UWC*V"{#5ыMVSǘ]Rob0[|kÔaKq5h!dx,_D?''G;Aڞ LB4wEpjNZDۡ%HD"uC {S bh >@xE1ZiK=z4r(S6W׿D8<3P^WсVJV]t~$X g>#Eri8f67zzX=&.lzxU~Tp \o,ʟrZ:4Z8] dNԀd>lhN=~7Ijv8ނC-}Z RHٔф{Ubӷ|,s'[D6j@#j8Cn>h9l̮4[~0{S:d\BƁ i׻W2GU~7q -6h<1JhVlk> v)^:1\i=nt!eZB|"Kڣ9t1C\B~n(_Y鄎Hw@S938yаrXI)`L Ľ9DrlayD"P$8A;x X:6a rέR7 Аs}:ir_3m.m9_ 7}4bC6oduY$rCMxT]7bdJ[k,Al79 I3o,gwS VrHUk7[{B lҟ]Fx< 08Ͻ; h=)0+ | ox*,UZKɜ"|*6>Ӷ "Qz5z-hnl;É M;2?C*גKx6FRYZ6[=eEKj%RS$pUyBLNN|(7=jYǡ"T X' g։O,C]Ssஃ<`wk~ô mh,⏀6BP+fh!?,}WGߓc]Yv8Wpa IFTF38U ?4ѼMa5.iq=Nê4K◶9Q๏0 0Ӭ" ™[ϼݍć.zhnw6.voC-XZU`AZӦn?kN8/fZ _sHώ2 \G2XlLNy'j1ŒSlӂ6awPOɁB?!!ږl=~Y ۀ #^BS? TJՋ)˩IFSK|}~ 9rD[]2G"W}㥃ѲigT&N9J䤵O24Wj$kz|A2^2IѡuN9llXaOauYq(VKA5'.ҋ먋߸ѱ݆x8`Ǚ&BiKgʩ3L/821}%m#=ڱ͢$"88[aݵIQy߰QzO$'zY\׭@͟ZHTOGۉ %4?l{CGtAKݙ ]Ӧ ·8_' qމc܇mk`WRQM ijAǻ;Lp`zI*av e>{.o[PvV.پ\T|jK3=^o6❇?Vv*sLM nKd%o>肫030"Ѻu+2^cJ9EA]a[-̟vY[BWТe;Å X`sckXK°{}ib›nj՜"6)WUHLTⳲڐ݃6WѶ*g=FI0CM.-ٌXѵxd"*(к9bk=z xhAYD~EI+v\?  {\a] ,>^S1.<*A8pIVkaJOjמvzУnR8M"G:uⳎwC4ikgxh2X6ņ7'_-6)y1"_8qssu`aqK (y7Y(hE#ML受k*~ev ТzrV}:0! &cMK}b|9I^DuC^e?&[#4QmkYƠG?]}27K?Bz~&b,;l4:Vɮ#ar+זM仂9_횒wf or_^Eqcb#p&mIb$u|DM&!NV@302B~UcU1<.FWLppԡٛBq13UC8-↘< 9 oZQE\  ;B.֩1(oɈK |#L'0$fT diqmo~VTMEɗKXJpI9yݧ:.uf^؂8h]r@uK*M6?N&{n9AcWdYztx.[ PueuJ!\+jR զ1̋(p4͵ߙR{mFRw;XnAWN/.72Ѩ9fw7NݐHZ>=|GJIӓr5A/>n7*t{pR|n5gU:v%}̊'Q=^̿y~  ZШ1پ04]zCZ X'C( 0@=\fC}Zm+sI1±6vwƪ_kC#v]ڏo[+[̎h<9sr5oDr"aB;+fu5ϓE z~^U[IbbKTwӥoh;y%MH<^ũQ"wPRPP82t86D>4SXS(6ekȉzd' 0@zIJ.Ľ$dNt(gs)B a},0/tK ݴ;+9q=ۚ:%^i#ٲpT8 VߺZ+qzDp{Z·oIa1'%eaVK(?bX,&B,^Bd(Pjro=ϻq@3۷VJ, 5oV ZM6Z皩s=aU𘜊 f4mMp09|>jpw陆cǰOKfzӷvUX&T(|y,(baKӖ̥ڄ0bB`ߟ;`y nyczd&nj~jv/q2~h4ƓI1RS(wN$QSGhYΟ}v,kzמPRVTRs7Ei&'wbxo|' c٬gNv]{g̕aZPG0¥xE=1f%c'ڒa+I]2g{:;{ש_|Õ1#ѵŔF@XSV7?3yݧ~N_7I2e͹&b5ӷ3'tǥP{_Ne]RCVK ^4J,kntz_"Cu?Vr\]ZΘdɹʁz1^i54~V|{{ѨMS5?+3?B1=/\%В'֯&+{VLű'%>CG y+ߠ õ!et40MhJCg:.Hu.˜is!;s?Bw'p'|lfԉ%2ƹ|V=(*)z]b7q̞ \~6$c˘\=V17QpQx+"S1tГMQ9Līx׷ȧ/ $lm{{ _>?a|v:T5("SϪ+]Xe {;QdnAgo-AnAH̊ -vES)!% |ˇWca#{ )<[:FoYFe$́ sX!G~6X8x2P5ù׀h!q33AxZa=WQ |MO1lw赒DMFyW(J~qnX=Sy 1U GvBS~ ڊwlv"*ebk g; yn6ra\Fˏ8y4_胥>N*E&Vtlojp,.V)p nȴt孟#CnL ˥zkRcZQi1CDU$*;_MT~2TP}3|F|UKS kGOgj~bE+ڼR9#xdƄ)}m<Fr׾.h.3v]6vϨ]O2ZjR kZekRmi+eeKcu} RgDJ|wUum6'aH}qx1" 3l:'3a+7{.mbL [[ {;S=h'Y1RLIb%?%Gyn1\?TA5?YOJnt*U433fj ,K;уntc])njla8?Wo^e~cMfQ"j_Q2M &5~pdA<܃;Uxa&!”HJ$CuΒ>Tv'[Kh#'ztMj`ATwERUT?7N_R ѩȀ,Ӡ̣B@ R_t&Tզ 3XL\DJacfL*:nC194B~e&"g7<-'ڡRf4:.Di;gä{Ps"x *W!ǫsa˾OCW&V.&N~ Qe 7 s ٷ]-9c<Q@ʼ.`ʇY!=šߙlpkHo2]Ҵ5w.>%V}}aRk9ݞ\UYAc5D`Ȱ=i=yTAҺUH qP_/%5wJ"&2^LymrfߌjZ ek)7ROvYuُѥOg?ZG4< Vn> ysͷ!; Q9@Xښv8&LQ<$-GYfSkux f n^6gYZ V 7Y) HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/latex7zXZִF! x7A]N}T':=Q߲mZwb3Kzd? P=r,_tW fWm^`Ge{e;CBbUN %FOyF]; {kƅl3udk9ŵqr6F'W|\l1p%jj8Hb֙s6oU:s/R 2FJ(j(-3$5^.>f۶ULQL9XE5zפhrmk{ RU2LN E;rUtd4d{Dp m,;;@k8ev#0]&r}(TbҊ%s# ܎,Z/0O<s1=JO2f 2tk%m:تD{dLjs[ؔhq\W[,֙ ]̔Aqf]˝*^C&E-ŕ1…LULuથ|Ujmj_d4fk$LK/Tm›/]~l\/p>pLz1 =̖dq[x af2hRkA4ϳi"d1J2A25 !EVSԱB#aH?,MD X@h6^6mz )TbyifEI/A-WiҶAbٯTБ59xO`dH˅U[Z lT|,WrxY$+6 XEΊ/,)MkF^^etI-rBnMzx6YA|x˙61+ƢGIcɨ.D%)g X8r4fOë fw4 wUž+#,RW(ȸ/#K IZ"\;S;eBAcQ$7 )DV~͐UjE%lJ1Z8,>gg) ɾ"CzwM;53z -߀}Ўu`'Nbw:0N{1S.3ۃ/a"n`X<5\j"?)eVTߩOޕ]Qb8?,v.Tz>툁kdXT9_Fͩo`g'xO*X+d_A!c=$ѓM)O尌/cnٍK]ۏШwOtЃk¤1j /e W y6=IS5|׽pD`5|;NP_lv` 'Q(rj4I2N?+Y߬n͚ޯ2&[QܶbOEY/s]O g>W~9 B3(ObW적Hq:^~W\ZY?TaAXٹﺪpP5v9 ĂS#@J6jt v࿁q5B1O/ .j!CFOq bi΋-4T1*jƗG?=/? g~لۖuZL[ ҆҂lo|¾N-=>KFv4D I6cT(%m(̇QmK-g,=e.<`F:Nڞm-*Lj@8y QŔW+_q_T<%űD)p/[Γ[S1Qs:bq5:(-$k27 .YW\XB%:mO!}P1vxQ?ٻC]?SڄDQK٢y=Qϐt*m̀bU<9MFO"NsJwB`%wG0^j]I#Nj?I䊭9ZP&ȟV Ys,"{_DIfb. ڞWOf  ;}cF^>HԦ}M- {Z6(k4](TbdpVCx&*S`"amQA ޝqT\pzˠh 6{KӘ.bY 5{%D5SF'RVsq+rk`G0*A/[v߯YmsEW9*xGH)rul!/c>E I{; oB| F E&{ΥsSmY𵰼 F9HRr]yT%!w*J`q G(wfFVd|PAbq7&jCu.W(zpPM VlD=бw\46i #|'5r}?`64v՗*pfXdH`ұhd?d *'z@lvwncmxweҙgpB6Kݐ0Ԓ&6 r~Tw;dBWTQϕ5|F֕i^KQt -DRyP<P juK=gFLr. [bH!Rץ@[+G s߽J!0=AJWex7X~ƭ fx&&=̃nGoy>:ea[:s[U[vq!5+r9ѣY|_侀mJ8ऌW~+٭C2jy 3>L?DTN.nΌtUsl\R2iKgԣHMՕ84~8W mX؝˜{S7H'q_D%3xqRAJ ]VoroE>{wj2 /KquesͻrƤVҽv4(τt T}Z՗ǹA q5vgGw'612*2}g#@M~~ a~$qv.cqyX]oH>ּ*o5,64ƍ?b蜙%p&Q pùJߡ2MA]ltbGN˸"9JKHMGA%JLx /HdE&+,QʒCP{ !N Yu: e3F.Ғt:AS'LuxT|HY1z(igAX}Œ+}2;H)SC7 ը uf:RC#^-KvMJv1W kfrm^[MgQnp`*J%AG9dmC%&4"R:]I"Tylq)/tF]P qO|^qD_:1w^=X/cПG-06w;ќܲrנ毙Y`|_ (#PBp~[~"̸\?1"c[0DVOp\\5oJ׵r݈܄PfIߠ-=?ե S!4%慝o9ܐr I -*xa} "v'ʸZKCZ33](^vZ1\}*K7 5PjZ6@BC'9QG&``۞='#@&"(]Y`.Wij =6 IwYAjqSdJh!dtnWQ'[ 07GA*`(0ijk=G{! q=0Avi󴂹fhY3= vQ5v֙@z&<6ˀEm\ :"l'Ȳuא*#OL9mp@A a7*'ӪXig gYdžYWcLk3t TQ,&˛ f}sfi> h:$7`YgYZ ''w7S!hHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/files~~/src/HOL/Quotient_Examples/Quotient_FSet.thyR7S-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/document_id6667Q) tHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/latex7zXZִF! lr]N}T':=Q߲mZwb3Kzd? P=r,_tW fWm^`G0!S4 4{-k-f@$عxO; 4OݹԱ?s/ƅ)+,(f +0,T\e27=!މZ?*jQK8mgEi4Gbksh(bO\3a -;0MnhG7G)N-\SV&ɋpWeTeDp-J&<BkЁb9Zߒ*׮5H:'3Up-JW~,)*6bϣe<|Și֣f! k,<\FCp{v9/3TplOKFJ qZC@VR2S-ZWSY7DuBjNQ7lP'Q3dKx TzOV{7,lF5Х9(j2^>7_+`(-bY"ml6uzo$b̯VrhFOE45Ìk`\*@/KBjRYњ}  1VM$Q*sq&/N{%Nv/ˏ"։<[P0Ր!9nQA:w&On&_-aiSJTj=9B#\sXjD/&:ͼ2 N3>Xv0 ghF ZwxxvcxI"i 'O2qkEU[t'dL9ԕq&Fs&S/=Ag1h8(T&8}L9Ls$lHOBoY) O "|+H|o櫊: +sEvF2^q׊h>!RAyry#(Dd)y]Sj[71$DM&=OvE:RX,ϸZ8p;NfÓd j!!qeϯt-]}El#W.PLd~5"t+[,kXhTBI5.fC\^ɶ5!37 <߅OLI+wJ,s6^`a9!RFar";o[edRy/Mk WWwC Q۱a l@R9;ss [n\>r+%$㊧2@% r~oyd?<(}C392([ oqLP sLsF~Tf>OC=*;z#Ρ8â͸ +25aæ:`7~(JL,ϊ^$x5Jqbn%-ѪV{Tlw-$Qm ^Uf ɠ6XƔR7@JtɆB׍ۈXiD)X+^ VOG-ZZXi-NHHW\-.WZ6FY3^RZ` ^G7ɭGMe0KtQ.GxCXN__sGUqgcjAgiĄDX bE'jf^DN4hKe 1x#m2(c*'>v/է CnŬ2i;!9Xa.b V1^l ze }YML#8"Z j*PH(3'0欲 )vy?v zS'M:{by0oW -_:A2rOV_瑿) S}̶HN_W&9sLyI똜Q Ұjm)PLwX:i0I!n4ʇsaNPᖯ#z6zX-gMg`aeoHxQV'dF'Y58RIsVA; sӥxٜN {1%1ҿe̓HBO46ս8"{I9[veBu?vlH,G1Tȼ%;)D"fpM2"K!ǹwHm^X|`bJ9QXQR5z>ry`}mFV䡄[3 Ns  %,0s%`cN|c2.Sg,t3G;M 6^1XPh-uq$+n9Ɲ3; r=qLȣ5bxxUTWI5ON`A+j@OJ[&EP5 wȋr+BZr `+AB 6%Yd)Hرwnj3=DeRke /(X (hBQxRܡj`%PZ/V9Rl;ӿ#nˢ_*BA:oBDjlU^b1=ꮉ(28&7"т`ZMd Ϧs+jc0S ےI#q=' ,2f&HQml[k'&n\Ww_&y{%[W_mgu 3c JbItj$)"9\lk {Rš[1z\$NUD:G<ovqձ|)K?A kٻM\:1-A`fi Y3>5#lx˷ Y? 2[8Ef|(9_(ESunJmipKYg2Lm'O6tb' ^< `0zgr37d:k4̃b4|w3"f\oJ5AۘFȤ>nLRۗ~,o.iK;V۱pt ;rlk]]Hծܗ~ kmi|&^& N8^ 0V=Ydm^wkJ)*bݞf}Mq` =)6FP]-@6`v,jmNܦclʏ"(F~J},!|Ή\u0E޺LD'M9YowxdbLJ<B/7O:L6xbJ6Ψ="m.k`"N]X̝as czvJ3 |`1(,BkwXU|QYIIY(@45-##b)\@-Ĝ~d$Q4}q4n#҉iqc;'\nAPzߵx?t1x&}C6T2TasK2E_ڼjVFVxM|/|{9Zk`MHOM_7ESHFNUf]F}A?mzF#d%zI]%)t` *.2@>}k"3NCww3r֗{yPn7 cQH zq*Y\q}U>ݓZ|`y<b5k*EZ(_6GC W[F趂|5 X҄32 rt1`>Н|Ef-V:Bkh.<a^VJuL& zo9V06T1rV˃taͦѐG}o(lc9xQló-FQO)| ZwlV*nnifQUT9kfO|:3)vщc)Y;!&gGl`Y8twޥ6ITEw, c"ҙT4;hj 0ב=<E,F" rJ'bW]}-! ȶW4ᖖxc_q`[yw2ahzHFh_fەayu/aIv^*MlkelȲlI_Vd$;)ie0<hDaM{Hii_?!DE,X`DFXl=6A1Tvu-9񫃵[x7j"5#Esh bɎ"iU=YN 2M0Y{/A > o apt _ !5Ad=fEJyTҫBioKtC~SNI3)8{ǹ:%VMP$Y.TvS)DcK;#AGtږiA7GeiNѣ@f0J>%$ թ:n7T%isCy[!lt~NOjsjM=ܖݭn65lw\ ?MGsKClYDNI Dr֧,"5}ed3,=ЙeL̃M44HǁLLSZ`~೐N^RQ>v]}؋L} :|>'DY@1jmbSI$ l@OF0Ÿ$g8 ,G'A j X9bdԮ*pn.*?EPGXC( ݷ\5JHanwKC%{+g UuD|뤫"-3 |~Pk٪.~}¯MaZc/7,e(L^~l-ri K} z]b뀺JQf+{k`~ݘU@yvu7"&Y^>^Tu8pQ!qIbԛY`Y]u瑔ocڝر73Q+sXe0P&QX{H|ڐ]XH*@t(%&2͌->7mBcS8+#<9l> eĕu p~Rqti^֏)ͅwi٤85szA( E(P.[~UZ.VAVV KZ1ot <5F0zijxe7KaVYr"qex@)vqHOND Kn7$1NR+%gXH)ѪT0py,Bz-2{plzoݱ{go惍$r6; ciuKD+$Ԫ:խC+[T|{4S8Q`xLaD]P#p-?:Z6ÉL!67a5;N!oB5@Yq.h#p40痗]bWVFp^l!EC+ _DhᶊǐCe C lȤkBS`LUT. VJSzʉPS ДFtلd!jAwp VSɚ8 \PC(K&F1A5çATfyhiƥD|ebn34 p9j ~ ])1U0?#tر$ |7Nvg+_ eKMfPp2V"$C,k'b#@_"Ri3dH= mS)R~{N혺69慒0وV ZWkPJf&;VS\h2[6Ȝ 7L@7AY%<3<.pSZQ7} N( 8/cWk<+Y˲wKh$>rJC'R9r{XJSOVdǏ7vò56RK!J57W;@)i&=nػXsK vpԬ*ds(m"<Dvs7Yͽu.K%SqBщ"Y>؆dߜuu9n{MzZtyԹa#2BO#.q!k8tGGkx޲E{K7 SS"w:E6w;WFc8T&usIfE(|tcE" %sݘR,/+n毺i#pb j'IU;xЗB8*H:nQ8NJYP׿w3mTVO"Hbeyw{ %Kec+F`j^C}]k巈OQ288S8?5TˡF~ P!{;)FصiH61~Rk]I1%M;@N2:y]c%*҈boGUUZgGlm7VcezZ{=uM9pI>tVGKqHᵠ"5l)њ뻂.CәSHMZs{͓︝>_F@ķC7& V̠L`$fG-tTAM('P< 1hwʿR\l$ݧ 7]w@vH=ꩉ Ebp8_7 )T 1 AwAs`u>EœԀk_;4""_ xPnp5Ek0, qB+N\= ]FĘ 4~x]Ke;L@YE_{~qDŽW}%&7+{&p (qv!N:5(l,]q5T4˾@H=27r9]0r 1 e8Ɖ!~33Sϥ1V>E'0db ̷6xNl_u5q^dlrCa0+usڥwR燰=v㣢 ;ć^RM,|=fv)(^8%?g(T&F|tŢ{1[X]a}URR]I(Yc^q5)P#*VJ(\sbzLJPo 2璜8$EwoJu3:K9!Er(V^K*M _Y˙`cQ&l]9/EjX/ʧl%9<0$L;$hK23Aȱ8 < - \)b%L1~:NeZbcD>J%iXXHȔ0^*]7%7بazLo~ ]e5ROWt٦@83,T *byrQ܅ }+>O;ʨ3hRM U?vGF)Nٗ$ݪ&p%|φa1ݜdAX鋕?륣^ "Mz *_68iZdM#bMeitZ5Ŗ%B[LUni+{*Q%-yYahm'-k{Z&;G&zcSl?GeI&gsI926E݉4HTP&{}!V [)kNx7ySA+s^ ԍP)m5`/X}a.AWX>tM(H$k>;ˊi'F ioP2n\?j>ʥ\#lC׻J=QnLx+^eF2 cU`z,#&6i)sw Fg=ɴLͱMfK6R} r^R3UIP˵8-0UkeKn䞨SlL 0΍, 7~ĭ)mr1YJk`AXZSΈQN8M_ *ܬD~˅cIXR.~bA'Vjߡ]IRW5Ò@1FN76_-83!ib2!Ɛ =C9#Lo.g֯V%Zm; t"PLӶƙ!|?NYlq{ EvT52?ӿ}(:0w];%tƊh-O@'mtE赽c" R8cCJ L!+BkWeeԯ >Om2ޜ @55"swKP0;ZGfo5[2Tl(RWn^_#E}Aք٘W{cJ_[W"0NL<>z,Ֆ6dtI+uuaּ!LYæYO}$ /N@ۚ>)[zk[u34HM.]vWm:=觍3ɟ[Q5ŝ \ 3>яYI>&z0/f8;#76]pWEjraSen@{PWYi8\`%B#-#NJ -hD*{nky1 -/f<1w:cxA1|lVK2^G f耫ibUQ ЎvQd~ٱ.w@[fs d`N8Hq1$S*&C?N|B&,4dLxZf5Į1*.1ڶ5>TUh @۝롦| 53 mC`,^ Xd`FfoYm_S67Zua<=3|OW0Z/nUa5O&U@isq!ǯBqؕilGnO2RT2$bϓ?Č ڢx,8?x(.N(/10jŖ= tgMR!>X(XB՚%MV=xF NUdToe~r饥> ˴MbtW- {>{xZ@|j.ӳbLŲ=B\ lj -@2)gp'pu>J$۠..\&xF;Ϩ[U G>L%rq 8,;,^Tt|9z6SP:O '̛rxeJyC5?oWT\u=P &9Y|~jlNռZv|-͡=d+FkkԘuAWh5i5,o?b8]iw׬~}iS77&}_v݆OC+_E@vE}-%D|29< o ""(:&$א8bAro~^;t\As:P }L-wbM}8S4-^A(0!-ZgBE!5Vz1R?^0sr"R :%NIzsLC{, hIGy (4^v WPB4B*ԥӵ|,~FX#?Ni䧊 {ѩH%ܙ#t*ӜJؑr!ZW:n9wC% g0F1NͶ%nK+KmW`7T~К\%p4o>~E6b `5d`:|W?j|P!` u42KrK8@ڞ 9V=MOL`6j> ~|pdV#cAבhK!QޏT|*b=u3!o3OqQggZDR-ׯAqlgQ9K&֕q,ٔlwlǼjp^^[ s:gޯW[ϋgHU04Dߨy-! 0e<k&^WyVt̵X Ֆș|_M07 E<\iHR,u_N,p>D͒fUc"AF$Hֶ`kͨ2SԼo6/ ,K?p"lju +26q 8k) k!׃;<)7R ַvb" 6.7wҼ9G& Zy#YQӲDPXx):|T\h7'}u6 X즢/Kʸ$W& FQI-O.[^Pm<|5xQmH}uAKUHtduSEZ&4@>kʩFrxՆtFmi>T@3W}ø~vG,Jk y> m} x꩎,>4V|uDfܯ#cǪ^'STES%3SI ]0Q _`. fM|yۑG.X*ZPi$ĂNJX,b;N8{oqm"] /-lnd#U>ўgFvfM/!v_a\3\ |^!|iUF.:~D]M<=ZJֈ(ƢsG)^r;DQ@wC$XAoxNͧMKa3Z,{\򆧆G:(2ˣ2єT=v[@qge=:>B@Fٖͳ=m^c~DoL$=È1EDz-UA Q>X14[A`$V>l%}۷RE{9POH"$H`NG6'Z?Zzf` nVV#0t :+?M/&eZo+{'na=~~Tqr E>-{&h5PG9v Hjq/PB[K&`N ΰ|zo` )[}0*l&ZF\?xM:#&~dB"Nƫnцx- Զh%bu)Kt^bFvI6$g}RVb`{7-WѝypygÛF rɖ63]H3:\7i}{^Ŷe`K 4J-}wn[82݅ cM(m&e5ZQhqO4T9c1Y+) w:$-ْop쪘R^H`쒯==̓VF2,?^E_Y?{=Ł)mhW gu%JVڮ$—)_*cWX?:xsT 7ܠ>flIQo(yjDyGn/nrl3ԆIF'Hpě$`v{gvv0'8A7گ^˝:,tef|`H;3B(tWZ)A2EXW0iC J#] 8&u޽*z~!夔Vu*fX<.vK2uşSAr K8Yg'gdH٫}H{{L cՖږEej4zMg 1JJ\24j[O:Hyo3oKIc}"Ldrډ)C (K/Ue?h;fZb~ܛ@r 2^!Ӝdr]q"Ca<P]k*8'Rߔ 3{BLW7Rސ:/:@Q"7iX}uq0$u- |:H0&ɦG91/rj<f[t?6V*vH8VPxM :\SE;# tj'Ԝ2И) 4#![ZZ†7m4zD/,;~ڤl"<^vt C?a0Sſ>!bfPބU>C|1ոAR朐MQB߼K8̿P\-Y&4#Ȭ O̷=$Lc綥r/a$ZBVm [TUj )uًNr',&;_-@451'*Ԙ5w${O4~Пe}~Z?c1!noОr x5:2->p k#E*`ۡs5S1 _Uݼ`nSpBqDzs4ޮI@\ >,u@/Ĝz;DTqluY*_C|G`Bi$i1{+NDLѣ&ȥ}-ہi!*zeOѱcIӪS|76zÊ0"z}p4Pe_ K>"Y&N}DL# G? -Z2qʪN eڸke[W0VmfcS%IüDn4]ś( T>"߆ag䓤e84˗7B ^?i{JaRwd^ L!hf^B:Y)L@9n_:!{a(BNMtj- j\ \Q|~5 `#2__C4.`sŠLo _I]ڈdӣnfG[Uj|_O|qӈHXb_Hb2e?{QGפ{Gb",!/D?^kH)p8,[ K#n 6㰹gO%w}CsN4eUw+RLwpWQ8ki EX !|+ %hp<,J41>x-;5bM[X_06SQ A\-$hjN8V_<ϵ \,gC%_a:j KR{ʉAdEN&[+aȳ@T~^'cr2FZP-:6_QyqjQظ V?sJӐ4"_3<1"*]1, ,Aޫq<08 ?)Rf-k3̦+b%2e% \A},5~yą dlcyfI !Y[wv81@l7HpMAO([E,3%|aFrCerƩT]Kc6Jw:ئ*OT1L{؃5"'ONxEK(Tbo'R6PHNenkvvY_6Z8cKoHϐ{*d:xmo?\}qsJ3|u+p —A Ph #b \%4zPm-"HKFFsM?a׹|\^ydrT -=@.9g,snq/"|YrC3>_yTM˱G3rhOD=0r3ن9w9^"~h)~;_>Jrޕ:[,8|?-ǫ9 k!xfٱ?PUȖ~Q%-W]jj>GNyܱC:4=qI90_FÍRc^P%FP)*ގWx2aR8U #a P x,s-IAO+ZKz<e׸`Nu1u?Zf^{\lFQ|GA p\g^eGuhz|[ys:T7.KѝVzˋ쳀`ibru8- "ޙ T"DdLJ[30;]Y!wD=[\{.н C,D,=ǼazЋP'k#5ԪW?ySc<~ .͞1Xĩʘ[j12ylU#n bpD/{'~vhrYӟ&髨dcOO&{ih-BޒGM[¯q&ӑ{z W& xPհZ)┅L >˦/n>l:ocz|x.;r&i}3qH.6!lS0oz_!xݷ HLѸns&{:.H umt3n*DeRpFV,i" *TE_o%K Ok(O5Ġ שCFasQsN(Hg:Hf L$S UV@¢ˡ_;~nCs8y4ɝ!9tS7J׸k0^Q*-XZYkc:X&X]S2Kq6 AX[3&J^cV+{t8~Ax.rqq'\qq 5Y]9"4Tr#|J9ٱLr _˴XF.å?n2%Gfp@(nmEG>DFt z[N Uǁ<#Z'9@<;cVsZv $F ~KrfH u,]\B:ګyf|m [g FWH=PO: Z]h ұԺ[DU=20-i.#hSr[Yů2G;n'a4S\Awsi I3zc@)cG˼,|4b?ڭMm'Q*CËl8L'-X FULthVcmcFfm|נ.+oc:ZtXF̜lۡ'- 4ʩeBإI47BZi <v}Hƫ ĶZۊ lqQ-pΘqD㋃ 5j.c$ zXNStXX+"huX05lsC6Ӏ ēnW!q.U!DP@q"teE30(D^>gsha+ R%&D*}YIk蜶sE3FNi/ym%(ׯva?Zf{"oSȞz-E^E[V=f+x*56ce)B﬍>]4㚏 1̇EWwxm"H6GL2iN%qJqZ`j?rK"+ii*UØ}-O8u:i Jbdk>R1jg$6q#docY@DE8ON~:vUKfɏ_5$ڳg12'fT.+ńƔ[{&KLz1aߴ0v5\A0J;߉# fto[r]-'F2X"7X'Wف9 UD.1 R"(ɾLXfҒCUP1Š^_EX8kkVqM3"n9z|1yčrmthIB{?x8/s椣>$\t]]}ŀc oO;5_LF5;Z{S >=mpؘRtѻM$oFB9*M:G54#i:4XTg'2gbLlRÕsG>ꊸ*rJmWJ&6t3J+N0:ThUE~F곽%Ugxw]Rr| B zb/xxš`2t_hɇ)( z!X|oΕU3c7\+3A~[.f:5J?s{%67Ə4mjTdC:BϘ0N/txo,c H 1`;z9u=%4ߜYk  'hhV x9ʑѦ~nyNp2!O!ԢIKr$1'5^+.sZ3"w>>N˳GHYoMMFDեNqML#rzIj[bJL\{po8ΫBapN??$3GLmΠ1BM,TՆ 8lMݤ$E~)ha e # ;4ȹ\>a(qC5sUS]WHi~s%u! u!LkJqbL*^V߾ޟ$ә"_K[!$7w> 9NJ6tDxw#ڄ~=(DE,՜a ,4 Flh9v"Y #VP}A\/tF0C[4 U;MqA >(49oPbmt .voJiQ::~]pGJSὛp6fgҼΪdy2{;1Ð+B )9) 24tM)iyBgxRf4 I$Vi hp-,DmH䛞04ApMzі ΁ Dgv۩7'[-Z ;m0H1M `-r³AT$;lz)> kD(q_>7}~pֹyPeA#:g j:Gԃ9I !lr%8*a!JK2VNƵIs-yeICN#FLUKٸǚv|Hw,T‡˭cIHᬪ.nN$"M^ͼW`8kPJQLS$zm:*;92rkܦ3>ye+03 DzE9+8}U^-BikJn|.yJ-qWuu֤x4EE힌!s'?L -T"ɱ8G_lT@~u*2/mwpB][}δq6P21*ݭÍxz_(ʗ,J/]^V>)>lǛ=&gۄ)?F<Iv^tޑ̛WH]MH&0>$?LudžExdJhUQv z6Xh>?QV#ݫ.?'^Ꮥs)P]_2># ѺOAm%0;@kc}9 AN63RIs= t.Wzj覇 Rv]D'5 h;_)L-2v"ssnbKA,ufG2#EmkuaYMHK-F9?0]+lry'7up hA36t:Zf]84-QXk,|_BeǗŌBuM(`('[#_Z S;d'OtO*wOdלԃGmqNbX»+ z$zGNPj=,i@ B<(G!2'pAm15?_ kb]Ͷݏ y`| @]J= jo1 3N3.#XpݐSOrOeS\q~A1ݛ}mLJx0NH3hE)i⒳!A=7;g) 12AK;4 %> &Ad䷀6~Qv)r}@l׮ ṄcAVysD" l*ivIOd"X&5"Pv&Tx7CRPڸHEpoN:LC3@˷elIŨtOȥufH|67}`/#76zcz|<Dxiɷ:") %G+3ިXS:;vwVYY_}!0 ɲ,dCWKpB~'D\R\d< E9Lp}ʁSrŶAy,F7/5l_@(8=_IleVHb *)/a@ҠheP&s3WDc$U:<5C]xuiQ":SBf!ІF%\Nf(h( -Te j [`D^]$ka7B22፿ +KYϑ,dF#Oy![;Īnƪ_{x_쫮FCPvL9;4񌫡nۙĩ2=TXȯg P@ӒPTK!b6fJ0d(5T9+>(Sm؟Cj8^`_)O }1\3Kl2n{[vRFx[kDd߷}N?䭲-g]7}:[v ~.0!է2U<=r}֙!X1GA_̓^lL(?ΤF)k٬o9fU5-xŸne|0Ý[ykcXo_>.<yvʨS>5kWͪqH+"ΨW KI%(yWꂧf6^`L?e~^3hۊY# 9MCm*Nm >i8k x~X, ~g3todOc0S7)Zq ,i@۸w'm[+1Kƹ+5̔h0' 2cGIRYO1L&q-D}OޔD? fp[ATh+5R$XVτWhMD}ӟa KWB7c1QkAeO5#C Qt,ibo!&}鬩#ڱ29":"eK2zc5}@^ _^R,!ɊR]{ R|[ZwBҳbݦ(#,3O865ºO`o ?3^[S*D$uݳCeezwXx=r I%td댷 Q!k{;Zm["'朠f}f]/巷CxVv$gv8F6Te`tHl$Pit1QF60C]Ow0'l})Ӝ z.,z7o!PWjwl:pm~qDpe3-4][FVG]'f8R4]hɡYm;yݺqi aZyRk)cKPu F~t%HLF2%""3"v鏻K6i6cQ*An@#[X[#'eÏ7숴g|՞i#7CY,L_Ttv •$J}hkϜz7qog+Aװnl&8}>%oA;u$z$g?-v9_Gn?Z?rh[ˍm $|ĺe#YU|>N!=5џ@Ihf% PƺN )Hʈ)V{Sk±h:;4 >j6@~JVYn,cec_; XD:9y~h2fhƤTĺXxčk1"S0v]aӬCֆ0,#[Q\?b 9 )08WX1Q'} zEV|##rBFyzF]EVf; T˶{Fkp[}I35;ΊMjۣΑOyUQ[gF̨uet+ܹBqzB5{<ͽ 9ka}]t 64磷$ZR~B'[H@3+-8Ý| m$/V(mM蚄[W{c]`Dyʾ?LuDȄdҏD#`$A۵ܕvlWobҹȚ3vAI'-d%JL{jcYOR_-VmCPl:ZFu1n+&NoQL74ćrSj_ 2,|7OTj@p?_Rk"IO$LK쬍E3ȵItJO @ ʾ/\*`0U#8e 0;-EptS4KZVۓyՀG#6aW]@D4LDנNÃGj. lR'c@+%JڙNmoZ6" oHXHC﮼yk;ܫ }f*^l28/R{=jҩqr,۲ r>kD=Nn=JclľK%ULji*ވ1tѬQ+}޴Ddq'"BgWun ꍓ6^ *5툉% NDah&L8GF#=O %m'7+mA)K̐39buҨ0-\W5CՋK&Fgq˯]R |$bScNU4b2P +Ɓ O1µB"o; br%8 ' k:\j;&dچ #И)jF:C0O{t(A@!W/D7mQT^{(K~f ĉ6V^ƾCJHAU{7 y \[] k@:0qV/8|.%tӎh;#Y=^)r9ǃWX^FAӻ,;pG_[zCv&ʐ]؇[60~?)oHp!J ^KbXnR(?$b x(y L"&n CjC7,he/3 $Ʊ8wo+N'<Ò L rZRtBmpr>7MD<W@J߿TuX,Qt>܇}Y`L3dҟ0'-֚l(|%Iʱ¡GLXh.׾C+F}D<v1Y@ J?c]W%Ĝe47Qn zk~Ȭ/\->IY>,:1Mi4xpy%-ԁMD>@4em榫)H}Q^'*g'a]xKc8, G+=aݓV/4`f5͑1&vL8b<4&s!V!aV~Mj@\!C czRM r0P6Yd/L͵4@10U_V|k|l,]ȣUf\3z譙߾oL_S| d]ڔ?z|6ߪ{[K \+G BAm04Dw(Jmu`m=N%Ui7Z)0RE¥bd~-8WO_aiHĨQǜ $X+ '7bnKq;Z;= Ii&61߮ ĵ&"_Mvʃ7J:jwp+rr/fF3vGʕLᮚ `ce@RC0%;T_j#c̳^rRωIOU<JGKZl4A̪XQE NnEb=,]v>*pnTl+KP|^Ct'OS|2tL cTwi`h~t%HY,.ʾǧee>>K| <fN]8,2a9>Sc d0]8xc]ɼ7ZqXXM[s VL&ĸf[ܳp˟;3(%yiD8]Jԥ&_ Mk>FaA[)@7ūY?nzU$jvvQrլ;o3)]l7;v*R`/05P2yWglo ? RfM H64;kҁH_IȮYה(n!tHנ@CH\#WHpA|ocU#sDB,~J69䉋v5_deICvڳ 2DetC*BR K 3Zѐ0EBJ>4MUuUf|d&:c]&(עq>-E{~y&$)Q嬣x;N0#LqxHό3(7YInLH!]j%nFf]̋U) xX;'r\RŪv"Am $S_Bq/,tOCyz\4@H>'"[XfA~ʊ_+3JLqYpE۳#mf|0kߊ=Ha(]g-|9rkTyxΠ]tW;6m.r}^N*@ML9yι=;EʁLu ᆲJ 9EQ;[`25'5)C!n[5*=MFʴ-g O|=XVjR"x,YodYGn+ѓwIl՘]xZ(՛#ķn Mn`g4Cuu nr tI$ȓ Jh8XG˕WXS,.gqSFd*i\0I ǷbTޫʩ9e؋%z u̺fxq bS#-ψ$gzyn)htuUBժ+&%HjCqzxq/;.pTU밯BGbg_&23f u!gٶձ6M9\^9 @x%~2FU Y+M#ChT?܈0MS4NX hܘ6L@V%˜5 {'5@2{V쟦Rq`dX.Ɖ#yq\nʅYvTNWϘ;jb\Y=w} ǻ%5\6ׁ&~5VNMowA3f𣦛gIݿ/_0;m2lSp )桛N!dVph!A] nFdz!u<SYdX7[P SG 7oB=XOup$aߢ>7sL$l)eg&r]MRXG6>Γ6 mU,jwR 1p\mԻ}L&cB1 xd_z 1cK)fOK`L<7gУaS;|tz 赌;H n&FՍw$Ϻ0v ,"c J|Bj'\~ִ  q ?#q|Pzɟџ}Ľ? Gjح6+2:HB.CC =KK4LZ%2dì)p*1c'|xVdȄѢcrD.Zi'wOE> ( sO<9T0L<`u Y3A%ٿ>ח 3H,g6!^ʑm.i 7ѥ;Գ>%0zaP!twh39FX0Oc.0DğKgԩO2ԉح3ez }Hެm*0J/T62PsDQ2"u@85z ?W^?5W$S2TLps<élN=lbj^{-Nq;+8kZZ8S%F|= R^U ?7#(iѫF'3=%gkȑy5~qfStQuqWΗ9#F IsNSu8bޝcT*8##sYhyj01ro+R8eS73@k`?Llv}9X3gFůlG;”#U-=S blmWD@VoǠMتD*nr0`}f\l|4K/ k5ߖF؉ߒkfb 1agc7!,EXG1}oC!\ȫ( n[sPuL>[s/4q $ݟJe2I~Nj0/ /.LӷJ7-?"J G]֗~  . OqS$L.0G)F{T0>*;U\鬜t嘪p-e)TIki0C]3Řإ";b$,՚f#pmf bPmҷCE~Vb62ݶIJ UC _̇ ]FN<'#Yb!)uk0Gt:gcrlRǩ# ]IĐ?bGME.ҺY "\7.d*X'z-zo]$°=KWncA:< ҽ 6 ƪF#?(lrR6T.mʅL/΋n9 L@}X ,sEiM姩j6_LQ[܀Ύ<}Dʥ%Apٲ~zrjsfQL˔3;ff U_>;6Z 4q߲kE.t64r%DDbV5ra8X^VR7E47QJU褱AD W}HbmԐx D{ ܉i~߱SZfELlvz='/7 ,`]@Vp3=FĄDOF]Z`%M 0)t~ WtӏRN6x S7c[&BGiILa+FC)|C}KOd4x{#pDUb:}n*mu-Y2@$ N @_BBYWi;%]3o6Ol,Cx53 l4 CAgȄՐ& ZwdG*g@`4'J+:BWVskp|-x&c@۩`:ZK ;u TxU Џ&C<}ɐPyb=0n쫪yG^|a]Gt },4lҼ?"*;Dz4Mnfe5 'Ag:B聓.? Domr->a@2v P%=)0h V],"1MZaNЃ[jԤ+SPR}o.wT A =GL(Qqg3ʉЃw' kZ(OlF4\=o`Saj'BS=y!h]6YkセyvݓPcEЛ'#)t8PMdn> 1O\ g3 cF4M:hh.|[l|;=hS,խPoMoh9-쒸*۽FOV)wl!:oY-/҂X-ǺG9,|4|Q*1jA#EC梢 1n#r0V B6kYQBPr_!uώ/[*DDM/t62L@MgK g*>=Yn> aǩΆJ:ϑ8)P$%MK庹k lܫC|za襜kXgM oC}ǭQmDJH3M*3nD4J1p$#ZQ#P ڧM` )c _rKilfehN~g g޺j)W]B CG91Ֆ'ɅBOV̾-m1z>Wy4od|P6Mg!oat~y5hGK@$3Jo#eD6AmzwaiDm-nTS3 Yɟܑ{8HK`f]wC,ِ$ ځoᑏZI|fQ>Wf@Գkn،o54/Hen!C~S? g"?(}M̖!"--+I%T]UC V ]uFԈhEnmTșwMc.Vu6drjGNxw58xW!fNuuGXF} iZ_m-&&nMYKodRzN8cgЀ[͑cLF~.~PdgE0G[0#cjj=VbDqpG)v0̹% V ިM iQ;8wfBZO5?i΋ ~Dq9>׭RVѩ>',К{o[/@*ed^%Q9R Efک+jSS#w^<~qZeg ޚYZx[=m];z lOs_y#? '2#3(T> ~eۤΦ oN{k~ 49}$F+-:S+  fc/6v+(`1 Q y| s*^0N3O$|QZ1C{)5Y VN8M^Cjn$[5+c֫'/eW1'qioGQĉ~. lߗZj  |Ү+XફOńXs;EЖ%|vp*+sO1bvw`eTp+h>If5Kp?|oHpBkL\(:#y){^"``.-^ +AWhRJ8:E_(a[Eo:g0Y1e}eCYNAי*Vvb{BމOeHxU%F#{M1Øʜ y3enUγm52ʭyHF/'ӣ鲃"4j=lX]SL0hnP,L>X08 e0!Z@2zwl(Aj,a )J3 g|ZuO~;tիaSÔ"Ud֬\]fʗ+O$ m㦄2a*6veGwz},<8߲j*Ixu$xb{/U/~ʄ65v9J tg = gz7hOnȆ[ vɖhlP/^=bګ.gZZCw )X%xwLe2~4{ʛ3:}oKuWi$3Ӂ`74M su ֹhZzS^{dJ%lCHf"Tv`snZ~mh+kۢ4EI᱑s {,ˣ}A@xD)$5U6{l?@s_3p6Gt$m݀PP?,gX~5ط`9Q2ׯs; (l~ 73b^Z.ewЊs b4[ ermH@ػGx gYZ HH  7S# HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$ Lp 1Ҍ-kŕksG8}+3B a~}B "ކ0;,ysP JcH6S8X9؞v4?8%?y9L*(Yn2# wV[sYr 2#'s wVWa |-(1>] s49K+=8QB\ȐxH6Hi^/\vHÿ+~ps/ }xQڬQMr\Y xdR2"vxc|1=%|*g}/W`S p0¹=N)N 2x0mY)2 qD CD5uj ƤBi(ShڴҎ;Ca,Q~W+AG8v]l7#֮| eYaqͶn@@a. ă_{` w,>}3hyBt}j_riw=Kbyllp\Nt@Y g}YM߾e.uYmDiJ8לs'I\^ WNACQ`/|:]Oܻ7B=⦻Z< }_TCis$@%SI-n+[lo⁆S5yeاl,w?>$n?߫BS6e&R犄=bJnLO~<Ȅ.;,P\l`OAQ) \ST6()(g3?\*Nv Rc46mL5n+XBC{zbd@Oq .B`/]j6I0j ]%CIK\@AO|AJx;H*,/s1(<˷]b~&t\._*} A4>x+9Bqc"ͪJ^Xʊ9h0m63lxۏ79(o}KlI*Ő<?䨎0ݖL՗%l)ebmުmqi|$>v:I'ᒚB$挪'`SŸi[3@gl+׊:a.$a#^V"V),߽ ,CӶFRKrm_RtD}6Q=>O#͖gT6C!{_wBk(i n}!EKMV%It,_x$PoUrqh3UH\Y׭uB$>)BPF9'm]d@aĽ:,gJ7b/NJ]Xa6}K)T$K4Βes9G*/n{Ơ!4V!5N3^RpEc AD9J$㰯-}K ժͫE(|o_/QBn I\-Df`V9i‘a;dqn I'FG|[8)OqSa[XڏGɀ)}DAnxE)smR}-8: iafxOJL<& WOZJJ&Ad6x 2 \0ۻP=Ɠ>kfB-O|uxM`&hi_ m|v?ծM XJ]iVh ?kSZEn(@*)0m77z'\!i>}QgX7}4dAF˸_y A( ^rQ )ѤſEUVUwPݾ$^PDHyS͇y8{ =a|{3F(8T8`}zV< [' Xڨ(O)$v.{F'Q}B3ӟh8)@}:a7E~8),*s~*L=jV ۬;LCdTϲ}$íY ewLN00Vi~H *ʕcDW溫ӕ_wGycZ-# LrZS-wYl#d;H5MBn srly!㫇`S*% ׼ɛjXF-uL,b9giLs:;tM(ȗJ,HDG(̄L|f^iufϻEu+TphtbSukΛCTNP?ʎ"SI3;[u 2@г_}8t/>̴UQƾL0NFI6 z{n*|8c'WP5wax\NTwi؅f:Q N2_&ҮB㯦.Ub@wQ {f}:rٓO;:S9^XjgaFe)"Z[VTizC3"+ifڽ Ƥ<<_n2GxV~6Z|r7Um%mm`8("Zm _vShlZ Y?HwБCӬ3ҍs[FHCPRT;.]|HM+LԈY4~a %8j'IY5%G윭3x5CJA~ZF|^!*`Dҟ{]e’n]OO"(Br8䌢Vn}:In*C|ӑLjeɹssg{ m_F%2*},li߸oU!+c4zу_:dunq)rI7X8DdpLTdcӞr|`XG6H $tM,p T/HTإ*Ks]Wp>yp Z_<\/hZ{ wcf`UH˧2$]u˨B㽔NםL_ۇ h _cBzgB;Aq~2Sn|\\Gf'ւ~M(aNCzDޚu4^XRS10ˣFV !% o :+g ISmFW٘ 0w ꉙ,E6)DZ<ˣ&Aqjv4a-Q[N} 5"}|^'2H%.\ drYlD~K?AYm V  4shv1t`sVMml臞QL"M[67F3.-gYZ DM'D7a!vHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files~~/src/HOL/Quotient_Examples/Lifting_Code_Dt_Test.thyY7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id678#7M'>HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messageswriteln_messageserial=10614778line=52offset=1253end_offset=1264file=~~/src/HOL/Quotient_Examples/Lift_DList.thyid=670See theory_exportsname=HOL-Quotient_Examples.Lift_DList/codeid=670theory exports07M# \HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/markup7zXZִF! ~ %]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5u+G4 {C %3,]],Qz.4i(! &K6Ҙg TKPq#xLCP$d_qǫ<񥼽E)M>roɐ=gv#]sd@Rq؈TѤEa-$iRS[En +(XQgb0>="lg?Jv˚ͮ奴J .$ |qq57K8T2Ve:Y^vaQ>jU ͶΓ񳯿,Pl=ߦ&JKs~fmLT&0&c R=>X0qRηk q/ bVi.NЛG3TF8/ǔWjtQi7~ge;b?jeHR= |WQfxN^Uj{i<}/2tN"we3"(_BBը)*VZo6(`4pSTe{+EԽ就+=W|vĮmӀi]b:%8my#%opf 7$6RT UoY.5c*{1jd5sf$*$a*RvC'zʨ[A=h+rB1\q"ajQk7+u#-]nߟ2!;^]^?ŢEъwT GcUb. XBbBqb= y ]ߵa&BĖ7oSP?F1!Mܱ8.G9gS݌o,MPtph+0hh25FKw!V7-cr<WD@>.UoNŝ(b:+T~0]׼5`]K{^ +5.T}->w ]!I |CSem!|F" 0͵uZgHL %)"Iϼ 5عH'Ûh ۴t&nu'LJ{٫x3\8_l65\G9͚#%g+,*ֺ)V fq ِ_p,U"Pb)eS G1#=?yH|LtLšhsЂ@E,|e|C,kyPknM<=-e>f#X2e[r9E7쨾})XD'-e+{4AJk\,:Fj8{96v 2C!wa' pC\R}u=$APjIBb{RA9t/Ǚu<(`ib$n qHYK@ 2n$"NPǢwقT8u*iw`jeh!Ǫf@eb,ܴ$vBoF[m]/#lż"]x[ jY mN\x*}j 4Z_eGUS"ۯHwލ5h`A$Vy(ILp1>Q n>Zͩi "~<tэȻu#]@0e_#aȩѢO2%wgH,yDAahęQ):*9? p̸H|WdㅫNC  wѧyR8KNO/c{$RJ@ap`&,Bt'i'g7t1)"B\dͧ%$Ŵ52'=_N`s認S*Yt*ǒ/ɺI}ͯyO6B1'{H}u!U '_$.ʄj \ 'AT)9s`=4&eS"9H cN1 PzYa^jACnUӼ1g&{/wH]axJEYk,xHƑTi\DNFͤ૳n%WpcrRrk假W~.$6 ;Iw0<2B V. `-S44G} nJx +WYXq"ڜ7 "v&mws'i4}AV5GluGۯkYz*Z7yJ>MsS;'DvT=bG/϶ WBnѿĘminp߲/IٚT,h=ܣ M=^%Ä́˿V"__$< =Y8jf]H_tP>敌<6-yyOӰGFh_hV8*PJ9wU:w3]x?Fl޺UQoyϰ^8(3[1օt Bn8Y=ۃ( r6CQC7<0UWgX-Ʋ24F6q^'bYZ4MV%쥺ChAFۺZ$(y a l4xgrg~iahE%o{v,b(W?TU@gYZ/BK'/K m_~`| b1QP߿-0*ʖC#\PBov4vz":*>D`{k3Uv9#(0Nx*cZF p@x [l'ILڷ%n,spu?\Qp-COD̕FaQ Ѻ(_ u /}@,,WE/б"YRѸKS"y6o?9i /((_,HMvx/ĀBݐheP}8wPۯ :X# `_,qh7H[!ٶ",]#;0*H)I‹G6%bD~qWdz9XtEŹ/﹑ARXXǸ? 'wO13-&PmXp&M#JyHhJ3YrjJѠ披3 + 9ʁ3xۈӄmln_m*G$x+uswaG _]^v;˓|ǓnI `'V>bm7*K({:*'q^*,'zt&)=y a(Zty-_쾼Q@Ú!o>4-YMݾv?SUJm[ЯQ豪P->A&Y-7dQMRaS`Ei)ܸ*#Yf m݄$ PU>VRW0':ǟJ|z7-2<؎$QyzȪ9B!EEMڧ7FQ!0 ܗH8`cɍKE 0+~%(i|dpE5E4ԃ!`' +"4b*2]jo`hù@C? tt_aZpx)Pw1G8w jKʋ2qߌNCHO4)O]V!`tOvWV@gL)mOv"C.RY`maK EiVmH`7%)w]Bq>jt-iԭHMI?St722:c{KyAU7VZY ᘺpm}ڇeea ;"C,-*aAM2. {XPfj&Tcc8t4sxiw%u Q69+;v^[ɾ%A`pҍ:QRJ*~JC .$ƤJKH_;f}a*ٿ!U=I;ynmpAu,kA(mA&zI7% tH[u*C4 'J^+߂HOk9@ֻFox zVJ21ypNz0@V; 8?p,V^Zί9;İ k6T2>G7B0߼^C#֟H慻[&ckIS,3N$kf|YҪ*]ԵPk{;HsJ kG&yFx[A,W(h\' >=ɑ;/l^sBBS<]hx6{]{l&D ?Eqȫ{,˝\\̕wLU1U+8?*f|:9T+=ԑBQE.QjW']_g #-kMbMPv?AkG?i)TA҅a>?Nq+#u/GMFM"8unj X.߿ WvS5rs㾬ا݊f.$ٔ`?RYM -k 8HGMG G|_9 -'Š㏢5~ٚIzRQ& w(eJ;7T cPT5}Ny%:4?JRbJkihA_Edegw}r\\*X iGh_f/b%[hvagZl#R1O>cĀrmxU0dJO/ =}q׌$(!jH󘇫~4k} 8qnf&T-O(ۑ  w@F"s SDoQ?vHr똁 F#^|P/  -C,q|s:v0,{񧿎" KrLF`pHy@SSݥ!7ث2]ti4hѴtUĆɓ rlwx^p7P&/eKr<'6G`";@dX-/˿EDh,T8@虽kFSL넮 Qk#W<&pmŒׂŎ.O{[|$N ~q[&͂TS=CvsƔ_.f Fu.X<4}e`/0Yڨ{sz[}&ﬗ/wf5=fYx A''{kPs|aVLu6eq!ʳm mFk | ÓF}NKSri-$ ^g03jpM2i=S1Ԉy,胂a/׮p\X\ӧEAQ5e|[RD:3]JnyUȆ&OF_J K<٦%Y&p!*_6@Z 1|`C,a,qݵ YM%`k}No&\|ZN?qNl/VB^VtU(rNhl-JWȣm6^K>\_ > wEK4eD0}%ןoƠLn: @tLFu…V17qi-A&D q(x¥7K.BR] |-qM]I9<_(A?:R:/}9劖PE9jPEN!v\5&LX{'YY_- 0\V¿ BaT v/:8Gy{``JM͞^]@wՑ-oUt hJ:h6-|8ؤIԳs'?t5kCq@~+g`՚Q's" ŗ ʭDފʎ?.kfRyأOL!¦ efN]3[3ٖDx~h{)תpl PB$۵.%l< Ȼʉȿ;5Q\nH/gLBX$8"-+3V-#<8M%QЬeQ\[ѩ1Xs:{?=p^[nL: A'KgYZ CC27a# LHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup7zXZִF! gc]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5t_٧ mĵUK=n^u@sKQ% +:OHMď曤/Ld0eu `J:) 10>NH67|˸: Лz~!BsՌ<4rcMzkh=Wt yit(Q:k'lSva><2GE[D]}fA]n ߉b,0ؠp,u Z#*kD&Ȝ]'M.X > 0“B%*T2N'ր6yJwbޑA7u=}+Ԍ&:A *+2^|>Wן <|R'm^f̞Mh' XMn3#_Hެ~poG\V %%ZÛבon̮c&I`n~ J.֘HJl-ɵpteT{XQZl`eZ'Ήs: XTϘ:2y`EVߕAiRH:A$w\ ҬC RBFOh^ym9OU'hwHnOTŅM0GWt9'r KAjT^պXޙ?vR FD9߾btohNn:ݴ*4S( NTiSq2zR,a _sS结:OKz"tI&""6PVYD H4H zA+3W5#Cy,݂:dUkL 0mhО]e6M"D? W~bG#uf7QC aWLz+ъ|<)u`nxCnuER9?Kszh0w?a&g!B E{nne˅N?NhC,o5]Skf&z&@ɻdOC~_7tLiZY=:ӥ1!*w- Hft\YS+KB 1}/#f6"'9 ,b a!}be*GM}n}}O| 7-Ȗf oo Zg807d_ƦLH,Ft^:O6/K5Z>蘧u vZJ)y sE8.nq7rm7~?Eu:͋?Ia)&u滯{R"'eVPA-3XM0l(٧H/Dfύ|BYZ"rܒ&cB; ~Z$XC6r(,nn ^tR-rIUd4ZKmXv#SBkdiI!Ж'7lg^-N0e0b^M0+>1T|(M bYNZ">)3MKin; v2m샿yAԯ/ \qbshe\"t I+PVGDܸY-%Q}͟k cDv^Q}(v2)6n$]|SgXL%$*ny߿mph ފ IS a$Im{ R32Z'Qrwp1gU4,k:wEXLˌNX*lzW %o<=JH^Z8@3u'\.`$P-ǹHPl }8[sTX 4C̅4D<9E>(M`:c2C |t薘sޖyiiq+J'na ٸ#Rb>w]sZv)&mT&[B>&(ٗ[#hp"V+e::-ھ~v.2nkkFrmY(ix!cHv9RL˵ BWJ9Jxr<0<^]ʹ(q 5Iъ9gkM[Y2u$B&4"`ķ2y͂}\c l_..Ģ m/ a-ТJ7@h|R#^'_kuj\*7s͑c֠3k3v椧 ų'S['B́a)GsYiS9g I]1 P EEv|ۘVyȭy'}<"Hy-."M[~Tv{GN4M2؉N奸ݪ SԤ^gӞ> q`+MgYZK 7Q# HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markup7zXZִF! {J ]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$e[Tջ3=|A;ɳoc7\aAp3>~2Kǚ49AW뒍N3/=dy%{wU5DgaB;G6Qv!j_W'kI?fqr0܋f]xXڔ8i:Ѥd>u7Q!fHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/files~~/src/HOL/Quotient_Examples/Quotient_Rat.thyQ7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_id682$7a' ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages7zXZִF! ]D?7 {?:fH\gS H}O¬WIks_6C `棕Ro$*ўܮ1π$DsSsH'2ũ[ԃ*nkptTsFo2?m, RX[B<:a)k6.UuuA)0&0 xYغ8#oS$E[H K*4>/$C H #Fꄼtuxw iF@[yO!ɚ1aNPʡ`AKlD^X_yd3jAQ5}``vN yk]v1`tTCDs@x{x{km1+Xyy) #6oL&KZ<7 ;~gnf ^J.J L :a49Sh\ "\-DD>wYeE. s!:+\_eAwR9O9tV[lO) `F 9ǂxh)YJV'bs:_6ya|UQw(@>|xa%׊Uw7BOGrtVL0YrOT3@/ pgF8ԛ=J0r_ uyia9 KgYP=r)itгg-^gYZ?Uu#o(T?7[+mv$ӡsӗO 3s bbmr_x+s錯Қ™(ARӦЋ\i%6G$ѯӀ=TT|:s+և"yz Q 2WbꡁoHym NQrml^0ͧ ȼux|ALs+`LmqRQrWFWR$zk[;5^@Z/*T5Tg4CDQbAŀpRONiz\'ԟi/`qE%loz u"s%pC+)UFU))CnM'.yeС DOa1t%v79"yT(g Xj+Њƫh. lWPSS[=68qvTVy" ǀgp9䩘PjFddVP7XbP1,8zQyOC XJq:ma{׶L/{ bJn?;hB? t;:skӪ,>&L*t;>F&6|ܒW'~|]5G;;|,V9*m*+lmP"lb@{w;=qҷ{\W`H7D{]9ok&ɉcZB`V˖\]x 6*FLe:|ҥ7BS$r =PUd{D{| XT4kIĿ O}pE\'G?2^YQo ߽ϟlG3J2n T9OOи%zv꽇nl€LH W5]se.#Lt$\pQxw~=SPrPʰ%3XVIBS f ;J(pc6i:HG +7ÈsBDقۄc͟FpѡZ U^aȎg{fh*̂wel :b?`ݰf;'$nJI<ԭ" ,4r ~Q>#8I#vѦ|"~f@d[:<ESvqY 9 ٙ[ݏQ0[G\tw=tu-D=O抙Ϝ~식E7[4Ҟ&-L= YEdGa?1;ÊnzjpP)Fu&@sYL[~ -*$fpy|BL>1i0ݘpq(c!{q[ZF@$lx' b yCzQnS]n4紒q14+FقNu[hl0\iֵx~(8sqZ &䣉;vwBYm&тt0KuCܯeIǩf% 5c}0-Ye99/˛w@꒒m2FseT^GT]g-V$r:9xߛԡߔ32P2U \9g> fxgp˺$+ Ҏ_= |.ST*K2緫$8jX YAAh9PwƟTZēP,짖˖^fSW-Pw2Ng͆-BG>}p%;AoQ n_Kw,"떛2ή@6Ҍz9TE%,wB J7\[rJImtuzH>zi]gt6_N;ľTxF]5 2gVdžq 4ƃbk*/d?,V%B-1?ZSfJrhGэ-(iP@#9zbTOOUC-3P E)j,4X }Cs CE6RׅO2ݦQ&G6C{ UOsZ8#NO]E}\R.9#n~N0^sjf]oW ȧ0+b_w`U!c-,POh\Rt֥2l{7X˜ ߑ?|v/^粲oŗ2ު(v-Bncu:x$4w<1;0vqaȃҋ3Yx͞}HCk &HRDϷ=7ș&Z\ċC"E} fxA7>[{ߦCId`VYlr9­`.1N#n\}B^gއP4bvH$ K߯gU#6_߹E +K3A .^)=&S@32躭:~K=wPY4rQzl,c V@Gs>dĢ T]==}%*V9iH`087kHOt j$"Vrp)G-O D'"(a>76$tŖ- ,96:9 T0Xz'k[:(H{ᅶ(A ]_Kf[n!= ߶M ébH}Tqt ;|Ӣ_q8mn?>yյZ4䫇2PB4 :@QVS$'[!O{^ΑƉ}JaBE6UH Y)`y[KʚPO@w1 A%dCEg(sI,3~-njhN^fm'QyƣTz lj3wK>0/rv#Ruwt*[By򽈠7 }-E8sSeأb+>%l2Q>gqJ`Z;eB$ÅSxr6k/%(sj:2r2ѿ]"hf'M!QsÚȩ~X| @0҈3Iؽ95GQi;9h]Z6pYvSm myBTWf;:¬|]aڢ3]kkpBǍg!B2dVzWEag°F?J8 嵭D/% rA͘Ɓ1߁0aмtqe3AXkmZܚ5Z^oK9XK 9:[.MXT'fb@2` }?yU1-4їdH;t3Feuz5Bm4;$)8:XRG |ǩ<+MQf<N+*jbҟEYfN}PQ@0?&^C5λ + ȒcUyT2Î%pmtm-0#{zzG$aV^>F8S ]X\8kV+FG "g3fxeoXZ}np)2a JYw#k =,ؾ9R$2}ȳDE15$*æEd @| lɝ0o_mXO#ɘB4,99v"E2[v)RHpKM VD~kzmS7)njluu ]t%4v=ةV 9$wU/olj TY mt 8 9Rs8`T#n_LF3k3~yBy0)P)t_.աoJM&n$Yʋ Ifb+F: jQXbkmr98ec'87glKEoqfCg5䜈h Ne+CvW&Nb]`RR/%Sr{e[4DR i @@6v2;kU+qp֑'1mY]B*WɊK4%x=5**xL7xm^p Ã]D6a4cYdP֫ Rk+K^VL_*6 :8:qݧc]~/n,*vr8x̹Ub2$PjT[O}['^~P,#Qzgŧ*?C!K씷`jְ6~MpOi+E^FZ{uMpoc0h3&9=]LSR:j#kֿRuIzyMeVM/E7RLzHZGm~'wer#TqWjRv} ž.S( x|Q5@oBog9RQҶʊIK6 N@v6svFZ2 wRZV"_3w$ϋӵ!9bdG$ZZSzFi&Nz2r{}=.Ĥ^5Og^A+[޲x ɉ l%gՓLV™ h&Tڒ2Ne*/odfq0=*,6aBw!(+.(wĞ4<8+hE"?ߠ%m%p#a1}F^Q{#Cq OzOI,Bg"͆Bv@U#b"fذeJZb[݂ϋ"δXeŽf)IF~!W-Ѧ= -놹0WGt܍6WH 2/Y'o?vVx#;/'/~(0QiDV+@tan6Ez3m^4;R-- @q}l[Br}QZr0U̧C C-JRVNY)am. SpxPicĐt%J6ś;P\GQ ~tTHK QDHI]_A7z#v<<qU|1aM#VjiU -ec:O1P|k>gI]q^,<<ɓD?֓ik+ ܢzkK42!1?9~R | ZQ}]f2)'&x8h9W\QXW@tYwit<\*8tT)X@K1TS9|~"& |$ǛqA a'7AcX}EE@$scisLESq$\:-dW~]{N٢rfx#EV R">'D1/TA XafgYZAIn^R)> S *OCɀ>hxUkk;^NgöF5J34ǖ`L!ae}\*}34&0h@6]q+%ۊ Us-Ca~z{sp>o34A [X~1^dAQ\ՄwN"X`5#z[k{ihg+ԡE{ ( oxF"z@9>.[D1n. ?'l;z2aM 6S\9XX-[fVCٱn.Zt>czRB1/őr ^/F?LKP&d^W]7ZO/ Ǭ$YMmml;(YX=aA7 zS^L,ҾNY_(/#̓yItcv-I ~L788"C Jô~oγ6YEUnGCV(qW1|=OMĤ#1,_x)zrPR~@7;ܭeq:Mv~ Sv?MB@ z9aRitj4-eT4Ksw${/oyțvزq;0)J!Bր`O;鲏bnr4D bڸhV`HpS€e4yȫ|#SHnwSĉڢI>C8X)A+,Cэk^VVu|*͖Z[MqIΫ|SF]y׭I]cA76)]5 wwM̤,JőaxG{d mA.ZRiAL*#Ǡmq. Hte׎Mi v!sP&[`RmUicH]l^Iކj{)SvIfat~v7םJB"^g"ťU Ғ]%'2I~YtWӍa"dll]"@&(<,arxH#)e=w+뉌1B_t/3G '/qJBٻH4@D:GR N/AFMuWakig ΄r`H}YcG+汆DZ<\x5xVFCh9Ӄ?rfC_{1i=g҃+@pl?8dynp.rh-Xi_RN3S&@k:>M4 'rTS&/Kc1v='N:6}ZuBOSʶ[#^!*R~itir 9[TP)$7ۋq$R!@Ӣ+u5YPj}x% UĴVb}C(pjt:$T”CNopF60䙀gh紾\2OA B,,!@=q=:/UyUoV}bd%A6,3N GA-N%L-aTBQ]O|?agTjN;ɕ4r^͡v1-,_ašoXEezYL w_4([m8"!XS7_DO3R!Ű 32_;oS( %MQgxΫ[\톗*i)^7L~ C9ax}Bx#q>¬ljB>~òBѾ/hTV6( d>~p6] ,#ϧCh.O(ֵ-ppKX0tlƒLǰo>Tn+=PE=BI y v4nu&O2LIq(2w b. јt?O0+-6Upvf0 ^<*N*0DZ0 5aNx5: K1, 9E-)C,ٯPs#O9ѕv0Jm#K[;bdw=P55.L0 eW_xѾ[7˗uӸGiu/ G&!r`;qk3w;X|tYfgy|d |{Y3ѭ7?м`&Lwn>Ώz^:b `,?X-8\*#IAvB4)) Q/SUrIQc7Mby0K.j,.*I2OϠd9 b+McĉLA;F B - ߷+"{plEx2q$AO<1P-v준:G4'9zձG=pGH-o drM0^r1Xẏ;?( ?@6ΟIdIrCQH~Y'U8^ Ӡ"܎C gPҟmҶfu\ugbAr,4h-qJi 79eTG5.੨0|oާU7ЍW ,Wئݔ5J@ A1F/ q*@/0 @d rcf۸CD!.@d {]t_Dj/9ez~X1":Í(ɝ?u8#vO R.?NH: uB1!:Aib5W |1tЖ<``43ށ+~OXnXl#:Kz`S 6TC fUrjaݯTY繁U% ` v{j"'UjT6Jtv4G c 7 VE=CjYOg,iL%h:Ēf;$AST BLY⥉⛻@A0IG;Uec 60c. /)$>}]4[NcHCY*e'=@jemNt7$o:6OUPxziCe e| 6/Vy9 K%Sm6neGљۮ/SƶF>0qZ?W&0 [^s81Ԇz.l3qG<5i*_y'm@=h,LcN\`/CϛyE? DHǥܔoȭ3ݪIp*(tS=[q5? t!4eG[4zЙe읯I𬪆/jvۿ K5MS݆<1d0Գ`0XG,=D-~ݲ7r])"N߽e+@G&͑QDQ(P6W H ̥N7<'\qn Eu˴00"8nwuXM&s5cۙE?GV-dDkvN`&Nb0x0q6{E} ?rM<3RmuA*ZZZXYjΣh)A2] ߆!L򫎈&drc7H@|bep{EZ)F5Wu!kť*`3t%[ )l[`r28~ޗ/Pq!7O%inJd+G5#u$[y(5vvX[ߑ^- t乆SA98"<ڐig@޸^D'f7n#":Ω@|X.-v+my6%`p 9Wr6qDb#w 8ދ7ML6׋}U=/Q{7:<˼e41AZ0kPX͠2Bs"lW46㤤h.+.x!>7-&'Pgk,v]DXy@Q.1i:a"|j񭂥 W,|Έ~, &[9.VZhC 6'7=֠>(K!(%XAnK1<T7/kC.u < 3E<y9jH*W|TJϸq;C3g2!2neeWWP* 1RE51f4o1 *)Iv[MBIRW:5dh>`F#gQ̇ nm*{D|l&P}`ƗK_x|pWxħ Znӳяm@\2mJ{UVF=XeN,BD:NYaUGDڅ C<$Υ PooXzRN1$k9Ss‰v|O+*B .iUC5s"9# 0&fkLM[X[jCŘjuq=G )4'%ߦܠ1/M<+w؟BNkFvVeܭ׌-7n>OW].ļlkNÏ3Dᧅzfx= udbӜhFf"cN<[zDcq=uY]`;;0'4e=F__:B@Jp0f]{Cf8bYkާ0:l ^`ק- .Q_ ê=N)sO\l7&1_kg~dyh8) u ,nԁX1T-5fi.7NuFwRk ۥ=;YY[OZN:٠Ҥ%]I>]gnԍ3# }^0v@5跨료,6ORKXWz-֙ drݴ,% 5gɠ"{ςN z1$\Sȼ${k|Q$zzYNH|?-HJ,jWg4:6av;2i|3ݺl <5EsK;0Vm3N{W)3#Lע%f(7F3 R{MUh+4M|Ukjh|S6b.ni!pSY_7D3n+gΩ{&l?lK=o AyNEZuSq'L17Rsm~>SH0*͆G5ZU}@Z[P 4DՄ|tdn6^aqnd {O@V/yfr_V>,ڏ2Jt|p-Dޣ&S;D] n1 c>"jem7_*qWaJN“2FoJtO3?eJ[~2ua |\+WTR̲! dS! 1Hosd?!L/)x),Zh5"Q6m#WS55`O僻rL`t7L+] /d>FIIDzkR}<^5(Ò[ z\\ mu.ijIf}A1]{zߠOc^>зHBؾ;p>nJQ?=${j]o#zLuo͊r*<P[`zجd2RWٚ˼@^N(9:Lu;!Ibf8crd?G$4pr)2^,EFtm`zSΰ?rpKi/|-L6MT- ןpHw a)<#W~4u"to'`w3"5r@q1~c:\o/֡ž%Pz:% PK3*FqhвgYZ   e k$7G!\HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/files~~/src/HOL/Quotient_Examples/Int_Pow.thyL#7G-HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/document_id668 "7K' HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messages7zXZִF! ]·Iq n[:|&[zQɼEy:E8ke9R]wl=6<+: J m7T<]J98j49NqeR]6RzxhŒm0^GLFGjByڝۛn^0 ]*j쫗V k>`Q&]W'R<E `Hfv!8J  yTs; Ǿ`]KsvP ڮE>H$bZ"`3!',;Yon=*2E+gq'ġO~c 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؅!nP_6,!1Md,XzorU}*٠{զ M5 j3F$}k^8푻\⨉!P ejo` uWܝ4j?U :Np2!>6YBg 5ąYF8&'kEn@1Z2l"]қWci1 p]~-CM,m 8]z0fP~IiKN8tj뚮x[,^ג^ @ hMfOt/@7V9cDˬ N~Kl)@kPggL»蠹29,(`(\#`mmbi@ή'?7x^'AÙP/.(J9؂U=L`qúJYxV o< g6ܠ)FV|c4 TIvOz :-%?œoH"ބ[Fca`{3[6Mjڼ|+I D$&K8^ S= 7|clY,s^[v9򹘔[gg &n,۳}uJz[i4Enjx!W8 "4gV8Nu&םYAU;!\GBfM!8OOU~ֿu}h$ MpEHU |RzM!2%B*@d XVwmq_@s+k&faR[ l>rH1B(CP3(%ధ+_jõŝ7ƧVKT=*֡ PlGL5OV 5z%oOe*,|LmK(} ?:wYKNW5Gz=93WXW-Ccщb+aqlX&|CS3AI7G2PO~@ʂOiͷKl85uحB (2U5n_Zq+#m?'~t. I@XrI6vjgi^hxZtm^- !dlWhgOvZu}Zϻvd`kG }t x.e3Ζ `OMy8Q Q#~pk)2毆z 2/ϾJ?nJ)RpGVUߛr(U/lBF&d=Ui (/60\Ͱ6Cc?v"B^S5tQS=˵΍#ԡOhyʷA'"ԪRts) i8Vqtم%ӱe@iO edOو&=t.Ə<k)㸀[oQ<%y()6g0%*LN] F~D?6앐iC@EpJp&=;R<1e1'̶ /Hqx$2leC6 wn2 ?@SpXrܶL=ȼ(>9$ėy0:_qv +hJjҒϜ_!J}-V;xJ:4bd*Dd9Nr ЗT(?3+̤߱! )}4s ,?^i'2ڌ=?:AwDU?UPiM03Y-~.N)UWs:Hf͍pAް{.|si}*PWV9ɸj>MO X_%6WBY /_tFEM- kJe©( /\-#T^@SYTsv8uJWRzovI ?iA8{n/ Qe 4獬ү$K}F %r3oᨕVU]\田MC '6.B51g\V\LHCΥOsYC{hԮrte[uP['cZɼ;1k+o'׭tOLc4+/WGl ƪ!$SpAϐyϞfZf!@,H:KJX`xhփ{& p]!1A@7adf(z+9'j"fbXg߽s{ܫJD⯺ I\8r`Oz[W mK?e8=S62[ny})M3ꦨpʠEc,jId!8jLY_)gjHah!(膶b$I/|u}sX-2"##1S#?aD>\lA%?[h"1kzFg*ve&•ƺj|:zt}ON_&wnGF ^8m>gYZ 'x~'U'7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id680w&7G' lHOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messages7zXZִF! ro]D?7 {?:fH\$g E飦w:2*%%!mnJr9a;rX;p^C 9yׯp&Vf:lƈu#ts9HO.|WB S̻5`r {]fu OscXLLwW ExHa{dnQi; MoS^fO|_+>5;;WlPj#Q3^-&Di[4>}:jr#lBRsR9OjӗU4{qDDG: ΅2 5$o3dtD\*>W#@!!QMz/ә5cX[bRL)K&'\~2W t)2;V%GBHȻMjq'Ϲ $oIܯnۗʡ^-UBć j A*mZtm\}s$E\5%xE&]TZHcp4w"$rllZs%@v"bz<т2%7gYZ}%7G# |HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;Wa14C:M"ǟs}BLI̬mNq/R[D% @S<*g"01mMָ:4uB[&%hӯE=&A%$uP.0OƲ#8mry1Zd KQO<җ>,.t \u;iA]K-P(ǭ2#u8Q\JȆVOs@w[j'2~5!O6w-hk#ڄ`/A <\حPᆰLa9Ħ{:#ea}=P]ff7q۟XG})@ܵiU.H| \u -]r0'zkbmUЈ5qMX Gh&ovnU\ |fsvr+Iv1y TJB?`e?D-# q4ء?ΐc *@3Zĵ}A :raG\xZs 5jI.!d'QT<\< ¼'5as=[_NcUbZ8>LȧVO#WYzs #u D*~lU5Nf f905dhdTj+f ųѫʙT'gCKZIIapG3yPHA{joa7 yFu^m~/g?$&1]D1\'4:lђ8cy _XpspA{r3Lìd }V&/C)UdwŷdM=8^CdN2wRɛ12 #jzuL=ß,ldAxhu+ w7U|{' \rwS`|nYӯmF~9s*o>hEU[sɘ APW"|}U`,EX*-C/-*G۵oc-fUMu] A}O2kY^X y*Cwpч?käm}^IdE2|lN3#i鴼yWdQvX4?אrҒ̈́&:]Sz>j"#hޡ+ÅjIwQ7:͆\7n+fe/C@ ώXG8^4: vI-T`tQ =OO ͘tk MǒEQ_Rڙz;'sk{qPg"@SCdjk#wz1]WqPxmx߄5M G7*8{>Zr r(y5fz$S@d[<1o3"b$R,iKYLsqp졽xA{ ]^s7B jUO;u _L1+] YFzPX9+2]ƣb%e3 ƹc,I QYlOTf<@Ue?\ݢߒ)j"kmp'!Dnd$P6TT8y}5sQ&bT=jT+=Hz"鈚hja&e^B3"hUע4LP]d3ڰA8% κJWދ 5#/@>> A8x146w]|NSnO&0bio o4|@ ƅ䤇E_H(]vieQ C{TkƲ$[5G mO"ϠY.. nz&?S7 5BnÆEZT5س4ގ @B۹6j9$G]7hY7X`Ŗ@^``R~J_7"Wv<(m7v"[]m*}M[qŌH)P6 V2!3qv2VEi"<ĪC6 ٝclUYfh QTt*,LمV ڣ*e$P(:*Xxb߈_Gxf{(vK8ͳ/5 lYf$dJde --r,qЕP+w8}'fVR͙`/瀖颚E,*n8JVү3|*]E5ee?T^\7V҆3qk{3G*i%@ g^1[;a:X%h=L|q*&Qyҍ_2[ \[?i&C5v'n}N[vjO2*e dMBhGXPB}A.Ʒ-eF⭢>}92l[0 e}'r"C>Kza$!wI4I fs}Rۗn`2eZ>ڵvm"^ܥ2j~#GvɱA7i44ЉC7llpJplQX(iqFܖz1zΪhzР@(rԎR%KtS8˸-ue? !m}fgxk*!2=k?E!y*z"4CWHzVg5} s9\lQ _EeY.CoiW#vSgt#Maֈ8re!Y:$R`prҟWoJQqlᵀڤ z%F84n€K+wG0Ȕn|@.20qlyI?Lg/j.umbAGM3ONs]& g uSK'x0P#Ym &UaOF֞&WU@ҸE#W Ġ<go*n+IXIӁ,REhcx#_$J&eM]qtZ;ňk@46zj 3GxD~ ;2yi%> ࿑ۀacQ^>ϺzL :qؿF eg̱gYZK) 7Y# HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup7zXZִF! G)<]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$8#NyikxY~& ew206{H;m H.j9*˕Pō妍+GP` U"IThltvU0xQffgʪC ǪzhQ^>`;kJpڊ?քc÷ M&e{eیp]ۋ)DZ`y=a̔}bǓBh_9/{`xUǤjIf :Q>p o 4݈Qrgw 5fQA@?XYs :UO`~gķa^fƞlRWjxhIcI7%V a5d 4]F O=mJcQ<@]uE<=[CcQv뵫c^v lAI,%ums&I 8|i%P e7LoG-F&>-^LM6E#ҟ$l)&e~>P~ib*ǹ'2g[%#&Z(b$=ĂuBsoEUU|[B:8ij*64Qjώ bYAgWʄ2x[Zn+/J,^ >~zYGZ3|wcY3v;xuanXֿ";6^(<yEr^[F}(7Y!nHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/files~~/src/HOL/Quotient_Examples/Quotient_Message.thyG, h>iiUDr`f&'hU _OA<x q㘎mm=} ݆;=aWhW2ZNRZz΅ l2oT}%>yʩu> A"DI)8_T-)i}0*0f/A0&,١HQ].jF"5d;Ab *qC\?\8*lOr<_Δb3)5%4mv^a:Kiu8]Q:8ЕIct_k#e][o `pNOv20En.qP#ҩ$g*tRHZcH wߏd-{.)="9N[?ceVh 0T-x\!=CU)BhljUwѫrk#r-_lkQؠ]k`P}~Zqlwciɢ&Gb[H/+U $'Ǝ*٩<؈t3Pm-3~M!Zu}E'B_^ͯNd\i^_z ,Gp3.<rƘ\p"kۧ`T)Pŭԕ7+dkD|8orB\y:wF+4燇2Z_G~cG]ِZC= bJe鈴`'aɶ]yhe\ێy>E(3 %\:ivng ^E7p]ig/, FSKp0-(:ѻQl-5T:D&Ѫ5jT26X- ։c0VC`bl3PIO p赘YsJHUp`M^4' Vb ^ݟD@>뢚y5qS]// TNQtfD&i0P?gź!xMc6&Ѫϗ~R뀋]< 3L =QD^5x0c$CFSɹoCߌP3ѡj}[H*5KրD5~x>/NWKKɣ,1lQVuf@,PX "0!J )n#jr1Se%#fUU&Ls;F`zVK|XU:6^pkUϥCL m}Q8{eg #h$fYaV#vS0;;aSކĹtۀUB8AץLAL,?*?mu|'pd@Ϧ%8ⴂ_;\* X e%A4Zb6VB45(,Xm1H0aؙPkԁlq~^je>7A~oP]KPYIslDKz;qIgG’%3+/O0Ye'6wV~ʍʚB p*+3DfN$y> ;¡Be {IZ P/ ۑ}sKɴXvn I:K@H7HԸX#hxZg>"5zO AdLl wLi2/2eZOd\{~0c;ZlQ̺JEG3q(r'-m1ݐ#`+gJ {Ÿ`M6|Mͬ]KCPNu39(CvѨq>C&X6ʭqİv+ V=·ۃ¢V .pto31v2\yh3CB|7yKcЉY3OY,+^ 4BA uM:*^pe ؀k!D ͮy! T٣}yG;7lHʥn 7\ٵJw,X&/`PFhsrmJa 0'Ӵ1m%,ɍ7n؋_ wnxSa޴&jNHWdڐ`-|_DLONZb_VkB(97i)]7%팫dТ`$9jCHf} (W.C5 9J@y5Wl:3O.lg0DuthlHAg.ʤ#ȐI_@lP!'T}1 t =%c0)zۮӵX7%DȽ!Vcc)gS~93|ˌ!.4HDv[ɻpؘ/j\>7\2?ØԘ>{ $l^u81$p|?WH$L`7j{3Ȗ~&Z@Y!ZNU[ ֹ%n/}Bw{ bӮK͍kTך9, Mf _3eH6&@j8؉f-OC M7r:A2pY ;1tDUuB\FZeaH$%ʻ] VAb$sϢ.S!YX7F5gT#R@ъM\4tV0m[-IA;>U .vʥ>\E?δ]c rvz2 _='w!- Q.y(vfb`^djgd9%XI9 ?Jثdʳa@Dxq0sXS w=df )X.8i8ߩY[=AG:Q aGkG9 S7M%FFmt! 5amoUwz_Ӭoj(SP"od/E*P:OenLx]G`%P14jcFn ģ ୿%G|l+?hvZ䁎-cV()BD4秶ݽSǐ{n^YJV䰽Md1VĊwr>f OKk1KSlPjH~J5D#D5kYVsgcE-6YGd9;@嬲$[xA%7ef*~UZ'ܔC.E8"`pXD?C1wk,G)mNzL9\ڂ'c2,SJIb2甀6NH|t,6~Ph0^vM˶e5RՇNU|gS ou򢥮8!EXp=ނ[2)HsA,M9Ì|T5o) 86WVD}Qp,F+%9tD(e<,g͜[Lf* t&r̔d#ʢ pԓ0{9Թ]X/L X,#TwHszY865 bE̖sZ4)2Pg.m.Ĉ~|˜;+ "ζC)b\cxeK}A~rQ 7O5\@z|?J-ijȅm-qS.Hb8&" B l"x%#P`͙-/hɭӐY(>,BK CPR"OM;7\TQ^~rkw-9u 9Z+Axi'ӖS0 LV;u_japHW½.SBNN mM[Lwl٢r!YtMDԦ.3Q%ǃ ]ufn}ywt9:H؃ۚDܵӽ hEpфS˓Jy ]>!%RТBi=|PA4w4'rpӀtC @΍V6?Zk ~D'}E|;ZTNV:a3ԄyHJ>ݺPWXWi +_[lO˚]7%=^})gXY&;5nTZ hdkjA(uϟĿXn|0FFLJc%0X(KhcV,T+i*z4:K`YחdItp&a\öw^<O9XAb6)׿Hy@ ZIҊaDIc7;ăv cPldmŻ 4Ay &/ ߇y^-zY[_`EH2M۸+!,SCG/ݪȔ(mj br= v "x19 êB2pxTVd:o{Uc-l;XV+0% &6GwVA΁:~U!+# ^`]p`߆X2F36Tʊ#@Xy,>!{7gpt'M-q,?M8yNE F<.rcX ]cDץDoH$@Xdk_rU=V =ȈZG^)ƒh,3^=*bTj!bIEtwdŒfڜɑot*_5\.PŠ `60穸r9)osQx u4`l4W>|θo #X)>9ϡ-KC,#=`џp: E{Qd3T$ߙ&z~?%4)p*ջ fFo` QOmלaWeIѹ@-(>g<eZSDюbSi>-]h3L@EqA*T#OX|&jJz?Kֶ ސ(գyѰ-(A'窶r_].sjN_t=+ỷjc_O*V^ ~16w E|W@/GyO;/Ļ -:~5"Y6E{tȀ38;dDeU7%+;NArqPBT 3,PH^w"GZI@WNt> jkIٰצa">kCi-ȦP$K|NF1-bU-t>_d-t5b1->OU=Ȳ =TƛEZ |0/ΓR )pWuR/'ŀ 8P6/ knqĐ~=PvT{-ɱ").yDcD-ǓgB7h1Y*u\dmXSTG,(_ul89l[RDa/n:\0LtXU!r Cg۩f!<|x::~ʂ`_E32<f$ YϑgX^[d~!L-`JbujR+iɺS%_GnA$V sx &'e ~s(̔DP`4yШ.D1`T;ɈSB^(TA&1_1=IT cF+ϸI=pw4 3XZx5s F0L]}O~qQWXM-5ٗIu\ ֍Ԗϓ~ 5 UZ#D ; {8STڻD-F[-@GMW*G?KH+]4БBt}KpME+)6 ;SŚ)|RWh`+(S}& E yωGET7nTUmx|@Q =):f6ܗ>?=Ji+ۿRW ptUr2cZa30? #]A山S;#wEW|PlWl7x#G"._ЇRHEؠxÅZ'(FGO-Y4k\+B6p˾Ou+vz7JO`sz".bY(e!ܬig#$#N&t-:favwYP4V.[5@X0YGR `gYZ  6 - 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|4KL0lKm<iXkIo;rĻICf b\pc7d&*(Aj,W?4r;55 3 y7t{/RN(Ϗ9_\ @* yݒƪzP[ A( fʲF{k(jESc\5YQmK6zl)x@ v#K 7`WyhieeUl 1T 2l-+:vU@0$㸁ĈݕY/=>}%g<qzohhҰ/)*C3Y409a*v,U1]A_M%W:#rsP ;.|^иB|Lߛ`T!R*yy` О[ԡ9Q-?OsDCu#Zd:s9x|Fo _AT3֒ӜRc#(T;}4!dYODl3!ưG ~ eADoSg& ` 8m䲛Wojm1 F4hF~6j86|\ {[FDO$r t˳2/rҟ5.js%a@+uB#E{o Eq2xZ%Ӹ<}s#'N:D-B=5)e#ؕ(8;:v^tSͺQ%/TB7QvZ@ UjmԮ4&s=z b.[.ƆQy^YV5alڭ 8 : i$lNʅP 4chbAD't ;mn1RN'3P]^I iNFUshYd^Ɣ, Vl  ɋ[9MG Kq]*[8d]95AGH ~Z*34uG̩uӅ|u{@h>(=VuDF cueD`` iɖJ9>%o*^?Dsj:YA*Y3r&5O:c&C>!AGh5 z~+ ܁ةW(z6amlPnulDi|9ۙMnګWbpo=eN1>f}tY8x #y}AWwЁ9ނ"jSݛ~XWIRq+ ̪LCc k {d+ 9[sZ_l&]BGH}09s@$U>δNYpBO7~Xv`u=BJˌL*b-Hߐl:tlئ&`1 #ihk_jEh׭+"YFJ ctϟ*<:yVYU%8 H{;apN]QABn3R$l2D4 c8nm!u%E@5S*2iуpu^% E'4:;ZPy7b|8}AE2 mH#$=@_?Wq/Kްc6Sf{ ӵFu9Z wS|zP~DDڅH|K䥃meLizJž1epKw3g`KXwaPP{BK{kT!֛="QD*bvMia AWffThŞRm'r9akZ+1iɕ͂ p :n3nޖDx3) $vKSOە 2y83 *X:+!ʼn`$tJ-3 6mVLNl 2y}uK7Pf8mI* ˗4}wb3hl/?V[(h}C~}Q||-:~3"ܸ;@k/8.6UBCeڊ,wހaEvnہBW~5Y7;0ܛYݱ]1* |$n,3Ocd} XLg_ЎMt]Nƭ |Q~i[6t)sDH?b?^N bJ[rc!TV*<r\tAG<_9 -fx؛5 ^7lԹ$vVc2\rj گ-pŕVs^2']R؞&)ǶLGć=;;犮'b0WJ]%cP e3NrKvn.t w{`;tsFj4łդtus["_I`ta'ᢻWqǦX9Q !Ɗ6BPrBFyw8gnX&}?Y_%ߤU7}-#wi`]*k@Bm_x-NڪWs ]eo [;GPA:,Hw:|4"81JnoCyWdp7~`W?΀k@d'k3 B%UͦDy3Yռn9]`'½" ᣄo|I+QbE.ZUM̒fKѶQa?}TK 7fZ)S$ Ӥde1Ch >O @YЀ doIMʕHN]IbfL~ 074 G\ݹ7AuumE|SA0; )"W_)V,( lr?(fCf湡0KmsΟGco1w,4r:1^Iτ> Yu[Ci+AZJX;7C 2D C{+q2W/ћғ\d.HU@+ԼXn.6Iʠ|j2)1c:/YbS1,X21S%ycK=NC<\8^h3 *)[0ݹZ.],{5MpC(U7p Q! -<'*<)5]R{ vZp*ݵg噴}l*0|gYb$:J'-cyPbcbz3Tx;J>t︦d1c>GuH}5&m7N=5\O.e6j׭HYQv(I^cpTk=Z2l;)W*; 36e$~c&nZ>39O$Xo|w귩V.Ig`2s@rh.r`/$BBhY~%2q翎#Ԡ ctWHnti7Dtj *#=$gH(PpΈ<#@ta)Uz8Vʙc,ZxAq]v5$4;N5*;d %*%q;U/<{`vFoLj\aP7f΃]4y1n3%A~j z5;˔x=4g t+ FKUT=!:><<^(Q( KLCmV58L-jlתoNI+M;L ȶN>D`?_^&tj!Wĸlņ~eTaO.vjIdi_TPD\할>J-hC5x"={;L7N|B|\'kQ5ǢS!m.ڳTKb}|K3ºb&tsj{{Sxy6+sY1:lX |~n$bCE<=q{xV:8R}mQ ewi$JZJ&'oY8.zR_MJNO5spǤҸ+{F&^~[kS?6I;i>iúPÑޡ ެ< C$=~g Y>Wy_ yfڷ7X _oWxi5,%dV;>+N *Lȅ?Ep ,p?7h]]k!pFb*?{ `D4Rde6<_ii҃m$W la [2"ҘE'0۳ LI7byxA5if8>>IF B|WQdXӎJ TeBGJ`kyjo3P;md* Lj01[?6 u&nO|Y\*)ѭn8K SO$/s H>447s|]\P^X1ǫ鸓[Љ+f#r\LZ-=cВ~|Y>& JS5w AF]1 ߊ`x[uv]ٶgg]Bgra{ `xё!to6@!>d&Af$n\^3XIB@)ֱr} iA۫mjY#iP椩fx兂lά o4chFuoF<Ɯ65@WVuW _΀Pj !;a@Hw91"'7Z?*}s{n"k%Escgvˊ)坎C:V1da>Z@x+}٣B5b=~pӰme4󜏓Hc0 7rTzJ~MdÄ"Hݳ|E_2 H]c-a|=ڀw|[s|h=(KrIaM݊: 8K$.8,h/hJxR B >UK֦nրe0nFp@Femie;:G%a.RJ#d^'Ie{T:O'v3ԚqR-j,Z3[+XH8Bzv~_6),O]1Y씄!,`"OCuA /vLxvqr)Y:j;p~1;k2*A/VlI2p|qegPN5#a-hsQ%Q,iCˆx5eH:ԥԅ]?1T1gb>mdRx\,r|-O^HAx끡fp%$:o89[O򙭅4 g0A&Oki"BIݥx$Ќ)I4Ay z?*]8|U""aa6En564s3$kb'LA[5\"~4uA7 w )6s 7_tmNt!PKS P]&r^Fsa~'=gf-a'Vxkd\ =9gHh~"ﲾZD~dmB y/Ds:w1 ť-9G;- G>h' ]*qh^Q:]HBchcA-0 CkzYD &V{F~0 g`4>Lvi6tW _:M#a#K;oyt /AtWY$!+M.u~MJIM6!mb7F+(qM3Z^ B_wd |[*إ`+t!n7k1.pn]nxOp.: .w~ rKJ㋌ftRF0I7 0ze0}*s/Joł߳In6իuStNzNd#f&0@$D`KWo5Oi,I&\Xr.f0ΡN6(.IΐV `]J%4Δqa<M ,L!8\֘zf}Al8aq[_Duxn0<9+yWŕ0+c^n@wcOOq8^ķHW!5n9LA R 1 {KI+& / IRU7mQ{X 5pM` WyvxspA S-,zJi6?DWteAxU~s䆬Pyg~%LGAsK^#w>p|7腜rQ2}V]O)2_9H_uQt@0T?)'G4!xvv`nEe>i LEjRM+* f+BdLЪ2Ļi>C\flnY8'T;Jކ ЍO\A. 2qQ_`uv^8OFvsKKa@$~m܇v8fS &%W;Wy2KU3p[.OsOanSJp&[ MynV oV]u!DJQ8x&"ٗ|zڥm2֋.聤ʮ8Z5OvE^'kɜ;fJ ӝUX7[mFTހ_Kf3䛘oP -w~A*EҼ^s_9\֫%75|!Zou%ʥQgWsU| Ϡ '/:w6p|嬉+5 o<ݨv.3:Pvx(EjO휅MO!+Rmy΄Jos"su41N]WU, V|7@{5jVt/⩷pM}HKۃv#ݔz#/DUp=LJ r+'c5}QJswz '>)L'c XMfosXGhOm#sjds#PB=gFxh0P,։ԥW+0SGf Cmz 'mJ1+>f,EMWC;&nɣU'd_j,<$epM*L"fO̮٦pd+thrm>{%X0ҹtpD ^(z9ľ'I߆ULmG0xA*d LNTٺ #(\)l]-&s1.Mwh(98ptZ࿪n#OC̱CU*O*?}"$W.ϩZ D6Tł0\Xϋ7Z.mfhn{VmbYUmhhBa8%>˓WNIvQeQc^dB -;a\r4mٹP0 -]8_-YHRP)i0)5M'k[$3i5*jh b֡'jNSRu'= 7_$r-i/iN &9'/efy x`KU j;ϛڑrZ%p-X_>f`;vla;b?hNHiO9AGh53v򉬈H 1% uX\yshAe~=&g\}CLcPWyq+F*7@)f^WH8.43FIS]\ٽ]RM(6%=(g9#Dj͞xJV F8 s^PI١ + H$wʤ4JBZBk0J h7+!/[HugYZ m07I!^HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files~~/src/HOL/Quotient_Examples/Lift_Set.thyM/7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id676 .7Q' 4HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messages7zXZִF! ]·Iq n[:|&[z7ߓg5b\ ?lNXHM}c/ Vn]'Զ:٦h"Ɛcja.&GL]]/`MwrJiQ@˧]Fs'ZMi_4<É3'~A¹Rt$duP,xɟqCY_M ΢YIT&CêX´ڠ4 Zq`,3ɜ]T 7B,kipkWCVCQr#Hr.#F*m<0k%Jὰ<:-;yJ`hzI/Yi(C4/RX'86r|dj#|UTESow& I;GC(r*u{+duUUءFp+tid eL0G++*aT&W3hNYi)`#̄<nO;l4 e%wpL._*{7ٶ&Lfbh8#?)?rl±Eu w$a#Ŷilvfisx"^RCU^ON۴D0',^/[Hm? o) Ϡo$Vyُ3  c0TNT572,xJN #`& ~U]!s ^m52j{EOy=_-YV9/ܿG,7'!9%x(lj=Cܷ #MYO=f]S҉[,ݲ#!1EJW7:B:N0*7e$5B4|GaAKa;]l3ɡƣAQf?fpaCz4e*I0 w3 bgk~&kFƣm^ZxUO8i>#O$2Ƌ49 F[i~A]ܴLK7Lf.(C_LXH}]/ ,T(S;P&ns^[?╿ooվ  1tEaAX=^c\r+=b"bfvE"GvH|57؜T 6s̜i'ƍ]ff ,Áĭ} @J 9,ͪb]'Q,Ci:02f4*Η&M gW:֨}BVx/K_F#jx?r'NU t8{,@MXey(o":$6|yDPq۠|x;5зr ZbPMv濹DgoKuՃ?ݬ$\6(vВLsQ\%. zǙ׳*`t8/*>8k*כj8{͙ŞWb6xֽ ~=^ B2AFͰTBH[[iUd_`Hf҅ץW{2-\/TwOĂ=Wr h* ieO aF0! ՚o2"}dq]׮h;m:ݨRHW~cbZ4:+cEGWSV}fS"Sϧ$b],9As~++P;A^.M5= DBs<"MB䯲( %Ti6XF/]`z Ε0sS8MF_O-u*m#-pqBUjJ/4`w߬O5mbV 9emeo8A7h _w("vƙ%칦6faEi^Hjn+ѯwILT3/]|pG 1dB[kP\N%qF2`sU0;9]%0POKD4۠;grP9rsvaWN'Ŷ!θkqqB@n=O59QwΛ Q?M *3e$ݜ%@0bJɹ_\ѻd=Ĥӗ  G滭DwG]\i6WU@X*)N2BQ6UE}Pރ%\&p<}]5O[ ;vִ(=C'Yvhfl;QiDSUrO5f:[wjAVW=5Km`뷢)CCEgB^]W\5 Ɯ'Xu~j%"hc5""0Svd.!o֩{u50Vbu:>a BS^rEhSt ZW dD…xϦ]hUCaC Bmͫ8bҩ['NGetNRclQHmPH>}g6ӖV12Oju^_6 ij.1|[;Qhv)'6͗ʒF'eUZ[ x]D{(vW]k.JÕ߯>ł&mdtfov'm:FoV8 U _;gq%;;[vTQln`wԽEkWŊx>f@aZyE8H ]aN w׻*|9FIac.J/yʉ [!E| |1K/GRy`rYVD`W<ݗ5] mLp6 V w>* % ?fJ`DͲZN؉=X$_^ g7}}gΞVbNS|a xCQJa8|:׆E"GƧ %-4?xt]H^ro#a]@~trG44c<Lb@txa7sB f=ZVu6v@H5/yeyzҗ弃,P#k]Rim_J(}=4p/}n!;əξAHLB s,P|`Qr8(X?K41D2sʁi0{hɁ|[:^\FxePߗvpGR\u hP x%l4Ia&[V&k,0t5-;)XvԺ`*|WA?l~ȣuk2&kx]4P#u_cRY$\aGGԅĕW]0;̃]X7^D.P م$hOF Ȏ\9iWOonep658R?IKATr`}0Ҕ,5X+b\b4s 0uloVj)p fʊ͌bʺ?8GaLqduF1" AI 7^QwL OUҬ#nCo5F7JhwSM7\;)rS,i{GF%ySFϧ$uh `V:f̸-ɝ0ggjTYJ0PbQuvAS+:^X$8۲1|­&ڜRޝZ| {ufXnJ( ~Rp_;"`\u\2C!/:BZk{AB,ھ@8J~ $Hkޓǹ8ķ,qETI*ʀ/sX9|$cڂ/M5o&?t> kqi()YcDQ t!aCyYX?X`x@er'zu$~ Qm@XWu@Ϙ$9X`0DD)44^T.c>P|pgYZ lI/{1$E<Ȣ}^K j I "<~RIގuQdHߒo;ON4m1cOZ2wp+2lR:_P/m䅫7~A͓_#}WڍK:᲏~\ CFW'ߣ,""k㯪fۧEήj(~@vl)8L~%J5)C]zQ@ǗȨaR`An@ w ">8Ƌv9koB!5,d2HR'œJ刉 c|ty"QX/ǔ(5>atWv[&"^GKcӆTB;sh6)xq(sz ӻ׃:_!cKÅl%;6;-D4~#fMly*NEtvw\i'coa)uP]@E>G=J_hQ +H (n̒dox6B9C;讁}.>*`y͏\aOd{:03,ךpu J_ndZȓTnb9Dy˱+Qq4eD&SB|%3j&Yi =C3jTB#Q͡ga^GOW, ?2ҟSkAҭ.cL<AhL:)"P C@l@;{D%a\ iNӐIf5'X_RZEs$H]A tAZ*}u>_snRtw5nrM="0-"GlI, %Q{EA-@(Qq$,8{X7%5.!/"Q#ʫ·Ii(:nKYO @h{ guEtS+-&=pĭ4IkO Nlq1:Q=FJ~0[C3@<;i-t#ß y+T=(Vޕ;> 'ؖj iu6R|ظE9Jkvez9_@DX$vRhe b2hdb1RgwF@Q&&iʢ7f((NmnXp,X0Y+ 4Zb5T2״)L2X͕C ,f|6KSLx ;(c~6WqK?#kXGĆFThYstc ɶ.0Yh/.a®BmcJR! x!A hpwax=:NlQ85 B%(L6U]'4"geo s<=vp~sCEp3)RבBɸ-PxE_ y;O^c?%Ҿ I }i-jͳUKK\!hh2l93T FBQxa)/\,ʮTBphY`ݾgO%A i@̖i"/πKґey =v2!Vtގ9[0q\2#yM(zYt5#gzab%19%6rA4E,TB;V7k@&, ܣrT ܨ@nu׾8Pq3"yE 4$WN\٠n$/,1EdYTk r[1 r)9>l|L A$ gj4&Y"WXu@T!-UVI"\6%%K \G0͟M$α .a<ɿy5 xAn];w)V,VQd~/i=\b5 T]0LA^k6繆yB[=&9է<{md{sEQ{x,xY\X+gjbKbaH nvVoUoEUmӊ|hNJU^5vv#bDW]>oH-Nuk[+%s}6)b-PjArlt>JQO~`Uժ.Eo&A؂VIА۵\+Q'eHRī-=7Tiqe{˻6_}/ogf߷6jGAڳVpu;2~g D~pʒfg9/lg$^C!+7JܖR o*v?n"5h,xs&[g+Ks0j1 )}V/hBȤ6z[m׈8*K#Hd$*6.^.=g3{ "lb48\-O߱[,r[YwjӭGzUAUp}p._+V4 E Ey?n& 5G j,Wɞbm;#OΐӋ??`% U栨s?,7y?GLA6V|Kd~l`C:O Rql<[Q#ۄ]=$MxV'<=. V1 +]NU-:J yz";g!esy]t놠eHfGh'?uS o"VZb[8lΪ$8t^gp~-HI,̋(6=W.S@_ଗ.YB"yN &EJ;X ~+=r^_1 eQ7#n$Rw$t'W$8L 1e\:U >+u_g rȀᐲ"0\HE5>pon >8`9GtQzkX*x;;y9?٦ E3֠FuN^Q#N@W=CO}S}:B#Wi$,Y홱w2D{BB$  rZbG07XHꩊԻ,s8Cn"(7u&PY^*>_EImO//+4}K-k+Rm0zʐѦ ̊*hr>lj dWqT Vd[%8l%H) Lx,F1g0VoqLppڔo4@KHL[aZ?ޙyif4B)ZA AW#Jֽ].ՠ'LH[_6Fhs.BcPP kB}^p=fMMyToT_Pj/&3D=l2*0nգԗ!Hޜ!L2Ca#ab&:?SJeh~r*TO6د`HMӦ*Ķ&Wd,K'܏3t1KCI=PQSK3WL|;KbQ% WClPN[K\~|U $ྭgԡ7F!8Hۥ285a;֢MQʅhN ݴm7S#r+F*^:Ng6yh^HȌ}oD ed^Pmrפ,7wB Oά@f?sjetfW310OLc~'B'דƙ]Y+^S*zO ΅?dhP髼'SwF ^m~Ku}+ݐD |am`SØ|+ߊ% ʇ]\1@={'{OGHϜŵz|435xsRǙ~j?m1j#[xͧ0'q|1\ܡL: q:Y%;"\8}IV25#|sAJPf C i=$esSB{uCb,:7 N^KEEy"zP7ܥU6"_ Libvڇb&?w65@sd0:2P(û%ge~PCy/vJ[+ztGp=wt{5|K~:۾$l-S 3O-",)R%=g2+U#Y8! @ "nkOuosvǧߪG`>J+פ_Gﲌ 'j1oď^4|)%Rwkټp,4 [fJ%{N$gMR4Rp"Njymuh:0R J\BS(\bIk{Yͩ07hOpk>k&zX~~-w>&j׵8<?SrUEO3͸޻ fB3GSmQ‘}Ty6'߫7e"}⭯<yh޿.YĚ9 l- _bb QMLWoFyRw>]UBR蕬8j!*i3P@m+#oUMqhGjD3d7-k@iF}|Za1&@cf=j# v[Tp&s*-s-"1%T@0P1k UwtQvB)Y]-2ttr'7676 ~!$u_PM  n-B z 4  Zq t4 ,N ~, \  Nt,^ @ {0 D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markup5C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/files4I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_id3F7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages2D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup1C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files0I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id/0'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messages.H7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markup-G7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/files,M7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.QuC7C'HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messages:A7C#HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup9@7C!HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/files8F7C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_id7F7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messages6E7G'HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messages&C7G#HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/markup%B7G!HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/files$H7G-HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/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 t'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messagesH7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markupG7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/filesM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_id J'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messagesP7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markupO7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/filesU7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/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_idNf'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messagesI7S#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markupH7S!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/filesN7S-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/document_idK7Q)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/latexN)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/latex N)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/latex H)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/latex G7I)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/latex H7K)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/latex I7M)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/latexF7G)HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/latexM)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/latexD7C)HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/latexL)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/latexD7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setcode/set.MLF7K%HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.MLG7M' HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListcode/dlist.ML qZ b 4 Q  q  7 Q qK7Q)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/latexJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messagesH7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markupG7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/filesM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_idO7Y)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/latex N7Y'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messages*L7Y#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup)K7Y!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/files(Q7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id'K7Q)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/latexJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messages.H7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markup-G7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/files,M7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_id+L7S)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/latexK7S'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messagesI7S#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markupH7S!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/filesN7S-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/document_idS7a)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/latex R7a'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messagesP7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markupO7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/filesU7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id y E y9 7C# HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup7zXZִF! $E)]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;U+x+I9( 7x4uvԠѬɽ˹g""#ԑ bˮky WM6x Wu[է oՅXC`]jiQXէa|?y}K0z:zqƪKU8= HސR 1GOAL_=e#x_kԏHl2K狠^rfXmqy o`uѵbT*t\zrrM·!}-_Nt)BE0{VW*T\F_Ѓe4*~ؔ cjK%à1UZ5BwMa?YZD g9A_xꯉ[.Qsx%!>s-hW~31To™7]"(N^-= S1CΥ:p"LRkc.Ej4#eL&J\>¥_Xu+|Wk dY-B#~xԃ9%mw_ ϰX}ti_A7jy<"}nFgz\Yfar^r`VHTs:¡6d%Hz^|WC}ҵq d34x ɒ1@.q%)e49i +l!zLXT{++?[oC¹2Q:Eq|)dPisGpI^ÍRv.AMhdU Wz(eɣ F -;3".uE̞C}vGk FY~tew[!C0t@"e_ V" (IQhN]В7p.p\F#WڣDOOChnk^ ڢ#-`jZ;XڢqKV[``L! *p}b:o;{[`z`dɢ@L'0@ݭB6#c[ M\ с;`;J7a*+FTbP-Pu<=i xm=F_'e\*/iţ({[mJVEG?n ٝ$ǞCMR$1·6-ߑ]ܖM:hHbl9HIQik6#|2 6'oPlVf) \1%Fs2Gu1ƦE:^|ckCUWsm{JFtVIJFe )q5wRjAc(vƗ WK .;NGx|>Mw;u3(dX39m0's {sv9iq?^DtC+:pfnl+zۍug ~0DcdG\*6\AR5)>׃J7(F AS ad$pJ`C=Ӳ kRީzUbDPU(:,'2iKkP}lb{}M\ظ eˮ!Ҩ #7=+w|,42(16"p_\kjx6I*^}nvYʎW[$X}] G@B\6,ݏW*00 z;>ZFj4NsTH0 ыs mu#y}!hN77EGn =\19 CMTN{ %/$e}a7cU 4Ԯȕ<H50_Ym`&/AE@,`)H0fOH,d2c1c-t6$s ]&z9_h2 gR硔ob/IΞA!EyE(`ٻZ>XLYrGxnTdJ(pF/(塱gYZS1)*Z6GrٱD ujJV&e\4<1Q4@JUOd|[ӭș ڽ3檪8zZ?ǘ%hN<.4Qxղ&AgqżiOC$3_?%K| f|RK *O xwMQVvNld ߼Vy> PTo/ãaQ&Q8!Hm{!w䮅Q[`ʔB3&pWjPʌOQ]O1@En 8{M3d] /&y?8RGj/%"œ$T=soDdʖ TI*+rϚ@z/~ҁcڢ3ܒo :ߟèYtoe᰾ 6n8Ӛn'gϒ=op'*-bC&Z\ׄTS`8&wJs<`M6No+p_ 1H>tRkűp ڭh} o:%0ʊ|̍UA6T qOǞT(R0~l7M.S`xIeK0}%"ӖaK>)]uy@7\k=~8Y@Wr ϝM.<95/Kʍr~(ų]v\0ϠT%qI>Q0Oh ȁx8ԁ@1ٴwziv3@\ $:'||Vxۖ\aV`)0f ( e!}˧"PEQ_O8OQ4>H .JQHkc/LӲ/d SըEHYn0 SbH^Y>l})nXVƒJ!@HUPwT>IN$P4˻_7I=" "ʄ[೘;6gywXq5z d ȋT]\ZQIn{)؊=W WSuY:[U`f%`_\P,8(46xպv?po7{^b ~˿G_2V-j:|3SxS0ȍ|nv9o&蝶gKlZfc;C.hzS Pxg@+Lu[LOCa+@5FS^i@9Dzpb;pN_x>皱@N{_w4 ȕgʻBJ֪ Ht Krر<4њ8cj@dJJx,@o<]q&n,} !+KAg7R_C2 e{U,Z WwׁґĬa&х9 "Œ'=){G)//sfKBE،U{n V7Bo^w䜊k0{gh FVoghK]Y2P ~0Y~ųS jyrB}O!}ϕ3C`f̌(:Ä"&꯮ƺѵj&.7Ko9|B'Ax]?4!%k(._^4׷v|6E=atjP6dps{}EAgJS2b̚yܷ/!z 9(`sfDѰ'h`Ip!>"tӒmJPu)$]]WWKayߑqNǬa t ȭdm~;I麚dwpi-,@]Վ'5+r(vP)IA\9lt\ކޯO#bj. vH0 U)"؍}KF E+Ta<>FϪ&l~[헁;Mi"{KSRam4VN`e8WN#dv!CɓU~E0&jyCQqbY2Ib>Z(a tUQb uO2d .m2˂7g) kBU)x~Z &ϰ3Ӳ<5+%MD;="ߧ34J҈%x M#8QA [,B2eTm+͚Kw`^|峞nռӜjGnCr=ImXa:)4LyeӺ:xӮ 'Dw|1 T fbXZ(N3iV:t$g kfj@g'GIHۓ΋h"X{ ߡI@x6 7L 7©hm/xZX@hK/z==Pξ ZB}9uG/Z{s]m z &%V;shiPlõ{@yr{IrɅw\JPc5++.دtaۡ7sAx.V*dQm#&erq~髓?j EGhZ2 .0 ,)Z` <<[يu1h}^;7˧16{<+tTsXu|!*W\DZ['Nr "dz{ή5 {;%!VfK׶j^c-x.bnTkVo֥cG[HSD:EAw)?B{w_OU"2ݞbbIBR-YF$׀t|K;Y'l>f`)5~`~Hv:xT$Ï)|{|ͩ`10PD{\i8qepC0f]sD5[I4E\,F]9CFUQ[yG5]7t co#JY3A{cf2&х\dFPUN(WO6,6sWٙY^q:OקZG wˀp r;tW['ͤ|kmt|2!9DU*NkY!exx%j]w>*wcV@sH$j)ujbdP\ .>}L>,{jRX5;y=q֠eh0Ut!mgr0X)'Y:DHdPoR*c -*̢4?5 S[qYܔW@ Ð:vz+:dfC`{ao^W$*y+'WP#{bp;j"Al]GL ߨ k^ŵDt͒b1(n@D?X3e IcAl#Cɖtk_*^c axw9J|a]f&9f-Xm@BX1RphXu-)*^=;>`SS<:G>0Mp689n-b/fUOJY^8" `6nfɱ PtIk#-AR ]|" fWtX56Pb)L{2,&˃b&O0!sd*$blrƭ GNo,oY*#aRr5V Ҍ[?e]\ r8uLYj\&@ ur87—3.U*H*&58+BE.o\VZiT2@XKviX~Ock~9 /giV09-H*0]s)_vC%^4pp"c#cQHwȒR" `+dx)*?o  Hb~8Fb0H.;OgqJ#SQ2z1uOհM`n&vt&ZX `t iĊ+#3JIy$MGV}5-h! 3ɾ=Au)7S c8e~9I5OŅ0̉Iiʊ{k3njIo$_ |)Zk@8 p^ZrdGcS@L'F\nyч&l+ o.^I^4*":dwVۈJ_68!  B,-ncM* x(z_CfL]V7`'еD͟?a*̿o6)ZFzcNi!'\1X )Ѿ_D IWưq .P.*5 Ձ3O T!]9Zu-ܭt:fE ֏33ʉi֗_EBDy=&AVF?=Q)crt M*rOځYA_)tX6dzO+US\%g:2g5u*?e1=N܂&Rj/+R6@V-o7^7 @EP,?Jl(́>*?R_W@`;MpiFiPVqdz6brwL^%*)}`Pc1f;@(*7>Q=ݪ_O x}<Ū!3xDV$ق9<ԙaTC* =z=}y/9ruC(,p]v+De1 МM吂n6'}x ݎ)g1pz[g Gy0k"B_}?Ցk\QAjLx53T%0ԡK5LkZc@+T-@Jb_L Ujk8ӯie|T$?}-3u㾈={ʭYo}bVlSPZ'T=/D`ܓԿ}`.vb"6O(~0> s?AW8Y-=֡mZr@ z7< ^7|~0 Y60n2lB\Gjʕ`qKs^'1tJi\RAEF*P/i+C@(ŗ QPU0jhA;&VÚV^;]t*T90rߢc%<=Hygr5;QW`xi/KT,i n֫B_3KzB+@`6h) ȧꫪ5Ȱ"u'TO|PD0|EErP}Z46Gp{[T~&]{MDu?8Ʀ*Il(#$-z*/^[Cez>I5v}Wj~ y˼(O$11@ |,O,`躶fdOhI߰:9?}zBh;.]M-!88CT^F"ml'N_"ɎĥAbwvlMGR&LzdLF ݘ/"g[<{׻"ʷ;I//6oS| bcB*hE#5>j#[Pc:=JV@C_HRpv24Z/X#Go0grVB_K,8wZx3ռSnHrI=NmfY(`f`uq4Ma3e4U32"n :f:'30J!JL \?_2`A6F^ۏ\ a;Cl>A2ŨuB= >-.gtR)EMB[a+8ُ1}툭r0`VĒKބO1#?0ҿ|Iܠo},ҘVAK-#_gЇ՗(अ,*V* 4Z!WJn;zx{34hI5 !"fZY !J0 "::1ofy7Bgo;jM*ab3޴%h<ʚ/Y#q8,Ǖ,S/X-42Վ{J W2[}` %yˑ=Ԙ,SWGb40pǩz\IO'@.G=U+*(W-\N Q[pxsߧ|c6U?JJӊNNG mVG.Q%zYU^8<'Hf~mDΧY=fR j(RYR P@C򷲽Tg,ixW|lDjSS{gYZ  :7C' ,HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b{F(G;]W4td4 n G?wͳj+C^%xYcA~Gwo^%FMHM6%ٚf53м ڻB>`~o$ _GpZ/L;1#k z{mޕS4 ̊12:Q5ie97i B!a6<<9c@j]BaF{+gGG]ܛ7W_K,{F$ }v^gYZ