1、系統總體設計的任務模塊結構圖基本設計原則 （模塊耦合度與聚合度）設計策略 （變換型、事務型）設計優化技巧 2 系統總體設計一、系統總體設計的任務將系統劃分為模塊；決定每個模塊的功能；決定模塊的調用關系；決定模塊的界面，即模塊間信息、數據的傳遞。二、模塊結構圖（SC） 結構化設計方法的基本思想就是模塊化。即對每一個系統按功能逐步由頂向下，由抽象到具體的逐層分解，將系統分解成為多層次的獨立功能模塊，一直分解到能簡單地用程序實現為止。（一） 模塊模塊的定義: 模塊是可以組成、分解、更換的系統，是易于處理的基本單位，具有四種屬性的一組程序語句稱為一個模塊，這四種屬性分別是輸入輸出、邏輯功能（外部特性）

2、、內部數據、程序代碼（內部特性）。模塊的例子: int max( int x, int y) int z; z=xy? x: y; return(z); 模塊名內部數據內部語句模塊化思想：模塊化是好的系統設計的一個基本準則 高層模塊 從整體上把握 問題,暫不考慮細節 低層模塊復雜問題 較小問題 分解 可減小解題所需的總的工作分解(二) 模塊結構圖sc結構圖(Structured Charts，簡稱SC)是準確表達系統模塊結構的圖形表示方法，它能清楚地反映出系統中各模塊間的層次關系和聯系。與數據流圖反映數據流的情況不同，結構圖反映的是系統中控制流的情況。 大學教務管理系統結構圖 (1) 模塊：以

3、矩形框表示，框中標有模塊的名字。對于已定義（或者已開發）的模塊，則可以用雙縱邊矩形框表示。1.結構圖的主要成分(2) 模塊間的調用關系：兩個模塊，一上一下，以箭頭相聯，上面的模塊是調用模塊，箭頭指向的模塊是被調用模塊，如下圖中，模塊A調用模塊B。在一般情況下，箭頭表示的聯線可以用直線代替。(3) 模塊間的通訊：以表示調用關系的長箭頭旁邊的短箭頭表示，短箭頭的方向和名字分別表示調用模塊和被調用模塊之間信息的傳遞方向和內容。如下圖，首先模塊A將信息C 傳給模塊B，經模塊B加工處理后的信息D再傳回給A。 編輯學生記錄讀學生記錄學生數據無此學生學號數據信息控制信息(4) 輔助控制符號：當模塊A有條件的

4、調用模塊B時，在箭頭的起點標以菱形。模塊A反復地調用模塊D時，另加一環狀箭頭。如下圖所示。在結構圖中條件調用所依賴的條件和循環調用的循環控制條件通常都無需注明。 模塊調用的例子:int max( int x, int y) int z; z=xy? x: y; return(z); Main( ) :max( 3, 4) ; : Main()maxZxySC中的四種模塊傳入模塊(a)(b)AA傳出模塊BB變換模塊(c)CD協調模塊E(d)EFF傳入模塊：從下屬模塊取得數據，經過某些處理，再將其傳送給上級模塊。 傳入模塊(a)AA傳出模塊：從上級模塊取得數據，進行某些處理，傳送給下屬模塊。 (b

5、)傳出模塊BB變換模塊：從上級模塊取來數據，進行特定處理后，送回原上級模塊。 變換模塊(c)CD協調模塊：對其下屬模塊進行控制和管理的模塊。 協調模塊EEF(d)SC中的簡單調用表示法BACx,yz(a)表示法一(b)表示法二zBAC12入出12x,yzzA調用B和CSC中的選擇調用ACBDA根據內部判斷決定是否調用BA按另一判定結果選擇調用C或D選擇調用的例子:A( ) : if(條件.) B( ) else C( ) :ABCSC中的循環調用ABCA根據循環條件重復調用B、C等模塊循環調用的例子: A( ) : while (條件.) B( ); : ; :AB2.模塊結構類型 內導結構：

