From 13318119ae97c3b2a76b99fdf85ce82d908865de Mon Sep 17 00:00:00 2001
From: rabot <adri1.rabot@gmail.com>
Date: Wed, 7 Oct 2026 13:59:32 +0200
Subject: [PATCH] =?UTF-8?q?Optimise=20la=20fonction=20est=5Fmot=5Fvide=20e?=
 =?UTF-8?q?n=20rempla=C3=A7ant=20la=20recherche=20lin=C3=A9aire=20par=20un?=
 =?UTF-8?q?=20index=20de=20hachage,=20r=C3=A9duisant=20ainsi=20le=20temps?=
 =?UTF-8?q?=20de=20recherche=20et=20am=C3=A9liorant=20les=20performances?=
 =?UTF-8?q?=20globales.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 analyseur.c   |  54 ++++++++++++++++++++++++------
 notes.md      |  90 ++++++++++++++++++++++++++++++++++++++++++++++++++
 out/analyseur | Bin 26800 -> 26928 bytes
 3 files changed, 134 insertions(+), 10 deletions(-)

diff --git a/analyseur.c b/analyseur.c
index c4e1f23..9194077 100644
--- a/analyseur.c
+++ b/analyseur.c
@@ -110,6 +110,7 @@ static const char *MOTS_VIDES[] = {
     "ses", "leur", "leurs", "mon", "ma", "mes", "ne", "pas", "plus", "est"
 };
 #define NB_MOTS_VIDES ((int)(sizeof(MOTS_VIDES) / sizeof(MOTS_VIDES[0])))
