SQLite format 3@ R .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 6?4t| ]]Nested_Multisets_Ordinals:threads=2elapsed=73.391cpu=139.448gc=10.256factor=1.907zXZִF! ET]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jn%bӊDUlAw5Rl; c#k@L9Q/aRT!Q-4)YsT)s^횡d(תIQSuXD/q+{Lk.՝R fh-иY݀ :oj -x;sE 6qLӍշ&F|zEК=6cV]Fe~{A9-S"FF{Ls1PCF<8=c` YٓlRR?|c'mg7` ==OWb~:_X4˸ 5EtZ # cVEhb@ ض%X&# }vE?OXuI#&Mܹٕd Fhl/.gfigw0Vg L^s#9Ek);$jQF:W1O:A==H/IԒR} (.tr m$Xv`:;| |QYQ,Wk0GCh]70 `[Q[LOspenceƑd1H]+) fX cx-XA$Or2k΂4{e2`sOɕ}0P?r :hZ㦣^59#m}3č1}'/q+C6\waAPiu1K6_VoSh5f3} DW1RiI⮂6nn^gzG!22!R&yZ7DAvԺӀ=]U׋Sc/@F73qG9@GSu뛓(6fH6qɎ?S0ZM $H'Jt*U0-ioPǒK|zlտkPm~Foá2锼6z"/BN(-E7]v#AF|}RNb5wBd8SP 2*Qđ%Isdg?a1~ V C(\L/m(Wx. XRg})"ޒ`cHO_v}b=2Ky!a/j51VV#Nyd#c1x8FX\m.T^7+whsoO'LƏÄ'헻x]hp9{DB2܏U!SP؋K3mR|Ơ=cDOxRټ߶ɷVeOs@gl281gYZ7zXZִF! r]ŗXiɟ1˦r90Fn0''ztZguT~RPئ\^fKg->eb#iWa~n\` ;ԫj TwWuT4ji`!gE9[/ӆe$.il$Ax>"x^hۘBwxʫ]< Zwj68@x TR1.-r1NPdkk,-4D]p3[*Vf2%%; 0  z`ΞdŔw<Fˏ9׳ g||%;1\7^҆Py UC1.|V*>o8LrWzynT8!Y>Z7idd rgYZ7zXZִF! j}v]ŗXi%; GQ WQmE7Kyڳ.x8^?iEp#XP:*Yqo"{p\h!%HȲqI'l"S?-6J"%8dc,3_~iyuΊRC%+R!Y+6 |<@Z N~pWEHA8ˠșʨRs ̒|KͺN#;E#u|EaB#b@ ǬwV~AA$KkdRnbsc]w76A ,;'T@%E j7x_uU<,U䣳$Z.mZP \.L¤{e! ֭;ό$S=&{<.z6dPz׃Jу={@*zFڂRo!lnn0o?ŋ[7Z  zsG%TLTsy't1jSb[@I0mOMtN< .ů5+|p#f Lyn6)-U6 l TXS4 1Rlw7I$Ϝ*6y|,yXx?]a՟3s3ŀy@zU%A9坲Q}-(fI፤1gwQڦI}`"W8X8{xJ Ȓ Ik!+KYc我KE 3ᫍVS2ecE_<*/| 5U)DŨj2b?ĬR ? Nested_Multisets_OrdinalsQq?-% tNested_Multisets_OrdinalsHOL-Library.FSetdocument.tex7zXZִF! lK]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"0CXlPONMJGDB@><: 8 4 1 )  p j e C ! c  3 =G  3 I?I%Nested_Multisets_OrdinalsHOL-Library.Cardinal_Notationsdocument.texC?=%Nested_Multisets_OrdinalsHOL-Library.Product_Plusdocument.texQ?Y%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Hydra_Battledocument.texC?=%Nested_Multisets_OrdinalsHOL-Library.Cancellationdocument.tex_?u%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Signed_Hereditary_Multisetdocument.texP?W%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.McCarthy_91document.texD??%Nested_Multisets_OrdinalsHOL-Library.Product_Orderdocument.tex]?q%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Syntactic_Ordinal_Bridgedocument.tex@?7%Nested_Multisets_OrdinalsHOL-Library.Countabledocument.texD??%Nested_Multisets_OrdinalsHOL-Library.Nat_Bijectiondocument.texX?g%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Hereditary_Multisetdocument.texR?[%Nested_Multisets_OrdinalsHOL-Library.Countable_Complete_Latticesdocument.tex]?q%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Signed_Syntactic_Ordinaldocument.texC?=%Nested_Multisets_OrdinalsHOL-Library.Old_Datatypedocument.texC?=%Nested_Multisets_OrdinalsHOL-Library.Infinite_Setdocument.texD??%Nested_Multisets_OrdinalsHOL-Library.Countable_Setdocument.texT?_%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Nested_Multisetdocument.texE?A%Nested_Multisets_OrdinalsHOL-Library.Multiset_Orderdocument.tex G?E%Nested_Multisets_OrdinalsHOL-Library.Order_Continuitydocument.tex @?7%Nested_Multisets_OrdinalsList-Index.List_Indexdocument.tex W?e%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Goodstein_Sequencedocument.tex C?=%Nested_Multisets_OrdinalsHOL-Library.Extended_Natdocument.tex N?S%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Unary_PCFdocument.texI?I%Nested_Multisets_OrdinalsHOL-Library.Countable_Set_Typedocument.texT?_%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Signed_Multisetdocument.texV?c%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Syntactic_Ordinaldocument.tex??5%Nested_Multisets_OrdinalsHOL-Library.Multisetdocument.texR?[%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Multiset_Moredocument.tex>?3%Nested_Multisets_OrdinalsHOL-Library.Sublistdocument.tex:?-% Nested_Multisets_OrdinalsHOL-Library.FSetdocument.tex:͏4@ 6 N؛S:+kLK҂Y08:x?Y֧Lrm\y)A ft֩W0:it,Vo첸w]' X$ ٣h \=0e M>pzn[nN)q8C*;rHswW7a)+ۅb-]H 6D46K^t*ͯpZHeŀ>]0uV3*ݏˢP/ 5=DZv5t)reZ߲'5x`']FPq&%BQ 9 mŮ* )Ƌ-&%~lEVL0Z!{AroWޝg@tܫ#V] o4+ywX]ScmE^<\`w:>aOn­,[u荝-,49RP 9j f,͠mx$L|F_u~d3iN(Uz*|:MLJx7,nav49hٰv_C}Feh{秷Zuu.ʿ:8z--Ֆ*V?8bYvZ=y2R<[@+<(Se 4l-SM&v)ٵ\` ==" q(!)]9Ͱѽ">'. _$CeO!^_n?;/2_T:z9fZ\h: 5*øFQK5?*-ƄƟly3:TkDwÀ nn eZe-kTC݋.*F~Cal-Hn v$\heUu6@egzsҹ2R8eҔS*_V*ZX ZbGW/@ NVw2%]%a0ڈ/g :<ʢ&g(y5|m׋;\<\[G{D$?r9J)=F~Oj>ҳ:<c @e\j#$8?miE01~@ϓlHS_n Sr9±k .w̘O8}W30qKs|<=Tͮ&l?6cO @^Ƅ:!u;uc=~3'y$q[0#z)fB?ZsN/h:+U Jgxw8]8F}\I M js-3?D~!&3HpF(@/!o0Ad{7^݌B@A{8 9C=ܼPDcq䛬R). χL=kk71[szd̵c8r̷B9({c gۓ&cc.L@ ̋9?tX eNJ6SML0 >AWFoSxamBU)[`1t>gu*h9h={}⎯[-@Eynn}0f3.p*~䧔`aٗ|6#)PVxOLէ{n RV}d0,F.AJt "0C,妖j VIx:D K'/9˟R90͎XmR|1aAfюhqGSKwQƯXyi I}P<8@#PD`/R^: ۗJ lxG^m1KydUV1Q:WmnyOF1v+h<3p Tݐ\ШW?L'WV:]k#n? E'*X@u\ 0QQ+:U͸sO={@#2^N~:Oޠ06F"=iKmTxH ÞHTG0UMTJk&Ng<Zs'>pb5 7xbS_hק~wN1NF,Pi=b<^¯k_H_~ɑ@w{S+U9ig,޹.0WҦz:"s"qU8cż4\YK'Q[}42iN|Ǐ R ~R[~Vh[@Ve&z 9c S"% ":._V.XqQk{lUtP=W(o'/s\IK818=<z-ۍPr?J\c:]ӀV}g$YN-7,gXpKQBP! :W!2'/r8&ؓev2#8Pk, akx.iYшv7x!X/J⪾qNlΔ0q\7,!`U rQQC|r.5HjX*yiEON#*zhےђ2=K:> u;/pOo}\ehtQp5.?_Zg?[n߇ikڰb3cOiK = ^_#`7o葦x;.wmsrrVus6qB+ЈP01;VȞ7SvnjV !`UeqGnm!9@~{ V}j;٩dwwH2b`29sF1;]Mb?{^Cu$ChPVMQ'Z&!q\J0!@?1}!lї8߇ x_qi}JF)1c,1$?j#N8'$+IEDOmDB(T!U-̧.%ACT:b$Ut5NB8mM:9]b+[b}q fl6_X}tbTyS2*DWaS.4C)^@UIowєXLN[ʿd4(W{Wu ϯ9} b%/sw\S \m 5ݯ6R{?1: [KQe.w/G" pH'z$ Y~dԂ;m:$읆ם^$Ā&/HpƆ^O5iMJ7&B/]X 21gL|uH33/,J8x@kr`[zj0z 9"3޶mu `9ք>Sʼn@Z:l̆v@99:nqYYZY ߙ!44se(ڰr~l"!)Dv<.H . ڣyL-'u]t:aP%[_D&;@p+eSԒ1/X(% {\ {W y9r=T5$|}p@/1 rZ0Omk$ c\Ȱyk~[-wܞ+x[[ZwJZnƶb :Тw:dzx4O{{@Qz~S.A6LRn;~EфoqoOӭe-Z Tü0,' ;C*0k}u9jR,/PּK5]|m44#= Ҡ&$f IF((3T G20*vvBI&5/d F:} T-\!mfXI}6i"tXkG|e  nsk`v->2N 8ciUg0I_Hmʕs]^e]C1xXхPf~%•tB?Nߡ56Nae_ecJi_WliixPp]J ^w'[5^*b@e=e.) Gq!:0|maڽp%a%T.ILJxk,@~7z r~O%+i354UE2nBU_ E|~/NXO9zd1=٪-rGQ*.W1Vs$T@8?١/oF@i3?mŅ|gCHfLlɜ${?Gw$~/\cA+KъYvY!(T)z$ukO^]JdO$3 2{R$- =zIW㝷V 0B~pGA7!;e^QE^=j$biMюv`@K39ʔY8]#iL!\OrufeJfs2K#j~F9#ۣI5ijk~3BlP8Z>-.:{N{γNڕ+E:XlkCIaQ~KE9~st*SD g^j5_BZC+ECO+?Ym%Bi @,['[X\obiK+K;' C0<A>OQo-h%*٤ucH`;%m6b_3It<}%=<[ޟ7;qqhfQֽ{47J).v|/iD4!ڤF .bj+SJi8\<gK?1~\8q|2)ֈ7*hoK5_sCQı?O=f:A<]gx䠅k}&Af$.&DUc+EI+|eNorG>?d߇7ctz|̛[!Tõ|B{5X3Mޓby#`ەrXPjjKsC.X^1M.(N:'(>ɣ[1@a  s^0p]H@dT@ ^ -LmmA/PW bE\ ><ЇjzV@;M˘} %#^/i6Hnٙl.qpS$a[Z_%~_#l^^3/z-}n2\~ͪXUȼFLq- Kb&PLFswyT-*ѓecQ,Wȍ~?}bL+*SfĹ_?gđj+C~8^K+gʳr#-m(]K[G/3u+p'Z4-M#-MOTԐe[Exw$>LVCM*_)-{1ct9*wqCv ~*H*WUJ˃ܳH%8ԕRMfs2ds, PvJVM9ARH{!CvDgx>3e> e!ı!=ՙ^)b Y|ԎlrFF#?ƜPTم*-j ,h+/5߈4=xWU`-H'$~ (8kdGm^G-|+W)^99;a<{0!mW#㰁"8w ;bu\K0ncWS>?uO ,:zP-3 x2\4RxGtWy`svzj5%xJ_1-2gFޟl6"fՌ[@09=FJMJ'G^fMɛ*n7E wKGAaVJ ~|SK࣒jG[18 :m0th!OhS?9^R:Vvx3%V,P-| m/bpmsL8:]CZ*"V}[HO&̇oHU7%l,GMhHkɯaRċ7Ȋ'ʹsMgzK$(7Cq\[q!kx0 J.O[k-"8!Y}㶬:©nЍt0->On(Xd+@rOO;9ּ1AoMlE–lI3ź3t3^'j['YHZ>Pdf^R9"K`0t_D!4G-( w8_^[ұp8nr,X HB 'NgN?kt׮zߛI0_)6;Ʈ QK LNB^`rTzhDGDU6wW]=*gAT# I}JȦmL]VmNr}9=MڭQ?;=5sv?C,0H(ZxO?ԥ G`?GRJ09ilvDFޗű" E+WG-vk#)}<^%"z  1+OhyU/?9soU@{%V] `y.$` '47 sɃM:Pm)h V=g5]>\n-oN_{Z Sg37ԡ.STZ WJ*ȳD^*ǩ⓿gz?r"ʪu<*dpZt: lkV́djV߸Ʌ&DDz;P٤ʤpg!ԫ#J zSo^x$ >mrZo //B)`<ťio-SE,9hܓ Vk~Sp U0Ժ>R\t/vY:nm2P\EgͶnƱs񃴥eeLQ\,zխdU_7^tCstʝS69%|XCEo"tP³ȤS':AHҬ)C&+Q+ǦbzזA3V nU mES*R=A A` ,YiX=2-%Ad$/ئ J,O-&ɁzWpvP"D,O.3/1 F^ wsM{g3A̸نJ?L2"Ջg @?0I2[ W|Q ƚuP)oEOՁ:UIiSNB\s.zd< ,ՅrB;~M[PP/^o);36Y[m.bۤ)ylf5}j!=-"hJZ._XWxbT%XjX7 XHS$i3]i\-of'J[3#7Sk2/O8'X55#zw :Kl"O;ښTj&^UB6ԏfepK,yh!)[ʧ=S{Qv^Nsku﷏֌Nyۢ;0rd9[<7Q:иot:?O6SYCB`=2W6ѽ Ѭ B&+Daz<"ְ<=I/JjQ+: Pph2c5Oyo;SG(j/ 0d!ljT9P9<~®kH:}}Y_>Fyܠ2nr9-I3;;BP\(>9D[tt6|t]ʼn,FR.8=vV~Glu|2הV 9Y_V_ Eb  7"DבDQLm /豃i1O8L &hZ;[Ҽtm*3a\+e']k/Xڹ͆\h7/_ZG:$*oz7AB5 =XhWlo*GޯXJ:D„UM$/%Bw;9&]sZ_ݮOH btȡT =q5|D%Q^߮ŌB(UY}0>+?u |_/|&r\ 5`4yr8M/l:kE/MbjL֏T4jd? x;GPa y s&=Zߊ| u2eIXv c'GnYߙgOyltʞ1AR̋3'qR b F}a ,).nx57ҩ::5nc2Lc`vt`609(PJ]mɜx.Vq.f01@-Rqʀׁ!AaU6" X4.zz85Q ҸG*1s`i;7@#Nsb%m@c PAkWtK~u< E3 l(edM)'')X}}\u[&ہ؆e/|Qh3aÄ?۲ӠŪfxҸ]׀kY,l/Y7j'g4h'BkȭȞ#CbJz@~# :K0M]AKޣE:a19{t,fGpvr|Tэ3ppڂ֮DfEHY.UW a*]f-I{Nꯁ|bgp߁kX~x4͕`TWbk yx-CuY{f=xyp=ޔ\SkS3߅=ϡDuJX2bH<0kS78G]Q]ϟ4'yDZ'1J_=;5琱+f}]IL܊Կgΰ**^ZCF' Y^|)WjP/ʑ.@HNSO.;Eފ8$9Y5]SJHsĐO'ֈWSjrn2ʹD Ӥ'd<03ǀt?@;QߘWptW$ Æp0(4mu/&m0IFֆ()r^6.d@TYUyaHD݆>җi.sNUT}"y*`X' ~I_97 o'WpL~nb !'KqsTf/(ԅD}C wξK)y^؋t3*7N2E!SJKg{ySbRHwXsT^a,߼ǚh>!@?c-bk>(j;ͰEEQ:9>B@./f J#V^e>b&YKSrSʋj4f2XJvb!xdP~hvh[p0&Us`J4)x2n&S 6w2FoI+ip$(_ȗF1qSNK>BFm{V7`3^yHu_RGFRJMd:o'Mi^CVO7L8|!kޯ  V1f}yͺY~N=BJbQ4?ƒ쳰Bqc*- t '~;\w-<ɟT'.z㺐sߎ-&}F > 'j6á W{f]X'n~0Asf+_ iΐA~oSM8 U@YLy"]X(F":Sfȇ~Oyf#h[vyW$PQN78lE Ø\.]pF= !D" .fqV$+?ȟbAlhc9HbK48ZcKup EWA>L_%lyc?Tվ rzuM9=˹+z 6hMQAM!o<^gX3K*\oLy˚_G"dWz&+i)'aM HjF9ڌo`A3diP:vy`3ٓPȝ;wLUq6i鴀˓O0XP/Tc?JL*+_IsOO\j:]x'5i1k2^&I"!̭}!ec֤Sa =%J;L>& ˙̰#k4륥>e)eNzbT{Z]Wvb<"]3Íʑ7K0bkmc8˻0)?W>i#귔MfhXLnK1`w>S/$̚';PhJݾ_bJy~.(PuN07F/߉*?;xev۽`21`1h9f9_@ȳђN4*e~2_ W/*M~{ZAnI*Okoe(IKm^sS ѐ p.W]a{-~&(tSm(}v@.H(ociUnnq B8m:hOԸ]]Ku(ٍqNВc>>wD(dOM5,|/kh|£,FLa ukIwZJ$LC<3WەʚD@<6+9U,֡X[5DL׽z/{><֑cSfɼ56zYqj n0J/=g{:MMяe P?D2zu|OHΆmu+ iMpLLHĸYs9bOzt`ĥ8P@4tFPHV $`< &vۚZ8C/!QTc,2|=e3PjqaC` xAͽjm.[1\X2Og FЈɕ:jޠڔy0UPP}<5q8 AաЩ.$?W?7|)w;>ZpOΞ Veu1_(kV[-QV<=,TL.))Q8PE1ɐx]s ke' >! |Z `l]Hh\Kz&yu!>f }2gt>D'SLz(_] U rݼQdᢦ kͧC&22J6FҗST,۷_ge qZ&)UNd5\~x4*Pt;9Bi=(Hjx^]kÇdH@fRlDtEtGagٰ;?gnsgQuV| 7IX͵1D4z:݋} IM IR;x:7 VWH"F Db`&6DB5ṘS6Il5zttR>C(爖vxY 4>0hU]9k#cmY/1l^~hh@r0J!oxȎs\9!,  ޒ x݃'.=m`IZ8.Ɠ[eS+[.`9@UHEUO7`>u-N2 (@v0R24k>GtZ3k8:Iwq:?6TG9" z 0Ipkzb$奒iZa RY/.>{%DZ5[v:qlxo[Jk!8 A==᛫p_:i=(j:K"w*~;#YC[ضps5oSJ GH/rz'gvP{%}ivomRWvmS- Pᣖ 0:PhdLp/`?ZYR~lo3s E\_C/e H-r89%Gj)IS~[qL7xcECC;E|Yb բ=_EڑU'_Ab ?nPdq ^7cm 3Uy_Ab,u4)Ы7[2QsU-HMtk0! @ ĿC:4vHia/z]!ʇ_b[ ) JAH+F )LHAHåGV@q񎜶d$i,h-X[ )UaWsH%%Q%If]":/mR`t{Z_~SQirFf5g1o^:n ''EGL|g8"@T,cg2!*5#O82' ~1 _#'z)Bl/FYlI_D(T0Ek8Cv*٘q닥o+erYO+߸zgT"M]>ѮLXN`x[`H@ˮإ(c0I!3G  _(oB~oN*I kQܲ ;lDPP3|{7)C3Ũ#I eMp_ 3Fx14%|Z4k| dkEM9yw (9`S*z<] V/I\F`ZY5_htgsc?2EՌ!Ϊ-0g~>ﭿ`(L&U'Y Ó<0һyJ#[ޙ92lJ]'lCwA(=O?,Xf ^$4;[5,e"O Ĝ zJz95$1 vIݗi( 9I) + q] ڐ+n'JayI@ };r6z{џGt$|iмrH{E/]OY炕 8.slvT[(/_)0vuL{nL-wo%G>5>cSFw &0Q)Òfud RJ+o6=Ʈ"I/1XLln6Txo2;4xllphR2IdCFkX0C)% yuDYO+@{IyƿRac!zvc I4b|8vܨ3 ǿ!*hڐP- lA0HPF(M.?|Rk+ ? [(Zw|fGk Pb΃M0uF+M8n 9%:iSBk(kept,յOyZ8-JZs25r| kJcn3 Z{ 0ږ$3%#-V!k\~4σjhf9ꈓ{ 萵eNf7 |ɅzbeCǰD' =s3+$YR:]Ab T:q>Tؠ1:_)an&m%uSG8 +ul׊~}DFÎj>ǎgI}ovxBhsY-í*Np:)76ry%p$Sieo?JH_Ƽab,BLn0b.7DW­z+蕝:c!2w3Ѓ0lcj'&Zڑr[TZͶ>A0߿LTI=-b)"gD#`s!=sD=Ewho~ ^^xJ:?fjmC} ,[y_}^ Wg('1c|DF`HaSGJDC<hanؕ6rV2#>-} /Zr9:46ywyh3 #Sݢ~6KXZ}PݗgIV#)p EaCw̠XSGhhNv]igp0AkMa;9"%WKP] Jzg#wɻ.tD b鲫'(TV)(_"f SoUlA~xK£c zA+t|%̏~]yx 9},덺xolO`*Dg ?!lˋӊ=֙sCbbֽ@2ߓ)yC-R'?C8\LK ٝ"DL_|M"Z!|tUELԪ3+}P;aP&!pՇLK<;.ouiЀ$Td" ΋\{sFb ?!gR8NSjA~^x0}L9%ϡ<\N(o)|^ѳُM]٥ljK[vRA5M|d { &A&?W L} ,?ɢ[ݹ;>j *!.Go Æ#-,\ .Qd({V%ؠwFT6ABgEQ΃ U :U'CP+p翔93:p}7<]&r55 9+c&Ħ<“] )Anʼn9[vpp~e˻#ːj P:ĥOy\ߊ+ghX^A- ΉU-ʆ׸&C*!8fiћtDo慈3KsWKP NLF徸ɘU[4hδud<7zPLӐt25o]â~i/|FU2=z%\ `:]*\:49-D )tq*]@G%Ճ '=n??ř!xPE9“yjq_.O77SO'SXtK'Vܡ6pbdCf+$ s8nK"*\JT(7Xzmcj)6F|rf{_%Ejz8%i ⸺!Ƙo#7BNϳ%E 2ݬ;R+zFp9u+nʱ@v.ᛤ7pZ$>Icg]Z9$T|H5,cH2}1;\LR$5fukf->#p ) C10MuoQ fZ:r]0(yXsW6^O"S ԓ  ڄ}~<\SLzu)RҺ=IemRM<+2[^6DܞCC4N!t\7 `~;8<1G-|̎I>{ԩ|?"q#SWgj%< J+m WR+xұ^dd"Wx[5Z2q!:hO=_#Ek=j=k>D`W )vg^י q|) "h+^މtY &Hw8hC@S?8szE͈q3Ǭ;Q$UT:kLC!#K <Ƅ4vX1Rs(z2 yv0nX3xpMBLBmUV-Ypo?q7i X.ߪkNڡC%_0)3J|i9o'W8;>^OЍ}ѥ_/}833#ޘk؛)H A*6Z(`rhN+fEnw(fz%}?eͨ}򵌗"dSyrkHɃ580-4nK]Kj2 WZ O|T9i܎/gq~쏌Gt2!mi0}ǫ! Lq{0J۞@t>(ڔEyJ w8:uB֤^g g|T "zop=G4 zvܱ2|!yvw3|j +`E)O5ȓL)R:pБI=؞`80z?^Ԑ1B բtpƅtgP.%έoJÓ-*a}=O@gċ1Qþ}黄xtuJFE*iZ=TI* `l9S6. M> -ܩ _ YdV邟ª$F(3=|muXwh_ڢ ?Uzٺz"! 6{%.ʰM'0 :]).peE~1;v@l|T( jH$"$i-/Z !=O:ɬ~i7v05֛>G@(i5KPCa$Z}Bd)U @?$twh-2IeTC} -JeJ\ WȨ,Z~ٙ9$7iFM& vWYcRqr2꟭n1FTθ [)q\ħȞr+HWٜKA3Wt* S;C'hJeU-+ÌRH3yҀDo0'ͭEi b 2 yMAJs.ю05_%}Iˆ|2bs(ޚe#&h$ mnh[@ъMfV~U5Q GV/O/VP|z)aKj7!5 ^>;2t\"ś*T?rZ3L7<͵n_3nv`\&b0F"XBkX1Y4ҏ,XNgdsOWxmaIKJI:hr{ (_3{Jn Ԁ-9(Ͽ1H./ TRG_lpq+v!{{ghG 2Nz!.ߕfHr"fb$DƫSa7i9jVK`X#M<~JKe띍1un49M&DZ7l0jtVjWR2*GjoN״d]l[/[U7C$%M:bƇ-> ȆF.nP\ZJؽ|rħ$Cڲ\qz 2muIVh"n {5w%ާJ.F*қCB''ݛ25VU*!`>9خ])6|-vbhNT-K@*MJL9PRZt23evՃ-Y:,z`2Sbᾠ )%2.C5 -U @Uust.D \@cH"\6eR|6~Urn@dzyJN荄5E0 `VUr`q"M9 B*kl+-nj+lH} kY6x^B⳻d PdaeI9PAu%W/!n(e 4pC^rsP 6Óۍ,e:fGQN-ʾVeGGb+|,z^ޝ5 5z͙gO~p%@eWvG4L`:_R) UYB߾wMjoFhy颊J_kD, 9 pK\*xNC2V*` ~'Tm.2.<- ?u[5N[q!߬ ܺP[G;j+oxl=rP>խ(Z.0I)]ʋM !J-<<( _o'Dyr.a$£-CCv:Tj>#r.AG,ܓN54I=rن|`Ϲ|Gڕ膭ͼ݌FUJˌݠpbu%USǺ*Iy_u&U6Nkx)W1XjTK3]Sڅ )eɅN/Y9(FSV 9J/Øs, @Nf <5cU[ZȅC:jMiRu'J#*.\h7f7Ъnf}o:EۑfRplEs?B<-[J_]?M-+f<ԯ2R" kKVD΁,B!8cxS4Vj͟Yk?p. "=0^pbHBkG\ުj҉e,[/0u71' Hc?`j#/\XiP6z4G5$A"d6IS㟴ګg Z6j:utu!=Gzc e0̙zoNHywEvpO;ӞDLIэiB같* vW.^?_wYdЖTX2\MDBh 䏔"/!%Czw- LLĂP7x`8vn/wan?oֆ̯R/M#SBވ@ Y[D(οtrR}ys &W9>qU&VDABqث0toRl3j&}wq[&,yBM =>hTMDYQ}d4"77u"wHu?6~)b=P9V+wxL;kY!UHD>e_ո*h!:.:P͸̾sMNz<3֘[0GEI4C"ۺC8Vp43˴S^ߝ᎒ʶ-L'FgPxTI Vf_a(*/I?oy{hB:IZO6K"kueht@EP fBu8^xy1?0µ՗RrY%VP|O>: G|PeE7گءXq4v 2X&KPYDI)$CL ղa\D)3iYy10Ǚ=#h oq1D1SOSv[6Eb0% 4tn qsuM|v9K{H0j<w3`8bE C"+=-]L&kԿ&V&0}ex K9M̼7̵1BN-u#s&PXG,2ZC,{}v`}I iQӆ@ xۺ"ϋoD\_ٻ4VN]b0)yZJROPLR9(#7ߡE'r$ JkXGM,zCeK*ւʡ*@+t8Hi5PSMTt'7~Ɗ q3Ԋ DzbG"9݀E2 }ě۠/w 1p?{LGBt LHo: Z>W *nةvžJZxo="{(^"mCڷR*w-CƼAWnwdJvpex]h zkQqc|hYsG<((@:]֗!Ѵo fuAVpPu0pj04%z+Y8~>VS YKjcƢD{U] y^׸[`״J(\r/LwwRjv'rlG"l/al qU6'P(蟩7wd8m]E'ma} )&)~z@-9\WJlFR lZ="8o\"愤Y d55bvty;7Zh?}{%~"i&gq?q#QՊʻ֔0$8$'HXA˔]7e):L~-h۴(hb q=AJk`kPx"|#tX|$\iĤĵރrS6Ћr^ yiX_"^ xTQ X,.om08r.$$|=T()th.mJUf:A3ٸkm^(ь  1/ "f睅X}O Cȫ%>P1U"`.j]Wr#F|JU|?(8lwQ)D]k^}PGQaCSf-|k#߯{ZFp@&JfL ߃*m$OZh]ڠV,d?6UDSswHN>a+ZaqDKEY.ѱ Ubf/5[uoGEK&*ү KXin:%10)=2ы@KTRɹ_*醙#4|g!@"o(62 8Wrܽ/R+(P&Ń ?FQ^mZY:.5A ՀJRnK+"I&hYq+@!>9f.(qfKb]%E_>KfւJ63-^EJ܏Ǭ `~O4<;-0#J2mdZ]0,"%%vh!!saǘpV闪V? ;rcg!.f^tļ5NSG:FkG_e / V31fQbz/^ 7 p ֯1kJ>~<dpoڽ=?kN<;xj$le 9~CSt1']?`V_M`8 N_eOs%TQ4aVAh&"F%SRa -&%4 aY`˞W7#_b`&P*+jZ*~_vސ 3!T9r֨VӪ|$}]Zyx0N {#Bu\yu5l~6t^VϦN'+.}\FXdMK}(n4IVd<7Rc9lUxlAÏ F8ez&(d|dMKnzH=+;y0j)fۓurү;˵~W:Hm#kBO4mufαgYZ wwq?-% tNested_Multisets_OrdinalsHOL-Library.FSetdocument.tex7zXZִF! lK]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 ?3% Nested_Multisets_OrdinalsHOL-Library.Sublistdocument.tex7zXZִF! 8N]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ɮeAwZ[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*"VXw9Z)-NXEEG:\u#M?잀B+39$ f4)%hnX0e`h8ˡWX>/N.lP'䇯j7~~/$DTU5̥pfs*w;]l,4C(m`X?!, }4lƊO@xyUgPl],a4ߟMhD1]:-rhhxiS"r֞Zw>a^ eSZ+暍U#fh6/Ȩ]=sX3sK.kGZ`bv!Rsp)GF&T`- 2ts3[δXދ<~o_o2eʔ/ޕ h}M# ׻(69cG-=cqxKN!υ0=h]iG fc/c'jBkp[7\ WöO#TR;rk/E|?{&n0֛c *W a*bru.=}UFR [4y8՟9b)N1뮍=StjO\RdӠ2Ҽ cž c ]URq)NBR12p?ovMj1?s^?i! LnL猉Ƣ1B6@+Ĩ R}1 =:bg/_kY;a.7x՛ xh=K$$m#Gy+I"8]KpjtY5osݩ8wUߦAu]zFo2(d"xP۸Ү JQN6L gPjvBr`WOF Xl 1m[c1SNSvD%$C_QMޝ|T4qWlm07e PᠠݑfapQ]jv1^DmO/89٭Ѕ$O g}B;gt0.ŋ%u]PWTma`R@g;>q E"nր'# RvVwq'?xp O&  uJi_L- 9OˮKD%3] ~uuOZ*[ >~Ei/_ 'u`"R;\@ r\V@u)e,Xc%z=]7(LVA" -upEi{c{`AR{hYj/leuJX~R#zy-#"nN0E=ɣX1@`x@G pC$zs"$鼀-Yʦ(C#O+ N86b_4a z̍?1?2#:Y=ކwxEt~p)KF4T@R%տRb5<,#$^c6v32C%vyZOXM6`r Si$>wܥ{DZ~2a:ڲנ4?,^ !3>C!_ E\x 2ɸ+ndN1?lP12 5s}@ V{X':Ѻ0s7vF :^=lԱ :Ls Q^Pp [5 WumdBc@ϣ.}S8:+XoF 8ܴ㣰.2q׎ 'O>^bG4c2M]4wy:dO^#Ywc_;޿8G<w wZIM"?mΔĊMC8 MMmHO Gh:v9A7ndZfƑRċȐooȵEq" 6UҢ ' pj<ք>c"ɦ/C.0o,] (&´;oF%j$hM>l[lXs NVRѧNpW{!]A9,#IQ,]'Ai{ g'!q莹F R'@(3 &S*p}~B͕m\!>Xi0tⱚHNo 6/7~vxsd i9[ŸK }bxyQ3((NnwmIpnKL#ns/yMj}sAխr TypQ@ɐqܰꖚW͠m!l\jH@KP5/lqeh#D)<9TQlł^NϨMNa|cեǽQMk*ٱFWJ1֛1ud{Nt\/o-K\R ̤I”_KO 6e em5m>nRMY㮊s<(G/.hAq?ֽl*)NgUkR74A$N!#é=f qZұs0K^Z'hJQI!I V1IZGqHUPRIȆTm#gD4R4|2_Ūl\S{EKM3 Q Bvyh_zvċ`J2XlpS]d|mg)~"Jj= 8 ϮND maJC'$=wm8q*QLx ).(dUD >`*X_Wh>vg2pq)哽@҄ʈ xeU|pGϊ]#ƫ//<7 DL OՋZG\R4/S8UW󲊮0CߔBA31>3?*ʜǘ:,a ~. -=?!dg{"lzXc+_zyQ}!a@p$&/E' [t.|sNu%h,]Z>F2yjV'- 2ޱN2*bB/ᵌPddJAJREcJ7{%猛-儹?iPi3"hxʉ3B\_@Y$Nľۍ >%eůKa\-ҍWeX_K0_8"DwoKz+Ye^hMAԁF{xuYNwDx")à602ӹBam|[;z2FtU&w(p_6IGd=~p*A eIh[o a-tH^VHFl6*^| ڑJ1U,rPn$?mG-m!( y<*nDe;pvbIX-1vy{"`nsҏO`s7߻uXlNjUy` 1׸oͷz-T &+J^ R=j/7\ |THqkvJZFg IeA_1x*=Yi04 ]Nr~ !kE؝qcz|: n P#q0yp] Qf=/[.E,;xTf)fz,Eٻqw%9mF *[ gt}SΥgj YMyu>F`׷~EY i4 kQ+F8mϛ=YmLQQ;7cG x3n)eI:._33dnք2 E?C^57Mqg4H!\Zg0/%]법Oh3-m+@6f??>}l<a:]/O.o7Z=bm_{vVʡ}"HTQ/]1'?EutԆj3=LTJ Hef͙8ޕؓ/= xJh IJncט23а 07$nQjes6dR$RQHSK0Ƥn}%$k=FZű7^)YWMB]2wF6jӬPr-F62bzT2̳e[rcȀN[QD^~ϙu}LUΥ~fN_' >dZ)ןj<6L~GPs=?aaQVIP f2e@sy<#+q3]>g8, HzX;\Jey#@,…$*كXClw4=G.k)LZyc ^ݐT+#. AD13'X> $4??C(g"F 4BH]?$8t2ȑ/+jOec텿E?BR2Of8Ə6n cC52sEܢ3:zQ2Hgm1ywy(La }a]㗟 ?SjUfO&%Ax[LH_ )ĺpZ+'{w3AkM/ڧ }@YD@  1HI- >4) H4_ n|e ?bځ:QA^ShE9 Ȫ;*ʍOR+S1pޢv srIX+]WV?|hG5̮Y.4<5+A5t덹@: SSk#B *snS"HL0I4u-8_~| w&;Tq8DUWoq\+ߤb8vvٕTpCs6FjlZ(B珫dMABDGN"|U-9/.c\z%0Vȏ^MgYEi8ⳉvs٢0q_S `'[ؗJ4jo(YwHLlH?KlrX!+8w%dl}h_@wHd'|Eա$XX(ݡhEEn1|VZh1-t'o6,"pQ fW %hTԗyN[ "h~F)4c L=>.ȚDgn_I`NZdvS3e.&7uZPzšzYO^ q) 9T`+^Ř6Ia$t@7bsw^ȋ$NGt EQXF2:KBI<#@ŀXe5‡C{Ըlt=/LQ-&!EJ>;^ 8WKż/A0qGჹXvR $zj4F:8tO^x78/-v5h ʝ;Ζ-Mc Nɓyȳ{[\zldH޽8:ߔN7|NJAZw's ݴ=T ҖxyLCD5h k6N \ymDa8nSD72 }V3Be(as_b]8"vL*8XL7Y-:6Ua8"QlV %ijt[<,g~Dn ;K͘e,d:YO\bQ*ܿy96rs96X)mW-lPa1(yFw~=zTnmXvccZVuSImx"=|M&0 Kt=|ZG_Upd olVQJ^C*Lgt-/zM(SS}6I " `df*sJNĐn4r59s CURqt`߅ [o |Hk"x Rv.Hk_> ףO'eά1'Na`>:C"`b]pJ#ل喌p&''CQaY? XiRsxfkŠpHW_Γ \ #;)fp/}.T6*O!hl bpAi rl> R 'y0 uc5Q^ҐWc*5MZsH6J,_aҪiwA{p&نb-e/4N3%#4C4еvD:(w%aF E^DHڌu::h K6*ߚ.SBP~8ΘO l> =)>\8pb8LaJl,o$ɂzQ&/@cT![iُCDzPٌ%:,pwWtK^K5 [ <yz%?˧dL j[x!;8&f|j ߏoioI0 إz~~(9LEM,n)53,-]Zp6Si4L@Ywnth))\4]Jic )1Ll 0]2?q r74v#wtlZhpc3=l0zXl_eqH[vXZdR.MF;4А} >@ bK$c,+Bd喴l8'H D&%4ry_q vJ8p J5j.] UXL=&' `AT@İ_r?e,n B@:<|lgıF:<8k_rgcJ,T;m><Wfk0MxF86,TJWhuXȮ܏X)VO>C} v9k3U"8:u@r.CK~UsN'~ ;)M:2sncDwjCR.D5)0rhdg!PB@aQbWZYH=`:[;^q Dƻl. OݵɓIi3),\-N&_ayފM,ITB&`A7]Y GU]rLSҐ18p+֐D"2ѾJ7 IQ/Č<~b)v8Fwe&'+WvK80Qmg!b!|F'A{MlV+LjU:< (.W/o7yV.{in."CRnNScYZ#7?% @6>P۠Xg c^@ڽ£ʡ{29'O s,'rp[=& ^gn~Mp.Pk#zH/<.+2G8\x0,J'Z R̘2236vOטÅW7ɕ< ֫ jQef-l*C=~F0Y=SBy 2委xH*W63Kͅ lnIOqhk1'oO6γyC!rIqm-2K*jŚ&q1/XwFoȫ:rȝ>ƼhBE+(*ҽTT{f5$l.,w= Ͷ۷ȴŷ Z5|"g g A +|},h)Jm|2ma2XɬjNn)ԐdDlyx_əl\|]Y 6wzv/ðIs@bp"$J`84$k4jZ&oPh4Z#aǔpQq@g_~s!Qn6.#d{f?4_ ZW Scu(9#\S2>e^tc%ffɿՌmD"۞7;O}΁j Cox;5[&il:G'MzMK-+ɉ<jLwJcOuty):rp;V{w> Or}F<+`J 6Ja:Ju`  ό%J-,~CE Ch`XdAROBAajb Sv8d篦jiϓq݂8bUs2wc#(iI OK_:?I-h"ulyX?>JȐ\bBsXkj"F{*?f}YnC $.%~ { m-*Bɲ X$|0Qi˜,Nzc90Jw\CT z' yLϮn)^CzJ~AO'Fܬi)Vj.vc@],:᱙ Mpj醟%QWw_Tb5 /+yxﲎ;,OAm/.R=#[72K (-}a^II<_ɲU Ǐ ;ĮBI45w{B5wl>+׊2]qr )ا7TL^+RRXVIdGKO[D.)!%a8 (i?kq'E gFn-VlP{̪x>07ª.ٸq9VVmBB_!lqXIId 1C ݍv]?En'i ±ŋ/fՓsX~n |j:?nyIy/eXvVUh7/dI}}ܱtWF RL}Wܸ&kFVPA6SX$>ɣARB{ oo3#DqWm'}nԋ跒 /A5vi{ljPFBFn/1h FÄXjr+4՝v/{m0"1FJuNiFXpm:Z5vE ~+AS9&)W_\GMXXh+枻'X%u U^)E;4v>g+0l ڗSs'iecU`vS :ZmK|54,ߒ˕C1Тk.%M&^o #Qk#wėh Z5~#x;WIj\TFˬ{Xà\jIw=%QFe1(v U%h0lZfHh[J9`BygpLVV#!|ѧ#x2F-2 _˭c3ƽҬq*\Iwc>֧Pj lcVlE }UUa=d[h#4:KD~7y 3>F*Cwh2&'ޒKo %32V3p>u)FA<1Ğع6x׮S{zYROl~TkVh | 6"~`h?$xZ];q[]=̯ ͣ`f {^' !{7s,N98gPL/k_%vjJoiMX46P!B!%EВ_ޅTwZu6"AǁRH^]dEb٩w&M]9$#L H.nc)`ArĘx7J^+fo@y{(mA"uxNo΅ljn[KuN6ti[=:qpNIW(Bv5:igviyJ]?wc?u&zdd*a8cpkRX)wWv%$kr5~Bi@ۚ|&ck 3Do!#E,[IݜkAGd%ݜE27+ʶ&3Ts-z\ervMc4*.ڎ-^qTA`'gf}4*Z;xf-T>ʈuPpf#bW6Ŝirxp"7aܴG;xKAEXHO0:V{os.]vDZnc~*t )%+W7۩Xua׮r5éX_ŰEaZ\eXR=$ۺjZ/)lMMeHr$7,ކXaqPaQgߙFNG.bL`*@Ujmk|"c~ YI;ĩx"3KnmKJ7 %O)cmF%ݛ~z&9&]XiȒb|#h*Bp'!X? *'0p5H%ݡhd^JVU0yk=RyM1KǓ =n@ {JBߙv%"I'Ȏ)k%9AcՀi.u!.ܵΙ%ŎvL(ŧ Aʅ.RҤ4A|`1F%X)yT_}:0<~ZO0+,ƍJ>߼h=J78 cS nwyI6!ry*OeP𬛎b84 "#}Vck7"'q>bm,-KW  ^WgYZ  l {T?c% Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Syntactic_Ordinaldocument.tex7zXZִF! &8]A-MՋhvG"uIBm5Ȭ{+fsp9\s}QuaGlXAuvOꫡ> ]ܘ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#S0#1?5% lNested_Multisets_OrdinalsHOL-Library.Multisetdocument.tex7zXZִF! ,g-]A-MՋhvG"uIBm5h\~"EY$ Sht)KߏEh]Ι>2T 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~<|?[% \Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Multiset_Moredocument.tex7zXZִF! gA]A-MՋhvG"uIBm5 6+Yl~ay',5A)ՙvӰ+xg墶b^ JvĚ%{v ?$\Xcwn t!D93 lc0avX31**F҂`-.^|n>jnb4ʼnRt;&1s~iS}%2Y߾4O!ru$7ZZ癨FT1&WFAs'2AևS}DWvgoE9Z%B>6:ӞJ.)UiW:o9j+Sæ5,*L/H5# r!5* JBڲc]!5Yj,{i $,8:z:WʟURs !!0Ub>c#p܀(Ț&Jaߵ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,@6bPaWo̮@vae^Dh/P$ SωYպċ|`ܓc@|X>_2^i ؏~'VeJǰ!eNfK~B}\ݚ@n ;Y,#*$TȘM'R1׊U[C\I5CP7[ۈf@C[3%^mUΞ-\}1/ƢZ%fP;N3y|IhBn- v¾ԀڊcI$o I k'<]gȍ!+F4<LC3sG΋$TiZ;6VIc\cQsU!n9 ^ޚKHRrCJwS飦K^h*\qk1E)NF"oq}ũ}b/-: {r8,ơ #:,?~2]Cv|*=Ugɣi0:e݌>[ d=PõGMRŗ 8eKBYMϼ`0\ ueJ|X~C IADs3Pµ;a7Cت"|Ʋ_B,+fMgҭ &6cY[Ϗ<$?tL?qu3KŶKjc@V [/hF%CBEOCb T螥ejk;pmCNua47`Ԙ9/`0mVŽRrhB ӟ -2gJFa.fo 1Ce߶$,*Dy3bH,*`fH|-D4V.ő:ܳbA~!E 璑 YWb !_;Kg pBN`}Ay'j]eY7A#F7\|u+* HC.A͂ CQaQj&c%R3rz{NZ@ R^)L۩,Ǟ0FߒQ~>+O='R8hK\!hxRi4Z-ՖMZg̀e+c?ʩa +J+NS7ڤPNf(ǟIFt3ڶ[#ǫ ڳjSkFDiwe|\EfDO<71N.Q2Y2X!6}NfGMř-:̅F]QZM !?EkکE Zr:N xՎoǼ);-32*)rDB'{l0uAӇRAT9.|<m4rl?C:-E+Le As$%]a/VlR%FT!h2+dm9``+=:PޒqaH]/ ٓ̔>VPtQc*d(Dmݶԧakuf?Q) uQ*TFu#2;Vl"4 ZLO#^ܫgDԾCU$]QzQbBټ{}-f&pPb{T< c#~A1VzocfqaAڅV6?.'&N9:C}.|-!ۍ:QЇL, UVI*F[ (x J/Y%7$lIA|㈐IDedxmTko[9ʚ~{K!a+{JoGzkҬ)j{`u8k)@R%/blܫO|B]6Ar}gR6|w+Dxzb)ú\'2ԥ@RVK1YۆܲZ5͝l8 K0r8aocL1n nQ ('Ӯ|~ـ{a^{NW-qKkF["[-JA%W¿-z$885'+"ȶfW= FDӋ@0tsx ԨvwX̨4ftK[X^¥d< ^#gZD*<>aaTF1.Ďһ~f]k<qU\t ?VROU$pX;%L.q0˟8,M1%o* n}KiuѸ"q*"TJ+=xRFo`|KTӜzc^3[xRZ5?K検PR"@S<ր„)8q8Jn:pC T/?W7.< {N8:>Zc)IMWnG6>4<˳uqlrJr<ڲҐO!lzф".)I>li/9lJX|VdGvcOK۞뎁2k_K%At>]rNq}BtJrZγDwbi9"ftB}n}T;F^i4^B!Cp=yg]Ǟ%?$rIH Io9D@N)S!0ZTp@j> 5针>l EЕsZ>,b/Aτc0ĦF- eſf3׍% T?۪6gX(^"2B pf.:q9 LMbiwqt,ؕG3iٳw r+ze=žQ)ڕ)JBGEԛ7*Qjt )iPU{!ܺv3YLkbA%a%)/*@D_]=lApM`O1xDCp'fdr1 bD jUJJ,pzH6qIWew^3촵Z~i˝OZ.p_zc0E^ƍ*YG`KaECk|;ь~vN7N7ҫhx=v`KE%7FQƴkFS\/Onʿ-)} Y™\mtdJ@X^0> } Fz(W\jD+ 7)/,so@\kБ|l3Z聤qGW}^u-U8HD!([Y_ނe0X5̒"Z)fQ!+ ¨gfEE55,/߅$^ KP "嚮Ř`| O-&ϗ߂ 4_ i}fW!ZPyvڎ:m\&_3A\rm"8=gtl5"P!թ \\uZbZC ćW.Pc\g'%a,&Gfu jKrjw|:H/0DFwXth `IVvfE%O C^;o$ҚZkϸwzbݑRi.I㕩+!F).[oeTHP`vl(Ib/;:AP ECnv\$F-L9zTe]4\&_XJT_(H#%0qO!(\q;ƌ*eE Z tZLeSh ;&DS}}":\Jᛉ?Lߏq'Ʊ[.)å>8F!7T=Bc@4voN Bڟ\43e`E\pJۻDfDW{]O5GWJY`^oo s@JL59z5C8'|liEKi81B©3jiʧO6!qWspXrIs5~ܐ]M,-56X/|~Ly;OwYߵHüJ u$jh\HUf;5=pz$93gl%JЌE?VYAC =itA1sO9́́_3SgW589Hݓ =T !Օ%@E6[$DOZbg ?<WU^jW'+R%lZlobSާmDFy[5M9 2C-6dsF| $Һ˶3=߀b aG40.%*J !)AxpFd D?8)iig{[O%U,N]L I@qr JMoНw$Ih?A-Ţ)Z^-U.au+H-+#igΓݨ(jMβfN&Lb@Q|e[+7b'c{ȌZKT*=bG~~W?sޣo9_ᆪƭnT.43pN!w#XA܂?#B 1BRX_:d2AӊI[X?znVPљ=s3;*ͬ&eN:8?V+Nf Q` qEXmkYfsO Oܠ?O7.dh m1bqӟD O3vjL~`i7tSixh[INjpoQDW--A:3dIoП;[ɿ;:6v0 cn M6ɀC!6֗$S>vhL#cbZv/bX5|(uȶ,LT(u7@)'W"2Iת02HQ` ݞ8&BkMowI}l3O5*% * ( }wdͅ@À=5k֖>d6BȿqZj0O*1U2'HUm\$fg;@ J?ܯyܳYSG-ж<++g;+A@ExvgO[Sqb9iLۓ5ij6 .}&iP>NqJdɲ\Cn0*dT7u*Z_oH Щ?Jݔ NN }aJ\f"J iP1.p>y ?}\YN߭6pRڀLaKBz2Q`#cډq7ƭ0":"ȬOMT%LGÈ_fр9Il']e־&Fyi5I;O:(0 R {H*;rW82Eam4ɯ$! {r$E"D-٦Auxvaf>[xuЎ`"~Lzrsc`eYfrXQvCE1`m oDQJGNo]F|DA:ht` wg*>2dM%{Vzj o規;g^0}v#9sD;bYquH.Jh#)JDgSw8 `UֻȇpX' `'Jm/.>v/w50kL|6~1hz j8 Mj'e'efyDwci;0B FkT=S/&9+|m.HOwmV o1Dr\E0>Y6(l'`>['f]ڻBJ|!%1!9CWC5@+AY,Z- !Gfy ۸yp¥HeA8>t-Lq\ifr FYASXcqaoӪQMIrTHC`~3\ѥ6Ok|D-X^v͘W@WsFP[c b뗵3 W}fs[bbRbGo.z0M:tACzSx'm n3r#n G[KYo%ɾ՛!!= Td ax&,4InKI5J[l]؃L'MD0˥ RʁKQ|h.q]SNEK1w[Yׂ Q'N{)N uh5TAmB* |܍N}N)zfpMS "6-VYuLn.YE?&K.w-L|L" 0i/%`<+eXU]S,PRNi)kLǹ1SCm~huLhW,Ӭ`,vr:tNpޕ'·vjX|- &Ƌ&b54pg2;/ )'(}:x*FB=I!Qh3+R)Y>Oq-sM`(B-SO#:;Ev%kIwA0X<"sǻvObO?%{߲:r(\x ')DaY0\Qчm|Tx Tk ShT=p5'2u IB<0Vξ_e1[g797Bo8U{/ 2!45+ϩ83s}D2xؽRu`(1 /З? ^m!\Z)FBg$F@;^pG?7,&i j =ݓ ; + |}_FLr|"} %^ǎ)sܑ*? DY\2 S.LҢ( YɲN&8qaצ^ft#ל2AnC2͂ i$|URA7& U:!Ȱ [a= [=v1v0E003ϑ(٩۶k-CKV'P7P/w5piy ;r''9x"D(g5KRMĹ-g-~n.~1麛>:[@D W9`ET4-ہSxỵ~%S}m??õ3Y9@OHulK~qv9ro`SqhE0snKHRV.wzNf{[cj%H K&!|&C9q 9;!{`rDr$HgqQ,,rUΨ޿Rl¢*2F32Z]wa2Ox'eD [byZ7,7+[6AqXhfx $bmA:42Va3~/Z^5K0]ٞnG=E>lw^[CD-T D? D#IPP3[>EsTQ(ujOU?p$]duzQ0ɀ·Ym3IN Iňt!WY PӜ4r2")I=Dσ%IDW }¨XH'{x $6H 5QM=ֹcʗx yqr\'W~Hjo4Η'Ddd ьT?ae :!6No &7I:1̋BaN:m& LQp8WȐtPBODà %d7az0ɩ!{gt}$h5hvr,m*83i~4{an(s}΋eZ<;a)k,/͞<u ]{:s.. $(0j/ig†הp@\SͿf\?Xi^{VKH)vOEʤ`|^K֮h-kMuBLXf'KmĩB3TخDNI|Տ@7:9#l1^5e uxji6Ł&o5?gOVY|+"9`I5FPƂI%PU{Wz>M4'ԄMi8Y>}ݠq{̸H TeP6E3e5j\*\}Z ZHMLޗ 2fcX+dK@%)hJ4 {Y! }p1Lalq4B*E U]bGpp.;6scÛmy8ٺޙ#^G;a 2 &9oHSC5P%7W\Ϧi Ãu쁞Nd%4uhuW`KTw߂ ^rZêvnۮ.ӰSr]CڠkI:RRN[Xd{rF  M4J4X_^є:/ϭجQzJ)PoI=> \2hIO`^AjsD@jc15}cS8< j5b MTDžT&& Ic Ư9wqDp7< kw6kF@1RA±]rwclL -v#Z0ַj4.xw2v͞%mތ#'!$l$+䔸ӊ4Ϟĉ? z-c2TRs)H"qF?y*WحH FFn@+B&d̜BfrnDIo0/a-m,7;yDZ[| 0fH;ޕsxp&jP;Eڐl߱9^>ϭEb~5Q+v 2yӴ'za1C mWcvy;_7gsj i_^~@Jܾvyyo>xP,[OUz(j TﳦDbZ["߽RƇϺ˃ߖ^i qn;rjNl_x3Y?Z L) Ώb,#0I!$KڳXȒ0,53tUB\_#9}.Up~Bz-Yqnk$ ژQŭ!OV5)j:KngџaZ}))K5g9\Mh{J=-0 Akme.P5*|2=<l;j_{fCP ..*ZgVцKO!Gr 3W<]Јqa,niy *.#+!-\pϕ?[Mx m!۩d]ґkI)2|3Pd{cuѶZ;/5A/12n57{"zpXY3_2mܰYVU}jrbNST-]]/J,03ש8})=Z.gȾL|"T`D+_-GS^Ll`\"P  +p$n!?^eM:@>p5 *K:s, 3&%PFIyK9{˦5ʖUfSVw?xNM2,tJA*7q0 A}9K5zQzuxU& ԔiȞ[q`3՛]@˃2bսX"xf-|ul -1ߏ7 տaq_,::@I#% 1¹kULeBԻ73zy"JRq.5?e,z(Ceyi0p֓*b^q]aٯG$|24z"[B4+.MY‰dTa56MFr}J&q0~8䓩AWCxRVڷ}qn/O}q>rD@ i{$QQI"@U^+*U"z^ F(g A_ "<,ݷ ~8(:; s?]Ss(:5&C1b>HfqܡܑJ ,u.Yqg%Dgg#8QN͕CAŠX@_5 SpBh{a GZyKXqGx EZHZjQC' \n)DTNrZ6#(/?.IH<;Hl|5_'jNu1%Q5&kXYxBTyvX(#yr 4C' 'F!ͯ ^~nVc&R=nT"A6šAJ$}#^1:)IqjECtCЋ:U w sD/۟n}դfbZ8_=:t* H}SLփ~>R-^PV#o9(óa!ya3v@,(s냧L~Idpw$LڑTnp+xb:e2#;tx%[&Qi`}eAAM#3O!7Q`'U}{>A;D +&5 H2$*AnMj4?5׺NJOv:f SC#_f%y\R^T8 d<ݏsB@R-rX~׈#[ov- 㗮DynY$&n~U*sM ]S4>(,Q-mBPSJyfyt /o5 Z$s~J9m%'XHEnJzp ۲`+In)Lh%."g.utZό%g0j^n..9l_J4L(s2| -H &N_K>o儗a= 7mD]J^3j7y0G.axFEGΈ_{oY N;gfsP !D^ ~5jOtl/&c],\m:C}t+5z+o9Ÿ!g:+gɡѽ-0HRλ`jkҩvYYT~5\]PTY蜪"]Q_α}J;5(HՇ&IM&/Tx`9 Z0.ň- gl٢s*4P4w"HW7CFfu,M"jVr`|[@bfu oNq YSڄYOYݒ@MlGEq47#19F >Hp0CY"x_AnӐ lؖ\R_a BLy0#6eVN{o(^{z; %쵲ϥD%Q xc~M(\/g[w>[OFVVU=W hCd{[Bu?3ԣ5 {eW}GQp̺uC 6Q@)2DMᵛUwYp0G2$*ju,T 򆡾}˝uRPI̟/ ܸ3tBsrE @D>j+}ygh6$#g%Ka_^),^J1"MdǺk&C3_bqv' rkb xAW5AR*d#/5\ǫa!\s):p@%j \Oo;H!}}R UJ V#H|Ю!k`򕡲j!l",#?뷲9& ;=FUd}D=~Mqi=Edm0J֑{*% N}$-g7Qh9mjUsEHn 3/ТHj蘤a0 ~5":cC;3Z|miev8yN<ļOg 2u!Y$a 0x5W:}N;OUP"b. % WDz҈DĢbrEMXm:LZ9i6T1o"C* hRJ(=JcE3"Vod&5$ft?(QEdVCslz7*naaHapE+շ甓, M^֪w?i2w2m_2nᨋhQ!QG`L u|?bI|=8lH}4*wF:%]s9?a:4l4qeQx'L2SDc?T#iN)hMhO39?܊a8%WWϡ4`;إG"I힇ak6>SW 8& ?_Knmؔ$ %q3h7="^Nʆ*;pؕ79Æ>+U~1ti}-(l;Zq&xEaCf;Ƌ1 ,SmsXYOڝ(3ْ/>_kt.)x-Qvqo-`G ijxH Hڧ]u7P2XLHM@Xvq{&$qV/2Խa:D`jv{H[yLoDo˞?Up&f)b@pknZ)h/gf1V9 D$u}J'$B?W Y⩭ |"1=BE1eLhW'Ȯ% )IV,¤ppFے7<}=]h'Mpt䀰l%vz~'RώL?_2qd֥k :%CDZH€DuswwZMYqo0c E~ѥv4;Z(]y(]tlyPnNEKc ࡥNf5dښYrCYgĬk$jp=5 *%SB)ٗZ+Cd%?և,BgR&.6x]qsl^`X //+|2;F<*Ҋ5nO]3Cc"YlCz@MHn\'PRi^:pO9 gLy"sG%d$nz~sZ]RBUPEB:so_%PIכAmd1XthKWp0VSW:ln z`r"ze A k}8{Bw5A]$ή,'LNyK)sM JnA6ąiJ^˺M"@ c]]46 ? =^,:W$(spźFIVހ@ȗ$/9~E? _\}mqha(bz]9Gͪ)q&q-;xm)Q *,’䱆 mA=s}^)G3} 5O}h hw%|`!1dɍ(U(MF6: oyW[,^E j^W mAә֛߱07ψ!/D⋹4'V=A|VV56lZO>,E-<#ʹo&zQp [V=IS j#gqzX׸FtK$c9𯿸+E>_ ;fdrF %p'tѷ*W.JXش^GH٧J2oqtܬ⎤MCtm9zeuoTմEW=m6 L(1K_s^477E;M B $uϓ }uDw.ߊ$ 9ѱCľ:$-[K/$qSkmk.d1| 7bt`F ; 7TƋ?7cZ HQ"$[TsY,wT!^ 6ַ _ZCP$i8g-[-)ۓ3]ClaB?1c~D/%4~@A`yZn+>%Ld҈IiuS/ievZ!ފbîuQE!`B8ƈ#-L$ WN~\g8Fk b)#mb08qxN %?( D,1LeATƶ.'?׸pG= [RW2ŗhQTs1胏7,t b`KOSg%UVȾ_`=!Q ^Pi:{b`XWr:J"~*[2+ Ws9a B3*L0&ko0B.o]8yaI1qH*.\wȻzUl:[#H0X\>O(uL ~&_)Ci $ֲ[[+3@6# n%vJ叝;ۼQȈiU՗+;7(͍j/N(Ai)bi3t/DX doXc4#alM\J\;Mw`sX$IZOWX1֔~`ejMITw ;nҧxxiy04c؋Sby{Fؐy \IcRJ j ~v\R)$Ƶ7=D9ܮ"栧dKds= , #gd pS_ D#3F)iw1jS;@ ȣy<3UF빁X~_L]dO IL8bV u &F!ta= k=&GW{"!?@lD_ "j7Cg6voٿa;_3eH c:Fq[쎷tƋ8DYJ3'qtr\ٌ6 U%7D ^ΒT7FaEGQ"yx$v]ӚiM<2e#.;GbTǷe]|v6Ex ɔb~1,LNrnւ2ZwɱfM0vj w4m 7Wg̯QȞA(Q*UQ,EU N,KO\҄ԃ\.纮j9!t |?<%+\'[ũ k($u,$ϰ!MϵgQSj;QZ4`_"I aֿ]VF&;_sjvK2n="͵DLaأ'v XB ()d|ˣ. "9mـc gAMqXrl4dP׶;&2gM=D*ƞԝP/)92N}۶m)#2D 6yQ߾;yphq jQ9/OLm]D:.)ar(i8Oћ֏ l ِ\'r LR[L̏*Ov¨uE&%˳3~,zEs{ռA|Yx^=:=<9=cqʼuS~(z r@ÉbVw9Y<$hEWjZpu_Igz~ԽA<O\0b ].Z~SLZG-Knm{8hQ&