6、是結構圖中數據以最低層模塊輸入，并逐級向高層傳遞，高一層模塊接收低一層模塊的輸入。 主模塊 A1 A4 A3 A2外導結構：結構圖中低一層模塊接收上一層模塊的數據信息，并把它們轉換給下一級模塊，直到輸出給使用者。wu子模塊1v主模塊子模塊2子模塊2.1 轉換結構：數據要在模塊內經過一定的處理，下層模塊從相應的上層模塊接收數據，經轉換后返回同一上層模塊中去。wu子模塊1v主模塊子模塊2子模塊2.1XMY三、模塊設計的原則系統的可變更性是系統評價的一個重要因素可維護性局部修改模塊間的聯系盡可能的少耦合度小而模塊內的聯系盡可能多聚合度大1.模塊的獨立性 模塊獨立的含義：模塊完成獨立、單一的功能；符合

7、信息隱蔽和信息局部化原則；模塊間關連和依賴程度盡量小。 2.模塊獨立性的度量 模塊獨立性取決于模塊的內部和外部特性。結構化設計方法提出的定性的度量標準： 模塊之間的耦合性（塊間聯系） 模塊自身的聚合性（塊內聯系）3.模塊獨立性的度量之一：耦合度 耦合度是模塊間的聯結關系，用于衡量不同模塊間的相互依賴的緊密程度，耦合的強弱取決于以下三個方面：模塊間接口的復雜程度；進入或訪問一個模塊的入口點；以及通過接口的數據。 耦合度越高，模塊獨立性越弱。無耦合沒有依賴關系松散耦合有少量依賴關系緊密耦合有很多依賴關系 模塊耦合度（續）模塊間耦合的類型： 低 非直接耦合耦 數據耦合合 標記耦合性 控制耦合 高 內

8、容耦合模塊獨立性弱(低耦合)強(中耦合)(較強耦合)(強耦合)公共耦合(1) 非直接耦合 兩個模塊沒有直接關系(模塊1和模塊2)，模塊獨立性最強。模塊1模塊2模塊3模塊4(2) 數據耦合 一模塊調用另一模塊時，被調用模塊的輸入、輸出都是簡單的數據，屬松散耦合。開發票計算水費單價數量金額計算水電費計算水費計算電費用水量用電量水費電費(3) 標記耦合(特征耦合) 如兩個模塊通過傳遞數據結構(不是簡單數據，而是記錄、數組等)加以聯系，或都與一個數據結構有關系, 則稱這兩個模塊間存在標記耦合。標記耦合舉例計算水電費計算水費計算電費住戶情況水費電費住戶情況“住戶情況”是一個數據結構,圖中模塊都與此數據結

9、構有關.“計算水費”和“計算電費”本無關,由于引用了此數據結構產生依賴關系,它們之間也是標記偶合.將標記耦合修改為數據耦合舉例計算水電費計算水費計算電費本月用水量本月用電量水費電費(4) 控制耦合 一模塊通過開關量、標志、名字等控制信息，明顯地控制另一模塊的功能。控制耦合舉例A計算平均分或最高分B平均/最高成績設想一下A( )函數中調用B( )的語句是怎樣的？這個問題與前面的調用MAX( )的例子不同。 在MAX( )函數中，我們很清楚地看到：形式參數表是兩個整數，表示要比較的兩個數。 函數說明為： MAX( int x, int y) 函數處理后，返回的結果為較大的那個數。 所以，在主調函數

10、中，我們只需以兩個被比較的數作為 實際參數，所以就可寫出形如： .=MAX( 25, 36) 的調用語句。但在本例的B( )函數中，我們雖然知道：形式參數表是一個整數，表示要取得的成績類型是平均或最高。 函數說明為： B( int x) 函數處理后，返回的結果為取出的成績數據(平均或最高)。 可是，在主調函數中，我們仍不知道以什么作為實際參數，是0？1？2？還是其他值，取決于B()中用什么值表示平均/最高標記。因此，就要去了解B()內部的語句，而不能僅憑函數說明就寫出調用語句。所以B()就成為灰箱/白箱，而非黑箱。控制耦合舉例讀入分數輸出結果計算平均分計算最高分平均/最高?調用邏輯性模塊 B時

