SQLite format 3@ U.;  B --?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 II(?v,d ]]Nested_Multisets_Ordinals:threads=4elapsed=51.902cpu=183.068gc=7.0167zXZִF! _L ]ŗXiɟW;g``ϐG6ڶq?x*`خ!̋1ޛUL%4ƈ  )1t5e)DxĎkctY֝rϘ:ZrCʳ9D,߭,u}x_93(Gb=`T7VZS>* >=jh;EëNgA@H5X2莵S-BՆ d"'ؐ= x{tNaeƟN5FsAs3S:l"ʗװ@EyUA"Kk^ئt밺rn4nxP?t퉷`}W?jnbAgJfj[~oA$U31 c3_껁<'f5B+_P\|VJgE2IX&4l]+ޱ>l!20d^ Ni}S C6(++ BT )P0%/{8Utf()qS`_n偞 OVm* ]RF醢Xcug0e՛Sw@"fI{ q}j- my3$uS4l*zns+& `Rs tɁ i .. lÇAԔ?|%t;~(߃$276$SXdw d c}L ɹ㧉 lVNoʷ6W>"tjߑ喚YZY~PٲjR0(3}J="6Eu~߉}2+b$6%[t+w<׳LmVn,ïB>Heys: 4AwNsqHBż .A5Beu|pzd p`|Fae1Q_{)BvD?<ξ<[<ƽ"m*|]7o?ہ#Fx麸9q&zF[V>YV% k ԋV0lpy>eLK17^.?cX~$j^[vN ˨C"jg@h0p k$."yuZgس?l͒dUIeZ(0X]\w@=lq:lU{*' "o Ide&~dȺܲ\bt[b0CeyXpw]`n+p5r0a^i'ЄYVUs؂a=$gtcc\yfOwVFS,WO?{@: layYA{ިZLxDU[9 _ J_T i^RPONJHECA?0 , ' $ c   r f @ c3  0W e L= C?=%Nested_Multisets_OrdinalsHOL-Library.Product_Plusdocument.texQ?Y%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Hydra_Battledocument.tex]?q%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Syntactic_Ordinal_Bridgedocument.texP?W%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.McCarthy_91document.tex_?u%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Signed_Hereditary_Multisetdocument.texC?=%Nested_Multisets_OrdinalsHOL-Library.Cancellationdocument.tex]?q%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Signed_Syntactic_Ordinaldocument.texD??%Nested_Multisets_OrdinalsHOL-Library.Product_Orderdocument.tex@?7%Nested_Multisets_OrdinalsHOL-Library.Countabledocument.texX?g%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Hereditary_Multisetdocument.texC?=%Nested_Multisets_OrdinalsHOL-Library.Old_Datatypedocument.texR?[%Nested_Multisets_OrdinalsHOL-Library.Countable_Complete_Latticesdocument.texD??%Nested_Multisets_OrdinalsHOL-Library.Nat_Bijectiondocument.texT?_%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Nested_Multisetdocument.texE?A%Nested_Multisets_OrdinalsHOL-Library.Multiset_Orderdocument.tex??5%Nested_Multisets_OrdinalsHOL-Library.Multisetdocument.texG?E%Nested_Multisets_OrdinalsHOL-Library.Order_Continuitydocument.tex D??%Nested_Multisets_OrdinalsHOL-Library.Countable_Setdocument.tex @?7%Nested_Multisets_OrdinalsList-Index.List_Indexdocument.tex W?e%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Goodstein_Sequencedocument.tex C?=%Nested_Multisets_OrdinalsHOL-Library.Infinite_Setdocument.tex C?=%Nested_Multisets_OrdinalsHOL-Library.Extended_Natdocument.texN?S%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Unary_PCFdocument.texV?c%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Syntactic_Ordinaldocument.texT?_%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Signed_Multisetdocument.texI?I%Nested_Multisets_OrdinalsHOL-Library.Countable_Set_Typedocument.tex>?3%Nested_Multisets_OrdinalsHOL-Library.Sublistdocument.tex;?-%Nested_Multisets_OrdinalsHOL-Library.FSetdocument.texQ?[% Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Multiset_Moredocument.texD>;t P(~R(;4N:bz7>@r7EV@}0X&8CH>  -C:lɃ^RJkt &,`MD8ҫp,'0ϵ 8a ^`]~c$g|YUy0Zn[YlŁٹ?Z8žl{Շ\{ WnyHo`{`4є'.ECg52ݫũH&tM1ŦnB\$y~)+d:bֈ pJ!>p!sW(l% ͌o@7AJВ7?c!n(㳝|p{;'OPhFp V\4),( 09B>D"4Lj0.{ g\C ;=_X `{]4׬Mׂ.*^:7^c {u^ɻ$[SBW=9+Ҭ2X/oHŷZCz-'9c,&MZ<SYhϞdHc#?Bk[֑1W V{' /1-cUgXv)~^ _`忋.U:NC8hY͈oa<7+p;7 ԑB*DT/X.UFV|jw5:ȯCJ.=+t O]&gɱI|Ί7 l.Gg[>HJvɪBQ[:4J.cEvi7r* 緜sPts rtstTl)eޞiGAg0]MiS5\B rQvU:k*W\]1n6\4"\la2hoq)5dN߭,hr=9޿S3;PB:P4=?EL[jg#Y@ \r"׬..%wQr#|\~f.zf'2 ;6n ̽ʮ6P]d cRIȥN~!51{* AgJؿL:km{nnR<5 ;- r?0|/_`^-ZtјadxYѬjtU vme0RHZ+RWs4wއUatr["F̟d%9`PݧI4c±o[0%hк31z gܶO"C}+2:-2E 0'Gjx )|!Z0ǔR%Ъ\t<&ε^ˬO #,i'8~`YZ?bGR"[Pr1,E(IϐM;pkc'* c~4P m1>\jߤxcZ_)-I_0J F3p_BZl9 !6o^eόAyGʞ zXďػ3.ptCLz &\E7\DZ &[\)l^i>'GN6E,̷ KAJfAt|z" MwE3UKxmu Gֈ:HߠvA}44N2doPf~3(Qi\DZHJM'=W; Ov[2hMIN *:m>T읝`m{d^ȞbC;FæL2 JBܟ/@FE T&j0҂ O刁C^AdnyKHcy]B&A+hL6唡^@b+d*GI=x!<2YMpC#T5CN")۳+F~ύHW{>-( VJigul ,mUl[p E~RWgI[,Fz*P}1HL.X?%(~ԽmW.:\trYYQFQځF0w~LNǁM;I_ ZSB*L@ tcB\GS1h)bM?12I:Kͨ=l&%[Vo@컅N6q(\(X xgLh5ݺƽOCe.q`fg:!=|R/ӱ{dJP=4i60򏍅 r "L4dZQgQ<+ `TU}dKYk)ZAWE+;.!9y ma"՞|B}i(! wo.d'N2%/+$dfjRV(?fyKYtk4>q-e!DXq5VNaČOϧirFN%?k*vEU:?c*k|@[ûSs= :it,t>,N)Ke^\WˎJҍg‹'B/q[GH6tͨme_N,dL'.(^6jHe=GX,2 PX(evyE^p Rd%5vLt0e?ķLOrE_E^8|U:WLǚ "PՆX!ꉑϿpmmܒ lMܘY3nH+;R@BQ{WS a4L/_Z$Ti,,>#5o_ jKGk|Mo|xN΁D5mb0p<'1+T#K]l; :-;0+k]:<n׎Rz H%|f,*x<M]:7,uV5|UҀ3˩qlRo [UH8.N3-g)):{̟ȃzWHbzK莔s$%t!.};ٝ "Rc*[g70x)52SLkI3=EI_{rUDuX%6"$!JC_I"g]P25`vcGDQ;^yC-a"Q"|U,HWq'o]'{K݅]o({\M5娉[D6ɢ)Ii\c$ ^7xmV7?y,C$mUnVn&0ADaDʐE;WDOvh4ft= Y^zSgecQDLu&&1!v{$B|P&Bmx7FKЩGX¼.b n(vysG8Q-CGEXvKe]8N UfH>:=g7ivՠ/rе5x$; %'Ov~9!MT A-T#EU%ag&q3ā(ЫOE^rfp@:»JZK+J*eHCskrۉH"d,9W9{.[/\.ЇP A/``Y5`çGovb:]r1K nl½$.be.E.dt?6N<?5#øIB_S4u,E'܊ڰ"؈,j '0օ۫1PZ_=̵m6%c [9!kR!b$FSnȝ Gtµkjul5h! ֮( p!֔6]8w%ʢ4Xf*$R-o^af'+v]DUXg|\Zb_φm*_ܓFGDs̡ 䣼*2 \z;8`av%TыLK<%'u U2#Xw*~at:o`F@8AdGcShnm*he,*zPS]pϥR琏V^/ZpƆy?̬1MkQrSUpsX^#n~yUΗE:q1Ϧltͣu}=7mS@s'.S+{3a\ "P]"Y2{BěNy iS>Rs*K{"J>[0JAsirr$ @/[)#:'aQ"2XrY?/ + l>ߑ#k K?v"k#THڥZ/ZH c;fa}Y'ȖAʅM6 iWnNlBY Ѳ/ G I٩k8 G  r51䓠d6x>$}}˻P, &jjPj`1Ì퍠01w|cA7_( Q!zLcSTP1G@d̜-ɮ[yHl_g&[ 0T[)yDU|.J ۊz>`DkIhH.% vpuو)E㈅5Y_ScXaTʹ=B@_@٥,]s Ș,8 Tvi(%2ez$nͼӜY^;Zo/4'h3!~UAJq39G qA 7@ wH9cJd952 6،҅C`(vJ-q+bЪu;`"^&;<|e~!^lTSR;MLivb|$DZ 5޿; ԝ1Dwa B۝Gȱ IJݡkG: iװdE~2-^O$QNtԮ0/vi`~<|*Gr;c,t)߿#SvA_ o זJGaD-385.Ϋd'8 i]_vL w-fL9sLH`w-˵9 k {]Q3.1ڣ4n;o{+nWa(oP ±JHMt$xg___SY~] ju^ve&S= `9;~G_жe9T~3>Uk9zCzl/c?a/q]5j"Z歊|v_T×q4q&z.-SS3Ԕndzge5`'KU  S#tosJW(eKl.O])~!Hs憥3bekBtNAjYhWFR: 3 2shPh~?>U^a,2-'<-}RlD+Ly Y"!.LOIʐ-6*FB뭫-yaJDr =3$S !l*i1,d6c~YzSGnV$\tK+[Cb1&( 1[z/aT&RL.1%)QCQTt(U gHpˆ^Rh%ڠ24TYSDoWThQ0RT2$X:rlp&vhŇt;5w߂r(U[cXp[^f~9ЫЪ+4krmXћ®멟Y*1.Ep: sK,\R;@E\ᓰ1[ >3֘45 yM dqӞugqf! q7tߕAXsN\XCBDf#MykUюinRhg?ȢLh0UQ!"fTTl;`'IX^]2, O.X%O~ADѲשFQ)HrJRwٯb2C v!VRuKD-ta;R옠R;'BªXRԝdZNN-kjKA ڦ=i:;<'ƸL!e:7otpQb.T.f44Z|cחշqZ>_>`[Ak2WUs0ӽP"WwlYUy1 'cPu Vд@ jٓ$^IU 3U. &0A죋)i#լʎ;,Y Ǡo\WȘ)TfmIskH.Pc{%8k@87 F\8'$ ֔0PL6p`qU G[)wgFXbP-Aed\)} B ^u)I-:EΙOY/ao\pejM>=vtQFW,/3O&tD=܆w 7MaЕB`̌K!O"  5<>T ޗ`+@ZecOU1K Sζ-So_#7Fk"gS5]x6~.K2.zbidNxI`1ɠ&>tNA!d<ܙ-Nvo%ŌzQkx_9p?Q4zN6{GJޏ[üFҥ>[Y@bXH vp x=|r{>"n҆x5{h,D))e(}-xЧJ[,ȘoGF6.f:G`ؗ[8>(Yd$y!u{Klr/ yMFTa<[U՝ #o&Up3$Z .WԦZ&CՅ8椼x`# 'X[1^U՞z d꙰܇FL ?;+n{} p;znn.暔0shv/Zo,1ᄏeYjqa89=)O qnɰ9f]$ EQs.Cj *OǪ(eNُF(_(\ҧL&$4ݐxxw I1{ 2ewC18~TM&N=_0Uܳ(fİ{y }H`Ǎ}Vw~ =2c?z?Y>fa\t:'tg}dJu8 y-%CTXJ7xbz МK d?1棝">C_Q=lt%> j2=c`Tɫab*0ؑ6>}'@}aV^2c!G)h 4"eN_°BH|o89'a>O'aX, Sh50b \8˒wrf]*B/g bDB0OA=/kI6TpC9ia0A-#GЊQcygj|LPr~6=`~Y^ck^ CFm>NJyoRDnQٯk1.k<ɉu{] 0IM?)Uz.%BC^2i v {͚;r>dx7[U1iDf}Δnf$~w"swBtH!9;DԴYq朽K 3BGWq`` '`[h t:p#n?v-Pe )Lt˜V{zR!]V[>m '`Q.S#gGυ"bD|S&hIX5evM.dx|A$ڪ>:^dtK+#c sĵӳI`pg`W) h]b$ +fMǗ<͉2Vk{L}B6;bismۛ!hyv=@2cqjziӶB|GpE3ߓCjZb/R[VOiȉ)F߷ZJO @PeI,N K5XCے` /1}亁وӄvge"1~8הl2vSR _? [9>fFb#<^ͫQkNʬ.|c6{HLzϟrEk %Wn NC7N/;櫶#K@F/"A۝d.yE7xMhEY.6!Q`>%4Ǩ_7<m܊ܥvu`o #.V ]U#W>a൑iRV@{lm"}ad@@SK$&A[A=rjd yQnl1jw,|\,trMjNq.Q1&hBDȦUWʹsT+̳dRq0(7ðdXlTNoœAr@d[mmXl}n2YWT.ד%q;[mf+Pdu?|6'p o_-h@wSg)4mR\Ƞã H Y C&lTBY^g },S %ПYn0GlzH-qPs4e@8Bgˀz@(ivShLmiA5+@H.U{#9矼* ͯdwHI 34hvjeJ~M h|?.U9zf%9s)hVD:_! K!yH$] fHc3"ƞw֍0II`u)kjm#28>#` PvT2)ҁJ@ xuL(E W/Ax\Cr#l$,s NZ3,!1{+MRJ:3$>a- YJ\dFo0B+R2Ev2_{n3?* Qo:_r`^AeCyZ=Q/d uvք `KnȶXyyԅ:u{(&WE+cܾ7n3{B}6)Kwf^C/Ix18uܞD`pm߳AկzJA+9k@bwP ([RnۣݲfBR6oތHCaإSP'\$bNtp+<GzFSIګyz;zVVP7ީ\{k5 cXkvpUgqw :ebLIɯ4Y!9qwސchlUy?zyk7 8 vIN/ݬ PI҂b[iח!?ldћ+zp cm b_=eJY] ݛ{ph+" LFYBwˏ=,EIYlT .}GV]n)\nP6&|F„DpĨBXBJgxyaƲ@^10~BuyaOkw`Л ] Eඵxǩ_>[c BŒd'}_~CoD. ?=t7$GX&NVYb*fqcPZm2&wcy\:0V1I[),cxFRrqG~Ǜy?bVAS*ԈeJZ{qV.r);W-s`{[l}B6>vM>9wYP8ۙ= <DZ⾓cjBd#onbqo:fz2H5h;DbN"饒W'CߊL׻* lFwt0vkgXȤ(Y>[!_{3p˂}GrsHf(^npT 7"-Rmv𙱓vɸ_E؏+!C<.["֝Id"tn*&pM)#{E1X}mJX!ݤiAQ{=_-<L$|P),ӨhK'IΖk$,FÖR(Lt-O ٥vu?dz1ݹ!؇.L(WwS{<{gt8MlޙpZ]{(5 I.CNb)V!;yŽV }}cK@xv|,}w,VL%C ]$+2i\)B'ż UhD&q4$YבJV, =Q [}1ŕ/)o=Rׄ ۭF:ڏ^J2 9U?3x/o:f%Bԩ>u?߱䕱gYZ t֩W0:it,Vo첸w]' X$ ٣h \=0e M>pzn[nN)q8C*;rHswW7a)+ۅb-]H 6D46K^t*ͯpZHeŀ>]0uV3*ݏˢP/ 5=DZv5t)re[? txB'ZCŘepZ] t _ ܢ, a=ʛؿ fzv2SCЩs;ˮK- Ә^$ &?OϺ=w @89RZu YHDq(~A3O`Zwb SWaC p-,X*J^F!j+`F6T\kY̳a )UjRqIX!MZs5DzJHfű[uq:Tֹ\PwHd#)/eXk_4V|Dzqºč)_[yN/.-HQ#s, τb'$wǩj֐UUDy[ҿ%#ebca@ /w v,|po P~dX_ h=bZv8NZVĠx$2|[Ng?hWd/^y,.d1-H"܏CCC ~XjhFx$0=e.:VYz/*[]82 EWSB{ȓؑFN~aFQ9OSX>PVAyAfi=u˗5Ы0UZS\RgWWZ]PUf(#L)$s}чaD$kҝ@|iS(/r>0ˊ4h&8WŻpj峑S # aA؋ ^Fg LWǂz븿6zo?8yVg9;> eXnۢwI i$pQACe ߕ2D|_aY荢qA=S$|ǚJ y; cǤK+AS?wD La(UWW ̀-$<Ωk@|'xf~Z2~JzèX'Nb،Dk2@NĖ1T5s]D^A&W$XlPȾ*cMˏ&?Kƪvl(p^!-ӂ{06"vReq\~}y̔c`4g0'L%>!3n+̲5񰓄]1HU~Uq#@㠭@8b\rVU vD@r2+ D%jW+FB]9^Tm2F؃RtT~aH2]4џqbsɦ: v P49o7crndfZ#?C)vyS[pjX5Ш'v1z}F *7@J0HUETx]7%A:1lnLp l G:ʯMN Uf_X>='Q"}5 CmAC"0DɓIl'RoļZ~ #|-tR;|sȨ|e5H57P D:^ ncpo]d&CS縁װXJPqƿyvz1@- tP=n|LgCbHʢCpKGMڊղڏŽNp0{,S0d]F|jjP?qs{zD._|Z h Y}͕]I7 )&b0U[*-]Ai*UK)f 'ީ/]V!)T )'В6 'RBG5px D:-.nap cޔ9/ ,vn`1]e_9Rĩe]N[T~[ l'B¿)s^6hY\`]o! <+FEbB)/zӬͳ-( 9N%Pׅi&˴WM؜dh';ǘ^Oޖa f7)1Q&IgMN)u+'ifTOzHEū40/i2{gTzaeSCEY2ݐķ1}d</ Q-hv"StuD aCG>Lil;p$ņgx&ripKJ߄ISdK  .HYITbIh,5)(*W?:|XۄN1>e_ָ,&6,F`&vfFp!"/$"S` 烈=/+KsZgdcR#Ŏ:H 9=Ku&@K>ISc1)OXzيo$SdN硧koPEj*g"Di=osC285)p~tEcdߺVfFM<SѣZ.e<}pQ6{bI1,Go{{ jʲw!̫^ť$?Ɨ%UOPRݼCFL)k?Fc"3NEE }P A] Q#] ϶t`ǜÔ`]zCԗ?X_MP@ jBec^T&*~%\VISɺ,P(s}F;.~ti4^'|kpTs:؜8h?. @7L~&uW{ vV6zVdPFW0)gSD`"JOGB(&p2?6vdWJ4``&]5\ l}`8?=ܶ5VIݔӺ\tD< <r vIȦS@f\UBBSa=յɞrn+£qfzStMw:Kz0&i,d: xneV ^g:ܴ\;Vl5E\'pAz4ZgܥC,OLEzA,>qH SLӛ~G~ 5~Ndb;p̃bpOgSȓR21|KlR]V#ht.6S0PnYÿfUd# x`ٹ LZlQH8<  G$+{cyC}(bٜ\5q3-"SL[M>-Ok vrUv 1iB>20 |3:$f礊U ɏwV|iTWO}:m'gya;bjW~*b, ȡa5c|'r۫*M|oY ^t `߽}ϰqXTx.鿎#E[#Xp]T^Ԕ4ݸix@b 9,nI~=s X9j0?R(C0㙜V{} s樄M-:fُ7iʷAG40[t?H'$#TIr\Tڅ6LgO ,{І݌Ќ?feVBڕK0E`>)C5@"` R4!Yyi LÍ6 ɵqj$i 1˾S&-Q8`c[.ru q#b1B7wҵ+LRPyIj}}v1Is>4,uː2UpGqcD >4:zW87#6c{51CZ|۴Z>?ג4i'_3T]G{.̾-OZRdBY l5{F[V 9>n陸 ,VTɐH61%:l]5Ԯ&>HGip8=a?]z_ut LY;#a؆2.2s;OLRj2o"'LɃpL:CTz(އ/:Qiέ[@3ApY`NJV֟\HU׆:$Rb NS%E:Kw< 0̕UG0\ 6wx=FU0" :jhUӠnx0#Z^)Dܦ~43+Be{U.]fF L,A\bkDsyzŜ\doC&]o%\ȘH0zӶT#Dl&{MiGV(!aGЧV2;|8x- FeG9_YiĘ޿ʛ #f! ,qMi u{qQ6F1]raB[Ͽ,k(ܽwMi@(z5@3=[K8;{Ҙ>yFG":iM&&v K{H>+s2f.TB "]` lgN2 f7?QfP"߿O39*FR:(^8r_@hnEk<& +%fT, N$YPbƋk ֠V}[ 0 96{1{悢zY eŅRՓ[s#YJLegშj,lHHZv7οdWmY+2f 6?)ҍ(4}4WqSÌ' 3[< i&l"?2Z++cR(8=Bi.&3bK짜" &>睠/q/L26JNE79 9\tLY/)9r#EUP\Yplɭ姬FpH G ΄'\g"Պ}b01iWχ| KNքLazY芕&(h5@YqzlxcQ/@.~/ut/աq ❆y gD9wKA2m"LYp8/e.d9kloZkoAvc?(V\JejV_J`Xr]C@h@M8bD#!* 3f~{>IݺS/u oIwfX-ʩ[4W4ؿPXյ=cE']HXO0XZi/M~ٝvAOk.g*қy*>a{.Hoh pQ->`zi>92}+jWjeHy̪E bx8kNr= BS{E#pMJVAm--̦#$|&%cE7^{k $[,B\΂ҳD% gM̴@ؒ7ڨB>SY`e:k*l* 8VmV:g@nyg<`1}M֤ aV<95[ _oiEWONOfΰR(QorXtQmiVnzb%E%s oj߅nQnN!v¸gElś b5#?CPF}alc >#C|駏{=pU?8S}(F7#t q"ivʯ|ḼkЙcPM9Q3ViKxR ˆ30 οoLJg,# mÆ΂!j0o{XCcrgPAB7go}!BIUQ]W5#xe7fZmtp^SH^D-3܉@3r~p+g?{aU T?Nr%аnW# p3L(;'e ͟A1&V{XLO=dBMUιzl_Y vҭgwji$[i>:[`VC2*X,_6=F- *I92A{AQ_G1!yW -ۍϷȇj#6fo/WB#nLI* !I׋bGzf'>=뒕ѐS>b!!'QQpXިl| s!po>e 6dma>b.L5KnM/ḞCJS02xM_x"ý/*"؅OgIyp Z٬7oD[a6f#U!ާ8V̰z)NbS EZ{Q@ߋw@^l5Ia>>@0 Ѷ\v_vNo}y*G"<3ؤrt5HKZ;JN…5@ [L".̳lփ-1:R~]|Z{J>o~si>U iб^UV(㜢B?m7^a Hc qLR|rnzcǹI9E[כ0>$յUtɔo%?NWQ^qG4뿝3Z S]6}ńվ&axy!׻VV'E^s/j_ޱ*E.B$N݂ojqhT2)4Qk΍- u߀z>k}㩤'4r<`  ~3uPm5a[NyKiѧ:yyCKm')Bb-F'3tZQssNWkYtց9U*;K?wͯlmN'jO,g1ǩ |{8N"N\N.%4hU4 KR-oΞdUPoz?X!W6bE;nNq`B62H%"kFcXatX`\Ҫx{Q1o<[: 4-(L4ǸG& E+>#Ոz BJrKC,/. b$E 98}h~"5jؤϫҳw\}ϛ lN3Cɧ4Q_g-Dn.GV"eaQ" @6)*G.o(Hb\i~QS& lʾvuesm ?u/6!abRpDa^/]G,,aCmػZk<߄f1 .'FsߨCͱVV[hfo5;>CǠ~"Z!p!x϶ў]/$O ]&=|j6%k֐CMp|׵3Rw?xyc^r(;P802Χ UM#Zʽ[q?ɯenmP R*yЌRnU.6zAcn6uzXVue;dɃ|靧,ddOT Љo] 6T8^)\g`ȘEny8%L~)F Au:q0])#hu,_C/ jɩgn~IT_(6ZWY("#t2)lzPI@3{%{nbɬ  6-?chYǬ c2o9{ޞ#abΜNl*"-ݦ]\sY+pncX.\1ZEc PY8G*=]*'V5&=#esc& &Uũ]'!&RP͗dTLms?Su jJi5,qxsiCᔐ S_i9 5}>EJƘ&6VAH3 E(9Ocg1ĖU !36UPy +yQ#{;M,c]JI\G |IAƃ&`o?KEHS.m'g8XZ_"wԗi{RnΕ}+3Fh'ҧ730x\X_"6):^UW#&U \Z%:':Z M, |u7T $ӻ ĚN(u^qAY8_E7^_]:Pp>iTƈf6$1'?u Z`{#\9 T|Tl9sAH" WgIa؏@д-'b *Oߍ$ރ'{r2Kk &RU뻺>}1,4Xpysd(<kjvl$T{#L7n:@[p[.[pq~#^!Ieg,:[yHT1Pg#GAg\iu%59{s`)tpv1XŬX;Wnr*Zְx .i2d%cLI|翵l?A^T&iZ$^V>/9G@Riứ 2ؿOYY h `9r ē{mHd\ DUeCy lS@S467 ^z\w  7&Y"6o\쟩0i| xa~gjY1 2of;^Ť TRo~]"5%2t'͗ZJ9EgxsQ+XSOT R;aً'Hw7^L/k6iTl&BiR^[J_rh ғojXjWGB -&+1J<[ r2 ]q WrN!(W(-l{QAS 5s5vq/&:H868tix jk6)kG=&>eQ.xkAP1 !4q_BJbW$ia{8Sb,1Y>t_&8Lݐ0ph*"}CѩxRWT BQ*8OI| }'76r hqkwc!Is8ͩK5'̦dX![| M:&Z4'Vk1(Ab|]PpM.țV5~u>i{i"1y_eH!nݽ RԻ'̙BWaB]%uz =Ŕn(Qf*p6V{{XAO.:˸(qHn 9fVKRT{j|5SK;v~'ZYk8Xc`+^’$M|my1WJ/ZY7ԢOB hvd\pmK7̖L V)AǢ `8GLy42-W :#7G(3N(cZ\No:œ -@v.{[Яd9,셙 l’|p !uc€j>JR$c&|" Y~*R$V.DKnC4%<5\w?5/X)#&AI"X]@y*W7z!>m%3_-qvao|` f2;La0ڴ9;Z#Pwc T],@ fRgk<ϩHzl/g|2BCNY*6;5+NX Gu&}IW/&5FVszt݅~}-]MjBÅޗjYdlI6*US/Mr;nâՅpj38{)Y $~R=dX^*BӃ^&5 Wmޖn̋IN-A' @i T"A`ŦGx\b`7gj>D?}BA/^ןP\ᷤ3.F WCvB`;#[ڶ*OcY]>c a?6Z)guDQo3=+H[@ " 5bv[0q9 ƥA{LM*.Ux~eBb@ihxKWDzug e)Q]҅^"M|a3ĮPWz?PHpm}k'FohDO,MdIhXND$H}0k*J59kȝ>@OG~YỹlM|8A.cKjT橩 %Ț9Fq+1tfPBDS_,, H/5Âai^!=)ycźkF5Rjj7g3o,ج<5#O%zuH@y 1w.vikwVRn`VFcWHvR9Զ ׵tɌ3\JLjM%-zD_$gZVߑ;Y_z ABK Q@"ɨ7]*!j*kLXm_!,̗YKA"Ј4&zTXM>.F)fv3**L - cnRFmfs%ș%}}Y=`Jlj.}I$aaf^mf, ˇe$&ybi1jPq|h:KW\C;5ꍲa(5MRz15L`H48YrK~# DĮA}'͹blE~eYwnkDW"q h̯ޑ$cDNzuJIJ_&n(d38s**"5]ЁO™U<, XhpueI9bPUgTĹ;~ 4.DU= S?aiqOOb+,oC'tHE"\ݍ]BJ_ar}nׁKn'lio@RrA\87e],x,{j1 ł` t҆"=]̇}CTjR۴G&FovMu@CtòbE.][aF@+v08"ZhΗFh)Zs|iQ <ŽQ-gLF5$M>j)@.('HTdH~T?ڰ|muozO<;wgaf04-:c&KXL:XB*N X%DҊABvO;o9s$#^|ީv~$@7)Is\oI e<##q}21Nfܺݨxr֣?#\XIݡ}S}epƲ}V{&G!9G1˽ @:[z=g6x`5K7|RxJ퓈; O{ X)o"s.Iˆk(ON^hp͈Fsp}ʂ/ILzjGi(l vIL9QoxAbۧWPY?˽SdmmMJ̝ZkRkhMUCҲa Oz lx'2lhZ926 9f_M~´ZÌ4\ꗬb8O'3lFD Bq%ls3w%.;[dp+鸝89۹cTTs@[j?m~?$ wsyNh}Ř/y>< D?S{F~% ո_+xd^Vs/ 4]2vIBT1270uc{6*4hb8zxJ<踦z6bJp,齗˫n#N1 v•2WG-K׷2`Utx!!8cZHrBVfYEjL;(R\ڽ*wW>[jf>( 8gYZ  5 ?[% LNested_Multisets_OrdinalsNested_Multisets_Ordinals.Multiset_Moredocument.tex7zXZִF! 㚊E]A-MՋhvG"uIBm5 6+Yl~ay',5A)ՙvӰ+xg墶b^ JvĚ%{v ?$\Xcwn t!D93 lc0avX31**F҂`-.^|n>jnbAgJfj[~oA$U31 c3_껁<'f5B+_P\|VJgE2IX&4l]+ޱ>l!20d^ Ni}S C6(++ BT )P0%/{8Utf()qS`_n偞 OVm* ]RF醢Xcug0e՛Sw@"fI{ q}j- my3$uS4l*zns+& `Rs tɁ i .. lÇAԔ?|%t;~(߃$276$SXdw d c}L ɹ㧉 lVNoʷ6W>"tjߑ喚YZY~PٲjR0(3}J="6Eu~߉}2+b$6%[t+w<׳LmVn,ïB>Heys: 4AwNsqHBż .A5Beu|pzd p`|Fae1Q_{)BvD?<ξ<[<ƽ"m*|]7o?ہ#Fx麸9q&zF[V>YV% k ԋV0lpy>eLK17^.?cX~$j^[vN ˨C"jg@h0p k$."yuZgس?l͒dUIeZ(0X]\w@=lq:lU{*' "o Ide&~dȺܲ\bt[b0CeyXpw]`n+p5r0a^i'ЄYVUs؂a=$gtcc\yfOwVFS,WO?{@: layYA{ިZLxDU[9 _ J_T i^(YtfD.g} OR<9Fl@ 2k𺅉#~rsknv r](ASv ""F ?-% Nested_Multisets_OrdinalsHOL-Library.FSetdocument.tex7zXZִF! kLH]A-MՋhvG"uIBm5`bd.PqI#SG)io+hW Xg4]Uf'Ϲp,e܍}mXU{7~b]@w9:ɚT-0ݪG;pGMD Yc5[hOR.H!HتܪR NiM{2Z,0[@"IQZ!y9/H{ppifnYbƳUk(H)c\%G ١wV'f89I0ϙ{$ {[)72'&/a8;cTt\.EauUhDKU,!$ [ǾQKͅš *w7vm5*$/RR|w]ɺ˯TV}iq7,tr]f^LDYDi7HzVe滒SN#xn;}aUd)$i춛' N;B;|R(\!h}#x BsyWj98J^?d'9n"\i 0 UlTu5hjNKZȷ"R,˔IEHGN[\dT(ANgZ?}n CTlvS`t@ar'W¨Rճ\ҬT`}}KFmn+>畧fƐ3yN}Q,m'!j@a`]AKaV#Vt|S+NnfW1{,.@(\Vwxe! L6 x%?!sl*tk92l89L74N8C6QdK>X{?ÅF  8uP K!Tmb^s/yȧ[$X {yͮ2Azx[:P=.B*"8 ᦾ]: ~b fӢ D %d 7N&m%>쓎hso75גWD/RS 7r,;8CWg}mzM!kS3Kon05V*  )TXb>- 9^1^+R8P!&Zc.I6O+cd;mUGGΦ1q'IxQ!3 MfA[^A@R8l;&@'@lJK$.r U9x; #C=ʃQ!>}hqEƏh,ֵ?O?37kT{mdn&ZԶŠ,xò3?\M#HzdY}B/JQA)IgLs ZJȜt w<}y%ε W=Z徱%XX!gHjV(< JzG%mb-{J4]Jh3\!ݥGbW{h;C׮K`?Ub9T3LjqW|ށ# )G/'2%ꐯI9YuH֋R.6`(QuI lCD5]fHBX#*ۨMDR,zanBHxz[b0ER?Lb=m"0CXlK5?䀽wW?u𑄀}Q,4kzS2h@)oΜX3O~OVoeQ%-g#J+Uc:͏4@ 6 N؛S:+kLK҂Y08:x?Y֧Lrm\y)A f AwZ[0E)Ƅ Q7%ĐYP5cؼ_؍j|}x0TLHDr'7\"d Z;12Tdc5zkB^ynE&e0n?F.(Okg  ae- *&ۋArX 5֝1Ϙ+_dtP@y<#(ĝ%1 ._"rl̂ޢ|{/ʠ K\K)Ϛ*zyxL z-#hw3='[ce(ƓQp`G ZzӠzp n;r靀' E9s?Z9]%)d>7sR}Ƞzk=oWq<2N5K bPF* R1JWѡXaxn3 piYf]W|qoVhz8EEQ J Ū!F u'e2;Վ6P즼uCXj4;Q!F${h!,ƟFq \%Ks%(e_K`Lvl8؛L5BPƧY60T.*g4(w<ҕe) Ci8g ῷ)E_z/ٓi ܅Qqz#ok cJ;N/]·B,EdH{'=649c&ϚS  ,TVG++#T͹ UZmY8jsx@WvtZoLŐiUEkˤ >}.՚QnI7RȅBBȝPv`KpnP'DнP|vNnN`C 5~a(؍HN[ކbjdm]ty*D 0rڈ'MopОe5+.eفk'j )c<,=/5W Ό huV%۲cnTl <˒{uo{*$u wjG*'"AU:tqUJ(C90952'ke#_(Ǿ.Z‘M-a/^XX!\~$>Nwgw?g'J{ zRSTOyBHC_{aSJ+u2ơ3"4ؕw Ʀ yy+ uEq fj7:{6>8] nggN?uL+*<"QH>-?2ɭk#^~,:ea6Ub,Eb#BRNBtjԃڻȳvFt7c^g-)9 @QvSd1Yl:{67SnP>4Alc10`ظ-wb4bD#$_Wݽ@hB)Rx!4R %Fw0CozR3ɶmҩPCSn^oJdOp,S>A;"}Z¡sG匽ޞ^"dtzҤs447^<=axX-`.b%#x7;x#496nߧqjŏT襪c`!z9}L_TUeˑ+ցBw#c3D_vMA_}]*bruBU&CG#W8cN[fvY/Քo^VUK,F+K=w&tL}dRcegi_4ȓȤ{4ܮ!9^9p)vuI:}eS">fzOMU5CًAi*9=tK\?yĮ-  b%AxK Ma ]3,LyYhM1%1$࡞3Qx Qxbm7h^Ϸf/}0z&H|u,ƿeD<67`}0-Gb%O!s>45Z}(4H6< c}mqbU5jgz"LjfQ^u>cő6~RK.^`zYl+Ge|;*UvfvR3C7Q~pڻ2y]hMQFX`)/ EB<}\cA; v(-?O֊gxR f+| rqk6xA6#DşvK&ʐ!.[J«NqTPȡ6nu qpI 7\(gq>{W 3qFhwifpq>C@\6l\d,'>έq?l'̬tP: V1r{y!/edx"VSba;ogPX+-7:_} iqEw>$`t5nvp2her4h)ԧ~Wx/lL82<8yLX| \i#ᘢ_3X nl ";CjVLJDC X4w09J`̣Z^{[cY<Ҩ~*)"-Y 4vCOvzG uH~COQKL݋`?bg[?pƬj˛aiz!+[HtI`JTE/&ήm!eĝZ6]TؼD)KZ z)Cǐ]д6-B'e tmH*fNrGfWƠ.Yl&/~pxҚ#BwP $ `ˇNG%Mc˄2%Fΐs' c.fu{!Zbu4P3$ F}>-HN  Is 7w@Q`9S? IDt5LK[!Z=wt/u𗿟*6OѭB~,-b^[4HLL"}qم?)L3#wCI,٫^kQZgF4(Di:0X!yj{Ut2xDcĴMl4n(?7''wTItʯMǩ&ѼF*Ii~{"%ځ HHgڷ(~EO$:_Zv'TD|E&b cfjU5~C#x5E*ӍM%16 aWہBAs#o.5AL jΒ|)hU<0 ʗʡ L=F2}X7+Z;F}"ՠ@!m@U($a=QJit=>`F{WNLρSLwAFC,#G,٪[}Ա[|+-={>Q{mx,K>~ydߊ`&rG1/ Fȭ3^ yAZDzi`R;x?)CEWcT=.u"Y>:Myo&|Zw/Yt]~Sxb͂gzĜMac=W>e,[V}F`D!R6. T/ %& tD?k'T,8s?P_\ԡw\qR lmM%F(˳b;E,Jf\&A$ʷlwM*eϒRȵ(2^fEcyRe_6*eoPMWPrQy}%m b٪V@<|A=Z{T% (ٮfʜ\c\uQ)>U(;(- vAooC/OM[W!k'6g"'šMNgE(j9%&o4u|'* 1q!OX@ N47L)1˧O, fz@ Ǒ@b'cK .6zO$2z*\6ӹ=djԓu eu!Q!a5C1ڻG,}p+s|,85mc :h7h¿'ֵW[zx3m錜=B!}wXR]rEӫg( "ZEo1*q<,8/ƃq'I@*'XVTkkp2SZ385Q@.A066oe>C[,=^A/1$xcfxX|hi`C5 8d jY^x}*!揠iy{>ߴжn hSc\ 76iт+ VLhyI+F5UHju¦ c܎~g*eAu#fZF$hgԬ,-!In6;B'3o8EɶȦ'TbFR`:=3CtT-) lf5h@Q5/kSSOKLY,mɃ<51wI ^q*/ռ;pWȳMgV%򭡏_gw@Ds>IȩB F!ζ3Q]4H\<^A]#1w!Xy SA!""h8֪OìSA+9 kFa'%%S晜6{|Yш+!8iHױ0HTsY6!c)bj>T4P`znVr0nvuC҂gh6HY4:p[J۾I",] FMhٻD&%rbװMy'tjC l!r|2XGa9tďpE? |)@3L[+搔0{ŤQ|}l'L:pLz׫O;\|ҏcXs3F D uHP LxF/Հhѻ7~fǵl aSYwbďjf{]G}K<ꮌ?.5WwD$|t{zn^21. O=Nv[zI8+>A)\}S|}yME4rI4Piͼ:w׀>h+$>G?_WgV!:RXR&a0pP^7U ȫ!"yĉ/ϋ] 26T+cq1!B4`?^S%f}ѥkvo=G͍= 5fF*ܚop鏛G]7šgM _3HRPdd6`NeAbz?8v?VҼ5̫Ύ?G=epr6 0b2C;Cr0E ?ke+quctܲe*dʹYrFf55P~Vuer)210չ#fpB{UEmA5=9n:]7h!pf]2}ܬ팀:_>G0@5[6D}+F>z {.k%$#-tGF\b)Hna(! _!2%"bC*sYr]|q9h\ ^ո!7`le02px1S ] E+Wm(kVH'jh&/stlųeKLZi$b FG.=mpB;XB^ 19b Mtsc_t"|$Bf% >$v "W[#}Wijzqzut<˅=<Ґn: Znbyk*3-~a2s0>}f ɣB:^隓ΜL̘Thz>A}nԬG3C\킥@8pg$t :ξڬ%4՟|}d.!R3|S;u9!5@HHH!fM'Q [thnVZË3ʧn)svCĺM;5QAӁ 7",*ۦ_'=KsTGޭy%@jb8־alO}H^jϻ3SG=ɿ#8NCr%RуFi$2D0=SrÿxX=$_;$M]Y.,T?~h~Ԯ4e=UU5֡84E{׮jܨO*k+_Áit5EA1SL *\NY//<)d-c 4ոK53zqeiQDF4s8b)şdnFb$: 9+f+aDW럨/A@FLŸ3NcQRNs)GE cuzR[K48ɟE?h3f !Uﳀ- Q+ŗN1xtcsvr LßE%#Ծ,SfmG$p7׶7p}N8zD؁:|Ek,bV1쥙r3>VCkhޝu2r !),Ӗsa n- K>ag/I*ziH#QaVwDs:A/L]a'7ܷ]x +VM Uy*QUT1I7wFjЅBO9g;$%Y%^M7֒3śl65KYS1^ZPjIFI~_Kru_X5f+NpV~f1:-ht=%oXR+1ȉ6_ !nuk5WVy^OW|ύ'5=/\Dd9n@YL剥l_U-x *ge2 Kw--Dv઴W]u?X@׏cwfet2jb7ԡӛ}N!NWd\-±#aĩ>'sAxV= 2#4 "\ L8p3HH\5;27g)l\ZÛϔMfD*F)6!e!d .콁Pݯ7Xє*>$:>2q*-?ZKH9y&{ ߙ"uG}wJ:Iw!z؛i:cu~fN2c|hpJ=RuwS@f-brY M!T 鈜 ֗ eVo /KsmFKs+ ?l:?Y,ô^Fu>Uܗ]QP`6,p)@y|HSϳk(;!ls8=J|5']5UjA/蘶(;SGhk omwvD M)TSR' 2#y_㷝 f&r#c~LJu6-<;e6s tp1,KH\yP::"k#۔ veg6+vK[oݸBŗn0AvB&9l;|rZ]4EԥVIYNDžpluV8?;5< ^8RyAɟ? `W4Y;ĀRJ4,Ÿ<4LOلѲ!xxzTЍ`ͼk/ݾiD}-G-e̎kj8)x]͂w k8VEȚXx{d1.pT|&#DkH D-@2e!m@/1%236gZRBlZᴈ(BM$׵s!&_ Yxp V ޫKiP!o Z;%}c-LAK nl>xt_S-?Ҿfc7BK:90j;D;Hؓ.yGhBoX1N#3% P4'!8F!n'a }wkzsZڨYM7G~C)s^W{ICoTvn\[޿}AeFjR4۷n;8!ٮ{ ȷ$/[&x]bƭ#hD9)  F1FAJyIe(t/}=!~ZGv/E"i/*o#r#2y r kv`RX8[t1:3,%b>R™LF¾gtAґ5׃|ͩ0$Y c'/^HbDRfd|x/?LEULU1 2[s^a5ط],A8FqO rzvѡ<5J&<53 }L,g#U劯8_Yʧ}Grbz068M0MM 8WqiKǃ]=*6|H!Dc%6bP9ڽ  Y{,f~Ԉ1Ċ؍[zc=˜NlbE7#:aF 섚cT=q4DgTkVE&cWy usRǜy ڒ7Z4u+R*fOsFVB(, 0B}tJv1~Mġ01@8N| eIEXŤgZ(U0V%ᡞ ō +dPId#qr Nˣq$Y"F0,5M+ʸGJ̴`StM@$-Bz>$ ZlQ't7zD<KCoWo܍*! z#S$v#WbdJ l`d5۾qC˚tj ҖhH^烢AXa\M j\X5y=e+ &Y"WPӱ:%kDĨĚK J~^k''y%X@S %EY8U@[JĻՑ کy+lw"K xd(AC.ޅ<3=ߣxvT$2怓?MZĜt_o8){{^a}+Z, 4v7`RA6,Gea "6˹#{-b┫o]$zp.0&\W0 ^ʗ.Snyq#djQ8( 6 ևvNŋUSt ô WF!웉aeqc1 d?7Ӟh yQ'd&<[4@Fc|P+mNCi`DuLȅ$ ~:c%ğ3V/hcU0o&x+S'M;a= *`F"z!){0>ȱƒK@f%7e/eyP`K ɞS RHl)Z_o< ·vqh%z]jp507Y<ųlZ>ȁôؐ/?!!7{ tM87z: Oén*+.2*%[e i bdžBs+*,:B'j\ME ~'z<Ϊ毼p`4ì|0/B @sOpl~y}& LγvI!Ϛq{n`ϔ6AZ"< } 6r/ TS%'}vF"ӥ@jO_0C sM1(zsL ':o1NA⫃EYy%(ģkG`5ʾn3u'HhWc 9& tbƜ :7J(7jthtaJocDbY]dƽRp<="x';X+aD g7kI6"Ӽ5 #Mt܋#qt?$ ВOi޼ >V^ rܐxR^q@6'W,pG&a/uXƗNNd B,Gi>6`J^M 84wnf*CJc"m=>Pqpv\1zQJ'FA5DvBԝ%b~vW Xeo'f'%bϱutn4*o1!X%8^}tW6io";×.7Iޯkn靼Qݝy<ӺN`W#Q 3-Z \ّW(trT +me0!F[&PΜH bc&6!'99 ;2F"ݢLjIlչ'SI6~dx1sEZǴ)V%V`4qS'mBM,Dt%jQn x04z@6-v|jiOy [*n?Zд,*Jmb#ZV>ϋ3)4c )[l%*M q[ɛH_-N{ȬA6Ffؾ(aPM%|65C3K|g3P%`U X`oC_/c'?SO5X hz-->n1V88izW8I.VV̒~$JKT }1On`m=33NڊP̂9#yRw+@$ +B>x/ggC; t衧Pn~`Ag;V=&$s9L~Z݄x9{RWqyt l LNO2Qy [4-ho"Bxgធ!s-hj=zA !w@!<9Rp,ⳈVefn]nU)}`"y開s$Y%}γq@Q]-bXxV%ccaq=kp^q[\ G`'V1dUZ]Bj烒3$Ot0*t>'Ji3Zs8j.-+w%f|[f(ұRD2N)؇Xz"DaD 42@LSl()Bu QɱF䋵M<ހj u{FW̓쭴ʹ}IY47TfwRҿg uv>]οOWW/{o(ײ71ʰPSe 84QQ~f} ~5-mQ\~\{7%@%7&5A A+nhy%%m{:^p;3 CSd)c%:0o<}BONS.e<\#amq$ UZK/ft0KbݨSkEGZucjּa=æ 2JڦWl&ЍMKdQWGƮUEHIL>ȕx}@ SE7Yvk=@ {x_}ȝ`zgA&F8G\V*+CEo׃V*s-f&e$c(BHXer?̞BSG b[pieM刼~">b;:Ĺ*j̫|XYvߝ\2üNAa؍nfl4-й,ZкE" x4`=Ԛ2 dEnBhp[ì C!~:w;SFf~QDNErbo:$d kRDq\2P@v3cOnfG G0_WcSȾp"%P tbXun+FK;fOQ/9C@HPTI.vG/(Wes3ٰsbENK8BT4nT+Sg~)٦ZsQo:uY(OcƦ598 PJBmA£hBp!HiNVz=yCɠ=y0%0jIӝ,²Tod∃6.#gj-HRmq1Zw$O7ߎG$ ٯ7IzŤ {%W7ku[zidxF\ *8l\1|@ht6 bO'׋+w'l̸aC_RF+%Q<©ry4'vw JB4I`һWȍ6BP80lBTy]Zz"^q)nCa[_q.*y#@MIPuL8_) =@O*U v=JKc̈e%&pk ($%ATJNe8; ~sx7wcF9kc>)1Ӝp4f+ $7 k=jttDF`5n,@Òu'V`ϛ"qŐ J[y?J?ⴗLϰW۵1>C0 H}͞7hVsMgm.w?-Il=pwDׁowK? rroN FTm]B#B&DGH5l|2ZaU 01`?LI0)^ RlۆCƦlO/jGWBqP^]xɀ./<-`b|ȴAӤg$qb }g/+ӄ;8W{GI`0\ KCȣz53hZ1G%;X:ʊWˬ i:%vuPhVF!a1_|>Qq`KaFbPh ܛ'gֈR A\É߆t:r3x~9N&C̓'9A=OƄӣЃћB(HTHӡP|hXDDb褜d;v^s{,p,CCi\qjsڑ |FN#ԣvQxYfJ꣑bF'"N~U̔±gYZ   ?I% Nested_Multisets_OrdinalsHOL-Library.Countable_Set_Typedocument.tex7zXZִF! 5(]A-MՋhvG"uIBm5`''-6ᶈܝi7wq. %|{.w<Ca㴑.W_&eyj`]1'FHFjpKE=5H)n[EϡǯLq. Xg㼛r:x8d7zeۭf2Ǟ(h$r;gjYɐZ$ș~^xzx.te'~S՝7|9Y%s߆PUIn&grz@ Vɵ(jocKUV79L8 ho_iCϋWk[fBrLsY0Oc ɃK iN%9RUt8FC0Ա XE¡>\@"<cW؟UOh _4n?Wzmvs\BJ$QfFmIF0;ZT:!]A4THۄciq'"k4%͵gO'8_0Y%É#l؋Tk'k*ENEH>L.9nX=*Tt'gsT0UYXQiwWRBR ?3% Nested_Multisets_OrdinalsHOL-Library.Sublistdocument.tex7zXZִF! KS]A-MՋhvG"uIBm5Ȫ_O@.w:zԅ+|:KzC VS2 !Һ~DTSU8:RӸv Z3s%sܼO/jqN֍~N 3㢒*6/怋ĢqLJmK ܆2%[G<þd/-36O0X&>[4.Tn.)*j 9#6"^t^ﬔ >wc .X°jk߭t6Z^&a?mBL|W^b<ݭ>P13n8sOqHp ܬ8a/0f%N>Ե?,+}G.N;^:jM'TY KlRD'1D0jHMX9}bxrN c%yz])YYk3ҳ?iLŎItw UyR3U0 :P/rpCh~*Wf]9{hRUˮ]6X _ذWpX~H';hVxg林Z5y!ճjSJ h4wE\}Z@k~KDh5\7$ߛ3aVIϙ.1u<:@E/9 @թhLt))k] GGpʥsг-ؽQ!T /l_9$ih l'4jxC;Yk?fCM^'@-䔠lqu'$^6iW%ș,#?g'xp#t6!bb~\G?CĨp [5G&,0@@<%?OkKO48ei ᭖#$gmyCģBɮepbJ_3bؐml9\x+` Cd4dë{߭=w=nX0[2ުo'U1,?Ffx1A]wLɣJOq|~6A'Gp3ŴG_J/V`@TmqwGĦD4RB-ksPtS5Ca?)B?4]A-7Q^LڋQ[a}+mn_(d\ sO*Z߱$7}rweke[6$άNqu@{Mrf.D:]>yRYU)Q*u;tH(pATkouM5YD;^*<FIӾhEYB' vՓ۵  lhN=bl i35t lS69gv -<*eS[Xݰa Pj$z!֣~+11jz4't2 rxO=&m?2!-P|ub(~HF&؝y_! ؂H~:! zW4 4ڡjALy^\a g9',ܷ~;6AM17^bUܫk9cV+-ok^|86ͳB~Kv 8K}ںkF*v*rͧ<sp8*`E.V? W̗M%(/+ZFX/gK{ AX%=ېy-Zs>ŬR[ۑ$HZz@)9cv8{qw›r"&ˊU|mELaFq x˭?1i).m$͑rJ:{IՒ?6mяds2'јؽ@㠰IˣDGY2ήaPL՘J#TT(`Fթ$/Fiw&`> a{ԁ>J֩`<)a꘍zdYYckÂ}: .d,mDȾS7t䅽ydԜz,yH`d-)1%NlӝU+§ϕm܈cn 7@~F[IT>Q*%2P}/FMEᲟh߭;k?ֵJuMI~(GKXO`[skɅ?k>T]#& SdOpU>=-DK f7z&C=2\PCČ 뼎9#*#xlǝCh5|(;F xi$ĨMQ;?_Fo udhlm"tge_X@vXs)|v9-ș2'vx=[Pv8ĭˠJ@<,R=MȒJ3TTAh)U/{1$2Vv|ڽMպjqgs,hp2ʹ~E.՟r;)P!,A -bD%I" (@b]r1ϏO@5{**GP:b1,[LWt>4d&rǒil+'2 W'-Sr4Hx$ {ሙT%L/ `dJ \ui WQnЯBFMnXnlwrʄ"$CGZ x-8Jr- jXL΍69*;CQ蓱S,bz]ERa qkYT'N*B^s9*ZÓ@OzW~ט2-\u'O4`zz)@~B]өHlaT3Mй1''\@~+=Cܝ?9ZWf*СUzʩWPhdeq, /.+$Mj)-:% qZ@eh24JzlCgPQ(^p7:7B"U*AD]VS[rM2N}G^!$%W.?۴fN4M,g- =t$)N|S0Yu F0f<%u7B i=% ^MV>^}&eڱ>eDI <ѳX.u NE{{\c֜EboN?&TJ::#]ӋȔcTv:>,(.mQʽ?n1(n~4i4(\סl4|Q ߣ46 hn-$t#.>֕fj^9ҭo)_>NwBUwLm,_xp8KTT&2~=$V&7\b< hU?K] ?+)faHl Ab0eF 0E:a[3<#" 4ćÁh>Q^|\\uNcxIZu:/QXc$IK;cWWvX1p?(lOr?[;Gpn;##KЮy ?ܿ[sOOm0.Ox$;lK@"/!v߫oP5% c"jnrAgJjtD$90A9 xjFV4w|K+ KGCQq[$@޶GPq4%})3 韍=).v;8pI[M sxxT(:H>z@v*jgn &nU JZlTS,/w!u^Jx bCw5`ayPKI1=kx52\Yw~f}P.KF;9\U'9M{[`n~6ʀfk^2ӫϲ㊬I vZV/pDV jPʵ!'mQbCeT ڴ2h.>r1G%sEMՃd?jsa43d("a__Ҝ6w 廷BM.uWW ^n@ntz.;k(P6|:ze7s h,^]FICܔB(OGZ&-(a?c ڴ%p B3uzV]{~XlEpgWL̒YZ%q…IBѠ 괍P$ cǜpy^#V,Nmdn)9u636a(R˜<5< g0Sx[^,T\tEY6z8l0R]3wҸ8߮Xtk=󍯚`(_U+l-u$#N!otww0 ftnԧC ͋Ύ@up^d9BAO#Bјt%v׸1t3L>?cSi n|ܜdeaq'Ҹwʵ)*EͺtRV|#©Jݹ9f&tqOw~usn_r8XY-"CLY MѭjQ3Ҋ)-~,a>؊]ӖMX6X**qәH_nA4-ǿVڝvCW07xFۋ'I-pic:(S3k+ݝ'}_Bxe,D9>9ƛǃC0q $^رj3,:}ڄWT 3* 9ĕYAォ@xSx_A8z6,RpXJl=ـNbZh7Lr?rNrH曇8b1ʎvVE$m ^>k$%{xaz`LgG#.H%- }bs!e 63#wtø+@[t&#uryqÈ;S+-5^@$Q]"O=3?Hcy ]1w`տ[g!T, 䂂RɲNمUh={qW\*0A[drޘOΌ5  vylVX7" HT"ޘð%fCtc/<)Cjj x@ Ns[xB|D⚚J)6Hnc_1XRŒX#E^yFI;6em:kVXKZUy}hr,gM*zϳ *>꼹P)̓Aאɂ`C *ĕ,+9;lӄF9;Nsu7S[ ;b˛I,<9?[Tc*$|9LKWA#DgI((c2 KA_* UՎ12ePzL/"E~)⻜I tmi:؆Q=;P?,hR pن:I8SvKfֆzMamaX&k+ԺrM'#._`kY.A<svGJ_2$ ͽUlq-qħ0 Z 28bf{ܳt+8bƘgU&Z}g-h`f9>W7P}dK GHSmj`gͨd=`[m9˺bg cvF'y36fx~?X`sʆ~zRɞ1 mp Vt9BNĵ*w3<|# 7Fy#hwEm-zGbkY}gG7lDBC1 2"(B(pWT, -*-3r) VٮrP$wǎI+m'}RktW?Ysy4>dNmϮxd׫ {>s&W GKvd(de86-8wyxQ02KH Ks1*u9(yrU<7(i;*wrl{Q^-4I! /տ$񯸢*UA}S4Ab} xm f3'O \2*M" UܟX%diɹ@تz(+7TK;"V[WQ(eMSC1=.e\!O\lo;`c׫D>nqۺbR;׹¬wr Gynj*eȴVL\2΅iGih^PA;7V>lM_BZi4WQPRC-,;{aGR$~1Ype354F}ij+3 IbbwWP4EHdѕǿC$I7D/q}a0c>{i/Fgk? h84J2iU焎e][捸ۗFvXFg9wx;rCm_WWLؠvE̱"bL :;KȴrX"DgȚ¦VomN5E!#*I$@w:6pwV J;SLpOe`<~^˿8*Htud>6?D< OkPFI֟-5Ϣ\ pl۸(xkqCHN IhF?\#nnu<_^d0#Jݕf~=' ZVP1'EIR3VX;80,S !A𳢮z^`@CWOLIwm-v#צB]i-Vh`'ь?&JiV˭=Nt5ǬY)vF ]gy4ZGM=MMpo9B@]MȬSK HxTaJNc.#`*7õ S YJ'bKC!JkP H{As"PQ+1H./ˏf=Z 5AwBՉk v0:Cqf Pjڞuux=~W,[N8Ob$x.}Nb9 R+g"=-%kGYDdщ&mT@ Fyio5jGž`mBU#c\P]I!GE0Y+md}|/䕗ma 6n=֩#9ꚌP+14">Q.< ^;Ut_.˗EXYupW[q6TK jK97}E*9 =t)\Yy[JVRmfq| 4牦aFn,0$3 .>nALuq*R(ltЕ]X@oGo˕uOћY'GA̖[ǎm̀9_s] VB"Hrf`z|iw*'Kp*gw=SH* 80 `2(}ؒg8 s> 2C_\эD뗒Ԩho:"ʙ< }9.ȷ\ )  \o۱1P5mLbρǾ7HSC4q[Nhǻ&wa}SK@拤U-M \oT-µ Om-ZfidP(ȉ8~Bxɾ 5,lNR q+zS >1L-"~ejL#դ94IJ'̢OQ6 -95EZ3Mi _ASzKS~2aQD q(k뭧-2C*Qwl,N02MϘB ƅh=rN>fIk_;RC988 V=?S ƘT_ߠaw|KL()K1鏄r0hKȬrg2o2O 鰟#OY(&STؔvri:sk߀IΣ{Gxgj&~)hL{/,O9TLTe ${\Λ9EȴneQfC,=`FIXS) rߗ?,H_dӇ(Y+FUIhxx xؤ|z׶12 SE_•|dXyqk ixV 9O4DO 6C <:\P51BF{r7"k7ٜ)Gq+~VS;ꐾGPDy6&9%˕g\s%͜hEXĪ$6i&RC}pF5~kp Q顯R/& bCD5D<3-k.]X~5ig>gq\󎏣7orNcĔ-ڃX=D#Ԏ>x&y&⩣Q"w_]P57;yWdv:vW=fM;8pq^}H7vG)Y!Ћ1AF 륦^Q4~\{-A:㹘/v8gTq&AhC0bZ*QϗwMXgzH{3='Fky??ýjsy#Nh5F l?pnEf UO B>f2c. =>W+X]i 1#b ,Kid)0r΢]l.tnǰBwt/Z܂ fnai5wʆs&,A^WfQwTiT$L8tݝP#e}@`P~'`Ly8nAmI DEa6zQ*(3*l sM޸)* ~;Ҧ A^uS2M_<{:;x-\DDRo(&1j"q2|ުL^kLltSƍFήr_q!9՞Rml1zq0ou`XQ@$CV:^u~ЅMÏDꥪ@$F撃?SgFʸfP&\zɫ[1zP"M_㛈H'[IRb?L9w9(68jȽv efsÞ٣`zLGe8eZ qB., !/QEۼ_)3+T!cۂ <~6\_>;0n`T4)t^o-M>Bn[\>S2iرRU2&uT0N]qܨHaHc~&WxK:DM AhO͹m@QPh-N&&7سz]eQf1<Ʌ4}J3(O׋a7'aN^kd]؊Qn2~笱0Fogx;'5@Uvf!#_}~ޚ1m)S 8,Dψm^dºJ3Ha A3o^_V׫5g<~JsN #} `nT@'c=POIZ)M>MI%aX)6FNs~SBf"&p—TK% LEZyL48ޑ@.gQR[5ִQ'|N\ɰZ jzוݘR PSܾHeb ~ $HѢS #lO)ё+wWy$A%h(w| 3%xKG\dy+2N1GԵ-]0*VpNxB ϑDH,qE >X*rt̤x# n480)Y>l7W4] H0Fؘ gx LX {tj=2h_}GGC.<%!s;DA=h\;~"%0Jto]dQX|c@7.*]~zn3tGۢ,ڡdM_P=^4~ Yq`sjv lKm/WjWrJ2n<G&[@BK8&FU m+b$#mx׈yth==QFRwTlBy#J݊/:}Qg"P.w%Iؒ4{A5ؑ/nL?x+;NcWC% U0X8teQRQjLgn}J@* Fp,԰tTW. !`ٓ)/IFyȝpOH~'JJۂ.ѧxd /AY??ήѧq5Liei4B*nO/VyjG[e.#O"gGp)F/cxWNu_8dy"apN`#dV zv]~TJ|@a{u2 {7Y"3C(-Q0|c Շ^ٓؐI8CinN S뜶np|d /ZTN ^(ҁ|VTج 9oaVuނЙ+d# Qq9, 38FW iҙg \&s\sږ֗-0Di\y><b2o9Ir"]()7ũHN t^ldM MK4QMջ #~QH|"ol\}IUM ̾ \?]nqHipEw v o9,VȲ;j8K*M*> PaJ \«QŘj.jp-a.Kރ%sBO:Sb{̹=? d>EAuרaG~[kth>| Hz*4M}DEV ކ^E[`wUYRZ nMg'OAM2"4`SQnpكq7sn2By PSKI@/䲩o2mlyy4Bo>_ <`xg7^c+ D,f>|R?NJ{`DG ]bZ*.J/2!Aq`%8~hfozUQlN]$kk,%I 0R`me7ɠsobv"Ên:$D4:Co}]y5Gl-SFs;Jf Nh@P5Sܥ|vq̒! `SG Y9Ux u2F)xSLE/ۚKcxUOY9ZN-AtV!R'sX4:D#B_y| f. x9ܪ89r 0 C佩J%,Od)2ɫ@F1u`؅WA#ڿ7ҋ|B([|̊$ MJd?1` 1F|%HiN"Y4eI%ܧoύD^Ywjq}ycW9W"uCIb>HNv)&|ΪڶEDVP4j_RC4O0KC׎s5 A-\;ADj@ ݐT #{2n$iḛsq {-8m2|.#h+sz'Rj3j^[7vv~<| @M@%r0ш:Kc ɪFO1ۘ/ghY:Ixmi`>E,6d [eC[yVg|w*ˁBԃ i=C0k38=f zA>\#t!|GO3?1]gAE#i o8%;^)|F/!`0BoܔI1@O&dIcuLFdXS z!J}*9S6h9DcyʚE%5< Kx%+(!΃C͛Lg #€xfhbT59dgZ2ߌWZ؇~FCzc@|gESYWGZPR"XOb*֧RD jrѠcSf\:ĔN;0 ِ~7/V Ϡbw; CCw׼y_Bwa`/Nk/}#[}uL^n-Ii\xOZ@9o+uI'+s٬Y}+SFÄ |KT_6ZiF !| cG=k9x:ON2W/Z]˒~O IJk3>D*z/[Z`M,.[sFbL2Rnbn+뷷Lg h؆8@b$t#|zΛZ3",|6ź> n"_e;jݼ7C8K"Tkixd_8tWeF-iE8K;mi.Qv+e~d8KB9 3<p^iAj3{}/T:0(H&en+ky9rUp!yJT[jZy!gFLoIu\Lɬk}{Ɏ3;)IgH`1שU b$F#ѬK6 B6f,HYAo%\Z5t Wmub.)>uZeԲcc-eE0~Ks"m ;yšHh2ɢ sBA#|cE~}BQ=c~RURz%;vqY0A?͗oՃZѝ' "/ 5slذC f|2TQJnF >(dzt!s_ Q,X8Z t=P(@"fYB%+a,u1͐, 6k*Rq$j74 |"7x=k9{l]ʻr89ַHH*s1-:PMH feUvCm!)}FWy-i  RiU78;wNSm )m@K2 T+l DJ}j9= 嬽2.ݑ@IS\ٽM8wUn^, ],"l*\A)1IO~@s0q=>Na90Yv]8 /jVysg} B_۸GƩ-/8nl!#罹@aZ d!ǍI|-JgK@y8Mk&LIGy#&6#uk*uTAgӤO1wzq:OB9f@МOB5'?BS5/l!OSWof>Ú`]/(xrNZ~iW,3xFtX y(@׻c[6 iZɠt)Fʽ (;xan߫[,{-CiR!Q н6$g&+Os o=I *#Q|srRK6a\=iKŒsX9ӟj]Bi/$:&-Uqk-:2nU1sH&pZ1PڼI/h`ؤ^ߘjmӑ'Ez"WS乩"͢`j-?5||ܣȗ%jSS>0R.QiHj0>;k Qyڕ} c/A:^jzb XN`yX FgU3u aP>? ƒk&m6am1UϣS{ I}@+L=HAޯSBtHLoXͼlDqHn[}oNs,偎W+UciKˍ3nO) ζr9Ӳˊ5j0 5ƾ 02^KvFl'r]\ U_qh{7&G@l~;rjekpFY ͠-e9dZ6%N_˹X*P&Oд9sLHƋݙȳURkgPU4Ta0l5}@_ !)=I :ȊulMa4`T;ݷBj1EQx+l dJ )-\ǟ31t8t @P,//*t\vI&W^nO>aGPл h'Pv{yy@n\JJ5ަIm@cMNl}\Rߓ`)zr;>p9ս8qp9A4:3&Y5x M-&.TАBy% :+6hVYQhQ^w=6wL/(ӳ ' τ%#;S1W˕7+(.3vt C{)Id>-_x ux3>v<~0)M(mqLDrǭn5C3R߭XJ)[4P..[b9J>6ŏTF; 0Bfb'+-ZВF5o߰A>N9-`)eHp7ƏFe)5$J(Ϳik!;Ne@k15Ƣwo1GZAiC@i@-WJ@ڤu=n=Б`7fhXHʌ޲q4N2KﵰM)*ݴӗ("⩟TK}2p1 bT/)YF;*樎PЁYV;zgqb1h- umBMQu/" k:\,4YFh9t)~5N+'9W{_ J:hiv@x1t j }9(H&dlφ4 ?8,AU׃!,.uߧ-wILëKd&A /ȳMݟ >FL^XYtjn >$+¬`OO&.}帏TEQyd7zzk@Ђ5ItF¥CeDklլH7OPƮig(3*L < ~+A4eЌ:kc-.C| .@ s(;q@ ,`~ b-" F%۪}Z<Ů $+o%snA7!֗ppGp:PFb\9y6$W8.]ҏ&D0Lc7 ό4ܓ5Oiѹ}^C)_<Rs^g gYZ  ~a ?S% ,Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Unary_PCFdocument.tex7zXZִF! b/]A-MՋhvG"uIBm59jA5+<]Ju0#HQbo>B{oH6JJ , U13a+7هQnT@V.Lwu+R^n GZN8TSE[AD0bW@O-I te\ R])p$˭7RO04k!S@Z/A40{y ]ܘ7_"z^7؈^=c>c]Q#βLL_<|¡X?XW!CAhZ =}f0,L!mVcjY8,u6#QQ q6h¾Q򫚏Ή`t4V'M>O!Kia'arѯWt1p~ꁥ-w" I+YO),I 5kmje:d]O\KDUX [[2F&az8)+m0L t[~ q;& &3Z#n?["[gm>Ἅʎ»:8|(8J&q2'绖 sħXB>&A`M3 lyY'C蕊YM>,4%hgagQv]80u2[ gs qNL7[c-;z/eyxuob %r[##7x3ngPiY2))1E* @f h`;3lԀc,~=Qhߦ@R3~AZ__hTGܠiAIBxzqюL`WW?co۫VguH]J=]$6YUX* 4;d6ÿA]At2u*L#RԷXo eV*~En8+ȴungQu-.+ȤiDyx }~Z%T_]>S i@`ZVCtWil*W`L1Na< & B/I5-3Ѣy>8vGQ3Kq_KhdIvZڐMm.왥Bl-2a(S%;XFu8%,p)uk؛\r>CRV1 /}gC1zxx0}#j:@'X5z'h:9[pH:󤝕" u5DE0/}΢+ZIjQ*D`T'"& rK5Ws}?`A(tWwaR#S0Z\¢ ?_% \Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Signed_Multisetdocument.tex7zXZִF! 3e]A-MՋhvG"uIBm5ȤJJw(pd:ĝ[ըד!~?B9mS=9dh]&(o($ n[$9C0 œf<ʆ?X:W5N"?UcɎG=}ۋ{ײsיE |"͇_2GfRX$gNDO^#j xYUÜniCxǕ<{{(ZSia2M`z~1, dؚҞm.VB2\uUfbt^`:\>hDE;s ^0Apqo|12ͻȋSC JV4%zPsq ;ٮoLlR+`)gk|{ЄǵeDCu4Wӭ9*P o6o&a[tDWs.;$!lʌD=# rq4?Q=~cYfw*o'SwlF(`+s:HuJP-@XzFZaN07CPaPFE4p9yolk=6}wF{+r|~^a]T@=X.j=Q6pP)2E]Mh}te᫐mM6jL}mɑ#azQ<l]/+is,D}Et2%BGk= ΛIiKJi;NcBBs{C 0Y4W@yp0"),_J#"aeRU%}C+o3M - ~EIzbW)YЛM 6!`j[jI6CSFzH[^5[D6R%bۻto4咦^G(3 xt$*EcR~ N71 .79-Uⷁ(Pƒgǫ+*QÒ[6P YoC\7H "mCۭ2ڮ_®NvPӓ`BmlQgJĻƲ?.xIv%],X]_Y-,uTrʘO0}'E`>^b'%NM?WU~eC,k1҄z:zuQܱ/+282s=0O#,D<-޷^5c7lX*F/? !|1_6?=/'ͮ;eYۆa/)j>A`<Z"lN:|Ji*÷+SV⃤(1g䦨.rJ&k Zeo[x !RKb 3Nn#c%h4D1|E+$!ir"BHN"3[aϵxIHQD&i$eAzJ ATsluDR'w\"THJ%K5:]UĭgΎ fI]Wl>bP|`R؎9AV!t!1J+F^Îlv62/toC!oU1#@1EEc) qJ/]Jg;֙ l׍۶e/ކs ҦfpB7E_ܳ_>)@z)lĜ515'[!9]n&3ϸlbKbpHSir"mń'7aFڝ6ݭKr_ ՘:X4n Šl:7(oeH;CarCe4p83,B;ge(+f>qIo'RCo&bg![#$䡧/jk\ vzUWGbϊ4)8iPM@tV]Y KƯආB-_t׺),Gn #YZpnvS @6NHHB%hr;e.`D^IqT;?*8bRTزx[Ɂ1{ݝitS[c|l]& Ա@Pv,5S 7DDr 'װ.8ljz{%eAVPZwc:>$ABӛMsrd(l SP͚ۅ_h\n8@Wt[4܋\4-} 2 ,=h{<(s;>HͳmMOĶsvHyq&>Nhy K N ig37"s%iVdק׿@r"JMA%V+|m Etl<s GC A*F~5#8IBA瘧ŧ}/h;1\6vw;84,m*&2SצѫMWZN.Kxuu,^ָLrrsz@"bÑ؜WUR_~U^wt@up7 x>t ) нWoia=5Ng+̧Xc}6Qvnąlb{oÍI6 ,-wVszpǟ7v'uz1oѾ:]N?{Uf+r1! >3.u(z!֩46H>@ۛv(5 ,WRӚx=(EEV~r Yq 4 My&W%b$qͫEP~xBa9SgGAG2O`y.bTMDs79.ѐ&)kpȦ*,Yapx.kݫ'墄jy1 qӰA7"pו> IE uIIdA)zU8o9c,]sMF'n(>zGF5 vΎFbjۓ"0y!ęT >ref$ Hc3b#\G&p$* _tB֑2f]K)S=Nhs[0nH;=r(n\r?KLfZqydz(3 1aO!-$z`kSdC̋aSxO XFylh$N0tvq}I \y%c~tP l:R9Aئg0D=y)z8Q蝻R8b=,DVof;+UL@עt7TYUq0YCܛn. zېX=f[_ȟУ[7D !3qؗ=$U˵ h5u7g`I]: ѥ'uF`ªwCс56VQH]ܢ+Nwn)-Aqf?oaOG|Ch2Ɗx1uH>z(+rxX9<԰aǵ;1v@P0:N澒ƙ-\&.}J;*Ѥlu[ vktͨ( &,\,@ii$w?KcRjtW%.hpZ,lA7!zkGZxIK'lr3 WSٚ sG'*Z"ňZ_!,=ܗrOSd]UеF؂ LDs\% {GkaٙYlۮ2ϣ#N`ѕQ6iD-[6!铘 KxPq,nˆ=p8>=?&oijSQ;!|9H @aWa{,hd K̔.#m:wUb9?1B5s/b%o=Wzk'f仠LyG6#]=[uL2h'F{UA,W}#+P ''ww&o ogх'6FX~ fX\KJ[0j8vHtE<?.zmmZ¨vqn]:w)cRa#P!?*/WvoMbiK%gYO=R;Q qêi}8/7s@=J@`H[)Ά[C<zbCC_t5@.%@tl&ίdEkMo*Da{v $>-xz;SEm<5_H?=ՉX'ղVuB.M/B+å#"CEʾ!֡+)iK" y+C.g?a1 >:p{!2n;(?E)#cґwև`]ǼO$ ߛ9eB'Au=  =#uMDBݾRQ 7V>R5w_5z:򾹆+5wRL?96^}+6h(dr3'fpY_e3HWX+dAʼJlԜVW1RPeUwIW_u9^b@óH=s~8eq ܤ-))MT*r*_A@لvb=NyKr蠌G]yZ}8;[t|;,W  >|M 0ռFH')m<DBnmz#68uh& A̾ԐR؆AMkzibxP2wD@ѮjǴxKt /b`q U?jkXJAD)Ѕm0`Xv0@t.+u=] @FpsP&]NO! \U`T'p{쳲_1Mzt+2'oO}sDN3Ed>ת!^6]sƥZSBT|Ju@yeD8J<ƛ qn'_>aCA җ[ڨS=O@v E)]K2)@uzOc`D\y+94ack &q?c _׺.3JMb(x( .pdZE.Zu{"UZ ({UhgqpIZXAQ` !"ad>Υ#yEdp- OzQc@+BDyQ9ЛD}kuSثeg 'Mkxѷ'Ք~ٗl!Hp{4A V+>4RO EJ\z-_SN @0r;S;Vh^R\23*&*|3$y1̀m oJ¯^̍4Aepd q9lj:t T5 n),LynD}m=P :`6%VJr9@P9P.{ #,J!R/ߤr]ȸ[|wӽ$H*$3R̊zk&^PDJU'pykPsV9A}R!Z G"ܼ2짳>[i[[ IMOWۮ*f)Z@Gf |ƴ{ˡmHayj`fE5 $=4Q"VUiB`ow C>+40pLQkdž@{JԿ0_yc:pl$?># ]Df6j^5bvQ[d%5Q ۩c$vy{CxZ:w 2Ms!A(r-o`P6?.,z$ _i6LIC{RC }E0ELUL2הBb\.Qi9eMWG[zDta 8aXy~WMRe(9h 򩈨JT( a'ě8 W <8w( pVghC"mTjX?ΈDz]س('[:N}cQLx Ou򶑽aQa_ ikKART=TcEK Xư#񧼃i~QmxJF& ?g#]JB:s54T9xm(vO錥_V.@TJ#n/jF0Y>ʁJ 'H~ǤA<]넑 w!F:ɜ?:kQEo]J EBˆr`ÒӴL]c \XB$ҒU\3qamy8"2THv\gjm|:XC1k3#phw=ANSy!4DCVo-qm@ܐPYմ.HJ8q{&"xwhq]Ih'jyVߣrGږX*]$ҽJI.JFHcdvKFKe}qOiz+8,UQUXӇdf]_z[9w/Rxtl+33꒠}a]6 [6\(/Tv\zπVN堺kM>|Xg{ؒlsfGY\jΜP2W/ rT?60}OR0GSϪNJSMmelGoRFuEL5~ [>/]ЉxrjiKK64s\wOw~*UKnf[ *:草laAf}m&H(ww7V`#U$YQ@m;i oFmÊt~,J\ǧ? :R=&`g$0|`Fv^m8BNBv0oK9 k6sn'Рj'p8ix'pj[ I{3@imKb-ZOS L FgH4/T7iq)EH.}b&hQ @e`6TRq'9$y\_nskp~ g>ܔR/X MCK9&mkFb2%*5ǶXT CY&p^& T /%/6[{G4*c6ds^ċ8D[Oo#\8; lcլ^}L^kUK+c8 G#Ԁ-Ap :P0AJ+p-@qWSQi8TpHƯsUU?D8jk0ONx|yHYcل%pl;O4_D[K԰: dTpd (=޹B*wQ68ChL}bɘu{KS蜀dXGU߉XKᾰIdZh1F usv$HDji-'aH#&Yof>1"h髒g,Y,,'r_ӻR: @UߟPos+V4j~z`O ~ hi7?1Mz 7a};sxُlSa']D2Fnk`ܥjG3 Oh`S8z|H [UA!v;QM(d=բ#}=@P .<ӠIr`6e20iK[Ɇ lUxviaRy6УLoc'ȓ)Q&0u9mϵHo^bs5׉zIˎ_ZdsiJ(\%t~x/=+7h| 5z-. v;O0K/`Or٦<:14!O읟KCCm9<8n[ =fCÄR(k2p]l_"_%bC46![RobMAK2l2^A.+m1=Y s: CL,x# +A7!{F4BhbPoUPR`0RgaGS9hnIP 6adCۡb_AuNQBO9s\b[(gf1^t3F< v ]ܬ_iɧ5Đf?*HtRlQ2Nc!įNʛ.T)yEW֔G\!hmS}(~n6Ɏ2ޙwm .QocN~K-~@<vȉWBE[d)aR sʕm G2Q>H{q#4.0?K{f; %')AQ BEeO)K#IJ-,i.҃/-.7B!C*brv=[;@8Vqdɭ[ ,0\b+eE 0j75WoVȺ#nflM5p2wFCLom)MtQDO2ќXHUfDw M^xyM%~%/EAφ_5ބlHb+:=yXk":F d "\uBA*d3w;gcA)8(#"GSa5)Ն\C *|22Z'.:)PI^M B A<7%*A*І`ӇB>Q%sVyfvWZq>UqULqM~p/[fʻc YBY*R)`p"r1Ͽ^ t`b(Év~,`BW ^E㏤8dB%Q3E}96ʝ7y$:'ce'搆U~h:C^ۥr)܉HR.9 (yNp [ႯhWIhÛ?c"ʼn{߼eP2@} bb7#njɣh Lb> S, nt{Ƨ#e]ibuNI6"xs:c6u-_tE"Gǯql i,ODf@'?iĘ8+F{6khuc_ǵgj;MGrCA~lxt5с\,&DUk9:9߇n2mHQdNw"[\\ćiZ799AĪSY ƕlu(e*4ݿePM΅XO7D %`¦a)nҼ$. >nvތ(:իj C)=~g}Fo[I5kK5 f Wsfu^Ǔ?5gK},k!k3"?%Qgp(jN1)cBDuPY>`]7D wh1Cvc#mq&)Na$F}Fp؆oQ2`gmWG-9mɴ[gjbqqn,,#UWf۵^qۤb;p툃VAnmKylv1KkW=-@0_kċgڴ?1:ܻobЬѤK"M~\?W/[8,#ȮVM3M+($?Z;.La~I̾ȌșfdMmZ< ]?[ OR޿gpe2PY3d78Z%mGՈuθ|]xH$ILo} WS? g5Tg2Ϭq?&ndDWȲhv'`,me:D@6+|/4<1gN/H桰;T'KdU`,Uz m]6xxͱzHS)kYAޚK5mQOD?Q"nd4v(`9]]?q }>/;zzp K(t© !t%_G5X XGU`婃ON2uRknw?brmʵ0kqս4:mJiْZqFWdK `4F ~K]:}a,{½h$i~\FN]~фxW:Qa;: f}6*D^n`+IXhB z}ZieK-+:ӱ&K\2:AW-wysvoU+}O9py3LhH{݉_]^Kg\޵ExNn}llV}&{x+GMln@2XugZa |/ !͙*fo'ѭH-gL~̟J8H՗ "͇ hB.vuiEC~/_e7rlXuWԵ6Dż^ڣ֨xD(T)"!j^NN/$MrK #|w#eo/\EFdeސy5՘CFӆ/#O;(^p@r4Y F4V\/%isGD..9iL[|s Mֳf/StDHFdu8L rf ϾMOΖ.C *_LRjk=O-R{1mV;vA+Kj;v@[O5#7xec=I OM4HIr/omF㍱іF#& DL$i Ϊ*󧬶یlAR?湪!ToVCẂZll,Ty^oy*#uh3~/ULRI!Wـf1U|lcwUk`&)%]&|09F:Y[lVO8; vFzT7O! wRJ)}:<]suWePZa;D K걶Auoht ?V=i^G͹ Tmcj)G l"@3 䓄MK 5P#7PQp244oIrN}S)0P*7wjܕЗO2j R ~g)H oCvBx{㝖5@ZaaZL iyٻj``{ `s]͆]M,nJQi_`!"ܖ3 w]S͓+0g(Vȱ؜6= +++Kyq i$esWke"Fx+-ofLtvte]mUvH " Y02yd}4툦u9l?=V^Wj8zwt1 ,~[w+2D4YinE!D> g6sI/畑~XҁTl]3#Í2靡fsM/g%䚻w36{nf)AbBE*^Oݽ:pFΫjޜusNp^t4iz:uawZ7zy3Ϯg5Ҥ|S~HfPc)>\"}Ǒ`+ۼk7pkueZKa?)?H]L] \ 3`=zO 7nj+iwF4ym!~n}(HφCa R<KCf#9mYx4hwx !bvtV\-7*\-@p[p1|M6Aֵ1!VagkiwDw8> +鑌+vIS>70VaG')v7`Q&/vBثf'u̇ރa y>euنs$pN2(=64U>~r!t;$IndҴxD{dk_ 3֤?)I$!IdnVE`o8hdW]7Cg\y=5ց.g~ϔy; 쌛)6i{Y۱ʱF7,_$md  :ML<(o/CM}TЌ%#kvM8ú*GV1IrW$`MˌY,`߯@_~^G7_eX󨫋x[&}%qO,)s2<#_0Bb{oq6ZJgqn6JwkjUgZk,{]{鉸h7FϽd,nk쟈π5 .2pEuE_-~}'ԵeyTRŸZiA*e(i?Xx@ @o@1w(Y4:BP*܋pm{ U`\JuO@(Vh4-%ZڴOs 4@G0R!Z9ƖLɕW4,(;\vRKv2=4tlg1Ǩ'f LVhQ1 $mL=vzޕFRq~B:% ?;{\ 협zvX4W<|#Ƴz9~ x'zx͐圬!,Cp_dއCkp*4.vΝ?' ՊnEмZَxF]p@?7r6ZA俯|Q_&a[{OiKD^1/&"e*>HiHʂk0jGQz]T3tD0 e;) >5=zwN;Ԅmc=ՄTuĎCCkU0*z=nٓ.*fm֢6#6`Jh!+'Vېΰ8phlb'IL' Yy+4[RNckȺRn۶ 1|xp>@%eNt`#;#a ™ơ%,eHQX/}{m_%)ߧ54QI8a|EGRԴ }Pɩ.D\:-٘ 'l"tIZg* =3Y>h[ M6 ) o۲DrgSL캙eK[ + FdAN- J"b-IJ~=fqz#p8j } Q4XwFMVGh"H2( IzjF]fg醅ya%諶u BɫAjǘfB A$vAtc;梙'nIGp"= K&zޖbX:{l+\VutאsL$闌SM]۬uX֤Th%s'Jg݆Gs[=q_Pw&v"&$TPeP,\ԆogW+k%&+BcID48 :mCv h4;ebaDanhS["o)7P^e_/Q\5 sIxH%B":mvy3+,feK^ºԭd|rR-%Y ɹnx+6/ 覕`Nc| +^(o˲/h;D7S)m]wy] @8!  }>Ҟd %D'C*+ vU|Uxiw;n7~#&{{>r sֶ23z^Z3j, 6TfoGR݈{AϮމńy pGdecT`x7_r4qd)G98|KL\_20?$/lέ'!QHߥv,}ugP/pfW\"u܌ hln9!\U CvUEp?8\b8&4$AE&NSCܙuu-緒yH-&jMOk"LUNƒ^D8$;D\']&LPqqp<2vtp渚BPLz2*:9Úy!bSb8,$36gՙ"5_-1ա=8[.5%HKYZ.sxTcjc&, lhP͕7gTJoǼVOeD Xw^D̙`4sd sM3(/ [1BVOpb+ZmZӭ}R,*In;`S_ :jWZ܍Ќizy=MF㮄L-@%I~,`_Į@,"ł\qMٶ\@)t*8eS4D#_K(pzA0RMYn٫]꠩n 8_FӂyDX/MA߶pB׏eM ,4 i;d3#by'2o>n]G̏!\|>jPZ1\&㘙Ehȅc=RX[NbXi p_1s#b8GQFlBg $E ͶS a9k-I6#BŇ#ɦ^fOZXťP4Bjqf_St#6MYo `˜Ѧzɸ5ww='@n @OyqITbb{03Y~_U:u JUd ta]=vo7Ȍ S7vqK[-8XNJ@X4OG= hĖ~̲;ŋbC%>·~B|!l({nEm2VT"T8Nϸ w Rq L+pe"gjBtŹdȾ}4wRg1X5h,`M6 _5w1ͳ?;7 ]h;sJF6sf@dW>f]U yx\T3)@F;< +EWь5w$%֙͌\>*e.@Y[H쮙Is1g˻xI鞪x~F:׶MѥѽGwr~Y;`Vok6~_G"Þ9oPg[ݓ!_w \QU86l0T&0r Z;&np"b'}w 9j?i/cWRF?)0OMԣiH>DoNi< z45߸Axy'76jhŞ1=! ׫ɺ !O,ԎG [=rF*hP}ra3{qz 'z֛ w(ڔ/gՒ7m< p(Pz7%kx@i4X/0XE09P2h>0Fq@er_GTfguv`ݟ/ ';nUJ1,+ose- :Krwvc2 D2E:'r|4`:\26ƩLpeoIt@*OZZ֔Ww?NhGLh/}R l"@'b55̛7{ٓ+E(s.LߪFTt{ 3v)kW$XǵZ9[9>cx~:6o3603&Wɣ 3.TZQ/tx*N*ƽ/gpu ɱɹN;e@߻aeUS.kEX7%ltV[~do*k)DڽQiD".% z/zh5 $ʺQO:m?V/  o`>+#؅TsE? ȷ/=GME_nSy8w#1`Ͻ}^X\R1(f NhR\y4x+xn1M׾x:Ǘie;#4NZPvTSEFX$Հɑ 8Wؚy VLU}ѬQCΆҊ2B7 j>.Y#E!)ǁ|wǔ6/O",cƜ8AH&ͷU%u̻=SrRbRbLx/ۮLu0.H jPf+ dDTW#z:?Gqsm=M%_ qf'B2qUcGCw#AO}A*Txז'5H6Oh̒j rĒξ~dPi$8C]Ŷ|E8SҌ2e xH祝hw,8I;Qgº 7]ǽ;"Xx(1){ c2 XBXb9~O]~#5Av UyzEsY6]Jnpe_m'$[Ȥ!ͻ"?߿]5\αSkE;_X'wo`D"Oe`Sz-J7 Hɧ.7S2>5Ƈ 2 K9a2b 8FXZDSs9 y`bCB)"s[ѡפ^Ɠ\VΤF8M_EMv]xmKѽgvJRP$j1hWwTF )&~cc:pk<@7\Q.& )i$$؊oIKmzKD%aq}Z@2)/J1Rp:= K5 s+g/=+~7C瞘?mt2]oVO>NkpP߬K%I:ƣx5ll4z0 qŁMyѫ4d`L:r*j:Zp[fLՀ}_qFBwzcwK2iB^` ,g- QkGvuC0_WېHq=-JlF8 (mIΙ#ID#Af9ܭUPmANAXy= E6X^nmL모f0usXjf*ˍJtYB_@\5Me?u) 3n?.' ='-AwP{^2<-[.Jx6jsO3BSuVS 2UyOmD׹8&MV8HkZK~IR>/E+}k=a#;CIJdu9x{a\,q"Km{`W"45*V͂Τ8&c )\1 ɊZ_K!9w͡LB쬞ϕה "@nʄ|DAYs~ժ M[$uvBFwwCs~Q滨;r:3 (W֞:Ilr;61dKWA++ɓ!4` q@L'JZc篑M)NXj"*nUmճ36K䙲{8 eFeFSJ2< GY/[Zk?Jn6/{Hɀ1=LV u(}N̮j9ؘ0~ {˗b 2P(zB)@QܼiH}bz9&jvzp\zJĺhb· p1t* P"A c[i 2(>ƃ9iB | ش+IdX}]xTHo? }bT@E7mˠNyb`}P:Pyo{:Y(xxh-iL|̆U*t|F]qJ`T\螏W2ӴL~f% CW*2ҽtlWNW$#krgݔb<)zY%ɢ дQ+b>C?1:sbn~y&\OՋ(֏͈&V8.7}8e핅tٵXem*Y)_ ˱gYZ# 1RW!gX̟A[H@\)g" 1EUЀ@ &V; 'R)H1N(zyS"U嬄`]շ$:6 .j! +՟z-q)0{T NoQ'А~;|"t- <=3|*d!󽬗h-UK! = o/nW kz .<˛53 r>(WSI@N?Q09@e+(G`$wi\O= HXG.JRNNܥ OvD`ÿ̵{^\UFL9mɔsձ< ) Sqgo8=2#FzB5X`Ce[Ưk7 A2`(v#֗c_xŁP0B1cuk,s&zJI@s_+*>ҫ 5C2Ղ{滮ƐC3}kPKx#F-y's{A k;BܟHNS2^1˄+3!F34. ,GHy$t.cheʭ/SkIcomo4l;__ TS!rZ\2d8(գErݙǃΈ[K@Kwef]]Rڶq.T/qsA/X' bk0g#5h Dl{˴TDUXsK"?ED <:{u~!؂cx (—pZh^Z:i1m)|e6pz|`W[n3=}}y g|-9Ea7U$ZUd̾ ,ZRQ4l*^Z`*ynν5mJ ޳@S;Vaij(lp9JWcsdLpٽKMB SU + UxXRkF$d"xŽQ,0?m_|B_}Cd&(b\!/Z=S}b*G&مmBu 3гhD(޼L32Ph HK/jf`wf~n2(ѵ੡>#7t )w!0Nhbb"ZSVKx׆x<q|!Qx ;,R b;8Z@ 7޵jWELnd%S!{l:B v2,:f ]Pϡ̬i.uȉiE.D57Zz9 bK̮ز9 yxb(ÞCSC<~T-G5>BfRTq8۬$QY AQx!1.ZvOS#d){ Ș慞)Rq*7kǰXI~~>hݓ<¦?"it# HڋMF>5 <]K +*:%bǗFV ɂ$C38N"n!2yw[SP($X,lM jYNdsTR;%N%5wj^y$Nd@8x8 K FSX6Bh"k;`1$$wBy3db:[ŏrz H ZD#~P83懰8&%L*t 6 Q6~:4?4,ȹYy/.EWY+.1'C2"  34>GZZHW"Hr>^zE3oubX?GM?^n,qG~>F@EXp-W:g ;C-= xԕA!jv~t$g'\~o3^X1-Q.ͧMلtH  \;zk=k[CJgw|j.)}T::k#F88-'N\?rZ^R&$GXF\hYTa,ns+f̨ DDcT `JG;2WF\n͢47({Lq * ~0FU3&yJ@ ^PQ/v OQ_.-X2\S.QmM@Ԝ fZf_<#]I U {Z*Y|碙Իiv@yYKFu޻ǜ=q5PFA xeȿ=Rً0})wFnb3g`'bq!R1sڿW?E_hT,P^nIx3Q@s{ٚ{L\F&V<)칃k/<@ 2ΨmA=m lvaΩ&euz5SGI lJavN_MA6Է^k#*`_ytסϻc!;-z- hsIʄ_3fq_Tqyeoj( u*'g􆉖|Q w:x|}gcv{.s ,? !efǺ!=9fZi۱ 2ryGƃY| -Z&pr>rmnϫZ] 98,%p*QC ?V "$(vc>\-6*ZZ`kQ͟vbHHN1G&JDh fKL=yf[ƉD!/SqQ,ݹ䑕uN sW@$sץS&T”$-m.G <HJ Gy8[yek>$LcQnY]:)A0_$ń=cYnXI`{flwW.ضN/m4 `´0@+/;jCRV5|ѸlGsu+EKtvKX[|bpOpn2d'wd/t`Zp Zdozuɐi-Դ{-Fj1Ş/\x &NOqbt}E^E9D` Q|n 2SR>"7sr&Y#,89nL9ObDV_$(}hw) Z6A!+^,d@=yuj=S#sOvgLmsu`L;7I !ͻPvwvAt@RH@Cd|3/8c'hDM},kOF^D=iƩ6 S1|U5NI 6RR"lg^^Mҵ JC}=yW-P[x,w-Hmn !QKɺߢ:5fyԳo}!7gz+iW8E_itpkp2L,*׀E֊Ư'hcPTgy ?soԲX,nA@:b^Z,{TYw0j#1U%5!㬙١c- h 4FS#֛ݞG.RgT̔)N q"J-~R ^Z0  &3~+ $`ڈA$>bd~>5{Z:FVxLq_AjHzoF8c-JW|})`I eZ݋!hVH[hdC јԵxS)(~´~u/kR^l\S O=~G-` u'LJ_MQ?^D<8u9TE!~@v N )M>?P@7kbH9!.tȴ[2Cɤ6`E{ 7GGqJ:7k>$4)sMg 뜚9_g;QG8@I^Ww$^=);³[JB0pS52CNf \? k'MjNc!lNN4nN^LNV.lI]ߣM*=<<v'U#B'._3ɑhOٚY|x;5rX%-y/^]z!v 2de# K[!8D㴁39hZ4M-vIHZ2 `$;'߹db H58mC1ɇ7ڋ eiVn s ?;hF]"EP5U+*\4B{ϴ`XXb?ő~ ۠ti0$trIdB8 PcGX7bl8 & /ז`垵'*z/Ǖ߈j)"Gc1>xk+E b*}AǂFX\].밒u NLmm¹2Szq\k _]l*_"*/&GH8γgtYQB,|rK">tcمf%5^8{#=!]w$Rcpǰ1\ңU~no'dI)N,[ˣ}nj)5n@ yv?ؚc؎I׉kLh!][lK:rar s-̤&8>>!2i`TUVpQk(yӯT]R~Ito(ҵ b#Soǡq(5@-.n ? 1ִ^5pCzP*ꬋ!![rBϱskNKh)q[Ѣc61:L¯ݔ)FG:x N}/=A] _b߹̿y#>\Wa*ɞrdH[߾ƶi!\s)?uvfK6#ICkrM̞ECYe[/r''5ɘ'\dM:UB^ЫLz!!Gvid! o3* H8ZE3R)EHbq TKC&Hy &[" ӖruloNdرY"S˱Y>d*,_ڋψ?[: .d}6S9aj\^a)mqևp}s;Fi=+orMY}] (C%ɲsQA423_ Z1&=ݱ1'ՌzU,B?ho~)SНY,_A]2e`u[uT Oʆ&NQ |o TϢv{pƸb%9-@IT0ҹT+ @%'.6rڅ ط[]R:%kr%@ qD^taHjij&叫fn}YX^4iMu%腍%MǤzvA(9C)i|N(\,֪sWBz=஍FWUu25ntqӅё ]gyu쵳Z]c@>O`Lob醍9q~o,я;"`U@jke&xˑ S) L"9yEIa:-BY-gnjlP=ڹ;jX([\ G;:_([i*@4";dyjRoj|#bj- Vps#W`g~pZ[G#L[hC"Rg~"JO|@;s)KY9NKR>`.<ÊO60OTD Ic,&&M dy!q̟+WA4F'uN)Awp.^gKtb$26I"UmLP]`ϫsǛT'8 )FNV4׶7᳠Փ!O&Y00I'}IiV:ܚ}qXXW 3NjQcOk<6M~{<\RVSZMQ˘Uվ]z[ b3'=b<U ="iT20m<q_&wҟd;NUX{kp'a;}'v7{yY4%Á0bJ]DL. };ڶwiݭvv_qePcjfN+YN{2aɎBa& C_bik}3ΌV L*AZ@֟,3ia+GJK@e\o0TrGOHd> 9Kg_exd~ͨ[٤P?XO~u|c4QGܱIDb8QNm(j~/0OD6|)bǵm.D6цR=DQ #M02#9e[&roPy[7]x|$!SIsH0%MS\hdrqJt *{`,l<4L,kark<9ݩlV(C*AF4{tn%|%c UJAw-xZ.ã]-q_hh @3x]I|a^Q3o2Bj>c,Ʀ ͧѹjSh}]^@!+lm@ZʪR%@1kp@ܺq{N} sc 4XaBiI~RHn#Zy:M:98K7]vanxTltD<|0%F_f VrYֆ mȋxo y>t9q{ep Wā@ψvPe$gUL¶ 1TԋzM)#處=rKGpQ;41q2]Ÿ[^"t!變%)M&f)BF Mtܺ`a4z]zY̧3E|[M0j1CmR7ߝLnTZV,$Q2keFd`ĥ#D925&\r7ƶ~KRCUB۹ڲbA"jA6q(Y(̝ޘA"na/{ .; o co2(>&<%j 0c{.3JY$K.L?ST|.}Y> %oNv1qOoxJ`LՄ\OrR 5*!EE:z=9sFqT+D\328}UMlnH7KOYԌ-Nm) QI,m~ {lW=}{S3 ^d4ZFpp>!eU J{zW՗S/X 7հ5NO 73b_ od󚪋$ģldG1W$e7p1*Q_&(b`K%mצELThVUzvV2a`)fUYբI(qrS6pC\Ts); W耵`wSVfdQ17bgg`rh3EˇY"E@kƛ1nv!dކvT1Tݰʣ}&7W!On'EfF`X>_7]ibh^,fF](W&T$טSUmʂv13 ~S"j+-%Xj7K[? xi򬇔{tY8{=)1Q-z&vPW#Lq [4 >xn^/`L:Rx~mlQ=5kakyNiq?]56X58{)NXޢٷ .}6뽥E.  岤yx;)r<T64 XfbKS[t>Z_;"OhB+wfDVːMHr&p]7OjMá0legnڇ8^: 7arxq=y]^ h0V ʎbÄǥqYb ~BD⾢vv8 lrg5W qƔ/6FbZb)}9JoWU5H cpkɁ Eg֢J2W!'[o9c^FMEcӍ`^ױGIi{ qh]amAox%;7;d,bUqũq\b])}T ~/[_bk؁HMڇjǓCT/z؅(cYrC 䡌dޚo95lvbպ4;?"S371:mHZE想ߌP~ӂ_VK m )j5k6s_ n d%!( [Xi.լ]zU7A%~#U==S|w"%Ǥ#:XM}s멯0?jgI[, @5EUV yJhW&}h$fKL<(Ccߺn|=bt~i0;$+N&Tur~,L4ɏ=_?U\mQĉ?YJ_ݾonuVE h#)_# I$@5T ۅ:)ڥL{oƜ@Vf`)27֎ϮZ5; *ۃMVݖQKVrCA %ee%uYhbeLʙ=..Hc&0,1 svs&}ƪ[w}H+{J7ݍϱ6KL+d 46V<׻pHT)^g[+I+c0;{8Sfι{K? rZQށ^եÒn k*8N`:3C}qDC:Ŵ+Kb;"3BK.N?ኬ+*ܽc h[/ @&^"<ߒYk@eMdzm 6Wy)HBsyӽI1P`8QA8yddj4/0.pg,PvV$Lҡ/=q WkCŲ5tjg*n E鳜oBiLĩn[Um kJX>ꓴ0j=s`(Gly |w :{KgP r3}0i^ģ@%uovWz=}GM쏆*JWDwR\ۖBJ/ ODFX`A1i*ƵFj$?mLg6>4j ܡ`(߭x1e8]㸷S ̗(jT/qrF?n܏,/ ?4dXkcaD1F֓|y(*zdq/Aޏ@xV-ԺWNz'ho9+ys6~s4Eц B_0\XoY$ar@ѩpH]nC)qdt|k48c6muwQ—7( 9QJoH11<~?PE :b}kQ&YB ')!]6 ltg=V =1W"7n9-ycW$0 "Ԅs=Be<`t l 2N]\ZӒA#kOx)`dxz$-+o81J2h3.sقS`\d-,ᬾ쒫M1˸]i4O.3?Vʻ}ωٍLj" kS|MkpI6}[qpabM}f [8%}&1+e84Bw%Wr"ED??$)knƉQ3H:pA-lf Vy,/X)%^D/ ``<8+KVMjra6mJ'1K]J'#Y?'ՀC~ Co`f!ct2αOeF Pź:^3l=d% "k f^qP);!7e8 x: XClkcAC]M{j*w’6; /t`C-!"~hWJ$dqS~(B+W©lEDөתVCF"nyƩFO3V]"w+(˔.zhsh536W!<燾zߧ [i:{feYÞF|D7"j6S#l +y8oRFk =*pGAKKEW&ӄ=ӥvC16CoHMȂbG` >;gDh\ lן}ns gݧJĶr{!_0Ī%{_] /< p2]  \i43ݮHQv1h(D5IlaF1LZ+n| mIy V,>N <&QK+*īdP/U`[9 \L0͈PةWYbLO;t6ՠz>Agezɛ5ɵ$ ֋f&;od}:4uњll@ц5 *1D,cLӌ%䨥zuA~Wx?(Xh}X>&Y&=/t8PÀ2!F9a1'#+v!lm\申#[#c)6+($'i#{=g[׀׷L~_NeW0eG]tY8SnU3!dm6]oF_J/fw##dK)} 3h)K,PX#҄T;J# 'Kk7#Mecy9ΓNރ2DXlM?$ t9vm. x(ʾ%Dj@%2B3 AsN}Hr7Ubic (A]<NCx,Q.ز6wHjHyZK0'S5lK"0dڬ!f*RB7r8ؓ Åƛi@FhN7/$z;R>'/ cwXґǖlѦUG՚2uss)R=e\_~ڬ8Ki BÐgs;@BDuh#^'.V𾦙-ED0 U&phm-#2g!sk;wJ T` Uy{]E`Aԋ8jƽg5_,qMG:_"/ؾIPԾ;S1RKJ Ei Αȗo(%׎ʹ`@/CFߨjp#QPuB> 2n To '@zEismUש$2K 0ӈ&n:⊞.W8_حMz7*58f'׹V]oMݒSy;!TmR=~ݐ c Qt5:u邘˄ol]iCkY h'OqV`-[#vV}4 ?ƜҬJ` !xN`)0e$ˡ{O(oū9םF)}5;zjҩWձ}FG}jU搆F -nxRM.lU0̻d 6<+ GE-u x6 UHGJl1I)/V G'ZhKq3d p ݂Xճ/e &+3[7twj9l|9e̛>mlV':{0s"NÚO܁bwgkPhb~B5Q= 9EqM(0nyY&s8˴DPI_aH# }f5C{K3a|֭[Ʈ>(V>~H^ /9B 5'%Ց &/fuxJ&)',@c:Y͛z˹FN&֤&.plzw޸0wdC'?צ#||>VLӒMdYH v(kdo?BW&p.m}XkJy89 aIh/ܹH~H1aDhO| ^~$ڼݴPHH3@ݣIj͏6'ߤEs*5\/4P,QV-- )3r\ мX[mϿ,<Ѳ֫B5hVgJ[bs' rx?'IYUJ޾B *zқBhFQұDщ$C0R53q&ן~H/ u¶0j/!Z)Ȣ:5g)T/'F!K_-:}~TF!א?VC/X#RTAk0ok ĕPl0)9ȧ 6N2"C{FHt*b.@'vI6t r.?ݻ# NH9#Jİ !Tk,C11a P&e{9n{])\\Ӎj#b!6e /㚰VH@Pͫs0v&Q}[煥!:*[=bXd{TC΍Lڑ*WmETX:gvV9JڦF^tABX/M8a;4bQѐ[;*x݄,$0 g/^+Vqf7Q2/u7Kﭯ>KSPSGutۭwYq z"E;AgdMWjlBY;rYpB(H82z"5D%F0N32M"(B"I.%d4NӂAe畺8s%)I j m KHhnnX&㳀gF4Z&B =ۘfKT!fOa㝤4_ }*x(rE4?z>_Dѓ+'5z~}_4NK e'.Rc!(0V(c\s?Q\Mytp[ܜcGp@&[z_u`׵|TXb+Mr1M}"}c W6l&=w3\|}JAi~ dmFV"=le,Y֗?M|hz"nol894z )߷zFm6%7ozPwYzE/~$u _wt@Vo*<yXXqCu"1^x<6+(Z3h)"`zS GNw袷ق忁isah [|8ˏ(A5u bo1ZET/*QÒ*'5V%ddQrҕ! ֆhH2p3g^$+`ɋN岑R ݨ [[fL<25WS,o.wVeup"" !l&ժ ;ǚ{D_ *ŏGiMLp1ӭ. cvfqtlw:)W:{@\Xf!HןɁv^Yu&, ߉{ke-MƴyAKσNCCt_>:Lj=$ҀDhw!!AlCr&ˌ 4gse͕mB2KNQ%|m2n{o"[pw6i.И+f8_`*t~#M{d@UHrB8rd,M#WY32x-1I(dq|}FXќ+6*&V7a+?31L\%+8 #ZiLfճc gs##Ss~0׀n=&HC/`ު+;Ip)!E[stFWzd_`{\|E5D [άxe#Rj7Jߝ0(;&"&J-`W7Ӻkn<~TFlДeʓx([ƚR\*ߞC'%X[?{TvG~O&1b;!G\46f35֦G &ؑ$K~pRK~ @ v4ݘL6*4/rW8[wOcJT| Q4r#-csi niEuMIHu.p.w |(ooH)6O觭ݥz(-Sb)݄c{TkS>; S'~ b@$MW8IP͟PG$zAa}MՃEG݌o!i1{T`69ZCccLx7#xg]A ǯHZzyE^:bEbǐ' \bc-Yd8p$8cJꖔP( 3#MLG "oCİ#*:it@ ԍ͎4 Fs@cuɬ!r{Gt p+3ԲN8Bk;zW-B܂"jR r6JRe8+[U~<6|q)7&AΫ`*INS _+A~$'X:ɫ](e\MF9.:\+ ' szY.Ru&gaO#֚%czZHU@7ے ,qP9L56CgazjXp}&r^>> Η d77{<7Tvi "i!-Jb)&%~ ^[]}x J-P]rӍCFəcQҾ1" ˉ=rilMdbf7db 4=Zx#[&M+Z^Krs2\Ab5}G?*KT._HSdzQuK )"iSyA$P)L% K\?眖l`_ÁJzeZ_!m } QC3T_A vGCaB+^8y0%qf꒹I+f,a"x)YfDgM Z u[P֦Ru= `6ryQ[_$),5%'|\~wV˛"I;U(7jI i? #[ۄBNT c{;ʰSņY";ɛ/L$r"b&i=о?ca2\|y_:,jJلI]yyhs_ݹQ׭^uTim![D휅2* 'q# oIdjD2*zE}SKp'\MTBfP4E-T  ODmʕn+(moF*qG' ϭa]\̳庠N\ӱr>18]W@N5Вf@ZO t$њc?#Z*`O>^=ji-Z<_׊!rG̯q|ݒ.a`7`$X3`>W`ސiM)~Mrp`H~?ߙ{D~5n >֗% ~qFg˜4{0!^۴r:~ħ\&[w]uW>x"9xz 4#ײ2oî ;7f1Ng/Vl(8OD˼qeqjJٯu6(&#^&- \\*cWt`N狸 +)f fq=gQG98W(Jb3&‡^;?cRI҆﯂~da&0JߓX+IL/)GuDhX gfbv&i0r,G1QRMcSQ-.2Q k$c*N T}!ԑJZwiqV Hh-vgeh >[&lWt*ֶ#egWss.XIj0WiKuz$]"-C{Fxa_$F0t͟1<1R TպnagGnG%OC~.pH#MGT⸴߀LFh/t(59vzr8ca~9}e;@[\*Z'n Sr;%L99]<`7.9Zzrq&r΢@ opH!nMPHH2U\!zڇ \ dz`΂j Źiꡐ rr΃ک]2mX$$H\]pQTP5ܖ= Xas0NB*V"X=.=6L<+)cU_xg V* e^(lA2UAchxLm:e䖔m^[r ah54؋{&}Gr"`zZS?Ao 2rZk^N4)+ěf\Yܳ̒޹ۘS uP2{eEEx??$fmm7ހ"$9R,x2VY3l\ ёs22Mwy6hP&<=i-B" hU~O]vϐd:sR)pbݨ!We)Y,.L_`hR3A-&q:@" ݦӦ=(kvQAIR[ w BJ4o˞l L FKpc׋frg\>-;L]\R}nt`wbE6h2[A=B.YMr&>{aF>h9[̙M#_+6:B $jTa1q;tόHBȢVf]fЌ>{f쐜ʠdF?Ma3٠ZE*":܆C\Ċ:#6Bٽ_\{*xR1t(D@ kijwbX' ۖ }b6Q71]ud^Om2 .ggմ)Clw ~0MB-ǡgiR!w|{6^%e:ΔH8r]D;v[Ω'5p}iA t?,Ԍ HlϾr 5+XsM}c.]Hvcaq7M;I1rBzhIYrw\59R;W뱣>#~LѬĕKiu(aADĎe}a &Z<ȍQA̾Rvn%0iN n^E7]W$!rg$Vu2VX \grȍ%D}{wl DQht~b@oOSm VzLV#ëKSԗwaa(V]g9;ʿ &LqT`G- PgF!9G.I?75eHv|S "}6Cu9U Bҩa|/A?S4'%)RH zGw ]V=!у VSeLC7 DH L2A[nzT݁ o K(EoYc\M&^I gR%, l|Q>YMpjqTk]dcRWþX]ߙpb4΂Rgz0#}  C@] *2tIX"LVXǣ>WAk,{ngbX)oIX[ӔRˁnx,0‰ǞW>95zxFdC%2O=iOn1C'gd܎:,eD/B+$N/7 uׇNUKw@\B^(DtԙKM^I‡s.4BlnػzfNN0lYlmeȓ({=Cievlu-Ğ m H} oFӁl,Η3WыSKp{H#k)b&qu %TVya$ɺj_E*UBbl!KrG?𾩌zڤT ko&~!.V֤:t^Ei9XNx|с:P$K5f0j + 3DDW6=#bɡw4MBQl+ajA6d&בfQS`xۤd%s*F{# Cè;2׻Tn# ~xnsYRKQC)3Zb(oX,I=%YVsŬJ|I㻢OZa>jvkzlZ`bY$%GM`&W,Ϗ49Ng X Jތ]Qwm L6ѦOW*&Ml8Ի,k6lNI8vjLe%wF{Iua`R\\#|~]^4!*RXڂ΀#Oޏ>HyƗVROa9mV+ ArDr&i tvN¶r>MVաIԲ|Yc?(FCkIiLds/u)!q.ƁBeIZ(ـ݋_}n u0ۘ,Y3:$qa0cTERst|Nom w5RMM=F}4[hO?CQd sUh]pBiP[P{zڧH;kjؤ-]M9̯K@C$#ad_e* xJewlCZJ "z =H*&8Tc3[`9=Jr gH{֬?8ZS,Kks=KHȍ6R* c(]]< ){l[RA0wtfNFK "}U?'n؏`sRoĕ}>X!sg.hY1A?Y0sKgnXl M%mmpPJɣ6Bl:λg})\f8Qf삺xc'eP%vBN]ǓHRYTFdsP 'Ul>fQד K= E90Oη#nC̮&^!D'f2QRꚥ)d* WRb&&u/*>a%ll ͽ xx!x2Ndm@pp.ZyG1Ӈ|۫77g*C3!߻ՀnF^{LSGvB pEX+~!_BdK%L,f|.]-} *zyva&&j0(g.3^̹xO "l Gлhq'&I\L1'"VRRsag$-sm񵬟ML!W̜+SU(ao"_xbP堅Li-wnU}瓲%nd7lLq"ՒM^\Ht_P?Y>KwBۂl n%g7} I`:b.JaA`nݦH i6 04B)m͵@Co+0|MއPJ5.}3upKQ.H[0̎Գ)1#H[? +J̈́<ғ3 QDM_oU)r:<Ɋc1826.{78{./e v:TФ󢶫qU W5%4)s!o4ӡ8lj♤<)Ut\U]>A0oVDkUCgG99~dS\%b/- 3z9\Q >b }H %ԃTB4Qfebbyx nE:a6!(X"E Z(qak3h%P_Kf,}3Z)ܞͦ wok8S?M2;/d1_Ie<>]92燱Q=(k1BA5BK(8NGFszgos2Ҩz85RAr+ O{  @BVZSWM9WUp6vob;A>t+Uf1<* (Meg\G"' I!'ΙAr.?!AHG#[O QbAR2KR2/ΫVK|KAqj@e9XNNz!χnV?bGh!> tO{YGZtpK$t5"E(cV.zut]8 7-O#mX~}1.yu)HT<#fqUudY7;A /Th58uҵL289 lT|<~f.|5ΐBk}A >V `YFڄP%.T3p+&lyDGއC Rk?[CNZ@B:ꢜ>R-$8?p[$G8K)4be&_y(%_YXb[W"6LY컯ŻN#goAr sh-_Ym+;$n$5ݸk~ m)*"NxaDjf{+JұsՋ9ـ5P)>IpgFrʉ5sڿsFvhu-VFY>mڔ]qA@ !:~2[Wvɽ,pHm;{v;-Rv?}K`@vBc"|ԔOvttq5Gw;Ze9z+mnD !m,P砧]s@߅dkU7V*:xj MF#7${jk tOsj!r|iUmOb7^u x{+h2 j)F 8e{[~X2?wݷT8cncoi\H?T/au[HS7s$^yMn8a'E2uVLًWfB7YbUfmC0ZU/ED65c|AяRPppKvvIGc <Ů$4X{d,^5dJ LhIRI\_H[Y<=nҞOk.2#(g>x'kt#kbҴB85K"}`/9* ˝1ޛH}0 g輯TQ@84)jS5̯O}Vaq\ YqrZ 51Lh{g39p:B NwFCNs.G`Z[OmF4AGH$,j )q.WZSgϼ*阿}q]_I$3Z |ӹBMȰFK @Qn4߹]`YqL) 5ºyyyI&_4D{58:L$6jVZyj~-=>,Xh+/"nńWwuTiYiW)}Qaʧx8Fo (iy _JYά| @s7tH{2_9nn!EBbI\ݧ3ȷ!k0S RP{pF`X҅ߟý!'Fta*n~` {=w3z7uG |JH!b#m p&tPi|&{, .U!$pŢ( <+m2:4g6ӎE|&=HŚfj(Ԏe6c*֫'_ZM T E5/4N'u>a|Xrc5 q*/L 2 g6Nh: 3WD1"{Fx),/ȑ&e:f%\B-?H2_ts ͂ X*\PMԚ$W5<+^≿ ޻-{ጀW@ b/-zp'74Ybn?\J *ɾXWN|UPhQrIs/dE;Nf/WtfQK} |/5`"&z~cj=Xue\|֯_Q\x"e-]YrR>z EӲ`rCwNE5pPU*iv%"kS wP93 C'ɟ.؏l].riUYf:QMېZkst$"w}. }$X:7i=Z$3 [UK+jcD]vM9}\"$_f 9ߎܭ[M!*IcÈEM?pMl|k3b|= 8^CC9GҤ`cff<:߱Kuf;6V^ҡy?΋d%-cjkBpQ@["V}[\ɐ|1n?ސ; lIrGR2!+gYZ  / ??% \Nested_Multisets_OrdinalsHOL-Library.Countable_Setdocument.tex7zXZִF! ( ]A-MՋhvG"uIBm5`''-6ᶈܝi7wq.?F|.LYc#0Ly[<ϊ+&ܻM?lť7KA NfG2g\+e-HH 1/*_edⰛ 7}TCst? ZSWl^Ss4G䳃+$ssB;oUb O"?Go'vG'ru='G+/A" gzɄL/p+<a!# |bYaPm|EK'%6JL8Y퐤@VGO<.k2-K ?7% Nested_Multisets_OrdinalsList-Index.List_Indexdocument.tex7zXZִF! 8#]A-MՋhvG"uIBm5gq3P`J깓YkqՅ| Ii 7I/rDŽ:W1hF [$'Yc!#AFa(/=O@@,2;HГAc` !\k~P$#32{\ QqHL瀑$Dɼ QF&͕5Sϩ.%}0zڜ/ΡB)qwc=@Z^G 0 =yi*x=ir#EDRLvE>h*{uW>aқ4Ox>J M3:>cG4aaR|ie{.U3 :H>KJ?" jrOӑOΨ[F 2[ͻ?3Yjpԩx`.TcqIiIVf.*.!LK%zLxC*Ж$uבP> TM[P=@AAB"vks9e}\QܚMk_G1:wIRaű^n8Ln*IJ71(:Hp)P3cOKZ/P>{ ܠғ{l͈=~5_H[}koZ 'Amtfrs$X !o[rD/"B[J/+h$3<]_P{;.6&ǀ ܵÿ f R3(Z(;}CE2l W:{y\c5ڇKr"OլXl3ײn' {ȖӯF'~` \/NmJ#֬:)}JMǥ[49Z׾Pf "PQrZ)H-9 zCRRwւ!™sLRSFܽ:)Xe9(aY_iTkݼh6b(g{<8;ٝ0?}w& }r{HglzYp*}fjqq\$+n= ~ɔ/.@5y#'`8O$SzAOxo+ ^[BDuN^%,ʨJ:XͶ2%SU,!m!8tپI);֊f)qWČn!A `3A\9d _Id<[DVLy\xZH2 MAm+FMzEUK5W !~ //h# Jt>^!LȰjؓap|;+.#F6#C6N vc+)HFF35v~< nxL`'a(Tѿ>.P?ПEo@oum#Z'_sٯ|ctVmϢ ;̟WNk 9#)if)^Z>do*bQ(z0~apxH𻦺JreS[E$0pϛ=tOQ: _%|a<8ԈP`ō1X8yg]dHCLu%|$Xͯ2|ad$5sߪ|J)^py]:!T;sH6I%Ҁ0K$/ DoY~b.>5yÎV|:2y ORsIkԕ0Rcbs!{oW&˹-qWhi)ƅU%1;93Yt] e/Ccu\{cWk5_@XWO>\e9VOS~[VKn"#믜 g[]c $IfWwbHRKJ|*!@@QB>s{ Dpƣ#+{A"b-lӢ³Fz T<߬\]Wm!y|!Ccrd*t@TP); h q%Wev$;tup 2t DqorG}f3y:i f-&‡h79B.e v[}Z#ݞ:oɵAH%ehD 6:?Y4= ,@]+P]ikarެL{ytFlaʷ>~ά=d'/j~xfFQiij6C?x0݇v]oz7[3CTxNɏpmͣfE--AAYkR^h{0cIp.Jw;78.{:_UJɨժ1>jЩVujԏQq,: s[tEK*)<)N~aO´XZTf6pWmO^R !$"#U/EJ {a\xm9u<@`n]mA~d Gꣽ |NRUD%xe(nijpefb#TfW\cH;u2ceUa,w3IHO΍#VֹޱLd3tyR.FA7x dX8|8eX)lBē v4=L3斟7r\XE.s"^j_59F>(t&Fbꯣ25_>jZAuؼ;kϨsER vbY51^2ZRXqz7)#m.ċ3P'K3VIr}_ 2ejΓfj|[(} XoT 8C:3ʨi.%YgTxU;:ƴXR}[B{ZXȣe2м3#2J]I'ʐyo[e@^56@{5Y7`eQ-X*F:Ml)#I#Ѝ:l|W'S6-aN:*QFI1b75R%oiԌ@j:2kB"}HSwA)| tꠜ֠Ά>H#)Ru_BW ցNri t>0> XZXͫ؊DgHP8AF\pm#tI0[+4r޲ڿ0c{مb6d,_ϊ4#h+wLߞz=Nˣ3iRʛ m=[ӝ-*@E99àOz eCU% $⣍^kȡzbلrZS|0S!WrГ Po }p3y-WƀG y+~OZ]7,Xk~>؋1Waxr2k_QdjoWFA>f=h'>0~kn 6ylZ.'@"ZvA퉨 TܶAY&˶T9GInxh 1Q.'(8JXT?ѭI))GUf`{{ʈUt) _/9p'7$NNHrFu2lWbGfm0e>TqrKa{X¡VhAXw2:ڿCʹp6Kmj2R6 B@5" ).X% 8-%j=@BR(*7L8glQ'~R;Gqs[xJ:WLFyHP "*`1z{]B*ն1ok +۷;\b=PUXqm8E]p7]׶;]/QdMgx4jO!]ِvf }ԤnmjEIKtVHQXϰ<;ڜYo|^R&k6€ BjqfRa)Ul%1Yĸ1*:@h&jnu:wOfk_³=]iqK /Z iPųsi7w 2!6{Pnۧ`4w-HəFߒΞҏ_ aWoF-*쎅?7?PA/ =vtjD4w^ Y5@8G iKv_Es%V-Dߞ >dy;lF}vֽk ԍ=0yմţMvc5{"L3d/W!)!V9W֝3m5 ͿOT bUHG/@4xؽJ=ZSↄqƎG0SpX`҄Dr$sDpW9&CC}nJS`n({h6:^ HgfN>mG^+GW +?Hbhޘ+T< lsA|C. lFs|~Ooau Pi%NE er#|`X+⫴oYtK&)!c* NIwE找>h'WS4:2}gh%RA#a&q`h@<&7"'0jp*]2 䕜@t"p n`eP@{t ]*}1UlgLB~VC0R̷;6sv\22zւBps.Vn<ȹ'! u@MvkSoX zaQyIFF{S(Xq裕 jЄ {P8C]6>&̘6ڶ()װ1 N!S%Y>Tg>`bOG90&A = #-IA9R"s}K`oc!w`6UZWːþ-wWcw+ E:" SOoU.~H|^s-P|xqr`aTPD⮚HHz#eG.^O+k,;;ؙ7se{3rgP9;?Q?[؂Ռ( .BfR (H 9nQ+E- SHL֜*5{0.GMr'6?fg{ N)5X^0ml\DY,2_<'I_Y+ ř3'`>1L㫢"COKfx^*Θ䲄)ڼ2̨GP*i? Ee1$ubg{F^,0sLvz*1cbk(qkE2,ϣc:%XGfv'І4HA˗%s74%<ʂAgYZZm81;>UcsbSnAU$?%Z*p2jvmOr/x%r Ī s']UeQl/^㷮kbߥ݋LفɟHp"/9$~N& WH~{}ȵi)[;aO/ўm[u.ǞI<*wcb3OxqA6C/Wі]SA <2}s-Qnn/k4$d"C"1nK{4QUE<0o"ȼ=Dі{' cI1x0q i8fFrlb _x/l|!J*|vXZsџ10 i\zlYF %#S.fmv l/9rPϹA,3wkOFx- q*nΰJgaJ7-LWBϏgozY nG RZKԪb=z>ЪG -JXV}[VDB!k( !qME]+ZtAP6KRz= 6;sR3@rnd!Rj>:H7t{fY#j`:6igI`$cBwfî:;Q1FI;MY?'#Ĥf|"4JlM{EL8 |gG_Տ>;6Pâ-"T*iB7:8F4`*(HQ[$Bbtp&"p0@@s"&(zAg[|hl4lR_.>+Lz"15 ϤX? '$S>Gr/3\PNAXܻ 4_mZ|e'2H)ʙ ˁO)F7007v7>D[}L:?2h!CnpCfU:[*GS9/8BఎW##B/"*  D9ZݫowvT H/P PmC{[*Rbޝ \OONɥr)ʒ!f0R.,*M<_=Yb_Q5,L.nd'v>~9򟂱Ya%0u Ci[e+LA?Zi*h =Pvkm ?1#2^գ.2s pIdg}17/x€+2b*pWE Su$2\%[{Ulַ KRU9F&, mFRHqKjѧLi]QC`' zENR 5"\<_]=yln7A@{(#&(wOůngde{=柬 x*@ͼMsģ\Ke3 ]Ģs7p_o4Pg.(uhUITi/_D6+jDw-β|u,MF 8WH|sy q8O¹ :V|cј1HՕB%N H9`ft;Gt @fM9hX]38Gebw9닦c>7p*#^6&~=:UjE+A?mI.6PʦquӋ+ݗ|dr:B^Y1OE,@XzVJz1L,P]W8S j^L`HՉhw< mlMs)z3N|jk^V(I-zI 7\m.'VeX&'>/NE\d!P"34'优1{*Хb5S"ǀVWz+&tn3"Gf}[ g)P#uTM*i%lM!yfiOu*uSEǐ"vŵM^SvݕAi{%{=Kƕrӑ3u0`+g6^ ^9`сmfy9VxG&c{%s4"}:qJXXpyg9OOg#nW,tIx8P't~_ 9' }Bi7sހL`jJ s (vx9pHn5uREk، :DVQ\ 1N=j9sg;V 荁)jUC[,Pt`_NFL*`8$nqѸ$2ҩ;"kC.iQWfvx1\ʑ= n`F+Q l<]P=/& 8 ~\S3) 2P(k*IDJ t$`cNe. ~ [I(//,$UhDzս̱2sŧy׷4حg3P`Do)B E=5@5Ѷ8ڗƽ*;}Vc|0BMMF%!> x186=]5bp~PZTd|uBz.Ԣ :9NB >4D2p7wZgVx&1 em%93[7dfQ`Jfy>Soc&$M 7('2׃F,)RVB9ދ7J[g1O.,M(g7DTG6t(+$oE0s-k<"u yݿ|x[zR`#ԂRaz(\ljfXU7oD~??m-: _ioİ)M8lo&Åʫ[Km/8~2ܽ6XBR!)GlV̷M@rWͽmKR/YO)s?!v*C^B_듯񖭍EeikBNmFxmn7ð[[*9gjtOvWPIUzOx$U4i&b0)-8 JOk%뫯P:^U]?BчhֻQ_1wgcqΡD6_}uKu&i NXC(Оp 'Rj%H2%m #Ch4*"5TY(pSD]_'е-K{C \ݍ6)E[ b5ɪmgYZ i ?E% LNested_Multisets_OrdinalsHOL-Library.Order_Continuitydocument.tex7zXZִF! H]A-MՋhvG"uIBm5Ń!31 UF e¬|oXx^8ѥ^Z $Z 7'̽1=Ґ%X;g֋} `X ww={^g'?HեG$ѼXu U"{&L`hXMm|:E\޻Ei۟ e :jn7FFC98_؟7Ni!m qB^密:W'QB nE.|)sEN:6uNu"yz%~\Wm:]T4ɘŶA29*ƚxy+ \h=X-ӗ /ddе٤=LL! ]2E^Tݻuk)O͒qęϒde%q;hڠcp+ G3%iYH nA-;k*ݟ&c4(9VxፉTF`-Yp}'}C^ƯЙ VTR%Yua)|Gwkߝ{u2^t?7d7(o.(7aM& s`p̏_n#$Z|˰eEѦ%#l3WE>F:h|, fKӖcE8.~C!( hIRF"&5:pGba|SE=19XTrԩx^+ɩy6a5M4f񺞾HoK 8iXP| [K, .RD]"\1Α&w*o-hu(Y$=X>st#K';idӮe[ Gp6/DzTF\XuJer0hX[ՉTPVWAypjyh` e [s ^qs.@LwãvqYRFm^~bNG |USؚ NE#, +B%8״8 `-sNґN,F@T&æg|.>V8+nꓼc"1;N~|"q +4kIE)SA4X& O!ݧgs=m,|#D_!%4@Zsoe歍DF Y(V iwW*U}gCC*Cn>;JDٟt)E1;"̿×}ʴ_կ@"_%|@V'D6l%Jnc`3HbJ#i0J}*Y)p+FqJv̓Ic'd_i{qkP{N"+ڳul/]IȄb{buNM۔lo r\`_^n/n1=[VyB?4&`eѶߟ}It6&5gDgwU,8pL5$?؟]֎m-<пgf @ NJFK,fǾFǢc/ ^T/+0vI8!h(f'Pšyk.:5G)Ff&5.XEeǧ@wS^vo!?oQ|XX= fc8>c!S:*/(}UȾE8CB!FnZa$8(Ya,+N~ǽ IJ&ŧ0xU& }>[!\b?7 x ҂X@Ȍqx4OM:Kwc}@=eDI@sJA8vR>_A}e*Rm'lmZ|PGi!8<-?Yt`^±I&‚6()Q'+xTO'%62#phe@+͂0c䶢JTRcT =8g]zKT;Ů;5#a9 @:.|xϦcђ@[KA,tJ/;7ʝց2%~߈r=ǽp5:#Ni+f-{5]pF%+:ksLX2$BHG [ac@իI̫c"= 4i?ނV1 AеdBUZu#}(*a* %o!b5sTu7nj& = X!Y4EaOA!o|M/28a]TBPtIFr{JjolMwaMi2e' $D%]]?q%8/27 sV$:%kt2+3WQy]no%zE]&7ԗFX #U}МɦhiZ關TMb)rrקtsDUD"oo>N s7BPJ9 Akmxgx岣GJul鈒 yxeMԈqd\_jor:V-ըz/~5@(!k*ۢ=AP|?ح5$ >fpܛAG 5*5 M`P"!{sq"{E6SkCH*~L+K'"fNsV/3X^8hہ4$ ,|ffL6@lp|TWxna%eukjJG#EϷY>I#ca*pQo-Lm[{R_s\gÔ2Z~={Vi¾?O"AWf+C,!sw|"aplS.xL0w)->+Ixwŀ̧64V30cF ox?5yw/˧}A_DZ/C{,g͟s %o1ʡ45/XM$ 5wq)]9~J3J[Wd"O*16h$%'bfSOe ռ(LM؋[)Np# nry'͌, rq6E7|yL ^w L.ȟW#l"``A2,+m< zxylWbsm{*@9ρl,@6bPa,;ȗ:VQ-`[1r+(<}M@CQ+ll~ \֑D@H]bPCeÀjU Pj8zd8t4FGV旐a\5 H\oj L-O ًx34 d9W:MLڃK<Ͱ2B@Tjss?vU=Dvj]_մ0,hj;! K!2j; (d¼-L_;Z;S0MÎ?p_#̤[ú :]`&vg.SyO!H2VׇQGOk00Sp==qȲ9:^rroD 6Yoh=ۺA;C.OlZoĢqlrM(3oe bnT;!dz:,xO0B8*m"`HDb.ə~?" ]pXr/?UBעfjm/hS&REaUƩxyr׶z"ES*2vѤIás߃*tIz9MҨ1w5i{^K'R(b#c1=Uu9zI?bd 5? xNX3h,6ɶ+CP=az~L`܌ՃL\$E߸Y;+2lt^qH۴9-?MڎU\j2eY@9ٌdFQH鰯/Tq~t#P^:m'Ifn |IH|6_ tSZS/ T3qi;U$H^KIy3,.4akahBʃۯBӋYKK u~sd5鶩M|,[TA (&D֕`'*>Dr^}$UpmаqNY֎0 qDUk఺a+7;rڈVaͮ6r4o.,x_B͗LTzܤe*v%ap) @O0(ڀgon%|Žfs5JfT%0Kivt\2E-j)*i2*q~yX -#@Ân|,x5!]^Npr\h'WBlW#u~ @zĭxV }ޥs?BTn(Qt__v9LpVKU++{4w<|9̕ Z@ !'"eVs]Ί#nP])0qa蹭d0UlzNRq4\K "Ff3e_/+C50Bu+-PڀCA~Q*Uov3[b:5D*Cwzй]^.tsj?:u!hTiޠeԄ,ڮrُDl39bDΈd*>_D(Zo7`!},j, 2ih^P<LJA{^87<&{bOdSLԎs˓>CeaU8N1:Ǿ0D)w>MZP-a܇4%.8s8"d`a7EAsauIS??JM6jɄ{Tˑˁ2\Jj)7n3?5ae "͎KbtXJ$}mB`)ȭ7j1#Љ%S8C+CkJk'"*_#eJ(-^G4 KU7g:wm<Q#mlQ8x~LR:_I%f!P6th& X&nNH5diӌ*'gk oMhr79`eiڂh,#:sV#k*PpC=jjǨ#1厥7oU&b4tx~9:5|z瀢AIQD[LD?{`a@C4!~ 1/Zw])f/MƦ\BNWա/<9TZ$-E x@AG!IB7KEg^IA=YOWA;luZ\FԿΓ> ;E [ܨߖz4iU֩6bpٴ>oݝDj525|gPn;Di$taք2Zd+h60mufTu Zqa/p'WsN5ɑ[W: P h/p.j5׷Y`-@'yֽwKp;xDO,Xxdxe c~-|K@LV}x$(u`3yjIk (4::&j+|rA;rˑ%_,'ͨ~@l4*2:5= et/yNq'VSb=_Iu|::BXM󇇒%Y^`>g xz f,w*)yuWl]g*6Tۉwu)Wv / 4x3?+??"uMT1?W6kvZ.p=T#&'pq/!v_!x-S2bq\V n*ܙ-7=!%^h؀WT})Csj=y 2`H0%]q&x5)4cK$1]y12t>¥zHa\sXly}Qg`ᜟU1QaRJG޷/kS@/Z1K4X_24R9w6kcFP <]Q-"kŐs!Ys+Q8f"c'K]K7u@G@MI4q#U@,D>>zqUU$8;CYqJ9˴GPpq z{7V)L2|j'K/߬ic .( aB(+oi7qg 5+n~E2q4Qkuet+)%;_x1s>fEZBEƄ\5Ii{ Dɐ:2.1bd/7[. &{< ;Tyx׎vO&dKwRNrǭDPS&@B^֥NG-?dKjJcsm8nan>(zLd)h("6fp ].d5hvMZfTv0 MCX[>%j/tUԠ3_GeNa8/ݴQERt~A+ P a!, `iKz/-l"[16X>;#Ko,߁ZN/Aݎ-t0oyݷU mvT9x?n&_,00I(ozF"~ʟ;5yK1y$y0@Tr5mMu@'֟qU@b&e4DLJh*5[G? 2m󶺻g{Uv=E-XU' @L@o𿟾.;zKȴ7Z B:^;4hIF(lJnxQؓg}] S' k7Fx:a*BuسUYC\S;,7Ð\AFo9Y{D f h7;0<&yLk⨵"@{{ќ"t?yMLu۶ge juwKѝ ^ͷ7%еer?!r{z'dԮVv1ձ!dwP d>^UDzRLVvcriނ'1q!Qg5D !Aux"Kh}?:d5w : }H&J@{?K{ûHsHA:2+^A[h*7 hkf'0\'153a^<"qeGdNE_c7*xu=bwp=BzF(2\~U!H "6'vhَߎU,lIa٠yf],"?V)H'ksQ >wbW$>jc+&=`X_6韨%<4[8 Q̗'b^,8G~WZd=6oQ|;PwrDX)EU k!r ^!(%`]ʆ@%G2!Y}ƟuXy҄ +Qfp.!{hfȐ()ORX_# ;Eca(d0"tȫ޷dB26 wJ &\(H#eOa'3G^~j8!ۥL},| $98*]TpA /yk|?Q2rC5K_ښTui3=A'ɦ{;`IBrWo%~E-lxD+C$q3t0Q)t:idi #;ypu&';59W>k2yxG2\Gp}q|Y>"3:AC&!$sN @D酏yk]b,gᤎ@/I;f/H9UЛ0Y) a.zuQ-<1GlB'V (Jo|\P:y` dKOξ'-OCLBk l W`J~1VGTZ"L@hfME,UZKGD`+o:FujXG=i_ep] /Neʠ0[qݶ=Dk#$USSx- kzFg_,=.փ>C]kz3SI_A^E \&oɒ;YrBL+L%퇅ܑ:lhm~+m?Ev%'bNY>[$ݚlײD٪C:. +1OfH}P-Iw! ċ~GeW&JÉ`f*Ycvpi,<ꑗ(c `(ЫD&~lb"1* م3cV5r5)Cx Y^܅"mz~j Xo>Am)гKfNlleӯLfKhoS$bκTHpzJ^2r[l 6bA.IߩvA}5R^m + ҆/&αoj/,bW-/L1ѯtoD_.6/f3.#&ZyK$ /QYI<gsҾV3] >1:fKzE߱Έoeܒ/i1hE]|XKDotwk U&;cW>i.hUrXq^0pS`!o*M1qph~%v[i-Hѣ2o!7v%cZ*t^kðoXt~TYqPH WZy3&ZUkl՘˙UWxHo3r?%'/d}uLP8S++-pWM*YA lb`@ٱi &Bi2spW~ /h3 Ox vm%TZ:'fSȃsU.П |2NK)ZS's Ll}@3l@xG܍_R^b~So.ɻPc'@%GICQuaڲtE:ApPm\UmĎD WD7 G\bmse#4Ok4Ņ,RyS\/q<޶8o/ȍ ٰ3yQv6'"M$$ Q0)5}JroN;3%csn'z7iP}~mbOb&Qp[FZ[⃴;WExC9Ї-KPut%`#BDdvο$I3oR5p Ƅ*NrRy^[rpxlj*qeGv=ҍ]&EGdSN"qݻص, |H%zc̙7t2q "2 tҀۣ<#sz }@&C5M4 w*`OE,mY]CKH:$t P()bnTlApub v{94?yh߅{MFK/)b3h#(yyiNJH#_@3v3A9`6&#!#?#r䡳1. Zdܸ!fQ,\'yb﹏Z,1AL֍PVra;oJ@W n 8(Z*xji'WLnx1 Qqr6ھ>oI޽-WiC|MѪ$p! `/v ET(Q m/ GnMdQ&<[V!*K [d) 1 Z%PKQ3{1֋rݦ0WP [X7I6Ƀ&f̦ K㐱%7#{+ 2EE~ufdiQfwd"%LTI_yYDW8p\Ѭ#Z<•fBvR@ >J8S))HXPR;7ѶY~YE_WN,4ֱD:}g'E;aI>9e mh/}x$ڲYA\>yN8}Sb6E e#6I&  ^WG#~|:'H>5``"LFM[LXz{c4Lb׃mڳP?PwuEqcA,,+RE֙>.ߍ@YU3@nI+ `)\l="pSq181u5 kA]]OE ]mI5D]Ft2\C# 5| ?I>hr٤t &Ni.J"nRؘ[ـ1| ۮ_./[r ؎ zz(tQVhG `$폊OAjDUhfvWƿiqB"Ƙ_Dg}!..`6c2 dQ ػg;"u*OIǹ$['>V܁~\.#GlOsw~6ٶ-%GљXUĺ4|_w)H lɽ.ѲLhE^YۉT"qcSfՇow@y:%^3NDVecgZ :f|+fdXt Fbcj{](}%<qoKC@)2vA/:/"*5H zT$eRn}~YQ:x]K;Eh;*O&ol LPpH^+'׈Ql8FdV|bk <O[u/!8";Ї ¸ rIsd_aB?!'6aR,gɌ-ÂFv,-1",󠲙K*,I: ע!B:)*'%tv8?ƒ!QrkWz`&G>pjxn8[gk3YzԘO}iHPB|cTJ~؉0nn %,y0,17&-c* .Q& )/1lF5 ^PEՙqֹ֧@+), LWG+ۍ֌2^F{<m3U4>oNIHkj)H ,b4yP ؛W^̅0 @7RGKs(GwRQz'lan/)L̞{ e㍜]:_OazԚAFS`ղPMhHf ˓%Ѧ}1k7"Ĵ6x=Ш(|kvsZ,.Deif>673<%peaniGaM=$jP^Q~w=_K&:,iuhID#mAF,1 /=(.e^;Ao7%Wmz-d8\TGj|bKd'x&hDGYO}Q7a<a!`An^>Wc~^cA*s6"9q?C{<@!&!8[I΁$,#}jZE_{Z:r[9Qe~@Y b$|Dt=JD ʛA x{gpc7s~!9jSWHHȟ-jub1BJ Xw9RFaC':y`(4 >~%54ljyD˚Vo ;u!MC7:@-C& B;_fEu|v_]ޖB.vj)zguNCg0W>Y,<ӦSaۦu6 0Sx 䟣=סllqf_)i3ξvb E!!];̜/.ܞSPCr?}ecs]%lpaMK+}V ePf;cw5а\HG"瓏 0/ /~:_kv}[MD!|DW-yu6G)2/+j`p{hc Ѡ *׍ ML %%6?qD,?f+)JX ̊3SV*Cųp1B;%;C8|tlkVr#iDkDLP9џUȁ&׮~0-p`"7}۳4Pj!zi}* =gG P'dH>^zxi`*)`ǼŚ] c빟 e6UwJ<>;O0dwTYMl@z]|/G)==1Y9i#o*{n{'avޘt݀Ҫ]`|'O%U&cLk/J %ߤM*4jvJᇇpmcDzUžLK'27ލ)>ﰃVr$*y?r!n] ->e,uv?osr0*_n]t_nЍ%=>UUٸAF\jO~]mܳ[kXYGDp~ń16X=\@{[xˌZѦԘE+\^,|Rxޥ P=k5 =j3,ϡ+~0h \]/7 *!9Yx{?Q:Q%9L,g'kXZŦ@. 69eݜ=RAVrozu#裂$bH+npYioMŤFL^!دIdF Bv(93 {8ADtwQd-xm#$ ZH%%\m!H80IEDzD q}Oͩu:Oq= x|&(ǥ{36 $3;Ocax*HGq}ɺ%t[&F! Ӡhe!,YH(RP* WتFaHL۵T~3l*CDoWE{|L>J rqGl%3 UKO F\OUB3cp‰c$C{gBH'\LJ=B !k>ͅ.lF j` Ens$SHM-_du.ҳ,a_"xJT%ɵvPIY騘;(M@tt 3b mr ~]?e^v/:!d%捴_ngJā/#>E!97<ԑ*g01 WV.eEH)w]8,)~{I0C3QyS-;3ٹWOvcwiu^)f$aOP}}<&)U,ʓ<jFy!{Nww2" Z9w\NH]a]:~TM!&v{!&å~}xLWω'hۘS-9yE\|9GRoFlY"i*\]w#݇|1;3FW4 | L5Q29|+BudZS.QS9[֯4&4NmvPإoI-#]6@SVP_QH<ß=5IJVQ)5G?+˻J#נ/!OL@OSnԭڬjšbQTy>ĩO?7YI߱Xs&iN#ozuTm ^uZ<ȾUwYS(-LNp5&69RR(z3yG/Jد3*!ì Dv!%2 }gKr᪶t 1y_/ \cQr0raG"9m$ q^F8T*,WqazK쮭GWx"K``x,-!g%Y9oNf#ӌ;9=ʲW) aC0[Yx^xs\]VU9B/fw O+{YjӜS sOj>-\ WP\cJhhV,_%Y!j0nC1_ecNO|W}F06^ό}VB{ׯJhq‘l:f_mߦ%a-p#y7IJsIK칹hvnE4 41xsc ǢnX &G2˜WBD ]Wӭ>^!}ey\^LJ6][0{Fl쟎A~e}[mT}mۺ˰[Ў*! /pߺf>DDenO-EtA mj-ߙl>SS j>4OB;yL.9S&ɓ&J'%A\B`(6#/Ə_=^FoyGuRqk:k*Veڢz}~svdžŭxWr¡o?W l{f,A7;3"4P@vBZ6qwmSojd-6܆vܽ`p(A^NNTF=j>C=pE5\җ/[YvzMmnjÜ;(dXDFoF8yP}D, ]h]cJ55&D|P#"<Šte]R) J27}E*eR&S;Q  k+yq:iChd6CPUAù*4g"l@k<1ڣCx)(󹖣󠿚Fd}-KLr؝9%s)o?U}"-+g ӓCxw\MK. w$u+c&wUG~`Jb.\fS0S]SsIݣLۃ?Vs*5$Cfu30"h2je1u~!O|ٺTXg*I $t߻gs+ x y(M85uZqS%пG&hH7ȾQr/}sz5:P:D)I&6jns~vxՙWGڦGHMOkINrP/NcId)b%͗  uJJöq\)fm~TB*uIT6Opdp!ˑÕjGdalG4>T&eVHٷsKb T!Vc] h}4F.`jV}涞F:B& l/۲ 9p5ƪyRbۙICVSv\8kPF] )F( *ܻ1A- }rON2@[ 4&#&M 7EIYiS n*(KhaoB#ygT(_Q2@<vT)oH-P.{C=J"TԿhPh-Adfs߾Yҏ0Z#Os"n;\!I]K#'ȏ]R3-{`έR##7wKKK F%$x93m\tlR |o<+붬0`̳.;~ 9 JE2'j={Z=<7NOv(XS+?>74bFbv̽ˮ<[W5P7sExibXŰG;LzV~7J d>X&tDgkh|ipJ2ȴI_hrMG|Xzs[WwLjۇ#~ O8&_k'ےQ!E"3ep7_/(C$$SIH5q0 b쾰qMw_!tM}<-#}8iɋmnn|7G9 R,YK냪Ң^t$s_ou&W M&Śv7d~^`y[IjardA":aȱ]u'Q_okbmee/HgBX*^L+1 8N'NG܌0?xu716h\4Th. D+b>=Ѵ^ҡB\_tsjԨ`Ӈ&_1xrd:I+*^ P6NJWBjd5m pm\UR(:^Khkk5^e'_vE.wۍyrNxqTݿog!CWV,UFKR/Sayʔs.5G:}"MzhZKZN)s\`5I6(hsK5DwW*f#2> CWox~!D>"#P?PZyJǧ@"{a;dGLvZג8ⱕ`~*Esp3Y݊=nj&/mWfϙ(fUtojsOaM?DDbFǭ_k 9nP%oFL~ȸD>237S|?Di\g23xC 3YVP!v +vW$5WlTW*@.HA+$Գoz(?c]rq(.Q.aVpc&V/teEkIOT.N5N+oQJ:GFcڄf*X}rq5ۚGb8ZŌ\:[qJ  C˴%^y> HND[ ! a9׉="{_u3F"s[S/9IڥS8[z'FnMI]0_>U @$'^B#ITKMY{#8m璏+;+3dB: fYw4rM xi XxNB#gwhUOؽ0ֽx.7][\&6 ;? d *gO C+ ΅IҰ3Jbp:hV^q9T] ECa$:Q~mrQIB,v"yI{iᇘ@Z1&DDB D/NִV.Y'Fۅwטwk%DmK9IRM]ՠ*]cL̿l'XWYoYLkǣdvH(WG"bȇa>mVȶ8<dH[Rr m/9~J q]vhș0c,qϧ +cXX3p'-Lb숤ݲNmy(4;MsX>H,EaX5ߵɦlyb@p7g;oQHph0/b#0{/n>FJ6?#I/|ٻjw so 56ύ7b웜=.4hbDK?+G lm*w̨눓<CN&ˉ$O'AԊhTZ dŎ x}'9{~}Bp11D$ߵgK%!E9M:dV1Tk$kth/%efH%:{wki57ًsr*/[xקطܺpL̀N)C&q`e]iBKܙ4U64ic@PuZ~XK:77k|ډ#.I-U V̊ѝ<Лd1uoz,άB- 9wg{PL2*OE\ !`y]3;<<#_rwJL2**OM S8M Rfy*Tg DtsYյ-v0GEc,'Q01.RK̑v `;f+{hY4 bu攄ɣnz(n~0uTޤwqg9΃S^ь% .0qHkC>˰M}KRW B F Z/vsM|3"(" V5rM7Ex}Ct7z`MU>!/X=wQz@)eNcKӎ?u뾴-C&1QsIe>]rew%% ًݵnJTsw_~;+߯|ӄf0lh-fP4,jpݣf'^h*#FW~C1ɮaٺ[fxNvPvZ (neO3v$>wfT-ֽ/p,p?%0Vn]w+Q_>Rʆ~_m. tj!!ihvEgv։Mqn>OEn>*Wm UkĢU[MSua[ya:\eHݬ \2vR5 $rƗ fѭG )l,|ɴ) xqu:BG#1A-;拀ea?e?`9lBIj$iSۣƬo)[Ynn;/9+$İRW9^Ug h1 8r7KGڛzhܜי>EaJNx_G^1ό{^Qf0%NWkp70 ;uX4bslo!}Gрl 8 qϕg k{33gڅy$m8/$?QT'?B< i =+c]!R6Y7w)cfc S_0%S#`RXL9@%32:QOLb[|7^ܡE=CiXT Ki=kvC1tIfSʑ7(4wj_pz/Ͽ]IsQZ@[!y6%@pNdvJgO򌖜eO 3 h6:cnd3~Z&*an| 2;ng7J19ŧ61{t?]M3@%CAQ40p@̸l6{& `+bh_+U^b֙2=D$s \'HG:CzO`o GtM+}9l!Af*{A@yOQɸ]!6SY]" s_Hbmp̡Uu *cN XZ"$N FߓUmrFL[0X/i䏖[|{ f?rf9{7n.  TIAk#"?׍1sAKpײ=>oAK'9g?2&D̋JuDev6A7 B7#jbjbİA( >i`#NPȸH-j Q\ٕ5iSQECIwke&;qSq)ę/5׈81>ė%3]uc!̼ȋWrLbWQ̵&G]py:v,V쵺0fU/_B3;R_MM:gt*WqvZT6oaȡ2MGUI)֜vS GIE 0pJ󥈯j;gA!2v4#8#y8АA_{XKž֠o/ 'ƺ7ehş\䧪clR/4/,g܎χ{hW2syHQ+I/Oa߃c`7k 2){Y`"rG:IB0"ص2M9[Vc6|D96%m=UjghR7 PѲVqO$TB퐳6.jhކ@tSm۬uֹ7Snb][ jqFN..e Huۍm Ŷ`PHuJ+6 wPt!57+i-qF|F#Fa0aQBϫR" gYSN, :۵ZRP_uR5k*%BJ`,"ǽPV,cٝPN=ȡ>vֿA}Tq3m5zNzt{mz^Q`R:CVE4!rN tG,q>AҐ8'=6VbRZ<ډ[FӊZatLvLŖ :x(AƼMHԨ)J8[-_$*NM3w (V^_߉b7Nz78V7z ǕC_APML|gYNqOf^  -&Pg$#i]j4^s ;k52/4?pe(fxHt㗸 1fJ(R*tKxۨHY]g*OoF?a ‰S, :n(ark Yk[SPD LQ*9-@)A8 3#||u {W2]G{76"&++IiܖĠ,G,Ȕ]Ӕ4[(6 -qM M K_sĔs9|fH _H#j)Iܬ:Ɵ !8{f7XK^,ؚv`HīzOɺ <Fo"^dIQ^~Ox9T1$,Q1ito":jQyAKzlDS!Do&8:"IX<yWIrRqX.K0=ެ2gߘPXD!k[YobC%yЊsEnJ(yMĴ&zWr}+;cxŔ=K"b?ޙD j&]Y|w.}Nw4uYw׳G*3ݥQ9Ybʺ%;tAa+!MB>ؒaU=SyO_d%p*/:i3x M 2_(IDsK1Ǽ鈿2Av ޜBx->+E1YJ0 jB@l_, ٠zjf;vh@.np 𕖿1T>HVV\'~Ƥu%^6Ƿ[7G 0w#Lt<`Mpǹf=B3vD[ϓyM9Tj)i؛kLðtzd}+c-^7:d~!_ßҲP"g_jґđēKoSڀ P]p^փsSyiۋmuU\B5R&gnI]pb50\UpNVk5hC%o\PeVr 3\AIPqɮh%M-&>/~#Cr,Z/,%)L&o[+b?z 8y>1KtM J?O"c6jXiJtS} 'I>*wm]1|}b'9*5z?n<Ns}]@ 761>geB :&X<"`oWKSGp !945 ł5$}*S\ {< x?rRvv-}p#c| x:TOE^.ׄYڤb4oaVK^J@s/سG 9BV*!J;-<0ǖSqAȾ/b]MxnСM}o[(؉e?mF1\ b$ĜձI4)qX3s«V:]$VE҂{ݿC K3ݸLW Uc* <İ`$%WNOε)ѧPJ;*QOPlIu>=B oq[z4TsϠ$o8: pˋ$Z'-(Wsb՟Y̓HSV#|_L,G3.`F.L+{j#j򏲏'.?;nk&tI3B\SX cF=,1\F7?^Y" E|yzlX,>D Dvס?H|xo .A:2jpf d6NA;ϔW`v,G~]v2Kj'e賩GԊp'ܗ^Nj#M'[ tԌ?* w;|8l|Tg޵'%-qvL_L,;Pq?mW7|]yL"J%& ޕnBtҨ'l3ipnibKG5D(5fPx9Md1G>TNק n6_5Aevwy(&f ƈK6UXR ]PϩX^%;Ir"_S_btR*MK_Oˁ{j~ٮ=2*izĄkE{mQq-GDzV)o%~tU+dfmg]pT^|\{Nj!]Y.j]g;˽SR+G] 7lN5Gcf*򰹆dk:fI.nZ豮-akf'V`.oXڵ{M5MD)@)=N\0J KDK6EI qm7'S\Lvs>[7u+ -+הy=7%?M_5zHХQ$حeJ ~ bqMҚi@idž^I絰k & haDCou(Rh)Go)B<7 sxP4/? &ũL5,Py'mO59I;S \G VXd Ŋf nJ"- }/MUc瞛I(9_^@;ԦmbiN퍚+ċ^hpfhZōdadvm wvӸG:X0{fZ*Pu2W~F8] %I3IU\F3Sz~L?H^ڛ-ܝu={:\S瓒L}^̙{Hˁ1KzG\KsJq^t5Tt$0/xoB8Ə`l*1^vh@&xVTp1:GQƀ&h6=DuOokޝА8(QCP'(ƟN//JNbv"`u:912s^]m"8 q,'8&5=\IIa940|)};Y'&Qd&lmR4xΑ 0"ϊ AqX7U@!-de֧c0S2u evLqbpEW9Ql;rOqhaM((;@|r6 JyGe>]k٧|čR գސ'ۨ%(񛍁iۻt|F a#<wĒ˛O=ٽ&dEM7N=Cc-/T9SxJ mgW.ǧxӲɋRدK@ W]}S]p<ZL(qcnƺ).']2ڰ簵 T*8#8C!.~&6dj/^rR}tWU+4F4ŮX;]:(nTSv:nLWq*+yg V񹖭B| KTj}`>Nq!A FUw#m@"d:9<ĕX^-ƋIm 4+/"{0%@Bp^*ʞ4%᪰{gu9fx Y ~low&*Oאơ `&J%^wb{XWؒEvb\s*]?p:} !l4L5I][sI.#4tl:qg_3VF<{|r}u.ȮK[G/j L<5 񖺀ΧP/}Q( )pvʼn%?9xkv"in(QpBė' DTn碄9llɶ)r{[.D&ƃT~7j6:\}`ߞCyaYT1L|g|R!Rw_WY0j:fuQm (6bG6Ŵ_'ٝh[`pͬl>V9['8gYTٍhX"i8z `"kȐ@Qﻧgi #vaHkUa9(RԘnu!HjR)Q*mIE1hZAdG\1C[ $1 ,HL}h?*&"yS894˿6= ^nSB&17 @I2Z95Pd31RT%~#&Oã!dp;%%`s}3ͼ8+ƋfpҕF&h;`U >*j(H2ܓ@L8JЄi؁ע̙5^Y]ԄvvN'a #XlofUhKAŎ Y2<lD!ΛPD/U)zx)g'r(1V-{œ$ԬgAA_2I(1 *iߒ0I7~=+-X'nOFOUTW t. v -I{|}c$iҽa)9u2餔.G9\ضժTıN}99+u;1ƾ%fI8#ͽyMF9 i98;)`$ҨwEv]t:5T!ġcqy1YξzOFXx{j: qU㽪mF JXsHQn0ӅU*iEBxS:]wn.i51?Wc SN_p8%h?35}hGA z3RZ):Ҝ{#%P.O:d=D*.0ǀVG[S\׃I2'X]X,KA5Ļ^^v`Ai!ϧ E5 M8)-vl9ZѮPE,y:Pdtygxf>нl E!Epp$9(rUmdWz:D4% 6ABb8 ӄGC\da5n\1m@_1xڸ\4ZP*Eض,I:k'#ۗ57tZ"}&1WMZ12O{x `3'qaZτ`h? 9/G?FSA(C9hw(UQs\8!av!i&ZrdHa6&1@*mT_oNo$H=Rl~[p&ːey]οN0Љ5у@ `^b[0Z̦To 9@ Nlh`,~\^Kg. d],($ձH <~D"t\\Z\jO SʮD}4-1:%ӯ %/%CުN_oz1dxCwGEuB~DlGl9UM]syo(^T}Wǩ%޽ǟ J?MN ?%(mPײaHHUy"ab;r:>#d u'>c8T-7闀bH-.||kݲ6ƾC Onj!AG& -9Œc?klfT4^cل 6)=m0*ҕJꤳKJ4ڑ43ݶ_-8݀891pE-!ggqkHQp(B})klluBF pם3C wr@$?SBr&9QZm k*Be0 M*Ҫ-6Լu)i;k6S6^izcA/s2!S`<(bēʉNpa"P/菆*-dt.8*L`I֮gǕ9{ÄBoav-64Kʎٖ ,j>{=9 ʶsu,(bæ7| ,683'pThN@崳>KM6}⾐M %|3aN>I_.gO* щr2<¥`+3"Y#6Z<ߛ\Ke {69g6پ5n1 >;aZq h}㳱y^ o۵ª:N|p~} y@|.RR@?H^?]Fo_X)?|&W$8tW 6%b`SD}vRxR?h(aNEoI$*^pҞט\{./QEI58' ȂPB +#w{h_+6&zTW$FT_>Uf)#p+wGYkYFuPqޫv;m}3PgG"J ٩݄m1ɯ#lXbRJzpo%*P?1&,W*>$ʹ!{]H,R'B:Lh4~|ݯZ7uפcaPvb: 9 .>$(&;O>Fi2cL}baHG~#fa".^lQgEHFJ!W՟:fKt;IimJpetA"Lo˾ ٦JBy31kLK O`7@_4Sl dx`ʊHvqL\CUUHI7L4HgHʾMq._c<,~Vj!)c"Kl*+ v$?.7wkJ4.s@ `ϧv^E^QjRBw=;Ŗ˝ypWi X>{eS.Io [DGTN"7":vT:fsy[sGaC&Oy B`_&Bօ7` (,. {OY·h'k4!ŧqS}%x$h[g9ۓQOg(1g V(70$DlGI 5dߜB5ġePoIU1ҠK|A|՘:h{lȦ{u ¬A.w@:0{?G30OLo3cL~? <,>|A?h-@IЀ ѺBmq]fb+vdDe{Xs*'E!G>Vĭ at6OY=QJ8 Зfֲ"嗶>T!f=`6O*FPʾdei?ß 쟬zGT.#]VqeoIyF,#~M6 Ī'tƢyRC"ؒ./q;Bk tU xTw2_T<9/@VCx%@ҡOqjIzzO/5o^!n/PF9|5䪆e϶g`R>6Wt ޏߒ"J [U, ahg> *OQ?wY|H|:޸^U<;=m-;cE|%DNoM`yoJ É} f7E(WB2QVzTGvְ01ë'rQ?}Uio&[Bk֑r Xy? Ͷky4 +*_䅈4@o:것'X#Cş+7/Y}C(rYp(]C@mg f3~6!mPG,V n9v%H=Ig@S )QXG2"['&Tq_F; _aIp5a͌xx=s6(?wA #jP_c  o^mTp0:VFŵ.'b8qTɠoysl!Š62f| 6Hvn}W#:&r]k7E9wW 4kQOzprjϵw@`]TgͻLiJ3~fk?ddbdb==kY=o u4(5a&nVfO*U# D@>'PX۔IĬEGeEh\ T;GT{N惂T͍6ii~U-qT\U㸶];r}XCS&N6Rݘn_pB/o$9t{GF;8#GKW }o<;=j :RBӴ#.ʥbh֝^W0@w ROJ]?e 1{yr,9J*5)ArX2a6N@fcɇb&fИKfV$Źyml{'AL(9Ȩ%3"Uv϶aܸL:ehܯIy'#qN8gq0j2Y!7wt A7GJqe6]#6Gk?A.ޢ{? ig0G'q `]ܧcc,p'=ZׅNt?D;vBHr-']y]mOdSs{ېM(cl4cIu߱X?ӈJLu1g'+RAoDp͌dER ^ziEbIrLɂ"i8zTPvY/ZAC҈s;tnQ<3i <ȋP탾_N@R.e,h[x|ZRwr=BΣì11D{?LYox?բpr,?t7ThdA236ރjgxuL_`k\FNuԲ;]#4Gig4p>jfCLJyzS DS{v=%~/篛DŽBszDZߗM|C!ݫgE02<~uKg+1PA( #pp2]`PVEâMRs)moMyk/p- )HЀ'3he+w3#8wQ'.ZHz˭s$= 2"{ Kxd(m=DոkxqpNĨ`J+YqJ2gً C_ RiGt>{ٲ+'g:S_7(%{|DVV@=H6D{KW_+M3&܈3ຐPzBQl#pgb^@p:sxʅB/ &tQ]SuPbS-HTz2-z/3xb@Ԯxχܞj:_L _+(WdAc o͜(B^;L: 5׬! 2,F $Թ#ovN_^1)jK.]EQr!g3!sCSF,b *+~(:s8 ޥ(+b9M%qQV ,/0D%)В`"LI%SǯgD${\b. raR D8X–psց;4lHgC[ ly~Ѹ9Y7@|MnQ,r*d{ۊneqxYځI 5ƄJᦚ0a:O!LBi R0Y"^[C=Gcx6l$&N4킽aesAQN Ja1CgfkQwhA͇YP3R[ i&}B5pz\8S4NPu\w[5(dCp!6Uύ iot%|۷& Fz*Zf(ԇI}R{4', MYvIfR&)k?y`7w_)9{c÷e@㯵_e:ۿwl&Mf+O[o[{+!dώk{6*!otguK|1`{:a!@/k rgN*' >f6ڽO]Xiƞ3j$JV{6R,iTyr"T (hTbm@`ߝ a~paŵԃ,RH[b6agas(NB˩B#bjۏJ5uiZ(w |z\z&$_>'/]'WNB\r0| HK;Piq8ɬxjz8Q,幂?xh $zhw n!JMy٩ 98e(Mdfl gGxS sI1TKcWPg{bR w0SQQʆN&r#tc[ظd\|xeミ=&jzCaB6Ө_ڗ Bt:}WrqCGOo+4)Dl^'@ )WP ֶ`]*;4u ?Wzh&LA;(V11 oWe5Bߐx%Bx%qf3>G Upy3F3qУ[Q>s+uQu?#.9_鸵(Ɍ&h̉\cdi[!ӝ2J”in3mMNyrH>xDo!|TEʼnT{;7jOH}oDw&E3%U 7 ˡwVgN+t)@e Ԉ#}yawSg[]Pb/۶0.[+ ROO*9g2 W # OU7tR^g3--~aٸם<LNzd$\+>7Dobpz8!5&^$JsN]L&lNxTd? +ssЈ5Jފ<:8S (*jɺw/=!=u#DB,I+=RRסh^ X {th)zF%-ǏYR p|εDH/!sz>-w!4H>TBh͌< 6(]|*!ZX-5!}Ibv3ȘY$`?޷AG!E؈< @8<83Ay#`Drx!u7t"Ox~&C!/Ѩ!"{PIʽ.bٕ<q#9" b5\a=]V f?/"|\3{zTM$v;ydd$p*֡F[A2 ƚVK CQJ|pf# /"룯6Vea/inG%*9GP?5B>`̤c^ThS 2ewl# yۦh>1VRD-@gtžU l_[AȿXU?0^?B)od)|F3_@\.O)a-D1 df@9+Q@%1\r42p 866o]/1@z#F]^G{3D*`x4.n)M';.4{H}YTNSed$a?4z&6b۰z6_ŹAoS:Fhc#Re;a `B<@کaNݛ8&Y~:^riIw*+ɏVLfmg;Bu'pۭ2$,s\j3  (|S:f7C\Df:3\]{ҭ??T/jqؕN*#Fɟ [X Z#?3C%]fRD{FD9xgJ$1n(oA d8@bl<2,kq,W +k(a4SbKe{3M џn vz8:ȘW^3V2w'z½ Z,U!ޥZ߉}a3Fa6ҿ &x!ijnqaoJNk+pJI^D^ ʀ<.gDH6s3NREԲ~h!>(2+U9l+5y8ZґU?y~{ v/G(iΛcD]kA&Lg#eٕ0'b+4'Đ/IFGDㇼc";ha6׭ nZwrLG 3KiK YqJҤUs&uξƃp& Ҕ}cX Z[#&OC}c*-[*)]9tt4q yRj3l{- 2=f8e^^ O` ^J:A0AFҟ.>AD=i#$ge*WgS9oZrOm޴zZ6rdGk%?4,qVe~H0JӜV^2I\A&pd'})}pC,zJQ]w3y Q?@Reb>ɚ&ڬ_Ug<'MүCj b/ӳ=V(,D)]bdd[ox&dc(({}xF4F=f#2Y|`!ic#elrs85} 'YI=,vU 3hy7[ BPgc[3!XKmM7<":t\4YLKp;/hZE_n~ -F ʀNlfGբ*%u%{dsjT =*QpWuf pŅ`rȋ&.).CYm FD-fwdHIf)vWu/c !Bw6m4CtAlDk,wn9nSMiN.%pI.bOQd"WZ89Y6#.Cҏ+ô 2)%-W)3@Wi1qZ7jD>S2 |Ld nt:.fF̕ %gq?C@%0.گEͶ$.S;キ?$3T|V(QF炿ISI|K;2a jlj-oO5{9j{fGA>cą<ςFZ9p$3G JExZsjCdl szN0)./\9k8Z|OCs"$!Pri0AQnqX|ͷagRnOr6 )Ql3%͌JՈg{to ÙI9$׾~~ ^ЋIt)h3,WA|8,bbĞ(+p+Ms:k"?t;6W髱@ytgtU2rCm_=^̤8!ӤG'f}6:ǚZAF\NbDz)vƆ= ?-PkcM[$|-/2 tOH5$$>PTA:tP9ՠ05TpH1U$zwC؋1xf e1o 2Z;z~>R`B3dVݸ47A@#h{V4\N^>zA4U\f4D]ȥ\w 鞏Gc<Er|c Wo˅olrĎy=qY(nE9JJb< 6T/F ])k02Q2W,vOs~K`ƈn?@zߓwsrX}[2J=WtvLʹ, '|UWqu5,, 5Mk7.|)T7gījcRjǝ'UqXM!Y-qjZT<-T1ֶAڙJyp_Ѿ{.7$PT>X; t*j;r"| xUk]eFn){s_TW,mAWǐ$^bӰ_ɚ8܍O?vb%DKfj.7('oA " ,mѯ[Cm ^1AEO7?w{7m$޼y&!,4yPSp<O{Tϩ}s"LMNVUy8-n@Aef='d|6 NvҫdƓwڤ''lYiIHIel]I29p!r^MKl$ 7q͉]QMpC=`nZL؉ɵɄSʲ)Hry6[4Sr.*S@"w(W=g b|@>1o<*vÆ^^i)8cP/eBCC97%>6,iPU>QKZ\xtIu09㬖,g6k;e=;OzII0ᰖ-#>vaw1%09 6gzn5N_;tMVՆ!8x͚҇* Tqj.-dP˅ wwHQΞO_x_WK ՏҀZ96br_:@:I W1+/8{39w;Zw 8p$5b"+yJ{O ˚&EGzglYh s",jI: vp<}s2m*o#L͂` J` 6Nxg :Vu|:R&@30 LCjԚn]Oq!nj\S?{%h!黼š"Gw}hjg؇+vo)B跛l)-fzOԩ=>2&SqCAsY"px8"=MBH[`+a%}Q/NX޳oGkȣ+xLJp&mu@x"cͱۤVH?l[@ƸhPnDsH2q9Oi[qpYnJu弢o[,5q$6Y,EƈqKSΞN;Q eK,O#U3"g' )AEc<{2p yQ$!6cME'<0O20V>-HΕ[I`LƀK t͞=YQHUH1 +$,SO^l CWݾ%Y*z! A$7e.)J̯Ml *b(dxT |m`|ɐЧ0A'RCk}_M{ =R=$z -`bh 5 KW-vC k{ r8R€Vq uBwbwԗCS'û*kY.q wA:s;UƬ0l1yF7~o^zzTZ`* SO{ mUT\-b+`vjB z熗DeG,V_ 9kD!cjr[c:.}v 5>o Sr,jQe\Lc`L̓|* (֨ܣ+r &Ʉ)4` Dv Y7ԁ4 .CUs `ͩU3\XLE!'{ ާ6hH߱yGs,ۇ j=UMBJ"Ÿ1JN$o}UB##~.1|!ZUʂ< ({s6ΰ5)-^ u%A2[,R1Znd<7 rbf[}ڢlcTӣ Zy)5 '\mi_Ͱ˝A/qgM!-3yca2bK/o8e{ɯ6N|'!>h?Dd!3 wUЖt78q>)<ϩ.UkQn L > 9^ggXbۯS5qw k4=rFp`(Mj3Dג&2dp1kv^Y./}RdC_c/h2=CEQIy:`7|:$D>Fr~(uGov8^v66ݯH4cYts%0ҋ-8@ufww 4"w0͐~6ɥ>k)ͮLWX-K%2yt,B1,R.~i06s͔TwTbz`Hb7PU+$*N,oUk )̸V4v=_d߅s)NjEf41˷,ZQ|igvrپx'w<~yH~PN唅P]\0ѽ4j43lKn-,ͷS""l%ԆW(u&6WP::x1KCM|%N]KYp0=CƃI#/E|ۘ*j!%б_~cԂ|5>zxl۝j+BQy]*H<5A.#?&C$c8:.\o5HZ t~Eȝ Hp_L[|BG܌Yf2]brP^0\Iks p.Mpӧ*X^R1fQl{_V䑑v9LwUJ'u8*U0ZLϒ@  x)u:VjZQfGJ< EvJ L0K dz9?0vNŮy(j,eʔ=92T pY*X+3 {k3a]͗RR9Yk.rҵe4fGwؚsi蚊 c^{+w'&৏#71k?"^b/;7QU QF#%YςT皏,;/ʲ?fj8??~`9Ĩpg+CRK]'*I6#.=5Yb/%nq cr~OdVUc'ZȰŅ~t? pX[-˲DY=xp^䱿4a-HZW2!/l¹%s~)p"174LW*Zua2/3It[2 _¿GOAJCJtZ{NC(E(~ٓkБҸxKkl9DGi959Y`dm']fUХ7ENq;dg|^;1XNUgK#tq__)I&L;$lɋ3~'2)J ;y֙Ld\z7hm1A507_ [k=q_Pl;rNYT^t7[b5YQn'CswAr0) g@?"ff\ܠFzҼ Tupnەec|:-àC*">[Er. tloqnưz:Kgb%29=DZDf iި7JO9}qmyL?Ȫol!Ni)F7Q!i2~` (C( /Z$*_lwLדAo d=NJ =Hz@.]O qۦX(;t lSrbmf>ݓM(.h5*vQt9QFˤ6_ctLI wD%*=$A' Se5|~䄛I0G _R&{},,n,p[>s$|͹lјؙ1+@,0{7d| il8@aж^/605Co,EypϫZ j|$BԧUU˞+ĝ*jOKPziɬWʣ%Wp32CIȒ՜yg=NRw]?Y+gP_7nlCb|Z;c|B=BGDKc/%+L{&FX](/ՓɁgĵ\s=k`ܼ]3>"e?k3˓kRSHe$r8{eaGrVT(/nQsia"2,L ֕~s% ʩ 6 n9yK;>Z˨l!}ʼzKq$giC*2w= E&c/-d{(Ӊj㨿(Id[t9)JY=:F3Y8͛J>|=*5Q'&RrWxr\qMHK(֗sr\o]&q<(C=mne=+JrXVRީ>j g 1$ʧ 0c#v㙾^K1z9VbSb]1 E%Le2xM oɹ 5!~߃ŃXeA۟'>VUyTl Yζ~cqO_簮s*HTC|-ֲǩ@]q FArKψ.#i,:pa@Z+"Iʓt\zH H-QϪ.0–~k|cFW!ȭTM 72I0\Yd].?a{I98SUe\ .WWPZ& ||4k$QKJiULښ0#ղ8Ή(B1"zO ^xJ'cm |p"Ӂ}?ߧ4 7|+=DbmݖܳSCGQF,K1'Lޔ+a~Df]`4TϢr0!@̭;+Jpq?ivSOX̺5*CH ?^p¸(n>VlW| r}0dž7ɲHV QPpV:IGpMr]BA{| nɔ!Kr\׻e}Nϴe=!´[ڦq(N^.vepAxKUއu0z5oj֫]T퀖)pG-V5\IF#5K~bڙ>nNRO"Wa@$Ó:g5 ;Ce%7iJMyvoY2qjKHx!aN9p tb7׷{^"cq#?%Ȅnub_#_&Z ?Yo2-=?CU^/`V,D!lpfQ.y.fsu zK03^Smz:Tw%>I'ʔ_bl^,@ S5O3$]!Ilg_ R͊PƬY%cR~GЅa-צ- AT<fIe=[ގ}936l)16<mygYZ bb?A% $Nested_Multisets_OrdinalsHOL-Library.Multiset_Orderdocument.tex7zXZִF! jy ]A-MՋhvG"uIBm5 6+Yl~ay',5B@aJ wuOVLk]|bQaCprz,蟮]X\0Lt83EQC+Mή MTYn*n7T[c'!GW13mOg bMAw߲l(O 7R *F" r_ ң}S\;L0*2WD;EƗLCKf2:)C&$WLƴ@{H=b>b-|+xd M%⤊z,9``R G;2v䯕 VȻ۫U&M壊ON5l&!%]J!csyoKyqF%# BȎ48P %E;ӵ%2fZzMr<vg98Cq0fDܽ@&(Lomz +3: #O=#ZM(%),Z D(OƮZcMI$TA ut0'lt]lflhgAe}OXDx㸅N{,lc?!U00%'1)eS pXĩ%S7|NZr Zzq5v~Gm.aoՅ_-Uн01D_8x&ȹ);UG%+^;7_kӦ՜k[xyõ2ނ4*7r*ټwdU0b]|}'IUr4&0p.9>?q {Z hԴ(cV؃KXTy\SLUeuL":tʬ 7k a"*s{RE Z_ΰ*1C7c;k0r#I-jbJt)/ (E h7A}?GIth@+jK,`o_yG&(*ys(!1D֝g߬c|Dvv{3*LR)vͮpG3G-]|u>9goYhv){,Ax6b$jB+ha9K0 EsEpD5|&>gZĉ|(X__$$Q jT "W}gFpV$sLו rV,I&snB=P)ڜ[NލHDf\wrЍW\d.-^RO-R%6hWGV;+K_InZL[fsD6{n ο(IXnŨّoȯrG!G_%]01hFy~u,/򑹜vXDK3ylƓ?v$c^"TU"TGNzOJM'"u[Rabؙg *ýSLP1cq&0YX/aC,gr5SGDmt`UY/pÞRNAXn̽lli_SE>r&Sw( w3xh8O(EmٞZ8=37;a@2w]21q|yK+/7q0ygg Qy js}Y{]jYh[%,op3P*N/h/LJ0tWw3ME4 HV;8^ѥh"9է?IJ%K#b"qY\-rVet|F2kA[:m^s*.A Ǫ(mC?Q8춾Ŵ ?Rf2q }t|P^_pZ#t Rʤܮ7'W&c>^k{XbEA0(P B2C#MK :}>y 9Y8$u Aӳag+'L8Dm1Knqv|:2fp7_K$q cMFbWͳ. ZBdEWOΣ9ng^j':+x"'219^J|[ooT{I +\$- =brZ]Fn,KpWy| :ZCd8?Z46aX׺é #"+F4(RZL9Kd$4c\g)ġ"6sW`rAH{B|пukLOܿ; _Ygq/i} ,8ʲL}B.DQ|9y)ױ} ӗ2clw˄CQWW*XffFuJOv6`@[ n , Н\dcg|-QEXD rSȈLcLwv!BYі:O.@K!?Bf[ I7p e ug>#HFB'f)\O0郯 L-7Y)Tl!`{_jJEjEw3ERP 4Wĥ"loc|]^=/+@P /S$wYTc@NƣJEw5[.8@;.)X ~ֽMł/ sl(x7H1U>xe1b>/ Io8=>;]W*lo^qs(~pj(cEcqx ZsgV?'SMmP;x(!V!NNLK Vlv|DUX{P[*ґ C+jCk`!pZJ9d>gD#9Lb QT=kGgA x37*H9CtL;ڲY+϶_L\j ڃ:w 2ޭq:LveԄa6I>at"(O hƁIIIoO;7I]jCX sBv/`99@ߦ3ee5vRB#JĔ (eb3?J޷N8MCH4o+ S Āךq*Jɜ~PG {R֒g^g{aP͌Xp|$1/&Z#GO2ύEq{3++27&} f/)ht,=4?#Mllb/?8w sԬD_]Vp2n 5;6n0.ܽ6rϏ$`Y/eU]D2C}Sx0/-ggMDjo~Fs1Έ4_}` O㖷Z"ˑ5!\1.n%2XQYYRQNGi hHsx ;<*9~񗆯fI1KZ@̺Wy3kU_pt34UX'*mܟs4ɼ][b?|af1]6aj lPC.EO 3M1IE!hj_Zf|^67; ˲0o2; -|ʶcaЊ {]2y@XϬ{:&1K of!vߧ7Tp Sg Ҍ3v&DA$hno'hוvG) 8=8l)":Q=[t:4 ڑt91_2,ME/pWnRi VuFj1$V>mkG&@PD9g_F}R\b?4oR 3W f P)ɶb ,R_LEE,c[uE>J;pG9M7m^}ԉ!HJUdq1as/PD{QKЙ] 4 >g.oxIno٢D3^gi^CGa 2nc\؁vw`]1ᤩYS;5 #Ol-{EXP>y_0I'?S_unbwFǎ4/B/6{+rXUP蓱?3q|.JN-yrWqӖztW5ItXN$^i\61%[𞟘`?=TPKZf|ww}ZW f'(glWu\Yy ̍ viLz/X.QI Ã6rulޟYRA0CqDܮNFdbozv9xbp.u?%H` w܄¯ yk~9t^\] *f\ t2PtQD9(L#4,61j%3e QC{Z!FfD*@iPoGKxQ3@ l8\Z;/_sSm[x;xu]}3cs5kt{zGq\dM"sB̓mk/B4']$jb{yݔ6N77Pp 'x'= rmSh-Hͣjk}B,>zۢ 3jpʋU3Y\=`;# Pw;Pv"Q励BSkNrOOuw %)s0X90-c2ʷGGri#xsʋ ѱܺ1Y'wX_9oi=S}n 6Mufd67Y٬ ߝlCB:F8l߰G&) ZQ->ݧ滯${ִ`ގQwZa#-$p㄂e>Ku}iYf)"B0o_|굴}&arSFZП},='΀b֔q_5B02} [nQU|~zUt2_͹;~P1٨ū<~_ۏ)_t̋v5W@`X]Ђ nZj$; G#\IlYy 0 JIó#WŎ㟌w5|'6[\:`k(FJ-i|0HW㰏"V_H\Noc7Q @mUZV'-朦M s=Z RC*c~;,aeńxM6i+!h@ ܡr=z=ᒇ9笼eB0Ŧ:pcs`M_VlmoҾړtpIQ;RnռtlK0e*kgU@Nt3@:t ܝE!*vuOzokrѬ%] BG@ƘM3;D WknXހ'C 3Y5O;7suY?2!4 ^%zS j^'m WϦsAsv:֩W+oVh%d]!>n 1^8,1|&Z)K("o;Fѻ^OsU9@GjsΊj@ef ]4Vgoa6`{VWNn*3ݗb }C'@9v 0`.ڃ^s>;6Nݼ([[ iP@_]8CvAgA پX A+Gʰ.tobDjJ ѻS#"`;DY.0z?,xp{ CtL1r97|5x'NXCV,b4e0ge<"Da0XEr%e;h:I!%ZK jʞMJnƺS0{tKg24קa}9+b/( {8{[hqlk-5"G5j;fu2]͘*+鬕後0d2>{5#p^[wB)K 6pG}2Դ@bکZybw)fd9u(GHa9g f$1r)}}JnKk5-uPdIoP0BOZ&6 %oogͱ 80"#=w~Q[:=M7Cy\T=| ~k.ܜ3ʯ=L<o(x>jĺޘ{jdMw+l&j6iS[KnפF(;荻/Tլ%dGwy1iI#z ;Jou m4wOlۋ*𠎴3~(Y; k@wrgE?Ь߿?^#sS/> vRy+Df43\W ;g1mȪ@)# x46V+Ls,Xٰ3\0 .2Oi+kjĎOA%nb1+c6xk35Lrm&Ô5YC7j1H_Bz)̱NF# Mo < +Aw1InXߤ\s ڕ=RJ 9} FŞyL[Ӌ)Gg2.'1d枪7_KE!}'\< >o㸥$\0;SvfJ\8=*d|DjFxHcm<Z<`[r7s-R|V@ۄ֕bnnoa+.{[gyT#8T/⭖.I_un?uozSnE}p5J==߮PgYZ *?_% 4Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Nested_Multisetdocument.tex7zXZִF! W^]A-MՋhvG"uIBm5ij)c· Ճ=># d4$L̲sHB./]/P2EnU]{{SJNC$XQ ]op1bq?颗nTl=@.%,@loynBޠ+cc>{l_}"Dw],_܆;Mٛ1 D独+b4 p/MT}!djq.!/]Zϐ0}cf]6+l[9H|UIsd,oUC<;0GZuRgDf_)_@FUMOM]@3']hTVi];bU7mYD(`/4n%LHbyYGZI?5E!_^+3ؔ 1&Z/oDa׃-/ƈ1C;̯M=vygZ"`d`gEp#D'6Ї-J^"O{B3b@N NߥGRX + :- |GwQ(v&qy- 5#`=۱y_70t=a1{CK3)SCv/CFqjnTXѾ72n'+횡 ^RKd8%=g(¥}]|<"wCODw^wU;kc<UygŠ_{Ԕ:A%/2 HGA]ǚP6Uk51k-4OC}ۛx* w`o2ZJߌ!^[[HKW!+[~e^śbA sO8Pe\ͯ&\(95Gpj ^ s ښX-c(BR ?f詵nFka*0 !':Rg#3w2JM1[EFwt?A$Ů$wߦ1͔~qWbc {5Og}Ubz4;,v~$ [E?:!8"YDpjAwΌ>;&Ykv9PAWG5 GtԆ ,ş)JZd{=  y`@tD_g>j FQ`-ίdH `d{C GN}Cpe ΍ja@&"6IS>i |esI*N3|{&A~K k(lH1myYZ j߈Vk*kW!q ʼnz&Q/9_uJg ?s ,j*glx0s (NԟP^ )ڣ'{"АO*  aڭ Jw<[$j`xW'qS>!D SYDV1Uj}S_RVG Ihka3grfα6_hMgte&h*jE.AŸ@L[R2쵣O6W LXm5*?dC2Li =fڄ#hg٣JWF`81fB DioKJc_^Ư!Ej?&+ve6cuW ΐۉ:iY럢[Xm'8 X_6+dnf>S3Z"{I*;Td!Tyn<0[#ί9zW@ 4/LFJ pwcq }DaK[V)M;/c/oӜz-*s1c9a벢 $L}$΁YRt9 5lk=Ijw_)~exkj|cBQ{%di;"Μ:{1]^hcTxX 6*'tu1'W)P(!Ւ9]FLoY\`=>]4} Q,B-}fkߔ0THnSL͸u0=Vj3(͎L)QMߵWb{YG.tTX&We_י74Ci1ؑEkElcvf^( ލS3\`M'$H%ŀ`P=ٚgޔ 5QAnǻ%$&YXQS8vQTK,h_E%Yㅗ["+$^ϟT%_ uC@'=1F{LJ%QC颛[G "J$sZ@spTcdN5j(S;z]?..2DR,RcRY?!z7D;5ma˷ܳKU{EAuM&|dQ9عZ8:OW|U`rR)N^kWaghۧ/[kTmjUCQcK̸,$ڭݔYw7 %XqgzTB/ :GLC!$c6FF!j" C6$4+ڜׅ]D238wW(v;%pʥ>M*2k9ގK0FY:|!Ɍ)t4LenPty_!%ҋl0+- _|:u0q_TCGԸE$8IKYۛO`\!i@(zy.,a!ܶH>@QW< */Ty,ic֟9p?(@g8juk$ -rjxLFg nБlq< Z̊½ʼUƪ;,m6ho&3y+꩹  YsXP1.6gOgn{x)V 쑭4GxUu΢ɨhdVن"%ǟA߅fsҞ.êgxVT83/z;dm18 ~ľZ^j$b] :Rvsk!2C=m?mČ/eȭh*W[=K3Gy{r7mEU꣡푔0B v\ M2e}ޓG5e6gr)5\U8Gaj3T0մ&-_0=t #<ȱ/gMkf&I?h:l>ԅlq%cZPA0E{|͜[[UiOC5].Lh?B`iݸ@Fb!u9y5EPg2mS!iN=}~8Bށ%7Uf,Nz60 (PvտfELZd`7|77M^MhuA&|FPǧ_W"$PX+ur`O Xk?z"g XVa0/d^"eu*h&rR,ʋO[>0!|Qx|t|qr ƣOO BelGdq$c]1V*Fa2O ,;1"\ 1q葖)KCϣyk:sp>/W2H~>:} BGB;[聽kS)dP!|ute嗚ӜH,=Inμ6 ? 9{&A+:6^g;XE26AP+VVe6:jҦf[@b+@1J1Gf8 g58\|j+Wx ⹒1ꫭ=Ů#BO6ٷZlNG¸[jPʹOW%lZloyL FN~=ZEǯbo_rNTZb&u mz 2^Df f,HSq.bQ'D . ~41fyԀH\a{jm&\[1vO`*/q: At2\ˬJ6|܋QoOo5֫n:c# Fh=$0jIjx2k[RZpXK#߮e3Ɇ7iG'Nk&FvWBa,ī味ncN*K6p@%pVm_d]lyg0Y4 S7bqeAW^E9ujocfL/tmp:`pUZ-'CХ9.k0_35|{JFB/&&'DETMg^T̴ 8IuNUUkSޫ>OH,uŗ7QU߽ijnaˇB8<"5ZN[H3jPrjұe9w6-2l l(/J+ߑbAƯ]~qhxx[Oy*Ivx. i!c :<)_J<g( ~E' <> n)^Prc.Qz9`á_O6-]h,I},.x \P& a /qXWtxeKQXj5Zo +ebC})LOW.1z6[WkuMg†6ޠقxQв(\}'S ێ_0 ~آ~DDvV*4_h6g8EZR:#N"jbQo_ ʽcV^C{ZUj4 GMJ>:V)~)Dl7D-R&@"B k;[nHd寋K/l8eZNj-LΰT! z?b0-{5MͰ\&JV2~`2,A30}\ʿ|} u}^hȰթMxϋX^!ʭYzeZ_TiY}#rUpfSͽ5aBMiEHfW.雄`\s~/֯ˢw.x>Oid V$cdsŎ` ,"f(BC9Ϝ6$vge>~THaDH 6@z<&}̺sR&93;@?YJbN+2_k/Y^{>O(iCL:sxn*\[85; ֏Fib]'lB]=R4۰΀zU^F;ȹF)Mcۏ4+9Zq _Eq|XJ@3K&'9U@wZ7˰13"uL7Q J&{O߹(>AÑ)}M\:ɭ#4[8 nD)Y+ AU>08ٶ(d)0`Ji=m]+[i^>Uc/ 㠳dnFcʀCWɦK}O`ۧ@s?ƹݒpX3+$ZO0li6CGFqGWZߍbuPχX%]*ͭX)!_2=yiP/nv? pBRDMO- ;}^0A@sb dWQaeyC-#͛rVdѡR ;Rж%+mH$<%yt' 4ߝNbrkkkqG;ѼxM45E?/$[^t[SM`m+}.ySY&P UnAޯ?@.;w͗iokH8?ҋO^~`Ҙ-sD)u.ҾrS{N5r:CrbIa=\ 8qG(,&+$bQc]@`Eo%Mgԇ٬g]}.qgYZ + ?[% |Nested_Multisets_OrdinalsHOL-Library.Countable_Complete_Latticesdocument.tex7zXZִF! B]A-MՋhvG"uIBm5`''-6ᶈܝi7wq347q40"*=FxӛnsSJᕲh>&R]KK ֝Ѝfpנ0h%~^r1%?aƳSAVG x&xUSN IMcNKϓ29G=a&ZI8Jx/Y}~ F1`tAMYgA1#mZN7-W0rrP?!ClNmhsoG J4} eJC2~ܤVG&vh@ 1ډN8gp1>bK/nuɑ&1-9'[`9ԭPHksyFBGorǓ, 3#Tn4]WQ.2Wb.~/R ջew>G5^ FCRB$~1(,DkU )J{mud*zxF3"+.$~ `Ym*sKg0QBV{aytFp\~hب;.xZu](_aK<}!W6ЍBі$Hﺤ~% ?&tloZ<#&0@hb<!(_8/Md{ԵϞ$ t鞠< ,gXC'*zj&_X+c͚ޟ3A3TErAŤI+B~b]Y\iZkZϝxŷYkzZ7R٥g^Ĕg.W wT &fp AQ\z^ -F߫u8g.qm:Ҷ/ /8:w *{3|K^{j5׽AoG\sm-CJ(evc B~- O=S8.l?9tJu~_E^N?HUB?gfdbIw*5jS"sK$%2D c!"lJj/Lќvcyz E"{Q֍pAVq)2RϚ%aƷ@j{ ~yzJ2e'XC07.:{g$'OпjZMv3襠qEU&Ve9?P|BE 9Jq ڋo"Y]|Q&S._8LH?! "vY,?f[ 6J*G>׽}ii=O.(uk&N`"fo}80b lDF4U͞r86j+‘FbrЬT"Ow#eB>IDwuR~#T ~lp艎h<(ȆJdO|ِmWa6J y(~%_AUR43bMĶi;A=jaI_`0$*|cڤrj;Z81<ܛQ;M! .E*:qUyG\^kЮp -x~p 흮x]AA-}W &l?ڂ:<Op-u`ͩƼ3 Sї3DTKɶ P,X^lPx"[AӖVUĮI& 4okm;qjy=PI-:au,ml>S/C=8h%]RDA ䷀(<˶?ooqn, piR{H5jtȫc5 8ՐN˔FV)bg|$ BAt73d6MUtNq?JW#N"Q݌Τ]+Ю܅NJmJމ|MN#""9~䳨 [t=`3x]rw"iGUg^Y-bnQfyG8NoF%d:枢CE<:"DM.B&:0>յ<#JӃ0(.Ha/BR)iYG.ktGII.ؤKt󰼾la&gdMW`pz'uWr4۽(̦b#iM3п{2KG!9Z4YBP-|9rXȱ"VMi\h@W/U k#o00+&hVjhi!*RuBbs=gT:j2ʴ.]S<~YU@p !=Aބ}T 4"K6XEO+bsY - u+s-vۻDtF;~-e:>oO)d1G+pLsvDUo<4gkJT4s2ԭ)w,jLOaw:3Aʇ9O´?w9㋎{F~L7:r!=mc[G$>DžJAi97>KaZh,fcBp.a)Tfھ^wvknĬVHo8tD>tSgz&m:' 6wf{WܡZWs(gnĶT >9 zHUvB/pp;Dۧb̤촀|aģ 뱵 yd 4wYE%ґGhԌի҈IF28ɛz}R;"fs8Y.?AnQ391DΝ\ISũ >U@=V1ň@Sj\)ʹt sPcY)΁͈7cn.%kra߲)cw/@>'` n6 Or*9]smGp#N "F_lA"^ȗXZ0?ȘQN :/dy3̃HzƸ߯`pPƈ]5jp kOg#~EU3$dER>)gziYImC7:S& sﳴxib)|BʻpA9YWUU*E˥z._.OgU+ZUIf_D+n_u, '眷5v.`͇O&6uF@;j.kej $d;ErѨƬ$Y؂leS7RrQ?Z`v/9$?cY 9ʢ&F0.Dxzc5yW惴8/~FFa37H֛U`ө*v n֐Ch[R+%ԎHYlvGR<.i2z+)xdě0OIxLxH 7I){Y2Fm -ВVBeqd qmRF{e*܍ b)Q2a}dg|r/{ !:NeGBZ?+i\XћR<5I#mgB/N-!Jy@o ݡwsEt-{PU@UqET64"b#?db b9*ʊ%]FN0sTխ|#>f!{uCiֶSkna`cۿe>},۝p>^*NtNo:"RsmE-p݅X% Xlw#9_b DG)]>iA1i-#wUK'Ҡ)P1XGi1ݭ4`g3_LdFgCK5 9 Q+&mz9g7CǙ>O1ƙ䤁mf hO"Vkf\Q=@ۑS~iG t.N?:b!FOmڅ̡ Cߴ-竘02K-G\=O#5N:mfXܤLv;s+{|*+0[8 L b!/[gȟ#0# p ñMjrugk`:V%xmg=| oWCQ_X[UFJ Z&*D~?)\J.>oF[{̣"BP;FP斀k|?6|wNݼ8MIFxj *Uݐ^>8eCNH{10X嬬Λ͍eC.Cpup Q^ G|<2Ge,}eK:ɲU*ʨh.*fTu yOp)2ɻ S`? ;:%"/s}>\Y/t凂p!љW#E:E&G@O((RtgcXFu#,Aޚdh!hS3Uocؠ"ۓr{ ыY Owܴq@&^AB  |mT۔4!9?$ 5=6?{p2toxxJv/ ]"M4.gE_{|z GT]<M]$M! vpS>geŅ\yJ2e- 5F4xd\\c.> DVT[b(mT([d94Q}j$ū;]tzcm @ˈSd*x&(68^E4sbX6&ܓ u&kHܧOCFԇC/=1LָF3۱zjywKjePvYTֻ›{krjY"7tmw>IఏA~ذ~!aR|e%%] Ixdu>[UZP:Zjq9&9}sFO=eÆKJd4+ j2on z3tw+xKEw qrWwnYbܟ Th?H=cQӕc= ~8L^ړS_̚Կ%nIUwP6FK[l~ 2KNn95gB%r a; V$pk#HQyB$5P>i]날gpBh} RyA:6jw C _Cd8'g3V!Sw1l1t'A=S--H[YLKSbUӼ٥\-`؇nl eW1DToM`^y|ǰ}gt^x<}Zd\cĦK.2j]V]]hDv&/?kߊKcb5L,܀v{DuK(Hvi? q1=uyG~dl5f+`&} |>k|\=|QjІL SGY¢Ч}`U\YniI_+С y ER .Y{le"Ck:G ] k!hvC^S(y̓J*˿(ua/PW9pN ~{;EI6 .6Cr\߈bŠWZexcG%SM\nL%t-\hfCn{zj JĈڇA'Rx]HN(/!v{k; h[ JF* lv-@x1! m5SFۏր$l3-E}{H.odn_ݰ,]>BvA̖h't%1!O)JF4 +z`4{ ke>lȏo+,@^4&EXlBzN\iu|25\$5'؛b3rE!7vBrȍD]n=+6fG[:Hmj`$`@ 7x^R3jCQ 0 !(y[9OOB2% Cf8>_TBJB2}i@7w"k)E'1j$vvD*ʞ7?=cA[HOE@0"\ ty>(%~`aр1'S )" u+cRߏ黼^yV GD-{YDе᛿.VxO1:RّCk*ʙՠ@h;Ƴ (`'\Q)Q*(;dx_8t|+N]vBV?nnmUinߠ\_g b\|@!&ͧZ#fh<>JU<Y;Tv7>(LsGRw3S*\. OFcSLbzA{ %ݏ|%N6/iֵL%f14HBW)k}1Tlך? u\Do;V jiiUgĈĩflY~X0Rى&V_AY; <䱾%C07,sCXE8hnF*zKIš[Pafƫ.UW:ukt=dI΍َCD5kѸav|gekMZA@uLBK^&tM|QtV6/K 6^{rs ?KrӼoDL#(O;OXMHno@J ֭R_>'lפA;F@mɳZ%ì-ha9Ywa Z Wc1 ='8{荗?j9"~4i-۳PNh_ûZDt۳YM  (1XQ7Fb|`UY Vq/D@"/'2 j<ʑ(!9VI6j*RSrUf *EVJ6("O(̩jWȅDJa@Mwm*fH OV\o1+`r5$3vqlS:a S:zI:;/^k"?dBw,,:1xri~|_Å*@~ (IMNO[f;)_z=#@ =sQ7.8=46ч7nN\o$gr>N3;NzMj dv ͚|meG}!oĽ*0qpS1KEQ$P) .ma&2wkqspl$!+G w祻7Zf@G-a<Ζ4_Ė$:,>Pj$Z LL[yg ΰ S@UNEpX-Hj;ᠻw!poԾym;UC W?wz<3Am9nˬB]OoWc3Ʀ>3\ $bmoq4I Er\eBȓt^pMk"cbtೳmQnX{KxGCG 4+҇w!GȹPz0oInZtT7#j[:ZS̫`ZY h@uOz^hMÖ}13xT]ttN"QD=8/ܓԛs:6Tۍ!X;Ing.ݢ;T9Zl';ڥ"k20SUB ?O١~Z(hEv:>{VS 7@S?MIܽc\^5w7&kձgYZ M?=% Nested_Multisets_OrdinalsHOL-Library.Old_Datatypedocument.tex7zXZִF! z]A-MՋhvG"uIBm5ŀ9"*'d>huG\sO3Ӎ⪸}H7Qt2@I5 QH/^ŪjzwT9Ǟ aV>pFF|>@v YPkuƸD>A"@;#"/ꖨw:8>҇iW)Cçuh È pzJ۠2 =-\7# [S`ieNWtkt#Ve{4 eWG\nr| &nCGrb(o-v[-ъ׈?bӖ'ߓ"j{514qm|!}]JE\/>Ws8qc ڭ,Jx"~;]!"ʻo=Et9<1\o7Q;z Q\^UJ_m=f-)6g IsJn .#Al,,p=plAeN1S_: Q_m@5[+~`X/0G13޽qkdg &q9?&v\)DE[6{A JCُH,۶--@>Uf6)k[3诈kё(l q'\f"n͋¼XT86 MUȠM`v%pP KoT{e|gs~Og$D3d?1;L 78Uʅ Pl)c埂V hJPPJ:1%%-@qb|s 4fq,_[)Tk+ Sjå}D䫖!V)47s,)^{hNJ'P GWl_? ̲߫~v4RO~\[Z8O5 Xo}n"i4V#b qU!̖)HxAd)rJ=sHhcA翭y VVas%ee *)b"L&oq\cB3ouK 62^h}{DWb+EN^YHw>cژ7| FF. e`9eY)]6i&/^75<0r'N7$$ny1-z1#}ʹ T('t5J.'7Ms{7wp`Nw&>ezJXm/:7^TU8f"sRpYq j)5t1Gq'bD7[LRM Lj} >>>sC*_ُ#>+R~εz4M+[䏢J2~}!D'Ũ"GHND`)#t+hR?' 34ߗ\_ϚLg_X3}02`½.xZ["<^}wn_m/Iħߌ?y 9DGƝe ]%>,Jq{L JEuªiHx>+jcq_Wz)JFe.nf#q1) )B6 m]qn;fcK&T YDxCY=sFPRR8*fq)63:P}5>N,̰;qWa*gގ&Sj`!waR)3 Cr lZxүћ LP3@IӆRShŢnP- N{Y1sxTak{A|z/.RXMKc[+v"+.`f|1'r2F% rHGQ]Jup;&<ŚYBcTmJ&ji3˯TjŬ3/2>+zv Hm5;K‰6z4c5,MGvNl3o~a$-1B9(p]Պjl(^4{TiR/p&V'Tp1Zx }2Эm 0lQ̩ 3p E+$~Q[ع .DE`d"q4w ^M1hI"M*}~uajt&p2$m q]\xZ o܊옿)@}_"mq^W/Js,&YT뒸(f,PN}V ϬK^?g }є8Ӧ]P,-0)Jsݗ!. N\^/.67USRro w_1ZIJpT[&(4 1)\A l[A8לEw݉/e a{[s6Ѐ}_bSTi4J"BV.\LE񒱛tmĀ6a%(%068YmBi- ĨQfR&BW{!C7y5ެ\s.y%z,㈌v2o1-DO@;~%<21rl"%á`!O; hi;O3X#@IT/rЖs@t2' w{ŷd8 S/3kBXtu?{m )/aII.I,v xb3\]otpK M)2"KyDX=,i.&֤0{3n"S˽O)(|>A:{c34 Tv ?RQGhs\sW*Dmy/0vRK尹zζJ#{[v8D0 kJZtn@H8ن9[SԵ=}U[OfA"`wz1g˩A؞ EgYJHI]vԠ{=AW&Қ3@xH*kRz%1}FvDsV92}(#$ Fݍ2TKI3]4ҮRe [vt2 @T>{C.KYs8DTAImK & wUMK)B>jƣ[UŨrl/K=?]G؂5V:8.4"[G5=D*˺["Ѻz]5:rKU lԗX0CW}})D2Al.+LA֙>% f`$`yu"тԯ(_+N*Rk.ny=9f7SE/] abpؐ͋%<[-EX4.v4KL/{2׭:N5& K?6!{钅TM KwЋucTB'DZ1֕0KK8yЌ25- AVђE@)h( (۷b-jٺ-kkJ;tRM< T7Mxa}c#{ ,zx]Fhhh)%TMr%ٶq  Aʳˍ4" XԒY,ݬ+AxkK朘CF{8a;"9ֹ9Z(޾$4{?/FPԼ 6h?5.:9oTI#>uk|ҐF 8QiS-PĮ=pQh$ 3_kUVo p.rNשmJOH%B XBʉw-BFYF#JW ;.È_2LQ̟:"S]b t+ *S݁3]6AW}žDo iDr8 _)[AU:6.!\`0/4g (9@%j:SG+aod+ᒂ9dn(NO0KoiF?(bnQVjd&\QE.{+R:ʜ  ,fU]Ț-(ToHqr\ϭ"R3?UB(*i|EBsxKUϿS=4,ZMԏ*t_# VAhv 1k+OM5\6:ha|ٷL5=M(3|&\}~FB 70'̞'M[mdlBP5%bw4Ȗc!^#Cd,%|g*,Fj{+3r}Q_h+= 9d0;j;xXt7w @EsdD!/9 ~,QhKS,M&ݿ>OB$sXT 2@E-R_ !F( ~rΝtƜ0p^ @O"c'ߡw 4#M]wL7VD7COyekhD>fH(0Dz;_>5[r^<y|V:07 #q-xߓm 5sJeBP1ɑ)4ET.Wc %!-d`)ӢY>ԧbxdb@tk[bv}s&}/C"ַY.`Ÿw'!ìٌv&TV3?Vֽ'ʢ`Lpu_묅t\`]+ʶgYZ  j??% TNested_Multisets_OrdinalsHOL-Library.Product_Orderdocument.tex7zXZִF! a]A-MՋhvG"uIBm5Mk'- ee8k%-u TH7s!D(IoMKq_ aZGs}PPo^V{lM*~cBQ_+ 'slݒTYF rQ"^ִq#~.ﶤP75vj<#4g7aE8I?v(&,܋qq KvGψvMًbO}̭/v0Ig9xďG:S0w(">kDI#C#H Kso4m pvE;-|&4 ܊axi3+q59^uU)Wvw=|yl5q"huL 稀z P i3 gt!U1E{Ew㵨\hwzPڢ9m@Os@9û2V^̸(P-,;[ü2zIB [ddجį̧FD. PSN.5aE?`2[kO~}<(˻h%Uc`=XeQjy}cz{AZɽS)KDŒfky-.z#*|!F>Κ“WÌLl7/fAq$-L=~cGM;H?J _ZhpE:U..*W_y|g.;HdVY/h^"إ`d̍XWI`{ԗ8dNĭ=CUW>S|ʷM mN(į=0WӾxȷz7qؓ}Iˍ(Ƽm4\{[Z.a 'z6AZƙ$S5{NӋcLG :xAs6QqN7z /u4MUzȝt:N< rNA8e[*suLgFR=HDi|!Q>w+DXcoEiqѬrR%KRG 5zbEuGzx^fR Q8Awlw0߃ "$pXGFjva[ r Y$.\:'xj =@rl0.xk!LKUm3p޴!mK[ jeR% zv0h"SÛX+w-挕ֳ`:y5s QKlI\?:+@m'ņ+vM YR秖1U(@Hs% dd/7 h>[-lxd;v;Z ˚e~?Y痸9_hT#g(rbRuzm=.m3N$8<>[x%W9 0Ep];[ðsҏX,J:9)o=e+qk ro$>u$@^2k)Ų-{9鲔 4s&([Lƀ d(BJx$ idמAd Pv ߿SDz5)v, xx%gf'G(K:?g% LNested_Multisets_OrdinalsNested_Multisets_Ordinals.Hereditary_Multisetdocument.tex7zXZִF! ]A-MՋhvG"uIBm5 98_5enRh>m J,geXWR3pc0Sce: Cxq!!םiY{kO[VtŽSJp]o3u Β)|3bxd`7RdsmQr A]@|*=]GO' !l6k?31.b=֎JƄeehyejy~3j'8 2VrEɝMn1SJ_dc"i`["E8TH+zEz3C76ͽjԠ7iO^m6ZvRiF G{>b:iLBbӬ!9bRĬ@ Ql+ZZ |u@ @VΪ|(KWRZ5e:ML?WZI%-E*IJErú.A,9 `.iA~1q.`ecBH&Rnv_!}UɭYg yXO>)x5HKe^z$F֊U:w+!j.,cjRW(sI=1Nem/+;]=ue/#G2zՐ_ek҃7/ev.(/^ C7Jk4Vrle#XҨR~j rM5DW [?JDFj鈍OÒmkU5cD/ؔC)L?p~i([LMIw\7-'^>x();HN|R:ɇZ0[X'3{P_6g~֗HTdU߶{rF'~˭Sm}mtH}#QЗQ6'3қx`ܼI;T yq3t׍SQhNЏ9sF{^| 7qrP5{@ڻ1;z$qښc[5EY~}6{1H #7p-)_䙣+NiBꝷƆA9"o8 'zK`;J)]Ǽq[:nLçX}-]X3|"ʱ?QnRR kF㸌xST!ܪX'h:Ҭe:MP$Kst3j޵0W\oxs#"F͂q#\"2IXy嗰n7YgQL'_dB<3igHJz h彔 j,m(T& c3tx"{{rG 5$(ŦSl.+[M͖ux_Z՛^Mh.gʲ=\,$:Xr/4zM`拱e+-2h"|w r]L3+>гA{t ?2vьT2s(n_V"_~LJ}e x\M&iw(˯  Z 0FrJ<3.3['o'N1ڐ̱R)n{AS {&oXhrS79iNʂpW1FJQHsLXUan]j.B9DK}й o>|ЈZ؈q@y2;Au_U/gc7D'aYycK0ۛҫ +XITF0%B쓺8ǪLJ^hp:~'9FtlUm ˍ 88b2\ΜT&:Fe7uFcZԶAXan?We^4\S:7zHGub!j[Z&U9W3.@Mi5o.|| _]s!:0fMg% tQdzRB&kH @H\>q)˥^-ΛDVdBp7[k+6^)=';]ܑ(jmy9)=Y$rFiI߽k&1Wޛ$]PT" rȳQLV<6o9p}r–6]q- Cz-))|HEXTGy'o cD15u` #xιKRa>5s[ vlUM_"6;ZD5˯Uf%Djl|.x$͸@mȳh`GM M{LK,p Oq[ibڪ7ǥ"o7Ga)~czwhuwb!tpum׵I5)dٔ۔qv8f#=ęƗ)?Rj:X[r6I(8VHY&%j_scpȠތkVQP(Q (G'@1ԑyRMߖ򳤼 r?ˣ=kM^ujCEnٟHV`x,) 7jVN䎼Dz`EXJs/U(hĻqbH;fW/,odw)Zj8\\/PŲp}h˯|%wH3-M};ȫ z.#j;Vm4Iџr&5F³BIt#4Hl=4=dΪRQ?K0j٨iHİѝNxU<¸0q|,_kx-'܎bkkn5lM_ӌxe|(eaO(K[(~"]؅>^u: V[ͽOI(m5ovex!rgCˌGUXD8BqX'tcDAw᥯pKD}TdYfm˪;4ңP#/`x8jfMoTS߬QZvP#Qm)m2[s'jPٔ0p#eMSdnğpZ(J9&!1v'i 1ܠcؑMMB gA,7ApTt_}9Ef9i8&Zɝfn6F /-w}h+W5uVP*mTҦ 1%{ hXD@S(긛uuo#7oj-1~0{M2:{ܙ wel}'*h@7G+bQ1exeL5)H#|&?GKIW;=(_թكxo#jIs;=sd0Fᇗq"};쭤+[oL :U9,iIgYZ}38ipHl lQ|Y ^I9añvKGا$uPgI/ ѪqWV5G揽 dIYc36'S(D"m&r^wkΥ0M業!{ }oSqH.s~Q~PEVdk˔~sEZຌi?[m9 \),;화HV#t`Z,95QY +N I)V@j9]+Ta:a%7/G Yji*$Räm{q<[CQ!N| j#SC:R&#]EuVGR>e~ ?І`7-KH'\Nm}jH\C G wM͒zvIXPCwPEHWiuxUgo%EYP[ԛȊKz6&mB³NVN zCN\n NMm ,;}=7>9Fޒ+o¤TB ͔衵 OIԛ#[9*ԞlF(!WU5+Us?rlljD^)YZ,=HYct^<(9U{)24@R&vMP5`OVi \\gܱ KF2J>; '66H.wx9 ?ڪ&IM4, +lKD# Ym'!uh`g0'N2ƻ0Z+ 'V'}J>lJ4OD./I>2t"XwpLTIĈ_Y|``%booAGyd+(9^Q2 M\} 5 }aCI_KN ~yV(6}(> *Fm@1е$07wnXûC5"<[&,,h򩗲@H+d4 ދryxy6޸B-0g=91>-nhjtCw'A||=Rq2u\۰t>joϼО8UlWXi'oBU!kwQ{qY73Y7Xw?c}-rS2IοMar~mn wnA0n<Fgڶ&q*pcSo:aoIƴ1#?8Xg=EFO@ZctѼ;#6>{v@Tx_wvޟM0vQB*^ꡔg@A.*P߀"r.\/pJzz\xyW@U&[]K8V }vv]BEðmXy8 g6&*@ם*3'0vпs9FRH%,i9!SL D_Bj:ۗϟθ<6lC/;5db#I L!<31MEiۏX6 nFCkrƔÌk\3oPA깲9@G"侮N_ǟ@?P\iíe84J2&47miPOXݘIpG{L#{x Kbhy\_mN>bĜ*Wg[(]7n6` H=Jhda"f u/zT5=wME )O@^r*Tj1|엠;Yܑu9O\9U#j }pC9-=8]i6wsny6]4 3ձZ;=n 4,8UVzi9MC2Kd`|R6&.r@"FslBO NЧ(J.S@~8QXgs "|6Cd0&RÿGV o\ >VRr _o'u[ w8c pQ,R7\O :]dPѲK_BH\>PÙI<~At Hc&!dGTm]ROuKR=dsEWALΠ3YE'kTwW:nœP'7p̖2:^ 9ئϹt\ʙvEe64U.dު`htID<#[{p6 /--Ea$TR7颹@j7. ^A#H)f bteruq< 2,;<͐B۔!9AV"ˍPpeIWK} $7ų]-M[F~Q)nnP _sV-LlKAu.W'3f}v`ɊIm,kDݛ0S5ʈ߉WīQ@8xy* Aq#z)I_yuSBim;1 W +V fb>U1x#BE| {k<2י].6-X4@5Ig˵ ށT(Ze啻+p>v'xk2AuV:29Fg0hYL2 ~)b)$al{o_f9% 5X BtHfI_\봱r\gJh !2[$٥[`qڂvSR.cWtB ,enB=]NZC #* BVhq9f8~P@Q$YqEFtf3CM 櫳Ç+eXӯ+@ $ 8M0KF#*VZFh$pԘܘ e 'MiߨhGam xTXnPRd :VeL%CgU5q9~¿ʑإ>.Aӏwr{βz/4\{Ta<;Q7&˯Ytƥ6b(VvW{x/U9!Yq`~Vه||ҭ ?0޴-Uʯj}B?6+hQ[FzTI"9ME 9l| K䀭>f wND Ja 9le^f8f^>{3}Nyz:5ҡu"&֒Ίl?ж}uRw8ԜޢP0>+yK>cKj⛞`Bİ -2k$Ԏ`e_iś<{p9\wI6ݴ; + ju2?*HGvZ)|NĽ.|ޖ̒Qf[ݠê{<1JK0Iβ"N74%7}MC9wJXڵ$n%Io)O,616W-JPX'N &)˃aimmOpXvyĨO؈1*Yg ])4i Rt5`wECQk$D;[/OWƸ^Q*,$@ L;1G7t0B F%AL'8[^!Vm~2'+閭 k2Zn%+{~mS*3]-WY+/f4FQ[3htnA,9!  M]=."6U;(<ҥy+sYI W@_Bo(3,"|:UOK=zF+ ɿڳU\o_:"g"ˢ%) `,ylNI,T_Ş2]x -|Y"]Pz }$\ӱw꾶AY9` zY@1f\/v%M" {py("=gsbyjN&JSIh4м!ֹmI˘(aE14*tٷ)V+{ЇA5$0 B<{=Gp W!;ԇF5ʩA+nh/h:3s2;Q5PK%tZlLN.3%GVo҉ %|KWc`׷e~yB%C5hm4[%t'u;XX eL9r/*h,GY{bC"eCM,\|d%qu&`Ay?{K4/^ 5TSZN8|w8u@dB6r&^swrz0p44`檹OHVwVM U0(B%BhQ6.v! Oٓ,IjW LΩcCm7|x?dF:U^א/}2bk^A (GKDJ;P4;Ay6 Rm\hU6 l_N3 a'&rx޵ܢofs"c-aq$HQ{[+h߃RR&D)1W!{+V_=ROa!e'܏6Bjc8H=LP(t eכ,04~HaSYՁHB[qvPFHPRsWs]=U)a9-?k_=fE9;ܸuIU/X:ISy9;p/ә P$Fjs'3Aϖ #; W@^p,/;+BUq T:yԃR?|QDk:mWEPTV^pf٣)0{NAE h[=\3eH~rWѬ4S'g.>kuzMRƘV_b썟VRq}D2WȬ,6"0ݩK N:Ki2Emj^ ;7 im[˛]i8pZ0 2]#+u p@>LHxF /P Q5k9V{A'CU$/*]bilO6e'Վ8G}o,(hfڿq8X|#Ő=5Z2u1: ]ȳ':ڈ]ۈҍzpj 6ǷwѼP~K?@if౨\_ݞ?pƪ) 8ov'lRNn=VP#Q ̧P|y_ H҆@!'DI0qߨX6—cE [c} ~ڳDQT"!B\3iKhTz: u8, x3)UAcǍ9Z'!vu iYehۼo/H\mdEs:6AHNϪwb>1me#[yxA)2Ȃ|_j ˂jN R~m<];CpEu[:qT:nK<jx,3hLsL+ U&fTdPJR<;g!BQ /f(p>tpcJ.3Pw_gYZ f5?=% lNested_Multisets_OrdinalsHOL-Library.Cancellationdocument.tex7zXZִF! O/]A-MՋhvG"uIBm5 Q((2B}77_^(ix6kضHү>`ٰS J:>pv݉$]}٦;Dt4yBW(5y3ps !%8=\7')bgzFd=i޷|`'2pl)gUрH=iP0H4N,z'LZ(tp9A ; fZJ&%[)r* Oc$Xiy<%&sC1 ]fsC'tۻpޫvGr+gG3WQ*w斈|D03F@[Z)Z- wFț<(ƞ%̑6fm.꧛(3 mČ: {&uTxߨO%խ)r&"kw칰!!Xk~@&9G]w-HW:.~r qNw^[%kʻMkqa4H)U0OvStkم"Y w@M%ЗGǰ;/̞­=;aFnKeTcx]?mN.]J[)o@., 'V%eֱZg ]&jU%x/tt8?^D3 "c#P~BuU%/x#Kwv6zp.=/]4stYgs,ڧlޑFngan q&l &:EvoC,H5G(I)"G4.Wz@,!77 @v{I٪y?k@;tXҮp?>N}I/%6**-G)ղV>9S}2Z ~}~j*!`=m2EKb(TN3ž,K*gIC# 1ISdq3T 0ņ3HP}ↆ(|Nf]jA; SƉqLz(N6\)kZ !MK}꽊5U欃VR}5~ߧuFPXq6,zd%vzNxvD%q#~yCIp,'T@:y[#M)`F +nz#Dy?:z5bo_:MyJfFJ6X1}wf@<[y*[бgYZ?q% lNested_Multisets_OrdinalsNested_Multisets_Ordinals.Signed_Syntactic_Ordinaldocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȤJJw(pd:ĝ[ըה&_TeeMwu9BV*vk0D0!ꅛ&48-.$~ }wX_m gLVn[?nAmPTEeZun Y%$^Ϊ*V l>-n)Х`];U+A]X8jD.'+dRtR K߻Q|ɢ9 [>8׍@u /[&4r֋( W<>;60!:< J-tڋ}6ԊW _JR.rOD Q1ΘERsEvt@k\M aa`*̆ʠ+Q'ӫBӜ/7[r1Z@^>XB8i~?F ;p o"llHt2w! ##>+*y Е6SƸĮa./zgEGnK. |VC)n9%*='bAc9)oNw ts2ƞ}$wiޣЬi=ZQ uB޹~ا98B^WoځY}%x~ <2/'$@@>we Qw'0k'b-f CX̞ ƔI Ŧ~"`k"c=t(W#X>ZwGHPӢο~{~#$¦[oh;GJ w-5N?bv#?ofd$Y+OPyq=\v̺K ICҪ۩Vnw H 㨳1.N3~AWУ758u)maEQlIxQ^ 0fdAc/si_n_Ktdxuzn )GOMY^٠?Ч9BGH \y~tJ wBGu\=v2xCheȍKIx9wN8"x n^$)y=:d梘)ed@ >6ET|Ujsm3t5 k%~@mc (E)moՠ,:ui GY\MoNـr"ݳq\beo3IҩMӅU!Y;g,5 I}nt^k!d4NP PlmN xL͐?'neycXDŚ@$  ͥL*8f^ ⃦KL 4;.ཌྷR%>|Dc4t-bZ&ClݥȲCE7D:4U8u2㏧J<)ү%(pj3HӁd$*ësz 0}´*8oNZR]?F''%>W;!8ИED17Y3m2Lt6>XZ%²9"2*?tߚgtڻi!6aݪ$ &'ZWa4~Iot s&AϾB{산p+ 7ɊĖ md5{eoYbc IvNmr7#m ŠuJK(aV~4߯kչ\Ye-_k E!:Ycdriqΐ|n$˰&7GGotrgv~S]E:3 "؏;W<+ >8zD$ :kmysTمCO_ޢ&y G,VoDoDZgYZ .?W% DNested_Multisets_OrdinalsNested_Multisets_Ordinals.McCarthy_91document.tex7zXZִF! ]A-MՋhvG"uIBm54ۯz/S:m>+ {k;B{vIVUpMc^Drd$SVa 4BYOAzO1aڸYngTrCB˅-ܧ\.y4.S7 iy@GS] i1aQg!)*P_k18BD?9(8TUJE+ a.'!%A`14J.?J^猶Zvgmy 껖g[?jT bl[^uٵ@yVwr 6m 5yg E q4Iq]M*fKf  k-*/8u$v!} Y ;]Z.+؅L~UR, X~NGSOI=,~ Y/m,OIU5Sl,D1?/K|G$-ɡy@eBmpzun%zypj&q)!0sʮޡ9T>Z:̶얳(mʄRa-Pz̩wqSexȂhO0X#QbJ)cғY.Uvx6nS$>ʩф-Q+6z)t xUOZnTpuM(yQmc {Y/o_ Gg@F`s2@w mr*Udvkyw%в5#TO^GPk-{rRْSB[3Z~ʭjќF-t)GIr`8Kky;5.5cG17>Qf1nv4Vclgr.j8JL Ziae ,KpĚK[B5hBKynOaz=Hu@LG,kH[fM)J ~E9ͷPF0˚^+so3H~>!{RYWNDϤL3 `D#BUZx !!fnIQ{E TG/Zr/>*JOkK[#Mh\38Id~hZǶ='=URQ.9&gOީt)M(rTBH+4)cZ?9ؾG 8p L)||YXT;٩D +-k>YjЍ,˫n;>?ˆ*B C\+=(g6]P .~$)⍙nj\k] k8M"ۋUGno<(nu2-wU(*Ѽ۠'/⁻GZtz{<DUo@> C $ta ϘdsD@k ' O_Kz˹<=)-=Ip*BܛȐfs?6g×H(ѳfÐO9W 0,blEp5E(Ge$e*{|QBL88iC@ψ* gL)6;GtmHCƚ}6Z^Ne昜&axBԅ~TD? 9Lh{I+Su ?{x!ި7.Yg k5M"xYQ#PҖ?{c2BRlm𻱅-׆ (^xc3ЦD A#A:̔ |q؞ռ#%݈Yxu:Ml*M2#bwXߪ1UfB551~`  YXêwx9WY+ۭcl$r |9J#8|DT!்ډ' Wwcs9S\~ WR]xNH݈ GLJ:W2ԁ;q={8Kq.բ`:.BHBxqN[_=Y?udCAedK)`gӏgᩌևn YO㊨UK.H}?q.5Tʵ( DZ&?. & phVe]h;DM N44Ax%Ynkea:˓`8x&ۗ<9 5^MsTy[iaT? ,Xe_aSV21lNJ]7B6RP#8L 9D?Ug8~cmpc8c*Ksnli-qzSІA?4 ˪BO̮̽f=FAϾBj|kaW[½>^|ܗtMygg9YhCC a)B'/P9;! JbEj7d AfD,"F a;ԯVec85jz ek/ͷGfOIQ ƪW}Ճg搸$aV:U@jA +|H@Z\e5:m:#bᗹʏW"6Pf\/[\94?cm1C&F>5b>.q.OV8]NE )0t)& $Όp#vf@%P3T\Ѽ:Dr\4;zWMkD7ɺ`?Xe&q?VE%/<-\ڕd'#JZ=E Aٵ¾wi]s+QJa<^Xи#+{V\7=r>=as{܀` :B6.WڏEiشEx; 9CrYވ>1rwMy)sjBh% cc?T&?]x [9HM6wD\(z;xWC۟)Uȿ dZ~8`5& *4=).$12WMTG0_*t,<.N,mLD?ĠV=B䦦/]g%N}d3 b:Rڳ3p4 ()ۙzEw6 s,׳ZЇ0Cy>ۘVBH;ܩs6-hjWOo{ ܷ¯ ݙZ^F)l|ċ=m xڜ6uVWZh?‰Fk927 5Fwc) tʹ|"BZUgt/ELWFVkV=i.8SGE mW [I9`n7]_W8>FۈBPp+cte'mUIlO4ruӒKUFxK2)J4XvuZ5fPg'ƮTR/d("P<:6& A^q7ў4ohoץ;ީ O@;0CAHO鑥w՗tRjgmlw67tan1XѳtU8~xfgdoNnjH1Rf^;]c , )9>̝> vE( +ỶZ&%I9}7rTȕ#RZjy͚#w%-Z5/x+B`XXfD&ԞJH߆+w +2m7>LlS _%A3f1B))B Y;}jm#kZĨPepj!1"Lg*XtSq|+Lfab0X]d"aC>$Eom@hh^.+Jey0>Hә$RtrUG.RK-@")UPu;Z]碋;GO> qVXԿb,~Ts{2xa\ 4D DA 4LKqsJ{Gr'='HW)pA⁛CTlb]gS@hC6bJ]FsɶQ5ۋe% wu;)og>pr݋7ZI*MNpGb&GPe(r{tZ6I'0-Qk"l.e4BRݺV#,'rPeK뷛(6RW,zwV@clEF 5?)UCGc ɁtNYEΑ^ѝ]zaz~jݦz4gB70$ذ1vHbS҈(k#tcWy4vz0\Z1Lyѱ.OԌ4:7 㯳Ç~'ڥ2Zn8e5wڧQ Rg\Dt4|3.\ASJ^B;Z5gFI?:rRԻM4hn'/qfg([6V+7@( A9|(h dKYHiX@97V߁7jh/lRDӔ2(4߱^.,uɗ+E`~4K/xǸa#V+bio1;w;obN VvƍUsktuFIq* \ά''l[yBSaʢ  Qjǰ'@uͶ SQY F!ݎ?T[PsgLBGY饲LɱoDb|+ٖ"|=4E¸pNWkZ4/, ĺfX:+g;{{Dڭ6N-<B(r+z>pϿ!7)_²~Lb^y$c,- &斕áoy @o9XfaAu|"  2G0zL 7buWI{(*)+1OB7u = MIeD6$S_.b(م=-Mz`YF[_R>bz'%D}Z:ˡUA6@mlC.>$ TG,?^ 9n>+?kt)&K+` o7lTƏ TY;uF**525,~S'L$q&@2v^21W|䙰M$SCX<*GY٘ 蘈49I9>34zqywI.*?dhOxBPk私YQrN-k~lr,p\2!o,aBkVWtrt9:hP3_Eq)H ?{qA4%n *(tpz!;嶝T[UӼʆÓVЙuMB^T[?NZMBFS+!K{i#39?n߇|lu֑q^Zę'cu&SCu ,f[^2,9' BM屎Pomz<=:߯Xef?UZawZI P?-$Mח%+l/ReBiji/jtW( k',`0"<=/7zk*|h׃2D'$ ZP*F@&}idj f2\$:Z8%^(hZg}י?*z[_"zH2 Ҡb:x79,r։(PC?)2(D6ya6d8q5xRz*X?.s)17tk ?rh;;hy%}+؃cibUw3h^>KٵYnKr-L這Ls4MHX]r**.@7 d0mtE FC3ۘ9X=׳cJܗI1l+Q@`8H&jP>&Eշefd/E S 02fŘ*ݓ7[SxĝNZ(y'd pb뫔[Hh^*!Y&>XhNL׈_0HT_Vo5 p% dgJ@Uѫ́ b+Ѡ=|fS$ <=@秭Wa&/Ž%ƨ۸4ƹ*?Я5=Y^coҰWd?pUrph/KKqKN8& 0?v+QJ %TV1M8nL eΌ)N-F\(1RMs}:<Dm a,8Ё 'i5&LH2[}kH! %Bp˼܆*\BǶOޫhI!XJʒ kw&mv*tr p k0h7)ׁ]4SZyQPg(/8+! u0V!G#^2jJ]2^>M=,8JhhdYEv,uٷt3Ёl3ҨPtRPib| lP{ 7 DѾuvQ?m.P V"XC;MD|E&O3DL@mPO3y[HxvfnW>iܱDc%`3`0쁝t]@(u,|A++:j'<8OTKZ4F)5_ 8="Wf4TElZgW21De)RрA~>!-KHTq@ <36MS?$5os-$(K-`; * g՗>Kň=H4ٙ&V,DIcFT-;$xMzC m0/-V:ў.3/5b?2LS9&at8!ȸ| l  46q(˥eKP-389|b"Ʀ8jf7ɋTK9Φ!(w ?eSp-ׇz@ըrv|'95Z^4߸Pnċ~t*)K{EFRUOkUī #:]%3?c,: l.?.-bdgYZ?q% TNested_Multisets_OrdinalsNested_Multisets_Ordinals.Syntactic_Ordinal_Bridgedocument.tex7zXZִF! y]A-MՋhvG"uIBm5Ȭ{+fsp9\s}QuaGlXP-`(zpy|^:ڛ{R = Y>w]}c7P<ϥ *j:\%cޡKKlJ7dkJTnW A#k3qfn@ PII+Er#p G4 wN(6mSK48B@KTm:) LEM?ҞY_8M PtJ &#Bs~n`XܙkhIJy4ɞ ou)eΦj#&~DfMrLxQ?,]e5~ݔ2@f#} =w1+Mxn竄Tqe-6ytǐ7 W@2 gʭ:u>788N7U(׻E !n)FzG] )Q e?=% LNested_Multisets_OrdinalsHOL-Library.Product_Plusdocument.tex7zXZִF! _]]A-MՋhvG"uIBm5Mk'- ee8k%-|vg7 G@_as_X/4b;1'AWhliqW/%hJY:sD'qaK\%p0М@Ȩoe>M}qiOӉeP^iN bvsq2K ;$98ǾsRz͔ZsN8 EE2koNb޵G*O!j+YN^n !adPAG9 N+c4*SO2I<떌įχC\?//>'VNE (o\Ⱦ<^$.S(.Beg.jUݩ}׈hjZE&8aBR%S=tUikFSM=ǛHEnlT'ۜloc/I aDW,C)H g't9@eLyxJԠYz}v[D Ty05F*x*EQGV(;DZF+v/ΤA8쉫192ҁ:Af֋I2i , ` . >p86_Gx n\/ IjvivF$~_wκeư1*Z`RSӢq:I ](E~G\w"HnJV}>UHzk$/RSn^'ĜE%B.hȡ %Dx/l *hI03xJf{`[dbxQQ8.S28LQ~:ơo>A~V-$]gK e,[g/Nc3V;5б3 hJwxvJ6~"5rV@վ4CccI ͟b6a8Cl'Fq[Aџg޾8VM \/}֎68=@Zc]k®w4\_l]fs_"{䚅[p{B =-EavGFAcFY}YaL?<*d?~!a*?n?\R|U=DR>0{/a4r͜ xFs3٨4|,l HGZP(Gʶab}DF=C"Xu2 vL}{]x~kf;I T;>4?3xЧ)ՁaW'Qvۊ ^'n2I{J:̗"zGe n%(q޸Yd +k6*u+ v`̌]Pt0E#w9CsUd& ^*H0_pw|$HFԔЉ2֎30Q"xzyHQ_Ʌ7  d4m_> l|2*Ov/Y} ZttIITjBY&0~'کX@ #! Yt4ҏưO#ڥ8z8K36Q.FًoAxyw櫪{2cy=Xt_%u@,ǮKG5]_'YWts#gev޾,'cgYZU +QBiJ:IIf9fjEXu:Yheb^*}4YhX1"_? Iz(hL{,Zdw[лESs챪N^0`LgSL+Wq&X;S{j6x9ZtM,dAW*~4ޝIdT?LgUdw,+ 9+%D9Qs. w`.86)X㵉WGvb{C퀍u_ H*)u|REpܟ y\lQ!j48Pyk9)MĽ NU-4)g[<\zvTz%Dj'0ag0UZX8A!'&i qYj RE'`g҆cr͚\F>x̠T:?"\|<&HUK>J?d/Vn|0j;1+12ׁ@gxSL("3,u{O3w0#Ѓ =b*nTĐ]mm8SNu)LF0oW]3->kȎ4 bAɀf?d%1%z8[5T+Aі%X钭FZqիҡ[ؖ#pQ>IK(0jQ3>}moVa'v]#% l o~lSgYZ7zXZִF! ՛]ŗXi%D62x=᤽ {~(FZ'ﯶo $j&Wr\B*U͕z Fe6y WPY>ITd7,ljXQdV[|Lz`mSik+jX>d"ya*΅!R\Bܴ"I8 u[n[ǠJ^dz9φHۓ'=yg1)# TIѥTEB .Rs{SU4;ڵgB<(|%C䞒E /3 'gxJX&htPUEFQPF'AFeA9yf c-5rXaFrBkiG9lyHzO9+vuG]L[:\RM,An\X$P̷*ۆVܓ8mlvVU& "Bx¹iwMIuMgEݾ[ !C$ Xw^|]N{ЮWR]+5yf%ϙ^̔FǷ|E8?Ϻ,ø! tStь0pi^fFc@^K]pBJ^ְYݫ+w@1Lف{j4CV-qҩ[D,Vȗ0)7!cz^(I Bie?wx`tG2鼠&ӼusZpiBR؈O*`: "{2[y{DχdPla=f%jИ "p2ە4l~8ȬD'8(d]BIEc^: f-J#: 7zۧ XT 3eV4rHs.nv'߂F8Z 1'[N*_yY9}GHe2 uA-3m/|Գ^QS@tf Vr:\v<[[<4ÐyӈJ&4C⫭}_"h~Fp-ϗ 85doX_GB] 9q'y M*"񄡇): vZA2QX7=JbeR & yiE*s/7՟SI[+mQR5=zvBw͏ jQcыD_#?דCy){}׈~cGYD{Yq?!;TD)L臫V$2 YVs_E(!O'+DN,'jnjNmlH F3 0{S6{Jr9uVr/]\vT{w8$(~Xyڦ*b~hfj$nYj֛Y$F41Er+fe |w9]m3' `UtRz%gɅF*Uq3 rGуy: 0,}%[c':x$Sj8THS?\{Lc .,K>"StNy֊|y7޶TI#S<¯gFuBMzOP iC.* =jF^l)SDl_QgE#:T*ĥFW1>:XB@7p':QN!:eVN:w:y6V FRF[7ug,迉 ,Ϟ"9>rfm$ E}*. 8μA\)e='fyeʗIT]3SF}7oE){+=Y Ƭ~+G:*pG`Q)pW.<`3[5+g_fAΚ !Q+"ߔ,CB $I]ìyh^ǺbQ;ei]]~T4 8J2|: N3ط2}BY40I_"#r]|GeยNh8Ž\9(v?iwZ"c_콸[.KI е<&P:{M X)`KIxL:q }?GTb9iƤ%BZ`̰d 3ٔfӨJ)Dhf2hryg'^F4Df(-}A\qGbۈy#JbqiGF>8PG{D-7ғdIV]t9^& lu%‡(" Gnt}5M(ͰdTb]pLfE: \.}Xow:p~/ap%7VČ=R l3:[P={ m=rzQm ɢkeQ 0^dJ077PūO(Wp?v:u ʐ]goo3ڶ1/TQXHb0$H3jm,6{Y#W^ r[^b;z"&>t_oCp@uxT)] ]*?kv+fؙy֙<&6) Iy6`h r&Jn:/m)+"G17ĵz/dd5{JrW' :)O"P#*}eDŨcyAcqmĺ`ۧZF`Ur(|#2fgN 7  /S-f>J11}m|Eăɨh䊳$cd0L\/7r ^uZ~PQt<`Q>_8]r24] cِ sjpDB56-87"3ZXțͼ&uu.nuۙy0N[ގX5PV'ב^5n`Ҷh:!AKCTG ʆPMym[+?έc!b iOH`$.9.LT Qi ч C6~~!M^!}Š#֟!5?~w9CQqo+ɃMSj:w vC3{[؃^Q3ADdA]= 㑀,o>]C]ֿEJ+O9S(Bw:j UHk@})5͓9^-6^ܠe3BogYZ86a91a91d5666566118695f5138c3744cd41f4e7c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 9a596d78df9dcf3522669a2afcb7f56e295e99ff4b71e909c59d07a272f89e3ead21edde5c13a980