From 3b46f2d882304ca707bcde9769fefa8d4965d759 Mon Sep 17 00:00:00 2001 From: troufflard <> Date: Fri, 1 Jul 2016 13:49:33 +0000 Subject: [PATCH] petite modif du script Perl/test.pl (simple affichage du repertoire de travail dans le terminal) --- Doc/doc_procedure_verification.tex | 9 +- Perl/test.pl | 1 + Rapport/rapport_test_R.txt | 266 +++++++++-------------------- doc_procedure_verification.pdf | Bin 245113 -> 245258 bytes 4 files changed, 91 insertions(+), 185 deletions(-) diff --git a/Doc/doc_procedure_verification.tex b/Doc/doc_procedure_verification.tex index 9b13ff4..5719d30 100644 --- a/Doc/doc_procedure_verification.tex +++ b/Doc/doc_procedure_verification.tex @@ -950,7 +950,7 @@ Erreur (prog:genere_catalogue_tests.pl) : erreur a l execution de pdflatex %% \clearpage %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -\section{FAQ} +\section{FAQ} \label{section_FAQ} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \subsection{Les tests ne se lancent pas correctement (problème d'exécution)} @@ -1076,6 +1076,13 @@ pour ces 2 scripts, une gestion des signaux d'interruption \verb|INT| et \verb|T \begin{itemize} \item[-] modif du script \verb|Perl/test.pl| : ajout de la possibilité de faire des traitements avant et après calcul via un script \verb|.pretrait| et \verb|.posttrait| (voir section \ref{section_fichiers_facultatifs}) \end{itemize}%tiret +~\\ + +\item[$\bullet$] 2016-07-01 (Julien Troufflard) : +\begin{itemize} +\item[-] ajout d'une section FAQ dans cette doc (section \ref{section_FAQ}) +\item[-] modif du script \verb|Perl/test.pl| : affichage du répertoire de travail dans le terminal (répertoire \verb|$repertoire_de_travail|) +\end{itemize}%tiret %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %template d ajout d une nouvelle mise à jour (composé d'une puce "bullet" avec Date et auteur de la modif, suivie d une série de puce "-" diff --git a/Perl/test.pl b/Perl/test.pl index 6d3c800..6152955 100755 --- a/Perl/test.pl +++ b/Perl/test.pl @@ -375,6 +375,7 @@ foreach my $fic (@fichiers) { else {system("cp $fic $repertoire_de_travail/.");} } #deplacement dans le repertoire de travail +print " Deplacement dans le repertoire temporaire de travail : $repertoire_de_travail\n"; chdir $repertoire_de_travail; ################################################ diff --git a/Rapport/rapport_test_R.txt b/Rapport/rapport_test_R.txt index b70e4d5..c178a1a 100644 --- a/Rapport/rapport_test_R.txt +++ b/Rapport/rapport_test_R.txt @@ -1,10 +1,10 @@ --------------------------------------- - RAPPORT DE TEST - --------------------------------------- -- version HZ++ : HZppfast 6.752 +- version HZ++ : HZppfast 6.762 -- date : 09/06/2016 -- heure : 13:49 (heure locale) +- date : 01/07/2016 +- heure : 15:44 (heure locale) - machine : hdom-1057.univ-ubs.fr --------------------------------------- @@ -12,9 +12,9 @@ ./Batterie/FONCTION_UNIQUE/CONDITIONS_LIMITES/Test_R_cisaillement_CLL_periodique/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:01.313 (processeur : 98.5%) + | temps cpu : 00:00:01.366 (processeur : 98.5%) | temps systeme : 00:00:00.031 (processeur : 98.5%) - | temps reel : 00:00:01.36 + | temps reel : 00:00:01.41 ------------------------------------------------------- -> pour toutes les grandeurs testees : OK @@ -23,9 +23,9 @@ ./Batterie/FONCTION_UNIQUE/CONTACT/Test_R_contact_axi_non_dynamique/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:03.771 (processeur : 97.6%) - | temps systeme : 00:00:00.056 (processeur : 97.6%) - | temps reel : 00:00:03.91 + | temps cpu : 00:00:04.000 (processeur : 99.5%) + | temps systeme : 00:00:00.044 (processeur : 99.5%) + | temps reel : 00:00:04.06 ------------------------------------------------------- -> pour toutes les grandeurs testees : OK @@ -34,9 +34,9 @@ ./Batterie/FONCTION_UNIQUE/CONTACT/Test_R_contact_basique_axi_deformable_solide/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:00.114 (processeur : 80.0%) - | temps systeme : 00:00:00.019 (processeur : 80.0%) - | temps reel : 00:00:00.15 + | temps cpu : 00:00:00.120 (processeur : 100.0%) + | temps systeme : 00:00:00.012 (processeur : 100.0%) + | temps reel : 00:00:00.13 ------------------------------------------------------- -> pour toutes les grandeurs testees : OK @@ -45,9 +45,9 @@ ./Batterie/FONCTION_UNIQUE/LOI_DE_COMPORTEMENT/CP_venant_du_3D/Test_R_quadrangle_isohyper3dorgeas1_CP_traction/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:00.099 (processeur : 81.8%) - | temps systeme : 00:00:00.008 (processeur : 81.8%) - | temps reel : 00:00:00.11 + | temps cpu : 00:00:00.096 (processeur : 90.0%) + | temps systeme : 00:00:00.008 (processeur : 90.0%) + | temps reel : 00:00:00.10 ------------------------------------------------------- -> pour toutes les grandeurs testees : OK @@ -56,8 +56,8 @@ ./Batterie/FONCTION_UNIQUE/LOI_DE_COMPORTEMENT/HYPO_ELAS/Test_R_HYPO_ELAS2D_C_traction/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:00.046 (processeur : 80.0%) - | temps systeme : 00:00:00.009 (processeur : 80.0%) + | temps cpu : 00:00:00.048 (processeur : 80.0%) + | temps systeme : 00:00:00.008 (processeur : 80.0%) | temps reel : 00:00:00.05 ------------------------------------------------------- @@ -67,9 +67,9 @@ ./Batterie/FONCTION_UNIQUE/LOI_DE_COMPORTEMENT/HYPO_ELAS/Test_R_HYPO_ELAS3D_LOI_CONTRAINTES_PLANES_traction/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:00.045 (processeur : 80.0%) - | temps systeme : 00:00:00.009 (processeur : 80.0%) - | temps reel : 00:00:00.05 + | temps cpu : 00:00:00.049 (processeur : 83.3%) + | temps systeme : 00:00:00.010 (processeur : 83.3%) + | temps reel : 00:00:00.06 ------------------------------------------------------- -> grandeur testee : colonne [1] @@ -158,120 +158,7 @@ ./Batterie/FONCTION_UNIQUE/LOI_DE_COMPORTEMENT/HYPO_ELAS/Test_R_HYPO_ELAS3D_traction/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:00.083 (processeur : 88.8%) - | temps systeme : 00:00:00.008 (processeur : 88.8%) - | temps reel : 00:00:00.09 - ------------------------------------------------------- - - -> pour toutes les grandeurs testees : OK - - - -./Batterie/FONCTION_UNIQUE/LOI_DE_COMPORTEMENT/HYPO_ELAS.save/Test_R_HYPO_ELAS2D_C_traction/.CVisu1 - ------------------------------------------------------- - | temps cpu : 00:00:00.046 (processeur : 80.0%) - | temps systeme : 00:00:00.007 (processeur : 80.0%) - | temps reel : 00:00:00.05 - ------------------------------------------------------- - - -> pour toutes les grandeurs testees : OK - - - -./Batterie/FONCTION_UNIQUE/LOI_DE_COMPORTEMENT/HYPO_ELAS.save/Test_R_HYPO_ELAS3D_LOI_CONTRAINTES_PLANES_traction/.CVisu1 - ------------------------------------------------------- - | temps cpu : 00:00:00.045 (processeur : 80.0%) - | temps systeme : 00:00:00.008 (processeur : 80.0%) - | temps reel : 00:00:00.05 - ------------------------------------------------------- - - -> grandeur testee : colonne [1] - - comparaison absolue (precision : 1.e-6) -> OK - - comparaison relative (precision : 1.e-1%) -> OK - - -> grandeur testee : colonne [2] - - comparaison absolue (precision : 1.e-6) -> OK - - comparaison relative (precision : 1.e-1%) -> OK - - -> grandeur testee : colonne [3] - - comparaison absolue (precision : 1.e-6) -> ECHEC - -> Valeur = 0.209389925299 - -> Valeur reference = 0.209464061697 - -> Difference = -0.000074 - - comparaison relative (precision : 1.e-1%) -> OK - - -> grandeur testee : colonne [4] - - comparaison absolue (precision : 1.e-6) -> OK - - comparaison relative (precision : 1.e-1%) -> OK - - -> grandeur testee : colonne [5] - - comparaison absolue (precision : 1.e-6) -> OK - - comparaison relative (precision : 1.e-1%) -> OK - - -> grandeur testee : colonne [6] - - comparaison absolue (precision : 1.e-6) -> ECHEC - -> Valeur = -0.009283542869 - -> Valeur reference = -0.008923101412 - -> Difference = -0.000360 - - comparaison relative (precision : 1.e-1%) -> ECHEC - -> Valeur = -0.009283542869 - -> Valeur reference = -0.008923101412 - -> Difference relative = 4.0% - - -> grandeur testee : colonne [7] - - comparaison absolue (precision : 1.e-6) -> ECHEC - -> Valeur = 20.194774357560 - -> Valeur reference = 294.703524316300 - -> Difference = -274.508750 - - comparaison relative (precision : 1.e-1%) -> ECHEC - -> Valeur = 20.194774357560 - -> Valeur reference = 294.703524316300 - -> Difference relative = -93.1% - - -> grandeur testee : colonne [8] - - comparaison absolue (precision : 1.e-6) -> OK - - comparaison relative (precision : 1.e-1%) -> OK - - -> grandeur testee : colonne [9] - - comparaison absolue (precision : 1.e-6) -> ECHEC - -> Valeur = -0.009198410856 - -> Valeur reference = -0.008844414470 - -> Difference = -0.000354 - - comparaison relative (precision : 1.e-1%) -> ECHEC - -> Valeur = -0.009198410856 - -> Valeur reference = -0.008844414470 - -> Difference relative = 4.0% - - -> grandeur testee : colonne [10] - - comparaison absolue (precision : 1.e-6) -> OK - - comparaison relative (precision : 1.e-1%) -> OK - - -> grandeur testee : colonne [11] - - comparaison absolue (precision : 1.e-6) -> ECHEC - -> Valeur = 0.209389925299 - -> Valeur reference = 0.209464061697 - -> Difference = -0.000074 - - comparaison relative (precision : 1.e-1%) -> OK - - -> grandeur testee : colonne [12] - - comparaison absolue (precision : 1.e-6) -> OK - - comparaison relative (precision : 1.e-1%) -> OK - - -> grandeur testee : colonne [13] - - comparaison absolue (precision : 1.e-6) -> ECHEC - -> Valeur = 0.009806378911 - -> Valeur reference = 0.009911156716 - -> Difference = -0.000105 - - comparaison relative (precision : 1.e-1%) -> ECHEC - -> Valeur = 0.009806378911 - -> Valeur reference = 0.009911156716 - -> Difference relative = -1.1% - - - -./Batterie/FONCTION_UNIQUE/LOI_DE_COMPORTEMENT/HYPO_ELAS.save/Test_R_HYPO_ELAS3D_traction/.CVisu1 - ------------------------------------------------------- - | temps cpu : 00:00:00.083 (processeur : 88.8%) + | temps cpu : 00:00:00.085 (processeur : 88.8%) | temps systeme : 00:00:00.008 (processeur : 88.8%) | temps reel : 00:00:00.09 ------------------------------------------------------- @@ -282,8 +169,8 @@ ./Batterie/FONCTION_UNIQUE/LOI_DE_COMPORTEMENT/ISOHYPER3DFAVIER3/Test_R_cube_ISOHYPER3DFAVIER3_cisaillement/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:00.069 (processeur : 75.0%) - | temps systeme : 00:00:00.008 (processeur : 75.0%) + | temps cpu : 00:00:00.072 (processeur : 87.5%) + | temps systeme : 00:00:00.008 (processeur : 87.5%) | temps reel : 00:00:00.08 ------------------------------------------------------- @@ -293,9 +180,20 @@ ./Batterie/FONCTION_UNIQUE/LOI_DE_COMPORTEMENT/ISOHYPER3DFAVIER3/Test_R_cube_ISOHYPER3DFAVIER3_traction/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:00.094 (processeur : 90.0%) - | temps systeme : 00:00:00.009 (processeur : 90.0%) - | temps reel : 00:00:00.10 + | temps cpu : 00:00:00.102 (processeur : 90.9%) + | temps systeme : 00:00:00.009 (processeur : 90.9%) + | temps reel : 00:00:00.11 + ------------------------------------------------------- + + -> pour toutes les grandeurs testees : OK + + + +./Batterie/FONCTION_UNIQUE/LOI_DE_COMPORTEMENT/Loi_Critere/Test_R_plis_biellettes/.CVisu1 + ------------------------------------------------------- + | temps cpu : 00:00:00.029 (processeur : 66.6%) + | temps systeme : 00:00:00.004 (processeur : 66.6%) + | temps reel : 00:00:00.03 ------------------------------------------------------- -> pour toutes les grandeurs testees : OK @@ -304,9 +202,9 @@ ./Batterie/FONCTION_UNIQUE/LOI_DE_COMPORTEMENT/LOI_VIA_UMAT/Test_R_LOI_VIA_UMAT_1/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:00.212 (processeur : 91.6%) - | temps systeme : 00:00:00.018 (processeur : 91.6%) - | temps reel : 00:00:00.24 + | temps cpu : 00:00:00.227 (processeur : 92.3%) + | temps systeme : 00:00:00.020 (processeur : 92.3%) + | temps reel : 00:00:00.26 ------------------------------------------------------- -> pour toutes les grandeurs testees : OK @@ -315,9 +213,9 @@ ./Batterie/FONCTION_UNIQUE/LOI_DE_COMPORTEMENT/LOI_VIA_UMAT/Test_R_LOI_VIA_UMAT_AXI/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:00.137 (processeur : 87.5%) - | temps systeme : 00:00:00.014 (processeur : 87.5%) - | temps reel : 00:00:00.16 + | temps cpu : 00:00:00.145 (processeur : 88.2%) + | temps systeme : 00:00:00.016 (processeur : 88.2%) + | temps reel : 00:00:00.17 ------------------------------------------------------- -> pour toutes les grandeurs testees : OK @@ -326,9 +224,9 @@ ./Batterie/FONCTION_UNIQUE/LOI_DE_COMPORTEMENT/LOI_VIA_UMAT/Test_R_LOI_VIA_UMAT_THERMO_DEPENDANTE/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:00.200 (processeur : 53.8%) - | temps systeme : 00:00:00.017 (processeur : 53.8%) - | temps reel : 00:00:00.39 + | temps cpu : 00:00:00.215 (processeur : 56.0%) + | temps systeme : 00:00:00.020 (processeur : 56.0%) + | temps reel : 00:00:00.41 ------------------------------------------------------- -> pour toutes les grandeurs testees : OK @@ -337,9 +235,9 @@ ./Batterie/FONCTION_UNIQUE/LOI_DE_COMPORTEMENT/MAXWELL3D/Test_R_cube_MAXWELL3D_traction_relaxation/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:00.746 (processeur : 97.4%) - | temps systeme : 00:00:00.027 (processeur : 97.4%) - | temps reel : 00:00:00.78 + | temps cpu : 00:00:00.776 (processeur : 98.7%) + | temps systeme : 00:00:00.026 (processeur : 98.7%) + | temps reel : 00:00:00.80 ------------------------------------------------------- -> pour toutes les grandeurs testees : OK @@ -348,8 +246,8 @@ ./Batterie/FONCTION_UNIQUE/LOI_DE_COMPORTEMENT/MOONEY_RIVLIN_3D/Test_R_cube_MOONEY_RIVLIN_3D_cisaillement/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:00.056 (processeur : 71.4%) - | temps systeme : 00:00:00.009 (processeur : 71.4%) + | temps cpu : 00:00:00.060 (processeur : 85.7%) + | temps systeme : 00:00:00.009 (processeur : 85.7%) | temps reel : 00:00:00.07 ------------------------------------------------------- @@ -370,9 +268,9 @@ ./Batterie/FONCTION_UNIQUE/LOI_DE_COMPORTEMENT/Orgeas/Test_R_cube_isohyperd3dorgeas1_traction/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:00.202 (processeur : 100.0%) - | temps systeme : 00:00:00.010 (processeur : 100.0%) - | temps reel : 00:00:00.21 + | temps cpu : 00:00:00.191 (processeur : 95.0%) + | temps systeme : 00:00:00.009 (processeur : 95.0%) + | temps reel : 00:00:00.20 ------------------------------------------------------- -> pour toutes les grandeurs testees : OK @@ -392,9 +290,9 @@ ./Batterie/FONCTION_UNIQUE/LOI_DE_COMPORTEMENT/Test_R_cube_ISOHYPERBULK3_compression_hydrostatique/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:00.076 (processeur : 87.5%) - | temps systeme : 00:00:00.009 (processeur : 87.5%) - | temps reel : 00:00:00.08 + | temps cpu : 00:00:00.069 (processeur : 85.7%) + | temps systeme : 00:00:00.009 (processeur : 85.7%) + | temps reel : 00:00:00.07 ------------------------------------------------------- -> pour toutes les grandeurs testees : OK @@ -414,9 +312,9 @@ ./Batterie/FONCTION_UNIQUE/TYPE_CHARGEMENT/VOLUMIQUE/Test_R_chargement_VOLUMIQUE_3D/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:00.044 (processeur : 80.0%) - | temps systeme : 00:00:00.008 (processeur : 80.0%) - | temps reel : 00:00:00.05 + | temps cpu : 00:00:00.039 (processeur : 75.0%) + | temps systeme : 00:00:00.007 (processeur : 75.0%) + | temps reel : 00:00:00.04 ------------------------------------------------------- -> pour toutes les grandeurs testees : OK @@ -436,9 +334,9 @@ ./Batterie/FONCTION_UNIQUE/TYPE_DE_CALCUL/Test_R_chung_lee_dynamique_explicite/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:01.824 (processeur : 75.3%) - | temps systeme : 00:00:00.041 (processeur : 75.3%) - | temps reel : 00:00:02.47 + | temps cpu : 00:00:01.867 (processeur : 47.2%) + | temps systeme : 00:00:00.036 (processeur : 47.2%) + | temps reel : 00:00:04.00 ------------------------------------------------------- -> pour toutes les grandeurs testees : OK @@ -447,9 +345,9 @@ ./Batterie/FONCTION_UNIQUE/TYPE_DE_CALCUL/Test_R_dynamique_explicite/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:01.735 (processeur : 75.6%) - | temps systeme : 00:00:00.040 (processeur : 75.6%) - | temps reel : 00:00:02.34 + | temps cpu : 00:00:01.783 (processeur : 45.4%) + | temps systeme : 00:00:00.034 (processeur : 45.4%) + | temps reel : 00:00:03.98 ------------------------------------------------------- -> grandeur testee : colonne [1] @@ -538,8 +436,8 @@ ./Batterie/FONCTION_UNIQUE/TYPE_DE_CALCUL/Test_R_dynamique_implicite_HHT/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:00.083 (processeur : 100.0%) - | temps systeme : 00:00:00.011 (processeur : 100.0%) + | temps cpu : 00:00:00.081 (processeur : 88.8%) + | temps systeme : 00:00:00.009 (processeur : 88.8%) | temps reel : 00:00:00.09 ------------------------------------------------------- @@ -549,9 +447,9 @@ ./Batterie/FONCTION_UNIQUE/TYPE_DE_CALCUL/Test_R_dynamique_relaxation_dynam/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:00.739 (processeur : 91.4%) - | temps systeme : 00:00:00.022 (processeur : 91.4%) - | temps reel : 00:00:00.82 + | temps cpu : 00:00:00.760 (processeur : 71.5%) + | temps systeme : 00:00:00.021 (processeur : 71.5%) + | temps reel : 00:00:01.09 ------------------------------------------------------- -> pour toutes les grandeurs testees : OK @@ -560,8 +458,8 @@ ./Batterie/FONCTION_UNIQUE/TYPE_DE_CALCUL/Test_R_non_dynamique/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:00.069 (processeur : 75.0%) - | temps systeme : 00:00:00.009 (processeur : 75.0%) + | temps cpu : 00:00:00.071 (processeur : 87.5%) + | temps systeme : 00:00:00.008 (processeur : 87.5%) | temps reel : 00:00:00.08 ------------------------------------------------------- @@ -571,9 +469,9 @@ ./Batterie/FONCTION_UNIQUE/TYPE_DE_CALCUL/Test_R_zhai_dynamique_explicite/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:01.664 (processeur : 67.8%) - | temps systeme : 00:00:00.036 (processeur : 67.8%) - | temps reel : 00:00:02.49 + | temps cpu : 00:00:01.758 (processeur : 44.0%) + | temps systeme : 00:00:00.034 (processeur : 44.0%) + | temps reel : 00:00:04.04 ------------------------------------------------------- -> grandeur testee : colonne [1] @@ -639,9 +537,9 @@ ./Batterie/FONCTION_UNIQUE/UTILITAIRES/Test_R_fusion-elements-supperposes/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:00.042 (processeur : 80.0%) - | temps systeme : 00:00:00.007 (processeur : 80.0%) - | temps reel : 00:00:00.05 + | temps cpu : 00:00:00.039 (processeur : 75.0%) + | temps systeme : 00:00:00.007 (processeur : 75.0%) + | temps reel : 00:00:00.04 ------------------------------------------------------- -> ECHEC (resultat fourni par le script de verification fusion_elements_supperposes.verif1) @@ -661,7 +559,7 @@ ./Batterie/FONCTION_UNIQUE/UTILITAIRES/Test_R_fusion-noeuds-voisins/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:00.039 (processeur : 75.0%) + | temps cpu : 00:00:00.037 (processeur : 75.0%) | temps systeme : 00:00:00.007 (processeur : 75.0%) | temps reel : 00:00:00.04 ------------------------------------------------------- @@ -672,9 +570,9 @@ ./Batterie/FONCTION_UNIQUE/UTILITAIRES/Test_R_suppression-noeuds-non-references/.CVisu1 ------------------------------------------------------- - | temps cpu : 00:00:00.040 (processeur : 80.0%) - | temps systeme : 00:00:00.008 (processeur : 80.0%) - | temps reel : 00:00:00.05 + | temps cpu : 00:00:00.036 (processeur : 75.0%) + | temps systeme : 00:00:00.007 (processeur : 75.0%) + | temps reel : 00:00:00.04 ------------------------------------------------------- -> OK (resultat fourni par le script de verification suppression_noeuds_non_references.verif1) diff --git a/doc_procedure_verification.pdf b/doc_procedure_verification.pdf index 4c64f624f4a73bd570faa1cc673b0a2e31f1cde8..d9b4555f520e660be8cf52b1b4648f999cc2850f 100644 GIT binary patch delta 10092 zcmai)RaBkZvaN%=1a}GU?iSoNxVyXiPjCOAp33%Bl*eP7h?U99rk=c~2oNYX9DL8nzxl^0+=>f0~ z#3PRv6PPw}!^q|+6UZ0E4DIQRf$*ow8$G>j{D)t!yRyAisrl%LWA@uijUkN#0&YS?dR(> zV21+zUo|{&ayarh!VfuTH8chU3DHV2sbXqli1ev;u1351e6K->YhFuKK=FAq`lRc# z#O|5^+nEZ$vOe`C4wH)Z2R+`lt%bLqK;EQ%UyU$m>^|Vo#-dAIFbmb#k7^c7pe&vK z>0lu4dlI4ox^q4_FzBAsP!SJ`i<#5+{%m!q`+RkA@oxWq=fUUk^5z!#y?5yH^n7SN zPD~YKv#itKr%M%^!k-)lkcGnM?`ZJl^LD(>Idq#%=_zIjoaW)AeVh^TnH$z|73D_} z>ia0Zd|SZHe(u=uKA?Na?GA|$Ce-*4b?PTGxrhDckH%9^KHJ-MUvgVi{}2yKQti9z zy@l6ff{>lvua}xXo+ZKZBQ}3sJR7HaHf)k~wc!|Jo(`h7N)qq}449G7jJ?bC4?Chb z%X=5n*w~B6a0%2-uxkxgE?V&T^tO1qYndpmgoqm~)sljWn5XK7RXvyxWOZ%Rsw<&)F#u%Pio=FDieu5d z0;-hTnmYZ96zRnQEYXtV&SgIhbKh2u*IuSvfB94msq3cI{iHIJ8yeh?G)icWlE(eP zlPHy^N-Ym^$rM~7_6Xgz$mfN{!j2>3$r`K3sWCLPYJbjQGC0TOYfAG9|@x~IxtCz{@(xF&W{5iS;%h7uKt@pYpLPdzJH4a5Q z{O-4s2T5UNB-O>)K!{`r<;CsyTJEMzmt8ta6Y!*B9N=tC2W? zrz~o~F2^@Ij{NfryN+x5T6a~xr<3z|5J)qXfrfEMOvDVw?3$m}_%Q}$xsm?ytgHN$ z^@Rd-X~3R4AUeFRC5@AqtjGE zSr}(%G+X7CEGts{`w@EU&{?x^&GzkgHUvek<6@e^CtplpvNsGv?4uWMrL4t;|B40B z5{T?sTnW=<1bpxmpZke@q+UdKrIrs3K`u0`YY`IB3A~jNpLCe#L7z#SZ%|u&v%~Ck z)6zd;;DsgPul_m@=4l?c5IUgNIKCdtSeO(NPULs8A+t9@gl|Ps88H>+@xN3CGu)yP z_!g#5T)I-m@V8D}y8CpbLFG|p5nW-$Dj7};j(@}NoNiZrgKOQ99L&7-fyRdBO+pTs*jf!*h|anVbr>!wYiG^GX0mjUKpLtzS6LZI;(zq z^9|82X(sXyM)5ar+e6jch@8}bU4Rqeh<>Z6L>1N`Pig}|){YpdcD?j@|{iK_c4AZuaQM02y zD3h2;l&ZoMVX~EHheJ^O+9l3LfJhUfS*W#8MkrVM9pDcAGOJG17F;<>$nF!|>;!KM$(C)xHUFSl&zfvLr$ zx?0!+11~2pFZ+8908OnuIolNe#BSWNU4*Mz{}r-rQ_lc0c}oO;3NIJDGz zTMm;d1Psjp%g^p7zY|Tfmu~qJivnQapU7NMN`Wf2MqKPD{H%{lF+Cwg_s8yT{u^}* zNR^LIa&6Py4@^8WYohPxB~*Sk5LnA;9Y~;8%syoY?Rm?EyIY&^IqQ&x+&l*4boF+2 z2P|03ZK{+IVcWu|%*w{G?umq>YbSBY9w*0^SavAoUzIleBY0$PJ)$l}Wq{8xy_h`0BO9w;2I8MYClW*sQQ}tO}eUXulQXEb2b#8zg=GDZVBCe*W`s zAXGdZmbu(qTlRNgj?4tCKlZ$3^QVyRymaWs3zSB9J8|EA|9pQPlZ-#-iEO=nL$XUZ57KrbPreGZB{1W@33g53P>VgUj%gGpk{%@sC=lH^Z{EA(?w z!;(KhM8^c}I$hIQkQ}gSehZq#t!U#C+;&1=Ztm)GOFx)ufWN;v&wH6APJTeVAR=b8 zx4??H{efAKZ|ofIB;WZ3?Fsx*JGYzy_5vo3U~$FtUDu}R`_?lemCB)!)re#|kbiGn zY|v<7@1YW$Ni-YgxcKl7{fyQ$?y%Vb z%g4`fV52H+g@SC8plxe%sy@RA*lmcgzc{@2hP7A`pNH!t*_gO2KTZ&Bs0x~xFt@OA z_|Vg`R=1_z-G;!rzj=MxmIgA7vLxl=2a(q%B!Kb0U}z22eY|L|^wn7v0y8}aZl|<7 zbnP+U^RfDBVHVmtGVr*YmRev(B<23u6O~WwKAp;VU4{_c!<4%fo@`D5#x8f@0t8wF zr7UiLZg6)-l4jrSk%`JpN&h8|L#7-Po$8u{RqQAr zH>(JG-2OT_Bbqk0zI#6c*lhjzyK`>u<@T4{Y5iC3d-khvcM&Of+`irf=>E~^!Cp}8 zxuI|6WjFBtjjjD56jNX6;0u1rxphWM)8rE+I8IPK&X!=cLxv8g6%{#kQ;R6m zhVhLF_R1+H?%9>fe(=rDVK-yPy#|kHy%(YhojFVWtZvLWaeSkN*;L*>Sft_Ze zyCCsJu#yfF4!ykxc4g8orlV^k6vJ+xh07p?D*YN`|$wM_$F4J*d&?ZR7l=R(3|cjN`fiI1nKgW5+3C^eL?t+xs5; zV_?)53tlionmyaprXlmRaaAf0;rTM8p=JJJ74*#*YY_=FB`r-qN!4!0Y_eqT$^5+l z`X#a2HBk?YJS^Y+TdvB+u7N!!v#&|Q*7&FdPnXKO`zzBfM>_K6#tzbQaFn2!w`>rE8^T`=1?o;w3oW`L?l)}0{{g^L4{8=ib7mz zX+EtzA6RR51U@_z6m9-otsE5kVmgl2C(T|$p@704drZy6VfJ*J`fb=zTDYni`<|ID-N z`-nH?Qd`384K?b@udBcjN1-?EDg}=ORX*0725fJei#2h~-Y@D8=PhY^6f|)Ulg!fL zi7SYVu?Z&!ib?g+Tse|HW-k3`Zr7|E?ci}dKiq_WO8yuOLldMW(YBeXKVRTGRr<#K z&ir1K@>j}Svt46JP-pmVP4xS$e`@cUm?K7+#>R%=B*=~s%4M_E%(8Ajp(w-T7m}sr z5|!peUUt-ihPUe1zh79G!W-=gOP}4PEc01#yIP}#5pVX?nKHAOpveGxx1QuP9ITXt zq?4h2xlmc04Fx#LADm{RUYuQB1ljiNTJi>yn`(*S2jDV5XrBV0lc@e~M69YC*X!de z{{vC%*R7Ii_*0Ino6k-1U_3*nj~SZI&q;osiIngR^JRv0Z}-tv-Zr%G)JDw-w;yyt zYB_xsupUL$X~r_c?fSqHo;zWjLDcNtP!_dSeEqN-otny=cktVIvNm;stD$8Y@zr9o zh_mjum64EKwM0G(!Fm&kF#}YWWnLGlFN;l835%mk3HI4MHhvXHR)a*<_hFsQ@^Kr|ww+PB8`0|On?C{COC9sg!^*$fPh*)= zRu=^WnBp@@6`VvkQ6XRvloO3dWnX zwhi(8*nh|BHB*o6j3a*WLgDN!{Cdcfg0gBBiOgWdFv#T`!?R8_=Ea=Oq1qN9hz+jW z^7m_4AGTQ0=h3m}(L5%akiOD83$$a&ZjBG}KQQiMtHJhIEKY>}CD`u<^m>1_xSW0{ zsT(AxDj|k>L|t) zBy;5Hvyz3tKL{XHQkboWd7=)!WmmcKFlSPZvL;a}QJmTQ#q2a2jU_FN>G zfeCdQe^NULb<6{MK2v0}BeT%X*-WU6WL|rs0AJ^!j@dzRU*x9d{;LDPLiahtMojpW z-M#t1U(N<;H25}B zr@f0IxkGQei(WW$rZI0xP4F2(ML()PRYMyqxUq$P3A34*jG;x>nx$sBrH$_>pDrfi z*}gBCPEnp&@L^MR!VU*`ucOZJ@*szGa7DUB@G^?((x$-@WVxqyP+3xBK}vZh=n|i6 z=pjDpK0lWI=6Z{xuRCa0K- z+%5`ho(B*bwR8Fvn$EDv;u8s9zISyC8%?ol$61NI1Druo1;EScNMT~{>%)kcu)i6z z;8cZ8=D1F@toz}umg@=AgsQ>+)?3@X2XqdlGm3(|_&VwYUER|6Hv8;Qv{?;diLK$;cYvxFk z?uQ!Zwh_txZPNSi%NPU zHYdWnhr9fTGWcrr4N^h|l!EPmPJLJ2_PXWwc4Wh46NGniYk~Zv{{VO@R6I6FVFb!c zKhwJw20fFR2?`0szzNO92*vp?YvY2P4WToMp}7Aw*dRh*=o3LG-v3fKK?`&*- zm{@+jv(j(&Ol1EgLbt}>p|DdHQbU_3kHnYZO5-|+?c7Nd>-Ga|=}Hx|z0{vTD%QJ9A3og6-hdH-P3Pgjo>Gvia<6R&eJU;fKzQfRd1zxXl9dJ>=5_2{BZD zMwp?4c?7hTKogc4?qsTIQK+8+^fkLGlor+jAw2a@VGDw!&$V#(0|cl2?u~GH@Qy!) zzb&}$WI>5U?=~jvpgL2q;{fO(e7|KdE6ikD#|dX-zmDYX($5b1mCD4H7L(8!?7;Oi zUPS94=fQ?-_NQXS`=T6#wZuFe1%HLr?u9!K5igQP+M6>SM2c59eUU>l%@aTfF-5c4 z{9OsNNEjJ^b%aqQQ~baWa=bllpz^<7mQ*?N6=f4VZr9X^QzXJkuAU{V(eyV07 zT)qc*x(~yRR;-?lRa(&Bx>1D%R#qS42VYcMFa+DxU$cr)!sIyaR_8VR6Ksj-1bafihU-DKe7VL$fFxFIU$rY{bT=>F?a6e*)j(*KYh#f#Ce2+vUw_89>-6`>Zu%hq66edlI^25=~IhFGmn%e6ve(Q2Yk0?UHWqkx2N{T z2Yk!(>=pjVAe64Mi5KF2=D15w0cj&e{Y{peybNIKI5xO+>)7Ph<;kZv>k>}(8_LzU z@CC~~$J=!mF#wm3T+|5c=dV7LKpIUP;|4Q}z6vAociycOVF$ii0f&z{F*g$vAK!^t z$^P4B$mI-`+#}AYv#+t{Mj8(}v9NDD3Wm!j;L8ylA>08)q*MfzlJ&~;*W#D!nTl>fLp3mUw5* zK1fdwn6xq5v4>aDV{Wm_q-a4AFEl0(4t!|(WJ`Zaa0T-V`p|XM;Pf3WIP#D4Thess zwNdE?s|+~c?aVGc1b;-*II5nuj6CXXn|vWPcn626uDU)So9J2Jx?G>-zj{1e|i+1Zd<(>zGIDH+y!K>eW z&5vt`pQO2G3u>+T)JSRnNTaviPJcC)ZpuG79*ax$$z%%?f;UH<=CSqU*~9I@c=hl( z1Lk($9HWF7VrSawyCJ8+aBnfgAW^1MQP7=VLop=Sz2v!RvLSb6_2i9+L}z2_O9h%Qm9p!sMCxK_|%7#bW*%u1p#T-&Hj!DCiZbG`7+h%thPr zLl9|(R6}M1*tUZ_L8L~Nh(>3Ln*j-@#R0uv>!Y$j-=e!NCccmx-VZ3FCSue9%lj8A zxtBsgfv+$prD-kS5W9mjx1vBnzDvag(no+~0ud;J#a{cpYOj^rf$@2?5cfj6cl?PN zM$k1p^A;75wG>17x4Mw1x~2|yukBiJzlX2J9hr2u8J$C8gjh!R?vEsJhf`$O-5gSY zCv(cX_u(ImRjU*D_2<*O_N(kF56lZtOFMOj%2{~t4rxLi=R$N zlgA#e+P;mb+LGM-oMg!hP-$_1`~79ODZ|Nm1LWCq|vs)*6c~$1|&VuhSUF zeS(+cFYmvSFW8qDJJkhyFE=Bwg=Sm%3@P_2+)l)7uAox;-WX{5F`l921X^HRl@FSg z@0aObi-BlZb-Q+1nfR=_e2}nG%BnQ@kxp*RU=iRI>bi(k-xWTwVwjFdvglsx>uwcM zg+)@6VPOZVB$KVb$b)CJ*7ZWdGh$xFVxEW9S)Y)SYQPvfx3P@+-Ld7uQn^q&=CYt^ z)OeS@CZ=Igy8v8wi5dk&ImmJ(yGnX0IHP!xJr@Ts#;stO*N~S;YB|H4?rELO*nyjW zG31x>Xzi}gD7$DBj$KQLcjEgifa961&PQ1L~_ad;6euG1$E^cd} zfv$*_qfn=y`YIs~IiFn~3R1sk&$RMMH0{44C2 zoER~I*Ak{b9TyHuMcy{f^begKMl3h>7}{aWpUSAiU6~{_%1)z0@EGi!$%|r!^L;IB zF)3E(?(Ym>K=Zt5C@__|&DV+PAYEqhU$rqbM{IQFNL~G%x}l<1#5rx1=e1Bn{T3-z zzLHT`ek_5b2N4Y) zZaDw47#;Zq2=$%BjJ1Y7%jZ2&YsFFuS`^5DIi0z})k;(r)+anu1;oq+x$`y;UL5@c zY^9iY&Dk}a&^An}rS4vw-NsoT7U|~IVRSkEc|e4rYtyBJXNjgjsFoZ48J>E$yG_Il z_okUnD#vIGy=?8_L8?nqC|^_e!s`H?Dc-nREPz|0b;*-PPE{w2aa&U-+-$)MO`l=4 zC?lAyK%k7exg_8jn$GZc0bZfQvDMHBq_2gmNxi34x0a-%Wl#!dfCc{pwg>4uUEhJzxqUXk6O%CcM}k&V9vg=<7cbhx7Mcv%0g02O2N0bEANY+vmBtthy;xRBX&C=56# zxF|UO2{l|?JpT#*U0~5bW|McecKOF~{Ew5OFc9YE<`I|V;^yM!l#t>Rkm8n-VG+8TDa znkjh}fO6>$d$z>hU*4a=TiG03&kd#p)&sb%ZKm3speOGdZFQZ+8$xabxK{tx`Bp$$ zEvy~t9LEW1p~OjsxU>%D&Q{r$&Wy*#w~(Ce$ZX=w#RrJ( zVi! z{6UfPGEdWWEYAIRS+)j2Fg|0(GXOk^xyIURtWT&eo;vN%ogJ+#FM9cX5#CfjW!j&` zX_KA^BhBwm3U4s#`G*{4bz7Cv>wUsy1>_Aqc68c)YJP;NFcec{L)grI?hXLex}UiN z8t24eTd)JlIaI(EWdq))-^dkXGR*1nOk~f!PaE!o$1KE5vPFIm0tMhxsZriXzIfB(+q@=u=-Cnv&uiq^TSBcnx zoGksx#p8!B=KgrAHWTCI*#V?Kdm&*ED)6qNc?)(y7~gHRVpd>pNvV1HKICKUVDGW{ zLxzDlIz)%1F)BcOt@Mmnq(n=CG%t<9YhV?*882^`Lcnd*={}p4)>Rxm^br<@22q(k zG_(>HDn=djS0*TQ4^|zi1WSr0S^+bif>B)apOQL~w;(OV_*Ie*pb!wZ4V{54Mv}k| zr$to8%%R}^HyHfXfibGc+yUmOeHQsJq5FeSDYid$eVwhXE7tmA%e0+N#*VS0E_>}$ zCDa}TM-nzRe-l*9!uJGc^1$l2)zSq-g5H>y@8~l-_p?!5;f=I&Y2G0!AlXaXVia2f zExxzwoYs6{4-~*ujXHs5*m~{o{x-;{ncSAwZWOg6=(P@S{Ilc%Jpufp(d$LB_BYor zv^sOlX2a#!+c-1A{78(>Y)e72%(F=XFv9~`>ul4l{&-5E9^24auFtR7bp?m(x4rlS zH0)^B{b}o44M$xQ+e97c&LO#`=o`?W0a90d_U(CL-4DQI*x(1bMe*y)FA&c$@Jmg# z)kBrD76!z`ph0_MD_6bkn?AgZHvI@HdlwdmKxSy{aq=OU{8o&40f=yj+oKHm@8)O>i5dD)dy6{>bZH?xU# zS8KR$vX3mP)}*iI!#n4j)yu?V=3&p{s?uFs!Hd;9%zF3hUZxrth8$UdhZ~uOMp{({ G`TqdeQ-XT{ delta 9955 zcmaiaRZtw-5^ZpIcPF?rkOX%pf#5EK1$UnWcZY!t5KXgt5xW|AODy<-mWS5K+zwqt1f5$2=xFV3L(9t#&TU3u1I3ao zyQU~yuU2hzm3}|EzD`A6uO*+?O@j=p8EboKqGm<(y#plFK0k_%*`}K@R;mXG2b|7_ zA>YAay?RT%JUpEa-8Lw|_bZeV;&^(&ZL=z-pw@raJTlcmr0G6sT!${BSd6qzFBn{n zwLLtgt=|?MIprA3aG^LABnT|wPi3I3JRr8&um>Cd9upo;VM7Oy8@sNfVdG%-(e^}sA zEcnXeeIRICCTKvKD#KJaL{nmpm{KCpR&r4e*`$L%VWz;Hy3xb2ig7kO2OZ0EQ(D4O zjm~OhL+}U^V~~WG76P=@GWAY!hc%bW9puF+mM5mWEYF82B2W8l*h&d`aZJiXWj?z) zA8qYGqQO&gylB17zt0!ztifkqB=hq^I;|t(>)Wfd4}xp3o-@emPU}d=xEG1gyhMjS z!_Oq)FUizF$XVN8gxYIRL4i~;2n+k=(j1voS%fKglkM))eLBu!A21S7WEO;iC79aWXxb?pJQJhNS=+DCf4(l7HcJ+tW8ZUG~Ci7U-Iy(=Fq6=``3z_*(6CHy8<+l~f~3hbP3)FPNKMtz zF?nvt<~YAQ%+V!a1=LME;%hW|T_`alEy@pXt=K-d)w|k}|N3y}%6nxP$x!=LE)_Zc zm#9Nx(`_U1kcHu;OBRbR#F9e`G9^pnjB@Pqm2k&s&u3KMt6G@(Yh8(BRZK-AmrlG2 z8mB_{o}=%nM|LVHHOS&*@)oFBWjp=TMhvHwGU?g?RwSj-eJumnK{_62``)q!s5m1; z;`@{AQaw>RxT>_r&i52Bubjje%earvOSD9$De3Rw zv~w&brbw*6JLyTpaboPP)UH6wdjx?eKH{lGaycJ*<)__0Y=Z9edTr33>CGxxY@8&I za5$;rU%tPjP1mfmh_dB{<7-67Vz%s3QP^wbrBW!MeW{U2g)j|;$0iFSle*4k__HC< z=E7l==eu>@C>%%pEkVqEK@H}=v)&Y1bGDHT_w-GBsj)|yFcd2fk$f6Let)+MkcM6W zybxW48uT86VnA6!8lZ9}B) zh;LXXey(`tf$&2;A;DLFwQZkJ!sZFih&Lmwj)ngmIR*lYbn|;y1J6_pofeTKq z!0D~=^{q9a#>#ut6nq7<7UkWY_I_m+=p+c^bEwi(|upPK5O(Y@?xi}lK) zZtLgNoMH4*tBV=E+7&ZkOc6!LfgeU8pz5#f%O}?JmV~P#_%a=)kP>e_#C!Uvp7Jbe z4N4EMh>1Ej8nzIc;fpK;acnW!c=@=Y^lG2wB$c_JQ_~IAtotR>3!^QIGpi1L)@O~uL$qM zKnUPTb~r*f0GLi5j<9a#8J8QpF%3@)ePoAYrbwPf!iVz7!=2K?@j>Zq;5ZrJ1pY&W zT13NvMG*Lf|Dz*-Hq67h>4P5!;MlSG|94vp@BjeGHCZg669We)N};6JN)ySAYKb7} zpJQH^rW_mKK}FB)8~xjCf*#?Roko$psTe-~%a0E?cOre+8Ptjv@l1WqIB+wR06mU5 zin1un5vyW-pyrn~c1V6LvikUNM$CGiVLcmg$3OtA{qSzzJcaumw>FY|^)IPLlt#o< zjzm96sM5R`lKs z+$?w^=0>!4$f=z*iW&Bi#P`uyQM$?;=mg7i!YX!O&?u#`4cs&XnX++n{mNiowx&>cdXDR#_gkY_h=z50J4l$~&eY`fQpzDp47~4&q>dC)(5LEx(hxPBs|kNoTnGL5 z46ksb2kJ``K(MV(k#lDIsD$8&D_V&6j^N!s53StR4@!%ouMDP2v?@}C5+rP7gK%lq zgG?ZsNPD#d36<&KFDTy>s8zFnF_uxoKX^9F$ z5#5*f{eBUD$FmS#B-*Qa8ni{fJU*z42k$aVi}I8)2ZbIySYBRkRDqbvr|+zj7oYd- z-B(z3!bPY#!K?o0a6?B>nlzmFw0s~+SIwpb&3KWr$6nlYI5J`Z^(k(Vt!n%>?y!*V zegFuE1v&Hvso#9-5DC3gDv<=YfM&vaKz>!D{T&ewc52{KfNm*K#p6MhHPz6k18j*~ z_eE7OMmbKG$FCgs=*5TUCWDBPgd&>O`R%FpMUFClYAHwl`o4*lV$^?^TL zD35FQuPu-f%oF98tXJc8klEi*0jgj!@0R{f0^J-4rV|l|3R>o}4S72H#%a`KTnZ>q z*zcp}=RZ2pS31u<_ZRj{-_QF4Rq?P0^}6K}#RRDF*K7-<7mN?YEIhy626>DFFsGk7 z^+~=9y*fHtnM}Y>psD*IjJQ^`+USjZkK5PMga;9tO{{Z z)x`C<{UO-sU|$U?uUnWta|pqk-yH!B#|de9F8PHzc44QkwzQk(dvrS81~tq9SOas3 zK2C0UXjvRH&8FYFece`R`b}${TYs1L&Jd&TaH`u zE5Q>T6pii3P#Xbe6&>xn6Erj%wDkRUFtmfe^&W&mdL5{Bc%W=dfQWD%xf77kcJh_a z{5?kQPl}dysxDm5!h;|~?9&~uKi6_OBr~ubU=2yF;5%c3lQ|QO)&?QN;r8wIZ>&yT zl}R3>8!Lg;0Kl!3N_z>tr(BcKmy4EKuM^4$?(rf0_ovdw_#| z9MoEOe4Bithz^Z9~#8 zi*0K@**4o<5_?+CCHvjeejwd(;$RD5d=frVBH-Bc4Gf_QxErU+kOZx#4&5XM-v0Fy zGif*Cnjn5F^bm4*6%7;;%cl~kdx+eHi1{wJldGz~?r{UeA#vi*eQ9srA`ou*s{Z7Q z%lWD*)qjRD#PEXhn%K=npdBP7JteG2bu*sn?TQm_=v}S%2EUM+Gn^(_{&TaUe% z1KMWZh%2zl=9bBG1~l&p0IOMgm-_KrZ=0We^)23Zx(TrYrVJtJ4UXRMd8!S8nV%*w zMT8jocIb&ymuBh*8%2U>IN8jWjr?D0>luRu(a5E2{WoJJ9nov;ae8Ff`~^8h>A>bS z>t{`eZ*^wjBNS8TJ`__M+~kcD?UG=F*feH=uB-9LPbkJxAiXKtc-r=tdc4AAe)?~l z___Y}ROB>@QMTSjDCq6HG!41Y^4Ve8k8O>yZuC@5 ziZ8nEerflIqA51g_a|Wth1rGe-HgW2e)Or!CBlYI@|tBVL$bJ%uk{s%BjFewWgod; zAIc9aSKF#K{%*e$$*_2Y-RLqVi}X3}5R2&Qc1MRWfr6bM=qJ}VNIdB~=(?HAQ}$5p zg)4&cLnuW&vr;6KE0-oan|`F~w1&0wxEt%Y%AKxJqTQ3#EXL8!}p}l^M z=pZ%UK*O&#L$e5s7m`?HyqC(tYEbZI>}sP?`i>fuYe(0j;Hy8qAHKyjpPznX`MOM&m0tUY3ee+210pEKE1;DCb&s=x&F!R6uu*?q z!pG+hAp$PU<7AugRP&Y;B?S#7uF*glrejQ|aTztCP^Hn%o9y4&RZH~?2+W|T+*Nss zt#%HaB?Q)BNQCutX+-HE4*7;L@I~~dGmmHl1xLU1_RB2md?Rzy*BtW+nG=qoXcGHVZWqx)_L@G)Dx#Q6xzx5SD1Yh7b2L9k2$AcIVi&~y@A;qED_*n&*bdn z?9hDW%Tb6K)*ja18*b8FE*5ZTRW!M!X++Urt#mXRgW8h4b6U$cv#i)j{gswef@Wzs z_jM#QBYZ}qk^RSmCMSDHwH;ahldFVf76vC#OMQe0>gC@>X7Je*95twM%bQ`5m64Hx zZZ>)(5iy>nDI85I1lXN$Wa;j~%QtIUn$(!yo=1r~=BN0^mCF9`2~UIbWXZc*|GK?L z8DH+6x4;^nVP-xgx;0sy(MqMc4dYuAxm8$+UK(RPVXN9=W3u#kV~GQ8W=NqvHi6hd z@boh$Q#!jH@&VA&z6=C(paa)5d623a$0%y_@7u+=!|yOU?4cA>+R9F&4#>(i6Tv># z4qzSOJ?U;Tr)+C|rI_c={mU5!{RR=rD>+=43A3|2l4}_KS=Xj{&1a6K^`xyt+uQ&< zDEm9-%NZU<`}8id*xU|0e9VXu&)M;3XKm6sW2QEI&?CdtHWGATptoI_D(Gm}XryDA zI9fTkXkgZMtZS#oi|uDb`;5LkD{yLZD~tln`i81$&?NrDrM_0VMC3|(i_tIEv`_Ox zBYNftJr1)WuW}lro*|iOsiS279sl_+8CSa2pSe;>dgvFJ2Igap$gWgMz(Gxi+;JJF zBdGD(QR60Qqc&(v3rnjd%oWd{_>+mgGBc-iPIfc+bmXwt(BpToL>;#CN=}v0#^lpg zd%gBnJl+(J)N#MioGqY%Ze|h^CK;0igY(hBYdop}|NgBTK!4D1+ykZzoMEA>_|lk@ z0m~PHjP6ScQ!|h%=IQwJop9nOBdR+j*NA!!ENCIEZG&*MGK(6H4tm&}?Md5pDIz2i zZk9-AP?nPCIJ1_p;*5#RC|abNy4~<~5KXiOi@*=b;Do(0kmcZxqTGt!bi=3S*Yh%B z`{4c9VPAVs#c`CFd$z{A`@(V_5fdJR8#=}bRTYz4o*v^slIGA8=ADE_{oA&t7AK&d z0oz$(4k)pz$#Dm9@bWm^no3S>&JgE-!%QS8EDCOE$BfrO`q8hPucgYmNM7WG?FI8C zQ-k;e6-6UrdgEeJ@6Ka&p?T#J#a#H$suKfZx{*R~?0zZDr(RYb_V&bieX#L@9^p4s zJ>vKjJ&wAx*`viJiX~-re2lxQ_v+ zfC}x+@^O5%G(G;3x1?42`ml$?IB~R|jOD-;Dr@gauSdEnkSCsK+@rT2?(IK7=C9u5 z^EI!ZxA&~Ysl=Wqp2XMu963HR=O>3=5^ZH0UiuScKK5T4;J*stw|zY0BOYkmjzmhh zleb>?*iMFek6lQ(k>3VbEIhop3XsvPgR-(!KF(6_=L5YSxd)pl_xE0Cn|wCBKmELN z-DD5YanuQ%iN6-Vws?^dpM9HV2oQmc7Pb6wx*qbshW&B6(akw5$v)tJiOxO>H9mBE zF@C%CD13H~c`%IX!MPM;ip(z#Ul;2@QS^UWsn=2N_EpHEedBq~gLgD#KwrmZ0!?B6 z#a;Fcr}QU}=*q|?UGt(zTfM$9AH`c%*_kjqJl}5xiP33_2X-j8kAH68!rpp6b0k)@ z<`iSXOWdQ@4-2)*IXboHEs|5;UA0*pySX;Z@wmD;ZZM8fSCcouoPQ%(Hi*6h2|pjy z@MMbT$y|RT+K^C%9<3zEx)kvf9(QsK6q|6I9~APG&~VB#1I}#0muJug#gO!4S)C%PVnD= z2+CatUqb`VorfcYUQffXQy}nv`0(G#(JA~mGnn>Y(l`-#jivL$m03CEg z2or+i0jrlGL?QAB^74XL%MfV(gVM?oV!^C@@L1rV0~cN7)Q0Y1F0z2!3Ddqx^FYf4$C9=l%N(l&Z zXb^?^)dnSLS}+ZWvU)_ECOU>{qG)8V&s=~;oXh%3vPqmmY-4C(V%{mo@1a76bqwKLA2}oHzzrG=GleT)d1YGpOl^da$n&c=pB=34Q6TyXsOG zf8nHF3%tKSytm%!@|rYNCQmp}K<#-0;IsszSX)rbjP^+O;8`wV#~GSrQG-On7)VIM zb%Khsx|qu{bE)?HGIN(ZHZkoi{>ENlIW6G%b;T{Rdv>o?Yu=`{Tb$t?VDy3>EvQZ) za&5u%w@5D5CjIw!M65gpV~bR+5F8h`iPJa#Htr%V4G|gJ3*k(XKZ+MXJ>#+9q5*TU z?A6-!#j~=-S{C3SO(P3TN-q zxne21FIJ<>xC%8?wRSYXTy#+AZkCT==7cq9Wlcrtt;fj6hoADLF&&fSuIXnTWY$uH zW3fP&BWhhodh%0tC9%E!3Kn>Ku|BiuCq2tmpYt^1;IY)?o=|ws8VDWHH#)1iw$;ex-qAjP=$JW|fZ{ zZn*N>1^cxX9g}?i9Ql(}O^9bv(&!kEz|f;Cu(I%8nX0tButJO7jt{ktQ+7YiPG1RG zqs-4xa&xyzm24)X?=g6rF@QsCnq;62%EDZpGhZNHAM3gDoEG$0a%b48a2HfJDaWX( z!@fLlz+#zuP)hTTru9IWU!J$N9+tWKl9jBz=eY86X$3I$?R=vTd47&z%uI`aR((^M z(H!$CEiSH7TQ_Ov>X}Nkn3;E$;a|`J2)&6=7QOGl#!K3xW8s!|divlFt&;;ieaH6d zt6bdkMZqS?zwj2wj@QO%VkRf)pbM)&7a4G#A|K{SR_4_HoMk!Wy>w%7-6O;?_=$7fBZeB76(BVZjc-wPf2^O9o1lOV zD87YELMJjE?q7Sq%|YHDH{TvqV|Ao@DR}_Mp`ZMp1ZKjZ>j!Qw#{}{(UOlbmKM*GD zWe1AkPCQUb6@X9Jp#c*71dI2P}3SV=X`HNp+!8!1y+ z<&9$d#i{Z+{4%bI!m4a=dzz=CZ$B9- z7@*V~du;~0kQxDh{mv9B*=RT7d@sz)RZ2L*_6fw&(=GqkSx4%@cZbwkU!=lw7jC-R zPPO5aR-dmBH!O^M!o@tTtZ=;?5IakCbz=qFm*h`nweEus22X!@B&BYK!q``rNgQO1 z8PMnJovA9P#m(?<(OdN@e08E1OcRUU9nyDw^mQ6O0@2oa#vm$H&FEnQ*q#)1N~LUd zbD*y!fL>%l*8%H`S-m39H<)qx$$qs%+7#5{1)h{r#Yq;Dg%D@5mu9 zv`ZsZ*jVfALb^Ygc75*ea&`#Rh0%~6zY!D{qAE{cZtwBp3LGnS5p7TsY=qg{cQ$xv z;X(?B1vgd3V79d#$Smv@-Ljell~<>!Y`61_sPlrGEs9N1X!DW1Q-TBfj5^3FSsS|Z zlrmg$+aC$PzKS%H+~NSd(a=v zWllkC>C$$`mTzUv0LGmwpsVX-`7ZmQ~H{M zFtyeCq|)~T7zYF_<8~9-6LL=^Bb)xsC^^H@hjq!oi}T=xo|u_iSRkqh4&|6U;>`IiWqcz#vJ zwTYT|`bIX7!^qt4u?&O$0J8OpUD?Sl_H!kfloVFO=m^3c3i`=B%f1r^?5P69aw<+F znMPNKCqU;-J?Hi?iY3IerXQD+T6vJq+5)X_WJFhr?p!SGGv+1dh~12@HYnUIB7N(l z_P%1$0Di9u8j+%D>p8Dk5<<|vW?3HMu;uhDFBQJ`uIgY#)zRj=X2qRdL|i4=_PzV;>olGG26tovORmUdKS5Q zrdNVm4mj~|wz z!$~)Fyc~!->tpbK%80r+8M&;zf5kDFRcY2bz9FHlK^1N4PdzPTrehRK?9W^}Zlbe# zzV&EpPcp^w^fY5!#qR8v)xd+>>P$QwQqXfh+8mTl?q8;KNaq#lm8kjXYhx=c?*&x#@AbiB z)T{V6h?8@LCoiu4dY)@}5NUnYC(pW&<~q26kc^3Etr8#i5a%uU>jymPs^A1+u?*fU z&%eR7+uy;!U8nE_VAV1Nth8nX5)hveI=7~+FOXK?-w|Gi)_|9mpO*KZq=u7|JFNiU zzu!kR(76>It(^X$@ciFMhSorYhfhdO4)D)%Qci$ZT2?@sUs~V;K$2HVR+3LrPFh${ zjQ0OeF~a)avw@dKfcHOZPNpp!zp zN&SG?3bweJnX9bWx|(BFt~5=`tX5B^G7<>&rpB|N_1YM=xaYdq(sNzEiUB%C{r8?t z++Z1gW23L^8O7|T$cCI5M7!F{R;es@Z2DrsyT3xTqdkAtW0p<=K)+&>h<}kg5G=7y zlYfq$ivUQqz|G_~72O$*rN#ZOK*9T4qn2P_jo0VU}c${3COtHIy6PR@pFQIlvRlWIB zah)VTiLZ}SBIf+gf#j#LbRU_NX4YLoX>|%~$@n886*`k*DZh!{zJ&awcW(Ivm`rX8 zJMT-bl-$SQ{+>D|FXBuD3sXv!?^he}>4=&e^i7CGT|j4~QP8`G2l6It$L|nR;uUyk z7iAN|X^@{Ob$QT}DHcbo9z(?!j_c@tD-!xjj3d5LLVdgS+!T9 zto2!1+poSRw&Xc~^L3FG^sOf3ov~%YwshB*3Dn6Xi!h5FJ4}GpX_qE%@Nxh-Lra%FYk} z;4(yQv~ql1rfMbA)K0b^T0zNiXi)Im43@K+>CaAqA0S)!KZr$WD*tGCRR7J?pr*YG zj6{OYBYSiJtCbY@M;I~6o7->7wCATrm5od&@bU#xSE$pc`F_LS)AA+|5D2?am!Qow z2b^aBoDi|z9WjYy@Tl5(KHW<@bSc>KFTgdni255~P)YRsc0D%{OK42?+9k`_OcY2X zh1i0smbdR3fHaf#(+LM|Pq!$X*9ce{7N)pg)oupD^+ktOGprQrLdYO$L4PE!HV8>w zpB|bkCpo4PK4A2B{$6%culL3Nr>&;=F|98bk=oqn0#-&Xs9ZlrOova-!1X|KLxlM* zEN6nzAcGA+I)YcHQRjE{D^oZgoav?`KasVv93Ke2`2u+kre)Tgs5~@bM4vRmf7$rT$(K^6?``%&n|=ioX4B|K$46{ p;32rgB>U!auO~JB;ZW;|rh4bG3cT5lK!YyK3qWULl2w;O|36NrK&Su!