11、，須先傳遞控制信號(取平均分 /最高分)，以選擇所需的操作。控制模塊必須知道被控模塊的內部邏輯，增強了相互依賴.B控制耦合增加了模塊之間的復雜性，調用模塊必須知道被調模塊的內部邏輯，增加了相互依賴。去除模塊間控制耦合的方法：(1)將被調用模塊內的判定上移到調用模塊中進行(2)被調用模塊分解成若干單一功能模塊改控制耦合為數據耦合舉例A計算平均分B1平均成績最高成績計算最高分B2控制耦合舉例A發獎牌 名次(開關量)獎牌控制耦合被調用模塊內處理邏輯模式功能A功能B判別改控制耦合為數據耦合舉例A發金牌發銀牌發銅牌金牌銀牌銅牌(5) 公共耦合(公共數據區耦合)一組模塊引用同一個公用數據區(也稱全局數據區

12、、公共數據環境)。公共數據區指： 全局數據結構； 共享通訊區； 內存公共覆蓋區等。公共耦合舉例公共數據區松散的公共耦合 公共數據區緊密的公共耦合公共耦合舉例公共數據區CB模塊A、B、C間存在錯綜復雜的聯系公共耦合舉例所有的公共 耦合關系AEBCD6個模塊共享一個公共數據區F(1)系統可理解性降低 (模塊間存在錯綜復雜的聯系)(2)系統可維護性差 (修改變量名或屬性困難)(3)系統可靠性差 (公共數據區及全程變量無保護措施)慎用公共數據區和全局變量!公共耦合存在的問題：(6) 內容耦合 一模塊直接訪問另一模塊的內部信息(程序代碼或數據) 最不好的耦合形式 !發生內容耦合的情形：(1)一模塊直接訪

13、問另一模塊的內部數據；(2)一模塊不通過正常入口轉到另一模塊內部；(3)兩模塊有一部分代碼重疊；(4)一模塊有多個入口。模塊化設計對耦合度的要求：耦合是影響系統復雜程度和設計質量的重要因素。目標：建立模塊間耦合度盡可能松散的系統！如何降低模塊間耦合度：(1) 如模塊必須存在耦合，選擇適當的耦合類型。原則：盡量使用數據耦合； 少用控制耦合；限制公共耦合的范圍；堅決避免使用內容耦合；(2) 降低模塊間接口的復雜性。接口復雜性與耦合類型的關系：接口復雜性接口方式接口數據的復雜性無接口數據直接引用過程調用語句數據項作參數數據結構，變量名作參數內容耦合其它耦合開關量，起控制變量作用公用數據區全程變量數據

14、耦合標記耦合控制耦合公共耦合非直接耦合4. 模塊獨立性的度量之二：聚合度 衡量一個模塊內部各成分之間彼此結合的緊密程度。 設計目標：高聚合(一模塊的所有成分都直接參與并且對于完成同一功能來說都是最基本的)模塊的聚合性類型： 低 偶然聚合 內 邏輯聚合 聚 時間聚合 性 過程聚合 通信聚合 順序聚合 高 功能聚合模塊獨立性弱(功能分散)強(功能單一)(1) 功能聚合 一個模塊內的所有成分的處理動作全部為完成某個功能，且只執行一個功能，缺一不可，稱為功能聚合，這種聚合的聚合性最強。 如：計算實發工資，打印發票等。(2) 順序聚合 一個模塊能完成多個操作，前一個操作處理的輸出數據是下一個操作處理的輸

