From 3be82a22bca5be3446eaa98b5e8da82bda0347c0 Mon Sep 17 00:00:00 2001
From: Florent Madelaine <florent.madelaine@u-pec.fr>
Date: Wed, 8 Mar 2023 09:47:39 +0100
Subject: [PATCH] =?UTF-8?q?intro=20aux=20codes=20d=C3=A9tecteurs=20et=20co?=
 =?UTF-8?q?rrecteurs=20d'erreur?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 1InformationTheory.md                       |  16 ++
 1InformationTheory.ods                      | Bin 0 -> 20216 bytes
 Grepregexp/commandes.txt                    |  18 ++
 JFLAP/TMSommeBinaire2rubansSurTroisieme.jff | 273 ++++++++++++++++++++
 4 files changed, 307 insertions(+)
 create mode 100644 1InformationTheory.ods
 create mode 100644 Grepregexp/commandes.txt
 create mode 100644 JFLAP/TMSommeBinaire2rubansSurTroisieme.jff

diff --git a/1InformationTheory.md b/1InformationTheory.md
index d2c1d7b..d4caf4e 100644
--- a/1InformationTheory.md
+++ b/1InformationTheory.md
@@ -20,3 +20,19 @@ This is essentially a practical version of Shannon's noisy-channel coding theore
 
 [Details here](https://en.wikipedia.org/wiki/Binary_symmetric_channel)  
 
+So in a nutshell, we can tranform a binary symmetric channel with this repetition trick into a binary symmetric chanel with an arbitrary low error rate.
+
+It is not very practical because, it is achieved at a very high cost in terms of transmited of information compared with the actual information we wish to send.We shall therefore look for cheaper alternatives. 
+
+## Detection
+
+If we are ready to forget about correction and concentrate on detection there is a very simple trick.
+
+We transmit some bits of information $b_1\ldots b_n$ with *one additionnal bit* 
+$c$ that is computed via a very simple method from these bits, that is a certain function $f$ of $n$ arguments such that $f(b_1\ldots b_n)=c$.
+
+At reception of some word $b'_1\ldots b'_nc'$ we check whether $f(b'_1\ldots b'_n)=c'$. If it does we assume that there is no error (we might be wrong here), it it does not we assume that there is an error and ask for retransmission of this message (we are correct here).
+
+This is used for low level transmission of information, in particular for ascii characters (since we tend to use powers of 2 when transmitting and storing information and we have one available bit when storing the 7 bits of the ascii encoding).
+
+[Details here](https://en.wikipedia.org/wiki/Parity_bit)
diff --git a/1InformationTheory.ods b/1InformationTheory.ods
new file mode 100644
index 0000000000000000000000000000000000000000..aa825fddc9ef5a0ef547ba6d33271fdab3647568
GIT binary patch
literal 20216
zcmb4q1F$H~&fu}Fd(3-m+qP}nwr!t#Y}>YN+qSv)d;k7hyH&5=)<0EUlj`Yo(w)g9
zon+)Bfk99J03ZMWCd5rug00viXaE2J{%L=^0Ibcejh)=>jP>p8tjrDdoy=`*XkBcK
zXl(Tz%^hiM?Tl@VYz>{QjcuH09PJ#8^^F|OjE$Y-{+~JjPV;{*^uLgxt&NGfsk6hs
zW^-hqb+Wa!GSGLR{hwi(SlQ}38UH6N%zs16&eqP^?k~H}|3hm3p!{bZvHuM<eM3WI
zE91Wlwf&#+`Olu%>Dw4v{Rck(9Ys3_TT=&PN5}un>%ZF>M<;zJ=l>5L-oII+xwXEj
zu_LX3xs$cNo#X#z7Xkv}U$4{O@&D(7`3qU=+nAdeJ37%g7@15ZPT2&~Aq3rU1shMV
z^3j5VI*^UGS>*IGhp2(l-lrpNcgG~E$QPEM=PVvni!koQG-h1sV~<AGm-Z<!8Ilu^
zi<vc@QF3(9v=wb|tgkjx;-%x<Sp*j4P_(<+P_XN!1XHuZSj{x#lewioaLINO_ARm5
zi@^*x#y~*gMhlof9eQE1PwzvTsLDHC<i@$b;B!ZAag^oOL+LjwbcHtK$NTd|LrRSY
zIR#?3%Sa9}raZ{A_vKyfkLYzR1m<(;-BQNPtZs+F6d&pAcGX^M1@3qyn|WLtdN?l(
z-R%%1>18rp%bs^|y8oPf)6D!}?AJ892wCw>7nr`soiyI#DT~&~NrFQ(zL?E}0s;U8
z0s{d2mk#{9?faKD8awIJxLI38D^A#K&>?ibP=c_i#xD*e2#><d3d%q#<kHM$5F}zH
zQ%hr_ptAewb|JU$pv>}fX0ENNOB{V26$Yx>Mc12z5=zMfh^UoGbqVgg!0(}LJ;)Y$
zyUPQmHRf~s-|azqp*|`s)UJz{xt^B1n2Lz4IJZjHIx~lpON&Vx9aY>a^S@wBMeuhD
zRxwVhL|del$;{Hxrf~<VQ>}8QMjJ{$2~$3Nq-ZLkfMUr0Do3Hb+2r7^FT~H)Ki!Fg
z5H;G<uvERL8%lBwk54GmSu=d<K|J1yCOCe9hmJ+mZRRvOI!aSxEA^Uz__zX$HO~xc
z^sV<6QqQbs8WNUi@DhwH{LP9|gmS5o4nI$3Y#+r6x>e|uXf0VkOQIS#{_+cNd^x)7
zb;bKR31!D5(l@3?d0*Ph%<c1+X9%ecESN`~^QSxx4p(fSc!*-=!RxjBpJ#{Hx+yqy
zOfP)w>FIBvJ#mSf?na3TJ9_sU)+b%w+2I!=7M*atL2u_p1gH(n9a<deT!1RosAEQp
z*ubR#MIkrwYMQXkcZ^rOe<Z4m`FfoBSE3UCQKC?P6~fWU-OAYUADM1xT-a`~ApCUq
z2*}mtfs$P8aamE@*EU_~Sko2aJk#eAOOQx}0|}3a|GeXrg+9gX54zBgh!Nhqj&$s7
z#iJBOR(yn6xTci^4W+ho*EzwC;68|B>zx01`PfcARt&lRqJjtu)y{FhfEei)8v-6G
z1M9axC&4b64GWsDJFc6MlTct4L6p(nYoqG3Cpd35)?&6=zAidb(mJOkKw4p9&6qM`
z%%a0h&#{$SGllS?okZ#q(2BxQ@UJi|a@|u?_rt`EM5=Waw^t6InKP+G3kNl**ymdF
zpd@C<PacUe&PvB7jfw=K&cfqN8(i*8CcwI?0Z}a?qMB9H53d^ERz&hWizwsHnUP-7
z6i_A1|B_qN<O60|&i+Wk1iT2xgB~u|2OMQL-t3y6G@2@7n17LyszVW%_B2Q}$8^}a
zd4v++V&;c~G}=V$bXV3GTIJKoOj~<m0WbM}#m;<h3J_e}FhPZ%z=U7rcy4%~eBAp0
zaU|?OP&TlU7Hl8`)2^jfG#FPyl7fbpFk7k3T?|tQ90YPqX+=HrkSh9oZ7rXpxCf#h
zNsRzfEjn;+9Q1PH!hf!^0A^(kyxXw@f>GMt#@7ldJ>InQnUV&j_)WG!!0(_!iD|I_
ziByrzkn;yGPx0&hRbTUx3v;4$aG8WBHqq#@@lT%R*kpe8dXqFC`l}3DXY~=TDw?9G
zE()b-uig?&TqrD_CzH085j|~2)1`)nOPMcz9AAX`6><bWGZil=6XD~Y!Ve%Z)mNGS
z1g3LUvBrKh!UzJ!XuOl)d}D}M*eyPaYZx-B;{)QtY6Qd;PPZUE6o2tfGnieJJ$za3
zoMUB&NdP%TV~g*1k+;W&r8e@b!SWyPyXlRFXvMwYSm4IuH<$9+OssN=*;~3I4?tN2
zQ3BDiaWTE;0WE~pKx1t`Fls7#uLLNRi8c89o5jfHq%l~2O*xG9L>E9u@`wRus65u)
z^1i_GU)YzPz6Gqx=yKX**D!%VXyZ_uE6Q_;med^EIxWr<M;ZGc(<qgewDFYli@Gjf
z_Eq^yh#^D5EdD1CZqzL9De4};g-5E0;Y;f%0hzJ_gbEOWn5BZIWxzoDW8%nCH|Uei
z(;p#$i-d^zA_4?+dZlI6#*9^s1qBcEln*|C$RckfGnS0qmzZ1{e>K$UWWu=HI~dU(
z8+Nhb-0wfO>a2D_ZZbVujYc*QdFsbL?R$+zJ`j2CMLij?91dNM>PU@v(Bs`3bkou@
zSZ<{BOqlp|`Cc)91pAJNWhZWOEMHYIc4(KR?QlG72w+qW?ydyN16$S*UrzP<X|ye;
zf>VoZt#*TIS4}7NRgF+edM^f4smvyMfr3tp6H-{O`SZbS7z?#bVM+C)TBW8&y(cr@
zBN9?-tqy>!a=vYkJWXq@HjvuIx7_rHFiwU%MAz<J#z)WSO*J6-<bvr}guBjHMNzy_
z5Mx$S$G;FC-ixe|LBQ-DxNnr^#|_a1Q<o969+C`K@c?ca=PZu5(#k?qj<G8hrZ7l&
zT`f%}@P2(fNg$M*FF@rtjo^2iN)6Hqy7cI>gBpGk0?F@p@s;uT;jAGZ;^HJShu$Ru
zsmwv1l~@geiWp158wq;3HwP>SJmJ4btta=(0);!b*FgP5)BBQcwW)V3ww{z>;weU?
zIJ+#<=Ug|S)ZA&@T1Q|<Bzf&)366XD*eUq%gU=v|kBA9y)i^F~krMn6;tt^M35&fI
zV}B$&4#V>jk@1cUa>(VF%HKD3z072HZm>^N4{dK@wib*6aBj;T7G5Plvm=9#2bZLb
zq%>!1#%4BeU2|pgZy-Onh!$CMh;2O1Hol!RZpUL~3JAw?CXLpLawnp1ZsM81YcX56
zl`~+;+TTmE%LIYkMdcUlQVxREPA%u7<;RK}UEt(CFJQc7{z9`SGT<4Nw+TCH_ESNB
z+X#hhY6iGo-j(G>xR<g{{s3>uzTb<p5a9~KjR0QLu{~sO-)=V&7!A!=c?%l5Y$0Pk
zx>bQnaY|ET9kCkH6S~a&k-sb-L7YA`>gJ9qRT2sKybPwZG+1j8C^t+r8p}z@f(j7o
zRic#D$oBaNe~i9=a#P9Za#Y?%%xhGVpVo6PSY&dt(WwfIA*W&Vwa?QLm%Q&egF1le
zYHe?Cr^|?Tmz>AXLv+U&exG+K0}m^1QU(3ZdUWb5se2D??(#gTr~m6fd0m49rQD(r
zK3%Wb%`0j><1@Mk&?F13VGVVJKwsU0H~F%%PpfnK8(C<Uf~mu2fv}Lpph`ShVE_s*
zykGTcT+^Az9`<7n$!L?HJq4bM%G5&bmV4z_ig9_3@sWzy?!IUh9h-+%69{U#^+eNg
zwKGrM%(Tp*r&|nmzw*xfSv6DThim616`_d==%OcF<Xb02T+<bK>eThxz@?AA+ugrR
zt20BFJ`p$ofF0F;a+aX~npQ(w8>fHHC4X(}mG+dw#wcR<3AvmWDKRGy`zyH7gr;S9
zrGx>e@|}%xIg1M_2n@LqzaO+;g4cxQVe^PHE|Etfm$-)sKm;!^I^%Er^>Da+2r2mX
zp6s)l4nPIk?yiiHaoFj5GU;jXbp%+HOb~N);)aJl_#Ig#*W0U!oldcm1+rdKeN3to
zHu6P$X(%^kK8~>&G>qxJEZtf06m^G`clV?m;&1E|Q(?Ol8asut?5pw2xr_P({%owF
zx7~I!G}D5)tE;QqW%S}TtH&>0k;6=l-3|k#=xk$s^aqg(2#kU?vPWp$uJGF{*5tu0
zXZjNfv+R@T)3v2puJS(`SYJ<57p{HG*&h~3hru}@ZpOV$IjGk1xq&NFGqxty#`<Kh
z`rQB!H3pqL;%RR!)}{o8eQOu{Yx{kGLILbO^;?+6Zt*6<%;~QMS3{$#u$Gar^fuPC
z7@aiSBf&c=X;Ip#U6BQcCGW<3(<*``<{OclM|B+1mYE4M8#0M9{4%=ijA~_VY9{o`
z3@{>W!$QCD%muBRaORn;Z!_5qZtzmV5u0^ML|Sd8n5K?hi*C;aj$mGG{2Rg`KIlt9
zfGjX&^b1hfB!8L0BU@d1^1|V&D6nV_rJJ`)380a%Eg;u5L}N6w3J{TCV#d=`RuE!`
zUR6pgxp!M5#cw;Y$J^excr-D;_4ioxaG&lvpBb_D^s8Hf3l?s!>FXU^9|W{d5%TF-
zyUns?wwevJ9)n&)pXN#s$`GT8g`cm(U=a+`R$J!#ae4rgp4G6{tfYEt3bm-Z;Tp~5
zJC_<2u%bC~)D#ibkKDqBgI55E(&Vf_oD#Xb`=9mCFmCaY*J(-qdhDB^VAX><DOmC+
zKZH16gs;Wi$Dh{i)|;?&R@1+Mgg6OYL9A3h7dpzy@iXYPS(<f6@#Vt%oYpOTd#JL%
z+~r$KOOH}DW%CyXn4s^8zV|X5B%}bkeUHu&c5;vADbVo1K^-UVzC-o}V|Z$}hP5i#
z9O>+R@NV?XKqC(pXnQ@#Npk(wv~CU0mF7~w;hQ@0WgOqn6A6?&-Jk*S_!2_RUtUF{
zaxMc5KxfgJNg62O@Ri%{2N2aj*x$w=JyXqa`BSK)ueMD`(B{N!$o|O!HI}jx+FSze
zSpJjFA>DrFeP#kjy@jwabqdeA<uK&L_%T0)ZV^LNoUw#wlYJ0=X7W;!VF+2(QfZT8
za(0zsU}vOF=@Nn6IXrjSj*o2+@4Z@i!!TmePL|(>S8>s=$U9vZw$1FRCSc3N^di?e
znj+w_a%oH6rM++_eUsir8{RUPvCVAHk7QfL+GS}F614q3yZE8GGYxnUZvFVz8GSg=
zbGCy+MV(#@<{h9&Y#mhe#rUNuQiU;C-by$AtL~?6u_QBkQA3_V@x&a0ap;eR)>Zj<
zL^op^4gM3nmYeETOFD~Mv=Obu8yo{`1f&*suN*gDrxEi4mxR*vm_k%0anmhKC2WDZ
zQm=Y6nQAtvcTVcKt!~uvPR+J8<py6wD-Hjky;hd`D~7rJJZp3<a^BXEkdxvUTRO2t
zHVvafk8DAQ#XSsdZO^%{3XBlihV?P+X*yvtqPt@FX53lcy>VhT{INWG^~qCi4R7Gx
ziss{2E(Cq16DF?FY1`Bu(^oh3%AGQ1D3&`XXP&^?8R=7r_zA_Z>yh7c8&vf~^xtD$
zef$E|?<yE3q33+Ld!`tHBP=0bp~XtcM9?KJhFj(vUvI@m;c}WHo>_*iCKbMxc7`)K
z%~5!tbmKy0k%(XvmIYQeCSW62xVFCY^RnwGyQbO2&p=H1#HdE5d~E(3uBsf<N>3CW
zhuHC6IIdP*J}U;hMf5Ov))nELwo4yz`M|bQHI>R{-2i(#WKOk)b)PZug7B#cQ{H3q
z)><E?zkm)$Yd8)SUO@#;z~=Fhp;NO>^iv0Phb!VZva0#(-5$vzki<7#&oKJAq>5ys
zXUs&}HiLqrRvc10MFZY(rpRvAYEQp?_p-84!Rd`cz!^*51X+wY^>|G6g|r6{R)Vo@
z3S-jtH5s%|2$&`hSDHxG$s#W&>E6im0|w5inG0RXQeUPExTD0upQ4sbNO4-9i*-7@
zn{lHq6<512xA3L?1E81_VK7aDT%}mq+v()UoMuaj4F_i3SMh*>2mc0U02FOb$t5CW
zS{<F)sx(Rh5RtHW)o*1K(V;I=w)-64Ph?XJ9g|zuHqkaIzP!QM<O;I80+@j5k+&~W
zxswxO6(1du2zWud3}b1`VwJ}DD!#NSU!DFvCi(gg*~kxF=t?yN+k(%b(#7K;Gpr`%
zQL#L(p}h65lbBSCqGmh8B?kZDd_bFtk*mz=7Uy=Fi^t>@s-j0J=tG`@NsFSm5_o*F
z9QgUOwKf)xI$kx|wg{d_FjiT`ej%|1Z7c#+);ROC<_T6a>zHKuQxx+;0&<%<L=Q*I
z5}&&0*fH?HXze{cmm{T%HAt($61+)MQnXG9wv}0C=(AA=tEpKl*};~OZ|9F?vm?y{
z&YkljSJ>k%c&{z2FUl*O1Ertwt%??hn(iJ??P|{{)8$f!S{;s61eaP9qLKNy>-N#+
z&2+QDhZ>U{!j}t|+U4;+4OO`2Y=2wHk@Wr;=J;cdn4?p%2I-Drlx#z3r*e1Q7DIW;
zk^E}x2`!7Sog&NBjp|7alLyh#n~;i~uiN9pkv+;UtJiUN+H@UAH#NaHih=_dde_if
z49UV<``lM5hoaG3{4CKn2ZIF(Mu{*YGr=>ZxlwclXPVEbq<UF);<Ng^q@t(tW>-G8
z?4u6eQ}A*YJaD7}V6n>q)ZIgQe;E%xl?~k4ep1f!?-i}PlZj1PsH5*+#LvlXc*H;7
zM^fU*#_B@$Nrnzi=_G*Ot3UfQwmM&XRY*b>VGmr|$K!;-T|?;|Y>Ebzzt27?3OFfR
zWePaa<4z6*)r@<{r-&GkJyoC5W#);!b9#x(4FN6bj9*Cz@$4T{$3MSy9Y38~Wlu_7
zs{V9>dMI%^)O^o?nbMPHv&~eM6n4%c98%24aJ`2LfriH&;{#Fv6DCq&^R95)UYyuu
zt-E5G4YW)%VvP?YAN=XQuTp<g>2wnkYoT&jsqV6M{uoV6A~L)7nl=<UqQ5IgIBPe>
z0>WL8jW(2}jLp?;xT0T9o0|pSXF8_5bC6w-UeyDlW|ih;?m;tkUiDmaK-*AC&al#F
z#gL07T0uOG;wX7v*)N9UB+sBmKE@I4G~I7SxC3E{Kg(<%w)Z?q^CaFJk4VjSRykO;
zw#>Y-vE#FqZIB4@)_S{{po1dp4C*J*qL9tKY$aHNM`2(4DmnWqfgzQ1kLw1E|1AsE
z*9lc7J1%&bXDW4G0IGvFp45yaW=o(g^pcYl&k!hibo+}sYSp|nLM?a@E(G!Ilm)%6
zQ?uv5N62*$UK93D7B5Df!<(f-MM7-={8G!RD$(=Xb^W2o{dssbukU@94G>=6&hP^K
zA*@`|_;wv41r8wPfm(plh4hT6Dq`n$^*Z>a7>|eey03P7qNEqISC6pQbe&siWQ-t2
z>bHny8Mv7Tfj<`8fXf>J2kIok2BqA}{OTNlbBTZ_PP>u-U!=^ESy?EHN<49)$crog
zYp~ajzo{j!#b!n-vGNyNq0-|w`zN5)BQC_n2mwLai!5(aD1>!YOcltY1YdEY+Rb6Q
z3?U*PxEYCrpM4+T!G5nEzPQvZKOKEAecPd)gFC*|X!kO4oEsI@FgDe2=%BzQ`-JF_
zL4Tit10R(TM|QoM(+tul8euB&r3#fkUhkTRr>SNKl|FNQ5HS||Rr<A8Rgd)nKBX>p
z6f_*VS4tdM;MZz483}j<SPC6UDz?-s6+uim_ahfDVZgK5oIG|cJvcm%;^-bf;2dc7
zmzNbE2{zxW69FWI@L;LAjjwtkft<!-+##BI*piH=>B2LO`D%2b{=|^@UMNZ!-%e3*
zmn5bOk-1m^zps-~8v~^C40+*ybzKIELq?gl>55e8-!O!2jpFa`o(di!aseRpR|w<)
zcxWk+U@N^c5r#tr2k*^;ci}37&ToKk2qoB<rb=asFd+JxX<nC+5ze}T?q4Q^FNl#i
z=*8g;+*%o}_ba#RKWFN3bQtY3C4_U4O!BNWFd2F5&vFSoU;WqE{atjy1z<6RJ`g^F
zpnFgP#y$K2QWSP0GA6(1CFD6=W#{>g5_4fB2iH`&O%VZm<Ne@Q!3?F`oAbdfVw9G6
zxx(IDCxeU8rr?csq3RQ*h5za`qSv=FNZb$dS_=>w*`Vth0W_Ti43#DG^c#TrJqsXk
z`wp5!eoa%+8eLhB#|1+Gg*Y_&L4hukYjk!6{6(nV-ZDX_Lp0!q6v=lj?-+O5VRGj}
zK5SWtj=_XKbk7COj%$<`GfR@|U^6pT(jrN(Lo_t1FAxB9n1g_U9ebE-(C0tK1IJ(p
z$Kd4?FB}3Um5`a(O5SWFu@@*;!^VUR$K+)bA6jgrrO+;?5#RbyY&jxA2^1`8t4l-}
zSAk^~s<JBwT!rAD&4USy#H~t$iunthskM<X7_6Qe9)l$=;)oDX?oyFt#r9cU-(jpT
zNRrYa4S%CS%MYYpW*r<k9Ja`8Mp+VcG7T6eRr$9+pwZ|TumQgK*w8gga(!&zWKbYX
zs*+JW!SS3YWur8i#svMIArXo{M^Q@+Ez;;DtaYkfqlm!VZ!g*>a~{Gu$1H_B`#%0a
zSuzGQw-C5Y1HNd1WhYNLu7e~fjacAuVsI3m0x|!6jNem@)bo=F;zQgwNfI2ff#Yd`
zP&qP(a)4@P@36i2{-l6_s1)u96o{h6{rthQ#0jMc2Wsks4$v{V0>pUn!ZB}(y(+$V
z5HL5qpym+U@&QZ}c5>KyS(uy7P(ol8m(T~59EvnXQtVLuWeuka<M{=8ksOJ`4kS2&
zr8SJ^gy!?9h$Vjwq>leuOLek8e2uqeulTo8-ys(Ki4W3ztfXn{dx+4z?w&DMCk~AB
z&DYIX<bV#9eUC-E^%`Lnf;4XvaSxxx$3&k+KOy6J0ERPxAxej*o<()RT8N*u*t@2F
zbGLkAjxoQVQL{F~2F;OG1;<;lc}EJ(Yw(RWcq)B^-6R$EgvRUa6st7+B#O-mUcXoY
zO8^5A>Evj5XZ(e?JKZ9(MuoC&cg^TImxNJtg0dCyoKvzzbqpS13}zUpTx!?q<q(Q%
z#h!XP`F(EPUY16}k8Xi6n{l%?-3CpX^)H6z_~W*{(-3{OW@<e`^K4i1J>rJj1a-GD
zs?MbPxTb#CnYnm<wU}9Jh7<fndDFu*40aQdm_PA`>_ipIjeCfK!uN_095SgYGHJ=k
zCPzW)?D38FdBU(E0YzEgGgvlC+Pn(k2oM6OJJbwP3%y=fx-Hh9ip}TvA1&5P9dxiM
zj<YTAc>T0L(Emi``E9xvfDixx{>1&K(7``xDo0}{CvzLqf5qjmG&CLa#ZY{9bmQ-x
zDTxe7uqp@1nJ}f9<oP-~nP(+xW~H53^WUB}a!nZFjIe_jt(M+%fwp$oopL5z;Wm9V
zKemUU6ha`nDV4j$ilD=+_whShDWjvFkEG8uzhX5Ra)_{&u?<3b20s({r-u++2#O6=
z8X&WY=m`p2MF0dVL;T^@qc@n5_&Re`JbBwwAU3kqJt1gsBxp|ftF&VBPbHPU1Wxm{
z<WY(;wYK1igF0cO>RQr?1C7PoDQshRL`X$PD4IJagzC0_TqTK8&p(`3cYMBFTxmCQ
zBnR{GYNm#+ov1FWe=Aj2Aw+GfR3)+8e6W)kjNa!;5YUOqt?M3U@M#I9rJm1Qzlp}_
z0$um9(}KB2VP6;XtJ;*aCO7PHB2aHCEgg+FIW@kg@<7lay6j?dgx2dNbxV$6>(e_q
zMh(-QbAVeg$OJ<so!9YWcOiu@qCfJ<0*9f#{mI{vH6K85$F0QH51fi)5C9J%pwZGx
zC@Axa<&qYx{&vQ63YB}5paajwbqjk52Znd;C4PjV3{4{HAbSM9dZA1zN$p<g0q|Nn
zHUmX=g54D!z8@{|zj>Nscev7Ts;qS&vFS$iie1OgMCN6N%0A^}6z~%4J+zpoFNN&9
zMQ~1qm(d2P^|SZ-Lil<YvfCn_0~QX=+aMea1V}y447nA$>1|e%Iz_je(gkTr^Zb3@
z2U^RjUVq$ch|#Yg(=98jo|?$zP)S6JK|&OKr8u^hH(fmVK*iT!E~xze-Xor4IbY`&
zk}Ep_7)<}g)^`|#$QYRP`@P}wi*(qRq?7E_Ad^SL8Yy;G$uYjBqW<%VBh;E&PoBdM
za!L@-^7lF4ZkR<W0zo@8!LPbvfJYin$hK1ayzV>deR>?+;#aMp-)K9CApMczL1D4f
z*rC%>jvNDH?NTH7bYWoVp`jwlp?=i0ttHlD%4s054EkDshJ=MVx>G*Td7Ap!e(Atd
zgI6I;DDjfsIvvR}XHj>yi%9K2FbF`3)U2tz@0f6Otn+vS1b)6gPdy8X@mopv%#WDA
zp`rBcz;m^tae;$&QnSed>eC<=GJx3K8F(0A@bFJUKeG^lWx*RCq6ay|Amt>uK}Dm1
zBBja_pn=v88L&_Ap{U(83*h3qz)|(?J}Cq1^RX7a@5rCb)IYY?A3FQ8d0fAUT+4k$
z^A1F?V|Rf`ORA*JS?pj<Nw_BQI8~N=Cx3ZvDk!VQ`r_ObeL&6QuFor}u1IgL`rWCT
zvz$=~>Z+?(IUAA*YuQ%FsyxxBg<CF!qp95|GkD0c$ehf9ChjdLsSwh!=z@z-e$P<(
zvocbAJ9YYG!2<JSaT)k`WX1$WXfL@%G14h5+lt8F=xj}w@z9tihJaibO*LQ&HFrK^
z?-&_uCVu6<HGnIE9hlxoi!k`0Ngc({s|N0s7Hw%dRCa72akNX<>`faj03`N$sy7$D
zsw^!(^wMF$HdHlAHO#F@x!Ob}rLc6$H^pG6!yhNptE4anYGK_^{!nB5!N<a`d@6Lz
z?Q{2F_c7QgcWc*hQm+8xPdGp2-rYq`5X$yy5|jAz6;v!;8jKCTUkpuF>z>Iw?X9x_
z?1mVCr@7qWvXYtoS{oQt_gP7j?qYz4C)f7`hcN`#^!e}x+sfBUx;i!nL4E1P_M<ib
zy>La?I|t&7A3%b(`(QCDj_l@g3Yd+dIBnD_Os|PknY$O#9SnH?Em>8MbLWl*j`2N@
zAmCxq;JSv9No)WBB({<CTK1bVl-mtj%Kk}|Ao9TGI?HU&Z$f?-0(!~^Mg5CgGqNr^
zeWQg^$8LeBGHg)Wt)g-w8-GZAiyNYDN-*x8iy5AOLpug`+0RE#O6t7+V+)$Too-ve
zBenblvLQnIHeOBI&)QAEYuxH2$=8jyB=hN5;p<<a;rQQRZpEMg03W~q`}_XiRV~fb
zvoBx70095Ae=1Ov%$%(aZ1l~o9BG~Y8>F$bF%6fK5ru`q{3kIBD=sFa@b^CaxBWo;
z&Eo=O(W(D^0Q4m%r6dds4FQdai3tUX41<b{4u+0`4uwXJj`bT6n-1eQ6c!;hCNVQH
z3=jzl3<)MGBOCxH3NRfu3IQGg1vv;MAtnJc1Puo+8wmypG1+fQW=eW?W-4Mv8g>pw
z3N{utY#M$XdJzIzeo|I3axQrmZV_%CISLU7YDFk|NpLoGNKR82Dt=XV0ZA57H8yDj
zE_oA)Uw~@ZfCAJw!gRP=_&@?Q1ftBO!knz~T;#?$04{idHiUrY%y@33fFitt0@{!g
z0$eJ5)G8vZBIeM-_OL?U2nrrBayAtDQmiHlJc5FPVp58d@){~qBJ$Eo>he-5$|?e~
zdg3Z3Vp{g9n#L+Rb}|O8ng$l?#?GdyV#b;(4%%Y&y7Kxu1{V67t_IT1CK_J$x@M-P
zMwTuX_U<m0Mjj3pZf<TGHUZl9!Fo1+X0D+Y-tjJ8f%ZP}(thybp@=dG$f_Z5N|6Yf
zsYqHyD8_#ftdiNyijd5k(Co^PoZ3)rd(quTe|gVg*aW0_`iHuNr252Xxkcr9#}`LZ
z0Y=gTB~b!qFaQ<O02Q+UwQ>Lj3z8;EQg-kG*QhfFSZjnhX#3gdg}RsqdpX5>naBA$
zjB)}k@&FGD0<Q`KUrK`PI0)=I2>5&Xh5CD@1lXj7x(0O0=0&>~#e4hBp!+Rgg!IYA
zjLD@;%Y_672SufXC;Ul@3i*=|k(QPknpzT`RhN`i9G6p@otqPrR~enxlvYrlTGEnT
z-&&FyT9B1en;BM?pWd7o-By}XT3T9A*;rjyURK}MR9RSGQ{P@+*3#0FR@IkTH&om*
zT-r6)+%?cM*j?GT*fucMGP>F`yYn~f*Ex6CUzIjopEc4_Jlxed-&Ho#TRkz*w$xX(
zGSa*~+kG(GIWjUbG`ToAKRLFrx-c~|J2SgBKeoKGGP-&)xqZ91d9c2>HobQ-y?495
zf3|w^uzCA&ygG8Yxp=!hez`k+ez1PGH~nzBc5-rZbaj7ycYXfwdVh6%dvp8xc>ewU
zy&s_i2LM3WAuhzP<hFj51+As1x_qk1DZ|O&QL-E(b0T3{z96r8CABd#^28vx<U-}Y
zhf?5Ah6o2ag4DQPu3BY4cz?F)>4^$)HR{#pRoYVnxwm(;bPGWX2?Q0z<pomEhtNwP
zApXEMrry)>0!YncK{>4UF##v;GR^Lp^T6wQ)%3i6k~xHYTOcO;O6P^n1A`X=KM=Y%
zaI61mM^`D$+MxUxo!NDFEi4=3<@&TA5C!LC6%YO8YISFAzIfeD*>=nC#0DTWj1@VH
zYddfX@d!UMlIwkS91*@^d$@kQ-DF_0If@333<!n={&~vaD#{EKW_!OetQx%Yu&Qz5
zZ42`id1|N+%ppn5I!0kLP#az2TBIy$KX_EbFA*n)2R4_COkIQ>gOSS=_7f2)ivoj?
zsWm8$pg##z&+%uVDF*qS^@2U~I4~2z{-WI<^163I(RT?2Q$cqeQlvx*PblUl+8;%L
z3qhzfJh@5e7S*?1seCWQk`1I>9a(4+3u<o>2Z=_^>5lzEJ|4C9ebQpQ2OTGoifkHX
zylmlKKqWVs;>(r}%$A?u#D<fVDQ)`DPTKK|uU<h&%vSI8>vm1qM0VQeYBSPF{K|H3
zD<J$wgRolQ{?5wrEou^DP1ba#Qh-qIJL2Q%J^X1sbyxe0&Cx_H^n9x|@S^g7Q3vbZ
zk$0oP<))8rC=!}=Hvlml_<;I3l6NXc;VY@`k$41apKPC;!*MI#efkZn{IXYy!E~CD
zT+yU5W<{3mMpZd_{R`Et!e?)LIrWxcj+n#vQELijWw03LiSd_u6xSEyT!*HvlMHua
z79;UU>>s!C%^IstV~~Rj(i(p2VOz_Q3SG+#Ky4h_eofFss;zTSPrpBAHr_|0n=uxq
ze*l(r-Z7~@9Ta5GxY$~KGK-w99nSicLtPjX5r#obBxd@$EC-yIyj$_9Xd9zT^1K78
z&-+2zoj|3g=Cgdx+pV_ZU-}BOvqLSqRd{HLxg3YjJM&C4nd=g31V3Qh3iS1Xc^<B4
z{mo%D!l8$|=ie6|&=0B<b-z&bCxe596DxFQ?hUiA$bH2_J@4#x<fNcI@{AasF5*_K
zpb5V^NI_*qtLj2vr~tw|m>*FW9!GCgVs^QM==tfU80HL~V!igp*|s11A>e*m5E%t^
zsiCoM4U5x^X%BmPV|AyXCk0_&DDTBF(?Gdm%z?DKflwF)DSmZhhS94e@{8FJ9*0bF
zG9+el;pm_0MrXO>bmQW&A1%^>HTd0<&W)P|5xgMFjO%G0bn!XOuOIjIkB=P!#o&Ei
zGG92|ciA!}Ph5j>UY)xFEZl$%?>P`XEu82rg(E`(yc>&V@SQ<%!m0qYB!}>@YRti_
zbSzxEaOUDE1Go%_ADY{>;zzR>wFqtG5vzc=Udez@KeN}NY+!JfL$6qZo8m3Q(1b>s
z_yT!iyA1C+`Jq~$I_(;_`XS#;NOWY{bbJlRZ?<f;#$7P_{$D!%kBakZz#OfPe-VBW
z6#w8~;}wXMU3wd#hbF@9))ao7oqfO+OaeYW^rq3h!jWRuX)YzpDcjfQw}>p&09!7M
zebN{|4UD)wGypj50)oSVTz(Af&@0dHdFRA{5*dbP3T4CX$ZKG`v6m|-njYMnca86$
zORUVp;~d1E<$&(aJn|NT<44T^C-A6a*ZRVsBaxmS_}`^YU_l~iOA-)M09K{i<prX6
zfEwOG4F9}xqLqI|zI=J#@m}Kz$~>hKrqVR_42%XFNxD~8kd1pOjR$+RTwV^0@CiJ<
zJPv_>qs4W<Dt7Aal=yxa-SGz8;2H912jQ4Lst2EZjW4c%EpZ4kpC%`7pX~#NE+jq|
zk%EHg!7VB#@O+7$enBr0skY{9*BQYG9La7GjrBZn)9BHAaH|P0Z^i@N?)-H6<`Kdg
zO7Q+XBFh%auB}Xciaq}zZ6i{&lvKU$fuok!>Cr(?yFn0{&*8;qZ?&9G0Z0Ba{Ae+|
z+nY(4|LMCMPotn-QbhL^`vLjWGZ6Zd@@VccPkNR^O#H>Y+q*~KIE+rWelgA+WdAz#
zIP=Sp`QzCCQ5G$4a(_r%`~%GsoG4kNd)!dvlTX3p{rhp|r<FHc`&J#PdB0Bwkz&?E
zqV$>8<H4?Xucxc+wAWX&@f5ic9{{!<=sWNhE<|){$4B-ROGsH*c<8Igx7+vU8~B4e
z@p-Fz_h*wAjMP->>_q${A>o_*YzL2vc<awM>m7Pb+4cV5_YxL*)^GI_f++9E9U-vK
zL}6Q>cH23^Bxne}z-^}+r@QJ4mh4bE9{sIb;8FMWoS5OuoGa1en+B(wRoGLACnd{5
z(yss<8R~bcuLst<m;5hrKph5OZKj~le#LGuPIP{h9GYRSP+sWU^f$|B@#q(X;e0<{
zp9CkjxqUxi<iy)dAP3O+w}%8d_AA^4rJMsuicFrL&)d<kuiBRP;Q^IaLxgg3{%`)5
zj~CLPT+-~0KgB$}pR7-9x;(5;-QUHz42sz~_YEh-T%q6DzSklq<LD%A!^@a6crQvE
zET74CM1k|awh_w{-{55RE>~T+_6DTWK)iiE`%F5`9Q*IAA-DTxkIx6V{pzfz>w}6k
zdDh)OUvpS}U!Ny9O>KF7yr!3@I9WU(2ZR{4;Po!oo2m3&fTpJ;UfrH6gIt@jd09*^
zij6sAeG$)bD7&+t!{n$po*ep@Tj+<YQ%$e5+K*oEs_>{b+U?hTJ&Kqg4N^(zVyv~B
zEtj8NS*&?kJU>Jwb!F5d-i7;{r8!w>zG!PEqZUVx+HiYUIZUUEV^giA)Y={YDjO0D
z?M4u&l_Svkjjr3&r@P2rJ-4A||5fCOA7UZ4;`><r-Xq`#>vJPYmyL<7(YM17dVD*5
zQI7R?r}JTx`vt4{!*W$d&&|cg!q0t-9DNsS5QTqoWDx!M;s_)pr%QdiE9v=Wha7W<
z%Wv$RGh#{}q3Q>*o!3{=4O839CgioNR90Niw}Mo}kxTfNORbb$;*PtfRU-6;RGW{l
zyDHlPw5|5LgEhz-{NTvRo%!gDp4;ilJnCs=^oeHLt$R-+;CL$QEjO#@%+&bdFS|2v
zyzZ{Yp3X%~T*Pu?$($TU=xA7EB)LTFo%Gw2t5R(qoo2&@`kzM$%TwW?aUz$4f~-*x
zlF9A2xl8qo?LQ5OwC{8T`fK1i=UBLptZ_ot-AAtdtCKscS6~&NEqgWAnk=>$;u);A
zYn{%}8lT!Vp6W65tI_yP3PqhiFSV$?SUo%6!??8C&(FHI^EWT=%a6ZmruKM#rgBfw
z(Si&|)O;UT>0Kb-+g&+Q>@IN=o`Y5CDhcb4-az0VBh@)sXR-sWUoNFbcK$>&-*8U2
z5K}!Mg<Mi0WS{O&m{|L=?-3nF-Mrc%Gx)Arr#DzHglZyn-$wKh<RT6SwhT8%Pc%=<
ztkR#bS$=2lgr|dGJWolUOg>MiQLOEUFS9*Q6wS<hb7O|WXx`yq{X}UH>2q4Z+p^c~
znY-hjVM(^kyy-1Z!y`3MXEzx?gEz#LvprA8WI396n$zu{KSjN5B*)cypWMN_T(8%8
zpHyF6hOdQ(-soUrdQ3(%Xt=J_ZQ!KPKSrDLzhr&ReVF!i{wa?2c-y&$?&`jR?-H4>
zvHciUKkugB6^;LYd`LHHdY41tXJDrT(h+@xlTEkTaE9j*a6`Wytj7Jt{X?p6W`OA5
z%{p<&=770Ord8!5-~-&XSg%aTNN^_(fDpC8VR@Z!=wof~ixI;kqNOzAbA61yNC7$#
z^yoisW)r}pDW<7c(gk>UQCkSs82k42Sh+59(C)cr!wod$(*{jP_I;=L;hTU8tGbk0
z@V~dj6=E0=H%J{e<KmyxC^ji_wqD~6oCvOV8GKHX#9pE&r=;z#hiL;pXpGyhi(PBG
zfCr*=LpWJ6bXJyDyjPBhNFLA0qT+h-3)@eKnDr?_F5{sl-ftr2oDcRIj+~o(ks8{X
z+tLjb=`*Ok&!$Th8qO{?pWu+OLV1ku*jx}7)7Fe<o;URm*PO5Jmd#gew7(b0_5pbp
z#xu}mJ`y~F5C_V-$!L5DbskpGF&__9geDvr16M8%K)5s}2tGh1WI#*my;&2nqnO5L
z8LP*-*x~%r5&9^v+D?X8Y^dhAy&amu5{>uo982T0_^}s*LM*cpYR)ir9m~Pn=Jc(^
zGSV9{P8o^Wl+FoZkWc3I4ib^4%!L3oFcbRdml3!)B(j57Fka)21wC)6(}U99EUgqV
zMa}*e^G#-f`0qYq$K&BZ8VAMc2bXifEZvImZ$z%UH<w%~Qmom@93S0mFghVW_*(dW
zEna}Ocl%OmbqRbZoI!QzDx${37Wp#V23xXSF3hQd;jFt0%3|zDD|OOp4oOY9&$}7v
zd?a=uPo+nk2`5t5v`~#<q5FDtx{CvP?yu8_SOr^qEx38?VI*lAe~8EA*d&0a*-u5(
zCPchB+looc7C74uO{nY!a&n})H=A#!8Z+vRW!sw??=_LC5Q)20)Naj~H%3>$eI^XK
z;bdgJnbL3<WSyj6w(`kX0;G97Z|(b+P?8*X1|612GF9F0q#NIP1OXa<LZZ!vXnTOA
z{5sf`s&b@Xngw}B=vT{tuocq@BD#Tp?OQA+2YqlPRoAigDe%Xrc?fLsRF85*Kak_%
zs_;x7Vr#`B8P}zn7(ri|Fy+eN?6LdC*f8?YAHeGW6v6JfJf(0e@Y#HtM6K0e%jS7s
zN3tLMIIW%0x)%(1GLl(Cjk;Tst!tfvhf@!xBM}!&f{u&oLTu@*eh_~{*=Id96Fl+<
zg)n68hgfiAD4w&sBUVG_f`xp(uZ>f+t7HnYr@ISl{Zg&#IqyYJ{Y+cQAcZWc$t+Cw
zcs`Z-_B2bie3|_D)m`v@23rcL6Lx=*Aw{dZ7t#z_cYs+UkBym@6FQU1Lz&qFr5`1F
zVdO}3&#*!O)3aLg;p^aShWT`{a1hi(;}-er9tt*8=SY@Mlt&lcXb^qiYwNIcU&O<#
zcEz~2Yr}+zJ-24Zgh`+!ux%ciWPN=`tLY^GwF1>d0v^4#w4<gry&OxKVb%5m^aGXE
zP>9Ix(f|CyI4ZD<1oOQ*U<1P2rO%mZoesTPPdXS4D@0k#^#^r*h@!%NCCY3j3bCpK
zXqs|%3$}F!7giKJ5G5P>YF>{upUA|njb;S(83Nm|1#3N^E{VY_6u!Sl@D6S;H+G#W
z2i13yj-y-#(-#CiWP!ZIZd7EE99Fd*TRZxi#_mane${z+M4}XZGg?U6{K+3xUZJXy
z2n?Lywg!&5^lSu@2>B21ur99V*swxa{D{!J2kI{-qie$@%uCdAg!M&PzIx&YI47V;
z6$w5f?Dvy{puFK7kMM};kc5jUjqSqJR3%e?m3)s%jR8~Ezizn`%&}((_VSi@l5>rH
zYTvqLYb5-}og7{F2{o8yts`Z-w@LKgR)L9*XJ0Aw5AYokqboEndLY4}5uP~eMR48d
zJ2uS9gTs<UUU=c`>$-@7@RdNkP<LJ@M$kzxVM7Yxhw%BRmv5tWsN7<}O}_j@`~r*@
zaal}b?vwYvqku%jrjb=6Q_?LEIU<k~8i4wH2ammG_AGJ2$vRm%guYd2p4g#3E($MQ
z2sI4K6RNR(5mx(LUsBFF%7)2tCED=bn@@51?@H#GcBI!eQ*@i+@{H?pv1;hN4aYlj
zoJzS%k*dAZ(lEBjX|P-BBG{1fQsli8B>lsr4i$k4IT*87AA4G%b7XnTO#G037`R|M
zUy^7#DdjQu(U(e3J(yqcC_?_^FzpI+XOuNJNpMw-FKyBmi@QhRfqm;783?bUSm-p4
z#LaArZjE$E(>Hth3G&icW?1sHbDp<U0KY(-%mu^fAB5aI`(R<P;Mc{^AVkbclJ@?Z
z2>se1(u$jggSE@B6onbR)lWx=Xf>Q90&!|EGx#3-U}lPXt1iqj;R-pN!s>=0z@ETV
zoMQRn<*Ko8ZBaf?8wjLw6lD=~SoyC!c0^BqjN!1+@Z;c|i6L|q>>V-{;#uon*Ss~h
zHO5f3;@jsRQ5c9N1LR*Tya;&7$@NfIC9i#&M8n~klIyTC&*kwGS75arcMHX2?B*?4
z?yG(+cKgOQq-?V;jgeioATroIVAKOT^wWS8S9bJFyGz%5@2f{<+~uQVtr(4@ErET(
zw<J-Xtuf#?`^mgI4<k{N{yr1JTpb%e9}>g%FU`d_D&b$%=pG47o@jzOY@goi-YZML
zD)%l0!3*Yz&$L^Zo^*4aUD>z?wdqGApc;+;WL_RA66VDu{R%ssu0*g;55kVz2ofFL
z!yv76Xser)o7|Om2=VA*)KouAn8@Hfa)?|Wm6x!h4|H(14b=*G&eP2yU>+leYr+mE
zBT}Wv6Z#XWk}<<dJvLQrc|?&&L9{}Wsw+}K?p%v?W!PFMNp3qm%@$36jK%CeYONqj
z>~Lz<AXS<jzC{98NscMlDp(kjmiYeSAI8$rO3qEbI@kx)j(s-8Y<xGll;mOAGx^FH
zr#vF8yb@AF|D1<Lbh<n^TkOC9Bg;i!6F}vQQy2$Yy*>Y~772inT`<mu-xw})sGPb?
z-$S`&xEq8CE-yY5z93{)gKLODhcEIR>cS8|S~@;GO9SXFKMwi=y1)KqxGU){Hi3-D
z1X7}9nZe(nV7J|apfJg7R81MWL)9@EJdaFIklap^!GQ$nM0Q%_uiQTItCY=!DL<Z+
zut0;Pl+qeO9i*6THevO5N;njNF8*&LPnq*d3mf>}b>wyto+*RI``6KLGP3!wOtlFB
zRzulhIy84*!lK^4zB(|a<siCXqFOV-5kuLIUxB)^=&w5`p({vjsb-oEIhQw3oF54-
z6BTuB5yNo|BS=ccLh_+C)Px1GOYI+RQ7r-(As6F6jg34-=}t%-{21kRRi#j{lIsWK
zI^1~Gim<6x(KX}y1MDh_urC1bBE#J0wlL<kV^fa;znn077fk`VcrncB0-EAOXmIG-
zD`roaFg^a*(4qGh4W#O$YwOY)wnA-ju-d>1;;lN%fK}l-t-`9Bi<pWsr_VmW0(3-e
z&93mnr-Ce)zf;un>D;j%z7$m@^P+U@J$w(x$R`q<c^h@Kl-sANifDt7u<Tk&AB1VT
z?Vx)xEn-6cE%*K#jga!LLaUTkX4jUWjY<vk!BAiuqt-w@3u724>WAUj;3A1aV257|
z6~h*5Hnz?xo@V|FupVan8*wLE(O-@R18A~cEa^~4aZ+PUoOuF;0FTL}l40Fd?&YPy
zV2i1|YyTY?gb4S}jXr>SZ2;>N9K*3L7!69)?8+8r^&y6@&WR<)g5+?GA+{_SzLPO;
z<#%{Iuhl&lGoxW5>pqc22ey<<hi&xs`|q$4S2^$Yv)@i-lwET}SOf!8he~wkdvQzA
zy@yyM0e7Pds5x7=`n!mK1{A-mW0<>eq<2jmUw1m4J)s9UexgF@KsW&FUF!22`;#o1
zfJ2nZ8k^TN(etg~_3=CWGm#IG8cjgO<NnOA6k(KIn%w9av0!r_5k#>qfAU{}X`(0P
zODvHdS}-2rz*Jd0ePm-Qw#6=Q@Mm0@K(qj{)-|gy2)b89>fSCU#bu8NuU?p=D3_Jo
zW)Vn%)`vaC7WGp<^v+J1e*d*l5K%G-kBhsiM89!fCBk~sq#^Gb!;rutJA?G|tM+jF
zOG65tUe7Hrz;Lmx`Hp4v<6qjlek<YRIcFz?5V&-A1SulJU%BfQ1QCx@g}c((;j7E8
z!P4_QfxSi$1vwZEWo1!B4@n-^Fo&$~5=6ZrIY*|;6y%@h6Ki?hS#f*I92G4C44;wz
zso%JAf`pYBxh*1g*<Tg+gdAuXyYlDoI=-nJDIL2DL$0s|w4A<;vId1Y-sSXdF9($I
zgcQ`weF=J7Pz>jDAvL5ecnbE(XDtW!v*0eEeNLBij^LihT)mUzub%K@T0?-Z3hotK
zKPNwev{kpKzaoGkLH!W>6!F1`1iT_;u!uxOtI^Ahb#*V)%}#7L%+Q`aTF!zgBgvdw
zEn55qe@I^K30j~+Gjk6h9GW>k6E~4@RBCS7m(=%OT{@Dg%$owWvfF^g1H%$mNve>F
zDC5es{}IvN-Z#ZV8I0$0{(v-$fN=r|C7dEqzEH(~ESrL=Iaz}rmyMdz40HLUV(Ha2
zO;j~kMFvL6QpnV(XyA20M8vKtn(QX2xW+Y)si$xf5S8W2MawiKs0ny)lDvirs#A}3
z+ayZ22zMb7Hux<P4W*?Ow>KgTR!@WKK@Q=sGx#)EfRlw{KIqy*yg)8cUeA)^?FQZ!
zu(pk<=+1J+B^NsL`Sv$@m^~2p2cw$wISV6vQw0&T7#jOmQS>VOAiW#Ylur7<&|kgb
zv*(f32czyrFFy)t=5wF}ikM;}&+BA*3kM$a03Z_T=8KSp>_#*<GiLQ9PB|-hblzt0
z-79m)jXz~#^hqMmNGVfrd{fV3lL{TS(v)>4Crqf=VZ>P&+THkZG(&F;?1*)~owMzD
zs9RL37A-9Ea`~@>#sAJ<3>Wm<VYI)CP8q?Z-(>F2I@hhR-eCGRUJMt_#ACICUq6d&
zQzy?ad->UV0u3zsk`DX*xWYYvW1^4D9cMhuo=jEC$E=SQl*7zS(_nXMf=28CP{ClJ
zjN$q}KWmyf%ywL5Sf(|LusMKL?x1DyI|?|1i&#kG3JQ4YbjU4c4sUOw07DUx2A&cf
zvAJ!7iJ?`_O2)F>f!QqrCRE0TS<+4ykLn1BYYB$>n#0H86f#KZ%j6A8Wx}FLc9}%3
z$Qku$#Mov?q)^$yg%WYwiB~oj?3gPFX;&(wt-*K!lXE1u=@h;*3z$((7P^@^L#>G^
zloQ{PG;;bw99_hSjT%J96*6ClJE1B3o~X!R_!%2K71eKb8|{m^5^tuGSIA`J;*8b8
z{6mkfAhc)Uiy1PAKfeeo#+cFio*Zps>9gKGdE5*HL?Z$De2is7dVjS18M%i$R~2Xz
zQnE+>1)4%&@1RmMrHd*L(X5PbxnI}NZ2X-BJmYFn+I9}QbeE-|=`+kRgb@;X5Zr`{
z=^!uzAoMc2pTwx>0T+?XD0tR%kz6ybVWkCh>Ehd@N8636ZV!fHim^Q;kB*tm)yPj9
z?k@+<hydr!G|XnE1<7!qgryuqx16--EWtQq*QbN_Ys(8#zwrbt&<8zmZy%urg6MU0
z%$e?VA4hm7pBmVpMO>~cArIq~0#3hjkP$r4<>^i6bM#wY;@l+we<{=9xZ;-R$H>jg
z>Gu_=uQR^9K(~Vg<3Y-wzdzEGB*e5IyWr6?LJU}t%2}fWTNjz>w-#s;B}Hr3-lCWp
z3c=2yz&)c7K(<BEVY*{r$!!FY1(pZU;^*yWi|!}1>EI;ctZ0;~(b9?5GvJyZkOf+_
zVd#raM;y{urxDl;hdAg^_{^`RQIN`y983Uf3M5N<==os@HRmq;J=;M47HIdvH48e=
zMF}Dh*tXXM)WyJwr3Y(uNUju}DR6kR^Dm4rI$flUlPi+{?clajDQfMKEmzI;!p)58
zI8l=UpA&N!qRLocied97-+rgkAEU^>yX>sG!{A!$=s9Go)cXDpFM4?Y`;=DjMRSH_
z`_1SlKK=BNKFo!5hEvA>s^i?_ne6*Gj$~-bIg~7Cb3RK}j$>PMKEy4Dm>lAEJ5(dW
z+;hk=gwQRA5r#Y?hbBw&?53Uvu`q{{B&5<rIz8Ln;~wtz*+0MQ_4<83*YCQ1d;MP5
zc71+tt4{$pu5Fn4E<ANol7M^RaVfU7PEDj+KGtBDaWq(Njo(UA8;ZXS5wJIPAV6h(
zFJbbVz5RThb8EG#<)tMhJNA&v)$$A>@C>RYuZx~(?X%4utbV|GwIZm+V8^83z{Kng
zG2Y75$~>{z@@ZU%G&VJ45(A;u--fhFOiCq29WoTEP_6258-WZ{0|zkrvi{w2>V+5b
zYyhnXZ)OMa8y8xeT0#W)>mWk@fs5x*6mn38)@rlwsn>UYw{A&_)(+RCtZMfaTc;06
zxsr&2ZsKwS@PgS?Tqrqo_F6HjgOVRMDC&1B9SpaESltp{NUc-wZX8KRMOz#CV_#5D
z=V;a`*2y7BV!ATg&=UWMeTUyy0&3<EdzX2+=U?@6*XsM|XUREuohwPgWNUr6h&g}r
zL=iwpHKEw?A-~vf;bMgBU$GXxRTZCxF1()yC^vlUK(3cf9%vDYyP|M2f!25I{8d2f
z<elfAXe*}{^txIU#GW}Kz_*A}`=N_86|};Lhq2wW&klK+!M4#Uo?hIz+VIGlFWd_X
z8zf+;z4)~F49zu7rx0-{hepXcsEif|;<_&uJ0Lc@^4&Fr+HZTgN!9SZ`~IRC?6R;>
z;M0<T8&CK129;Fa;~6)zvd5j5%GB07GP5|HcwIYWeyt?xYq_pu3B8X5U4|P3y-IX3
zT<nA{6{jkmyAVe~)j;ct0L`8^hG&7TlyA4og8GE|_0|@b2{GrK_uX$ZPKlsMDZe7k
zi&!j;w5kJPNg>3@OtPpWZ!W4-WWouLUXiP*pzp044sdFpD0YA9;pRm2q83#r=?%G4
z7Bv66hx`^8l00QXIT}uv*1#Y5^|4c7sq3*kYrnBRIbw~_{Q|(F#TnH7@|%+<vue;c
zV&F#A-`1{E(fAJyPgcKLXGURja?RrpSIk#A>_4ay#Gn1ZFh1WcV(OlpdRZ<hfD8v0
zQIp})J*hcYY(CN?N%hD<uLiT=VaC&9sAjVN8K_0R#pfgBI|L~9_}Iqd@nmv;9!60q
z0(DZPcY3Ze@PxOi4tVsK-ZgKGR>L>Z`_oc?n(@rQGy9rnsTBDyLpI*;zb#sx-gs#=
zK%Qy;gV<(#adDj5F@eV0S#M^qehf9L_)_h1DYY?B7<ZHL8~8sa3detm$Hg_72H+&q
zWk!4Q#XB|Y+BKe|!qdhcL|9F)N|3-3f*%JAD6@gfK>h_P*Lug)qnwSVs348@sh4OC
zVMG?v#vkCIX;efAp0^WAMD}XOa}(0~U+GX{lg4TTh=Xy65R=i7DM;&yv(gU)W!#4h
zhm2M>$um8c0~7Z?p#iUgd+8#Z5zzH}wVoF6IA@28@LLs1Rwf{b^NjSFY%M8JOjtl<
zK((j5^0KWe2(gbh-tVq1;WllwYR0r+-_Urbjxct5WyMj&=L&eD0=Z1Jv1$d!w-LIs
z+bfj)OF%A4?jOLJYVq*j?tZP)9(jaSSrpJ8_Sv_z!mFWP?r-HgMZD|tj?df!>Pj9Q
z^mydY+x>9l5NNRz*Da^xT{p7_HHTlPM$H`};Vop&WRV#Ezc!YZDwe(hxV<zraS|Ip
z{{Ybt)b)8aGNQ5K;$3cyclGakM=(6}C!DUju~gbBHX@>qRGp^lZ7LZHlM9pz56OSm
z_$>F2MlQGHN|@}QQH67r*G|FWyY~dA;Yg*Wc?ayCgVkmNp)rJ~;U(Q_s69%Qsk<sp
zg>y7|SV->_z2(OP(Es12zON*;ug!aXT^kyRKIxOu8cQ+&a|F++*Q4f#24VqHM>aXf
zm4g$}KndC5FJj#-D3G!v%;=yppLA}$Pj3?xX8!2*wdZ5!5+yA)(c#r;RkkMng7x8Q
z_@gbW-NGW}*?cL2HrkQpNQsoDh*6T;5~wp6XPjI%G;8|#NMl=L9*y2C*IB)m!G{Se
zxQY?N3i8?Z>t_gkk8Xbg>venEOUhfqzR=O-egGmw`>0<<w~Max^Iow7o|bOP;kEs@
zFVL?XOn~wa315D#=PVg0t_-7c9&ldGoV@DWYTiMAe%3QxMug|OP{5e4@5v$ufs9y!
zYA^8q)X7uGmw&xe?wcC^4u~{c+Uo@_Y-Gf`IAB(`mW}2<N$k-pVvJr$D`zuxm@QQE
zZ-fnFUok!p8P*FDgsva^o!q8FaCcF*70-=HqH~M@1%!_X0v#egpH;Q>bjdxday%Zp
z4&k{oUKZ<C22xzQ<16!}%q0Q;RJ;otC)2%X*G6kJAex7Oa!Yw!j-|Xd2tA#pOoSW2
zoFVcsJe|}2v%z|T{CDbr_G^O@zJ_tJHzuV@Vas#eIwvY!o$H#+!UY81G*_3>`^LoQ
zGPD#!-A2Fi_ZinB(Dx?yp1RN|ke;<)<N$F6$r0*;EacelbkvBJWj>pHBOCJUL;VL)
zS>>`Uj)xD03y9W!U5Bk>JgzE<IYPaRd;azEO=+{*WsesQB}z$%(O>w^6meGZi~=r$
z-zte)h@3fGRp^IM4Z8HWaEZ&|Q)tt{6Ne+eWBNPg1Ep3IrZ9rEdVz<{-i`*dGuboW
zxR^2QqUmXSZ3Y}gjhh+M<Kz<MV2__-&JRmlFsj{EtR6q&eXL_=Mw2~mYUjCGRl8l%
zf8xTzPqBAlVwPCyVKjG-Wjl_Fy$>_8$kGO*x!Z?@r(*BI#6_{B!I**FE<15m?45RA
zSKv>aw&SbV`|KQ1`A>Xy;;h&^?Htj>Pn@>nt=Ri80aq*ubN%xk{R4OP!)%M#w4LR|
z+)2Qa9mDMJwS$4b+WHc2Rc>bnF<DP6WiisH3<}#{<fq+L+i?iY*eXjtj3g|JF0{LD
z`(6kpEP<si#<2ZZ=!D&c+e5ZHFYqH{I=63}*s5d~!eyP3D$72SyXCTVo3^hW%ypS1
ZJ{X%-+8(i&huKYt@j)>boj5r2=znN(*%$x-

literal 0
HcmV?d00001

diff --git a/Grepregexp/commandes.txt b/Grepregexp/commandes.txt
new file mode 100644
index 0000000..e537da0
--- /dev/null
+++ b/Grepregexp/commandes.txt
@@ -0,0 +1,18 @@
+ls answers.txt 
+cd ..
+ls
+cd Grepregexp/
+ls
+more answers.txt 
+tail answers.txt 
+wc -l answers.txt 
+grep [^star][^star][^star][^star][^star] answers.txt 
+grep [^star][^star][^star][^star][^star] answers.txt | wc -l
+grep [^star][^star][^star][^star][^stare] answers.txt | wc -l
+grep [^star][^star][^star][^star][^stare] answers.txt 
+grep [^star][^star][^star][^star][^stare] answers.txt | grep e
+grep [^star][^star][^star][^star][^stare] answers.txt | grep e | wc -l
+grep [^star][^star][^star][^star][^stare] answers.txt | grep e | more
+grep [^starpoxye][^starpoxy][^starpoxy][^starpoxy][^starepoxy] answers.txt | grep e | wc -l
+grep [^starpoxye][^starpoxy][^starpoxy][^starpoxy][^starepoxy] answers.txt | grep e 
+grep [^starpoxyefil][^starpoxyfil][^starpoxyfile][^starpoxyfil][^starepoxyfil] answers.txt | grep e | grep d
diff --git a/JFLAP/TMSommeBinaire2rubansSurTroisieme.jff b/JFLAP/TMSommeBinaire2rubansSurTroisieme.jff
new file mode 100644
index 0000000..5dd08e7
--- /dev/null
+++ b/JFLAP/TMSommeBinaire2rubansSurTroisieme.jff
@@ -0,0 +1,273 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
+	<type>turing</type>
+	<tapes>3</tapes>
+	<automaton>
+		<!--The list of states.-->
+		<state id="0" name="q0">
+			<x>358.0</x>
+			<y>213.0</y>
+			<initial/>
+		</state>
+		<state id="1" name="ret 0">
+			<x>642.0</x>
+			<y>206.0</y>
+		</state>
+		<state id="2" name="ret 1">
+			<x>972.0</x>
+			<y>206.0</y>
+		</state>
+		<state id="3" name="Halt">
+			<x>809.0</x>
+			<y>410.0</y>
+			<final/>
+		</state>
+		<!--The list of transitions.-->
+		<transition>
+			<from>1</from>
+			<to>3</to>
+			<read tape="1"/>
+			<write tape="1"/>
+			<move tape="1">R</move>
+			<read tape="2"/>
+			<write tape="2"/>
+			<move tape="2">R</move>
+			<read tape="3"/>
+			<write tape="3"/>
+			<move tape="3">R</move>
+		</transition>
+		<transition>
+			<from>1</from>
+			<to>2</to>
+			<read tape="1">1</read>
+			<write tape="1">1</write>
+			<move tape="1">L</move>
+			<read tape="2">1</read>
+			<write tape="2">1</write>
+			<move tape="2">L</move>
+			<read tape="3"/>
+			<write tape="3">0</write>
+			<move tape="3">L</move>
+		</transition>
+		<transition>
+			<from>0</from>
+			<to>0</to>
+			<read tape="1">1</read>
+			<write tape="1">1</write>
+			<move tape="1">R</move>
+			<read tape="2"/>
+			<write tape="2">0</write>
+			<move tape="2">R</move>
+			<read tape="3"/>
+			<write tape="3"/>
+			<move tape="3">R</move>
+		</transition>
+		<transition>
+			<from>1</from>
+			<to>1</to>
+			<read tape="1">0</read>
+			<write tape="1">0</write>
+			<move tape="1">L</move>
+			<read tape="2">0</read>
+			<write tape="2">0</write>
+			<move tape="2">L</move>
+			<read tape="3"/>
+			<write tape="3">0</write>
+			<move tape="3">L</move>
+		</transition>
+		<transition>
+			<from>0</from>
+			<to>0</to>
+			<read tape="1"/>
+			<write tape="1">0</write>
+			<move tape="1">R</move>
+			<read tape="2">0</read>
+			<write tape="2">0</write>
+			<move tape="2">R</move>
+			<read tape="3"/>
+			<write tape="3"/>
+			<move tape="3">R</move>
+		</transition>
+		<transition>
+			<from>0</from>
+			<to>0</to>
+			<read tape="1">0</read>
+			<write tape="1">0</write>
+			<move tape="1">R</move>
+			<read tape="2">0</read>
+			<write tape="2">0</write>
+			<move tape="2">R</move>
+			<read tape="3"/>
+			<write tape="3"/>
+			<move tape="3">R</move>
+		</transition>
+		<transition>
+			<from>0</from>
+			<to>0</to>
+			<read tape="1">0</read>
+			<write tape="1">0</write>
+			<move tape="1">R</move>
+			<read tape="2">1</read>
+			<write tape="2">1</write>
+			<move tape="2">R</move>
+			<read tape="3"/>
+			<write tape="3"/>
+			<move tape="3">R</move>
+		</transition>
+		<transition>
+			<from>0</from>
+			<to>0</to>
+			<read tape="1">1</read>
+			<write tape="1">1</write>
+			<move tape="1">R</move>
+			<read tape="2">0</read>
+			<write tape="2">0</write>
+			<move tape="2">R</move>
+			<read tape="3"/>
+			<write tape="3"/>
+			<move tape="3">R</move>
+		</transition>
+		<transition>
+			<from>0</from>
+			<to>0</to>
+			<read tape="1">1</read>
+			<write tape="1">1</write>
+			<move tape="1">R</move>
+			<read tape="2">1</read>
+			<write tape="2">1</write>
+			<move tape="2">R</move>
+			<read tape="3"/>
+			<write tape="3"/>
+			<move tape="3">R</move>
+		</transition>
+		<transition>
+			<from>0</from>
+			<to>0</to>
+			<read tape="1"/>
+			<write tape="1">0</write>
+			<move tape="1">R</move>
+			<read tape="2">1</read>
+			<write tape="2">1</write>
+			<move tape="2">R</move>
+			<read tape="3"/>
+			<write tape="3"/>
+			<move tape="3">R</move>
+		</transition>
+		<transition>
+			<from>0</from>
+			<to>1</to>
+			<read tape="1"/>
+			<write tape="1"/>
+			<move tape="1">L</move>
+			<read tape="2"/>
+			<write tape="2"/>
+			<move tape="2">L</move>
+			<read tape="3"/>
+			<write tape="3"/>
+			<move tape="3">L</move>
+		</transition>
+		<transition>
+			<from>2</from>
+			<to>3</to>
+			<read tape="1"/>
+			<write tape="1"/>
+			<move tape="1">R</move>
+			<read tape="2"/>
+			<write tape="2"/>
+			<move tape="2">R</move>
+			<read tape="3"/>
+			<write tape="3">1</write>
+			<move tape="3">S</move>
+		</transition>
+		<transition>
+			<from>1</from>
+			<to>1</to>
+			<read tape="1">1</read>
+			<write tape="1">1</write>
+			<move tape="1">L</move>
+			<read tape="2">0</read>
+			<write tape="2">0</write>
+			<move tape="2">L</move>
+			<read tape="3"/>
+			<write tape="3">1</write>
+			<move tape="3">L</move>
+		</transition>
+		<transition>
+			<from>1</from>
+			<to>1</to>
+			<read tape="1">0</read>
+			<write tape="1">0</write>
+			<move tape="1">L</move>
+			<read tape="2">1</read>
+			<write tape="2">1</write>
+			<move tape="2">L</move>
+			<read tape="3"/>
+			<write tape="3">1</write>
+			<move tape="3">L</move>
+		</transition>
+		<transition>
+			<from>2</from>
+			<to>2</to>
+			<read tape="1">1</read>
+			<write tape="1">1</write>
+			<move tape="1">L</move>
+			<read tape="2">1</read>
+			<write tape="2">1</write>
+			<move tape="2">L</move>
+			<read tape="3"/>
+			<write tape="3">1</write>
+			<move tape="3">L</move>
+		</transition>
+		<transition>
+			<from>0</from>
+			<to>0</to>
+			<read tape="1">0</read>
+			<write tape="1">0</write>
+			<move tape="1">R</move>
+			<read tape="2"/>
+			<write tape="2">0</write>
+			<move tape="2">R</move>
+			<read tape="3"/>
+			<write tape="3"/>
+			<move tape="3">R</move>
+		</transition>
+		<transition>
+			<from>2</from>
+			<to>2</to>
+			<read tape="1">0</read>
+			<write tape="1">0</write>
+			<move tape="1">L</move>
+			<read tape="2">1</read>
+			<write tape="2">1</write>
+			<move tape="2">L</move>
+			<read tape="3"/>
+			<write tape="3">0</write>
+			<move tape="3">L</move>
+		</transition>
+		<transition>
+			<from>2</from>
+			<to>2</to>
+			<read tape="1">1</read>
+			<write tape="1">1</write>
+			<move tape="1">L</move>
+			<read tape="2">0</read>
+			<write tape="2">0</write>
+			<move tape="2">L</move>
+			<read tape="3"/>
+			<write tape="3">0</write>
+			<move tape="3">L</move>
+		</transition>
+		<transition>
+			<from>2</from>
+			<to>1</to>
+			<read tape="1">0</read>
+			<write tape="1">0</write>
+			<move tape="1">L</move>
+			<read tape="2">0</read>
+			<write tape="2">0</write>
+			<move tape="2">L</move>
+			<read tape="3"/>
+			<write tape="3">1</write>
+			<move tape="3">L</move>
+		</transition>
+	</automaton>
+</structure>
\ No newline at end of file