SQLite format 3@ ?.C  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info e'rL\4 ]/ HOL-Cardinals:threads=6elapsed=7.801cpu=44.348gc=1.7647zXZִF! ]ŗXiɟ  Q ƎRؑ)x0/|>@gC͒jD>M[Ъ|Q-Sf%AQʲ%G?FWc% o &hIL(_xYۨ{ьHtk[G4C->Z{Ղ3;&]55M0ǃuY3/}np`{GP=5 bQ<Vm@i0FiÒB*aF@v{ƃ#m>܎s|Ir:OU M Cr @{ؔ.uإ c(/@/A,fD ׭|Lr9+P`6g XuPV 4~7! 2iϙg5P4gYZ7zXZִF! ;%]ŗXiɟ1?ߟt;9BP2CZz眭5 z ?ZOf|۸Tv^9#I@`|2 mYP~O'HF ̑}PDž49b;H-xEoǡjh>`Q3m؍t(d,?+P& .Zd{1 9Uīj EXJA1͚GT&^ K`xxZI"S!U)YOVf>-1` Ji6:gYZ7zXZִF! ,]ŗXi%Lā ]{=O5Ś" [< SOV0"Hun#-+Xc@aQ][te\D7=!S趴w<ׄIAGr H{x r $PwC#$ =gvsM .aA6:=ieyq7u<@ 3u_dqme#O ̘1ق9TD&0Ifj6B,gӭKLnO\Y E boۙ)w/JbG!㛱Ae j]B/ ט:c t&>S@ | aW?^Ew+!TшQGRsߌ&u.pZ|ל!5*ܾ ͏(.BwTssLn?(YmcF4Ծ R_r2}Nk W̐؋"AY>Q'iYO!V*1?44c)nz| THB>H&lEU !' ig/jĽYwصmkO,t-b1LEQ9 ^z57.3&m>K5:Y%K)*gJ)ŎA1D2̖,PI1+"Cf3ԟo~P pslE(Sße[ \l2 yF?A$-1eww=m:U"D?$8Hнh3L!iZu%Ht I5'Rfh'-CeK=űп!HΫv[{ 8mݭـ1,t(ٿYz>މwUyF,[ם>*>ynuNAaD}+0I9QvhjȨ3CʪU@b|`zSK󅣞z~+D rF+]4+ƥ.LWrݪy4/ֈI9wx\V;=O:]7.ˋcOVrFQ)nڗ'6; ܾ;QzHv:[h3u6aB,2dI;@@T)V YpQgYZf2538c26f82d12bebdaa0a3920b2be0d9cedb51409b31288d2a9ccacb2f6f283c9625a7fdbd68e8f 1ec97cb3aeae702d70f02f0eecc00288d6bcb40b ' HOL-Cardinals8'OO HOL-CardinalsHOL-Cardinals.Order_Relation_Moredocument/Order_Relation_More.html7zXZִF! 8]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*1h5'.JU!{ygjE9Ƽ@Ҫtw҄H)1*4iH7)=wf8g`A7ԧQYO#om(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s,$-scEj0Yji̗e_E & 73DYl6t$4*< XS_Aw6.o{F =v9u~ڝxi%ܾ_C7-?9 SQN} jܜnPsa`Z̡huZ`,&Hl$`CdVuف`9/_t"C`&8G %~1}%&6qm\I_tx&v ]kNp(dƫ_xV:Bfn drus:Μ  ؐߨ$ł( ;mC*dY2ْ4ߘ :@-ŶXxٚՙ@B9mݵ(2/})=`hߥ`R8}( Dq("=jWБ\nL2ݽ#="srIˤaFx@6nDSzL8 6_ ߃wɫ'N̮wJ]^jpWtjL烺zd2`? o.h-J-'7UtmK`ڌB?vA?W ~Z}w+$Z%~J\;'F~K"'1b\p1cjXЊÍ)Zn ThgP|`??^)n %y^~=,G(dq"-ƛk{ֽ8pKdjTrn82{tEO'< "]f'ZB;h1K}OR xOv'OO |HOL-CardinalsHOL-Cardinals.Cardinal_Arithmeticdocument/Cardinal_Arithmetic.html7zXZִF! 2]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s(Sh/wFn…vpCtᢠpA0q $$Z<O[P:m4F}gdȢ[9y!蒲 BDUn7kFoz8'~6քc3t:I41FlC=):AV 1!Gq<eTrW%sKF4 wCO/ iIDXD#Zfd|s)=E ,Iچky_hEE&#e sدsxQ}MLX-HF&ʟG8.|x >4)+E2̒E;pW-ɷIX~UA>HVm vaN=Od{4j)p6;}tH%:gG4'K˘'w&{^F (Lӭzcq^bF}ۑ ڟc?6WfbiA#:-9#ĤyDxARSɥ^L*#Tgx8: !ܶbZH;YML< UԌ]nt@[{W*-I@NPx.a UrSzz]zcy";'_Bcqrq/-Pـ4f$۵ƮjH1;W<'-dFGR|Je@SUy' "cW$*k)1ldQsn#WҁTMJh궰ctb ,ZKKOQTp1؁On0A)eS/ྉ3o; X}rK ߐ=͒Z*6PM#J*Tc  B)}anmaG|Uh{qJ?]Q]=xZS"uC9z3Md(Ae QIޢ!mn#q+|ҝ!/Onޒ~>Haja2 Pؙ ![wɁ]dInEߒvaf9P!.;DМÙ]8C7Y"t[ρJEy`-+zV KDd$t`ǣhFs&*k$bHDrlv'[[~3, ,B7z;"% Ю: aS 36,|}[}"wZq;W3NQiOr_PKN(qʟ4]qJh.O%T:P|]з,[o㦟pD}+Uu+- N291ؼ+jf%]"j,0u* FX_ e{r%ޓ'ݷ'BK{\t*#ݱ|G.-'&%#        N -  | J  s $M I W  R'MKHOL-CardinalsHOL-Cardinals.Ordinal_Arithmeticdocument/Ordinal_Arithmetic.tex\'WUHOL-CardinalsHOL-Cardinals.Cardinal_Order_Relationdocument/Cardinal_Order_Relation.texD'?=HOL-CardinalsHOL-Cardinals.Order_Uniondocument/Order_Union.texT'OMHOL-CardinalsHOL-Cardinals.Wellorder_Extensiondocument/Wellorder_Extension.texN'IGHOL-CardinalsHOL-Cardinals.Wellfounded_Moredocument/Wellfounded_More.texS'MMHOL-CardinalsHOL-Cardinals.Ordinal_Arithmeticdocument/Ordinal_Arithmetic.html@';9HOL-CardinalsHOL-Cardinals.Cardinalsdocument/Cardinals.texA';;HOL-CardinalsHOL-Cardinals.Cardinalsdocument/Cardinals.html>'97HOL-CardinalsHOL-Cardinals.Fun_Moredocument/Fun_More.texO'IIHOL-CardinalsHOL-Cardinals.Wellfounded_Moredocument/Wellfounded_More.htmlD'?=HOL-CardinalsHOL-Cardinals.Bounded_Setdocument/Bounded_Set.tex]'WWHOL-CardinalsHOL-Cardinals.Cardinal_Order_Relationdocument/Cardinal_Order_Relation.html?'99HOL-CardinalsHOL-Cardinals.Fun_Moredocument/Fun_More.htmlT'OMHOL-CardinalsHOL-Cardinals.Wellorder_Embeddingdocument/Wellorder_Embedding.tex E'??HOL-CardinalsHOL-Cardinals.Bounded_Setdocument/Bounded_Set.html U'OOHOL-CardinalsHOL-Cardinals.Wellorder_Embeddingdocument/Wellorder_Embedding.html U'OOHOL-CardinalsHOL-Cardinals.Wellorder_Extensiondocument/Wellorder_Extension.html E'??HOL-CardinalsHOL-Cardinals.Order_Uniondocument/Order_Union.html \'WUHOL-CardinalsHOL-Cardinals.Wellorder_Constructionsdocument/Wellorder_Constructions.texT'OMHOL-CardinalsHOL-Cardinals.Order_Relation_Moredocument/Order_Relation_More.texR'MKHOL-CardinalsHOL-Cardinals.Wellorder_Relationdocument/Wellorder_Relation.texT'OMHOL-CardinalsHOL-Cardinals.Cardinal_Arithmeticdocument/Cardinal_Arithmetic.texS'MMHOL-CardinalsHOL-Cardinals.Wellorder_Relationdocument/Wellorder_Relation.htmlU'OOHOL-CardinalsHOL-Cardinals.Order_Relation_Moredocument/Order_Relation_More.html]'WWHOL-CardinalsHOL-Cardinals.Wellorder_Constructionsdocument/Wellorder_Constructions.htmlT'OO HOL-CardinalsHOL-Cardinals.Cardinal_Arithmeticdocument/Cardinal_Arithmetic.htmlɠD%[NrjtŁ/d^p\ߚNĐ ӲhTvqv{hwҷX wGǠyF=|Nn+ACbdՖ2z:Χdq{$>H/VS㨉n,[.XG=r-FHrv۬JH%5 _g̀Аg)Z |٢{9;^'.AS{b9/]]2kaKRdzӟqjga*g7p*نwˌ#*K;X:+}ɒy,Nl,n# #;No&[6YF>5gtd B@mp7] %N q^[VP6P*#5-VA&Al$|f:qс|"E<\u2Yιt]ip=v"OCf%6 9֔T_sY~eˋph%^(ZPI97'͗ A۠n+T*/2dv%]2Ȏd=ԍA* 7Zajǹ'bFT6s䊾AFe# +LJ6?KAFkIH?EŝNRuy"sG3eumڥNi B5g D^28ἶp  47}VVܟoGy-X 0DSOyCYw"Ѥ;ľ%|֭X3L wGpDt=(|L[&foT7x@Qéq)9Yc8=u|x }Q -Yه0 yD̴.f8e7\ Ϫ,eR(*q}G~#ʢE^ɽU 7 5B>q8ÒW&`p% yɥ>zwT d!W z _XJ+mv~P8ͲnL@$m曗 Ec [T ȏAt媀Hp'gjZCiu3'N jERTqn7e>\HD2V ڠSGSOPPfOaڞDp?a_ձxދDD4 ӊgq}F7;U_cq)_X>vڳHA4ɵ*}LndUdފUa $z.ZP?fVjKaq :i%!΅0\ܙ5o3?~NGoۮ)_yYSƱToPpOuCI_q+$@dBB2<#ZE=;X('m.w;huM~\9$*N YAø”e3(ލ~ k%SU0E_薚;\aYHmCLb`%+jՋHpۻ YsjԮ7r̕h *L!>$ABaqvl>4wC^w}ҚZ^nOg4"-񳍪?1 Ωq ~fwf[;Հ$[e}i!.F_3ԿyŪdQb29e'{9qjPCʅ]W`ȾMqHAlbTe([D ˯ӏ=ƭ8QH)Ň'*rJ@:l9U5Np'hD DZYj XZr J̰@1 ^7Ϩm(3uם N5c!=SM%W3ЮYnW2Uڟ[)3c΀:Yk͑,L:3K|](s#<@)X(9hW}Y=U;J)55rT;} ,a\O/ S4Ѭp6-E7q+TZ~0'm Dkʆ^jAʫ]"+--=i"2,GzA.-ԋ ^%ohA-T|-DhhCɴXNTLkڽnV蘿7p9TD|wvsb[=Ť80 &P9_ܒW۹8M`=;J TC$I\VLVU-x~PU֜B4¹%dSeg(]aIdWkc\d(8HJ Pj{BD?MVC6lUrz6־K^GM{8(p2=&%aY섈mFsVU׌RK <"9lZS`1{DJxiS +``8ۭ|sle= 3EPNۈY=ģ9]︜s=jfKj!RՇ_@']ȍ (.${1ٿ4>!l.iqV3m++ x әָ6Km)~;i2@R&NC4u"8MSl VX@v$ChG0fNrExCr*ѭJ|5s-ѳ3#&^q]y{JAaJ:lSw_tB~ӷc3嵞JK_g{lP#Ĥ>΂gj0Z)R3JD Y\O_i ?m` ŗҜX jy5sPUULiPREBpXz 5ͦQ!M 3B̔rם!v@ryN(%i9b._|v"U&cQR ^%n% ʇj ĻT;ߜ,JC }`avJ]a/8{Sڷ5[VN Ja. B}.o`eEA izbo@<\ch̓̕G#s`-ѩ`-.~ .\kZt;-DTN/6_[G_[WSRo]Ȯ`#ڴz:#8gݰ"e-L/r`b(\>o-X߮FNZwUG27§$)228;PcB[7Ɍ(|9KcسtikE]M`7RȄ|r p" &McA,kDnk9٩H"/jPIsʼnycOu_Q8k$tVeIO{7wnDNTY!۾cQѰ.ne:)ܱFbvZdC~d9L!fi4.3\Iz N $s xeHz#/{8iJv-O1Yt1DtW2y95P l]^-1*_ъq:&)?,+=g.^wT{p-)}s $s ./QgYZ䌷eo{c\]7fLTyKa FױRQZKb\Tv?{:}}" '?^;R˺-@Ha4qr=jT$ TʐJ?/4RiWwE;UTw i* -y`j\|p!}Ma\P*[t+a V3@?BRN(P\$>A2q,]Q) 69HTFNgFW偷y4YߥCX2ﻩ^eG"_L Y?r.UfO}gU!,eTY,tUizłݒ˪iՠby_qSZN9!T'.F5aE)MXO_<#3B-K<ϱ%N{7{Hlgɸ3!{7rVǣ>QŌr7bp[QU^s Q6j(2UA5KXUzZ=Hհ]rDž(bYœe܏\0f7ȴPYN4Kmosp ԩٿ ٳԧ-  寴膱/{u]$Mx nG'/QH ]v]D,S"j"Lx+7"0: ͋mC"Wa ;@zyM'l+xO,ȜUC#"jvj ) dP~3[+dnNѪS9;"2L=dc֘+r|cDlͣ/x}m֠J/d5׈:] a*9S߰ K\[*!f F!/Py{>h[06hV"dݺcw|>p:H/63 ʻ間l|7VWC:O8 na ޺O`"j.Z@{0YLåE+o*޲ $"^^FhhPŋrQV12DJhU&%`~>΁'i5J!? `Ww&}ً28YB ݙ'=҃ol O@Q%gss3cڛX^wȳ9> q$cR}&2TpBݭit}UZ0 5Zm2 pYIx'341- `ϕ Ww\Y1m38d>4!*2zf?,}iGt\~.=Ј6U#dZ\ĸJ|.SݳA ~W_'@i^:*Q'tDPKQu(_7GzB+ڀ&ac!Nxi2fj:*^{lmN{QxJF9$e'N?3Z5;u8H4 KR] -09lfWKբW А;>ڄbZGt.7fd&/['ZBd9*6 u|>vu50r5j;!{J^u, > 93@xTEIjROGSŊqJJy<"n tI al ~Pt^\Gg&5ͬ*2<~Hz2 n4}WM烢ѠRc@Պ&o^^qA44X(+ J:̺?^c^~ {B?@iRWx'Lx -Qqw<\П^Q \L(Ky"P̓-`Ȏ~˟hh<qL+dzCQۭke`aO|9p6eo'9)R!]<7B]0tH O6@fq}sO#6N-|`,].)HUto:Ⱨ6)gy ֊CZ7B"&fIL٭ 7~11E'AaKgeȬ6觳;2RdGY^f 4! .R9#l;Xw|1]f*z7_u\zdFR'^X*>UOÚ֘Dur=G"S&!?Z7ӻj_Vxڻ1H$'?qmef7J"dky(U) y=sm2i(w;L4sD #r⁶mgsLO2I#01[4vbjIDl@6&w]p Zw,i>ʙ cUh~Z@z ل?ޚ$ygS!4,P$+k}AV>h8DVH"+J_U[l}NM.bcV>9 hE ROscLj~я'y&oؼ׫PMF >Mw%a]On1ߒ̕k&mϝ1~_t+Bq*ژoaJټ ]WIybpH]EWX*z3GfєmVI9op]7zXbS \"=Mz&3ھi;r䵽:A+*(-;ЎlgM/9igu3B;y`ޮysuՏdxMʚiVf]#}pfI,?[;Z[yeģfZHT!'%Hˆ;Q¶ 3j\4V2/;&BwIO?"!S"jxז)l=T`=7 1Ht=,r+al1D2t1f*et("C*GRo+aQ7)k20HDW/пM<3^鳞hLl`c|PULvYE&~@i`!σ@n&d˼`˜>Aii$:1HNs2%Fٝ_5B QThc}^G5V-HuoD?B&}֮ȅ8Vx>YGw)_UVq5&=սd闗vda,%j%7[AW zHB+|4"Q| NA|O9PP̵]^nO2i.ycQI]UV=Y$gtM|ôg7NEbƓ Ocӏ`;=lQ63Eser j /wV OJ$6NԢiZq:q r\s^'GxHhv&Z) t-<ȬV+y /]1O@6x-rƭqb')KUtP3JeK9<$(FAY5A& ͨΘ\w^8np}S[?!D)/wU4CUESLj$>轶Qӎ!&!(D::w {Y' ݷf _!%`Z$w Bmb+K#oHޒKEQ NÒDS~aES6:i&UmI7c:c`D 혦[a<d|j^|u9p}ZIpVNMrۍ!rv~S# ^#S|[JkZB&Q{) y5ʚd^Ӆg}ˍ jĨ:gVTw|)hT $ \q?E55OPiPP nvq(Ll2\S~ebpC)`}DjX|W!y9hd.1ze#Є8seOcpl hnL+rB frZL#jH/L|@qζ1%qER2o5*2!H7!%GI< $U1gJ#h_*D@lY),%x j+P{H"A|Gsq7>Y_ < 3 0ͦ"DsBxϥ{`,26<_ 0BrBӴK$8_+Z#X)t%1]6|^yE0.X[3}čm(]f 9h CbD \-*dMp\Knƃx1)ReaNƗcR]nZL7^i>ok_ɽs?2ImVv1(IP%iاlFQ^>ώ߬2&92`fw;ƥE ]B)#UZn=7ϫ#]G'H$TZvnlY @ۡ|t p?V/]gE;NHb25Rt8ijK ˕uwʈY8qNճOd^HL TfĘOJ^ZҟPSϷUsaGPzȩ5f$C'z}8qzFIŧG^mJKgF4v?HF.:Z¦{$3~; ܭ곃,E ,K3Ş )I6UQ$_}*@h,|Բm8lu%D /ޭN]zH(;<x5IY. X6 Ƃp)))aiv"({ r1yt;R|#)vpr0|n09="HJͨ{l0P]p312%uۻYQt `ѻ4/g;xu\:r_J:c~ vLP<)PE6<#GY$^l i{ y Q+T>H١sb{JK B7n;*% {]D-?!27Q@tVL$3}/i  V*3<]Lg-XfB?Ft&5-2o+-mE <>Q4u5j3"ni2w@:njfl\e5v_A\\S!C@1D#s/ ;N:瞊aĺ e"͍J `h -^Er&q>Ym*8$ •:u.w_,3qU Un-" 3G"JzOaW,P_c] =drf-jb ez?=m럅ٗ[ gA¨ yl"q%ӱLt7cKU 0ǠTw=ZՐ8L mɓ@)hP YH,E |0qߔ~ڢ~sSADM#ۋ] C<8͞ UЬAjF"6EгSaYg~FK1HuV2(YtKom/vJ%isre=a6*;,-ʎv,¥?kӦS yTnL?GDcp1ZM;R % tdWx\1?p{z|/h{K72G`t>ؐ:-62i!bit{bnԅ]Ƹ|)X:Rq d K|oL8E}b aА~ٕ͇T&Z*^̪Cj&BHG$Ska90%2NlN ~lO g,@ sCY~=2!FF.ޠ_n+jvL,CMV#%Z *7p A3icCÁl Yވ6C%vZk)X\ZJYnE](~^͠!N6j"`kZOWAJ=tsl[r%d{}rhf[#2fkJ~nM+ KY^#ɌYbC@!s81Q@ ^k s?+ϊQE|/OtxÔ++f {:WbcU\쪒pta%#Hw7gѱke̸Ld22e<iI&Nu#y?c)ViGhN5CR\yP9\|qs2w~a@%M^Fέ7N&!`kda~8WI * XAO*&*f~H๽Xd:H$Ewu#X:slތ Jk@L .a1 ng8Gk"{F|*8D-~-=~hMdAvLpw}NԭRLsRRS7蕭y969v3q>3GuI3G+3Ӑ$aɴ|r\X[? } ZNƸ[ >A1Aw]c;zD%6A tN0+ : $@G֭lֹxX^#);_ID41JQ3U=wfКh]gw4rqD`~^? #t!AC|*!=sCZxB,&{IQ,eVqC!Հ9srF#{u^T*B`>m(SV+"&nc: Ѿp0~}S*w|P#"T@ffi=hC.j!Rq*8^s̊}֋[ɰeOEFGz?/Vӗ@]( kIJagmLMZkgݓrf~nbzV]38([Oz UF}`Xň]A{1ȍA M.NWlv5/;d+ mh@.8_N[wC?U7D Nzew iWqڱאDJY ʀ&I/>Mak\:TKVޏZē̾M-8 | Zin<Grї *yO?4]9>3VS*̏)6d-Ȧ޿ 4`ac  -ޏgfޥ%Nn-OztpV= Fu N \Ae BY'f;̖@\wR7R+}"sL_Ë2~.yPߐ8LGܖiL:S ==+l~~&Ad:2?f6XܡF7R:r3: X#vƌ^XxQYVy=["&[V,INړĜfC 'z'(61I`@EtJ窬 }E"ب{`"r-^")wۏ,(qS"H* "֯GO_?ji e3`y n0 ’u0A`M#;pz:a čMjЗ?(Z_[ kVq=qFKRdXYm hϴКlB' Lou0fBwl"|JN6Y''pS|0BU^ZZvy6KJmU)K0o}{oCޛ~iEj}T -X4i5MK+GEeFf?v_;~}ZCt=4dJQ9n7StYm{ $7 Tدn5lM_(|1F}e&4.yTY h9Ih3ϲWٖ߆dɎ|YiE<(G3QĎ;RϞ8O3X2:}H0`h`G5j4^;6d'BWk| !YMa.)>X{IRܚq U;^]N T `#IWǝR ]H 粮!b[=j Z'-PX#ItpxP@^k1;(y'dZ[H+{/ag0"*1~8XE+=xQ9n,CG :Ǔ+'U%l tbenLeބ7Եi무s/f =YJVZ n]L#;֞\^Vkā-# w2gOF/M9a)c߆ĺJba8DS1,jԅuU(>Ѓ8|6Hmwe¿cſo\WgC׃o@* NU`Ot.8qd=]SNWHP1wם@V=:adӈah,s3ʿ_i@;F-(9_xboDz8..ZGk"vA 6Oր15~'55xls_tc_΅:$af&u3-չK8C4q\k` \%E`n{(PK9*i@VS$v2hS<-{ndqDAU3ZXmwMv|"c7լ[S ֯)>FS_ ] [\p)7c"ǽzmha }¦imr/xe: )~4}O(:K'ц Mf*bgEd^kdZtLyS@JChVrZ4Izͨ6Ӎ?c:mԅU+BS%(A݌HrJ?f nh~)^=MA_˄L⋿0E 혠#c7TڔDR$(<B_[4O@?𬦋mM8@\ceJyǷw#Z%Ԫs|xXqĪP]~ 1Sq *H oA0hT4}&.<Cd=[Rk\U0VL8.Ӑ @{6p{4?CdtB*`etPTMGMMY'>YЊ:,k& 9:Y7KFݾֈIz~[I V-U[C)nKQZ[^]Kcq \CKḧ́:gheONNj)*1x7}ш.87h"/N '3aVjW/zگvF(JrkNQ ejj+0y*\xGV UIZRY!1OS19qEPѷuA}Zi`JAJ B8IKKQ&)Q8Àw?* t#?5AͮZ"lZ]xW;P*ë6Kl~fAB P6v\b+ZO꠹JƌԇN֟2HI{z=+ ,Orl{* KC] sH^if&=XQv7ExiC$\d`3:2f jVSɯfX 9#t͗N",һY7t؏ʴ}G4d4vĤC%kƲ ~N6J+|}B).GS~v9Fv%[c5Rk.| ;(߻ _ ԇݟox9ZS>/9r]hFpv3{ZeU%È#{li)*RHN!hf&Ka48$'|co*$u'%ENrlW 8LMkU#0TchTsP4Ac# 5vRqpiK jhx"+^zV$M еN>l3Uԍ^n!DۓT}!c?+w;&x(1p]*8G 윒vi%}ٞ0SV7xEL@T4IDUE͝I0J4}7H9+Vܲ& |BGwY[=F )~ސF,u_~K>QrS(^j7\n{>0G]H'.IRq{HZh{Pmo $cAgZjT”Gb7ɒͧ'8{Eoar*E%4K3N=$ 0% vNL .HUBH6huX Wm݅CC^R]]4@!$'}UX15|3G'BHpvH8%bN>ōZŴݟ/3ɭu) XYՁ)b >NJ5P̃yȤnKLD]#/&jO|{Z+q< ԍ-U5e귢}z[̚jRd4& _ĹTwl@[gR3WC1sj)|pK&5rJg+Tn< ͊C{ƥ0kXN蜋8GN'I#ÙizLU'&RNx /O)#ԎG*D 揍zj5I(KUIk&ieD$̎R7B2iy'-.CNoܴy+Q.x@vy4QopAx- }{]ȰFdWI<WVY?>R9tziu"(xj5w09.d +X#& ^cJh{[ B 3Ic^Bm.1@NfLIYnyJ9w~=h2b+ʬٖmѲy8}4G?/z 쯌`G*<1`np_*\ҝ}['vcv _Z'4ZbMpW"+**"3U ]6_Lfnod< 6]:a"Y[d^M;Rw֤+;xx'^v8 Țʨ¥\c&pK^)P,(xE˾fUL* qWup u߿ S=Iw;9aswL?kܥ)/+6:+P9aN{>!o,v[5Y rH:ZQ?ReRcC9S[&5LVͬج  W(L*m&F vGRkDw@h`eMqOȆ3lDۯ4nEEF { LJ/-岎6,m-4/,: UYՖ(YͤcU'fqϣ0R|-M^o6LրYAfVFw5.R 7\p [(ߓgL(] !ʈ4r@#,̟ Q -y +>tW¥.ךB`3З gTd:V4ǻKSH?) K;+U茻gv_z0֤$9Wvۋ*UV0OϩVTR|-5%F7ꯙlbn ax--IGU::Z|M{pb7SGSpH:1ӰIs鑅%w5x6fdDlFT6/% EWOz^XuxM@)d'+PFYmAA E-Z'(G{9Se5B bԛP A㩞drML:vh x`jK v߈Gy&t:tŧ">ަg:̮ljڴfbVC׸B`h|fJ6Cqؒ_"pzT ~_oxƒ ak9à8K_`>29^$Uq"(~7kR[G:0.~ԝk. @j@+9bx Dگ7+%{uKi` hvD(?"V8ay\Yt~U]"3Da T>d[Cč~Vbd>s{eS~p$)HIlyemlD4)?75gYZ afa'OO HOL-CardinalsHOL-Cardinals.Order_Relation_Moredocument/Order_Relation_More.html7zXZִF! 8]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*1h5'.JU!{ygjE9Ƽ@Ҫtw҄H)1*4iH7)=wf8g`A7ԧQYO#om(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s,$-scEj0Yji̗e_E & 73DYl6t$4*< XS_Aw6.o{F =v9u~ڝxi%ܾ_C7-?9 SQN} jܜnPsa`Z̡huZ`,&Hl$`CdVuف`9/_t"C`&8G %~1}%&6qm\I_tx&v ]kNp(dƫ_xV:Bfn drus:Μ  ؐߨ$ł( ;mC*dY2ْ4ߘ :@-ŶXxٚՙ@B9mݵ(2/})=`hߥ`R8}( Dq("=jWБ\nL2ݽ#="srIˤaFx@6nDSzL8 6_ ߃wɫ'N̮wJ]^jpWtjL烺zd2`? o.h-J-'7UtmK`ڌB?vA?W ~Z}w+$Z%~J\;'F~K"'1b\p1cjXЊÍ)Zn ThgP|`??^)n %y^~=,G(dq"-ƛk{ֽ8pKdjTrn82{tEO'< "]f'ZB;h1K}OR xOv'OO |HOL-CardinalsHOL-Cardinals.Cardinal_Arithmeticdocument/Cardinal_Arithmetic.html7zXZִF! 2]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s(Sh/wFn…vpCtᢠpA0q $$Z<O[P:m4F}gdȢ[9y!蒲 BDUn7kFoz8'~6քc3t:I41FlC=):AV 1!Gq<eTrW%sKF4 wCO/ iIDXD#Zfd|s)=E ,Iچky_hEE&#e sدsxQ}MLX-HF&ʟG8.|x >4)+E2̒E;pW-ɷIX~UA>HVm vaN=Od{4j)p6;}tH%:gG4'K˘'w&{^F (Lӭzcq^bF}ۑ ڟc?6WfbiA#:-9#ĤyDxARSɥ^L*#Tgx8: !ܶbZH;YML< UԌ]nt@[{W*-I@NPx.a UrSzz]zcy";'_Bcqrq/-Pـ4f$۵ƮjH1;W<'-dFGR|Je@SUy' "cW$*k)1ldQsn#WҁTMJh궰ctb ,ZKKOQTp1؁On0A)eS/ྉ3o; X}rK ߐ=͒Z*6PM#J*Tc  B)}anmaG|Uh{qJ?]Q]=xZS"uC9z3Md(Ae QIޢ!mn#q+|ҝ!/Onޒ~>Haja2 Pؙ ![wɁ]dInEߒvaf9P!.;DМÙ]8C7Y"t[ρJEy`-+zV KDd$t`ǣhFs&*k$bHDrlv'[[~3, ,B7z;"% Ю: aS 36,|}[}"wZq;W3NQiOr_PKN(qʟ4]qJh.O%T:P|]з,[o㦟pD}+Uu+- N291ؼ+jf%]"j,0u* FX_ e{r%ޓ'ݷ'BK{\t*#ݱ|G 2jz{!cӅf{C&m-NJ:uS⪍:OameO,}YyQ  'MM HOL-CardinalsHOL-Cardinals.Wellorder_Relationdocument/Wellorder_Relation.html7zXZִF! y]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s,$-sa ^j Lݿ)ctŋbB:kl 5j&y)-*?dl7xODߠO$ #%E(0'wK5Ewi'*@^эgߝ+`*tpF2\su< Q.& a!&mk>#`*J|L!;tUV bѯ>rX -.F$s. L+Pp(a0}&oڌV Vg p\G|ACD5(R IL$ ;Y{QH,^S>tqjǾO̦#6DuJ`! hSu]^uwƿ'ٹd$xrhkp{ AZ1^t0Ee:I::Њv9 lcoėjJ# =[R/R7?/&IP Kοs<3vXDma0oȰOvrbse؊?;KأCx.u('sӞiŢM.4V!/F=eeXT34!8jV뷅<3AbFG,[.]TU;=1> qPiÎ21PɊq㏧XKІ:U5{(f[fǀs f ?-4)ɺ:<;PlP{ yRy({sAB*Bd7sS6L_BEFprξ݀vciH}UQ"L ԭ x; I:~C/hgdP9qm, L#4ypgLސF(!MΖ].NoADe%Y⮦Ei|D(VX&M#6yEW ޛc_1'k G&N|!lAziD ry\l6To=qVHC} $wcZl)7mW5j57 bh$jӶ;|@ W^g=pM'_}Cŝ=$5H7MلOEZHqPMR2F[ENغU&ꮓ/YIh1Ə^ݩ p&E~J4d^Xs鰎5RDDcwDhXoc:h>֡npuO1ё@NՒA/π.bUiG2. ֧h段`򁛾T{q=5r(P0I 4+ <Q_#U¬&9CUNk69|L#)%~VG;׶m7F{Ϲh?զ9ǼzA8N0ӄ[ 23}AmV|ث ȉ<6Ϟr[; =\B\>r[TCvc[5aq5Yᭃs- ,%xߟ)+܋Qs< UbzރciIGxW3߱z;iB4;bxz H>^s5׶ E#1 d?vR EPџzb*|9wEJ1ngUٲ$5ڗgIHj'~ vW崠^4fD6g淒VA#U-~VWWD80hۛ2ql!0Æ&pG(RP#2f(c&EbWW@:on :J&`oSn )r+xJ93 ְ"؋8c)R^}f[''/A`j.aBT(8au.Ey2ha wYs:| '/NT|,h^`PJrl&y`$KHͳbT8I=} jr-Mc]ə5Gtxgg/2L8%~T/32YMM^DO}H{Jk1? ÛɀxS;A̛PpΗ]]0 \}ak6SL.KfXӟUņ97Chy6Z$ͮwBȈEYKA8^/@ZL6#2a͔MNՐ(?D?4>b #Q#z`cH~<.AV`ǧChIc9[qB;rlJSS[&VrLRK&|d j32f5>a_m䧀ٸsjGE7Zn&6 2?sj`n=ه2j1wY.SEfݯ5"iƽq/?ǭ,+O ,cw%B9Ŋbw̃w*uׁC( #Xw-DkaQv疐e exs/Osw8$CxhAn)}'Pa҂܉FF/ĕN* W'߾J:l*$V9Ʀ: -#׏/RtRCIS%FTUNAp0Kc-pҥpO3,ϛ/P\FW8pNߖ;&je azm$mEX_sjQ]ׁg/Vβq& HmFEyA<^q?2I$CćJv@S!YUfAۇl9wU>e^sCsmB(qhxm =ZuAUFRkcGSSaW^ϹpR/׽ :JgYZ CC2'OM DHOL-CardinalsHOL-Cardinals.Cardinal_Arithmeticdocument/Cardinal_Arithmetic.tex7zXZִF! G]A-MՋhvG"uIBm5 * )^ Í/sCOFyo 6Ȓj䂹`X4h>4js~cYcVX)To,gS UMQ@/3) zzzeYe]}d˓60Iko3@vKl®Ob#CP? |p]hx L3yڙ&,(@5#jS?$ZS-rUqo ɱSfξ@07_hLW8]x+_هȠ嬨b;Dbe5;IzGj. l'w+L|BxQ'_"}{Ȟ1#zc@M<,H23aZut?PY!ԲBY6ubb9KJc[w`E}Z ]G;~2,seq-p\7:n ,KŕMUC@!Y<(-lȔPvp:>+n }wۃZ%{MTNx#ؠZ2+FP:˃4O;ɧinKʘUeچ`Ƒib 7Hmsue91KCf"绿FJP/uŷNYNymO<]l}Ǘ+:$ dEc?Ch.PwPN3 ķڍDt0 MFJS/|v!55,^8(Ȑy3 S&Fp;h-9sC 5Y'N3y[pzm}Xhޞl5`6֠¢7zIָFCĖߣ+hVF r?Av:oo/Ȱ\+ hb ܢ%T<~s޷!OxfEouwy0%[Z 0]n5)&Nȇ$[ߤ`tZXu j+BوjX;Ԃ$ 92EX** 蔚X|W6КT!վʄa=+, YU}SLd2Mr2A/vY)q,vww;S<gi M͈̫Lw::ػT]>$qK6ò]2*cC~~ONiVߜ/3:!p+jUqσC^'1冪7TL{DsxN-=)']|̖A`qxuIW| 7~;wFPT߹\S,Rv蚅&z)N`I/O($%ʰ?WR?UxAV'틌tK?6 `ϊ1,|& W*W)iYz}O ~*Qm=<"İTe 7( jcLI[锤rqhF)'ofqy^}(s-<?}$;HmZ!mE(u}wƶCam1.~JAUH[͝XEe52qV*>ŽGOnF`9q c 6WUR8 ~HAZ_hC_9%*6X(3?mL4/ճrAܴd߬&=~=ѻˮJYRffi7s6n%ߩ'n^tlr .~$EO G[}]ϜhAW lc7eSĞ&.fo݇zdRv]4HWNgVu^*K{΍m?~XbRΘ9G&F=pMxEk7})ز+ץLd4i}K5AClO)@k6xe&Op87AVŎLLIg~֒/ )Q TH)Yo|!h~OT"mՐq0rsd,|F#s`4#!;zG=6EVv#γ1$c nW+w4|ֆ8RF2|"ƹ#lL3Kk;+P׿_o<Ҿk - 0V`Sw䌯ӊT`A c9jmB*ro;"[b%B)u kv6\EʲC4&G2rRHCj#bAQ*@: w]FK7˰~5ЋVE"i:igmnK 2*CҴhq@:M\Deo [dt.̩[EY M6J6v+7!}H~bL̮/s8r e~|kyj{0ޛ0OPp':I-3*Ca U&鴾?-#[V d3h]~@?NB?h,%h/Tyj3<}|6}3HF&ZEI4>U{IY DLe-^JTdE?s/\@b%aekvdه{%Y'ylfna&L4lqV4D!4e43q$Ru]YgKnVZs4R^@ uA!uhjxfsEiva}~L @6t[%zvդKsf>๫eEcu?+decą3N92yYa}r~gxi7V:,{ɵHpv}QYpr6LM0!+%^dy#mq)ՊI{4V8V@7C1E5 S\}~L(1 w[ωgNj` 5s#iKv8b{d?ƴ;TK+1cei݃v}=ܫw5/"8?SofܶU+- Z- #g%qI⪱I-cI1"b$2>f妮6W*0yJdjsB/60/Њ3qf%B{"\>V&?I췳zbSӏxh6χ-"\9+_CTBj3[تk@Q_bf )'hb'+[kb:COw%6$apLLjs&}-fRM [< q^a&# {*xHlVUSn źyH;}DD^РMyuu 5D_;" z}9gH<#ov]h<(h=$Ea yfk*~ O鮽Wl/!RUoݼMOd66#T}B?{3FO doZ=pr3Y?UVAppFݘ= _(q,E m4ˇ<ӮNзk<:=MY3Do& |_k>qeFҷ|agQ/1]ىo#bՕS/}\\^2;߶#BhY11UiaRi2v5nV1QoʲYt3: 5 nnNM [5f.[W`E$2Y$'[>Rp;VQf~`xUkDwbHWr~l4$S;=i>x{'I + s e'ܶY+(F2Hk;x}9AV %VZlq5 Fڎ'X guKk^<^aCogihVUU|S1c.Ы(MfW&ǂ[B'9?[!lO5o`I`+\aзnoQyI;Tazk>;YC*9L2* ko)<.*CL2$[#1Gw[;Jѵy"F?6-Sl!2v@>:/W$073n !G: MdXkUI)Da"Il~w&ޏxHV>Ў%;ėĀL o^HR)έ2)MSc`7+2 ,\(68,N~Gȃ+(-s^ vS{:KE5,]eӨΌoZ%STr䗮Xp @ꑞs﫿noӊ&=zm/5t;u-YA[ %h $kqۭ[nz(-bQm3IO ^1)N-<[7\w1\#<[5q\Isׂ6nƋ7C3Y6 :uoZ"juBhN[3̳p2G-|lu)}y̪;QۚJ9A#~>OM*-5C'Ǔpv2Ud9ʭۺgcyMe?S-+fnTHTQOxl$l$#n?ُ<#v6h=6-Yق  o6=z$tfUU\_ޢ>Tp04X ^!3ɒ2…)zV2g~+6&= >VP᝜<JQەBtX W1;J2f.A7{:,@z]Y5!U~Rs-po{::OXfy9RxGul?#L<|W 唹Gil]I\B/ `_MEVAM{FfQLc@4]ZKy$FM5dТ?wF%%n1U-sm'v#nڸ :-¾]$Ħ P '$ 7W !RҪ(q_fK㖱ZA@ ]%p";2IrLLrem4[^?*fG A.qyƩOfQGc/ʱv)_ʨȥ]. NPX~۳Td_3b!G{/S-ɣUvȤ,,`0hAJ/ d .RCªGtk= 4Wѓme !Wfϋ\| ~}gt""%&%U.Y?2#3 cVdVD+!`*8ЮtؘP""Xn@"j [s~pFW`e."uX;?ӝw6LMy-=pơ`+mCL 9}U-1 eI١ע7kŸ")z޾&ҴŘg02nNoK^9yNkڮK]ULsQY?0h{:M:-8ro-T!R L0{mA Є`๻~0H!M*ɥoNQDž@ԕDE2:y<zaqC5 v+V)/Pzl }#)<0%'.-xzPfOb7?4꿀3X0)!>{=`Q;mtg&ec錣Ӧ ` &Zz B˶>H=U+)ϺlƴW}q~SʲZʚ˲^MoL2Ԃ>\oD0?BgOrC+2,M?|$v< u$J\1aj&_i[>J,~Bϓ,F(aYSm'P:L$9ZI7OiqZ"Aj4Ϊ~wژi~i]"~Fڰ[ KE%ửf fw S|4@1׻Hd9 ^nnCVs(_NIF#ihX2XGUoWM85wnrY誴q <=XŌ1>ҽ%ў;$:zֿ}ŞB/uRKc虅kکĴb;֎ ou1r҇P ̡:S҅V~h M)W~eWDNDǸ67/'\l,* tCS]%;㤹&OAr a[Z~SNn_}w3VsV}H9 YNe3X ^r/WOVSy9@=iHV `+Ґ6?d[!dntdvjnmoi^,xOwҾznL%B['0mF ?_9(6iHM9{NyD+Nr Yjގ4%r9r;!*$UA#yq*ݙRƸYf{uPabP uH먧Y w՝EhT*$39r.930{qA~(^ƮֳENw Ǐ;zΐkzߙQ⦛n)hӇ$VJIe5Xzft1 z֠ܵ=VS籘'S|]n9zh cN3}S̉)k_uB` xzQ. 򱷈q:샲^ wN;蓈4AX+eD5 *\^OI)$bǫ\džyA>)F߽xY0@ "]OYQEL|^V͸BA4{GMQf@)U>P~9^HhGi+pbu#H`-JR|RtQ$#Svȓpsss 6J Pw$۞9 N a\I).51m^B=\zbt Eſ[&jԔIo:Er[N}x@qm1/msp25l5iusN™ xm&r({9+L3'`ZXYs+-빦Y0]MUQ)yDk;8w!gnwc..*G( e+۬砫VX9/#Ov01'=4yѓD6 0[-j}`,y}c$e me4ڋ&yXꉞD8 l6J7N:vaBT9Fܲd$ O\5a:{|?Iq*x*?B: ¢Ci<9~-H?pyG[e8exȲ=f"*7^r{擨4AкkbѠ MX,(u;Cշ:*G7<,8q|v@L-l2']&83"5َjN2{g~{閞_iH Oز]Һ73rirwB)c7E`9 'șɅqەܕ>*>ua0Đk s{jv\vB}`z4aa2'mўR4hsc\[mĔOI$|&b1ܵ+;XmZ32t_./˃7 gM 2sO/)w >|`{JOI%YUÀYת'?B6Ίm<|N}k"OBF6Qe{LogG̥fEW|D[6ǭe]<|O*#-;%j9i]{zh! 믁@f? $BD[ j 0ʵ⍣l 6ŽG+&]Z*M Fl:`ܺ?v XtiUAChNmg#HA$ܦ5vM8CnFǏ4s[2vTI+;* :nJm}eԽ@$K JIJ4.c$}WAVh4T Ld7]{XcHQ/F önoWdzVzNKЏ0VP]u48Lή~zmo1${4b"/R^]lQzB |fg3ң!R2۷2I 4!XUmj<(b `10 &EC</sTWN\mWiB.sEٞ)G,+2F4VMSr-dvWvT"/n(]Tz|ֳٕan5R9x{,Yl}b%vI:x ѱg n32ls$<^Ou%6DYd[S@cѰ_fDb1YBo3p)p0dX ɒS +h;sQaa%X0ѮRnE.yUĨ P=h8kSǨ@  .]l|NLU ;9Cyrɸ?|vkpQj~`doiHVЃ8B.+~T/Fա;ηỳz]JvRlV2uVz#(Z FX{wD` T=R/q8˒u+/qpQ\}&7a_F U颬m܉5׀(@Nq^Tx>M}rb)=,r߿4фI/%knl D0+&J њOݢ(]y177ޟ 3Suh$lZ@OEIgۑ~1 f2AzR^ZrQmR]=4p>r_ܘch]jwesQ ,2oZ]){z|>}odzwRUi:S@G6T5Or/^E >O^-GZT !x*2 ̸p.\o!qd*X}{+0"u^@%+A:gz^HN a6- _#%ZG=Q. zp,rvƱh\.'sӀI5fBԽD4m^Inj`qe= ۏ>F d1j*S}mб0P"c$FzleLg-Ct~x@hңPWzl#kQ-ЧQ2΅NlGmcoh4] r8\g}wMȏϰPwi׺kYYyV㰻3'',j LMv˗I1(nw, 64,/׬5GKE4{r&" 2}dźM8!M/7vduG)%S,pIKR㎷khppG.#_9cXu֘*l(f,$=g'{a_toqcS3[; JcT=hJf"udۉN,d@T=jSLOxLi{+γڧ=8bʃ 152&+ N<^1oS b{#|,KO.Z 6B"J`;K㖿R8LǟU")UB"jZFj8~OR.l('J0 ^@>og¡"Qs>Bg{\"MJoxCCcT(j\G8#re=!<8^ʘrO\4ڃ*{pP_SvZ0`f Zz֚YDxI##ۃG_’8J?J&W_}UKlKs:6S tB.ng#kfH54Qj<p01pgYZ  k  '?? (EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*16 $%Ccq0E(C4>MA 7h1((mgNEQb%ޓ?p=kl~A ޭUqߛD_qdp{VQyGWF b$>9{%Lmg8{&NE¨P*U2aFwxW 'WU |HOL-CardinalsHOL-Cardinals.Wellorder_Constructionsdocument/Wellorder_Constructions.tex7zXZִF! C]A-MՋhvG"uIBm5lRHgƀTf,6dLaF;i~UR^4WM# YB~J1o/8 s((zj o q'sG8_ Cpܽf.mgjDVueO6c B=$EmbĿW9P!H6^Wns_v fBT! w!Ԣ2Th5x~N#je8蹴 Y8>_Jgf͆^>>iZi/|$(ctg[@d*_iww;< v(ܜA]=c^β,߲A ,?+ T HУRA^8?q6a)\>{s(.Ki-NFP0B^BodӏrG]plf LcZ*Ls*uO:l[z;8]֏ԋ@jǸ\Wh5r+oER:zbg 2p*wC8<ɇ5 .n/Dw|AQa(NN@FL?&^Wؒ 1Yax G"CYnl~ &k|*54Q\X%cC?-XhGv$r)x'T ,?Ew>7}JHR2I΅@5Z'"؂1{2`2 X(kg2F{KJl##= y zD5=mJc ώCiYA4^Jm)p)EEp.݂ktf(!c,;DzAi& 'OM tHOL-CardinalsHOL-Cardinals.Order_Relation_Moredocument/Order_Relation_More.tex7zXZִF! ]A-MՋhvG"uIBm5Ń!31 UF e¬e,0v[t\\}"Pη5](#'xңx8zU+AH~+`JȎ2l&ъQ}쎃{ x51R;s-+eZV$92Ϳr# 0yz3 ]0][ \_B-/c&} Cf,@ 4pG4ƙd9Pri8^C 8N/ڪ%A1틐Eǃ TѬX.0{0Y5_ƴJ+Ƞ1C2)􁬐D~-#!MELa7yb:yijY 0?w==_>cxG{Kc=VZ@.yx܂iXy@P>i(%2 Xgd!4s4?AW;W\vsBP/P|/{ZbaٚbalE#+6H**͌޷IbU^3w8etMq}s|m dH/,+p.ow {Aߴz4-Ë 5c}:FH88#d:o}/caN?i WRqRo|;*H-)[#+#CJ^ieh݆@3Cu1~ـf>̹zg 4R\"A+[ ͈= $5+bIKʅ}?3ql~`)eS9f;w'y&6⸇*Bn* %"$D*F4R Dp47Q^Jףgh쏧`L`pXo|][IrtdnV+Y7L~}HWy֣uOپx騟 PM;jlFБq/'Bc1O)1Op"8|;U}'LښD`-ȳf.܈ y1 'N]#?KM KDFK i嵆05RA7,SĵG0JK Z9$:T6'_Kb߿Paͱ_಻nop ,8RèufۙFzFȟ1!^ԋ`HiyY4MK0n&{173#M귕#w5+fYUvp1+MaΌ/Owy(^kOW>٥Y}D>npwMTG1/KsnҾjdi& ~xȒ cFb[5w%ws {ڪet$%;DV !-@v''OcLcfl9}iUdp$5Vlv.w>wwՒ.lؒ2q=TG*"*%;>Nފe5vbLIJ {t+zZKVvmr9pVwbs֨: T4+X:lJ+v\.][#Q*p̈́'ϰ*gOt=l/ (vDl.!ԃ[O~Ō9 6g1JN.Rt2t3g S==|;MsʋvbF#_V߈uLR O]o>aHj?yz?`a>qmE]n:{mE%)S;mβλ`k9=YG|`Y ͬ~"C?fwVn_(ߟiA/mmj]F#\sub)?A:XJui,7`?;Pnߴ#$4ln{Q2Po~H7wd<:>$\[p|bq Pf`~a:12]qK>murp/ZG] M9/x{:رAL I f{`r_58; &G8hh5؊QK~::ˊ '?i1xQXc#amHT\o?I`հ]B"vrمtV9_804@j%m $e3 [r˯'aY*q 1o 2'(/x܏[`Ֆ! YFJD4i*SI@d%LC{ J`kF edĺ ݮDw]үB1utȆq9x@wZϋO%0 u772E7qlʰ͜,̌eqEYu_!vUx4 )1~o.*vff@w9vP͐1)_,/AV3YGNo= dulᾏBEes_QӋ6/TQ+ޒ&)"ZaW" 40/fn~4L8{)UKxt>?kD*/& lF}_i*!UA׋X>d(z}J6O.TEb.U&[Toqx$ih rXឺK[a@D!9"wVur2%؄ |u/nLKy0/;z$og;iR:3_vnkfЦiwG{S 7}vET-,lQs81yHZg-!5(q@h%*m}8BW=@$Vj~uX*>u1ZA}6t ]?l=g lDס~ARP΁%0֘*A@\ebiTC- `Ш@+a):iRMzxؚ- n2tTUb.=:!&V >P>c~ %x|1er0 RYJ jq6UY,vlb4#%`45c5(W"I *n/֏2?ӹ/-2鹠v\ܚ. pNҤ/MJ'g+*su t{E9[y?2G0.s;yPܳH[>%vqb|}yECO@T 5WlJ8@+!]ȴ6xu)֞EOl3*d$&JqQC‘RZ5̦^sGK v:W?YnSz5ecb_\6U+SO-͗3XIb"|}vJI<,<È$9r.Ph0l63M$gJoO0pkϣTpEf1,>n?kNE:^NG|mqϪ vc-8V~R>F2"?gS9/.ƥ%aC L{̇BPDt$۶$]G! H3vҬ(#C_AHުR(9@vm1oN i'9PX[K δ^lC*:ٍ^sJTycr:ȭF-I|E3:Vr7:BiFS8,OUx{&;C+JٰT 7\4I3KxjW6 5VE,ѤwtZ: s$RLiD9ԖR9' #3܌0=&ƥXD =Aܡ5K|Q˿8mYAu(Q@2rȳp?]gJqyod97dVpT($&VNwMhXQbϣ}f/=X!3eڤ0qi#Lj+֊?{xnTNhDu4'XJ`K6M4$UG4o [[uW˥՚5)a'\֢Fe/k2lv7!Wf-WQUJŗFɢWI~2j}ai,>d c)i 31S"ЂqT{EJ(2o]b9֤f0F2_8Pu#Ee-;XtQ]~Ga-Tʽ$ۤ3gO!QFևA(!zVސ1svrP~gi4:t(~ݛ ( 3v7 M?jyF+NT3 P O5$6o4gTNZ=2b/ssZϺyod7r@ {AHg f{#(EdtPkiɬ_&u]vl?h*EA>vQJWż8O(>%!N:+EӦ6f;u R^*j0rFl5nے!!~$@/AL&DzB8 DS-r)%̎kt0tr& Kl 3ze}C8GsN7o+H=&iW;ljq\j>[ݩGߩX #jeKERsghFh"vS+/,23܍2~z#d@BͰBCNU>Pha *608s4[ .&@a#J8NM$W[,)_oFjҤ(uouZ_} XVd q1?V7j`ljSztý򀝇?$<urKp,xx iwc`ܬG`[j--{h7^TkyDpOM@~a٥b;w1I$a$Q 3S1zӅx -)”dmNSn_M=VZX:/kήDs=-'ΦQ"AvLMq@Yy.[ 9NeeC*Q$3*FgI pyv4uzi$X;B*#U^GNV؝| rRKZY˧ݏ$RN__¶TE  70azSK~l ]vM M!n$ۚ|Yzz4.p =QaљGj̔q KO![-ۧ+y uPe*gK&$(4\搿.c?WiqKfh{e7CƲǐyNv wkz?1Ymt,qy/fb#π,b?;#cvf ~=|6mygaVњk14d/?/Uɹ1gX-'_.\끜?\ ץg#'68^: ae~KԴ(@Q~m= B/{Ћxq5[lx]۱ql$7k~Y6YC\?^8+{LL+~IL4 LRV[bo0 7;HRHBC㳚fK P{p.e[Y.)U0rqf C'H! I`0oI &EL|t:$F@PmsfAp1J=EHe7|G}C,;a,./6.Vmrµ!K#ru9A3}]SEZ7WJy ])e㊿n8X 6F~di  ̓lCf#Je6s/_0*M8>|YzU LdC*1%>~̃l89H#:U&iH|i ^yNVR_ዽzP|t/&M"D̈́IΞ+ 19h93ݙY|H='2{Iv<9M VV ;䪬aZFz}̼[jġ2s6 ,] ߐыackS'KQJ^gTo0K(6a"&v ]]*9=':vN{:a[+=; EQmEmB5_$p^c ȕ{+e0; \ڳ!K8YkYB[n9))+2ajYR0hjB &HX=m~DAimq,`Оv\ifCg$qvBL;ot'wٸgڟ.Z(SbŰ-?E^s5݀I&>U@l/ڇB3%4Un}څlX  C5ՅR9GL' gcs{PKgJG p9r !(^j\EE-XX}#Ʒ:)P"[+$aҋe F|od~%amI_{ӂcV)g&ɾ)֣$. ] 23AʺS <6b7RtE6[Ja($+n/]#.{$ ]< gC{Z QrKPN!@m& g(G$ 4 nwb{LCwnH)U u:6W86g*2fDN-FGb4UE$,DUoVxA ~PW6Ʌw(ׇ~h+C $]8o1\}R;f)%bIdkT}&Zb QL1 pzC˱iV*N"-'F(Tr{0k͌g|H]UUjhw7gdɻSNquh·H`72%аa6;MY Sho=סu$B i}EޯPbِJ:7lz?ATyIVt#F|]B%0ި8ݜ\.{1iLz UʦELXy,RCw ;ď`-29Ͷcͷa(˅Fg5o %[l]MUpi۪;,|WCMG[~T{dWr V(j3LKTq(m$ߣu-KH<a5#|p:-yfN/($\҄H𾡕GkT$+svS}MjY\" eP褍F?ưM{.u"qv5R/W^It?8O ə^( :e$讽u (4N6a x{1KQuGCX.>Ig?x|EnY}wzqd ے}TVTaJ|zӃƳIݱ߹f?8H)<bq! _ C#^S!*TJeiW7 >+ډg`O7^_ĜlTu-a/lQ֙{~y';eko[uT.t|TE܋vO"f3ɼSG/ CŷZx$Pn+ڵXxަ9Dȶ_IYCL0lUBUX PZ/X緮!sbUp1FvK^r?뎴, EJ[(Q3qC2!K->"b߮I isy7=/#=zZҷ#<@[A H0:?dh|8ɫhtȤ%KH {!Dbаs^/Xn}3[n"57x''A˧v2t1"B0z^EejZ\*; x  L>|G)rOHOEὀz8pGpB.ĦOcuidI2/z[1e :maS.uMsm y Pd>좶vQ L!d'UIg'j=4J4|`/!=0}:2Vj_˻A2QrMt%s.Ԗ8ꑳhNxN w;j^>~!h$'u SBwsR-El7ڕgB\(e{g VxiZ˞K̂=q&y+6* nK!8T@R %I7Ec:+)+l_rKtD+5-.dM% 6qR4žF͚y(aֲwR%E&)*%^m`<=#n8[#"uɕ|IAo Ih66NcbZ`eAj""yKُ3G;R…K Ll cSNh*_H3gj|܂9jYour& mORj#Seɹ4w'p!%,z5bNg.E.)d&;|p`po sw)6F7ŇIlTo+Z2}T(Pי [򦩬( KgPt+kʇ\}x$(AU}O]5JDԛ~ˆ[JdhP(s# Z! UZ@Ns U\gV0prg!qM*_Ns dB~@8Jxi{2CZf.R+%{ AYIcٕ"L!f /N⴩,5(?Hů U2yl V" .+wW7s(%RC.hpP3I/>ޥ 9"3cdv4XH- s}.a[vSUkd#;wtUw*ɣ1'y]MLhC%' Rւau<eeUmJGmvRDf?4lNj;jhne\ T벻;i%gldCʻ uے̎-t2Q2 pWF$sF0CSqjnT6 :̒:+I—1g&ZZ]6e*}'ŋ8Vχ:ڰ%O 2W`W A of1S0rG%4Tfφ)-T(|7 tuyf~W|ўH:ZYQ.z|&e3PJbE=I.27W`>Bf%Nic^XRʣ >6xOn*ᆱͅy1[ [VFjF‘pE{-HK/DnGb'G 5Y>jd:żCxO H,U0(dvB {Q]fo[fJ@B(A<h8VD4Uu{L:eмcd[B>^xY]T~iY_0eJdIl.NQ piL\m CVRSuV[w2m2&Ʃ(gm$B``FYWq迤K9C4k7"bR4L;||%J kTk )tnT0sn_ϒm`{.5oMőT)y͹S@^i ̙2ּ:M v€ű&jU~QJ>"5lVuD}D8fSrɀƫk`+d<QL9HtG볗|47xLokڤ-- w‚e?m*9ô뱄"tiQ7\3ALs<+! BBۦ-*BȻ%զA//%>ZRGN1 f(JyC 1Я>j< VSlaK@&@~[` P;ah}9Ҍ40Ѡwh~[ۢ>xUѻΎ)s]I'׹Qa =0&"h&rb*= NbP0zꚚ%f7xX hZɰg+ F`eMEY܀7TϷ4"<=-0MԄ췮E/}p\gVF2GRA©U}E9VEvLA&ಞoO~{8zlMņNLD ӈ`< / My%jrl7џ{ 2eV!ѥEigi/6"(:#_,ʧf^D$>,QrKU~[ (Du.-E1^4" 0%Kf_km22n*f;Ac20_@;E])ߋfіj>(]x9lEDat#z2Q }%!r H}X DQ6LT%n@@3 Gl1}h9Y dҫ%35ɂ`$qvb/rtKbNݻq(EV!~'6mPEkV6fZ[z.St 8*e!sKpt0@7 0NAxA!:oJ Vdu,6Z>Yud@kp]+ 0tPQ|ԕõ57GNƭD=c*nwԋXYD }ys{mHlE-cj;,}IV%Oe~'`ی0[d,5,7GW$͞+iT2d敋R1Ddޯ:7~O3W\zv>DGfcEdS5p ݖrA:X?VBUXKN1x_1ѻrC`K[Ǧ~n'k 4Ć'祁˟3_IӇ‰ױgYZN15\)W ߿;Xϯlj~ AoaX,g p|;9&5K\v '? mRO5y⪚l{w"?F՝7s~+/r o]^?c`D #o'Yh>:8δXJG}0Xj#&,ų[]i'Rg<2_}qCHg!j Tl$'hlqMWh̕|- h{PIr;宒Rr㐴in|*%v~#(6obEu MHX!`h믆sdKcT\? Hms[(zC!LvS<};N/D%|"Q^EsѿֺAHpdfꙋT+{".4oaDo8H^YLіq>Hhv2]ڗ6sRW4Sܕd[y]4lգl+elѵ1HGAG֛[0jQԇlzhΐauTMtɔod8x"Xk3lqS ʥ]. 6<.F~PP9sKOstTOFM K@8԰̜J#X]ay񱍾OKф)K_ d xn5U~4ƴ3KQxK  ۏ]TT Vө|g:t:ơTv4a`xZB=sRsS L cxO'=n1-oim +GTS''끕 WzЛ޶(h@cr/Z;nMp$ m'YR%<|2dG"qRL<!gu7Irs{$Kzm`s@FqCJ3 tQ'C!AZ#QpnGpJX8&NVPAIS]!wjS~ V֛j0"VIdS( v׽ ?--^8j/frV)_[+G1m7u<b\dfh0[4`B0L#nǑI%-VMlӫt}j޿(BN"m<6[p$\&,W_ 5W&?('HLIQb$iiӥTefom&ԫMO?6EVt#b\uàAODޅ06ޣ_LjQgGrhZ jP/[\B[/ Sv T[low#h *+tcah( ݦeU3љ*n_L^6i6sHڠÑʍsQ֜bARBR|$N빦Jl&a0xտ&R3m<亡MV$Aǽm$ܣ׈S"\g7*](1VcW(PLoi9:%!|CsrO Y%(<-ůs T+RXT00eutPEsجx_ܛQ)+1W͠ސ]\?ƴZ|9In윮8_`9v䫟CqL$Ӡp{VJ4aXd \$at"FnCJ(mhᯅA=zgǤJBW{lw_ DkZ*1 -ngr4'$3 H*Hųx$8oݪШu uSl橆s[hu|> |wbӊ ՐS+mL{GN)iΈodZ"C>A*!1; ًcbm!NqiX!*^uF>;+(=`/?gLPn"ZJdsJ5b!p|'bJY>iXV4ړ-n!Aooʆu݀p{F+l, N>Xj24(/zXkaޛʱ Q=2(#b5uS*#p&QNoMõ:Ap}e5յdqĒ"z!BrJc*9h(F{6s x&'FڨYê;|!6nv|pJ}GJ;r*`CbQ¥ꕝZ $W-HARu %?uʫE;3ð_Iq\#FfPc]Q6p_IVL[xwбN-xF𦘵K./=)!Vvhonw*M>UrHcdi/Me稾 >B75oYI~V{펢l c`Ǿc}bhԨnWMiqo֏ۏ}e5QW3͈0 [~h*Kb6dc:ga9*^QzW2࢛ElXѠO>h0D(y-J&g%`,k5n[\Pj>f) ~S |`Ϟi#}Bڗ8G"Q=B5N{rHNn+^\6aOtkZ; YVGwۑ rikV2n|)3WRH]#Kv?qG?!ܐ!x29.~ #c;oc'HTS^VSC|{2R>VVn@J7p&T/6Gwϖc(έa|7̊φ>fӈĠ, ޒ j/ X+&ni0)_phK&9- 0{Vqyq> Ĩ 2~t7AHx ͈bGs^_9J^b6У%:~u]RoӌCim,}Rh0PS quUXKB"R+E`  C }Y5P 8̓{=\  *, `ayIj/Mm]B`#_9 =zZP#dh~c|}h5bw#yF+8z7|N.D! /9)O<# ՄGxiw5IMs\onLXL-k\wO5UCƏW!  39'"8]W%$ehcGbExK }T,e 5>5SM> y^pj]!.;]:%l!mKӥnL*%@換4oqZU-:Equ"q4&";z9q :eU2Fʙ6Ko681_7_=uNqFT_ } P9|2sO?s-xU)gΝt)h@]%xjCE-6|İ4/CA*? =SR_uO\Dwڏ:i ܯ{rfn#%I%|UL7G*$E$Wn`rn49o%ES8t tTբNqi(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s(0; v.j^q7rF꜄Hpv,EmBܜ,޲d~<$Faj9(]ZP@| UCeG ㍕qof8*OXEN;'YD)]$5h8J7.0 0!;C 'OO dHOL-CardinalsHOL-Cardinals.Wellorder_Embeddingdocument/Wellorder_Embedding.html7zXZִF! ࡽ ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s,$-say%M4Gkg/JuMA3'31|Sg/݂tkQm=:d@ ?+'ǫ]<82G簀REx5ao jzS݇Ə~MMaTd9*n޾0-laȜd~[ʼ>Vh^m;2 t6t+<1UBDm 5BWK($|1p~{?6h;TߖC [>8ѩU?$W\dMch [h-B9"3[P6@ d %&ʎ~# K?pI~였ҿ)dIlA~z )֍BȻF5;q fIF/4rTM Rz5u_]vn[i *34N z1|we'}&|^7&WŜ0al\ m&MB|+W8 4s|s+ ^KKH, uqK x&ޡ6]b2}g- Bw.8XGS[!(*C%MlMU7þŐ5ܑʊtrc\\<θokE=Cz5pyF&y9!BPj+y1֪#P \>5 R}i 4[te5تA \GIn2hipa I WwGe^ʤoΏ=ޙebH!zH4`I?>N9LJCDֱ> rp>(^SLCKE`HjP &9ios'P5bf|_ϴ'KH:2]ȥ+,<`Q!LWsf$5.b5~v$|d*;L}κZ4:e*l-2:lX}-(;P9cU3E@w%-L#9lGBljpՏ"&nOsr@hM7u K "*1/e,JXfjjv[~ \`^hTγ@{%.?k \~r T{Չִ,)♄!~ )@SBσmik;6}ozœvU_^Ru[\ﻵ8LiS> 킌|M/8"ߋ 4ra;mmWb/e .e)82^9RO3C 8o+E2j6:DPOZNy< ẓ͘ۿ|r9UɤG;ʤ[2J+vJu|+!h0vgYZ3 'OO DHOL-CardinalsHOL-Cardinals.Wellorder_Extensiondocument/Wellorder_Extension.html7zXZִF! ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s,$-say=`G/-Wz?UUNO<N`Wu0,RȳHL}>Ʈ_Fs\ 9c l”p1:(FbM:xu}AD@R)$8XT{@q6jH 4W~O&"oh|=^DĐ$\>6`R lg2X[x \"ΉRJ<^FJc3Oأ#74Os**)(pt*q"5*8\d+] VRu{;͵3Z)Wx4ÄB{f#&t'IwT,B h5.{ta}5H"Vg{wߔT׀ڛzåz=>$]FaɐŸ5o18.{童NSyL`'DgxJI2Uk0xˉYPuky\d?G*B&!(ZjmbcN(_x $ ơ %p[YqX+fNPpc5=Rϵz7<;yFx.D^'Դ$Xߚ.#tZw7~ o0=wΤ'e& :ZǃXޛ̭ hZCgsTf:UR"RYbвXmCiCA a݉_A^k:|Rգb(3AOڴ<}1x굥5t*iQgƶ>ʏPգaDs;qה+meJ2vf&\mX*,ΰ!ż@p %5ui^JݿQ"6qZ4nh1\A@pEWQI9LI-K݊(DТδڤojvV/7f8npF"^ih0z8F-/-=x%B4(\kK*^(k;Kռh ~ETƉ;e˿o.ɵtaw)ޫE.6oY f#`/<90u<.A*|0U@ƗX)3h&&ԥ?E?pMj;P*0'rAp`֭:!ՙҧt^aUdLJ5~ӧ;:4J [|%M753yTW0 ϞLeS =$~_¸ٶqaow9w12~)`|p!cያ/]b /;LA5~:4:^[f\@awûYq sM[~(q~TEչyWMxlLlJ|[A"[X?̟@M\j:C,EEI-Wp4U 4[s՞L wBӨE Cjt-T˥ziÆc RK Z9š ]gI"o+Fm6eUej*=W%"U/ـN FOs&zOƫ`t>b",HQ 3|`myN&n]-~AqC HoZ&)֙Hfу'] A:D/qT"+zV%-_;ɥ©v>laTR6h+ٻ\a^nCQdT z>T ,N/ۖ ozAEo9f`]@Dz1+ DTbY/sH 8kh$PIzcBDim8 ݳ7f5͟E?טyhG\B\6D ./xk/J~R( jYBt-T [KpNE0oNM?AQ 1[<`ZlbP.u5c5lĿ{Dd9x͵&XzNx!4;&NX\"B2c^6% hV0^ZveUzXHپd (B=tGt'3f“#rZ9wԄ?֓ W s';m,5YbzMph)7PVQ~ri 1C^#*U-ST~+xfkCx֬p(rԣ戾lyH ^!!eF'4Qשl~Rd9%Xg|'&Ia?Rx48NBz3Oxz$by̸\겭a]&Nʱq>b]żFfvhL^ ]x">elh*i0U}[LI  &x`Aӟtެ$`t 眐ozFT*r}閯6[hacjF#4l8HjWGX@mbSI= H5nW^Z)u i%>f?طk݈ u -+M#>W/v.Qb6fvK:(,.̋<^5e(?pyLb Q,*4^c|Ham,s$fsk_-j Z&0\8n:軰PD>YO?ڥ.@!_=q-`YCYgbSUз ׀]4nnxqD 7~3-gYZ  'OM tHOL-CardinalsHOL-Cardinals.Wellorder_Embeddingdocument/Wellorder_Embedding.tex7zXZִF! P r]A-MՋhvG"uIBm5lRHgƀTf,6dLaFj˰<%ns eRJ q҇Gx)T {S yIw }Ϻ +>4E goSg+hg~)nRDrN4JI(8#nD1&(M&dʁrX((急kWҗJ"&F*DitQ_NA#VVڪ"lpdCW[{dT![XG;$t^`ngʼnbGh&l0EVz5yi9c53ehY G_cc;W8 ][c0QQb@ t pøLŖ±^3~E RM!@}jP_ReTkzd*I%U'5@<_RT$~ŕ +9ќ3M>V~PllSvhMKlSč}NR AF>B<4$zZ},o(c|(יQ:GT<50bl|A_ jHkp vH<7I{1^bhGuWONDfGt糥t T!f3{4J-]qw sʏqyQvCs|EiLȟTa n&D,| J'xwȫ]øp&(@ G'gм9 2v6nʀuTabqw.i'bS%o4u`|`)pf $Rxڟp, &38[a6 oib|m) / ˚KZr|8H) f+ CCM-Y5}V#_)[' MS-vaߺD\ב4+f) _qrHF!r<{ojɩ)1~r{uD: Q!GhTbC.*Dppzhm2UP\=7}p`'uAZnl& o4FSBѷG顓YCV@Ӵ&t4 BdABڣBukΞ2cM}j3 \[u`ɦsmM{Uh1ձj8y~x  %+zguQS]>fs6Fi NpޗoDGj s"(A߆z C B>_Ob`)kbK]8hKj$;Ay]V jo Tlm.}^{٠SL^#s}WV0Dڐ&lˀ$iebؼٺ`u yka,/yY8h>vQ \PgSKdI g0>v1XdEv6Vwh pƕ'KE(m..K1Kpzu`yNvW,c[+']o)򇟛1`K1FR~|\3:;7x*^4i}ܼi+Lߣ%j#! <ّLE[DŽqK+/2{9ڧь=>3ؼ}h?|FwPU1L`/淋}Sɾ'u`ҭoy!j #6aX7'K*GL#_ė1eWY+guȄ|3O)Qn @U*9fR5OdqgotG,yY>F$%m4'xzPLT2 VčxuXvvHX1.¼ cVe¤d6b;2PP@ԏ?KpC=H]_^1igk-㜸,L4Ⳗ*f.`^9E:. wa09wc4'Gq|!<]f>iFT{Q^о b08 d O$ͥ3KM?щ'8#FYFg$"dّt9si 5iz1xnDmܡ%}fqx̌Qs[*JSIJ]D7( L[UC&m=8,I1TmǟqH*Ab[!noفh_e>NkB횎B%bj $H4R C/HbdBXઅ׳CZ|w Nǚ1I\<" LRx䎡W>fYiifw|asAQVdRJ!HkV%jc gwhMuNR֜Vr@S1lz*_7gϱ0eîu%bPA;Au<^±v=j[Fxt$QW))4>TѸPGgYZ )'99 \HOL-CardinalsHOL-Cardinals.Fun_Moredocument/Fun_More.html7zXZִF! ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)qTהKl&-1RIEZ}8wIi"ɇ@Jlw/oO3#U͛!xMѣiR5<94wJ "R`y3m|+Y=+Z|-L ? j4\;&e_u3VzˏA)Z;/Α Z˅mS\mJ̝Z4|d6tȭn!˽!(;0 \~+Jt?Z$JӺ0u:FJM$E~?{:(Cp%(b1,ێ cNl717 q U+ ~(jK EWn^CP+M P~U6 ?v?}XO D94"=#*~hHDGB_&H LmB-a,ho1a p7IhQoe@#cSlC%UMFoOFܖҲ+,>Bgài ٍ ÜFhsѷ ,q/|r%FISMt<,j0Z8nFne3M:uP4զRn,1^9 *]A$_:NW()n ,L|ٰ那VIQ+!-DBoi1AQ]dx$aL~,EsqL^^/A9#ZpTYBc=#=ՅIwe|޴ S"-te4c#Ecr߅Tx SovӘ/Qhz]al Yb, L۟ClJfT칀wr~sqSA<%:9nE 8l9Fp>$b=sR~@hwMs ^+Z:E*1*r+">K>DT" !J*ݻ <&C#?4ʦ.S 's oT([qnfk|} dܟFc6s7culnsvQ>јщk1q@i]釿L9T>EMzC]U#NXq dԞi)*m B V! 15:)\:[8W0~L}.ciѻޚDF4rlsnku4qiU)!ֈ-E4_"nKcE_BcX2?׊|hs qr&#ϼIY" 7l-IP8'l2WpԽNe[|TmB=^~⒟)+1obGHxzPq34H,@٪UAl]Dpnth\sFjA@pawKÚDmLMjҤ(s7Vgb 4ٮPFAEc3nFw8( ؒe!ꄷ^prwĹ1E12(*Xʼ#D#W)pZ,EysڷkKk4 KS#3B< x t0sD!ԌZ&+jSly{gSu:-A`9Xi[CLHSTBݛRCÝ+&kx=M֓%rj,^ae1}nh/^XD \")o*`T,V"pe*6 8lu0l(̍Q-ڦz|t~}/ 懑lh "2͜-&\t:&㊃e"tp籲%N&t; ړǢ9޵< tNCǙ&uǍζ2DHaݍlݵ(QhKd Q, (6 !?ƲusU9v'}#KIiٴ W)CRUzjr= O¨) ܘd$Z6qTu>z3Vi'ޘzUt\ɛ(,* X>ʨl)iĠ*YYw=Kq`qBږzD.#aPdH=FLiЩKWy&3[㜱m-.L'+9 v6Ke%=mPc5f oL[qD޽A uu BY:;ʗ^#sm'5K/DIpvUNf^_Gf][ r {$~Q{+Wӌ̊! @9 )$Xrw,a>حˡo'䴽}uP~Xa6vHY>wnĢt(4L22؂zEeNJ!@ (ƍ27'gYZI/'FbX=5 Izݘ 6n )$aKȒuH314<~~l![*I r^CIOZGkeW WCˏ(#"3~_`kLKSd8~R0C9 ?UM{ ]iZنMo:+`A&$ LN#/&8s\(b>7 (C@ls ,DPե H]ܗ YZz}4>gM-5L9e?(D` aN"߭b\]EFTsC{P!ml9einnתdPQO`8j}6 Z*}xuޑ/OʆEÓSOA,m=.d@lj xl~s,)մ]#ex^LcGr`U=#W ̬a Id 'K00w# O68>1ܿDxvRD` >n77.'R4o>s4ɛV4Q![g $%`6IXѠ"k)<@](꾶}RAdNꁼ@㳻{xc:FAR\ *6#vB^20 hҢ RTW4sqNP?nr% 6D/\:ӹ搦f>)n=-zJLoz?o_(Ik;DGN/x; *4 a?|slb;tD؊ ?t+<1~nō' =$/ ,4G^,0=Dz}1:o(? ©[EFWfÑbhTL"m|s\of <~ ʦ+}+Hx:!.4_mtz}\M-?ʱ_+ԣЍo2!k8S&6"xn: V$ȢYUb~hFr/{NN w?&jGc;XP.9aHP DKX_25$_S&CӅa)nBFDWҕ Mo;'a \CoQ^Fb4:'{"OPP^/KquE⿀r4~̀\`ۄTlEaUۋk wA:|&Ϸ˺G&,Kne.@b#Mn-)&`zMVZ|uDb,yb@`f"ѿs+TI<#tG7"+QLu^/ 7.,08^W;JMO -?dhvt868BY? gޱa3MmvLDc.j?\ (̣FO7}$qղ; 5j^3庣`UmZzƝ?VcMs~]W5S!"fB]=HF#\CT80RNS~eLOM- k`=`@N-g(gxl qV8_q6Yxog;KEOa8 L> oH2N@@ .wt|$ocʜQq(yim.keD@e݇sHH6k+Ca]cEsl.!.pMWK]_\mtUI|>jRK/‘[N %~qIظ38g 6>z i]`XU~ { c;6bpPjSzUx:՞.׋3g NiQzB6˭J8F}F5w\[2GCndF_[@,HJNS#kbj+S,w#]dbP艅vO-0y&$d շWŗiJNzet> j5#綘Ԍp?f]_4̓/nm^a"( '20owxr?|70qZ"`wEd4'U14(xM>iLuK]@+QV11ŋnVhv@JȌeo4p1(s} u S~Do4 h ~j$eA"6$+&n(qWZTe5ɘa$aWU3f=BDܸ&Cy,1!v7wwx߷?Q^O.Ϭ-8X`@jFU)7Y(-u3%Q\uN4S_{oNtu{RVb /m 8REtgxu#iI#3^ṭ.otv9")y SA^&*vFs U(^W,O7Zc~9 Nz+&jCۗՈdz#MA>vIFg)#vyfF}ܗ?< -j3D]9p9G*G9s&?K7'uMSA7ǝin)n q4MuNy̮ 9QO6PH &^e4쏜FHt8TX)nh Eyڦ `#=F[iE<"Mݼ|* )š>emڥGL9ĉ9}n3#h'BݚUa|AQMQ%/f݀։bu0T|LC-fr>3LW@!p[`~[zy&{d{t|7L(`>r/c͸ܹo5VZK{vc"/?0h.q40_ZZ3 ̸f˗;ҩ%Jqd֙K=cU*u~o싙 ]V:Ձ½dƄgv/TsfP|+ m|EXR1S",ºz ]Y3JIƘ5W;~6'bǰ QV":HsB;ޏ:hE 'Y2d۶`Ǭ&,0jA{oM<uJ~LOŞvjWxGB\>+iq%Um*ACD6]\˹HFQ%6h:-LcDTh5AKf&L2Hۼ %*x/7}?ֿ;%bJ&;@@ Ѿ4+j6Y8^v%ͨ_2#5wҗ !< 1|/$ @9 :7qSEGa>8G֑X1]yDz?bSJ:o$g.$ h:H!#j_8qWlKޱWz(LADU&m]}46 <,M9*BI)o8M Q8.,ܦ Z/ s\9܉F-kJ?{l1L 8s`G-!yY80NJSw3adHf~;zG]E>#93ćϳq/`aG4G^Aw*It˦JGߺbQxxj[8=,iFsr(Ar3 @-;`tح~uArokFBm(FF5Q FIS2I?%J+WbL6c,̽aq=#==pS>M ,ܐtFJF3D5.Twxh8j[4R"sQRFwcπ/`]}`I܈`0g˃?#Uژ^gr)uqŲ;Ka)@WL $ &_ƴ!D>!!TϮ@SK,o<V\R˥ e;J˒-cYϹwS4]УF؉ԗb󲘳*CTFMgm6Д?V=Xo4r'ZF Z~Hae({fEiހdž1kY>FŖiħ2 d.6E!!'{TT+1os'f*/RRaq^ `u ;!. FirPX6zTXeo)Nj;f\Ҁ%6QaD.I 9969ĸR1uoP_;R'`^Qytk䢆݂ǼPECHH$uڛi7uyLg-M5ʭAt{Ydy뾨֑|%kཥMSEg o,ѡ2Tn@BGP*4G3D U 92(G"ط"ژ$K6c҈%ghtl`.UO]^G oJe\Xܲ nEkdkt!TKYa1]X$amvit$uil[SF,J |nok(}2Z.=C}s!:Z۩s~ZKà@8ϧ@yrr;Dk S(y~|k8G s8 X!|Ϧ0:mGPh N( tncrM/(e0#LS$mI] (6y]iRZmmaJ8JOP} %@>b8?`oW#$"uXp2P , xפ](lď-Ejte6 IvYpVl]l;guxJdr$"^89ڈuo> ) w9Tjd[Pt0+MIr'*Sr{B0BFx.,NS#DVx9SÆW߭-^󘚻c* l]<5nTa/Jj_{|X^*_ݱRrir9!Pjxq0|7 D2Vi(OO~ ;s+:]vLzxXtܔͯ"z>xnsZÄ~4ީ')˃[~1U%<% qN9T޹@-'hAXmJMwwQ)F$ovpkeaq2G ٹg^уZm 5%яm=~{DN?hx[qKȆa W 4qE;_01Bé!A[3 -n?#v+:+#F\黬٫X>6~ؑ{>VIA ͒nLN"H'LjYyPZZ _>}᳸# A˾AfL؁§4~qHhX//Z*6.axŞ^fsAĖz CN&Dzq7/,+2Idxѫ'7ڎk*9''xx.Ԛ!Z+jѡ0$};RNjmJЦT#tnݸnrkoκ N USqާ|$ =Hv(K^k:L T {DJ׈~5kԭqWa%ͣ .wwpRƄ@܅g8)$=G+ M,2Ucn'Z\8g OhbKi|&<%%pCp[ެY>!{rJ,N+hT@])b* ֛J}1نq҂N[ւZܦbPyᖉ*q≅nhA#9@pd|O:]C"2؝*v"C3a{ޡR,a@gZ|W(9Ō\? $ ZKj2'=5bNml/K%() F@?}oc" PZvG<{v Qlޗ>[% wAb]!Ͽ%0᫭6 ZL fb2hsCxN\Z,/r'E]Dd.ˁ+Yiނ,پ|h,f' A+߭ yqVPL{˯ 7s]Y-,Ǥa\` Gg n{p{y)$h%G8i\K}t&7vQ^LyуC}%%rSjW^EBv,R78z> y(m iƾ+mL荰YL瓸: qRc5`Gyg*Ж H`8o(!@^9%a6<Ƨ*`M\jL;H=<Ljw1F0 0k<\t=^8QވFLE>D+o>(qҚ W-1nc`c}PHҿ_9MkEimѤ+1Efvf`l7S;&lR2cLh]nFNc>,zRfTt;l^ŜJ aA mao}7XBj_5QkO֚Jg;̤t6I@B?Wt kO?L)3uǴH?>&@kv™V~yC"mˤ$Gc%OM0=?z4kN*#M ܩzt @Zÿ/06Y[w jk:'u9r>{8]mx2qU>C[zCL {Ca͋6oҐ#CΌ$7fb7)$TBS6VtHk*LD"N WN0L[)O|3Ռ!sO6mΖnݮ@_rs 0-*w2EA-#A N&M>2f_D`2+8ij6|l,J[W4Kb%N @$[ rdh;d(eR_%tBB<;gv>[ʃ#U)Q Bcp< ۰8a;Czq v3I0ᦺ\ܾѾz( /nÆu֐|PC%6#En76Ö F lb^OB&j*SE ڼȃ\Qt+\]hh;?$Lr5Ƈc'N#TH OS&qn䇒ra'܇/8wJX/q.j΂8swr[YqqU Fw,-܍Edb@ԺS10nI07a{ˈd,bSD[bsKwA6Tկ}qRJ ܃ N>sʞ9Cf5b!,k߯&wK$.z)u/9x!su2ٰ7ii#8{3)n֡.S]%mCf)m^BdK4"oM_%ͧIh*]|&#i-mcNѪGojZ7iVHYrw "ƣGg &粯-Wt~8nB@E~#sK3eYI?PeS!:Ddw!iIU\=Bu,9, ~wMGq Kq⾌#҇q!B22 xsJwyҩ/Xf_C Sg0fƧ٩qbh9]SNԨéK E L&p؛<8`DIܜ^ʂj 0t5U2S~&lFcyAp3nU $^GWAoJopK#/*o='sWW^Ϗ&F@夭4dRKz(sme&^^2*5Eܨ}VbǣJf}* 5G7Q߻ =1Cm78%i?n& ѦWlHY$ǛVw+otq?WX˕='n-~;.no7ƥ+Q=ިb}Qja +U2`?qo0cvnwiDvuj+?1*MSNYF2A<RTzɑ,2Q}rsC;Nv23HCYl5Qσ˶{47S>{M$OD}TQ-b>eSaY$ϩSfׅځ'&B=/QihnפTH>M$јcnWgOj{{I-P:AYNYieZyzq1u %5z1*R] 3UdEݏ , +K=+\<T,\a1I*KD}?$[BKQq(-a$'Sb*^Rۑ 6Q?Ǵ7h:) շ ,ƟD_{ZdmdQϭ!-ab^ {’7Vh{b4 iy^dMuLx⃾[%2d\ޛx.Ճ`*ƁQV*Sh+䰪c ತi O#tP5BOoO2Ԭax%/5f`vkשFb3A?Օ?Z&gje#kq.xObkM'}J oGI u}^/x5&a )+ƯS<'pZm(\CLR\Rn]V cр{5S'5_$N]2;R)]r)rZ^6I n5/g5:Qhs<ٝ >?R]xF=6-U{6·}ϻ xx5ET-!JϷɃ}^W2\TNڲen&I<*sWX湰v T UQ6?ׇE[Sh=_qʶ&<;zKɯs'K0a`IiI(?,*s!⺂ o0Pu Md즬-#g^nx" 6)Gk}pOl ,f{@R0j=>$HD[eNCYSrUfned+җt^N͘EJ&}++rMBDŽgUIK;ײOHG6"FG:gɆӄ1XQ:A _ReOޚ_D6O\M}$~Cګ֡8s_vYR7BLuj!x}֚t q|%v&kCf㾦WfBP PуWĺOTC%i}u%+aw3 iߒٷ}2CdV)x+75złȶ#cIe5"LjqF8jɓ FكK!j%^{0-x}hPf됿{5% j Ӡ`zÆFt捵.)nQF!>p(-jp0m1Vu(^m39ź28+N?6Mf4CL20300CʃGŽ+g<1qlϽsyO}/0cQa^dۈ4 N n>Oڳ[ R0<"5B4F_W1UmrKOX̻7h+csVI;7x}(3o%xCrsssdUvwUobkYGE\VJZDώ(Q5 ^+wydrDrDb-vl$\'Q'# nbH/RޏkK?0m" 7̻VcuJZaydvdh)ƵZ;*j!3 7r^t-8ɀ >á6u4U%T'gB? k.Kk"l.Nl6/~? mmAl%a< GЊ˻ RtoGu)/GNa\ ]EJT2?fiVP9H d ÌQ$CA-a\sIF$"?̠#1!P8ԈI!=c+F$<5<;7yǙk6OdVZs]6h|؎X?FfxqjJ}Í;eCGw3+INcl"x#"WBoO-æM鮸q+•ޡfj!/f Vw7<;q9n.E'듮 6!zniO9P@.X2 WduqZ;pa)~:y<+KH ʆ&HB~W7fb/gc^ I mM,F`bk*v9ۍr쀿'>6য়"8ѱ#].plpfq{)\hSnz xUh}*AmO)U>6 JM2 zP1 󆻴qέ72 Mn|.-D~f$ 0HlVfŁMtu&"= 깟 ̓~x.xpc{k R69%d.tB ( .GοբR&SؑuRrX{1^voE Cxt%!c-ŜIP,cϻڍ*. % Ԁn,!#WɴdZb\H pN H?bPR\K:֥GoR=U0(:VuȊ vk5SN^Ǒ^M=X>U~6S)6 H> lv3A9nV6"P[Fu4Ρ2z(ǪzC#I6-8cq](%F" ޾)#Ds$Q_!+P"T'Dz+F4=d"2N%5hj% 41g+1jl"c5/'2\h9n)  z!d?Oc '6 ?Ts@1Ge&Aq?f e| (WH<޶ޮT^9GtJ:`p _5[yChe,hSڻ"أ=uN%eoo&;x#UP_w{rW+4i`adZtTT~sq=?7@{ݴv?_ڕOYp*R1ޔycz3+-O0T++Il:%!0nJ*`TC3bfPу8Xn(e1-fK}j+Zz*ۋ3~$(3$t7|6s#Tx{5 7O HJ<-x ;יDM+&7 u'g6!)upϭ!$ JHDNnL"Ӭhڝ7];ݾi 䖚grƥqq{/fV h)%maֹ{!A#n_PI}o aԍxEmC1hPr5yFMBPqw,]ҩ( L¼`t MQsg@z#!ʞ,NV&VϐqҞ7M{ Ђ> o6;Եm,``c1 Њ3bTěH_Lh|]%#."r%P}rDk,Q9;Mn=%#!|ptq0Vwc9RgY hP?Wr4a MIǹ:$Bg.KxV}vTgts X`]QkV|`QxbtվD pKU{3$=p*[c*:ͬd#Ι]|^Ykt왏T)>E! nQ3Bi|9ǤP0Kw|Ygh}fgqbewe$!6k~GO:>geە&Op>~f?)eI?Kr$P?U8=͋24F]tQy@98Q:l]`6]OkL1R)MX -<Kjn0w7_oLp.[Wj,;co2ʤ`\i/;h٥IޑdrJY{NI-/uTX7nA$i`ng)5_oX Bw̩8ZE^4+eyM>aԁR Spϡ w+#KD ybn,%#ܧ SB*Q=`{/1$$TȐ\% 4p5f04M7fa~D2% lF3w! @\/Il]ˠYqP7Q7'\Qr;h+lEOEA-8lt(pc A;;nK,-I|pRrǠ {[,ע j7`]]$նڮu̟$@bA I?\u%zcy &n[iI1;Z7m V&.D@t46-%cODvAa `։14[AV&A%_rY ʉf&9k$Bk,;V&L]WIv#^(nFZ\5#.?}j0Ve\>k,M,Mw@.!4:x+?+{YWU08ʡ޺֨y.#/IꚌ[AI3D>>ǨCsزb YȀPWQGOi>ǒ@Y`F/EuTZLMKAoK}fbp`IÌW5b+ߣrJ&ta)f4 5 h ({B+7/p/5@Q'$hߦwBhjJԣydND'rL(n@'M*Qҳ"tg=؎Y7mY+-k^{o*HX6!ۤ4=z:4f|91oKD!߼{$fBQ0^ tiMmE \=oFEk-Q%h}k\!y)!_eP F Bo-L,ߌ(5Vǥ?}Er 0Nٔ1kD-sˣps~~! RE@ !Tw )0 !Ӎ^·ak+3\5bI9lԣVU<,ﬣE!<`swn# fh1VT0B V! BZl>Ӏ yԌE|z?{ ցS]s\`8?}nQ!amzRJ{rK,ª8|.6ԗn7 lF s=ca9M"%ϑ̫MhK,:o֝W(҄eUOUk hjPԑwʂ;vig3aEy8eΎ8}6Lu^}4=n[ g$e݇ qg3lz|Dr0Ks[nt{`(Մٽ~;26 e gvI5a 0p T$.0PJ2+>a8xKiq<VtPS`X1̟㤃,87~` j}kbʹC\Ο|1.UhaE{{a*VaƏ @q﫮0@D8)зjʪԻ/QqN ?hh>“1^ffFT{cO;X\.4"­U8ԍUYz2%!Y-\}^-i |>aEQYJ, su<ۙRr`'Bvcf4us~)c84?&cbVƄFl 3g?$. 1!5Y= 7|AOݪщj(>H[55 uqpj6T3j$dzY88KY8Eyfon*Ǘ:#?Ef FCij6 [=:>dCf(:팩gL ĂtîNC_֭=D+q%Yy2vJ 4p5 K} / r,J=Wh鲭dH]|ɯk۸m]>לR'T}>6]5HBα @%mͤLj+]t,64tlGG( gO8V!*97TQP{G|?(EeOSnO`Zbղ.ڙOz Մ9x+ә~0&O.@5F) }e8C;? NY+!Nq{*״j]Xt q|0;Քlh.\p `3aЦ/d53ƙ3ZTd b1r֯L@?tf?j]yj }k}XZ(3VhsxȮp |ˉ,bj]62iW p? :$|Ș!Sv!]Qklƣ~At#Y S!ho(&!>*óPp -Evu\!Qmrsr p͢ɴ.*딾E+ؒ0V/ Kʱ !"@z?+\n5wg}Žz{,~ &\l$ 9&F:$ Gọ̈!F'p,gDžu=g@zvJLD0zu6}S3Y}:!lNP%wST.2Ҏ} Ϲ⃤Ji2ΥS)*WVw:]F݈df3®#oMY~Db79õ~XKTOIz+I* %܅ պLjY5N{ Y .Hb`g64EtdoʼnMI9{txyx^%(F\Y%MH?']PcV[QL[d}'^v-ځgL+p@Yn& ":ka( ׏T/wv&<DHyЉ8'(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s(Sh/w\ œYR}d8%D~f04-zj NW؍[*4%ƈv((l)2rR/{X9.tmq/ EZwxoAIJyDtziE\ߚNUe ΢q(^ɼN }D@a韂jÃC -qAbF(˷ 0dӟ[3e/zoFfwMyUc w_mt@BO(NfA7Irn 7ZGm? ]ɿq Oh\Akgܖ&* , ҂]_{*^T*I>7Rutڌky@AQcQư"LK hE~S[f;׏{R>]*AABS,{+J':"T񐻗Z Mmh! /MPn_ư"uK0w&Bba5ia$"~x_\N :YNU8t 8eMQ!:M`k3 \lxlF-"gaj cD2rCh;ww}}+J~Vf;@! lű7@HQ1)O+.GQ-.uZaOyW=P-h\glTY"i\,h&RƠ.< ? UY;喝5TC"2iU.*R'kqKsfɆw":ge1~>\8q<+EtfL= 5s砹7ʠ_ `M|E%.w]K@t5s[=g1]_L`lf :MBcBVgO]1/ԗ~7^-iFܤE9J{hŴ 56$[yleO??x.̍yr0~GQI*KRCS!7.ZTy_ }cC'zQiZP{t$tuO-ޖdpQM 5R7>ѱP8#/V3}zg733 8ݵA tw_;WtO1J.ATdE_ \w0PxA`y*.F:bM yX$\<$6퉻Rhaz|o'$,B؈SJ L 7'88mʎE_Bg7NHF.=n%p-y7€(ѯBz|QnІmz<@j 0RèC庰elG|E|h+p`B^iS%?l!eQ 5kPDw~^旼O2yz SiD2CjdS0yΌ+ͻ%.ı0 {*z%Aշ/ ~VR%Tlwdi7@I_KQh`Mo)2:I4A_cDLhQ}"-mf/% 71f~dt=6QۡQOQE$ `"ϕWA%|[LZ`PɢP?: 1 0Xo~+ )70 aqF| {pϊߚHh?ԔKa3yR Be̒ f/h&rO˵d>IVV'O߷[\:?@ݳkqtm?QbB@! emqַ#l6 )m괆|]' ;IxcSF^ʢPzT+['Sfr;G%Kؾ0A1@2JF={7h]hOS.QB X\Icl>mAD\SLw;Y C-"0d-<)O 繤'Ԁ  4z=̈́Ҁ3Q (N!ΔZ ?|_EKf6vRk.ơYߨ3aׁye#GbKbleL:܃]կ{/kQ=zJUɚ!4 &O# ]yN&1K!)Ekf=cL{l>CY\_e`J6z&s`}HcZW)FUE*1cJC#92>z .ގ&\ބleW"]p@]ʗ /fVi̥R큗B0I^hK-F (~%%^l7qnN,ܘWza\AI)7, 8j@na.Cz%t)Zk=̉!k/$OVTa 9z9A"yC#SW ):mo2B=1:WBA\`ߍY*!='n7ɦt*-&dGT%ϟvCh%=P] ?wH# dG#,=31^>ŁzL! ]J-P~q6B'ٸ#d)\/H 1R} Y!MF%`LiRw[ugtKC_+^uG[2^ N&SY=MT)nɞ䆪xI.$}6cAt89Ra0Suђl~\6  94\Q@~j:u캐h10f4Tf9QD:>*tikb9g/JqKLM"*3/؃'ezy QWeFuoJks7 >eMaE󐡚Y;:)cUD݋b T{0"n8 o*rU4I qeMaGT&_.F(;Npf3؆ݔ2ЛLydM;lXd“qo,of#-3AS G,|428Pd:s2d`":Jo>sÖ-? 3O~vrHԮ{$?U!(O%"ԛM(*zTS5_`FD޸qAT'-Mg$ CJfjûbdy?*Z,JZs"1 }ߡJ739I7I>oG!j @,>įq/OZ\j:OȀBe+߽d9s v"FN2ǵ\B@占Xp,8YcHbS&dZupDϩ=^dc/d ,\l0nKu>(>J!t:ώtJ<\4ށ-(W֦ox^tםX8cTXާֽ۶<ϟ>J'Y3Q|:ֶWB~cZďʁUu5_#ˌ3x7ǔaX\vhe(iVbj\RPZ5D?]ND0bWXI"?-|lxIw%e_⵷y{pTyabBֺ9(J .^\%)ҒEy#)q,V) 8!ک:tIp8 0%"I]eUD, "=,l'$B= deSU\SB*+摗UşWRP4s(%_ R*5JP*ptI"Բ:,64֋cvL-CDI8Cg}XTHX}i30q} qF.9 l- (f uta >>ؘQ)-S.nKoIGEq^1T(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s,#vXk75G[H@+Yjw|w§ ֚70 %k`mP౹׷pa (SW#"I(Okq;w 1t £4"19g3=oV^ם:SAxvϗsh@!q= ;ҏp~ DM!٢yQBÙ~9΀i H+ả 0|1,CD/ѧ|8tHyv4wH&Q{8'֕a$yTy.WwZ.sD!vIυlܫ+Ԩi#[%F\6xxVUT)~g;Ft<6=Z*gy𐘜߷VY#B#d.[`[H 6yY􃻌|Z$@7_ݰx)1*D o_1ٍ{A Ujɞ-|'9I2$2%?"yj߈v?DJ%ia-\sUuC2 lK{MTƁu4~uִxq}yTJϚ7TnY%i IVfUUI^JBp#)ث4D{97~`s;KGC*S̰ O@XzID@xbod#lK=Ƞ6j9:hᮼ&[ 9)0jEWNuct_%7l9UtI>#Ւv| D}%1[IM'a:s+(Ӽv@qd~ԸiɻO o͡—Ix%aN{UTX&az'|7V ȫڔ$&\tц,29B/, KV݂zvy;` dTg-ރsc9\a8|R`Ľ]5d7B4?]ʃ4{I*BG3SfK`uJC:֪p#[֤wN  e kW @`,)h&]"`9(a [M gYZ '97 ,HOL-CardinalsHOL-Cardinals.Fun_Moredocument/Fun_More.tex7zXZִF! ]A-MՋhvG"uIBm5q|ŨS$cB頭p(U %DdVw}KRSe[1mi Vx{\H#&:榥Hi\'{8(k9DxiٶOr˲' }_:BAbr$j:Pߘdt"|Gwై1Pp"~am`c`k|\~'d Y:=ogBuXyZd^ %u=~Ae+͙MT lqjݥ QbG#ztjֹXqYB4^h@M5k̒0_OdH;Bqg䞢틥*!5޸Qzmx?x槧Cٙ@)[jZ-FJP+9xٜtvĐXC) U{ gTbcP281xFl k!/%KM cCD <J=+:4j.TluTLU zb:ijI_q@*W96*;xZǢGoq;uzi=Au KwM[k+ XßcNBe3zB-:?`tO~1>uګYn2%k_ 4Q$݊ei"w[2?7 ߮Po< k2N5<$0B5ԑYeU/=9 e#J*gRv ^^\2-RMιc7n fA5.:R5!m uf۪ԄʥZc1(fUXiWDbtX= fLNU7xʴw (^PUGA;rD}}!<4k _RHדrƏ~l@ȍѡ 'aVOUWh'T?gw}+&ʹpJ)N[JE72xp!M1}PݑU,!NaJo9d% Tt`HlR 5l}go'-yK LdrkU{SrjgCӚ_\llP P]@޿՘1QH؉YNNm(Ois'hh氧^i - 39r\h2O/p&=u S8D:D/<POۯPG)Մg6e9 gsr-J5?ަe-ZI }_whnLS_x$M["~ T^?;-+>``Oy9EZ΋c{p ima[wƄmB3YOcwgP9\tM^х=#V#romԋ7^>إOcb:"h#mQc$=!{h4˗2'ä+FUMu;g K{pQםxbRR^>e7THs6K2G l%)`ŋA&_Dwx,1K_&ļ2]Uw 4*[lQK,~f%SXNH8/ٌ@O4 y{䙥65 .Gش @ji1mjkVPEp~kak&dbTAtO(yYL$ d1De9qr1ͩs+ 'ʐAŽbέϿR:qkŬQӋiǖ/R|nԊ\Q zc yp]>].6onPӵ$bTN)>R CvGFaadIWsz!j#]B`'%&B*SuU.]W_;wjw㿦 xPD3Q&!R !cyZK-Kn(rwD_vAǮaGSaa0XPl>K"=e}Tu F9q{Wjz~m>&ĥ+lF >‚#;.|*O}XK/zw8`8z=EbHAFVqe[0_`/_цKzhv7o ;8SU1h @qիHO4>#'gRE !L?i|(Duc\2Q0x)mEzpN)AXz9w ccvuyP0q lqu 9' {VMN?Iv3&An3mcKvC.Y~ZN]Uj;i4@Dd/=y̑/q%Q=0IzM۹<ї6#|kЁjNj,{ܖ$;ز4.jp8h9QB޸ҵ7TSݖ||}Я [72urj3C-=P؂@Q Kw3hWU%zhaDn'/@Xx :}0w}s+.GڷQ"JV SaD?E `ءt{h̠5iN7߬(IXT ,ӡH0B ͔ Rc[ɃsX%^nP'D YNc dWw5ӔEh D-AKu'-OU2^5p6zMW'YL#3(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s(Sh/ݨO؀76{]R[ I:?Pg$njcB0D#qۿkB ב1s륂%.ޏ"4n[QfˀŅfe=JEj_AĤ5^+o/4j3xﻞ{MW!Eǖțs֤ɠzѦ;˚+$|7{d0j7Z55#$pD$ȉ q^09tT?s>4L { P5wz_D+5^JSw2hvGeI1x]ri%VcY!_ !6s9**eIm[zJ_@~%K*WԋRz5~!P JLoJ^x-}"b&W8<_Q74nԢ l2MΣq0v|jFJ L gYZ)25:hx>|͂B0WNc _ 1y/!NL&ӇSRTq~wbP 2ָk!erZS]NgTMZYeGf웍6)1BTUjù(Xo{~I v5`laV'IЎC@"}-ŏP )5VF"VΤPm jV2\)uVlV Qq{I b4X,;^ϣkdb¬5#&LjLq>bprd +̨! 2-P˩Kv'% *鹻_<CF"̜} BaVu "v_e.Hn֨ݡksg̗'WQt"^,+;(}z]l/F.hr4jjfTJPO|$""!ۨ;0c/eBxVU)j f5{ϹDgy 6Qu'WtٹT-|[Bv[ZJ4z=/Kۀ@_v 8輢h9)cL.]KSh_/u޵ ґ 9 QGt3=`^)@( okew'lnWSF! _]Ε4Oķ=Z&t Fq/HZ]`c]͖j%^Qs訶Me>bd`Iʔ!#@Ft+r DF;fz[leѸ9Q![ͳ#Jȓ|`=hnr\?3Z8LhZgӬѶ:|V2%zEI(Öx^:H/(;+LmJ4g!s.͠G!1sree;Uשe} x< u(]4("384A"(.ӫiw,:m0#J18U/(lVn'ghVya^ }c[8%4toT=]:|QJ_r&dTM|ˡ&Y؀FYdbn.,b 41™'fl25BGs ^CE{`iYb|͇}WL T p*6**=, ͚[tkP2屧vWFtYbm2,Vd!YFx<J:(QdʀAA [.6|vSZ ;l;kw5%v՜WPJaG2aH>bt͏wBSFu4~D ]WX(H&[ns#ݧF ˮYv(OSAAAfuܚ(i( ocQ `<_u px\Cȣ<'[T{ @ GAȝtxzs 7`8 `^9Ua@R& .MPӺ-];/BRWՐɩXYܺ\)c)P!|m+d:҅N޶Un}4oZEMU'@(aHM% WfL5{ԭfQKυOAf p Ē|XZOܣ9`֓Ft'}@j^,ѣq:4B)R,O0yK>]xYĴQe8jV_ҙGUfEgT~"4< enBԴ^EPH3yI.tݘeYW46}"q FY%S^6J+qg/7` HleXnV؇Nӳ ÕZ<#hd>^-0i!S't} -Ӂ̰ g,a<73(eX4".mÛP8$MyA`>Jd-~ab0{N9.9T%SP*FVr͹PW, l:Q񞷥\]O)J _7^\XtB@ɸ;c: %Q 0֥l2ߡ݂ả @/;в8PFˈORq KlW2"O[:Sߌ>rAl j~1*:<|0tw*m|ьŽHq.Ia'v->Ϭc{.&aFCF ^A*"Pe74U#@aL2څ'\  ' >d *b0"K!ƟNu$dZ +H'WLB(K-=\=%q/)@o l ʦ7? 76tm32j),<(횳ӊƯ!;cMYUОWvj×MrU & Rf\Gm1T\iq8~q$CL}/ Rc!tC37.(lqLֈfuyCcb*}x* Kp;0ckp`Xo,4G &$8v:2([ K!orP(.Xp, y #| ~)&ՈV?M( k0JJ8> :! :xkxI k ⴵ-EN/udsGVKUKtnX/{ W9 'o,ysc!2}.ؤTh,߃$~_ukC~U"3)AD k\K?:Sʋ: 𝈝 \Y @!FA&zqg/uj:ݻ)VaE!)Αa_PC  vb{zUxAO~-fpk~.G!YPW|ǷOuAԮ*["R .R'V,A^:s*o#iX 0ކL8 |6sM/m_GYs&iz sP=8VC◘ra \VCDY3XĒSワd~tBl餴 J =h.Gg-Ӌ!t˙+/hb/$gܣePDn; bKQ߰*byZ GFXIu Gv;ɠ- waj[y٦T,ܺ|+•>ƘST{`k%?.&[AZ}z)yM9^׆+5M*Ne 5h-2c e= B&jeR51f91#3$@qnP%Wo(WtB[̂?Jyp OglMKhئu:-䳘/ A0i]c}8!\vbzMH *-a/ = 4kolҕaw]r}4 em`j(A^{A*} U*-W/˿>(@9m{ЮΎ;эSڎ g+w_, ݽ)XD8KU#~i{sa*q xE*JrvE7@0DPtKP&]g)}xG|d4֞)۲?^jZ MW]_"tbG:D)i!k |H͐'jG4L e`r&J#v_me9==rG! ͜k!)+8n`̬ur9JIJσcWc;#~6kR-뵚pgJkU^6wLI+^EI:a T:7Lɐ(@@j( ֞QT9>C}0 ddJKJc-/bcpa M)- W+:K: j2O?esۙci3rw 1FȘ-ڿѻ,SԴA^n<`/TRA.2rY&i\)g=CdC|hVI%:2!9X ˉxܱ+1ASqPdm! 13LʷZxr%;9XR/pa ̓QQLJGs9½ႶL`>ݽ8PFNWs|Τyz1vd6rbp9Nnj4(iӊՅ]i?'WK,8Խ4I|E=ÏJ!Fժ=4xg&Avi߀DARh^oi a*DuzQ$瑊6΅|wT$1Mf_SX~~F)|UDu(9 MtLtz;Z4{jo2lqX"h '[s1a|nsFbn̐BR4ڼ>UNů1]:m 5`5j.fLJzţ#?.*F(ᖳ]cŐ+;dhݘ0]^ _6N[ lSM8WhO_;Td,ʒI̢mHj u<9/k~plロ$U"y H/ҷd4}) í‹v$g7BQB{|/c`"m|yFiIn#Y.oe女#ᛕl q rsx#}CHǴʒfJ }6'UЂFjo⇘c{ 7$c@p`1c[SMG@lZf$EHh ]q'/|nSX @*!"z)KQŅ>'XLRF!vqp o@ΎVc*P_3aɜiA 1[9i qU0wEEiJ s՟ӑOsVA tS7&H;w;ZVgm@'8㣭رwj{<[d N&KsjrBC[Tn oF(ŐR@GS*E]]WnQ=ՌޤDU"֋=`ǧ' JEH"sԓ5_RӜ<KnjEx_6V1DpYH8P]ɑe-[xVy'mX`Th^T<1zȡCPFѧA$ꖎIkpqņIM4VɌ*G?<'0VSH->KGߘ2 yq,טLI0d6;p$F~r+ Ye[0&aK׫żo9j(-Uʜu-+ »oD"g(N]X 7wch<fsWHIT+!yh]RgR8%һ/!=C X3JJ(ႃۮp .#cNyVpbۢx∉E-og;x_%~2!W:.zl%nBGPO)7ǝS,.)Z'2OME3E z)IiWEyHD?:]"Mc|7}著@?>κD@/J=>;~齝 кOϴ WAe3ihVsaPJ ֲ1zMȅ&A< 6o+Ӗ,M Ңm%NQevsOQ $[~PW*OxQ  Ro)ן)tRoxO[@=z!cg&$/ WBWIz~fѯO^$zdvy՝dl?Kr:9kh[1Q$~W]r.Ul~n{3#^:AT7 ŻW OCGb+Oeh]蔸3eo.65uʆ="/A[E85L*WҕϔL4$ϒg^:-}loB<^6"~XM#ZC̗s8ݧ!hpj;."oettq~ N 쥊[P|"4~LqZoooW;YכM]!̛6?CrR|MOm0P+f,Vbb?ZRYsE`f媸 VyL[w~R}0Ƃ n }kKxP@4dA3اȗŔXb9<RZO _y9>:́P.8` r^K^>pU+:Jc`ouk6JRftNO09s'.z7N$j]fӜ9]'=eQ{0p2.Qiu@tvcx/%iԵ ch[2;~UYM*:x*JHģTWyj~R+$|#,9!{5 b̷QKmКԞ7Ud%=v]W]@|j˩tM űH׿kז0F(p-O%|8V-jJ:}U>&7LU[~3UU4oè,!/%=xAјlVM!*9na9t-۴qoTH {\?hJTLq- CQc8Uᰱo)r#- f:Ye(#uKt$Y:׺~+W oSx=9iRzKbʁJv`BLi4lk6F4|*x0̇we/GcЬ]9&F A1 ƛs& $Ҁ ,&E|LB3#L@0UDV3mǣ20`Q@## 4?0̪s!m{ Rj8 ޖqZ5ʒœ,x_X޳l?Fu5ueb=g6__~#!-Cw3Jt3C/)*kVPlEe(d~.6|a/Ib_qmJ" 1WX 8a ڦd8%|0gX!`lU?5sB.FI ǪgOL|˯2IAIdߙ4Mb#lKB#ZgsxpҤ/jV#aZ |Cf T)@UDhKlXHϋNYޢK]˜Qt`u?r?x4hyl w٫H~VIavG>^?B@.ƿ$"=RIJ9S`eF•QbEkBM[N> YyK%;(oPhI,LZ6l 'HƎ9`Va+vtڝJ-c5@q.Rf-O_5M!>4-&Cć"q17ANr8\GlH1aB7xӍ/zWLCh6^>q %9pz&9{t9G<#b}_ޚ)%Ů}{H4 ?(.΍ٞ4v`_o5 ҧ;VT=lw]`%kg\jLʟʫhی%z8bVbJ0ΧK& 1VKކYeƵ%\rK{~*@Ip9]'+ 0 /snX р aH 4<+AY;C.%)€lYvbŕ\f調M2JL\ny؁A']}]x"Zv3A,sÁ,+3D L4)!!9wQh-V 7n­1p5GHKj| ~E^WT7GRc%T E`9ݞw./{<*3nD!Cū$.69^kQN *;< C/hNs~7(Co`>;<},!mKm^Vē\Zׯ,u7h: T+Eh[h -{M8{$}kcƄmx3Ssm9J 0xd8ͰOqL.xd*k", Kmq3!$;Ii~T5; k5} 59iv ^yBE_ts9 ]ض %)+A8Tw ;ki/[o!r hvHs~fhPz@@I)qO*yuk g67XpHsBicR= nXS ez+l&:R_ӄ)c@w /@8)H^C3f~s6.FD,CL/EA9Ftijގ)ReE7T w$-w̶_[f6Q3ZbY G$CAUZP7f *d8,;?7cdLfQR I4&< %+OP?g-UĐEhК!m1Yy1ݡUқpۛ(CPHaaHS[R""w=MkPpL;Z}ɖ ^ 79 pr-6_94Qt_dT8l &.} ന@<,Q)Uw̒ٙclЩrP~N$ޕ]JDCٓF kјe>p]cO8c7*€q%hiOP |Hh>ktF5zȄ !v<lK,33*oUO9A>1RmFPnc0/{6L(2|壾3J(R S#ur;A)pBkAVM EMPBbi'+.5q,MGa=vlO7&:ŖZ>%gm"na-X<-?CZaUI0Xw2Sݞ.HȎP̡(`ף~8=L3C?0M*%Yp g&yq5k۪E^"aV-Jw:VHve'.\[ZEx*ƩK {C d? Z:Pfju5Ĥ΢ik`uZA^Gu=5dy؆ ~[t~JYQ757#s@dDqswEi )@_NW!ϯ+/[7ysTB ބ~R@8E<۴ș ✭hů(c-or]a| cXbxt7un(F"ǃӧܻH2;Lqya0LȬoa I&u*C~`I/4fD*/~[^Dlڪͽ<eƚZhK;[G}{+^f[F]LOF(?PD!&*/Jq!@O"[lcN >7Ov!٨MLP]r9>>04Ka;%S`@L#:.z|w$=/Flϱ09c're]$#h,5O-,k?:s5߿ n>ja;))^\+ⅻh#A˹`L>Iٻ8;8 f={3{/ vBOuSCfNE?F}yoģ̑gJ} *7$q.H) 7&!0'TH+0uKF!-T`i>=f6m d ;LTc8je[(=4uѷ#{Mv #B)N׻oP9 \Jz4-,7!)+M\Aپ%ua(U4S8*Sӏc9r x㟂6[[w]N(.3;G|/90**&m/Y+xa ')Vi2b6)brZ4 hf 5)"p58|&W9 s pa~ a~_{ (Ӧ'F{{m5#Eaf'vIC4b@=$4 S?}ɋjwE{2.oLku_ R8QSAݺIpch`@8W4:G:'=,8?=Ddب\Z^Bw{Q Le߰ 80&?Թm/ȵ0S y{ofXgKl8R X7j́"GD ʥw5/;! L[m?}z淬O9EQ.s̋_qTC&<5TSn+%5܇cn_Mq(n1f r5s,צ6n^0+}UT =Z,ĥ?35/x7/*'Ca}^>|B|H/]]K&,臑 ^wE}yXY48]qӿ먶/_=ɴ+(FFIyhŻ7td.-o+A3Kz` Uߑ1(l1eߢ ݃CDUʖ_e#~ڒT)Ek:NsI3ħpOU'uSASo 'T:n4$`A@5rrK24LᠩXb|Y,K}$/0 |KH0ǨS&?P f_yl3 {Gtk =r#y%+FI3:#;UfnпA^tFҚւ|Jnc4WDwHާ-VR^EEh({w [W?oRx)~`Blq3pr B"ލ=Cgo>#r"I|R8 wӣPC9WSN#)TɯG[yܥ=^[*%wx4R< Y4=J+ʙ&d==v)%WJf3)ݹ M4(@yE{<2.ȳ({ !W fA\/ kjz=D*ʵWTD;"n*"a2ertq'@U^ixqQܙ#S:k2.FtDXEU5LS7t{KN4GJRn&9 E mN0@A!w@EY$h?S}0 =-uɳ~5nAΜ=:[4Sa:^*&=Ҕ%䤰I|42Dp=HbA-~.})8@4У҄nG*#`yhU%E-#%M"z˲1|O{7=lɐ;~STk1 GGB%'mV ]ұgW yy4]1Ay\*%of*՘cjQ7,$=WDcN 2Oh-&ubD(!ӈ{?ݲQ*/%>N;˟uB`bJ٭K* X9^e bh4Q a#j631;!iP__? GNʸRI m| |S?#|d..ﶎz[TنL㒐E,8VAD,8W1{՚?IZo5{Sȯ,#;Zi"N& pR<=yXTC}(lGޒ=;^m ռ=QW 5Im[Iu%[b_ E,b=DPuzҍF3 {aG-3%(!=ʞ`m&Bh wrl|aEdEzgݰi-wY (͠hZ7%|d.wV*hϑA"$ h`-]|ȣpf~0@ cT~ C#sfs<) wQhM a sZZھ>M֩oOUICwd'ON~ZԯA||ǴY)ʢJ d7eM"Q<' Sbs`\ЉzR( {Q2?Y&Y>|"2Vw5/23tk$H ~n8ck`ͥ ׅNnE]'zyт *&ҹڻܺGUDLR ՙzd>1dW&Bc<'LjS͡Y@NX"9gYZ rrr 'MM DHOL-CardinalsHOL-Cardinals.Ordinal_Arithmeticdocument/Ordinal_Arithmetic.html7zXZִF! aZ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*nd}󍊅A#O4bI߻ɟT\|sz*0/e_Fƹ0SmOR _rCx_H1¥/z}E@ \eU%ܬ3#j4X "HB_|:s \т53vD[]/?lj4ys{X`PĽ _\= IN|i9=asc*wp}cpH'w3%t=Om\e#vIչn%o-<>`g+nhk4-o By '9>4uu%m -~{fh܁~ vl8.Oy@KTnq;zJ1źC˻nѤ2"oKܺ#DJpO+n(! hv1f !- *kt`u .4  -E |lv{ UQCg`Ѧ[Jj[,@fH|R0ͷ,OlBITkK|.Ţ"`lq0Ae(i+B{?Uc~s!!\ࡵ:\ lAJBJ7 E~3&ּo)QC*[sm+ VgzOM`?O0pJaB}{4]Fc#dV[0qD!XQV bZ$! B;UnwV&8{w[BtwgӢ2)JcCP/nU6mȑ~!Ml+ U?s]@/5.c\13u D۪vq7oWӲr_ԑO wݪ _%&Et.w(gV0yR&6?&<:AW1T<-<:v7Q?4tP0"hs_vePΫF7i)kg{N{ab%tӼnfyDo޺=B6u쁵au 0PqC#şUO;X*{#%n؛cye9 FfUȗѶ:fU<5["e+w]؈vO]ؘ`b\.\P5! {.A=^MWڴ 蕈FhL[6q#[cm4[Sd?-߾drSP<0 +f'nq; kɅa!#ngN}%o?N[3V^Zc.&c+8MCRʠ@~k8ݼzށbGF׷c@\ڢ- |ԭ`&(YP;)uCo`{=04rvUDgp$r0ԴW/J{‚83}qE2=?DOh$[l 9Ou)'9>~+ :i<#ǐb\~0ȓ)+3?4zqy|SWDJ](߂R+非v#21ł/ʌea!e]m[hx.Ñ'?= |HOL-CardinalsHOL-Cardinals.Order_Uniondocument/Order_Union.tex7zXZִF! a5]A-MՋhvG"uIBm5Ń!31 UF e¬e,0v[C⤭H?IeH_OC]˘ËZ>VmtA"]ZmLKv(+`ad'k#R(77x/(sKR6EJOC/'ֈrd#yga2sFm8EJ HXӜB)m@+h-D&_9BSoc׌ljA7j%5 c%lqP/33颡a `1:]P{ީ'ɷE0If{f.l|d:4"td\X}6;0\3bPMtC##-%u Nԫ' A.ary6[Mv]iQSVFmK>&JRO4 cKiH_nJJMHp2>SHnҔ$$iDǥkw  s_~x鋯J\vPG*N. -PbHqT@}̘lԞeKp 21$>Np#9cPo׺-TF06'OM LHOL-CardinalsHOL-Cardinals.Wellorder_Extensiondocument/Wellorder_Extension.tex7zXZִF! ]A-MՋhvG"uIBm5lRHgƀTf,6dLaFs^$_X xxr<v|&M$`p)suUiUl^!%B '>^bs;PtPaީ6jIq*t2^kX;vbٸYzt=cQqe. ѡAlKhi~/My !L[LxĢ+ ڋ?כR_k<_nǽD L܎AIyΔ;MP=O`^m.k7F~K4%8eszۂ;Vn #HBl4_\Zks mi_4]ę'_J'Yc{ɦARb84J3z< } 3JWb T'IS&@n׍Σ n:wcew@U擳#ل$I յW'e[xbI oHJչVıɠg 2yom|iތFqy ٸaVy^/FOu$+e;VUo}:f`oUEV9Hv )[Y!gZFUzn N骽\Kt3,8yfRPڛ/P'IG HOL-CardinalsHOL-Cardinals.Wellfounded_Moredocument/Wellfounded_More.tex7zXZִF! "]A-MՋhvG"uIBm5kA?PѣTeYN8]*[pEkWN41-[?a3G,W [u^w/"M?-1 O d픪LY+9tTwh2(~?R'Fha% 8T3Jlh~Wp ԃv5yc0ٖR$w;aFGW5T#)?PU9m7`{F4'5620p%rW plį9'A'F> v EzgYZ=J]~* H u/z&(L}M( s>2b C;9E2T0ofKS xCR~9!$}O 7ۖ**ݙzH.Kuj5-X@H71H2PtCSKzX1uY$K|0LI(Rײ!_ݢԃH+ b`L>*OdTfu"⇼{&(T\H:O"w6u=) Ux c I&`D3܃ɕS;A5kNXWA BRIBzpo+zzIÚdp}\̌96V6#@<}aV"DEB{!v: 4bt|x~1EHc%_V'SiyB:;cw)ѝ0[<z495SfxlnUlGޫ!FFUZ6e2C|n&͑xXUaqJY˜Q?7L2b(BM:T0-H)l%lzOIfÉō'Vf&;pV`N_BGAU_ze|v'yܻO< xq6;~<;  $ştהGoyxGǫ0s6Xd!BKC>ͦ% D Tp$UmS?b~$ݼ{Zv v3[R̋mMcگ!h?">mH9Xc3j9:~"<6GZAn{L}սe˫QI!ę(jK/ۍE]p RkqOm'xAD4ϰE >o)D*O2ύЁ*9z&bbawk00jNnј0ƺ0J7+J<{WXyɓByfؒѨ¨xcQwSK<"AMߘ%%3KRYr&LZIN#\ϻ%z!5=2hɝid bOKĦQt~,mÒI?FgȖ, a2 wֳ98SOS!+&tTe%Bᣯ#.8\hKhjmSN?O=_o>,+t/14 ep >>n3a}[ȏwϚ 0X,U< 8YT[ewFZFH\Z RƦ|XQFIrb:K(vS)knt?o,P%HiG`"YQubO"焢;ڿ$KAc^&riCKd]U&+}*~hq.CP£W:Wo _Ey:e&;ۦh"gqf&UxY'ˏw%y]1aULsq+̗AMj#Puݤ>?h<9,rD").Z7;'/Ng&6Iۂ[vnWeKmFpA/`# 7ʢhq?Q b.J+¼T]=YFnt{ nBd{ v< 6E(}6M$DŽΜn y;R}%`MOp6DzyfŌA!Dy"Oڼ')b Rn쥼(N2 g~cMuX&sӃ$7WIdw2q(*QjoݴNŽThjXaE(#Mu6]yF疭d"&fsat=zKG!v37ӬהX2nBzRH|Lan~T;'H֫^~8i ~ږ玶!8@ ~ɑǧϨ: LjrKQ6HokJGE.M =rWa]]xjWzjm|?w%<@K\~ʮ)%%g=o/v]a.F/jnv9b, M2D8F&Qmp _KNc2_qRƭ$p`cJ_ a k;#hԡchc.dm,e7ŃzQ,VǮ_ s/Gu4]PwnKtK9U.oY@UG$TP k,25-އ'Kygp'dW߫<븼.aho@)/g%AwSY6 g%hق ے gc~k)"ίp|Iq"favk4kA.ȶᇐQhktخ"zW1lYsWgl81Tk"^Aם/"3O3GߥkYɩ72ؙUdyXdkcr# 7$p9y2mcglJ6}T̯ ]Tܡʑ!fFHHXC0>1ysk`.n=wf+; 9^!SOˉ2 7`-/1G'_ݝ'> e t-@dVE"_]" O"=+֪_}0g<n+ruY0:yJ]+Um|VSO )w< tLysK|z `E$'kH] jՈޏ-!Ѿ&_0kGqᥔ z k#%wB䮬9nr7t  0H,DOCoCun *&hVOhHqk>6?iϿK\<ڱoe܄+az)pp/F;}(n+M-w ?_9Kd ^n<?mzXDdqIqlK,v-v42~(reC*\v3a"6}T *qm0o[9qh,M_7T@O^ w5WXPc_:vf˒*Gn$m]4$ݑqB!4onE~v:>ge (֧gUNxt}"3q|JyIbbXM&nL[sKP; B$:"0@ΐI t:Vl; %QDT]S"gKG5#rآ:h]ƑB"jyQX Fr?a0?ØS'bǔsj{|'4CYūo n%Sn$^Iv«/[Q5E1s,h{f,%>|0)&1|gYZxRY!b/-=iE7[dG?aj}hß`D&{GGLϜ5Ґam TX/o2Pzm۔_9 .=dPJ$ۧpHz%sV/ ҙH,;zzbs Xt,x֏H.6a! u_w(n؟b>8D, QCsepFP¡:lh<5IW)scz1iPz;|̲cFUL'k%REp*Ԡ|{h}U[519-ks^<9fHLUe57=xUU^u0HQo3767B0]Gȉ mweEv}.LP?Auw窱jSZ   *ks=mG0%.M2~#T_c`L)>hONd\R<*U͓􉵵SpVq8N`rUP1FwA@ {V*vELH`}Ly -`UZphHн! nMM*3I;b(,_Ta`M]gd+GjZ(>Z'MP(/g~# %#leJDDt"AkACxC =/H+T'nhh%cŧZ>Dnb *o%4j=M%/ 6Xfh;Zy.Sjؖ*Nj3z°3|7[38߷4*4];cm'@##Ne<Ű2B >}"8dKٟgM~5R{#KQM}gWyV*OSuH 0J. Mϋ\9B2yU|q~rs8"ia;\0CUs ;k=T?OoBm2il#YbI7apyBPջc&O!_$4y([#a^JF]qب}Q_mEM&iВ6pkJ4dfߞ%4KM*{XQDg{ ;ր[jսd3D[K5k=!{bkR4~G)![q5G\aή}/RhJrp8|"%l2 -ōe-C9OP*m8o2PX$mMg.=3`\[SeG(GddN2;*S&C3[8tL:Z ih7Vr]S H|_uE!aPML,Q: "7snYJT˸u ,·K'Bm͊R>ʩx1nk9Cɼμ cvaYP֎2#|cxE~_3n3<a ^%k2 w>Am\w0#Cf ?v$k #VE[ː>3$.Z.i}+.Frb;aYx\5* >Bf[KZp.JjmG6S~fAϋ%<~?pTY_ (#b׏#T;`ReU5Jv徖SBi#,5%X/q`lUWh8;s ߵ6+q"5O~-1EJL@5IpN,'7d+i\0J`'DنK@QUXtߌ?R@tFyN5}j42<0vIq6܁bx'z;1=PMsY 5V=ݯhS_ >^G-;$8(J|[Lvχв1bNXS{+''=N`&xyI-Pχ#)/cׅLFurQvM7jJ1v]K\_" [KH mvO'ݻn|(z*0=0*dmuѦ` l+P~F5c,6IP:j85X3^`Ge"gu.YI<3KEϳ 9Af_?Jr&J)0:VQ[pr9lciGiYoA+M䄐Pic~%/j#:ue[ݏͼz̿H64V%!@kE q'up ȐTwOV+n-~_x6iq3B(5gQϬp(=FMzV89CULTV%4=p Vs%H샙H?ݎeULq~_Nο%yYCݚ?yO6TL4>(AgYZ2R{bVƏfz-/ҤMAߏ`tڸ] gI~KĻޔa6HKzXbO$߄vqa );.TF4mf 1}d- J!ݭۄ˛EnА@O<fK,kb `䲲2ps189eH+^C^Wtzdz'> h80ޑ' y`^Zgfn^ʞ'A~d>eXɻ%kj'>XT^h^i': U2aIMoGI[e5W˔1NʱצnKKszPNz:͡z[l7.l*|`{I5g2w}PYN cIN+$9mƶ@BRQGhyᡧp {]S~ VV@ُ*Zs-]Umhϑ7ѯ6O7aƎ3ϯ|?ɘʳ1"Q~F̴0N^ϖ\1 B AW`@řp׎nc"ĝ3HEdnGp'm#\P O{?V:-$E/-v%:|. 7 ]mY9˧~}d. xt]5Ǐד:#i)E&nyV,F ;k:ȤA.5Q:$7L:+?Y䕡k:jb\vk5HVӪUpޘ`Z+؍6-e#nUtm!xՏ_GzL%'1wr旀2 8螤*V1џ >]v뛢"D;C0VVcwۇueܑ Y{SLZgJȮk#a>ơc4fҶoԉWf`K&~$9}_\{iH*V+]va<+Qe@ 霂/G?/P hwhƬK3oê;?AAEvP"&<} ҃*͜f_{+`zaRX1`hhǼb&) bwEDe/uĜWN{m! g$RTI-3# f6笴0:3xN$_8s*OIqsxpؑq=zT[+Ikuf$7sLa:}s{1{ժ%[tKľ9ǭKkyob l> +kF[j.g/ճ{[jG?օHlϟQEpQ߇+%8/j ˜<GS`B|d 5rLVts'Ay[L]y!s DB00J;Ǒg]G=-pBK%5'YݼFֵ`tϣBW85rU:6Ӯ4-MHe ~֘#$\pENЮ1Zeo (i+/d INXI<P^55\Q@ Xc'.L#!3Tv+%oa#eHqtē@$By x*kdžF^qn.b*;v옘3ź!S{pBnL-OxOuS/~҇_Swf1Nֻ̹*0YZP51Ͳ'ua1j̍ۯR Jo_ڿ0ѣwD\<_jߔm/F6QȰLA^6Z3(_4(@$-|qBWħhoW rnߑ r'0Avcx: d{{ZN1 lǵm A}<=R@WJ_R[ɴ^VO\j8niLf~(YF:Pfam}x<ۆg`-WIQ@hi#3rт -Y6r\G[?}3WFzR(6xkXNrO(*OC{L. 1ꕬ,p SblcXtNIw6bi8Us8vwwG>DZ`{|d.&׻+swoT+9jPh4J7Ɉ>B#HWQHZaQRc$bk JCx?KbSӆź O\Uc+-\Ŵ̴y$JfH*~+ OHXEyb+i"G HŁDhr(9s8<}Lo^ꖲeF mJD]_$GIBC-XVʏkeBƑkor"1CaR a}3SErйt׼q+؇aS5B=Wi\_4:%3.Ae 9T:_nJo7+á5JCicиg"k}W)&Kx*Y[8ٕ6ZB  \_!w-"Q4wpsĞL)>YYV<<ϨcG 摳]'j ?O\,H;iP n:q =JX:͍k({gQ8xC "M= P,T!DlOmA1 [V= KcKʂ{0Oo pʻc'W &,FEL՘MH:>wcAsf)"U 4rQ;aѯdX)^{\'ѷ|X[r%ZR<( 4y٬kUG/B#D/(8XLgUȧp5}-~ɸԱ |oׄ Julo }!-a)ZZ?|vR5P`;o6g1b[P^Z-bd~o1{A=w YL ,g0>Ln~; xYn_%ǰnˌJަ/ {L#;r/&#LTsFmH9`̓88LotۃPK([bwWWAwA?=Td5c C  *^Es^ 1DD^0FAOx3:V 5;Y޴SNz,M2||O=Itu fnoyLb@b ]=l (uAV6|m?sJtzR.gh`rFj{mH!jmn*yZѶKƬ#SukZ?o'Ts$+ ,N?[o<qAr)΂Y`\ ͍̽,X,e%E 7>'~9vz{&.BM #y4>G/KD~7L< !?!ﮢQؽ4gPk=/_jF:m+_c~QFk?J8ȁ0z5Zzz9 ctXzk4yiwaq^,WFCQYC} "> ߶Je_SvߕTdS5e[5?×4po,XF _=i,s`Z]^ÿD 4bKv_7OM͙`;$CEcr^OEu6*~c[ʒmCzBF_|rtK)L™m1Xx^Y0.K'dQ (@ŔʲYb9DiӈBb@m=0#Y4`Z\_gEѧ$3W̾"E#V9m0ZqV;d(P蹕xP`vR`rJ GF!TL@W~\t:y QA3Qfȉ@X=!iჂ:g ԶZ .撊dzW1.ݮYN}6{0{ė5ao&iޠW2Dm_tw &UY' C.)PwELr<ˢ^`Rnu<\`ʸ7>.e{|7Lg8CF`4;0p~j:rYļ/x %-1U"9G$1w!H=g&̈ _2HrJF|9U@,:m֐zgRvK'trlެw綠~P" ˵7u`DyP{cVy6g+GۤDd>!F]CLV;#d hҦUQkwH-|6^bTLIAa-S$se~o4_]M}zץ K"!ih֯)Pxrw,ÿ=<#h1FmvD {دfU6SUaDe5zOuɊ8JoZFi:,ig ]| g2 HPH+]^q?bm[cXyJfDvJiQ 풧$*<4_= Чqb LHh\,K>Yᕹ0}v}FM[CC&I+=E[~+mU_!?x &cM&NXNAu85 /$rl4+ -']!94 #!*dבmS tI.MZ̛Z`n2A/[~?i*N-Yw(e"LC9:ϋ%Hbw3=5MKK14رW OCw̛-8ďz͖ZcsҚdoߢ~.έz-kʪ1zj]3_68#>N[ŢdMҿ'C]nCG6#i:#\ ?IRخtb;RZxLdʟu2ef1>fO(Jva㧹 5W#_'fXUx%^i VsJ2rW5m@̏Jj_hֶh!J_NTث%0O>d(~Pq27VhaV' )V;| Q5\{uPQ1WLt> &boBfu1yNry% l8%j43СLpR m <\1F,k(qh"P'k1mp_%(.>%J/ћLh0J=v囖($OJ5\iKɊ45rM4'ЃL6*oMT[BϿXؒIՋ֚XԄyE?%q{})q%ؽ$J>ʩ FG0b!Ԧk':v@9bƩ+3gӨji.}Yp%K)cԹ@p:OO4Tx ,Xgpg_j_[[ .)js}O@huV,!N=&|'q4)uϥ7[P*kZj҄_B`iRT%)qqBaK|uXun ,%tR qW:R]Bbu մ,W>3XȨv\]Ey\dKT½t:w> pi/*#B(V0RQD6oT8 KHՕ4=I4h^ֈf" D:DH7Q"?]r)cBVv;.넻/i`,'Ai[ _(@AE>3&9/} ij fUd*lҡQpaBr+"YC Q2,&qCm2xKzE 0Lf<؟=E u9UVVeʷ͆VTG(4Cc9]3O"@䯗yi٣zXypn[3$Щfv:&qtƜ'櫚$+8n N!tF܎)NB()pc B9/)} J'!*!Fhs,8, \5 َ ,,g#A YnMVuGf:y XmaqB>;,Ғx?2|M6zd6I*:8 RV՞۞e-AѾ#iFg7~WWK1#ag|BO}``jܺb2E,+䟍/ݐ.zm Y٭"|As @>QH 3Sŧ@(ݨl u-҄ |T J8kAcb`ZiqؐÊ6 vE™KgjPS?x@_T,{6XI 2F(+v;8? "E$;LP$ciM<:UY/T:]9 ۑNNs>g,}!1Wlδ3wФTBP@+I^ 0A)co%;Pc˩<5 _j|QO>:,DuerʹZXb?+ \+)tTgu˟;&ۍ]v1zZ^-3v[!#- QL1t)`aOXnn`XƎ&|J+B~harƽJk c/#^q])5&ooʏ~!I&뻼n׳#NBNb8G>MBxj"gPÿ֋!U$ah<Jvϰ#8]A\1ܴ)Fo9 7*8o5[ |P$EP_7_CX+;u%)? jbk0MG97BDFf.bL?č(9.ƕDEJ(Pfy ̯pʎ|*xI]J3>z.>'Q,t0Wt )b"+.S4kžQ x3&ez$6;W6^%cR35M/0kdDn}_Sz+֗vϥ&ϑd( 67K mGU+WBeWK[a${몷\EUzy\n@TL4KR^R,aS`rT"r) I~炰ЅhZ$|v%'d_taXGq||d)Rn{֥AB,,.kt3.3n07<5>ȩ X^%onj+choO?*mJB6"9NsM#7yFs-q ^54n'S‡,aVZH:ӫ:8GEg$hΕݤM)SȾM׎ ˲$\C-qG''KiPVA5y-T&^w8`>)+dsAS5K#TEVүIb P j)tЋgQ:Ҹ^x(vR# K`y_ a~3ʠ&[\sr.P*/&,cƾ5ӎ;8}cPf^eI*[%N»䮉}q؊s&٦A@=TE?BXgWqzgia۩ eVT2D&Sx1fyS͌.@{Qشo,lJr.4Yx9nL0}Nv|X=5vts<8 GќnyFӈTG"Z B>zA M;Sg(hQ *ŝD= 8yu@F]r *^zjXK(ar(Mሚ O$\|_^aA4§ 3e7mYLQDBպPp^8?x#^u6ˡG(hWZ!&eyFyu  \gr]M EZMjwLRSyWdXA49R U x8pt 꼺ϗRJlǨ vqr8l}w5r!e#C:J J̲dp@O6ܠRY-O?sqwepuڵ! j8?;uTe:$?6U`c7ŚxqzezKmXuLဤ0R!5$ZCΙB):l.ϖ;{]B𬪰?Z;V13|,xTg8qM brʂ{&̐3dgI;`vx)0CKqD5x80Xp^iX{)tler9QO~'BW;M7 PTg `O]%Q1l%_I1ᦩ f^/cK/?r<2G#D(:7I,ke/H-8q DK[[ e  ncX<^7+bõ2"cvB g4JG\sGAlM[DN,/ԻYc-q`* ZyqECw70ab\9isTD1qt)Qv\VsWR>XV)g ,x3A \7Sɾ|jsDkp@i/ G冓k״i[ތ׆\c}=BwUH+d74\JFwK㇑ xw}d[_He&V|*9n;*(<y!>|ٍF1n 1E;~ >I渟&dgiy3ä#^GxLI6ˣȥBA {2YThIz\ 1k&y3,N%yizE-d"7dY>}:1{PX\^',ذIߎUt(.I{t7`jmwB.VE]6抹- M$KT96w8KoȡvA *obO ACINzCPM?5o}z9n z8uƟnxzeݦpnr9pMY,ptNc.5l~ K/XƏaU#ď.j~?7eӧ9G5懳;-ZOSѵ[7 fPgSby2 7*HAaZPᝢC 5xpr4F gpӒaBPz?OQl 5*0&t'MlϱB֩lS`E"8RgIu™.)$]w"qW#.JUAeIB+Ge@v֮,@CτP)kK7Π(p^}  jw FT FY/s-w/H纚#%hz3'x3lPæ/( [ћyt<*nAT[m:*+^|M~pf6C F !erjMwb,(y`m4'k<2*SOcB` C ånޛ7$iG ԁ.iu_ 7_4s׬([-gg̹V:\ӳSF%-Y`)ԌcQtհ33=Kȡ^%.aP#ؤ+&Q܇\CuAzѝc LF,:7D"$en_dXwέAoLJAq"ϝeETR'=WY2 faߌlu\, \Ś!]A<< Eƹ/ y >J9Syml[ۡU ¬aqwR#"xyI=PΎ򝯁+P@lv\0D8YV#ס:׉xA^ _ *)er%|4^Kȿֽ̙q6)j-C03Ϛ7)`\@Ke")&_R!<-bޛǸ^^4m7Uu^ɭeb)"N1|>A7~Q,'IebiML1IRwĹX~9o}IKL'B2j]߳;GVwhG/xxo* ZF__'eF|BVښPC$3gI]k{P8pR97Ί_rZl7n?# UI* kEwn~kdS2!Qa{,.}Gu0͹}T:#M˸92AXe ؿСS2ָ3ȭrpQLl UXŻB?.OM;V%p*m9+a,L?6zakFfxj'@k)fsS((o)11%)`.](6>J.mD-5g_# P{-W@cLˬhB/dZ Ƅ@uxYO\'5Ecge-|̪QzwaMҿg?'aYIH e#XO+Mc P|;t`o*/J!$IT_ٰg zӉ)"hqOsƛ%h4q NaiI~eDɹ F\IF.Pk6QΚچ[IP wC[lZ6pHO%M>} P0a|i^3-vڶH|MH|+5HǑoCVƎC$R$N k;Bq;Aã]l0\p#*bOz3]`GgA~9ݒ7z }sm"}Ua+@_2/,"Zp,߽5J񗲎dϢjIW&'V-ъʻӸ^J9ǿ#zG.` X@}I8 t$Rʵoo.V% Αvk Xh㟗{5CBl*( #@Yp-j kY蚑W{ƁH*Se1JvguKʪ?jd3@Y vV4.lb>w}\ݒԋt];2t Fd7 ĤOa?QH2+o͆li6/yKJ#NbhD7GdZQLxxUi(ٰCB 5ux0M<(GZ5ZEKv#j2"q$' QosbG 4 fY.zm`$Vk}Z:*<*4Ñ5am7{Ȩ=, "MRҶŭh\!t\XVoi^%.똾bXC۵؝v&Wۘ1 p 61h!rl"P6zd\N n`ٺf<2C3f@(;u1R+7_7/NPn<7|aZ,i 9 us}$>AחC <Pf#2aUTbi_9/IS BDj~gl~QbX?× = Pr%fMBDgG $cx%6J##='t5ZywPEu(1~˫ E >]7s,oӳSLڈ`r8b-/*p&ow`͓VwO?hSC$0"/KvrK,O2tEc0@p﫼;U^T&Ib q#81,_^̱RDX@ e+t:Oӈl*R攣F=3YHױȷa N̖n$`yNR.*F@ Fϒ7MOa3 y41;pd@, c9ەMl3WFcX=u~a Z) |QLJﻰvSOzE2؃O{9&m'YY4Oovb{g|O92#u1=Ԉ)] r>3hb]sŒg^U QL77n`i'W+w~=܈yRodAkKVGC/@D6) Ri|poepi˝~"]x}/ݎ,*`B淀i[KQ#<Y9cGj@) Yp q$KȣeN¤j5Mނ}LXht]ᚔ03 *Z,9v ]0K6 @ݫVcG 1VjoUE7%jI?xGTEjh⮽a7ϛ,0MuUgu%u|p—ǯGب<CE$ @PiC&`'L~'jϸQꕖXh|9ku{\/9 _c{3|?*D_2A6{ ?˕`bQrfJ(XMb=Cި$RNY2Ka1lGA@Ϊyu(FV*]/`#pj r  Ae!/ŖQ䊦 +b.vO^'XT-_ hR;Õ<3:;B&H4Δ]x3͗^Vyqܒ,pԭ0ooe?n03_Wwy6}YZm9ldv'oQ~N\IVKͯ2BRv gi%+r4T ^gXc<3W*?l(zZKwzE8L>Ϣu=|д4b.yŢ)Ji= 1 uq.ׯ=_ U]r`Om}Kʵ "D 2pF!S ~ݣ5Esa|(-}AdrSQp2hT9{8ci[l9dk2 <EFxb mSo *d Di ФH<{H"R9'K=^{>< ;9*oNƜj^Sn{w{Ϲ1r8XgkmT:=[^.G\ Nd +Pa`*Nf)8:^mwXB`́12&-ɶ;} P'}~3F jDxY? `GĔ"q/|uj{KBC(Y #:tT!͂p|yӕ:E&Mgu`$EИ*6Co!ᎃz?@ڂlQI^u-+b ԛoaqs):UbI|M 4@,4ʬ0a/"@ n ዖ6EE])0~<@Mu =(R,,ɻTNn(ãG]~DURV[~V19%=IKX GZ9ȿjJD@7טm~w)8Y@0 }׵:V 8(ݐq z}A!%{!PEҒĆ[1+3v]Xadp2;\b9E*? B J?<,gC o ev \1n 0їӰqNcƴ#HͥAsy8-xPu=HELȿA\:ЩT?vl UiIlrN,|T@3p#UT$SREX鲙j]ZIv'c 16sC4<᭭FnY'*X3rQ;wN)ϓR}z̧uKI"Qfo}] KӮ& mA,+RCa*$$͂@"i*tnפ"*6!to&JͰºƎ첆d$d>B#wk UJnPZRF;~ˣhؠv4^/vSa"*࿠ֻwu\%BUĹ밁$?Fvqظy$6Tui;I<1mGre >QXn#ZÉ* $/T2Rbh+bL>|wnSP{˲8yh:?lZ#G/ 9rR>cmzԌ[Z|uE\<ފtK9D̤d1i>۰:]PI=_m1FFR!ޥU fNf&} M)ZX~Ai 0C>~'{7;3-.OJJb6f3$͙Q W.pG[sدO<;wgW$%p\%yʷa9揞S굝TCbJXwyQTԢg}+4a־oW\ӏp$}VX0ۀ^HP. [q={Ū}zvcgGUO8ܝ3r 8& *l2 \ќn#ad#Gz[wd=uK?l)Ifg<=-׹Oōv؟GLv|F{Pg=`,ʋ>@{l:R.6IѦx˝CK]-cY\d~օ QdVI,kg ݢ$2>ŵ3RPs/"3}/+9B4 DpIIp#ꩄILG inDUo $ua*C^|rms >ݸ%A4]F:nS䁭~*,q)ֳ*p9EiܔQ >n5Fxm"0Ya7g n^SNU^#kpV'9 LѠ0ɕwb7 gX"h238V͘@ +[C3~(ԩ6ފBvX"Rj*͘x~d(\qT]y2v&0;E+˟lr.y!'AԍQFֳr{LmhL$o-dSccZWRwqe4irm,"\NA`xCGIop yH>%Jt_T)xBIz̳L\pŴтP> PОD}}dS0zu*"mo8UvA\IF8^3y8{Nc?;}/x-F&BWpμ[5ؔbȏtfS2NT Dw5͵vq|ya%b'q*6fE4RxFm,p,&6vBdD.l";)թ'KՍ>Q2A=Ev\ֲ&x12LC8G*eBWjENz[nwA!j{7I@/HUIe.[e[DH)!ۯdE 0Do>ܣQ|Yyo*鄝m]s!\x. WѹA'ŝ1)y;CǺD ;xjiCLniw_tԂ8#\h.$œ(=&-؟CLO,rXKz:zy[[!fRExX:7ꇇY>97yH{Jc@Q%7.Q4[~d_` IHojc)+Cpgu6?ahnN=Ff:סWq5aY0: i_r]K ̼炇yAa>9ukX뾼Fӎ*實w 's!Cv9O 8  sqT M>پc~^[`rvBPz UKrٔF8Қߞ o uigƐf4RA# .zNWfF5SkE}/ xw0(ӱ_r77,mp dfBMx^_~=+H4./`9+3ԗaGsY|&p4O\zؔLzٌVKUE؛ ũۤ5FlMV1lz ^ ;$U I7M9.WG)vo%"k bޫ{<#9띬O 0;;)m4^^<7_'O5HwlMq~ukW%VɶɃXR6dd VMTt дA qh(*#d%"箚&4&~IMO ƵlNžV% ;Tҡ6<ȳd܎wˈeRmL}]0OlteX6ѝ.6k笀KAI,MIY:ܶ}qnpv{v#j y3X TdݍV$?8mV$AKӽ?d=p{!N_jߙ“ M+gYZ  1 'MK HOL-CardinalsHOL-Cardinals.Ordinal_Arithmeticdocument/Ordinal_Arithmetic.tex7zXZִF! 褬v]A-MՋhvG"uIBm5Ńu Ys5aC Xh):ZYo~!9@`^ĕ,4A%Iu[$PTpPGȫ0)t`*y'bX\SMcXh2+?Mavw@nI6ly̫d݈1h2|<《yuJK<|Nu2ZAR#b-.)s{O:j!^>}GwP {Nw_V) h#ҩeLF)~ټۜV [ ⫶sxPmXY3m=z:7_EUrUw$],^EbzA_ X'`Bl^Yr;H\EZk5:`o9'J&9c C"Ɲy ׸/l[3;-/ 1ⳕR } l7'8B|U[[?+s\ ?pqYɩ_=?O)o<gSwcTB70bWzO0ŶRb DZw#ln;;83[MvJ>20]uedk>Ytkb!wNW}Zsd>Ch0zr?RA@Q`W-,ʔ'R%2;p3~)go L|M)۹Ȣk@3 `S79zząWG$KIYH|܁__>Klv}K/uOC>LeIe  ;I@C - n[Ct8l8;.YZabv=*lcjIl1DX)iVHuQi2Hڀ2Δt>^w*D,y3Χi!D$r^mpD"i: f 9AcGrpQ;76 %ݡ5X5:p [u~ͯreyj/ e-^ a]UЪ}+IZGVm$*{5˿}J݄3P,u]ٿnv_CXL=0sjLx66y==ֈޣ*ڨݡ`,Gs] )(7\<`4e|[sV7ԝJ×5be/qO;FWp)A|˳\ 03լ)T׍t=6C69+ 'WU $HOL-CardinalsHOL-Cardinals.Cardinal_Order_Relationdocument/Cardinal_Order_Relation.tex7zXZִF! s ]A-MՋhvG"uIBm5 * )^ Í/sCOFxpp};5[=kӍt;JBĐ5F"aWdz`fe}ˡ?Zv}OP SO4(,g<<9%v*B M}LQ7tڛs_U-j E˄ PdOш=,n݁擥%6x&#˰P3O٧z^QcL! G%"-Q:1kwrB7뷳(dx^j~Mùp಴K0u 1ԛp7YcE\bMsVBbEd= '\DKrX,("2n$ J!>aҽc IpQ{􆧠\Ri VGP XG:hg Es 2 tO|ҩ|oys bKMv F緙vMLjmPZne~{g>0iy"`m]qߵb#08%֑]R<>[' 3QՕ% B Ϡ/0$K@*ԀOoؔ@F PmI$<T|h*Ua6)8Q@|tYr24%HlO=dz #Ǐ&DDVk`{4h|yOKt:\҆M|p}xߏF@vNQR&O+׎BIV#qjxR9Q๼X䓀9;g,9 W(=%m CcLЩJӫ1:N3DEnp7ç([y8dCѪu&ZTHDx 1;R ZygTpt7l[֡ai oYk2Jkq)k18TeE&:ʞi s[hbs͖8#@k .TbCeO  Zt;HTDK:ŌXH.iHlEEM0>@q#4NSD9_1$n6ᄜ{mGgXTlogDz^WI=DUw]uOUVoΦP.Ш3ػJp1x,)"SNbiY޹ ^͊TEEj jFOy$ Cf]yOe(֔|yW2K6EqǡܱD-у<0 σcះэSW;%jO~)xwcoh-R4{ԕ#&yXWƧm?^AUVZvR2&$RmnzV"&e.(<1ˇiHI"@]U] a"Df~m6d!%`zrS؀^zI9s^5i${ ke[=ꀳ=&8*(,#(sFnWҧb#iչ&Ec8>LN(x/ӊZWu/_ǬUƂ_Г#L V;؎ND$||@u#>|Bb׺TeXm 6V%3<`1 0K~]54d3%t3`T;ShG{ӷ"U'X!DH{ F |hb%BJigSB{q.ɸ'5h*.zQ4Wsny u+ns5+kӔ.-6!% :> pB6c`lȒEsu.OmTkIb0h[gXJ6Gٷ^|Dt@b@9+m.O{%@խf$<Qп|)ZoZɯhVG{}5<4'_1ɛ%C_1vb # 5,| >a"Qna_BCzyv3'7>WmKf@BfЂzfAUvp!\cD7r)Q?GyA< 7A2~n\OR# W*_x~a9ynՖvuAQ/T 4,gƏ/Ԇ,Ǵ-aҚ-|+kchEһTШ§h ^E)u<ȴ@d+<֯E>6 :UG{LӔU&u0FGMs԰х\*Lu]DJa}<_ZK#<䔒5puZozRl#^ gO"o`ڀD>2;}Iȃke<(O]^C$T !V5Q(˒@$7 3oڬ3X \ΰ810_ZWUewvX;_H4i-;%#KZ=|wU;~?v\ų8<8J5 JwAQYWAW?7*lV2'lӒ GcQ% c-.ⵆ .u22C]Ww q-"4}.!5b]̕C9J$mLtJ9P׬ܵ@LzƱYó7aU7vK1`uWIApJa7eajLIEO?f?Jď9pw'R1qn 29 e_]dx:*oZj&$5oE#;3SD̩#0jqo_Pw gi6ǭA2+PxILF?rQmjG(ݩO7 .QW!F2-̭V6a%EyfㅛS&>SE9r eD* $sF5.bqW8H35X-^w %4}HAc:lzfֽj߃J,^ pd"ys"mxdAy໕HQ otP98T}=k/Yǚm<@OَeJB6s3r/)phIuعn,UyQ^:R˜ƲXsH+AU|> '^30L1IAoa9#.f).Uz.7 c/!6Mó@E->PpsO`Ӌ?^7\뾟ՐLM%s百 A/5Ì4nufeyIeb篽ֺ|a1 e~^"l"s3SCW󯄨*@5i-(.ɰyIZ฽Vs ol}B <ӜqIF]d Ƭ vu5+F^> -+뭪؝xѤ4ݟA¨de%G)hQ? vxF1Ў_b"cNq;9ix[E<>6 WK:"v2Ә/慉~**ħ5`%B-ȚJ&+L[ە) ?1J4VN`\L)|Q`ds11TͳK[:R>jHh; IR2ɶ}VzW43Fg7ZD )1JF"6 ''d ƫ6θ, 4gG6S2 oȼթ|E1F~CAR^2'jʹ]P U)p$EH].b0~_]7iE){a8+;7D$vFp~([$!>oFD@_\q+ lm+5 1uz@_ɵ#:&_I0Ǥ3p2T\ivS&:3 m̟A PQ=:&燲Y D ΚE69ڻ3<()*2 '4T!5Ee-aS1S}K*8hw 챧3K`'CrkH7FxU 8;@䳇ܝ 41186~̱:Pm&o csZ U*͔yoQNQ7~O sw&M}ٌl {i7=UĨ[3VZV[!f`|I3?+Ҏpt x ]۪CXtgXU $Śy Ȟ _>hݺʴbH kOpoš \`@s7_ă-GN3䋷C܋@0ìzwos3E,ڒʢj{Sꅗe ;!X^+jc;8|w}.G˛d%5c"yW]FyI3u` J'&hat.#MV%G&}mgVBH&JFϧ)UDž&]mh좆-@Hk)?2!4?Q0hAEP #AW[~ f4h'"cNAX3 '(ڌSS^ AnDWՊ+Ic|:CH?+s&DTOp^WkGs{)Or|LX˙z)FQ%({gOI^f +k[4ӄ.jtZ >7%bJk%"`7gEtM1+nrkaDڽ3̜~18dKauR$> - 6Ȱjz:~|2rnɻngC?pe0[džm%∺HTFb/8/u`vjY6~'g"g9]99Ca7Ă6iDNf(u9{3uoMgHpp_Z Ftk["e #Zgbl†bٍ|ogom, 7þ{E$ Q 97%gM;iNbۺεg`ji?BWODw 󸗅it0i̺22.ѢF3olxx:'Ou~Tj61;hE(YKګg`+9k&e9̒PL<~D^U5|f1 erw}#/G{V+u8⢳iADJ_.Wτ.5Z^ڈvKA =̳Nē/ -Ʈ)gZC&Kv3dOS/4SNȽ͆) oU;nHRy{R#BF3 ŸZpHJ%oJ,{"fg~`-TJ@.˜keQ`b!|6F'_#,.^n qvN{> wb{o~ST0ˡhr$.adv͊-#rxo !0Zԙ̗nFA/L }E@IV'f+2Ќe˅(W[h=.{d", DXcŨM0|sƍDXׄUpAĵ{c`<"ztz;VܽrA𾅠FҐ>t1n>n XRT, oQA-q_$Vr2"-2 >AD(8 &RX6u" {Fټj݁;h-qH445Ѳ'}%cB[dž&mQuO",C ^!sTHd_ KN[E\|&J GL^, McqqgIgX6dm\-3;!&Nr2xn‰ G2_@6!֕.H` ZHg1;?]oϘn`Psfd̓{g$^9\ |L^Y%yXzR']o@MU;?U]},`*VO$CMS_W4ݐX<dJ砪mM٘k=z| _ a#gj"vu\ :ɯ[u>G6Q[W 9E9щO6`2idO c=lgJXku93eذ(ҿK9A2\rc L0mn9D<[+^QVسhYxq.h7=n" #dH_CkHJ/P̞PM[i͔MhXD;i7>'O',\?Oqё GcVA!7܁u?NaOaRE%K<'fG3}Q+T1YrcaĿ\tְ9b,@ GɖRHÒ ysAM2 8'"Ýp0*/b֚dƑh[{2*tHT/l`"\޵C#'3Y~v3!Y<;U 6fuD&܍ViQ`!j\E%IM3 8d6wr 5t7d-h;g!4˜k٭l8/ Q/()ݹ K?oXrPKx@>EEBh}B0z]aOR'c0g,Hw$]q:8>{/}I$5CiwA.ŗRy.g9տY ؼr*in ڬ %NdFv_%5Wcw~6,fҍiNc?lHq @e& a(1:Gݐ Y7IԺDX(kmOM7 -y0;fKy?+@Fo)YOOR6OzL5KL ʬ,S3W)3St/N v/Ȭxr׼?-XLB"@o俥.'7GpzD`gXw m@5KUbQH{$>‡ t. "]=+c)f9ڕ c| wzn+Ð~j`h*;3-q֞2*֍9U٠ƅ9Sf,Q>X(hK/?BdoEm"ߴTmu0˚@?O58]aji԰>$QSOCg"6-agƈ]B,'׍ "*Nj,,yV;`7 }cX)jd|lf uVvuB3CޑdM#8Ŧ$SM7Tazuzkʉ U3 LIⰲ`O6"$OSdhkA=:N "NG96'WH$]8]$.& #! eRw W﹒Nd|LN"}I9]6j"c'PykY `wީz Dゾ7ő9(lx7b^ ʀa{%9'y?> ysپ9T SzE?: BEX8͸N m.'uA~c-rԵ3Qr`[8͟EOY22J́R +0+H$ӇeϠZ'+^+>HY$H棾E&ǏՍDwu?31qƸX\^\{ {O2ku[Ki(.[sQhScdIcHu=j=ib6Ou{&{̟1j1QN{>}f>"]nn>zR#h҅y4sh%Q $0O9rgxhyvt"Q_n<.M$y吙ywaRZ^~' 4p+gJ P0~V6+5yc7s-t _VrK;eԳS|Q7#x4=mt<|`y2txĜ:jK_M[-S{Pdc}h}u#G\D5G8BE?x e- 9gw}t͒VȅJ#=AU4/垴E- @,X)benhB1 Ͱc(CGlB!_hs2Z+Iг];B۳)-gEJ=YӞ^yrR|kRϼ4$CY 1P$DZʗkB+g}͌}5夷,sYe~JknW4W1`k4rBq~9&ҷRy6JJ$cT0vȴ{A?aCIP(܎oB7a ʒaR_0툉qm3ICXUSrC>Ck_+SpL`N!5FtdHV2Ԝ-cxeu!I-ƪ< Syj/pz<1`:[c`"nY%KӦ_gVcdn:[&oIIƥ>:hQCm0ۇIq_Æ H}ǺAzU;Mmе5}`kV iq-69z{y#%}\N '̚,t[duԓa ?$m?OCa rH2,chsE:[nIT#koX>#f"-MVb05FϢ :>0D p:k]zYen(fR(Hd`d&3A nC ~}3q@`emUNMPUOTNM S+-X'n%ou좗LE֌vhB/Q|kCL|?Wzu <n41VM׾5C|<^2dp; 寧 ⩵poV uٌ8IǣձN|9qKZ)Z Vq>";`Ȭh\ޱyY<7WX#GѬx08Xӷ @J(ntQrdcC=:߽߽TzE¡F)LA. o|;̦alE+ G5 دSIsҲbć Izv`P%r`$"눩g;ZQҦ_تXzG*VYnaY̜ 2h&esZ%FGe~RоVǯ&Y]üz5 #(_2dǛ@Ē(vt+!А)/k}ܪt2?yN`oM)laHLt\9pwRIB9.ԪzxM0LP6wo{:AMtYLJ1B򁕛rgyH;5[WCi4DGd| e )şt "†rM KJz %G F5|5, [!ո̖9Ij}+^b>\WEdRYDa'>ct*n9 7!~@Ebye+6; C'Ee4z[^!VB*Ze5!9j"{9>Z,YFlpԟPE3TAVt۫pMLv*%l UlLtx-nb]߮'F U ?+VX?ĈPo3}Vzt'fy;J8?כqփ7c hTÌ~H򨤯bnm4n}XO_BE+xQ\,;m ޿x'iˁW=0"VHfT _{ŏFbx _VLzFWMŚ25chl)'/ .XSiid=>;)ə9> cCjb8į(Px*4ބXF-u%9U)h+S+ :d ti ՚6VE;`L[c=I96p:^fN%c"/~ĭGoy·]Sb߾}砛Jsn3ޕ1ƫ:QܹJaH_$<=nS>swwu2̸Y.6KHF2>ݻ>*Pw枍o%F.(ȲiB3nĸ写x*7l.Ñ[}bǶw?UFI ƐBà9WÝ?y]VOvIOFLR lv^ gw2E&SM{ISC?t.,>J5=(}CꡓjPv7ɓǦUnkq^n956Ogtj j朘9Sw*umr~VY敕j9"i\ωʈ@ p_,mmVůsPG<oAۊ&Q|=iJx Z;)MQ!Ρ'ܙ%W1 Pm28מPُ{Ժ<NeL{{Zwb'eid@tѠ(wPT!;)\#CYXD;|Bq& x:}$̛ZRKn^ ,Kb%ƈU_nᄂo]g!+^zz1uܗ[ uvZSߍ52mWi('|?v%NXi! fLHAй%d}^uE|FTXFQMaTbXKOL(}㰎@0vO2=ux: %3 $Սvn&c1 Aٖt4RS#F̦nܳ\VhxQ'zx@@\0I{)naE8+ш2D֓xS!Zʰi<uú罐ZlVirys|-֐r*p5 Ӄs9JJ7ǗW4LR+[[tǜ⎯zANUQZ\nCagu:~B屟s$UgS6Ntxz.v Rz @ˮvqmԀ~[5?ޘPYɼ=W)Tlh'8ZN"seZ|3>tY@E@6w }h};d2Cwx'q&g[m"_ #\x[ҹnoaIԿGDePK<l>@5]N VxFfgh8 06y$˓>&veUXX;w\1{NsXhe@%b! ^'c:lk9_K5Gajl3y% Z;,NDld[2!i`38+B_Ψɺv-c\ 9H*@'eX;?g6o5fgFĭQ{rLՏ;D /FP}_"8fFP7;QDQSG뷅"эM; Й+ZE+6MŸYʝ5x* [y.d|a 0ל7?&Vi-IY˛պW=݌zյ۰mT[2[$*+q(ND~'UGT5ߓ㭵[x/g~6môMyYDOw2fNTA4mFt?6o. b9+ H0(p!Brm$D}xEvv0SIZi񪮗OksP7d'ac|΋o2d$+4cթs Iً~_}@C#JT|&.I1mOB9}9sf/#36U|3}6sb6.O“a=\Lt4Ui!)b9>*;jc 㘽~rMS"$eN.v-|)7VyE`BqC:2a# ?Ů)cB }ɴ$h UU/KW wrX[5?3Wok6K鉇|'v^GE?^6Rmz-ݏ.xTۋ蜆<aziG񵃞`j!FnJ0733+F[f~A22XOKzSo.&5&1[Δ*woc⁻|NPm$\XǬg1~muⱜTx ivoң]Cqcx T\R lЄD;v%nbFKAA6}L>YR}>%mZ̝}MUXYxhg@@}D\ko^-0v{E@X( nђ?ZR& Y5ƖY Y&h UљsL_~Eɧú b[4r@,]ө 4CbH+~UɵACLُf3!y`6xH/?'(o;:Q0B@W CluHba^?]aLu_m{ߎnC͋|>Gō8h0_Cf)_L+Z`c{3MW[6mLKS sa 5_ᄞfhY>޿iuQq O$0ewMQ10ǀtΖ:j6.SIʹVҭ:D?0gta](0v9Ι=@IyLkZÅ!RZτ&iSOctr"ep [ W>w2[֪oՅuKjhTUa/J&,!eH$ɖ ኙYo"Sf2Юy} ͈͸{j-Ђ^\o=AfK]Ut$VY=?M}]gis0uRE:agְ/X.urlL0 2 -1jkR!߾{Q-B;$E+d% 9K7!dth]۝a] N '_т8' cl"Bx 'N4A|)^,TrrBo,fpdHQmG?B%O5ƃ|/#Ci2(N&=y=`[>y8 *[ǵ|?hFH;3K+/S$KM{ʙTIk'BMNM)X\:E8Bxsx?DB`ʑR 5<0k=k7aDFR5ִw~nү85!r-؞=[1A" {sfz*WV8. OήO~#ly_R?t]]\l~sAJMŽi("Zud fL*IN8 {Ww+HHh\+2͞DE]uRB\w{2:na KAPu;24S+:7>Ɋȳ_MR Rhr3kR [̭A%lCby!4DL=zB W׆ȖHlIe&Bˈ8O52i3="/ yHx9HK%}9`8qƹ"^e6_+$Ho¾J~C[?1.AVjTA6/|P/ .%pş߰C=N?\g>$;8^:ROIx(` L^&$+^Z=yYLhy(u C8G5NS% ܼUaoa諾<^~kt1%64J¸cnK$aHS'Qc՞jXC'P!,#>c oۢ7}{DXI NwJ;;bd9!qmk@ࢹWh֎IYi_ zA׼[c$>XäwΝN%$@#,* >IrSeܾi ڲFбba>unX+mi8(2{p ferb.ub(Y )BM\hBM'TO pFN4 R=ie9>M6GZ@qK~$k)|P[.;\Kr؏QndKЀ}?U,@W/4y3Gw2 øu*E+CDDBa0aIB!58H 0™\>m\留Fi|EF<LsXI LdMdhkEhT%xRINpM/+B/n>(_%R734Rl@wxYy r% dr V!`P ?̊sݽE$Y.&MFW>hi~|"NWQ_k/ߛbS&Aμ=3+>oHkyϠKw|X6Iq@{pW2Llz6CS!٦Z4k%A{ 3ϲt^u\ r<V֥lF]G95g\`6qM"e*a@~9!xu"i-"WVk04[ٵzGx>΢\k5)}|$iɷ ,ܤ8n1~D@WiݰەO@Gk'zt29ow:I ȶ(1#g1HEn*錀BӚ-bwI}v'JvHFڵr&!yJ'##0Cn govN!x̸; ̽nlp ƹ3$ 95D%“@֦5컩4OAO *tϚӲ ?gu|72lԒٛG-H{|Ȼ>WɬJ -D.6?Lf?eejwX(? Z@:wszQ֣WPgo)q30e0@W|` 5hW{7MWLb 3;2=dԓ[.Sg7WVu:'Dj4zj&E%*i@W+TO+~Ms5Ps>ΦL<`(柝9Q'eo4tN<ٔk&{C+5Qy*[0G-]W(%F5~F2VZkVĴTw\owRi( %T7H:H)۩5䏼?- y4\I–)Cm+܅YU^Ӳ#;"h/ƕ"Kg>V(aF{D3ݑ\X`A.3p32j|ժXzoq9{ZS3Z};[%|m6sWUKN6/΀VΊ& I vp^o?KnUd3Hj!D${ <.JU]^1^0>]D8hD>Ǔ3o\y/![ kqm.z>1u ,pFBQ6_ uͫ{HD:zRW+ =%\_h>/x$-pJ]ߖt?v[Jb6Ո~~`wܳLag#)>`5p`4˚HMpaᓛD|!WQSj!Y1N!qz_^^J^QpڎOlԞf vL\@_lpshx N#'ͣcYRr4w>GO/mqUP}W|>rڞ{fr[QA`)ĝOaCUG BaNȖDy=x8H˒$ OK,FU]D._UP[egm'^ oiUtUO~(tp>SCLmu8?f ҾjQNֽ&Z|Dzc;p(2SIB{5ZuSQy+i(V*Ὀ` >$c.jGZ?POfԼX}/ WzXUR[t@n\*~?b9Rn0z]. { ,L(jvݛeeN?j0T)%>YywЌW͚c7}?]c }mTb9Lqʴvio,0Ѹ(vO 2?OqaWP,6:댫F9¹~`Du2FTI)c7Gԟ.;z/[K{t9z%7x0g H-}=OHQ`u~f$ʑ]RG'ybi!doТqbڏ? P\U-;#ΘY)SOfEp}`fnz;I_uxUϹjLNm_0'62 2b_D" J,adBCl`n}* KȐMbkx(ry6BmW nϝy{%%2i(hc/G42v|ܹ $;Q8k7O9p\Řqdm֫*C0 HĶ`DD#2gŮ&&U}Ka3{S^X-OߜHଵ2<ߓ3 A!}P<Ҫ:fxnd wIva$(gqm-}\V &f?O Y Vm`Ҩfq2ET2a'Y2;lbLnd8?~?Voy?wKR??Sasg@) gd]q,SVqMQUt%)x+~vL48^mrh];PqH8NyKz*gŧފƨ9+ ˃g݈ß+ZB<;xB]UU_amȭܶZzkK3#D|_j4Zk8tJ^O%RwD3\}i`/ݢA03+c؂$'cd9ޑ[PJ *B^ډz-Qqyy}.w} OFamZc+ \鷘G%#mͨ=c x E9cqg[̳lN'{rZr[,:VDFM~9Mm dw|\b}1oN%/l"W$Ap>pQ97┾WɌ?8%.DlzxmظyQ?P>MxJAd<'mz0L(7& HзV3;h{m4X3@P)]`?ݨ9%IIdgTI5Q}"o+]\N/Dh#v^ɥ WIڋ2hV1Q&4 `Et۝Mfo,bJEEb+D(IW,I(ԁ )Ug2'Oj ?[)A4DGelP6qFk$ ȗ"楎.c+k\6,sGtl;&bd! X; Id8xʦC%łF,^w+`t7!43>TufEt3*7)F%[%χfI`g#_)Gڟk+aMy\&_Qm*UȇAvNy_NVN޵$\1ٚw0UvH@'`*ecv"^Z .bʣ})oU$ D:;敕u /}.X/u{`a8=| ¡%Jl. U7=4S@Gqp>{[%n5o%y:U=Nx+rf-)wƛnCk>2 QB KR{hV8f2 LAzEV RB+In 菡LPH@!Sj_r`Z!qE;PKq2sy/ŝbv \BHKY Tq9{rXoʑ< %qfןeqdB"]ޤzO+OQ%m=:-Yn"^sM14vx0$iVYKaz|M}L{oub0yKa8%!3dpj{B*j}p]y-VQfz&Lw|],CaD96{51ZAgqc"Wdܯ/c(%=;d8@A9)Cw VO:$m+)tw&j:Qs`&V>1LH1KTf0xL N9$8`& _Tu,U?HDw C?yJPnf)ZOѕ IX[ar=8>He h'He)gUdvg-RJ#>TN2>ƃq-6m7/.Xj=n-ٿ,>EjңEty4`l%0A(=m6?~5U䑟2'? |n̫쁞N :iȪSTҊ&(ׯKsa;toKǕ X,+]B>PO~;{Y|J"I'U穸jL+ ?jP 4Zo pNC]^/5,ePKXW-v XݝW%΄UjaI^9cѩ=@'i6b{28I1Lr)1\p-*9k@*K뭽iA%dR awWx8I1DfS׆8{27BIU" B(W0k䆌J~l1ʀOj\"$?: }5 {yLz*PNYMsu!^4"s# ķ?5U3X$݇@Xxk FXdEqO:&x9 &Y=gRT^-Z&PGVS~WnV iW".[~hN20ʠaBk/F <]!sΆ t!?و$O[)YXB1Tq!R֎.]Ū0RA4㲄1; ;wK .r8Eju Hz<59ܵQ=xayq7oQ{Zd#J~$k뺇Kſ*ZtAXB$wM24-QYFKU_'4Zѱ<ݎt#Hy𛕪$ xυ0!m୪5o\)wG ŦGu,A Wd1AC`s]Xp!&Z-9QEWډصHXK4c+%?8S3 z|P7'=ee%Gj^7h;t~ O '=Ş*(A9:g2GMw>xF\$@Gͻ9;]y|.Jlav%Ŭ9۲;rȔ1?L|Ϡx|2j5;yUь>}n+[Sd:q?J`׵#q@HHFGoWyj޹{p"Q$\LAXor;ePFi lh/`S<,HgYdwt}.4v#gS;[W_F̐D<qqfɰ 1ՁđK5/n#P`IfQC)] %*!*~[ٝlݰ|'PQA*ô-Ioa#1:.*2]i-w sq9w??\?2f8)Ѣ\Ʒ ~3N$JI-4^Rչ-'x\6,ӊW@׋s&[9 |1x0'Fk!zh2#39kp $wZX$:u fmDэɽ$ѸC؇^̳Sm<'O]~/kZЅAjY SC5=1æZuMijkAݔiVLT(~F?čJwђ2OvśbIS^l.$2nG ,Sұ#Б-R \  i*R5.K'Տ` xV5 U9Lkz:x"}NPm 脭&=7XGgD8$#6Z u%(c`tBV1ZR~ԓ/p]h?HݏnȮ[%j@ioKp[v̈6 Õ-rW=I`X,=;zH{^;(4PYymjpX[ƐBʒ:](FW. cZ|N%##ߙjn,ʶzzs'!-_}Ff&¦&=Hopm,uHvA,dY}>1hA{PLG2 ,!фKd:݉:TPžGT|F) 8&$g Y JYzc{(lP#qz+\5 2pK3{*xr χx&f]:]-7sD8- 钸v .gDbj xܞ< y Y<`~X072PѰvxxL?ӛr#|ڰPJ B}]?I#;1Nhj,k牺i>DR^nƺbCI[Y{|',',Žiʰn {IU`њ =cI$/G2MaM $c׶l,7esXB Ba )Buo寡:~gё!{R]tD:w"+|4-V@5dYA{e84N >gwAw Diמ2^@x K"[ٮ+q} ˀBhʫm:BrlyfRl v65d!IE:x 5>!S)7 T^?]7_# Sş4j 7#+iOm*۸&aBƚ&eBr]b`jJO/paZQ}[YUA| gCgCUT0&;"RG˨+sT Q۪: tg; l7M<£=@ gC`xqe3gQa7(dKx-/B2 b2R|7@ ~nڍ =rDŽ/%xWWg/nE3hkibe)CJtkHp46 mwY/u5Ͷb%q"eYgYZ