15、入數據，模塊中各成份的工作是有次序的，各成份的關系也較緊密，則稱為順序聚合。順序聚合模塊例讀 入存 貯打 印累 加讀 數模塊1模塊2(3) 通信聚合 模塊內各部分使用相同的輸入數據，或產生相同的輸出結果,稱為通信聚合。通信聚合模塊例產生工資報表計算平均工資職工工資記錄職工工資報表平均工資產生職工工資報表并計算平均工資模塊通信聚合模塊例開領書單登記售書發票領書單售 書登記表文件刪除修改(4) 過程聚合 一個模塊內各處理成分的動作各不相同，彼此也沒什么關系，但它們都受一個控制流的支配，且決定了它們的執行次序。過程聚合模塊建立方程組系數矩陣全部任務納入一個模塊，得到一過程性模塊高斯消去法回 代高斯消

16、去法解題流程(5) 時間聚合模塊完成的功能必須在同一時間內執行，這些功能只因時間因素關聯在一起。例如:初始化系統模塊、系統結束模塊、緊急故障處理模塊等均是時間性聚合模塊。(6) 邏輯聚合 把幾種相關功能(邏輯上相似的功能)組合在一模塊內,每次調用由傳給模塊的參數確定執行哪種功能。邏輯聚合模塊例ABCEFGABCEFGE、F、G邏輯功能相似，組成新模塊EFG缺點：增強了耦合程度(控制耦合)不易修改，效率低A1B1C1EFG模塊內部邏輯公用代碼段公用代碼段邏輯聚合缺點： 不易修改； 增強了耦合程度(控制耦合)； 效率低。(7) 偶然聚合 模塊內各部分間無聯系ABCMMOVE O TO RREAD

17、FILE FMOVE S TO T模塊M中的三個語句沒有任何聯系缺點：可理解性差， 可修改性差例:模塊聚合性的判斷YNYY 該模塊功能單一 各功能關系如何功能聚合通訊聚合順序聚合邏輯相似次序重要次序重要過程聚合時間聚合邏輯聚合偶然聚合NNNY數據流控制流兩者皆非5. 耦合、聚合與模塊獨立性關系 耦合與聚合都是模塊獨立性的定性標準，都反映模塊獨立性的良好程度。但耦合是直接的主導因素，聚合則輔助耦合共同對模塊獨立性進行衡量。控制耦合舉例A計算平均分或最高分B平均/最高成績邏輯聚合改控制耦合為數據耦合舉例A計算平均分B1平均成績最高成績計算最高分B2功能聚合 聚合與耦合密切相關，同其它模塊強耦合的模

18、塊意味著弱聚合，強聚合模塊意味著與其它模塊間松散耦合。 設計目標：力爭強聚合、弱耦合。5. 耦合、聚合與模塊獨立性關系(續)四、 數據流圖導出初始結構圖區分數據流程圖的結構類型不同的類型采用不同的方法數據流圖映象成相應模塊結構1.數據流程圖(DFD)的結構類型(1)變換型DFD 一個數據流程圖可以明顯地分成輸入、處理和輸出三部分。變換中心輸入路徑輸出路徑例：變換型數據流圖輸入信息物理輸入格式檢查處理顯示正確信息結果物理輸出數據變換中心輸出邏輯輸入邏輯輸出輸入事務中心原始輸入加工輸出 (2)事務型DFD 事務型數據流程圖一般呈束狀形。 特征：具有在多種事物中選擇執行某類事物的能力。例：事務型數據

19、流圖(3)大型系統DFD中,變換型和事務型結構共存T事務中心傳入變換傳出2.DFD導出初始SC的過程兩種轉換策略/技術 變換分析變換型DFD初始SC變換分析事務型DFD初始SC事務分析 事務分析一般過程 先設計模塊結構頂端的主模塊 然后“由頂向下逐步細化” 最后得到一個與數據流圖相對應的模塊結構3.“變換分析”方法 (Transform Analysis)步驟：找出主加工、邏輯輸入和邏輯輸出設計模塊結構的頂層和第一層設計中、下層模塊1區分輸入、主加工、輸出部分，在DFD上標明分界線(1)確定邏輯輸入離物理輸入端最遠的，但仍可被看作系統輸入的那個數據流。 方法：從物理輸入端開始，一步步向系統的中

