From 24fed0489d40a652521234943c5d8791f4d5daaa Mon Sep 17 00:00:00 2001 From: ali <ali@ali.lan> Date: Mon, 1 Jun 2015 15:46:40 +0200 Subject: [PATCH] Update by Ali today --- ACRONYMS.tex | 0 Abstruct.tex | 0 CHAPITRE_01.tex | 0 CHAPITRE_02.tex | 0 CHAPITRE_03.tex | 0 CHAPITRE_04.tex | 161 ++++++++++++------------ CHAPITRE_05.tex | 2 +- CHAPITRE_06.tex | 0 CONCLUSION.tex | 0 Figures/CHAPITRE_01.tex~ | 0 Figures/CHAPITRE_02.tex~ | 0 Figures/Introduction.tex~ | 0 Figures/bib.tex~ | 0 Figures/ch1/RDM-eps-converted-to.pdf | Bin Figures/ch1/RDM.eps | 0 Figures/ch1/RDM.pdf | Bin Figures/ch1/WNT-eps-converted-to.pdf | Bin Figures/ch1/WNT.eps | 0 Figures/ch1/WNT.pdf | Bin Figures/ch1/WSN-M.eps | 0 Figures/ch1/WSN-M.pdf | Bin Figures/ch1/WSN-S.pdf | Bin Figures/ch1/WSNAP-eps-converted-to.pdf | Bin Figures/ch1/WSNAP.eps | 0 Figures/ch1/WSNAP.pdf | Bin Figures/ch1/WSNT.jpg | Bin Figures/ch1/twsn2.pdf | Bin Figures/ch1/typesWSN.pdf | Bin Figures/ch1/wsn-t-eps-converted-to.pdf | Bin Figures/ch1/wsn-t.eps | 0 Figures/ch1/wsn.jpg | Bin Figures/ch2/DESK.eps | 0 Figures/ch2/DESK.jpeg | Bin Figures/ch2/GAF1.eps | 0 Figures/ch2/GAF1.jpeg | Bin Figures/ch2/GAF2.eps | 0 Figures/ch2/GAF2.jpeg | Bin Figures/ch2/P1.jpg | Bin Figures/ch2/P11.jpg | Bin Figures/ch2/P2.jpg | Bin Figures/ch2/P22.jpg | Bin Figures/ch4/FirstModel.pdf | Bin Figures/ch4/OneSensingRound.jpg | Bin Figures/ch4/R1/ASR.pdf | Bin Figures/ch4/R1/CR.pdf | Bin Figures/ch4/R1/EC50.pdf | Bin Figures/ch4/R1/EC95.pdf | Bin Figures/ch4/R1/LT50.pdf | Bin Figures/ch4/R1/LT95.pdf | Bin Figures/ch4/R1/SR.pdf | Bin Figures/ch4/R1/T.eps | 0 Figures/ch4/R1/T.pdf | Bin Figures/ch4/R1/T.ps | 0 Figures/ch4/R2/ASR.pdf | Bin Figures/ch4/R2/CR.pdf | Bin Figures/ch4/R2/EC50.pdf | Bin Figures/ch4/R2/EC95.pdf | Bin Figures/ch4/R2/LT50.pdf | Bin Figures/ch4/R2/LT95.pdf | Bin Figures/ch4/R2/SR.pdf | Bin Figures/ch4/R2/T.eps | 0 Figures/ch4/R2/T.pdf | Bin Figures/ch4/R2/T.ps | 0 Figures/ch4/R3/ASR.pdf | Bin 11798 -> 0 bytes Figures/ch4/R3/CR.pdf | Bin 11999 -> 0 bytes Figures/ch4/R3/EC50.pdf | Bin 8246 -> 0 bytes Figures/ch4/R3/EC95.pdf | Bin 8255 -> 0 bytes Figures/ch4/R3/LT50.pdf | Bin 8324 -> 0 bytes Figures/ch4/R3/LT95.pdf | Bin 8324 -> 0 bytes Figures/ch4/R3/SR.pdf | Bin 9148 -> 0 bytes Figures/ch4/fig21.pdf | Bin Figures/ch4/fig22.pdf | Bin Figures/ch4/fig23.pdf | Bin Figures/ch4/fig24.pdf | Bin Figures/ch4/fig25.pdf | Bin Figures/ch4/fig26.pdf | Bin Figures/ch4/fig27.pdf | Bin Figures/ch4/principles13.pdf | Bin Figures/ch5/GeneralModel.jpg | Bin Figures/ch5/Modelgeneral.pdf | Bin Figures/ch5/R1/ASR.pdf | Bin Figures/ch5/R1/CR.pdf | Bin Figures/ch5/R1/EC50.pdf | Bin Figures/ch5/R1/EC95.pdf | Bin Figures/ch5/R1/LT50.pdf | Bin Figures/ch5/R1/LT95.pdf | Bin Figures/ch5/R1/SR.pdf | Bin Figures/ch5/R1/T.pdf | Bin Figures/ch6/Model.pdf | Bin Figures/ch6/R/ASR-eps-converted-to.pdf | Bin Figures/ch6/R/ASR.eps | 0 Figures/ch6/R/ASR.pdf | Bin Figures/ch6/R/CR-eps-converted-to.pdf | Bin Figures/ch6/R/CR.eps | 0 Figures/ch6/R/CR.pdf | Bin Figures/ch6/R/EC50-eps-converted-to.pdf | Bin Figures/ch6/R/EC50.eps | 0 Figures/ch6/R/EC50.pdf | Bin Figures/ch6/R/EC95-eps-converted-to.pdf | Bin Figures/ch6/R/EC95.eps | 0 Figures/ch6/R/EC95.pdf | Bin Figures/ch6/R/LT50-eps-converted-to.pdf | Bin Figures/ch6/R/LT50.eps | 0 Figures/ch6/R/LT50.pdf | Bin Figures/ch6/R/LT95-eps-converted-to.pdf | Bin Figures/ch6/R/LT95.eps | 0 Figures/ch6/R/LT95.pdf | Bin Figures/ch6/R/LTa-eps-converted-to.pdf | Bin Figures/ch6/R/LTa.eps | 0 Figures/ch6/R/LTa.pdf | Bin Figures/ch6/ex4pcm.jpg | Bin Figures/ch6/ex5pcm.jpg | Bin Figures/ch6/expcm.pdf | Bin Figures/ch6/expcm2.jpg | Bin Figures/ch6/pcm.jpg | Bin Figures/ch6/twosensors.jpg | Bin Figures/citation.tex~ | 0 Figures/entete.tex~ | 0 Figures/these.tex~ | 0 INTRODUCTION.tex | 0 Resume.tex | 0 Thesis.tex | 0 Thesis.toc | 6 +- algorithme.sty | 0 bib.bib | 0 changemargin.sty | 0 drop.sty | 0 dropping.sty | 0 entete.tex | 0 missfont.log | 0 upmethodology-document.sty | 0 upmethodology-fmt.sty | 0 upmext-spimufcphdthesis.cfg | 0 yfonts.sty | 0 134 files changed, 85 insertions(+), 84 deletions(-) mode change 100755 => 100644 ACRONYMS.tex mode change 100755 => 100644 Abstruct.tex mode change 100755 => 100644 CHAPITRE_01.tex mode change 100755 => 100644 CHAPITRE_02.tex mode change 100755 => 100644 CHAPITRE_03.tex mode change 100755 => 100644 CHAPITRE_04.tex mode change 100755 => 100644 CHAPITRE_05.tex mode change 100755 => 100644 CHAPITRE_06.tex mode change 100755 => 100644 CONCLUSION.tex mode change 100755 => 100644 Figures/CHAPITRE_01.tex~ mode change 100755 => 100644 Figures/CHAPITRE_02.tex~ mode change 100755 => 100644 Figures/Introduction.tex~ mode change 100755 => 100644 Figures/bib.tex~ mode change 100755 => 100644 Figures/ch1/RDM-eps-converted-to.pdf mode change 100755 => 100644 Figures/ch1/RDM.eps mode change 100755 => 100644 Figures/ch1/RDM.pdf mode change 100755 => 100644 Figures/ch1/WNT-eps-converted-to.pdf mode change 100755 => 100644 Figures/ch1/WNT.eps mode change 100755 => 100644 Figures/ch1/WNT.pdf mode change 100755 => 100644 Figures/ch1/WSN-M.eps mode change 100755 => 100644 Figures/ch1/WSN-M.pdf mode change 100755 => 100644 Figures/ch1/WSN-S.pdf mode change 100755 => 100644 Figures/ch1/WSNAP-eps-converted-to.pdf mode change 100755 => 100644 Figures/ch1/WSNAP.eps mode change 100755 => 100644 Figures/ch1/WSNAP.pdf mode change 100755 => 100644 Figures/ch1/WSNT.jpg mode change 100755 => 100644 Figures/ch1/twsn2.pdf mode change 100755 => 100644 Figures/ch1/typesWSN.pdf mode change 100755 => 100644 Figures/ch1/wsn-t-eps-converted-to.pdf mode change 100755 => 100644 Figures/ch1/wsn-t.eps mode change 100755 => 100644 Figures/ch1/wsn.jpg mode change 100755 => 100644 Figures/ch2/DESK.eps mode change 100755 => 100644 Figures/ch2/DESK.jpeg mode change 100755 => 100644 Figures/ch2/GAF1.eps mode change 100755 => 100644 Figures/ch2/GAF1.jpeg mode change 100755 => 100644 Figures/ch2/GAF2.eps mode change 100755 => 100644 Figures/ch2/GAF2.jpeg mode change 100755 => 100644 Figures/ch2/P1.jpg mode change 100755 => 100644 Figures/ch2/P11.jpg mode change 100755 => 100644 Figures/ch2/P2.jpg mode change 100755 => 100644 Figures/ch2/P22.jpg mode change 100755 => 100644 Figures/ch4/FirstModel.pdf mode change 100755 => 100644 Figures/ch4/OneSensingRound.jpg mode change 100755 => 100644 Figures/ch4/R1/ASR.pdf mode change 100755 => 100644 Figures/ch4/R1/CR.pdf mode change 100755 => 100644 Figures/ch4/R1/EC50.pdf mode change 100755 => 100644 Figures/ch4/R1/EC95.pdf mode change 100755 => 100644 Figures/ch4/R1/LT50.pdf mode change 100755 => 100644 Figures/ch4/R1/LT95.pdf mode change 100755 => 100644 Figures/ch4/R1/SR.pdf mode change 100755 => 100644 Figures/ch4/R1/T.eps mode change 100755 => 100644 Figures/ch4/R1/T.pdf mode change 100755 => 100644 Figures/ch4/R1/T.ps mode change 100755 => 100644 Figures/ch4/R2/ASR.pdf mode change 100755 => 100644 Figures/ch4/R2/CR.pdf mode change 100755 => 100644 Figures/ch4/R2/EC50.pdf mode change 100755 => 100644 Figures/ch4/R2/EC95.pdf mode change 100755 => 100644 Figures/ch4/R2/LT50.pdf mode change 100755 => 100644 Figures/ch4/R2/LT95.pdf mode change 100755 => 100644 Figures/ch4/R2/SR.pdf mode change 100755 => 100644 Figures/ch4/R2/T.eps mode change 100755 => 100644 Figures/ch4/R2/T.pdf mode change 100755 => 100644 Figures/ch4/R2/T.ps delete mode 100755 Figures/ch4/R3/ASR.pdf delete mode 100755 Figures/ch4/R3/CR.pdf delete mode 100755 Figures/ch4/R3/EC50.pdf delete mode 100755 Figures/ch4/R3/EC95.pdf delete mode 100755 Figures/ch4/R3/LT50.pdf delete mode 100755 Figures/ch4/R3/LT95.pdf delete mode 100755 Figures/ch4/R3/SR.pdf mode change 100755 => 100644 Figures/ch4/fig21.pdf mode change 100755 => 100644 Figures/ch4/fig22.pdf mode change 100755 => 100644 Figures/ch4/fig23.pdf mode change 100755 => 100644 Figures/ch4/fig24.pdf mode change 100755 => 100644 Figures/ch4/fig25.pdf mode change 100755 => 100644 Figures/ch4/fig26.pdf mode change 100755 => 100644 Figures/ch4/fig27.pdf mode change 100755 => 100644 Figures/ch4/principles13.pdf mode change 100755 => 100644 Figures/ch5/GeneralModel.jpg mode change 100755 => 100644 Figures/ch5/Modelgeneral.pdf mode change 100755 => 100644 Figures/ch5/R1/ASR.pdf mode change 100755 => 100644 Figures/ch5/R1/CR.pdf mode change 100755 => 100644 Figures/ch5/R1/EC50.pdf mode change 100755 => 100644 Figures/ch5/R1/EC95.pdf mode change 100755 => 100644 Figures/ch5/R1/LT50.pdf mode change 100755 => 100644 Figures/ch5/R1/LT95.pdf mode change 100755 => 100644 Figures/ch5/R1/SR.pdf mode change 100755 => 100644 Figures/ch5/R1/T.pdf mode change 100755 => 100644 Figures/ch6/Model.pdf mode change 100755 => 100644 Figures/ch6/R/ASR-eps-converted-to.pdf mode change 100755 => 100644 Figures/ch6/R/ASR.eps mode change 100755 => 100644 Figures/ch6/R/ASR.pdf mode change 100755 => 100644 Figures/ch6/R/CR-eps-converted-to.pdf mode change 100755 => 100644 Figures/ch6/R/CR.eps mode change 100755 => 100644 Figures/ch6/R/CR.pdf mode change 100755 => 100644 Figures/ch6/R/EC50-eps-converted-to.pdf mode change 100755 => 100644 Figures/ch6/R/EC50.eps mode change 100755 => 100644 Figures/ch6/R/EC50.pdf mode change 100755 => 100644 Figures/ch6/R/EC95-eps-converted-to.pdf mode change 100755 => 100644 Figures/ch6/R/EC95.eps mode change 100755 => 100644 Figures/ch6/R/EC95.pdf mode change 100755 => 100644 Figures/ch6/R/LT50-eps-converted-to.pdf mode change 100755 => 100644 Figures/ch6/R/LT50.eps mode change 100755 => 100644 Figures/ch6/R/LT50.pdf mode change 100755 => 100644 Figures/ch6/R/LT95-eps-converted-to.pdf mode change 100755 => 100644 Figures/ch6/R/LT95.eps mode change 100755 => 100644 Figures/ch6/R/LT95.pdf mode change 100755 => 100644 Figures/ch6/R/LTa-eps-converted-to.pdf mode change 100755 => 100644 Figures/ch6/R/LTa.eps mode change 100755 => 100644 Figures/ch6/R/LTa.pdf mode change 100755 => 100644 Figures/ch6/ex4pcm.jpg mode change 100755 => 100644 Figures/ch6/ex5pcm.jpg mode change 100755 => 100644 Figures/ch6/expcm.pdf mode change 100755 => 100644 Figures/ch6/expcm2.jpg mode change 100755 => 100644 Figures/ch6/pcm.jpg mode change 100755 => 100644 Figures/ch6/twosensors.jpg mode change 100755 => 100644 Figures/citation.tex~ mode change 100755 => 100644 Figures/entete.tex~ mode change 100755 => 100644 Figures/these.tex~ mode change 100755 => 100644 INTRODUCTION.tex mode change 100755 => 100644 Resume.tex mode change 100755 => 100644 Thesis.tex mode change 100755 => 100644 Thesis.toc mode change 100755 => 100644 algorithme.sty mode change 100755 => 100644 bib.bib mode change 100755 => 100644 changemargin.sty mode change 100755 => 100644 drop.sty mode change 100755 => 100644 dropping.sty mode change 100755 => 100644 entete.tex mode change 100755 => 100644 missfont.log mode change 100755 => 100644 upmethodology-document.sty mode change 100755 => 100644 upmethodology-fmt.sty mode change 100755 => 100644 upmext-spimufcphdthesis.cfg mode change 100755 => 100644 yfonts.sty diff --git a/ACRONYMS.tex b/ACRONYMS.tex old mode 100755 new mode 100644 diff --git a/Abstruct.tex b/Abstruct.tex old mode 100755 new mode 100644 diff --git a/CHAPITRE_01.tex b/CHAPITRE_01.tex old mode 100755 new mode 100644 diff --git a/CHAPITRE_02.tex b/CHAPITRE_02.tex old mode 100755 new mode 100644 diff --git a/CHAPITRE_03.tex b/CHAPITRE_03.tex old mode 100755 new mode 100644 diff --git a/CHAPITRE_04.tex b/CHAPITRE_04.tex old mode 100755 new mode 100644 index 2df2e9e..6365fb8 --- a/CHAPITRE_04.tex +++ b/CHAPITRE_04.tex @@ -145,8 +145,6 @@ The leader will solve an integer program (see section~\ref{ch4:sec:03}) to \label{ch4:sec:02:03:04} Active sensors in the round will execute their sensing task to preserve maximal coverage in the region of interest. We will assume that the cost of keeping a node awake (or asleep) for sensing task is the same for all wireless sensor nodes in the network. Each sensor will receive an ActiveSleep packet from the leader informing it to stay awake or to go to sleep for a time equal to the round of sensing until starting a new period. -An outline of the protocol implementation is given by Algorithm~\ref{alg:DiLCO} which describes the execution of a period by a node (denoted by $s_j$ for a sensor node indexed by $j$). In the beginning, a node checks whether it has enough energy to stay active during the next sensing phase (i.e., the remaining energy ($RE_j$) $\geq$ $E_{th}$ (the amount of energy required to be alive during one round)). If yes, it exchanges information with all the other nodes belonging to the same subregion: it collects from each node its position coordinates, remaining energy ($RE_j$), ID, and the number of one-hop neighbors still alive. Once the first phase is completed, the nodes of a subregion choose a leader to take the decision based on the following criteria with decreasing importance: larger number of neighbors, larger remaining energy, and then in case of equality, larger index. After that, if the sensor node is leader, it will execute the integer program algorithm (see Section~\ref{ch4:sec:03}) which provides a set of sensors planned to be active in the next sensing phase. As leader, it will send an Active-Sleep packet to each sensor in the same subregion to indicate it if it has to be active or not. Alternately, if the sensor is not the leader, it will wait for the Active-Sleep packet to know its state for the coming sensing phase. - \begin{algorithm}[h!] \BlankLine @@ -185,6 +183,7 @@ An outline of the protocol implementation is given by Algorithm~\ref{alg:DiLCO} \end{algorithm} +An outline of the protocol implementation is given by Algorithm~\ref{alg:DiLCO} which describes the execution of a period by a node (denoted by $s_j$ for a sensor node indexed by $j$). In the beginning, a node checks whether it has enough energy to stay active during the next sensing phase (i.e., the remaining energy ($RE_j$) $\geq$ $E_{th}$ (the amount of energy required to be alive during one round)). If yes, it exchanges information with all the other nodes belonging to the same subregion: it collects from each node its position coordinates, remaining energy ($RE_j$), ID, and the number of one-hop neighbors still alive. Once the first phase is completed, the nodes of a subregion choose a leader to take the decision based on the following criteria with decreasing importance: larger number of neighbors, larger remaining energy, and then in case of equality, larger index. After that, if the sensor node is leader, it will execute the integer program algorithm (see Section~\ref{ch4:sec:03}) which provides a set of sensors planned to be active in the next sensing phase. As leader, it will send an Active-Sleep packet to each sensor in the same subregion to indicate it if it has to be active or not. Alternately, if the sensor is not the leader, it will wait for the Active-Sleep packet to know its state for the coming sensing phase. %Primary Points based \section{Coverage Problem Formulation} @@ -281,7 +280,7 @@ large compared to $W_{\theta}$. \section{Simulation Results and Analysis} \label{ch4:sec:04} -\subsection{Simulation Framework} %%% +\subsection{Simulation Framework} \label{ch4:sec:04:01} To assess the performance of DiLCO protocol, we have used the discrete event simulator OMNeT++ \cite{ref158} to run different series of simulations. Table~\ref{tablech4} gives the chosen parameters setting. @@ -368,8 +367,9 @@ COMPUTATION & on & on & on & 26.83 \\ % is used to refer this table in the text \end{table} -\indent For the sake of simplicity we ignore the energy needed to turn on the radio, to start up the sensor node, to move from one status to another, etc. Thus, when a sensor becomes active (i.e., it has already received its status from leader), it can turn its radio off to save battery. The value of energy spent to send a 1-bit-content message is obtained by using the equation in ~\cite{ref112} to calculate the energy cost for transmitting messages and we propose the same value for receiving the packets. The energy needed to send or receive a 1-bit packet is equal to $0.2575~mW$. - +\indent For the sake of simplicity we ignore the energy needed to turn on the radio, to start up the sensor node, to move from one status to another, etc. Thus, when a sensor becomes active (i.e., it has already received its status from leader), it can turn its radio off to save battery. DiLCO uses two types of packets +for communication. The size of the INFO packet and Active-Sleep packet +are 112 bits and 16 bits respectively. The value of energy spent to send a 1-bit-content message is obtained by using the equation in ~\cite{ref112} to calculate the energy cost for transmitting messages and we propose the same value for receiving the packets. The energy needed to send or receive a 1-bit packet is equal to $0.2575~mW$. %We have used an energy consumption model, which is presented in chapter 1, section \ref{ch1:sec9:subsec2}. @@ -399,7 +399,7 @@ the efficiency of our approach: coverage ratio: \begin{equation*} \scriptsize -\mbox{CR}(\%) = \frac{\mbox{$n$}}{\mbox{$N$}} \times 100. +\mbox{CR}(\%) = \frac{\mbox{$n$}}{\mbox{$N$}} \times 100, \end{equation*} where $n$ is the number of covered grid points by active sensors of every subregions during the current sensing phase and $N$ is the total number of grid @@ -425,13 +425,13 @@ in order to minimize the communication overhead and maximize the network lifetime. The Active Sensors Ratio is defined as follows: \begin{equation*} \scriptsize -\mbox{ASR}(\%) = \frac{\sum\limits_{r=1}^R \mbox{$A_r$}}{\mbox{$J$}} \times 100 . +\mbox{ASR}(\%) = \frac{\sum\limits_{r=1}^R \mbox{$A_r$}}{\mbox{$J$}} \times 100, \end{equation*} -Where: $A_r$ is the number of active sensors in the subregion $r$ during current period, $J$ is the total number of sensors in the network, and $R$ is the total number of the subregions in the network. +where $A_r$ is the number of active sensors in the subregion $r$ during current period, $J$ is the total number of sensors in the network, and $R$ is the total number of subregions in the network. \item {{\bf Execution Time}:} a sensor node has limited energy resources and computing power, therefore it is important that the proposed algorithm has the shortest possible execution time. The energy of a sensor node must be mainly used for the sensing phase, not for the pre-sensing ones. In this dissertation, the original execution time is computed on a laptop DELL with Intel Core~i3~2370~M (2.4 GHz) processor (2 cores) and the MIPS (Million Instructions Per Second) rate equal to 35330. To be consistent with the use of a sensor node with Atmel's AVR ATmega103L microcontroller (6 MHz) and a MIPS rate equal to 6 to run the optimization resolution, this time is multiplied by 2944.2 $\left( \frac{35330}{2} \times \frac{1}{6} \right)$. -\item {{\bf Stopped simulation runs}:} A simulation ends when the sensor network becomes disconnected (some nodes are dead and are not able to send information to the base station). We report the number of simulations that are stopped due to network disconnections and for which round it occurs.% ( in chapter 4, period consists of one round). +\item {{\bf Stopped simulation runs}:} a simulation ends when the sensor network becomes disconnected (some nodes are dead and are not able to send information to the base station). We report the number of simulations that are stopped due to network disconnections and for which round it occurs.% ( in chapter 4, period consists of one round). \end{enumerate} @@ -440,15 +440,15 @@ Where: $A_r$ is the number of active sensors in the subregion $r$ during current \subsection{Performance Analysis for Different Number of Subregions} \label{ch4:sec:04:05} -In this subsection, we are study the performance of our DiLCO protocol for a different number of subregions (Leaders). -The DiLCO-1 protocol is a centralized approach to all the area of the interest, while DiLCO-2, DiLCO-4, DiLCO-8, DiLCO-16 and DiLCO-32 are distributed on two, four, eight, sixteen, and thirty-two subregions respectively. We do not take the DiLCO-1 protocol in our simulation results because it needs a high execution time to give the decision leading to consume all its energy before producing the solution for the optimization problem. +In this subsection, we study the performance of our DiLCO protocol for different numbers of subregions. +The DiLCO-1 protocol is a centralized approach for the whole area of the interest, while DiLCO-2, DiLCO-4, DiLCO-8, DiLCO-16 and DiLCO-32 are distributed on two, four, eight, sixteen, and thirty-two subregions respectively. We do not take into account the DiLCO-1 protocol in our simulation results because it needs a high execution time to give the decision, leading to consume all its energy before producing the solution for the optimization problem. \begin{enumerate}[i)] \item {{\bf Coverage Ratio}} %\subsubsection{Coverage Ratio} %\label{ch4:sec:04:02:01} -In this experiment, Figure~\ref{Figures/ch4/R1/CR} shows the average coverage ratio for 150 deployed nodes. +Figure~\ref{Figures/ch4/R1/CR} shows the average coverage ratio for 150 deployed nodes. \parskip 0pt \begin{figure}[h!] \centering @@ -457,8 +457,8 @@ In this experiment, Figure~\ref{Figures/ch4/R1/CR} shows the average coverage ra \label{Figures/ch4/R1/CR} \end{figure} It can be seen that DiLCO protocol (with 4, 8, 16 and 32 subregions) gives nearly similar coverage ratios during the first thirty rounds. -DiLCO-2 protocol gives near similar coverage ratio with other ones for first 10 rounds and then decreased until the died of the network in the round $18^{th}$. In case of only 2 subregions, the energy consumption is high and the network is rapidly disconnected. -As shown in the Figure ~\ref{Figures/ch4/R1/CR}, as the number of subregions increases, the coverage preservation for the area of interest increases for a larger number of rounds. Coverage ratio decreases when the number of rounds increases due to dead nodes. Although some nodes are dead, thanks to DiLCO-8, DiLCO-16, and DiLCO-32 protocols, other nodes are preserved to ensure the coverage. Moreover, when we have a dense sensor network, it leads to maintain the coverage for a larger number of rounds. DiLCO-8, DiLCO-16, and DiLCO-32 protocols are slightly more efficient than other protocols, because they subdivide the area of interest into 8, 16 and 32~subregions; if one of the subregions becomes disconnected, the coverage may be still ensured in the remaining subregions. +DiLCO-2 protocol gives a coverage ratio very close to the other protocols for the first 10 periods, and then the coverage decreases until the died of the network in the period $18^{th}$. In case of only 2 subregions, the energy consumption is high and the network is rapidly disconnected. +As can be seen in Figure ~\ref{Figures/ch4/R1/CR}, as the number of subregions increases, the coverage preservation for the area of interest increases for a larger number of rounds. Coverage ratio decreases when the number of rounds increases due to dead nodes. Although some nodes are dead, thanks to DiLCO-8, DiLCO-16, and DiLCO-32 protocols, other nodes are preserved to ensure the coverage. Moreover, when we have a dense sensor network, it leads to maintain the coverage for a larger number of rounds. DiLCO-8, DiLCO-16, and DiLCO-32 protocols are slightly more efficient than other protocols, because they subdivide the area of interest into 8, 16 and 32~subregions; if one of the subregions becomes disconnected, the coverage may be still ensured in the remaining subregions. \item {{\bf Active Sensors Ratio}} %\subsubsection{Active Sensors Ratio} @@ -471,9 +471,9 @@ Figure~\ref{Figures/ch4/R1/ASR} shows the average active nodes ratio for 150 dep \label{Figures/ch4/R1/ASR} \end{figure} -The results presented in Figure~\ref{Figures/ch4/R1/ASR} show the increase of the number of subregions lead to the increase of the number of active nodes. The DiLCO-16 and DiLCO-32 protocols have a larger number of active nodes, but it preserve the coverage for a larger number of rounds. The advantage of the DiLCO-16 and DiLCO-32 protocols are that even if a network is disconnected in one subregion, the other ones usually continues the optimization process, and this extends the lifetime of the network. +The results presented in the figure show that increasing the number of subregions lead to the increase of the number of active nodes. The DiLCO-16 and DiLCO-32 protocols have a larger number of active nodes, but they both preserve the coverage for a larger number of rounds. The advantage of the DiLCO-16 and DiLCO-32 protocols are that even if a network is disconnected in one subregion, the other ones usually continue the optimization process, and this extends the lifetime of the network. -\item {{\bf The percentage of stopped simulation runs}} +\item {{\bf Stopped simulation runs}} %\subsubsection{The percentage of stopped simulation runs} Figure~\ref{Figures/ch4/R1/SR} illustrates the percentage of stopped simulation runs per round for 150 deployed nodes. @@ -485,36 +485,37 @@ Figure~\ref{Figures/ch4/R1/SR} illustrates the percentage of stopped simulation \end{figure} DiLCO-2 is the approach which stops first because it applies the optimization on only two subregions and the high energy consumption accelerate the network disconnection. -Thus, as explained previously, in case of the DiLCO-16 and DiLCO-32 with several subregions, the optimization effectively continues as long as a network in a subregion is still connected. This longer partial coverage optimization participates in extending the network lifetime. +Thus, as explained previously, in case of DiLCO-16 and DiLCO-32 which have many subregions, the optimization effectively continues as long as a subnetwork in a subregion is still connected. This longer partial coverage optimization participates in extending the network lifetime. -\item {{\bf The Energy Consumption}} +\item {{\bf Energy Consumption}} %\subsubsection{The Energy Consumption} -We measure the energy consumed by the sensors during the communication, listening, computation, active, and sleep modes for different network densities and compare it for different subregions. Figures~\ref{Figures/ch4/R1/EC95} and ~\ref{Figures/ch4/R1/EC50} illustrate the energy consumption for different network sizes for $Lifetime95$ and $Lifetime50$. +We measure the energy consumed by the sensors during the communication, listening, computation, active, and sleep modes for different network densities and compare it for different subregions. Figures~\ref{Figures/ch4/R1/EC95} and ~\ref{Figures/ch4/R1/EC50} illustrate the energy consumption for different network sizes for $Lifetime_{95}$ and $Lifetime_{50}$. \begin{figure}[h!] \centering \includegraphics[scale=0.8]{Figures/ch4/R1/EC95.pdf} -\caption{Energy Consumption for Lifetime95} +\caption{Energy Consumption for $Lifetime_{95}$} \label{Figures/ch4/R1/EC95} \end{figure} The results show that DiLCO-16 and DiLCO-32 are the most competitive from the energy consumption point of view. The other approaches have a high energy consumption due to the energy consumed during the different modes of the sensor node.\\ -As shown in Figures~\ref{Figures/ch4/R1/EC95} and ~\ref{Figures/ch4/R1/EC50}, DiLCO-2 consumes more energy than the other versions of DiLCO, especially for large sizes of network. This is easy to understand since the bigger the number of sensors involved in the integer program, the larger the time computation to solve the optimization problem, as well as the higher energy consumed during the communication. +As shown in Figures~\ref{Figures/ch4/R1/EC95} and ~\ref{Figures/ch4/R1/EC50}, DiLCO-2 consumes more energy than the other versions of DiLCO, especially for large sizes of network. This is easy to understand since the bigger the number of sensors involved in the integer program, the larger the computation time to solve the optimization problem, as well as the higher energy consumed during the communication. \begin{figure}[h!] \centering \includegraphics[scale=0.8]{Figures/ch4/R1/EC50.pdf} -\caption{Energy Consumption for Lifetime50} +\caption{Energy Consumption for $Lifetime_{50}$} \label{Figures/ch4/R1/EC50} \end{figure} -In fact, the distribution of the computation over many subregions greatly reduces the number of communications, the time of listening and computation so thanks to the partitioning of the initial network in several independent subnetworks. +In fact, the distribution of the computation over many subregions greatly reduces the number of communications, the time of listening and computation. \item {{\bf Execution Time}} %\subsubsection{Execution Time} In this experiment, the execution time of the our distributed optimization approach has been studied. Figure~\ref{Figures/ch4/R1/T} gives the average execution times in seconds for the decision phase (solving of the optimization problem) during one round. They are given for the different approaches and various numbers of sensors. The original execution time is computed as described in section \ref{ch4:sec:04:04}. -%The original execution time is computed on a laptop DELL with intel Core i3 2370 M (2.4 GHz) processor (2 cores) and the MIPS (Million Instructions Per Second) rate equal to 35330. To be consistent with the use of a sensor node with Atmels AVR ATmega103L microcontroller (6 MHz) and a MIPS rate equal to 6 to run the optimization resolution, this time is multiplied by 2944.2 $\left( \frac{35330}{2} \times 6\right)$ and reported on Figure~\ref{fig8} for different network sizes. + +We can see from Figure~\ref{Figures/ch4/R1/T} that DiLCO-32 has very low execution times in comparison with other DiLCO versions because it is distributed on larger number of small subregions. Conversely, DiLCO-2 requires to solve an optimization problem considering half the nodes in each subregion and thus presents high execution times. Overall, to be able to deal with very large networks, a distributed method is clearly required. \begin{figure}[h!] \centering @@ -523,31 +524,30 @@ In this experiment, the execution time of the our distributed optimization appro \label{Figures/ch4/R1/T} \end{figure} -We can see from Figure~\ref{Figures/ch4/R1/T}, that the DiLCO-32 has very low execution times in comparison with other DiLCO versions because it is distributed on larger number of small subregions. Conversely, DiLCO-2 requires to solve an optimization problem considering half the nodes in each subregion presents high execution times. -We think that in distributed fashion the solving of the optimization problem in a subregion can be tackled by sensor nodes. Overall, to be able to deal with very large networks, a distributed method is clearly required. -\item {{\bf The Network Lifetime}} +\item {{\bf Network Lifetime}} %\subsubsection{The Network Lifetime} -In Figure~\ref{Figures/ch4/R1/LT95} and \ref{Figures/ch4/R1/LT50}, network lifetime, $Lifetime95$ and $Lifetime50$ respectively, are illustrated for different network sizes. +In Figure~\ref{Figures/ch4/R1/LT95} and \ref{Figures/ch4/R1/LT50}, network lifetime, $Lifetime_{95}$ and $Lifetime_{50}$ respectively, are illustrated for different network sizes. \begin{figure}[h!] \centering \includegraphics[scale=0.8]{Figures/ch4/R1/LT95.pdf} -\caption{Network Lifetime for $Lifetime95$} +\caption{Network Lifetime for $Lifetime_{95}$} \label{Figures/ch4/R1/LT95} \end{figure} -For DiLCO-2 protocol results, execution times quickly become unsuitable for a sensor network, and the energy consumed during the communication, seems to be huge because it is distributed over only two subregions. +For DiLCO-2 protocol, execution times quickly become unsuitable for a sensor network, and the energy consumed during the communication, seems to be huge because it is distributed over only two subregions. -As highlighted by figures~\ref{Figures/ch4/R1/LT95} and \ref{Figures/ch4/R1/LT50}, the network lifetime obviously increases when the size of the network increases. DiLCO-16 protocol leads to the larger lifetime improvement. DiLCO-16 protocol efficiently extends the network lifetime because the benefit from the optimization with 16 subregions is better than DiLCO-32 protocol with 32 subregions. in fact, DilCO-32 protocol puts in active mode a larger number of sensor nodes especially near the borders of the subdivisions. +As highlighted by figures~\ref{Figures/ch4/R1/LT95} and \ref{Figures/ch4/R1/LT50}, the network lifetime obviously increases when the size of the network increases. The network lifetime also increases with the number of subregions, but only up to a given number. Thus we can see that DiLCO-16 leads to the larger lifetime improvement and not DiLCO-32. In fact, DilCO-32 protocol puts in active mode a larger number of sensor nodes especially near the borders of the subdivisions. -Comparison shows that DiLCO-16 protocol, which uses 16 leaders, is the best one because it uses less number of active nodes during the network lifetime compared with DiLCO-32 protocol. It also means that distributing the protocol in each node and subdividing the sensing field into many subregions, which are managed independently and simultaneously, is a relevant way to maximize the lifetime of a network. +%Comparison shows that DiLCO-16 protocol, which uses 16 leaders, is the best one because it uses less number of active nodes during the network lifetime compared with DiLCO-32 protocol. +It means that distributing the protocol in each node and subdividing the sensing field into many subregions, which are managed independently and simultaneously, is a relevant way to maximize the lifetime of a network. \begin{figure}[h!] \centering \includegraphics[scale=0.8]{Figures/ch4/R1/LT50.pdf} -\caption{Network Lifetime for $Lifetime50$} +\caption{Network Lifetime for $Lifetime_{50}$} \label{Figures/ch4/R1/LT50} \end{figure} @@ -556,7 +556,7 @@ Comparison shows that DiLCO-16 protocol, which uses 16 leaders, is the best one \subsection{Performance Analysis for Different Number of Primary Points} \label{ch4:sec:04:06} -In this section, we study the performance of DiLCO~16 approach for a different number of primary points. The objective of this comparison is to select the suitable primary point model to be used by DiLCO protocol. In this comparison, DiLCO-16 protocol is used with five models which are called Model-5( With 5 Primary Points), Model-9 ( With 9 Primary Points), Model-13 ( With 13 Primary Points), Model-17 ( With 17 Primary Points), and Model-21 ( With 21 Primary Points). +In this section, we study the performance of DiLCO~16 approach for different numbers of primary points. The objective of this comparison is to select the suitable primary point model to be used by a DiLCO protocol. In this comparison, DiLCO-16 protocol is used with five models, which are called Model-5(it uses 5 primary points), Model-9 (it uses 9 primary points), Model-13 (it uses 13 primary points), Model-17 (it uses 17 primary points), and Model-21 (it uses 21 primary points). \begin{enumerate}[i)] @@ -572,14 +572,13 @@ Figure~\ref{Figures/ch4/R2/CR} shows the average coverage ratio for 150 deployed \caption{Coverage ratio for 150 deployed nodes} \label{Figures/ch4/R2/CR} \end{figure} - -It is shown that all models provide a very near coverage ratios during the network lifetime, with a very small superiority for the models with higher number of primary points. Moreover, when the number of rounds increases, coverage ratio produced by Model-13, Model-17, and Model-21 decreases in comparison with Model-5 and Model-9 due to a larger time computation for the decision process for larger number of primary points. -As shown in Figure ~\ref{Figures/ch4/R2/CR}, Coverage ratio decreases when the number of rounds increases due to dead nodes. Model-9 is slightly more efficient than other models, because it is balanced between the number of rounds and the better coverage ratio in comparison with other Models. +As can be seen in Figure~\ref{Figures/ch4/R2/CR}, at the beginning the models which use a larger number of primary points provide slightly better coverage ratios, but latter they are the worst. Moreover, when the number of periods increases, coverage ratio produced by Model-9, Model-13, Model-17, and Model-21 decreases in comparison with Model-5 due to a larger time computation for the decision process for larger number of primary points. +As shown in Figure ~\ref{Figures/ch4/R2/CR}, coverage ratio decreases when the number of rounds increases due to dead nodes. Model-5 is slightly more efficient than other models, because it offers a good coverage ratio for a larger number of periods in comparison with other models. \item {{\bf Active Sensors Ratio}} %\subsubsection{Active Sensors Ratio} - Figure~\ref{Figures/ch4/R2/ASR} shows the average active nodes ratio for 150 deployed nodes. +Figure~\ref{Figures/ch4/R2/ASR} shows the average active nodes ratio for 150 deployed nodes. \begin{figure}[h!] \centering \includegraphics[scale=0.8]{Figures/ch4/R2/ASR.pdf} @@ -587,10 +586,11 @@ As shown in Figure ~\ref{Figures/ch4/R2/CR}, Coverage ratio decreases when the n \label{Figures/ch4/R2/ASR} \end{figure} -The results presented in Figure~\ref{Figures/ch4/R2/ASR} show the superiority of the proposed Model-5, in comparison with the other models. The model with fewer number of primary points uses fewer active nodes than the other models. According to the results presented in Figure~\ref{Figures/ch4/R2/CR}, we observe that although the Model-5 continue to a larger number of rounds, but it has less coverage ratio compared with other models. The advantage of the Model-9 approach is to use fewer number of active nodes for each round compared with Model-13, Model-17, and Model-21. This led to continuing for a larger number of rounds with extending the network lifetime. Model-9 has a better coverage ratio compared to Model-5 and acceptable number of rounds. +The results presented in Figure~\ref{Figures/ch4/R2/ASR} show the superiority of the proposed Model-5, in comparison with the other models. The model with fewer number of primary points uses fewer active nodes than the other models. +According to the results presented in Figure~\ref{Figures/ch4/R2/CR}, we observe that Model-5 continue to a larger number of periods with a better coverage ratio compared with other models. The advantage of the Model-5 approach is to use fewer number of active nodes for each period compared with Model-9, Model-13, Model-17, and Model-21. This led to continuing for a larger number of periods with extending the network lifetime. -\item {{\bf The percentage of stopped simulation runs}} +\item {{\bf Stopped simulation runs}} %\subsubsection{The percentage of stopped simulation runs} Figure~\ref{Figures/ch4/R2/SR} illustrates the percentage of stopped simulation runs per round for 150 deployed nodes. @@ -602,33 +602,33 @@ Figure~\ref{Figures/ch4/R2/SR} illustrates the percentage of stopped simulation \label{Figures/ch4/R2/SR} \end{figure} -When the number of primary points is increased, the percentage of the stopped simulation runs per round is increased. The reason behind the increase is the increase in the sensors dead when the primary points increase. Model-5 is better than other models because it conserve more energy by turn on less number of sensors during the sensing phase, but in the same time it preserve the coverage with a less coverage ratio in comparison with other models. Model~2 seems to be more suitable to be used in wireless sensor networks. \\ +When the number of primary points is increased, the percentage of the stopped simulation runs per period is increased. The reason behind the increase is the increasing number of dead sensors when the primary points increase. Model-5 is better than other models because it conserve more energy by turning on less sensors during the sensing phase and in the same time it preserves a good coverage for a larger number of periods in comparison with other models. Model~5 seems to be more suitable to be used in wireless sensor networks. \\ -\item {{\bf The Energy Consumption}} +\item {{\bf Energy Consumption}} %\subsubsection{The Energy Consumption} -In this experiment, we study the effect of increasing the primary points to represent the area of the sensor on the energy consumed by the wireless sensor network for different network densities. Figures~\ref{Figures/ch4/R2/EC95} and ~\ref{Figures/ch4/R2/EC50} illustrate the energy consumption for different network sizes for $Lifetime95$ and $Lifetime50$. +In this experiment, we study the effect of increasing the primary points to represent the area of the sensor on the energy consumed by the wireless sensor network for different network densities. Figures~\ref{Figures/ch4/R2/EC95} and ~\ref{Figures/ch4/R2/EC50} illustrate the energy consumption for different network sizes for $Lifetime_{95}$ and $Lifetime_{50}$. \begin{figure}[h!] \centering \includegraphics[scale=0.8]{Figures/ch4/R2/EC95.pdf} -\caption{Energy Consumption with $95\%-Lifetime$} +\caption{Energy Consumption with $Lifetime_{95}$} \label{Figures/ch4/R2/EC95} \end{figure} \begin{figure}[h!] \centering \includegraphics[scale=0.8]{Figures/ch4/R2/EC50.pdf} -\caption{Energy Consumption with $Lifetime50$} +\caption{Energy Consumption with $Lifetime_{50}$} \label{Figures/ch4/R2/EC50} \end{figure} -We see from the results presented in Figures~\ref{Figures/ch4/R2/EC95} and \ref{Figures/ch4/R2/EC50}, The energy consumed by the network for each round increases when the primary points increases, because the decision for the optimization process requires more time, which leads to consuming more energy during the listening mode. The results show that Model-5 is the most competitive from the energy consumption point of view, but the worst one from coverage ratio point of view. The other models have a high energy consumption due to the increase in the primary points, which are led to increase the energy consumption during the listening mode before producing the solution by solving the optimization process. In fact, Model-9 is a good candidate to be used by wireless sensor network because it preserves a good coverage ratio with a suitable energy consumption in comparison with other models. +We see from the results presented in both figures that the energy consumed by the network for each period increases when the number of primary points increases. Indeed, the decision for the optimization process requires more time, which leads to consuming more energy during the listening mode. The results show that Model-5 is the most competitive from the energy consumption point of view and the coverage ratio point of view. The other models have a high energy consumption due to the increase in the primary points. In fact, Model-5 is a good candidate to be used by wireless sensor network because it preserves a good coverage ratio with a suitable energy consumption in comparison with other models. \item {{\bf Execution Time}} %\subsubsection{Execution Time} -In this experiment, we study the impact of the increase in primary points on the execution time of DiLCO protocol. Figure~\ref{Figures/ch4/R2/T} gives the average execution times in seconds for the decision phase (solving of the optimization problem) during one round. The original execution time is computed as described in section \ref{ch4:sec:04:04}. +In this experiment, we study the impact of the increase in primary points on the execution time of DiLCO protocol. Figure~\ref{Figures/ch4/R2/T} gives the average execution times in seconds for the decision phase (solving of the optimization problem) during one period. The original execution time is computed as described in section \ref{ch4:sec:04:04}. \begin{figure}[h!] \centering @@ -637,18 +637,17 @@ In this experiment, we study the impact of the increase in primary points on the \label{Figures/ch4/R2/T} \end{figure} -They are given for the different primary point models and various numbers of sensors. We can see from Figure~\ref{Figures/ch4/R2/T}, that Model-5 has lower execution time in comparison with other models because it used smaller number of primary points to represent the area of the sensor. Conversely, the other primary point models have been presented a higher execution times. -Moreover, Model-9 has more suitable times and coverage ratio that lead to continue for a larger number of rounds extending the network lifetime. We think that a good primary point model, this one that balances between the coverage ratio and the number of rounds during the lifetime of the network. +They are given for the different primary point models and various numbers of sensors. We can see from Figure~\ref{Figures/ch4/R2/T}, that Model-5 has the lower execution time in comparison with other models because it used the smaller number of primary points to represent the area of the sensor. Conversely, the other primary point models have presented higher execution times. +Moreover, Model-5 has more suitable execution times and coverage ratio that lead to continue for a larger number of period extending the network lifetime. We think that a good primary point model, is one that balances between the coverage ratio and the number of periods during the lifetime of the network. -\item {{\bf The Network Lifetime}} +\item {{\bf Network Lifetime}} %\subsubsection{The Network Lifetime} -Finally, we study the effect of increasing the primary points on the lifetime of the network. In Figure~\ref{Figures/ch4/R2/LT95} and in Figure~\ref{Figures/ch4/R2/LT50}, network lifetime, $Lifetime95$ and $Lifetime50$ respectively, are illustrated for different network sizes. - +Finally, we study the effect of increasing the primary points on the lifetime of the network. %In Figure~\ref{Figures/ch4/R2/LT95} and in Figure~\ref{Figures/ch4/R2/LT50}, network lifetime, $Lifetime95$ and $Lifetime50$ respectively, are illustrated for different network sizes. \begin{figure}[h!] \centering \includegraphics[scale=0.8]{Figures/ch4/R2/LT95.pdf} -\caption{Network Lifetime for $Lifetime95$} +\caption{Network Lifetime for $Lifetime_{95}$} \label{Figures/ch4/R2/LT95} \end{figure} @@ -656,20 +655,19 @@ Finally, we study the effect of increasing the primary points on the lifetime of \begin{figure}[h!] \centering \includegraphics[scale=0.8]{Figures/ch4/R2/LT50.pdf} -\caption{Network Lifetime for $Lifetime50$} +\caption{Network Lifetime for $Lifetime_{50}$} \label{Figures/ch4/R2/LT50} \end{figure} - As highlighted by figures~\ref{Figures/ch4/R2/LT95} and \ref{Figures/ch4/R2/LT50}, the network lifetime obviously increases when the size of the network increases, with Model-5 that leads to the larger lifetime improvement. -Comparison shows that the Model-5, which uses less number of primary points, is the best one because it is less energy consumption during the network lifetime. It is also the worst one from the point of view of coverage ratio. Our proposed Model-9 efficiently prolongs the network lifetime with a good coverage ratio in comparison with other models. +Comparison shows that Model-5, which uses less number of primary points, is the best one because it is less energy consuming during the network lifetime. It is also the better one from the point of view of coverage ratio. Our proposed Model-5 efficiently prolongs the network lifetime with a good coverage ratio in comparison with other models. \end{enumerate} \subsection{Performance Comparison with other Approaches} \label{ch4:sec:04:07} -Based on the results, conducted in the previous subsections, \ref{ch4:sec:04:02} and \ref{ch4:sec:04:03}, DiLCO-16 protocol and DiLCO-32 protocol with Model-9 seems to be the best candidates to be compared with other two approaches. The first approach is called DESK~\cite{DESK}, which is a fully distributed coverage algorithm. The second approach called GAF~\cite{GAF}, consists in dividing the region into fixed squares. During the decision phase, in each square, one sensor is chosen to remain on during the sensing phase time. \\ \\ +Based on the results, conducted in the previous subsections, \ref{ch4:sec:04:02} and \ref{ch4:sec:04:03}, DiLCO-16 and DiLCO-32 protocols, both with Model-5, seem to be the best candidates to be compared with other approaches. The first approach is called DESK~\cite{DESK}, which is a fully distributed coverage algorithm. The second approach called GAF~\cite{GAF}, consists in dividing the region into fixed squares. During the decision phase, in each square, one sensor is chosen to remain active during the sensing phase time. \\ \\ \begin{enumerate}[i)] \item {{\bf Coverage Ratio}} @@ -680,14 +678,17 @@ The average coverage ratio for 150 deployed nodes is demonstrated in Figure~\ref \parskip 0pt \begin{figure}[h!] \centering - \includegraphics[scale=0.8] {Figures/ch4/R3/CR.pdf} + \includegraphics[scale=0.8] {Figures/ch4/R3/CR.eps} \caption{Coverage ratio for 150 deployed nodes} \label{Figures/ch4/R3/CR} \end{figure} -DESK and GAF provide a little better coverage ratio with 99.99\% and 99.91\% against 99.1\% and 99.2\% produced by DiLCO-16 and DiLCO-32 for the lowest number of rounds. This is due to the fact that DiLCO protocol versions put in sleep mode redundant sensors using optimization (which lightly decreases the coverage ratio) while there are more active nodes in the case of DESK and GAF. +DESK and GAF provide a little better coverage ratio with 99.99\% and 99.91\% against 98.4\% and 98.9\% produced by DiLCO-16 and DiLCO-32 for the lowest number of periods. This is due to the fact that DiLCO protocol versions put in sleep mode redundant sensors thanks to the optimization (which lightly decreases the coverage ratio), while there are more active nodes in the case of DESK and GAF. -Moreover, when the number of rounds increases, coverage ratio produced by DESK and GAF protocols decreases. This is due to dead nodes. However, DiLCO-16 protocol and DiLCO-32 protocol maintain almost a good coverage. This is because they optimize the coverage and the lifetime in wireless sensor network by selecting the best representative sensor nodes to take the responsibility of coverage during the sensing phase. +Moreover, when the number of rounds increases, coverage ratio produced by DESK and GAF protocols decreases. +%This is due to dead nodes. However, DiLCO-16 protocol and DiLCO-32 protocol maintain almost a good coverage. +GAF exhibits in particular a fast decrease. Our protocols also provide decreasing coverage ratio, but far more better than those of DESK and GAF. DiLCO-16 and DiLCO-32 clearly outperform DESK and GAF for number of periods between 32 and 103. +This is because they optimize the coverage and the lifetime in wireless sensor network by selecting the best representative sensor nodes to take the responsibility of coverage during the sensing phase. %, and this will lead to continuing for a larger number of rounds and prolonging the network lifetime. Furthermore, although some nodes are dead, sensor activity scheduling of our protocol chooses other nodes to ensure the coverage of the area of interest. \item {{\bf Active Sensors Ratio}} @@ -697,76 +698,76 @@ It is important to have as few active nodes as possible in each round, in order \begin{figure}[h!] \centering -\includegraphics[scale=0.8]{Figures/ch4/R3/ASR.pdf} +\includegraphics[scale=0.8]{Figures/ch4/R3/ASR.eps} \caption{Active sensors ratio for 150 deployed nodes } \label{Figures/ch4/R3/ASR} \end{figure} -The results presented in Figure~\ref{Figures/ch4/R3/ASR} show the superiority of the proposed DiLCO-16 protocol and DiLCO-32 protocol, in comparison with the other approaches. DESK and GAF have 37.5 \% and 44.5 \% active nodes and DiLCO-16 protocol and DiLCO-32 protocol compete perfectly with only 17.4 \%, 24.8 \% and 26.8 \% active nodes for the first 14 rounds. Then as the number of rounds increases DiLCO-16 protocol and DiLCO-32 protocol have larger number of active nodes in comparison with DESK and GAF, especially from round $35^{th}$ because they give a better coverage ratio than other approaches. We see that DESK and GAF have less number of active nodes beginning at the rounds $35^{th}$ and $32^{th}$ because there are many nodes are died due to the high energy consumption by the redundant nodes during the sensing phase. \\ +The results presented in Figure~\ref{Figures/ch4/R3/ASR} show the superiority of the proposed DiLCO-16 protocol and DiLCO-32 protocol, in comparison with the other approaches. DESK and GAF have, respectively, 37.5 \% and 44.5 \% active nodes, whereas DiLCO-16 and DiLCO-32 protocols compete perfectly with only 23.7 \% and 25.8 \% active nodes for the first 14 periods. Then as the number of periods increases DiLCO-16 and DiLCO-32 protocols have larger number of active nodes in comparison with DESK and GAF, especially from period $35^{th}$ because they give a better coverage ratio than other approaches. We see that DESK and GAF have less number of active nodes beginning at the rounds $35^{th}$ and $32^{th}$ because there are many died nodes due to the high energy consumption by the redundant nodes during the previous sensing phases. \\ -\item {{\bf The percentage of stopped simulation runs}} +\item {{\bf Stopped simulation runs}} %\subsubsection{The percentage of stopped simulation runs} %The results presented in this experiment, are to show the comparison of DiLCO-16 protocol and DiLCO-32 protocol with other two approaches from the point of view of stopped simulation runs per round. Figure~\ref{Figures/ch4/R3/SR} illustrates the percentage of stopped simulation runs per round for 150 deployed nodes. \begin{figure}[h!] \centering -\includegraphics[scale=0.8]{Figures/ch4/R3/SR.pdf} +\includegraphics[scale=0.8]{Figures/ch4/R3/SR.eps} \caption{Percentage of stopped simulation runs for 150 deployed nodes } \label{Figures/ch4/R3/SR} \end{figure} -DESK is the approach, which stops first because it consumes more energy for communication as well as it turns on a large number of redundant nodes during the sensing phase. On the other hand DiLCO-16 protocol and DiLCO-32 protocol have less stopped simulation runs in comparison with DESK and GAF because they distribute the optimization on several subregions. +On the one hand, DESK is the approach which stops first because it consumes more energy for communication as well as it turns on a large number of redundant nodes during the sensing phase. On the other hand, DiLCO-16 protocol and DiLCO-32 protocol have less stopped simulation runs in comparison with DESK and GAF because they distribute the optimization on several subregions. % in order to optimize the coverage and the lifetime of the network by activating a less number of nodes during the sensing phase leading to extending the network lifetime and coverage preservation. The optimization effectively continues as long as a network in a subregion is still connected. -\item {{\bf The Energy Consumption}} +\item {{\bf Energy Consumption}} %\subsubsection{The Energy Consumption} %In this experiment, we have studied the effect of the energy consumed by the wireless sensor network during the communication, computation, listening, active, and sleep modes for different network densities and compare it with other approaches. -Figures~\ref{Figures/ch4/R3/EC95} and ~\ref{Figures/ch4/R3/EC50} illustrate the energy consumption for different network sizes for $Lifetime95$ and $Lifetime50$. +Figures~\ref{Figures/ch4/R3/EC95} and ~\ref{Figures/ch4/R3/EC50} illustrate the energy consumption for different network sizes for $Lifetime_{95}$ and $Lifetime_{50}$. \begin{figure}[h!] \centering -\includegraphics[scale=0.8]{Figures/ch4/R3/EC95.pdf} -\caption{Energy Consumption with $95\%-Lifetime$} +\includegraphics[scale=0.8]{Figures/ch4/R3/EC95.eps} +\caption{Energy Consumption with $Lifetime_{95}$} \label{Figures/ch4/R3/EC95} \end{figure} \begin{figure}[h!] \centering -\includegraphics[scale=0.8]{Figures/ch4/R3/EC50.pdf} -\caption{Energy Consumption with $Lifetime50$} +\includegraphics[scale=0.8]{Figures/ch4/R3/EC50.eps} +\caption{Energy Consumption with $Lifetime_{50}$} \label{Figures/ch4/R3/EC50} \end{figure} DiLCO-16 protocol and DiLCO-32 protocol are the most competitive from the energy consumption point of view. The other approaches have a high energy consumption due to activating a larger number of redundant nodes. %as well as the energy consumed during the different modes of sensor nodes. -In fact, The distribution of computation over the subregions greatly reduces the number of communications and the time of listening so thanks to the partitioning of the initial network into several independent subnetworks. +In fact, the distribution of computation over the subregions greatly reduces the number of communications and the time of listening, thanks to the partitioning of the initial network into several independent subnetworks. -\item {{\bf The Network Lifetime}} +\item {{\bf Network Lifetime}} %\subsubsection{The Network Lifetime} %In this experiment, we have observed the superiority of DiLCO-16 protocol and DiLCO-32 protocol against other two approaches in prolonging the network lifetime. -In figures~\ref{Figures/ch4/R3/LT95} and \ref{Figures/ch4/R3/LT50}, network lifetime, $Lifetime95$ and $Lifetime50$ respectively, are illustrated for different network sizes. +%In figures~\ref{Figures/ch4/R3/LT95} and \ref{Figures/ch4/R3/LT50}, network lifetime, $Lifetime95$ and $Lifetime50$ respectively, are illustrated for different network sizes. \begin{figure}[h!] \centering -\includegraphics[scale=0.8]{Figures/ch4/R3/LT95.pdf} -\caption{Network Lifetime for $Lifetime95$} +\includegraphics[scale=0.8]{Figures/ch4/R3/LT95.eps} +\caption{Network Lifetime for $Lifetime_{95}$} \label{Figures/ch4/R3/LT95} \end{figure} \begin{figure}[h!] \centering -\includegraphics[scale=0.8]{Figures/ch4/R3/LT50.pdf} -\caption{Network Lifetime for $Lifetime50$} +\includegraphics[scale=0.8]{Figures/ch4/R3/LT50.eps} +\caption{Network Lifetime for $Lifetime_{50}$} \label{Figures/ch4/R3/LT50} \end{figure} -As highlighted by figures~\ref{Figures/ch4/R3/LT95} and \ref{Figures/ch4/R3/LT50}, the network lifetime obviously increases when the size of the network increases, with DiLCO-16 protocol and DiLCO-32 protocol that leads to maximize the lifetime of the network compared with other approaches. +As highlighted by figures~\ref{Figures/ch4/R3/LT95} and \ref{Figures/ch4/R3/LT50}, the network lifetime obviously increases when the size of the network increases, with DiLCO-16 protocol and DiLCO-32 protocol which lead to maximize the lifetime of the network compared with other approaches. By choosing the best suited nodes, for each round, by optimizing the coverage and lifetime of the network to cover the area of interest and by letting the other ones sleep in order to be used later in next periods, DiLCO-16 protocol and DiLCO-32 protocol efficiently prolong the network lifetime. Comparison shows that DiLCO-16 protocol and DiLCO-32 protocol, which use distributed optimization over the subregions, are the best ones because they are robust to network disconnection during the network lifetime as well as they consume less energy in comparison with other approaches. %It also means that distributing the algorithm in each node and subdividing the sensing field into many subregions, which are managed independently and simultaneously, is the most relevant way to maximize the lifetime of a network. @@ -776,7 +777,7 @@ Comparison shows that DiLCO-16 protocol and DiLCO-32 protocol, which use distrib \section{Conclusion} \label{ch4:sec:05} -A crucial problem in WSN is to schedule the sensing activities of the different nodes in order to ensure both of coverage of the area of interest and longer network lifetime. The inherent limitations of sensor nodes, in energy provision, communication and computing capacities, require protocols that optimize the use of the available resources to fulfill the sensing task. To address this problem, this chapter proposes a two-step approach. Firstly, the field of sensing +A crucial problem in WSN is to schedule the sensing activities of the different nodes in order to ensure both coverage of the area of interest and longer network lifetime. The inherent limitations of sensor nodes, in energy provision, communication, and computing capacities, require protocols that optimize the use of the available resources to fulfill the sensing task. To address this problem, this chapter proposes a two-step approach. Firstly, the field of sensing is divided into smaller subregions using the concept of divide-and-conquer method. Secondly, a distributed protocol called Distributed Lifetime Coverage Optimization is applied in each subregion to optimize the coverage and lifetime performances. In a subregion, our protocol consists in electing a leader node, which will then perform a sensor activity scheduling. The challenges include how to select the most efficient leader in each subregion and the best representative set of active nodes to ensure a high level of coverage. To assess the performance of our approach, we compared it with two other approaches using many performance metrics like coverage ratio or network lifetime. We have also studied the impact of the number of subregions chosen to subdivide the area of interest, considering different network sizes. The experiments show that increasing the number of subregions improves the lifetime. The more subregions there are, the more robust the network is against random disconnection resulting from dead nodes. However, for a given sensing field and network size there is an optimal number of subregions. Therefore, in case of our simulation context a subdivision in $16$~subregions seems to be the most relevant. diff --git a/CHAPITRE_05.tex b/CHAPITRE_05.tex old mode 100755 new mode 100644 index 2ee5579..e3a56ca --- a/CHAPITRE_05.tex +++ b/CHAPITRE_05.tex @@ -246,7 +246,7 @@ range. Our protocol is declined into four versions: MuDiLCO-1, MuDiLCO-3, MuDiLCO-5, and MuDiLCO-7, corresponding respectively to $T=1,3,5,7$ ($T$ the number of rounds in one sensing period). In the following, we will make comparisons with two other methods. DESK \cite{DESK} and GAF~\cite{GAF}. %Some preliminary experiments were performed in chapter 4 to study the choice of the number of subregions which subdivides the sensing field, considering different network sizes. They show that as the number of subregions increases, so does the network lifetime. Moreover, it makes the MuDiLCO protocol more robust against random network disconnection due to node failures. However, too many subdivisions reduce the advantage of the optimization. In fact, there is a balance between the benefit from the optimization and the execution time needed to solve it. Therefore, -we set the number of subregions to 16 rather than 32 as explained in chapter 4, section ref{ch4:sec:04:05}. We use the modeling language and the optimization solver which are mentioned in chapter 4, section \ref{ch4:sec:04:02}. In addition, the energy consumption model is presented in chapter 4, section \ref{ch4:sec:04:03}. +We set the number of subregions to 16 rather than 32 as explained in chapter 4, section \ref{ch4:sec:04:05}. We use the modeling language and the optimization solver which are mentioned in chapter 4, section \ref{ch4:sec:04:02}. In addition, the energy consumption model is presented in chapter 4, section \ref{ch4:sec:04:03}. \subsection{Metrics} \label{ch5:sec:04:02} diff --git a/CHAPITRE_06.tex b/CHAPITRE_06.tex old mode 100755 new mode 100644 diff --git a/CONCLUSION.tex b/CONCLUSION.tex old mode 100755 new mode 100644 diff --git a/Figures/CHAPITRE_01.tex~ b/Figures/CHAPITRE_01.tex~ old mode 100755 new mode 100644 diff --git a/Figures/CHAPITRE_02.tex~ b/Figures/CHAPITRE_02.tex~ old mode 100755 new mode 100644 diff --git a/Figures/Introduction.tex~ b/Figures/Introduction.tex~ old mode 100755 new mode 100644 diff --git a/Figures/bib.tex~ b/Figures/bib.tex~ old mode 100755 new mode 100644 diff --git a/Figures/ch1/RDM-eps-converted-to.pdf b/Figures/ch1/RDM-eps-converted-to.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch1/RDM.eps b/Figures/ch1/RDM.eps old mode 100755 new mode 100644 diff --git a/Figures/ch1/RDM.pdf b/Figures/ch1/RDM.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch1/WNT-eps-converted-to.pdf b/Figures/ch1/WNT-eps-converted-to.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch1/WNT.eps b/Figures/ch1/WNT.eps old mode 100755 new mode 100644 diff --git a/Figures/ch1/WNT.pdf b/Figures/ch1/WNT.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch1/WSN-M.eps b/Figures/ch1/WSN-M.eps old mode 100755 new mode 100644 diff --git a/Figures/ch1/WSN-M.pdf b/Figures/ch1/WSN-M.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch1/WSN-S.pdf b/Figures/ch1/WSN-S.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch1/WSNAP-eps-converted-to.pdf b/Figures/ch1/WSNAP-eps-converted-to.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch1/WSNAP.eps b/Figures/ch1/WSNAP.eps old mode 100755 new mode 100644 diff --git a/Figures/ch1/WSNAP.pdf b/Figures/ch1/WSNAP.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch1/WSNT.jpg b/Figures/ch1/WSNT.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch1/twsn2.pdf b/Figures/ch1/twsn2.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch1/typesWSN.pdf b/Figures/ch1/typesWSN.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch1/wsn-t-eps-converted-to.pdf b/Figures/ch1/wsn-t-eps-converted-to.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch1/wsn-t.eps b/Figures/ch1/wsn-t.eps old mode 100755 new mode 100644 diff --git a/Figures/ch1/wsn.jpg b/Figures/ch1/wsn.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch2/DESK.eps b/Figures/ch2/DESK.eps old mode 100755 new mode 100644 diff --git a/Figures/ch2/DESK.jpeg b/Figures/ch2/DESK.jpeg old mode 100755 new mode 100644 diff --git a/Figures/ch2/GAF1.eps b/Figures/ch2/GAF1.eps old mode 100755 new mode 100644 diff --git a/Figures/ch2/GAF1.jpeg b/Figures/ch2/GAF1.jpeg old mode 100755 new mode 100644 diff --git a/Figures/ch2/GAF2.eps b/Figures/ch2/GAF2.eps old mode 100755 new mode 100644 diff --git a/Figures/ch2/GAF2.jpeg b/Figures/ch2/GAF2.jpeg old mode 100755 new mode 100644 diff --git a/Figures/ch2/P1.jpg b/Figures/ch2/P1.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch2/P11.jpg b/Figures/ch2/P11.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch2/P2.jpg b/Figures/ch2/P2.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch2/P22.jpg b/Figures/ch2/P22.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch4/FirstModel.pdf b/Figures/ch4/FirstModel.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/OneSensingRound.jpg b/Figures/ch4/OneSensingRound.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch4/R1/ASR.pdf b/Figures/ch4/R1/ASR.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R1/CR.pdf b/Figures/ch4/R1/CR.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R1/EC50.pdf b/Figures/ch4/R1/EC50.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R1/EC95.pdf b/Figures/ch4/R1/EC95.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R1/LT50.pdf b/Figures/ch4/R1/LT50.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R1/LT95.pdf b/Figures/ch4/R1/LT95.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R1/SR.pdf b/Figures/ch4/R1/SR.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R1/T.eps b/Figures/ch4/R1/T.eps old mode 100755 new mode 100644 diff --git a/Figures/ch4/R1/T.pdf b/Figures/ch4/R1/T.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R1/T.ps b/Figures/ch4/R1/T.ps old mode 100755 new mode 100644 diff --git a/Figures/ch4/R2/ASR.pdf b/Figures/ch4/R2/ASR.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R2/CR.pdf b/Figures/ch4/R2/CR.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R2/EC50.pdf b/Figures/ch4/R2/EC50.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R2/EC95.pdf b/Figures/ch4/R2/EC95.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R2/LT50.pdf b/Figures/ch4/R2/LT50.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R2/LT95.pdf b/Figures/ch4/R2/LT95.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R2/SR.pdf b/Figures/ch4/R2/SR.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R2/T.eps b/Figures/ch4/R2/T.eps old mode 100755 new mode 100644 diff --git a/Figures/ch4/R2/T.pdf b/Figures/ch4/R2/T.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R2/T.ps b/Figures/ch4/R2/T.ps old mode 100755 new mode 100644 diff --git a/Figures/ch4/R3/ASR.pdf b/Figures/ch4/R3/ASR.pdf deleted file mode 100755 index 377611350c915de1ab81c5af337f6deee4e52659..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 11798 zcmb_?1yoes`nOoffFNChBPb0M<RBp--5@F8Fbp}&5JQ)UAP6Xek_w7+cM6Df2qF!N zN=gaR&HoJQ>-*k&zwi5hYu&?|Vee-@wV&9t&hMP7TJj3~FaaUZ)z-yFDIj4m6pXX5 z14&3g)X-RKybV|cpy)spY%zGWGZ><PLE_Q!XcW#8EhPnV!8@ao4j_+b&rLd`94Z{1 zZy7vO&YlW*wBtwiyr~zgshTjtcqMO)C$0L`>eJ|bzmT#Mk$a^&PM@m-Nu4PThxZ(# zPqZEO@qe7;Z<9Va+F6<t{k%R#AuZkPxR;#abE(4L2UJmztkPcb?8DMhR`A)mjjV8n zvXXUp>DHL=;r$HhP@<iTBgy(thr2as?~gIv?hwt?unM8?!ezlnE{5;N`V1;oa+VJ# z=iEO_9<Y}3)2GoY+m4VJZ~E;aJH(eiaW4cp$7DZY<Gy-LrhS}3E8RO3Ic`-+kr6)B z8lL5LH7GN8^t|!Xkr?ilY@3R=Z@=Lf)R;0N=2I&Ai2nVc&m)yY)+D#^+ofzw{58s* zhmaR6(@7DVyQSP3iH#SY>etBR99+s!FUm)#jr#bG>J5z<{1K0F!zt{ol(LUX1lyD@ za`5lf-znb`j#W0v*Gxp&m1~9A@Sdru(kncgEJcLx35_oF%|tnH$O##{MaLYNUpKki zGqt-?dh5guCXePZ+K?*$#WS;Ie9gkXsH0|Drz@}SomNpwy|=C1VfH<5&?`+MCL`|d zW1Z8yH$Lbba^b?2LkeEE%2F;UwU9o3ec>tn>U~f9%6jkd$>@j@1VnySR?n>M(hSR_ z<noUnskg#o**v(TVpkPCb?uftAK5<hayAQ@3d(#PDcv>J;XPjN=|a|`O8J_mU3I51 zSxafzbFaa~$4vVQZe;BNpt=*%mE*MX(29uq#xKoFlV+@*vqfrY69G)}0(uu*)9&tT zk5jEl_WY>CUToq=z~rgq^eoygapeD?51HHxs+!_RRL4~GBwvW{sP8%Q_u#owPgm{< zamc>|&d-E(olXBNb+prZbco;E?DId|@0%SHJ=&bT<X?U8Bd30MvH<&bIa<1WFLRpC zV2bwbof+wap|N`ZU7x+V=}kzo)X{d|mbBc<Aha=uWqkqv%w9&p;byD<cB22GE9Owl z-ne02l=ni<O)D$exc=SL@LFshVEcRgwdSFWDl^PQ)00ySgJ<civ5^Z*lCUemMQ&>+ z*zIM$t9E~TlqXQNqmz7csZGxazPGo2cyTW#=bIZz>V#K-z))dpzm7b4d1?j}n$B;a z6Swkm;4-|Wlv~E+1g<CLn)sAJbx8PRNQw!}PsxKCw5Pas7%xvx=>xiqL7;r@end-9 zh0(kUfAsCq!gMQQxc=jV)%@6JR1-JDAAe+fD9nqVBey?UO6kC8PLXiA;Jpal>-!tx zvDnZ;-T4piwoP^7RYf`5gdv|UaupcR_1$|;cZK)Gfqo?7wwj4R{)_q%I4k?O%e;E} zzGc17_0^Lx5`(32cp0nCFMZt`=9=Jyg->N?YZ3b0Pn$N%y7Pq|gc;gQ>%&gim-7X( z#W?05<Q6COk$eT3lP!*-85=<~uPZiE7rY(5y+eFt$VTtnQJvc5d(4t_EmqjwIl0bm zG9nMc&PSOvAnXM9&0KI2^xNgjvS<l!%j>kDn5g4;2Pbz5VC?hH%W@6%4$ya+2&2~a z^P(OadSjm5W>B64vWO7K$MH=*r`^fbD=nPASvNnwQzClBZpm|NlDfzK9ko1@U|YwD z+%E63GcWQhvq!1EFc9Ntf;CLba<|Jr?KXt91WX53+$SxtXtB>+OUO6Y_Zf>B`p(5f z978@1gS>vgSn#sjzS_!DYGr;t6KY(nCB|gS+Hb$1HYl#e;{T=l`!4npyT;l4!mHGZ zyumXzU^&jw=rWBblN1*R1$ME??Bu~w4F#Ha^vUv*GgjH9%$T=74edra?+3)LWG-)- zj50Aau)LVtld<Rb3)T-!sggTaEgN9B*Q|gzd}HF@@4k1@3F=568YpJM&NO;$!~TSE zN|^vx%O$Z~Q-w-jmak;hyf^A(99)lFtzP+EPIy%&V1wHtWnFt!H#S7s{o<NQX48mW zW3M>=5R{-(I(WvxN4yoe1b@3Y7V_@Rr=lwpHUoL}`aX=1n%Ts~q+VlA<9F3x3*CA} z_rxb|e<2^+CM_=0$0!P}qlx{ZS;UMN<Oz=X^#5EJ_|$*Wc!AedNXFdFNyfT#FcjEX z#VW8f#Ki44R>`yqC@fi@zARA#)S8hVgW)Mlsgn3sjh?_J_R4;-M>f`)$pn2<;k#`3 zXjBa53zn1fdGFfURN-)sx%zf-Z#uHG^QxU&%#TDP%62H(cxJ(?;2QMAn8?J_F59-2 zQbZ+3);AR)c7_<PU=ilTo5G<p>n|2!LUCi~JWfh$iB#9;1P>^`z1&bJ1QQuG9NNmX zVW6nS#&4HLd{Guv5HWTm>nv*0#Zeibad>7pc^93z92=a7ZvG^aQXsS=!th{V-Y^LJ z*6Hmi^D^CYhul?3UKKgw?=d&M#}wRz=4hF!sx`AB>9xlbUT(1;>gKL`(x$yU<=&ZH z>%cw<*JI+0p%`Zp0ICSm8yH(@qQB%&GZ1J1kjckI2*pJpZ<kA4^022tp)yS<1HADC ziZhn79k*0V2G8VamxcC?A}q!XNV`{JV{J!$>9`-bUrWB7o*Zqx>u=cEJQ{{OsurrV zuAMM57<`@Lt9fXUIn`d@mawn+3<;i07JGZW1;+?|HC!clXo%jhY)OtxgHD?Fc$S1q z)3@`zx?;+~&eRoO+*Pt+fsGkS<cqI;C}WlUcncQQ`MB6}(;io2WR=X*!d{};CLKT0 z+JZ4lDGXtJ6@MTG_s$JZ7-6T92@nZt!X*9Ze>_c`S{*fA;682S_iRP6#K&qg#P6)2 zpVbZ}Dsp<Ovc#uz@oMK#7wcnE1DMrL=jglQ{SXzhlKtzZmODf>q_4;~7>)eSJsCQk zK%K7~C7s2MIFvv4&=Fbee3|jkviCaGet-`HiQlXodjq6v9-Wvmrnd69gS|m<?hc8R zpE<{NoX2n)sTDKT{#%PXSGLmxb7D`|FP*NJZQ{sDxw73%y&r`%pz=}O8zSQg$dcGp z%DmiQ{q+QiRG;6K?WX{T+FtyZSM(%x=?9JF<z2eesRv#2+$#D#?ADeWJSzGWoK;V? zp7d~WJ{yHMSO;yONDil6j`jnsCnQS36F9o}oC|W_TP%HpH=|vn&RlPvErU;alQQ$J z>GfN@Dc)IpN`yG^K(x=~vxZh8PyXYM43-&2S_<jpWHX7!_s1{{-puqBX>nh$6<$t> z14IU0_s0goHFH_^d|H`fEx(wX9db^+aS#djT@M@633IGatg3uBahEr}(ZN3Q(|W(~ zplH9tq#z~<d&%#?n3;5(qND}CwfeTf6G#kS&9uPv9nXk&Mr7h`AA)l1uA)YK$6X_6 zOTseJJNS&<>D%D?%IEcn)m`^UkID|gd!6|TQy^;CkE18O?~Kn)H%C)FheigSHyD`F z@!ZT-Oz+UYQ860Chl<dXac$SDs9!N(pfCQsWEXrTenOtx4)m$oTV%t$TQkAk5ZR=c z7yq@sEOR28<Ws4t(IQV)z<g8|*8gk$ptPm=_&{V?ZbN9ftkkyo6_XDv7gtLz-nz1@ zsYS}0ZubtoHIgG>pBzA)o)CHJg8;fHC-v-ys|KGA-}>hz%O?#P^G@!CvG?l9mu70q zPscLvrBZ|JkS%~ksunxmFU<IXJBE7p^1AiB?7~{6Is=X7Kl}}B1P0=szHX4$(>*7? z^g89SHM#3a7PH}(^Z9Fz7}Nk7J!WW|S$)`JWiUO<$?ghmmD^aSKeRtkut+T#r{1AH zD||H;g*8^a``W|8fRm>5tyX_BChn7U0aL`_c68Q!X8V$k86h+-S~n>O+w_m~^2$-` z-c#1?;t)=;-%XmTq2(mAM7G~7i>C(sq&u2=*>N$<O-`#uLFN4|f}7g~8|=@e2S4oS z606VcBlWV@I0sY+G95R|7!h>*T|^^`dN-{@;x<NJJpuJz8oKr@XpK)w{o_o@S#tNB zkI<Bt!6N~c<#SzgLF=HGDP<eOU2&qLhTcru>W{TaFlV0&D`Z^ob&}ko#@f$4xT=(c z;y%C>_GxR%-%@wd?s~@Hap8k={9Mt<*K(2U4>=Zc@1lylv@4!=gLfyqzGqbCJuQIu z8F3`O=qY-uaf7CDK2br;D4#+lE+bOEPmSW;U7IE*s?5_3nT8jdp$6~IwSFT@LFLc- zy>;M!Hh|Ad36P>6?G-Xx1w9Y34`i>ISvJcJOcLS!Sk9LGA(3qXQ5fIv@Jd%{At0R~ zlT(vsdXIN=&`$r_iu!7T1+L~Snz+e0X~AfY0&Cwmp1@;Or^6bYJ*HxPfyITeDU;rU zi^8v45Y;F7N9SnIYKc#M?2fpWB5Mp1lFZ?u3%6u<dRWaCb#65L*_Z|p30UnC=g0Dd zuM#SE${zc{Q{S=FW=gpE3I=Lt$>d&1NTR*UsZd<xM)5w;;u}^Fdgv-HJ0CXZAl>Z1 z%QWMtcLCNq_((v}d3!+2H8_-)h4lF%s7TA!YxI^#a%~8=uJ}2H8@%eT;NmvAb2K{U zYPda;3ioDbda&TEjgczVM+H6Ceo6YEi(VmPpr?MlYf;}yhOVEQ&EzgV>p`QBp3<uz z%7Ua<9NZhL`BJqIt6<(Tw<(aQl5k72qD*bxYsb-qS)t&;{8)ZxN1Ic1UR~VyCN*~1 zYfiwQ$#)@RtY)6a^^S9O-c9`>)%#<kP_LVMpWTcM6gK-DHkvnPHXQ8vg_E8RHQ}oD zf*BFC0tuO4>7I`V6{QE1-^<AsMtupJDsMtJ-9%l&#;!8i6Pi$0a-a6-XkyG_Z~l9w zXq6S;r6@WN|E;CZmzqtDq909s_swHQ&8%4&kkwQ&2hzIh+MD9sWTxKb_wVMfxs893 z<rp{F631Cf(zu$j1d8L(2Q;qZquSm#=rF}T7EeW+w2p2v##`m}E!2-b+Qm7vFVsI3 zE!H~9TPHR$Q-8NmALMG%?{8F&I&ep`njMuf-=fTT-#cH=Ya6G36oGQfITAn^ABd9Q zqO@=mG&Fd+YPXolU2<sR)EKexnKs4nz`Yp58+t>rnQ7p&><#Y2;+6ZO%dILtdy3|| zVbb6GU!BpP-#$g%E}`~e;&Z4PtJdo;3J(+CXEPF0X;T}AT%!~XxEmAy9z=IMrvc_K zsWlx8tJ*l&pk)?kUXYeA-KHvkBPh%}c8kMihA5lXLL=O(urV~-T0vi`D3nx<;&mR_ zxnX@}u9?GOpp(tGrBIpAFkV8b{B2XHHies5z(%fCCyCU{fUCX&bm#JiOJ_f{=UR8i z4315mO(%XIQ(+F3^zrMBH(lpS8Y$Dj%Os2|^kR0dXP%;tDjUsu&QbYn_WI%pP3pl@ zMXze;SzRhgX5z%PE{Hai{<uy~y$Y)#N%uaUlYIx~QCd|b>1M}s%>4Cok}INCvVCCk z(-s^;C5Xtzd%0ZLyV`N&G)?NznQM`ar|<d+zMLZ>22F4XO?+-co+PS_FVy<9tXxe( z+Ol=N!{KB@VSHgB<Eb-F)N~Bjiq*ey*Rq})WArVSqZj;2y!r4VhufDOH`a>!q}kPi zp^~l6%LkpFZijA3&+3yD7Yl|^>z$r^ot|WeZmf6flQO0YhNypZ_U?qS+O*~p_tSlc zikzTZpMTOSNUTsh1R=2=^ses-@CpnPG(Xy0erThhpKjONRlB<0Ar~){aUUL8<uXnC z;2T0%KEm8Nq`BhM;dF8f1oc@B=lWT#VE6@NeQxqN>O!>B*-sg*;2pyl-4U2l(`pEV ze0B<5U{k{ns=%hf5=e8I-Xj@McMxMBP0~yDv)nH|a*@SNO!34O;ljbKOt7^<k?gp5 z>n1UKGns@SW~VbebU69iA_3xfYU`(l`Wu$U8VTML1FLC$50V8dPH2zcS{jM@V0^%X zNIq}fRaWTknU(SkX7K%Lv5)?<<;n0Wj(T}B4~S`Z9O<L<>F_FOOVrh9#ac0x!0Yn@ z)?Gmr4b$O9IFCsRf3Gcc@g8Hz1Lu}!l(JuL8{NpgFG1Rp><2zK{mzM%baKXHM6|V2 z%5cUAN*?1m!c5#r<5bx7%Jw4PWTwGUQpVoy)5`p>B4ScX<7Zo|V5ekjjV#ZHl9z0l zpSp3BbVWt}c3k5dqKtjz(tXL!Fa_`BJ;t}S%N2!~CqGUM|6mXZNV@a<TJ5RD>zpyf z*X0tK)=s@B0%<Ogzp>l1ACx!|&b{mL;{ElP>D%vnKGnaOE=e}=@?3A*oLgN<z^uKa zcsTlyiFG^)8%-j**zNb-*H&u9OyJ@31Gl1uqR#?mlAB}AneLND-pLycz0w}@I~zwE zoI1dry}4zngFhN;`3tE6Mg(+=fN2r_3yF$|fqv11{vcm^o{ngU7Sb9GQAb<aB4u$N zU=t{?EF>lf78F95f`CP5G!_pQ1c*8yhz{BX=jx0?y8x(}mNO2ei^iKk09*|W(L;OS z0rndnctu@2fSiG01U-O=0uB&|!Hy>YkOq+h=72^QFadzm0Rg06ZV^oU1mpm1fM4Ka z$6UY=Ra;9JunCCZwhqV?3}|pAsQjBKLHjQ(@28|35|6~-tbeQc<-Ix@kF*3<z_6dX z{@51%r-DD*06{dh)WI+*sb5YW@9LK+9Z?WLPUnxB<8A(46$6R=bCodtwJ3{pK@$Q4 zG0@hRHPq!*LSx*}cv}?mI9&2*7nHNDBOd1rMi5jShvRq!2&b*H3tr9!=?oTxL)4JJ z#xR%|#K6`PZ{uPDf{PLi{rnRXBPf7^1qFe80-v8$VKKt~p&(&l5%B-!^Hb{h8w3T5 zh!A!y3Wpzm2s062-=cq6B~S=jfANTlf&NJR9Q{q-FOLY`K>zpx{WJc(8#rL^r<@qD zk6&H`GC%hw3`h_-kLge-p%AeEa%+pV2E&e%57BkCz!Qp{P#-`#e;3{H>fcJ|FF6Py zMZc8*vBk<@U2OlF%iCI6p@GH#Isqt5VTgk**44%Ik6J?1|E`sg>pxjNPNfFY0sWuT zFAKCG(1rYP7#u7ni~x%Y!AuEow6zOZ2n3OFK@l1fAOgLFbW}pyTHE}Z5-bqb2$CR( zGSC9HC>g9Z1`R|PqKij6=!0Q!F%U%E*2M(~&2hmH!UiY;3JU0DE{F_74k8b^0a1V` zLR2AY5DkbXL<^z=(S;x(77!G~5`u;tTZC9atZd!T5G&w3fY?GDeue;og<x&5Xb291 z1HK&zX9osth5tEnCU^>QL<8psQ2EXf7l;em4UL7k*m^)*9FZtA1P{U6IHQ68?l_1m z#0}zwcE)iZM+-pZ(Sm^YKwSUcZ-n`;IRC`${|?&&d;WXU<$mM*f`SOBl+<5{{!M)n zL*1crDcIB$my-PlcAf-kr<3u-#PW`}(}`$KlRgN!bBE(P5#zJ`+EM+H7Zrm63pZcB zP+9`pJ%7n2Mt_EnjVLhgjzY7Y$+Age#iaW(`FLI3-qp|XL&n|*-Umm<Y%LZH>{Ou& z_foUhbl2cf(OvEu!}|AHDH^GpLQ*N}nE0a9ZtD>zhs*0*SfaHN<GY1qYOlV0^VZsy zVy6oQsZwlPqv@wDQ`2U-mryA&;$q_B2Rlul#>PylvcEkN?YPtbF}zf5TF>ioa&~ve zV5-&34%fllke#bSF<jmB$@8QfH5FxLby#9EN0#moPawRXab(13N5$KpIPHF7VvV3= zS4i9YT;tfBaE*?xo7qpavuqdol@Ui9kw}KtGx0`;L;(nyss_)6)o7_(X(}3_N)fke zxp>%(1ySkFgP3LR&2Dn+ch)2`GE}QPJS?ugi^htF`kfjo2D+(6M%~GWrh{vQOHX#4 zh6aT5Qa4q?8p5wlw%>!9sht)~C_>72F<9{lK19ZURTCDx%h=q;fLJ4H6x5)x+Vv19 zNvh&YU{j%Exgg2VLS}Mp@#V1o{$r28popN3l$I1DxPs0V#9MM}-C_1c!8yebvfX!0 z+D)0h3w?C;m{?I{XH(d>M07caqf@6TI~VlH^#}A#9WNRgQdFmaLWV3VoGH8S@zn)d zD*IWtC&@(IGb~D7%u`q;9V0QK+Sciej^HztDQIF6)tj0eSSl{ps8=j3X;r{t8fjm@ z?$i5mu3PCSBWvl$bHR3=Gdl(p`YIbpbzNHLSC9vNSNNvLbnKoFg+3R*!MXna1$`r> z&t1+wiAALoB+%i2Q)&zTr`9g_FSt)|J=y-zld#`rvpQ~JZV;QP5gE9cJ;-H9k>B0- zmFW4mC~XNb7IrD>*SE@=ND(ip=HuG5j!Kn7!ml@FyE)rm@0&<2NoGGMTVUpM2KJ1- zM)-Slctm_c+X|U^(_`-ZH!=+JOxHow1)_9lUw*yWi(1QJUu|eo8!PZBQtYfanyrZ7 zWkaoi(==KqcA8GoT)74QT+~ugE>U-8Ee*QUfTxntTf5k1*+7<0?lylrT4NB0Z%9km zxrJqKUAerz>XFhdL@9z4W#L^Gd|Ef~#n~%Joz%$QL#@};F0xDq?=V%HXJupZ?mg?{ zl!uM38TJoZrB<8EsPYY}v+ySEbWQEvsQ1}rojz5wG`C(b@Ae%ve_U6T@W^8?u$4&b zE}hG3X)~T&T6X)I!g`oZKMBRWqd%hai3m>(G3>diz9kiXa@qd0!`CwPr#oD(7@z%w zAYPr$x()-3)XH2yj~znOjh=C&n1KUK-XdY=m!~dqZ7$@Ci`e$1c=MN|MX}wixGHZp z7v-$CUMr4C<mC%5j5)7a-vd?7=aoE8JUa>PiOw01)O{1x`>@+`@owaN7%y$7fc3n# zG;u@y+jEXYPVP@!swNP7uwm*jvxz{7NPn~bRil8;kkgdR52qSVPn>nC#}BxD($&+5 zy_Io}wa31-&&1OIzC%-N%&h&ey38}8XzS>9qJ}Ls6_L$*=~b^^uj5*296s=miPGb) z-x}rgwm$=YbRSg8VoleU;C<VmXP?}7T+F|8UpPNbeLk(@+x3F?seKi+hT>zEkPW+s zhfnq0IkR)}?WgH<CYLf#(mx6NGG(LmhL*}YW;oF&lxpvTs#ZKt*Lu4>DW(<syjakS z>(#=wNA+2gN7a)q>x>g{(Tid{Z`8A3l}RgWdJ8%qXsbq&ZQS^#S&M4?#f@IwxYZh; zD~5bdlQxSZ`=p|P;oJ3DnhCkM;Y`!jPWt@2{Nb90-1O50(9X^<<l&52kz`1RN{+jW zCC}+KF8hVuXA-;d;;4aOkFmo3$@39qt-Bqk8xQ4b9zJ!Fy9;H|5}1cS;3lb`YKS`A zOi)m|&7jKUc%onKAW~?*^UCAfp`>|fm*14C@)W9&`b`(}vaET3DIQly@<(em)(<F6 zFI@Xxyjnt;!3-aBkm=RjDY>w3_4+dC=ut6!+Bq%upsdupqT_LL3Y48I2y9YV%~wf} zW#bB&7j=)ZTE+qk=>r!P=T4Aj8hG-a51-^hd4<mP7)xo8dh)-Xkv?+jtT-cV>zbVq zRGPq9O+{K9xxLBTK(65G`i9s$$Y?R$h&TG=h1u%VQ{%*myrY~Bv-<oWdH3A~6gM2J ztQ&lpcf4K?Tr9_mWLfkvr#w2NQ$Hyg60#k6U6QgvUZ(EQTF>0KE}pa+a&^Ip>Y(x{ zn?l`Y%HopdP{{q;=LbbENx^uBuHC!DQ1}+idQtJfD<M4BmPSM+y>5V^Frb-T{cJn4 zn-cfs)HAQe(HTW8seWoB;ahL5SY7?SY$vnATcu)IzR9MG_nn@N-qGZED^xgdOH_WB zBaXgQg8y`L3hhm!Sy0{hrt1%MereEWNymdt_NF;3anEpo8_n{C;9*<+577!fZ@5}e z#9<y$DvKec+*g9G_Y{u4ziH}k`mNfV^2#|r#5O7AoA_L950g8s1x*h!mF}=eR$UlU zE|s}=y={4YicO1EN8ohD9fz953u!6lkBlNVwRybehL<}jo`0;RroE(JszU1Sz-{zM zto~lp&RxaZj)}IO6lVFcbqgBO-)=wBSZ_M#d&+{RuEK-Mq9A3BSku@4`})_gZvw>B zGx(@>kaKgc{qW$)&Fi_P1<3eEnv3v9?jDV2SQbCDhburg-Z2(Ft`9g@+1V(PT`5`C z{$19I!T1N-BHoHmiDzUz+d<Ktj3)5r*U+lZPOGBTeV-491<5U4OxmxUnPYyCQhLX< zP{WJSx3;YKi;~|6)04J$N@_(0hH~ULmmi!oGyqqxDUtQrmY1m0N-n-=v55J^9y25V z)i3X<Df}MO*R;#SHtfqy3a^tP!OG;4mI9wNA>KH6%cRA6*hM1QSmh~SO_!eBhfMc% zR-*?N;G|ULe6lXuU0>G)M?UXQ??tWYg{sPSP}xT<1YSxDV3_NzT@B-$*I>aZRA~FJ zv+UWeB0n*BW>^o5qSPn9iw@PE&PNPp-2<&191XRWyz^(?d85VaZ}VMLd@ishk-wr& z^SpLsh5yHKiN{oSb<NbNJr)AjPIF8{9vEaMMrGf%WoJ4kPjab1%W3Pg?a6OtU$W_u z$$qeI*6>O7#$m%gn|8U)`_;?jB5dDxBA_+gVQ*OuVv^^(=_N)E!nUk#`uK>?Si6ck z@I;#(koU>Vt=<iPq&l8!boFAO2gxmq&sB9<OIaSdw9gj;OZxY$@x2QHi9;$3Q(-4{ zqxC{%&X|R)gc!0WxGT8A=VKChIETq!pCoFjWDb>ZRNnlc_wqEIP_0J<_GJmTKgA4} zsr5?j`LJgaY>hJ>_bVh|A1kv&hl-4Xc~(?wzn$!+nGBq{1+Oi9cC~J*4{UKsRm7=h zSXb*kv1$V;ywcr%e@1G`4qbMDJkV03pt*$!yT7(Ho2?PIpud=Q6%Oy{iw%*>`QT^v zGV(}-^Q!0LWij|}+BGhjo#IO#K|Uv3ubOX3HB*vr{$Pov3Y49srsoThcCSeL{?Rv} z-=xi7@MB1lBrkl_S7B-(DT!G<*d2aW+qiOoTYLl;oJnN0N=&i^KF5%HV@u=EanHxT zij_!{(R3X==hiW>GC5=0=C&)u7705LSZVlFo!vqz3p2W~Bt{$b>S=~Znd1tPS>pos zOpVu#dp&WC-UpsX5i|GiZX7-2!vx+de;{JmtA7)mZ5!02UnqL1xe((>v^+68yZCW# zt7~{<2Y>tUl;Y+06Z1Q?+NxCge4!eZ?}zbUeO}!$P5QwRpz+MzkncTFX_qCc+yyo! zIp8Mc`y<1&EArD$x<UyHOWfJXjvGr9&4ob^=7cO>u^~e$*(aP5@71OV%CawzL{A_E zPC`y6xqh)fajp6W#pQf;JX37Q4+^dBM3s|HBzu>vzZ_{{uFUQ87FL}{p8H7YkqO2y z4LhnDo{HB~3{}ZcpJ3GVkql+o!dktzyJ5ZevfP}k)h6g(N?X^!50bB*8gecjgIG3V z&ba(nf{Pqlx!%?LoXzvQH(F&c%-a9hPhk&bBO&P~7w9yX<!dtYIrPcgI^Pm{yIzKD z&xsqyBTUx9ACn!Ld7GWFK1ny;D0qEaE#sWGF4bcHTKd<;B>T_(^Zq`r=q`wXA11@X zQL+LyXZfK$?Y?Z}HIPvvReW^yRj2#X*0<fwc2lhU(bFTOip&>=eA(^H))Ua#LJh9m zMagAwOI|1Duz@3_37QzQ_yqY<Iz+#SQtB*!{i8ho$7KDS-Rp)_3-guxA8^S!XO|z0 z*6e;6rEYMTJN3jtH+c?u%irsui%I5ix4Rd&upDt}0kPB+qn0qMda;6+4AVYhdULOi zN7^<2!F<4`#oPT#Hua9Pm$#@lX1_Lnys-4<C27vL7`!e+b;Bc0zq2deedzlJ!OF__ zxm70Ef;vql+L4!uv8uUiJWe+d_hNH+jFv*oRF^*I=6Y=zMp(xApL&yGCQi7G{wLsc z46XeA*7rB)^5<^MP+jf!tr$#54Dr{kn1r+ka2IHg#)B=;*0xwl&gGhVPOz<|B&UI} zI#k_J4sBzr<mHUk_0rHodD){7mYmX3APH$CfOMhxJ&=z4R>$vdxqyNDU`aMP9W@0u z0)vORhl8U7fc=0y957fHaSut(V-ay+Odvxz!N)9kdr3}1buBO+hr`(0;=ynMgaC{m zCddc2at3bJ-Eq$LV3>diC!o^V(n?$hfW3Yy1ZI+)Hh8?FI0WME?k?aiD1dXehQJUA z1Oy6)z~TG=2fvFa7LWAc$GWfs_KqE~HT+8q>mqRMlK=|m0I@ZMzyzR>--dnz2evpY zm|z%bfpf)6a=N<OT8aw;Hbl^3!u%FuNI`xW3~j{^1ulLev?W4J5Gg7sBnbU&&hc+< z{=*)y02mYm;sA`q0bI}06@_+|<W$sB11s9#T<|~PC@?|*D$EJ_wf+B=S3qw5a}<Dt z{tANxz$2~>z&Tc)@&L3bWq`H>^UI_8QD8k7R2&Qw7ZHaFiHi$?B_RL82_zp7l>^@0 z1K#EPUx@yV^KYU!XFZ@Kq^z;7ju;#sEF>TTc0}S)HW&cDz<{AYtsaa1;*@|8^7OX| z{kLO=bW~UWzeml%fl$^2K5=;*%GCjYT$JVie~RY6oo7qbUk*FEI%AGI#1aKTW6%WO zT!2)=0FNzE;#N3k2P9D6NJmEize3`HvWEb5$tfiPEaGkP7_`)J|H)wRKL;3FLO+RP zkXUO;P7i)dv=!17gXfgu;{KTjjIGqq!LbD7j}~BrB9sQs`KKaXw9{{mQUG@LFVe@W z1nIwIfU)H-s1|VY-*x;h7(&(jpOpPW!G9>5V-j%G02KuJ>mZW?f&WX_e^1e$(;N6r zkmPhHoX!9C>+m<c?)Ndn^`A}|ZUB-bWCjQ;p>4Sc9S^*VOL(XNJ8pI%Aut>Y69V{v zbK#gpUYtOH!C_FCC{#>Pj28;yghDxgYr;8m{Z7Zf_AkJqM<^>UU;rS7c4!p-FJ40G z0J4lL-UiSB6b1KRj{-cL(N+Ke4HE_tPTZdtSVUM@P#A0l{zVf8JOLjsfw8}6Fc?e- zfUODFUo@yN6b?Z0|D*|tiT<lBzyJdtoBS)E@W1g113#?)$|npL0$}NX$_k7A2VY=> zhX((`2Z#L|O$3VgH=3}>zx#p!jQr7ucSZtGt~2o3H5j66>jgX~5(YzbaKN#8{D=q) zQN~)~z{fZ*0Ab66O(fv*GIDbA2nB?kAWTF|Ru(QSBL^3QiNJ*gWngkpxYYlf!<6u> Y$OVsd#vdmQ1``wlUIV{+LsJ3tKl@N!$N&HU diff --git a/Figures/ch4/R3/CR.pdf b/Figures/ch4/R3/CR.pdf deleted file mode 100755 index d16ce25f25e2c62c2cfb278af1aa4478d079cc4b..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 11999 zcmb_?2|Sct`~TA-A`h};DF)fnxM!?mEM+Haw(JZBV;juaA|i$C6v<YE%1(BYy{y^y zB}>SjwQRq8RL|4<yzl@2|NTFocYNk{&ULQsT-S9D=X-7r4Ow|8oKKLHqj@PJl~f1< zgJ8{VNyWth6||!@-UcEJQZxa1j6ELh0s-XhQFyd0+5&5dmXsvL;a$)u2U3s3B*WHR zw1{KUL>?mMj}@tu`Ra7kcPfgn_LWv+4EWrvbHqBZ3S`6tMLC_)!bPzlZ0(tc=jHg4 ztBZMTm3Dwqd}ry4qoJC-6qCd4gvIRxQ&X3UgHGk@&XH@?FGdCci5x@d?Dj&sDN%QG zoG`AW!>t%oJ<+neYI>OZ=jOG&xvidMk=2Hss^IoY3Lt=b!>1D+Y8by`67y2B+S^sR z=JpN?P~*GvmH1uw@Ht(MduT4Rp}l3`!PUj&!rkRXA0kVi2BRFNj2jO=sF@Y+EI;8L zvo?!WXfyhbenv^&S8>Ab0NdQ2KB~oGf5(5>0-62r&sN8}!Xq*>uWIXi4(j<h&On_m z)R3y)w(p50`yJc-1FDjl*%<oNS_2WYoTKG@4)^$mfJ^H6#>sDMU(e?+abDf4`J*Ik z4>q`X*3BxVnetNXSOEIy!aI|=HgsKw!r+yZH`b)I5<2+_<^BiQz#PnYTx~Abpza+` z8N8kwb?gE5E_A1SCcQt_oO5n7ptb5{cdxZ)Q>uCO_;$eTo&KvEBBs|8s58Y~rKL|^ zzAP>6%{!yA)8*wGAnw9;o<fS}<YP7zPYtceoTqwcnSx1M+V}G^QDv0m7rrJqd)1U$ zkFvvKA60zPJk2LJrRgKE68&v6)XTC-6G%~~2`1}uVy&Sq?ZpG2tnJlX*l@C6vdykF z$<7g@+!!-PKDkNF%Y3t?Q~j4+8wFOPF50O#I<ua?korm5N5GMHC&gPq!7Y1(@o(Wg zS5r{oZTrFsk5^}?%4nbx(muG?Ez2hT-W^QDYuu6r+~?_2PssQPICbu<Q%~;qG>pD} z+nm_Eyy4ZG@qJ?MsOGv(q$%%kMQOncw)d{%MNp5LgY}vT-@}caRqVw6w`;z;>)V-m zho9AJDtI<cge}V>DL9q;9(M<HT{{}c^z}XZwmls<QuFp`zdmB(fc8w<_+odt$Jog7 zm^)y4uoCFIzg)AAjM(K^82_}DkY{Sp`W^nLZ7W+VmNs)?UrEn7LvrW^dWt)~IvTE( zWB7J6$6DwSSB9xUZe$-SW-jAvFTl!W`7OF6G_(^gkq6zOviNT6*QnACx423HH9bpZ zvEPSpG@$oYZU3yy`(1q9g3CPNk}1*N1ziNR`>XUe%UaEYaD`U}=e?hbyIN6LzB!k2 z>EJ0uRxNVtQm?;{QtVgBej?BLiUH!nd@FA$zfoA0o0}SuOKaRC?JViovl^Vja_Pao zO3(9`<+3sZ){S>0EmD0iGXSlynT!wAjSmAL)5OU-<(6!5;~Ca--F#-o$}!&kbC5`b z2I1YrDO2gDCy(D`l=06zkfXHd=ZHyOm6PO9V*4)j>Z+?cALhCVe-6$tISJSCXtv<9 z;HF4Fo9R;(!CfBJw~2PrRk<T|=dyIFI%6T*E|vKSQMaxpi0_~Cd_9n(?%|j=hAeSY zY$V@E+pcgVAMqb<#M;rrTq=cV9({c(#LJq@8h*tjPKB<$c+HEvU78*iW7R>&@FcbA z3N!0NfeV>F+%M5vI?DT$3a&Q`lRFrLZn+oC3_=HPnulB@KM2pGJJ^lnXb@|0^X_vU zi)XBy8D>r?*Pa-wDa@&#{Mg;~oTAg}(%U?PQo1mixUWr*Gu@{uI-FE1omE+q6}%dZ zIUJyjh9YyLWnVefj0PBTF(SDO^|;Q6vNkVQtCvu+lF!4Z#b)IC>e>oto;U91WR~I@ zwz15@()uK;smwY3nl@;ie50$w22B$D8$TIjcikzNp0~TqcOi=<F6~MT5PJ_G-!4#i zGf^Fm)yuy#fP_eH88Li0=TJP9(-xRb`@xXHAavsPZ83!a-<^D_vSgd$jN5MvNcZ&Z znMG{oW^=S!*8`cynV0I1s!HyM=Wo4oxou#V^U<nft~RNuuWIX=acj1!X>-w?-BKzh zKfBRMz$}Z-7g@+Swb3P{QOxeO*z2<YoaJChav#^=_s-R2ZO_b(_6Ye<JDAP<l8!^d zII{Sn@4SLf3B}PxXNXe{^zrQyEAbkig^+rK?BU_+t!GKwcw-7I1$$jh*dU2sUhB*b zD$8B{`SSPF{AAzmttyX2sgZ97<;mk6RG%g!>`!NZJG`SuL}?nRP0VQXd54Q=>1+SJ z{<qf#R#!U}%8u43NpwZD4^P_VFb=<F`$F26>l|@q`eUwbe@5N{=;laJ*xj#bdLA}y zL8_z-RKUkv17CybUe&#Y4CuiJVR5aRJ83=`tDLZ8+<f%g+%qS&Unf|G$u!p*j(m=B z@OW^z7IyL_4*9I>hImdv<fYI4f8NvMy&rzBw8T`s<P$^PC#FViRI0g!XKXfgYg+%U z*Y(5i&FvO-;mWqHw+qQTdjqlB7W_HS(HLQIPM+bbl~T9byY4w&E((YZ|MOs5WpUY1 zQnc%7vG5E>VD3(3(T$wXm@usY(R5X1g+NL1gsp98Wo=Gh)2n)Z%QA^A>H&PX^0J@u z9S`BfWv|ex;$eiVhuGV1rn3z~Nz<BMlbSUWd0&G@TvND}{qNs5wumU5VB+O>e5AlP ze*5FLdB-cT@CbF~w-(~baBx^0+F4l5<^JyA4z!@=Xj;`xR`dH|f}Xd6|J3-bSL_6h zq0dlhQ*6yl^=v0c$-aITwd1#f1BN@E?MS*NTT%-L3W^G98mdjW{vSdKD+5Ys4>Qc4 zL4Eh&dfbNaev&hxPW~sf9maFR%<_HCpBo%ys&&$6>95)L@VwJydXsNz$4tk?XpH>3 zN9>yhj+;@<4%D<u#5bkBSqG86m)Cw*Lq$uko;r2XPb&3f!Zi0)tdzEymyImZ_Dgwf zh)-ISRH7aO$<=5&bkxgtG<ug|NKQ`S6$q5{Jq7PPqwvmUXub}AcdGe0#Srbg=`ZfL zVMC?9x$11*dqa<jp$j{GR*~$`B${p(0==Qo20l3ao*ydLVozgkYHGB&)io7zMO{6C ziK0KHL{_E64sGIuo(W>%)z7{629ozjH=AKiG~FxW^eQVSIx;*tcZghx3`2<MB>2$p z$_j0~Z==ugggadE#odB3*z7yKa~e>yt7rOY_`b$ePnF*5VYPrOnQ&Y9T_A2s)d_86 z410CG$-I_<KIDEu(G_F0CTR>Q_2UeB1SheopOd22rm7Zx^YcUF)pmvuQn%@_&_<cJ z-}momkhQ7wM_T5ppD^Ou_IuhKUkiEr7C*!o`o^`%`pNU+hB-S822GFm*(73~f-5np zp?L8g1|IVVVjTl<6tyal&f7BHWZyY-itgtuq%hD-ErwKiQZOOYWZFI&Ol=4~q2!Sw zl303FCXzyfelZ>2fuI!_b+#Q;v!8J*yr|z5x8w)4H!g~=WqtcLTU*?InM9cA!T9-< zJgFCoC!q7FTh`7gG>w^{AUDIYV1gzOmqcA@5}N#@ufr9DXuT(!khf-FE}pMR<z5*N zy`A8>36Cc(NCZ(s`T1wLf@;kw5gt@E)K|XwnY<#BQp_#bEm(xPSW_xQv@=|L+%)^- zm54wyV_1>d`HWF*`ul>*<%pL&N!0v3>?RGX0q0U`N|#tmiaX}8Gm)PZqs3Bca8i!8 zs*=8$eoL$suO!ShH4gVL^*-w0iC>@srYLUMByEQ8E0Rl>4u!JhmOT}zXSnV3sI<H6 zvWV*x29@2VNXCh}VbIEx-MY^R8j3kKRKt@NbN!2V(8lY}q!EMRl1tx|hf5(Z1v5UV z-t(x_v!j)4fVE@x+P95P_CBJEPFV2}I)psZ6kAC5-@n<dh?ncHf5~UXtnVat50(zs zakOpkg~dW&5%*qJAseFIP0zL<?|poZN5#D=Xo4pzR{dlayF*-eZVxRlZ*$b_`nkGz zK7lQ(p3RFn{=L<zJ;Odd{55~t-XQy+N{}Fd<_rl}yLQQ8ia$+|$?J|u(OsPVqc4po zj0dNMeK;}jtc$PdQpTxkAwE2<dc>~j_boFN2y*ZoCJ_nFw1qlO8CG%LHq1um2$N7c z+`;ind-%8MoEtGP4kr1U#&Ns5PrId$1Az@NV3Wc?^>0o}yJ;n!+uhfj)uc;YoMLk2 zh)0SPXMDdy&IlMM<+Z6$n_kMY_RRymr1%J?7>vhEF0ns$owlXq&krxSrjZ$~{zdZU z^1|uPeqh4Z_bP(xIy|Q{t|GJjOCMgoK19XZwHbP0J?3K%o8(}1AL$~6lGjULWUM&N zUQ!5_mN;Af<w@nT<-w~LKgd_;tv>m5+K(iK#`W?iqei_tzA4#3dE%+u=R#Hny29iy z*7VEPK3LsLy{<S;RPpLvu7enVc$V2^rs!q8jIK4t4|g<sqXKZWr^qUUs8LJ_h{X&# zg+ex+?Vc~z`Bzq1No4`OeIud=E+bJN6KUCp=yholP}W^R<l3E|W1Mo$%}^Jd+3eZb z3*?Ce;?Dwxo?AU@#<(Ih@1rH>0+pvNXEln7IQyd@YQ&$~^Vt?7or`tqKN+DfW{t=t zl8ltK4G9+vMc3v%6z}3U*OGjkdcEzw`k3~NLVd@4cW{1^yO4*#<#M_362rkWb63)A z+8vu;p~Ps17i&XIyoU-6KTQd*TjUcZC0>TA@;%gMIQZh$zXZDZ(t8M{=dyb>@$w1l zD@{{wVrl`^o`b4cx;_S~EkuX=4|yo<bFaTgx>J<&3>lV=$gbMKDuYvEnWBfp=gk=~ zP8o%IqmIqN`66MJ`uc%bUKSLVUk_ryqA)0b_`rCrAy4X@SQUeTeS$-ORDi(a#vdm1 zCsn^7_sc$0ZGVm?GJkVBz+u#Rkf?p1v8u2>;dx`p2ir?Zh+8><DV5WfgH4okG3tDy zv#sYF%gB<Sz<Zh~1ZN@g<2Tr2$9kU*wtMm7GFdVh1phd&nkM<Nx|r8(_iJ{$4M%fh zN_96Y@QhN1M~5T62yVNvZ!C|tj0=MblbWH$iNfflo{VfyyEweF#7f$y@kobl)icKD zbX(@lTV8}LN^NLzwukV_$Zz=93p_1-qq^}~b>pi)CB`HTr?k;cVKaUb86}8i?F((! zVivL)S3xogV(ZYH-BrQ895&;<BJBwtx0Ep^uL2(QRLwq(>#0hgTM)!@ZUm{yd{#aE zvFes`?N|Rk_78iUhmJMkv#V>-560NP+Q|u+m`+i-jY5W>)=tMzxHXyaO+ASG^F@<U z1NvFc*$b9gZE_#Akdcfys?dS{0J4M|^?bny0lb<(WjNJR$1A3ugUA{N@ui6Xa&_Kk z%HpxZ;vb(g)gL&$u3)jg(Scd=NnA#_j!=9HHNR!&pGNO>gTe$ic)6j!>rWrV{WxQD z{@iz&g80YH&2RU7Kjv8Z*dzDQr$>tRHtCG@-QczEp8`9UCW*C1fWE<T(F|lpwQ+vI z*xJ30iCN-gtKHgE2UM1EUE8fh_;Bpz$K8b~VrJU_vK2N5h;Z17e`TEvuI%HOe%Yja z#~Jg9&wOQYF~LBxG01(gm2~@Owxjo#!~Se{^GkYInJ+<3EKSW<rYcHc5CU}oAVVEd z>AAqqPF)uIM>EB5$(IUF`fesQJ{L7wJM=HluShthL(P|6IR3Prh}RJJX@?l5A@r#( zk1@cia;=`aEXeM3V}#DA+$ax8`zP~TQ7IivCs;bOPO-4$5sQzq?>aHB`XVWIt|gcL zAt{->dClnTu2XWaFS2vtS~Br>78Z(S7PXyggYlIw#J{f%6Ol={e$aHL;R+0QW2t#5 zd=sn1h20sRS*+RHOB1Bp8?6>BcTZNAGuG^XSaI5=mqQ}FJIdYjQTW4qb90o-j#vBh zc+U*B>jX)V(lbXCSt*TlEGCs)V2aUST{Dr4mJC<V8LwTwpCZN_2#shKZ3=IOgWvMV zH)ULt&C?2FmhL;A;vI*@%_Hl(qao+Q9egt!uPBTOx{W>ZtYHaJFjyL>;4$9w5Jx?D z=6J=fVZH1s1PyQw+!XoL7USB(=q%31-()v-*;C*f+fB~Z6+6B6#kvSu3BTf&SAyda z&Fdbh>Wq+kyC-v*Bj(6zsG6sTYy~BlJ6)UB%X-fa-MZiQ6r`13-Zs7cv2h~3d0KS( zBOUnMX^lG-PxH+RY<^m0a}s~MtF?*uUeCL@>E!)YVS(*kjo7=cU7cy<k&QD<QX_xL zsH$`&xaLBl<YKu;DZ7j3-6Y?O&s_6^Z}W}gF7Gu7U?eVJNr-W!pA7!!XdH2lIZ|8; z0so8o`rf3ok@v{)`oxW8#CDVFVF~c1^v=x`U&p%^*dX!k&$C_^y+$5;x7U>!zq7z@ z_e;>tI?p;(+SvGv4ScW6Kt0?~NT<O>Ro}YAn#|#LnKdWxfUbs9Gg$rbXx}8nss?@3 z%ThWyV&O~k=9M_ley@`x?>@p&Qc9LQxbTa%-pwaY5jz@skGXIww>9(aV|c#P<kFgd zZNFxiU)7EMq*R-##6JU$&{X6rUOLd7;J&mz*qNHX#dXajIF!o_0KVdC`pzvZpc<0i zed}Fy-%j>%9)0DtvLlA=JTNlk7`b+E_gd58-r~_>=h)%e*P7A$Ei7n9%by4v*dm~E z1T2p5TToPppY$h9@NdLU+tUdRXrQdofGXM&gObL2Kn!8vupmMJA|NPgObQOVpdIlL z0RpB+3TUEnSXUPdG!8`jG+eM2T4=l>0OElVKpX9W2ifI3@CsUZ5b=Y+33@;gc`PUn zhaY!901%J?`=CY~ga90Bl7gh4ZV^oU01`oMpkI(<$8Zop8Doiq7?Kj))+9BCfErv0 zDt{9tX#a^p{*aVG;ZgQj>t8B<dasJcqb$J@2>gexzio^BtAf9$K?<mAs6yb9l0Th1 zp4CrNnj)kGInBS-98dGtD1sF6ucL(S&p~Mv4owIQprR!suPDc>h_-h_<1rSf<8aBM zaTYEZCp^{#B1%wk9FF4=Fq{|{9A3r-<pL4l2UJi$+i*AnxP`IA+u#gI`9%nZe*7R1 z1O+gNfB=|J@cV-*gdofxMk*vE4Ef)De@GoaNnsFSVZy9M`1y~&gq|=sZ;`*O5-0?% zKY2tDq<>5NX#J+|r$+>DV1N1YcZ)EWAG-KKdq3n5$MXQGpu~@v3Bh2HUz}i@P=<~m z-i&dyhQN<g4`{iX;|Zlss17ihze?_S^tZzKOAa6;=$8^OvW`-YILu#tS&Wqx8eA6O zIsnU32ynnSy5fxgR!fNa?^+3&{yV3~iBv;5p#O97rNKoAu0be2905THi9$pK;l>0I z-5LiGBn6~!7KG&p62X;(a#BQNtZjaF2^I)r1W8gr30wde3n@oydo&nZKnss{(1pPH z!4Xvq4hM$jxLgQf0~LYg1g>OmKnjonWC1xq9#8<30Tn<EPzN*sO+X7k0p@@ufCi53 z0akz&#tjWvfqMa94PXF=A0Yr7F^*^e3t+*g6Jg)5M_b{4v|I>&0#0af?*Oab1;7C~ zv>VzHz+pT9oD<3d4d4O1jSCw5?T!Up0XN__+6BvV94qi90WARf4o3C&wMOXwjPj4W zhTpFmz#0FZa+zOu69R&8F#mtuLg?t8)zi8~=L4Ua<q5Lr<|2J6JE~_%OiQIP#6#k5 zCPjIZ@?-w{aGk8ak`|&Qg9~3?YB*(GqIH*hNwT7IBIM~^DV6JK=EZ&AI@(8f+eaty zpA&#@E88pObECM<qZD?twg<42er9?$6@`dun4SJ>j4<s8$=V>RM<Qj^#d;>0c$<sV z1v^7dmaMXLR>c<3#mi>&XNl#nFPPFlzpi0W&IJ+4yLye6y+{Lf;X={J@h;~tN4ld` z)z!4ht%v)mBr3rBmiISRGVV=*o2rT1ZMEkSY<E|5uN1}d@IOL(#uGj4ee-5hFh<Y& zHUFJ-HiUBg<G47(?0mBPTV<6M6{1~Db|$*p-Ki(#>}}Qj*rcgql5f6HX+Nrwdw{z5 zdFIUNGqc1O0%+)HGkq!q*&Ix6_kNuZeUd$BpNDz4AW+3MBsx@CQSRlz9}1;zSFz-T z$HePdkrv%8u$X${VZ|yC7vFLkrlvwUU3Xd_SA}G{DS)3@1u^}h%|afo8+w<aJrtGA z5X;bV(fk3No#8AyS`y{a6!rZHU#Gb+tdl6_w37cS5mYAe!4gX<l>ynE`?dngMYL9i z?c+h&a;8BQdUnG1?{Jx1IgBov(RCVlpvLq?LeOqL1eHSWW#))-v`aSg8Lb+tt4|$I zr3hyeP`*d@+D}%<Er)LM;`>>aXrnH%*d>@{NDz_oYe~xx9}AsGUjNlzas7IKqRod_ zopH}e)pgFQ**w?h4LG%XT0Ns|B>MXKmqkQgPr8qotz@3eiA{0mtxcQ0`5txCvccQ* z!W=!VqLhnHPMjfQ>;>DkyYfy-fFQ!GVeW2b$WsqCFF|F73$%2R@Dov}AiZ97dkXuc zBfD|s)3x*MSuBunoTUh-{d<F$m`k+rvmprn4@3x(K<-OHsQs<j!cmslz^^;p?v2jc zWZjd7j8ZAg5q)HP^0ja}w(F<)x&6$|&+wn;;cC`9AZB8o@E<aNvishzjh*Un+cI@@ zhMC;H@0~%|3)9t5-mu4I!#5s&(wd)L_Xu+q&u+|R)E&0Y-j58+S|DMXD~w%xlR*#k zDh=!SsAs>ZUM_nOSHfhM{O$z&c3I8(X4Jhs3U99*|3%uooKfupX6Np4#2fr9o9RmW z;Q3Q`qD>F8aLXy*CvzTDrGKYkoF1kay4`;sd$>zVZm_G#+wf^H8aQH~VPsH~Fc;;m ztKG9_+~+XN<*P0!DWOk~P*O31yF1_Rqi8I2^?EzJ;VLm#>&RX|^0^+-P&?1%KK@#( zLlptp8DjZbn#iJY@I-koyktx)s_2=f6=u-%rC&QE;zd;AfDF0OR==K7*n`t;8#Av( zX5#WKAEi+<2yks`)Sn+pZ51`>?UZ`I3Oko5HF#-S8|w8T_oSG4zp{6v7%6wC(o^O) zK|z!SQ;Mvi?75L^hPUnv+|kduH;>$!?5a~+`pEf>S(s{qnRmf(P%UYmh}t?b*pGE5 zj8yngc01|ImzEmlSl6HdtjVoI(J6l6rR=y<o>zp4Y`8jjqDB||93+ZZ43xIYJRWUA zbK|9+Har}JbmsT=l%n;->utEUtEl%XRbJnE-Xs&YJZf~MilJ{Z+V(`^MWPR7@-q$R z#nOPAW~Rsh5{q`oA4q>>LDmfyT{4~Cw`9AS@`tU^iD!9KaU0)~@41xm^al!3jbBUU zhHB|Xma=-aO0S%)Jcx@?=neAn5EhX#xhx;wXjdm3jk0Tbt6%PD@|OSXeW&j3SMF(t z&ZXtsEw1sK()*>vWVwS&aypL#OK_I_0c+gu(_i+bD^%l)H#cMx);81Hp<97_uV*U8 z_DU}0PMu+OAjzh~FWjdIm{>Pc^A!uLmxTpzv?C~=KEqIs9`Qev)tgbVz<fk~AreAJ zll$~V^HNyvyhG<aezW_KHQ^`{8k_6m5%D-V!M#E>v*(QE0nIgBZResy6p?rAg(S{E zcJn7HwjKvz@s^k25s3?5;5AJ0?}F^ckfIVym~&IMN+MyOPm>Zqkx_qKqSc7-W6Ox6 zA37TF)gX)W`YfIwo!i8uYRF_Ai4-mp-FBi3TPj$Qz3#0T8B1bTWmNI~Rxf_O?h@aw z-;?a7S9si!4vTHW+BZpNz76Jk9D3v4`)v)vEY)8X1JTImwNH~5QN2Y?QF_4BeOALj z*Q?Bqy}{!Y!>Rrsh1ax|)TZszzVgUH#?LN#^d9u33uP82e>W=0e4ygSW@RZHe_$`J zav~&I*vxLGXQ*!SMW_Z%1l_=FGVsm0Ct^0PyhYe&@7>mjI%Q`0rKw^f2c8Kw7THI^ z2Wnr|nX4%y;E&cXCk>vr*1U1UZ#&;;!1d)qMb)CosUXTHxHY1vd(`@@8^Wh{CW48A zA$}!qaGZS9+|WSjd9h*9RvtH-{ReOSR5LAE?njtL1WUQy-1V>>obKCGbDVhCveP=; zm_E{fD_cI%)TPC~+)G0-5dMmo3)9Ggt79Nv`bd(z@Em(x@$3d21$s#bk6L{-J*U2k zy}pB>7txaAY<W*heF4QJFnD5p>g{JaNy+t)QPl`F7o^#X;Ai|<913roJ_pyd+!(%Z z{EGF^eBoVAZ)bSGa3tI@fZfNWSZeP4Os1y6t>R~u^HZN5R2n7I6Zw?CKx8VGzgQA@ z6kg~?x57JCw7!=Y;nFjB$?dfby<hMAxSxf!C}v<m*=wba#O|UR1!sDcw{Ow40yg&P zeF>ur=d2QST_>99?}jiAW<<?znJp!VnsMBr*qCIdNZ`ip^a8k;xWF{<+^UU^IB^r2 zpkKN$8SCeg&n*F8r02SmCwj1x;*~AMpOvH%8TGa{fw#?!i6$6GV-e|(y~v$w;HQbm zdn70p&oR?;RYU8f9EX3Udcfp$K(b!1r=GE}J!3=?^(qBJQl+EJw@|maW^f_3H2QTu z^XlhTl>Z%ycsYx<o{of2H*C<I$3S4d92;h0!@sE2BKxMnIzRfRn$p+rHiBf0%bns0 zJ3SYgdHFQt^GI@Th!$q^%qX29iJ}|Jb3}A`e3`$5XWD8WFBX%PbhrrB@$AhJAGJN0 zRGYS&Txn3xd3O5f?r=qwR=1P@-Aw$UZnxi`TI09vTMQZ3(_#}GO2ab)Tiyp=%M?+6 zaX&u8BXL)56utMXcWPcXzEG%`FM#unALLP$t@G)fN%qpay5xKYC$<+ZOo_{!#9pjx zVp0fZF0y8fSay&aZDsmY5|he)=^$Fo^+Kz};Mj)y=l*QurJbz81kTK}*m1v8+=-@9 z1!r6P(ZFMt2eMQ~-xZmhw8peHw4sOz;<@<+Q?0aHr{*Tq=x0LwyS3Og{guV3K2gCZ z=6r>xEZd+QXtR6<k5ex6%NbnV&xkz9dS+>1nOl8^c(NqrJ;{JHnyJPeVFh*92-1{= zOGDc#?$a6l0Z{6szR3ZDTDe5_1}|0j59<w@vAfZE{=vrL`mNPw>QYK9S5K?IpOPHj z?K#D*q5Ng9e(!mraBunG8H!o4&VeKtN@@NT=Xw6_`Z$vMFZ@2nS7Q$00uK6b@`M<+ zhRJE3d5lq1sUYuG#DbURjZ}ZSty2K$rvo`M+Tvq84owWFzY)81TXG)AxU;)8ZNAhK z$$Ob4At7Qwyb$*#;$}Vc@uX$V2f21w*o1PKLhU<^(__~>KX2dPwuPQdE>syx>m9+| zVvl(G`U+DZkF1*fj#xd{4&$N$UrXzUM7`z@+~=X9#U)|))YnK&aJ&tTIFlCxZ*~`f zJ?yCG)zbaBweCL^S6(jMZM@{l;m^Jt+5M+mhAv6SIh=>}wQF2lk0;2gZ)|y+ZL=$Q zMh^9ng;>yC223auybIE|rtZ^;y7|;H&A!>LYBd*y%4LP>a*A5VjN*#Fe9Joe&`925 zY~uj`&{fwOsR5n$z8bLgXfl&Bi{yNG5EI)<snRZ!f!&*YW*94#73-SpWEaU>WPZB( zCjEKj=}hPQlqr6;<9bv9yn{y<&zy+3e>?g^&55iL%J6sOeqN^o)KBm_p2%XSX5`Vp z^xY6YADl;AFe};5Y+F2Obgg%X>=P_35=Qg5NE|L&==8;`x~L#Q5p@M&!!3|Qq~Epi z!ql=gA(bMKtz%#beUCku^}`3X?GB|pR^}-tleZV!o<BH!VyXWuN+fqC>@iZN&buI* z<VJsFK~^~lbxR~&iq6@55u#dMDE4B@O4+tn_4b^|E%_t2**UcvX9ma&G}SYbjmiL; z^5-8PV{U$1Skx*x?Syn&Ovgqn<>pAZubT->RbU%-n{)MOqFCMa6_+xAvtx=z&1SQ{ zA9eRA`(Iwx8)s2T)1%0`-o9$S$SZqFm8WO)LPI5j)A;)|@54z4xLDk(u_xOLcHG@m zhp%K%y&Y>|RWY`>x7A*2tExLWwJug%1+3KjcY>#_;=^+gr8$lR6n&W;12-i#L@sx# zakr}N8JXlueN(j*6(JGJU#+9sRH}HzR8bqj<%3-Fnm~ud1%!N%u?T&ye=e@lBf3*s za+FS=u7B#OZBTajOLSlT?e;$3;{5qB6g&}iNKUk41|^)V{}q8c##(+q4gW%6{yw7V zsjB=spTPwYqJN#w#IJdPM?*U_9%7ER#yCoFtyb1>K`@pQT(^W&VX96tXd8^;Z5OoG zZ8dF++jbVBmR#2)NyV?BK<En%^*}j6t&U$p!$H8Ku>_lpriwfpfx!dm;o#%|f<X`u z2YW{x(nEslSOf{S31ol^a?FCali<=*)qvo!SbIAR9>UKj$_IzS1+GG@T)^|YJJ!Vx z0_PLv0#&+LS|K$-9PEceuqVM~gU34|0l?keozGo>59?wLz(qwx0T@5P&kqGTpg2!Q zJjw&=h+_xs9Xo>2`%BCb$9L=#p9R(dz~}*RJ{a)J&@U_jgLQ-u45Q4ku6PM9S67TB zQV6smj7A7S%@HU8C>)Nqg2KQLR7Ai^!~$k1A|h-d`pcZtZ*KmJJ#YXtC;-L*Y#~9Q z&(hTb?IOXYprHa$u)*T+KkzAtC?8CS3-~$x|CU!^ZvJx=z=Zw`gE+{8R0R<pD^FPv zYm~f&wuC@s(NGJBHXMe8z>&g8m=F>v3K0kX!3icG6qNyALIht*{9lOv#`&8l)<qjE z2}x^5S0{Tc9wNvm3~@r?Eo|&TOv4@m`(gE1^e3k{K*-Z?5&Cb(4CSP%`hSm_g9D+g z34BOdtc9xsh{Gt!{{Ixse>=~X7JoVH<mzI7yh1E30JJ@t;2RE1H5~NV(gJCPb#Xv} z^^J0J0wFCF9xQtRtV=FQac~fi!P}!HkJq1+J^n|-9z$49NPCo{wFH+3)Dmrla<#{E zNpkc2$b&sb@<-!X0{B}C*s>s$2G-?=A}zG@FO8BQoc0gt<57b2Uov3Z@+Wo+I{EK9 zeiaO%YW`2k{zbumD4SyvxYd9a1pKv;Ns>bTOP~LqqQ7@<@Na?ympfr^{<pslzkzta zwi)jKw9D{-C?z2?U|0#umYcBR!Iz2&w+!&(#SS8+{4ls6$OrBV$1Ji)0s+nshrvZ) z2mu5y49*3EasASSb>aS%j(@ISkVTtNR@`6%gb{7g7Wlt-38@3gQm%L#Py<*LJb&E{ zc(|agKuj7gL`v9ke|#XqLP7#U5G%+}nh-w$Jtur1jz4K|I0#Dqg9a1ghk+>mzwp6? zU_$?t1sUMrJ<31%1pbXrNI(D#^*{Io2}t@sXrct1{U0;|k$>kCg#8;$m|p}$zW*VM z0B8RXny84#Z#29M3dDC^!1u=?fEMO9cyS~I0W`7Twt9SL1Ob#Bt*{V6oq(4~O0p0` zafGy}kf0P?KuSnZ8X+JE_M{MkqHws3sGt-~PFPU#|IJ}cxIDt)Q7-u7q`~1rf<mMm K9CGUNr2hj-JFlhy diff --git a/Figures/ch4/R3/EC50.pdf b/Figures/ch4/R3/EC50.pdf deleted file mode 100755 index 3402514f06466507243d2f50e7fb12f9c410bac6..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 8246 zcmb_B3pkVQ`z1;%At^d&DMsSm#>QmI`8elOq|7$6%r@IFl4C+Cl~YL4NnfZ$4pCAf zMdd6?NTd?woaFz$L-qCj{-^8u-d(%i=eeKz^xTK%aKCa^`i9CV6*ZV#^{2QCFbo_C zXSyGNX=wrG6b6;+3CDsE8^Dl8=Tg{kz>rSlQuHY#CYhqG4dZax6rwkbcQ*Zu33HSB z%Fv+^C9e6Zl%wsw^v0&$$!m^_jGi2ANbZM6CRZ`6M&Bg&$PU!$)yEQ-T+u(3VJNFu zlM(A$(Kfy{M6~FsBlFhOaB(Om1PE5{%X*Z0Os>zfjML|5a_=NJ|F8f&eao`JyOm!y zCt23%OrP2n<uXzy`Auc1_x0=Rs=|DHMKFPHpRB)Y&^-9Hw%0Rb|4d%l9p~UJEK`H~ zgw;s@)n^U@<r_aZW_V$1ZoJ5J8&s6sAy{!*Vef$a&Cwx5YgwO;U)qpR#_k$|9ok<t zWqKmMq7=hhTs?@Orb)ii7viW#l*}&gN^s2X8eFyW80x;;YM~vk1(SZvxKW7&0lyA{ z-#rH*b?b^(b#9+S1lqEi6?vuADp8lZ<hP$Gm9Cw!TtqE(5MoZWb+k7Y$D~%js*9<e znXc$GG$$<vq04U2%rAtOq*c6{6=dCq$-9-mCaG9&ON{=URdez^=arC%uQIBTo^l}R zSo$8+zB4APQ6}#4F$Ytcb3e!8l#zmh=mdicw;nqsO|UDX#$wZ|i*zfbBvoQ+<*bXh z4fT0w9Xx=0_n;u}nVc(S?ebdLh&`Pv{7yP(EU_#-w(oAZ2^kq9ARnNv(Id`Vdakf- z33+k8vD;ed+OPYNeNUaA-*1$emdg2sHrec5!DuJ#x3xmXtdzIDzint~a`6?_;ezV- zdy`WQ1o9Q$9qoOc`0(Ax<#U!trc4cFBl<N>zA}*Kgnz8m8q8~{35`ms&@k=mHg+r- z9~qvVC|Md%@5#$BlZ+D$4Xr)|Z^$lv`!Fh`_UUwK_4A^TA7fvBJS#gmJ~Pvw_V#UQ z|CPGTtV7GaV4lYdTh`tRo|zh-cpFhtjx7%k(zsA}u|%sA-?{5d>%>r8T-|qri;vp3 zi+`<ao__bTXmd!=)W{0snH7WUmw)YZU+m}{e#9>=Tri2E(oj!Pc9y*6f!*!1ex&PI zt7oXwlud*A7ujPgRfh8@s$RpL63xoNiE8qaB7>&m=%x?$-le2el48njwQkSS>&n81 zbQ<67IKIayqBLm};ahh~ZYgt*7^**M$(!5Dtu6`adHd<O<R?{Ieyb^M%MOu73Ex^S zZu~rVx2;F6_X_>ArUK~#j90+-O9&=n{PnIlDZ!VMm4OU7^@6;?bwW!IELr1S=Pa{p zK!QHlTplYWD9k<I{-on!?x#CR^4ID&d5&zmhfqGAG1@yw)}H{jYId7>txDRsVK}iT z^TV--_=eJR2~3gC=koj13wY0)m)_WbT_+Xr;rru8d9!mzPGw<ZwT@GIX;-&edY>#B zIDG%kl|7Puqvnf`$>A4Cz~uW1mk7!Y+-wTBgl({YNZaAipc@r+ZaUG>Un%-S+@*&N zCQYC1!|Sdn$|QX}7l$>k83?8B9X2@@d=0UyKx3bnP)1wvhHE|RUknz<Xp3&0m3aH; zrqv=={g%Ar<g?c<oxJLrK}{QfJc{l=bfPZo>5FGs4hZKaT1~FL&+=v6f_H3ShtG@$ zT6^Xc4C6!PA2wa?P9|^c$joU{j2TdSgPq-{sGI)L@WP>oXX|>OBp2ETnmhGOzTZgD zO|)@qvP*qGfxH$M<$*TeB3iz!C=Vui+1!Ls9n|st;N{HX0cF@CiExqL?KWKFC&s;k z8QUSU^ObgK1<%`I%EH6#nODMO56>)(Ik$>Wm^Ee7X13|{f%CamZ9>Z~_{YeeIw1Qr zYJ50z(PvW?)@w-Ki|qY7y*)eKVYmItcNFCb*e^&dpOkOjA9VApOWEj$sSjVH{$jho z9JPJ77k@7qc`s|jDw))~Y;1}WV%x{tTwR@YHaj;J2Uq(Ln=F{`?yv<a03!9AC0fO| z*9EyTRNdL0D!Jjc73Sie$3(<sBacUS_D((6I@YW2*xOdt0z|WOyU_6cm6|S7N4LZr zx<D%3V9NRS&HdeQ7B`_;Y}2rT$?8vbjyaR3663SeFGc2T8`zt8@SNbc9EqLIn^%=w zt;R$lnDQU#-4|V!Fk13n*Tp}$alNo0M7KHTi~pA~f7{7SyuL^|=4*+j`|}6Ucjccx z+u6a)zOPhmAiXX>qvNkwPU)gqJx?*`E}xv+v*P;kLDP>~pZJPy?z~`<S*<%dW|ujJ zeRMo>?XA5HM=D%GpWgBrE6nP76ms`U@SYz+7dp@0r!dI#`wiHF_9$p)g5D^sss?Nx zruJ+9vI}5Q04pMu0uU%<8c~<YgS#NXVKp2YuBwJ}g@J=?3WEz*g?2a?U_;?Bec2=m z2i*It*i4cwh3f)<yCWR1qwu&Ox&e=CWXlEjKR62F1CkgrL2?v|-vPHnKo9JL964}k z8?}Lfpn0_*5p&xr$PLsB&R2{B2h3<>4%`I>sci#ug@YV?A(p?9Lfq$f<T*+`B9};K zQWsdvYfqqXiDYmDj+*23OSbyo8T^_C46w8!z){-T^Gfn(H809W9R|_a{9?nO=EA53 zOylpPP<MV%m&l<&h5@V{%#8L}Dj8GgeiSZ^MC6-GpTZ%rX)G?24aY$&_~zh`faavJ zIb1zYA{(xX2F!``Z4?>>IMT>mPmT)=tquwL{imv`3Wxr4FpLH?dn62l!NPz4Bme0A z&H)KS!m(Irw(4j!{}1)B;C$8RrD2eB7!b#KEOiZ#3i{1aLM@ycUp5~)&!3MoN4200 zG=n(^8k7d%L2nIk2J;wv-I4q`L2`fLL%1LW3Pc8Y{-QCca1`J9fUU1P7YcSLK0tRa z1Ra0$x6t`X2S6@bU;^5fp~K+Ne)jcg9v&1hF~Cd!0}}&y(-^)S*I#TQxBbo)^7SvT z@?B{`^rrl0_v?ab2xg%&8l?fpp>c3^HIyrKsHAe>YA`^DLxK_#1cJFlWEoRvRL}V? zBmo+OC}DsJm;yAC4ueXkfZhgdxfE{)&>A=xK%j9rplSF40~rrw1O^nC%L;%Fpa<v! z27n=81egM5fH`0RSOT_yBj65@0Se#&c+mVP02QDCbijLV-T(t&0!#)4U;!*>wV+cx zxN|Kwq#M8nH~@#@M_~XQ8V}&Gh$ITY1-PDU3i$SC0=_^15J+J&75R1nPtg=rI12Ln z@0kVl=Pf#S&i?(F4bJX&_v$U2%h5O-=<A;+aC?X4cDB{)@1c78jz(i>m6({W2di#f zjo$HO`%-bS9arrWZhEd3JDGc-u*G513l$Y*`-rQagZT_07eNCb;HdL$!If?T*d9Z# z=hKLEUT2!y^uB|q<5LcDhRTEAOo+ziNmmZ@v^qR5U$feC@~&)M;JXvm!^3Slyp5a1 z>o))BTV0`HnAiWsid=2vhixVeelr+8pkXH((NiR)9p|{$S~@A-<#cj-iap%l!qn+~ zPha1U*`2lm0s_5H&3=3{lDS^{{8`guL_HzX2Hb-j4!{K75l3l>+Yd%++1j5@O9U*< zEFG`7>^HNpRdlS`ns5KIqy!hq?nkaGi7T2|Bl_*_F2Ln(5aFH{iVzPtK9)#G@v@@@ z%of)mV@GxnESwlT{e9$MyNc8^B~K;g21XKmq*GqTY#-B|{p&03nT$%OZBUSO)u|X# zpQ^+eo`<Yzj0ss@b%hjFKE}l3m6X4H>=!qi6yd64G32ro1^Lt%;`cL79x|%w(iIv= zEst%gXZ|A6Q@UfL#Z{TADg}2|KCLC2ri_%ul=+q|?abEcjIdei+A}?}ViGY0(9hCa zIyT-Mkf@bh1Ji8#i=O$y;r;d;i9*)1z3W?%ZKRtMU6craQEhB-HTJ&Wslk#hVXQST z+tTh@NnZMJvnVMFb8>6IZnoeJr&|wm){5;+3i{%#%&REWIk8B))#S1B+E3?Q+~U%% z!F;Ol_34FODs3$TaO~>}`_(>am#?ij5IM`ZH}c+N5Ehy6Jxk(g<dHLdCN_DB!k4cm z*Y?Hge)H4W;KzKsNqu*GnCP-EKFd=+y)}MdQd}>-*Nr_iBnIPr-zToVC*WqU2?r^y zbL7#ofB^Y|Fe&|Hu6)W}+{N8-83O@SLQuYv;cAh|fPv`EY#mj56Cch4bh=ocLFMPl z!yVmqUv|A4-x944WPFa=_U!oUGhc(posVm(V0Q}pkT0xbi7oLl6nikKw9bruFR8iL z{+gehPm7grn?2%=8)5Wph0ZI#FwbqStZ00E)5$kSHKZDsXbB%?g-Gd>(Rqp+<#J5p z-nB<WT3tK&o$b3++TuuUTDP)9(NvZHeWa9M$wN<(%>!S2@i(duSEo+mw{}UbfQf~! zIePwNTWCV%lgFr*(ZE>2{ZUq1%qL$a)^0s2whpc1F_<b-IFM-$e82?sz|4eNG^0_q zk&NXsH;Q7T(4TUtkMK!HTMy)1-bqiXYk#=4y)e?S-aGYpMDcXtZE8_2ey4)I=s4!A zHrw+}g(Z;8dHvwlQPHRBaEn*zhm&qNuc;iXzrNVuN!;wnp7G>e?_1-8KUiKbO1SHg z=5(-Zig56w$Z%L#9O>p=@<*n1a*dVqf$0=jYiK){XQtdJxnCt)MgNKQUw<i4%d@|` zhh%bH-(7hUXTiGn$q!wCk*TWxdg9Z8fmY>Qj;6wjSL?<SJ$7lLKG0v+x42YeR&2jC z-gihSuq`KQ{oVJm%dd6Wgm&uCQCV&=hxful%Vd*cStIa^9tN#VK)j0P4b=I4t1bi! zxeN;i8-+(Xv{zqWN_B4}2%HjyDH%IyDZ7h{!+Y+Z5|A<~+w#s}I%d4I;eca>q;thZ zp^2Mb+3(FJPYPPUns`Vpi2i{jYNm+E__oSY<Kwbj3fhlat}+`ER;TYP8pBso?v;-m zUitXq;@&q8Q)R8q5cHvyhjs@<tT2k6_G#ueC?p^ZC+kdh9@0A+*{J+Xw>+tGzoK`$ zl^)@tH>2={vt#;8>!%%!%d!bUJhFq?j-8PT!HrKE%1)pC)UdMB;8Lsq(+{uvVKKQX zYmP(|-`%8d6J)4ypTj9mYPEQ?GV-|`@^G-9GhGN7El1GUxIWV-^vi6Xu%J_y$xfWu zb%u_l!+W@s(w$*=fy6Ug*qVLk&+X5S>}gn5<mB_ZtdWp<khHtqtbXT)@R<-q!%cs7 zf7a8kXfgRy+hYbqmbp`Tv+0Y9mk-qG=3b3(SBwl7_pr|H>1aY(Wby{(*D9TkHe?2; znKl|bQ_%H27KSAMFwqs_NgwPRTPbUjDVf$Et@jwz_^H?x_ebD24;f+JKRz+De^a|- z$!xZ>f@(+Hck246m8^T5mP5;Y6gxe~+K}lR-SSgciyB$+PK<5QT5T-5^6;{^l%9qR zD^lHr^4{J<TNEGBM!P%B!qk#8zl7b}HzE^`Z`*%xk{4RL<k8H_=*x!p0@QAQ^g`t& zb+>IhGwSSJX}DJOwv<qL{*v}(^|@WG@|wq+*EVl8-C8EmVq#T&CEv@EvJ0j)q`M@g zSBGw_u>6pgjC_PERq3YvEgD^?x2M)KA+{5Ll5^$#N73@mz;oH2i9zF^o*Y-H9AN5C zF?C!D8K*>EJh*loK`3shtiD()xB9}i6P596;@!_Hk)=Ak*57#C&TNiYR3WyiMM9c) zGO=ONhT*BiHgTcl{+Es+zOXNx-Yimo<9(0fMZw+n8rLMNUP%mI-YERJ;K_ZJ_D#F+ z)46^_HO~t(bEhvAMLz0KPe_(k;ng%)rC91WZF<^cQP$=bxu*VAShqvi<A$Rrq`FG4 zpTsWn**Sg%t9!VI+S=HOTa7;wo2sj^`qTbR*2%IvZx;lN8E_?LSj9i&la=(lH}6nt z%CS~f3RtFSJ^n2G?xVyF<=@{cs3*Seeudq9WXq;IzQaz+2*$2Mg<s`YZa7Z5O0?Oi zG~f-}vWm>JiM}xr9%kK;^Dz_m&U#PI_Hc|rS(<AQ>+&h{B0Jw(9=Ge%s#TKMQAzpx z5t?3SN#Xrf3KE-^v>o<0D-4e}L!_8Yzw6()+wfZxLc1=$;;eyy&vRhvw)FCg)`8uy z=Jka7(;_4F<_QHrHg+Oy>`hXLrQCI`Z^tehIj9->QUo?jzi{=Q`Etb8$mNAdQyQ<a z<VdZzlnJ6L%swj3=na#`Tea8h*1?j5s&7jV<f>WuAI+!TXl@Z6n)R0HcP?MmLtV0U zD$~Am>_G;w&+G1wT(q<4zFFUZLEg8GALV2aL8rN$a<aLs;A?ixXZ_$uKm5oSE+CJU z!am=7@gr_nU8c^<X!j2MT8%t%!R4sh`}pvh9Vw<oZ{N4XL}~;&OeRLsCKYQ7v?N!) zShZ4f7(L8#12*@k+HOnIq2Hn$?%Fc#`Y;c_PQ2A0Q{~h1-KnVSQI;l*a_`gU$#k53 zwk2Zb(ueasL!)0Mi^E@yC`zZ@a!(H|`GmX#>)J70HHvYiHgDZDWG>od{c&?W-7IWH z2|;SjVc7)Q(aWa{f}@Saq;IKTa_~WS-!Y}8w?5w&zS7VFCGJxh{wmUR53cq=aC_YK zi+4tWiyBWDAtwHfLH-%VXQUVB<;ER%ydj-)vk2xO8O-RK3B?4JRi_@S5<RwOwLaEh zbwAmr3Qx4uu@>DSxa)D>`<s|7&wvS;uf!#TjpUy5a8$IpPG$enm;jUhrv@$S&e{;= z1$GJE6A>c|8U^<7gcbdHSw6VUA<LX&E^7%S=ZCD1xEU2BQFFRXFlvKXgd0p?vrwh^ z(q)XrUfV20)*KrZ)(^5ZISKgmcGhl4KjGNA0ueaHI%9}m_K1eINv>R5ELvN9e3Sml z&t2ED=n6{)QunW&RjBhk8=|q^M+bXojIk|j$DW?<o{~x2Ha+&C{cl3qX|}wZ9gm}4 z7wfwJg-o^WiQN7`$=R$bi49Y#IkmX8@C$2^cP%!e5`E^i&s3Vk5e@*v2KjWq!XKSb znp)RraV33kvHE&~PJMR6+ph^5k{HY1#(pZy&yacP>gqc2FjKzLcP~NMWN(S_Da8?I z<Fi@H$2yJ6jEKz{!dHVAd3ESJwQP84W~7+2G@ZQe;Dx=zIX(k+8A3Jt7{{LfD2%yq z;NXL2vH0v0Mz3oE4aJcIF^df+JTMk`S&4}^TBA3rN-tIfSK-k|G$IAXi|TB)y6h{O zxqp48-Ilt_D)z&N<il4It~S1je^-9vn}(kfb-&f|>;kcDd%Jwij?Y`}Sbq9+$G=U4 za%NV*+&su1x}p8OmchTZ|9-1lxX=GO{yP!O7ta1DH4WU)v%l6Z9(e8WqHy8v6e^8@ zM+}vgBj7YL9^r@~APFoziYLuDkWH}-w6G%udXaEs#4c@^)-EDgM4>42h%99fesP}z z2d`LoSv?zbLs<xcr^)kXd4pvIIM18T;Aryj2tJ7>*oMFW0?tR_df^dH1S>d~$)tPH zxNx)zP6efmQr!XfV1xHSe<s@tj#9xQK$dK>ho%i!QJG^1_V5T#E|;YV0RH~|D*mb} zOg0rj;cz$ri3ZSUWe`J|6TsjSdCCmVR!|;a5t`FaG6qM5uagRi=?&1F0F(+6SP-;u zC#5kNa7ZxGo$1TPBYb^nWK9hUN*#;F5tY&IBzI*LisGS+1RrHGn&M6-p^+LMB;0~H z)^BS5O&&M^3RDH{0Jb#2k`dXLL}B9*Mpou<BTpuWJ6Gv|<5Z9s1Ta7Se@iRSH~-lR zphM@)patS+62MA<M}R(9wbHgFg4btLUu6c|4yC3EM`@xpQL37nD7Y5z2PWuzkW>%+ zxC4Id`9F~UhWQ&QlWhlvgf^Ao%c3*6a5WVyoJHi4Jn7(lnGQ$JN#&EyV`>4ApMJB@ zzil%ji$M6Ft>*0wg*Akysm~<&dV?hg6aD{B(EQteCX;?D%<^T^`58hc0Tem~(v1VU z8U<=hCTV&w+1^AjzKJXrSQ;U6!LSFwxI}1cfrDHcmrl{<=bsLpJJ+DopnTG#6B$%I zf~QQTco2Q*T!glQ;+!AoH0`+tp91*B1#FR^&|tFX7}-*M7C35yWtl&y`J)i^Pa3dI zp05IeO8%3_Lcl;#^WQQ18-xE4Hhd7c)PNBL{9MSiVeo(H`S%$8TD`$N0gv#9*5-fg z4!;$M7M2->|Fp^|g4Hg_GoV?av{isI-qe=?)r3*}WXGW3Xe3Gv!~@p_K8n631VCa@ zYACcS3WZieq7g_WVu2Hrt+3#ZKl2wvv4g@&0c?OJssj`f_a`poIuNYm%k=~~fI*@7 zv&zh4Q#`=BC<+6ER@}J<j>TY9F>nv~JPd`yfR#<?fio6h>KF~M^7wZcN&^ShT>pTn ztNnu(i9~@F`9JZ{|G)!H0oIrQj)z8}{vj8Qg=*!0;2|;p#6$j5XEaU?tTq2Zi}|N6 zSmf_8E}IC}4%y&$c{pH83j{wwVBmla6I@pLUmxIr3B!X4=NA^i>Zm^4MN3`J5R1d= zf_~N0)6qfdpm1n?l%ARaQbQHgUKOYPzhk&UpCLG0BAd&1nz}kp6(%QVU}*^ZFKyEl AE&u=k diff --git a/Figures/ch4/R3/EC95.pdf b/Figures/ch4/R3/EC95.pdf deleted file mode 100755 index 7afaf949608f13d2dfd1dd5ae0285e818c79109f..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 8255 zcmb_B2{=^U`=x~@g-}W{sSJrbGt6KZvM0vAOBpj4lQA=9VMt_+Qd&evrP78{WQ(Lk zLWL|5Ny!pLWG()8hL-R9e*f)xzB|u6_nh~<+j*C>ymy<Gp|LVbMGdyCYB2s13<F2P z=^p!G+S-6QNb_QQ!?6&=1~8^j*&q`R7*mOC&=4fi$)Ju7jKyYxL|+*9T-sT)_>CCR zsxLnjr_XL|nEaukFQhagBzJ$!;mDPzUn_Xal9Pl+h7?=Mo{iTEopkoSa>Ku9p!ai7 z>+@?(RDaBnWk^6ljU)Z*^gF*ho<9zZxH^Zr)CS$D*y#A>P0;<V`<#lM_3t<=H&~4e zG9A_3aUmsQ9HD!^{adQiS2u^dMa6p$<z{BOUa!A>i&`&j)1mUBd1KvZrf#C6V+|l| zaYLxkRG<<bfeM=Hu_~L|Gn(?<Q|r|R)~<V%%ggU7>{;)b6L-P#R$xuU;PK9uY4Vvj zhTBL|WC)hu>07>1L#B+0buK5^A)^;pPKrNNq#Ku4iTOt}7rC!pw&SsI;>c+E^H${* zt(yd2Pq|3GF<eHHa*xwpJlObAB6uSy$-ssoE*VEWgqmH-z`EKG`^A;sD2+?K&WR&R zpetVp9uU6~w+up*ElETjg;gRSN`(q&SP6>f=pIM8NSJLqHA6w|nBMpzJi7Rdl<Pfn ze9e>RSqXsq-3s%>hvbnxo}5%IqJ?bhasdI@$s3|!QNb!L(>ZC3QLdw_f=N`3T;UE_ zQcrGC^7wg|)kXfWES6~*+HkqSQmL;+?p}?amJe;&)tQdSql<DC+!J3cH)#`qKryBF zoF9s=7Z!7W+8cgjZ+?)#d5=L766Pre&ARsM>#i>K0AYXIxPt_}@*M)Tmkv4WNbl)R zw0LM6S6vjcKSnrOVdzLtuGZn2YZrn#*MHn1d34c>gQt3O%k#EOiVsVWhE9iJv(J20 z$QC)E^Xy*P;W^zGn5RdLFOTlInRn1h+WWqUc@U={baME`^w-(XBcnqXLJyXdxxU5E z%+8M1&5m@8-pfu;I=I3WMkeG}O5}(9m>Qq>@i-{7bar}#Xo-#g)B};t5)U4n3z=)J z-KXY~l`Sq7S{hWQJv0739taH~+J+kB8by~BIb|tj?=;XNye6+AtM#WGXuO-S#-;5Q zK3Be!pt0eeM9!0Uc8~Hmi!I%BKFGd9^vZ6;h3m)rOFs~=lRv+_d!gFy`;j2#F;3e+ zdeu$RK-;+UunZwJS7(#=W$rqBNu6qR=*Y_zlh_Bw%{58;kD2FH=T8l_pTyq3XesD& zUUzI5`=W2Q$p8VDNhrxm>YGf*5I%4*zWLMai{Fg0(hnB|Rt^I)xW$?$GQm=^p|G2D z>gHY{N`x|m&@*KqLLZI$ybsR~UsY1Hf4WQY{;i%#%2mPR=RZte>6tnmLQZ<#Hwzjg zf+=(9<0OF&r;_ZTnVn%lEi1={cGt5!e;nJ<d3p3@{o@ZFCUrR7{rT1EHa@|G6Jx!( znO8h8m%We58hy%rV}}sp6zz2%zGnGGyB!4H73AF(KpwrHv9_3Wwv}VkjC_S)7Jrib zLRoo<<W|7SpCS7d2+N3!H9chR9iSD-+;i@*yP?diGfK~-&1A$^u6U&*LGG3)4pxu9 zX;>d%+rQ>RfO?SeYU-t{D#@SMF;kVS?4JoVv9k)Y%UZBeR6Cr})gs1gxuqv{mxW9B zXcZ-l7}>>MO~2X(KK())+xW~K-G8-Dfi-uj2qu}KVr72qTmH9+POI;)6z>w(*;SQD zrCM8^J8>dFt>sSDEyKqCs|^`PdW*g$a63BGjM{(b(^$)H?smSIa-2`sJ!*Yz^SaGv z;eoHBGh)^}upPc3cj?kb-|XapEmIxG&U?KkpUppdc^XXq=&z7aycLz!Tr&lfn&KjL zqQXVxBumYXM^q-QO$-?Fs4#tVM#w<@jLFygpElJy$CrrNy82A4EUJ^dz8y5(k85sk zo_m7G4%w0?{dpiG;FV*Nu6aj-%Z&@g{U7^vjHd8uhq9zQ@~RsMtf!@^%_r`q7C)Tp zsW3JESeiQRADu+Q!N=qoiFfYrep@prvf=1K2d&px&syDYb0oVB+eI9<;W%4X_3Ui< z@l@K5%4t~s;h14>&X6flcHpMC?$>d}r(uU`tRF=83Fp%la}3;I-6o$!ZapgxtI>aO zCAcZlAaUz-*z+2f+hEPLW`wj_gLrx5bBWrf$W%_w{Xm=Preov9cZ*Xnb1DyJX}fjX zS9_*}xK>zbF<-QvJU~c%DwwJ^ajtrc0Cwzs0qgzb(3qT>kn+e0pYs#lAKG<`>-P9e zYrOxIu0LANR3X4t<<yzLV$b>nv>Ghe-+7@YW+XqU`$=d=eu(qzvSn*8%Y!uX!o~x& zc$*b(i{iaeST%Ln0!;1qMrIet00Aqa7YGnQGKHv5=fYi)(6E{&8m_9Q=>~%anIMe~ zSLJPWFu(?6(K$>K$bvROD<+*}3$k4SXq$usb|9Axp&N18Cbn#7BZQ-Pd>|5IIz)~_ z@jKAI2pB+ph$9Qm+fQv^5NJUyo{0JV72*cz1?MZqf&*q0G7Ihs<Ed=}bAv-1I6Rhr zkn*@MY|ZnO21GWIO85H7VnKTX$R?7Z5jbj|*KgVCe`WA{8Zf}piU3FH=qxD7pVfjW z8+90u&gM58{xpA%YQQx9I?C%V4C)hEAkQ#>wS$?7v!&85km?VzDI_A_T!tWv#H29T zbS7Mr$AWJT{s?4F3X{b)@Fp_hs%XHRxX?zSQGg?b%=Tuv!qDnGL4W>KRaN1<|2zz% z!J9o2hQVOrfBunw>;1_A2}8oMSl(>a(P;jk*TX{dRbP;XLC$0FI4)qRYd}=I-#jI+ zrK!f3&4(`V=i|&%{nUmxgLw!VlE%a1y)~d2EMV|;NAl;yllvQ=hYLY?fk=Z6VicMe z9L0A&V9W7f^MaihACNnL1|5I&kI?x=2k>0<lL=&7njVcs`PDb1czS|RVnCSy1ttdY zrO-Gmx8H1eZu^rf&)2`b%6Fv&(HH#B?$?LX5XwSjG)e=miPnUxtD)R@r%NvuTnz^3 zu}Hjxgn&>k5gEHcikJ67mnVTY#-oG*rceq{NP09cDhPQSuw{e34v;l8VE}=`VnL?i z2Mo`65F;p{pj=h}^Z*0E5HJFa0TW<1U<Q~27JwyS3pfHE02u%QPr#Gn4+35Q1)u`H z^YaF103D#yK!5=-c&h~!^kmPsm^|G8Ccpw%pg%|hSQIY6Vh~9nzy{dfOb~hp&;bq* z2n2ylx+32$&~X}6g`;?W|1-0A{RNB8AGrTKZ$q>D)4c{i59nx3O~}{3j^g$XE9`8m zHatLm_;@4+L#e>Tc0F2s_j=5ZXWN&HiSD>=pOE9dM)XAXrTk`xO)phcl<gy~dk^K( zmbor9@&k^z+*>N_E`aSe_IWXbNaJ><y3g!AaO!mO0oIqYkhc>e@psl&40E;Hy)$lF zIiDz%s|)HmUNt=2s>j_ZD^@2v`*BUVhVh-=5i4?)i9fc9G&F5AykEmkB%-@ON+;fN zkM;V*)2^qI(vt1r0T#QR`no@UoSoCM6%Y{kP-8YbZ6b54_Qms8PZ9Nmbel7$GadHB z1bT>Llr!58L}}aFpGrLgSejWnUUl7PW?`%7SiL3J{&i82W)!m*xvnU_U_wG<`n@jT zS{h7vpp7D&1{|M?CnWpWQ3B@*tC4Y|I|vp|G_K)Za)@1d%GshC$!-0k34ZI7U&n6$ zrayP%E9JS2N~djb@cPP=v80cx;%B*@a;mYWWO>z<QeN`0rk-!40_5XH+-;JDDv!pJ zOOh4jQ(}qV&pLU^sHUwi*Fb7}ZdE;dgGfz&7Z)R@N>^3MD;BP)CGSoiEr~7Rlq~Pe z)a#6}S?<<7GrDpTF$GZ1QJdR0=Jbo#N=m?Rtv9IYFCF@}XNl)Cp6}Vvf@~$_Omu+} z0U|os!Yb@T|C2*So5L6quUk_~tt77u<P;<x#+=v^xRbf`w$t6mS!+eL5`#xvl)2^k zddC;(w3t41Svz>q)jdA-Cd{uAU!RuWrPA8m565<t+pqCU&A7R8f7Bf9!Dyf75G*R; z`!(^JsOYmFO>OQd3T0eRs{I(JKkct4?N5KdNqy((FcHBKzZJ=Y?{_^iEvy&Y<Ieo@ zMHI&RzE@1$IWXsgDGRw?FZzjKV4!?nn3Q1>TRyo|^YYI43;ls!gy38y<29=$1N&oS znR=@BrhcqP=rqwgMirkcBHQ29jp+7_Z;mkpE_^<`_4%=mvtL8TU5?>Yuv$WX<V))q zqD%aYMITKntutdjNNoCGf75@PU$Ygb)gDpoP8d5^uJ^`2%zLXFBL;u^)rq%9G^84r zXbVL$LZuAJ=sSuVw`J{)?`eyOvbuTVJCn0~y+w3w>N{oef~m@Yhe#>^qQ~B=Wcx=r z_}f*HRVkDBEnQM8VWNj5j$Ay^dMKgd*;7>WSWw*3eTS_!n@_$zQ@iDe=sL8X=TM4F zet)_-Fn|f{hM6sE#>Jp&qi8E+ZWqKIMh|9tJ;5g)Y1yBZp+!xuYkRz<EkDY*-Z$k~ zMBz;SJ+Fdnyq1EY$T;Sl4%7Q>xh0Uq>Uebbh)9h(+~Q4IWa4cXiHdLaw-y^ci=P{H z9#7KkYdIY<V0o(`q0}MO=|IU8;lQU=!(n0Zq?}UnC%Sb~wUx{MnPgbYp*A+xOu12V zpGu~R;WO(SH<Y}}GQWF-rnB98u0D&mU_2P~N9SQ=D(k-<AKc&HqMXgbDXe_6?%Nqp zT^wqF+EL%^T7_A;{mS^qgUf<ivkq@4?TcG+v&-gCrydn`%{?}95A0BhTw)w!6n@#$ zsO1%KS_O9-b#d?NOCif#hnI$!gdcWjtGcz^%cGGXa8d-Ow983b*+WbW-u>{TfRste z<{qP&*zx-f`yI<AUCJ*no5=CW>@%A@vDEs_#AC0#m{}wdmn<s7X_50f9iQo%*LK8m zwb>UTb?V-NZ}<xELD^`e@YBnSKfHaMB4=%epnefPxHB+frAf?;UlY4QApv1LS!b$s z(BMc^qw;h8vc!sgioR`D2874HwEUMYj%ly0YuXzHGYP?5vV++Uttf?%#%B#Br_K#F z2v-<gX$hzq=;(#TW~)d<M--NBGPDUc)_BNb6(+V=ycLdmu?-m+;_pIThK$)p(Ac;k z-S5!I+#R8%PF<#2nxeO8dXf%(a3`hWVR)YSb6c3i-izn=Wkz*32o^Z`b(Ay`QVx)I zwwcvyNr(RkMKt6DFnh1nbj66upWGhXze>=<i#wOLsBlGpoqqQ92oJ@ma4}Eo%<lGA zD2sINko;PuQ!&Q$kks9cyIeqYeYb@%DIiQ_rC8#CePatKkp!k&f3kKqs`gj0E9{NH z%YHGz^gTWPW8bDW$D+AR7X{V!`0rjD4hu6Lu$m7F`YCpLe``giZFJ8~StDX%#XbIQ zv-X-@a>9{<@4@bd3s$7M3FSQ>4sKR_LK%D4X%?oIls*#nVDG3*IKFk?fl2P6+9gkZ zypG8*eh{d3?~@PePU5@Pt!Kwvd@GFCirkZ0R+hV@O|U+@t3@7ntZ8l2mfc%Q#G6g6 zs;=hxSc1AR?JxREl0WECcPXqms4XKO;pU~3V}F-I)%(z0>zxqSi9f-*+V@GMtTX6* zruUiP@xf=uR4V%EhEsGs*L>Q^RWBdiJcb|?HdItyuHClg($?b@rzK8%TvQ@Uwfk(i z{j`nV6tSpWbak`%dhUrc4U43Qr_QvBEn5+A<tSo=dFhnws`}e~-HMl&?zGpqDOveO zd?;h1(C55o4^`SW>EdUy{l8Sd$WPCnxl$1Iq+LBBNlt}Z-C&h$Y4~bWO}9l!t9z70 z{hP3N4q;CljvSZjx_|2gR?tst{3=#IvfHbru~TymJ~}Q%Ut`VSzD?Fia$5KD0>2rt z#eXmgXXTTW4ByG_P<oYRt*jI%sAxU@JiPSD8R@d`eG2MlI^Mm(%0_SARLmK6Qby2p z59WWB7nVLox=ys&sMPNZ+q|00wTZbs5gumUko75Dv&Y&wYkN4xs3g@bn2~YPyuglg z*YjSTT9ry7^KfGBJ_OF^94WlFQbByvlGexov;6SWW{70dnV#N_JB_DbA$00am!C5d z@OuGF-CMunvUSiqSkneV{i#)>_2vnAKqht~_1oLTP|Iz%w5N||m^i2zb3g&v^)KCg ze~d)inz+7P^(vLySQK6BD`kqP46{F+YVwv&;jZ3ecK1M0Lgn=G{n=_(0Y`Evx0{-U zzRdZ`^tzO-?)F-;Wh&ji^V_2fz+Ruy*=)4S?!9xIz#;DR#!uU15W%O|o!jKH86h|A zn$G#dj||M_3gwZ%-G_aC@NzbOSY4*h$7JUY{927W<h+c-wGZ*()jN`R7rgIlj*Zd? za+o|5MVVBr&C`|?ez{s0H;f);xC64iDYjb^^{98j$ga&ZZjbNa*NL?RU@HB(zdIFl zJ-LR1fe!{hPo`<wXIdhDTp767{blT{WMTN5QN{JCcRkXAiUyHaU|l<AD#tKxUQJsz zeK8k#W&KIEo@y4hvWOrh5h<5IIg)YGC?sZ===!_rR~-D%?}~SOrM0}+8!l{YffDnp z2!9i`+gY=Ae@I*Wt;@w@z-5hRv{2K4#^8Vpg=g0<zLOn)%<=a6tegUvgJcM;>&GEX za7k6l(Mpk{&T9;@Mr(S>HkEjyrJl9Oj-|R!KlbHdu6YMe$b2O(8EPbVUxcG#%=IdI zm&XR0_SP6RuRCW$lo!xl`e2nPd8tWIH&;k8fP2kPQ#Mr4B{oA_ASpL=LqyKuVDaix zB})%Wi$=J^1Z0<0m@gNkE%w=Ju}b3Tn2=$xt?3EC??Y#;blP#pmX(O0DaKi2yx<cG z+9s)DZJ|hQ;jvAI!k@ctUZW~3=}+0Wc21$r`&_8T20uOQ!Edy!VLP0=-*p#FYHl@P z9^Ci#5Hr=5o74XEa7UrO#|>nPZFki6M@lYcm5EH4QuWEjE%_siMZUGzhzj)C4!@~X z@n{wR#0C4kdxJkRp)|Fw(c)^_o<j8v1ikvqhWB3+q!Vc?-p38*=U$L`?dIk-@i<++ zg0qJpWV)wl*Ga`umtE(sDIe|JRboPHx*&8tWRXw1p;NQ;YcmtYtmSFsbq6l(8P4+S zx4W>cdN1whi`o3xOZyKzdLD<*JZ{oa9b_zq?2lb+JmHD4z{`nGywx7NU3vd<c}OK5 z9jy_yRIH%RW{d0If*%iW{b;lGT5T0KFpv~^HQ{>W+tWQ|x2HAymAv*@9m~uU&9t}6 z#kGIlTx>ZwSRBy03OqX}U~V29z`LRSwU)uZwf}jm`gx!Kef)PKnEyQcqtrAsf1Ulc zb-B>B!v|!;JwPuC4UhP8zYGDVknspd3;{`C7=YfCT|rFHHps$`6y!tFBqMZnVA{Gw zsE7h8bBPRPPkxo31&6L!csT<bb7MIk0vE^iW%xp61vuB2N@L-;cm$sW2eo-%00HNt zuzm0dCxR86O{Y_RC~P=dMN<W(j8feJ_hdr%zyLba2aZy~A|RGbvM0_4s;JB}gnD>{ zH=E7C0YE@NfJ%U>3Z3Z%pfoi#0VEngqm>~HWmX`KP2?)mSX&@@d_^cuzsP7T6~0a? zB)Ts^aRN{(NZ_ZSpLbFUod)L#CVJ30Y&?R)p^$MJWOa~4LJ^hG9wZNC6bkfIMnaFW zDh7+jsH%eM8tUYq;uwFZ`4@T603=WqvIEq@K_w$HhXgY52oo!FxQREN#h$Npz%^Bn z7zD5|{eMd<$T$Dl3Xnq=%%Bb7;0REqz%$Sgs#@vT5~1t!ZjLeyZiiCC!BIFg4yBI6 zVc^=p-!LKPL!<`KS03oA&;Nn+56nME=}bE)By_xJ90rxnhO4Py;S3_1<V}U{%TzdW zUMin-0aF{``RNY}{o6JpG6;nK*=oMNys+ls;SA{{jxSVlFg5)D1kJzgXEN!R!VC_R z%Fhro2>_`ePd66iY80d~nS}GCGku9rd=nWAs5C-kLtzg<af#5;h6dRbHWk$2=bs*x zJ>Q^Gc=?2*5@}v|1Xr01dJ;KQHbO^1ao!J9iq3q4PXYYq0<}oI(4aHt8QFq<KRN0^ zWtqQG^GA8qzi6N~d7%mjDfv$xKLdsrHUAy6zcBa@VZ#SOOAQo3z^{c&2L}I_o_~+g z@6{XH6Yz)t-rD?+-QkY{(a&W@;Xkc1icqzS=NZVXytGx|W&CaqjaL&!@sk~ifuoTq zH3$z{7x*ZKI356rMX90Cswfmn35iA^k%*t1=uCy5?)ZEDLMV2;uu^~;P>E_kNMirO z<+%<5>v7oL5C<qI6n|BjxlGU#s*9p9Fy4wg|G=>rj4B51315JrG_lZ>c@LcS6Q+*Q zglfNkg`qT&PzCgFFm=p7Xpu-1RFVHXp6WmF&`2~?2mUJ_8ioFcTr?I1RYCuThs6F9 z5BX1>(VDy}^51AN|I`JG{1e7z5~1256Z$|82W%-p&?g8C9I&B7%PRlt0~|1=dD7v$ zIDtM(m>R-ewNYq&w4tU3(m>5f-M|2gF;>$=A&m^tXnlQ6J!7na&i{_##`_GxViTEc SzSGn-kZ9PpZAO;Hu>S%hawdxa diff --git a/Figures/ch4/R3/LT50.pdf b/Figures/ch4/R3/LT50.pdf deleted file mode 100755 index cd842ea23929f5c1405c54839dc07a264d749654..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 8324 zcmb_B2{=^U`=um9RJIUJlo4@fVaCXk?EAiD9b+&VGt7c)6)H<*jf8w6DlN7MN!Dy> zQA$Xg$dY8q?tf>b<@<jB?RmcIx#pbryxVz~bMAT1UNbEnIfT3dWbeb#xXTblC>%<0 zI|5Nr0gMP_Pr4Tr4MHpc9U_TNph5v15{^#LBH$_R1T{4XjZP)td?0}tnHSo~Vi@jI z-zWJ?j0Dq$!|Z1gD-U+^M{l7g&^wbpJh<s3=^uVCY~OOO4(+{!aQ&wCZQ5ZX(eqa( zPIvG3M~~?)i<9%lod@TZmfRmL9{pyRb}YR;1g&l9Io=zBY8-u4dFfD*jff_X_Tk6Z zRu(>M8a@g8`1qa2^1E<qYMPt8JnXHsihS1<g{opLN;3ncn)awOwkCg2s8hB{YS+e| z{k4}9io8@;JaP+Si;^*2djoR&kls;sq!jqmW~0(Co;D@P9dw6027)WuINJb)zY?nc zQn`Ew?+x|ZCM*6PqsGg^cBSfUqDyY<q9%n`b~K_bi@Y`oj>SDlDGaP_lI!ZeuHByJ zdL^ys+5KH3q+E$j=uB71NB3RRuh}VVh@H`O)jXW&I>}jPcN32mi1l!Ny1bdxVb%5^ zMXswe#pa4vo&o#CYyq$Sxaqw8)`im>Meo@l(_^$zg<kz97>3tMuc}>eZt2SK&5nH} z<0JpDNTG8u6t#2lz1x|RM-ft$uhL$~CdqjevrDB1r|ngJuyf|zw0<@`4Z>&lD!3x0 z>qRDYa{gA?jvPmHEy40GY5bGa`>x`Fb6g`Cws50O^&5B0I2V?DS^u@Lk}l#8PhVHE z&$TQd0w1zYWq%RIx)v_X&FA{6s`ie`I`OVox-V-<Z0&i+yWeol)P`~T*NZHOOtWp^ zb49ba&yal&9J{}c*W0LN;Zd~lrh5K6Zo%c$yNl}r?LJJjHhDznBU?ZuH1F}#iZ+?t zZ%Q?5^X9%Z+cwV7zE3Z>MW}d}Rz_NRS4psMcaL`#R}Z^iz2F(<$2hte$e?BPtIZ9} zboMRv<WKhMJi&w(#q#nS2JFT|+|>IP8TZmDz@YlAFXvu9Tv(V}oE={p>s$Ob(>HPd zq<YRf`8=th^@m^1z3-d)m|q~IzP#L?w;bjX&3!Z!Z9gc<xH%@SiGgv5ZufEed{H}R zUu8+AgZHJpN7F|Nw+#w};}2h!R;dnlD%5-N<c9a~#j|SMYINu746idU+P~heKs<AN zo8ou+%cE<h%VWkDUpj=o4%9sFHJjiwTJ$NEI}=)>`MvpS>)<`(zMlJ{@Zd)dH`UHM zPwiUF@Zsy9%z0=KFW`4->6?|po6~g@K8+VKhd~Chsa_MbGUK>QE<yBgs}uF2&6d~t z+V~o+54}0)Y3S&k7tHmkX2D7M?90X1Iees^7jGKFr{BTGN#FAXuQrN1zQ}(XyBv{K z;`3gyX3CDUU*=#mPkH?7k5dKeGgkvb<L+luwmw^#GmQ!4_-yZ{koKvR;^5Hb<K0&2 zGbcJK+tbwzl#OjVgnaqkMI4PM=QlbMxt{seJEUH;mTOiqI{!&B?FB5|hK<2B*kvgm z;^c+yQW6R_L0|J6tc67+JYZy;{!A??IqhVyYg`UrBz&ymg3ei`Cp^Hdy;k`K;gLM^ zes<G!J9wU&U9G>W_1rdlIC;1J5c~~#*<ARP6WP)5oy8}s;t}1mShM~I5kn>k{9Bx+ z2Me$3x9+^0ZI)`@a@gg>b<0gxvqu7ZW^D%wa|~vmS<DV4#L)A7#8ovfe8{PVHe3sr z%yv3P8YwVsDvuYxXtyO^$iGe2jL{meKo_Hku3R;WXmytlKX|z=;>7S7k$}I(lH<)Y zCG12hhx>8XB@eU<PZd|5HF!NQ!*3#%7|HWtU|z^+JL5@y%y#Y+4$aGr+8mAU>BG;3 zI$mXNRoU`Fw>5a^h!@|mv!;)<DnJ@8F!LLZ-$UO4io&>*oO)dQS}m1`wKmSmT2YoJ zR>koeRL)v(g{JTdL6dCv`k<3b8<zLIBn!*rPGLV)#fxNF=`F0dq0dO=%B5x$Jh@kw zFJIm^2iYe2dcdmMDy-pJL1o0mgFyr5uU9zt3Wr8jc{maAkLhxex4tf?1|)npP-=14 zrG!LPeOh`no{1!{FXlz?zDEre9Ps{NX#dT%W2oMW%yn<q)QaPU$B{*bCqdi~a~d~= zvE^6fi(<YC$Dtf$eWrGQnMW{e>)#tJ+_qvI4)p9_QF$)b*mIRpuC?=a^^l`+_0X%P zI$P18r|ebo2k(@bUVePXR7-v~?i<8Q;Ixda&+9}=%@jMWLeR9x;k1or3uENT!1Qj4 zSfz9PaKZ`pzx4MxJWRj8;qme~*T{>hT`Px*z)i^g$1Vf5m^%}5KVtqO&`2f7517KQ zUCZjIF99&ac@h9)f;$m+h!O~OfP=#dSR@psfOUd^gH!^U4n;BdH3(oqpivl9Jb?!8 zcxF@z-jYCf0Kh#F3Rn>W=^(mxAYIpz4(@tT1d|U)qC)}65eQZX+yntlun%&iL7AJU z1q1~BP>U&Ibu$IIfqFq%iqW8eA<>-%b$~F{wtzT6K@JQi%il<u+<)xDtCX5JI*vr~ zTx0P=dt(9}=MIiQ5v#m@$;SN2;MX)DfT@`=6rrZ}LrK=Geu%QbK$vtEzu2&*xi+c< zQTlU~+5Iti2uC9@4FlL(8=4x~$?6eE{scM^k7Joji$KFuiN16S6^doDV3~t80-BRZ zrO`FLa8xJ?2^isiv=Im_U`uqTd(j*qNDNcZ?|
d(#}VTwx3*~1}<ifHKn<^7El z1P(=`nRCV<k*t^5LxZ!%fHIjdCN2}k<og2)qXbf|!B<;Y1(pUZ=qd!x!dazS(`juU zNETm3I2_7sDS`9&fx)6-&Wkk$YVcDkGZ4w(R~M1&2}Q7+4_GqX=*(be#s}!mwV-2- z{uVkv=>VpS)|h~{C2Npr#GidFqK5|oObjp+z`#@le28QQ&FL3grrUn!%JlUwud-Ze zg7YE#XZIfh(-6!;IV1uJ#Uim#i~_=m`6=m1gDOA(4H}-AkRTAuC7iDwf#~V=qsx@Q z9Ai>K0DUk8h<FXMCy4-h8?dAkd~85#U?G4pkwybe!wMKEXl9TR7*Jp?O9L8!CZGjq z13G{%pa&QNMt})m3RnWRfE(Zr5CE1mzyt6g`V#;Ta4i6cfHyz_d{#{WkO4B0OaLeV z1^n;JTsuev5Bh40%G4B~0yKa|@F$P~8Zi){`Qq>dfDX{Ts08pgfC4ap03e7!rR-x_ z3H*{KprD{3{>(FG|A&27zqNn=)CTAJyR$XdzRgi^w4$2Y&#!Q68!kIb+cGsoMv^2{ zEJ@t#>7MY`g)I=7*|)|K(9Jwotv6~ZtcPqKj>6}U^`>l5?!5MT;;?@0<vX1*hl>QR zc9rw9%So)?jzDBa*<JIm^!GST`NCr|UOl<DAG@G3<LtdMva-U^I#a(#XU}%5l)&`@ zh-~cS<f!fPE2l_Lle&_IDAKZLB!lBXthv}S4nh@_^gP{^W_kIFYbHe3<-}MGu0i7I z%)DmN6~ckm*jTi!Omzv;W?^=2Zlymn{_0iffhMsUHS;C`8-Ahl(t}Smtg|aijV$df zD)fX6`)vwhC(mmSixJXglaI2qpJbmQb{`$CyV)A)#_+SZC!T+Hpi5U+WarN92YI*2 z#wd!GTT7!R4P=sK2s*f@XomCLv0nEbO#$}$M3Q63(L>s9glA>LFVWW_HvD-$G9A6w zyKbDjaNBXK@POD`zMb1e1Uum3Mj}Za?YK|K$qPnJvG$FDDEl+KNsks&COqBJ)=6FB zblZNxRVqOrS0^lx)Oy2JLfE$H>^4N_h0pEW9>~siC8VYBK1sYYVPjLATf1+&n+J@h zp<tT~DDSCMk4`IPJd1zjv=dm4n7t9$u)7u)TOYtvQ|SH5W=5#vy!XfXyXN|dAB|hK zX0_%|21}um3}F~ka@JxUqQx)vgIqp;exENJ_O4w-ydagKbXOzN@Gq+&$t$B==R#ax z6gH$u?mFlFYF9;=G~pefd}8$d1L0HlLLuf3Co$6o<5Le+j#qEOqz&+NL5joDXVzz& zU!=};)H`@iT2sFP8*B{D>`NVNA*6UE=h&BLVDyJZTf;{C0cB!jtPWylBaHpMz_7-9 zy^NL(ArIOXQTtDR{3_I7YAz(Ha(}0$V~eb8P6QijUSrcUS>@Qe#>#6Jak|r&(Xp?F zV-w8S-f1XrKNs@EjbU?`N=kr9oQqN_Z~q)!b?@6k@wSbeL)}SnyJNq9c++~cB+xcm zO74!5$b>t2>(_WTqE!5YQSVg$<gn{r^6I&2@r|9*dU2Ft?YRAcdD@H30&0T?+4nbR zi(HS|(5!zwJfy?EsgFH`FU7#MBh;lh{A$W<JQi}`ZqTcO(<0T+Nt_MSWkJ1frRu+m zaB~Hgy+Ml}@h!ZRq+0wU&f9l`7_Nuf!7gq=w@uGg<#)n#`^JgA7C%s`yZ7q2-a^`k ztex2T!2-r&VQ${?Sfy%I>K4!Jvkot{CMEeD|6*VIatz<KD8kz`<$k8ga@a@lg9z7P zcz>w<$w{5r2=g<Rg|TJ}Dibnkhqn3I-}rV`*<oGHQ)zn7?JfnI?7Ght6%Hvi&a>|x zT7T<1{RTVrP*Ckmk8U3QcBFmOX(DfB6Me)%HBLrQOn-4aG0wbgs;rBzuiP}{#`V-H zyEv=icTTDbBUc9Z|8-K<JP4Ea=wbx>3CHO0Z%5AEooA2#+?IIpF(v+Xg_)a{hxqnm zY`U8_PPpnEj0lMg-f%Cv9&R6b$ecuIdd)uJy*V~Y)Kms1$ayMb7sugEUs^>&yS@2q z`Oa6rDtDN-4NTXv3_4f4z~8X>0-ye;hP`j@?5h|}x_Il<sd;s=r2d4_qX7Y9<6B*( zJ}nEf$DiJQnBgP9J(68@*uBsd7Q3U|d}B*t<8{tGeQ4Ma&(4=Br`~bOe1D&KgqXU1 zMmS~0eD_-!+wL7*I*B~dNR*licHAg`r=f(;o5ZiT+Ow|m%$o<(f_ZCt#WxZC6b0U3 zZf%XaLs~aToXm<?>aNI0edMCgp|Nwer*srg=H^(c7i=(Tej)M_DpDAAO>0@=IN#D( zIkp%cEh*%;lYa1Fr0)s=Z{Pk*L5@#<*oIhSz=7EEjIxj-@;3abvCZ^NYsoX-dx|qd z%dz$&F(@I!pgs+9-l#JVVw*bO(NRj<GcJB#N4Ci*n?gqyy}a%D&rjCkWI5gm1P%=U zrLXZ)C#WD-Ls_pPMY9FcHgvsMTx7?fnHn#j==ZD%bwnL|eQ_|kICEBRp<pZ_H@YVT zF=?kV(ARDzArY&0FCogc>`>Wc@bjmO)<Rjnric9BtIQYAwMtxUNIoB17jDCSg6nSY zj(H8l`dqQ|3sU<r(Kk^;l{hq)XL^j>=smx)oass`jUH~tE;V1-l~}p^o=easZ_@B- zt6hQWqk>P~9`LC$5mI-g*PfO_0>_o&ueg8aEve<o*wXiaD8O~MHS&(OzO-od8>^sO z^PT1DH>)4K4B#4%a~=sf9vJHB)(|{Y{rWpUUr2dy=RPhqtrk>Yr6%-bL&V0!G4}&c zP$c9Qg#brO?p`(C{cJGtFjM}m2g{msc0#9M?~SbXbVOWY(~pPU>D{9jq+xmj(n@Mg zYasiMpAXY&5yKabEUeobaQD)}<##!j<Kx<QbU&&ljxEeQAJYnHubeg%$exG}AbD>I zylMWPZQ!{>>5Iafhv_3Hc7%Lx*GunuV6Vu-r6TT|?5Z%0$Si%7OgfRDrxlxiW0%8M zjch@cP;Pfbqg3yK7$Yv#thrpr^)23Z-8nV38GXr!4FXmJ1?A_hZucae6U@0Gnf^E> zbY=k<zJFQGJay{b{D(QQXx^BEXU+_f>*tcj@=fX4Chi^g2KtPgy|bi7c)ec-jea{5 z>@;S2V!U<cc9P}ki%&Rm(NVWV8sO<Eid0AZ@h!bipbbfaGg#fS2Yg5RT5cpt4&-KB zSqRoYNv^~mQ^wWaZMt6&ymH&+eD?~u_-S;CqWgF2>W|A;MEfu`(ng6%6D|NHW4~UR z%X|C8hu~8Ge)9S=+Q4wzQRC?6zPcZtR$`oOC%*5IUpW&j{Is%7z=GH_^|6_|N3wXU zx?8mpGK<IaX*P_5Sem-rP|LQsQLyJyAz$&j9G>tq68D<-Hxasa)}o`^$|{OAdsD}< zcHNJhO&HlHPV2N>a_hPze#0WtkHhv0@Z!Fo)JX6&l;QN)6L=t$e8RN3J!7%&;@KE{ zeA}TO!^YYznHmdbFy-%?4}Ts$mRr@wxtJ(k_m>yH%Z2>IS!QDAqK-#(>Kb-jHzD*| zjSOA<lJofB`p!f9wFGOflNi~Tc~YFhkf+F(yTWUvzFCECtNYqWUwKlReA4_{pZbMc z{qWaBVgQ?5*b)BFvxW_`g`vRScXmw)Uf)dECOV`P7x7;dtklC_Y~^WOY}=_`#UY?f zjKwx`-<djC5Z*W8p8egiQ=gvB;dl3(Ud!`BF9{Q}%=|K=Vsx%9d~s?>xM7;OSz2T6 zId`}tI%d<i+uE6*IC(iD@0U$;wp5Iy%C)HmR8=kYs<MCfjaS7uJwD?YpCY_H!N1Y< zZrIVf3a>?OvEEUkOk~gQ%FUA}>mzHj)^R_}uFAhZx_CXmHtOJCY<+&}w@cm{40A3F zhF9GdGLI*IIv6<ZAKZE6w!j^C`@DXY<QR0ut<Rs{S>Mxs(r?5KaY+zCs4u*ZnhScl zReLB~F<;~Pfjy^GlT(}<jI}Mca%$`;P0Cft2_4-owCPes;SLR@@IwD6^a&1a;%4fX zsE)VFh~@1f8y%cfZhcs;-qFAlE$3eHmAhAYH@n8>a5I72z!Rc1F{o{i{bg+DwYBP~ z`t%(WZ(aOlGfkc!IVD)K<J?n;y*Z_c#uXzLvP-a_&khk<o0i`e<oDYvLi=aF-|26` zFmiVp9ttU~Z$7G?sL^$k>no?@0)O%Dg~jG(EsnxZQE&g!=jQOMb}hiz(`*c$Ygtvt zw)eIaj4p8qPjrWEJ9k;7*PEY|RKa^ItjlfjQ+Ii1*y2pO^AXOMGV%kNtq1PR=j`DR zPb?G6Jumdde#Ln|<^4?A(%fuqQ&ZP%^@^z3+7V$xWcdwqfqmgNeB<n*iEkuoJB#M~ zBPpX1PD>Uy;4m`@`?p)3aB|#DQT8vzFD*W??$!wN?zvQ>sa*=-SMur|Or_p*s~B*q zj~8w8xPS?0SHBg1wr~C;MJ&Mccw3$GdlQvZExww70jXQJ7%rVB;zUidye}s{&vYqQ z@I0OOHXtSj^J3-v;WktFu8>WIF)8lxb@0sywrGS#`{NDbftoRqQ{Bi{2RR*gY}LbZ z3_NM6v_iYx?CZ8Vo6+I-O8+~|bMPH+Mn1fKWnF-O5tVuJ`?E&Ess{XiT3f3V{5nY3 z85^ygA`l8n*q^5e74<;y0OL)dL){3TM6xPuys8EUCAzD^Y!!{+#=e>aFQQ%$m0%fU zVucU##$(-K>S_=bbsSinA;<;deC0e?R|PaEcyv>h(6lhpkzgVODhK-b`hevMXrK>? zOj8b2g|SGK!8Q{Nz@RJ?y0<FK&e#k}r%*`VL^>2HkCjKrAyE6F9#rsr89<?WLlN?5 z7|4?9?xAb}R%%umf<0B37oF~_3;+QE0rCMTc?#7NKwz<00FDHZNI4Kgj&_tx#|6rf zX_BBkmLf#EpJZg3JWD5eJjDkf+5rf8IIt#Y?W{|rkfBV$I5!G|t_ou?i0;Zt1Ox_+ z#Ny<TZg@921cKlp2L~THcN_r$S8zkX2`Jo}IN#sY{6ii%018Bbb^u$-U@6L-fhSN^ zVY+5UP+czyjlNnzfnw$1iZI~E^#3ibK;QglD}WCDVFnctN7)#xKzJP00;^$amN@WO zZorTuL#+@B%20$dQW=3&R>nY8fWKja&Id^~!K)(h>gfMK`WxnNq!g+Z7!qopWQH$^ zLWe5IqoKYyI^K%}p1es=_^MPE=?_d5fa#~-Ec9>N4CiZX{6AaG$A=l#Ogv>R3ZCHu zmNN9U{y#zUZ~NID|5IUK29?Ch5O+L4AQ70l(Lh%tK#kq;${rM|4-SlPoUbofa>3ET zum`}ngsG{3gLERDL{MYpp9YD(+8_~``J_z3kv&ymfpYEy4;+I;hp9>LTlE8psJ7Z* zQ2@WVfGs>TG$_<nMwSG>HI8avx#w@xtWhTQPa3f8{-e4GD)~<yYXQTIn*Wa39}NCO z*swt0QUgX1@N*$kgFyeK=ig)WYxM^A1XWl7b8Y^|?(kcwX>FO2{!gpSKCp_$^bBZL zX4*<KGv0tfX4aY!tYlZfK#_2S0*D8$3oH~ZWhMZQMkpYVC<Fp23rE7>aM&6r3RQZ| z9e>YX5XFiaR?=VtEOs3s;ORecnXUuD8VtG@$N>zBeLt($fmDJAST#i`LYOP=>H|e9 zDxwsj9?%~!1Xcm8m@*$Ic@2hPRek@2A(WVP<iEi%%qsJrFgP3mR{H;hAu!Ck>z^<r z91hm4{{}<A!Ak1iU}#XYzr)}P|HOl1{t3e>f>#B9<EQvfUC;>lZ+LVn4y-~_!CQVP zU`Y%DuQn8+fCU9yR#~?iP(YvTL4mSLlwj3W3+kYvsBj1kS5j2e(MDk~nhIzotcC_k pTT@9JuBnL9L4gPI{}scDdA&iS<EV6&(=bXH1Z3}CZBre{e*v;GVt@bu diff --git a/Figures/ch4/R3/LT95.pdf b/Figures/ch4/R3/LT95.pdf deleted file mode 100755 index 9313bf6e0a1ea7ea4275f1d808fdec53bd6b5280..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 8324 zcmb_h2|SeD_ivL7QPxOI$cT7m#xiEIWR2{5_Qn`Y#tbuK4He2($XX#OQe@4(Bum~b zNr@8DLJB33?EcRTTHg2f-#(vre8$}8+;h%7_bm55_j?Z*Yidg)WaJ<R{+fur0g;Eo zp=76%5G5r*A5U_nxj_{`iYcH?Aky#@D4<Qm((syi9N8JKq5`4PD0r*~#4j!VxE@&$ z#diNm;bk1<tNG+##j($suHMoiUJuVoDR^<#mVEIp*YISDk?y_z8$wN+XA>m8y*Cy+ zFw#xrJ-l}*VQ3J$@WK9?s)}K6ha;>$aXzKBBgJe-@NDPf@Pk)1KL$e{+FW5nb6=?o z`7WGe<hE&b*wy!Pea-fM{Py(m{>V=g6K$OK$7aTNMzD8B_tn;}Py@V`>khn1jOr5M zw7Di`bFD4_lWiL!?`;@deDPTUI=@&=hXs<S&z0Xn9?kb}z4#*i>w<F<U*@-Oa?{_I zd>qC%``!8uEA4a6*1BD)^te=MmF-m`pJ*x8U|fGjUC-DJf7J~id^lg$M^}BXky}vy zv1nt0|5bwj3V*4Jw4qx!iwC<dVYj5Tk*xF+)lh}hY>0<LcYv8~pUCs-5rT}}wIRcC zgRm0(D~kHw+GJ_9>=DAPk$Kmy?H{ewZH?Tj_U)J4ty?3tEhr{c0(;o(!tQ6MKN`s> zbedl9<P<Sf@6h#>az#X|z89pt3`jkfxW5?bY|~=vpU)bN9(lZM>k%Vx;(Ujmu^$Wh zg8??O?5=<QC*cWVkA$q4(|P?4KdE9_yq9Zp)0gUDxo2!wE??ip^;%!>v+0wFaOqib zru{BD%^-Ek<()tZO<QTAI9B@!?YzFeaRdvwK-7`%^s$Na%CkN0xA~C>wf*9?S1K!~ zjcc&6p-%)(o*zK%IQAY|o1|Dt6FP|!(rWr13FV5lkN@i8q{!N-p*&GM+xq71hv9sK zX)mJ}3QLDqRtI<L%EaZ%?6*+F6nPzK-+v3W_{32-=JeyjNz#vuN%qD0rsxcz`+~x% zwP~(1*Li|uqFJu9rfkJQ#)HvI#j2eg71Lzjzm}I*ro8UIT3w#=OdC=fm=HEuZftbT zj<V`19iCrs37Bdc9G^U0S9B*R!&>B0ZB5!;>7wV|`H!{7`Ki$|w5rTxe2~XEk35fq zg)g@1Z?ZZxxpnLV8*|3Yk9Tjsw8fu^_-yIU#KCEE2U-3!`=ps%s>Rf<g1qAS=+<o0 z@b*uv#x@}_+6N1Thn+pLhbE?@Iv<!EJU7C5vn#9kMnAWFV#|%2Npe~E#Cv64S``4V zK<LCaJJFlv!hE$R2eY6@s%qzVqzt?)BukEb4^6w9Ka(2d@RZ;0$GtgNRaY&mO4ow= zknon*5dj5qcLM9%sEfh&Pbc!uwVVh#BNZzZ^CMharCIzThK&9a{q*TEfg5i3((*4# zRR<M!?YZ{Km$Ni|6Pb&giJbRo$^K+7_4vovZD-0=SJ?$n1768{3}ni!@?`65cI%aG z@6SteI1-<dX_a@e%ECRq&DQG(HDOG|J!JpeA_s_4$43-SEFz(cB-tw6D#!Ao<mA+j ziO;2N>7zZl_}o{b+r|?kTi%^>^IrAo{%l<6bNBUyfiCqs-MF%wj;~r@x~3`%elKUu z?y#`Pd;QFYpUFtlpr?oQ!lF1YON2YcylgRgr6PbMZ!G-L8I}}vsM!HrL3=Rg>js-0 z>^9t)<t!#W*z08&3cp2l?)O0%Z0RpCchrN9vAPBq<lCFsCopaf$B}8FVZL2f5G~Df z&s@wc!cX|V2-r2jlS{MUtFdn^D!&wEY{%Kt;5g%0qx&wrHbxM=JFu*lgVw7v=r^l6 zcUe(HWLTlc9PftAA2B&JtZ8<UcB9z7rP5MIOG4((*c)J^epX7>2Q_*q=fp8?{ZY}; z6HReBU0V-|NG2-e<RZ7#)bwuMU!ypw)ni(B&t9tT`lZ}B`;)nYjx(#RzPYorR8J|% znWA2yg|V^G%+u=AGa9RQfp?f3R+>Eidj48<_p071?aucnaW<=^m4=J3AJ6jSnFDnu zqr>m~P^mMqz{m!0)Cl(unW>7dJaY9IKRnFQZnu+FRVq7y4cS|hb6@?wRh5O#@^nQ+ z$23bGPhEVEn9p2I-%x08X0w_T=bVsuQdxYl(5p+AlSF*Ox^jyic2D`|^52h7x-s?E zjv8P?b@(Pz(jgX;?ea>(EM|0gpVAY^3I}(XBj@C|e&O)itwELDI<KWK8TBO7zDALB zkIo(XB>C{O(&)*LDB|ec>H6v*eZ?yC_nl&~t8dCEc~xe*n2rj&>&wF1s;iQmFgsq6 zOg>!X77X^2ttopGlvm%r8lYd7zOq?3IC&UPa$etMz!rUHqVGraUxWfu5wcE``?YJC z`+MR6W2`G4Fu*$#u<B$#s4X1qmO~?<vT|s92-r!%lW0&``o0DMOz~8*HwA~Mf;*lu zg^V-9(`*57PlN*Ict0A*uH{ENYDNQhJt%^%2NcmJgW?DT;{n_R0S)jO)JTQWH&0Ut zNLn|GKE&E)3TgxGf-(%FLIFL3GZktJp_^?Av4?^hyy+@`6Qyfk--p*EHLx@+k?gvm zV%>TJJPqp%_COJ9x_*s~`cuKLX+QuYV*@BcMP=Pc#;n$dGDSh?a;Cr3Fs8ZDs|Zp2 zvzPw3-l>kI;^~e7tSt15^p8vF;E6tX8Ucr8xJwgH#Zd^JG%^K>rmJAMgV6)JlR%-; zG~BQhs4NoD$F8>#2sB_taHhFYZ6Qb$eW2g}WMyTc^zRx?UXea~I7D7v0s4RW{-y~6 zhbk!0=Zr!k8DIL70yt|FI3}G&=cUu=de^y7ilEd6eXWI-V_3kTu2J9&o;9frn>OZw zWayQL!=dz+A~=tA4u%YUUW`7_f}f+(6OjbIbrDFePy{3RfSI=wjh^iE`~btbk#vmS z-%{tN96%4zh7!=XBsCJ1@bg)d;NpS@3j?eKFfru;4+6=XYX3_uJ#4>grN{bLR2iW( z#CqWWbNJQ4G6bto8i_zc(MU8DC5N!5ze>7Np>hyFjf$feBuE5n3G1nYC%C$;Khj5_ z_t7OGfG$`91e_Ylm52wU4VcmJ9+sdt&=A0YK&67NVI&L`bTg<3OenCHB>*)*1JDGt z0BztXpabXu`hX!|1egI<fD_;h-~q;HfD7P4@WBHv;939>0C#{0c&xbqAOR!-2@j9~ zGWg$<zIG7tF0{24g>ET80jK~K?}H}+RDvHs^~B=v01cqIQSjieFB$L#e1QNwg?y0V zCGbreFAD`7@n@aUpV$4n_OAW=t2Q{---E5O@op{)SCCgx`S})ZVaa;j%&J@kk(M9| z-IpL_{8TKYZE+_=a_)^mD0Bz=ZHsN1a+@JL#v*Vzp9hk6V!H3VnzGStxKY*}WmC*^ zySIXyNm^txCjyZkar}-?wU0|U`3t+@WZm?EA@ristb_aN`0A>+=7lCPZ81)?I8SaK zL@IiEdctburG1#IVdK5#2;z!sm^bs`Xp?;_SO|qz)HS^2irJ0q6X}qnj%PpDW1B^u z&Ms&aXX6jIMMo=GN!Hy%S}xAb&#w-p$KAdyG19WHUd5z^$C8^bNn-S=nnh-HslM59 z(<&W)y&=oI=;<V_v3>YdsYHJ!rgKcQgg*bV#{9N0CvPunYeLeq!@WoO1q1~-k8tdk zijv=3VId(qeM~Y@60ePYs^IM~e|o@qPm8a$E`ewl=&!Ejgnw2(_Cg^SV#$5WL$Y%q zxA$($<wCn%{3H9`a0zk>@OHw5^aT<+JFp*+)0g#IqOBkL$y#6FNO-)IJmu<iWs~?d z7AMZjC&Vx5VjKB+658&b5aG9KxwsqAefd)dn+vkLLlJ4le^3<XfZx^<>(t@d;p76N zs>xX;0vNGs)yONQ-p}G*+6w|Jp>ucrn)f$gqnmu$>x<l9TF&xyCb<tURGR3<4;!@Z z%4o}(J|!-jpa(-4kusJV5v^X)@1=9Na|S)Ppev7u#_>|T6)V-k^sbwK6wRJsjR`!_ zQ`CG#R5-@{rEpcS1pY06IXm(00snbxzCaV(bExmfCTIRqI#ahDb!CLT7g7?OI=eY7 zX^Ar5*<|ZFZ9(}4Y_&Xg;b6*WD?ZsR@uqb}8cO%$L|gF05P%_sMQbAjAHta4@r<dx z(@AUH8u*}nN%qjW;jetnMkaisO7{gd>{_LyZia4=T~OQpObQd-_^|qpY3$MOHx!~@ zjzwQG-ttxr!x<CU<>YN?Lm^&*iNr)GR&;!dtf~FBSh9N?%g4Ti*!|Hz-oI}1zvpKa zDK1^6C@|$r+VwSV3qd^Y!GwE?PhxPcn~Z9fO5DS437uH-m{#l|zgt>Mk9br@k1!p2 zlqrxKvGtK|Zb)FKb;}@AAXoCS6P-bhB_X$y=i<<i!<7Lq^TGw{o)cM`zn2FLyb*8u zD!|6-SN>XI?@7<1YYECFJ+bbdTlZo6DV<D0rZlV6EM;zcRG(+;zE?trOOGD7J*l&J z<$Z=AdSNurd#Nbv*2?E<<%pD>u9+8YUuaH?a@$>JTK;kx*SjRZ(K6$Fp~Y;>L;k%0 z>uAVOkoCD~?YU5s3uZ;p#*0c*l2_Dsds*N8b`fK{ss5=1t-r8W&N8#{Q&p91a=pXc z+rKQn4Tir)&-}%!a-sj|Em~oibwoIUqq>DQZmS$C$-7T?X)-?6q<yBmmus-XDEV$~ zO3m?D^Rc(~%5vk`qld1alQIcFU3q*pl<BNpWXQLZF_jBUai7}buRbBi6;>HLX}Sn; zp5AhF$F`{x+DAeI!%l6jjckHjhpC$o@hz{IrrdW#N9;9{#PYJ7PZMUg+5V+%Z&05* zcLP^a-OCEw1uMT)O|yWQhDGk?9hbRuKQteBU3Rc)BH?Pm`SS~^`x1sOP5ArzexBUr zIP+nJmnkls)5hC_hiyEw#>Tnm1T1<_g~_(oqKCOGVuK2>kL-dkl+M3pk^J#4{v;t~ z^DKYztjYd2l2(0tdbQ)(BayNyO6W=b96>!1kJs^E3pz4xvoDyOqMqWY9}wD3@RH|w zjVjm`QAXS}N|??FUGA$&OL^?5%d93i*Izn;Be5|rH}N(bKI##80Tn2UxTCoua)xX9 za|OBt9x2M_B}hB+SD5E29%tS0Oir3hcg&Jde2f{f^BH+DS>R2`Qv=KI`4*xV+{H@L zgDTM0<59AFdI5uKq+1gX?1<f}T>cZ}_Ghfzo_1TNBP@&T9CdDS<~%>wfR$o?%i}jP zc3oHPg?2z*mKsK<Dp{iy(*7~GL`Y!IsIdwM*WMo)Q>utYrlyipq>}VG>BYRym$D-J z0}<25l|}|Tj73DEb!sm~oG4c>pFZ{c>5>IshNqFb&pV}slKD1~tIdf?(TyRNY-d?3 z2lgzeAvS02OIj2^go@0U{aB4vV0BH6lAfsby2z5MsPxdq>GZWn*~0PF`)eHow!0I@ z!p(*KR3~`5-W>L*G2~OVqcwz!BY`uDaoNtFIPNvDrtKVjK;U7mYzr&X(v{d-_u4$5 zV4=H0HNWn`3t!gBScmbzGk!s?PR*x2*1h_{%@tU2s{0_Tie{_qV6_JHTyyBQ_|MLV zyJU&TopQc*W^4m09EY~Rgo2H@cO5BzbW;#I1AC`$F4h@(ZHsOktZYC`CqT{UEToOt zcBPr*Ihho!*}4x`G`_g$fN$ls#T##LnoUk>l^q>cj{m$k`~0(JU`O?LJ)X>|NMEA+ zPQQGUcUwlD+m`ke<=fE4&+ZBQ)S;8w`@mYBomEN5Gx3DncSL&W<3!@woLidFsdt5K zzp7>ODh07QBOZzm9FEdwRnC~tvfJG1e!TByy;a&^B4R6#`AA+xl6hf&LJaTCyP~O2 zl7nU!fwB8HR7_H4-Y&eK-xtXdb>zZ@kEEvggwHufv`j<i&f1YdeFygp@o^6KR{;~> zE}XLeY;<<AZMHDMEc|L0bCyCxfj~1nHCdiwhdZ-#pbOfZz&ndRTK<6R<Y4RFc+rup zwCu%Gy5~sM=+hW%LuJeTyi==%j!Av1q>`tR$@0!WEb4|=viA<6>Lv8!6Q&#ia@rxC za>sYp@qd9!{k!ShXVj6gc7KD&=blI3KdnYNSWW#9lUcoRivMYKJC7-$e`fd*Tfb<@ zE>)*GMPvrM>(fjaGodtPrMY3t(l*}yYeifon{Kj)To9>!bf^X2E7+hA*<M~%qA`&2 zIYan<*xaS@gF@79vt_5=YeIKT!@QWSz5qS<y~M{)eTRD6KXC;f@Fku#deo7&G<fx5 z6fUk^y<hKP!_IWIMPnG|#}1oMW2duf23eNkg&MEBaXVhlvB@yr7ZY(NqWh>`XRaZB zz<m7U)h{=n9NFBhen^wIK9}g7d4oOKJ{WnPbfY(<Ui_PR(C)^s4{57irHSWE?hLA4 zE*OHpA`pDHNC%(f4!Wq<JXaJ19C&-Y<&xVs!!1*t;_^$lFLLIpAw9d;A1<{Es@5>` zU<lFZhiqjtNAf}jr<^l?*mdjDQklIfV{}@d7rBWTk|Y;aysIYW8$*_6KJqtzC+v_= zn}5z0Vy6(b{ac|{`Ue&c=CJ$a-&tC###5x*m3?b!mIsuXK6%C|qwJqtu!~FP=e*?e z@I+;>e`A%~65GCk3BGh>|NiP7)90GP>N7U6J<9}7>k~`4ISmm<u5TIiQZ2mq=GYj^ z;%G=sA)iSc;lmNX?>?uxvkQ63oULySDJ4cJq!oPn@YbSMt7}M~4dQr70HM10Dq=q1 z#V)OnnesVm&ku{8S58cJXg1I?-Nm9NR+^BdbTepzlW+UAs-it=iXlZl5ejFSwFo;X zUm`l+U=S;u0^4lul?vXk)a_|zkCb-4_myn`v!6+AM~E>`mfzXE^-;3BpZG{xEof;r zQgms1rrtRENTnM-KY5<_-kzAJA_s1k#v4?Pn@TOi0zTP>YHnY7lb17OEe{=<{ZTg5 zit^49)>98GZF=Od8n4!y&-#_cZjrlW|Kif4N1Dt<A0pmd*JWe&symT~vZh)dd#-6- z7u_+?nm4h`%s<r^ygTNG(ttZRF`<g1Ah_3Q=|f*dckt3|s>4Z^7m_j~>1~J07H*1h zhs2ljW+m}`v0imJM1D70zC1tI(9+Uds9F^<*D%hnhpf13!gDahl53J_Z~SYKhVJ5p zp)m49sQt3(T{z5G#QM$7E*9p>WQ<QKZh5K8qE9W@z5iOhhE^$nTfNm}Yb5@<Pw5zo z>SXb5m&+*M4%LFVi-QZp<bA%bXWAPb-We*TXmZv2j))f&csq8VjooXQ;eI3jdAehT zoNM^4H@;C(sGij%n|33(aNzc$sAT83M)(fImPmwJ$CIr>ei~6>GkwUHM_BCk?9xFq zk94(Gn=3fw5B8Z~OzZS|srv)wI{KC)EeGDQy2;n4m_k4K{fUt<(171hYa2MhuY<&K z1O1It1VT;`{qq!|r0NGAVBGOEs1x3mKvITH*3`qG1ZQQKmAnDmz*7V7M$ieM;LQRI z&2a(lIJ7fNRRyA?iUq+LytE(IQ`&`bRX~M;M>k~=4O4w>5juk(#?Qmk1B5G}ejY>; z72~H2V~AkDHk}N>pbQq8yE5#!fiaXuCKKHWG$>LAErXCo$R2{aP{8x0FPY*FMaU?? zK$R3{7mO*0)T}84pOj&4G@2&{0DOIYWqf62$P`xqfkvYNI1)f2r9lp9sy~T_^^+!1 zMZxhHh7gYb6eCe(7&gh^$Q}UUIDn9W0~-TvoOKCg5|lnL)`{#*Q-*na6Pz)McmzrT ziN;DJop4Ul2n60m8V-J><<YWuloM6~;e>SB7|!!IGyfP5>;MOp1^ocFFd!7=?2W@y zlwn7W^`S@I$W+=If&xX$z~y1U`t<)TtH9X&XD@&OU3Y^L$b&He5eOH5O%M%JF~fq# z@?+l8B&az;4g*DCkQgKqgF!--fWL8q!3RY(z^fwg>gfL<`WxqOqGXCWm=Y?kByUe5 znFf`UQGj}4X*f3`c=9Gf;cKHZMAtc$0D7E$^U%NTGpwh9!T;<v4-a};)A=x(WSqAL z2xaJM{(q9@-;T30?x(??-V`FELY#2`o`|R0Mg>ES04;XLVO+=*4=kA9SWiz7a>3HT zv<JYvgsCWjoiqZCh*x3MpBj<2)*uq-^@Jf}Nv_H;KWS&Y3)Y)RgQ-XyT#Eydpt9Cr zNC3aIfGr$7HOQ1TMP_)f4UH-w-19eSMlW6ZrwrJ3UPl)}Bmb#mBVp)S^WQ1^L&1MY z8wLqnYQPKvelBDx5a_@3`S%q4TD`$NK^f*tUz`82JNyPUZ7eeq|7n#u2%>28$bfF8 zm#qZ7;*WWg=vXs?QS2ayg@hyIKt6C?V6bRn=mfX|LJonHMIew;a3l;4hizygQzSOR z@%Q=#S<LBaB>^@-u<IlqNBhZ34;@HW^QO6h8o;DD_!GVMqu^aY)D$5Pp|7}WAE<)7 zysSLb1-ec{pyfcsl>UK|HfSgY>iZ`Rp-9J(|3*X6QRY8sa5w@)`v0UMP;}h&PZ|;q z2XX7a(GYMDN&Op50krJzG`QS9`QWI3($MnYRl(o%$^X+91qA#zJ{koJqL38umLCe3 z5dy%g4S6VFN(Prz#;pbv&?UK$p$v!;L|rwZwn`{PIg|oQTLY<~p&^IVKq{&$$f7mn m)HO9x2sA=dL*;+xu%};dP-$2SjS)1IA_@UHa6rpQ8}eW4C|SP% diff --git a/Figures/ch4/R3/SR.pdf b/Figures/ch4/R3/SR.pdf deleted file mode 100755 index ccfbc9acd13b001f6d621b182658d948d22d1bfe..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 9148 zcmb_?2|U!@_kWA6vBwi34PvbGnZ?+RY}uC(qA+F#!!Vi|dzMP^h=>qb%950{P?9CG zM53tdvL_*1p^)Eav_IeH|NsB~uh)0H#@x@j=e*Ck=bU@z-g8INQtyBQ60Qi5d@>!M z1HnKMP>QQ3L_-5GCHlD2J)lY;#R@n;BGZXfC~$y`qZ9RrcnX1t#X@LwDiP-m3Czem z+?>d-%v056_lkF~w3qWaCj{#)1dX=hqKsxb=ToyiGJLSyvyi1vUy(PdBWZzHn3wu= z<koAlKV~KAQ9;YX_+n-C@iP08uT?8Ii?rZwp%3+}?PmLf54-vkGE*&!lG_q=&%Y5C z+@OAD-!o+KH3L4?RW?*ngqT<g!>Ls~e7Kvv`e;v%@|L4128fBXeOjrovKI7+Ss@$X z@VF(jzNJbzN;PSaJW59wV3gQo(jLnW=*g`=3G#YF9sQ*4lwGutQ&`#GTG=0-(G^_A z{Ja!raLLTpK`}X{A}wWA>y*-XE1P!)Df4e9k7j;{Nhya(E%T|^fy5VA_uRa7h}3T5 z@WIXD!v=>#wi2u~$l#K$)o-$wZbH1%NL7V1{W*oKsTH5cs2j%|DB>B8S8uBK4t?rQ zEG+GBE$t7F==9Ftmdy>dcWQ8b(jt4>_V1z4SZ1^AQL(lmWdVHT`o^)-*KJjs#m(<t zOnR1^A$dHKW+|=GtZ&$}&sHfdWhS?>v!V4v5bNo?J<3j~v{ch!$yEf!xU2G%o~rPL zRI?FcQcw@}>6B^p+dYa9C!JBrq@ZSgr@P#XXQ-{}(HCyW$N_23Os>u)hF&bIDIZwm zl4a&f{v}sc{&o-H=|o3hGr<XUI(53Pvd3wWOYJYRS@0>bq`)5jO!3v*ZWp)d99l|8 z^1xn3Hxpb@r!P*|)n5sV>~@kP%(2jWdP}kW?a7?s+#8`3-NYwNwq*&jggC4F{4N&I zmp}k_K}FYWcz94*b-6R;&7+{zr4J3ki|-eP*H%~UC{DMYYgLAoxym1Xq1}YHAI1dX zAwi!f>&D|NSU+z0>Qogp&jr)C&%1EF_9a_z<(q1I(a_cRQIxPSvUP}3i9U68ZPGQf z&e5~+IM-LXzT5fa*V||I5P0nOP5bd|8x*g)anNj*PhNLNFw-lpUAA@Y#IC4l0TE+7 zRwytpgRiId{p*G&+jb0Eo%yum14|p)%XsSr=%Io4o&sI)ZPj_b(~wyvC*jXUy#8hR zXD>hLg8C!gjFQl$al>J~WEEyRl3>6t1>I}D>potI(~T8veJ7>hJ6**L@%0|Qx;^a? z0narmR<9l^eT{hLB~+C&H{{YGD*@?Kd!NoN9XG2IB5Xk47`cLeamiOm^iitl(IStI zOFD`y-e%XZl|#i^Rk82BHt4z!m65lP_CGz`egqj-E_71O#@kFfZm;ixQk=(Eq8@%I zb7bce*lJ_n86ic|GBo|<eW_QDX{|reRpLi{c8>NN-@6ichwRYg)0^e}o47k$EvHHu z%d7MgS_G|mx$A2&0bzUE*IJ_6wp>>o>KC$9$A&*$T>RNFF|g=ps_H8n#Coj7@uj7j z^!3ZNQr>aW@q6bImKR??ihakip`5FI-f5V$f2gwako?*k%<#rvJK@)6z6d`HtSu*> zZ69+Df!{8i*w&)P-e6KO9r4NpzCS;eDIzCN>V4(AjYsb*yK~#z`6@UK9!zR@R&-yR zF`LMpQSzvet2c2k?NRlByJQNiZ{)RE+}QTF6aRUwT#wv(&hBG7h2-`H_9{N$AY{4Z zA%!h>)T8>|8u1;^vN>rTIe+H9xW&i9&-?g7A({I{OfGeeXecZv@pIpW^l^x+F!^1% zC0mkvZ998l-4=cu&eXzFL)i~&9HXpzZBiDIewUra4q57S6lyxfI7h0y@Fy$S%W~u} zIk2&+a~wTr<suvylh15p$?sI)$+wo3z82*n!<H#@+$XH(z$2aOmm~A6Ln;Lyv8j63 zNlg`>>^*hXMI6wV{4~tjvb3Yo!AXx<M)zZ3zuu#Q{Ck(-rh%C$g^~~7rh1FW<w1-i z)b2eonddGf7_y&Ff!1gy>`Ee1O^s`|+o?G4GE3IIdzE$DTytH;VHuk|7HAr(Vr#^F zA%X50pE|PFsy)GWADd+%@~c?kRtsNTtTXz8`OJ>lS1(hU+OJZhb>G+DF_!&iAOA+e z(=(;}v}@u5W5W$&YLfa(zork<ukYz{cHF6V>8Ti3p}>=?q;<@`%=Cg!U3yZJdXC50 zyb<S)sH){8x{j|oWTTj`K-~>9ubZj4-)xAwZFY~Y*K;d*vCokCRRZBX574;rh`nk_ z24XH6Dn?gW$CiH%Gpyn|o0t`>%>Bvz6Mnawt3{PZw!niFuPTbyoYxhL7RyV_Rb%R- zIa1c{Rvk<eMa|i!zL~<JmX$_-yT}!u3UoJZVRrW@GrhPAvRq@|d#--g6gd^9A}7@a zk9s{Vn#3-!GLPX1gZ|Bd-)*f0-C<|H%r_-yVT#v?EzBNk{i}1Gf0R{AwGStce_ycT zdm5u<Qx>3wDZtty=11dhf$XR5xi3nL=bj^)uKOye;s>~$6dvxaKK;(V@fEkTf?LsQ zt^DBnT-^RAsH<TrPoCQ^TlWicySwdax%g%Hh&sNNJJn<6DZreP!PHnEzsr%YbDiVx z4C*h3i9%`h*{8+jdKKBmS6gflnFS;7E9J7^T1|z?hQh6fX<0FOi^Ux2CRambaIySr z*DvQN$Ew0DZ1`ZNr9)``yAL_{<qkC*kX)Fw8{~xSSoF3z-7oH3e@Ww^P`XB9oPj)v zxJ^I+A!p?5=aBcJYfvahRN|(o>AOP^jf1Pkrw#IYR?6cx*w17AC%fdn^hzG$?A-6r zJap%UEb|R$s$o$f#8b&uTmO3Q$d^=^HP?Lq(itzCwyQlQ(PiT&1fUMCoJIi)E3?B~ z@%(2`v8}Mpky39=vo+1%EB>%WHQugfjTz50R)1tWm8p1Z&r7=qvQ@WAg>Sg`=Z}*G z)!kUfuUoTCRT79kgztL~u*KM~Fm@@7PZUxK1^G@>{I!>{3GyWZmN<7JU`8a6a5|Jg zs3QXGR#ZVl(Tb`^Az&w!=tGC18M_?_U`3=+{HS;$4crG=QYm<ABHa-HcS=yeh8Rc( z+4TeI2G(?NF9bz0a6pj*6i^(A+<XAHMu0B(3?kB?j4hQF1SEYoi=pD%77IiJ?SgI^ zMuP$-BmxcU2w|9Q1vv@@5&RgCzlk!?zwgezN$TS0I5Nfk2gG;l&4_dy0qlVyzhV8- zt^6mzuVFv{3rjO75{vzA<mRZptFlstFyyR$!E6rmN3RM*<<DNm<M&P-9F53u44`vZ z-`Lz*&X7p<C(=oH+@`zqh%`Kv<V&Yep{fjsO?PbefbJwwX>?r=92JU20j9X`Z6s0| zup<%Z9yCV?N|~YP-~TWwjFBTC7>pA1fAjtg1%iMoDKW;Yj6!X`8Ba>!h?RfpV^A2V z-+7c(AipHOwSL3<Wg&?C(-y?9He(#$&`_X8h9u)t1&#i}y*Ua56wRQ3a^LwGN$3Oa z!%05wP~>Ld0c$^3IwR2;xdDdqN5XCP{+2dB<p4%_et>{}_0jgBk$yhwk=)#f;G_U& z0hp8+z?<abM?3lpmJzbwQ5kXm717Nwn&Z5Q{~mfBa0-GmPyvNhfhsG3j#fk-WgITt zX;4K7piRRwCL>4$=Mm1=kVta(`2NVy!02O0LI5K${YiLjA9pelj5c6RCwkk0lMsY3 zBhhG}Yc`XG;W7{iOeSz1O9R?~E}#eK0|x*DzyvS_%mE9)60icS0UY28-~j?a1U5AS zZh#xfp9r{tYXRU6kN`5^{ml)458y-cAp#VD0{-^}r~nP15&eli0F4v~(0p-tB0vY| z9#kUu89)L2fM6n(BD3if@F+z@Ly?S7|30M{&)?no?XdOxSqmK6@3GbWaX3Sxm6fpA zpU1F6wma;tpY&ppV`KchUL6v$>3XG4bI2!S*re~Kn(@f{L`OtOZQa@<>*P2izCGA$ z!1Ivw14~D_nCQD~(IJOwWOpJWc67gT^>Uou;Cx;`@s;mERZEhFdm9QpxKur>yseSU zA;H7;>{Md1YI6_i?;TeQRJ$D_3eMHOjEue(wahVb_A2s<L3X_EE*%2S7W<kS&vXV> z^Y?thvXTTp+k){qd6VZ&&rMB?T5Y=<^=_8Zd@n9$E5k)aMPoQWhld_qk#x_`zxG$j zJ2UgUC{5kuqP8U)`P`D^r=@!OF(@qwjLG?g3l}m74!bU0HhojXW@vqtNXVOzCa3nu z9LdZ)`nKb2NMO2WU8lT0{iK=+@AYV7^PcObO>5by9Ch8mp#q>~Zt*!s6Xe;O^tm@@ zUexE!jYY?umpMpkH%?wX-f;4?C@u5ok%@9-EGJ*B9txc{{;cAeyi|HxYmo~%O;9Rj zp7<8ga<M#i@91+C<kna;U(*AG_A?Es$Yc1&7k%Bt@eOPjjh+$QAhejY8bd*uMXowD zm*NwS7I`<wMXB0~lQSn-YP0bfPwL~!;dB8v_UD&Qr-c$a<%A?40-1b%CD>`+`;PJg zb~L37U^zlK(5u<eInD86yz(-VA~dDaNtsT?Pbm;~IUg>q-A!;)osN9!lFXu>3b`%R z@!32P{v}CrHR_PKYi(j3#U{tO2W}`(D<G6b#@BB9qM!1hT%MJ3eBb1|g%77Rt8A@w zS>dDkM;q^Aukmg;dp#*x#r%B*weZ}jh-XU2!M!<;1>i4mm};49p!@j?WWAJBDLCbp z$zwi5(@2}~)Lo0te#0{DvNYsnzpd6Md?#zr9pw$$4dpb$MqrsrjeWmO#<19ngW572 z*W;j(_tz`o$hsxLc~4(j2ahr#YL^^d{A6nWv;FlVyl1bc&4k@-34a!N0=i{=siljj zPW86>DAu&^s;z!xevsI?$|)w1$o-L`^@#Pi_trjA#tKmJ(%g-{Qg)bbCkYagIrxyf z<cz17XEnF^-FryR!`{)`r?&D$z*frZ1jSQLIK!kpX;y+=GYV%;T7E5XJln*CQaXOV z<VY`u62u)FHLo1}QEK`8uEBN)3rFB}Z50G>+g%=rc!D;3j0c@?9-*q*BJ{?7afM5s zx9%BiX<tU<m+tdvRO{EJw++}&J2YRe<xLed@hwc|uM2tce00)blrCN0=3uMlA|I6d zIR7J;aOh!^zymG!tpHL%yS>qBpBctW`So<9pr0t^TCqmZTK$A_OnKNbTyycrp6H~d zCzm-d*@YYfJYGkLk4J^~$*;ADR(2%Xy~@(@l0Tk{x}CC8(!S6+IV6$E6Xjx3{Vu*n zm>^<yZ+yfuBtCs#prd5h*nqVBbM59NyPLgZ74Xk<U8;9y46xV*qra5n2TU68DMXPJ ztCGHasOqS9PCuseAxL9R?o-z_PwIL;+MBzr(C$K$d{n%<*DzWkqr=#f(~_l2v((mV z)K}zf5OrWXigp;)j)SLFD!#KB2<~|=b&rda%Cn+=@stExNY2}or%tyWYf>(L;<Ffw zNg*2CJUsL$J(}mvh@q0HL>tetSHPiV-NWTo@1$CX(xwf%tIZZ9r^TK4mv6c3HOo<d zcEr%_3o}+xw!52lJtRM0GF(exif49(9MaAjZSr|;f3iqZ3GbNJ<M&6JtDL&~D)N#R zSSCy_R6i!N8|B*b&dl!0une_3)4(2g-?c2H{gHJq{mL0@&Y6tarV*|UgYI$@tK3s{ zuU3d_-rG0YKUlQGqOHSy$MQsc&T^iJi(K9@kbXh7<>`v$y%5Q+Cm&XakLR--%fw6` zTe#_ZA-zN)5QZE~*_eDgGo1DmBb|`+wzYikeEe$bxPmgVqvcL^_A}2r*ch(VjNT{b z5A!tTe#~S}>!GKkyz5wR6zL{DS9HFirs->6tVJi!PS*8D$8xMDLmqPK7!Lq}f+pdt zv2Vo%>k{3jS>s-)h)ZuM#^~9P8J<AxOmNfR&GkAWpfE3=W&|i6JTqR(abrbU_D<>L z#jSEx{7wT!VFb>*+QwYYbN=CGgqAnYqfHZa^99|`quwBl@7&gJ+h_&)V@vBstc<u% zdx|uu$>&!X_Z8wq3?^S##BOYTzdNR*buMP(<NI^7R5@!Q9l1~$n*w!S^oU6%%U>?r z`5vkdXKr6$CJ&$dv?DB<=Fq-_a_Z38w?PIoEQ8w@HsZ$fxYC1DvG)^q4P{D|aIzaQ zU+NVJ?alt6{yLd08aCg>yVW$+ggs0zt^htbx=r+~(N^=zNvyX*IwBesmNO>!zw*o1 zE-byAkT{7<9EJtUzhsXpco90Wo3rTHHl=8{s)LhvvKmHXgWJ9Q^_<17arQsl_u8Il zgUz*RV0BTC55^V``isq^xhL)MBXk}S8rpex>@)o$=dLR6nw0h}CEGjmn6B8D7K>LY zEnhl1$d5TD>AhBc<x;>ZPeGONyK3PXc(20VD_KV2&xPlBPw`lYwoMqJ?ueb+7eBUj z4=%TQ)n?QzX!(>HkC<Rf?O?RX+e9-IH`;eS(>}p+#9f!wU_|lM{bVTHmn5!pRAZFQ zneBZwU(SySj;96OGV<iI$|@)I%$me!4wkY0wI}u7*~O&~((wHm%e^a-RJ)BDuF-U- z$^$Ub8Ir)g+s<-<J`pFx#13_;YmAk2wU6ftRNuOZb&3-8MR*?+NRyFJkZOP2>2`as zYs2=|8=9JUyNYy(@vA+ETBd|oRz~?;@TJf6!$uW%(0=s>@_Qa8&4m#YFlo~|DkC#a zAHrqK!^EonS}^pzM^%poWVi50Jc{p}xK<|HHSs7u@nG+XX?&1@f7s{d-9Ffg!TWMM z8zne{eMiWgu$kgwE$ZGzi&`-{K2e~NTWOU?4kgy;p0yZrKCA2cZo!5vN7^4d-K=-n zGFp=(CO7HD7R9PDowIY$G5MW10MVYRj@Bwl=g6Td-E-|~9?;cyIUnFNf7twsgX8+Z z>o+pc!~N!NO-(h1V-R#VyJLgdyGxnl<uEE2MQ1)E<apxEXFE}(3h9>9H_K11hU(ld zH~}c8e7ajFTf(dqD&LAeT_YEl=d_m`k@{u-cJKJ^2<~}(L|t*J{8d3($tP&ik*S>U z<_o%Wp6BU91x4v`2dyow%yXzW)B<MC8I}q*h*;cgURk0H3OHZwa2BDfRHN=7Zv)Jc zhEbv^ota(_eBX*bJj;?h+m|Iii!sf~EOlL+?39V0#Z)qVaGK6=O}dr)(IfX<+m(L% zxdX(7x%u!+Ym{lY+~kX<gX4vTGo%KK;sKwE#ZYQOY~|;v`K9tamzNS*QeRcCHn(Ys z!KlfmJ?WObhO5H~S`HP&qteTPHdXrzw!$*Egm6KQHTsHBMCuxaU@=*D1%%r~tIj+S zDAOUoiQ}NnInl1b46yN<rEB|xds5zC+?%XfTGqNUV{x1H^e8~^JTl_{n&mUeUh-tH zKYgk%{mor>A?=whM{+8{bu!^w+6poeP3)gxu*gQ%v4>)hB~VKjEzI71zNT&*H>ra9 zDBOfgJbS`$-HuRXnj%ow(dq1TMg5&sN9qZYzjg&wKT@Th^U`Y)kH39?;)`RMpHyQS zQwhhTS38Pb?(yu!H01c#S)~M?kKZ2cEiW?`<_7Hlu%(De*-%(>cWqg`n2AK85XbIF z@!%`X4V^0rUk`dWsPffC`Ur`O@x2Y=#rf(#jh`ZPXzh}eJP>Rq#^?MnVjDledLq>* z$}(WYES_CtcnCUpc<)}GO4+c<jzjmjdxbprwixB6edJ!h`R+8kc+Sy&iQ?s@H=eKK zA#gp?ka_CR+GQF2Rz$Xz@dMb_8cQcljqv#o<4ab1wq<!*d`*h1FzTvnyJ#NLxm5CZ zhN%!eGC)+(=17G&Aa0Vo$L$KD^s5d|n00o@ta1rl%NzqQuC8@o0$3;mA;ztmryp=> zW8k|+&RRYdKD&Mlsowh>BUGEOeNBk}F)97N3;&fj4?Ml?mom<y>)S-dPpi7z%HIcP z>gmkxT!Z#?3kIpN9dmL6-isLWAFl8(&Kylo<zc_$2ROx+77wdz73p9f=7A5#Nq!lA zFzzbJJLV%{&HliW?_&a27k$TVR{ciNJ(S~T2f|1DWCvakI!LYeQa|yIx3(5}?U>+e zyQQ%!@`&Y&w|UXe#`ertq#g_Qw^*M@j(XYx998X!eURmN5ZivqHtK3qrtQu?=BZQu zJ13g$KLczj0gvy)ccgH$yyy^eVfR=$MLu-L;~FxodMd^q7KQl~e%usSrTo68G56AQ zX8$~{gKTYI4zpUbSPM_sJ<Y%MA$zTOewhFEk&n^#NxQL5^~312EQRXQvXP;#d;w26 zX(L5HuhjbS8;RHi_t0x=ibc`Fwc_1=qc5zsete<$F+$m*^3%}z!#<W<+`LKV_zO)3 zIm`w$nh9cjA7bQ7T8<r-iA+9|QX;hY^-lUDNBfVnWr9x-8{AtXY^53J<3FoNoAr|4 z&$K@(DZkEN_GYF(4qr$`71f`IFAc3g@YLr;q(fba?j#>g*lfik7?ecNgxO)t5N5u* zL=Tc-FqLQ>Y;J=O_QI<YU|Lv+h87MiUlA1oalQ&}n^$Z!D0slt6xX#fJs{3t2viI7 z_Voq}I?zCGvJXuyP!qN(q6W4ZWB>-;WTAU$!tBi~p>zs`>_wtOQE*i_QUQsUhq_V0 zQ+NP{>IFr@m0%zwmEfjk1=g~@0fJAOFb_K2R}BCH0s`OxXgG!H4j@%kRRIJFK%o>s z4h33}4;>e%;6sxD^=%qLvi~XOLxXSH1jkdn0g^p{gd>0-ihfiCNE9C^Lov>k;z!qn z`T3CuY8V_Eg}@*%3a%<Rv;q=IbW=cpF9jS<8AWhI<B4ua!Vh)6znS@mKClB+hz9)t zw$#949l;Mzq-w$pEKQ*X9uyk=Ta5{-3P)gI!1v+*x2ytV^Y2~&1Nz+!8X%9F8Ca)r z3(^DYg;+Zx0ji)!RKP=RkO(y>QcXz>p{%BcglYi)-~@vYit2(_tl*XF|3dUP&fi2S zR2wiQu<ky7zGMm=st8wt`r_z#4>DM;AVU$~v~G%i=hOfgar(_e|81Y)e9g@M?_Trv zW~4QPPfd@4_wxn|K1O=~KS}f7jxz!O(_mjeDtU8;5bywzOk~(b14E4jEhgaA+$dCU z9GKrYUth2=g`<OM4}f_I!)kz?bP}CR#BR<%Z8H5^gG^$~Cp9w8$6XT^s6ZgP;rz&S z7*<;5TO7zF?6=0I1n>(5Y~dNHL7{#FvL+t;frtf*V*ild>}5#*lmXj>@AX&E$p6In zkuZ#``9FdE0q`$rvq=J%8Zd)^p9>il0{t(&{(C^bR&Ve-K@%3hSeyUj+u^qg-H&BP z`rlR=8L-yKhz#gf#<Z1Y%y{r86O5Yz<mO~YA)zP)QW4|>*M&_MJv9aai9#Zf$_N#- zsvH6dLm*&3kSJ8?AL01t`~_KT7-=O9HozL8ClOEo$;${GNY?hFdw>XFQpo(Q?*~$e zZeTqciGeUy+;1<a5(b0DK;59<X(&Zyunx|6L4AJER1{UgONc*dC`GV{`%fB*QA7We z4}m~}cOie$P@t0kpkWk2SO0@gNfE4Z|4Bn5(O|XwPZ|mX-st?3ro^a#|H+3|R03}Z z{y{_hrw%1m)NeM^sW`BBO9g)&0|l%}!QkZ&1`1eFz-4vw-UkX8`M6P_o0VO#HmwJB z)KF5@L+UB295{eL>Y<UUDxh0*b+pm?`r67U9UW~9_W#XslyLz>qvNRb&7i3$sbV0K KlKK`0ApZl3Jk5sy diff --git a/Figures/ch4/fig21.pdf b/Figures/ch4/fig21.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/fig22.pdf b/Figures/ch4/fig22.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/fig23.pdf b/Figures/ch4/fig23.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/fig24.pdf b/Figures/ch4/fig24.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/fig25.pdf b/Figures/ch4/fig25.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/fig26.pdf b/Figures/ch4/fig26.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/fig27.pdf b/Figures/ch4/fig27.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/principles13.pdf b/Figures/ch4/principles13.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch5/GeneralModel.jpg b/Figures/ch5/GeneralModel.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch5/Modelgeneral.pdf b/Figures/ch5/Modelgeneral.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch5/R1/ASR.pdf b/Figures/ch5/R1/ASR.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch5/R1/CR.pdf b/Figures/ch5/R1/CR.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch5/R1/EC50.pdf b/Figures/ch5/R1/EC50.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch5/R1/EC95.pdf b/Figures/ch5/R1/EC95.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch5/R1/LT50.pdf b/Figures/ch5/R1/LT50.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch5/R1/LT95.pdf b/Figures/ch5/R1/LT95.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch5/R1/SR.pdf b/Figures/ch5/R1/SR.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch5/R1/T.pdf b/Figures/ch5/R1/T.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/Model.pdf b/Figures/ch6/Model.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/ASR-eps-converted-to.pdf b/Figures/ch6/R/ASR-eps-converted-to.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/ASR.eps b/Figures/ch6/R/ASR.eps old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/ASR.pdf b/Figures/ch6/R/ASR.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/CR-eps-converted-to.pdf b/Figures/ch6/R/CR-eps-converted-to.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/CR.eps b/Figures/ch6/R/CR.eps old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/CR.pdf b/Figures/ch6/R/CR.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/EC50-eps-converted-to.pdf b/Figures/ch6/R/EC50-eps-converted-to.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/EC50.eps b/Figures/ch6/R/EC50.eps old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/EC50.pdf b/Figures/ch6/R/EC50.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/EC95-eps-converted-to.pdf b/Figures/ch6/R/EC95-eps-converted-to.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/EC95.eps b/Figures/ch6/R/EC95.eps old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/EC95.pdf b/Figures/ch6/R/EC95.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/LT50-eps-converted-to.pdf b/Figures/ch6/R/LT50-eps-converted-to.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/LT50.eps b/Figures/ch6/R/LT50.eps old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/LT50.pdf b/Figures/ch6/R/LT50.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/LT95-eps-converted-to.pdf b/Figures/ch6/R/LT95-eps-converted-to.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/LT95.eps b/Figures/ch6/R/LT95.eps old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/LT95.pdf b/Figures/ch6/R/LT95.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/LTa-eps-converted-to.pdf b/Figures/ch6/R/LTa-eps-converted-to.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/LTa.eps b/Figures/ch6/R/LTa.eps old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/LTa.pdf b/Figures/ch6/R/LTa.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/ex4pcm.jpg b/Figures/ch6/ex4pcm.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch6/ex5pcm.jpg b/Figures/ch6/ex5pcm.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch6/expcm.pdf b/Figures/ch6/expcm.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/expcm2.jpg b/Figures/ch6/expcm2.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch6/pcm.jpg b/Figures/ch6/pcm.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch6/twosensors.jpg b/Figures/ch6/twosensors.jpg old mode 100755 new mode 100644 diff --git a/Figures/citation.tex~ b/Figures/citation.tex~ old mode 100755 new mode 100644 diff --git a/Figures/entete.tex~ b/Figures/entete.tex~ old mode 100755 new mode 100644 diff --git a/Figures/these.tex~ b/Figures/these.tex~ old mode 100755 new mode 100644 diff --git a/INTRODUCTION.tex b/INTRODUCTION.tex old mode 100755 new mode 100644 diff --git a/Resume.tex b/Resume.tex old mode 100755 new mode 100644 diff --git a/Thesis.tex b/Thesis.tex old mode 100755 new mode 100644 diff --git a/Thesis.toc b/Thesis.toc old mode 100755 new mode 100644 index 2cdb04d..45b23b1 --- a/Thesis.toc +++ b/Thesis.toc @@ -69,10 +69,10 @@ \contentsline {subsection}{\numberline {4.4.1}Simulation Framework}{80}{subsection.4.4.1} \contentsline {subsection}{\numberline {4.4.2}Modeling Language and Optimization Solver}{80}{subsection.4.4.2} \contentsline {subsection}{\numberline {4.4.3}Energy Consumption Model}{81}{subsection.4.4.3} -\contentsline {subsection}{\numberline {4.4.4}Performance Metrics}{82}{subsection.4.4.4} +\contentsline {subsection}{\numberline {4.4.4}Performance Metrics}{81}{subsection.4.4.4} \contentsline {subsection}{\numberline {4.4.5}Performance Analysis for Different Number of Subregions}{83}{subsection.4.4.5} -\contentsline {subsection}{\numberline {4.4.6}Performance Analysis for Different Number of Primary Points}{88}{subsection.4.4.6} -\contentsline {subsection}{\numberline {4.4.7}Performance Comparison with other Approaches}{95}{subsection.4.4.7} +\contentsline {subsection}{\numberline {4.4.6}Performance Analysis for Different Number of Primary Points}{89}{subsection.4.4.6} +\contentsline {subsection}{\numberline {4.4.7}Performance Comparison with other Approaches}{94}{subsection.4.4.7} \contentsline {section}{\numberline {4.5}Conclusion}{100}{section.4.5} \contentsline {chapter}{\numberline {5}Multiround Distributed Lifetime Coverage Optimization Protocol in Wireless Sensor Networks}{101}{chapter.5} \contentsline {section}{\numberline {5.1}Introduction}{101}{section.5.1} diff --git a/algorithme.sty b/algorithme.sty old mode 100755 new mode 100644 diff --git a/bib.bib b/bib.bib old mode 100755 new mode 100644 diff --git a/changemargin.sty b/changemargin.sty old mode 100755 new mode 100644 diff --git a/drop.sty b/drop.sty old mode 100755 new mode 100644 diff --git a/dropping.sty b/dropping.sty old mode 100755 new mode 100644 diff --git a/entete.tex b/entete.tex old mode 100755 new mode 100644 diff --git a/missfont.log b/missfont.log old mode 100755 new mode 100644 diff --git a/upmethodology-document.sty b/upmethodology-document.sty old mode 100755 new mode 100644 diff --git a/upmethodology-fmt.sty b/upmethodology-fmt.sty old mode 100755 new mode 100644 diff --git a/upmext-spimufcphdthesis.cfg b/upmext-spimufcphdthesis.cfg old mode 100755 new mode 100644 diff --git a/yfonts.sty b/yfonts.sty old mode 100755 new mode 100644 -- 2.39.5