+#define TAILLE_HACHAGE_VIDES (2 * NB_MOTS_VIDES + 1)
 
 static const char *SYLLABES[] = {
     "ba", "be", "bi", "bo", "ca", "co", "da", "de", "di", "fa", "fi", "ga",
@@ -227,15 +228,6 @@ typedef struct {
     int taille;
 } Entree;
 
-int est_mot_vide(const char *mot)
-{
-    for (int i = 0; i < NB_MOTS_VIDES; i++) {
-        if (egales(mot, MOTS_VIDES[i]))
-            return 1;
-    }
-    return 0;
-}
-
 unsigned int hacher_mot(const char *mot)
 {
     unsigned int h = 2166136261u;
@@ -246,6 +238,48 @@ unsigned int hacher_mot(const char *mot)
     return h;
 }
 
+/* Construire un index séparé sans modifier la liste utilisée par le générateur.
+ * L'index est initialement rempli de zéros ; chaque case contient indice + 1. */
+static int initialiser_mots_vides(int *index_mots_vides)
+{
+    int taille_max = 0;
+    for (int i = 0; i < NB_MOTS_VIDES; i++) {
+        int taille = 0;
+        while (MOTS_VIDES[i][taille] != '\0')
+            taille++;
+        if (taille > taille_max)
+            taille_max = taille;
+
+        int position = hacher_mot(MOTS_VIDES[i]) % TAILLE_HACHAGE_VIDES;
+        while (index_mots_vides[position] != 0 &&
+               !egales(MOTS_VIDES[index_mots_vides[position] - 1], MOTS_VIDES[i]))
+            position = (position + 1) % TAILLE_HACHAGE_VIDES;
+        /* Un doublon, comme "ou", réutilise la même case. */
+        index_mots_vides[position] = i + 1;
+    }
+    return taille_max;
+}
+
+int est_mot_vide(const char *mot, int taille)
+{
+    static int index_mots_vides[TAILLE_HACHAGE_VIDES];
+    static int taille_max = -1;
+    if (taille_max < 0)
+        taille_max = initialiser_mots_vides(index_mots_vides);
+
+    /* La taille provient du découpage : aucun nouveau parcours du mot. */
+    if (taille > taille_max)
+        return 0;
+
+    int position = hacher_mot(mot) % TAILLE_HACHAGE_VIDES;
+    while (index_mots_vides[position] != 0) {
+        if (egales(mot, MOTS_VIDES[index_mots_vides[position] - 1]))
+            return 1;
+        position = (position + 1) % TAILLE_HACHAGE_VIDES;
+    }
+    return 0;
+}
+
 /* L'index contient indice + 1 ; zéro désigne une case libre.
  * Renvoie l'indice du mot, ou -(case libre + 1) s'il est absent. */
 int chercher_mot(const Entree *table, const int *index_mots, const char *mot)
@@ -302,7 +336,7 @@ void compter_mots_ligne(Entree *table, int *nb_entrees, int *index_mots,
         mot[k] = '\0';
         if (k > 0) {
             (*nb_mots_total)++;
-            if (!est_mot_vide(mot))
+            if (!est_mot_vide(mot, k))
                 compter_mot(table, nb_entrees, index_mots, mot, k);
         }
     }
diff --git a/notes.md b/notes.md
index 3160449..45e24be 100644
--- a/notes.md
+++ b/notes.md
@@ -511,3 +511,93 @@ mkdir -p out/apres_bigrammes
 gcc -O0 -pg analyseur.c -o out/apres_bigrammes/analyseur
 (cd out/apres_bigrammes && ./analyseur && gprof -b ./analyseur gmon.out > ../profil_apres_bigrammes.txt)
 ```
+
+## Optimisation de `est_mot_vide`
+
+La recherche linéaire dans les 60 entrées de `MOTS_VIDES` est remplacée
+par un index de hachage de 121 cases, construit au premier appel seulement.
+Chaque case contient l'indice d'un mot + 1, ou zéro si elle est libre.
+Les collisions sont résolues en avançant à la case suivante, avec retour
+au début. Le doublon `ou` réutilise la même case : l'index contient donc
+59 mots distincts et reste rempli à moins de 50 %.
+
+L'initialisation calcule aussi la longueur maximale des mots vides,
+actuellement 5 caractères. `est_mot_vide` reçoit la longueur `k`, déjà
+connue lors du découpage, et rejette immédiatement les mots plus longs.
+Sur ce texte, 107 019 mots sont ainsi exclus avant même le hachage.
+Les autres recherches sont en O(1) en moyenne pour ces mots de longueur
+bornée, avec un pire cas linéaire en cas de nombreuses collisions.
+
+L'index est séparé de `MOTS_VIDES` : la liste originale, son ordre et son
+doublon sont conservés pour produire exactement le même texte.
+L'index et la longueur maximale occupent 488 octets sur cette machine,
+sans allocation dynamique supplémentaire.
+
+Profil enregistré dans [out/profil_apres_mots_vides.txt](out/profil_apres_mots_vides.txt).
+La comparaison porte sur la version précédente, décrite dans
+`out/profil_apres_bigrammes.txt`.
+
+| Mesure | Avant | Après |
+| --- | ---: | ---: |
+| Appels à `est_mot_vide` | 250 000 | 250 000 |
+| Appels à `egales` depuis `est_mot_vide` | 12 045 671 | 202 444 |
+| Appels à `egales` lors de l'initialisation de l'index | 0 | 28 |
+| Appels à `egales` dans tout le programme | 12 198 772 | 355 573 |
+| Temps réel médian sans profiling (`gcc -O0`, 10 exécutions par version) | 0,1007 s | 0,0543 s |
+
+La recherche des mots vides effectue environ 60 fois moins de comparaisons.
+Le temps total baisse de 46,1 %, soit une accélération d'environ 1,86.
+Les mesures ont été réalisées en alternant les deux versions sur la même
+machine :
+
+- Avant : 0,0998 / 0,0953 / 0,0997 / 0,1015 / 0,1170 / 0,1067 / 0,1102 /
+  0,0999 / 0,1018 / 0,0989 s.
+- Après : 0,0531 / 0,0535 / 0,0565 / 0,0542 / 0,0554 / 0,0544 / 0,0577 /
+  0,0579 / 0,0520 / 0,0522 s.
+
+Validation : compilation sans avertissement avec `-Wall -Wextra -Wpedantic`,
+rapport et sortie console identiques octet par octet sur les vingt
+exécutions, avec `-pg` et sous AddressSanitizer et UndefinedBehaviorSanitizer.
+L'empreinte reste **`1d53de903efd2b7c`**.
+Un test temporaire a comparé les réponses à une recherche linéaire pour
+les 60 entrées, leurs préfixes et suffixes, les 18 278 chaînes minuscules
+de 1 à 3 caractères, 50 000 mots pseudo-aléatoires et les 7 000 mots du
+vocabulaire. Un dictionnaire synthétique dans un processus séparé a
+également vérifié les collisions avec retour à la première case et
+l'adaptation automatique à des mots vides de plus de 5 caractères.
+
+Commandes pour reproduire ce profil :
+
+```bash
+mkdir -p out/apres_mots_vides
+gcc -O0 -pg analyseur.c -o out/apres_mots_vides/analyseur
+(cd out/apres_mots_vides && ./analyseur && gprof -b ./analyseur gmon.out > ../profil_apres_mots_vides.txt)
+```
+
+```bash
+[rabot@salle222-12 out]$ gcc -O0 ../analyseur.c -o analyseur
+[rabot@salle222-12 out]$ time ./analyseur 
+Lignes analysées      : 21746
+Mots au total         : 250000
+Mots distincts        : 5866
+Longueur moyenne      : 6.712 (écart-type 1.873)
+Bigramme le + courant : "me" (17607 fois, souvent suivi de 'n')
+
+Top 10 :
+   1. rane             287
+   2. fasi             241
+   3. tata             219
+   4. mopo             214
+   5. cofi             180
+   6. vesi             179
+   7. laganomo         177
+   8. boto             172
+   9. nopebo           169
+  10. rotion           165
+
+Empreinte du rapport  : 1d53de903efd2b7c
+
+real    0m0.078s
+user    0m0.059s
+sys     0m0.001s
+```
\ No newline at end of file
diff --git a/out/analyseur b/out/analyseur
index e030422cc0658c93fa1ad56c1b92578b2e07ae85..45fcfa2763e7136e4210cfd3b3c1eac4c73d6057 100755
GIT binary patch
delta 3725
zcmdmRk#WN%#t9ls1&I^2?r}YpV*rDva+8G^^*C>EfO!lzCVMhkFiK5sVr&zv@PLTH
z>B*8z>Vi9<qHub0Ad@;4wVh1%oL?XYFnpPOkx5+egFA!^rzihpnlIv+=J4ZYt*V@H
zwxN=nMscvqnLm-6*D%-1GSx_K)>WLvIayvivR=ZYv-ZVt*AE~Qj=O@*ed)%?z;N94
z2T15OOS9__#%|Xy9y2_8MUH}mJbGE(O&J(Gx<#0}U4MAY@L;^azm1{gK<U+P*B{od
zAL`h;U4L}Cen8hG1lGjD<k5Njg~tE?|2q$LUht^TJg`6PJfFwG7YdyhH4k2V$#~-6
z3%2YNm7NzfPjtHed9B^;`ltB-qet=ukIYNaw$>~j2VW^%{MC8z;7@tYQ=OrIx<mhD
zU#ir+(CPZ8+w~9FnXO=FcDugtV7$=H(0ZUG65TEBCQuL5L$vT9X*to&(ENfCWDpO`
zzmZ_&EQ}tV*FdiK`S$;R>jD0jr2qf_W3@B%OY<SdPJw3EFO1E#U#$82Hv9vr{BZJc
zs7L2hkLEWDpiu8DebQae`puYuq4hwes7Ehru{i?+$o!Ol|NnQg-Zf@m=w`ic%)nsj
z`lOC)2gp+|PceWT?)n0x?Ac#vAQB405>!X_vT~U-Fm$spHNRl22l*2ouf@h7(?ys(
zKw$^*YtmPcUrX3`FfuSOy!IzMHhNj7nSm{BJ;2|Z`~UxcuzyZYF3^@`V*5L}U%P@S
z=gVYHotql(L4n=Nn;^u%uuH)Y6e8z5I*)^uzi9sW|NnlFOJ3~!IGIb=p8fPEP{96}
ze9=s7@_rrG$=SL+j3*}l&}~(6_2_n;;nB_D(Hp=BW_Aj6ho151b-e)b*umeEXXz>E
zFaHZN-~=drb-ONrrDgtBmH+?$Pw?n={gL9K&7!Koz`#(#`oi`7<d=HBOy@psw$SHf
zVtV~%v$J6cBh%E^n`aswVq}~+ImX0{F>3N;levt0CL5Y&Fa}SaWopbQKlz;LIwpY^
zlk3bhM2>NQ!nif#|Ns9UogkmRIQeSwF0*W=SdPi+=CVv2&nLT?%Q4Bmnw(~C#5CpE
z<XPqoOs6;|%UDP-ZQz(}W}(j1&oMdP!bETPOOO$+D?GYgSL~Z`ff<~3zP$nqZt&<0
zZSd%J-2hFpH{MP@XrWav{Qm#{X4f9ZZr27&*PfcI`x#7m7+!Qg1?xGmkA;DOVZY-X
z28I_A5TO$u&9w&@O4vP`YfmtgI(c-n&evdI@aVOTU;{<W!CiU`3=I3g5z+?I(d~Kw
zlrmR6`TyUe+w}y9J?{xD%0iw_&a(87;`{<~!vu&MCe$2)DKvUA`HW?sNFpo90@fH1
z1&Jw#CzJE6Wa=+H1{(@a`fZOvvDV<xE2_!Lz|eWjqw_i>f%HNYE%4|S)d8D;kSYS}
zY4PY4)koD6`S}0;Py7O|H$1vsFL?Bd8nQAlr15K<Nb}&&I{-47iGhLP1(WgP$=uem
z3MQ-!433>2I*&mtWCdB+%Nh^1?D&ggk0yIqhw*blxDX{1A5C6st)}&o1r%hU0t6x)
z`3UTv2cSUWg|NYa$M|USUu!kBn-4+3Gy@V$Git7Sbi3{VDLwcQtZf5`z4hT_Pa8F+
z-iMP5ZN#NZ9zt`KM|UVF*@~z_lWq6I&5Lbx88<oTFxP`hcv%Jph97tS|JPt-V0dx&
z|9=5S28M_C{{IhPWMGiK|NnmhBLhR#{r~?bFfuR*Jox{A10w@N?}PvUFEBDNa6bJ1
z{{tffgU-YM{{@&B7@{8j|8Ky=z_9Ak|NkLO3=E5({{LUX#K6Gy{Qv(MObiUOp8x;9
zhlzpV<MaRj?=UgsF{Hly|NjpY14GHH|Nmu}85nY3|Nn2p%)oH`&Hw)~%nS@)-~Rt!
z!_2_o^X~uuIm`?U!5{wrKfuhuu=3;o|4*117z984|Ifn0z%cjI|Nkm13=E!M|NnPk
zVPIJH?f?H276t}^@Bja|urM$*fB*k~$z(wnb;%2N{{L44m7Xr_0w79-fq}t<fq~(~
z<Ukj7#?Hx=F7k|vC(m?|XM8kyr;9ve#N?YU@{C(2|8$XO6r3#SD$gh~+0s>>QE76d
zt1_eC<XTsGM)k>aU6mQLCLeTFuD|x=|Nn51!H#?aZA{L*Y)nBs>>LaXGN5F`$iTo0
z3KCErfyp!HGlCR=<T;oa7!sfT|Id#i&jpv)U}9hhc>e$YPZaaNfV6|n_h4d3X3%``
z|9=#U0ikdMGME?`l3)J+uZJS93779+VqhqIh1~-R3=9k_m>3vVyqdhsO^)ph69Yr{
zo5`o#<k&tiF)-|XJNccP6q^7u0|V>3$$aioYzE8>42AC|>$yv@1u!!({QWT5&s~bG
zfSG~8>eJ*rcPX|B%nS@IpC<RYOR;TWW?;DfY4SREGbNE5|G@whIa~}33^4u!1_lOE
z1_p*FH#W0*EM}d2(bt^mhTUc^zdj}wkcQ230`@R7?${g|V$4|2#K6NKsSOGx28I%l
zUl|w}UNSH+FfvFo%t(NUgNip0>l;{Hia{X-#A9H10#(n+2vRS_ppXU;UmygL5MyLu
zU}5<9A0mn%6~O8R7~Z%uOg<c{DhUc>Mg}p42eAk>AeQ-L#xQY7FR*F}h8OW5F$7MS
zY#1iaSO_9z`xqG*gcx`jEKMQuJrIgv5hDYG!em8eVa6$wCx(ejf{I*_x<yJ51=AoD
zL)zqnVd9=gp{A4=LWJ2t1sDSZ!zHMAuMR{Uoah)B7<Mv1Y~_TSW(ARExIbAjTwL-Q
zs1#t3WMF`X7F3eq?c~64amK$OcN>CA0+4%}KzWOSfdN#KfYhllF)#=*@iN@71Mv`8
z3*=75tzgo1^22a(#sDxo6+}vwgLE<QFl<$Z=%|5E4D}#c&q+)S3<3<23=Pm&g-SBa
zhw74r`Wl=i85kJWLd7kh-YSM_*a9+*^#l_vWUo)Y7$I)>go%Mckb#eZ!2zNSmS#Rf
zO_`$$5eH{T5OeauNO419W{{ht7!FiGQVd7}ge90EAzN(>;xRCUL8WI*PK*@yRD;T1
zQiaI=gvOHzRQxD36|8}ZyF<k<f=Vw228IlXHiih08$5HMZa|Nx3aGAgmJsDx5Q?D*
zD!v*TE;>-Jwog`!688jURZxsh1=a8j3=H7%g@J(qR3wAM4{1S+fravNsA=!@A>yFC
z0AlR|xlQs6RMrrhKA;iHaC7p;C~?MDAT^A?L8L4n3j>276J~0YVu8k!qzMZoObabQ
z<})zFLc`R3vSYNkWD-c0iHm^&RCqxYfXR%>h0!m~GV?M^G81z$i&Kl@bMs4z<I6Hr
zQi~Z%5;JphQsZ+IEA)&QGV@YWE0ARM3^zx{TxZ#=pZJi8>A37<p%gtXSbDx;H`yzt
zjq%Imiz)ho3NB!q7+~~;$%3i+oQO`DXR0|TqRZErYR(Jq>Vdj`lLc9YH$O<-$jBoC
u^%2N8km%$M=?T0W*g;$d22kZKIaxMCoAW|6M5KChV1_x9cf#bZ3^f3H)^jZY

delta 3022
zcmdmRiE+b4#t9ls9}*^N-Q(IS!vF?bWhM(T>Tz!10P`3&O!j27V3e5L#MmYn-~kbX
z(~~8c)CDI%Md9@1Kqhr8YCD<iIp07GV0bh6B9pk_33mt=PEY>HG+%^Q-^8{&X5aPa
z7D<+dzWJP6c{WvSUc+23%j6@zSyyouXJGRi36IX&7sp-yfb_pM>vsL)F~g%*<S2;i
z(aXBkl!3vcTZGA@+x3M<=QWSc<1dzc|Np=BKneQ}Mg|6k*Zj?{e;Au<|5(=@*#Xis
z`G8i!<i)z8Or8HH@6xScn*MFFiQY{ODRTw}k6zwx5e9}`3VsX>9-ZerI*)^Oyjb`7
z|Ns3U!(Kf3JlRy=p5@z@|Nkdn)RUV$O}~fn@ML9!R#^v+Zr2$e-3%VR0gPZ~r+`PV
z>jjW|)c#C9WuTzH=I{Ui-L5A*k}r64yDsoxyuiPWq2&O7tLFdz|0j5KyZ%V=&}LE9
zU|?V<VSQ2hak8YLFVnxzn==eKnV6*CZ!R_tVPrb`cJoP-LyU|EC-<0{F?LNpY&Mti
z&E!P$494ckr_7BR{U`r3U&rL|YVtY@4UunLprC2Z`2YVu#5XT~zM1^WBAcm~YjU`y
zER)5{$z_&uOula>PqQ>)I`U%jDa!_?UtE)YtR$Eoa7|9LQfJ!FHM!r)MDO)$kP)sc
zJi1+1?3-|bnE~vrw_w2y9=)Lr9^I}RprOz4Ve&^St$OE=|Nl3;_Aqw4Hdwm$)Lh-q
zV9LYrV)t{fo&)<>7#JA#JI-NXc+mk7I^oe=dw`*Y-J`ko1VgElM>p$vEl`Zuc5r|q
z<KQkm1_p+G;7Hg8($VdD0OW{U&;I}S0EKGj@fYWw!J?_<`Q%yF9#VW?KyH`-al?d~
zLokI&&nEw|?h~2F4zhr?2Sh<qPQkOu^K4}5nIML~09ml@DJa$&JbFbV*%=r*k9l-n
zha`%<Pr)`X@aPqd0h@r3S_Ib9;?XM_kE*Bh>Hq(q_yt^Vcyzm7@aPpyWM^PV<JUNm
z=E0wL0Aw-~0|UbgrsSuSt!-r$QrH<796LXB9)nnD3bL@5wI6KR@fY8oOs=pE<F|xx
zAxaKDnS9q)O-m9i2FeQ%;m#*ur#=Ar#}>i{2cF@R$+~uGYMf6%!88LBOfzb(dUU()
z04e?W7_4mri2d~O<Vrg=roE3RFSHYvUh??=f3VRW-JzglE20Wbw!0s1zHFz<xOsuF
z0n;W29p-vaApk0De%$&0UxAT<;l<tm|2Y^L7#`mH|KEd=fkFEI|Nj|`3=CEG|Nrk`
zWMB|@@c;h`Mh1r72mk+{U}Rw6eE9$W3q}S8ornMbb1*S5L_PffUxSH(Vb!Dm|9zMk
z7#2VM|38O`fr0D!|Nj%17#L<f|Nnmr69dDi=l}m-VPZ&Q@O<(A{}(0(2B(+*|BEm)
zFwA-N|Gx<{1H;kR|Nn<DGcd@!`TxI!nSnw1-T(hHm>C!<-~a!=hna!l;rsvp?=Ukk
z<bL@7{|_?*gXHJ`|7BPh7|Oo<|8K*>!0_P9|Nk*83=F|v|NpO<Ea{@ocw@4oi#X$j
z$&oJVj1wm}y2vxGp1jaSp7GV>gD&!n36meX$TRMp%;+l5C^=ctRi061vZJd!qt@g^
zS7pYq$*r#PjQW$8x+*gkO+M+WtaR_m|Njx7^2(7<ppD6ymyIcyhn<6g0Th^^01<mS
z`JJm28z@YCpHB93lVSq}i`uivd2Ui_9!v}j3D5uk*97Gkm;uZxj35(024pZXFl4@%
zyv|LEt%HeyVZn>Z=iKD#*Dx_KG{5@)KMYxyYcn&m4_G7E>I+N^3|n9S|DS>4v}BOM
zVEGSB3=Dr?|Nq~EBHs>|7hq;!$b9qvKgccyxXYF^@vw8$gAFiXW?=aG?*IQ-WJfSZ
zfL#D`dH^#6gVBfo|FcjmNQGNaz|6o<^Wp#hVifs2xcmfW28Qz={{Pnjl|XO@sI%~}
zPk!aDq-1mBKNtuwFfed2FfhRQ4;UC2L>U+ucy4ai^H|I}d4aIT<cq%MOe<_QbNTf#
zfed5VJSSieGvkEKks-#6ri=_y3<@bAM=&rf5CVCIf#E&_0|N`g$Nvyf1o@JIfq{`h
zfZ@nw&M<YZ?_i!7!-Lq#f=MF6{0th-2&EvF@Z`iWaYoI_6T`$Atw5w?I3ojt5Cabb
zr!h#LfdL%)3=9m}lMjZ8OU5!WFeorcGBhMWWMO3c<d0$EjQW!WBgD1(peDHJLuA=O
zB@qJy!)&PdAuWh_1jA&na5+g(76n=8tOOB`hfoabCpU(ROKyW|It?ln7#JARA>L;=
z26C+7O{i>>3Pe)?RQ4@MoQaoVg$+a;Mt%nAVypu>Q<9Gf;?WSOUQnd~QYQ(LWz++c
z4wDNb#2G!n?C8l0Bg73s$sOd{w@~HbAT10G3}sN$I4mFn;55U)z)%a;J8?2&q`2e)
zCI$vUCP{`4w7^?C*)UREau3vmLT!i%KOq#uNstNkcbFI$1Q?_k4wON?2$g*Z)#Ysn
z5ddd61_p*isJMV4L|hF*F}#P0Us8n#{Del%U#R$0XtaYf6$1kUD3b{>@CY$1G=gXV
z=T-&=2F1yVk>ZS|lNF=H>m8XPK{?MHq6VCy7#JA5q2krhKmlhI1_lOD#sdYSg)&5a
zEreo-gsRWdfe1uF{hA6Dmx2ZjEYLw26zsSox)2TELW+Tbp&9JBsgoZ@iAyemYBqu<
zy9p4b44c7fj(|wn>&%dtVSwf`s1k<9%nS?)lNFhTW&c7=aWsR-fy)$7_^>cAD1lTk
zYENDmEzW2-d1v&?%{ODNv25Ou_<)INy7c5pDSBM6gt)?H@~M<I#y67#Q}qQUTp(t_
z=na!6rs{JdTD2!r%{dWmX3jKoUU*v>)OMaM$SS-!A#Ecg5421Gn+6h{Y><(_o52p|
gGsrS9Fo;c_o1x9w5e*S>nS3$Boas#bWUfp#0DCB76aWAK