20、間移動，直至達到這樣一個數據流：它已不能再被看作為系統的輸入，則其前一個數據流就是系統的邏輯輸入。(2)確定邏輯輸出離物理輸出端最遠的，但仍可被看作系統輸出的那個數據流 方法：從物理輸出端開始，一步步向系統的中間反方向移動，直至達到這樣一個數據流：它已不能再被看作為系統的輸出，則其后一個數據流就是系統的邏輯輸出。(3)對系統的每一股輸入和輸出，都用上面的方法找出相應的邏輯輸入、輸出；(4)確定主加工位于邏輯輸入和邏輯輸出之間的加工，就是系統的主加工。(5)注意：有的系統只有輸入和輸出兩部分，沒有主加工；根據經驗，幾股數據流的匯合處往往是系統的主加工；每個人都可以有自己的看法，找出來的主加工可能

21、也不同，但一般不會相差太遠。2設計SC的頂層和第一層模塊(1) 設計一個頂層模塊(主模塊)，它的功能是完成整個程序要做的工作。(2) 設計結構的第一層為邏輯輸入設計一個輸入模塊，它的功能是向主模塊提供數據為邏輯輸出設計一個輸出模塊，它的功能是輸出主模塊提供的數據為主加工設計一個變換模塊，它的功能是將邏輯輸入變換成邏輯輸出 注意：第一層模塊同頂層主模塊之間傳送的數據應與數據流圖相對應。這里主模塊控制并協調一層的輸入、變換、輸出模塊的工作，注意識別出選擇或循環調用以及調用條件。3第二級分解(分解SC各分支)自頂向下分解，設計出每個分支(輸入、加工、輸出)的中、下層模塊(1)為每一個輸入模塊設計兩個

22、下層模塊，一個是輸入模塊，接受數據來源；另一個是變換模塊，模塊調用時傳送的參數應同數據流圖相對應(2)輸出模塊也有兩部分組成，一部分是變換模塊，將數據變換成輸出的形式；另一部分是輸出模塊 上述設計過程由頂向下遞歸進行，直至達到系統的輸入端或輸出端。(3) 變換模塊的下層模塊，根據數據流圖中相應加工的組成情況而定。SYSTEMGET CMAKE CINTO D&EPUT EPUT DGET BMAKE BINTO CMAKE EINTO GPUT GMAKE DINTO FPUT FEGGDFFGET AMAKE AINTO BMAKE GINTO HPUT HAABGHHBBCCD&ECEDA

23、BCDEFGH輸入主加工輸出C例：變換分析設計方法實例1匯款單合格的匯款單處理后的匯款單收據明細賬業務數據例：變換分析設計方法實例2匯款單合格的匯款單處理后的匯款單收據明細賬業務數據變換中心輸出輸入變換分析舉例-轉換后的SC匯款處理系統取得合格匯款單計算匯費記賬輸出處理后的匯款單 輸入匯款單格式檢查產生收據打印收據合格的匯款單處理后的匯款單業務數據匯款單合格的匯款單匯款單處理后的匯款單收據收據處理后的匯款單業務數據合格的匯款單 一般情況下可使用變換分析方法設計軟件結構，但如數據流具有明顯的事務特點時(有一個明顯的事務中心)，以采用事務分析方法為宜。4.“事務分析”方法事務中心原始輸入加工輸出事

