dolicom

dolicom 돌아이 돌아이 http://blog.daum.net/dolicom Daum blog (blogmaster@daum.net) tag:blog.daum.net,2009:dolicom 2009-08-18T22:01:05Z CPU의 이해 tag:blog.daum.net,2009:dolicom.10 돌아이 2009-08-18T22:01:05Z 2009-08-18T22:01:05Z <meta http-equiv="Content-Type" content="text/html; charset=utf-8"><meta name="ProgId" content="Word.Document"><meta name="Generator" content="Microsoft Word 12"><meta name="Originator" content="Microsoft Word 12"><link rel="File-List" href="file:///C:%5CDOCUME%7E1%5Cicom%5CLOCALS%7E1%5CTemp%5Cmsohtmlclip1%5C01%5Cclip_filelist.xml"><link rel="Edit-Time-Data" href="file:///C:%5CDOCUME%7E1%5Cicom%5CLOCALS%7E1%5CTemp%5Cmsohtmlclip1%5C01%5Cclip_editdata.mso"><o:smarttagtype namespaceuri="urn:schemas-microsoft-com:office:smarttags" name="PersonName"></o:smarttagtype><o:smarttagtype namespaceuri="urn:schemas-microsoft-com:office:smarttags" name="time"></o:smarttagtype><o:smarttagtype namespaceuri="urn:schemas-microsoft-com:office:smarttags" name="place"></o:smarttagtype><o:smarttagtype namespaceuri="urn:schemas-microsoft-com:office:smarttags" name="State"></o:smarttagtype><link rel="themeData" href="file:///C:%5CDOCUME%7E1%5Cicom%5CLOCALS%7E1%5CTemp%5Cmsohtmlclip1%5C01%5Cclip_themedata.thmx"><link rel="colorSchemeMapping" href="file:///C:%5CDOCUME%7E1%5Cicom%5CLOCALS%7E1%5CTemp%5Cmsohtmlclip1%5C01%5Cclip_colorschememapping.xml"><style>  </style> CPU란   1.      개요   CPU란 무엇이라는 말은 컴퓨터가 무엇인가와 통한다. 요즘은 컴퓨터가 너무 흔해 무 감각하지만 이것은 정말 혁명적 기계이다. 이 놈을 정확히 알기 위해서는 내부적인 구조와 기본적인 메카니즘을 알아야 한다. 물론 이것의 전자적인 접근까지 알면 더욱 좋을 것이다. CPU의 설명상 C 언어가 사용되는 것은 프로그램 현실상 거의 C로 작성되기 때문에 중요한 요소이므로 주로 언급한다.   전체적으로 컴퓨터의 가장 기본적인 요소만을 생각해 보면  <img src="http://cfile219.uf.daum.net/image/1141870D4A8AA413747E18" class="tx-daum-image" actualwidth="753" style="clear: none; float: none;" border="0" hspace="1" vspace="1" width="753" />   각 구성요소는 필요에 따라 추가 되거나 삭제 될 수 있으나 가장 흔한 시스템만을 그림에 표시 하였다. 가장 기본적인 요소는 CPU와 메모리 이다. 이것이 없으면 기본적인 시스템이 불가능 하기 때문이다. 칩의 물리적 입장에서는 각 구성은 한 칩에 있는 것이 있고 없는 것이 있다. 물리적인 한 개의 칩이라는 것은 우리가 시스템을 만들 때, 목적에 맞추어 칩을 선정하고 장치를 만들어 낸다. 우리가 흔히 사용하는 PC는 기본적인 모양에서 크기에 제약이 거의 없다. 그러나 PDA난 핸드폰은 크기부터 사용 전력 등을 고려하여 시스템을 만들어야 하는 문제가 있다. 이것은 컴퓨터 요소를 물리적으로 어떻게 나누는가의 중요한 요소이다.  PC는 크기에 제약이 적어서 CPU를 하나의 칩으로 하고 메모리를 메인 보드에 장착한다. 그러나 아주 소형의 전자장치에 들어가는 CPU는 거의 메모리를 한 칩에 넣어 만든다. CPU만으로 구성된 칩을 메인보드(PCB)에 장착하는 형태는 CPU 초창기부터 기초적으로 만들어진 것인데 비해 CPU 와 메모리 기타 IO을 한 칩에 넣어 부피를 줄이는 등의 모양은 후에 만들어져 여기부터 임베디드(embedded)라는 말이 나왔다. 대표적인 칩이 8051계열의 칩이고 현재는 ARM, PowerPC등이 사용되고 있다. 경우에 따라 칩의 모양과 크기를 줄이기 위해 칩의 연결선을 빼고 실리콘 칩을 직접 PCB에 붙여 시스템을 만들기도 한다. 이것은 실리콘 칩과 PCB와 직접 본딩을 해야 하므로 칩을 납땜하는 것보다 약간은 더 부담 스럽다.   그러면 각 모듈 별 기능은 1.  CPU  : 프로그램을 수행하는 기계어 명령어를 실행하여 컴퓨터가 동작하도록 하는 핵심이다. 메모리의 기계어 프로그램을 읽어 수행하고 이 프로그램에 따라 IO을 제어 하여 전체적인 동작이 이루어 진다. 2.  메모리 : CPU가 동작하기 위한 기계어 프로그램과 데이터를 저장 한다. 여기에 저장된 데이터는 CPU가 직접 빠른 시간에 읽고 쓰기가 가능하므로 CPU와 함께 속도와 직결되고 컴퓨터 동작의 핵심이다. 메모리의 종류는 데이터 직접도와 속도, 그리고 데이터의 전자적 존재 형태에 따라 다양한 종류가 있다.   -    SRAM : 이것은 전기적 흐르고 있는 상황에서는 없어지지 않고 메모리의 내용은 읽기와 쓰기가 언제라도 가능하다. 이것은 전자적으로 피드백회로에 의해 데이터가 보존 되므로 DRAM에 비해 직접도가 떨어진다.   -    DRAM : SRAM이 전기적으로 항상 데이터가 유지되는 반면, 이것은 전기가 들어가도 점점 데이터가 사라지는 형상이 있다. 그래서 주기적으로 다시 데이터를 쓰기하여 유지 한다. 이것을 reflash 라고 하고 회로에 의해 통제된다. 그러나 SRAM 비해 피드백 회로가 빠져 단순하여 직접도를 올릴 수 있는 장점이 있다. RAM 이기 때문에 물론 Read/Write가 가능하다. 속도를 올리기 위해 기본 모델에 읽고 쓰는 방식을 고속화 하지 위해 SDRAM을 만들었다. 여기서의 S는 싱크라는 말인데, 전자적으로 클럭에 맞추어 읽고 쓰기를 한다. 언 듯 보기에는 clock에 맞추어야 하므로 느릴 것 같은데 항상 clock에 동기 되어 읽고 쓰기 때문에 내부 구조가 항상 빠른 대응이 가능하도록 억세스 회로가 구성된다. 이때의 억세스는 한 클럭에 한 개의 데이터만을 읽거나 쓴다. 더욱 빠르게 하기 위해 DDRSDRAM이 최근의 PC 에 사용되는데 이것은 반 클럭에 한 개의 데이터를 읽거나 쓴다. 따라서 다른 요소를 배제하면 2배의 속도를 유지 할 수 있다. 기타 다른 형태도 존재 한다.   -    ROM : 이것은 읽을 때는 RAM과 같으나 쓰기는 CPU가 결합된 상태에서는 불가능 하다. 쓰기는 별도의 장치(ROM writer)로 전자적으로 하고 지울 때는 자외선 등으로 특정 시간을 노출하면 데이터가 지워 진다. 따라서 시스템이 구성되고 실행할 때는 지우지 않는 메모리 이다. 전통적을 초기부터 사용되어 진 메모리 형태이다. 대표적으로 27Cxxx 모델이 여기에 속한다.27C64는 64Kbit을 의미하며 1K=1024을 말한다   -    EEPROM : 이것은 ROM의 단점이 전자적으로 삭제가 불가능 한 것은 개선한 것으로 전자적으로 쓰기가 가능 하다. 시간적으로 쓰기 할 때, 일반적인 억세스 속도가 느린 것이 단점이다. 그러나 시스템이 구축되어 실행 중 쓰시가 가능하므로 장점이 있고, 전원이 없어도 유지되므로 아직도 많이 사용 한다. 대표적으로 ATMEL사에서 제작하는 serial 엑세스 칩이 대표적이다. 시리얼은 보통 I2C 버스로 주로 2선으로 제어가 가능하므로 시스템 설계상 이점이 있으나 시리얼 이므로 속도가 문제가 된다. 따라서 이것은 시스템의 고유 정보를 저장하거나 할 때 많이 사용되어 진다. 예를 들어 LAN 카드에 보면 작은 8핀 짜리 SMD에 MAC 주소를 적어 놓을 수 있다. 임베디드에서는 칩 안에 EEPROM을 지원하는 경우가 많다.   -    FLASH : 이것은 RAM과 ROM의 장점을 합친 것인데, 읽고 쓰기는 RAM 처럼 하다가 데이터 ROM 처럼 저장하기 위해 특정 명령어로 write 하면 고정되어 전원이 사라져도 데이터가 없어지지 않는다. 따라서 최근의 시스템은 이 flash을 사용 한다. PC의 경우 예전에는 ROM을 사용 했으나 최근에는 거의 이것을 사용 한다. 장점은 프로그램의 리플레쉬가 가능하므로 ROM-bias을 update 할 수 있다. 물론 virus의 공격을 받아 ROM-bias가 사라지는 경우도 있으나 단점보다 장점이 많다. 또한 휴대용 소형 기기는 대부분 이것을 사용 한다. 최근의 ARM의 경우에도 이것을 사용 한다. ARM 속도가 빠르기 때문에 억세스 속도가 떨어져 프로그램 속도를 저하 하므로 SDRAM을 옮겨 실행 하지만 전원이 나가도 상관없으므로 Linux 커널이나 기타 RAM disk 데이터를 여기에 보관 한다. 물론 시스템이 동작하는 상태에서도 쓰기가 가능 하다.   3.  IO  : 컴퓨터는 필연적으로 외부와의 데이터를 주고 받아야 한다. 컴퓨터 혼자 외부와의 접촉 없이 실행된다면 사람 입장에서는 전기 먹는 괴물이 되는 것이기 때문에 반드시 필요한 요소이다. 이것은 목적에 따라 많은 종류가 있고 형태도 다양하다. 물론 물리적으로 전자적 칩이 지원해야 하고 어떤 것은 CPU와 같이 또 어떤 것은 별도로 PCB에 장착 된다.   -    Timer : 이것은 주기적 시간을 제어하기 위한 모듈이다. 시간은 시스템 설계 시 기본적으로 사용된다. 여기에서의 시간은 우리가 흔히 사용하는 시간과는 차이가 있다. 우리는 1초 단위로 분, 시를 사용하지만 이것은 그것보다는 짧은 시간을 처리 한다. 주로 usec, msec의 시간에서 주기적인 동작이 요구될 때 사용한다. sec까지의 처리를 위해서는 timer와 소프트웨어의 결합으로 처리 한다. 보통 timer의 카운터는 16비트를 많이 사용하고 이것을 sec까지 확장하기 위해서는 많은 비트의 카운터가 사용해야 하지만 많은 timer는 16비트 카운터를 사용한다.16비트 카운터는 전자공학의 디지털 회로에 나오는 증가 카운터나 감소 카운터를 사용 한다. 만약으로 소프트웨어로 타이머를 만들 수는 있지만 소프트웨어는 비교에 따라 다른 명령이 실행되므로 정확히 계산하기가 쉽지 않다. 그러나 이 디지털 카운터는 정확한 clock으로 하드웨어적 카운터 이기 때문에 정확한 시간적 주기를 갖는다.   -    IO : GPIO(General Purpose In/Out)이라고 하는 것으로 소프트웨어에 의한 디지털 입력/출력을 하기 위해 사용한다. 시스템의 특정 출력을 하거나 상태를 알기 위해 입력하는데 사용 한다. 전자 스위치를 제어하기 위해 디지털 츌력을 위해 Out을 사용할 수 있다. 그리고 Keypad을 처리하기 위해 In/Out을 매트릭스 형태로 사용하기도 한다.   -    Serial IO : 이것은 통신용으로 다른 시스템과 연결을 위해 사용 한다. 이것의 사용 종류는 많은 syn. clock과 async. clock으로 크게 나눌 수 있다. synchronous와  asynchronous는 데이터 전달 시 신호선과 신호의 시간적 위치를 정확히 하기 위한 clock 신호를 따라 사용하는가 하지 않는가에 따라 구별 한다. synchronous의 종류는 SPI, I2C등이 있고, asynchronous의 대표적인 것이 PC의 COM 포트인 RS-232C 통신이 여기에 속한다. SPI는 신호선 하나와 신호의 동기를 알리는 신호 CLOCK을 사용 한다. 따라서 RS-232C 보다 고속의 전송이 가능한 장점이 있다. 이에 비해 RS-232C는 신호선 TX,RX와 GND가 신호를 보내는 전부 이다. 나머지 다른 목적으로 나와 있는 것이다. 따라서 COM 포트로 2대의 컴퓨터를 연결하려면 3개의 선이면 충분하게 Full-Duplex로 보낼 수 있다.   -    USB : RS-232C을 기반으로하는 COM 포트는 속도 상으로 많은 문제가 있다. 초기에는 데이터 량이 많지 않아 많이 사용되었지만, 최근에는 데이터 량이 커서 전송에 많은 시간이 결려 답답함을 느낄 수 밖에 없다. 몇 M bytes가 기본으로 전송하려면 필연적으로 RS-232C보다 빠른 방법이 필요한데 이것이 USB이다. 이것은 serial 방식이라는 측면은 같지만 속도를 위주로 만들어져 있기 때문에 몇 Mbps에서 400M bps까지 지원 한다. 따라서 MP3노래 한 곡을 전송하려면 필히 이것을 사용할 수 밖에 없다. 처음에는 COM포트를 사용 했지만 이것 보다 빠른 printer 포트가 갔다가 USB로 간 상태이다. 이 USB는 전달용 선이 파워와 신호 D+와 D-로 구성된다. 언듯 생각하면 printer 포트가 8비트 신호선을 사용하므로 빠를 것 같지만 그렇지 않다. 이것은 차등 신호를 사용하는데 고속의 속도를 유지 할 수 있다. 그러나 거리의 제한이 있는 것은 단점이다. RS-232C가 수m 이상도 문제 없지만 이것은 전송 라인이 전해져 있다.   -    Ethernet : LAN의 대표적 주자 이다. 통신을 개발하는 80년대는 이것과 다른 RING이니 FDDI이 다른 더 빠른 방식이 연구 되었으나 결국 Ethernet으로 통일 되었다. 이것과 광통신과의 결합으로 단말 쪽에는 Ethernet으로 전송은 광통신으로 대체 된 것이다. 물론 가정에서는 DSL이 주종을 이룬다. 이것은 ATM 기술을 단말 전송 쪽에 변형하여 서비스하는 것이고, 전송은 원래의 ATM 교환기가 아닌 변형되어 서비스 한다. 그렇다 하더라도 LAN은 당분간 계속 사용 될 것으로 보인다. 저렴한 가격과 간단한 구성으로 쉽게 접근할 수 있다. 최근에는 10/100bps능 넘어서 기가비트(Gigabit) Ethernet도 선 보이는데, 이것은 광 전송 방식이다. 물론 PC용 기가비트 이더넷은 실험실에서 많이 사용되어 진다.   2. CPU의 내부 구조 설명   CPU의 종류는 상당히 많아 일반화 시키는 것은 어느 정도 한계가 있다. 그러나 기본 동작을 이해하기 위한 구성은 다음 그림과 같이 간략히 나타낼 수 있다. 물론 이것은 가장의 구조 이다.    <img src="http://cfile230.uf.daum.net/image/1339490C4A8AA432174656" class="tx-daum-image" actualwidth="753" style="clear: none; float: none;" border="0" hspace="1" vspace="1" width="753" />   위의 CPU구조는 CISC의 대표적 구조이다. 레지스터 역시 CPU마다 구조가 많이 차이가 나지만 개념만을 이해하기 위해서는 간략히 위의 그림의 개념을 이해 하면 되고, 실제 개발하면서 CPU을 선정하면 정확히 분석 하면 된다. 중요한 요소만을 보면   2.1 레지스터 R0~Rn : CPU 내의 데이터를 저장 한다. 이 레지스터 값은 CPU가 데이터 처리를 위한 기본적인 저장 공간이다. 메모리와 다른 점은 하드웨어 적으로 직접 ALU와 연결되어 계산이 이루어 지며, 또한 메모리의 버퍼 역할을 한다. 메모리의 값을 레지스터로 옮겨 놓고 계산을 한 다음 다시 메모리로 갈 수 있다. 각 동작을 기계어 코드의 실행에 의해 기능 별로 이루어 지며 산술연산, 논리연산 등의 다양한 프로그램이 가능하다. 레지스터의 표기 방식은 각 CPU 마다 다르며, 갯 수와 길이 역시 다르다. CPU가  몇 비트 인가를 결정하는 가장 중요한 길이가 레지스터 이다. 각 CPU는 각각 다른 구조와 길이가 결정 되어 있기 때문에 자기가 사용하는(개발하는) CPU의 구조를 이해해야 만 정확한 C의 프로그램이 가능 하다. 많은 CPU는 경우에 따라 2개 혹은 4개의 레지스터가 결합 되어 사용 하기도 한다. 특히 8비트는 비트수가 부족한 경향이 있어 2개를 묶어 사용하는 것은 상당한 의미가 있다. 몇가지의 CPU의 예는 - Z-80 A, F B,C, D,E, H,L . A : Accumulator . F : Flag 정보를 담는다. . B,C,D,E,H,L – 6개의 일반적인 8비트 동작 . BC, DE, HL – 2개씩 묶어 16비트 동작을 한다.   -    Intel 80XXX 일반 레지스터 표현  8비트    16비트    32비트 A     AH, <st1:state w:st="on"><st1:place w:st="on">AL</st1:place></st1:state>     AX         EAX B     BH, BL     BX         EBX C     CH, CL     CX         ECX D     DH, DL     DX         EDX 특수레지스터 IP,BP, ... SP, IP   -    68000계열 MOTOROLA 일반 레지스터 D0, D1, ... D7 : 데이터 레지스터 A0, A1, ... A7 : Address 레지스터 특수레지스터 SP, PC, FLAG   레지스터 길이 지정 방법 – mov 명령의 예 표현  8비트    16비트    32비트 mov   mov.b     mov.w     mov.l   -    ARM : 32비트 R0, R1, ... R15 : 일반 레지스터 & 특수 레지스터   2.2 ALU ALU는 CPU의 계산을 위한 모듈이다. 사칙 연산이 주로 이루어 지며, 기타 bit 연산 등의 계산이 이루어 진다. 일반적인 CPU 거의 다는 <st1:personname w:st="on">정수형</st1:personname> 계산이 기본이다. Float-point을 지원하는 CPU는 특수한 DSP CPU 아니면 거의 지원하지 않는다. 예를 들어 Float-point의 가장 대표적인 것은 TI사의 32시리즈가 유명하다. 이것은 float-point의 표준 표기법에 따라 표시를 하고 취급하여, 하드웨어적으로 계산 한다. 특수한 수학 계산이 많은 경우에 사용 되어 진다. 일반적인 대부분의 CPU는 <st1:personname w:st="on">정수형</st1:personname>의 계산이 지원되어 지고 계산 비트는 자기 자신의 레지스터 길이 뿐만 아니라 낮은 비트는 모두 지원 한다. 만약 32비트 CPU라면 8,16,32 비트를 지원 한다. 연산의 종류는 크게 3가지이다. -   산술 연산 : + - * / <st1:personname w:st="on">정수형</st1:personname>의 연산이 기본이다. 수학적인 논리연산을 기본으로 2의 보수체계에 의해 덧셈과 뺄셈이 이루어 진다. 물론 ALU 입장에서는 단순한 덧셈과 뺄셈이지만 기계어 코드 전체에서 부호를 처리할 수 있는 여러가지 수학적 고려가 되어 있다. 곱셈과 나눗셈은 그 결과가 각 레지스터의 2배의 길이가 필요하므로 많은 경우 결과가 2개의 레지스터를 사용 한다. 나눗셈은 float point의 연산이 아니므로 나머지와 몫으로 결과가 나온다. 4,8비트의 어떤 CPU는 이 곱셈과 나눗셈이 없는 경우도 있어 필요할 경우 함수로 해결하여야 한다. 16,32 비트는 거의 지원한다. -   논리 연산 : AND, OR, XOR, NOT, 보수 <a name="OLE_LINK1">수학적인 논리연산을 각 비트 별로 수행 한다. </a> -   Shift : Right, Left, Carry와 함께 레지스터의 값을 비트 shift 한다.  이것의 carry의 값을 사용하기도 한다.   기계어 명령 하나로 레지스터 값이 연결 되어 계산이 이루어 진다. 따라서 C의 정수 연산을 이 레지스터와 ALU을 사용하여 계산 된다. 몇 가지 CPU마다 다른 점은 CPU의 구조를 이해해야 한다. CPU가 고급일수록 4칙연산 중 곱셈과 나눗셈을 지원하고 낮은 레벨의 CPU는 지원하지 않는 것이 일반적이다. 곱셈과 나눗셈이 지원돼지 않는 CPU는 컴파일러가 여러 개의 기계어 명령을 프로그램하여 라이브러리와 지원 한다.   2.3  FLAG   ALU에서 연산될 때, 연산 결과로 나타내는 값을 저장한다. 예를 C는 carry로 이진수 연산 결과 carry가 발생하면 이 레지스터에 저장 되어 유지 된다. 몇 가지 CPU의 flag을 보면 다음과 같다.   Z-80 C : Carry Flag N : Add/Subtract P/V : Parity/Overflow Flag H : Half Carry Flag Z : Zero Flag S : Sign Flag X : Not Used   8051  <img src="http://cfile229.uf.daum.net/image/185B240B4A8AA458027B2D" class="tx-daum-image" actualwidth="561" style="clear: none; float: none;" border="0" hspace="1" vspace="1" width="561" /> CY : Carry Flag, 덧셈/뺄셈 명령에서 최상위 비트에서 캐리/바로우가 생기면 set AC : Aux Carry Flag, 뎃셈/뺄셈 연산에서 3비트째의 캐리/바로우가 생기면 set F0 : General Flag RS1 : Register Bank Selection Flag 1 RS0 : Register Bank Selection Flag 0 OV : Overflow Flag, 부호있는 수의 뎃셈/뺄셈에서 2의 보수 수치 범위를 넘으면 set ― : 미지정 Flag P : Parity Flag, ACC의 내용중 1의 개수가 홀수면 set, 짝수면 reset     ARM N : Negative or less than Z : Zero C : Carry or borrow or extend V : Overflow FLAG의 기본적인 몇 가지 FLAG는 CPU 마다 다양한 형태를 띠지만 공통점과 중요한 몇 가지로 압축할 수 있다. -     C (Carry) : 이것은 ALU의 계산 결과 Carry가 발생한 경우 인데 ADD,SUB 등이 대표적이다. 두 번째로 SHIFT 명령과 관련된 명령으로 값을 변경할 수가 있다.   int inum; inum = -3;    inum += 2; 와 같은 경우 계산을 한다면    MOV  R0, #-3    ADD  R0, #2 와 같이 2개의 기계어로 나타낼 수 있는데, 32비트의 레지스터를 사용한 ALU의 계산 과정은 다음과 같다. 우선 -3을 이론적으로 구하는 방법을 생각 해 본다. 이것은 컴파일러나 어셈블러에 의해 이루어지는 것으로 ‘inum = -3;’에서 -3을 컴파일러가 숫자화 하는 과정이다. 물론 이것은 컴파일이 끝나 기계어 코딩이 되면 -3이 기계어 코드에 존재한다.   0000 0000 0000 0000 0000 0000 0000 0011  : 3 1111 1111 1111 1111 1111 1111 1111 1100  : 3의 1의 보수 1111 1111 1111 1111 1111 1111 1111 1101  : 3의 2의 보수 = 1의 보수 + 1 => -3   MOV  R0, #-3에 의해 R0는 ‘1111 1111 1111 1111 1111 1111 1111 1101’의 값이 설정되고 ADD  R0, #2에 의해 다음과 같이 ALU통한 계산이 이루어 진다.   .. 1111 1111 1111 1111 1111 1111 1111 1101  : R0 .. 0000 0000 0000 0000 0000 0000 0000 0010  : 2 ---------------------------------------------- + .0 1111 1111 1111 1111 1111 1111 1111 1111  : R0 + 2 => -1 이 때 맨 앞의 비트에서 더할 때 carry가 발생하지 않아 C는 clear 된다. carry가 발생하는 경우의 예를 보면 inum = -3;    inum += -2; 와 같은 경우 계산을 한다면    MOV  R0, #-3    ADD  R0, #-2 -2을 구하는 방법의 -3과 같은 과정을 거치면 1111 1111 1111 1111 1111 1111 1111 1110 가 된다. 이것을 ADD  R0, #-2에 의해 다음과 같이 더하면   .. 1111 1111 1111 1111 1111 1111 1111 1101  : R0 = -3 .. 1111 1111 1111 1111 1111 1111 1111 1110  : -2 ---------------------------------------------- + .1 1111 1111 1111 1111 1111 1111 1111 1011  : R0 + -2 => -5 와 같은 과정을 통해 carry가 발생하여 C가 set된다. 그리고 carry는 버리고 결과 값 32비트만을 R0에 저장 한다. RRC  R0    RRC(Rotate Right with Carry)   0 -> 1111 1111 1111 1111 1111 1111 1111 1101 -> C   와 같은 구조로 shift 될 수 있다. 결과는   R0 : 0111 1111 1111 1111 1111 1111 1111 1110 C  : set 이 때 C는 1로 set 된다.   -   Z (Zero) : ALU의 계산 결과 0인지를 나타내기 위한 flag이다. ADD,SUB, 논리 연산 등이 대표적으로 Z에 영향을 미치는 경우이다. int inum; inum = -3;    inum += 3; 와 같은 경우 계산을 한다면    MOV  R0, #-3    ADD  R0, #3 과 같은 경우는   .. 1111 1111 1111 1111 1111 1111 1111 1101  : R0 = -3 .. 0000 0000 0000 0000 0000 0000 0000 0011  : 3 ---------------------------------------------- - : ADD .1 0000 0000 0000 0000 0000 0000 0000 0000  : R0 + 3 => 0 이렇게 결과 0이 나오고 Z 는 set, C는 set 된다.   -   S (Sign), N(Negative) : ALU의 계산 결과 최상위 비트가 양수인지 음수인지를 나타내기 위한 flag이다. ADD,SUB, 논리 연산 등이 대표적으로 S에 영향을 미치는 경우이다. -3 + 2 => -1을 계산할 때의 결과 값은 1(C) 1111 1111 1111 1111 1111 1111 1111 1011 이므로 S=set, C=set, Z=clear 된다. -3 + 3 => 0을 계산할 때의 결과 값은 0(C) 0000 0000 0000 0000 0000 0000 0000 0000 이므로 S=clear, C=clear, Z=set 된다. <pre style="margin-left: 28.2pt; text-indent: -7pt;"> </pre><pre style="margin-left: 21.3pt; text-indent: 0cm;">-   O (Overflow) : ALU의 계산 결과 값의 범위를 벗어났는지를 나타내기 위한 flag이다. ADD,SUB, 논리 연산 등이 대표적으로 O에 영향을 미치는 경우 이다.</pre><pre style="margin-left: 21.3pt;">다음과 같은 16비트 CPU의 몇 가지 예를 통해 이해 해 본다.</pre><pre style="margin-left: 21.3pt;">--------------------------------------------------------</pre><pre style="margin-left: 28.2pt; text-indent: -7pt;">Oprnd1        minus     Oprnd2        Sign   Overflow </pre><pre style="margin-left: 28.2pt; text-indent: -7pt;">--------------------------------------------------------</pre><pre style="margin-left: 28.2pt; text-indent: -7pt;">0FFFF (-1)      -       0FFFE (-2)     0        0 </pre><pre style="margin-left: 28.2pt; text-indent: -7pt;">08000 (-32768)  -       00001 (1)      0        1 </pre><pre style="margin-left: 28.2pt; text-indent: -7pt;">0FFFE (-2)      -       0FFFF (-1)     1        0 </pre><pre style="margin-left: 28.2pt; text-indent: -7pt;">07FFF (32767)   -       0FFFF (-1)     1        1 </pre><pre style="margin-left: 28.2pt; text-indent: -7pt;">--------------------------------------------------------</pre>   0FFFF (-1) - 0FFFE (-2) => 1 : S=0,V=0 0 1111 1111 1111 1111  : 0FFFF = -1 0 1111 1111 1111 1110  : 0FFFE  = -2 -----------------------: SUB 0 0000 0000 0000 0001  : -1 - (-2) = 1 이것은 SUB 결과가 정상범위 내에 들어 있는 값이다. -1 - (-2) = 1 로 숫자 범위 내에서 계산 된 것이다. 따라서 이런 경우 값이 정상으로 나오고 overflow가 발생하지 않았다.   08000 - 00001   => 32767 : S=0, V=1 0 1000 0000 0000 0000  : 08000 = -32768 0 0000 0000 0000 0001  : 00001 = 1 -----------------------: SUB 0 0111 1111 1111 1111  : -32768 - 1 = 32767 이것은 SUB 결과가 -32768 - 1 = -32769 가 되어야 한다. 그런데 16비트의 범위를 벗어나 32767로 양수의 숫자가 나와 예상한 결과와 다르다. 이런 경우가 Overflow가 발생 하였다.   0FFFE (-2) - 0FFFF (-1) => -1 : S=1,V=0 0 1111 1111 1111 1110  : 0FFFF = -2 0 1111 1111 1111 1111  : 0FFFE = -1 -----------------------: SUB 1 1111 1111 1111 1111  : -2 - (-1) = -1 이것은 SUB 결과가 정상범위 내에 들어 있는 값이다. -2 - (-1) = -1 로 숫자 범위 내에서 계산 된 것이다. 따라서 이런 경우 값이 정상으로 나오고 overflow가 발생하지 않았다.   07FFF (32767) - 0FFFF (-1) => -32768 : S=1,V=1 0 0111 1111 1111 1111  : 07FFF = 32767 0 1111 1111 1111 1111  : 0FFFF  = -1 -----------------------: SUB 1 1000 0000 0000 0000  : 32767 - (-1) = -32768 이것은 SUB 결과가 32767 - (-1) = 32768 이 되어야 한다. 그런데 16비트의 범위를 벗어나 -32768로 음수의 숫자가 나와 예상한 결과와 다르다. 이런 경우가 Overflow가 발생 하였다.   FLAG의 활용 – 조건부 jump 명령 FLAG가 어떤 실행 명령에 따라 설정되면 계속 유지되어 다음 명령에 영향을 미칠 수 있다. 가장 대표적인 것이 조건부 jump  명령이다. 조건부 jump는 어떤 조건이 되었을 때 jump 하지 그렇지 않으면 다음 명령을 실행 한다. 이 때 사용하는 조건은 다음과 같은 종류가 있다.   ARM <table table="" style="border: medium none ; border-collapse: collapse;" border="1" cellpadding="0" cellspacing="0"> <tbody><tr style="height: 3.65pt;"> <td style="border: 1pt solid windowtext; padding: 0cm 5.4pt; width: 37.95pt; height: 3.65pt;" valign="top" width="51"> Suffix </td> <td style="border-style: solid solid solid none; border-color: windowtext windowtext windowtext -moz-use-text-color; border-width: 1pt 1pt 1pt medium; padding: 0cm 5.4pt; width: 130.5pt; height: 3.65pt;" valign="top" width="174"> Description </td> <td style="border-style: solid solid solid none; border-color: windowtext windowtext windowtext -moz-use-text-color; border-width: 1pt 1pt 1pt medium; padding: 0cm 5.4pt; width: 233.85pt; height: 3.65pt;" valign="top" width="312"> Condition </td> </tr> <tr style="height: 21.9pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 37.95pt; height: 21.9pt;" valign="top" width="51"> EQ </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 130.5pt; height: 21.9pt;" valign="top" width="174"> Equal </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 233.85pt; height: 21.9pt;" valign="top" width="312"> Z set </td> </tr> <tr style="height: 21.1pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 37.95pt; height: 21.1pt;" valign="top" width="51"> NE </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 130.5pt; height: 21.1pt;" valign="top" width="174"> Not equal </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 233.85pt; height: 21.1pt;" valign="top" width="312"> Z clear </td> </tr> <tr style="height: 21.9pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 37.95pt; height: 21.9pt;" valign="top" width="51"> CS </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 130.5pt; height: 21.9pt;" valign="top" width="174"> Unsigned higher, or same </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 233.85pt; height: 21.9pt;" valign="top" width="312"> C set </td> </tr> <tr style="height: 21.9pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 37.95pt; height: 21.9pt;" valign="top" width="51"> CC </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 130.5pt; height: 21.9pt;" valign="top" width="174"> Unsigned lower </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 233.85pt; height: 21.9pt;" valign="top" width="312"> C clear </td> </tr> <tr style="height: 21.1pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 37.95pt; height: 21.1pt;" valign="top" width="51"> MI </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 130.5pt; height: 21.1pt;" valign="top" width="174"> Negative </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 233.85pt; height: 21.1pt;" valign="top" width="312"> N set </td> </tr> <tr style="height: 21.9pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 37.95pt; height: 21.9pt;" valign="top" width="51"> PL </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 130.5pt; height: 21.9pt;" valign="top" width="174"> Positive, or zero </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 233.85pt; height: 21.9pt;" valign="top" width="312"> N clear </td> </tr> <tr style="height: 21.9pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 37.95pt; height: 21.9pt;" valign="top" width="51"> VS </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 130.5pt; height: 21.9pt;" valign="top" width="174"> Overflow </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 233.85pt; height: 21.9pt;" valign="top" width="312"> V set </td> </tr> <tr style="height: 21.1pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 37.95pt; height: 21.1pt;" valign="top" width="51"> VC </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 130.5pt; height: 21.1pt;" valign="top" width="174"> No Overflow </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 233.85pt; height: 21.1pt;" valign="top" width="312"> V clear </td> </tr> <tr style="height: 21.9pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 37.95pt; height: 21.9pt;" valign="top" width="51"> HI </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 130.5pt; height: 21.9pt;" valign="top" width="174"> Unsigned higher </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 233.85pt; height: 21.9pt;" valign="top" width="312"> C set, Z clear </td> </tr> <tr style="height: 21.9pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 37.95pt; height: 21.9pt;" valign="top" width="51"> LS </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 130.5pt; height: 21.9pt;" valign="top" width="174"> Unsigned lower, or same </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 233.85pt; height: 21.9pt;" valign="top" width="312"> C clear, Z set </td> </tr> <tr style="height: 21.1pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 37.95pt; height: 21.1pt;" valign="top" width="51"> GE </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 130.5pt; height: 21.1pt;" valign="top" width="174"> Greater, or equal </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 233.85pt; height: 21.1pt;" valign="top" width="312"> N=V (N and V set or N and V clear) </td> </tr> <tr style="height: 21.9pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 37.95pt; height: 21.9pt;" valign="top" width="51"> LT </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 130.5pt; height: 21.9pt;" valign="top" width="174"> Less then </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 233.85pt; height: 21.9pt;" valign="top" width="312"> N<>V (Nset and Vclear) or (Nclear and Vset) </td> </tr> <tr style="height: 21.9pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 37.95pt; height: 21.9pt;" valign="top" width="51"> GT </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 130.5pt; height: 21.9pt;" valign="top" width="174"> Greater than </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 233.85pt; height: 21.9pt;" valign="top" width="312"> Z clear,N=V (N and V set or N and V clear) </td> </tr> <tr style="height: 21.9pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 37.95pt; height: 21.9pt;" valign="top" width="51"> LE </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 130.5pt; height: 21.9pt;" valign="top" width="174"> Less then, or equal </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 233.85pt; height: 21.9pt;" valign="top" width="312"> Zset or N<>V(Nset and Vclear)or(Nclear and Vset) </td> </tr> </tbody></table>   이 조건은 어셈블러 B조건   labe 의 형태를 띤다.   BEQ  Label12     INC  R0 Label12:     . . . 여기서의 B는 brach(jump)을 의미하고 EQ는 Z 플래그가 set되어 있을 때 jump하라는 의미를 갖는다.   CMP  R0, #10     BNE SKIP_ADDRESS     ADD  R0, #1 SKIP_ADDRESS:   . . . 여기서 CMP는 R0의 레지스터의 값에서 10을 빼고 flag을 설정하라는 명령이고, 이 때 각 flag는 설정 된다. 그것이 BNE에 영향을 미처 실행이 이루어져 C의 경우  int ival;    . . .    if (ival == 10)        ival++; 와 같은 하이레벨의 언어를 컴파일을 통해 실행을 하게 되는 것이다.   Intel의 80x86의 조건부 jump 명령 80x86의 flags ZF  : Zero CF  : Carry OF  : Overflow PF  : Parity SF  : Sign     <table table="" style="border: medium none ; margin-left: 26.7pt; border-collapse: collapse;" border="1" cellpadding="0" cellspacing="0"> <tbody><tr style="height: 27.5pt;"> <td style="border: 1pt solid windowtext; padding: 0cm 5.4pt; width: 76.3pt; height: 27.5pt;" valign="top" width="102"> Instruction </td> <td style="border-style: solid solid solid none; border-color: windowtext windowtext windowtext -moz-use-text-color; border-width: 1pt 1pt 1pt medium; padding: 0cm 5.4pt; width: 209.6pt; height: 27.5pt;" valign="top" width="279"> Description </td> <td style="border-style: solid solid solid none; border-color: windowtext windowtext windowtext -moz-use-text-color; border-width: 1pt 1pt 1pt medium; padding: 0cm 5.4pt; width: 83.9pt; height: 27.5pt;" valign="top" width="112"> Flag status when jump is taken </td> </tr> <tr style="height: 18.35pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 76.3pt; height: 18.35pt;" width="102"> JZ </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 209.6pt; height: 18.35pt;" width="279"> Jump if zero </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 83.9pt; height: 18.35pt;" width="112"> ZF=1 </td> </tr> <tr style="height: 17.55pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 76.3pt; height: 17.55pt;" width="102"> JNZ </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 209.6pt; height: 17.55pt;" width="279"> Jump if not zero </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 83.9pt; height: 17.55pt;" width="112"> ZF=0 </td> </tr> <tr style="height: 18.35pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 76.3pt; height: 18.35pt;" width="102"> JC </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 209.6pt; height: 18.35pt;" width="279"> Jump if carry </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 83.9pt; height: 18.35pt;" width="112"> CF=1 </td> </tr> <tr style="height: 18.35pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 76.3pt; height: 18.35pt;" width="102"> JNC </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 209.6pt; height: 18.35pt;" width="279"> Jump if not carry </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 83.9pt; height: 18.35pt;" width="112"> CF=0 </td> </tr> <tr style="height: 17.55pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 76.3pt; height: 17.55pt;" width="102"> JO </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 209.6pt; height: 17.55pt;" width="279"> Jump if overflow </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 83.9pt; height: 17.55pt;" width="112"> OF=1 </td> </tr> <tr style="height: 18.35pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 76.3pt; height: 18.35pt;" width="102"> JNO </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 209.6pt; height: 18.35pt;" width="279"> Jump if not overflow </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 83.9pt; height: 18.35pt;" width="112"> OF=0 </td> </tr> <tr style="height: 18.35pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 76.3pt; height: 18.35pt;" width="102"> JS </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 209.6pt; height: 18.35pt;" width="279"> Jump is sign </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 83.9pt; height: 18.35pt;" width="112"> SF=1 </td> </tr> <tr style="height: 17.55pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 76.3pt; height: 17.55pt;" width="102"> JNS </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 209.6pt; height: 17.55pt;" width="279"> Jump if not sign </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 83.9pt; height: 17.55pt;" width="112"> SF=0 </td> </tr> <tr style="height: 18.35pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 76.3pt; height: 18.35pt;" width="102"> JP </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 209.6pt; height: 18.35pt;" width="279"> Jump if parity (if parity is even) </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 83.9pt; height: 18.35pt;" width="112"> PF=1 </td> </tr> <tr style="height: 18.35pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 76.3pt; height: 18.35pt;" width="102"> JNP </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 209.6pt; height: 18.35pt;" width="279"> Jump if not parity (if parity is odd) </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 83.9pt; height: 18.35pt;" width="112"> PF=0 </td> </tr> </tbody></table>    <meta http-equiv="Content-Type" content="text/html; charset=utf-8"><meta name="ProgId" content="Word.Document"><meta name="Generator" content="Microsoft Word 12"><meta name="Originator" content="Microsoft Word 12"><link rel="File-List" href="file:///C:%5CDOCUME%7E1%5Cicom%5CLOCALS%7E1%5CTemp%5Cmsohtmlclip1%5C01%5Cclip_filelist.xml"><link rel="themeData" href="file:///C:%5CDOCUME%7E1%5Cicom%5CLOCALS%7E1%5CTemp%5Cmsohtmlclip1%5C01%5Cclip_themedata.thmx"><link rel="colorSchemeMapping" href="file:///C:%5CDOCUME%7E1%5Cicom%5CLOCALS%7E1%5CTemp%5Cmsohtmlclip1%5C01%5Cclip_colorschememapping.xml"><style>  </style> Jumps Based on Comparisons of Unsigned Operands   <table Table" style="border: medium none ; margin-left: 26.7pt; border-collapse: collapse;" border="1" cellpadding="0" cellspacing="0"> <tbody><tr style="height: 18.35pt;"> <td style="border: 1pt solid windowtext; padding: 0cm 5.4pt; width: 78.5pt; height: 18.35pt;" width="105"> Instruction </td> <td style="border-style: solid solid solid none; border-color: windowtext windowtext windowtext -moz-use-text-color; border-width: 1pt 1pt 1pt medium; padding: 0cm 5.4pt; width: 282.95pt; height: 18.35pt;" width="377"> Description </td> </tr> <tr style="height: 18.35pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 78.5pt; height: 18.35pt;" width="105"> JA </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 282.95pt; height: 18.35pt;" width="377"> Jump if above (if leftOp > rightOp) </td> </tr> <tr style="height: 8.7pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 78.5pt; height: 8.7pt;" width="105"> JNBE </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 282.95pt; height: 8.7pt;" width="377"> Jump if not below or equal (same as JA) </td> </tr> <tr style="height: 15.7pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 78.5pt; height: 15.7pt;" width="105"> JAE </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 282.95pt; height: 15.7pt;" width="377"> Jump if above or equal (if leftOp >= rightOp) </td> </tr> <tr style="height: 14.9pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 78.5pt; height: 14.9pt;" width="105"> JNB </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 282.95pt; height: 14.9pt;" width="377"> Jump if not below (same as JAE) </td> </tr> <tr style="height: 15.7pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 78.5pt; height: 15.7pt;" width="105"> JB </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 282.95pt; height: 15.7pt;" width="377"> Jump if below (if leftOp < rightOp) </td> </tr> <tr style="height: 15.7pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 78.5pt; height: 15.7pt;" width="105"> JNAE </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 282.95pt; height: 15.7pt;" width="377"> Jump if not above or equal (same as JB) </td> </tr> <tr style="height: 14.9pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 78.5pt; height: 14.9pt;" width="105"> JBE </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 282.95pt; height: 14.9pt;" width="377"> Jump if below or equal (if leftOp <= rightOp) </td> </tr> <tr style="height: 15.7pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 78.5pt; height: 15.7pt;" width="105"> JNA </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 282.95pt; height: 15.7pt;" width="377"> Jump if not above (same as JBE) </td> </tr> </tbody></table>   Jumps Based on Equality between Operands   <table table="" style="border: medium none ; margin-left: 26.7pt; border-collapse: collapse;" border="1" cellpadding="0" cellspacing="0"> <tbody><tr style="height: 18.05pt;"> <td style="border: 1pt solid windowtext; padding: 0cm 5.4pt; width: 86.4pt; height: 18.05pt;" valign="top" width="115"> Instruction </td> <td style="border-style: solid solid solid none; border-color: windowtext windowtext windowtext -moz-use-text-color; border-width: 1pt 1pt 1pt medium; padding: 0cm 5.4pt; width: 270pt; height: 18.05pt;" valign="top" width="360"> Description </td> </tr> <tr style="height: 18.25pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 86.4pt; height: 18.25pt;" valign="top" width="115"> JE </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 270pt; height: 18.25pt;" valign="top" width="360"> Jump if equal (if leftOp = rightOp) </td> </tr> <tr style="height: 17.3pt;"> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 86.4pt; height: 17.3pt;" valign="top" width="115"> JNE </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 270pt; height: 17.3pt;" valign="top" width="360"> Jump if not equal (if leftOp != rightOp) </td> </tr> </tbody></table>     Jumps Based on Comparisons of Signed Operands   <table table="" style="border: medium none ; margin-left: 26.7pt; border-collapse: collapse;" border="1" cellpadding="0" cellspacing="0"> <tbody><tr style=""> <td style="border: 1pt solid windowtext; padding: 0cm 5.4pt; width: 86.4pt;" width="115"> Instruction </td> <td style="border-style: solid solid solid none; border-color: windowtext windowtext windowtext -moz-use-text-color; border-width: 1pt 1pt 1pt medium; padding: 0cm 5.4pt; width: 270pt;" width="360"> Description </td> </tr> <tr style=""> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 86.4pt;" width="115"> JG </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 270pt;" width="360"> Jump if greater (if leftOp > rightOp) </td> </tr> <tr style=""> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 86.4pt;" width="115"> JNLE </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 270pt;" width="360"> Jump is not less than or equal (same as JG) </td> </tr> <tr style=""> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 86.4pt;" width="115"> JGE </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 270pt;" width="360"> Jump if greater than or equal (if leftOp >= rightOp) </td> </tr> <tr style=""> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 86.4pt;" width="115"> JNL </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 270pt;" width="360"> Jump if not less (same as JGE) </td> </tr> <tr style=""> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 86.4pt;" width="115"> JL </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 270pt;" width="360"> Jump if less (if leftOp < rightOp) </td> </tr> <tr style=""> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 86.4pt;" width="115"> JNGE </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 270pt;" width="360"> Jump if not greater than or equal (same as JL) </td> </tr> <tr style=""> <td style="border-style: none solid solid; border-color: -moz-use-text-color windowtext windowtext; border-width: medium 1pt 1pt; padding: 0cm 5.4pt; width: 86.4pt;" width="115"> JLE </td> <td style="border-style: none solid solid none; border-color: -moz-use-text-color windowtext windowtext -moz-use-text-color; border-width: medium 1pt 1pt medium; padding: 0cm 5.4pt; width: 270pt;" width="360"> Jump is less than or equal (leftOp <= rightOp) </td> </tr> </tbody></table>     2.4 FETCH CPU의 fetch는 기계어 명령어를 읽는 과정을 말한다. 이것은 메모리로 부터 읽어 기계어로 해석된다. 읽어 들인 기계어 코드는 명령 레지스터에 저장되어 해석되고 실행 된다. 이 때의 주소는 PC (Program Counter)을 주소를 읽어 기계어로 인식한다.  이것의 표현은 CPU 마다 약간씩 다르므로 사용설명서를 보면 알 수 있다. PC은 기계어를 읽을 때 마다 자동으로 처리되면 jump아니 CALL/RET 명령으로 임의의 주소값을 변화 될 수도 있다.   기계어 코드 해석 및 제어 모듈 Fetch에 의해 메모리에서 읽어 온 기계어 코드는 이것이 어떤 명령인지를 해석하여 이것에 맞는 기능이 수행 된다. 다양한 명령의 조합에 의해 컴퓨터의 프로그램이 수행되어 진다.   주소 제어 모듈 (PC, SP, 기타) CPU가 실행되면서 자동으로 증감을 하는 경우가 PC의 경우 기계어의 위치를 지정하는 데 fetch시 주소 bus에 PC의 값이 출력되어 하드웨의 디지탈 신호선에 실려 코드가 읽혀 진다. 이와 동시에 stack 명령(PUSH/POP, CALL/RET)에 의해 변화되는 주소 값이 SP 레지스터의 값이 주소선(addres bus)에 실려야 할 때도 있다. 다음 80x86의 코드 예를 본다.   ; ret_val = fun1(10, -20);   00200    6a ec          push   -20      ; ffffffecH   (1)   00202    6a 0a          push   10       ; 0000000aH   (2)   00204    e8 00 00 02 40 call  _fun1    ; fun1        (3)   00209    83 c4 08       add    esp, 8   이것의 실행 시 IP (Instruction Pointer:80x86의 PC)가 현재 IP : 00000200 SP : 00003100 이라면 (1) 명령어의 실행 과정은 다음과 같다. - IP의 값 0x00000200 이 address bus에 실리고 메모리 read cycle이 만들어 진다. 이것은 메모리의 종류에 따라 제어선은 다르다. 이렇게 read cycle에 의해 fetch 레지스터에 값이 읽어 진다. 즉 0x00000200의 기계어 0x6a가 읽혀 fetch 레지스터에 저장된 것으로 fetch 동작이 이루어 진 것이다. - 동시에 IP 값이 자동으로 1만큼 증가 한다. 이것은 CPU의 명령 구조에 따라 2 또는 4바이트씩 증가 한다. intel 의 경우 16비트 명령이라면 2바이트 일 것이다. 이 명령은 1만큼 증가하는 것이다. ARM의 경우 32비트 명령이므로 4씩 자동 증가한다. 그리고 Thumb는 16비트 명령이므로 2바이트 증가 한다. - 이것은 기계어 명령 해석 모듈에 의해 해석되어 0x6a이 stack에 저장하는 push 명령 이구나라는 것을 안다. 그러면 제어 로직이 push 명령을 수행하기 위해 - Data bus에 0xffffffec을 넣고 address bus에 현재의 SP 값 0x00003100을 넣고 메모리 write cycle을 만들어 RAM에 쓰기를 한다. 그러면 이 cycle 동안 메모리에 0xffffffec 값이 써 진다. - SP 값을 4 만큼 자동으로 감소 한다. 즉 stack은 주소 값이 감소하는 쪽으로 자동 설정 된다. 이렇게 (1)의 명령이 실행되고 다음과 같이 레지스터 값이 변한다. IP : 00000202 SP : 000030FC 로 바뀐다.   다음 명령 (2) 번이 위와 같은 과정을 거쳐 실행되면 IP : 00000204 SP : 000030F8 로 바뀐다.   2.5 operand   operand는 기계어 명령에 따라 메모리에서 가져온 값을 임시 저장하는 버퍼 레지스텅 이다. 다음과 같은 예에서 100이라는 숫자를 operand에 임시되어 진다.   0002d a1 40 30 00 00   mov eax, DWORD PTR _noTotal ; noTotal 이것은 _noTotal의 주소값(0x00003040)의 주소에 있는 데이터를 EAX로 옮기는 과정인데 순서는 -    IP (0x0000002d)의 값을 읽어 fetch 한다. -    IP을 1증가 한다. -    명령을 해석하여 mov 명령인데 direct address mode을 인식하여 주소값을 일기 위한 절차로 주소값을 읽는다. address bus 0x0000002e값을 넣고 읽기 사이클을 수행하면 주소값 0x00003040이 읽힌다. 이것의 주소값이 4의 배수가 아니기 때문에 실제로는 한번의 사이클에 끝나는 것은 아니다. 이것은 CPU의 pipe가 동작하므로 고속으로 미리 읽혀 operand 레지스터에 저장된다. 이 말은 주소값이 한번의 cycle이라는 개념적인 설명임을 이해 해야 한다. -    동시에 IP을 4 증가하여 -    읽힌 값 0x00003040에 operand에 저장한다. -    다시 0x00003040주소의 값을 읽기 위해 32비트 read cycle을 수행 하기 위해, operand에 저장된 주소값 0x00003040을 address bus에 넣고 read cycle을 만들어 읽어 들인다. -    이 값을 eax 레지스터로 옮겨 이 명령을 끝낸다.   이와 같이 operand는 명령이 동작하면서 임시적인 버퍼 역활을 한다.     2.6 Byte Switch (일반적인 용어가 아님, 저자가 임의로 붙인 이름)   이것은 CPU와 메모리간의 주소에서 32비트 CPU는 한번에 32비트 까지의 Data Bus 용량을 갖는 것이 보통이다. 그런데 CPU는 8,16,32바이트 단위로 선택적으로 읽을 필요가 있다. 만약 32비트 CPU라 하여 32비트 단위만 읽을 수 있다면, 오히려 문제가 생긴다. 이것은 컴퓨터 프로그램 입장에서 프로그램 하다 보면 바이트 단위의 처리가 상당히 많음을 경험적으로 알 수 있을 것이다. 물론 short int로 16비트로 int로 32비트로 읽는 경우도 있다. C에서 char 단위로 처리 되는 모든 것은 8비트 단위로 읽거나 쓰기를 해야 하는 것이다. 그런데 메모리 구조 상 data bus는 D0~D31 까지 물리적인 버스 구조를 갖는다.    <img src="http://cfile229.uf.daum.net/image/152E7F0D4A8AA47A673C33" class="tx-daum-image" actualwidth="753" style="clear: none; float: none;" border="0" hspace="1" vspace="1" width="753" />   위의 메모리 구조는 SRAM칩을 사용한 경우로 초기부터 사용되어 온 모델이다. 따라서 DRAM등은 컨트롤 신호가 다르고 할 뿐이지 데이터 버스는 동일하다. 물론 칩이 1바이트 단위로 억세스 하는 것도 있지만 16비트, 32비트로 억세스 하는 경우도 있다. 개념적으로는 다를 것이 없다. 모든 메모리는 모두 8비트 단위로 주소값이 할당되면 8비트 단위로 구성되어 각 비트별로 엑세스가 가능 해야 한다.  RAM의 메모리는 CPU의 레지스터로 데이터가 전송되어 프로그램이나 데이터가 처리 된다. 만약 CPU의 레지스터와 RAM을 연결하여 그리면 다음과 같다.      <img src="http://cfile231.uf.daum.net/image/141DEB0F4A8AA49C992D3E" class="tx-daum-image" actualwidth="753" style="clear: none; float: none;" border="0" hspace="1" vspace="1" width="753" /> 위의 그림은 RAM과 CPU의 레지스터(일반 및 특수레지스터) 간의 데이터 흐름을 나타낸 것이다. 여기서 데이터 버스 외의 제어 신호는 표시 하지 않았다. 여기에서 처럼 byte switch의 구조가 필요한 것은 CPU는 반드시 byte 단위 까지의 데이터 억세스가 필요하기 때문이다. CPU가 기계어 명령을 수행 할 때, 어떤 비트 단위로 전송할 것인가는 결정 되어 있다. 8,16,32 비트 단위로 선택적으로 전송이 가능 하다. 만약 8비트 CPU라면 보통 레지스터가 8로 처리 되므로 바이트 스위치가 필요 없을 것이다. CPU마다 레지스터 이름은 틀리므로 CPU에 맞추어 이해 하여야 하고 RAM 메모리는 1바이트 단위의 메모리라고 가정 하였다. 이와 같은 상황에서 어떻게 전송되는지를 이해 하기 위해 메모리와 CPU의 레지스터 전송 명령을 생각 해 본다. 이 CPU가 우리가 흔히 사용하는 인텔 80x86과 이에 쌍벽을 이루고 있어던 모토롤라의 68000 계열을 같이 생각해 보자.   2.6.1  32비트 전송명령   CPU는 다음과 같은 명령을 수행 했다면   MOV   R0, 00123400H – direct access mode (00123400H 번지의 값을 R0레지스터 전송)   가 수행되었다면 바이트 스위치 구조는  <img src="http://cfile233.uf.daum.net/image/1351671A4A8AA4B77B5176" class="tx-daum-image" actualwidth="753" style="clear: none; float: none;" border="0" hspace="1" vspace="1" width="753" />   바이트 스위치가 위와 같이 path을 형성하도록 CPU는 byte switch에 신호를 준다. 그리고 메모리의 address bus에 0x00123400을 실어 보낸다. 그리고 U1,U2,U3,U4에는 읽기 신호를 각각 enable 시킨다. 그러면 메모리의 0x00123400번지 데이터가 데이터버스에 실려 레지스터 디지털 신호가 들어가고 이것이 레지스터에 저장 된다. 여기서 주의 할 것은 주소값의 끝 2비트는 항상 00으로 되어 있어야 한다. 만약 32비트 억세스를 하면서 주소 버스에 0x00123401처럼 하면 안 된다. C로 프로그램 하고 변수를 메모리에 배치 할 때 자동으로 이주소값은 조정 된다. 이 이야기는 주소값이 0x00123400, 0x00123401, 0x00123402, 0x00123403 모두가 한번에 레지스터 전송된다. 이것이 32비트 억세스 이다. 만약 C로 프로그램 한다면 int ival = *( (int*) 0x00123400); 라고 했다면 이것은 MOV   R3, 00123400 로 코딩 되는 것이다. 컴파일러가 변수 ival를 레지스터 R3로 할당 되었다고 가정한 경우이다. 이것이 메모리에 할당되어 있다. 하나의 명령이 더 추가 된다. MOV   R3, 00123400 MOV   00123450H, R3  - 00123450H가 ival의 영역으로 할당 된 경우   이것은 표로 표시하면 CPU의 data bus는 메모리의 32비트 구조가 다음과 같은 모양을 갖는다. ------------------------------- CPU      ---  RAM ------------------------------- D[<st1:time o:ls="trans" hour="19" minute="0" w:st="on">7:0</st1:time>]   ---  D[<st1:time o:ls="trans" hour="19" minute="0" w:st="on">7:0</st1:time>]   (U1) D[<st1:time minute="8" hour="15" o:ls="trans" w:st="on">15:8</st1:time>]  ---  D[<st1:time minute="8" hour="15" o:ls="trans" w:st="on">15:8</st1:time>]  (U2) D[<st1:time minute="16" hour="23" o:ls="trans" w:st="on">23:16</st1:time>] ---  D[<st1:time minute="16" hour="23" o:ls="trans" w:st="on">23:16</st1:time>] (U3) D[31:24] ---  D[31:24] (U4) ------------------------------- 와 같이 연결 된다. --------------------------------------- RAM      --- CPU DataBus — R0 레지스터 --------------------------------------- D[<st1:time minute="0" hour="19" o:ls="trans" w:st="on">7:0</st1:time>]   ---  D[<st1:time minute="0" hour="19" o:ls="trans" w:st="on">7:0</st1:time>]  ---   R0[<st1:time minute="0" hour="19" o:ls="trans" w:st="on">7:0</st1:time>] D[<st1:time minute="8" hour="15" o:ls="trans" w:st="on">15:8</st1:time>]  ---  D[<st1:time minute="8" hour="15" o:ls="trans" w:st="on">15:8</st1:time>]  ---  R0[<st1:time minute="8" hour="15" o:ls="trans" w:st="on">15:8</st1:time>] D[<st1:time minute="16" hour="23" o:ls="trans" w:st="on">23:16</st1:time>] ---  D[<st1:time minute="16" hour="23" o:ls="trans" w:st="on">23:16</st1:time>] ---  R0[<st1:time minute="16" hour="23" o:ls="trans" w:st="on">23:16</st1:time>] D[31:24] ---  D[31:24] ---  R0[31:24] ---------------------------------------   이렇게 RAM에서 출발한 데이터 R0 레지스터까지 가는 과정에서 하드웨어적인 연결이 이루어 져야 한다. Byte Switch는 읽거나 쓰기를 할 때, 각각의 data bus path을 설정한다. 각각의 엑세스 단위에 따라 byte switch는 적절한 데이터 path을 만들어 8.16.32비트의 엑시스가 가능하게 한다. 32비트의 경우 little(x386m,ARM) endian과 big endian(68K계열) 모두 같은 구조로 연결이 된다.   2.6.2  16비트 전송명령   32비트 엑세스는 한번에 32bit을 엑세스 하지만 16비트 단위로 엑세스 할 경우도 있다. 이경우에도 역시 메모리와 레지스터간에는 byte switch가 path을 하여 이루어 진다. 8.16비트 엑세스부터 little과 big endan으로 나누어 진다. 16비트 엑세스를 할 때는 주소값의 끝 한 비트 A0=0을 되어야 한다. 이 주소 역시 프로그램에서 A0가 0로 되도록 컴파일러가 조절 한다.   short int sdata;    sdata = 0x1234;   이것 처럼 작성이 되었다면   x386의 경우 : MOV   AX, #1234H 68K         : mov.w D0, #1234H   처럼  컴파일 되어 질 수 있다. 각각의 CPU에 따라 16비트를 엑세스 할 수 있는 어셈블리 언어가 존재하고 기계어 코드로 바뀐다. 이 과정은 다음 그림과 같이 byte swtch가 path을 연다.    <img src="http://cfile208.uf.daum.net/image/1108651B4A8AA4D20593EC" class="tx-daum-image" actualwidth="753" style="clear: none; float: none;" border="0" hspace="1" vspace="1" width="753" /> 32비트의 메모리 구조에서 16비트는 반반씩 사용하는 것이므로 이것은 기계어 코드와 주소로 결정 된다. 주소값의 단위는 바이트 단위 이므로 16비트를 지정할 때는 A0=0로 되어야 한다. 그리고 A1의 경우 0이면 위의 그림 처럼 little endian에서는 D[15:0]으로 big endian인 경우에는 D[31:16]으로 할당 된다. 그리고 A1가 1인 경우는 다음 그림과 같다.  <img src="http://cfile226.uf.daum.net/image/197E8A1B4A8AA4E6229551" class="tx-daum-image" actualwidth="753" style="clear: none; float: none;" border="0" hspace="1" vspace="1" width="753" /> 그림 처럼 16비트 씩 짝을 지어 엑세스가 이루어 진다.   예를 들어 현재 다음과 같은 메모리 구조를 갖는다면   int *pidata;     pidata = (int*) 0x00123400;   *pidata = 0x123456   이 프로그램이 실행 하면 다음과 같은 메모리 구조를 갖는다.  <img src="http://cfile214.uf.daum.net/image/12078A1B4A8AA4FA06C124" class="tx-daum-image" width="418" height="309" actualwidth="593" style="clear: none; float: none; width: 418px; height: 309px;" border="0" hspace="1" vspace="1" />   이 경우 다음과 같은 16비트 엑세스를 생각 해 본다.   short int * psidata;  int *pidata;   pidata = (int*) 0x00123400;   *pidata = 0x123456;   psidata = (short int*) 0x00123400;   short int sidata = * psidata;   이 프로그램의 마지막 과정을 보면 Little endian x386의 경우   mov  ax. WORD PTR 0x00123400   라는 프로그램이 작동 했다면 AX <= 0x5678 로 값이 메모리로부터 읽힌다. 이에 비해 mov  ax. WORD PTR 0x00123402 라고 했다면 AX <= 0x1234 로 읽힌다.   2.6.3  8비트 전송명령   이제 8비트 전송을 경우를 생각해 본다. 이것은 CPU가 엑세스하는 최소 단위이다. 보통의 경우 8비트 CPU라도 대부분은 8비트 엑세스를 하는 것이 일반적이다. 어떤 것은 비트 단위도 있지만 특수한 경우이다. 어째든 32비트 CPU 경우는 8.16.32 단위로 읽을 수 있어야 하므로 모두 지원한다. 8비트 엑세스를 하려면 역시 byte switch가 8비트 데이터 path을 열어 디지털 신호가 메모리와 CPU간에 전송 된다. 이 역시 endian이 문제이다. 각각의 위치가 거꾸로 구성 되므로 복잡도를 높인다.   위의 프로그램과 같은 예 int *pidata;     pidata = (int*) 0x00123400;   *pidata = 0x123456 를 실행 했다고 가정하고    char *pcdata;  pcdata = (char *) 0x00123400    char chdata = *pcdata;   라고 실행을 했다면 최종 char 데이터를 읽는 과정은   Little endian x86의 경우   mov al, BYTE PTR 00123400  <img src="http://cfile232.uf.daum.net/image/130DB01A4A8AA51A20D691" class="tx-daum-image" actualwidth="753" style="clear: none; float: none;" border="0" hspace="1" vspace="1" width="753" />   이 기계어 명령이 실행 하면 위의 그림과 같이 0x12 값이 읽혀 AL 레지스터에 읽힌다. 이 그림에서 R0가 eax라고 가정 한다.   Big endiand은 68000 : mov.b  d0 , $00123400H   A1:A0 = 00 이면 MSB 쪽의 8비트가 읽힌다. 이 경우는 0x78이 읽혀 레지스터 하위 8비트로 들어 온다. D0[7:0] = 0x78 이 된다.   이제 각각의 주소값에 따른 스위치의 8비트 엑세스 구조는 다음과 같다.   <!--[if gte vml 1]><v:shape id="개체_x0020_11" o:spid="_x0000_i1035" type="#_x0000_t75" style='width:468pt; height:464.25pt;visibility:visible' o:gfxdata="UEsDBBQABgAIAAAAIQCTXr2S+wAAAOEBAAATAAAAW0NvbnRlbnRfVHlwZXNdLnhtbJSRQU7DMBBF 90jcwfIWxQ5dIISSdEHKEhAqBxjZk8RqMrY8JrS3x2nLggVFLC3r/f++plrvp1HMGNl5quWtKqVA Mt466mv5vn0q7qXgBGRh9IS1PCDLdXN9VW0PAVlkmriWQ0rhQWs2A07Aygek/NP5OEHKz9jrAGYH PepVWd5p4ykhpSItGbKpXrJAdBbFK8T0DFPu0TayxpVvvVE5SorHE7PU1hJCGJ2BlKX1TFZNXPiu cwZVG3lzpG4WSjdVix18jEls9rnytDLiyH8E/lxQnO1VJo+lPLjAFxouG5/Nfltt/SdFnP87u83Y G87fVvp4oOYLAAD//wMAUEsDBBQABgAIAAAAIQA4/SH/1gAAAJQBAAALAAAAX3JlbHMvLnJlbHOk kMFqwzAMhu+DvYPRfXGawxijTi+j0GvpHsDYimMaW0Yy2fr2M4PBMnrbUb/Q94l/f/hMi1qRJVI2 sOt6UJgd+ZiDgffL8ekFlFSbvV0oo4EbChzGx4f9GRdb25HMsYhqlCwG5lrLq9biZkxWOiqY22Yi Tra2kYMu1l1tQD30/bPm3wwYN0x18gb45AdQl1tp5j/sFB2T0FQ7R0nTNEV3j6o9feQzro1iOWA1 4Fm+Q8a1a8+Bvu/d/dMb2JY5uiPbhG/ktn4cqGU/er3pcvwCAAD//wMAUEsDBBQABgAIAAAAIQBV NlYTnZMAAHGaDgAOAAAAZHJzL2Uyb0RvYy54bWzsnU1v42aarvcHOP+B4OocNGrC7w+jlUGVk0qC ONWG5XQvGrOgJMpimyIVkrJVXnWjZ5HtAU7j9KaB2c12cAb5U5n6EfO870tKpMrmU3bJssp1J4CL NimJuklKvO7n67f/vJqn2lVclEmeDXTznwxdi7NxPkmyi4H+4/nrF4GulVWUTaI0z+KB/jYu9X/+ 8n/+j99eL45iK5/l6SQuNHqSrDy6Xgz0WVUtjr74ohzP4nlU/lO+iDNaOc2LeVTRr8XFF5MiuqZn n6dfWIbhfXGdF5NFkY/jsqS/fqVW6l/K559O43H1u+m0jCstHei0b5X8WcifI/Hziy9/Gx1dFNFi lozr3YgesBfzKMnoRddP9VVURdqySB7wVGk+vownx1F2FZX0lOn4qP2Xeh/T8cc/c3SUXX1TLIaL 00Ls+fjN1WmhJROpTRbN6WApdWhFvRmJ9cXWoy42T7CaFnPxRPl0qq3ks7xdKxyvKm1Mf/RM1/Oc UNfGtM4zDSMIg/pVZnSgxONMz7UC39Y12sIKPdu2mw2+Zp6E9k3tAy209qtciL3Krt5/o5auqTd6 RudJlF2kseY1r/ZmvX25OKFDUmpZfjyjjeKXRZFfz+JoUtLOin2jlyON1NNLfZpXKklabXT9Qz4h MaNllctTZEsn0wvpPTry/ZqGZ9lmqN5wo5lrG77pKcksyzJst3nV5pkWRVl9E+dzTSwM9ILejXyl 6OqkrNQONpsIKco8TSavkzSVv4grLT5OC+0qomskGo/jrHLlw9PlnHZd/Z2uNaO+WujP4lDJzYPm z/S+5TUrnkkq0nmRNNOuB3roWuqJO+vK4mK0fnnxdOp1xBO293OeVPRBkSbzgS5ftN4ZcRy+ziby Mq6iJFXL9OA0U7tRn93VaihPg2r1Kp+8FW98RP/S4aHPLpJslhc3unZNnwMDvfxpGRWxrqXfZXSE Q9NxxAeH/MVxfYt+KdprRu012XJ+nJOMpq5F2ZiedaBXzeJxpT53xvl8EVUn2XBBF7EplRZH53z1 h6hY1IewooP/Jh/OokV825FU28o3qN6GeENpWQ2rt2kslifx9FRd1rR0Rm8zpTN3oF/mL74/q0/Z zSbpVWqKM3UeFSfyuo3SC/owT3WNtjmPRsObWgbx1iv1QRpHJ9mr4lK+0zSqkmzzq7hI6KP4dJmN SVn1Buu9KOmZTDp8unYZF+L7gk4r+f46h3p9IqlzrFo153tnK/mqWvV2EU+jMV1fv5lnL9KqvnSi rRVxpFaMy60V43IjB+kkJa31kJpepdZGGnn4aeehjxCl1sfe6COvFehD548QpdbH2ehj2vRBLs5+ nEBClVogtyVQYAXy4wECCVVqgbyNQJYV0AmEM4guMaFKLZDfEsh3bPGlgkssFarUAgUbgYQ6DgQ6 ojNIqFILFLYE8lwfH9J0O3mVClXUHVHr1lLeRsfZ5DQqou07S7rqqhN5pxlnL34c1rdW9Ai6Id/c eS/LeLgQyKXQRN2ai/t9+dR34xox4Xu4ZtX3dQ1/iWd5VFyzA9dxfHI1CE9N03Ls0FW70OCa4xme X+OaEzq27dUyPBqtWbo8i0FroDXQ2uaDHLTW0CxorfYH7qB90FpjoNwhEGiNEQi0xggEWmMEAq0x AoHWGIEOjNYoovUerUkjvxUt2y+teWZgu3V8r0Vrtuur4JrruA5orQnARUeIrckQoYTrlgGyCZzV US3E1mT4FbE1KUP8sbFH0BporRPVvm/wGrTG3CmB1hiBQGuMQKA1RiDQGiPQR9OaNkmKqsmwpOjZ rqJs7i3cVifbrbMc98ptlunZjlmjY4vb1lE2cBtyIpv8SRnyQE4kciL3nzMKbgO3gdtELvhWjvXO srLBbcxNJbiNEQjcxggEbmME+mhuU0mPu6I1SjTcjrK5df3YE9GabwSO59+dEwlaA62B1mRQ8THv lURFX53cLsCkLu5DTiRyIrfuzu9I+UNOJHMjgCgbIxBojREItMYIBFpjBAKtMQIdGK1RoqGitZMk izW3aX1yd/Ga7ABxTq6iaKSgyHGNdRTzy1pNSugej2014nue61H3FdFaxfQC36wDe+uomuu6HvWu EN1ZbCpyU694R+FaSu9BVp7d0WYky0WPEZkTtYP+H6JFxldROVM9ISa0pBCzyJd1+w+kKyJdEa1A 6mt2f61SEPZC2Athr8e0cgBSzF0eQIoRCCDFCASQYgQ6MJCi/httkKrDTWs0ej8/cecgFTgB0Zxo AuLZJrVlVDQCkEJPxSbsgp6Kqj6uibggItUPCgCpfn0QkWK+oxGRYgQCSDECAaQYgQBSjEAAKUag AwMpCga1QUr2Kuxt0LFzkLK9kPrwi4iUb9meUcfEAFIAKYAUmtOLrv737X8AkAJIISKFiFQ90uYp 5ocApJjbYIAUIxBAihHowECKUuner8SqW8P3xKV2PEzMct3QpylbMjBl0KQ1yvaTGXgNT9F0lcCq 569R1MozLCbL737DxNqzvL5+9dp83WQtdvORMA4sLzAOTMM4MMq1fQ7j0kBcIC4QF4gLxHW4Iy1B XAxQgLgYgQ6NuOjmqR27chTp9MDWbmNXtuWbYaiqqUw7sFyaE9xhLTewHL9mrd1XU5mh4d42PLeN YKKXO836U2VcHQRD2ZSYtoxugY/WqwvZfv1IAGTq1wfZfsy3MbL9GIGQ7ccIhCAVIxCQiREIyMQI dGjIRJl2bWSqh2HtE5ns0KzrpoLAdMyt8JTr+15Ac54fpwEFkCkbLsailYjoDCc6apyvBAZpYnGg VxQkfJNLSL6tr4faFsgEZErpXFndHtl9TA8cyARkQpTpMa8wIBNzPwdkYgQCMjECAZkYgQ4NmYhG 2shUN3rYJzKZVBalKqQc0/GdrVYTbmBY9Dcgk0PxN636LisHumxzrWuF/CU05ZpRe022nB/ndBtL IcQoG8/ygu5om0Uk5iExT5wYSMyj6ymOTrJXxaW8UlJx67n59TnogygT822MKBMjEJCJEQjIxAgE ZGIEAjIxAh0aMjldZJJO8R6bStiWF5oW3cGJphIhFURRkh4S86LFQC9/WkZFrGtpG4yATMSHdKtb VASEz/+WF4l5/VEURJn69QEyMd/GQCZGICATIxCQiREIyMQIBGRiBDo0ZKKWDe0oU11JtLcoE7WC cEOPhgmLhuZ2YHt+3Qmw6Rvh2J4d0M0xEvMQZRroMqQGZPItwY1RepEN9FTXqN35eTQa3nx2+gCZ gExIzENiHto/oP0D1RGo8gI1/OPTSSUBMn1iyES00kImp47x7BOZTNNXUSYzCFzLqBtQrJHJNWje rkIm35Ujqmhk766G6aKWCbVM9FErCEQUc3Wae5TjWTyPj9Mn/D5GlKkfCYBM/fogysR8GyPKxAiE KBMjEKJMjECIMjECAZkYgQ4tykSdF9rIVM9a2icyraNMFtUy2d42MlmeH6BjXl2xhMQ8JOapUjZE mdKrFMgEZEKUCVGmJ3S1gEzMDS+QiREIyMQIdGjIFHSRSYZx9ljL1E7Ms0LPdfx6D9ZRJstxXYpC ITEPiXmfXeIZokz9SABk6tcHUSbm2xhRJkYgRJkYgYBMjEBAJkYgIBMj0KEhEwVwWlEmey9RJm2a Jotvm9zTfDrVVtT8waN24mGdonfrhCbPDVwqvRLw1IxJeuwEvW5u1uhCZcumy/kP+US7iqgHQeC2 hjY1m8u+250sL4xwwggn2ZJNqzq2eFrV3U6irRVxpFaMy60V47IeEaZytuWpRgEX0FU/PYCu+vUB XTFf3KArRiDQFSMQ6IoRCHTFCAS6YgQ6MLqyKBeoTVd7CUjdRVeeb1Pn8Tvb7LXo6mnm3x5j/m20 iDHM6QmGFQGe+uEA8NSvD+CJ+V4GPDECAZ4YgQBPjECAJ0YgwBMj0KHBE8WC2vC0l/m3d8GTYZiU XCga7gWBH7hbpVAuoZVB60VoyjQC0w9kHG2HHSRC13LZ3gGIT2FeLnpMfJodjYBYQKxOZPi+AWAg FnN7A8RiBAJiMQIBsRiBgFiMQIeGWBQQaiPWXublsohF3SYMy6gHUTWlU23Ect3QceR6ENZ1gVlR YhAUGnsjiNVPECCsfn0QxGK+vEFYjEAgLEYgEBYjEAiLEQiExQh0aIRldwlr3+N1qarKCUya8Ssi UzbVT3nb43VboSsnDD1bzpICV4GrTuSAXXAVuKqfG8BV/fqAq5ivbHAVIxC4ihEIXMUIBK5iBAJX MQIdGlcR0rQjV3ufwUvdKmxf1VNRSqBlbs/gdb3ACAn+REqga5uGK2Nr4CpwFbiKrgJ0rJhGzCcu uApchYxAtFBHC/XDnZwIrmK+xMBVjECHxlXUYK/FVdb++gH+/pZ+gC3Cen9kr9vqWOHaBgW66sZo u2oKiJorSqvLxrO8GOhVs3hc0W+UbzfO54uoOsFcXzptUXOFmitNdnc8yV4Vl+KDTJtF2UWSXZwu s3HVfLKpjo1aeUN/CGgWtHYZF9kBnz+IXDFf3ohcMQIhcsUIhMgVIxAIixEIhMUIdGiE5XUJay89 Ab/8bXTU6rPecBVVWtlWw3jrSivPtsK6mYXruIYr9xCRK0SuELlC5KoTkbijFz0iV4hcdc4T9LIY 6L+ZZy92Nu0BXMXc9IGrGIHAVYxA4CpGoEPjKr/LVbKOaZ/Dfz3fcmngr6q08sOAZll9IbhrzVW+ FVBfwLpJoG3YhizFAlgBrABWAKvODTPASt4v35cbELBivrMRsGIEAlgxAgGsGIEAVoxAACtGoEMD K2KWdkqgWw8mfXM1XJwWgnDKxUk+viy1LD8WaS/xcEaDjM7phkYkvhAD0c3duNmalrPWA08LbXRN w3Rp02hZ5bLFeZO/d0vA6vYWFh6VV9EcY9l93fVd20MPi7y40TWAFcAKYAWwOoo/dro0wIr5zgZY MQIBrBiBAFaMQAArRiCAFSPQoYEVMUsbrOqhUmtUehSwkt3Xb6m1ancJtFyn7qexjl1RX0AxAEsg lhN6YQDCAmEV2jwqQFggLBAWCEv4gLIETqs6p8POUt5AWMzdDQiLEQiExQgEwmIEAmExAh0YYdlU Y90mrL2MEO7WWm24KvCpoURd7bXhKpd6sjc5gYFvAKyo3QRCVwArCiwDrDp30sgJRE5gvOkaCbBK k8nrJE0fnTwBVsxdH8CKEQhgxQgEsGIEOjSwog5XCqzOBcq8ylea1R1tpVUr+mvT+Wo7Q/BlUeTX szialDtKEXR8z6Ju6xSeCtwwcLfCV37gOk1LC8tw7JAJXxXxuJKpiNHVSVmpDMZFUVbfxPlcfN1k ufjikdVdaaZdD/R1q8DWmnlSxYWWJnPaJ0P8p/Imxbv+OpvIB1dRkqplca+byVvesk6qrFbDhXgt oePkrVga0b+UL3kVF9RRDJhEUgCTgEnlVsABmARMAiatmsT7MgcmiS/PcjyL5/Fxim7qh9uvFpjE UAAwiRHobkyiu+rN7SLdN57JLtY0hkb+m2STOKO7aooX3XPg6TTPqpfpBbXxHUVlrH9IG+BUNM2W n0mL8em40q4i2glzjQgSBTZbvIqn29tKkqDNysV4s/bltOrZrl47WtIn4PlKwsdoObxZL76mt7H+ 5U2exTWfjDb8o2q96IYzOipIzMvlPJnnf0oEwNG7zi4Gepy9+HEoFKxO5O+X+Yvvz3TV75jen67R xvRzOdAzegVaURXJJVV+ZflQLlEcLFo0K7O8mEdpchN/Kx8k1E2TjLamZ5gkRUWoR0vlvDpO44jk NySwCYhq8VmNVSRV+2vww74L4umUMFC9//dzW9797ed3f/3Lu5//Ts2/vV9/+eXdP/6sa4ukGs9e R/Mkpb2T+ZKzqChjOrFemOvQX7sW48HPMm7f9p4n87jU3sTX2lk+j7K+/WhOHTqCQqjqy1dvq1gT oRY6e+inOryHdYzjglrO00mGY01n/8cc6+F1Mp5tHes4m5xGRXSGK/rB12KnuuqBz0KX3uZIyCuR zB9xVa7dn2UZDxdn9IlEn8xyhbCHaKGULpH6uamspSRyOqLJZKDbNKRw26qrrag603yvVp1JgxM9 GkIvrTqq1XW2uiR5oWuHdUYErLrRdxk5pI7rW/Rdly3nx7m4VWhmcWAsh/zO/9TGKmCgPH2PiXaY sOpg1cGqg1X3IDx71GIDZDQwRgusOkYgWHWMQDuz6sZVQY5QPD2PRkOarBWajiO8pqJS1l4cbYZy wayDWfcpm3Vn8UVSUlYJPByZlXNgruwjejiU2rTl4ZiyefS6sdpePRzbdwLXJF+JXG7ftm2/7rXd VLV4Ls1mpV0W3QJoMKsbMpNZkW4lp6xitOqnMxoTHg48nEXLu0Cn6h1PuEG5P8NPqEphBIKHwwgE D4cRCB4OIxA8HJmEtU7iarJrKDHrMBKuRjJanMhUqWWTWYW0qwcmaRBt7yrt6uzlD7s1cehIk+mJ I015NDtIsLvVyomOZKrNPTNJP9SepqPXZ0/TatFbP8kuTpfZWKaqiiy9zzeXFB9tB5pR+kM8z4u3 +HQ73PThWz/d6I87SDZ03jeqg868kP0a1Y4T2CIBkoxoKzA9q3HNG6faDn3Dp/XCqUa2IbINZVLJ Jl7c/cY1kW34DPXBsPp+Jx+jPxgTBE41IxCcakYgONWMQHCqGYHgVDMC7cypTpFrKOpGo10VBlNr JNiWwsnbhW25Q4P6qz/6R8a/7MrFwVFuGj8/ljm9G/uGCi+38wzrHX+KWlHLpObYFpU7KvsmoHJR 5SU19o1jUqZhnWgI+wb2zTO0J5Bo2G9PwL7p1wf2DUMGsG8YgWDfMALBvmEEgn3DCAT7hhEI9g2l FB5imiHAfodgD/tGGGHrFupkaah2fs+red8jZt9479s3dWnmU9g3tmM5vqNafVmWbxpOPeF6bd/Y nm1RxhCyb2jetgb7BvZNf/uKZ6gP7BvYN50pd/ctpIV9w6AT7BtGINg3jECwbxiBYN8wAsG+gX3z /MF+p/aN6R4FSL/5zNp8+e/7N+7TVU9ZphdS1ZRKv7F8y/PqvvFr/8YxfZ/2Gf4N/BvVWLJKMlRP 3dl+FP7NZ+dvIf2GQQP4N4xA8G8YgeDfMALBv2EEgn/DCAT/Bv4N/Ju7pzs2fd/WUxW/+iP8m0Md nvmI+TfB+/5NnfLy1Pk3pk9Uam2XTwVGSJ4O/BuaGIL8mw+aXYxZe8/L30L+DfJvkH8TkW+tVR0d 0qouNW4XbIuhlfdNUIJ/w8Al/BtGIPg3jEDwbxiB4N/Av4F/cy//xrKPTA8JOJ9ZAg4VK233v6k9 k6cwcCzTtT1LtS8WBo5l10P/1gk4LtVPof+NHPkKAwcGDjf/Fwk4SMCJihMaimP7pic6D0bpRTbQ P7ip4zM8gZCAw8ATDBxGIBg4jEAwcBiBYOAwAsHAgYEDAwcGTioa5JTjWTyPj9NCu4rSgV6tTBGq orSWTp+c+HOcPyXyOLYNHOvpKqioA45vuNThhhoYmxYxB1VT0aGiZt+rShuvBrpr2rZJXXtQQYUM HFRQRSMYONpcGhTS0oQ/kV6lqKBi2AAGDiMQDBxGIBg4jEAwcBiBYOAwAsHAgYEDA+deBo5tHlkO MnA+rwwch9rNbBs4tWfyNBk4jueFxGHSwDFpAlXdj6cxcBzP90Jk4CADp7gkiw8ZODBwYOAcqSJB GZKAgRNPI4YNYOAwAsHAYQSCgcMIBAOHEQgGDiMQDBwYODBwYOAgA0emIC3kpK6r4eK0EEvkzZwW WjIZ6A6VK20bOHXb4KcwcEzfpr43qoexTc2MQ397BpXhmF7dw9gMA9+UJVaUTLWaFnPx1hZFWX0T 53NNLAz0gtoa6eLv0dWJtOZo02YTqUn+OklTmeSTZto11Vu4lisfsJ5rFh3NkyoutDSZD3QaoEf/ qaygWRxNvs4m8sFVlKRqmV5AjEET+V212tVqKPWvVq/yyVvxqiP6lw7AVVzQLs7y4kbXrotoMdDL n5ZREZMv8V1W1rUfulbJXxzXt8jZKtprMIPqGVZ4YIR4f48X9MDp1wcZOAwbwMBhBIKBwwgEA4cR CAYOIxAMHEagnRk446rQNQpxnPPpytM8q17KCuNRVIq7cNForL+BYJoNF2NxS9+2W8w1JEgY2Gzx Kp5ub9v0oqXHb9a+nFY929VrR0uqKTlfSfwYLYc368XX9DbWv7zJs7gmlNGGgBQGShakJrja5XKe zPM/JXVMNLsY6HH24sehKLiuTiLx+2X+4vszXStvaBtBQNpIbkwPoeXlQM/odWh1VSSXdHuS5UO5 RKUSAmvUyiwv5lGa3MTfygcJjdMko63pGSZJUVHQnpbKeXWcxhGVeRuSw9RM6TWN1Xi1VT2zixqb //r3//PuH3/Wfv3Pf/uv//s3Xet4Jy7t2HgWFWVMwPbCtG6bIv6Ax4/LVhu782Qel9qb+Fo7y+dR trUHJjWrXe9Bc9KsGxifGQI46aShn/KoxtnkNCqis/sfXDking4uvWMc3HWPwXsfXDoQm2Mgjwt5 AOIYrU2AZRkPF2fkT9DlKVcIl4AWSmkWqJ/ZbZYN5a9sWTZ1n5mncGzs0HItcmFUyo3rGd6WY2Pb rhG4qmYKjg0cmw/4UkXX4v6bjk9NHzg2cGzW36QPacoLx4ahJTg2jEBwbBiB4NgwAsGxYQSCY9N1 gRpIJ2fnyR0bsmyeFc6/+9vP7/76l3c//90yDO/XX34h46bPL7nDsXnws+zMt/nRkegvuf8jfRsc 4ttMuQce4kd0b6i9zJZ7Ezxhx5vQ9GyaMyXdG9+1AqPemaZgynYoI6fueAP3Bu4N3JvPriUv3Bu4 N3BvMHOqv3+h/GJoRTOFzbezoVxwbxj2hnvDCAT3hhEI7g3cGypbQM1UJ++nP+vmRxvuzWfW74YS Wbbcm9p1eprcG8NxHUoMo8w5ywodi0qXZK7f2r1xXd+Fe4N2N2h380EJwM/Q3YJ7A/cG7g3cG7g3 NNKBouCyriJPk4mo+5a/fNB4jke1t+DeMOYE3BtGILg3cG/g3tyvZupHC+7NZ+bekBWy5d54T5l7 Y/hGSL1shHsT2AENn9pyb6wwtKk/j5g2hdwb5N48Q3cCvW763Qm4N/36oNcNAwaonGIEQuUUIxBy bxiB4N4wAsG9YQSCewP3Bu7NPd0bE+7NZ+bekFWy5d7U6S5PkXtjelQt5deVU5bthNS1uJN747mu Q+On4N44mBWOUVN8871n6G7BvYF7g9wb5N4g9wa5N9Q31JTJR59a8za4N3BvrqJUNIRVjUo/qU7F onHvM2pj+8B2JtSLNmrV5j74WXbW9+bM+ONu54WbBo507T/s4Eg/YvsbqlbaMnHqfsFPY+LQtHBX peCYNBnc8a0tE8fwyMeBiWPCxJHt7p+hSYEUnH6TAiZOvz5IwWH4ACk4jEBIwWEEQgoOIxBScBiB YOIwAiEF53BTcID2TWHIDtCehj/vbujUHy37yPT+ZWeZODjSOzzSj2ji0LinLRPHVr7Jk5g4vmE6 FpV2iToq23INe6sLjhvQhCp0wUEXHHTBQRecVPgV2jwqTjaNnCM58zP90DGhz9AEhInD8AFMHEYg mDiMQDBxGIFg4jACwcRhBIKJAxMHdVT3q6OiTBzTPQrg4Zx8XtVUIl1qy8Opc1+exsOh9BtDTRG3 gpDmUNWGUtPJmBwcw0AiDjwceDjwcODhqExsVUogh0emV1IU0dCUFoVbUXtcpu2bnpj+CZMLHg7D T/BwGIHg4TACwcNhBIKHwwgEDwceDjyce3s4/pEBC+dZWjjjVTZcyMFsV8di8VTOiSeThm7xk8lA d83GyHn3739596//pr37f//x6///D7FEHo9sSUMb1w9V3JA1v8r5B/UzrqbFXCtyqlN2HUP8J6uV 8+lUW4npUrZpmTS6XOTYmL4VWHXVVuPPWE7gOJR4I9vd2GEoXpgSkMSTihdZFGX1TZzPNbEw0NMk i+XTR1fqmNGmzSYSYeQngPjLV1E502T56YSW6mdNaTU9oqz3vKzeprF62Fk8JVFoh1Wtddmd7RCN x3FWyT499PA0o63Fw6Y0CWL9wHpCRN8D6+3FQ+PpNB5X93nw+hHylfNs8+B5kuWFVGVrt6tVs8tT tb169+pd0xtZnyFlfZ7ccpJQG2nl9p2Q9FqTIVVbfWJXysVJPr4stSw/nkXZRTycRYv4nLpXCC3V wVxvTa+ZXTUvIo6CNrr+IZ/QptGyyuVbkGfTNE0W3zbHojmTPD/0TOJRcSY5phU0J2lzJrme7cmx e7SB7ctx9PR6DzyRslyM+ZAXQZpp17QvVO/HDwEZXajzJ13O6X2p8492lK4JpcT6AKkj0R4nUuTL bCJfcBZHk6/r5SpKUrUsT7zO6Vut1PVdrV7lk7fiWIzoXxL1Ki7oWpnlxY2uXRfRYqCXPy2jIta1 9LusrNNXdK2Svziub5GqRXsNWmY/w1Qd1Ov116OhXq9fH7v+1oRNOC7rj/OujwqbkEF02ISMQLAJ GYFgEzICwSZkBLrbJoyzyWlURGd0A50SyAz0y/zF92ci/lWdyN/j7MWPw/qTn4CJbsg3d97LMh4u zgjp1H2+ujWnLRRZ9fAVNYJt81V3rNCe+YqGCqmZ0GYQOMH2TGiaCG2KahkxVcin3ifqne6Mryz/ A4Ysgq/GDRYLk+N89YeoWNTeSEUg/CaX+H2bRaK2laetwkRxcqVlNWxMELqZOVUeUd1prn0VqIO9 2YRuAgVP1LFiRIlrPaSmV6lAiVoaidfQh/QBX4Gv0NQWTW3R1BZNbcmeRlNbsuPFp8FJ9qrOTRXx kyS7OF1m409WoEPjKwo9tvjKkvFFiny9aYWhHid+9fvmFF/HrwJqJlC3jLT9MAi35n5Q/MoKib/k 1FbDpv8/Mhj6XgwrdInpJFO2A0/rmJQKVwGxgFjWB6D4Jrhcts8m+ZHWahn8m3n2Iq2EWbDVS1is iCO1otNZRqy4w2FHCKsfIYBY/foghMW4owhhMQIhhMUIhBAWIxBCWIxACGExAh0aYlHyZgux7G5b fokb+0sRtFx/jViOSDxVN56rShtTcielugVBg1hu4PmWLF3eYZogEIsCptmYcg8HetUsHlf0G8VA xvl8EVUnlIsMxAJifZoGIBALiIUoFqJYiGIhivXJBmmAWJ8YYlHanUKs31FJm+Z0Gy7dhlgviyK/ FoVEVO7z0DIs8bx18Mq27MA0qGCQcv9M2/UCY2veGaU5NZ2yXSrOYrID45QKvMreSr5OUGErRKXK 8Rp062xZF2t9UDLhHREMFGKJpEIkCmaIYhHDr0tIu5fZY94AArGAWECsx7zCEMVi7v8QxWIEQhSL EQiIxQh0aFEsChu1EatOzutJFNw9YoWiBEoiVuASY23lBwKxiEc3FXfoddGUa6EWiwK43VJ8JAr2 IwQQq18fJAoy395IFGQEAmIxAgGxGIGAWIxAQCxGoENDLMq8ayPWpsnksG4ttd1LcOeI5Ri2XQ8L sQPfCepysKaFIBALiCWbvqDdxTRiPlyAWP0IAcTq1weIxVxgQCxGICAWIxAQixEIiMUIBMRiBDo0 xCK4aSEWsY6sf9prFIu4SiUKWqHtUtPAbgkWEAuIBcTaSi1Euwv9Ie1AgFhALCQKIlEQtVioxUIt lij0QUfBR+/Y7lGKXguxHL5j+46jWJbnUhBLjVQTtViOtTXyHogFxAJiAbHoKoijLRnu23ERiAXE AmIBsYBYQCwgFhBrL0OxvPVkatXuog4h7S+KRYjlhCGN5hLtLgI3sO06VxGJghKtMHe4mQ6HREEk CgKxHrXpPxIFmRwUJAoyAiFRkBEIiYKMQEgUZARCoiAj0IElCnpWN4rFN23ffRSLBl4pxKLmgr5p ot2FGBetJvCq+dFodyEGcAOxgFhALCBW+oQxCCAWc3sDxGIEAmIxAgGxGIGAWIxAh4ZYBDftRME6 S2+/USyDxnGJKBbVYgWWtTUOC4mCSBREouAWW6AWC7VYG+De2ehqRLGYb28gFiMQEIsRCIjFCATE YgQCYjECHRpirUcPn4vMvFf5SrO6XQU10TCcJv+qYaOP3F/QsQ0rJMhSwEXRra3CLNO0af4wrR8L IvNcSxWP3T1+uIjHlS7GcEVXJ2WlAiGLoqy+ifO5+HOWv07SVLb4UIOv1uOHW2vmSRUXWprMB3pg iP9UQw4xHOzrbCIfXEVJqpZpX9JMzn5CKCqenp2ScFF2gWy/o3EJTqIrDgVV9AHxmOUw4CTmKxic xAgETmIEAicxAoGTGIHASYxAd3MSJXhp86g4GejUR4IWzuQCjfCR/ybZJM6ozo7WRelFNtDHVaFr NNvmPBoNbwZ6aDqOmBFVVGr7ODrJXhWXsi5tmmfVS/mgUUSzdT+kFUiaDRdjNT54fDquNBouTE+1 hgQJA5stXsXT7W0lS9Bm5WK8WftyWvVsV68dLY/T4nwl8WO0HN6sF1/T21j/8ibP4ppQRhsCUjly hXiRguS8XM6Tef6nRKqgbtfj7MWPQ6FhddK6fddKktCUAo7kxpOkqAjFSNByXh2ncUSKGxK4tu9x 3v3t53d//cu7n/9uGYb36y+/vPvHn3VtkVTj2etonqT0JCZ1tx/PoqKM6fi9qEcgb90wPvhZOnff 58k8LrU38bV2ls+jrG8/muNDMgm1qi+DUVJpYn5yWf6WjhsdKPop18XZ5DQqIoE8DxSUZKRjQD+X Az2jA0eqVkVySQX0WT6US6RQtGhWZnkxj9LkJv5WPkictGmS0db0DD0Hhui0Bb7yFJVnW54mE0HD 8pfxLJ7HdIKpM/qOIbbxdEp8rU6r9+9qH3ysOojwwGeht7U5HvIYqYHMm/FnyzIeLs5o/+nyEAdy JWryaKGkf5qf2dWwzieloDMd12Qy0L31KPGDsEws1/FMh2bv0RVEholpBd12oUFALknjmNi+bcla UHqfq2khLZDGDtHEwkCHY5KNZ3lxXBXyOhrn80VUnYiPefGBJ04NodP5Soz4riWryDp7kw9n0eLW gexqW3luqZF74knSshpWb9NYLNO306n6eFEz2OCYqFO485kt2lsisozIMiLLssxDfFG1v7C3b7fE 5bKz0DscE4ZW4JgwAsExYQSCY8IIBMeEEQiOiXRR1i5MQ+7krDy5Y0KOkK59ro7J/3ppHr00tIFm GP97Z5ZJoygsE+nuHbZlYooyZZXJLwwXMhTTWPP2ns5v+oZn2mq0ih365Iz4Xa/EtQ3fJHtHZpdY lmG7zb32A82Szi162fXUhIeYVa4yS5fzH/KJ8trIH20yTNLl/HfTqfqzzDwRuyvu/JtnUr91OCDT rsnldsnmkTZWe11ZXIzWlp70qNefke3NkO7SShSCefO+sbtTtsQUzP7+uOgf3K8P0l0YLoB5wwgE 84YRCOYNIxDMG0YgmDeMQHebN5sodicsuMnMUJkaCgx2FeM2RdHze8Bm1WG5N+uo+COXA9iB51s0 /1LEth3DMcLtegDHMzy/BjYndGxbzpJ5eHCb5zULvEaJUd9lZZ1KpWuV/IUq4S3yYor2mlF7Tbac H+ciOYqSimSEfaBXzSKC7Sqxihhf1y7jgpKoTLIBbiH4Bvx703IeNRYIXuvnEfBavz7gNeZWALzG CAReYwQCrzECgdcYgcBrjEAHx2vrOu5WgK3uB7y/flkdXnNtJwi3WxJ7FFOjXGURYHMd1wGvbYJ9 KCfPJ29VGjSSo3eXuwle6+cR8Fq/PuA15lYAvMYIBF5jBAKvMQKB1xiBwGuMQB/Na5uC2l1H2tbl pC1yk3l50dHTkJtr+GHohN3UyHakDeSGRmBNCSzKWrOttl47q7oDufWTCcitXx+QG3NTAHJjBAK5 MQKB3BiBQG6MQCA3RqCPJrdd8xqFr7YzI90alp6I1zzLNQzZ1oeaHlEX5zG1awavUWMdVLKhkq2T 0ovMyP6Gbo+qD3gNvPZ2EW8aOMVRXVDwgZ3RwWvMvRJ4jREIvMYIBF5jBAKvMQIdHK9RV2HFayfU G1dz6/aoPagmG3me0zeVKFZS9LjemkrLNj1hS9GKenRNnTto02hZ5bJgp2kVklPnDjE3x/dDW/SM FSmPhmjGutWg1XFd16OqKJETafty5d0FbKK/r3yVe8+z6dwHf2AnENHp9KuonKlqowktqS/sIl/W c2+QtIikxc0NHUJfmw7aQKknRE2EvphvaaAUIxBQihEIKMUIBJRiBAJKMQIdHEqFXZSquyeu4Uj0 Xz3Jx5elluXHM+ryGO8apQIab0GdSUQ7ENfxfa/Ok1wHvYBSOs2uuNG160KMiSl/WkaFGGTU7sqB fh13T4CSN+2bgVDiHE6yi9NlNqbJKGr6Rz2iQw5CQr+OT18fRKUQlUJU6jEH0gKlmPs8oBQjEFCK EQgoxQh0aCjlUKO3dlRK9i3sLfjaNUr5HrXnUFEpzzFMp94DoBT1oNCu4oJu+IFSJMV61K4ap5t+ 6DBdoFT/sOFnqA9QCigFlAJKPWHgFyjF3AgDpRiBgFKMQAeHUpQ7915BVl0N1ROaelkU+bVIX6NO 5jtI87Oo/7lrWRKo7DAwqYlGt4EGxQoCi4Crni3mGWpQ+92pftwg9rsT+r5+9dp83bynzmYppoNh tDtBHaJX9KHxHKJ7QC4gF5ALyAXkOtyJKUAuhiiAXIxAB4dcxDnt6JVT1/HePRhst9Erm7IA/VDV VDlWGBqqbGrT/cINLNrgsWqqzNBwbxvO9GHjlVE89YeoUIPqRiieQvFUXWLZ9Ske844OzARmAjM9 5hWGjD/mhg5hKkYgMBMjEJiJEejgmMnuMpO9f2byfLMunvJDP6Q5XNTcosVMVE8V0E4+Th8KMFM2 XIybIiLRWON8JThIE4s0CpnyLt/kkpJva++htkWvdfRapwna1er22O5j3tGBmcBMYKbHvMLATMwN HZiJEQjMxAgEZmIEOjhmIlxpx5ms/TOTY4p5xaJ3n21T84mthhNuYFgOBcPATKKgDZ0l0FmCGrP4 lkEnA8rFwExgJjATmAm5ecjN+2TbR4GZPjVmcrvMJL3iPXaWoNw8MzSp6bpgpsD3bHs7zoTcvIxq zkKTYAHMJGUgHYqKIhv0bxxt2u89wxYJmOnbzwRgpn590Nic+TpGY3NGIMSZGIEQZ2IEQpyJEQjM xAh0cHEmKiVqx5nqKE9P94jd1jNZli1ISTKTYxuGRXl6ndw8x/Zsij0hzgRmuvns2sqBmfqZAMzU rw+Yifk6BjMxAoGZGIHATIxAYCZGIDATI9DBMROlxbWYyQn3nJtHzGSHnoozOYFh+pSH12UmasEn 5u6K3DxfFTvd3Wzv3nN1Uc+Eeiaq5hKpbqKIrtO9oBzP4nl8nD5h4geYqZ8JwEz9+oCZmK9jMBMj EJiJEQjMxAgEZmIEAjMxAh0cMxGutJkp2D8zreNMVM9khMY2M1meL6ZCoZ4JuXmIM0XFiRg0jXom 8k3SqxTMBGZCPRPqmZ7Q1gIzMXe8YCZGIDATI9DBMRPhSJuZ6mqiJ8nNc4PAMsx6ttR6Uq7luC6N kwEzgZnATGCmeHp2WshWjWCmTXf7cSm8LgLJSUcfxJmYr2PEmRiBEGdiBAIzMQKBmRiBwEyMQIfG TDSdqM1M9l7iTNo0TRbfNh2u8+lUWw10ywsNJ6iz9G6d1OS5gUstKwQ9ybKrPeToddOzRhemTOFK l/Mf8ol2FVEjgsA1KLFL3bCss7nk7Usn0QujnDDKSTap0KqOMZ5WdSpqtLUijuqIb7m14o7bY6Tx 9YdcEJLq1wd4xXxzA68YgYBXjEDAK0Yg4BUjEPCKEejg8IqiPa2QVNPg7nFDUnfgVRC6FkXI7my2 18IrW03JBWBp10W0GOjlT8uoiHUt/Q79+OLpeTQaorfEHPGrTnwGgAXA6lgb93UwAFjMzQ0AixEI gMUIBMBiBAJgMQIdHGDRSKU2YO1lVu5dgEX9zCk+RYBFXSYcO9yqmHJ92zIoviXiV6YRmD4Fu1Tc aDUt5qI1gBjw+k2cz+tJr/fuNEGA57I9BhDEwmxd9KJQgVyVYaaVRLNmIEZRXcZFdsC9OsBYYCww FuqqUFd1uP2UwFgMQoCxGIEOjrG6s3Xtfc+JsjxqRWFSJE2QlU0tz43tOVEtsnLC0LM9gFVxoyN4 Jboy0F09BswiO7AfHABW/fogO5D5zkbwihEIwStGIASvGIEAVoxAACtGoIMDq+4AXnvvw6So5Mr0 VE6g44eBvz1MyvUCI6RhUyJk5dqm4cqQ1g7TAhGxIjrJxrO8GOhVs3hc0W9ihFc+X0TVCbqnH3BE BmDVDw4Aq359AFbMdzbAihEIYMUIBLBiBAJYMQIBrBiBDg6sulN6rf11tfg93avKFLxWV4s1Yt02 e8ptlV25tuH5cp4vEAuFV4hd0VVAjfGAWP0IAcTq1weIxXx7A7EYgYBYjEBALEYgIBYjEBCLEejg EKs71Nfae7P1VuzKta1QDPDtDPV1PfprXW7lOq6x87m+iF01ASvEriTyf2rVRACrfnAAWPXrA7Bi vrMBVoxAACtGIIAVIxDAihEIYMUIdHBg1Z38a9VY87gtA0X3iXXEKnBtikLJaisr9BxqGtgFK98K RJ921cfCNmg4MMqtUG6lqYZ4KLdCyIqd5QSyAlmhjwX6WKCPBfpYVE3G1Kdmn4KsPjWy6s4Hpl55 kmv2SFatcqtb+1h4VGJFOynJyvVdW8W0kAyIZEAkAyIZsHPHfMcYMJAVyKpznqAL+0D/zTx7sbNB e4hZMbd9iFkxAiFmxQgEsmIEOrSYlUeuf6sLuyVrmKKjxyUr2YX9/XqrVq/A26cI255ZR6+c0AsD 9ArMEbxC8Oq0kEOrEbxC8Gpr4PR9CQJpgcy3N9ICGYGAWIxAQCxGICAWIxAQixHo4BCrO0nY2sug q25a4KYJux96hleHz+JVpY1X1B+w1ciCxlv5BsiK2vqhCzvSAkFW5RZSIHglYxIgqx3HZkBWzF0N yIoRCGTFCASyYgQCWTECHRxZrUcInwuWeZWvNKs74kqrVvTXJk+1XJzk48tSy/LjWZRdxC+LIr+e xdGkFFuoib7ryBdlLWVXw4Vw16Ojkv7VRtc/5BNKUomWVS7bBjTTf9f1V57hWBRQo57rtu97thoT HB01oOUHrtM0trDEnGEmglXE40q+UHR1UlZq/5pJw2Kvsvx1kqYyFTLNtOuBvm5s0VozT6q40NJk PtBpUCr9p3Inxdv+OpvIB1dRkqplkaqVyXCCeMfiNarVcKH+fZVP3oqlEf1LalzFBSUAA5RICoAS nSrI8utkbwGUAErxJiK5syQ2gBJzkwJQYgQCKDECAZQYgQBKjEB3g5LgiPXtIi2cyXlBlLsj/02y SZzRXfX9S/GneVa9TC+ygT6KyljXUlGiepK9Ki4F2mgCd5Ls4nSZjddVe6kYTyRu6MvF+HRcaVcR 7YS5RgSJApstXsXT7W0lSdBm9PjN2pfTqme7eu1oeZwW5ysJH6Pl8Ga9+JrexvqXN3kW13wy2vCP whLJJgWJebmcJ/P8T4l8mym9zYEeZy9+HIrZsdWJ/P0yf/H9ma6VN7QNvT9do43p53KgZ/QKtKIq kkviuiwfyiUq44oWzcosL+ZRmtzE38oHCXXTJKOt6RkmSVER69FSOa+O0zgi+Q0JbAKiWnxWYxVJ lafJRECb1Gg8i+cxKaGkr1YNg3a2iqdTwkD1/onOtkqP3/3t53d//cu7n/9uGYb36y+/vPvHn3Vt kVTj2etonqS0dzJlchYVZUxH/oXZtHuMo5az/+BnGbfjA+fJPC61N/G1dpbPo6xvP5pTh46gUKL6 8tXbKtYEQ9DZQz/V4RWrDucYxwUN96JrCceazv6POdbD62Q82zrWcTY5jYroDFf0g6/FXVzRdOlt joS8Esn8EVcl2WjK/VmW8XBxRp9I9MksVwh7iBZK6RKpnxvfjNw0OqLJhC4cj6YRqkzzjVnXHZu4 V7Puv9n7mt7GzSzrv0JoNS8GBfD7w3jdQJWTShpxqg3L1b0IekFLlM02RSokZatq1UHPItsBJpje NNC73jZmkD+V9o+Y+3yQklg2r+3Illw+CeCiTEqmDimR59xzz6XRHqZLXbpKrIusMOiEJfmR50Q0 5lG09EKsO/1tTiKp6wU2Xe3y+fSgEDcLiJFdu6N6bjkIiJGlK5loMYRYB7EOYt3N/KPLONCS26Fx jwoQxDpGaoFYxwAEsY4BaGNi3aguSRNKJifx6ZC0pshyXaE2lbUS95J4qcdBrhPkAXLdc5XrjpOz tCJfCVQc6cvZMV32MVUcipfuqDiWFk60c+pJVRyHOltEirVUcXw3ou9cZW9qLFe+R90tpDwJFYdm tHoRM6QVlqt8RJ6ug5q0brp2jYrpLK4PRaVIyD1CkBcGtJPFH+JyZohFmiBEWL8rhufxLJEbdMxq alupESrnmHiRrKqH9YcsEct0xTxSZQCtn6jLgqraKJVxuYnucl/W0GJZ9MrueuG9Q11M74UsF5Fj bmBcJCUVdiyqsMj3t1adqe5Uw3lUigAVByrObEW9QG8KelNkRWa11vyo30CwXDEUEyoOAxBUHAYg qDgMQFBxpBGrNXI1DhsyZ+2G6epU1otTSSvmjbsK1qsH2z02Zr06fv3tZmUcOtLEmnCkyUuzAZPd jWIO0XDJxe/nJr2rQE1Hr0+gptXrftLG87h0i7ZfQy/CT4qvth11lX6bTIvyA77ddtdCfOO3G/1y E4ZDMu91pepwbXDI00rVrm9ZNJFRSNVe4NiBGmu/7A52osAMqKMZhkOXrjAwHEKq7q+hf4b4YAZI v5Tv6FACqgKJPlhdBbKcwPJFoQa1IHQHMzIRpGoGIEjVDECQqhmAIFUzAG1Mqr6z66FPzUF3cNsd LN0e0C03o1vSEJlNNQd/8V2wZ/5xUzIOjnKgPXKPpU5vSL+h5syufqP3fBtWQ9uKQkc00yv9xrMj HTXXWA1di7yG2mqIhlHoN5+hPgGrYb8+Af2mHx/oNww1gH7DAAT9hgEI+g0DEPQbBiDoNwxA0G/I VNg6fHbIaAhmv0FmD/1GOOzaIHXSNFSo3wPav3Y4wu8x/TfBp/qNDLxvx0s/sf/GCTxXBX55FPfl hfZ6q6jr+A7Nv4b/hmIL4L+5U4QqWkWXkRbrlmDVK/zc8IF+A/1mbYrDfXtpod8w3An6DQMQ9BsG IOg3DEDQbxiAoN9Av/n8mf1G9RvL2wthwHlpWV9kdukacPTo+O0YcELbDLQBxwoj8uN0BBzXCgIS ndBABQFHxUuyM3Cem0ABA06/QAEBpx8fGHAYbgABhwEIAg4DEAQcBiAIOAxAEHAYgCDgQMCBgHP7 lMfGktVOV/ziOwg4uzpE8zEdOJQ20xVwdD76NgQcx106cFyfctn9bgdVaEY+eU8g4EDAgYDDT5H5 DDvMIOBAwIEDpzPkGyP3MHLvfkPj5ZVhZcD7Rs8gCDiMPgEBhwEIAg4EHAg49xJwbGfP8mHBeWEW nIDUkK6C42wvw9i2fN+leX8iA0coOMJuQxPalhnGrkctVMjAkaNf0UOFHipuDjAUnBeX8QwLDkMO YMFhAIIFhwEIFhwGICg4DEBQcBiAoOBAwYGCAwUnE+z/bkPQX2YKTkD56l0FRwfPbMmDE4Ue7ZNQ cCyPJqdE6wqOZzmORSk58ODAgwMPDjw47ZQlqWliyBKNnoKCw5ADKDgMQFBwGICg4DAAQcFhAIKC wwAEBQcKDhSceyk4jrVnu/DgvDQPDs3k7io4unFpGwqObXmRG1LMjVRwHJpDpQ1B7RwqP/Dpd1Bw kGO8DwUHCg4UHGqxVUFPvxEzJKHgJJOYIQdQcBiAoOAwAEHBYQCCgsMABAWHAQgKDhQcKDhQcODB kSakmZzXdTmcHZViibQZYj7pmDhwQGpIV8GRGUnbmURlBa4d6kniPqUYe1Z3EpXpWr4OMqb12qND 1GUxKafivc3Kqv4qKaaGWNgflJRtNBC/jy8PpThHmzabSFAK0T0uG7Wy3LiilgvP9uQT2vFm8d40 rZPSyNLp/oDm6NF/yhd0nsTjL/OxfHIdp5laFjQql2yq0nDXi6E8APXiTTH+IP7qKf1LR+AyKWkX z4vy48C4KuPZ/qD6fh6XCTUH/TavdPvHwKjlA9cLbPIYlKtrMEn8M+wSQpBxf84LcnD68YEHhyEH UHAYgKDgMABBwWEAgoLDAAQFhwFoYwrOqC4HBtU4Tvhy16TI69fZWb4/OI0rcRcuwsb6x3hm+XA2 Erf0q3qL1ZIESQaWW7xJJt1tm0Baev5y7etJ3bOdXns6P8jKk4WkH6fz4cd28S29jfbBuyJPNEM5 XTIgxQMlGaQkXONiPk2nxZ9SXRTNz/YHSf7q/XBgxFl9GIvHF8Wrb44HRvWRthEMyDiVG9NTaHm+ P8jp79Dqukwv6PYkL4ZyiUrtgtaolXlRTuMs/Zh8LZ8kMM7SnLamVxinZU1Ve1qqpvVBlsR0EEzJ w9Ro6ZaNaXrVST3bRJvNv/7xn9d/+7Pxy//+/V//9dPAWBNPPNqx0XlcVgkRtleW3WR7xCtBYg94 /qhaef5JOk0q411yZRwX0zjv7IEgxe0eNCdNm2J8bIryHZ009FMe1SQfH8VlfHz/gysnxdPBpXeM g9vmLd774NKBWB4DeVxIAxDHqBUB5lUynB2TPkEfT7lCqAS0UEmxQP3Mb9RsaBJ3R7PRnUrbMN04 kROaoi2KPr40Zcr2zY5k4zieGXrKdAPJBpLNHa6qmD3Vf9fx3PCBZAPJpr2UisBVDA/fH2w0eBaS DcMnIdkwAEGyYQCCZMMABMlmXQZqWDpJO1uXbEiz+az4/PVPP17/5YfrH/9qm6b/y88/k3LTJ5jc Itk8+FU2Jty8dyX3l8T/Vwo3OMQ3qXIPPMSPKd+QFtKRb/S07u3IN3Zk2fTlIOQbn7qjXH899cZx A8fUqTeQbyDfQL55cbm8kG8g30C+weQpcqzG2f6gXsgeb1GqKrJ03IxfkheGlXrmRvUtyDcM+YZ8 wwAE+YYBCPIN5BtqXEDb1Jrzp993896BfPPSMm9IC+nIN1p32o58Qy1cLilKJN94tmUGfifyxvG8 wIN8g7FT5YV2d7Ke1ufmLkHDVL88AfmmHx80TDHMAA1TDEBw3zAAQb5hAIJ8wwAE+YYBCPIN5BvI N/drm3pvQ755afINhcd05BtteNmSfBOFEfVzCfkm8NzI9zruGzuKHEpZFjOn4L6B+wbuG7hv4vJw CUIs+9Wzu7a4f4bnD+QbhhlAvmEAgnzDAAT5hgEI8g0DEOQbBiDIN5BvIN/cU76xIN+8NPmGYpA6 8o1WTLYh31i+7/mBbp6yPMv1OiPDfc9zPWTfwH0D982dEvg+Q3kC7hu4b9A8heYpNE8NqM9cZXqu 9Y3dLbvzUbvLIN8w6gTkGwYgyDe7K9+YIr03lYm28yaL+DkHFT8w0oQCaVfjih/8KhvLvjk2v9vs 2HALR/qZROBEn6g4rvK9bEfFoZFTnjLhuH7om5Ye8NSMDfdN0nmg4kDFgYoDFScTfhNjChNOMqHp AjK4DmPDMTZ87d7yIRHPMOEwFBMmHAYgqDgMQFBxGICg4kDFgQnnfiYcUnFsZ8/y/7gxLw5UnOeh 4oQkq3a8ODp8ZisqTmC5tk3jzGUSjmt5NNpcDr5rVBwvpIAcJOFAxYGKAxUHKo6aOqiynqDirA7i FOrFqBIXD4q4XQcIrVQMg4KKwwAEFYcBCCoOAxBUHAYgqDhQcaDi3FvFsby9ECLO4QtrqAqtT0Qc Pb97OyKOY7pi2pQQcUKTplHJURNkXVvUxmihMo5NWHEg4kDEgYgDEecmjQJ5OAw/gIjDAAQRhwEI Ig4DEEQcBiCIOAxAEHEg4kDEubeIE+yZ0HA+Sw1ntMiHMzme7fJALArvfbxHIg11I6RjSgcOKSZY 2XGu//HD9X/83bj+73/+8j//FEsWqTzSC0Ob6ycr5pA3D8VrVfo1F5NyapRFTWqLa4r/BmJtMZkY JMDYtuuaFolGQqExw8jxtVzUKDS2G7quoyUaJ5KBOFRHFS8qXmZWVvVXSTE1xML+IEvzRL58fKmO Gm3abCI2z+R3gPjNF3F1ruaPjmlJV2fFajGHVO95VX/IEvW042RCsNAOW/LlO03m8WiU5HUzxjTL aWvxtEmaZe0Tdav66DyZJgeZbt9ff6LeXjw1mUySUX2fJ7fPkH+5yJdPnqZ5Ud6028vJqxO1vXr3 6l0TDu05Uukz5abThCxS6jQ5JOwNOlLNmdFsXM0Oi9FFZeTFwXmcnyXD83iWnFCGhQBTnTdaG5R/ Pr9cPpHOxdOrb4sxbRrP60K+B3k6TbJ09nVzMJpTyY9s16Q8bnEqOXbkhKHal+ZU8nzHl/P3aAMn kCsffiblhRhUK99rlhtXtC+RMBoK8PviCE7P1AmUzaf0vtQJGHriQ6GQaE8sdShWB+KWxTwfyz94 nsTjL/VyHaeZWqb30jl/64X6iNeLN8X4g9i1U/qXQL1MSvqwnBflx4FxVcaz/UH1/Twuk4GR/Tav dBrwwKjlA9cLbLLmlatrkJz9GUYLYfBZf7QQopf68XH0ZZP694QmppsaLSewfPp+MxAtDqWQYelQ ChmAoBQyAEEpZACCUsgAdLtSmOTjo7iMqU3dyIjI7A8uilffHIsLW30oHyf5q/dDfSNPjIluyJd3 3vMqGc6OidOp+3x1a05bKGrVR7AoSWSVYK2PF5J848kIVugEAVFx4k9uaFpOdzg0jRyybN0SE3iy 62iTBMsO7pD3BoI1anixkDlOFn+Iy5lWR2piwu8Kyb8lUe2IJGpbed4qnihOrqyqh40MQub1I6UT 6ZnOqx8DdV4vN6G7QEEo9F0g7v80HhLTy0xwCQ2N5NfAh/ABwQLBQrYtsm2RbYtsW9KnlVKubzWq j/SLUOhIF0mZ0/Kuhv+CYD03gkWMZoVg2XrmRluTEhztcSpYv2/O8WUFi0a26uRIm5aafVmpYNkR jSyR41tNh/7/lfXQT6pYkWd7KGKNqDS2P6iJ2udi8aCmR/TNMyqms7g+pGo5ONaufv2iiNXPIcCx +vFBEYu5fKOIxQCEIhYDEIpYDEAoYjEAgWMxAO1cEYuqQiscy1mP53/iIpbnBC3HMgOvYzglt1tI zkHFsbzQD2y5wQYLWeBYDbECx5Jc+7lJXOBY/RwCHKsfH3As5vINjsUABI7FAASOxQAEjsUABI7F ALRzHItanxTH+t1lnBnueu7STRzrdVkWV6KZiFp+HtqKJV5Xl68cW3TwEXUS/kA7cBy3M/iMnE5N YrbnWjZjEEwyavKqetv5+jqtVGtdw93WttQNW3fyEy575NZeAs1YwlcIr2Bu1GuOpazWPYerszEf Mr8IHKufQ4Bj9eMDjsVcvsGxGIDAsRiAwLEYgMCxGIDAsRiAdo5jEbtZ5VjLHJQhNXQ8Dcey3UiF XLgB1aYsbVdsLILgWERIl213CLxoWrbQj0UlXFVpk7QV/ViTmPn2BccCx1pTN5JYqRsjzDeSQUyY Ui06hB+zYQ0ci/mOBsdiAALHYgDaNY4VUafNCsdy+H6szdexLM9RdSw55dXqjH4FxwLHktEvyLxg OQTqWP0cAhyrHx/UsZjLN+pYDECoYzEAgWMxAIFjMQCBYzEA7RzHasc0Kq8gHyq4YY5l+75vRSr3 n7yCFHahS2moY0luheD2Jl4THAscq2OyvG8ZAhwLHAt1rMcs04BjMTeA4FgMQOBYDEDgWAxAO8ex 2gFqimPxk7E2z7GCQFTTRD9WELih3xmIhToW6lioY3XIxajSExzgFRR+5rtavcCxwLHAscCxkN2+ u9Hk4FgMhQDHYgDaOY7VTh9WHIvPFdw8xwpdR3EsjwLZfRf9WMsB2hhAvBwThzoW6lgdqok61kBE o2wsMwVeQebyDa8gAxDqWAxAqGMxAIFjMQCBYzEA7RzHaudjnQhz3ptiYdg62E/PyDJE3sKiGWbV nZa1acbleWHkqgB3xwtdz9fmxcY5GIaeLdaLIVm2E1AqoRb0F5NyKiRtMRf3q6SY6qm4JQ1lvmkc rthEbH77jKyVNdO0TmgsdDrdH9CQOvpPNUqLcMUv87FsFq7jNFPLFESQ5TKEoNKpISBKIEr3KLag qaq/2IJiVD8+IErMNRhEiQEIRIkBCESJAQhEiQEIRIkB6HaiRHfVxjQuD+XUVlo4lguU+CX/TfNx ktN8aaraxNkZzZIe1eXAILvPSXw6pDHTkeW6YtB0Wavtk/gwf1NeCH5jTIq8fi2fdBpTNrkhw2+W q8/j/CzNz47m+agdYJ2JebEqGnB0NKoNCmenl2pJgiQDyy3eJJPutpJL0GbVbLRc+3pS92yn157O D7LyZCHpx+l8+LFdfEtvo33wrsgTzVBOD6taFSo0MZGZhiXBeTGfptPiT6lEIaO3uT9I8lfvhwLD +lA+vpBeMkNO6qb3NzBO5cbjtKyJitHjalofZElMiJuScHWTg65/+vH6Lz9c//hXGi7r//Lzz9d/ +/PAmKX16PxtPE0zehFLDOY6j8sqIXhf6Qj5eG8th+nBr7JmdTpJp0llvEuujONiGud9+9EcH4JJ HJL6N//22tp7bRr7hmn9v/9PB46OFP2UK5N8fBSX8fHDESUc6SDQz/n+IKcjR7DWZXpBN3x5MZRL BFE8a1bmRTmNs/Rj8rV8kjhrszSnrekVeo4M0dMV5ivPUXm6FVk6fptmmXwwOk+mCZ1h6pS+JSk/ mUyIYKvz6tOwqAcfrE0ccnpby+Mhj5FKtF/GR86rZDg7pv1XHwpF0+lpFW3Y/Mwvh/rDQnIIHdd0 TOep1xamDwltw+GHMQzP41lyQhYq8aFRf64dQU5/cflXhGZgnF59W4xp03heF/KzJMQNY0ITE+g4 W/I37VDx0A4t0nDo4+M5th80gTqNXuKRRGKKz5XYwCNppfnzt+gl4vSRfyC+XH5baEll7awRKodx RbsTmZ76wK+NUKjKs9P25DlY/T5c2wyTFjBpoXuh2GjVEGIKfY8IRG9xPkNM6ccHYgpznw4xhQEI YgoDEMQUBiCIKQxAEFMYgG4XU5YUidSOZZluyfuVDqBlA0mjNkCgwmgtBbQZJddSIsG+DovRRWXk xYGQXZIN15mpbuxYDs0tl7zJdE01r44oIxXBR1TtRvekEDuo8j/+IGgfJi1MjpQAhEkLpFege1J8 KNYkRXCsduDEfZ3P4FjM5RsciwEIHIsBCByLAQgciwEIHIsBaNc4VkTsRk1aECUu4lBZYvh61sHT ES0aGi4cvZJoWVQpsgJtnm2IlueY7dxw27ZNx2MqVJyjd62+VK1XMdXYcE8WuLL5lKpsqrpJJenG 1Eu//t1kon4tzb66XNe+krL2rpZKVSEs8siLLAuHq+vW6mCyDNYUlNf2Ew7jxplAtcaTBYpiKIr1 Gw8eFR8UxVAUQ9wN4m62+BUEwsbcboOwMQCBsDEA7Rxho8HfnxA23lq44cpYYLuBqefjWZZl226n A9P1TT8gbikchW7kOlRFU9XBWxyFv56v2eBr5EX/bV5p9/rAqOUDqlHaZPQtV9ecrq7J59ODQvjR ycedj86Lcn9QN4sHNT2iZ4+K6SyuD4WNvfGWihZaxcF0E21NZP1dIT2sN3lDwdc+tT7DxLi3JnCA r23xZhIFNuZWAAU2BiAU2BiAwNcYgMDXGIDA1xiAdo6vUVvVJ3xND7p7ugLbGl8jamabOia1KbAR X3M8opayA8z1XPC1ZbEPCT7k79S+xqoe1h+yRFQwyd6n3Y7K6LdmDVZkf7kJDJEwRMYqEAuGSPpw dBrWhRAAQ6TqQdxYFiz4GnOvBL7GAAS+xgAEvsYABL7GAPSr+doywmTD7WdR2362Yo3UvsTtMDfb 8izb18W+FebWVto8MDdkr8IZSXfXj1pJQlxIv/MPzsh+fFBpY24KwNwYgMDcGIDA3BiAwNwYgMDc GIB+NXPbLF+j7qxPK22eHsW3Jb7mR75DeaVK720yQ1ackeBrmJXRuChlx6BKUBHlgQyVto0VAsDX +vkI+Fo/PuBrzK0A+BoDEPgaAxD4GgMQ+BoDEPgaA9DO8TVqOFLOSJmP72me1EPVNpCPL26tdSq+ Z3mRZVORj1rUqLLme762ZbaVNc8Tv5OeSCeQu0cmrlsa2O4dif+rkkBE89UXcXWuEkjGtKRIJpLy EQqC0tcWm6hApUClEAqCUJAtfgWBSjE3wqBSDECgUgxAO0el7HUqFehOi3ftXLJuUv6mqZRvmS61 jxGVsnwa9hXoCElQKWqcMi6TkmYVUrLGx4FxVYrBfNX387gUsyNXUzmQ13H70E1JavqHbOouNDl7 kjI5B8ZFUtKcSUsUhgXtX0uaaIM6ewcXgkpt8T4GVApUClQKVGqLX0GgUsyNMKgUAxCoFAPQzlGp 9anNns41fMqqlG97xOdEVSqwLLexMIJKgUqV0hl4mQlDmzGNy0MZzhhnZ8RzMhrmnkxO4tPhR50A KVIfawp2pH+TeMmdQKVeHD6gUqBSoFKgUqBSuysHgkoxTAFUigFo56gUDfTqRh96Hlua2nBUvUdG Ozv0mtlidkhp6GsNWVQrCIUNUEQf0mwx37QZq9/9surLs9ODTH/xfvnmrfW2mVy2Vo/AdDAqjyFt 3kD1igy3YpZ7mp8dzfMR1U0tWb17btU9UC5QLlAuUC5QLlCuZ3sRA+V6bpSLeM5qT5VOeX+y6pXv +65HFStpBHRoRFjU6anyQpocpsnW5nuqyHno3WT2WuVgt49XRvMUmqfg+NviDQs4EzgTOBM40xa/ guD4Y+54UaZiAAJnYgDauTIVjSle5Uy6dekpOZPvBrp5KvQjO+gUqLwg8EOyJYoCFTgTuqTQJTWQ Q63J1wjrIzgTOBM4EzgTOBPqTKgzCbcIzSGt03zZ7/A5uEl2jjMRXVnlTHom1VNyJiciI5/sknJN 24s6gRNeaNoudVGBM7mEEjgTOBM4E3XPUX4nTaIGZwJnAmcCZwJnAmcCZwJnGlwUr745FmpyfUit B/uDJH/1fii6hOh+YSZ/1os3xfiDaL+fV8lwJiYCq9X1Yqi2qOgfChmTP/M2d48YEbXqp2NqLTLD dc6knXFPyZksPyR+LPqcIjfwySq31ggFbx7S+BAhoeiBTtdAnQmcyajXuMKo0hcG1ZHW4IMZUYzt AzOiGIAwI4oBCN48BiB48xiA4M1jANq5OhO1Cq3WmTRjeTLORPOfQs8mgyBxJssJLM/W0eptGp/j OyFVWFBnQp3pxcXKYa5ufx0FdaZ+fMCZmMsxOBMDEDgTAxA4EwMQOBMDEDgTA9CucSaL6MgKZ3Ij VeV5Ss7kBI6qM1lh4JhN5l/LmTwz8IlTCc4UeJJQbXCuLjIg8uFs1MSmiUHBJwuR62CIxf1BTUfh XSHHf8lctfjysNKlzOW2UtQ+pYLnkUocr+ph/SFLRIGTVO8j9VudyJbJiqmqoKqS6HIT8lohqny9 TgDO1M8JwJn68QFnYi7H4EwMQOBMDEDgTAxA4EwMQOBMDEA7x5mIrqxyJpkAHu89JWdq60w29TPZ ls5JbzmT7QchcvMiixp50M8kYSAcMN6JQEAGBDgTONOaRzGJteZX3c28CM7E3K+AMzEAgTMxAIEz MQCBMzEA7RxnoniFVc6knXHb4UyR5zhqblO8t+RMlEVOxA7ePHAmePPktGD0MzX9OuBM4EzgTMiA QAYEMiCQAYEMiKfJgLAoxnuFMzlPUmcyJlk6+7pxhBWTibHYH/hmQLF52qV346Qm3wvJuSfZk2y7 egKP3ug8mSbttNzTMzX6M5tPvy3GxmWc7Q9Cj+Y36Qbsqtlc3tOtjdPFKCeMcsIopy3e24BegV6B XoFebfErCCUppqCAkhQDEEpSDEA7V5Jy1+nVk5SkbqFXNMgpogrZrWF7K/Tq6YY6NYxJkSkQLPRJ 2USnZXBlkaXjt2mWyQfr50m9kFmVJACskWwQrC3e3YBggWCBYIFgbfErCASLuT0GwWIAAsFiANo5 gkUFodX61ZPMyr2NYNleQJHqIpkvpBgJs9Mx5QWOjFwX7j/LDK0glMW2DVaxIs/22HtncCxwLHAs VcjViSHVR/GRJd5pXCRlTsu7ig84FjgWOBY4FjjW7n5Hg2MxFAIciwFo5zgWReOtcqwnma3Lcizb iULT0/vSdFitcizPi1y3qRMsJuVUFBJEpNxXSTHV4XNZmic3pc6JTcTmeSEqEHIoVZYbV9S0A4pl xPnovCgpuY+iDuTiQU2P6O55VExncX2IuL8dphCI++unEKBY/fgg7o+5eiO6ggEI0RUMQChjMQCB YjEAgWIxAO0cxQrWKdaTj+I1/cAJyKwoalMUlu7a3VG8K8UrN4p8x9c9TyBWs/1B9f08LpOBkWFe L5VUTuLTIVVUkAl4uD9AvgXyLe4WeQdixVyzQawYgECsGIBArBiAQKwYgECsGIB2jliRIW+1dvXU 83p9048iR7VdkSvQNLvzej0/NCMK4RCuQM+xdEULpsCrMgaxQpi4HtglarG0KIozxhTBgcnkWIw8 o28JDYrGR3AIjU/DvhFGD2LFXLNBrBiAQKwYgECsGIBArBiAQKwYgHaOWNHspxVi1USdP27YujQF /p5KVNKz1wYHrlGsT8f7eivJFp5DlS4Xtavy48AAxaICDSgWKNYkZr58YQqEKRB9V+i7Qt8V+q6Q zS7uvw2ZtXWYvykv5MPzOD9L87OjeT56tgDtGsUiD94axXqS8EChJN9ArGgGsGUGkZri2HZb+Y4d UYFN1q5cz/TkHqJ2BWIFYqVqM+i26icOIFb9+KB2xTBz1K4YgFC7YgBC7YoBCLUrBiDUrhiAdo5Y EX9drV3JXqZ473FrV+vEyqMuK91t5QeB+0mMhR1SOqAkVpbp0P+SeYFZgVmBWYFZrZUiRpWuZqsw Q7gC0W4lLjVJ3MEhiZV4N6o6K245gcCsmLsaMCsGIDArBiAwKwYgMCsGoJ1jVtTptMqsdAT6UzKr ZbvVjTkWPrVYkXVRhrB7gef4CLIoYAbUTTMwA8IMCDNghx/clzigZsVctMGsGIDArBiAwKwYgMCs GIDArBiAdo5ZUUbEKrOSPUyPXbO6rd9qNSvQdCKdVrhiC/QtXb1yIz8KQbFAsZpcAlAsUCxQLFCs vUcd1g2KxdzegGIxAIFiMQCBYjEAgWIxAO0cxaL881WK9SSzhNdtgUtiFYpAdjkgmLwci9oYLSgf cCXIgiYIByaYFQ2iQpKFSsQDswKzArMCswKzOsi2GNQAZsXc9oFZMQCBWTEAgVkxAO0cs/IaZnUi uMybYmHY6yOujHpBv22S/arZYTG6qIy8OBDBIsnrsiyuzpN4XIktaBwv9YC0nkJazi+HlHwsqFQl EpBPr74txtRYHc/rQiYFNkOq2mALSrMIqaBGmeuhGwRmp4AVhJ7b5FrYputETAGrTEa1/Dvx5WFV q91rBg2Lnbp9ivDKmmlaJ6WRpVPaJ1P8p+z64l1/mY/lCOI6TjO1LHpgcgmDeMPib9SL4Uz9+6YY fxBLp/QvgXGZlJTIAp7UJmODJ4EngSeBJ4EngSfldD9h06VWXC+rIkvHb9Mskw9G58k02SpA4EnM XS54EgMQeBID0O08aTlIhW4XSV8/lknRdOMk/03zcZLTXfX9byUnRV6/zs7oe+c0rsTEWBGq2h+j mOXD2Uh+J81GR6PauIxpJ6yWIkgqsNziTTLpbiuZBG1WzUbLta8ndc92eu3pnL4BTxaSfJzOhx/b xbf0NtoH74o80fzkdMl/FC2R3KSke++L+TSdFn9KBYGjd52f7Q+S/NX74cCIs/pQPr4oXn1zPDAq mh1r0fsbGLQx/ZzvD3L6C7SiLtMLonV5MZRL1MUlZkSplXlRTuMs/Zh8LZ8k0M3SnLamVxinZU1U j5aqaX2QJTHBr77zBYla4WeaVj3oWpBMJkQD1fsndtYJy73+6cfrv/xw/eNf6Wrj//Lzz9d/+/PA mKX16PxtPE0z2jvpmDyPyyqhE+uV1c4JW+3jfvCrrDV9n6TTpDLeJVfGcTGN8779aE4dOoICqPo3 bz7UiSHoN5099FMdXrFqd45xUpbyJMOxprP/1xzr4VU6Ou8c6yQfH8VlTOOn8Ine4ieaPnrLIyE/ iST+iE8lqWhK/ZlXyXB2TN9ISo5S8hBtUUmVSP1cymYkptERTcf7A9v2P9Xq1qcmPqlW55mBadvU sUtfkaHvWFEnKsmPPCcieVE09EKrO5UD6OXQcTqK8+lBIe4V6Bqbj0gB3B/UzeJBTY/ogjgqprO4 PhS3GGJD8U0ulMuTxR/icmaIRXoSabbviuF5PEvkBh2VU20rTz8lOYoXyap6WH/IErFMwTRH6vqh Imr05V9d7tXpudxEa1NoyBWI0ecVWh20Omh1n9xP//s0f5XVqkSCqCPxhdshHBsFCJ4GRkiAVscA BK2OAQhaHQPQxrS6UV2SJJRMTuLTIUlNzaDkslbaXhIv5TiodVDrnrNad5ycpRXZSiDiSFvOp3dJ DxZU1+45H/gqjyniULi0amVpDVeWHt6jfVNPKuIElkvTgygbjkSawLbsVtzWjS2+R60t5McSIg4N aPUiZkIrDFdSz4GIo4pF5JcbGBdJucvVfEwComqEIKW3xA1jElA/PkhVY/gBWv4ZgCDiMABBxGEA gojDAAQRhwEIIo60YbU2rsZfQ9as3bBcncpycSprw/PGW1XBePVQ+9bGjFfHr7/drIpDR5pYE450 Z1TKJrUc8lJIQ8Vq6xHvJb2rPk1Hr0+fptXrQ7kbx+PSK9p+Db0INym+2lrZbbc8pd8m06L8gG+3 3TUQP6ZSTUGxXaVaxx5tQ6n2Q9cMyWMolGo7NF1yH2qTiZaqnSiQSjb8hi5dYeA3vEMDh3Y9yr4G SNX5WZqfHc3zETlLleH0ueEDqRpS9doIzvtOSIFUzchEkKoZgCBVMwBBqmYAglTNALQxqTqD25D8 6XW8qd5geQsN3XIzuiXlaK3Og/417aJffBfsmX/clIyDoxzc0N2ySXWaRJ1NtItSa2ZXv9F7vg39 xvOC0Ayp41HpN75v6kFJTYa2a5HXUFsN0S8K/Qb6TX8LxGeID/Qb6DfQb9AvusWQcOg3DPuGfsMA BP2GAQj6DZkKW4fPDhkNwew3yOyh3wiHXRujLgJzZKTfA8JcdzjA7xH9Nw65OLr6jYy7bxP2n7RT 1A+twDFV3Jdte2FI2V4yW7LVbxzfsWlQG/w38N+ocAI2QPW5+UvQKtqvT0C/6ccHraIMNYD/hgEI /hsGIOg3DEDQbxiAoN8wAEG/gX7z+TP7jeo3lrcXwoDzwqK+HDK7dAUcrZlsx4DjW6GrDTi2b3pW Z7ii61pBQPFkEHAg4EDA4TNIYcB5cQYlCDgMN4CAwwAEAYcBCAIOAxAEHAYgCDgMQBBwIOBAwLl9 xmNjyWpnK37xHQScXR2h+ZgOHEqb6Qo4umlpGwLOqgPHCuwgDLodVKEZ+eQagoADAQcCDgScNt2w maQTy/nWd257/wwFLgg4DDeAgMMABAGHAQgCDgMQBBwGIAg4DEAQcCDgQMC5l4BjO3uWDwvOS7Pg UJ5MV8FxVNvSNhQcz3PJg6MyjEnBIbmmk2HsetRChQwcyVeRYTwwPkMGjh6q/h4h9FD14wMFhyEH UHAYgKDgMABBwWEAgoLDAAQFhwEICg4UHCg4UHAyEZJTjc6TaXKQ9cfevdAUHEqU6So49vYUHPLg RL5F+0QpxhbF4JiO3pkmBcezHMfy4cGxXHhw4MGBBwceHDJoqpyn34gJBNllBgWHIQdQcBiAoOAw AEHBYQCCgsMABAWHAQgKDhQcKDj3UnAca8924cF5aR4c71MFRyfPbMeD40Sk22gFx6Q5VDpUuVFw XD/wI3hw4MEpL8QcbHhwPr64mBd4cODBwRwqzKHqL8hJc6ZRr50oWX3DbNB/n+av7juJHgoOw7+h 4DAAQcFhAIKCAwUHCg4UHHhwpAlpJud1XQ5nR6VYIm2GatfpeH9gO+Rn6XpwdOPSVhQcYbzRk8Qd 249CuzuJynQtXwcZW1EYWJG4KaPi82JSTsV7m5VV/VVSTA2xsD8oKdtoIH4fXx5KcY42bTaRoBRv 0yyTw66y3LgiOuzRn+ysmaZ1UhpZOt0f0Bw9+k/dCJ4n8fjLfCyfXMdpppZFIZymodE/lYa7Xgzl AVgOfj8txh/oCFwmJe3ieVF+HBhXZTzbH1Tfz+MyIWHit3mlqfnAqOUD1wtskrbK1TWYJI4uKig4 cXm4BAE5OPDgMOQAHhwGIHhwGICg4DAAQcFhAIKCwwC0MQVnVJcDg1yqJ7xheVLk9WuZo3caV+Iu XMjkh/kbXS08j/OzND87mucjum23JEvI8uFsJOjCqt5itSRBkoHlFm+SSXfbJpCWnr9c+3pS92yn 157Oqa3kZCHpx+l8+LFdfEtvo33wrsgTzVBOlwxI8UBJBikJ17iYT9Np8adUF0Xzs/1Bkr96PxwY cVYf0tveH1wUr745HhgVVQzF26MEB7kxPYWW5/uDnP4Ora7L9IIKTHkxlEvULCFojVqZF+U0ztKP ydfySQLjLM1pa3qFcVrW1HdBS9W0PsiSOBcPBAhqtPQTDJv+1z/+8/pvfzZ++d+//+u/fhoYa+KJ MBWMzuOySujIv7Lsm4aJP+D5o2qlxnCSTpPKeJdcGcfFNM47e2CFK3vQnDRtivGxKQgnnTT0Ux7V JB8fxWV8fP+DKyfF08Gld4yD2xaA7n1w6UAsj4E8LqQBiGO0eEPkX5zY8yoZzo5Jn6CPp1whVAJa qKRYoH7mN2o2pH90NBupgmxneHjgiNFSani4RQk3kdWRbBzHM0NPtU1BsoFkc4erKoaH9991PDd8 YLqB6aa9lD7EMgHJhqFLkGwYgCDZMABBsmEAgmTDAATJZl0Galg6STtbl2xIs/ms+Pz1Tz9e/+WH 6x//apum/8vPP5Ny0yeY3CLZPPhVNibcvHcl95fE/1cKNzjEN6lyDzzEjynfkJLXkW/C7aXeBI4Z hiH1RJH6agWu6XtaS2p6phyXNtGpN5BvIN9AvlmaTco6k0J5Ei/1ms8QH8g3kG8g36BnCj1TFAxI RErW5ossHQvvsHxwp5RHeWVYKfgKIXRjTWWQbxh1AvINAxDkG8g31LiAtqk150+/7+a9A/nmpWXe kNWlI99o3WkbDVOBHQWWSYoSyTe2Hdpm0Im8cTwv8CDfIPIGkTd38gBDvnlx8hYaphhmAPcNAxDc NwxAcN8wAEG+YQCCfMMABPkG8g3km/u1Tb23Id+8MPlGjC7qyDdaMdmSfBP5HvVzCfkmtH070Fag 1n1jRxHNoTJGwp6DvJvVJJx8Pj0oyH9BOb5xPqIUnf1B3Swe1PSIjvSomM7i+lA06YoNhbot0n9O Fn+Iy5mOCKoJ63fF8DyeJXKDTlKQ2lYa9FRsj3iRrKqH9YcsEcvUjHOk+ml1W0620jCrevuWm9CM HDEl25jK0BLaQ+SVYGp4v7sE7pt+fCDfMMwA8g0DEOQbBiDINwxAkG8YgCDfMABBvoF8A/nmnvKN Bfnmpck3xPY78o2Om9mGfOOZruc6unnKtu0g6IwM9z3P9ZB9A/cN3Ddw38jp2Fr5k58IyH8YGZ5M YoYZQL5hAIJ8wwAE+YYBCPINAxDkGwYgyDe7K9+YIr03lfXgeZNF/JyDih8YaUKBtPFK9+mDX2Vj 2TfH5nebHRtu4Ug/jwgclxwtHRXH3V4Ejmf6lm8pE44VeIFjO2pnGhMOzREnIQcmHMsV7ilE4HyG PUIw4fSbTGDC6ccHJhyGIEDFYQCCisMABBWHAQgqDgMQVBwGIKg4UHFgwrmfCYdUHNvZs/w/bsyL AxXnmag4ZHzpqDhaONmOFydyopCSbkQrlWPZIS3LwXeNiuOFnm0hCQdeHHhx4MWBF6ftTKQZkbK7 EV4ceHHWKoQPGdQFFYehmFBxGICg4jAAQcVhAIKKAxUHKs69VRzL2wsh4hy+tIYq9xMRR/cwbUXE sSzT8tUwcVJwaBqV9gW1Io5NY85gxYGIAxEHIg5EHIg4NEMnibV3tFqxNwvxYlSJFTTKUQVzNSoX rDgMgYKIwwAEEYcBCCIOAxBEHAYgiDgQcSDi3FvECfZMaDifpYYzWlCKrRzPdnkgFlXkLIk0lCab jsnz4pIsouw41//44fo//m5c//c/f/mff4ol2122V+knqxvjfPW1Kv2ai0k5Ncqi3h94rin+k7G4 xWRiLOhXvu0EAYlGwmZjUWdUoPN3GoXGdkPXdbRE40RymjjdgosXbeJ3v0qKqQ7fzdL8xtRdsYkM 2pXfASKz94u4OjcuYwr8HdOSvrHPaDW9eLPnVZPJm+XHyYRgoR1Wqb/V+oTOeDRK8tpqX4W2Fn9t QvM82yfqOZ99T9Tbi6cmk0kyqu/z5PYZ8i8X+fLJ0zQvSgl6Z7frRbPLE7W9evfqXRMO7TlS6TPl ptOELFDqNDkk7A06UnQq0FPfXTYbV7PDYnRRGXlxcE5RxomMRj6hAcACTHXetFvTH81Xnkjn4unV t8WYNo3ndSHfgzydJlk6+7o5GPpU8s3AtgLqKBOnEp1pgSlfnrBc1MZInmuOL+fv0QaOSsZ++JmU F2Jaq3yvWW5c0b5Ewmgo3nvVM8v19EydQNl8Su9LnYChJz4UCon2CKlDsfpKZTHPx/IPnifx+Eu9 XMdpppbpvXTO33qhPuL14k0x/iB2TUVOG5dJSR9Hyrj+ODCuyni2P6i+n8dlMjAyGYmt9cB6NR+7 XF2Dpj007b24wV5o2kPTHubWY2495tZjbj3dPqkbOT2ko/pIvwjpNs64SMqclm3Nc/puBpf332tb yVuLTu0hq9V99a92VEIpfLBSmOTjo7iMyeBsrM5koZkr9aGc0ZLkr94P9Y08MSa6IV/eec+rZDg7 Jk6n7vPVrTltoahVH8GiJJFVgrU+XkjyjScjWL7jOWo4tBUGtt8dDk2joS1bt8RQ8IlG4oFU/VOC ZQd3+EyBYGE00a5+9yIVpZ9AgGD14+NoRZVaa4TpQGf/Wk5AwindeWD2F6wYzM0NrBgMQLBiMADB isEABILFAHS7FWNLBIsYzQrBsmWJ8UkqWL9vRIRlBcsNbJ0c6fhUF+3M//B8x45od+X4VtOh/39l PfQTkhV5tociFsa/Plt9Cxyrn0OAY/XjA47FXL7BsRiAwLEYgMCxGIDAsRiAwLEYgHaOY1EP7grH cpb+0ad3CfoeKabSJWg5vk09wbqy2rgEA+oUbjiWF/qBLUnYEzgFy7PTg0ybCw6UU1abAmEDVEAI 4+7J4g9xqaqrys0oSqBZVQ8bsy5V5I+Um1nX5leLtep1lpuQlC4Yg5bSIaJrPCSml5kgCxoa1wtE WQ1FBgmKxkeQBUxg7PTDgkExF2cwKAYgMCgGIDAoBiAwKAYgMCgGoF1jUGLooGJQv6OuNaOpDLWd U8JJuN5n9bosiyvRKlSJMpO68W03Jzpzl0YrcZ/TFKd8h+aWWZo4ua7vdcaa0R1ik4ftuRaVsdSf vMX+l2TUwlX1NuutmWLbxijVM6U67hpmtralbse6k1vwFgcuWq3AsR7VhY0qVX8VBlWqfnzAsZjL NzgWAxA4FgMQOBYDEDgWAxA4FgPQznEsYjerHEvnR7Sk6Sk4lm37xPQoocIKKfbE6RgAwbGIkC6b 6hBn0ZS6UMciRUPV+2TjJepYk5j59gXHAsdCnAXiLBBnsbtpDeBYzEUMHIsBaOc4lr3OsWTwXW+3 1ebrWHZIOZJqsGvgOa7ehSYmEBwLHKt49c2xrl/CK9gz+wB1rH4OAY7Vjw/qWMzlG3UsBiDUsRiA UMdiAALHYgACx2IA2jmO5axxLIdPtNg8x7Icil+XHCuyHZdSAckNuIxiB8cCxwLH6mS83jJfDhyr n0OAY/XjA47FXL7BsRiAwLEYgMCxGIDAsRiAwLEYgHaOY7WD7lU/Fh/LvmmOZbpeRPPspVfQcV2b pqiBY1XUkS+IJkZf5Wf7gwtwLHAsIbvEHRjuO+McHAscC15BeAXhFYRX8NlGA4NjPTeO1Y6gVhyL ny28eY4VeJRzofuxaHpwZ6Qw6lioY4FjdcgF6lgDYZkEx5IwbGxyJepYzOUbdSwGINSxGIBQx2IA Qh2LAQgciwFo5+pYNK93NfOCT2bfPMcKrUhxLNsJ3MhH5oUIGkEdqztoW+VJoh8L/VhttAU4FjgW Bb+s578+ZpkGHIu5vwHHYgACx2IAAsdiAALHYgDaOY5F46ZWOZYOTn/CXEGT4toj5RW0I0oYDDpD r1DHQh0LdSzUseAVzORor8ekEKhjMZdvcCwGIHAsBiBwLAYgcCwGIHAsBqCd41g0sldxrBMR5Pem WBj2eragIXLDF2IWlrjEP/K0LC9ywsBUY4ZpyHAU6AyOJmQwDD3bJUI2oqR3qno5tiRktw8ZLpNR Lfc7vjysalUJEdNwv0qKqXg7efE2zTLZ/6XmX0UevWRnzTStk9LI0un+IGznC8d7YkbYl/lYPrmO 00wt075kuczSRi0q+T/2rqW3cTPL/hVCq240jOH7UWgFsJ1UErRTbVhO96LRC0qibMYUqZCU7fIq QWZR2wEmmGwC9K63jRnUn0r7R8z9HqQeZfO6XLItV50qwKZM6nVIiTznnnvuBLWo9/azIbeiu2cI PVXd+IAnMadg8CQGIPAkBiDwJAYg8CQGIPAkBqDbeRI5vIxpXB70ezTwiRaO5AINrpG/03yc5NRq R+vi7CTv90Z12TPI/HQcDwdX/V5kua5JK8tabZ/EB/leeSbojTEp8npX3mkY04hdQ44yXaw+jfOT ND85nOejtpcvywezkeJFo8NRrYbsWi1JkGRgscVeMlnfVnItYcWYjRZrdyd1x3Z67XC+n5XHl5J+ DOeDq3bxJb2N9sarIk80QxkuGJAyycnEh5LgPJtP02nxXSpRyOht9ntJvvPtQGBYH8jbKhLBqAhC i95fzxjKjcdpWRMVo9vVtN7PkpgQNyV/Wp8De/3zm+uffrx+84ttmv5vb99e//pDz5il9ej0ZTxN Mzm5i3jdaVxWCcG7oychrzXh3/tRRtVSleI4nSaV8Sq5MI6KaZx3vY5m/xBMYpfUn/1u13qxaxp9 wzR//0facbSn6KdcmeTjw7iMBee5J6KEI+0E+jnv93LacwRrXaZndMGXFwO5RBDFs2ZlXpTTOEuv kq/kncRRm6U5bU2P0LFniJ4uMV95jMrDrcjSsaDD8sboNJkmdISpQ/qWgc/JZEIEWx1XxHvX5P97 76yV3IV7Pgq9rcX+kPtoJn8upqDNq2QwO6LXT58PsSMvB2qLin6JD6RE6XygHaVUdab9mo5Jd/Bo CoLSTMS96eORJYb/6MVpz4xCP1JhoU4UeNZ6cdpzzHayuG3bpuM148xvmS3OiSUrdrEbB4sr6SSb T78pxurAoU87fVvIbyD6858nE/VnqaPoSQHtI8ndsPIka5rMyrqqPBm2x6f8xm0+qyubQbxZkr2O LzGgfP1bStiCN9ZsB/GmW5yAeNOND8QbhhdAvGEAgnjDAATxhgEI4g0DEMQbBqDbxZsFJSN1ZRG1 uNAZlO6gGNnGCJsYDf4OYdPtko/nJg6IOIYOZfOQ1uGaDt1cT8XxTT+gvlJR3HYj13FkOCpR0wfj a7aSasDXtDDYM+qv84rQ9wKbjplS3pCSIQley2vy+XS/IAWR6Hecj06Lst+rm8X9mm7RvUfFdBbX B0IhFBsKOUFYDxQHM8Qi3YmMDa+KwWk8S+QGazYF8LV3VSXwtUfs2wNfA19DgOmarr3RbyDwNeZi EnyNAQh8jQEIfI0BaOv4Gl1Wv8PXNFl6Ir7mORbZkdcmRfhUUyOvsuBrnuu54GuLYh/M0cX4tfIM ZFU9qF9niSCAixQeWoI5Gubo/maDaMDXwNfA18DXum1bD2qBAF9jrrbB1xiAwNcYgD6Yry3coZuu tNk3MDft/3sa5uaZgW/7wTvMra20gbmhrbWpykkH6hDMbdImhcIZufDEP+hlE5gbmBuYG5gbmBtG BbbthVokll131DLTM86SkjrsqBShmuxWOl3aPprOlq0HPYmBuT00c9s0X6MBEuuVNmpvk/1aT8TX fNtybN1N18T+uEvOSPA18DXwNVFMfNCvcnSydfMR8LVufNDJxlwKoJONAQjOSAYgVNoYgFBpYwAC X2MA+uBK26b5GmWfKr52QEEvhheyVE32Fh2Tsih6kNSraYkdtZblbcBJJYKVhheU3EGbxvO6kA1J TetZQckdFAJLKSMWDcKQPWyeGVqeL3vUKGuFwmNHtIHreZ5P9k3hiXQC+fJub2ATYTU3tT3x6ayr wsfdkkBEx9XncXWq5JExLSnwymKuU1xhWkTpC6Uv/S2x8hF7UKoJKgUqhdIXSl8ofW1vZQdUimEK oFIMQFtHpSiJY5lKaYtgS47enXWxcSrlhGKWhUj78CiVVrElUCnJQYzzpKQyOCVrXPWMi1Jknlbf z+NSxPIup3Igr+P2PGN50d6dX/zcDAaoSnVTBVCpbnxQlWLO0qhKMQChKsUAhKoUAxCoFAMQqBQD 0NZRKSoILVMpXRN6RCrlR6ZLqfwiiMN3fNd3VWkHVSnKoACVIqvceSaow2JwjBoOk911NAyoVPfo nI8QH1ApUClUpVCVQlUKVSk0ZMmo64/wLL91VIryBN9pyJJDzuMXHXxqtyyLC2Ffo/DyTdj8Ip/c fZTlIVx8URCEas76ojZFzYihTYRLzmG3bd+0Gavf+80WWzb0fbH30nrZvKdVU1JuXNBlaTOxfWUd poMhbX41J30L2mNRveqmFKBc3figesUIo6heMQChesUAhOoVAxCqVwxAqF4xAG0d5QobyqV6qnTt qINtbdYI6PtB4Hiqp8q1I8+J1nqqvNB2A022Nt9TZUWmd1OazDIHu328MpqnMFFZykJGvSKWIzcQ uYHkoB6dJtOkndJeX96s4zxkkQGciTkdgzMxAIEzMQCBMzEAgTMxAIEzMQBtHWciOrLs+NN5fY/J mSI70M1TQeTaga6RNY4/Lwj8kMINHyaHApwJU423OIYVdabuOgrqTN34gDMxp2NwJgYgcCYGIHAm BiBwJgYgcCYGoG3jTAHl9y9zJlv1KD0mZ/IDi/yFokvKIcYU6fTAljOFpu2S6Q+cyaVdhWQJJEtQ MEsgZm0YaBcDZwJnWqnwJrE+f1Vrpd9RpRMkVbiMnKlH/ZfgTMz1CjgTAxA4EwMQOBMDEDgTA9DW cSaKEl/mTNI/0tkJtXFvnutSMJ/kTGFg+956nQnevJx6ziKLyAI4k4SBcCjrrN+j30m8iN/7CJsn UWfq5gTgTN34oM7EnI7BmRiAwJkYgMCZGIDAmRiAwJkYgLaOM1EJZ5kzmY9cZ6IEPjnBV3Am6mfy qdakXkFTZ3Id3wnp6hh1JnCmTy5WDpypmxOAM3XjA87EnI7BmRiAwJkYgMCZGIDAmRiAwJkYgLaO M1Gr0BJnoixxGpX7iHUmz6fSEmXoSc4URKHpa9bWcibPDGjWruRMgSdnVW1wri76mdDPhH6mZ5vy Cs4EzgRv3kOmiIAzMRd04EwMQOBMDEDgTAxAW8eZKH5hmTPpbqJH62darjOJfibbXudMth+EyM2D N284uEKdKS4PxKBp9DORbkLtKOBM4EzgTOBMGO+E8U7PVvgDZ3punMlb5UyykPOodaaFN88Lg9Bx dHJfW2eyXc+jpit48+DNA2cCZ0omR4dl08IPzgTOBM4EzgTOBM4EzoSRuL2zYudPRyIdqz6I85N+ L8l3vh3o9J+ZvGqoL/eK8WvhpZtXyWB2lIxqctaRBFtfDtQWFf2iSSHyZ34+mInLDcmI