From 79efd700893b6c8f1719e75fedd44aefe8f13849 Mon Sep 17 00:00:00 2001
From: zaimon <>
Date: Fri, 6 Dec 2024 16:36:42 +0530
Subject: [PATCH] Fixed images, latex and first real blog.

---
 .gitignore                                    |   1 +
 assets/css/site.css                           |   6 +-
 .../Countable_union_of_Countable_sets.jpg     | Bin 0 -> 31073 bytes
 content/blogs.org                             |   9 +-
 ...e_union_of_countable_sets_is_countable.org | 178 ++++++++++++++++++
 content/index.org                             |   6 +
 create-site.el                                |  69 ++++---
 create.sh                                     |   3 +
 8 files changed, 240 insertions(+), 32 deletions(-)
 create mode 100644 assets/pics/Countable_union_of_Countable_sets.jpg
 create mode 100644 content/countable_union_of_countable_sets_is_countable.org

diff --git a/.gitignore b/.gitignore
index fe0b780..993d75b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 /public/
 /.packages/
 /.org-cache/
+/content/ltximg/
diff --git a/assets/css/site.css b/assets/css/site.css
index 6186ce6..28e8268 100644
--- a/assets/css/site.css
+++ b/assets/css/site.css
@@ -106,7 +106,7 @@ body {
   font-size: 1.3rem;
   line-height: 1.5;
   color: #eeffff;
-  background-color: #000000;
+  background-color: #857470;
 }
 
 p {
@@ -154,7 +154,7 @@ h1 {
 }
 
 h2 {
-  color: #c11146;
+  color: #fc9600;
 }
 
 h3 {
@@ -339,7 +339,7 @@ strong {
   margin-top: 1rem;
   color: #93309f;
   font-size: 1rem;
-  background-color: #38033a;
+  background-color: #000000;
   border-top: 0.05rem solid #c3e88d;
 }
 
diff --git a/assets/pics/Countable_union_of_Countable_sets.jpg b/assets/pics/Countable_union_of_Countable_sets.jpg
new file mode 100644
index 0000000000000000000000000000000000000000..b6a4f2d903a8507b0ba6b359338fa00faf88163f
GIT binary patch
literal 31073
zcmeFZ1yq~Swk{fqQwpWU3#7#%NO30xinh1}cTaICo&p7mJG5wV2~ynMy?Aje?(X5H
z`|PvNKKJc&&b?>6``&nO>@ZfsfaK4bYtA+0o8S5$emyJ$p2|tdN&!$%000!^58z=A
zAOXO_z`(>n$HK(K#Ky+L!6kfx`}i>~*|X>Pgp}k!DoSz+ikGx(3@@o!XecNc`IuN<
zb8vHW0~rKF_&J5yxVSn0Tm%Ih8yojAF6omeq@1rPUUB|!KOR~E1Xw7)&<{{ir~!`%
zP*4d_9y$R)<UG+){_+6)^?~vT6%8E&6AK&XG4c&nPXUimP*ESDp`xRsp&{Sxjr>0V
zjR5`GD-JP?=gLNy)DDE4zR?+2G~#7#L@J|4v|PrHe%Ls~B&1~Ibo302Ow8OoynOru
zf)Z~frKDwK<y6(wH6WT=+9sxE<`$M#)=thYt{>gpJ^Vih1O|Nx4vC44i%&@W`YkCl
zD?2AQFTbF$yrQzIx~8_SzP+QftGlPSuYYWOVsdKw*Uaq7>e}!1jm@p?o#T_!v-69~
ztLvLTa-jfF|3xh1^S=o8KgmUal<N^18Y&v*AGuH-eMAma0yOkj92n2UlrfDQo>O!B
zViAf*XOy*J({QOA5g9v<;t<nvuh1R;5$!LM{jUk;_urE2Z-V`sT(baNR1~E0PzeBF
zz%?R-@%y8Y`LRZZf}O&07GqMyyUN(e-j5{-;2;fz_I1t4VULiKas9R-d;${YEU;r-
zAU0Dml3x<qsZW?JA!c75T>P#2pc^OMV-t!~nJ1@Pp<!ORBbDu*d4|K7S;4}X83Oo!
zWx$DDA%X$@bF<=O{jdN}&vY?8o0blE;+GfU;{55i1!NA_zctQ&OhRFJe4GXPso?Nm
ztNA5aT1WC5iPqCf!!^n;2fxY}WlfU_5DiRBW(lgSCsj}i{>U%Iw9gCy(Y(nFVFdg)
z2a5W;AL?jj{D6<eTV5}UM{xS9GbC_79S|baO<Jp!7j|>C0MuxUDCb+C3D8vQ`f)Ly
zd&O|q8l9Y1lytEE_Oyp{v)(-ZbJux(upC@}U8IskwtSUz-9TCiI&^2U^6RWXWoOiN
zPR?HSHXK1j+E}k<yh-A$0VFSMmIZOeBj-OT)czOM|55+{i2<rUYVpr(tk&6=;RwHu
zc<K<nBX1-Ad3PiMLmes==br7r4av6_#TqMNrTnnMd+Hl!_}kALPu{(2Jz(;4v);tB
zw+l4|WS2y_G?=RR$2Pwuao>Zy=&Ttt>l8lyH<ukylH68LzLVsyt58={)AllgtN~{O
zIx0%pn?5t`VEdvoBjnZ)V*V(_8WNJw!^`OyK)mXF6PRU{t?hoPKoe#Uph!0a#iXxN
zKMo+ikj%i`VEe_et?G9AuBkENG2DJk;_0h3eHn(UGF_hLM40Q!%gS$kXA=5>d?a52
z3@qfeJZv3|>?h0=(`+|3gN1eOYpfG~%ze##QddI}BQ3W9$}m8O+F&OCez_*}_--lQ
za0oX_Zd5LSRy9y{0`e{R;v`YT^jv7mleW&PEKXU{=|upc@*DKO8zg7p^xo$8HipY-
zT9J}exedP%z-<tDFkRh8)C61rIFLELqd~m-@?)6)h7md6cnmn+_55)8wOT5j0KD4m
zYEWHLxf`#K!eyjmjyNEoX|Rv|D6x&G&6=2NyQW-QmyI@TE#k9B$i>d7!51NLjZx3i
z3C3Zr0=QVp<a3TfdZk|lJ9=<|z=`bq@BGY=qY*X6%o<_V%y0`0?3ZARFLtp@KYe(d
zxBIgvXd399ltN=?2&~e`CeAIxs*iku7E$|{+lmujtcBZA*A;K5IQlFjmRq#XYu98<
zG}n~!vjBMQai3cKP%!g(4vKOU>5@MRNA8oSOjiee9@YQ0`T)S!(cO+&oNF&|!kU-E
zwN;)52e_xYlNNFRI9*T3%MovcN`FHxm~QuqB%u<@-w*91gP<x_lZ`6>ORcu};Yna5
ztb@luu3RtzZexi;tp)f%<$4azh0ZMdfh?b4DbZR!DvW4vqQJm5W@i#1=nCx;<W*is
zVKKm?<?!dt&A)G#sKxJ$zJm*?ABkq=b)M?f>vcA!`r~1iEFIA|iH4k;B^b?rh)*xr
z>;Y;C)i|{?7Dp24bU;^idcP}`9X#><`3wbIz!Pa8pn~_@-W%Wc*+xhr()BRoARX%`
z9L79q?l2<43aVDqpQx5_+1w?W72;t>+15c*^<Xb>VaIcs3l%iw7)N|ys`<{i!tlF8
zZZ&Hj7m`b|N@Yn)b3$cFz&{#96)WMdc#6$f*ZBho`(9$AeR|V+CsSm-CHx|vHRwwQ
z9%l_|FT>9=()%}eyB|11i-|-^%=G$HV<Rp^q-LiUhlv7b2}5|c@@t8B2qC{{W6DKs
z8g@EgzJB>hY}sF*?6tD6FP<7l+eNANu|}bDF`gDdnQ%)(<gc{6BeFXOeMx;hJ7oc>
z$1XQ%)jAkiOdpZbHad;tFdJ0py6f9TGbDx`{BpRSP>WSGs+>ZqQT3^^Bq88G9gxZe
z>QnWo;!4AS+u<G@kfj^dttI{H(}f<MfcNsuwqx<%M&DuU7jAskk!F{44qr}v4@`LH
zbZ!jJdAyt|Q!_+YOO+9fhzILt+-<ew8^fYg7Ko<Ved%d7n%{V5G2Dzj0NODb?$JmP
z_ptLF(Uu^D-C)b!AmqdcbT=#>viks7L5oHBJ$?ZAwA`Ez?PxpC>h0<%`gKHgWZ`vJ
z<%Hy@pR_~F)ql8b^(19~2tjUcTPMot4!Bp-{_ugX$y}tq(+$K^AF_OJRXL<==-6UW
zXINUhX0->M1Z|i1b*m9->^imgbjwxP<wFG4Qef>IydKxVk;C<Zrz2Fm*bdy<&Uj?T
zLOCxl_dvSdGVPyBrzM1GDd18Icx)kzrE#L4|L=>^d4a<_%jS>WO({9Q$YjrImu1hD
zzs#(9-jUSk4>F+_=>-l>gs#|_MTmAw*SS0Z$op2ASbsO4efTlC_!H*Du~iZvOjg)p
z@Cv->bdRnR)LO&R(%cw~pIKmcRJ0!6(c?~|xqkJ{2E)nKm5=Y#UE@b(Y1p#son>QL
z{rEb8p7^K$8Q}6x(t|fRLo!SHrL4Ae?2E6Tz|5V;<C5j0uZ8zw(=VWDY2aC7B7Sz~
zU3h{g3m2Tv%5}>Dx$qv+Q95J$qDzI^vunYoI6kQlfcMi?QlS*qA+HMoL~9;T#%6Y_
zoqqHeeFyeL?&=TXNlALn2u9MT>!eAUE^$NN6l#|w+QEM{6}PT5@1pdlD?=<x^_5i=
zIDeg*FpxOAMP!)Kr^0x$TYTt2X+4W@h}AJp8+BuKvp%_@a!`T(10cGDty%i{yI+%W
zLO@yZyvp2c<W@Db{zv=uZ+}xlVE~wpe<Kq;i9RPp4;=jmn?fTYxJW*8=dsh%`Mlug
zx9t^{g`d~4nWUZHXJ*&w_mppYtOu4pg<1t7j%#qiICZQ;RfUKP%}js=ZY$&qZR87E
zX)`-@e(v&jwAo~|A8Bp}<vosverFZA2yZ5o*wAI{^J=H2Wm3#4RG{%2H^Bq0{LRa(
zi7#b7x#vp|%ts=sY~1kLq4LyP=Hh|we2g@h0OK;mt9jd&sv2A@nE`?=*#`j5R@cx(
zo70e1gO54C8>4ZZ;h8jvq*mFFx`~p6*(omC@L#T%Jaze3Am#Br@~uXd&t#^N0*@N`
zl?wRlr1)gc%`^yN!qSR1@^fAmw4nhdWVOiuK1Nan9X$Y)Yi`l1(c6b<IRT1`Xn5)I
zuJJ1}htJ{NgAsYJ;+Fk&l-yc${McFaNl07SzDHj@0Kz@_-w$(d=d0<s3J*$Qs3xaS
zZNi6yHIBI}WXdwb5==gU`tH;VCE?IWZi>zj8V$q+*T}Bc<xS2(-b>Gc#JGr0N0`g}
zh4CZdJ@-bAl3Fi}?0vdU`CO3-bnmf**c|P=)oIuo0PKBH^Z29y`&vR@q@_QSw~#Yb
z5f_h-d82V<T^O!8;f)I)zlfVBQJvc=kx)234;u|=4qr*kVCG{&u3eSOS~wL}U-+U$
z4-S0#xHMO@A5VC`_b83H+;yE>Sk|2~G3by=;&P26|D1(GUr77r@C#d2U&p%>@pMNz
zVSHGzDa1Fjv+$gqGJ1D~QSfzTjgdy>zNojtu}yI+i#zR^@{V<}^%YD_o<Wu5S%&2d
z4zJ)Rna#6OUU-bZ{rnkYzF@REWumG$4BeU|{=_s;_k7b9EEq2QqOjuADxK<N%_h+p
ztlcCV=3{VsVfg^~+#`#)Yq{K;jw$2c)rmb4srfum>I3T>t~%oMdosDWM-?5BbzF>p
zCE=WYF!TU`F$au9m;gedQYLBT6pxt0^!b`KoM@lcGOSbbBGtrh5t&vzcSK&0pn9p&
z(pLf09`8;pd}m#x1wofRqu~+HYidkF9K8EB$0@K$gziZ=5%(-%GeEs-sMf|CnG3_Y
zc)ggIC00F2qE<e}kJPDP?m(yE?aH%!5Gm$<M=buA(^*@hyj67pFDFtY?D<czt__xc
zA>#Me-M)$mI=MFIeT&QxsN#pGdP{uds3}h~e8bT_lCa%6!u@!_JZPBY>DRK<m2R-$
zZ(*&~1|u`JbR)(DEvXq=iFow`lmo@{Qtc);75`X^RH?8+c}W`IG%GeX+9VBD+AyuJ
zm-JbgA=em(aM4)9KS^+@^cXiQ`z`a#>@3r_p8~FA0@RJGC1Qn3vz^p_2bMpb)j!~@
zcl}JY%)!>&Z!>24ne0O2G%+=cu9QjIN{KQ0Ze2W`FCjGI>QQ4FbQd19#M)W1m=i9&
z*$-QXKLD1b8qee36(Q5AD~9aTeAWU4_y}K<@4{M!&;F61|I4D?mgiPV9rSbY@vSt*
z{(Ys~!ycpB9n87uP4t6#sp{6FA#dEdkuEha<X_zs(U_aGT-AiFEp5FbhtcEDBG>}E
z*APC9BAyq;oG`&D`7kN09jr^D2<qple568LUOY0Ya56QB%;CmSZZvoDU7(_=F}m~v
z0LwM{0U*5o0B8xUi@bWz1H0ZOxxXcZwHqNPKBD;mIQ&)0YUBV{fOVw}bg%C(jNcKA
zBf~UhHf%%ycDRy-c)Cx6a34Tg)DtJ*(O2sS!08nG?FAEl=(%IIds$dSCWqoq?b7C*
zW^-L4Y^0@)%p>4O#RMB`d<|AMGk(bvjXarsmT;Of3zHZ{C;3uirtDZ@Chp&}znG5t
zkK`#vd1q)0`#Z`oUyd{8l`)iV`A}C(*~EUxPt?3#VL+q0Iw#6<_p~vx9bb4KEhSX8
zyC<Sp<pz_}jh#rkph+GQALjEO;nn(}TauFjU!}B_w^Ma5Z(s1yGy%7Z_~aFvj!L?#
zrsOd&*^Y=4D20T%iYdHz4{gYmvZ_=g^tclzsTO;ximhCU(#>3y#P*FVF{Yo`WFo#)
zq<Z=s^iHw7!~U%|CK=6^mA~HPo7R?e#7!xISyko|%l>8h+fy&$7?l9T+Rq2T5AO8q
zBY(to)-5X1JEvoT50g%p_V*zO*yaPEIUlh&3EM=#Zg=3fV1fq#7)&gEkw${>_Q9%J
zO@0A=qAUF&gCGl6$r+R34)iRYdrVhutbgxdKEWi$Dt>3o|1+WK!RYE#iiL7NbKf7#
zppp|OZFuI8ow_>g)5&Wkc`=o_d0D6v#W97jO`SZG{z#%@maW-P*`%Hu<rHA5MrfT<
zy&L6*9FFf-MFMV$A#I_YEH+!yk^bUc&KL1U;1?gN>bo_09ukhCF`#^HDVcgt&q5VK
zx^Zj0{PMbZ9kv~pal~wMf4{PTXg|K0JUcQ^C`5H1^!~V7k$XJ)07xJ<xSWFpC?$3$
zC0Cm~?H1wPh(tP>gQe-HrV=eh%cb8-8_ottK~~`TWCTJ(qh%!&M9EQN^A0X0CBf?m
z5<)zuG`Ky6E!F4c?_S=dP=kU=1~7%x9g?OJfMjHOOxrtV21LH`ycthCEX|cAiFVQ$
zk?AbTw4088`H!-gsr^A|cl#?^ii_3C^zM4=y2liIn8!B2HGP<*{lvi5u&rZrUX~(v
zsX|iT3oWWo!Zx`dLpBlDz%{Ys>TeO$bqovASJUaEs`uX{Mh@9;4W6%GQZ}XuegZDc
z$aGB90>{2R0I*kKKSf#&4<7*9we`#idO-+-uBcO8$f*z3fzk0$g~0QfKJvA~A9hD2
zCb|>d#RWY5J!Rsbl@$4@s*)w4?=a=!>XxfGOCw74DdH)ABBdB}2+#|HOc=V&3hjO}
zx&72D1N2=jP*&h{m<jF@8G=U=?LwYjD|)oaw9Nt-j*E<CX=7wXWV161T^K}64;b5D
zU#a`WJsJe;D4^3ZmucV%`X~8CWCBqa`fwT+q+bxk<j8g*EfR~h=MK^J0PrGDW2cm&
zR%T89#&Jqy<Y)B&I7-z)`hvKY%U`8rBd?p6q7NC(T$fI<8Xp5thZ>{OFVxgKk8I<<
zV>~N6UkVvW?oqM5?@IDTAhoR=+wGB6t=ccPUBTUyAnMt_1U>;)4>0Y&xN8~Qr9K*t
zedc>13HvBe09yf$!8Y50{k2w&s_;SZ+NQ;=KN02yq8PawPGL)Gh^!Eg`t(rzeF_R^
zwFdy22ZbP8GMb-EQ3iw(Z?@w&wK&DYS>?0L<|#n_`y*+O4RFo5-Sq<?8F5qik?$i(
zjC<m9;o@-?CvBzH$pCeM;fr(5PIEN|$??yuFmZCm%qG>YKP4e0g&j*MIg^FSCrl@u
z@RcW8#;3xyBV@C{r2g@PfP@V6KD~AZT<KyDG%C=TIX~CetC8W_5(+cxv)K#fdJ&c<
zxIAk2l|?sDlP`AoI|EbQ24ev~c{H|7*thiqlNP_d>|gAZo+d0U+Ab^EX#9eI36H#$
zAgEzj9zNV_WJ8P}OQ#|ItH2-k8<w7TH3r1nSwrZW-GiEtQ9e`#={v4kw4-?z*c2N)
z3GN)Er;kA%Fn{y}BdSR-p?lYGWWH9{#=N!+(yzOP<mi8c@7y?h=+13K7;xYeqNesx
zf(Cb6F!fzB=hsYzdW;HIHnJ2TwMa{wvj2mFkZ?Eg+Gw2Vh`-^VAM{{6FKM4{<5iA4
z`<5LS{nP6^`R_9u<;w6kx`mkNa-28*4}hKG-4P18HR6OePSLX<TJqB}hb}p<%1UXt
zUjh!{JRC}6fQ%6gx3RFLe((z37_5%({;tI0&u&I|NFqzQE`~dL@|L@^P{e)6=1sK_
zQfJTMyWc+E-TrH+c>p-t-Cj%Iy_!|Lq(_FT_`$!%Cz+PRUpar09|+>k;Brs-{KLmn
z#H;hc281^PYkRz%T#nz4O{&M-%U^^3Xd~)p{e28~FPMKh(&IOHg=6v<QH~5%%mLkX
z1q(FUHI9Tng?Q+XF+*c7^RCK-eK44R=3P<y14w;;lFKocnjVR#<N7!scjNK>(7iDo
zXA)x;!$fm@f(!Lll>Kqk{LQpb8-@Fm<CxRPc#d@+Pg5o;ZM1kQ#wsBsr6$D1y!vTq
z_;*}e98_R;c}|+vd}Fy#*^cHW&l=1^BmYnvR&WTj{+aVaDQL^%L)yzRV}9t?17KMI
z+@EPjxYdC$K)IoTAz>Jz!u|r64{e+3^^!i|4G-Eh&ao_h42w(To_MZqems=<04S(R
zP`vzNa9lzhGA3Y#-n2A0tkq1nH+D^_*ArozOuab8*ezJbB7IU~dvLOPvpnMTDn?>{
zf)Jw4BEoEd_Q7GQOQSePRu@^z{@TPjOUJwF?uYX4pJRU}!Qwr12yoa<^J|<9+3GO1
z2ukF}h5ih;oRzL%Ysu!5R~SG3CVgIDG3k73>9t*IGsek@9p!X(eh2DeES0!5cD+*W
zxlaae@ZG7d;_nZvKlNiZ>J204JLmD0BwC*=V6JdV*gMR_8b?NA<Zk>I<Qw!+dh}IO
z_3hh(E7nhi4&zfl;Q2?BJ1<--jZq8wZ~c{(t0?jI>Iw7oq;i+?t!G(N1ifP41oDMh
z96nDUoMzX{ZE&E_HZ5y-a)Qfv01eHNt*+u3GEyLl$&DHRjx_y@4RT^_o`p004@T-j
zB>W>|p$k+8?XPGv$b`x%R_hl8W!A@+IbJhAMUCj8m`HTUu8zr0x6c?d+SeP&&{8Ln
z+TOJp5k=y`PMdy692hUL!}WC|{r<GGZ%By;zQ^Pw3o&9StMwV4a?=wha*dK32S$h&
zizB4=1|pTT?%%dS=9glcv8#KkqEdI}#{A35=sqq<Z<uK`y8rc`I_lS$dg!k2M^Ba&
z*Psu+>bn_05$?F8(0b$w`HBBe!1EIWyln~1DVi$RIa2f`N*PM{M54sl#9Q<*aQ$sM
zyWEL9yGpuj^ScH|zEU)*FrknwwnkWiB3`diAclyRqvEc92_`{Mmi(<`X~yPizD5C0
z@0n1OqGtK%epn(WbCjrN&!U|nsLw@DN*<z;aH8zD8E{4!0I97@J1|dL)rgVW8FW(C
zARYWrMy}mQzVf3it7PviGH9wSH=5@suqj66^DO|}U5}{h@d7soRQ7$SLE)4!uo4mL
zQS7hpTP7jcvvAS<y~ocm+cf{&KqHdfq_4|hu786h_)fs4;Fm17GP7RyV-REap^3h_
z{v=$#!zfo#c#lZ@smRFpQle52?`IknHld~w3AVTta?h7Ywe*QR{gdbaHwMZ_UXIwv
z_hbJ7%=fSP`2XKunP^jDWG}P-+J#DZ@oj(DD1HsRm!kgdJaqTVdlkhv+wY8IcZK1E
zMd38s*$@`fF{E*R`}&^(ivNbKpwN;$*B-18qmiaQGvlYOXT1AZEKQza2}FI7B&xWp
zJ4940ILUPP%yQT{101Z|QUK+ft@JI~WJBryz9PMX#K$vL;!=Mf41}qv#~{Br+vx8>
z>3{zI??L*1uE#&u<DWM0PaF8B4Iphm5o+e-`7&Y_o6cm0gy+ZN<7r~fjZqm?{%1_!
z1gMO10gqc(Ih_W9YphIbW;%<C7)X+tQzj3$=(Sj`h9~jgBEMR~(K{Chil-UwriO)C
z1@ukCOUuo5to5?2=P7I*^t|(Ox2CudUK%n9d^;#ecZ@I(9H4t@4XT(zkh(?6yvnK}
z8HM@Gu}0?a>Uu@X;sy#RNB5{3`7v*;GC_1FvcKkGi_OY){K?7xi_ZN_#ZgI_H&)UM
zUMzPEsmIYfTo4?m<VvExxHWWlA<_wr{T~1G21{*7#XNk1CJ-D|M2*ESOwJ(Ze3tYh
zgMVb@PqXm*k33qtSDlu_-h}4K`iDm_xyqpSrP+5+`BeLN#;9Zf%P8Br0)ae+Telje
zKW78jp`tozgj>he(^48|Mj<xdBE@b(Z;#P`lW2#3kJ0q>4__NCo6zt+>`;8HH`~aR
zn^W<6RZ}xi^(yHkqw}k4qOi8NS47aKbSbYjNgFqKM<Nx;G~IZf(8QBt*)ThapNP-i
zlE%|NRSU?YRQ>BM2s2mr+L1W(f8DnHw=Clyw>RIQrJ%$raMXvz8H&h!$M{DbpZ~=y
z=Kp$qjqGvu%$nP`3FSrn!zYdE+H!I_oH=CDs~R}Y4vpn34h2Y@;k#+9e97F(#n<v7
z(JX5Jb;N=2g~*UyQ0A_hlHPley4v@R!N@BKo+WnJ3<gJvduaLqPpC-aRC%Rp=W%Z%
zk&(aty4GxWs8!J{x9ay(juSb|!Mr;W_;hhxPr}(^vqh>RM<QQyrLcKO!p`EmcLg@<
zq;9|9_zudDz;T7a^VsGLNkWzXIy)|!)zn=qdn%<vsrUv=?!B1!(bRV{6vxvK>z+wZ
zzdIycn#zU5c3tov<$aKfD~T1>Ol=9z(!hk3R#>@zfI`rd9dBv5)1{z`*Vg(%V>Tru
z&OTOAkt!j&K4i)UZ?2Lx$uR>DtHc|^2-YzK%U(f5XQ-Q<gu15!WQ_8K1bj;RD1XT*
zSxuz%79jB}hJcnWObaA{1xdNnJZcWk($rkoo;sd=e?mH_d_?JxvNm@!4Fq@M6OITC
z+*deJou-ymPXfhe%c>}KlqNTyTa!4>_hO*R%(ND^uDkW~WT_PE<c#ejjC2U(lpMn3
zoRuZLvD^Q)-~U<>5Y=S58DDA({dCt@D=HDZ7qM2v-U=<+u^2|1Yv<!fTz)Urh~N(7
ziQvHrc}<9mqMwTifU{ePv~c;8gk31cyhyRT1Ht7Rm*g9O3#27NI-|DS??$LUaQ^7$
z-)e74s2%wdCA57J8)g$BUVIe+jxK3*#R#*kYtza~ejHlBT*&qD{b@b2xsUpbuDUwy
z#KmusK1O4!kV{WKz2jco^of%LQL~h|Z)0Ss+;-!OtggJRW8En7)$O-oiy`g+AEMFe
zhJb;W%Xtuu8!81FARPm_H@;x~mAgA3UGX7xYR?f7Q+f}59VpbQn2qZ3mstU&mH7IQ
zOXgLdSHGleSW8<Uy+No_crT05oV4BTIMliDtGY048?880#7!_1|D`JK6j90yNgA7i
z?)KWS{%joQf2%wn>nmFs|BHaRqE=01Pyv7%tLM_v0VJMpjb-~*rD=*y|JLXn?KdRv
z3cL~!8Dwib!M1U$cY<3w@MZ0T3u+x@<hI_qS2f?4I*Wk-*^+|?KwwYSJ5(2sp#IsB
zpensb%Mt}MvZ%oNPBWb?X^aZcF6BG<%E=<S@@8LiKe0d!VE!4;38E#J@`ZlWcttc?
zj@qVxe%4u+hn5EPd}58xioNcuvHjwJ+8Gy;f^&g~lz<UXT>8Y)ro>uQ=UMe}_}GuL
zJ<O>x=x8$~5_2(K5XD#%#lDyYm7+@VK=TJo(utJEv)3ty3&(~RyV3n-=^}VYk>N&?
z=v<bzC^F5a#??U-JeCF3Jm;T&211MSouK-BFX+RwIk~$C3fMgAI+4ox%J>2QO>6p3
z@)Ppw!Lg)p&yxI$lj}N_iY=ray64&d0l1g$Ku3c&HD8{qu{@h?o9q+Ox<%2y)n#aB
z6fS+#LoddqE3+VIxQ~cmnBJTjrdBU=RJ7b`maYlN&5(5uuup$3%wPq-^4U}lA$)iH
zmNS^pus)*D+ihEK!T72k!OGR16hD#kMw67$Bz#Z`a3}9*Sg4lw<#WNIGgN~kjy(Eg
zpHSH#7byC-odJ<vzJ07Sw~ZKo)=%?BUDMR%tfU0?#EJx$tSDNB^nQjBEVoh`nJ1M;
z8!N&hs-@DzZbcl)k=gX>jwY)-igiKufYuhwr4C-fM7EkXS9ebhj`FoqF`Gsm`;I|S
z@V7Q){dB99A+{+Lk{Oe)5v9z5CN~i5)fbG;_vV(YZ3IWH7P(Rm+D6AeO8Ky|C^QUI
z@#Pid$&ee^HRTUm2~%rXp84^;lxIP!OBIef)^ddf+Wl+j*slMTt<=7(Bj?+<__sR^
z{Wo6aOh)5+cGqcmg7Q;VXE>)1017uZ@g9vTC4w){zf)o(*n3(Y0QyajD!jx;OM_fc
z*?8|$TSp2=fhC|1dZd$?6ZO_+fd$Mi&!xkWIMa#rXn^No`{VrFBN<<8cJvPT@y|5r
zEoduz%PxR;v~BsZfU^B~A4`O{jAKimq?_>Du{QXnLBWh~OVu@H6>^>NJTarZ?1NFa
zVgjg4u;XeRG1@VAV1g&i=cN(PyQj%nYmGKC`}dlCLq5Td$FCtV(^~>`h%5yJELr%y
z!EyTePh<jdu3-4T2Zc0bYv&x4TG_mMMHdG$8A~z#JpoacJ;|MM5<A+TsuP&Gt$lvj
zFAWqs)O&K-F-i$<N}cQD4EyW?09qdyBAH$Zj3%0+QjhYxWDTU>v1E~Ido*tbs{+;g
zk4LG9sJT_RZFBS#utdUno1{Az$*Ni^(sr=?^cmUf+?FD>Pj-$uG_{O2`!77HN~jv4
zQd>wFHu!MPU;&F*)yHVD*0V|O2^xp%J$P<0?;m~q*ox+`B-#n&FSWY@vGjD*992ph
z=@f6%iykwh;&)iy?e-7D)w2BK3K~T4Qdmrw3uF$Aj}`;$1m*F<^SYQR;5{Eg#O~1b
z8Y-$=sy(5#G)W|+rqN;;d6~`V6UkQ92a#rytSnwbYmxZufnJItVbZ*NXg^M4o?d{(
zpE$+u17EPd5>!Zbuesb6_`-KfCrfkss8PQ~qW_qkARt`UuHu@Co;oQ&Dhg>5Tcm$s
zRS?;|A77tjkC~!Iv3*C?QCE_3g`dlVUwQz$IUj)#$;GZGR|r}z?@mYZ@Gnr<2=XsN
zu*tc~whB4rJ<v=2xqr!6g;k_WeZWN!)u9(xWqTS1@<%xZD4{z{3|W=>8XSq>Xz^%4
zm2<ArjPQaB73Nghy&eFS$<iAR8n6}Osg})NWTUzh$s#)ZJ$bejm)KmhmjCP#?3Frf
zg>f{vXHNS57D*fOX$em3P&_h!0L*-q*%nL>kw#?;E)>7jZ+C>vh<BV4>TDssMMSjL
zK%MB3Lj^DmGzNi;>po)NuRD*!sm3y@lX-bbn3JR)GDQsI%!>UPduicvA{@9e<tZ@x
zC%BLlCWX|4$@J#tcN|#oN=)QSAkir|(*pWcI1xEK0w7*Dw-ARM4W-a}F-by=+*f}}
z7!8F~FX~hI_|{0WMdJ@9)BMGy7?O7MKQ;^lrbI?D&PVLpn*g80&`hZ&H&)9I0u&@)
zq*Xs=(G1Za?eB?D*8jRlH2N*{g{bVvGk!$n(v>8)!8LNH_m(2KTdFKCU_sZBw<H7$
zKH%T(#YEc%M<JFir^u#lw87mU;)N=*hmj7x3wZ#nNnaFGjUZ_;uMu6H9}Oa}si4xT
z`dOGk&Y@m=WnVTC9%c`KGnUCMR-65}qNkG2(q!J^faQYCf8KJyrWdVnW3sMt6W0*Z
z-(ZH;e&hR6{feL$711f)T<K#K(1|K}^8tB3ML|<e-_AGd!8ee^-nrivtuKQ4DdBmT
zUkdd2_-C92IIgrcU9+(D&R<9pLaa6;-g3(13zh*OE|`8F0&1VjgXAN$6aYvEOce6k
z&|a*!q!36kpDkCeEluO=H`hC|60+JYO#t#F+3_I7UNK%j57<I>|2{thBHJ>s+Y4}a
zyw_s@4c{2S_Il)T;nGnml1w6s>{u^#AP9k!LlG<{$OcW&9Vjx9<M5jD?%Kfao^e7E
z!wTxx?MidsjK2+8K0?IX?i|nb)OkFQz1xk6?XHjIJ6Q9@%uuloYo?!Er@b$Zqv{6`
zHW!4YcY!-$`mL&0uddi9&g8{4U;X$xtS0@#zae9_F(D^uXLZ@w>UWd{zbk!a$sQHS
z&UWsh({Rt4PZjN0RcO8Bmx(GJPtIGkV!uWIVo!|pJRK|7P#f!H6NABYReccdn9g9V
z_&Sm_Vl+X17K!QRcdC`JA=DFgEtA7rg1sAi2j4m=tXyN0YTBH*-fK@;r!qa0){-RB
zQEH4-9N%n+ePJyAOJv08dK%deX%POL>?)mj)kh?(>`aJ~n!PrWUqoI8b7#x&=9%c(
zj1L9cS(h46YFoR|(M_hy%dx#y_D0q(MBj}5T8U$-W>|6L{HUvybd7sd*dc@@Xy|{R
zuKW~w(O{~s1a^bpbwRf-u^n<+)xt7A8>M}AP_JrIz+zdi(SRgLGF4K2y5t$oVRPEH
zkih$)y$@X)T-(YF*%GxxI!wUm828dXC{V+=?BxK#^e>1sy>DLSdpKS<4NAu|>0K>-
z;yBj9W5WX%TrlbbV7lac6ozb<(?qO_Xe4WgavCs6S-xR@#f6erPtY*tY41EdBCtSX
z>C0h8eF9^KAwu7=^*A;HEZ13_Ij5aQ&qlbSt(^OZiIBf3gpbEb$%x*)yy*&(Iv{Yc
zVv&@vRRM@L!Q)2HUB*8L(|+jP1hXqa<?obj3HSU|7AnGEf}3%4L(bmxBrk$)>OZgB
zusH7Fl&MZokjpuheKZ%59pbIWPw_!|0i~CJ7tBy$ZGu(JL2HzJO7*K)3-KeD5=^>?
z7Zq2K(aQ^7?TcvEoK~&91J%?#KS4kI-(sb4(CVYe&eV4uyt`)9j~j>tH0M{cDBIJw
z_3<1M)H?flw!l8%qZ{|suexuo^04<t-jrSOe4lGbZU}{c_t{C9sX2l30kOO|Sn#59
z1~~~j{fy^es9lb;>D>(lgeBi{rSa6lPkC4KCQ!Pxj)0wtPod59LGn#97J*7#3pBGP
zD6%6|R}?qX-vr4Tt?I{9i;GL=`YfH9R&<o!!Dyn7TRz!(Q6CS-dS|w4%$7$7YMj}%
z*Y4by^h`zRyV0o0&M2#}b7)?e2>{a-yPGXaq4eD&Bx3dH&s@(19MseWZW~@BJ0Q~n
z;(ymC!dE>~NWTz4q2ph&_v$#?*P}CX6Tf)Tg0DksbK2UhQ)(}1J3YOkrcQdYZ?bXx
zq`rLPfM`RMd)lnI#ajeo$~*Sd{dSOl$W?G8r1GAP<T3M*Q)B|Sz~=mP+`J;)P-kp^
zSDF+{=OumP{P?pvbw;pi1B%$Gr!2cTvN~*}nG&&R7t9t646u6^MPDuUJlCC+6!Vy<
zNuS09=9D`h8Y-(Tfa$RGE8=`!(@VlPj`bd%g)-35%diFOZuZCiI&QC2xHr0HY_F=~
z7+8>6<p_S7EtaX%sc8rO)aLz0HGPB0*5{>FS*Ls>*8qcIE92dD$#ad#gR0~XC&v!{
z_WZ4^pUM$ED$Xe{4}KZFjwg~70MQ~de9-2IDafFGnn2sFLbf)wU6OMC!`=b_mlH}I
z5)!rPAG*W6ci`=cWr+3Ce_mxe_>T3sQ~N`V<xSP-J9jMJll~<Zo1X;?--SJKJ*TSz
zHI({W{pZQ=)+qf7{0p}SY$NLqMvKYIHr@;pz2g9&#3)){`*)KZS^Kb09PGDDG<Gtb
zx1xe0xb!QIK|QXsw#lO5dBe05^m;L*bN6y-bu?FHvyIHnu|Ypn^T;4cRcHFC!xS#+
z^xx}|Nrb_B_mw|>M9;vFr*iyIe|Y7h!(M941M>l}JIy2sl`6^~QV_x28CQR~Jn}KK
zcInAg_v|~mnu!epdD7PCdVXZ^54>G{*5P_QGt2U`^pTWt-5rO)yYm~05L=xz;3UY2
zKc{SF;T<7y`G5eG$}9Ht_fGm0og}o*L$**K=H{u`KJOoMo1)rOEvkz@;9Y|p4xO@$
zA0ibogW^e>ZGIs=-DYYAa*CK4cf7}Y`jj8Xd3a%a*E)_e0w<d1Yd>!xb=r%wi*rR6
zH3UP?!{Awuuu5YJyPD3|zZ%)N2%{j5Ld5HCRvTG5X!1hRt3KD6UhWO|llH0V7V80}
zu0nh2NdlAm>uWjZ<L6&~wzcc|aR=@8GF!Ws==!X)M?CAnyB?tM&VyJ45#JjlOPhkE
zh{-LX#u^<JE3PJfyrBje=c&s7Ny>I9+WzX1(WYvgW)$da;<KVY5+Pv*Z1XB4AH@W5
z&wi!BN|drSp4^z3-aAFKGp_MD>CF62^z~$>S7Y=bxc>MP_`Q1Ml>!g&`V#q>W}Q3e
z*UWM^LHs=$vxv?dGhXL%w>cGO<}#fO5i+&kKIU~ZW-;#CTDpx9j)RJ{<BY{jKl9!#
zYjDE9z;&)-{xCEOzWk~8U^0^yqg7}P{%Dc$QD-g(pvg)b$8nu%&N&X;Mq!)FxCcPm
z`I@@%@Wn>^vZ57N*GmK)cx0;Khue(NLRy&s2fyYNM4M}_ueGm~|G4yv<Q_7cn~E`C
z<oc$ih_{$7c87=$c3IUkK6#EiJw`gB^qmd%N=v<&i}T{=@7$ua4gL@K6^X(NfAqOd
z^##)C^>S*t@u=oPLwsJd!OXLqi}=ZP3>fFgqa|yXq@Fm3=>BuJz}nr{k7yq;YPncQ
zre7Z<xq6nWeh@J*6E)eH1@#yC@XWk0CArbv6%{pk{HP_+y(s<Jong9CIaH5)>Yd_i
zqm3xPWe+w%Z|GV^jER}3^kerk5$VwE_ya>Pg{iD5FDrYaR~eOJABu$bX=@O|@(z{H
zV`Ha6Zi_@nf98-Y&w!|ee{V7{Odtc{uc$xqqQGW<y*|~*_i=9ziln5r2Syh0H@LLJ
zYkFa#53VB~ArZ>{4iNLWEHZhf25Q*V+w;=vQ{d$}xH}d>pl88<3q-s{5-bJ~&zeXO
zFxbiS2S9+r;>$4&0;ZNAt35oOlU;p@?lt1G2LOg=C|he&A@U4EgdjeKb$J2%Z*gzR
z6UF<}q_1v3<=&yL5}}pkJCKhZspT>K?<CpCOBGIhgh)s!(%ia}k@QS9Bn>m*0kE2X
z(=Di-k3c#9P%S91w26?!Zp7I}ZT#5w8}-$DO|%;ep5F3!<033%Ubn9|vB+P3V$fGp
z%W1McPl$V)lC+W?ofH4tDZx=Q-AV5&lQHFeOYd?|4^E0t>FLs6@<oSDbVBueq6|Ir
ziFun7|GT+*wPD>dyE3In?l{lrwwxusM~0Q(T6e^g>a12$RW??Pp%$O1-u1pl_YkPB
zdCOuE#z;22(we_AQB*?s)i%>!a3#R4d~lch+Rz)#F$6n@Y3TszX0F6a!J7y8$ciIC
zJ+`gBP)41Y!Qc=R^?KU!<{;s7V6#6>{(@R$=$XC4CiwoAJ0rBaDGL_0={GQSQZv|7
zeZ*BB>*PjwK~MrqRYXF6wBXZwhWlIK8f31U{0&+#t;zO!(r|i@a+r78P-N-XUkJ5{
zQ|u<TW?9rgEqUwl>zZq#b0CIyOuNn(wj`-ATjqf<->EvmZ5|-0?vj>BxlT5<SfF8N
ziU)*GKY;+E?6c(5+ug{Obkn>vZ4Vc8F2=~QVW!~h&jxnGRig(TK@o*wMAIbZ-#RBJ
zBV97f&*W|AG|MC2M!)@ay*Bdla<vMyx57Wntn2~gV61J{!fNG=TEJ>6ecG(9C%&!*
z$kYJfzfU@6C)^Frwu&h1*ynmwR+`u3&Vl6e_3^BlpBt}}vX1VoSI#OZ{yB2w){{%L
zzl7nUqs0wMWfW!0{5q(1sR1zc#=4hu3%A_zm|O}vcjEz3H#<vb;Ra&*;g=D$eKQiR
z335)jEmgH9@{XH`EZiy;D!=Mm*)AGPv|rR2hQ~gAvl5vZ1xo{=DqqcU^)Or23wF<R
zIw|rVh{yp19ss^RF30wL#}$d}6*a|)ci`UhH0Bsc9Z7epy4eH^ckKp4p9D+U1=>;G
zZusQ7i}A(9rgBr#$qAAcVm^PcAX|8TNlL-lzOp7=v*C7L=qX!=3|o5UMo3?a5fNO#
z7GIDvkl_M=qfBGe2j96^XM3j&YhiltJqHfgT7!~Gp2b@^$y>Yp?15z9$=UYqur=Cw
z(n~fHh~ta<m;=Ypia<jO7f5K=i8f`^N*Mq9wmKs`FDOTGIs6Meq!_Xmi~J^y9)6Vr
zyF=h`%)dWT>nJ3(G8$5z5~%72lEWw1x!A2@&!#~n0X9z!p==?+<DU_9jw>3@2#o2B
z3gpJr{}Tt&ud%`Hkymm^=WvHC7-bPe;gZsm`40f<+vw7%W8g62;scV*2PuY)Y$C)J
zkFt>N0*ZivPoBX7OqBon&M0p?g1f^*^P)w%DF*pcuVvVeN5DZ8wT%gOTa%N`hBUR^
zs^2VN?P5taE7iyj!sfSfRa$o{b{j}Tur&P}>h^aG6(W(G^{(*t5h#}=<5s^l4pZ)U
z{c~A3mm`p5*M4Lpxr5#Vo<Dbu6RLhpp9Alvu8V&waYaLlxvNE}QA(iR6W=#C5g?W1
z)z7?wTrhgyzs5oo<SXi0l4iwv?{->)X4p8AYN{Z+BTq+&cQA!a^nL#z8P8|+2F&c~
zKY!|o@F3V$UD}xz3@IF_Qg+AjN9B<U(SX!t7AuR5D@y+XqW+@#KbQT7L+;D)P6+3q
zJ!V064q5>k1wk)2%3cB(on<In-m_2_yBB?mPVf5-?)1l%C9Ew3i59HFroXXviKcpk
zW}Km>%3ZytJKX%S<!Yj0<+sr{oE(NaOOMLWVIgU>lf*KsNkaSv;Xl~0kaq1-8Uz0{
z<iOfqbibr0`rAXfI54kBBTxO<sq6TK!^$pM{K8kB8P!XNQLw1uPYC|etwhB!e(0<6
zX561xvr<Y94V3W2j~0#xUEd;P8EBJs5u}Uvp*^l(wnMNp_<cl6jwev<CgG9uR+EY?
z!h6`xY9Gq<&ZOundD)vp`sZ`iaaKhCaerAk6D_~UwFtC#cN-W?JgR$zuX;)%s)9{2
z<4X!I_FB;V%^y6~A?iA(SfKffabgs?;QBMY|7rr3R)Rx|;ZB=6V9Y>?(EwWmw~L#D
z(dCFm{>Nb?Dzd1vb%G!_W9#uqS~F8KLBdToE7mtDDQT7e(U~YB>nC!ESq#6$iw#Dd
zLurblLZ9#Ca7hNjGs9HB5XRhpsI>n`ng0*`9d#{1MpxLjw<AN<U#HA%TqlI!X{{8%
z#OWo&X^BtB7?HK=)r+?ZDGbM;*af|L1BLPV{xO+_cjSH{%r9&f;$q}_kv1uTv}EMD
z(EksN>7(X6yzo^UuyQS~k)P5qp;JVBw4|gAQ(L=^2u8BP*2N*Em)K8sFFF@9BUd(y
zhBv<IGP7JMDQDYbjZz_?L{#5A|J)UYn}!`L?aIRb6QtA)?~$7QKXjP=pVxi#&$a!h
zZT-^*kT$S&riivH_#4Xox`=l_MV@08|ECN1Q%NEF=kJ}ldb&klul>ZL@XLDhU8rj;
zD0O|PV%OuUZXW<NgZU*rT~sLP9aBKtz%4zUf=A-2P&NgWZbeG4;96l^EJW%II$liW
zVf&{`WS;TA9CwK7Rw8kBL_rheQ?1m6Y}@8hQC~!k=Wo>13UHL2lFKE+bW@{)Bt2HW
z@S;jbR?(kqv2r~CDt?M$@(LVd0pEcU!;MS(jhJ_Lcfe~(pjz==OZ0DNh|%g&kVjqs
z^{uK*qAOkX^|2pL+FWAI1~jr%Jix<cWkhy?RN<L_<saCg;MHGd3ou=FDTd?YK*@dk
zwYiz@uMuL`$i;yN2u!&8)p4d6mNJ+ShwLn^AWHIO5=OrOon>agNfR0f)Tuo2;p!ub
z`x#nfe}WRD`X-I~;<vehRu=S>=38d<IT(9qR@Yq1NXr<Nm6pNYAb<BpgU&=HWxGLM
zE2-TfsZp;zgfX9yF*B#SCgETQWcjpltoE(gWHA4uSS!#E>da>Uqr?t92Jy-eom;n3
zmuIL#y$#X$x{RV}O+Klh>XWQ)UN+JA)A*~HIQlgOih-v68?I(jY#w(ZAdRyA^f6bf
zD}L5U@pi(1or~S+U^L@nW{VhUW5LZ95x1TYNSSZ<c(=+$)OAS@t2Jj1n+7tqaV7hc
zR{muW?H~Y00bj;4CJ&9Y4(JD@%5jSfDey$xhJE4}bbrn2ORVe8NpM?S(Z1<8;R%D&
z?zx?xeo@I^&hiBEDI3V@%<5>1zpAMTA?<k^{>b+VC!_cZra1i}?FHPKz4FUCDqhe8
zx&DGHXM{T@h+oU&0njSym6=mt1AW(5oZ@%XJ6cA`iO0-5fBC%r5BJ_T;9qC<U%ndN
z{QFys{7t6+?2|+@Zk{W-4W;dgbkBw-ueIoRIwn}1ZH}bQUV)0=3`L-P3PV(FP7b|x
z&gm0GHlSd?Z74*vK-uo<L=~&R$JWhcbp+PDx9Snk)YpMqQ1S+=i2#{`wgoOG$*vjX
z+%^7+oI6{N^_G1f;K0GGL-L>WC%?O4%8VCf@g)>|bRPIdZd8l9MUqDZ=lk3U=9Yh9
zMI1tE!t_-2ilDbh&(v*vIKNv%w$crqXvwW*<!WqyNoj0malt)?`1kj7%-Rx+%CNZj
z(QTzp)lxhUyEn)?Z-gU_?7tZXn2tJVPl}YXgv0C$vuJ<Dx0(@6SuH-AV51~I9$Td8
z1029|1vN&mJ{nc-H`Xo82|3)stI2$*t#`og11x5w4Z5dEAOpRl^Thzp;4)hFOFHGY
z3(>%GP=bBDfMcIl>eCeSy1(3W>HGK0|Hg@dlEl_}TJ6m*W1uk7mlE8;_sduSA5)7t
zo*{_UQTGAJj)+_38Tsl$mSTwnjE;w^1ynW^7MB&29C#sOpfa&n`3}{|ow~#JtFrGk
z0NuU@M*LFiO~u&n7|{)_N5EFxX~i{G48^Bg_%<j&%ka*!NA{0#!+@>nJwzM8qmny$
zWG@aIX$RwXP#o(go;|*aqiw@@>g%QEd)8N_t52G1vP4tOtXPaygnN=H0Ag!smqe{o
z%>^so7E<z;)tt13roFXhKo$O?kVPiCgERzjJh}6}w4DypSk#>V-r50ZDR}Z91%bXA
zo-VZ$Gt+MUok3{$PMSW?$A<HYyK2ozVQvqAAhGM|Vn}Ji@|v<>JkhkoP>-=0W*=rj
zx3v#SC2!cQQ*Q-hFXThuMX5*(Ux-wMB=e5F*dBBN8g^V0w3ak0uK^&|>^1`~QnhH$
z0Y62uS7sO6j3zuMW3!cuxD-A>-f{!$ysy~CqN!GsHPedD<P%&kHL|0}><R2+W%MOA
zMP%nxqAz!T@tJS_Q*x-E{nCPxL*yVtOaI_8Tkdk9`qXB0NcWI@ds+hj+R;IWu)gjZ
z0u@1|eY!G>C0pL;^b$e#rtM-a=c5_~I&ieF6Stw+zkMeiIIlBc<v`cCrJ^}Zrf8xJ
zQ9ni@5SAcQLV>!lMr^Wxa~!Kq)wge%V}eZPv%ps9Y%9n@TFO6DkyGvcniEQTvA6un
zKF)MUJvX^aAtP4Sp#5u8pFN+dlR;aPXk8Z-tkS$Yrd1)>^DQL<@s6QZt#Q(smlR<h
zAE_o!h2;u8`FV~OmZtNNJz6|{3-2K$|EpQ}97k{{h3|%Szi79f$;ixTKjd1f`Rnn>
z7wV(SfP<39z7EV^zw76uL@J6+Ob?!42=ibUs>aS#*-f03?K{!^fktmsKOvt12f`>h
z9bAg}av6)9#IN1k4t%PXra6{%P@oz2-&3jvZ0|5pZ>ALuAfNL3f+CW4ye`<hCUf$U
z5p2o{1rSCM1?}}xH6l)3ef-5psf?FW4Tk6G<6f$rWVyfMo@*bCbT#|{NCY(L(<D!F
zau*s+O)vg;Qs4m3Z}S7uVWvZ;u>rNZxh;!PNup({R*1_{qT;Px1ohVdkk#Wsu^Ss8
z9A^budgZXHV}N^=zEAQ!6#6CXnGA+kW0ZtRZ7(puVS^y$M-`2{UgeM_ccJ8f$<{10
zKSRg{S{gR7Oo}Z;BC2D8Jf?-mdX{Suv@|1`zdg;%<!4kIoaseDS@ar~>eaF;Lad07
z><7P#@AwMDS-Xn+q=tA4nIt-ebh2ttnsm<wbXEGv5G64Fau#}n7O9-Fd;=Lfn%MEw
zYV+c48OdmiR9;ss7(}kg1w+EWR_NX+D>_cl6+K>h$IV_y-va=;(X*1G(PeZcp&X=g
z)D#v?WgKkeG9slMc?1r(h2Yj$v_n+X&4!wOsc_)rL;`S=v`<GUu2zLCbH})QmV_R~
zzR&w||K<{*wnoBWssY3oemn6pl6Nvk_B?bu%dn5GGc5ZfdN7ef2&nS*3!K&u>3NN`
z$<2fFt@lG^9>3)0<ii1zy9VS`m%=+NIiIGE5zI&%9Nj^GvF@){`o8kxk@;!J90tkq
zZM`=>i7l5VW+&P6{&nD9c7#`sB2=vSBMJ%PI!#yeX?wT%9T10z4Zo<pI4`v;QY5lc
z+R>)n>lfa7+V^5D+BXJFpjR7Kf`g~Fn7^L&Rep$RZ-fTfa%&T@M|xURY4K6EJBcE(
z+!;pBes_~gWoZr3R!FT?I<^;wg*8p1pU!pd0!vJ}Q-nQX7=DRQRl654l7rEIh-d^p
z0Hmb#_YG*$)^^8B_pJK5=*A_++eSZU4AD6~TWVW;QSECKDL&qx-^!^2uUQ?$2B$it
zKlP#5w#!_wzLBrjTF`lwB(t_E@D#UZ07?C(p-L6#J=@v1^DJn~xnfX{aT+}0X@sU}
zr4W(cn5KW{Sz9jCjQ`^QIoYP9AywUK-2S8V;F+?dPnet7U-L~&y%mE;dTxQhsv-87
zqKZ#*jw8Fi+lP0%lPq3bncEj|G(nd#6xYNU9&@__nxx?)^m!7|rxg(lxJRfI{`D!b
z_t3l&x!71&QE6akv0%BstLz?!akw!7izN-J<(o#6aiR_IQ!k*M1@`3Gug|hk3;`H~
zuu4ojk8|{4(GM201yJ76Ma!BWa-5NmQLok76<9XgjV;6rV?10$U69LOd29He1UQt@
z?vq-X(bPyu<rt{zbX)!8glAWMr;vNGAGGo)!5<?vx665pe8&t=^AyQCfXM1EzF-c^
z%uzr5c>>>fBHNuLTyB86t1M+O5PW>cL@!(7V@X#NpP9rPA<56&fd;9YW?!?R2Q|Gq
zBm$%@Z7l3Gb&(d85csF^{ZQ)ZS5;1$KSd^3jS`bM+X$f5Q>Z>?c~#v8-C$A6;w)Fl
z1_;*XvE%l!i#O>r{HqufLwOBa$YxhT{c|-0NQgwPADV2k-TLSg0DuP|tfF|{<zh#1
z#2>>%$jN#3aw7gZR9-~!JD1DCv++*y_p{!s<^q^cB9ty@7MnjD^93DvaTO2c=~B-5
zSk5~;i#+jur!RS2JqBcd*EpYPGeotx?y-5)v#XB~3riK;@xL;=PH~%+Q`+2#MCMbV
z{gIb{d?={+sMN32WlMC4a^ioqcillvt=k?rA|5~~N)-qKf^<PTgdzq61PqV_kbqJI
zLX|F6MG%o9Xi$O#sZs)w5|Lu)EeHxEAiYVI-uro*bMAR_=Dz#p-FY+b&b+z)m7U3+
z+4HTvzHj~3TEF#+Uzg5~j`+t?CfDfi1>Hy70f{50Y;-DpqFzZe$TUv`#uq|#$nJ3x
zA^K&r$|j>5VD`46)A<Zp46+9}tyWvr_(JoH=t*_?s;byT`6Pu{vg~EC+U=7>zg~&X
zG~9?KGaXu7itY|pe715G6cuWGAk3j|G+J4;^&3?X&&<e&jLqVO?=Mie^sdZf(ZZ~~
zzr1>Kx14z4?TW|wI!|Z^b3(*Kl<L*G{UAN>R1&8iRmsj4VVG!bs<RA*pl>w-c)lYH
zb9UStjI4HTor9{wfj9^I?9^kaS|dn|L`3BtPLZm=T*;_hW_MP_-w8Somug>+>WfD;
zaG%T%G&kIZlZ)kMXcZQ{u^(6qRpNfN9!^MsxV4Oft+moFAo^d^yAs(b6I}a%0?jrj
zcbG+HkhgSoT0VlX3mO8VtVp*n!)?Z1Z+@`4rK_de!irp%C8-M!XXq~5dQMo1`Sfzx
z9pP0709(yJ82e7nmGaX#n}ysg5xCt$Q_*Gyj8SXuRnu1zu>LfNhu-*UOF7A@<`L4a
z{JBte%6E;`#nQuRni6x2q)l?j^fFzP(NO%7Om0yUh!!Ok79=DSUxaEo;4cTQ?{gfk
zp!gKe5W6zkR}GO`Z_sSy_OYPGo3<6v+Su0ul?-7F&c)wwvbA{OQH*w<Iwkc+^J7-$
z(XYKpu&5O0f<UYr#5l;+bvdWp^{%3LlNK^Brzl=Uuc@rQ%I1k*v7UdBS9`L6nVEV@
zY1-il1RK)v0pVO3Wr~pSsIdD%7Ql4(0VQZ;``xyJ3rOioNh<2V!N($G1?mA`ddnIq
zWyt^$G1)67EaHi__2mF1`K8V8e4-!XdK&w>u3b)Pu=`pP2`J-DOmCnwp@Dokx1hrf
z({@129ml@^&w&RM0-;`aT8=e8EFk@t_1xU^hVDQxqxro)Dyk{;;H2Jy=(2~LLFM%<
zt$7mU7d?U(!0`CJ6YvjH9K923x2$y4q)g1esa#&r<tO{xJZ+=h=M(>Q0NGR`l~ZCl
zBzCZnYr(m1Co+nmJZU-N#=>HKd9$mkZ)C0uvW?fW^Hb@mQHke&J)p*+fKE(S{g%Sy
zvYsrnaaUm4lsV}QJ8tzJ*WEL}c6#00#dhsK8#ErnjM(oL<biSph=G)a-ge}t(g>s0
zB0i;NFHg>gd$z=ILU~+${ds#4Qu$Lmla|zcnJ-h;wE3e#M3E}u6DF=IXJ$Z6!M*ih
z-f5{b7)`vtw&24KV%#ifhhg<37oT~t!c~iRelaKVuMjiG+o0|gOOgG=7SfBkO}uIM
zL0Hy&;=rwI!W{mL%uS_BAnzVFyB5D<tDUPmt+KXI0npXc^jR+p1=3$nq+4GuJTJUe
zJZ=Vs_<%J31P;Df8seiq7>4VOxY5I#*vH}BpQNgVShJX~3qFVV4tT`7FG|ACzoxB&
zJ``R!yNS1>j*qw$q=J!}Nsg)4&#D*;gm|mVQQnqzO_dIvZmJzP$EUf8ySwvD^g+aX
zsI*-TKZ5tZzx*comEsv|U1g!(Z`GufoJj-t=ap|<dFy6f0>`KE**>sfEvDLguBN}}
zY6ta2y6u;5jvixv{HV`NnDAUJhV!0MlK<*Vyh4%NSnE%kmicPX28y@bdY}B}4y{qf
zVBXZkW!9H(#<phzi>O-&3VN)U2J|?^F16WuQWaec6@<KZ?@9AhZVcx-D0tIb4GqH`
zEw)CF9^Dtw-rOvztVli8yyEXDuSRR3-wnT}E=1A67aDpcuSK$|{YK>z_O$K5MHt}l
zI4UYD8~6ozMn5(~X#TGBxDd*_Q+31=;_cQjX<S)v-0ZifF@8{L<;xZu$c#7a#(vH<
ztk=K3H^DVg5h47@EJ@@%y6Yh$Sc@%w!iL>Bl%wQ|%?(Bz(<}EU(igV)u!rK)?O;2z
zo=ll<^N6I}mW#JjpP$`0ncpE-eparBv__hdSZaC(@^YCGUFn8NE03sSQrB9DNcNnX
zr`3jG6R9w~$1QrLNHz@#gIVyQabOdGy-_}sMq<qH>+4e@BFA!O=Eq=-3BH0{P*mrQ
zJf~4zPEy&Pzphc}BR??!FZ9hEVMsyL&5}ZYFli(G4<y2dW9HJ-l@GT;q+^a$x7kaS
zs$9TM44W>LL_e20ENfx+NI1!YU5V_F97lz}ShEVphj=+~cn#vUc+Nm|e{?un&2zkZ
zz)(;z&Cv7t`3DUZ(~dEG`}xOS{WVWhLC+41FzM{@8=;?LUxi}t05WOcXEUlTDcP3p
z-b0(BCb5^+8iB~ydfeEf+Q3JSGV^~Ge4$VIe$T#x$mMy91g_)t45`|h{v<p(p%@`K
z#+quaNScDn*|rS61I39?lf;{w>;qgO2-t^|krtSm!*$)48}S^$h^k)xq=xHHaf_g-
z`{qZReLeA&8l5g3vl*Xw6xidqd0wIuBJ>k;mxTeV`7r;vXIz}D1<7h)FNczsZmu3r
zcM*H>KafujB%h@Tg8HBDe%l}H96D413Mg`BA0hLdmfytKvOAQ9Q*{a^5B<$zGuD#^
zggHg22Gd&bKddU0mBCIK7(G`v{a6+KuW(>HB)>go<ILKeIf#EhJn1o@R+onS$a!!D
zv*^;a;bvkeXd1nw_Wa$M<mRa*@xHRdtD~kRar6D<I+N-1OzHT{b{UpbX-5j5uzF0U
zX<DYFiR=>-9JR@1ttC+uwjdXhJy(h(>9B;}G#+uU|0JphQP@(l1qi0`D0sVLKJu36
zMO*aqv!iru@HDwE_taioZ%X}EdUgoo5NwZeBNT74RO$m+r&-Lm6=IEIWVN<SUL%8q
zqiZhHsCEO>Jh&F0y-{e{ZrL+Ie4py@2-eEK298>AnWC?FH(wcvmQJ~IA6#mGcB+DE
zlI)`q8?c*W%H#Hq!&$m<zF`6>$(Os=kR1@;EX_QKQi;W)ofTh8Y?n>l60aVk-lPKU
z&wt!s=H7V)je>aNtV+(bUUmFY&V}QiYL``v$S;7Q2l@qX=t!EyOWXufqz&Cue~UQO
zpT><@tpfbbSVg{gNU@u@)e82_i;oB<IK<lPFvk2M%3FuWxR9%VopkYb!oc%XnuP3_
zI|OfEKAICr$BEVNWj1uIxI4ph2)D4YRxNS9vm0(S=DnIyMP@Cm;a@5a#J$!{OL`V#
zn}*5IYZ^~q1KK2b*4416_$a~)x!cd2B3re1CMynHR6M60Q<BDcQTZm;^G7)E4JgDn
z&Fa{<*o2r3yk#5cITGS%;x>7mcS84gRn4O(f_HDT3Hh})qr~)@Pd6bkCNU23T&lut
zVdHFnq1P8Ph5I@qB;GfM@EL{O=nJE5RD}L|8!e>W^>R8JPj8VOf_t?&AHw4mtg!7d
z4G?rR#!r!fDHsC&aBK9y&@#R@ky&kU!*odE{!vDirOxe42~EDNUJuzuaM~EE<c-*{
z&9wK2BZeLUep1hkd#!hC50wv5Uk(H?(gy&A`#S<)`F(XWsyoBI*KeGT*4@lHqV&|v
z9Q7UjMkT$|>rNE596k~*ZWx;=YzNh@7Y6CONkbD@m1&EWV_(~YTzip$bWb-W)sd{`
zNfTUIUNjQ!oHO76yawK%4({u0jp}fo4<1pExzvkFsSMn^51;^~Bg<l-LBZ_Sjdy~r
zT6^>#`Um_b!KGF<4+voj{TuyhGx5{UG=`VN33z-14CbtJeYbLBSS3zEJZ1I6+Yf;Z
zwWrpl&eVdd`n2S_2J6@L>!2sivGvvAHk9wZzRDuD!P%;|HjpCM7Un#Yd$&qm+2~B(
zUFkob_X%!WK87K@_{Zu(C~GbVAvv_~w#v1RNaJn8z@oHO-TJ-{^%fqnncH#p%5*Cy
ziM|=tZ>$X?8rxF~)Mw|iqw@@J`GlO!4Ti3KLYEqx-X0h&^Gt8kh+>-{O0FVjp2^z~
ztf+aQkKWfaovNAqVSWxaR`N#ujMYk2$hQJpN0`L|;4*=ZO2_Vf^H(~-aNx-J7I3S@
zzY<Jp3X>>@8%A76kpxxF>>~0k1JblVJvLy^L!H}7)O;LDcaj*AQHs7OX?*1@x(hGm
zuv8;BP^~?=D6JQfS%&tIirT$)gI>DA9X*LqlpR4D+*5s(q$Ba!*aRgeT2HTfe*Ci8
zN`4pRc)Syq`tZ+A2vRyye&0<@)NLvJgx?6S&i!VY=;>Ts0W{Xh%fJrBHggq~r3k(j
z@I+6HX)v8@!O(!6kn?%a?o&kkK4nS{fnCFd2z`M%`UW=fl?|X1V+dsJqZ49ueLf#M
zx%Zeu6cI^KJ%`IbgcVcCbLRrBu%g|9zfrwP9bGDN?g~iLdv#>}2;f7?SUW&$wqWPo
zTaO0tAqhYHwzpoP7&&CFGx5lq!(f~@sWxb;eJv8g#o6wB4G%XxtX$^YHyhnv>6In<
zZrgh>E*l4O@4ZsHCfR3Q$vznTsbR^d^JJJ+FOt^@Z~5lFK<2lVc|ao^PB<ni+SB@A
zx%w8%Ugtzk*|@yFO}f(I?F0AC)4}mvEGE#er^}n1$0jg6^GP;h#Dl7G#1O0M&%-rb
z;9ECcfR+;-8cJN)fO}gHWFH29(F8Q?P@-$yj_N7*U^U~a;YY#tz=~RS5G)X<k|CA3
zo#b|fCNRcEkQm<FdnT)cv5T+vH05+loE!OlIl+H&>aG$9?YVIixYxgYLL|i&L+Bea
z@b%pGH?cB^U6Zkkj*b?u5JD%+C=6E7-_(EaAjHxtkQi+X=4immJqlp$GkwvXs!0Q%
z{f){-8>z8X1jy@ZY}IV<hBa3kMQ@7UCEVe&5XXkxAhM!+ihm5GJ>BR~7;1I5!`|Rc
zXsmk%%AK=@2Kh@KF7%o5w28B;k5FjYzC<@0v$)JA5J3#ws;K(tOGQ_*eotjR8vLFQ
zA@zg`J~mR{478s~>n;|%6_i})z^Z*gXOm6Vus{$HnCvOw>Ocy9<z>HiX`btP-3d>Z
z2+D=%Q4{PX<0T4E6aqzv&zA#h^S$)N!Ih~McBQQ??=g?j=TH^S*V&u{!&jp(6*65u
ze&B4dRKk@Zc6xixLF~unLvg<&CHoSzV{N>18@M1mPWNd;^OU&{Ke^O;*y@tSy9BbI
za0yyrDhT@lBoiUV*VeqeHw1vELSvynQj|qKgirFs2XcCn$H!mWT8vb>0|n-q^ih%n
zQyq$$n5pui0thqsRD-+|s#5Z$WpH9W*7WUgYU9ixhJ4gr+#K3ZcX+_|*@e5oMmbtK
zY1kOF7=&q3Ch1mKV$Yt|YSB~N23ke3P8rcdD>Q%C+c^E@l(nUKKu+`YPHwr5@?9=^
z{pU<$p5E3?{u7HdokJbMd9JmL5wQ)$d(>@s>WtD<c@e++JJpq($$4!AyOLGi_@&LV
z#Lf=O-lj-SP!0cvkPlzO-o(d&O9fCp3tk^5(@Z{nRO^OD1V-OD$U9%vzHYzF#!ICy
z&yW$pB4?_TsMEk0_cna<WHnO*QJA<gJZOM|O@<0Z9Q_D;xLufPGoe$O8=RElYP%%3
z`x;nC)R89q$~#g0nP;)>t8A-0tAU}qImiIrhV94q2Vgaz_0OEZ91{;*>eHAZwU26^
zWFZ9CmG1jem4~Gh`0Ig%P?c2)CpKT*+M^98<7o&aKcK;ivKUJkp1Z7|s1toov5)6#
zUI)0vK)Si!Wg8={xXWn<D0K(b{dq$DD?TkNrE2b{cUseME9|c-Y6Al=xO}m6<*Qa*
ze)c3Wmm~x2ij;{fucN|^U@s`&hcx(Uz4nUA!*JKRmuyKje)8jp72Lcy>SHAZ_D+&9
zZ+y<wKN<jq6&=97`KOy(v?t;olM8%36LwwH9x|;&D&;z5bqB>NeBkg73pny|_b}b<
zhThQni#<*xZL<z^zR+Aqyg+&n7B4K{i3sAkAWVox{IdK#rjHlmX21fEuU&93iB(DC
zt|-Ut0JF&!d{!|6;eVu2IQ>hxc_y%n9g2Qd7dXWs7C?Nw31G1QLHqsZ@BdZY;ipZ0
z+T{P-2Mj#i<jIeeZkB?K$frd_>>&_jb$8K%9qWw;7nE9+n@qAWL2N2sIlFgpz{!*I
zx5DSo-TbdQ(Gd4C>v&Y`Y0uHja>eJ#H&FHsZPz-b#YCx%>LTw!O{DZ&m)lq6RyKKZ
zDtVcrW?1GT)ndCZbE>0T$mJYYka|RCuECLvcc<10xF+vum=|=Sp96SRm;Yb2fS=F#
zxmkYtz`w5#z(*q&ZLv#wLda%*`tTl+PquLEvpnH6uV%<+FDlNsj2!=|uXA-I7CeWk
zT>+8sXuiMK*MugKGY&C?I8l2Nprx$1yd!V!-z^O&<f)F6NzI}K#d>X?dtqQ&DqpCd
z4Ov*&F9WI|sQZ5fvebV8wLh=_n+ceoHu}etLH|GOvNN9Kx(ltEETRZM%o>SuIETZ<
zz+M)dc^ku`rwP<2{^>OF?`sM_zyB|7SCuMoYOLqZH}$n8p%_+xG!}to@Huf7ITRR?
zat&85Lo4{eibjLJxp2|0zm0ruN)&A5-B>S^E8Mlduv?RDOIfs@5Kq;&5SUVN?9J^>
ifJdt>Sdo8p8hkv4Y`+(Ie}>Y3-%$E*^6sgB>;Df_rly$y

literal 0
HcmV?d00001

diff --git a/content/blogs.org b/content/blogs.org
index 4e46d17..2f34155 100644
--- a/content/blogs.org
+++ b/content/blogs.org
@@ -15,7 +15,8 @@
 
 * A list of All Blogs
 
-|-----------+------------------+------------------|
-| Title     | Last Modified    | Created          |
-|-----------+------------------+------------------|
-| [[/test_blog][Test Blog]] | [2024-08-17 Sat] | [2024-08-17 Sat] |
+|--------------------------------------------------+------------------+------------------|
+| Title                                            | Last Modified    | Created          |
+|--------------------------------------------------+------------------+------------------|
+| [[/countable_union_of_countable_sets_is_countable][A Countable Union of Countable Sets is Countable]] | [2024-12-06 Fri] | [2024-12-05 Thu] |
+| [[/test_blog][Test Blog]]                                        | [2024-08-17 Sat] | [2024-08-17 Sat] |
diff --git a/content/countable_union_of_countable_sets_is_countable.org b/content/countable_union_of_countable_sets_is_countable.org
new file mode 100644
index 0000000..9a1c31f
--- /dev/null
+++ b/content/countable_union_of_countable_sets_is_countable.org
@@ -0,0 +1,178 @@
+#+title: A Countable Union of Countable Sets is Countable
+#+created: [2024-12-05 Thu]  
+#+last_modified: [2024-12-06 Fri]  
+#+author: Dibyashanu Pati
+#+OPTIONS: tex:dvipng
+#+OPTIONS: \n:t
+#+OPTIONS: toc:2
+
+* Union of Finite Countable Sets
+It is straight forward to show that the union of two countable set is countable.
+Let $S_0$ and $S_1$ be two countable infinite sets(in case when either is finite the proof trivial), that is, 
+
+\[\exists  f_0 : S_0 \rightarrow \mathbb{N}\] and
+
+\[\exists  f_1 : S_1 \rightarrow \mathbb{N}\]
+
+such that $f_0$ and $f_1$ are bijections,
+
+then the set $S = S_0 \cup S_1$ is also countable meaning that
+
+\[\exists f: S \rightarrow \mathbb{N}\] so that $f$ is a bijection.
+
+To construct such a map $f$ all the elements in $S_0$ to all the all the even naturals and all the elements in $S_1$ to the even naturals, so 
+
+\[S_0 = \{a_0, a_1 , a_2 , \hdots\}\]
+
+\[S_1 = \{b_0, b_1 , b_2 , \hdots\}\]
+
+let \[f(a_n) = 2n\] and \[f(b_n) = 2n + 1\]
+
+Such a map is surjective because we cover all cases modulo $2$ and hence all the integers, and this map is injective because $f$ is injective on all $a$'s and $b$'s separately.
+
+Either using induction or using a similar argument with the naturals modulo $k$ for any finite $k$ we can show that the union of any $k$ countable sets is also countable 
+
+$S = S_0 \cup S_1 \cup S_2 \hdots \cup S_k$.
+* Larger Unions?
+We know that an arbitrary union of countable sets is not necessarily countable. 
+Consider as a counterexample the union of all singletons $\{r\}, r \in \mathbb{R}$, this is $\mathbb{R}$ itself which we know not to be countable.   
+
+It turns out that a countable union of countable sets is countable, to show this we *cannot* use a induction or a modulo $k$ argument.
+
+The key idea in the modulo k argument is that there are $k$ equivalence classes and hence we can break the Naturals into $k$ infinite countable sequences(countable infinite sets), but can we break the naturals into infinitely many infinite sub-sequences? - Yes.
+
+The first time I encountered this it was supposed to be justified was by observing that the Naturals can be arranged into the following two dimensional array,
+
+\begin{matrix}
+\, \\
+0 & 1 & 3 & 6 & \dots \\
+2 & 4 & 7 & \dots \\
+5 & 8 & \dots \\
+9 & \dots \\
+\vdots
+\end{matrix}
+
+Although this is convincing, a thought process that would lead me to come up with this eluded me until now, I explain this thought process below.
+
+* The Argument 
+In the modulo $k$ argument we have a constant gap between each consecutive element of a sequence, because of this we are limited by the gap size($k$). So the key idea is constructing such a partitioning of the Naturals is to keep increasing the gap size, but since the gap size is finite at any point we can only have elements from a finite number of the countably infinite sub-sequences at any particular, so we are forced to start subsequent sub-sequences at larger and larger points.
+
+The most simple way to increase the gap size in this way is to keep increasing it by one after each gap. 
+
+[[pics/Countable_union_of_Countable_sets.jpg][image]]
+
+Look at the $0^{th}$ sequence we just get the [[https://en.wikipedia.org/wiki/Triangular_number][Triangular numbers]] and zero. 
+
+For elements of the first sequence we get the fill all places immediately after all Triangular numbers starting from the first Triangular number.
+
+For elements of the second sequence we get the fill all places one place after all Triangular numbers starting from the second triangular number.
+
+So we come up with the function $S$ that maps the $n^{th}$ element of the $m^{th}$ sub-sequence.
+
+$S(m,n) = m + \frac{(m+n)(m + n + 1)}{2}$
+
+This is equivalent to the 2D array I mentioned earlier.
+#+begin_src python :results output
+for m in range(0,5):
+    row = f" S_{m} = "
+    for n in range(0,5):
+        s = m + n
+        row += (str(m + int(s*(s+1)/2)) + ' , ')
+    print(row + ' ... \n')
+print('.\n.\n.\n')
+#+end_src
+
+#+RESULTS:
+#+begin_example
+ S_0 = 0 , 1 , 3 , 6 , 10 ,  ... 
+
+ S_1 = 2 , 4 , 7 , 11 , 16 ,  ... 
+
+ S_2 = 5 , 8 , 12 , 17 , 23 ,  ... 
+
+ S_3 = 9 , 13 , 18 , 24 , 31 ,  ... 
+
+ S_4 = 14 , 19 , 25 , 32 , 40 ,  ... 
+
+.
+.
+.
+
+#+end_example
+
+
+Now we just have to show that $S: \mathbb{N} \times \mathbb{N} \rightarrow \mathbb{N}$  is bijective.
+
+------
+
+/Claim 1/: If $S(m_0, n_0) = S(m_1, n_1)$ then $m_0 + n_0 = m_1 + n_1$
+
+This equivalent to showing that if $m_0 + n_0 \ne m_1 + n_1$ then $S(m_0, n_0) \ne S(m_1, n_1)$.
+
+Without loss of generality let us assume  $m_0 + n_0 < m_1 + n_1$.
+
+Let $s_0 = m_0 + n_0$ and $s_1 = m_1 + n_1$ since $s_1>s_0$ the difference of there triangular numbers $T(s_1)$ and $T(s_0)$ is atleast $s_1$ because $s_0 \le s_1 - 1$.
+
+Then 
+\[
+S(m_1, n_1)  - S(m_0, n_0) &= \frac{s_1(s_1 + 1)}{2} - \frac{s_0(s_0 - 1)}{2} + m_1 - m_0
+\]
+\[
+ \ge s_1  + m_1 - m_0 
+\]
+\[ \ge s_1 - m_0
+\]
+\[ = m_1 + n_1 - m_0
+\]
+\[ > n_0
+\]
+\[ \ge 0
+\]
+
+So \[S(m_1, n_1)  > S(m_0, n_0)\]
+
+Similarly we can show that if $m_0 + n_0 > m_1 + n_1$ then $S(m_0, n_0)  > S(m_1, n_1)$ 
+
+------
+
+
+Now we show injectivity using /Claim 1/
+
+If $S(m_0, n_0) = S(m_1, n_1)$ then by /Claim 1/ $m_0 + n_0 = m_1 + n_1$
+
+Let $s_0 = m_0 + n_0$ and $s_1 = m_1 + n_1$  in this case Let $s = s_0 = s_1$
+
+So, 
+
+\[ 
+\implies S(m_1, n_1)  - S(m_0, n_0) &= \frac{s_1(s_1 + 1)}{2} - \frac{s_0(s_0 - 1)}{2} + m_1 - m_0 = 0 \]
+\[\implies 0 = 0 + m_1 - m_0 \]
+\[\implies m_1 = m_0 \]
+\[\implies s - m_1 = s - m_0 \]
+\[\implies n_1 = n_0 \
+\]
+
+Now we show surjectivity
+
+Let $N \in \mathbb{N}$
+
+let $T(s)$ be the largest triangular number less than $N$.
+
+Let $m = N - T(n)$
+
+Let $n = s - m$
+
+Then
+
+ $S(m,n) = N$ 
+
+Since $S: \mathbb{N} \times \mathbb{N} \rightarrow \mathbb{N}$ is both injective and surjective, it is a bijection, we are done.
+
+* An Interesting Applications 
+*The set of finite subsets of $\mathbb{N}$ is countable.* 
+Let $A_i$ be set of all subsets of $\mathbb{N}$ containing $i$ elements,  that is with cardinality $i$.
+
+$A_1$ is just the set of all singletons of $\mathbb{N}$, there is an obvious bijection of this with $\mathbb{N}$, the identity map - hence it is countable.
+Now we just use induction,
+Let $A_k$ be countable, then $A_{k + 1} = \bigcup\limits_{i \in \mathbb{N}} \{S \cup i : i \notin S \land S \in A_k \}$ is a countable union of countable sets.
+Since all all $A_i$'s are countable the set of all finite subsets $A = \bigcup A_i$ being a countable union of countables is also countable. 
diff --git a/content/index.org b/content/index.org
index dd08fec..41849cc 100644
--- a/content/index.org
+++ b/content/index.org
@@ -6,5 +6,11 @@ Cosmicflow is a site devoted to the interests of Dibyashanu Pati.
 
 I'm currently a student, I love Physics, Mathematics, Astronomy and Computers.
 
+* Recent Blogs
+|--------------------------------------------------+------------------+------------------|
+| Title                                            | Last Modified    | Created          |
+|--------------------------------------------------+------------------+------------------|
+| [[/countable_union_of_countable_sets_is_countable][A Countable Union of Countable Sets is Countable]] | [2024-12-06 Fri] | [2024-12-05 Thu] |
+
 
 
diff --git a/create-site.el b/create-site.el
index 4811d2d..60b7933 100755
--- a/create-site.el
+++ b/create-site.el
@@ -198,18 +198,37 @@
                                (file-name-sans-extension
                                 (org-element-property :path link)))))
 
-  (let ((exported-link (org-export-custom-protocol-maybe link contents 'html info)))
-    (cond
-     (exported-link exported-link)
-     ((equal contents nil)
-      (format "<a href=\"%s\">%s</a>"
-              (org-element-property :raw-link link)
-              (org-element-property :raw-link link)))
-     ((string-prefix-p "/" (org-element-property :raw-link link))
-      (format "<a href=\"%s\">%s</a>"
-              (org-element-property :raw-link link)
-              contents))
-     (t (org-export-with-backend 'html link contents info)))))
+;;   (let ((exported-link (org-export-custom-protocol-maybe link contents 'html info)))
+;;     (cond
+;;      (exported-link exported-link)
+;;      ((equal contents nil)
+;;       (format "<a href=\"%s\">%s</a>"
+;;               (org-element-property :raw-link link)
+;;               (org-element-property :raw-link link)))
+;;      ((string-prefix-p "/" (org-element-property :raw-link link))
+;;       (format "<a href=\"%s\">%s</a>"
+;;               (org-element-property :raw-link link)
+;;               contents))
+;;      (t (org-export-with-backend 'html link contents info))))
+(let ((exported-link (org-export-custom-protocol-maybe link contents 'html info)))
+  (cond
+   (exported-link exported-link)
+   ((equal contents nil)
+    (format "<a href=\"%s\">%s</a>"
+            (org-element-property :raw-link link)
+            (org-element-property :raw-link link)))
+   ((string-prefix-p "/" (org-element-property :raw-link link))
+    (format "<a href=\"%s\">%s</a>"
+            (org-element-property :raw-link link)
+            contents))
+   ((and (string-match-p (concat "\\." (regexp-opt '("jpg" "jpeg" "png" "gif")))  
+         (org-element-property :raw-link link))
+         (not (equal contents nil)))
+    (format "<img src=\"%s\" alt=\"%s\" style=\"max-width: 100%%; height: auto;\">"
+        (org-element-property :raw-link link)
+        contents))
+   (t (org-export-with-backend 'html link contents info))))
+)
 
 
 (defun my/make-heading-anchor-name (headline-text)
@@ -256,25 +275,25 @@
 	       (code (org-html-format-code src-block info)))
     (format "<pre>%s</pre>" (string-trim code))))
 
-(defun my/org-html-special-block (special-block contents info)
-  "Transcode a SPECIAL-BLOCK element from Org to HTML.
-CONTENTS holds the contents of the block.  INFO is a plist
-holding contextual information."
-  (let* ((block-type (org-element-property :type special-block))
-         (attributes (org-export-read-attribute :attr_html special-block)))
-	  (format "<div class=\"%s center\">\n%s\n</div>"
-            block-type
-            (or contents
-                (if (string= block-type "cta")
-                    "If you find this guide helpful, please consider supporting System Crafters via the links on the <a href=\"/how-to-help/#support-my-work\">How to Help</a> page!"
-                  "")))))
+;; (defun my/org-html-special-block (special-block contents info)
+;;   "Transcode a SPECIAL-BLOCK element from Org to HTML.
+;; CONTENTS holds the contents of the block.  INFO is a plist
+;; holding contextual information."
+;;   (let* ((block-type (org-element-property :type special-block))
+;;          (attributes (org-export-read-attribute :attr_html special-block)))
+;; 	  (format "<div class=\"%s center\">\n%s\n</div>"
+;;             block-type
+;;             (or contents
+;;                 (if (string= block-type "cta")
+;;                     "If you find this guide helpful, please consider supporting System Crafters via the links on the <a href=\"/how-to-help/#support-my-work\">How to Help</a> page!"
+;;                   "")))))
 
 (org-export-define-derived-backend 'site-html 'html
   :translate-alist
   '((template . my/org-html-template)
     (link . my/org-html-link)
     (src-block . my/org-html-src-block)
-    (special-block . my/org-html-special-block)
+    ;; (special-block . my/org-html-special-block)
     (headline . my/org-html-headline))
   :options-alist
   '((:video "VIDEO" nil nil)))
diff --git a/create.sh b/create.sh
index 302923b..0b12e1a 100755
--- a/create.sh
+++ b/create.sh
@@ -2,3 +2,6 @@
 
 # generate the html and gemini versions of the site using org-publish
 emacs -Q  --batch -l create-site.el  
+
+rsync -avi ./content/ltximg ./public/cosmicflow-html/
+# rm -rf ./content/ltximg/