24、務分析設計方法步驟：在DFD上確定事務中心為DFD上的事務中心設計主模塊為每一類型事務處理設計一事務處理模塊為每個事務處理模塊設計下面的操作模塊為操作模塊設計細節模塊例：事務分析舉例-DFD圖書管理要求無效輸入要求類型處理P1.1 新書入庫P1.2入庫單罰款單P1.5 注銷圖書 還書P1.4目錄文件借書單還書單注銷單P1.3 借書借書文件罰款單事務中心事務分析舉例-轉換后的SC修改目錄文件操作層修改借書文件細節層 打印罰款單圖書處理系統取得圖書處理要求新書入庫注銷圖書借書還書圖書管理要求入庫單借書單 還書單注銷單5.數據流圖層次的轉換數據流圖與模塊結構五、設計優化 將初始SC根據模塊獨立性原則

25、進行精化,對模塊進行合并、分解修改、調整，得到高內聚、低耦合模塊，得到易于實現、易于測試和易于維護的軟件結構，產生設計文檔的最終SC。改進結構設計的指導原則(1)程序結構盡可能與問題結構相對應；(2)模塊功能的完整；(3)消除重復功能；(4)作用范圍應在控制范圍內；(5)減少高扇出爭取高扇入；(6)模塊大小適中；(7)降低模塊接口的復雜性；(8)模塊功能可預測。 同一功能的程序多次出現會浪費編碼時間，并不易調試和維護，應予以合并。YXQQQ1 Q2YXQQ1* Q2*QX*Y*優化后的合并（1）消除重復的功能 YXQQ Q1 Q2YXQ不合理的合并(2)減少高扇出，爭取高扇入模塊調用的直接下層

26、模塊的個數，稱為扇出(Fan out)模塊被其他各模塊調用的個數，稱為扇入(Fan in)原則：扇出不宜過大，7 ,因為屬自然分類情況,易理解(4,0)(3,1)(5,1)(0,2)相關技巧：良好的結構圖往往呈“清真狀”，即“頂為尖下層逐漸加寬底層收窄”結構圖的形態應該均衡，即從頂到底層的路徑長短不該過于懸殊 清真寺型不夠好,底層模塊復用度低金字塔型(3) 模塊大小適中模塊過大：可理解程度下降，考慮對該模塊分解；模塊過小：開銷大于有效操作，系統接口復雜，考慮是否同它的調用模塊合并；幾種情況下的小模塊不合并：模塊具有獨立的功能模塊功能可能會發生變化模塊的復用性好，或者其調用模塊很復雜PdMaJ7

27、F4C0z)w&s!pYmUjRfOcL9H6E3B+y(u%r#oWlTiQeNbJ8G5D1A-x*t$qYnVkSgPdMaI7F3C0z)v&s!pXmUiRfOcK9H6E2B+y(u%rZoWlThQeNbJ8G4D1A-w*t$qYnVjSgPdLaI7F3C0y)v&s#pXmUiRfNcK9H5E2B+x(u$rZoWkThQeMbJ7G4D1z-w*t!UjRfOcK9H6E2B+y(u%rZoWlThQeNbJ8G4D1A-w*t$qYnVjSgPdLaI7F3C0y)v&s#pXmUiRfNcK9H5E2B+x(u$rZoWkThQeMbJ8G4D1z-w*t!qYnV

28、jSgOdLaI6F3C0y)v%s#pXlUiRfNcK8H5E2A+x(u$rZnWkThPeMbJ7G4C1z-w&t!qYmVjRgOdL9I6F3B0y(v%s#oXlUiQfNcK8H5D2A+x*u$rZnWkShPeMaJ7G4C1z)w&t!pYmVjRgOcL9I6E3B0y(v%r#oXlTiQfNbK8G5D2A-x*u$qZnVkShPdMaJ7F4C1z)w&s!pYmUjRgOcL9H6E3B+y(v%r#oWlTiQeNbK8G5D1A-x*t$qZnVkSgPdMaI7F4C0z)v&s!pXmUjRfOcK9H6E2B+y(u%r#oWlThQeNbJ8G5