c'JZh0qPe$HۃSQ @sPd-'?x8bJH& "N~@W dTPc)">-fbWpGu`Ʒ<^Q\g|v2}֣S,Rw WfJ<q{͗ :U2P]!gwֱ&g@ -1% Z\wԄ+lJ'<IhhX Ԃ,:"2ՌuÉAtj5P9NGW(hS{ug]D~3ESnp F?n?FJ>ǚw.HykUo\&zF ʶz.:-OuLlzHM:yC6m lq}bF*ɗ}al!snh۴mXBUhqhA#.E7(/Ao#ZVNw_r<ܱ\*éaWH2|/1 o.G8p0"9nZXnܠ&j``4EeSO!1HD)W&ckʼnPnMnƊЧDɦv1+ˎ_F2V !/m*3PY( %1i@u=0)7G?ʋGL,jMf~pYkpʴ/ <纴+a_Adc"0KdP)> K!Fe1\@gRYe+VzjTC}AS Q~nϲ7z$aris?iL#?I#w/Bb%ѡC7:T=mxqpXCIp1PEKxtsYPF9ⵛ)'ΆDh_\b`1},@"- ;}=45W=zS:޷ Z)읺,%/͈NՊC1/08^Jvt(tD[1I S7R K\|_֊Z?dwɸ{)cqMzEւ:aIS@Y. N :t泐pQ$O]}f}gAKj( 0a }+d:ڢԜUgBU;{]9\w)\9 ~09R_;˄W:Oj |i,zښKsڥbRj[?[GvĪ5Ǽy`OwbEޱqSb#rjrD?e|)p[;IȔRn냮[=`IxNg3%x}\YY”3nRg=FIfN2խ)䡄 rhw`( !C: J1k˄8zPr6!I=毾܄gs,v)nKLǶbԿ^&& KWnFR̒#Rޤ|v5v[4=e ^8G ._>^ xIDD <%nm&2crw9-XsPՉq\̄{&R8{VmsEۼʄ&v:Z̼]+ig*ʻ22h+`FNVYq9 ,f_|x`X}hx3F{H70@[ҜI\@T%k G{.0Npw*1B`+OJY-&Teyu]`>^{~щȷ[Q$YӢ8GLut^@d[#\<ݘQc6.,&d1a#}^ήT e aPjxJrc+8Sgs]m,_A̮w7X|i폼XK!!Fc͂f]?sÉx)xKqUB ̶?ƴd=d8ߕq1KxYoe -S6"E-Sv Pwt5C -$%V]XS bDz;F d; |=ɸEA[QG(h㎯ r7}++)WMZz*jݍNԏmz!4_ ߯ kO.E(Z^k<[IHc0cp3柟§{nÏ`zWhK&orHKߝY>_zAB3԰'(%zpP`^)6. ,d U!+0$KnVY VJN#sP.<ҕw?¹\m\=Kޕ#Ax*XKƒK@Gu yOȑ,HR&ڨ27#_Ds_#_^D+R'ag{{ L&dzx갰r?]RH(\c[4OlZe,2J5D-`IYcJ2XEZ>> IGK ޲*Lߣ'G{$yv]Y]R6kLq<]$#^+צN- IowVQ5UۃIƺt4(ml&Caj<.ĺo~?dԍ٠7xB\(\qpuFވ&85jQ7unLury|ys҄5八Uml.lRy;m<4{ahM#;7?ÅpY&ZARsKu*#xyf؊aߡa[Pu9TI,jШOTVN+rt`IJCӦ$d4*WTPo̙EN3G #DNag57ʨbh$ebiŜRhEpdz0^-剉v6^,m 뭍"D(VUPvjmLa[}0mAyDF7uQ_/Kdq0u?R&e,L-Z$ۛ&gWIsm'QH,duxcħGgu~БϼZIKu~50"8p/2zZ k.ڊkJqJr^2xȽN-^dF(v w)H;ku|5SUH0YNC816_ \lL'qH <䦮5MOSvfq+aWBN3T- $tᆏGo„" R*|cogkW|/GV@q>v0c K)}mG^s"l1pypȽ!Mqɽ#TȲx$1Dz\m%i__7^]$*V>Vpt`($͕?8T?`>YVnb b#y5@45ز+Je3ű,6= 3aoxR}@ ̱QVǣrXd5LZ4Em\w~ `}UKCtdxʠc_e$C?ld^CuaػV߬7e-eDx %'D1z-'ڮ8 ::+豙E<ާba&%H+=xG^d@3Mu齶ƈ/:&em4 5d3JXYNwWn[LKݥFvX x} =c#K gEі lW4̜ [=WLAr^)pcQ'`)hu6nH8Q",NqRw)/- D!"d?'틽hyb0VçTxI,E3FviyyG3KqS7忾{}ZZuVPn&3-`讔gWjM Rɚgt2јZRGD;izCv(HM{ MS8a y&01*v ٸb[[T}ݗKў;q%Ya:Ҍ/8^^?xoR.nƨ3𢐡 ^{:ivۂbqꢌN0`@Q[}Nj#* j&n [mc=Ihҳc-(V|BJ03!Glz y'-9{8!o޾JXܸ >mKUJJ~e#!J&'UnxbAa~ '5GbJ誗>eG5Υ3k󰃎ڒ"-\8,^oI Y1̪ؒ +Ɏ̷?ʹ53pt@|^%ƾ,>bGs`&<qAGB7dvN%yR+xO2cQqNɉ3@|pJHmbKj1dwc 9f.λZl]9WW(ØG|ڦQY^gs  9,Wdžk"8[s(ng)fhP'PJjz^~M]ضa;٣ܖfIsxEk&ځ#G :4'lrw 1uAO/I'yC482PZ$ ?+jO:FkaIi+2/[\\q$ZtA;3b{C<}s0Ėle! V|HrSl^ө^7pz] Vj x;dj-q߲3*H`sfÉ/Zb*i&JVz׼ixG-d|^$ANt-Iw5M:t'g'"Ufs176R4:0c-f%6ri`V2Fg+ ld24B[)3](@L.ytrFCSubʭrO͵k9E4,I .*'# QJj5(θx"sc'Q_BT 3DylY#OF]! 9ӑ*)끇0+zb}uDά$5;*9U'w5w>q;#[^yWW1]K?+ Q,uj]K{xy!SNTrVG}čQ߲W8|}"%dsof6pÑr=*ԡ"ZզJ3Q;]m4OHT~3Vw$zP)T;nfIC溪gSl} 1H3 \N2!/6E:2LjM= VlAZYtN3gDve&o'ZrӉ9So e[6f8KRеA D sg *cKE di!Fvc'gPd&;hf~+=Oq1<#a.4>h=voo=9߲4m TW)WKvT1 N8NYB|,k-K)mFDKț0 a p;N:e'Ñt)+)ϞٖYbXk0!:}I *yxe}7BOrEH^Lln.ŀgߡ C &PZԶ)kz%eC93PW9ARԨzb'_"x6/_!ݺ|DS0n]eIڢrg G)&mՕwEߊ, h}=w2w޺2 Quk\jLs5x{ݦFCu,y9bO 7$? J8GpOpUDVncd3W o).`u^"tcvGY?ίotE{>jbǂ|h!OEJxf,6:P{54RC( fh+lh)[)MIz-bġK*pwqYSuݷ 9B9♓n߮q\B^b17X6Qm`Ed6 A h\R*돐ZDN5ڨB@$Nݱ3_nǶ&;"zʜnU8Q,Wak:A\07pX37kj3Xͨ}@e9o>jDIXU.klш۸:wpW *MLSn')Gm Sz-^Y8z.Qe_$#aX#œ })J"^B|)*0`6YA(yZMCs "pIJe_w88i\Jr 8ؠDK/*kmXxdXm^/7S_m\!n=j:9V^I;L4{> =̊zF3q   A YOlOJ٘,"I$Д?V˄&}Р36vxb*q]`%G fs#KVWnMi+"23z(to_D*ΎR(h|)CHO &FL w|>L\Nbr[vocU(QkZrsò^G\cYSg ;֩4YXQuԯLޑ_%$v̍wWV/pP.{w6䘻TxGys4~qג]Ey0e#ij9At~pd^5}zӾ\  C.UBR|ӵ3oF/?ǗG^`8,ŕ XiLYg7bL3 rEbp$X%wLk; e^Jb MJj^K}o7%?9 λݕa+rC*6u*p'+Ԧ-E:cg[yNH7%.c`Mދ|4:Z/Ebp洫h߿~YRg6zeN96#|;QAҕz5wwy0F G ]6Li%H]K*X )+Y!=&JP "L\/Ԩ79/)rtt{} j 6@^w!ȅ] K+R)%(D hIh `h'r"Td5֭6o!:#~ ++q?ና";X}" ɒZݼ\.zn-ʹ]]5;/Ս[Ѻ?b2eg_}fł)Or9J#\]@8}S>nj #LlrI4l-r06o^Tt|6fuGz32kzDBĞylz9¾sfn&jo҉]`).{dMH е xSgiTt<)0!g9zݔltI, 6zj@cEz.-:'=g Zia<#7OY!d2h ⸨FRi;@6Gqe$D*`T̑LJ7vXm=}v.IWyÌΧ\9|׽ȵJȗS" 7'Ӽ5-eJeR1zG?j`*qm읂Wsx[sCR*qRzS&1VbZO/c)z靏mjޔ_%{gù"nyU[B>ޘIaCfR\[.9ǡQsiWA9l7X;in#9c A^>AL+5YsO f8{dW ayMWgx0Wi=lcBu6v-JK'>*砡'cю%":d-'EP]mRbY)C+*@/(ӝ[)Pֵ}$Q9Oea+OCIA pT+ic9UQ>$_,mpm֕6yJA)ibKĺh/ZCJThApr]riy'%ad/HoBZ$r(8+"1'ܟ9X(E#Q}sa7G̷WAqWyW Px-d44̯hQm %fQVLQ6<\dx>Ъ؆p*i$%Mv [7 6uT7ueR*'j"u9XdjFuw 8I̽Gc #FאoGRzR@}=-8N RRڕQү=u!-%%ұy=ZЊ>H37-,7*0 ?4ȶo^{;Ѳ[) UJ}SA4D!aն KM_wk _5фȍb/ }^嚟g!< 錒k$- cf 6| -@sܸ3cz]%ק\HU6L`o:Y=ιd-$t/ vFPp\# $HƄu&L>>?4|Mm"],F7%&SP@K_$py5*Հ[}a>_05ƔCY2۴Ho&4VeYz)(4EgK- s O !%ICߺ1Y'}{ Zʁ#fPF\ 1)5U@UmɀT2we+`J㦻2sF SN@I\bwAQ7ʺ\%\l^;MB:+ Ӻ=9p\zn+G\ޒwd#^}m8oO xR)8+֓)+7sD;zձS@l50$) 7;6b Jum!UDEz J갉x)R-QR[Lԙ>Qw-G|][s$,D9ֺ!ޝG9X~^GP }k z;a-UN͚ m[َ"v# 3wrI!)+~ӓE?YCß7Sy_4r7eJjepm_ZηpY[lYV4"~,кl;p)V jǽ0LhitkGDJ'員sv4-jq` [W/4oFV:eC%y#on7.߳~3~0710{C^ĠV 5郙in(gv̻ ]QS,4)Yf U-Ӥ=c&_Cӱ e{]d%A8Fy9 ּHMlkL/FuȌq7ʅDb*J-m}ҥwvyDcnpo&%7_2{0  rJ->'Tݷ'RJH}_0P]"1Jj ]ɢmGsgCqm{~ƔmtO)1KHsIsLyszfLn?=n\+zI$aüb 똪h@["(O"~)cJ6?ThϓLkk˼fQ1]c߳i"m1òq^*RH(:"Ϩޯ{|vWy P繍7oLŠw Tt/j#Wl).lGPv%W[o4'?:'>mt?z=W&+F&zE5kDU\DwC%}nib[S/d[̦ ) #\4~}53 c2Bcx.x6z`[;#+JMaR-EIY_)U~~.\qZ\fֽ6q, ~!4<8sW {6[ W<Y> $촜 .JeW2Om{9W; @c8ϑRD"-cS1*4o]5D'l f(H = e!TyN\hi1& ިFS&]m]`y݈JJgKoi횇Ι2v YK-OB;eg>}PuաvdQf4i4EtcK-f_E\kfyN Mja3A !}Rq^0K>nDyx-rngZlTV>Wx[ayԪ0BD 5Z."?z T_Z`B9b[ϰ遙Z1qcb+3NGTG\JmfNd\ -`!n1R5vr~S0mKV!Gߙc I3uɚ4aKs7XX8gqK8djgQKϡFL ;>W yEZTҹP˂+udKxPPTڤ'k=pXYO(nEHbaI,g0^1mF%.K/.* gT6@uyK}ڨ% 0>qVŏPC Gy-wJAiijJ cJszSgJ5 Ku2 ``4F E3(xjↅ [ ~6*Aܬj!CzN>>,Eu<",Q߱a̒@r[º1RِV+k _##!Z+ $EZ#j1 *?!*3}`EP/W'XP0eb=qn}Q6ƸĬĸ`{HO'8h5uAY,4Ÿɘc8N=ajc:Y.itqƳ+!Rh& /q1]S.Ef<T~N(8_=mI8D3nbIrtKn~h9G*< :Q$\^/sr@E$L &N63 F;<\T`c'ؿ} ow\W)i1Cn#7Ct^pb<軬6zB]AAs$]f,u8Ì(?q϶BLm:,tatnm- n$wQj18G0i[en8\q9_//j Fr ր>·EʷZ+'xNw#>,q]ڳ!7z$[> v]ۍm;;wX <U"cpx%]_␂_,7lLV:2yylژ$Bl%/#?:}Nvt l/,L{Z_LTR㊱/p9| px,f+2/XI"h"t%H2$'!3V: Mqɱ_kR5ճY( *_:;{6t KTqu2 9=)7UM!փhP^ѺW83/% [}i^1t Z$3rؔd?P{CJ5eh}+ɇ!PƊX!ኃYkͤ{2^XGYm*+#R_oQkJ5,^a"iWHfl6>mt %nGmЂGFOʡY?~Bnc(bu##2R` *ˬ+KI_ !׺L8WI"BCDtaPW73PutmSy<,B+ޭJC="ac/zL윂.JDv-~{f7wk-AgȂHήl OWbU7L{&>i}?Ӑ`^ FME`wz4ͻ m4![ Xo2#DE7(]\c[\>V ^aq(ǦzUl. Z:H `ntTKzW/[n ^_MjY )JdJo`D rF^\Rá-ywC3PՋvk^B58N:p4.LUQgcȈ?Jz 2!$A`>uR?]!+Q[E.LfW!g]j9P9nfC\gɽrCo _m b-3`8 ޣzfpjzy )$5;ohxыE8A'^mӶgEo:sI%`::zK0×&:W Y`SaذD /t-FOE=KQI>x✉tEu3\y;Xf?q D RAEȦ{e.'JQqFs2k5/ d׮@E t0c+.ָnhO-C,KQA2 E9.]Xj,MSC7,nuzA(HCך48bq7CG@AZfQ>NXCs#,5@` a==Rߌ=k/weTTmgLƏAO%: yղ5,e;߹E CKFߚ`$oEeji/6H4+43i:H8M>\]պ-zB>o# ͒Y Fj~ZAԡB4>(6Oޤ Xt=R#C|iDX b[`Z̞})7VŹ=v1!@5 M(E gEyL7ۂ-y /E |8cC\(SC?unu?A|IHų(5C/!HGɭ>m7V"i6q|"%X]JUC%Ј DO|Ы\;dT_#FI<1#3Hf˛h֩Pg5Q@K<*Kӑh OԝrEN5q1D}e;%mZ„)eum} SXUq7${Y 2!?¥{նeI ƨ*cxwjdN yUm;*fej1T_W|aqXksfWh^5 RHvs*kGZ J&XNx 9}RW}{GQxE`9AtSȁ=#]cRNJ_Qdi7qu'QӐԛ@R.Q_.99YLM/3$q5\CQ{F0ȚXs*'؄,V+^Cmؒ/k03xH8-&9s+}8⫯9*Zn^dOX(};O&Pvp8ax|Hun]R|uCY2McMm֮\sB.8;IW_]cKiQPvb5#R| e.#ů#h+sX\x7JMomEټ"Q# Sȏp"M+Ed<5T-{pa$ HY] Fmu(Ai|rq %X)}2>.z4 U+t(+wxβ7G'%<\v?B/@9DjR4rhN5XA K*9JLhxZ'MF}XǦv h ߻.I':dܬ.%}-c``@]btektjv~o鬇nnmLiT0fUs=`P{ںlɖD Nd O{|J*? }%d < ݎ3g϶FvuRVUI4P'x(h@v(evK(ayίqkAydXE=38.hL& %(nO߯ݝ\쉩̊<ɉV K O y.[憫<u!8NqAdIo#J%@ݫx!8_Ox=`Au؈KaRʣHcϭ"j(H:Ò #?2oڵ@1v\,w%H2*0Tx\X=zv0ZuZ]Xbx+@>K6m6d=Vo&a.d^l[?9CrNiN8jȇ^{(E׉Ijec5YU1E1fr8eYdgoxZ֒?2#͚0S`H)õ4WHU{ LYɢ!eр _lذӼ綃 ċfc0T<3-Q_ 6׆xmȺ騋f+'CS~Nh%36l #k;8b9# I[ZH ۭ= >`xJ[!usH^}n| ׏B̛/ZKLE06, #ce4{-] hA[XÌ6/[ |M mD'!=ޟANO\D"ȐWTfFDt"%/0+&Uݘ\O<4ۥ˙?_@`=N82)?,PR^W9d-7 9yK, N(Ubjh262O)2AHRB8T1Q <8e ~9B7dH=?yYAH7R+6B# (RuouכzV.ogZ]|:"BCœ;BȥZ2; v%C ^R2GB#.eMD>P(INC}}~/з }h/LJ j-P8W U4-pL;{@.7 u] tn.3ԡ謡,SYOq2#6VgA\˰S٥[G(R?2e.J$!>buQ]wDf H"04OD|G"*1` SK;Mӽ9fljM.uN|*ngըNa_Uk?4hB8 Y^'2mxxYUx_ yR}oae-6~-AԨ跟)EplF?42g:!);t#5* %4}J:8:3J"Oi1[0 LVdGεXK!TX֗@Ž™7Ħ(rcnGrpZn;'-hu5 G59 g6=wT&'RTnpIJ%"=TQ/ _b:J7T{0s '-b.@͎=)m2<8 _U GS0p![*WS.ێג88 YIζioiv*xO` o/u!/%E!kJ,_kڻHceB⥊7iyv}B&thq?((&9|\}梁ٸ~/pܒg4L(ZvdMd:kPh櫜6D *Mxs%+Wx} h셪͌P:?=7س#,=]g*Σ!ٺ K Ia:snBd`q.c_t.?jfϱ|,+g 🍺ƈyv lFHd2Xh5Y}1+=g4Kl"8h+ہL vϳSsb"nERs(6%JNt%shl0N`ҶՉ.bhbt%9uKuRem\𖂣+ (*>"K*3'9:K,ay 883/8\c%aAd ݹIZXb`=kT(WfϱQ3vG 7 )Dk?'5xY׸oow?-!~vN9:/@<Dc'ǖ L BgLЦu ERq&;1-4:OdblYF䨂 +ZLmuƫPSJB8pF7Oa. tdhZ'GNgSUK*cF pJTCmp!ҥ 'C(TBd#|Xkw$ÝB" JWF5Jq+[XϯX ?dIa d.({jԊEX9oqA12pz˘eȇ5ڙ3)C+usvM~r־BdgVQ{NQaU] 9Qs7/éM 4ɷY-/ -g[wm?A$͓uTBK{Ƣ^><~J)H$I`+ ރ%Pfe $`ç:8u}Ov6ĔrZkJ\wGUsnoLu)Zɮ!Swq_ "K63ZBg|dbB/԰>3"hL:,NNќMzP NG\)- AT$+ew5jbocng9NU+"<u-3Hj*_AB39Id>sEi:,n[LǖE?r=# gM}"#="- ;d$RH3!6LF qBєpSyt-#n:_xCRg,?lcR?vԼĐ QtBAJ'7<>:#xKpͥFC8q Kd$VJ&++2rn4_L)dLh].vJ[~7M8gV$4:: )p2nx{e`uD| ٓ,c^V4^H8ڄ39`vSp6PHEvvl{n"x"JQUޢau͌@EZ#Xht;=ngi/q|#+G`hFCn" e:\-/qB75Έ~*--{Άr]r?Y5eP EkW\pmua@Av a 8qcmʴN#9!Ǹ>DPFcF]gkKڀ!o.G$҆N0Ej2s|,Uyc9?Cxj,2ؑŝgXgE<.0 Q{.qf5ڤz9;uJCFWljs)Le12BC>"9n W5_eB\>vN$U{wW$G6Lz{]gWFCk Ci3yC*(31U\pg26Xb4~ln0RZ|hv2J #hx5"fv^!ų 1RkIpX첀Alp+;瀟z&a&ʉ#1 B:+K,R*F>n,>*C,83ymc4Sx_NYiٻ_>iwef\` и<03ѩ0BŔc7+Ĥ 4H[F,DJ%A)^?̑Xc oey}LjkPkw#4.|mS r T`Eun=πE-LZ었!h^+WTT-u1E"By:㙞++l;4 q">L5HT猵MB)H i 0a"~Hf||HLKЕ<,>+G/xn$70O@`Yީ$EM,Xo<yzVTQ'c*k=Bb8_l %_ظaÏ`SHCՁ܉bgOi6؉3V_GӀf/Sq8ȎNzSS`S.NfXN ,y/~э<&z qb>:4Eʠ6xoZB@IRo &ػ5I +aM)E5 _ !-dpj=ΒJ/MEְ KRkk4yuY˝yz DYh_VHh3' oSUzpM T^+މd( 9I@z%vf_5CJc$Iw]*w&2awM}lg_̽4&E#o~ t>|^"Nᅲ(5_/b&~8[jw<^Q$lU$pwCfߠT{&?p{P @נݓQi(2=l( )4|˺W\nGQp UϸB7]%I+8҅AbT㩡IozNt,,EӮOvO9%ਲ਼aCfJ Пč0Jx֋X7֬_a R7:{Irޛ$'f{#s?{ ng{;<$4 g*=mmQpĔև{=Սt+FA5hDZVMi[R@5/ј}m ц(Mv"st1j6߁TIWw5֎kHssR8chq\+AZkY tR^8 a |6șTuft ΜHr/‚E!r?b- s6W: kȢESir^4@"Xa>Q.}OR!ɪ0yٛWzjF!N|d bNX+0>!sBLE|LTxfF̟Ï]bua-s$SwRAiq1s,#bc]1=Dm-@\P{΃#wt? YZNl&m,ݺMO>˸M̘OXz)ZFt +S{4HT]E_t?\,Wd^Ȅ jd{/dFVg)UTWPkй6h'cz0jMS֘8-^x,:%›K@]N/GT#nC=`>~C\Gc?=G?ɇr;/!.UgԀxT9r /?=qR̶;`ˡ󺟉}eMfZCLNW^e9 fpxvXyE]`Q>o69>WGfs }i5=C m ڌ|uԣI1OFWv`fG,,_c?@ZYGLI($̳ % .ٓ:,]x3apѼ_28:i4b~^4'KDlGE0j^"5d1ǣ:Jr@KouH'Lp*Y.٦15%Ua}c~Z@G'֫xa*c 2W{8 #uCW, 3Qwi96M+ JS(?0zhюP5 Wq8sixeK4vsHPo3ggъCHLj;l^'giTX5~'i1B< p֌+_ڪIUgɱ4¡=E[6nxNh:Q'b?5hy&Kgǚi]Um0O1΂eI,_y86RRlx7MOqCRwb蓫+cviEj?5!/{z9EtT"M)[.F fO~qcn1VУՔE6N2 V!9XP yrG3y[yԾz*v-stAĭ̏.h̹+m9f 5(ޜL,2bx%a0PBf3&IP! D*Fo 9;f r. aMF&z}Y$L7U /":/Ъ搂g} ߪټ?3(Ǵ]} nNde0Wf~`tVx29CaD~z!ΔlzZqE&nmcs1^$ B6-'fw~3l͍(/UwsDpֹ/BOPnUe ukK\`۠OĬɨlkpV +zb:Czߕ?XkEaqqakcҧ5!D_3 Bvb4!jDG U*9傺6WBp;ȭ?f /2YvqdZ?I* ƨogqF\~'O<_a;BiKw~eL^H|RJKF}Ŧ^VƲ^e·78]|B%Ϸ<.,>.ӠanT 4p#)98C\5_\+z9ľN4&Qw]Y֭!^ |SQjIYHI3;=/ON)f̃+򊊓+ؘ0U.t a)CʽBOַ](nJ3jy[ř.ʻ>=)_~q-wPFNF1{_rB ɕ&OOZTW\$g6ʏD\NKE28H-ZB ]eV to?#$ z\ɸZZc;o\K -,/bPc#td~x{eK/z8)NcfV6hEF a꿦YW;*$0Dv$@\6O*ykAӶU9~<{@]!10NR Si$8'G0LhAxPsiܸ=9@ť#wlpa7s6@u`el=nD5tCM9N׬n^) Jmg;e/I9z$S)ydĽ`pJVCï]1~xcA޽Z_{V52z}8r4ec@rSiqȥTee;M!(ǜA 31ԯ 6t;/L<*Džԡi>΅Zeee^I]~SNOS F$owd N=6&4NgYZ$Z\¢Drc|sN-+©u.\$5,d?1¾Z,&Z_8N:2OT:]WAiy*ήUBޚ@+ft2WR>}C+o3M - ~EIzbW)YЛM 6!`j[jI6CSFzH[^5[D6R%bۻto3T(ުWҴG/Rv pF3! jn;z@YзdPg:2ϵOWpd'Ϣ]z rIx 0ƠCQo'n[pu+0t,CjZcpꨦed" 7x\8jP~mCfa$z-(Y,n6. fuۂ/b dHJ,dq~W@ >_b|'fY "ѯ@H0FH(׈r}\2%R榊334-UG$cGį?uWAyMD*j/I ڑOUְǙ[@KUɡÚ֯x|N ftrsA6Fi*B6EK~1Y  s%$I.]ڠ:p~Ejҏ^aDiV#5to`#Qd:6 %I):S> \f',KnALh3YN7֙=(*M1t xGRDGl,qڷCn^-`}]Yre u4x)D0Բ]UY3bEhIBiJ^\NZjBAfRΙ,qH⑪9g cB_(z82' RyU/߬v\E<,ъWIŴ#0w'2Tw>S0A@0{ϭV0!E$;k,p"42-krBmT'x㒀4n~w2Dk \혨|o-|AHI$t*kh^rv[ LI%UkL 'ْ-a!` HTf9TX290.ͲJ- &~d~@TXfbM9y@Vٻ&vYǂLF0sJIGy&y%} Ugl#&p;4e6KG W2={gɛ) ͕@KQ+> f s'va/*+dr^y;pjytˌxPXڴ[R+T7R6δbǛ G9Z-ԑj Ș!mcM9 >'Q^Y''8m1\`. 10U&\ֈ`W04V6J^F8U!7y|3##9/B@8}ufQruZjl|Icl&JT7$Rk6- &$:.d5CqR1ܭ8E:> `Q4"BJyzp-}t-h>o뻪p\<ӭIMMc#7F ]VVwqm($\Ub^oq`KmKs~{DIcup\J~!eVRtR;o2ԫP":=1Eȹ~}9Z||%LgEpBzǫ""DV>a"[.IWfQW4ҷlgQphCQƌoKNWc 5 m e蘳|ߦ /=mFJ SjY`"P3TƲoCKcGZ fs; tWHU(XOQ@rH\>GڵJ JsZ^3b9%@ݺ:㽑[o߻]2m̺X c.F8sKT/?%~l[__T\ dș?֏:ABiڕA̧!vwRz/gˡ`< lͮH9aI#n&{5MwvO@dLF~9v6-6;cdͤdvIYΖ iJ O6@-%'U>z/^q71 y=yiJȚ󏗷vEDKrts>`o/2?6./<ل&RS)ɖU0Xऍg>h S{1\ٞ8aJQWl3#oDk"uSpcܸni3f1-RIJOm_Z؞u=QwZ:4%iښ)*ݏ{`{h`7 ٠zˆ&e>Q+we`|8Ș 4C rE豺L_}n&΂d|W+bELXvhRSqmbq,+;cH #6ZbKY-Mr;Q3ert >,Bف2՜z]'99BJ-sʹ3"DZ8̬mLyQ.Waa)bS|# 0"':|0ڙb\X:C:?{ϊ@{gP(>"Z|]$L\vzڢ_JpmE/s^,NP;hm刂2L{ZŸrn~R*ub7gn21B`.vVl>.]d 9$T1b"\#Y_*ZGH4/=#~U.*hơWZa?@\ BgR(JjefO.=@o]le*߃ !2*ﯘ4` NM#S7h"A* <[k,S0/훿ބ3$y[lOu)ɽL":lX9 2vQf6-itTnMP+#"t/}ߛojkTjI* [0'{6(6,'0|A QV͞gMA;xj{N?lBC!h>&1uCI@j~<@~to JOY0˪.~ =EFBC)

Z\1b!uEZxÞwc6Dq47 7-">n2G#s~-$D<qE.zӡO8 z̃OWqO4>L9]懡y뛥-X&k_-^eu58a0\уWj n>L_NoC6|bV \HTD'!,rm+QA*wOkD=Lmi&UT%$ozBKj@Wz~]N@A&SNb i r* |~/ǟV˗1rXzM1s+x b',e" ]!|}rAo6F7_􌣆CnM<wVtJ's&و3Z6b ^~Eob…Jh_P21El?l6g['̀Ճ, ѐ^ ]n-vQބݣP=+͒ܕVy0Ɯ 3l9#pE[裌Q*@q~WcDXÜ0wIժ:G_0 Kq/k~w÷Xm[w#ynd&>2Z .VVmBxK?>R{N cj3ExkNʵrR2?>{^KcePp1`w3~ͫ΄DvrQz7!E;ɂ=} kB؆8IdU8jEĖC0=HY p#g[=o l}eZ>7#(}~ 0? _#tWbtr ;9ݦ >) ,RcI[ϜhɆz^QRT_ 5kn0}>afղ ,<.a;N"2@#,L5`@v~%FBL-p'2N܈r%̴\Kq fnax iG)B.ѯJ_ jQ! uٜlHpFz\d8 K}l+7V%6ٮ.Uދ*p\ VhwL9(x3K"ٱ854ԁPa7r(.TKag* O-z&d1~X3 >zr>y lVuMC{POf﫺zBJuML2(T{wۿ[%% {g`5l᧑~5Y}B<]?ˣod/s͒#OO !hr0zA iplJ8}V(xգ$'.a9a-rD 'U@k Bu淛oQNd:ؗ'2 :߻f'p&-3OrLWe[+s\ .К6eFS_ww' 7c½g|-"%}6v+!kٮP5}eznhs&?aXn`/65%b,B_ u*9#p}vP:4\d1YgmX._ՄhfpVEU}ɜ JP[MT4-"?Z΋^~P 2]Mъ "ײ,g MFr9ۂ Sݰ9@4Hx 8׻KlL:IHٴ+}PIlH TMOˆw1uP:G+G g}kv2$&F[pNmf+ _j*f =0'}4on+ P(wi}𫖜?>SR02<"7yӄ' !;9hƚc1R[p!$VcO+ DZ -۴<Uxl"rW<3`X/~CwΰKltGhE+rnˡ/fOߙ9}Q#VlD:xg`~ j_p=P9tBrO0L'm%a$͵RdE g~"P\=D~.dMyʥ I9osk.?<_>u]b'5&#<@y(cSPlwGA\E"b#d" Ѽgy+H n&A5ZdF=8=fi9PLD «?^ C@=ظJW [-bTKrHXW4˕פ*+ {Gc@UB }P{m-S?)a4 tq⍀.ծ(0 ."(&P# am+[`@kmu '1Wd\/b3mI8%l2^&7]F y%lLeEȐg;L*Ϙ!"d 1ѝS~JGmQQAy_Xke\ę:RLu:|C7Cl\w C)EQ!N(a;WѼ[At@@^ӈK!woj|iby/f7j}}gMidž*!?֬~S1Q^)l-"Mk$C0 ?nH1ULSx!e X"PAf# b1"w/=J sG$n翻mبbQHo~/'Ƃv8>K O\k1He=%[|;䵫-ӳvwxZZo(f@(tKlC{<\Lu-)TEk 3;e~KЫP֔Fb˝rւwoᨋˀ\L?vd*e nL^V%3+rA ~>:#H6iGܹ(9b4%V"NR,jJxe?򀝩_h=ypq 0 ιtXkDEpLt $: )9Mdb.(,Tc'jH(b^4Ƿ'((_7 !(}DD숵 d~i42As|(Zc/=ױOXz Cw2Y#⽱CbZWs.VWyZ_¤dDxoV6F:7㹇YR2ELX 2VO1;FInax2~cx&{Kr~fQFIml-v1#e3x.ΘxCW Ic Ox ;!^8%!Bf=Vh]KEeV̢fD5V;+D+I0:-Cn|ANJ%̣F;Q|O=>.Ҩw 6%LJ:r9RDI^WODn*Qv#GQ%P":>E!q{ |cl&p8@sVhu)J 3*b 2mj:]Q.ߘr赽?]s #g]D&ԤAS&b6Az~B"$]ΟwSBɖ)`N4m޵ĶȮmaIW'>nR>3=j$kB&y$٫Ex3S֌/_r.ۭ'ه~}DTL[ߖR܄xTkk3EM Ph7=}*{~nqކrx3wEFSt,CxP{$DtS%/YA [wϧ}͔/ڵ+y=J:>~wĔyOg*GW΅|`V&ԳYTA ^r[wbg,U*2F(jUeñ@WR;ٲk Z@%?2D(pj H 2yLv48 |KˉOrvZˈ[ cS~wf^[魓6nFN9ӠS2~WLgKc4b(q`[};]H/^b&s΍jÏX֝Qw*=v*wd:3q4pZ|oWE]Kʷb4-DSwUǵŪWHzʫ(!6,$PR])qQ<ny{8uF2!{^eX@_IQSZ]L??qYØ-~M҈ޅ" <] :z7M.HOuztTc./1i[%B=tsA rq\oZ㦑]c_AaQ%{@<<ϰq8Ǻ*+nkY+]= w?j VIF]dC̭Nh k+"v$7_d+ En<=p+fNCN-Uů$*JB!1·Ɨ=0KazKnDNx5<Br\Ar4^q""kHq OJ˱gYZ'7܍DA.E*/B\.2*ΫaZ4QgTaPh>GРŠYxVo%/P>ju?ُ6{Hw.{zklXwv|VbRw/~/l;ܕ#*r1{RbrxQ] \bd6~`ӟ*Bg+d.κg%mYiTO{]Re$u-|Z}hD46@X'aLow+mjG"W"Hκ7%>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 -95EfoLRN |md2Ւ꙾b|͋Za8LOUp] EiswǖYi) r ݬDn1r<$oH8SnS$sҬBj kU'q0X860kȐd՜˴70D0%֜Tۺs*cU-aXַv2y$fxlZ#}#xn ( [1KNmAs|Ӈ;dwթ::d_eaF<VБ`3'Mۗ#s?g\xa'-LLJ=#xV#bwbvl")0NdǙi k|X3;Qt\'QVc4aѬ ѫ-FU꾶7`F6sf p$ؖ Pod%6|tYihILj.4HH!|ȹ1,7hh%(BF#5҆"hU?LCSDbo;V‰uKVEwg2%ϖmsmv7r B8+K7T! 5>^NyE1mBQR` Dhӛ_ڎ$6x5GU@g1v,Wd*\2sGƥ7Q ;^Ra4~ؒQ/>-չ2$T"$opҼ HzYo'jL 5/`` )жtjc{@/E9j4Q̉Cd ]BpYX/^9鿪ZP[&S9!, v=!;oX"JzyRL}$ gSi|(|5+WT=2G:PfÙ. 8^XSDv]/WόxkyC*r֠eHM!Кx'$" =f:4$[7̧]T7N:?XWh9u*=TC*/!J`/us!]&R6S?7Xz+_XA+vAe5J\0Ao9哄 O3OUiJS͒~D؃qf˺O7Qm!o3[dVrrYQ]6MS;\Y6im| -' B?I&ڍ}\r ]kM=_[0Q?P9"E` X76e0k~L`j4\{XB* bII.5(\*njh4}n:)OhuH 1,btQ(g% |0<,~c_ȾOcy%z` pD{{&< (_=!e2ͤu4jI Jb S_$B4[>F>?0 ZvlMk-q[JCdt~E gɂ?Tdo>ŷ?FDXs0;H'+cr3(SP9ϣ;k>#r<"[8"Z3B7BkU&7'ٖ:L[ ;l0(%Vlj{#߂UeHaQ R,3tc_7 a>L7ijTގzvUgWRa0"ڎI\:_:L hp8袦sGGA]X*)[oeL$e9Ѭ532H-Jz>]{NnkkHg߶p@bFD>znsbHKf5?т)8us,7y8mT$%*&-Q!e*lV CrjUD^Y\T۹(ϔq Y,Щwہ3V?~X.xIdRq&˱c / ?\ݎEU ;HKڃe^.6P: L"2  7loWE'z3H][^S WD k+YKc#mJerf궽U^YIX271P* #Ϡyt`$xՔ]\*}S_ Bo*ZA&Z/ 6$1s!\v1BY.cSǷ@D e̻riƟҕE!Xkm_ ž#&ȃUq55PaZw,9=( ZYk_Oap*ĖB:qURœs.Y|I[V3Q~I 2߬.b3bB^ń~㼿}De2 d@_~~'Qq&R}9?~| "zgk^Vƻk=Geӝkߤ*?^ɨ ._ 2My嬉џuR'CdߝGzk[yUIʶ>%y;b2["OZ=;Y0_@˦(ܧt .c<:w7qMj&XqgOސ рY;- YRzH0>im/mJo E wCIJa~E ;SytL؂ 6lV?' @~eu3G92>LS)|;|^uh/ȌsWo ̳J{4FFrw#vla$n8TLT_Zdfr{ +Mi 4{D{*4y"wO(bjfՆ+ BfrFxԓG;qMm mtmYz$LaN^lFOM)#f.;(=MYA /5\v0q0I zm> fʲ0Tf׮Lfy͉*,TYH}[BA 2J+VeVJݯlҩOy2+5)D_ܷ>PZԜ8u 8W=!~⭕j?RS=|Lc9zk؊1F<.į.{E<(3x;oG )] &, ޝT!8ljp[%HhPdqȪc2ʾn;dLYsrdn7G"cq t:.FRVX!*5 r+V})4i'x-uWz${!.߯`R(B& 7(a[n&>2'J.}WNic9gڟh\W$Zf#Nw{-TnSV3kD{q^{2iTB4/fZ#Y B}J~~T;Õ0V 3 U7dvd\ۍ[$it[ ^P ሂ,u"LҼkgHG'6#XԶ&K:˱#8Ʒ.c{w6܁ 4FNexDy"'w| 6 gAu1-~c~{1}A'u VH׸9!Hd#f|$HMT>h;%LŁj=Y{ݟYUI@fzITE:~и7tU~J=/'{(lS6+<螝C>KiIU|A lfc*ǢhXXVq d2DOq98,O,ñH߻9.0ޥ`b!чDr2FhXd cYlVl[-c"@4;˩^#k=Вt 243$k{PQPk<3ˎ|]K.T uw!$YE PxY8ph0QVq߄s36y=v56'xbi1$zp_· 7Gi\-Q)G x|)08Gax?<y;~`ڿGe'iX3a&kcsu=OaTs:bjqS"M;T"U}@~e'AeBV^h?C_+S؊*3-Yn1ڏ4$掋 ߹cE%|y QxW{5&w|fpsإ,PPVq&`R<\C~`vL@ۿP`p!w$&!< !۵tZRJ~P2' +TD2A,ʺm$I8RM,04{@>oVC4Y|&h$_2Ά!H XHX>VTH!ad sHwFz^+P E Ң_ ]dcc+ k> =3 ~ak]gfPxXQJz>yyMZȁhyelo!MnE@ FC|Tum 91 gYcЃWu2e[\j 3bJ<*U72.)g4ߊ,φdJ&`nsÎj.tU+y<ݰsp Ί0 h=9BY^Q\!6DBH=Ƕz BbWfq/ +;4lQ4߯k"*h{?6XFk*.#\[UlOF,2E22u( hivUfYnZ7sZ㔀\B1)2 WjT ZZxm 'C@AD YC+!s5Ϧ]BoHH.#3J^Bw BOؓHcMϓ+3ʑf/lu%^%UxAo85t6ew۔|1~cS&:ƿF^{ &&sDB~Y##J?R%6M^<MS.͂ 7: K{wa 2_£&Wb;g)`UoT76uv/29:ufp$!q7[_]R~u7D3'6ˤ`D d~GXV1| +Z#:%i9WpsTWU:{uq0 6= ¯] (>9" ǵQL%ݪ^8T8 T&ˠ߷`[txn'm ;I؉ma⮇ oIj~yI]?k.ߋ"P ]9062a@ .eG5l:JwM!Ŕ ;0rk'dݤhe{ _SM-B>=.5N-7׸/|&s_X!7LoE&EYjJ4< 4"#U:se^2# \؟q2aIt[";pL6E:~)̐Rjs-jIveggԕJXwԍJN/raQ<=)ٹ\ވ{w{_kI7'F--9C^{Ye),\mӕ>yI(W[c%(*"X5Wĵ-X%5F(;᧓5Y$kF0%K PHgd^\vjQu;.9Ngᶐs`m}=1M7tV *ka=x~pw7Ɏulv* (y2󶢺a(HJoHje #R$9H~s^=UЩ컜 QR/+{ _l+h1#P˩W{ s:K NSgY*åQf|k3zfnpQڙЈF9&ŅYkj)JTC͔GJ0m밷L+jAg_-+Pᦃ21s[_8Y~lsO}ƥ 2($2:EkPSn `p~`$4ff.onuP* =v&(2Ƽ;L/yáhmH{qow} &ѽyU:@x'J-_\H?l.<~'S msp4L*z|ԁ)Ja}\=f{"*jPH.Bm'˸ZlupmFHd/' DAB8p^5=:'3ht rZT$ %g ;gYZ  d?S% 4Nested_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'D6\CfJA<"χC' nta 3X &zG[lw[:GX VɣX#ogfD&kV3; kth.qQ8";8"e71c |Q%yMhBSp]8=܊-k0LRW;8= ?ie,pJQ/fnb*B&= xMmOMcS[ <į"L-01աɯ=ˠokle#`͹ItTlIlGu@*y}ObBl"Z&jOUxRa*$evǜuveK9S x{~'~dz_`BR/Žo(1U_A-`uᐽ .cĸ&8IbSIh|yPűQ[&]oʦ3Nw݇3+"xsQr & `"i1BGᏴu=cLm"Tv.E_Vd#{% ƫ٘,,JX,T75g|+}#!v]${m!z`$G+"zȬL@#: *B <@s5%{ l=iwxH)ZLjm?`$>4~9/@n2oszI3tԊLRtX(Z0$Y^-k8Al^qz"Ț;׬V7c@oG%r cѝcVqRy6&+^tZ ߒQI:wr.x9eUxO26Kj|꓈ؾER6!`ĬUUo%<[#$,bRy{/%ɍSv mMc}x}?M,  S q]|d(gN, MF\Ǥe_ !zcż a߬ 7=\qYݲK+2>Q(gMD`*0q*ixUn|Ԁh[i-Z>5sÁ{9V;Z6I$נJkhOQ8ȓ CZ6s\ħ$L+ck/RR{0DMq!Izcba7SH Fd-$ݲAuU}_9pc51CIoI\b.Z:**7釚 \ ~Kfx!s?R!ʋ H`&9V\`F]5)y -' 45cs䚃uب:x: bjDB.T-ζ* np~vtjDz~ Fg<ȵ7P͢bBn^4k3/~xUFg֑YfH:U@ g׼/ERʲk'j[-{^àihiZ0tpdYp/l:cټdnPt;koIi*G;b/u#x-.M}&6A 'Ua-Yu! 1Sy3 6Ɔ\'YWgv/Vs I^=ibZ+om]@N9f|t7ԍ=y'gN7k5avr﮹moTͱOiO.ɟnu">x'ڶXujC~5''PZ`x}CO4`*f0vhgifCݲmB̑9Ho>vfg y29bĖQb":&œ?04U uO+3iՐ9UZTኯxw]\{m<λ߶vx߉^ [*?_% dNested_Multisets_OrdinalsNested_Multisets_Ordinals.Signed_Multisetdocument.tex7zXZִF! 3l]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%}fk.8<9?HE ܆/sQ҅4o8h4hA saP!Uv\?Rz="5C$b^u ľyp#L- ^y }jS> DžV3̴4۳am[moY\8 +Ų^c U+0Pwq+SY4^wQ/iTXTl0c8dwUts-"Ѥ5!THf^Lc(k6eP6 KSB.kV`j "'BX+TT ~r\jY*źSMDUVz!&?.yS& >EXi9Ni^ fw(ƥ*XyT5WYwn٧I*QSɚ Z},a,+&7fS+1wR;u#ϣ䚙Ufd=Ljjю Ȧ=!? >ld´ߦTb@q̈:x<[ΖhIl| c &.v-y8shn{jE"-nYc& Z@ w 3w|:ak}n>|>H(^V->d%Ptg:%18݇j&6]XFim IH!%cXbW+mzHCXmX{vu1ל~# &(Y~gLl|"FEfۻpT̄fH2 >jU9_*W- {FH΢\::Df[ [=&PIt[Ŭ !Ј&)%({Oa9c#Pv) v o8@/^'S>I-bxJf{N4sQe"iyƵkh3\B)S}!+sٸWUzܖ2Fyr}o0B.sJJ2[L:eT{s@n.TXE\\"EqhW,aÜ tb /Ǩj~b/9Q$ٌl#]NkN+Q8F 2"2 fuz hڢd: q l2~sFBw&~A^lWs4:Y ৆ZG6t&Cϳ=#7}ߑݐ'I%w7:sOvK.B+^ zėb9=8CY7sQYwoowz1H޳bK/vID'R`eL1ķUx!RE =k5b-7ʝ  Ȕ^]7S1]qʠg2[XS.(0t"?Oy+KL`@R JU@u#{ ZO7 >0A bi&:zhu^#:qL8j ~`YHz~!M?#v Iaݨk,N20IX a[ݛis2)8n6W#!!/炋d_䊿M H ɺʍMeѲ{A a!ciĕa+vچ$wM]&OGm hj>?¥‚/G,fNM)1k=RXoWOoZhփH3@W'U+KJm 32s2sZay칖Br3Q_c\͋}s ZM 5|Lq31GUD j*BIٝ."eLLR 4_y!fopP`4Fu"R)yeZyZDeը [TG4@YY '{( r1`쌠U1['A?6ŔDaփo@oyW0UI~$+EnH={+ ԶPjۨM[`կŧ6c'CmmƗ*9j8lKbw A.֫,&?Syd]INth79(P*AhuٻC(S(5LT9گq^ҏ阙]f9Sp poy1㺁P.0$הD_m7!`W,r|hU yh e:mN&~#'zˆ&y[4n1> 2?{F1]5 ~u}1yݣ,VJl4# px>00y+}T_it(5PE)wêxz_]7 Jf_n_St!˘ejR` "9O.kYc*']lZNPNEx$V2/cI;s @*sk} )e5vuD{+}9^ʷxP= 2@*˜ޝ_~qj SMȿ@,Э) aMH?N>(PIL;xZa.58:%0^('TwhpmVJqHcwpAlF |0nc֒Y<(痖,"R >Zٟ voɩ ̨jz".r6MyPqmeF#QMJsRSNոSrS(J+{;G8G8z Xٜ{Iwg6funlYNč糪Ao΢j_LX-ySWjw!ݭ -\ʹe[c -R1D֭t%<4_N`̻f/i5y+FGOxc8SαC'Xkf_ S,iLi (|<D9s&4",^%LN5E D,֋0;g(Cz FTŁB,R"x(iLu?.z='8KAq┆}0ߥm䥞֯mDR,ݑ俬'}[r?ث=HDH0>Wa %OLb|MB'+Gmz > _^n֑AID+ـBL]!DrЕSw`-)N )Hw)mXי_Q((æn=nq7Pzܷ9}##ۿ_$Bi[ԝ>t s2B}`cG6(M;U ycZwf1=icIQDT! 1fFWfEm I:H#59oXJwYʉ\hTCk13s!.tj"VQKoN^8xr;gwK B>6, -nNDk[EeȦg>^ yБ $t 56=c0 D% `g%^)uKӞXlX}/%8bJmʛa}f*dUL|m;x bظu=5HkhgY,*Sp͓!ܛ7CY Z5 -f;ϳ}4jf&}D~Vÿ{{3 K D&t?7GnsT뛀+N-Dy݂a~I $P (cr%,H54aI9^*84<}4eKvHFa*Mrf[Q4[v \:*F;I3 zN~1F8XGLO9V1a롱 M(=r-79To{p6S-|g*imgz[ei |×^ u6t7qw90ZhOOdRY7Jt}y:aL-!S4B=Co(Uz^hnLpa a 5$mh  ~x6N^QEl-}jV.)(?4mrcKpnJs nI7uDd$` D'*2>'?3'$q5B5L=z66_YcfJӪ%d4(v ?#Ǚ]Ö]+%\΅2cբV7(Rz vKE%:R@/y(L͜}} N}Hb4bᰞ־. ~ !_-SY0 `)"݌Aeitv+ӄ*bh͡IRهLKjDo(kN0c=]kpL8W\vYF.9lWyIq$h vAWT9l:>ٶHrc!*=`Ǒ?2=VGj X™" i.ͨXI 4IXsql +:O͋cˑM<4łlb4bL"2*#4^1 *#U,2~X•n|,]Gª@c(|)s|pWDFу^t=@IۄcWa^?zlG +I{TœڽQSiJ; HN3v]34꺴<Իݖ`R~!|| S&RVt gq0&v>SD],whzd0cNzb`k+76ٝ~$T `JAaExp^$⿗0;ĶؗUZ8 \wQe[]R@RKv.^q8#v}ڎ9FH;[r8}TszU ؋Ɩ]RTPox>F\&|,VPPR'e.E&hIc\m~&Kx?I[?qh܉C,\7s{,ޡyCBy"1Ncܟ4:c0#$W,,`9?ڀu"| #8ܢ &dYvU[Z_v[IdEy>hЌ~Mo %:eP O݆r<џiy\%]ۭ ,ul{O4f˂[5E^>{&SJUH)x!~Y!r)SIA>&5PEm]?ƫ#a3%_D;<_k3D,S\FJ+ w*iRVkulE-q[$GӜoZ﫨M6 F̗IeS[Ìm}"+H)qM(Y\POŐUM|w,4'Cc:! qj6^N()i NۊC6FsQnwgYZ-3W8_)eҳB_Ф3P4?$8::{?Tiq.㒌6VEP}'Ԭ^cn/#S8!-|n#z>}>/;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>~rt.;$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=Mz1pIjSAzl_C|*JN/N"}w(RCC -4=B;? $ud3|>Z(,~?Q=GyX2|{ZU4콀`|(P J*b Zܤagf1:T1+W&(Vc$^l'in%(wEiBSij@K %}L=%)গ\ښN$Dhi7LTzbǓFqⁱR|/P/zjOmXhotQ$«'n)RKS l+ 1^czc[aZ LdC=PPBZuZ%;"^kL1fd_U!ߝPc >RĀ׭b[75SC ~bKeAX18G$'?&×2u drʼnArm+UI!Ry-5>.Ns f ݭq`ͳf*Xq8qz<-dK56gH6gt.IyD9 Vl`F1#/Fn˶%ۖ:`*GnyM;sn2͕|J QM epA2p.s A27)da<0/.Q,QV%?*eLEQ o qIl0gDI5Td[A͙njJM=%#Znhe к!tȦ)^گ<PNA,Kh)6p'ZG"5ʌ:ԁmFf@aX"Bh=:Ӝc6C.'fSڶ9Ydh`lۤ6c soseYlbQ1OI%dI.0h֟5rpg=ɰb-GMʛKXs9ptn~6B/>:qV]2,Du $NR%C/@=֟cAkl~̝N]ڽ1Mv*(ƶooPz\mP{H&pj;Vʭ%|&~Lq!߮Ϋ4Rd x68s $%d/{ m;O(@M4Mn@?y%%Ǖ|\hh{!mZ^&AX$mڿ?bdU6Hj5ZmJ}a| gT7MS"ĝ8.MjZP7W(+ ODD&V͸evRe`Acu  KoCX#,h{BR#saAj'r K*U(,B^"wfd{+ m!~d(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 <:+ dgt7=LwphRy~Q#S[MAۄd- >:ɘ0AAƉ(:*~߈۷#(#޶n#0[F&Onsͨ!`5,rSc0A4S~m&H"T֮|ު|t>w=+&r * '*] m81rVj:^Me7/+F#E!Y*op-_7*(Z& /{Ge-4.%ç)kH]&9jMVq\5ta0)er8r _xxY+."=\:<}sX8EI̫\) *a:d$pY؛5%~ t 8!5aSEheVS9_|S6T5{"3ۈuGYdoPeE}`60?Nԩi[Rsۘ槐\z,< -+t&a:fNP gb3ӓ!r @FaZ==q_um h:Ml9yɻ)3 )l]0є\fCx_hFU\&9O曏7~&RԄ+0"70fҮov{6PM<p?Ȗ]ѰK']Z%]onssĉ@XkhhE5+dnt&Iߞ j}TB I#T\y-Aڴ5!i{eͻbm%!$hKL#]k'ƼƎhҩNP>C7*9ϘOZ`TSh`V-}wR7\fT`TCQaRJvlV㾪\JƱ6*d#RK cZJ2sZw|}"hJ85wPPZ~!1%#qZ뵩j^Vg ]_Zu[S :ْB0=١6a@Ve =粌,: _fsƌsx5qT+ _dCI 5M#X)?͡-ּ8q~`EC @J}1Taڌiea s[K\5%)Ձ++ 4S醵Q %N-Ԋz;ƈ=T)jV]v(wf#]Tc@EM!HY$!ֈfpgk;5dMJy%e,s[ZbS8;IHK ud+gZy*Q\Ğ7G2a&"nrb u ExJd{^dԋ[;k(FHyY\<4(eE۟] G,XbFuFX.ԡruх7}*yNa%@}.lFi8 }a0t@ =LK/ y4Qӓ:؜U MZ>3298_lZO7oWlpOܮDPhݷ|mҷ碁#pcטbw|g4fIdZgXy5Aow"J2)}!gz-Jcyk-(@0 m`$Ҟ¢3eٞf5L7vQ 1OKYb3}Adtk{q\!U\>VfUŒ"`[7}?C?n74̌>7Dqɓ.?q\B$H-muW\fCʥXum~G⦉@g]*y3 +[Nd4?DS(!*6odV1Ag2,Tbɉp_XnJDy5[݈k=me֟uMKKnDRJ)./I:,T)kQ22I8elʤ4{ʳa/9տ L׳K[ߌ7,gXNlkx,KPP0 5.^YNh \6ajMmqDJ˺Rv{\ORk(|:L /9gtK:Z=h!ekӣ޾|{ (u'#"5ѭóqykyF$ )4Z‚׭T㫭)JRGM2aKUJr(zHaJ=$~-  Zdu6L麗l`Eԫ&3cbjU8#19wP/礪17LfVeQ[T†W{-( ~Pvxp1oiaFIA p_mIŷ9%e[:Qx$1Z?:dvZ^YQ~$hWãݳG˜SĮ2xIjE"uc@\@ZU=L<)I`aхJ^^⅙w0 Ad.mh/D| R,tjʱa<%D3g= :\H(>;RY,RAD:dEUirV$%& '^akLSl^3)NSvP1CڀiF/GdfP^b?MpQu%YYGJ;M5MLcxH?|N*pL~|?z]X_L{ v[’х.44^C;t(@8=߬ҷ!^SS?~H)zlJj[[k`, d"@`Q;S"~RB0I[J-Ӑ \b>CX eXN1|c{Ԗ Z!0'Umh flօ^.T8cTlK_`${i`DrR"} =slPU-_I۩*)ѯP~OvWs@<^רOu^ti1TbޯŘ-e)h:$ٹ ӻe+Ɏ6.Dݗrw|EbߡҁS=r lZYF?@lՠG0p26$@:l3RXCE2GR'^Ka"VƔ.s؍[("LW] j.r'S'(H1ӨLGek]`*r-aztKW5yLە(ABAR Ãu'tKq8EFw2NHXS[hMSr9P4vk)tpiVEl;SZ;wbcc8 <16qelV鑜:_؜=*B߷.WT{);0){ RUlt31OXx$МwF$Ji8 5a|K^Gz68Ď4%\W@ SFP|D~nQSA޻ع )]6X:q5ڬ ,drY*elÐ$' q &=LZ&QɣRNȥ&nE2wZ|:!Mw>(ݔaB%BvR*EKlAFp0'0?OɛCk4m$>ke$qĹ0C:lټeۙ;67rmj@rJ%g)R 6̎iq  Jt6n<ABߎtzi? <+V]zs-$$* ZA88`"wU y}cq֐{dCq/Ml'|܃;5lae'cj.hn⚞&:!XG97VZFx,4/$D/ !*.a!(_?V0Jvh@ug[T. o`}XLi#tY^=Xl7wFH2 ɽ"/J>>@KH#_xл| `dt@b?9 cB90 MUNx/)|3]gFc ' 1[&W̩&EM!=``4D3y΢2,c`/h@qB}| '곎"oآ)|$%w+6- }yr~G+/hǪw,SRvSė ;":n}'EԋJ̨ˮ Ld66܆%n_#Pv_[R$jT&Z! k%"g\.߶ײz3av_4.Q%jM_McW56Djjr~ &ZxbWKS oNig|~5]ٚ=ɓkovC˯ n$ͻ= zz#|I .,~z1|7N0^"^ 8*}YX6Zmi]eԼ fi_&dmS4s gYZ Q ?=% $Nested_Multisets_OrdinalsHOL-Library.Extended_Natdocument.tex7zXZִF! )]A-MՋhvG"uIBm5惒TP.uazC8Lƥ ,A4~wTe\+a>S52CNf \? 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 TK/3t)-:K1 IJ5&0Q'Žy n]'%^ 2SVK,I]V-( pΌ XFl]A]B¦ ʇ'hMϴP#v }`8|Z,z̸R>ܢ(eYJQc@U f1,w}@ã[X}6@p(20E楻vG*xy?L[j9*!i'}#j>k i;0jFEћ} IǹpDZaNXO~D6%O9[6Y `]HJH`+劑@6 ^\{F2k}Iqgw1w}~GY@+Hֿ Ra8 GWԴ1~;/e0VZPac!L;JqODf nޏu'_7"%GC3=r齇J~ }Jfgn×]uIvޅIdggOi4@|"V_CV<ņ@K4P/m9N&vH{рk$vl"Vp_?znWB'!e1-o.b¹f8 Iޏ[=Vǡ{Bv Olw`mcDÐ7q|Pꍆ#(c(Tݴu8͗)K^-O}NIr:ҌD\2E sFR!hhB?w͒!CրOjA [WǀF!m~}0y UytXOl65yX-^3oCyiv 3!nZOG 5OU>-,R0$<~L7 4lLe3|oUI :b7#5_PԾLZ ?փ*x+1"~1\QRfu!>}sQuWh! aZe2Q|Gav&k3Q˵TOpȢwv:0so?Sy$k5:Cr[gqukIMpΔe`mC&]Em;Ti6>Y|i ^BR˼9U 8!C)A_Q3P.%呔Ii+{Ѽ8M6V?sA:s5\aL9Ò0\*lā1m QۙBIvR;֯nji["Ws }Á2}ג_ Bnq+y&%{F=У`ü S5Jxc\U8ջCKnQ?Xe+H9171l J$ĽH $-b,;rwe$/pOmxwL c0tyP2˂.Og}P3;t<$ R -$AL{`[OQ l1Id R( _OJRj,xzB+AeK<4$u@:BXE5]8ɖx,n"ӿA`{$K}bIj̪S]D*$YR>Ͽ9XΡMW;.|1fv,Nv>B՛>N4`+sX, 4!A3<_W NJ$`ΕUw[*^ ;Bwd")q³_I!+jP(1=-%l k^=Ln/?AKv.v;pRl Or(~Uތ:RW~>7Qr@Yz؀xǔy~Z UJt0v"i| VG[ׯ"=$&Ʌ+|}C@3-+=ˆLެp3~K&ޔֺi&D_uRd5=Kt !ZwKjS*5Qԥ&}>,[v_&-fT8qYλAc_C?ʩW1Y-GUM]!px w>mhpI\&ϥ/I.F}݈ާ=7vX{l/,]v]F'D7:]pbNbg,/k;`Sw^K Iuɔ,nzaC#iuLhͼ |lzrK߭mb6åk6#{ihEfA ;-[56)v7q {zPd?jw!32*}2]6'AqU}u,inCI <MWFwٛͲFjg$Xָ|1MH"3N4廿M5t z`N 8v'۠@B?D `nBoIsYaLJO9M]ϕ;Jng1a<RAJfZ̜R IJr 帍}m'O3;P jrPS?KhLJ c6=Gz2%'>y- W FP¡hY-H[`bS#(Ny52_H  [uoIHG:8tY"ø~`ZV(L y?{ULo7>/qX-SNUިeαN&ć0˜ndD?Y"0F~W]i3/D0N_RS i7#m+ϓcs兂'2S| bI#[S`AIzu>AVo0ޡ Zhm3 Bd\U1\aD&l UK6cIΐr~ӈ`d}kw^x]^NP{ F<.ݿW8'!JJ%Kh JS6E-tlڲĻ   # U/9Saa˜^+ 8]HBm7spC}@M5a!=?aAr^Grjnyq~Y,I^:X!؊RԲ˵Q<9 qx*_{A p&0qZaS&E_KwʵȬec&N@C/XMeU^q3vXU_ S)ےT&g՜EO' 7u(\\:fAu )p;jdt41+|ȧ{i dd\߀dsO˭fd0]&V퟉ᝐRob%/bA`8ҽ5[hhѯ&O݌:pLr"x)"|qX{j7+\>rv&BY72BTbǺ6$|d152Jkgs{ ӣb6H/$CMtõFR-3D9&ݏ}0K~ぃa4MjP̜5v쉀d voNj1 ZDl[gR*8/mG3_PP1mVc-wYΐFܨ"O'&ޠ}jOV^YC4qb |#Va܄+lq]^IzO0*[k*aI 'F^l*#1kK0nzyx(К(g- uNp4Ik0.Io_.:o4TZv8Fk!{ "Dsb~Kg?;Q}yY[]Vf&6#Q  Po߭"n!?fT{F;` N>剷}RHv]SP(ts;-.СPjN0'Gfi7/3puqB}A@)]e- 킔iKXuQ¿5v:9< -)Kb2$jZ7/E2_+]&fxZ̵Mfdn(HFC{B)r^:͢sSbp3զaē h7YJ #E45 s} xش2h#PX!74 hWs6dx$glK|/8;\0a'WydgF+ 'N5>:Sr 7ccE^+jDpD;r+Y@/k GSWr0}OUfv0-tكN$Qֽokv,Y,40VO@04VHR}m2f#!*:L%Jm >eNduo:E ZD7UjLi0ξSCGd̙㿔8(Mi rVۈyi2*OBVt|H5@qٱ Xu}7Ѧ~)9H7iyc6%J >ќ F{5_ZSk9^I#ۗsM c~E"9&(i#Ju fм5!>&K:1fd[3Kp7~/<ۿ5 Ca9+$gdՖE0Kji۰ +B#*jWgG>Z\N_B>-tUQ J͂n٤gHiO;&0]l%bM}sMt+l2CS îee)ZꑚZ}i$\ҁHY'FMR⎊+ҁ~P0*>7o% ̇*ԂT5١ EyXiv=ֹf3,k*ʨQ:~5!n.BPO9yӤ獿{IIlTM/ɘda+?[OX‰yljW𪝫5xPUEEے =drn t󂌎lw-hj``bR Cvt+#GPi/buw3 ,xQKiDwX̤FڇcҨ(6)Fs-t÷.FWh(zӖ^"gW߇??B2 M'waB#W*vPJ!~9ҽ͝pζKgo~QCK !wÓ9$;7 wlb>A@n2)P]1 Nm LgDPgBXT]5~XR@Lv*н6M*7nSeSYB ӱ ൧Kw- M-j*MduW0¦A>}:E6; ~?WCZ[u rn#e Y_ԶPr"br#PRHċ [ ZPű Cy^M{m)Y GxY2]n@R 9Qq8@9dQp Cfzkb,.xvf IN< @@ !CG%'(9Otkz5I|JE@dt]8> jJщehz-y; //-Qd/}R GLN!dgYZ  ^ ?7% DNested_Multisets_OrdinalsList-Index.List_Indexdocument.tex7zXZִF! ᪺!Z]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|i5e ?e% $Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Goodstein_Sequencedocument.tex7zXZִF! 'J]A-MՋhvG"uIBm57a|4NոT/UmDټ~|.:sY#N@/٩Ptp}"qGLêlGBY*pl~UI ۾ >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>GPP,J!#`O҆bQ H"3òWyh%;^:RI9Z 펟(jb<\buoI楐V8!RUUL CdTĎϵq+jçƪWݲ@ZPPKV¤2oVb\KBH̪"`^@^6Y/YW_W5%+ Nߞ;8GM )PP+f#$VXF2e bc͇f_I;LYD:ȳY8U6mľ8K Fd1O-3-q$u8&=[s2gC.m GlK޵oR`. Ɗ'oUG|KJ?" jrOӑOΨ[F 2[ͻ?3Yjpԩx`.TcqIiI$L]?\jH]#tȕ]D1F&@o9Pkêdu_ IF 2i[D8O%1 z;w ԙ#R AnrEO5_o{D+SI}$́YB֮H4~mj 3SG|%UN:w~(1\;5Sg˜Q߇Q>zOUpFj\ /^溘}}yrK EN$)MjHYf[s`WBq *G $d .;wFdBr,7ISLr;tHC^ ^"P~3/5!m?!o!΀Dcr ZȇV Y fCć. MD ~C w~OwX%hқ+˘SL6tv0%IQ4&5.M. ~W ᤼Np"JR7&I/JAR~]}P& !*c:}=@ne F9 " {k! vy;lK\({nj=Bpqc7:fDD8)4'J􍖘fd2K9y%XHs'mdV->AFj޽w BVZ$6,g0B+'{ԶYEWʹXwOzOcT!>gt›fBg%/wX@T 6]dK{6+$vv?z^{GqPKh"RH"a&ٸ/⻙ݡNԪGM%; :8ʥ7"̙p- xUrUE](b/uDf \:Ԇt@iُ=n5F8+ĥL6"+ۭtZi]P"„O3zMo%v/VYS]d')\FԫQ&ji.*1mPu! O{iQa E6`~N@G؋DBErP4XᑧoQJ Ɇ <FGJhOgwƢ^AW"}onSiڨ`WHvg7a?,K)OLi I޴zM&<qK@-maVhP ]!.MU:/*`M~oV>7wXaMihU\bUK ]h$ژ{Ii_,~)Yw"&!/ h?1O 3Q$:x"Wӓ4R5\!;ygAх2  ov6֐cBNʝ084ݔo|֦1a&73Tf ӳ?}_< f 9g!e=N/ۙvAu {r!)'KinTȫdÐ.5Ke\Z//6ɇCE(awC"g"4<[ۏ:zkp0UyɶOۥ$ƹGߞ;3tKDЃ~5@oeC8?% n** 9jJS"׻!a*Tl$>AnGܓ{o]J~gTE1uEܚίO^tR8τ6 (Vq<5.'PCV"d440V' -ϔ89r@]l+paUsMvipvx Mk܂Osm,c|PI }.Q~ yhE_ XQx|YφoxK\Qѯ,QEy!*Ω@yH3oâ\mޜٗ ?47nZCί6oQv%2%[)k߯u2V:Y t{n1BXRȀ.Xxe0 mꑎ@@d(v N*yANq1Y[뛰?y3aUJ"F&V`° E^O1y(I@L ɺ L4}˜"dlp%ngcUL/,Sy1,{F/ÕxGA k(?>|,[V@T`qNłV;5WG+3%l5=fL~|Eܳ;GQ &zni v }.Gufّrgٻ7B&mӮbڀ*懗huHx-B:$1Wd-|cr{x&eQa0[}NU5D\ Pkrۂ/ߌ7{eeDSA-Yq1U x -)HJk=ӕT,S+=T΄m½:bǀDYBѼRX/7?znx\~ʷvHo~9/elkM Mq˱%wP@a$61M=({0I"ZetLc/y9E:߇0-KG7g)]:C_LZn&t@\3jHDߕ_ z2`vl? }kz p3Q [LZ (%Wʰ6Tfd+$LO~Vֻ ݡ庆a>Ȕدqj]H"{Q7qd(X`¦j2uܓfc gG&!; qjfh3fn_{qoV@ WiC1;d=~rbo3EDr:[_B _p18J MI{5ǭTaEVEu?/}2Z /&R MP^m4y .7 q*YvZr9\V\9=!aģ}w 9mѸ W'(Qmy2g1YS(Eub3$!%T:<_  ,1M7&,M#naaAy!d ~sz9Ǟ'29JwSHZ"9\vTV$gln Uڒ OZYV.!7T 0VQ^^? C`-^m嵿z:+\ݒѶ&OU79NgIW4%k%Fbq~~UNqsozD!%н}X\9ûafԨBjmSEWk,rzA2 S'GΥ6(db@Z oTϸBi /HF3䷦_ L `mKwDCqt LcOtG4`Fa_@$leN48e>VnueĨgрד,*oc# wMb cSwJ#Q.B;b )=Er0;v'~k{`pUy;k|vIQ _uL6^[ nkZUGd9!v=tȂ@gCf{LY"8Wuh5Ϻ7$ Yd}aVҜ(75%Wʞ @~wݓ^rK 41% M[fjS\=-ţ7nKO*#-R'#Y⥒q0785k ѳ DUZ4\ki\iv9ni]s޺M )w\bGQuN> kTfX\͗!tUԠiMoI[P洴Yp97y {4yt}OU ѦJ'-G0⚞oHGlSRqgmn.Q*@Y֏+pb\ɗqnLHrtiN'[jbE HI_lBW@ 5Cu>J<+vPv(\H4j(gjQ3/e>ېvMKx(Nɞҭ Mo'Pؒ"&ujQ;, 2X2:XWx)B[2>_UǾͳP9/s<(n~% ;Y Ke\7P쬑J1d+Eed5GPUƌ}]zDݭR;axD_4<'?@7^ETOJk`\UǑX-^L]LNb{D ܶ -yvzUm{w,j[̏X0[c밢e|3p"K8%/ h͡Y(ph,2$2CZymjRMkoWx63f_Q :Ob:|TP>2p];n9tf+t %rQPBq-Fǩ3^MI4ݚ?9\= ^E!\0X_/A)#jv˲!yɹ4eX67c.$l8UP=;>_Ɓ{uנ gLKdѪG \{Z=oNDHꐷ4k>aഩDNvq6:p酝$Ѐ7Hg:cN ND.~%Exu?x(o' ⹊*fô4٩ Mxtc{H"lLcb,m'Or/,` fE@Q7n iAnl-u$NJT!-ɂM@"lܐ̸as;=K11aa?;_U0aS<;ic^EG)LDu)w6;f;`2 FW.!;9XnHQTH(ImMBpoJp;ekQ!W= (T?)U{V.ofOM&W#&]mG.K|GUհACր YX{vmq!`; %a΋)᥵A]|yyIa[>03dy)k]&v.Ƶro& &+K`̉ۚ(SQqt8YN9v{)_7E|ƌh>f_wf7.gbP'1Q8au^g]<ⶁK g7#y9].3)C|$:GnUS0"gq5Xqy~%2/U6x+w+1CנUFbKZ :{&4"v&f57Yr_yG>} ~{a21'9Obj97(tB{$a>A2r'8 z }n ]=RjW]9@BgzwDAZJBl}RTKwJtpjC΅hw&{ŸxmS Tj޽T L{`kI[TaKKUBV͒5TJY ֱo]ij )$IU:={szĬv[(5WLZ|gB ,A 䊞!]*7Q8rqX*T$RwџCXR(Fn~2ͯ|Й-BdfUއp <9>Ng'$m Je2S7T#][D'1=LOT!qww 8mxU ᳱ]kvRzmqC3"7c&` ƟNK,~#S@GwV! ^j"-U];+ICzMY|6'>4#j|fELS<$TuJy/2"~5eIlW`sNgj?}/h*"(6߻C/wX^tTX]~ Q /+\]% dbi[o1_bB65gYZLܓq.$#P5A\~ʶ΁ffGO4 #EN;X8vC5PB"TA RMP6 D^yIaU k/DUꊄ>/WA^6B c(PV X%0epcC aK@U}ID&.pE'g1ۢ|e L1.OT Ef2'/S,is7eղ۵iuv)0mWؑ' bЧ!,8Yk_ᩃv{.gC/[ɝǴZ czo{> @ԛ he9vԍbz2sڸ eqR04փxq2S=dKē׶{AجRrUo5y7݇Z^ T jPFщ$cXRnznr*X9}Y4cS~v}~9[Sg'O#4s*4fEƴJ`qkgsAf{KidU/e[l W`_o1Og,?@֯kO< 5  v_Q4nGvQ ng"Jzu#[)Y M#Qemh7/ZTvȪ)֍lxiGiXz^{p80d71Cݘzq|b$H62@kGjELyA*Lt׿Õj=! !M=DUo mCEGPM}PfTlx2j2sG"ٔ#D[tF'43*TKA ])ZWyh};^012ݭƴ)]XL&1Y7MVx7T^cɅD(z4*?xĘD Cc &mK!UX`|<M[ucmp:޻"k~ L 2SVԩ'N遣zkaC&RtzȂ~qV*' }3&a4h[NChw %SYlZ <@˗|֥ʻ0z>E#Ҫ~\18S%pԬkŴm S8i Vq*t&pODACs0Xgq*UtיD*9^:|y_=A3J!_"_a'L[$J}bY,l)gEr=nT'RShߣ<8 lbCD`J(o ݅j [IآC? ŏ6PLCJxUgt6Yj!J>6;אrP @kجYdBpyM\:iTTE=0RڙO?Dpx=ٵaie|qB7`܆o3>eʃᏔP6XK`?#W5N 7h!ow1w&љUwo'-mGQ՜ dNrǛ%q00\9 )[HP'o `Wޮg$rŽb;Gy;|L7@ѓRB\‹ 4W%t"Fg'Hɴbpd9UEO#yHpZ%#aFUH e8,##3iP ^0'I`YbDZ^*=k& }"}ID{[0B .;&qgmW&H$+Ig =FS\3ΈwF$n_aumi8G <Ȯ >}^U#A }–LTz n 6mQ83~#6%#mPd$ ]뗙Y2oka줇)"&:~ X`~ƿT$~ŸkEr,劃pC@3(Hq,0箸8JTMƻ3ln4ԮR<ՃI CyDա4.szz%* tUUKzW߬*`''E|BwbF1^pjoycplo'1hH, +n xӫ <('_ oe2+U~z+01'G#KM/1Ikݦ"ؾ#'~з(L%2RU&LhQ&W*,?jOTNЁQ70.]Ψpe(%3& |+ᬦjRv`&lndAܯJPZzI[){€'ó{a 5D,yXZ)%(lⱾp7J#UK 44.G |m ɢ~ -Kt݃=J(t!n/q82 bSc@+O5g XB@8JǴ,mtxikk2x{t*3ӥ`V_ Ilp6G,&Yм/^r̾ej`_ Fiէ;ƿԑgxf'5+(pDIZ]efŊҿǞUwƿ,(C Gܸq7;NNO,"IQK=b0$a{k2qբ+:"m j-{y~_CzLJ* +nqTCex(ۃ[{}K53!.0i?yy6@e9W i,saG(Mo)R2ze7~~)pir@*^]dxW[{>pW̅q6J|pرNjF2H1RoقܬSOOm$+􃩇cÏSv&rڄ2FK 0?\4vv4FqrqF%+l1컊XٙC*F1՗aNfl3 =-ճ]A n撞lzUaJ:?0BxQ z"ЬMha+{bеlRfq4wsgYZ EE0 ?E% \Nested_Multisets_OrdinalsHOL-Library.Order_Continuitydocument.tex7zXZִF! ጪ%]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.pmIWhԉ@> tb 4qO7oWvK2/rBzTWKWԵv^3#=}pAR٣|(;Dc۽hnx,V2w[SiRb S@O>zpXtR>d^.)&%aޟI+&uj0q Kl ow7vS>@#D Lc_ 9rzj##H|BBW3B.x6~*^ptwq`}Ktrb֣-%ѫ[|S([r .AL\:!Lyޫt,E~;W(1{;NBnX2*D*!1ry[ouQH }ʐVf_ X y nW-\1t"YPS$rkQ3|I`Iw,5/Dk2)\JXhpp`1Rs-v? S)|SvʛvRx='v ,:x-m^pRJ6e/ f b|Ѧ8Fϼ|tjΔXZk/@"McJ%%pLkS.dt]q$3t:+aDqi0sAEp~_zӗHV4*3ƈ`ʂ!/dryGgg6_Z"1A>I#3;)e UEO3gg e)x=2RP~đ%[=N96vesp Uh{H:!3+xQ eiNx~_͑3kjF7R~r@9Uj 1g#{AX38mdRRr g`=w/,l4?5!̮ްuY]C4g ;! 7C'~Nhq &G!gNTRK= 6=fNc |CCB#kH3G&+_pŸ>tPL_ <'$xkbOtgD:0-C Ng8rN|0S.T5=RUPpRrH<:b`ۇlnxs*.rPB{3 V+h[aWmf.ϔJ *ə`{$sr@?5^M_>Flj(ZƷl';pB^ CW@c/9c[:ږUuiJfb$]6OTq`FX@vn)b^眝|6ڪZRQiTj^DFJ-%f<iq"&KJ7Z@ISr7In> !b`SWɱd?bZrBqæ4Ye09AMP) 7s{@F͈D/v[h븫R _KULX-rݹ#;lIdЂj-m5ShBM_|i wݾc M\%}tdM%}'jT j:擝~,9\8%CK'!p(rڲڨn4_SK ZA;=wHO(&b2qߖEMz'ӧ[vsQc(#e+!@Nk-} ʮKEi6&*?u$>,ԴjKSBY"1lU LPs~ZIx^Y󌤎6~yv33P3v+^;xh{<F1+ӉtM(G?D^7mR^0MۙXK(*vgl)|ӀCmkW(BB>'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 cc ?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/`9993ee5vRB#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ѻ^OsUP"y<޶؈Q&ވWh4!Md=\ߍ@њlKL h ENo-aԤ H "u͏iར4"|a(0"9(eƏ#`\{pw[7< of`:JZƗK0B(o m2J P ӎEg.m?֯JwG].^=b/rX3p0]g̨XA`;cB뿪-K%0mIӐlq@?K=Dv;$.kz}&Md|%]=k<{|^6f+Ið-q쨚8X迳ϱ5cEG ,?%Yh:LrùtnRQĂ?؟x`4MpqlezTB45,SC^* %3-‰3Zl'qvH;W^@LG"$K9 ]"+ʵ^ctZ *h?uRYc@pzRJa.crq?on.26we#sQtYgҺ6^4\GX_tE8厲S/./ȍ*}aI r2zαenx[kM끿6 41>vעKv?.4T QmF]j%wd]> uLONRX*‡q׬BH"xNz{;Q.MbB X JIb(/d>v2 @X㑮jFJU=^T!}8S)I>Q# 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?ߦ;guzʕHr1YPx8!TdZG8:rvfv==ʝƇpK.s/vb+vp~>."C{AP.Ǵa4$ >+ix+#Pl9\Ipݑ$ZIY=r;>F0L(?OU9$F}U.W,<2XI"/u_E`j*_Mf}'5-K"㮚X]WӤ˲~4m5<,j*;zz҉8 .)"e/LvCS]q4wyItƽM~Az<758U]$5"+(cg'"[̰?#"` gVU9ݩԧz7c/{u|Ζ<$sN3 po9a|V'}j,Ф2B%d]ɄQO'sQɹ KsBOk&Bae٣Oe?̠[ZCS~פΣ<L%9+SWTi* ܕj ``' #:$RdsQ#Hl}I6qL1E@Pdyp @+'K2SJp8 hל(͵ÕûaِqS>@#|Kc0DA )y0+ OuN]!tnAT5d~&TnzϖW_sSmkv۾A?ͣ@N݄G}6ZIH0__9{hn*_weNeyS@dJ0Q-\eBT5%3QNBW0 m(vw@H8 %F킱q=nKgn KZL%(nנ/c݄m~*Qnf}M|r[*MM y4vIW>sqߥ#g漸,bє>v|94:]Iy+]=&LRHCo4AE0YTiLlOIDyja%u z"za. `"{H1[#ɂ<ǧa(Jƣ^FE2ǔK!Mdhd|' eɝ_a6[*Fr)]`"Nƿ[-R-HC;KdDs`L4^B‘鑵'O i={ĒH `(}IKoe33 /N^J "ɮO7q~N :A+=6/>!7{Xp<.~7}ꩁx8>]e~2+_=N6қ$cʥ(І]n.@^%S]AI!X,kK;u'yIjXv2ԖBʱ)Tm.B֔XEۂz$qAbjX8{5WP+ ]Kwi,_L]ѰkY iqz󜎨qBZ딘6#_/|ZƘӑF. R:INu/hnv"8[TԎmWViɋ_J|).m2bVv!QuD}C+*=7d!]k7CLi]u6fx1Imm:#i֡۽~Ų:`wQ MUaiAVdtMbΘ>͔{@q!Ylk ?/7n:5 ӡ7JZsI= DZ胞Mᶟ/cB W~8 i) Q{z_e28-qh[+ހD!/OԆ%]҂(Eq/fbN]+O{Eo(\M_"BrHkJ7hݱkĂ G"5k=Km= 0/kLm0NyZ! Zv뚔q}O$ڂR1,i%E=cfR/+BӏqvY(t˂vB RZ~f&/_V',H=J'k3 MOl`p.|xRx6Tv^}'l͔e#]) TtT9Z=RY;tZBxOhwCdj&%*$g(QXxc1&M.L B =Р=& $TjhwmsoFc7GBb37DLzpSNϯ&1( / OȠR`AinW'V? L:^ X&BwG#\@`\T4Dݼkgf 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ȰCg(uK7Ƕn]KY[e8ᬍY`Rަa2D,46N3b? xO) >"o׻זFYVP-Q"u X{ZkE]z^\|E0|}ƾW4XXu_轢K]4{MBx=In..hΉ|lۑe Wgj@>XFZ͕ŵhOBEupW'$|~R}ƫkD,͌RG,qrW:AA%Jj)$ͧ*h.:O)s43eĭAOxrvE}.-=o뭲vDJfdx__wk@CՎ0b=+ֳX]G5L3<*drxܩ`tI-0)d%хpE b 2uqPq{IKuF2j8."Fk5#UVgM/HH҈Kn=mq;d".4ẗ́Dw[^j#}u&vkjQ0ln֍s̼L"ui3`yڱ>RiI̘P-4 ~B0ЙR8(eW+]}$QN3NllSŁ@3֊u . E(N ܶ[$Eŧ~ş+7W %~z;3hZ= \x^OHP/ưKQ|˩XBإQ;=N m(}G=Qgr׊xsCx|Tx-40H=ߥMf?3 -QӉYξ(8`x(JQdXXFό-='D$DS>(Sy#گc6)T]nR-'K v啽vyM,b!a)iE3ȏiIg:K,\yrF6qV[=ElE^Y3x*? '7HF6]45g;w 9LQI\f& !r*{6{'6YSG1WNzUmZb\a #nׇuMk QYڠუ {>p-m@5g"MNm$w•Zxz}Dsqsu=< uQrwjVH/:N!R6rwCZAKr\*ɯG0ڎ4$qxٟlu4jCŰ'r ƱW:oeI[@ -#kޫl^Oo@.~=i]5mG?K.|҇_1)~)!ѕtR[*Zsiijk<җW[?J6WwպYМWFOܹzD&DL (V8BHyn0{Bɕ5CE\BzD:N4 G7~;FZxaoƬs.W+YD[Оf ~@M|,0Ǒߒ\bMUߤ=k)DK<T{MTo< ?~} A*c3V1EHsd&y-uI7$pk)SIn?|GnS(3[OiiKjr (D @t?M pf)W9G>m 6V iNXD.Y퟇|elX+I:B!8H2׭  N(u?/BthZGp 3':`dYN\XF(7?> `EnjӫoW U%jKO[ߔŒ 8go_.1 c|5 }!beSlre7pAr5w*>$]?qm<ҝe;V&ۍEi :0Qd ,V* J;3ҚƂ!)+J Ζ[+Qhڙ8i8 95&Lv 0ui`bD.H@kqBg4 y_.q_~6 mJϛB35F_=[e 1X c\@0=a6f1'Z8F!^۹`fMDܴl꫃Diu-ad'@uAs3GWU:߯Tz{nN `5g15]dzd7p*O% }@gQIW&qW $dBPQm^/ E*]ـҸHҏAQ ]jͮmH!➠U`Ew7M(1ӚJ1@ȉɖԂ@-12՝)/h_Dy$%%\uJ0yn iw2{H3zo)ϙzVhI4)  ;U/!K2gNteGb#!lC]Ik/J/jR9/gg Gw 8!(Q'Giy\ap-@ rQ8S8fÀ32ɉ?o4 }[[V 6/Z}oy ,.:)=[`v"@ez4ۢ )U/0sf uWu{䵨]Ж_0Pd0r \5 ol0Nfx#ݓ|o]`0D `b]A5$?6QЋt RLf o5衒dvoA@Mz*&gh^%U)L#c_;tc-J>CNzgMq c2\)>ƚa^ޟ_'yVa2?x-HZeh;1Qf4؃oe9C`yt8a^^#OelGzHj?v ˬђ x\b_qLsfԓ}7KBeq>S'uŖ=ĞP]3 F5n@ 7&`ɕQ#gŸjg lDs%o,JRn䬣KSOڛ6o#2 ` <72@sfB:X 1c!$lO/m.xPD>@hh^(,yۜǦ!pb|(pZ͸9LBϱݏjz;H[|4|VOCk L [-7 Q#Cm! %!MSgh.,%( -}ɮUyM))??!J$*\LyiT[4F3y64Ma_d|_ѽ˻ T1om)z5\UEճTbh)I/u!$rtAb">b: &Ƞp͌U`Y[?s9 R `>a֊qoHQ~VֺY.\U,[woT0DEz!f_7$,3}DvvW2Yb!x6[-uв}Ypz1A0Z|3(sFt %ױZKC]&P %^)AzO=ݱ/ůCWX _N{oI~Ly t,Vul7ﺲl]}CƩh2w3=aE.;&OJϻ%UN)E&5{\&[+ixv ET-LڗvvGbF`1o-…Sj|'Ydvtu/)awv=Qv􉿉00YY.ܒ];Pw_eh "lu](I-Hi G@P2*ISw &ᖒx7Y^r3/!Ըxͷk|p@8h3: = Xy:pt?snnS¦z=l t+KI+;`a w/14ު\ezI6,w>2t\Ѫg3#cY hDZnw/{ r^6{5kň'S[-LUN9SΜ2Nؿ\PCJ!OIg\eSH>ʨS=H>Hr 5j ,yK'~{ 4K <[؅M!G֋F7:M6f8a`a>NARz=cK;ҖQC#JV ^1́uɬ=s 䄑zu^0^R^Ӄj%s3.3HtPo><@Q|]AɃXjL2!;01,'y={8 8 c/5IHCb(I AxI{*7ҲGxECP|2Mk b4u* (;?Y5byoSn{ʩ%_σScj<XMW|l%Y1YW^1xOmsrj fbcayQȉ}#԰056J"خOJ<]~,Jcw'Z}"BDgR+`"4K )~MvBa  AXh}~%ⵃRewfr1.*B{V㶉=~h[ ,ֆkߞIMwX*v)Y5j#z,"ˬGc'Il| Cܶ~ԉmI."f26tf]IbXQ j7BbnZ5+PXV 6x5:obƆ  ?IM)cr骢jқmxFzmD`u`ym5{* -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Ɇ~&/S(n63D`_xf - 4CO&S Q_ba#x X[^$ }CUk{|~s~lG8UJn2u$,B>G֣QxdV":J>'Nܸy ݡB^nkSelB}+ X| Ky橩Ę0X[='ؕ(2FzVrm vFc^WG2ʚ9J}|S"\2g aM189sG5P[U&7F[~j4z)Mp$ND&YZ! "C56L{8Rpzح͸SBG=k߼4(v@&1Q'=cv ih] tOw)E"}A 굒,Qzn̒\^!v^ FGT7HXՅvdX\!G%=HG.͋folwwD:c 1CPp-7u<=-&@";ǭa%9J5wm"H;\Mũw"gW?D|tߍ8d6I` -#"}?, `sL-!rۍhM2l9FVHFs؞H>;7l4'>)To㧒 Vbp#lae 0j%l}nH֝tҘ_fSe:Irq}`9tpd @腜퀒q!WL_[24nw0~iVOղ\d aϞW HoC @Zl ؞ЗZu&(f`B}[&лoC?,Meֲ| _D$7^́,WDҧW@-R*Rv N`3 ʵb1/towgNȄ1S`}`E H, I*^"/ 4SZ[2!{"wLm8"q2-ـdN/c-8 2huw&:Ez>KEw 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~7ˆUb"H  }.+}_,~C+2̑•ETZ]@z- =}>ﳜxQM[E)_6R]eY^t)KH7Lq[^,]SӕF]V@N2ژqvA[p!}}{Y؃eoM_ݫ#V^2/O@آY7-. +1RTg6m/0 eRh?ŲZyqUbRDPR y m>Kؗo8O>2!OxXȖ;4zPyyV$ƕDj?Lr|2Щҙn(MܛcX_qAG^D>J l+ 7ts\bk>?By7e`yiS] 6Tdj^JAc<#,5T&NřN8K"9{ut kAA v!!'pM#); &> Jւa2hJ<>_g@=5`/`@%V~׿]9\N:3i*=vi[  cn)\E J&G91ek7УY^7صtW-܏ Ȩl:Mє밊Dk`>6K|&J>N?})ŋDgn[wk=o ~1m'% S=E#hG#xIobj0(О l{y}7yWcX> bN }h{-1eȨb π8MEUg,@豕ݢ@* ]gt!'clrnz l0rö TˬmxjDH @tZ'Ƨt a=.'SvǾ2<כּȃRVx⫰aI(,\ n_4J6* 6K όE`՞/K}iL@=wޫv@RKBK[t,;Ul Xe|D?AHTXKRHnlj u KP;܏oU KxUar^Xlb/1@v6\jqyGz|څlQ[h (lL4Ƌvh B ]7QȼgYZ H?=% 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‰6z4c5AՀوmV |pP,ud J;iy4sP? {԰4H pĘGs)wU<1 Ey|=lyl1wŽ5JPUfBF+Җ2t¿Kn?-OW5$+C `+'xF#*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-ߍyؒ ޠǾ]G9rփ mCa(zx醺s-v/dOb?9轤 į*NMuDA#H2X?B/cJ"DXeV蚄ٺ0{2YuVE#}|O)x#5등%Lzt"t_ VvnFF*9@Y7B۱i#q;C(wF5\^shÊ<Wh=YOusO$HA7t#q!>'x.-CM+SD3Omsy8@?D Cڍ~ƌr#@r.tSAyW`:aZG7&Y \Ļl1:)_rM^JJaFfoґ#zk iTV谩?D$xQ4nV*SJ7P37 [[&d7Ǣ-nW%[ )Qc }$Ib`G&b1zS6SS9̞q#-!KqtZjw1*|6Fk!5߽rj4)SM#lf>L^CMԩ/^IPEe_ >*KXG>A1}A]|Q^MҲv38DPv(ډ w̼p42PД߫ >>7\D+jp2/K`ހh6g]W@$[~tJ-G-N3n%Kaʭm) ٣ZN٩+vDnRY2m9b2NE%=PM"%+N(&"_[gB(%5w5Xʫ\W9𫨱[$zYXnvb #ǩ ;=}:l TFvBkrnot^hN?ɊR&x^h@hf'AHukqSK?௶W9LzI<9H&mҙu%"xZ6L.V_-B tXF!5sV"zBΘ PFxxxXO #Ywc13n:!w𹦾ǚ;dv@I܅ 7y`@ilhA4WSh.9rUgYZ c?[% Nested_Multisets_OrdinalsHOL-Library.Countable_Complete_Latticesdocument.tex7zXZִF! ]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/Zun 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[iQ |]VZ=CJ /*b0'#aC6%'E|>/{oϬ׳8,B3[)tO1NZKMdUED>"Xr; A4?kr[*|l 9 EV<*X{dpZZ*E45.$fW=f=Eہ{s,8$'D!&&txd9 rn;k/ItͯM\ǯ9fJ5lʚ*o-XCi13l mܶ]AaI\ 0K݀0[!Ӂ9U( m˂;<̌_ˌo: ^KU>c^\"1$*.7RكB>& ȭ,ԛadH 'ƚ8|n7I#wFJS<S&ZT')8\g*s2~$ :Hu@%TKMD8/$w,K HfΔs|8fIvi~x,H6H2Ms!mZ')sƤ'fd=xr$S׆hdeH Qx2fQ%^MR]%'~l1.H/7W$@,`{v>TL6c M !wRqoz8Bt ^Fl Zq8Y+C>.q kZ@fyt'o/ 4"ЎkS)\gz_}3 ZH~!:0Ho Lr`x \ThxY)|0s]r?)LB* -1G]~Q4f!kP@liLhjuhvғž9JakiSNHW7.vo<ݒ:L;6d}XA,>g,|} O^8QHpL2 <˝bgԑlH)40LxtΧ`&Zvw*Ǻ,ypdTd?$Vf~EQ#n뛚RLՂ&GNE=حUɅZ\3veƼӭ, :RSB7㓻qCgxe54l]_>XyEچ}: ~grw-chzYI~ȼp6>ї N Sslet3SbuHͅNfdA *l:.\gfH6MV#cths q^##7]Rp%3K!l?kc\*orwcPuNRbZ5VsPç?Ā}*LPԎ9~^UpՉR3ߺidh֧v*5h}SjL2&CT!vfE?3P h \p* i%QuX@ z^hZ-aIrȊc`(xoA=T{ $MbÒpɢ,Z5P٨>gyӿ{ܒI0\}7ubF.}6X[EK2m6Y=aE\@S͂>ZNδN i;E 7*u6xݗ̼,^{fQB $ȋ~u}RG$ǖdB,.|v[ߔ񬪥 `/̄go>R!l9K߇w!7G4nzuE~a*s*H(3 N+4qumʦ>{̅\Kte!HI`/UxIي4!(`9QeiH1t[}]pLZ :,R? dr4AоU+CψY_~`xEz%?;bat Z+ RR 5 ~sͯ1\VX6"]}2_ÎɈ"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\ϭQf%ňvFqJnrK+?MS]fNU`}J\##b#a) RBrjy5c Y Uvќ_r֖0) 5:#BvxMIM%xV-BR*K{qiLvuLm]Y(셑ɰ ?Ii* nL)N]tGzqa81qHrǑv]zο8>\[ 3',ZJ{#h(?Ih(?-eCךmw/Ԓ& ?EcԹ@H`SKQB۳*˗8WմXh&z[%O+Tu/*Oۭ$i~,nrMڃ [7F1\ xVC"c'*x`[qط&{  zۏ@Ys}z?yadn ӹ5 ?@}K98SQ v;3ihcBQfN>{>zO̥7C* 4?RŤ@ujnpYQk`S=T,TrTKoc|f4t>!n+aF=~ 08QiM+ɜ΍YBFb~]ɀ+8뇘uȭFͽk}Hu^i=~̢OVr%_ބɀz3 5kJt3A k898-fsCjS't* Ar dfzxJWoΡxo$50%yTNoMg.!EWc*<=eZsS$|<;j|׌}7Ԃbǩ tbgJ"XF$}Ѐ wQ۵M%Č M3 (٘QE lJ:a{Gpf v'SK.#1W<#Qh¹%,Qz{G9WyiiMRh<ܐ~ڧO8}r7W/4q$M2>\@8E+;qgYZ  %??% LNested_Multisets_OrdinalsHOL-Library.Nat_Bijectiondocument.tex7zXZִF! )]A-MՋhvG"uIBm5ı^gi,f9WӰ )8I MU+hT lzk"fںN (~[tfS}ipS•Ҽh=!Jd;ǟ-ǢqEkZ }vl 8\:`;%`OP$mt+e} bw0B;X܈#hF/ YQoTYW,ۭ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ﺤ~% ?&tlo\fRLgu{Ho^<3EpT:mQf" W5W+h1a,{Ozw| nC5 WZr, !b+gZZy6pWY8ʣĵO(”G~.h1kEE0_ _l)әp#lFcx2ԢD@} Ɇ&:WZolP`d8 ]+l#VY^wuφq"03x>mn:)۶iVN\"Z]8etlc"{\!aQ53wG~Tl"}ϖbEB*ޡS !fc(Ͻ8cJyf0p}-Ø?nR  V&(xoM}s_Sctv4$"p= U#URB3#&k%WTs2pF-8!Gq{ŵ75bjLg+'V햶DHî`%"sO̸EBڟHi!ՀGs:sglPY.`_A#Wq#FÅo.L@Q \@F2:!*L>b1vD=&hʸ="}gemVa2ϱdМ[qtrIVBtC9qz(E#<p[4tL-zn;HA?g% \Nested_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([LMvNl3FNF撽}yldfE6w7>27|ZK=u6i)B6d6`XH2kϨ =%xxTw@:<`KPX('b cibX-SqtX"wY ;|~FNo0a[5-Gs%Qʧ*PĈAdQnqxnޡMA m6gؗ=6MoP\XiBb;j1"Yn8%nLL_8+f\ْ)a),ꃒ2aAMk=F3|gGqGI?x'dC%K5kVe3w^%vdPԯՕS,%_x}#SDn31yڍ^2Tq&{;wgzԌrnVWQ瑅@؏> ,hzYBwF-閲1ۼw[GS=m : CBؗ__;6VӃ8A/Ok7MG-^!sP.s<1)*T)҈ZqCҖJDgרO\WW_LxU}FpeAl(P‡]Xp-: k!t/'Y:{/Խc#lZ%` :}ޫ㙳M eWv 97a[-ʅP8-<0{u +"[D&+R"N6 0+[)_f(ty >H"<HBᵻ -9;b3ڙJVcTa؄7o>9#JzD ߌ6=-[}<5̲Ϯq2Oo I*Vm<:0 H9+~E"g͊K2?9ŴAږɊlQ:G 2+Sc.k[-DZ:&N}_ jGM6|ɋ>iT.ԁ8o]By$+iʁ!>@xLhUνu-bItlGΉ'֥Uc֗)qND~")@)hv1 8S|RG.@.s\D%[JUq9W {U'˻Fޫ.lf *Gap6HslKCwKC 4bq2.%;jBݸ-[LarsPףU 2ZI\0$#qM&l`"' kɉq=ČHM5&uŃvgVЖ}G'FFENѧ9J(io k8 VVh~ ,=>X'pbsvd'Nދыl55žt1 qI݃{=&`bTqϿC\9׋潉90/QYXNRF<fp>DZ ;k?R!sQЉՈX"w&t4z- -,2 (|݂sEaSm&mԞAg# X_>BMJ- PbZ+Z rTk"d\9*x3~cHƅ~oW&[wzzd1jpm:6O;^ yw}FTQl50@#}4PhX{G[ꆃ /! u`-:$pD`6@7g9u:0Iz>+f`ĕ`lqPЙ#9Q,%&o+7|gb8pc^#S0)kŃv35G.ىeޤ&pE+ z63.) 2ƩWj ͒8::m(c4ò¨~ku/ݳp)'C|r"Bd6=>h`w_t'P3.cHh9ZcH32'HHGP5i?TIeߴ𔙉{ ˔ Xx4;|X=F.6^eWΊwad;¸BrӸ7弢kX:j)6?)F0~0)n<x/1:?!GI@d%dg: ;ӥ^#KyJJ7c*7 )TD|\v&tj?%\>"ٳBd^Vy%.Wق)$k ͘{>qם*'}Po]y+r LIo6I<* &_3p_SeǤL>`Np/QU?,HRB!1%Q7S*شc&1ZTUY[Ab.q*R┅l*z3y:Y`$mfͅ|uh1G6X&4;) ҭꤽ#9`.[sԣHV%iԞ\]*r҄sF %=7hKk|C9vz af ydcWh׽ < J;ՁJKVE5t#14BA $t! Y u]$f /}6( `͇R$"Z!ЦsގqD *yx5 pd6 |K67/Rh'5b/g~/Sb J R N{-Bfqd8|Ig s;fwN[.>ia|ԇُe( ĽZHX+vϓS= ?x5bCխ' \yxŖ`J'C>q DK2ȃR<j3~a UY۔ =CwgQf׉XtM.5Gctؚ-cՊ}OcK:W4ZNP=2JF7}2C3˲ {=6 .RR3͵оH([:Z~a4ښ\8OE51fUKfZ!q[qBw2T8Vz/Rng0UjZ&y}ֺ AH^-EjO7i#;gTsfW%3UlS*MXHriz!8n_=*%m/g!6y;C)/%`3`2_s3z[@y>PފGJB E2D=?WD%wm96|mC{ ~Dt2Ϭ[ƹXkEpW=öޥ4:$:w::szhQ▾3Ӯv:n:*ٌJ8D!C  JǾ{.p[J,;oDXVpY6;6x{ܚ J:z YƟć cj.+b5J]+ u%[#Lj֤53 ` gZ^>\k|wi եJOC-XK]f%($j92EBF0kDI#C#H Kso4m pvE;-|&4 ܊axi3+q59^uU)Wvw=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] )ZWKy?7% |Nested_Multisets_OrdinalsHOL-Library.Countabledocument.tex7zXZִF! ܤ]A-MՋhvG"uIBm5`''bN\7eg>|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!LKUm3tRQֱ{xK1h PvYQ:: +amƎz@.]n}'?nNcqך~ƧdtMFe~1Ua9t[ўNLhH8'r Ɍ `_KyۚJj~ I V8dGNtҙZgٿhlӄZWA6U&<]nl/$ .&-1kNՈtbE/5.'gAtuky 2!N I&˂ N0D򐺷a!lT'݌7aAgtGK ^B!գ+Bv2 z7S"+=܇F=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,?^ Ա }X\/̗~ }.ysQfKpeT GGK!9,6k߳Pb閑BtOvDO{uT~}ZKt]; Wn4]?<xM_{^=/!9B:jM IAXń]g`ޅ0v7Vfm NR ި ֎ XaI@[`mHdʮE5 Z8iRVFc\!X~[Hä s9lݷkZ{ˋk9=f %{vR.ݷ"&a/ Mv2V4< c(ߥ ?iH{!]fqsB8j['Pg2d Rf nyi`.Okx(K,6&cZ\Fk)}W/nAVs[D:&,T`7=Hȗc0._DHOY(k ,L1)Ixd-)oF5#610iO؉H-n ~fsl8u&~;`@+x mި-_롩 Y&k~lrZ |;myO~C͹uDr%ң$X+V'gYZ9añ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}(> *Fmzm "[:sGa @d^~Zh>Zg{38Coc PHZ::^m>ޱSMd;:-!Hmp ku0TE~TC,)5Ϙrx`tUt}a^E\ kk.wi:Vf Q6i+ SS!h]{Ev.%`cJǁ+:+J6OD$!+?llo`v?S ! ,+)jF ;6|,O@nл@];w"#68r_C[{5d#7%Evͷf8pd@ GFGƛ)(Q5jAaTpՉQ1F$f?j nDyI3Fy2Lj3D&] VVx@94-s*'[*F_ЫX>db!jd4l=\j&P)kyM(XF-!rk3²x Mnt#ER ѳXzZ ք#ڳސxLcԸ)j6Oi+B}V۵_Bh+`uE/ JD0Xa 9?Vr$t*O{b8C&DɳB'vVZSp@޺2Mo0F(؏0s'1'ϗ TVJ?7>U6}\?Ж$K{nǏ$hM nN֬rռF=d`9F27z-͋  ?՘_]"Vt_> R/M[g\%_1 ulvV*lyZ\m1$6s+$'CNEްm`,x9Kǽ1B >߅y#PRWQF+ZCPճF '$U8+Po7_$W(kF}ed&' 3|%,=/{-F&~"AO"s}ի5*\~`Q02֮˅f3[iۆ"m\"VOa+D~eLNhi9TJVn3YQ0y{_)SFGn x# T{uSxrUD8]'x>$˳F2xL.JV$ b2FZ2;=O‰ %ɓA[vf Hxt=AY+ EQF]I{/+k:07P,aPA?[ȓ(adR!^:y:]6dUT0˟6|ub%ÝJ7Y}/wL b0l4='#/|}7&"bcrDqAVa`J3k&[]b&|p8Ea7t?"ps]yN~(W=Ŭ ftVHRb;'QUR1a]őT!z .kB>!5dxڶhXZm5v=pyޣ$ [8I̻rJ ]П"e sФE$Ok<Q#pӋN#Ŧ4`gRV?! ATY|SKU/TN ӑ $xf.lYf9΀Kl~VBs(ކv/g˵ e^,"M;y]fuґda -%2CDsIۥvF <-8$ģiR N9 j8/S /5=w|~U8>e ٜQ*f'3=݋G'+7EF5|Sp?a־A۹U sSơ:#dCc+f4v\XBgx)y ZҮEH3͟ Zw`XI1u~m $&9SoD܍'+S7Ym!K |:v1i {= R8yQKDaj \%B\E&=JlXɋ F1۴=:wB2, #/gogYZ 5?W% TNested_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? ,Xm'Rp$P `7 NAf"PNF*kO8cF5I;l|$%Xrz+2N)UL5Wn}pSY5NB?tք^5|lɒ &GY2Ĺ[MVq|RPSX ۰X:k A>%C?Pi&7x򒁙ٛ oqq,Og y'!{1hJ8sǨ""xUzm0 D1[dùb /@޳!,Kɍ]D#-23E_X.yO6A._b*?}SRKp֮L 1SWbz~̓ҙJE{ϝh' ڥA5 &|$fQMs(yW@?U1#}Ij?K3P[t1@l"zÄ\*})-! 5z7g!1hMA=MNFPSVjjٺU{!H79ZgYZ ?u% TNested_Multisets_OrdinalsNested_Multisets_Ordinals.Signed_Hereditary_Multisetdocument.tex7zXZִF! } c]A-MՋhvG"uIBm5ȤJJw(pd:ĝ[ըד"{CsO$G-:02;@v#854W@0e'n=$#&%?i^Y"qRgUg2>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蒲4$@ vGj ٩Bůs~ 9~ :DbS~'7oA) Pq'ED[sc7Vt\sb c$ax9\cjqץ2.I9 6(NA/SYD߄ pڐM/z+'IKs-tm)9=i'p٦%Y~]Cp\+ni-ONضoFntvW6۬|}h)0[J܀JVp"x)yHf ٜ`lu{}TH2W3wKXwM\R[Ӊg(4;R8l{n 1ʵ0bLQ֫xJ z.wQp kВHFܮ 7lUbi)E4bP1W *iRה2^QW!Hvxf!$Ae&.UB?qE| gt_uC{4 9w;g;~w:R2oG6x)jZ"S9 wt SPw.'M"*)wL3*Ɋ3Cʨís,TXm{ u(zypD.^4ÌzqO`& !t]V]>ba~Wh[oq)Bl̹%rB0mY!G*;Bk/׷on?UJBEN<&;+v_]d)Z#lU=8Z -b#MfA۠!L]Mbg2)[>goEM24uC &nSgYZ II4?=% 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ޑFngcK@/z@Q0Fo0B[! v} DADfw9Sm!;bK9a$K)`8"kp%3WƟniw!ԊqE0_D_rfPaéF C@Eݮx; $r:+,_6 /ā}%$f6)ؖʎi9z!%< 0K)BRW"kOc38!C0}(Va?pg( FkP H3ƵRr/ [[hڈSV>%9T $>-;L ( D.c*Ph`t" 3ӛPS@Th4IG-ƒ㭞)Lj{xZ*}!lsId^Ob39Zf|%q e|0u.tᢚQȦܣXڟgYZ v?Y% TNested_Multisets_OrdinalsNested_Multisets_Ordinals.Hydra_Battledocument.tex7zXZִF! 2M]A-MՋhvG"uIBm5|M|t`49X[W 3ڞyEv3?pI}lN^ n;ո,~#\#﷝E~53[ XV"NNDy"JCQ&~x0)բ)m,9sy^/Jx;9#" a~JЕC5Қm,\0o1Dga6d8q5xRz*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-a4*Աˊ\W '=>CH f+!kpZ`ƤXo?@Hy"ѨǰSf(Mm~r|N5V*62*7"K]%NTlYjF]o)SGvh0.#.ڮ VPU<t&8tCmO70.@jyÉhSuՃP/(naZKxI;n6|V_ ctM :!Ӓ FKgzWIm; ͩ_?w57zE=&5zJv\dNIdgYZ ``6?I% dNested_Multisets_OrdinalsHOL-Library.Cardinal_Notationsdocument.tex7zXZִF! `]A-MՋhvG"uIBm5 * )^ Í/Eo-kcӞ G{4/pVd[Wh@0 <+GR;Su\߷A|>C.@Ihb!s 3Qe46k ,E\Iv$7Aǫ}djwqW2pOWkGj-tẸEƓ<] v}w}0|A{q'Wʰ[VʔH& dHSo-Bi[DeLz0Qњn s ;6ԈqFs4.p.=ا]Z(N6= b'1ȗR灋??:4iv F1*:?VVW hoؓd$/g֞朢NO_dPxJL+ [MYfqoI*զ?aFٌt {.M)DmY(359!mh,]kxeG,r+b[;T͉PdT4bf]ҿn#b5J]{Gvh*2K4w_ѕPv1}]HAMώEʫXaų!b'u|2gYZd?=% 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޾,'cgYZ/E@WwI,xc>V 3g -.tT1tT>XHt /Ć.Pzo70l6s$}ïc[+nԖ/tp( Q#i/T)SJh >Xmͦp*#~.9QTZ؈Co64S:#ē&jecoǾ$\a7.${Lj+2+~T\iDuuq(N(1s=*$1X b}{%a~5@ֽ/. I1'2k$Q|"VF'Ag2-m% ."38+u+y>ZlP|:611CifF R#0KpXB޹ v + A:5}ZwWm}Y1/J6l5?^zd:RL˕`~qhpƉuT.rOA.o">)9@&FWkB`0PPpl߫)S>! CeQ/ՑJ'Zۑ-1Ft',H$(= b#3'g/µ~;Ur/yM;mfۇHBǮoxP]E4$W&<ɫu_4^jӯk+v+=I3ZSZq"xv)H.nD׎Ј:ˌl)pw]em4ANʘ% 8 XE];<ٵ72q Fȩ9E@'͍r`0[:f2}si֝}u%R`UGwzTGqSւ Fi*J2mzQ)qUta(Ȩ,35 ywE?xtt +/J" UL\~pbSRSWkWt6zxH_W2U=]ǐ ,lsr.1<{ƪ$I'd}xȄ&Z]`* DŲtuojx@D;v H[Xپ!:!&l+D72s؊R5GL$RYFbFxr ~;%b?(lM yj Jw1J&(Hd"gpF{6ꍻ.ۭ(KzCYA3ʻFO\CUJϟA^jQѫ46 |܏bt4yj1.vbbu ຋:G _$~ᖺi(ɲp )ES@'P,o7`H30GGmkB)-dNى"'wfw- &jʡ35h"!̴S)ٟ56D?*E=.])c͓J^ݾZ$ݫ#0U9 xf$*F4.`GvӾWL^l2[e݀ET W#JǐPlÚSD1F\N]jL!_0a<&l5!YH 1uUtn}e @ri ҋ֍uy2Ϸ7wS.W^-_bX c6`O/%5H8o9Q~I#h:vMF aμC;^u }QFf|x0l$<'ijMkjE&@:5o?d,Z P> @Tzy[=>Q~d+%VI",_uH g&0a E#c}h cUeUKrIJ#9) 7|ۦsoT{鑽\4,((p?VG^9 m"k&Hz4w0UKf 8fU7Ő↺*,iTHOmnO?\0ލ;1x\/sr\P/d&з;('ptT@{ŐS{dMbfxnFyȉi qނS`'B`1@+r rUbRŞa/OÌuXp v)DL:gMy(4~ IE.,iAwYBy4w HjQ䌖0bݓ my _EFOB .5STQ]\Kͬ8J(*fot4|L٪=BoC:p-ռObw {rI ~RH<\n' i8IIS2_D9 $̴!=1PCuD5x[_QҮV v3zE]4F%˔ gYZd6d817cb17cda82ce3156c6b2d8168805fbb08960a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 2b5b2f9b7aa8aa8dc335a6582c69b693d91aa708c71f16939e7f9edef52052469e30fb4000bf95d5