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 xx}? |, ]]Nested_Multisets_Ordinals:threads=2elapsed=69.802cpu=132.124gc=8.916factor=1.897zXZִF! DX?]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmybӊ;,Íݰ:%X#RYNkS6y?A)w6tog&geǍc5Us-g(mhAlS`^p |b5q+}F:ۯuѭ f}> 2)&10m Gƕ},2UO->羳gcvPur]w#-$h$Yhb '^H\k rv9I#zu_?BնJ ƀCf\GVҮE|1p7XG',ArqJll]a<rJm۰dN+w%/~ѬEܧsT}ShӲ-27 $s4t{h*ff!@ys8K2L@=d eGtqJc|uj۫~|˘HBi/3 e;D0'#%gO顡`h^~/DXuvV|I)\#bqwM%Y໏Yؐ~yoY?宙 :ai]O^xr;N 8xjL_]p,ഓkϕ1zUP51/|]w=@ö(ffPKWoE?}i{M7 _Elj + U ;fp dj>r?>&++e3(5%i cI`">Kz&+I9l Ǩ|;[} XqovY4!gmy 'UC59:LGb.592p 1R oax"NYʃ8Le%x-$'T>L&( [R7 v,eY[īr~̺a;.ea7pbHQş3FGXu''݁=0=YgN/6 *1a9^P Ӑ)y< 9j=׸و: gYZ7zXZִF! x]ŗXiɟ1˦r90Fn0''ztZguT~m|cֈf%PΣ5u=Uz (`}hO/ۅ)Y?4!GuBCb݄N%v;N^XaD!|MMdxLn gK|9L>]\7P\!AT?OǯGy9}^aIi۫31jG<=\&{ ;}mP E=cZ?&a׬W 8n7ݜ7G#w] 1q՘fwh}SP{ )n Jh$D STYtXYf!&(sk<ۜ1FdF{l%Ө52yư-'8M_uk')kS'vQ{)ABa 8>'PmL6AR %9}&a\cDF% iWN@P.>JnLWM>aqYjרN4MVyJv%S l1\<,бgYZ7zXZִF! X]ŗXi%;Gv{27ct&{>'ϓm\n ITCab$Lrr+p]/m!‡RRQSMXDŽIR)!g?gG|-~U`uT72`XX1[RauyfD B%) 5ZDy]ȐuZ !q0ETbFsab:2DYzuDZʣ~EhT100;K# XxYO\w歧S<3FaSi(ثxQL{0{Qg1]lq//zHwMczgTp[[uFz)ϙWʜ}MFrgq$I7PsjƢJ槼YdfE(Ƚiy T,+[,^0s}3, bqmCsJl+}g|ҵ,96gÒcewOknXu}j6^,LQ M>dw~o@{ٶ T畧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/'2PONMLHEB@><: 8 4 1 )  j e ! C L  c3 =G p I?I%Nested_Multisets_OrdinalsHOL-Library.Cardinal_Notationsdocument.texQ?Y%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Hydra_Battledocument.texC?=%Nested_Multisets_OrdinalsHOL-Library.Product_Plusdocument.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.tex]?q%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Syntactic_Ordinal_Bridgedocument.texD??%Nested_Multisets_OrdinalsHOL-Library.Product_Orderdocument.tex@?7%Nested_Multisets_OrdinalsHOL-Library.Countabledocument.texD??%Nested_Multisets_OrdinalsHOL-Library.Nat_Bijectiondocument.texX?g%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Hereditary_Multisetdocument.tex]?q%Nested_Multisets_OrdinalsNested_Multisets_Ordinals.Signed_Syntactic_Ordinaldocument.texR?[%Nested_Multisets_OrdinalsHOL-Library.Countable_Complete_Latticesdocument.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.texG?E%Nested_Multisets_OrdinalsHOL-Library.Order_Continuitydocument.tex E?A%Nested_Multisets_OrdinalsHOL-Library.Multiset_Orderdocument.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.texz^ /Ά"K$ 7ꐷndFi&B6θS有Jv霂bbsJ+cEowfs54ޢ#n*G D;уn~(~Tn0EcWٱjzgWw{WߺsH~S/>y.mE(ux5gރaوH~p1kQgn5*6}?/<َN#yڌ&Y"Ec4;]vV&a9$2+o`)IM~mBҒ2:17:\}_3 1XV^:{#.u1-}ygH&"Q33OKZ#\i=berAbBO#w~BcCќG;YPKH !vv6lE"D<ٻ#vcaЭQ/+ S`T -?aZ<KO+IM LLguexh_V:#n] ε2S8~|5XE.U =$t8΂ '(1ٔt3uJTFFɛ5u (YtTa(obF75tqbNQcd[_7  `Vi.#hk+bAkd,]_'VHXLGi|ZG{iu ֧ >fx6kL7 AؿS[!pKP?) :{G1>?2&s9ƎGX?hʡ/ Ѯ7&*.I̍&VL5"YyDba-.7,j ֹTU^qQA$- [)B_6qWŢ%pC] jpLő(K`?h_ږ 5GY+-xGKM~QQZ%2T@FbH2WuW&Hy-v޳ip*xdJƻo;E "S L!6ʟIԸ)Fa,Y4/~b@Bu*z cfjiBCҩh6#4ӐYXip( y$[!)#/-kvLeGvafa!1٧6֤L ᢈDJ'Kـ?\r'}輽ߖgn1`SfJ̯TPfr-ٙ]ث?q !V9%/jZu:w&w摄 Sc^!d'AĦU$C'S$` h>wVfW.=:(Rٷ#U\F!|ٌ^c.ROP|"4s4w6Bi BJӔQȍ]R!YF%=*)۸YQȕv `trDaMWW'iE6~ =+kRy\y؜|U=̬,`؞R m?{z$ZxU7|;|-vKVOS4ANŶA/iLKF:J[&ljf3Qrū5g^!Iqշ7ְ k0;/ҁ9].j%#rudR&]ɔ&$MiPn8>/|i:<ҩ]2{Ol} 棊M\HJ`` 4TQq*pNIiY+ŸuIm[e$.YZ>;iZ<VڊnQ:*¿LeJL _n/%aZR]E)3?T7>?pwؙUhoj ȞpO Vf{ ?, _(@nv3#{p뗼}ew_WANjtҧDVΊ5,F\28ۯ`}o,M>H-?wLhؤS8`W@+!-%U)dv.pGawLwot58K6 9$࣑ h]iVhzUE"?^~wU/BJ ~YJ*p -zu՞ Wu(Vweut-#O_5 9ւuįs %_֧Ys%g$Oܘ3 zʃ%v/+mh\>FWm*2~O;ͺ#Pqx \rgsJYpML .F %d 0=Yn`XMKZZu)˽m1l: ZU\[z Iє.Wd#RSwQx#^F:_#N xr~8Z+ZppG4>Kur+kxR,nr{ 9'H'dS(8fN`)1g30dB6TՉ-O+׊c.C~ jܬđ"cz]^ƙޘqgut_^h#Hn6JTt*ǚgD`]_̽wk?ggGYmȳwN}b2O-u1q?W#ʀW~*O.eEH8s̔;j :i7U&z]54*+ϋx/}P}Zmۯ'_0pكVgR `=b?Q|'@%2D`mgcLj |E\N;Fuʬatwt4[SLo6ɕ?1諃2;Ch7IYE4jsқ')zJ٦- !x!k#7'ׂ1Y-C2:Ew{l1! /LD"aD<Ly.fK8mI{séJlii ;8 YCS ]{4ˆ1{H0AQkMovNr4.[=Y~'ݠkh33͛ imR3cb=e`ʹ7MN[1xzLbZYH9Syˑ0n1T49(cJHJQ919K{94W}Ɉl&HZ\e.c,8 e Ї Is!ip!-wS6\mh*[L)NyܮxX4A`\ZSz(Ɖ|px 2J04%5tռ5MOsږhJe1>tJ$OcPH y<ЇwUX;띪\2QE႖gӉ){!^2T+S2%  u~&l߄:\eã+bK+dk/ 3gɮBT 0 vy "$r@EQ:F\E;- 3$YxpW)?NMԛ \L|d.Z(瀣u[zp!T[з.Gkch )Pa$,3DJ%1=^^j?{~i\ ,; x)W\Ŝ8!i螩tad5cmɘ+B3 G ucxUu2/`9^ѐZ+]$Kk{Wy`wHQ~i6XYB i'`['kk*ӝO.ΰT޿a [dDsoWE ] 'T}4n.{owUE0:sdyOm~,[Mg!5(j2b-q| -jmVI %TOk.[~;2KSx]Qw[8,޴ tIGՃBT q>!^EJ٭':r!H9u㓫yXq7yHPo[tkQY5B6d$҉T./m" yڋ=4Vj6l7Rۣ*-::=kEƮ:I N4OLg.??D/~ Zo'Yrl Exu{' []G)dc񋧾SȠZ|EՕ$ֳҫO""tTJ[R{ۉrY7-e6vҮ]!F>'`8TwYKtuݼ%,_9"Vg!Qki(Q_1 Zw`J$z񤹜էPD49{!?U[x,fرjFt' j$bDl @zg>?a!+|z ,4o50p$J` QZŔ=6?=ȧ̖2NPЭHlA7ɹ__U;Fmu +q uihh%x"6S*sx^9i叩4JD߃`97TJ+9Y @;˦4&B>>ud,tĜEYAjTkPS*}ԣ%oQs;rvD3,7y8^7h䩨X;%,ݴgҿ|鼺VJɅ |WG663[  NH %K/Hd%yFQph:zV,ʐ@f0EǼEi˨)ͧMnplDt2E=w  Mכt_ 4c'1ŇBܠcsOO?tpY}m6Xbw?^bC@|e;|E(wXZ.%1G0)nǵ,R`ƅ[(BO}f5|UHڹ M& C M(ۯ[e{9e@H cz՟ hɭ "j{ӗSNlOxK; "|]5nz YpXf>txM©IW 5BDʠ @Y%̟-tpd{6k{_@5%Un>ͰМz_܀◟,d-GrL+!f]u284b[h6;{% ~9 yz_,Ug)R3i4sNE4:p M;k :dG +!?)Nău@%lPFM`w Qg'|uM2ϊJ1} (PCXg2JÔ9밼!ۇP/2k0ځ`11=Mp4.RPZAcBH.4FmvsM!˪Qׅxm%D~^g0S'{y6@҄V_0BuܗԨ'ݖob1K4MAvԫZ>^JnQG@B&/6DILtml;:{x! iy_EdiA]UJ9ї z>\I{`ΟbG5n~ܣlv3rL_.[CPڐqqb\]j3[4T@Hd~\$\|t]4^ϑUTZ" %L îyN߉tC߱z:xDCJ[h爪8QD&HI#imLH Ig$S7Ya} ]i͆8x9ng )œ1l-„O- Jf Nu0M`6&,)6 ғ[bk oR8p3ol:k^WٲŨ( go;o8ŤJXkD&FAI7БVR^&2~ (t}_f n 8oxPãg-F_#5zޣYe1 : Awz)<_ ? *,brGFX2c=8ݺlCL2>O t̶zD%j|FFex_eϣ&^Ěqu,=ן ڬNłL=m$uԽ兠.,:uت2gRA.gw.=Û+ⷷiep_KWLP4~T,~QHKDq RGvU6I搝#?WM&U~P]~3{R/rÉ9?5g W +-5i<4?Fؽ2k9,mnxm8yC?2 07+*7F;q5Bs,SM-~;$ܘy*GVSJp1 }n B q2(d5repUi]}.%[Y o񮢪mPvt #qX49scPHqįR\w[85TIשA ,W*E_ğ6adAV5isA_xA3IscDQ`!s,IߵNN6h]rCl[I@gJTSpt"`:~8~D("̻ b\Ҕ96\ 'Яjf :v,=UȢPznmsTZEv-qSHwvٝhA2R,GZw)euE 2,8)ԟZ;P2k&&=`ݠ5pp(R ҹ/Z? SSox_6}T0 6p^`C^Dع~fN' asI:bl<(1aZAGNv #MLg\[WF T toUیQf/K񘦪H9~x)+2)q%2B^4 #`'ΪEc^Gk8F\}zVo"$؎0rHg=0ڏDpSvε龌`P O8L^-3ΛwiaDG_ ) r[<*e FCt. CRDžPEt:u=W?co`emdm`hIـ% GDVvFm3!E,jow.1yL(F׻?C]X Vn'Q h2rt@7{b0(~Χ 4 hm w]Ltw& # 1{3u D]thgXڨ'z2(|R)[ZN>bRᥙC0{uvl7GBoӪ"hYo_耕Qkª1&+cSs)Đ*']` \0S𠤡O<lV,z1\[! -59'Yφ^%vhaRR+6_Ѣ$|N6GfjXnx<}ftw!Q&$y*Ia sT#rAve 1W ͨo=M"9Qdpp4~MP|H*oWWI9@>m@6@\Y(^}Wc!ȴe}LPRK48f[1.$ZꅼPp< }.{L5]B9$u_j5f-JȽBu<%߼DU`V|y>RiFx~]o9&a)+(x/(xf `@I;kPUZduSVNJ\,dc ih >NiaMn^]V֫' ޏD9nRamUxԡwL -.(fIF+s@yYUAfb%ԩmO[`; ls+'!}A}>]Kjsb_qnuN7 yX~zRE/?dE E)P{mN1nbQNȇZ1 /`Gq~ k~})lNVkcWLS'<?娭/QQ.z܁u8lMR`{BH%<y^O,gӔN0 NI>q!jTeXiI9HY YWbЛ LHS=ur竧bPHa/d WVeJ\$=z )9_^oI-pw#5& Ŗ}`n7$LUpb 2d-$!/|Е40Z#U,N{ ɢksT׆pEZ1IwY%; =+℩ډz)aF`bNq.J7O*9'.Y".web[Ck V)X 4s V_㹼Z@P7[91X}2PmmFx,ֆ !r%EjTOt:5P4K͕I|p'@emJk!z] pplk&X JF%ʎrpEb}m|#D̏.qK&WkDooȺ*.(;’.?(jN.sQCG0MfqhH]4v/C`X\S<~Sw2uI[ @ L!ʠP6 Xf"|m}X%Y#}3,V"c$Cm*jQNT?Hыhz$9icO0|3w/}U~..ꄎv6`]ɷ6*RwWbaHe{|&=L/|N )V,ǾZ\"/xrKD7ͅy)ZtQ}-m qKo*H:cr}3h;)z?X.1O{1]rj#s9z'Z&<(_ƮYHPnJ˃Z}T)那uj4dشis-d̚»sYFz{1tGtl*L0CNpvz\)Jl.ziuϖcBfj𚡥O"NW!$~IIbfm̬2g*7cI c/[vZ!h(8g< 6L"bWt;Aoz"h'M*ܓ)Nf!z\PĔh E48/3V^Y(stlE+pY7Y_7c1h6Frs:6Q55SBP F[qխèP%s$~^c&']N%nȃ:9|vV><aN2϶VjxKao_6Q͈C-kΈ ƒ(K>֖*]G˒ڒp+HvW7Wjeg32-FcF'4i yAoA12͔ V6 R|q Z]jHoze>F w.Z_L릥~sTz?mCRlg]Lgj{exM'*BZї}aehGBņEX̓Z#ٱɫ ;nzqj@^UO^ݭ^ H-g4e8)Ux\70&ɑaW;KtEn >n82`=k$é ;&@6M8mH-aʛhk榇hNMvvz%1?0˃GD돧%,t>Eڅ.W2-L^. I>' u_tĕpsKh&Bf1/FSSӈ;g0QƓD?jwr`K\X۟J~iك9Cmv]_$Ò6 ߅y5`7NImՐD*a A 0XgMwM{-P'V<&xC]y]u v:(zfd~aޔqF7/G?cuբ$WWLjleXM^ʧxkaBoLgf+J8ujz\NiiPu,e.WV_k!sqʳ41TfCoٜmmnhb9hmq|5Z!#X.RUf kPp_oCZvlU1D1z~RVVY-;%^YQa^74V9^:p>spBgYZ …G va1Ѐ~gahX@5T+ASF1uc~wGnV&(J_ \҃p9Ra9KQdAu>H @cUqE$vb$o0݂&to†=k,}ZHJ!hihByTV)~tsku "/OI\m}z@>&B/JnO[{O)w]ͷq?=|_e6` GR]8Gީu[08i6}FkDžU@me`C}\R =cU$]5+gOcxĴl(mfQ̝YybN4>f&\vkKr$E,]Wwѯm66K{:^SY\xz%ӭʶtLr)n<,/ޅިا-rK\q0-w!F<;ѩ^"xRb}MƲilbӅ(Fw@Ƒ5q=V-c%E1b;rskƅe|B KDeaѢBhrLWG\ 7> L4 uR:T2Ƶq;4{ 9oIuWh(y Bd:ǔP&.njc m&\rc155]U'maQ|UPӝFݺ/t@6sYO/B_l dAݽ@eYh+XTZy10qS.c_b]>ىOIzS{'bdʢbd{s||LēWae?쬟8QR)xU]GTyl* [ntԐYi1][8VQ#9ˈX"/6 fi:AzBt]2J0-Eu;*!Kz\^UC-\^߇>#x0Nwpg R]:{] v_ ؔft ssxGCYG'\[y/aSQ/-7ž(C;ztSU)U NѫY-6tAb7 r~:}q'+$MToBRQM@k 9BgS1x.wg P*ԶY.MidyVj%׳Cϕ=65}ّ& ze!$ޞ5xܝ|8m-[-4aNL;>&qq`V7h}II|^O-:2D+Bz4 c-:~|cX):A>zD ?5lH1f)USAx MCyގ~? Uܳ] ͕kX06|XF"B<gmU @47"j:om;CxQtE|QG=n+wy=q}dBwxj}Qy4 {R؃eUzGRvnS B [b\BWOu_/bꦇxs"29ihV$Chvi ojTJ.0EU4ַYBg_J>V&,(dĘxH?\IJ{C)\מ4#M"&{]?8r2ghh|.( ದt u(gMM$ؠMCƭ,P^eٛJ885yXjsϽO/)lzdwZJsRZG$ xxYK 3?/&4$^/DKt0aR9ۯ/OƎ.x dr9"- fEN#ՙ׷7=2j04ʒ:c2f'o8喒}U)|ZЋ1d.vkYO8p>{ {%tiǦC\Z:)ͫExr [L{0.(@\„csIl:9Hȁq9Rkt,#N^*gF%!٤02ă^V-\qt<{rK8=;R5u^; /,4 zB#) fqWO+WfN^9,3}.T#LWIeܭVmto5|3˶s$=vXْA˽7$wm\U$*'VS :掍1$ 5iӥVw۞2RDz҅-miBY.EB9 EfQ&sYBala{6PD\J]1lCB3axQ *A͑([QΒeIZXmo2^]E!A4 L!bW;by䣃9I`߱::7!r7p4 uV2G(;]K"wkQ4uNT C_WU \D~Yxy w[ts!2H&C ^ qaWݸ&.Ā86LTwlTQAܠoZAf &yd|4~NbG>m&4_F;GIE\EEv@ccthy@DcdM'*B5bs)H=/Yń<9Q^8FG 1™pd6`:uGmC0>Kf! A65Yo@&.DQzZ^`i$`r_A98'E4, (n3,0 rg@aR`jo0B8f(g\VI=.奌S˝tx|g&gEBX&QJxûUιCĒC+>y4qBzZv@U~r_)T?qȑ5ۣj L' !V~.ViQiӺU,Bw{O,m^$FAP )^9`rL\F4A :g?eK.D-#;}_udr ݄3fIPԘIBbU;l8fj*?nnJX4I\h^+v޴7SρGe(2D| NgfF'E!دq*>e}klwuN=@63Y0;9; >ѽD@6s?t _X>|'?6}acJqCQ[Gmΐ ʆ4uGx- ӻBlic:A?KVaʦDBr)mV| Ao8.:7N˰9VDg/w]A+tc}dZ@ZLHiYN@ a-˂V%Yk%4wsK 9:b-SlZ~xq@YB- vˬG;حS$n?Ew"B&p %]gX!968\l\T?Q2)#OXIm `X/m~ GTz E{l1PWi % wZCn&?^:]Odh;T'굔I TQW] 9.K†͕kcL j4_El/ީ78"GqwSq} (Z,8:B,0Cg'zu/aVw0X*⬹~^s<m%ӓ/wHupIH5x[U/# VDkxZ6k_d5. $z1 ^c*n AYHNlCShө pfE"F"^d)ch8.G&@SKW̦79Vuފl՝&C?h<ݷ5]삊{tKPQBb.+$IF^%TYJ}Xhڹ +M_Uu/O*%y _u޷dM #vd_"\i<ڂGqOLm^q6|p2VN~ohG"y%001t&#&T(mx"gffEޠ% ~f/L!gR9#Yt`/C.ya\zʏj8) F)DA-W'kTH?'W`(UC=aj jl]@>Sf#|Y{zQ~p/MFiCWF)˖[qs* `;l&NĠ)7 VYM]4 wP)tl ׯx\+/xXOSD9Uǿ3]p>i` IIˋ 6VO?]YyX"w.̟E{;W%W! ƈR>CmhTgl!1^4C:'Sk( TAU<*%T1*tl btk| qIg ;d[* \P:Pje:ll8o2EW']^!QPH}<بRkY7pvH J1UMdDžX=ָ? "ƪ$ƥ&L_?& ra|pYb+yYAGRRc`Ai?OWc#nd{'_xAX.E>\[bE/]<V苇՟ Al(p(6|wPf1b`Lqx%wQD4;~MfٰB*2^EN'NGL.RqR(Uӫ/ _]&Z2/@?Kaf%0W:1憍E܇u.R+xHV;v%׬G2[Ƥ`jZ0b/abAWӥRw߁LlK#\W=cOU5Qv̍傂j_XYT|݂3pzW? >REcb8 릜kZ%.=wUX g}{,B@ {MMёR`OcpL=$mqo`V+7-3Xs9TΈ䒠}+/%qK Xnף3+pMY N7"F }HZP MWP8߅+%B)(0C=[c`.7ѹxizYF=4۝'4*DQ3Tby$5'yr׈L4R(ukn P\E2aF4-Fh: A_SpL^n[!M{s!=)3=2Xί[[W8ΐ\ `2,0io]ѷ!u}zD/p"*&+: J_+w;jghGHMj0wmuzr'2B7הJ~vu~q)1o#+oϾ ශ7CP 7}yW UM^o#Wjı闦iuqIGܑ-"oQdXr0Pü_G+7Eֲ&ka漣M<|ڒaSi:n)e.ө8}r33;h\Hd眴k1D4eTjOlЃPk dA@KxU<;]z6$27!Zԛ|׈ ?zMx/n2%Dћ%ne2'ղ k83Qt^~' NiSVqpKy\֍X 7P);t$UTgl[#Nφ^R Z-#tTglލ q^C9(SݩƯhi[ҹHBzX]eTR5B@IgnZ2%Ygh[IɣƏ 8/E=fCwXS+Iӥ.8`6ל >{R܃̫Lkg!ѩ"֗ 4iç[gjGAMvgȒ6`ҹCy|&A:~ `B{n5Ѷm] ,m72m)OkB3ycG_c Z(_K([[`/1-W_ӞP4[+cfaHFz?(#p]m>ğM Xt?+D?9C'}~מ%D_VHLjGjvx6b| H}-񗍔/Wdbl6Ʒn.IICTe|'\DWd,EdT#(3?5D]Q*eMI;<%TR,3 7pBPr"u35gca]#4^Nϝ tЂWXCv2ٮ *#QSl [O%[2[@vYqd6Ω!撺h&Wb %iv@%:IIRV}QGxo^pYFBZ}䠐gA1e}^0PDYV 1LݿCE3L6,(oask>T)w^7Lqh+C7fUsjzKHbF76gTjzkE|ݧ"ۧ91j}HWuCF9+Ȗ׬sm`>"^2湑&+)k,g^4 D{uJe%uԅr'JxGc6¹r$(| 'M(W;8gGZKSyܙ"O`W5t@E+yTATԺZeFrMh΄;cČ5 m ')-;M\00C|IUoŊ"}V {|hXWhR`Lڗ6>5XʰU8{9rVd&u7nO-Upi4B4q¡zS6kWnx<߉J+KdEP0teˤ5@&IN\"D@p_1%jZi[zmze@j ɷbٔei *1=#{Yfhdd_× ռyjԽ֠/QkgBD6ڋ|EhzZP@ڧ6C'rEg-(tG5oNi2iLpCk JkHZpk8Hz M*Ɵ 2厼n Z{ ?iJKʗ*`0ОyI=d2}Nabۈ񫮻 3mu4+w)eH-H B !Eu͌~X$mN9zkʁذC`9@ϺWJAP4N9R%Z'^mrRu 9AJN+;8*sDQ|(fOlA3 nM<)+n!IBφ43%dS&Xk˗Pz452'8wm M iDȐ3`XR9]K1sOɞ5۪2gEy6妦hJJ8˯XMzeL7?L-?SJ՗L9:|1B:M56\rK!կ^=R* ي}v\O}T_!-}SV`vAcY #yaORBc 4x2T:B~Ǘzv˞~փqDkۯ--VC$\{O\tcbi~l'4 KZ8Gl03RI% S :rܘ.߆yG 6^ǢeOdȒqJĆ_ 0=;,[84&:0R ^Qh4Cl=69$6>&5 &}]t2&61۬hZ =cKcj%S%lMfgw=hCRL/LMbGɐz^ M/ a*-.`X=|)ph`x;"4dk8QXYâ۱ɚѶycQwU$!ҝ/SR`,Eg("/j>T$.SfT|(I~10wݞ'_`qvЕ~ղQUK9޼Ǖ <{9 \Xv5 qydG_|Ɛy$V: ?^ k՚KOfLܹH_d gś(&K9vя o4tTQ]bzD7Fcl9YJA d-;Y.DK7n$ n4ab X bF# y{!)pږMeAհ7w"<'XǏiQ;d 2sCR=jTdfhN^>#7/B>8)+ bvkLC6lx/CGh/RUsscw >k*y >!i,{(pwcY|z*sTC^Ѣ*|ZQtTv=jx~Ɂ@~Km,{opV&G7=_s{+ې(Re~*(päHb+ &}g+Jَ!2tCdWLPlr`5jR[[8MhJƫ;q¤_ :prJSyBkڧVĠs,Nچ>l+uCaw[۷b&_ 2+֯/o8XȐw<2߇x[ OC|M=1-hO!>:V{{,:-T^qH1A*0I wR&pLzzD (3#)B/Pe2vY+$,䨿_Ϻn.Z/V9@V} 1_=+|5SE^uWL\ +vW_6WQ]Gx-#E.G& W|~5C1PmBUt8/IߦO ۚ[3ȇP& Mmb`ݫ7" 8}O*mikZ%Y ͺ_ ,=})7Hf `Bpde^ L p1#KSσc\ SݸVR6$q$a4y(g?K֓ B! "e|ȖD.A-o*RGǚ܈`򉳬]}}HfG F1ErK"+)c\]0c͵m^†%n\(!266|Fۜн,RT44ťQc;}ZLz&V=专rY章Grǐu%efBWo*t㧪g$G}",ۏN%@UrRpKUY2xH ż䧋3$џ&J.+\B>4پ|u2g!q&}[& OљX ZC5oPlCGow@+&uX8a2:FxBwQ3 Fk%1GBBǼJb#ٜk5ll'ߍy=CB-"4Ih4R\3щٌJApKhA>LæJw@aϭP@ǂ!d `Ec(\vj4}Ӥ%Qy]EQvOPoiA:Tレȏ>=WpYur0n=ﺒ:iםsj$ [QmZ 'ҏ£ Nښa0t]*c{YU9["gxp#U`B*?$W2@~} y$\P羖nIؤJĆu,Bd5u^OTaT-C§EDkpmP<%`VakÒn) 6lНKr0K"Fإ~%k4#G6Y':7i-`A|Ta:\f ywB8bsYOH]qXngD0ux~,y+G脟%ŔP.WǖA0V҃ppN8)i3X]fQ`31p`$F}ϩ.OOv C89fHOFDqFXj;_3x+ŻgYZ u?-% |Nested_Multisets_OrdinalsHOL-Library.FSetdocument.tex7zXZִF! _Kw]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#*ۨզ_6k{b=㼛~^BVV  ?3% $Nested_Multisets_OrdinalsHOL-Library.Sublistdocument.tex7zXZִF! 䲞N]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؛L5Bl ntuT6\L}jtBPOȭO,+_޶Ć <[E~x&/& ݭOjIY()0Ƞߑ.3wwBz*@O?<L= J'dV$eVWB `lrN4](Zj֑>{,# gP,OJ)eO{iTxZ&0*z$dpvKϞh?$ݾуXD3V!P `muҟz>n6JwҖ&'.]~`Rԅ'i D{H" $^-Oq~}nwuwjtWw=1]?k^k6x:wd3 yHt Sy&,%6QT| i;.J))JQ6 pt'^ IX%aۀ< *&$sa}*0 ']}|O!fu]4>q*`0H0嘉ߺBӆְzkmzҷDIٶNEΓWDJx$4#2 ߬̍F~C [Ɍ%iea)ByvS1W!](Wr9q)Qzǟ-LyiUa+Dظ;N@q1|~ibYqD7AiljSVO#H>?e L)"nkA#=gWE VzG/&r_ܘGgq2'(2?Hz f[|ga(=)^fYM{u,(dD/J/A~w >p㫱IðE|Kxx=[DlD?.ɓ֒2Wꊏ.,")L Zx+n}D2$Q `8!OwD䤕`v{:o@a8ZuG,\ↁMOv,CЩ|u&V 's$u;rreŠC~#S5xɇ3ہЫ (j1PWqc&p*x}dW}=Ir:¢ ͣay\R9!13e 4%K%`Py3{-V`ϛԏNUϞ@km҄'qEykRӤ4xfWs>-FB( t+p 'Hm۔` E0;h.KS+y6āab=0h ӈP(0ԡtaۧc ➹P0kR *l -TDQgӎYM"Q d ^aoɄ3aW@k-i7%n؝H[bQ52;4RDOv)W#k?zKlB?vK0:AssR1]R!c2f AbWJey4%vlE[-"V}h kYy4ʯ 8B4ՅH׉krցI=!{?grw"ձb` N\fU_`]Ob~k0Z(X hP34jPEdy 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#?5% ,Nested_Multisets_OrdinalsHOL-Library.Multisetdocument.tex7zXZִF! 0]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`djnb4ʼ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ߵm']fUХ7ENq;dg|^;1XNUgK#tq__)I&L;$lɋ3~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%eukjJ[05 ū~-A}SAD뷔Mms^41Dw9D0*-kCP vԱ[NNnCHB[Ptkڈ}m;҈F檏2'w,._,96`+Z"4̎enq8f&80z >n[,˽k1L!쌈(Z/$>NHqT*޴M=;?)ÖbZ[ڴcLII4rwxVwod E+3=q` |23*5'DAʪ<ldqʹklDSM*0Q!ՙ^hoY=g۽Rl O$U[{v^ O*z:#qEg ɨ#Q*uE=>y+zD5iMqueDU+ 6F23-VCml!=_!H.F$FZjǟp>N(]P%)8cSxB_!vM{,̦.3jPPG5th}=&nI㞱΃X] +aj\pkvh1qg0&Tv/6k b V]";Msf=2[`a3I.)RuAP ŷHXߍ}ZQ74=⌗05wC*:.QҴk- m؂)ٵ*k/yKt<_S#ug5b3тkV"o*))zt|"秦'Y,je#V{.'kyq'd$q٤B!MfdWE)9QGszzA!c |si?䊷׿%#:#a9Qӕ7;')V:_ՀD'd@˟Ţ4 A='AM\c fݗ\(;NdTMTL)u4)wޘM\ o__@z\]gb]G+:\e(P؄wC& f / A%FJX Ŷ*MY÷E_W7LJDoŸכ)qeK$$=(DȠk5ݓLـ "8{ ʳ#NtECER!߫% ."St>5Q>q(pQ^q$ _`er͑*0L2}|!ɷ ߣ"W2kV &nOS}i7ؽbφvGc,>8ƅy s .Q|خY0:Aϓ_,4a+ 8JSq P m'[V,NJFsmw) !1!M3n\rS$spt]QxKݬ?h ukRoĞ𤏄mO | XARQ8XK) s]`8ú, ϷukCmXd7Rꦅ!M4h#.8:ME.Lcx&\X-g01<,搐6ʊ]]X,)Y' -߭ѕI}Y)@=[cFMmLsן7tjI;8MQeW xєՃͨE E!XrAiUjɊHqAԻLY]I=5fVi*1 N3cR22cg΢^쇜.ZD+Eu7l)66yX! $ a V9wb548.;C # vNh NL#Lg4a78]9LLtof:9_}f\\Dx?BS6eSM6}l#,afǻ[ݨ%PƮ`dsӶB7& *ك- _V5D ,"KTT K9_egDNaI`/< u=)5,3+wF1Uc$FyVht}= o". s@X81.i- N /IiDC%5O4C#|z FO m\}k.[}n!3HؠJ"]H}H7es5L toXqdQģ wnu;M5W`d1.{UФt\<;^4cx~$=8uWXMnb r"[rX9FZ/~L')(HZ3_[6]D bIqk,oS|uɦifiJפ H.RVM,gWLkrcMgu_t 1jܫZ6Iľ@"E.YHp~_׫Ȧ,Ԥ 9 u {ʄ9A[~1FFq\o_ڢ+S2`1>AH* ͖$ ^<+GZsoak_'{$"'k=ͥ1նZ\IɴI%/g}=l*Ij/OMYO͎j.,kZ8uXvP3tP1 HB|B$xwE۵ʓJC^ō{ UG-{P75UFbߩmPENiY `0 # eG:(*:ObOXs,)"j1If7Ȥ䍺%@?57c ʻ[g&JW"}vRFYoX3a5:cM3~Z> $`S83B{uE D%6eڅ|ų5%4k'QE7.R>}gԑRyɳᵈex`!{o4(u8^$* [ %u{O-!m85ozcVg5٬XW SxOM}33En7l r8 䗫 >RΙ,ܢTłlo/Qܵpx9oork/ڦ,INjhLVd&lkX/͕RIl±;-v[濧K" iN 1.+iXg.Bɻ gDL928g|#ugZ gvc}Ob%uWY|NE4o6@"#]䆃j*,10pN-܊}(UE=۵f\Rȋ*Z;Jnl0n?(Tkf'9,Y~:6=3jZr#s8,K?Lāi!fVw mym4<@^#FM nCb /7u#0Gc2#(UuY+Y=G8'r#SIh3 0H_i fΜyʏ0[\A &z>M%UofH[)& uO IܒV Ѐ 54IŖ jȇc%0ewGIã;M+MOpC}dܢ+HDr7 pn\n98/ Vj[0DC@ʜB\Mj/.;6$.v%.{z'sZ]2"_?nR很i\}4 B9{W=I'HI8yzVz:ym{Gsmĉɨ,_|;~`3gBAyGKZ)P餏 IRK˴,߷Z5rC#㴬4!|TZpٞ6g =1yZ^0Ֆ{8z# Uk"M^u=5Bt]3ь\1d7Box" ku5 8}׈U@ ;(h'ѡ9g8ɷ}Yh9jM>s3t !5~ 4&x`>Č&R6S4r$lL PN靬}p~u@+s..sQv/#0%`m|RL7qd{܊ O lRem%.M,嶽H33q.dz ʬʯ1>jR$h&#@ 1!]Vldn= =}*.*S 4|FgpL\KKD`pɬȿۆ]^Ai[tN/" y7\?#{x _jg1qclPr?GGVڈor^%쌩4wD,myeoU;$F_T!SMςWr:n/} ӊ]P:gH\/Ia]sL'Pf螏O8(Ƭgm.()-TM/VcO:֤B`4c`.Y@*7=ݺ+=fW(DJ wE! sh}w֩bb-Sjf`U0Ez2ow[e GfJ.oo̴MWy2:yJc{%=#vH{Wi"R \dN$8qwcq|2o_^MRJ _s@ Xc7ˆ0a ,S@ZO2Il:h'G ? %b +AX;Y߶~7 W#yådp K:8;>y9Yʧ>5)G&x T<}J2/!aF0LŭO癀DChV'ONk.M4MVT.@5v wv"]Q°DrDAJ\[TX'bVN =QР4Q3ׇ0Dv|hY%:Z%D?I}i"}:N }Vؕ$&t-fZ6)|DpTjf4(:/^6-H͓!ٷMmcDCȐr#caɅGu;NL_kDBiG-v8l269kP)51v _Cve a@UȘG}Lo*[$D&_X3z9W0eCHT`(:h-\x^\MV? t/B.)?NF7:qu;6X5EM$<=NqJT*ih0zÇ")VponɰUBFTE%r!ws:X+a@p*m[ Ӊy %En5%8Zv NBgVךJiXbx#}.Ysǂkk]g_ =[W RzkrvƯu3 v/aBԱW'/aA 䯀hοhn`ߣRo#(ix68$,#dž ̙CUM]P-پ&1wרepқʠ#禶)r0phe ly"%Gzn=0XBPKsuӜYMc<}3 %ymD&5i|6Ή>4G|Bk|T.pw͠*=2 +^IZB`+hlYњhC]wX±JZwg/ (ezF1`aσYۖl*B$ca[G0qͳXM8vN0<ͤ+INcXM9/-|r'2è)x-{z\uťiC\eBf~~ڟゥvbnb1!]1.;j+b(䑧s%og@D^rn;wjP>*Xuv@aS(A^+wlk^@$P, qW^^L@1`"I|vq2П tE%eICg.EFC9>P^F>Vj@#Ko|ދscevZJ1iʄXN7 ε +bΞL2[_ȫNL?M}åJftQ"sF%AuG:`Z|Ń`½{m0N!ĠiHqW:Զqd4? %b#ʶM]HGƚ_CPEdݷHNêy PR z@FT]HEfEL0(K"J(֡tHm-M^?d1u-T2QYCaW|gۓ*%z Dp?F2M[A i/,2,B XW}Zh}, "V:/>U̲ؒj\Tq0Zzh1`ш>~"|h䅋?l.¹T{̙ڇ])cU晐([ юo:d~(iM4> Sf/l]܊u ` '}brv{be.$۫@ ϔ: d44 !!lګWU*ro?ȯ 5ssphi㾬az>WlWaLL'Uq]QL"˹KsFxDcpQl{:ѕ% Ԋƶn ͣJY]jkaRʴw>7(;o/ xv$!0?d ;x8[VDo|&m:#c0[+&kY_ZX޺r`,dQb6e8wnlý] $>'jL]T؎\S u`MdKc<Ss"s׋mR/Ρ2vQ%;[>\qݗPɄhнtBѯgӮޮc}BAUP $KJ•siXvRy|UY3c{Y \ya6 "yUB P b 0r }:'L€x9tyjۿ !HNnxdcdwmlLiPJA`v NmHZφ9V,S2H̱Yjgʪ_V.J+T8JU %1ԓx<5TZdl߲ݏZL> ~ f[Xtѝ(z}2UaS6pqTEr0U"hƘcVбtyV"Fukou, ,>GZҩR<ݳf[sUB ,._$^eFvU1wsxْZNݖ{yԱn GJ$ n^%63pɞ]qkc`啕 tz XP@miXc? 8&Nn%,̪g.$y|l JQJw%QZGIfi/RaKhܟ`zG80bS(p?ˈ יxGɅo+pd*ݫxWj[.sz0IƖy@~W O5IwFs~d:s-ÝbqmeϒA g:@~&I-A uC-A2g~J{I~N2F5}qH9WҧƧ=xhs`ˑ Cu.RfPy= )Ȟ-'x1>4;a/S$-M^/}f|pmwݎXm![P(s@^ְ$]wҟ)6G9J#jgOӆ8LdkVĕ0wi_t6OzxThJkMGUL磞0 7]~k);+QS~e)O*͂]/>v#MB"CVdo OTbqdȩYUqNa'pzoӇڵ~)#kN^P*[IN*K۳Sx,T*=y34WG6r Cw̵JÔztFa6_UsXEĘXW "'Z!| g,x|`K:Q\ruk}Ͷ~#הn͏.Xuo$WAtq'Z-kSd$4ľ~H7tS iƷ|?i!rȤ7{ :]XSRa-lAƓ@x|XSgS0&5G80WJ2CO\2Os3 9z3{gpE}:%=*‡Us%ke{.1 7V2an~vmd ^l%d9)z_IuO;m0{⪽%ՠWDIJBr6Y.#Xnܛ^IR6@4q-r}Ph|ҾIY+Y A-?v=4 SFrLv scLIg^s/;)3p8'eNGoubUFXHFxs9(l_N7tN&cF uhp6I* cH\(T +dMCYpnIb,>@/nb2VwB0)\lSDGuT[N2[K$??y ?j?UhRKw'ٴ"e0yy,nƗi6wdeԕ _PyE q?6w4t&/ x: =nI,Ur]U&X~:?Ǡ#xb)Mw(d&*ѿ.F\xKPbذt\owgw+Uw'kY^\zwBe@k25<1´6|rn/[3,nA;o;&в@CO n3mrFBqk3߻nV2p%}Ycud:>fL9Dԙ4rԻRIäw@ Dk歖hc pSN#K 'aV %Tն,駍+ư[8 QgvT7z_>2Bbwa_X\Gf,]x-h5,Z.st7Yl͐f թA-kS C\m2E:SnUoO:A k=g(ԐG䃰AO{^M`r~]9l'.HZL-"25{8i&8u{f^a|@S<@H h*ހf|C>(e=a nVM>r-gta$SS3Ic'rշe/:4'nF ~U(cKI!vv,% g::Dδ:RYJ#ޘDMP78@Hwc8Qj$ ➂aD[z=!S,:lyǤp**Ff}vrFQ (`Yu';@Ф c?1{~(!kw`UYqZS!L؟yZ! b*7 T߿Y"a;jU[/O*(NT u5R<MǑX]4nvo<ÈIAu ;,_8r>hM-YT-.GdkпrjE'ϥ8_HdyGWrfGyG4bIT8. ׌1T٬&}xŹL)7,.6pZ{(6ǖ>0 d&lCRN'F] h 0()v왑 va;ֻkޫNxOnNK ^3(oĤr7@6 0ΐ*&TYT5krBekޏQ q7 zpYlVn\5n^WzW6#{XNR! \GbfPNo%Zsml}Z` ΔUoLh7#\<ᴣIKm~Ai"B_iW Rv:,oعrl4\BTr)~,'H1\ӑյA )@US:ͲUvNdh>mY g`&tHT͚ޔНt4Y] M..-6k"g-mg6 {էj Bǿy {$0)W[3G1Nď *vᥱm`&'Tt2?RQ(J9S}yEEetJ9~^h^iK3"^>pA!IsmcAo쓁/;kBGRB<H݊\ɂbGk4ahhvygƑ_W_rOfq7_!p С5;4" IƳX@t?t ؖ;]@\Cp <*5y)$6WlFř&4՞A4Iܪ+(򿑆C{i"v7C,=zN~e1I"NEyqZDU`wly:?k=; #t._8R<+{i- ?I^ yMíqi[[|ro^6MA)BVM~-he뱮-0`$oQ7c;vtĦ4@ۢ9.7 ibt*Q^#0B7iEM5EDm~]Y+aP#q_X3>ftFþ jmKHV~f@p TYx\Nǘ5*ڬ'q|'[%˱σkxsu)=;IN %E敝:*5='>z#b=_UhRϑxL܂A&n !B [+t._ #Ń>|,lW+V:N, 2"sq^Ξ *%Nw/_.y1l^HMˎk2: TFʧp  8[5 _OA?tШ,Rd</[XrX<mO{юcR~! F@ Tal+>fZGkptm/79Ecb<2Zk%h'5ru-y[NhRi9NQŬ)?ͮH7khVT&"T-_LX_0252PTG(TVuj)C|~ǁhZ-(zΧ]wcȝ]Gpϛ T(6i<9C]4tOJvJLtԌ gOa6DeߋZ1 igHз QH$K]`?ڢ;IfWo]&gH.WBZAѸi\H)KA p)q!xFoG+ F [za gb\ l&Q"H/b$"D֡ˉ2gwG \U. @^fAV6Gbze0#p-Dh>(i_{]ב=d ]~fN1E Xf; Akyq)lôZ} p.%|^M6΀zS\]gDAqpC3z;dRmň7\k:9MmENbVLP\2=å\Efh`(_|šs)w݌[lxkɨXi\ityҾb#EjIx dYiȓQKgpÐ\bs*ݍhdנ@ށҢ`aH7ybl~-2OA? 'G]jl}"xGM]O\b}vmֻꏻNTYW؏^%bLC՚Hf6\z E׏ tY?Pnzn'FW[1N^>&ɒ3g)Ԓ) 3`EFp֞2j PѓA N]˫߈x N v0?ҜYP'\OBb~g$E#fZ?ˋhɞU]oXE eQ=3-U喦 iG`+&CR[yIW[c 6|UEs|7ϫiY~׾C^iʾ:h4+߅n2`=jZTf8rBfk:V晝$q, *\QViYAײwE3szfHôPa R̯-ްD1ժ.WFqwˈD"(?ISš7!>pӆ$bIW,+S~ͼ~n)2ravXB?@jы>.U!hVK"K}F}04TB}a5xS]1z>sR%RthWM'7Gݳ 50js؍\M OP|sP ak2ё/{=ct0Yct GR@-.PAwP켴P%6P!a֣yE[Bg#e3n鲁GW3@M{ 'iUmyx5 nkr 9ż< 0Lp1$Iܥ|UW @Iem~;,s9i,:_ /,__]]yqtdhnBr9OS$szɎ }qԢ5b(ڱ1gMyY 9P͑QsL;S[c +HM$ZYNhxL+sDZh@ DMĬŷn_l3}=-7cΎ\Js@5a{ҙMlWxA'ҹܑkweu'2NKQu7eUӋޔњz&9+ڃonw{&{<)Ꮯ=Z(Ѿұ`X/0Aʙ\VfaD2w n,$eCCP-WC^߅wgW'e o{ԇh?};)n7XT^U7FqqÆi;8G(F#a1S m/|d+hw.Z 2L+|ͯA ,wh?!Ƥp4& L+3 }g1iqO,X~orي{mڗuo}d`' C˾y=adV`ȼ}4 e~ȿծ^b$V)n >nB*{ zbն3 Md%Zf-6f5cEo:$]~G}><&0v +qCc!ʻ:SeO/AF"'g@%9_ u^VIh˶!lz2eituK꟰=Rn]Dȱ%3јǔl3*=Y|y,zGkIŬ \!+.Ms9pRxǷ_qejgSul(}#)}r`Ye\_\E.ȴk{g|L2%"p{ٺk܄m:*8ϣ}c›|]Mw8W41gi ˩v[b ?֩,-?TxU1ĸ\"C02d]Wc]n-īhf*[ ,ߌ(08儻`R 9DsA^^\n _Cb.7Q#9=&O.5x8TKWN< CsU^CH'hdw~%'NNp%r9Cu_"\sB<@Վ2gkm&]泙qP"^6Y8S*,.\&G[=HVn1 6qyY%uWyWbV\_:,mh|i)\yA}zI)ymg%:'Uɠk8r]Z;8֛LxTΣ+!}QP`Qhj.)o iEӓ5iI+ JVȨ4n)o^d_N/wv,8mEQjmNW:^W:Q{]${rOe3" og%UudvLig e4|ї*nHTY;Jo:PTR#3z/V}g!_B߄FL+CqZӍi8 wF]#B$"DAwd^_Rp_yˎeZ_tQG;aF F&xFN pɇ|-YXDM\#OU+eNy4-Y>Um՜0&޿Nvi@kz [opNG `>%7x,DBLBA硷gWT\)Inr ؂8rQqˇMu&>w[ET}$Rw8yAyk&'hZӧ4{iY1( Asڗ6{65%,J@@(dW4xͩMXf}:_ݷ^穢!~>x>whF 4* $g a~|ց!f9sHcQxs0R%̷EDPF{)MVGtz'JGJԠ($`ua*{_Feid˝z-D ;<ڹmXu8rqmОI}x5d >]#]E= G֝ySG^=|[kq5o1_V`]>x.NQaC7 n 9jhV.; c~;CL,%sAUZQW$C2s0Q<=ny:Ȗ䮼vK/}k%4e2S~2ߙÂ)Vb^\3(%\;1r8ðME= z {ʪ3$(Clbi+.Y߁e>Mznֶ%!3m'*3( Wu(;2'S)M:u+>^M/B;$-0鴖DCX#3T1ЫA6'p2c~dsZRNS=sCJB/eH::߀~YLB{4ā )|gٙ,_| FI)|0X!3if KK^ F˧d9!UF#|IJP+l*-#G|Se1a%-_2EN۟8=4/:1pU@>XճZ.3c!ꋇ7XǞ 'nx !V[4gPi&w{+^s׆?yL%.%c+qh"F-ކ`997l"vēy|՞Ry*k =Ʌ|hѨ&\jll&<*JԟL <7abX1V8* ˨TzuJN#a @ ,}Qg~ dfv3 eЖU_4!DDaĽS5A9|3pxhk~{+z"Aa!I:o ގN7p5@ i8^IJQP,w~:uMeP@ P ƌY0}x3j՜M E v݀ų zwL`ӂbo2,;_AK?oosӾ"E¤q2wwSDy_WFS?%Qi :i) ߙTGa} eٕI/h~}1Svȸ j,U"o|P)jLXf,ynGslAuA0:!!:vH 0W`/&",n_7G[ QH?oWxsar:9o WO`d^ |f!ƺLH؎Jh6Yto$m]3aEhٵrm kr )ZLB5APCeJ[UEbnI.rxЀ_0g5Cƕ>b9\u5pY&Ծ)A0vqڹU嚚>"ۼuָF)`!Ewi>1q.:Uꓙ._ܝ1,Wx~T_خɊ 4f HM|hSʛ^[P'$8D"x ajA+@$>$ʭb<`T>ߵJCP1P).qHF&߳ R_\姴Cv` QW `n l-!c#T}'tK f,(é"\^Vys!S̾(-;́!oE,-<~BDrJH,ʺ ҙe  ;]ct+ӶSBlkލJMqog^zȪ_@nT"&ZH'/@iҭk~vIJY?ƂJ-sdX*s;ɚ1xP@<nB%!KXm0rJqBx:؊5Jj@j9}\iyBӤ5(ÈҮJ=mdB (Xa?2"Y2v'\IHKcFNNl˓?h>P!3K|&¸̬:8݊&Ð SAsΉ[ LJMQV$6J.7 d?l\d4UF;詌6k[Z0Oì|1.[U:M(Ϡ-3r&+[/ejYk o*0VHSy߾<ck~-7̜}g׍G›:Oŝbޟ{L.xjĴnh B-m'Ia僐&B жɟXT\ѧ3NgGXnM i17S;,.ÊL0Ë[-i m\#=m\<)1P, zyAvC%~.N:u,vϟ1Eq"R) EHnƍXs_;07K[xhn3/&sBu_.󆅿6 l֎eԸR.yzBFⷙ*mash(d@N FsrM X}Yk 9!T+.,)veaԯ2ծ֨Ҋ7[ `ĂO pI`7 d咍Zˈ[9jJJ\<(sOUϟ(Ӣ] xLsdN}Q,9j{؃`|ɝ"G@SVS!8(O|MʧZ|Գ5k6v2/}0LGf : ވ1ץriVYWJqS`S0u:a"S;ܥĞXnL Ub0\rN6~Q ٤(suX4:wqL+wն"ԣZ[(mmNPdueZ>/Z! kfGz<_ψJ=lFⶈ%+=0HɈڵ]P՘CW!t1QqƎxII7'7IAk\6pkvR,J`K]{8 Y >Z v9K]*Iɴ 9bu_N0Psrҋrw=v~59+Wua8hĪ]-OuǍ^p# cljOW{DŬA_+ƪx˟Q}-y:Fl>tl\Wrzn\=;>A}Q}O'ӿ Nc~%+EicDM2?xX#?jmq H=g)N`@g$YO%-^Рkr${ 4sTR$}( 4 WhȎ[ee:6r_rWӵe2\x/|䦼DFA$^5ȶϧ29?筚FbPO\S^BB&Z7~{|T@QKˣ[jH5D/Ʀ)&5|I^pG5tMAlA2#F0D!a]0ehM'7J!rM.c9:?:oQĄ !> Jp,uSG)}6$Fq?Rk1՟8zʏH0]Γof6=#y7 L1m>K޺&Rig4N]<(q7u{DNs?/&Q(%Qި FDOk%pEt"܌5")~u͹A0uWe3p{(Z4 8\EDu/*$j_JM]F.M+`~Anh)[5 @ӹ̧Ft㆏Mlr fٚ=:J.a,|ãvD>N(Y\E H) v"Q=_;#qv Wb"VlppJuq:Hdp&koM&| 55Q iuC?ؚt sGh=ϰʺu/Z=Fqa9x`ڧI~"u|{Ò̍Ijk"ºcW+ؒ)R%nU[k0xd @ QǍ`tf` 隲|f`A9 frw4',a.wHscO32'k#):ZS`6nbMՌ̠8h/YY`2]STv{"$UhA˕CD2Bܫ]>;髱$V]A_D  m涇=_o<@CxܰT͈hM8kMlq@rl fyKe6%~`~wA O N HqI=zBL2`GN\7 ;Yc\dFխ_4#;-aRf'i%~eUJC$[x%HLr&g\::NKn` trAL83]%4*^ a4&C%"H`%f:Dyjt\07% :1%Ym 8Sue>LcKz _OAo.5 e`,R;IhArSjI '4Q4ɰQ )muW\)w|jXH1 &{Yޖ8ϟ)] AhUn:D[4OjdDTGі:_E-`ԂjoJ!Kht=۫lyώ +)ӗnHpbvy#eM9$xy{Ԫtah(!"ޜW2Qjܾid$\vVUk(րI?f(7|v%2t:Wi5WO0qkrԯ:ؖ] ҢoP- k=ay'L\7K]d2}Q+g[cBtV%[B`u)G5?ґmW%"Hhں>ľrT( kͨRIBPsz{7VTEIM1HbT#U~|Vڦc-),@@ ]zCy )' +K4ˑRoS63.? {Icdr'a`]t,^Ml(ivd2 8H4##Ŀ#'Ct[l٠EBo._pUX&Oujڋl ޹RGopptj4Pv}x%xñ]Io5x TKRi!j8R/rY/G6ʏI?R3#P)xJEN lFjeb _Wſ2-F sGp;fS(Yel0 6i#$fuA8bfHgIRu0OQk~uOSŏe_/aԭz~J7l+fǕC.b1_3 K=-EJ,^KcizQZǗN\=T\~M;K'̍©vj*zQXp>n'Qe&cGH'= l{YwDt )J`{ O3>l 6Fv&e{4hRPg|ĺ)SjBH/mOq0P%T*H&Xe7f=>_x0lp1El89= tj .zShj8M^}slpZŗ>Q!HRjrG/74}]TL{af\և:1YmB+!rYH>սW[H={xٚ~D\|"al4ǢB!µ_/\`*<*Q>=!T.|gAGR9mpFaݪeh4I1NiDHcP/Mx5cj:%][s>fFl ;8fЋLYA ^huGBtO#jv"hb3s3*J0!k-G}lyM+"/5)T.B >y\cy0{S7?{saq%w*Rٹ$@1DHPl|;ⰇAe՟f<$lV53+L\P.\6>$<JWAO(b v%J;6.ѕޔe`Xo1'F=#vCC!"8}:")9/Un r)rg(+iFmAN14X KY;6z˒ uk8j}]B2::>~@58Ox^`aMӍoq$ys܉@>v/Ϭ1iRA]14.|A{aLf11!Op`R~B^,3ݎLބ}>rt1C3۶(>|k5UŬGf~$c7e@7ΰKvf܉g "i=" ,RIUuAP0tEd&gW8x~`mW;lTM<9 QJ*/<S %"SY,wa 91tI(D)%ԕJzYdٰ5 5U<%~;j$@b ;jP_OM˱2s9q=[R;綽zűkz<<=`׋ Y#eCT'?ׇؗ~cNg /QrZ[,]VH>iZ ^w :K *T3T3ǿ夶20񯹟7n !a#9ҸR0OdY 28p@v} Y)eij9ۘr#0$^u uV4V=,a47GU6Co֨x5@,%Ma7;=P*cY@43єO CDEz/䢸*#28ee ")\Inڧ))YiGU*;iEZy3Yꂉs[bUPzQ+ iVw@9?pQe9}=ǐ;N,m1`> x >{k=t?ڌ&~!z) c@#tt6_ӍO;d̙pLTDcͻ),uw\Q?|67HNY'f 1D,E hK(ZuJp| ga9c&vS6mX$#Fia:[rn3un/wJ27Oyxm+<:N !䟇=>71mt᥈=2L(}2ꓦw݂U-3ɵvx-qRQF83ŕaBI$b}H_ u]'$;W Nܑƙ*T\ц8~ԩy*H+c]NU&0grE]~h\ugxC*b}2kkF&KZG~yG|l忒T(E^r*̔)Iq(쯜NU6aѡ39wz4λ:'cYMO +Z$QJX&n?Yq9e~+S3 γ)HaiKUǫ Yef+ ̋|v=K>phN&aXt;&l[x֓RW,|Nӛh)Ɔ:|7)2K_Qwi ?۴>N|% G3؅<.|0=HsoBOe{S Ps{yK7 {d fMPkK@a 1hD^,pp+7d ~_1衴` &gX!tZvccD}gAkr""3=GLYn_TTy-ag`$ Pf!T϶7=:vƽ LQ,Xo."}yY^ (צhyPpB(^StsSg+SHZX;E=h66M('fUf9FlM94 r3mOT9#yC4p#TquOf1d,~ذX,X8#mV1~=P ) rܜ^(GYsXSQ=lX'6,9Ga#) qG`RLX2=4JyRշ o5z7o[LuvX D gUA/RhGSJ$ !#V+.:DHavCQ[MP5WE.',[8*Y_yTHNM[`7S)3P a\]XOS7? r|a,v=#t*?y-⪃POQE 4@$Ra҈z! 3Q3E×QPrR,յ;BQ ӓ4v]XxTCԻӶ^qj(vDq%:xspwt|wY͂D_­A!XG2ޒy8r,s N( =gE8v"xkYgkׂz X (XbȒom&`H|Xu{.};ӳ 9FvA-&/xƎv Q&vR֔5˴Ly8\"^&vN<הaAvWl!W*#OA69TQ rq<w[=tnԒTmz biUG x4D/S<ɾ->Ev0okS 7 K'Rđgw"@RQܸs;#Rȝ{R[SLs*.yvn AX670Ke+^2^,Rr{Evt}wd~U%`OQ?˿@J|Y8oCQ-ix~I<ѽ:PaK\bωۤA4*7hmey䙲Ň&UX9nח^Ή>鯵VK]zvJUw[om 9陗*x) 4?ǥ0@_4X ?%߸7kc_[GE`h4!$ {I=(< )&s"t|F)Zq蔐V7J!᧥KPD|^D^ϻ+/Cw^a2)ZI)\ TM O euЏ V.n2p꯯C즣G` vP0.8$םRn,4/-р`ɑz|qE<]hv6 gwG؏]׽/GxA`34\5׋.,7eJI{k4ae%~Kޮb!.V61^+a\:s gZ8eܳ"'OBs&`a(B` A;>NJ)@p` /E؍*,Cؠ[:z3 s'e͙}m9¶$pK/܄fQT/W"e*kׇiۑ=MlGcElXM1$,Ŕp Oa͟qjz1*a>Co} 0gePiK,y. EPGŚu FƧ[0areѹy%Ǝ Tߕh6^vVij]3MM`̍^- RF&' otB"mW T*9 UGɦwJYlI4pRLC $! gEVPto> 1>:tй}9\O!F3WWi{*1Z@*jA1d4iջSn 9LGyw2q^ 2}dC5Op,c>a25U$axlbTf" NdJthzɇى^]hУ\ xȜ:lhqe?]q%[w5Na,N%*Ɇd,z[p_ϟFǼH`oվ w8N||їES/=sM]3cG1#6e<$!k򈕁5(N :37'_[.pI]C? bAf+#$-0Dž^@+>Ix׼jt jlÔ4K(]I5y+@sɮneOŭ}ؿO=-cO\KBNB$3Ypw]=t/3b;8}oK$7Z$Z!0Pb#A0 r|DH2W9*!D}疸y#l<|[N4'vNؔه>E_@g4?Ō(\RZW0>8 Cg*h+*m6oHl Pmyr&c0NU%Op^K,azH '3TQdiye%KAC 'l4sn,|ug*Ce?5qy(PZ|MxL)b8I*q{;%&5Qhmn s~YళBh RPpTE^#ߤSǶhEӆ)OaCT#13UJ4{LAnm#cPiOor)VQ05il+̈} ju00wl~}TJ Ĕ-50my3D|7E? ]?r۱Ty):0;$v=.\fIs0HX |,A$Qs}hʅyu'/kt9c+ d< 1>``s _!ACtC©?-f\B= ZokfTg/}Xg۠<R^)^NyUa? m]CRNiaZLMU@pu <'.q\_ќ`E_?M?V'ճ-\@eU ˤ0'CXt$Yf\&0,ALh=kEB[%ijא']e!s2@{5:܌`Ern R EH8yD>Q5(d"^S٧.kQϰ *Jj-VmEY|Ayq+ (]GJT,` ޘb^_ s"X YB\!i}܀0Eڂ " b "ʭZҗ[zDTR[R|Ue,mbW1y!5z`d0Mx6d%gڳ [dw/NW+=Gp*_jy548}Xt0h|jH ZwA9-+Kܪns}_-_?$ش}3^3eQ Ca(Qf\(̚mmpt~BhcKZv>vH*d*\Ja7eaw.6jގ5oxn/[5y"5\QBnnڪt11(/ud`hpݡΟAV ኵѦR&vL08S4'HgryUii rk5C鳾w`F>7/Dq=[k-o= 1W<"v|Fz rTWt)R$m#Uno)t4;#/p*e+PZ$Y[\-{\I2Zf8&%Hb$Ecxp)D;cRc ?@ p .ȴ|S1'5~5 tOGܳu>=(~D㦎Rbʻ|0T S##ʌ{ĕT5~*ܧca\K@߄[=T u0>|~6/\:ig2$"$v$`AA|F_2'RPk~WQU 쬯"j00W", TCg;8PjEUȓ9dTux~>q+SO=a}X8{- 8ݤ'v.E?&$sKhB*ƿ fFPV4\͑[S0!՗\d7T,[dfj6{>Zu"&a ]US*NS׺8^۬u?dΘ)_ҽ JV201vVMT* f{zbr=R`sr7a[B0xDN?ܹ{.\'CgARh^n=PKmlO\О _=f,PnR/( G-II/ mʍ^Ί)xz*~DWQM\2% d(\ܧj;GXƕfI!Z~f8OGMc.b>2~FoPN!':Yxv|@#J̈́ߦO@1QG!>6wvདྷXB,Gu/1dj%'SY۰喛M&زz@j ѝ!\\q@w絒Skx״\sih圄Pyyx>fW6Cֽu[;(*:G zòda?<MLKgdI3ssJlu l͖nK?âWTQ#ǴD|>#0^2tWg%6aqMgl452M- ^#+X& urDZmRӂlX3XSlBP88MKT=f:ŧOĵIp}P:<6^,rB@i㭇\^71Q1/'yM%M .,^bLN#Ж \V=;{ ڤXk؜Ey߃&ey7183[P۵ENw[` Z0զb*.y-_A;LPx%l}=L m*g\,?>,q*$O/vVga$iPG'NavK9w9P>%q2(G6)0n~E]`! 9;`x%ĮKdR[n:<=t!nb]kSnֈa߆dVNhd(ù,S΅V_:Ĭ?F`jA[Q)9: ;,\7{OCL=h!>psǛ8Jrau^{y=s}e~;h ,Q$V-P?WFoB3iyȲɃŴeR2JXSeg}naȆsr6ő>L-#a12Y-y?(),kJ5Cff?ZmhjJk> t_*E˹ʍ ۆwf5s%gA [R0e'B|^Q*|)pE6)oy Uo6V+xcB GI(=_U6MPqb'8 '+a}W80Ol*ITFm[0C3׶Ź\,Mܲwsܟ:hS_)}bX u"3Q W*%M]ZRz;3HUBH'9@5ީN {UOa2EiUc%\~؂E:ӑSk6 W@E,)^0St'& q-yMBR zI{j۩ud+9SL 1BN3 Hqw$oPoӅV($5aS~xlݡSRH)RrjGa, CrӸe{U$AwiXh_xb~7:`<~Oz N˸qNwom=hPW^yJ]cہ@;HG~`1h1Vۇ\hzHn1އ00SrMk QBЂoo!Fdnh3\GO4<; kd][zOԠi6u߁o殂qD Ni+h^>0>C"$$dphu$ΧOf |C/ӖQ*"/?۽ |J`sNT7oW,mb컜ߝ[<ϸ%aZgv2bEv"mgglbgąC|Ar~;V=3˪" R?4Vi9%{jX Nk=X[dD`i1ߨ˟ijfȞЋ9AK'g^*va/f~}B;p gxUS^30BBr(QzVt25 9B u| )~cyznIHQZv|I4*Y|L(Q^=::w{m.~>3az7hª<ܳ^kd7%YqǠ2|1{r0'AH5f*JF 6Ǜlq;ek^{-'WK4r~aLSEV߰LㄳB @c':*K&w^}>x F>s{GRvϼFX \/+(# a ){O{jbOXQ P}Q6e>%[tv gl\n!]|@wWw1]\d4Ҷ%W9`Σ޲w0̂U0뙹M];@[?,|<0<$Q$ [ު*B,Gh7tVv[$ޝE^Z"y Ђ>29Agc#ܲB6mw]hcY~kQ8s!4MQ at_gAw F)2-YSօ޿~6&jbӁ/a{?Pܾml7l'?Z-N"> Y{&"\A(ĝTt#tΌ2] 3xT>}:yOΎ ͞B 8:?7kZ.o?MuL,Vh?j2Y!F Õ3dR$7lB7+-A*i`cS6ȷkN>@[*ں|y8YЏT΄|Ue%`|m.ՇJN#Um؅ pzOL 5}eF5~65^o`jKK˄xrq=ay\֢"Qy⫤B߅h)zS4\G-Q6mwʬnjS!omEᏤ9 2Xmq}pGG *O R_O6xs}{|3ɓ90ԑ!:} 1+Cg- Ia8?nL҂D՗2>OH$ gs8܁euDž_/PK@ >)c1R1ׁIW3/3GnfNG TIZ)ߠ ` fo~~PX'n1% [P/MqDSy8֝<.#' ] EB^$5^>[/ i4G#\" bLOF* ek]x[ rʜ2f33Kef ;ꬎKW8zFZK5#_q5r_;hhD 5v uߏJrWh|qGQX [@FF=׾ 9;[ ] gq6d1NTXs{ L<F=h+pI<`V擂]f-u9}m[hG4\-P^.޿!F߭ԢK?]Ewx4?du1RXk\լ;/&Rگ JkJeLswn G5MqV5%6pʉ +LybxX3*1| NRko翾MDItAS1V4cinHαmbI`|Lb64O%Fh4 ){]!lkɁY"QuA%Q: :>ᨐkD-iܕe tq='(w9;*HdG~Îq:]Lb4~KH.&3KVı RO>Ghϋ0,=EBX!kujʁjΒۉ|1)j,N rii@ Lbz^avΛ4j/>TE,EЮ tS ؋ 1T `:؁9ߪ`b7\Z.~ò CYXV>{yvKX=='DT_l\}̠7E 5dxNs~wH p暊PvDϡչ(M{=:瓘3-E.8^F^W(h@ ,COd=t66?we[j[__1'Mr d۽MQ\+Xlg@2BEK=DuyҬIF6/@CHo][Q$9q5y/=bV HR =Qdlz\URwK;$m6c/LR >?t{ȶCtŐꊥ},"-=BOnnɨDuCG&b[uM4. 00ľ‡mE"ʕ\/9$G)uKI^wa%?}1rѯe'$'OԸuK1= g)#>ʹ*rW}`]HY)Uyž)" o=3.4:9bMmq$Bb>C~YTvϻ+}֬:-PoC s]銄x^s@OH$meٕ%9,οnçlpYp^ߗpu/t ~/rK2`Q $ڈ3h'xmJTp]lhѼ;-!72^Υ ul␀jY1 6[n]tRR.p>ݩ0- C}@"WCEy&m=IcS2HWU(XUU=h^1ukx׶H0m$~n`)l5 6w-~@us7oJc-jaX\`[X40wFoz͓I6УG>آ &_D6iWd=3lS-2?1*iO z֦?.=C3]2/)/{ )!@|æeRvqL(?{IA|qn%3|!&v+Vyi0e qq+2FakZ??Waj].@]> p8GLlr0k9,88-҅> +; nuw ,KO0 &nG?z奇JRߪ(%V~TDB\o`1=鲊/jݓM~ѵ +Б;Cg?h,ԁoN-Pœrg#CT׸[6\%B&~7n̓WYT/*&~i֍}Z?u5";ʃbqeQfɘԈu օWufdc 1cգX:&\ƄKAgĻXxYEO654m"b'wH58B=xeMY3CG|Xbxf}KRyrCԫ+EFl~Y-U8.dIDrot:nW̼d޷6;7bWxvOl:ԙ3ƴNLz<>5:al?W+yH}if#C˝gLy:k*ŌLٟmH+X/{aQYثؼ` y$+Ff| #bB 9kd/ԕH"Ү𿶲N}Mvΰ&ņk&Z79ܒ`AYD[*QDlA8RE<ŢiSu,BG]%! {KӠN& M#ƨٳexjwC"o&>1֝ʍ_ߍQ ~8!O]yN{vcU t%1?='.ׂ,Q/MQHXǣlv]`l Rکy|!%aMǾwī7wr}rl^59NIB ?S`h內Qų:@zL=0B1/1&Uisʡ%$& Q8md.TX«Po.ˉv{1RE2ŬcڿF!&2Nc]' b8XwXy]`c|ńx/ۂm^iVe 6@C"$r,#JV?o@D) g4c{a<_&>[쿧cO @1,''yh㣬.CJ'+!*4˿@~DiNͬ'Bha$-(_x\_L0x ٬:ڪ3(2BW@NܹցrEyRw!ZXѻ'߼ D gej}S!RNW& ~I 3ȮD iз۔k2pi>N;oѮt4yR&\^}l5N ?އ40|A"l)\?y'2܇3 5+?&-m>: Fkœ^Ӓ `0cǏ  _͠+C)?+"\bςL.M\yM欔VأDjQuyHүJi h.Aàj8T@'/}q+{CpД\$W)>u齥~ HQv!Y@y!jt-o躵JvK6Bߞ=i fGߞfʵ'NtY ;qF $! ԭ^Y2M R 5foldnM47,q=2Pb<|S@#}%Br941sB" ̉8db0kےob (TIo%> I#72!:ʧ-{jG $W3{ Ã8l*F)L3ie?*KSK--Зс Ú6xR+^PY ^f}&A6 㭝uP.H'pa{2neܝ(='WV3llzE9 xNFVOS4b|ADHЫw M#V o1} N.fdtk,OU>jCwu]>6Uw֝TU4ݟs6۩)1ٲ+So2wW̤~OVJ❓ 4H*|tP!$E}Oڑ:4~&%vm gBY4 gLA %{Ho y)aY1{`*bvkUKxe~УJH ƶKc\TF;e= O5mvHXjAʂ}-<_4箅>dǂ_ŭtk| O,uFA҆7'KG>WI 2N7$:\ gGcT}~GۚXsڕH ReV:.:#|ɗ j=clT~M+֧J@&!)U߈="%vRǠ go`Z;yFl;e럠/$xV-8jZB$eR+n\OmKcWJUZXJT+7||hŌQdzs8Cyi$([s7EYwn[Gq_R(S$!%n)5f1"&Qy{l[E p v1Ws[ca<^߁W"~00C)& g@޴!~ 5m"+*U0m ´:^$y<)7n@^1z!$:DPO¢#lal@׻-/'a)Ɖv /g" 1=. Y"Gwl9m=1f}EvF|A%2'بX@l%a68_MNj\Luk,5" ~iͧ1l5ȵ)e\(d0 <:-5Khi6R+>0$S~牁4PV3O%/Ϟă1rr}g }Z FPH|dʖ@2R^VvjMGRr*zلg/&x./{ ) 2i (˂L[{[E ɟ @ѝIy+ZY,eqt#c|yzɑ&Lγr-!xu|$PA܎ L^?@zCyX}hO8mC]{FQ'BfᤘW ?cR^R ɩg4pFz k6XիUtщVB?}Me8UjJ̪ wp= Wps.ic-Ѕ|/XN1Bp'9ޛnR)0t~-=k)l@DŽ1q L2 D_S9[v(thw&_Pdqe㲴Rhw<$VKymIA?"M [s֚\=ITȳrvR&_(5 ף L gN6-vl bzv>ز]0)(|`/\˗ABGP=&f줙xw+mv%krdбtYi dw7%,~` [k+ ?(WLH'VЍ۬Y@lqn2NR9y^W(<~?Jpu.^a/t-#˨Fmn|-;AMZB$NTܮ~UGEo卐Ĭ[LQJ's/"]DhS?5b|*4y%y2pJH 14X4r/!RkgFg4nzktv%,#s}H\nihCԫw= aثг4R'*L')kY˸)%fDr mדA=vvQkihzDM0ha) ^coyn;ഔj,MN刈'h︹48# %~%m>x TBx=_[_?U@ةs7dz%9;"@. /ux JW,S Q p9]ŻCuHW3F37Gtd!v.ۅlU5 b96hĶHkeL'iE**IV:~}F?8.)ćcnɊ OzΡ'J )@}~ 7=F$LPEǢl!ĐLj SaʆtkR&mt m.3wHi;Fr v>:J;ԉUL~B^8Ylh8v&0dYW.4Թu%T[Z/ȺzB,V“?b N>m\" *\!T z&)i9'd"3@ķkжVnmPIQg? +2 iblķdly×4aCaCW -1'/ɏ'S.݊ZCD¢iz<Ύ=12D *- 3*[&+{A9ih~<2CM'7Wy9d'wL1l=aI`Z- rH0ĕ"Ogr \^W{mOg\ãl#̀%su-jzt`ݷ*%:€ 6nc"#hGw#u _2_>~61Fω}}8@XSOp*fw8E55z/ÄmٷkЫ^E 9IZ.'>5yS팹 {R1Z]գ-_cLI?15LeR^H ^4I"%teeP՟HRYdCٺXn*dlN1@9?Im1Nij@=pjE5s"K|Bfږ$3ѠdU*Aj5ʕr*} -g:e-S#Õ\+(% 5p s4P™Q9a#alr6ƨУؒh $(tK&>+)f_Kc \5?oi朚[+s7} ]Z[#qz7E6,Sj>FpsN|h:ZUXU2YSqȖ+𑧊^ٲ\oŷa+\(xCH i SlcW LdaJ}15 \Q4><w6nXڋ"=oKeNQ f\C6F:[\zvQlb2d60$sGW8CߚVHGmFE5jR y_Aq_gtf+v&763 !h7/^2iƖwS5nnQADR>xx&ZaE2 {@m}Y ȗ z5 "w}tIylo֮$lj} BkOqൄolU){$UW&O/r=]@]Cp׋B v͹(.F8obBn)QoslVj "v0ڮ ԱoW2=fG$;38L;5?6K:a}3j ?N\o1] 0!&-jYM51Nv=RBc.݃o)ȜS2-ig)+]z PJ6LTAos7q16N|NFS/6tnXٯА-ja6dv1Ik]\VF3Y|[;ﲛ?Y!u D8r؇ oNH˒ Hjv̀r"tmO0 UIU)Zu@L?E*ur5e\ѨChIJ< &c#|ʠWàDIҚ)|R3oZjx? 4@#&le[`\b,߰ -j> $zl 4&wBVCA%~RxjN;cPǢ1Ju fC ,:bhG+wco"pJm=kvIb#u~),ڵ|A1h^`Gęt\&\dvZTG deAm'_>'G0$EkxZ?,o (聮p:΂淆ݜUoaj87α{:bö}<}@q T \뛛.#)rT90oۂ+84a5(޳rxXՍ mlP ٶҩ IEU/K4ߏ9DSpTwa8vĭ.Fn MaB>`V/_:AKȭzD; HlTO4q9w^]Iba⣏OA/T2l1!?4[Ȫ-.irnŶhŎҌxl}mel~ 7fprxFE9gA^j=X *7 X)-/S, ό+tBy \-m @B=kUp܂g\ܫ_@߁I`y؄kkJOFZt]17/yױW@ s>лL߆2feEto8,=4@V$+Uvk=q+uKPSp'e$VWUSaolHe9niqE Ah3?I2:j]ƉJUu|n;/kTD/fK<05!NzN ^E yKj|<  (Ɛٵ~TeFUjRt'\H$R؜xi]W$+4`n7Lq)gč%~gAﰲ.gẘĖnZ]li}?휯l ԫ鿥d9ZX%|7 F4wwd 493'րJv3.aD¤-ձ/\UhxЄyE6Qx dǍ`]SA6 wt(PڏdX({hLC 鹈)ZLo3z"yvJC[5b7/֫t$}1{eR DpL/9AsGL~(D ?*ƍ pbfpt@E,:z_'印R1N %0 ,Μ]\ӁZ!-7OSZ8HŶg@Q;u dvܔ= 3zpXRE?Hx0 ʅxJ'8 a_ iҕw"| DYlϾrŧ2#7!y bN4'`wIiA4>% ;^%.إ мmgI1ExCXۜKgSK 4ٱgYZ$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%; rg@ "eagni$9nэe ؈<X-+ZNuߪIUq.%Ɯf(*G& H^b*ck-? f^7pj*+b0^灤{lrHݻڢ `[v#4|!G:?NǦ9ٗ O*vnBx2 Ty/x\J5Y5ij6" hYiI"w2\gӺ6Rx>씕uFgw15Ә[͑g f%.K>x:#2?B5N 6rMt9nhk9Ǿ76l`6Dޯw{B]h2B7ާ&}@{>fN-:p]Mb*|}NmC>zz Eo!":UTY?wcfȲn%Uڝ_BLYݯ3SviY$T;>MYZβ!f&vW3PͫUޓy2t,LJ{<7. \ٗ,l)(᭎J%f'Mإ83-[W28MuBd'L&thxHD~I. '_.ۤ(K,fk yѰy },ߎ1P G%aʮQ61KXSP*t/ yY"]Hڽ# m6\D(V9jQJ8́O9!ސwԧі9, 8O>>uMldbm]bkOp(_$ 7[k.E 9u9Nu5.: ‹&2` S)Vk~ IWja'S_^99Nx f 1%wsϑU+B;{XIRq} bAtz>W;ەW$\11Fh0!u TԼ =CU_~S3ߛR `1^9-ΰbP>K[P9 R;j]2PW3bޱxD6brܒ[Z0H-"j~\dԬa4c%8w| (>3I*~>2'?ڙ)el­fMDo[5}gДN8.}8_<,{W8e'ܨ4H8i#YFWhKmRfdүJ#G7S'*k0FD6~dMkث&^|Hj% lvE7(촊f_Wkl V$h ?H')!Uc`: v T~u몹xPb(Oh0 *Gv9QC^@mc5݈ag&oa9Ÿ|bT&KJ dg3-s!mc<;|̑eB{ S$T-Q1NXPt2͏>_ӈ]lL}ɯz9NRYcŇܹjՕ)NAތp}!z FOB 땭MRQaoquFXكJݥ$kB.?sd*Ŭæ&[k'~iKϊM$Xf sL?cج;/4w VANQ@fU@ʡLR| !l]>㝕7'Y!t$"Jy1=U~81b[F 0qp781!ˉg>Ssy0┄" 4 .S/ $pZPS0붿ͼ%{"؂1^YqnWS&H.X7Pi|6a|݌muiaPuÑݚDG.y!VUЧp%,;U^9 jd~hW Lcsވ Wӎ>C%p,Tr9aѸm nꊔ^BgdD5Xp#SmvVZlh٤}ٻ1"[8IDmZ?ݒP?Wv8ڄ)lvp[1dõTu&bz/q?iJk p4񕤜Ip~5 Ry2eR`ȩP*qg 3ZD0>ڊ[1헳ߌ0㍯0-j/ا\֮qہ'^_ E @ }|LWK~xnm.{TԐQpGLYpn 5u,HibZIirޣPR::FcYTaC\AHfh^ne `աzX·*l,Ua&z~̓WF8QX[W&|{m /GUޝhGvMmdE'ڀ5TM\d`kO\|-`*6N?Bc[Ĕa)l9\ּ V Y+z# 7bwhMUƜ `%4-ئNJ*:HZr0^`t(ߗ !8i8uUR~= u8!?m<(Iʸu})"xE{НGe2g?ѱR5l绶gNs'/3}k7\bf|x̗,` 7gcCD ܒJ7<eH3!Sif(,,g!-0b#GIm`j|7!1*b{'X. B\ .G=pSV%wHۛ䓞ia7!<_dؚJHgLNᖐ5ywUBڥ[%)lG7«"٧:pSԮ(mg(=:@Khs{VZ&0|iw#zDe ,zl[=35 )ʽ˖4wG=>n?6_S̸D-UES„Π 7Ԁ&– B*dvIgjʜz )ċHKd+;+I0mxX/O+pѓln6N 3~j/1VL[6-o!a?(Vщ{^& ֎7P_x3v!lj!R*&;h7fR-#p# YJЉNXn_89*62ݸ|#O!-U>#cLs69DUt_GQۓMmJ 3C3Ő/ N3gGp\"l9DU/9r[o[!*)kʻ}s} q!f5?V wL8\ǓEr㝮+¼d[$jpC/SMDfps|+($_Z՟3,A~0D9Nf/v",_*d`C4ŖyG"5D)HŅMb8@{Z@> ~K6 r4dRE_4{'J/QJ\z z@ 2]Pq{}DCwW4^dKT9 =;! *Hom)vpqUT0XC?9H  B(sTdjDn / b乧r۪'&36($fD /`Dk\x /7 vC̤ ^3{|b}pٹf J)nW< S[FhЦ}xGtN/'+pzܨ1 *۸8r<_}OdB-,1O+vFhO,/>6 fOm_f,I9O}2Hn'<@CԐRV|WgϊeE)hedͻ\ 1W*AI0d ǩUxR?4&>cjYj@ۂ/uajF7N vQYO"8RޭkIBPX]Ӷg y"t8o_)Sξ77@)n|:ށբWVMZD"w D~=&BJBrI/Gj\E "se>(C! -=mZ( ,A?GF 1uh_y-隥7/'rz>%oM ۱u`ag)Ihs`}0Y87}j>$j^nT.MIzZ_S~im"lkGR 13Ph-<<@sHc)s6?sցV̆B󊛉uzG[ 蠙Pm7Ŭ CW/"zPBȘ͗c8>E iגbE!2:h!`Ԋʫog0Q;|9yPQlI- ~qNF JݵBS^uI.T ـ*{UsZ~X`0(љh8vCچ4+t^S*}CTڄ֕,ΏiFw iVҭrWq51<  2mk1ǧ0S:)oB K(&T}}LG!+y}OU#9?Ë4I.7 I4!fG)S,}#!lUw""ΘK W..L;h=wd`{*~:Ou=c`QgO"فx>ah}x|[Z?(,,ϐ *C[$FZ_=x`Z3UZj7+Uciez$x"S{C#o<&/n (UW. ? m0}wZc4]}FލW9^ ;(Kï0&˙z,w/k1i*OneIU}m=O2j.JG1 _A 5хpGK+'-`SZȎ8tUew !?? ~{ jtR& d+݃T\mNΝmKyNNČآ&fl҈/?D[6 sp{WG5&}UhQgYZ-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 <:9*\C Ox$N' s>&}gUdҚ~!~,o^>e-# ŮAѸ8~ "E ] 'JPqrdpO}[g7@сҝ}vV4g Eik$n? 5)\HDpc􌲩q6dXOeҮDk;'- Ӈr _둂U<߾ f/O޸ҧg8! :fJY&B(5j?fIO~wiP/Ť ; 'pҏao@~t)Ac@X-*yh|4Dx{,7zXe Ph$+n!#Xi*y;V$~a"]9eVx8z(I V^jR쌎ǍzHGiFLP@gI=Y J^GGe%\v=pH?-]|nsuV9npOy@U) M\";m),!Ͻ)9JؔH5[v{o'ᠪ߳H.06!>=<Mh`ꋲm!K苢Q7j $wjh=!-Q=g(84y?օA"xx/bhzSSmb"UxBy}W!:DUN%cLOSؼBM60}rͭҿ0gT(;k\E . nWhd.O4TFK(+ե(E%y-e(fAfNeW41OTÐ/rɫY)pY ;U}'#ceQ8^=͔k 8LoR2E;}VyIVN%il|2"RcE TyE۸}y{ug/J?m)rk2/*X/M<%, TV=~sϵ7nE[ nJH՘PqJD0YtƿFĐPw$h%G\l&g g ]h&A=(+0ĶWiMU^Ť3,J_)?d0 YBNh" yx%FlX犞cWe:#`zuછ1.:ZE@4â,Nf#]V;B('mپh[,~vOC3Ƙ0x>mߚX VUu]aӝwPGRUͥ?J%)}&&P; !*#f2 xj!Zj86&7F]OF>]21ze6`WHs`w/4LJ@E DlD/N͂H<5qʙ&~'+5!mJ=M5XmT7sW:m)K̒ VP{Cnd˪FDJ]8S˨iU2SGF~;W›u"z.{x$r}dUS1ҭe_G.iꅪU]jE;JM4e0ap:r +[wHX x(̇὘,)=14^ҫݥ. ݋6,g*?f'sM?LYLTӋjrӵsߞ~%o|vNDa146{@ڊHm%"NvƬ)nΈJ 䵌uLچb|^^bh`Jp5Cw*ngѠdu:tkˮu$l2:.VC?$Xn>(n \)"q#?ζ>J J4LbļYxPa'5u|Az V%13,AXѽh*""v9@Ìw*G>A=P 쪎W6aӐ1ˌE]Υ7qEh?‰Ѱ#DQפJ0~Z -u?^@%_ G&y(b ul/<0ZS =VE8vUFx665.cᷯGlj,鸊6L /="b4Cu HOl C>* l?sqWjQ7[Fa%]b>tBK^y[6i ؟O8\Z6} <"m8+@.k[l)ږhk 8, yt&П?C6P׬4&l"6n7Rp㶄k] 1hc÷6wf3qQCyqt>DBR0 F?8a,~"Ca-g@$`3ORWx SpZ; ъl'DG]A9mJ?"v%M^h9O[3bs`CB,J3a"qd] 29..k~Mzd/A~z9QFQiUJ<Ѹ:vpGDz-$9U VLX"t WQi:F8&ߧ7T2bm?iqiu"1f-z@NNkU6׏|={ɜ_CvUHv-zͥKc.{䟌^Jv ,vJ/ 4"AW 1{46PamsdEB(1D w  QؘWQb)R&{ o+仏83ػ#u?t Y>bi92z90}j{ׂ0&w3{cwu֝ڠ;H wʸGjWR[p2[d39FxyNi4Z2>U[xzV5\a;ehq| RYv޺oBJ{?kThvY90Pb0W #dg dϊƨI4lzmsߥֹ9)w򼾅-T,<lMK7) ZIېHc+#ٝbٖے+FZKX·RA|AOB!eo.6atP\GڏJebA?U+˴bb7:0 "J f "E e[? Ew=5#j T=:Gr<(@҂N@FdMш-pC OqhMg]xY!ynJ4UV(䂆=nuUjd6SPF,G!يv~&ً 7vW:;%,ïHv{B%G)݀?Xp UP[OOeE YCG1ؙ̤C9D3p`Ok{gޯک%*2y$@861Ht&c2&qz[-HXoNo3j+rot#me( 1#/娤俖 nRC #=^ӣSca$*np5B@cF FI:,s g״ؑP#mG pd`W>+hsƌGY-[қ8r4ϒ n l>GHx/\)a_f7;$EWF_cF&̄$_]x`SWM1(ȮxƙZWyr7; _6%|]0oպyb-nL ÖK dn gpE5@Жʼn6VI 1܋뜍u͢juɹG-^/2{48l*G@&zIT7sC_am)زC*+zU' (7Q^nak[1X8CVZG@8"9[n&Z,6l]:C6:fJӇp"]:ҽρ e3qPVgWzKJ۸IV&W9|3׈x{O2v2u7Ld3XFC_IK??ߓt "CŖ[1awuZ1c5ͤ]_՗!0vYpIEOJᷫ0qa5d¨ a3OY3?jqdPNTg!v.iFD] YufN<uV,F Ź{}qUZ ĕ6ķxCm!S3A\ƿ"0<}?Genz@bn*y Q;&S8j8e4 ȎӡX~ex8s'ǻ6K/a# _6y+`6PbW37q|N*Į_/x̴E? fkJ驘O&#ͻShQV  {U^B2t/A<]ns%"j p4GFO^ p|A2O O BE mS?S` Lʔ衬6 kNĉrs91ofs8D.EjK>B ʼV3F]S*Pt nP(&tvR'֣V_`I#H珪$} )T+M+VehKq Tg5GT<[P-~ƅ?y#rtjxx˰'-@i2KkV,tYŘ L@aNͩx.}HB sX3ѺVP҈Kyh@jۥ}DJRһ ޾bxD\!N >*a+k{L||KNHd=D#az&:ClhlM`Ê %,ю9?TrmXʘePhc 9DooEg Y0(*5c*MH! PlLYdo/  јކS[5 Kow>5ݥeZzJ%v{E=6 *V{ulտ<yg"7VL/j>z /Ppe3 i6I}. ]hp3f_eE|qv{wjjۛ&2Uz)ylڢLt{XH"$w/! Wy:\60vcuXD#3M@yX6C╭CZV("4~8T^zdj{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/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_bB65gYZmR^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/`997Lܓ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^93ee5vRB#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@.~=j#Հ m/. Xҳd<0&/[o< ѹij3=29Ac&5~N@ =H'T:.(tBT[pdž- YznJ1:X6 ߧp-Fl])n ¤+ѴAjeHJa{ٕ'Xd>DKa AܺPˈϨTxoL$@E̩ux~8-Վ81" lW3ܫk5?a`b]&kSurٷYtd+|U6R)^Ew;eap'+{ն@QE) Dd(x'mUFh+@w05 tAS+͝LlWKc%щBp2|o \NL, N " .w s}"I^/x]e+8`z*d ]2%C{^܉ލś@&k[1Dhk%~\f6~'aaNgS+0(k8zLAiXWK4*L1"GO>H֚:X뾗mH3zIp̠26 4 !b*ĝOmf9 \B(iX2+Z4^"cmeRdJrѨ81#X@B%-ȆNHh嶓,dWe:vV"f O&*},m:%6p<涉{_Ҋm*ZZXl՛TQ=/;P[%P?R0Ӻ2Cx"snZȂ^#G! %B3OSmU]pzy5< L3LDu e)'}<N\ eeE"oLw`hepgVgZ|w%# "i&n̈T8Uh7I`~Xv-a/O42*J/% өbWu m&*.q@$8띶bge ܁6Tlvsn'hT=8hME?B -ds8`]0燔b m/g!DZtD3G9Ȥ(9kWʭ$y8 P 5n{9={Y _{ wO"2@mBmՙ^Q ~xv6E-4bM'҅VKl,I?uV~XL¸OچHwypNT4 J&ч@MQX8"w.*[Chp>[boӶl6wSY!2`f h.Q 5M}g0& ћ,~IRʼnBn_6Χ \6/)WHbDj)6tb^OY:'6$\KU%(şCpV+H*ML&!pmzò SPwxiPyv hl|敁űW34u1a"=N \ۋ/#X8~pKsB;,u_1oF&M?9BvOQǒYswԥXNoY**pҊZ+#뉵ʄ\+Hmd^K:!kȷ*V YQ}/F(ǺO@M4e۽U+μ]N0lz ?(Vڼ Ф\{C;pE_0q1ߚ_:3XGIˢ; cTƪ`@bζfzmY5@$-5SWuz8kG|,1 cބMF_u{O$?F]7X Dnt ̷s3${cd6/EEL| Arn7f/$%1%eHLK>,OJ:ŨH};TnڕB'qAX\m gzx*o;jL@PmzI`7zt)dz  긋M|x7)I Ml)uw%9N(-txیTßy{}%+n j H^ܘ[GcVq}T0 dUf_Riy(`vm&uT&퀍PK%]TTBj2XZ;w('J;#ҟE:Ɨ$a)IA'\,lU}9VMMw\&Xj$lꋉt ^0rg^T)@"<ś6ɇl y蕶`*IH}f^IE/*9Gj.Ҵ0=ErQAWFN4=58c Q7W6g0>/(t7>>S6ai*-4Cq$7Aony4Hk4/J=@*N6 q9+!c|/Dwc=ڑ^Ald;7 =k.q4[ GgL[KF)]7SXfx` Dw@˟,zEz하0zXg/dz=X(e<\]eΒ7WV Ln?9PٌdC9$nI=dXB7 ,IB^"Qp;'5Fש_gYZ ,?=% \Nested_Multisets_OrdinalsHOL-Library.Infinite_Setdocument.tex7zXZִF! ;]A-MՋhvG"uIBm5ɰ8-'hH]^T3{9 26{3(fFbluDݎ[ٴHYHO)uDߥ ?|O~,ge78 ?UJG1+vsfk~(5ZN~p'Y51K.C ǽ# IG< t7$!pغլ+Yb.GA<Q~euL[LDB te!<vbt~c'¿?Z5؅s#Ls&{%ŝiOytXu?֥S߯_9ч'wIk#w;2n2 FK:EP.,% p{ κ"{UIT|PƎG3G`.%5;"E4 {b.G i?~aT箫CXt =%hZ qtkLv·.HV+b9r::]!9q*|qV۞k+j"~٣agY2ߖiՏ@F‚he$o(oiX> -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-- )3\]2Ʒ(ټo8q #+hcu+^IEZ(Ȁ* )/-ޞ\YUMJ]"p]< p=Z#jxy?u-X1n K:̃]v%o}SQULO w ry/5%M  =i0jɜ7^pُ8 W.Y҆Bs0̣m(/ѭȨcM$k¦i[D=.fT/ક"Zq%9ٕbq>-eWz~?,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 ?[% 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/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:P6խ1mvg2KmL[| _m8ǯ˪!ś;iߣd4/ԎUum*=eI е%V7;121f뭛P肕CE)I'/֗IW@z]H!8cE0~¾&=dj#| z!<`u޸PGmuΡp8׍ kFsϏ#D?E,||A+Y*[(猐I <{Ϧ,Kd3sї1?ϝ0dp `7D{248d="WkӍ5Љ=ܤamGuzx/G|3nJN5u#j͌*j[|mh&WۇƪEMUGcbwKL=^Xb@3kGչ[2p |ա 3bJ%qǘVɃaA8 FןYV tG;HΜ7Wk GL(We'Cs¼U2jF"w]:zzP;fZd7muTٺ@zZ G#Faz4 $ܖ GUz&\Ӱw B^X9&#};ȬbtE+K{0f-8X}񑗩3K bRR!H^T 2Ў-5 ]mLlA7(D8[Fp2O06.4E4ڞOOuM@K_MH$n ̜vA]H*4W΄ O#֔v ɻ. 20{G0/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_ÎɈ"F#*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 cA?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([LMvNl3F?q% tNested_Multisets_OrdinalsNested_Multisets_Ordinals.Signed_Syntactic_Ordinaldocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȤJJw(pd:ĝ[ըה&_TeeMwu9BV*vk0D0!ꅛ&48-.$~ }wX_m gLVn[?nAmPTEeZun Y%$^Ϊ*V l>-n)Х`];U+A]X8jD.'+dRtR K߻Q|ɢ9 [>8׍@u /[&4r֋( W<>;60!:< J-tڋ}6ԊW _JR.rOD Q1ΘERsEvt@k\M aa`*̆ʠ+Q'ӫBӜ/7[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+;qgYZNF撽}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: ;ӥkDI#C#H Kso4m pvE;-|&4 ܊axi3+q59^uU)Wvw=|yl5q"huL 稀z P i3 gt!U1E{Ew㵨\hwzPڢ9m@Os@9û2V^̸(P-,;[ü2zIB [ddجį̧FD. PSN.5aE?`2[kO~}<(˻h%Uc`=XeQjy}cz{AZɽS)KDŒfky-.z#*|!F>Κ“WÌLl7/fAq$-L=~cGM;H?J _ZhpE:U..*W_y|g.;HdVY/h^"إ`d̍XWI`{ԗ8dNĭ=CUW>S|ʷM mN(į=0WӾxȷz7qؓ}Iˍ(Ƽm4\{[Z.a 'z6AZƙ$S5{NӋcLG :xAs6QqN7z /u4MUzȝt:N< rNA8e[*suLgFR=HDi|!Q>w+DXcoEiqѬrR%KRG 5zbEuGzx^fR Q8Awlw0߃ "$pXGFjva[ r Y$.\:'xj =@rl0.xk!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 xdO+I%??% 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;GpF2wVR5 6iP7ysӛcpBUfS'Bō2|F?zR;ځG$LŸH|Nh PBFo#{ZJJB m#>^#KyJJ7c*7P1I-]D4;)kzp?\eHs\6jHӄGbG\2_TfQI{'i&CwHeפj߾}?v/-} -jdec~(1ޤŕGHo64,lvSl4^łMtF*JYFC I'gF9^S&è`я`CAZsh(A iS[$]]-MH"y0n3,-`{cU7kBɇy Me~ӄr=F[V巍}Cvq|Fw< }Yug)uEyH#6j;FĒ?2gSAF8zW~ŭ|(X4)]x A\\ԆP\N>+j[TLK1HbOv ̝l[}&YGcu#5y m+S.E#J-BfZź3筢0;ہ@[kBKڛ^ ${)7enو€V3+QS1?ߗW#i:(4+\kc,3PmHLI:ZIB%j߼}ye c YmwHHw8pКE륀pZFd{~\%|5f͞bᒑ&_{aG#zF#U_7rǀ%Z80섶;Qm/vYғ8&(pÑO>CWF#\SuCЂ 4w"} a4 {eeߔi%.kxYi ap&^ng<87"c9 /,_Nj}^#π=2: wSw)8 X4vREΣ]#o$)L p.֤>0e=pg1% P-3,c^2Zh xk:ZAi<("D h 3BvqܒGz> jR% K}M8{w˓MA+ҘZ4˿n>sRknlxRb=Aӡ,6bez|XUF!pZO;۷r1yQyė4Ed*. C1wA8Ok0bƇޱ}; ؏?dfɮC12DD"mZ@*J,z&۵- EWdȧ3$"2z\e` 56TCEj% y|46f6a;.ke3D'~9Q?esu@C.Ey)%|e 'd8Tx" f6HqbOXD8q7 s g;ÿm7mP͹X֨5Ͳ F㡏Bܔs8$`KvJgd ''CWԃWr[O<U#疉8X-K鑶;Pպ}<_H>Z'7|+9f@槄fJcRFW 3 3$/A'*{Jiis6B2;|)SʈJ#ئ &'7lU61swQ5MȽ3P(3J @cwA >|KKlL6tV4y.[zB\W}z .Ԍ_:GRǍRB;\&xJiQefQS#"5@@z3tiC P 0+XR)R% PvG/:</{t2!JU6k.cbu)ay0XÏ|?=,.i{_ZUs\:dDdm§:ߧ%M1 b/Ř-ݵnWձU si{# 6U5wB_[YqzgMhƲRs\G;UA.jWE!>I *'baɧj>5߳6eez\D+8 4jk-e7snحDTqg1$AfvzŎmk&QGVCa gNJn9=$0'6]&+F`dvNv&}0:{6‚m `6(ͤ9hӯqi:rZt?3uGrT(_Z]y9qQ~8O`\EZ:|BR[>}Q~4Ar= 7+Q-ƅt,Bbxb\0zߨp=dϿv*{Qֆ~Qp}0pɈajX[BF±f  #x]iQR3S` tIo7]e.G v  9F5)|XujEkm@J.իG#? aaTEꂝ=Ewv1xm1@Bh; )O5䞜83>0GhI.L1!\Lsk퇱ZK ԮOP"cs5†cHۀFO)ʋNWlAs@#[=!=mU]i@ S&e6 tYH  zn~qxɣL?>Ρ: vg{`< !qLƤ#D y W+/اeWG - -l0= N0e@6{J;cԕoyb;Q3ʩr(z^)=/wWc5Lk)]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&˂ 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'gYZ  k k ?q% dNested_Multisets_OrdinalsNested_Multisets_Ordinals.Syntactic_Ordinal_Bridgedocument.tex7zXZִF! ]A-MՋhvG"uIBm5Ȭ{+fsp9\s}QuaGlXP-`(zpy|^:ڛ{R = Y>w]}c7P<ϥ *j:\%cޡKKlJ7dkJTnW A#k3qfn@ PII+Er#p G4 wN(6mSK48B@KTm:) LEM?ҞY_8M PtJ &#Bs~n`XܙkhIJy4ɞ ou)eΦj#&~DfMrLxQ?,]e5~ݔ2@f#} =w1+Mxn竄Tqe-6ytǐ7 W@2 gʭ:u>788N7U(׻E !n)FzG] )ZWK 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 d?=% 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 NN6?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|2gYZv?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?`"YmdsatN>|>+ͫ7Űcp%S%^V4 jl=vN_pRn7B 7Ϣ:` ϰ˙P-f}?:Ȯ~ T~TsSԟڣ&bEڌ4E!'41KzwJe d킮ݽ͹$LlqObFbX-;p]% %JTWe>& _b`Z]_oxR?qfTdCT>Vfܓ(d\aYuh.Q9Aa6p^.ܻݩ⡑Ӯ]˲ wZHmuv=`Y,6L ^5+uDžz2H y4A}`w;{؛. ]Vئ~քyj@9#ůnO t搶_)@Y; _>X0zͬmcDDEc@F[&r4řv;tk.QNu^hKxӦAM *7dPլ7,u>![|$4TO\;A#mQHMZb!/V 'u@,B5@2LHGZ@e=n/eYzx36K+7n`)G+_F/5<ھTب1_3Y(Kv:$;+q6ow־j+s6o3IDaEANR@G 9=ܛ#78}en/t 6#UM vu, ƿGfNYe_PS3A8TСT$)uV1|SbnGj ɦm_y%ɛ<*cWo\ k[ؤW& 1 jJJT\ܟ#RRr)i2$W,,u*#Q 9(S.i|61y^\`}tIPc@4o$^/xrb:Pv-s(/LքY;g-U>E!irr<2 ZԞ'db.V!gVEHRK9`z|vdpv1-fBIC>G&giYp&Po]ַPB=qrwS6RV&%87wEFP=DIƢZo{󷮢v?_NĹ7X6!EBI%gozVtb ͊+(gqsטO'j-|z)N!i)Ԭ Li!@(Ո]aQa Mswnܚ .I! j#J4_-%vL.V_pi_J(9CbJxe+t^S^]ujF1W[-rf@C|UTI]_KtBWzoZmD30kuW™llk[ ZpL&-= 'u#YW @7HA- 5Rd_)rfb $sQƆupe )}*HsyeBsu"6βj}a}99I`b)=30e2B.)֪qdfcvAj)+ 2? AM*n^'A~TrY8: tgM,Dk]6̔T3 Mc43%H =KLO3M*kPZH9ٗZaAǏr+Ln^Zp<5欱 *rHVQ;yxwPc Q'q! ł }jȸ s.EQW\=j?wc*wFN^ (! f`Բ  _vJ-w4 bT#CM=Ho+5GU0&[x;!=.̙8xdtO\&޽#d{}Q>oY{ T$z8Ū3D]Q <Cp.)5HS(3m ~!:0/Bcj@|qIS)lkr<1JX:!\X/]Jm)Cz8#r^RHC6ELK Ec5hvb.-R:3^>х\#uGOJ"^:֦#] Oo#)ԛ"6_83 ?C'|CaP0*"iRE% n$= =OqֵXuɣxP\:صÒoMFӗנ"*F~Y-;?DH?hR(I7"XBOM]O'ʞ%6j\NMa<]TۖQf lʪċؤHe߼`w!1MB d|}̡gOo/gGx͒j53at`g8E p~'pr)391CD%@Nb`gVuڦ8Tkbk:@ilg۬kjo1 #c&8OH݇)R,U^LSȀ '{F!ʊc>^!#1]V{ 2::,b鞯gv'`ARMWt*K{d蹸֩68!FW;a6iݺwk~ $fiH!Sk<8 tPDs\Ս-hG*ӏٔA5ӻ:Nݹ uz-'ruDgYd`&ڊJp9L> ;LTy =N>#t0.'ϬΚ]K ʷ_$-.A%Xd +6p9RȍCǫ .iIt N`6XX[^݌i9mStt]#%+e_6=~nrFK|MX@H!zhVؖ_ VϵK>&l3}X|K`_B5Gj_ : cHY!uq,FmQB'1