29、D1A-w*t$qYnVkSgPdLaI7F3C0z)v&s#pXmUiRfOcK9H5E2B+x(u%rZoWkThQeMbJ8G4D1z-w*t!qYnVjSgOdLaI6F3C0y)v&s#pXlUiRfNcK9H5E2A+x(u$rZoWkThPeMbJ7G4D1z-w&t!qYmVjSgOdL9I6F3B0y)v%s#oXlUiQfNcK8H5D2A+x*u$rZnWkThPeMaJ7G4C1z-w&t!pYmVjRgOdL9I6E3B0y(v%s#oXlTiQfNbK8H5D2A-x*u$qZnWkShPdMaJ7F4C1z)w&s!pYmUjRgOcL9H6E3B+y(v%r#o

30、XlTiQeNbK8G5D2A-x*t$qZnVkShPdMaI7F4C0z)w&s!pXmUjRfOcL9H6E2B+y(u%r#oWlThQeNbJ8G5D1A-w*t$qYnVkSgPdMaI7F3C0z)v&s!pXmUiRfOcK9H6E2B+x(u%rZoWlThQeMbF4C0z)w&s!pXmUjRfOcL9H6E2B+y(u%r#oWlTiQeNbJ8G5D1A-x*t$qYnVkSgPdMaI7F3C0z)v&s!pXmUiRfOcK9H6E2B+x(u%rZoWlThQeMbJ8G4D1A-w*t!qYnVjSgPdLaI6F3C0y)v&s#pXmUiRfNcK9H5E

31、2B+x(u$rZoWkThQeMbJ7G4D1z-w*t!qYmVjSgOdLaI6F3B0y)v%s#pXlUiQfNcK8H5E2A+x*u$rZnWkThPeMbJ7G4C1z-w&t!qYmVjRgOdL9I6F3B0y(v%s#oXlUiQfNbK8H5D2A+x*u$qZnWkShPeMaJ7F4C1z)w&t!pYmUjRgOcL9I6E3B+y(v%r#oXlTiQfNbK8G5D2A-x*u$qZnVkShPdMaJ7F4C0z)w&s!pYmUjRfOcL9H6E3B+y(u%r#oWlTiQeNbJ8G5D1A-x*t$qYnVkSgPdMaI7F4C0z)v&s!pX

32、mUjRfOcK9H6E2B+y(u%rZoWlThQeNbJ8G4D1A-w*t$qYnVjSgPdLaI7F3C0y)v&s#pXmUiRfNcK9H5E2B+x(u%rZoWkThQeMbJ8G4D1z-w*t!qYnVjSgOdLaI6F3C0y)v%s#pXlUiRfNcK8H5E2A+x(u$rZnWkThPeMbJ7G4C1z-w&t!qYmVjRgOdL9I6F3B0y)v%s#oXlUiQfNcK8H5Dw*t!qYnVjSgOdLaI6F3C0y)v%s#pXlUiRfNcK8H5E2A+x(u$rZnWkThPeMbJ7G4D1z-w&t!qYmVjSgOdL9I6F3B

33、0y)v%s#oXlUiQfNcK8H5D2A+x*u$rZnWkShPeMaJ7G4C1z)w&t!pYmVjRgOcL9I6E3B0y(v%r#oXlTiQfNbK8H5D2A-x*u$qZnWkShPdMaJ7F4C1z)w&s!pYmUjRgOcL9H6E3B+y(v%r#oWlTiQeNbK8G5D1A-x*t$qZnVkSgPdMaI7F4C0z)w&s!pXmUjRfOcL9H6E2B+y(u%r#oWlThQeNbJ8G5D1A-w*t$qYnVkSgPdLaI7F3C0z)v&s#pXmUiRfOcK9H5E2B+x(u%rZoWlThQeMbJ8G4D1A-w*t!qYnV

34、jSgPdLaI6F3C0y)v&s#pXlUiRfNcK9H5E2A+x(u$rZoWkThPeMbJ7G4D1z-w&t!qYmVjSgOdL9I6F3B0y)v%s#pXlUiQfNcK8H5E2A+x*u$rZnWkThPeMaJ7G4C1z-w&t!pYmVjRgOdL9I6E3B0y(v%s#oXlTiQfNbK8H5D2A-x*u$qZnWkShPeMaJ7F4C1z)w&t!pYmUjRgOcL9I6E3B+y(v%r#oXlTiQeNbK8C1z-w&t!pYmVjRgOdL9I6E3B0y(v%s#oXlTiQfNbK8H5D2A+x*u$qZnWkShPeMaJ7F4C1

35、z)w&t!pYmUjRgOcL9I6E3B+y(v%r#oXlTiQeNbK8G5D2A-x*t$qZnVkShPdMaI7F4C0z)w&s!pYmUjRfOcL9H6E3B+y(u%r#oWlTiQeNbJ8G5D1A-x*t$qYnVkSgPdMaI7F3C0z)v&s!pXmUiRfOcK9H6E2B+x(u%rZoWlThQeNbJ8G4D1A-w*t$qYnVjSgPdLaI7F3C0y)v&s#pXmUiRfNcK9H5E2B+x(u$rZoWkThQeMbJ7G4D1z-w*t!qYmVjSgOdLaI6F3B0y)v%s#pXlUiRfNcK8H5E2A+x(u$rZnWk

36、ThPeMbJ7G4C1z-w&t!qYmVjRgOdL9I6F3B0y(v%s#oXlUeMbJ7G4D1z-w*t!qYnVjSgOdLaI6F3C0y)v%s#pXlUiRfNcK8H5E2A+x(u$rZnWkThPeMbJ7G4C1z-w&t!qYmVjRgOdL9I6F3B0y(v%s#oXlUiQfNbK8H5D2A+x*u$rZnWkShPeMaJ7G4C1z)w&t!pYmVjRgOcL9I6E3B0y(v%r#oXlTiQfNbK8G5D2A-x*u$qZnVkShPdMaJ7F4C0z)w&s!pYmUjRgOcL9H6E3B+y(v%r#oWlTiQeNbK8G5D1A

37、-x*t$qZnVkSgPdMaI7F4C0z)v&s!pXmUjRfOcK9H6E2B+y(u%rZoWlThQeNbJ8G5D1A-w*t$qYnVkSgPd6E3B+y(v%r#oWlTiQeNbK8G5D1A-x*t$qZnVkSgPdMaI7F4C0z)v&s!pXmUjRfOcK9H6E2B+y(u%r#oWlThQeNbJ8G5D1A-w*t$qYnVkSgPdLaI7F3C0z)v&s#pXmUiRfOcK9H5E2B+x(u%rZoWkThQeMbJ8G4D1z-w*t!qYnVjSgPdLaI6F3C0y)v&s#pXlUiRfNcK9H5E2A+x(u$rZoWkThPe

38、MbJ7G4D1z-w&t!qYmVjSgOdL9I6F3B0y)v%s#oXlUiQfNcK8H5D2A+x*u$rZnWkThPeMaJ7G4C1z-w&t!pYmVjRgOdL9I6E3B0y(v%s#oXlTiQfNbK8H5D2A-x*u$qZnWkShPdMaJ7F4C1z)w&s!pYmUjRgOcH5E2A+x*u$rZnWkThPeMaJ7G4C1z-w&t!pYmVjRgOdL9I6E3B0y(v%s#oXlTiQfNbK8H5D2A-x*u$qZnWkShPdMaJ7F4C1z)w&t!pYmUjRgOcL9I6E3B+y(v%r#oXlTiQeNbK8G5D2A-x*t$qZnVkShPdMaI7F4C0z)w&s!pXmUjRfOcL9H6E2B+y(u%r#oWlTiQeNbJ8G5D1A-x*t$qYnVkSgPdMaI7F3C0z)v&s!pXmUiRfOcK9H6E2B+x(u%rZo