20

Using CASL to Specify the Requirements and the Design: A Problem Specific Approach

Embed Size (px)

Citation preview

������������ ������ �������������� ���"!#��$&%��(' �*)+�,�-�.�0/1��2�3���"4��5�����6��78� 9:' �1;8<��*) ��=�5���(>?���0�@�&' �1/-�A�

BACEDGFIHGJKFMLENOBACQPSRERUTWV5X�LEY[Z,F\X]LQL^X-_`N�aSabFIPUcdOegfihkj�lUfImonqpsrtpsuUp�vAw�xyryx(z{({*|k} mSrt~ {K� nsrtpSz{ hgw � rtnA��fqfqf�lS� � w�mU� {����fs�Sf�l } mSrt~ {K� nsrtp��wO�]r�v { mU��~�wSlQfipqw�xt�

�O�W�(���(�S����� fIm8�t���K���8�^��w��q�Snq��m�rymSp � ����uo� { n�ps� { �(��mo� {G� p ��¡k¢^£s¤�¥(¦t§�¨=©(£«ª�¨�§pq�-� { nq� � ry¬ { n �Q{ �Kry­o�-�Kxtw®nqn { n5��¡ �S� ��¬Sx {(¯ n(lgpq�*� { x � rym@ps� { n �Q{ �Kry­o�°w�psrt��m�w�mo�� { nsrt±�m���¡ nq��nqp {(¯ n(lgw�mU�?w�xtnq��pq� �b� ��~�rt� { w1¡ � w ¯*{°² � � ��¡³� �5�G{ uUnqw�¬Sryxyrtps���.´ {ps��uUnWrt� { mSpsry­ { n�nq� ¯*{µ� w � psrt�KuSxtw � ¡ � w ¯*{ n(l®nsuo�q�*w®ngps� { p � w�mUnsxtw�psrt��m-¡ � w ¯*{ ¶³{ � ±S�·lwA�°� ¯�� ryx {K�°¸ lSps� { rymS¡³� �G¯ w�psrt��m¹nq��nqp {(¯ ¡ � w ¯º{ l�ps� { �(��mSp � ��xo¡ � w ¯*{�¶ � �g�G{ w��(psrt~ {nq��nqp {(¯ ¡ � w ¯*{�¸ lo���(�°�b»kw��q�1¡ � w ¯*{ rtn3� { nq� � ry¬ { �&w�xt��mU±-ps� �G{({ ~�r {(²�� ��rymSpqn�ps�Uw�pw �G{ w �b� xyrt�(w®psrt��m?�S� ¯ w�rymon(l �G{°¼ ubr �G{(¯º{ mSpqn(lWw�mo�O� { nsrt±�m^�½ u � w�r ¯ rtnºpq�¾uUn {&¿�À^Á�Â?¶ � ��� ��nqnsry¬Sxt�Ãw�nsuS¬Sxtw�mU±�uUw�± { � � w�m {(Ä p { mUnsrt��m���¡¿�À^Á� ry¡gw�mo� ² � { mOw �b�S� � �S� rtw�p {�¸ pq�A¡³� �G¯ w�xyxt�1n �Å{ �Kry¡³�-ps� {3�G{(¼ uSr �G{(¯*{ mSpqn w�mo�ps� { � { nsrt±�mÆ��¡ � w � psrt�Kubxtw � �Gxtw�nqn { nO��¡ �S� ��¬Sx {(¯ n ¶�dz�b� ��¬bx {°¯ ¡ � w ¯*{ nqÈ ¸ �µÉ��Srtn±��®w�xgrtn �G{ xtw�p { ��pq� ¯*{ ps�U���b��xt��±®�6rtnqnsu { n�¡³� �5¿�À^Á� lQps�ow®pAw �G{ � {K�G{ w®�b� �G{ nqn { �rym@w ¯ � �G{ n �Q{ �Kry­o� ² w���lb�Uw�~�rymo±�rym ¯ rymo�@nq� ¯*{�� w � psrt�Gubxtw �*�b� ��¬bx {°¯ ¡ � w ¯*{ lr³� { �·lSw*�Gxtw�nqnA��¡knq��nqp {(¯ n(�fipWrtng�U� �Q{ �-ps�Uw�pgps�Srtn ² ryxyx �S� ��~�rt� { ¬Å��ps�-wA� { x � rym*uUnsrymo±Sl]rym,w �G{ w�xyxt� {GÊQ{ �(psrt~ {² w���l ¿�À^Á� ¡³� � nq��nqp {(¯ n �Q{ �Kry­U�(w�psrt��mon�l�w8xyrymS� ² rtps�Æw �S�S� ��w��q� { n&ps�Uw�pOw �G{�Ku �q�G{ mSpsxt�¾uUn { �1rym�ps� { rymo��uUnqp � ��lQw�mU��w�¡ � w ¯*{(² � � �¾¡\� � ps� {`�G{ uonqw�¬bryxyrtp«���É��brtn.w �S�b� �®w��q�¾rtnkryxyxyuonqp � w®p { � ² rtps�1nq� ¯*{ �(w�n { nqpsuo��r { n(l { � ±b�tl�ps� { rymS¡³� �G¯ w�psrt��mnq��nqp {(¯ ¡ � w ¯*{ rtn�ryxyxyuonqp � w®p { � ² rtps��ps� { rymS~���rt� { nq��nqp {(¯ �

Ë ÌbÍ ÎQÏQÐ�Ñ�Ò5ÓWÎQÔGÐ3Í

Õ J FIH LQP�Ö×ÖAN�ØIØQN�HGJ(X�ÙQØIFIHGCEN�Y�JKC^X�J3Ú«PSDKÛ@X]ØUHKR^N�Ü�F·Ý^Ü®X�JKFIPSLQH�X�DKN5DGN�ÞUßEFMDKN�Y�ÚsPSD JKCQN5YQN�àSN�ØIPSRÅáÛ�N�LoJ�P�ÚgCQFIaSC1Þoß^X�ØIFIJqT-Ü�PbÛ�RQßEJGN�D HKToHGJGN�Û�H®âbã5P�ÖAN�àbN�D®äbFIJ.FIH HKJGFIØIØQYQF·å�Ü�ßQØIJ�ÚsPSD X*LoßQÛ�ÙWN�DP�Ú^RED°X�Ü�JGFIJGFIPSLEN�DGH�JGP*Ö�DKFMJKN JKCQN�HKN5HGRWN�Ü�F·Ý^Ü�X�JGFIPbLQH®â Õ L1JGCEFMH�R^X]R^N�D.ÖAN5X�YEYQDGN�HKH JGCEN abN�LQN�D(X�ØFIHGHGßEN�P�Ú�CQP�ÖæJKP@ÙEDGFIYQaSN�JKCQN�aUX]R�ÙWN�JqÖAN�N�L×X8RQDGPbÙQØIN�ÛçDKN�ÞoßQFIDGN�Û&N�LoJGHOX]LQY=FMJKH-HGRWN�Ü�F·áÝ^Ü®X]JGFIPSLkâWèéN-JKCQFILQê?JKCQFIHºFIHKHGßQN�C^X]H*àSX�DGFIPbßQH�ÚëX�Ü�N�JGH®âµìQPbDºFILQHKJ°X]LQÜ�NSägabFIàSN�L�X&RQDKPSÙQØIN�Û=äCQP�ÖéJGP¾aSßQFIYQNAJGCQNAHGRWN�Ü�F·Ý^Ü�X�JGFIPbL�RQDGPoÜ�N�HKH°í-î`Ú«JKN�L�RWN�PSRQØIN�YQP*LQPbJ�êULEP�ÖÆÖ�CQN�DKN�JGP*HGJ(X�DKJ®äX�LQY=JGCEN�LÆX�DKNOHKJGPSRER^N�Y×X�J*àSX�DKFIPSßQH*RWPSFILoJGH®âWï�LQPSJKCQN�D*ÚëX]Ü�N�J-FIH�ägaSFIàSN�LðX&HGRWN�Ü�F·Ý^Ü�X�JGFIPbLسX�LQabß^X�abNSägCQP�ÖñJKP�ßEHGN�FIJ1FILòX�LÆX]RQRQDKPSRQDKF\X]JGN&Ö�X�TQí&èéN@X]YQYQDGN�HGH�JGCEN�HGN&ÚëX]Ü�N�JGH�CEN�DGNJGCQDKPSßQabC�JKCQN5ßQHKN*P�ÚôóõâoöUX�Ü(êoHGPbLk÷ H REDGPSÙEØMN�Û�Ú«D°X]Û�N�H�ø³HGßEÜ�Ü�N�HKHqÚ«ßQØIØIT8ßQHGN�Y@FIL�FILQYQßEHGJGDKTQù�äÖ�CQFIÜ(C�Ö NAÚ«PbDGÛ8X�ØIFIú�N ÙoTOREDGP�àoFIYQFILQa*JGCQN�Ü�PSDKDGN�HKR^PbLQYQFILQa1HGRWN�Ü�F·Ý^Ü®X]JGFIPSL&HGêSN�ØMN�JGPSLEH FIL�JGCENBAïºûQüÃسX�LQabß^X�abNOøKýMþ�ÿQä�þ����«ù�â

ï öoX�Ü(êoHGPSL&RQDGPbÙQØIN�Û�Ú«D(X�Û&NºýIþSþ���FIH X¾aSN�LQN�D°X]ØIFMú�X�JGFIPbL�P�Ú.X¾Ü�سX�HGHAP�Ú�RQDGPbÙQØIN�Û�H�ä�JGCoßQHCQN�ØIRQFILQa8JGP=HGPbDGJ1PSßQJ¾FMLéÖ�CEFMÜ(CõÚ«D°X]Û�N��]Ü®X�JKN�aSPbDGT?FIH-JKCQN�RQDKPSÙQØIN�Û ßQLQYQN�D1HGJKßQYQToâ���CENFIYQN®X¾CQN�DGN¾FMH�JKP�RQDGP�àoFIYQN-X1CQN�ØIR8JGP�X]L^X�ØIToHGN�HGP]Ú«JqÖ�X]DGN-YEN�àSN�ØIPbRQÛ�N�LoJARQDGPbÙQØIN�Û�H�X�LEY@JKPÜ(CQPoPSHGN*X�L�X]RQRQDGPbRQDGF³X]JGN�Û�N�JGCQPoY1Ú«PbD HGPbØMàoFILQa*JGCEN�Ûçø³Ö�FIJKC�JGCQN*X�HGHKßQÛ�REJGFIPSL1JGC^X]J JGCEN�DGN

FIH LQP��KaSN�LQN�D°X�Ø��1Û�N�JKCQPoY^ù�â ��CQN�LkäbÚ«PbD N®X]Ü°C&RQDGPbÙQØIN�Û�Ú«D(X�Û&NSä�óéâoöUX]Ü°êoHKPSL�REDGP�àoFIYQN�H FIJGHN��oR^N�Ü�JGN�Y Ü�PSÛ&R^PbLQN�LoJGH*JKPSaSN�JGCQN�D¾Ö�FMJKC�JKCQN�FID-Ü(C^X]D°X�Ü�JGN�DKFMHKJGFIÜ�H�X�LQY=JGCEN�Ö�X�T?JKCQN�TéX�DKNÜ�PSLELQN�Ü�JKN�Ykâ ��CQN�RQDGPbÙQØIN�Û Ú«D(X�Û�N3Ü�PSÛ&R^PbLQN�LoJGH X�ØIÖ�X�ToHkFILQÜ�ØIßQYQN5X`YQPSÛ8X�FIL*YQN�HKÜ�DGFIRQJKFMPbLkäJGCQN1DGN�ÞUßEFMDKN�Û�N�LUJKH*YQN�HGÜ�DGFIRQJGFIPbLkäkX�LEY?R^PbHGHKFMÙEØMTÃJGCQN1YQN�HKFMabL�YEN�HGÜ�DKFIRQJGFIPSLµâ ��CQN1YQPSÛ8X�FILYQN�HKÜ�DGFIRQJKFMPbL N��oRQDKN�HGHKN�H��GÖ�CWX�J�X�ØIDKN®X�YQT N��oFIHGJGH��^äAFIJ�FIH�X�L X�ÙQHKJGD(X�Ü�JKFMPbL P�ÚOX=R^X]DGJ&P�ÚJGCQN�Ö PbDGØIYkâ ��CQN*DGN�ÞoßQFIDKN�Û�N�LoJKH YQN�HGÜ�DKFMREJGFIPSL8N��oRQDKN�HGHKN�H��KÖ�C^X�JAJGCQN�DGN-HKCQPSßQØIY�ÙWN��^äoJKC^X�JFIH-Ö�C^X�J1X�DGN�JKCQN�Ü�PSÛ�REßQJGN�D¾HGToHGJKN�Û�N��oRWN�Ü�JGN�Y Ü�PSLEÜ�N�RQJKH�X�LQY=ÚëX]Ü�FIØIFMJKFIN�H®â ��CEN�YQN�HGFIabLYQN�HKÜ�DGFIRQJKFMPbLéYQN®X]ØMH¾Ö�FMJKC�GCQP�Ö�8JKP�X�Ü(CQFIN�àbN�JGCQN&HGToHGJKN�Û�Ú«ßQLEÜ�JGFIPSLEHOX�LQYéÙWN�C^X�àoFIPSßEDGH®â��CQNARQDGPbÙQØIN�Û Ú«D°X]Û�N�HgFIYQN�LUJKF·Ý^N�Y�X�DGNAJGCEN JKD°X�LEHGسX�JKFMPbL�ø³öoû�� ù�ä�JGCQNAFILoÚ«PbDGÛ@X]JGFIPSL�HGToHGJKN�Û�äJGCQN3DGN®X]Ü�JGFIàSN�HKToHGJGN�Û ø³PbDkÜ�PbLoJGDGPbØbÚ«D°X]Û�N®ù�ä�JGCEN ÖAPSDKêUREFMN�Ü�NSäSX]LQY-JGCEN Ü�PbLQLQN�Ü�JGFIPSL¾Ú«D°X]Û�N�H�âè CQFIØIN*JGCQN�HKN�Ü�P�àSN�D5ÞoßQFIJGN�X�LoßQÛ�ÙWN�D�P�Ú�X�RQRQØIFIÜ®X]JGFIPSLQH�äQFIJ�Û@X�T8X�ØIHGP�ÙWN1JGCQN1Ü®X�HKNOJKC^X�JHGPbÛ�N5REDGPSÙEØMN�Û�H X]DGN��KÛ�ßQØIJGF·Ú«D°X]Û�N��^â

è CQFIØIN�öoX�Ü(êoHGPSL:REDGPSÙEØMN�Û Ú«D(X�Û�N�H�Û@X�T×ÙWNéßQHGN�YæJGP×HKJ°X�DKJ?ßQLQYEN�DGHKJ°X�LEYQFILQa X]LQYX�L^X]ØITUHKFILQa�JGCQN�HKToHGJGN�ÛçJGP8ÙWN�YQN�àbN�ØIPSRWN�YkägJKCQN�T?C^X�àbNOLEP�ÚsPSDGÛ8X�ØgßQLEYQN�DGREFMLELQFILQa^âkî�ßQDFIYQN®X�CQN�DKN�FMH�JKPºHKJGFIØIØQDGN�ØMT¾PSL1JGCQN�Û�Ö�CQFIØINARQDGP�àoFIYQFILQa5JKCQN�Ü�PbDGDGN�HGRWPSLQYQFILQa �GHGRWN�Ü�F·Ý^Ü�X�JGFIPbLÚ«D°X]Û�N�H��^âEèéN-JGCoßQH-REDGP�àoFIYQNOX&Û�N�JKCQPoYQPSØIPbaSFIÜ®X�ØkX]RQRQDKPUX�Ü(C=JGP8Ö�DGFIJKNORQDKPSÙQØIN�Û0HGRWN�Ü�F·ÝQáÜ®X�JKFIPSLQHAßQHGFILQa�JKCQN*RQDGPbÙQØIN�Û�Ú«D(X�Û&N�H JKC^X�J�FIÛ&R^PbDGJ°X]LoJGØIT-aSFIàbN�H�aSßQFIYQN�ØMFILQN�H JKP�����������X]LQYJGP����-JKCQN5RQDKPSÙQØIN�ÛñX]L^X�ØIToHGFIH X]LQY�HGRWN�Ü�F·Ý^Ü®X]JGFIPSL��oÜ�PSÛ�ÙQFILQFILQa�JGCQN�HGN*JqÖ P �GJGPoPbØMH��-ToFIN�ØIYQHX�RWP�Ö N�DqÚ«ßQØ X]RQRQDGPoX�Ü(C=JGP�abßQFIYQN-JKCQN�RQDGPbÙQØIN�Û#ßQLQYEN�DGHKJ°X�LEYQFILQa?X�LQY?JKCQN�HGRWN�Ü�F·Ý^Ü�X�JGFIPbLÖ�DGFIJGFILQaWâ

��CQNOFIHKHGßQN�P]Ú�JKCQNOÜ(CQPbFIÜ�N�P�Ú�X6Ú«PbDGÛ8X�ØkHKR^N�Ü�F·Ý^Ü®X�JKFIPSL=Ø\X]LQaSßWX�aSN1FIH*LQPSL?JKDGFIàoF³X�Ø�ýyÿ��GâèéN*JGCQFILQê&JGC^X]J5X�ØIaSN�ÙED°X�FIÜ*HGRWN�Ü�F·Ý^Ü�X�JGFIPbL�سX�LEaSß^X]aSN�H�P���N�D*X�L?X�YEN�Þoß^X�JKN-YQN�abDGN�N1P�Ú X�ÙÅáHGJKD°X�Ü�JGFIPSL&Ú«PbD�PSßQD�LQN�N�YQH®äWHKP�Ö N*Ü(CQPSHKN-JGCEN-سX�JGN�HGJ5X�LEY@Û&PSDKN5aSN�LQN�D°X]ØkPbLQNSä��! #"�$WäQJGCENBAPSÛ&Û�PSL*ï5ØIaSN�ÙQD°X]FMÜ5ûÅR^N�Ü�FtÝWÜ®X�JKFMPbL�ükX]LQaSß^X]aSN*øGýIþ®ÿEä�þ�� �«ùkYEN�àSN�ØIPbR^N�Y&Ö�FIJGCQFIL1JGCQN5BAPbÛ�áÛ�PbLOìQD(X�Û&N�Ö PbDGê Õ LEFMJKF³X�JGFIàbN-ø«BAPUì Õ ù�äSJKP-N��oRQDGN�HGH5PbßQD RQDKPSRWPSHKN�Y�Ú«PbDGÛ8X�ØQßQLEYQN�DGREFMLELQFILQaÚ«PSD3RQDGPbÙQØIN�Û�Ú«D(X�Û�N�H®âbè CQFIØIN%�& #"�$�Ö�X]H YEN�àSN�ØIPbR^N�Y8JKPOÙWN��°X¾Ü�N�LoJGD(X�ØqäoDGN®X]HGPbL^X�ÙQØIT�N��báRQDGN�HGHGFIàbN Ø³X�LEaSß^X]aSN�Ú«PbDkHKR^N�Ü�FtÚsTUFILQa�Ü�PSLoàbN�LoJGFIPSL^X]ØoHGP�ÚsJqÖ�X]DGN��Wä'�KJGCQN3Ü�PSÛ&Û�PSL`Ú«D°X]Û�N�ÖAPSDKêÖ�FIØMصRQDGP�àoFIYQN�X6ÚëX�Û&FMØIT&P�ڠسX�LEaSß^X]aSN�H��ðýIþ�ÿ��Gâ ��CoßQH�ägDGN�HKJGDKFMÜ�JGFIPSLQH1P�Ú(�& #"�$?JKP@HKFIÛ�RQØIN�DسX�LQabß^X�abN�HOø\Ú«PSD*N��QX�Û&RQØINSäWFIL�Ü�PbLQLQN�Ü�JGFIPSLéÖ�FIJGC=àSN�DGF·Ý^Ü®X]JGFIPSL=JGPoPSØIH(ù5Ö�FIØIØ�Ù^N�REDGP�àoFIYQN�YX�H�ÖAN�ØIØ.X]H�N��oJGN�LQHKFIPSLQH*PSDKFIN�LoJGN�Y?JKP�Ö�X]DGYQH�RWX�DGJKFIÜ�ßQسX�D�RQDGPbaSD°X]Û�Û&FtLQa-RWX�D°X]YQFIaSÛ&H®äbNSâ a^âIäDGN®X]Ü�JGFIàbN�HGToHGJKN�Û�H�â�è CQFIØIN YQN®X]ØIFMLEaºÖ�FIJKCOJKCQN�JGD(X�LQHKØ\X]JGFIPSL¾Ú«D(X�Û�N�ø«ûoN�Ü�J®âoÿºX]LQY �Sù�ä)�& #"�$Ü�PSÛ&RQØIFIN�H Ö�FIJGC8PSßED LQN�N�YQH®äWÙQßEJ�Ö�CQN�L?Û&P�àUFILQa*JKPOYQToL^X]Û�FIÜ5HKToHGJGN�Û�H�JGCWX�JAÛ@X�T1PUÜ�Ü�ßQDÖ�FIJGCQFIL1JGCQN�FMLÅÚ«PSDKÛ@X�JKFIPSL*HGToHGJKN�Û�Ú«D(X�Û&N5ø«ûoN�Ü�J®â+*OX]LQY�,Sù�ä�ÖAN5RQDKPSRWPSHGN5X]L�N��oJGN�LEHGFIPSL&P�Ú�& #"�$�Ö�FMJKC8JGN�Û&R^PbD°X�ØgØIPbaSFIÜSäoL^X]Û�N�Y-�& #"�$�.�/10�$=ýMþ2,��GäbÙ^X�HKN�Y?PSL8JKCQN-FIYQN®X]H5P�Ú�ý ���ôX]LQYý43��GäQJKC^X�J-Û8X�T8Ù^N�Û&PSDGN�X�RERQDGPbRQDGF³X�JKN@øsX�LQYéÖ�FIØIØ�Ù^N�HKCQPSDKJGØIT=RQDGN�HKN�LoJGN�Y×Ö�CQN�LéßQHGN�YWù�âûoFILQÜ�N1JGCQN�YEN�HGFIaSL=P�Ú(�& #"�$8Ö�X]H*Ù^X�HKN�YéPSL�X&Ü�DKFIJGFIÜ®X�Ø3HGN�ØIN�Ü�JKFIPSL=P�Ú�Ü�PSLQHKJGDKßQÜ�JGH¾Ú«PbßQLQYFIL?N��oFIHGJGFILQa?X]ØMabN�ÙQD(X�FIÜ*Ú«D(X�Û�N�Ö PbDGêoH®äEJGCQN�DKN®X�YQN�D*ÚëX�Û&FIØMF³X�DAÖ�FIJGC=JGCQN�HKN�Û@X�T6Ú«N�N�Ø ÞoßQFIJKN�°X]J-CQPSÛ&N��^äµÖ�CQFIØIN��& #"�$éP5�gN�DGH1Ú«PbDOJKCQN�HKN@Ü�PSLoàSN�LEFMN�LUJ�HKToLUJ(X�Ü�JKFIÜ@Ü�PSÛ�ÙQFIL^X]JGFIPSLQH�â Õ LJGCQFIHAR^X�RWN�D�ä^ÖAN*ßQHGN*HKPSÛ�N6�& #"�$�Ü�PbLQHGJKDGßQÜ�JKH®äWJGCWX�J�ÖANºFILoJGDKPoYQßQÜ�N-Ö�CEN�L8JGCQN�T8X�RQRWN®X]D®âè CQFIØIN5JKCQN(�& #"�$�HKTULoJ(X5�?X�LQY8HKN�Û@X]LUJKFIÜ�H5X�DKN-Ü�PSÛ&RQØIN�JGN�YkäQHKPSÛ�N*JKPUPbØIH-ø³NSâ a^âIäoR^X]DGHKN�DGH�äØIFMÙED°X�DKFIN�H®äQâ�â�â(ù X�DKN5ÙWN�FILQa-YQN�àSN�ØIPSRWN�Ykâ Õ L�Ö�CWX�J3Ú«PSØIØIP�Ö�H�Ö N�HKC^X�ØIØWDGN�ØIT1PSL�JKCQNºX�àSX]FIØ\X]ÙQØINØIFMÙED°X�DKT1Ú«PSDAÙ^X]HGFIÜ*Y^X�J(X1JqTURWN�H1ýMþ27��Gâ

��CQFIHgR^X�RWN�DkFIHµPSDGaoX�LQFIHKN�Y-X�HWÚ«PbØMØIP�Ö�H�â Õ L,ûÅN�Ü�J®â�ÿ�X]LQY �Qä(ÖAN YQN�HGÜ�DKFMÙWNAJGCQN JKD°X]LQHGسX�JKFIPSLRQDGPbÙQØIN�Û#ÚsD°X�Û&NSäWRQDGP�àoFIYQN�X?X&Û&N�JGCQPoYéJKP�ÚsPSDGÛ8X�ØIFIú�N-FIJ-ßQHKFILQa8�& #"�$^ä�X�LQYéFIØIØIßQHGJKD°X]JGNFIJºPbLðX&HKCQPSDKJ-N��QX�Û&RQØIN-JGC^X]J-FIH*JGCQN:95LQF��?abDGN�RéßQJKFIØMFIJqToâ Õ LéûoN�Ü�J�â;*?X�LQY8,QägÖAN�ÖAPSDGê

HGFIÛ�FIسX�DKØIT@PbLÆJKCQN8FMLÅÚ«PSDKÛ@X�JKFIPSL=HGToHGJKN�Û"REDGPSÙEØMN�Û�Ú«D(X�Û&N�X�LQY FMØIØIßQHKJGD°X]JGN&FMJ�Ö�FIJKCÆJGCENFILUàbPSFIÜ�N�Ü®X]HGN-HKJGßQYETUâ ��CQN*FILoÚ«PbDGÛ8X�JGFIPbLOHKTUHKJGN�Û Ú«D(X�Û�N�D(X�FIHGN�H5àSX�DKFIPSßQHAFIHGHGßEN�H®äEHGFILQÜ�N*ÖANX�DKN YQN®X]ØMFILQa�Ö�FIJKCºÙEFMabaSN�DµDGN®X]Ü�JGFIàbN HKTUHKJGN�Û&H®â ��CQN HGFIú�NAFIHGHKßQN ØIN®X]YQHkßEHkJGP�Ü�ØIN®X�DKØIT5FIYQN�LoJGF·Ú«THGN�JKH5P]Ú.RQDKPSRWN�DGJKFMN�H5JGCWX�J�LQN�N�Y?JGP1Ù^N¾N��oRQDGN�HKHGN�YéX�LEY@X�ØIHKP�JGP1HGN®X]DGÜ(C8Ú«PbD5X-ØIN�abFMÙEØMN�Ö�X�TJGP&RQDGN�HKN�LoJ-سX�DKaSN1HGRWN�Ü�F·Ý^Ü®X]JGFIPSLQH*P]Ú JGCQFIH*êoFILQYkâgìQPbD5سX�Ü(ê8P�ÚADGPoPSÛ=äQÖANOÜ®X]LQLQPbJ5DGN�R^PbDGJCQN�DKN JKCQN�Ü�PSÛ&RQØIN�JGN3HGRWN�Ü�F·Ý^Ü®X]JGFIPSLQH3P�Ú^JKCQN Ü�PSLQHKFMYEN�DGN�Y�Ü�X�HGN�HKJGßQYEFMN�H®ä�JKCQN�T1Ü®X�L-ÙWNAÚ«PbßQLQYFIL�ý47��Gâ

� �1Ï���Í������kÎQÔKÐ Í�Ï�� ���

Outputs

Machine I/O Relationship

Compiler

Domain RequirementsDesign

Language and

Computer Semantics

Inputs

Source Programs

Executable Programs

��CQN�JKD°X]LQHGسX�JKFIPSL=Ú«D(X�Û�N�ÖAN�Ü�PSLQHKFMYEN�DOCEN�DGN8FIH¹XÃHGFIÛ&RQØIN-Ú«D(X�Û&N�JGC^X]JOFIH-ÞoßQFIJGN&ßQHGN Ú«ßQØÚ«PSD5X6LoßQÛ�Ù^N�D5P�ÚAÜ®X�HKNOHKJGßQYQFIN�H�ý4,���ø³FIJ5FIH�Ü�ØIPSHGN1JGP&JGCQN1öUû �×Ú«D(X�Û&NºÖ�CEN�DGN1FILQRQßQJKH,X]LQYPSßQJKRQßQJKHkX�DGN3HGJGDKN®X�Û&H°ù�â ��CQN JKD°X]LQHGسX�JKFIPSL�ÚsD°X�Û&NkYQPbÛ@X]FML�FIHgaSFIàSN�L*ÙoT5JKCQN�������������X�LQY*JGCEN� ������������ägJGCEN�DGN�ÞoßQFIDGN�Û�N�LoJGH-X]DGN1YQN�HGÜ�DGFIÙ^N�YÆÙoT?JGCEN�FMLERQßQJ �]PSßQJKRQßQJ*DGN�Ø\X]JGFIPSLEHGCQFIRkä�� � �!#"%$ &��(' )����+*,'��oägX�LQY?JKCQN1YQN�HGFIabL?FIH5JGCEN.-/&�0%*,'���"Sâkï�L?N��QX�Û&RQØIN*P�Ú X�JKD°X�LEHGسX�JKFMPbL8Ú«D(X�Û�NRQDGPbÙQØIN�ÛçFIHOX[Ü�PSÛ&RQFIØMN�D®äWÖ�CQN�DKN�JGCEN1�2���������¹X]DGN�JGCEN�HGPbßQDGÜ�N�RQDKPSaSD(X�Û&H®äWJGCQN � �����������X�DKN-JGCQN¾N��oN�Ü�ßQJ(X�ÙQØIN1RQDGPbaSD°X]Û�H�äoJGCQN3� � � !4"5$ &��(' )����6*,'��1FMH�aSFIàSN�L@ÙoT&JGCQN1سX�LQabß^X�abN,X]LQYÜ�PSÛ&RQßQJKN�D HKN�Û@X]LoJGFIÜ�H®äQX]LQY�JKCQN7-8&�0%*%'���"1FIH JKCQN*Ü�PSÛ&RQFIØMN�D®â Õ L@JKCQN�Ú«PSØIØIP�Ö�FILQa^ä�ÖAN*HGC^X]ØMØRQDGP�àoFIYQN*JGCENOHKêSN�ØIN�JKPSLQH�Ú«PbD�JGCQN:�& #"�$�Ú«PbDGÛ@X]ØgHGRWN�Ü�F·Ý^Ü®X]JGFIPSLEHºP]Ú��2���������®ä � �����������®äWJGCEN� � � !#"%$ &��(' )����6*,'��Uä X]LQYéJGCEN9-8&�05*,'���"bä X�H-ÖAN�ØIØ�X]H-Ü�PbLQYQFIJGFIPSLEH*Ú«PSD*Ü�PbDGDKN�Ü�JGLEN�HGH&P�Ú5JGCEN-8&�0%*%'���"*X�H�DGN�aoX�DKYQH JGCEN:� � � !#"%$ &��(' )����+*%'��Uâ ��CQFIH�Ö�FMØIØbÙ^N�HKCQPSDKJGØIT-FIØIØMßEHGJGD(X�JKN�Y�PSL�X�Ü®X]HGNHGJKßQYQT�øiJGCQN1Z*DGN�R8ßQJKFIØMFIJqTQù�FIL?ûoN�Ü�J�â �Eâ

;=<?> @BA4CED�FHGID�GKJML7N�O#P�FHQ%N�CEN�GSR�T��POÜ®X]RQJGßEDGN-JKCQN*DGN�ÞoßQFIDGN�Û�N�LoJGH�FIL8JGCEFMH�Ü�X�HGN¾Û�N®X]LQH�Uá JGP�N��UREDGN�HKH-JGCQN¾DGN�ØIN�àSX]LUJ�RQDGPbR^N�DGJGFIN�H*P]ÚôJKCQNOX]RQRQØIFIÜ®X�JKFMPbL8YQPSÛ8X�FIL�Ü�PSÛ&R^PbLQN�LoJGH�äQFqâ NSâIä�����������5X�LQY � ����������� �á JGP�N��oRQDKN�HGH*JGCENV� � � !#"%$ &��(' )����+*%'��UâügN�JµßQH�LQPSJKN JKC^X�JµJGCQFIHµP�Ú«JKN�LOToFIN�ØIYQHµJGP5HKR^N�Ü�F·Ú«TOX�ØIHKP5HGPbÛ�N�Ù^X]HGFIÜ Y^X]J°X�JKC^X�J X]DGN DKN�ÞoßQFIDGN�YÙoT�JGCQN3������������äQJKCQN � �����������*X�LQY �]PSDAÙoT�JGCEN3� � � !#"%$ &��(' )����+*%'��Uâ

�.P�ßEHGN1JGCQN:�& #"�$�سX�LQabß^X�abN-JGP&HGRWN�Ü�F·Ú«T8JGCEN¹X]Ù^P�àbN-DGN�ÞoßQFIDKN�Û�N�LoJKHºÛ&N®X�LEH�JGP�abFIàSNJGCQDKN�N(�& #"�$�HGRWN�Ü�F·Ý^Ü�X�JGFIPbLQH5P]Ú.JGCEN*Ú«PSØIØIP�Ö�FILQa�Ú«PSDKÛ9U

������������� � Á���(�(���(�(���������������� Á���(�(���(�(�

����������� ��� Â�À ����� � Á�� ��� ���� ��� Á ��� �!�" ���#� Á ��$ ����g�%�&� '�( £s§(¦�) '+* ¢-,#.0/ ( ,#. ¢-,�.�#1-2435&��(���(�(�(�

Ö�CQN�DKN@JKCQN7608 9;:�$� +0�<>=@?#"�A�<�B×HKR^N�Ü�FtÝWÜ®X�JKFMPbL N��oJGN�LQYQH?ø �! #"�$éêbN�ToÖ PbDGY RDC�N�G ù*JGCENßQLQFIPSL8ø D�G J ù�P]ÚkJGCQNE6�?�BF�0#"5X]LQYG8HF�0�BF�0#"�HGRWN�Ü�F·Ý^Ü®X]JGFIPSLEH ÙoT1JGCQNEIDJ �+KMLSRQDKN�YQFIÜ®X�JKNSâ��CQNOX��UFIPbÛ�H�FIL-�& #"�$?X]DGN¾Ý^DGHKJqáqPSDGYEN�D*Ú«PbDGÛ�ßQسX�HAÙQßQFIØIJAÚ«DKPSÛ#N�Þoß^X]JGFIPSLQH*X�LQYÃYQN(Ý^LQN�YoáLQN�HKH�X�HGHKN�DGJKFIPSLQH�â�èéN�Ü®X]LÆCQN�DKN?X�YQY HGPSÛ&N�HGßQabaSN�HKJGFIPSLEH�PSLÆJKCQN�Ö�X�TéJGCEN@X5�oFIPSÛ&H*P�Ú608 9N:�$� +0�<>=�?#"MA�<�B=HGCQPbßQØIY@ÙWN-Ö�DKFMJKJGN�Lµâ ��CQN�IOJ �+KMLQRQDGPbR^N�DKJGFIN�H�Ü�PSßQØIY?ÙWN-YQN�HGÜ�DKFMÙWN�YX�ØIPSLEaOJKCQN-YQF �gN�DGN�LoJ*Ü®X]HGN�H*JGP�ÙWN1Ü�PSLQHKFIYQN�DGN�YðX]LQY8N��oRQDGN�HKHGN�YéÙoT8HGPbÛ�N�Ü�PSLQYEFMJKFIPSLQH�PSLJGCQNPIRQOS�T1�QX]LQY7J"T+�USVT+�oX�DGabßQÛ�N�LUJKH®â ��CQFIH.X�RERQDGPoX�Ü(COCWX�HkJKCQN�X�YQàSX]LUJ(X�abN JGC^X]JkJKCQN HKR^N�Ü(áF·Ý^N�D�FIH�FILQYQßQÜ�N�Y?JGP�Ü�PbLQHGFIYQN�DºX�ØIØgDKN�ØIN�àSX�LoJ�Ü®X]HGN�H1ø«X�LEY?LQPSJ�JKP1Ú«PSDKaSN�J�HKPSÛ&N5FIÛ�RWPSDKJ°X�LoJPSLQN�H°ù�â ��CQN�DKN(Ú«PSDKN-JGCEN,X��oFMPbÛ�H P]ÚH608 9N:�$� +0�<>=�?#"MA�<�B?C^X�àbN*JGCQN�Ú«PbDGÛ

N�FIJGCQN�DWIDJ �+KMLëø�X0Y �où[Z \ ��Q��µø+X0Y2�UùPbD]\ �#Q��kø�XRY2�où_^ ��Ka`bX_^ �#K>`-�]Z IOJ �+KMLqø+X0Y �où�â

Ö�CQN�DKN_X^X]LQY8�-X�DGN*JKN�DGÛ&H�P�ÚôX]RQRQDKPSRQDKF\X]JGN*HGPbDGJKHºX�LEYc\ �#Q��*FIH5X(�& #"�$�ÚsPSDGÛ�ßEØ\XEâ

;=< ; @BN�T+Fad4G

��P�YQN�HGFIabL¹X`HGPSØIßQJKFIPSL-P]ÚÅJKCQN�RQDKPSÙQØIN�Û:FIL-JKCQFIHkÜ®X]HGN�Û�N�X�LQHgJKPºYEN(Ý^LQN�X�R^X]DGJKF\X]ØbÚ«ßQLQÜ�JKFIPSLø³PbDºX&HGN�ÞoßQN�LUJKF³X�Ø�RQDGPbaSD(X�Û#PSD-X]L�X�ØIaSPbDGFIJGCEÛ@ù!� ����Q+�0L JGCWX�J-X�HKHGPoÜ�F³X�JKN�HOX�LÃN�ØIN�Û�N�LoJ�P�Ú� ������������Ö�FIJKC X]L×N�ØIN�Û�N�LoJ1P�Ú7�2���������®â ��PéßQHKN-�& #"�$ JGPéHKR^N�Ü�FtÚsTÆJGCEN�X�ÙWP�àSN&YQN�HGFIabLÛ�N®X]LQHAJGP1aSFIàSN-X �& #"�$�HKR^N�Ü�F·Ý^Ü®X�JKFIPSL?P]Ú.JGCEN*Ú«PSØIØIP�Ö�FILQa�Ú«PSDKÛ9U

��������e Àgf#� ���� �����#� Á ��� �h�����#� Á ��$ ���

i��%�&��jlkGk ps�Srtn ¿�À^Á�Â�Ç ¡ �G{({ È*�(��monqp � uU�(psrt��m �G{(¼ uSr �G{ n ps�ow®p3mU�*w��S�]rtpsrt��mow�xµ¡ { w�psu �G{ ���(�Ku � n3� .³£sª *#m ¦) '+* ¢-,�.nbo ( ,�. ¢-,#. kGk ps� { p � w�mUnsxtw�psrt��m8¡IuSmo�°psrt��m�#1-2435&�kGk .³£sª *#m ¦®�b� ¯ w�rym@� { ­bmSrtpsrt��m�(�(���(�(�kGk .³£sª *#m ¦®� { ­SmSrtpsrt��m�(�(���(�(�Rp

��CQN¹X��oFMPbÛ�HAÚ«PbD ��� �#Q+�0L^HGCEPSßQØIY=N��oCQFIÙQFIJ5ÙWPSJGC×ø³F³ù`Ö�CQN�LéFIH ��� �#Q+�0L^YQN(ÝWLQN�Y ø ��� �#Q+�0LYQPSÛ8X�FIL1YQN(Ý^LQFIJKFMPbL^ù�äQX]LQYéø³FIF³ù Ö�CWX�J5X�DKN(� ����Q+�0LoDGN�HKßQØIJGHOø�� ����Q+�0LQYQN Ý^LQFIJGFIPSLWù�â

ï5aUX]FIL?CQN�DKNSägÖANOHKßQaSabN�HGJ-X�Ü�X�HGN�X]L^X�ØIToHGFIH*X�RQRQDKPUX]Ü°CÃÖ�CQFIÜ°CÃTUFIN�ØIYQH�Ú«PbD5JKCQN ��� �#Q+�0LYQPSÛ8X�FIL1YQN(Ý^LQFIJKFMPbL?X5�oFIPSÛ�H�P]ÚôJKCQN�Ú«PSDKÛ

\ �#Q��kø�Xqù[Z ��Ka` ��� �#Q+�0Lëø�XqùX�LQY6Ú«PSD�JKCQN(� ����Q+�0LoYQN(Ý^LEFMJKFIPSL?X5�oFIPSÛ&H P�Ú�JGCQN�Ú«PbDGÛ

\ �#Q��kø�X0Y �où_^ ��Ka`?ø ��� �#Q+�0LGø+XqùGùG^ �#K>`-�qZ ��� �#Q+�0Lëø�Xqù�r �Ö�CQN�DKNsX*X�LQY��=X�DGN&JGN�DKÛ�H*P�Ú5JKCQN@X]RQRQDKPSRQDKF\X]JGN�HKPSDGJKH®ä X]LQYt\ ��Q��&FIHOX&R^PbHGFIJGFIàSN�Ü�PSLoáYQFIJGFIPSLWX�ØWÚ«PbDGÛ�ßQسXQâbügN�J�ßQH5LQPbJGN-JKC^X�J�äWFML8PbDGYQN�D�JGP&RQDGP�àoFIYQN-X�Û&PSDGN�Ü�PSLEÜ�FIHGN��]DGN®X]Y^X�ÙQØINRQDGN�HGN�LoJ°X]JGFIPSL�P]Ú^JGCEN5X5�oFIPSÛ�H�ä�JKCQN%��Ka`?ø ��� �#Q+�0LGø+XqùGù;^ �#K>` �*R^X�DKJ.Û8X�T*Ù^N�ØIN(Ú«J�FIÛ�REØMFIÜ�FIJ�â

;=<�� � A4Q%Q%N��%R�G�N�T�Tã5N�DKN5ÖANºX]YQY�HGPbÛ�N�LQPbJGFIPSL�P]ÚkÜ�PSDKDGN�Ü�JKLQN�HKH5Ö�CQFIÜ(C�FIH LQPbJ N��oRQØIFIÜ�FIJGN�Y&FIL�öUX�Ü(êoHGPbLk÷ H REDGN(áHGN�LoJ(X�JGFIPbLkä^X]LQY?Ö�CQFIÜ(C?ÖANOÜ®X]L?YQN®X]Ø�Ö�FMJKC?JGCWX�LQêoH5JKP�JKCQN-ÚsPSDGÛ8X�ØIFIú®X�JKFIPSL�ÖAN-RQDGP�àoFIYQNSâÕ J�Û@X�T1LQP�Ö ÙWN-DGN�ØMN�àSX�LoJ�JGP�HKJ°X�JKN-ßQLQYEN�D5Ö�CQFIÜ(C8Ü�PSLEYQFIJGFIPSLQHAJGCEN�� �� A�<�?�:?YQN�HGFIaSLQN�YFIÛ�RQØIN�Û�N�LoJKH JKCQN�608 9N:�$� +0�<>=@?#"�A�< BkâgèéN*RQDGPbR^PbHGN1Ù^N�ØMP�Ö:JKCQDGN�NOÜ�PbLQYQFIJGFIPbLQH5X�LQYÃFMLÅáJGDKPUYEßQÜ�N-JKCQN�Ú«PSØIØIP�Ö�FILQa-HGRWN�Ü�F·Ý^Ü�X�JGFIPbLkäQDKN�ÞoßQFIDGFILQa�JGCWX�J�JGCENºREDGN�YQFIÜ®X]JGN IDJ �+KMLoYQPoN�H5LQPbJÙ^N�ØMPbLQa1JGP�JGCEN�- � A�< ?�:?HGFIaSLWX�JGßEDGNSâ���������� À � ÁqÂ�À ���4�� � ��� ��� Â�À ����� � Á�� � �¾��� �he Àf#� � ��� �� A�<�?�:8FMH�Ü�PSDGDKN�Ü�J*Ö-â D®â J®â 608 9N:�$� +0�<>=@?#"�A�< B?F �

þSâ�� �� A�<�?�:�FIH�HGßoå�Ü�FIN�LoJKØMT1Ü�PbÛ�RQØIN�JKN X�LQY�CEFMN�D°X�DKÜ(CQFIÜ®X�ØIØIT*Ü�PSLQHKFIHGJGN�LUJAÖ-â D®â J®â#6�?�BF�0#"X�LQY78HF�0�BF�0#"bâ

ÿQâ����� �?#"�$� +0�<>=�?�� r��[X U�IRQ SVT+��Y2�7U�J�T1�USVT+��Y2��� ��Q)�RLqø+Xqù�r �qZ IOJ ��K�Lqø+X0Y2�Uù�Qâ����� �?#"�$� +0�<>=�?�� r��[X U�IRQ SVT+��Y2�7U�J�T1�USVT+��YMIDJ �+KMLëø�X0Y �où[Z�-���SU@J"T+�USVT+������ �#Q+�0LGø+Xqù�r���

BAPSLQYEFMJKFIPSLÆþ1DGN�ÞUßEFMDKN�H1JGC^X]J�- � A�< ?�:éYQPoN�H-LQPbJ-FILUJKDGPoYQßQÜ�N�HGPSÛ&N-LQN�Ö�N�ØIN�Û&N�LoJGH*PSDRQDGPbR^N�DGJGFIN�H�FIL�JKCQN5HKR^N�Ü�FtÝWN�Y8YQN�HGÜ�DGFIRQJGFIPbLQH�P�Ú&�KÖ�C^X�J X]ØIDGN®X]YQTON��UFIHKJGH �8ø³JKCQN-X�RQREØMFIÜ®X]JGFIPSLYQPSÛ8X�FIL^ù�ä�Fqâ NSâIä�6�?�BF�0#"*X�LQY 8HF�0�BF�0#"SâoBAPSLEYQFIJGFIPSL�ÿ*DGN�ÞUßEFMDKN�H�JGCWX�J®äbÖ�CQN�LEN�àSN�D%��� �#Q+�0LFIH�YQN(Ý^LQN�Y?Ú«PbD5X�abFMàbN�LhXgX�LQY?ToFIN�ØIYQH%�bä^JKCQN�Lh608 9N:�$� +0�<>=�?#"MA�<�B=DGN�سX�JKN�H XµX�LQY8�SäWFILPSJKCQN�DkÖAPSDKYQH®ä�FIJgN�LQHGßEDGN�H JKC^X�JgJKCQN RQDKPoYQßQÜ�N�Y1JGD(X�LQHKسX�JGFIPbLºFIHgÜ�PbDGDKN�Ü�J®âbìkFIL^X]ØIØMToäKÜ�PSLQYEFMJKFIPSL��N��oRQDKN�HGHKN�H�JGCWX�J�Ö�CQN�LQN�àSN�D�608 9N:�$� +0�<>=�?#"MA�<�B�DGN�Ø\X]JGN�H;XSÖ�FIJGC¾HGPSÛ&N&�*ø³DKN�Ü®X�ØIØ�IOJ ��K�LFIH�� ßQHGJ-X&DGN�سX]JGFIPSLQHKCQFIR?LQPbJ,X6Ú«ßELQÜ�JGFIPbL^ù�ägJKCQN�L���� �#Q+�0L�X�RERQØIFMN�Y�JKPcXµÛ�ßQHKJ5ToFIN�ØIY?HGPbÛ�N� � ä�FILòPbJGCQN�D�Ö PbDGYQH�ä FIJ�DGN�ÞoßQFIDKN�H�JKC^X�J�JKCQN8JGD°X]LQHGسX]JGFIPSL×RQDKPUYEßQÜ�N�H8X�L×PSßQJKRQßQJ�Ö�CQN�LX�RQREDGPSREDGF³X�JKN5aSFIàbN�L8JGCQN*DGN�ÞUßEFMDKN�Û�N�LUJKH®â

� 9�����"! ÎQÒ�Ñ$#�% �'& �)( Ï��+*-,.*:�kÏ��kÎQÔKÐ Í

Outputs

Machine I/O Relationship

Domain RequirementsDesign

The Unix greputility of the pattern regular expression

For each line printedthere is an occurrence

and text filesPattern regular expressions

the pattern occursLists of lines where

Inputs

Õ LÆJKCQN8RQDGN�àoFIPSßEH�HGN�Ü�JKFIPSLkä�JKCQN8JGD°X]LQHGسX]JGFIPSLõÚ«D°X]Û�N�Ö�X�H�RQDKN�HGN�LoJKN�Y Ö�FIJGC JGCQN8JqToRQFIÜ®X�ØÜ�PSÛ&RQFIØIN�D�N��QX�Û�REØMNbâ®ã�N�DGNbäoÖ N�FMØIØIßQHKJGD°X]JGN�FIJ Ö�FIJGC�JKCQN*aSDKN�R�ßQJGFIØIFIJqTOJKC^X�J3FMH3RQDGP�àoFIYQN�Y&ÙUT95LQF��?X�LEY�ÖANOHKêSN�JKÜ(CéJGCQN�Ü�PbDGDKN�HGRWPSLQYEFMLEa?HGRWN�Ü�F·Ý^Ü®X]JGFIPSLEH�ø³HKN�N?ý47���Ú«PSD*JKCQN-ÚsßQØIØ.PbLQN�H(ù�â��CQN5abDGN�R&ßQJGFIØIFIJqT-HGN�X�DGÜ(CQN�H�Ý^ØIN�H3Ú«PSD�X*R^X]JGJKN�DGL?X�LEY�RQDGFILoJGH�X�ØIØWØMFILQN�H JGC^X]J Ü�PSLoJ°X]FML�JKC^X�JR^X�JKJGN�DKLkâ Õ J�ßEHGN�H�ØMFIÛ&FMJKN�Y�DGN�aSßQسX�DAN��oRQDKN�HGHKFMPbLQH*JGP�Û8X�JGÜ(C�JKCQN-R^X]JGJGN�DGLQH�â

�=<?> @BA4CED�FHGID�GKJML7N�O#P�FHQ%N�CEN�GSR�T

Õ L�PbDGYQN�D�JKPOREDGP�àoFIYQNºX¾HGRWN�Ü�F·Ý^Ü®X]JGFIPSL8P]ÚkJGCQN*YQPbÛ@X�FILkä�ÖAN*LQN�N�Y8JGP1HGRWN�Ü�F·Ú«T&JGCQN*FILQRQßEJGH®äÖ�CQFIÜ(C@X�DKN5DKN�aSßQسX]D N��oRQDKN�HGHKFIPSLQH*X�LQY6Ý^ØIN�H®äoJKCQN*PSßQJKRQßQJGH�äoÖ�CQFIÜ(C@X�DKN5ØIFIHGJKH P]Ú.ØIFILQN�H®äQX]LQYX�ØIHGP1JGCENºÙWX�HGFIÜ*Y^X]J°X1JGCWX�J5X�DKN*DGN�ÞoßQFIDGN�YkäQÖ�CQFIÜ(C?X�DKNºÜ(C^X]D°X]Ü�JGN�DKH®ägHKJGDKFMLEaSH5X�LEY@ØIFIHGJKH®â

� D#T+F �9@BD�R�D ��P&HGRWN�Ü�F·Ú«T=JGCQN�Ù^X]HGFIÜ1Y^X�J(X�ÖAN1ßQHGN�HKPSÛ�N1HGRWN�Ü�F·Ý^Ü�X�JGFIPbLQH-RQDKP�àUFIYQN�Y�FILýIþ 7��GäWNSâ a^âIä;�;A� �� X�LQY���0���< ?�� âµìQPbD-N��QX�Û&RQØINOJKCQN�HKR^N�Ü�FtÝWÜ®X�JKFMPbLéÚ«PbD-HGJKDGFILQabH-P�ÚOýIþ 7 �FIH,X]L�FILQHKJ°X]LUJKF³X�JGFIPbL?P�Ú�JGCQN�abN�LQN�DKFIÜ�HGRWN�Ü�F·Ý^Ü®X]JGFIPSL / < "�0 ý�� $�:�� � JGPSabN�JGCEN�D-Ö�FIJGC=HGPbÛ�NHGToÛ�ÙWPSØWÛ@X�RERQFILQa�ø�×ù3Ú«PSDAHGPbDGJ�L^X�Û&N�H�U������������ � �� ��� � Á � � ¿ �QÀ �

� 2I��$&�R3Q�(�(������m .G�����oª�£K��� n��.³£ �4*��

� G! �P R%T èéN-HKêSN�JKÜ°CéÙWN�ØIP�Ö:JGCEN�HGRWN�Ü�F·Ý^Ü®X]JGFIPSLQH¾P�Ú JKCQN.�����������¾Ö�CQFIÜ°C=X�DGN1DGN�aSßQسX�D*N��báRQDGN�HGHGFIPbLQHºX]LQY�Ý^ØIN�H�â��������" ��� ��� ��� Á�� ���# Â�À $�%� � Á(Á ��� ����� �'&��  ���CQN8�& #"�$éÜ�PbLQHGJKDGßQÜ�J)( Q%N N R+*, KN X]ØIØMP�Ö�H1PSLEN?JGPéRQDKP�àoFMYEN�ÚsPSD�JKCQN.-�K0/ 132%S ��JqToRWNÜ�PSLEHGJ°X]LoJGH*ø+K54�S��6�X�LEY87�ù�äSPbR^N�D(X�JKFMPbLQH*ø 9 X]LQY : ù�äUX]LQY�X�ØIHGP¾JGP1HGJ°X]JGN�JGC^X]J�X]LUTÜ(C^X�D(X�Ü�JKN�D5Û8X�TOToFIN�ØIY@X8-�K0/ 132%S ��â������� ���; Â�À $�%� g� Á(Á �4�� � ¿ �QÀ ���$ ���i��%�&���=<-�@�?> § � @�A ¢^£ ) ) �§�¨�¢-.CBED�F'D G ) ¶ > § � @�A ¢^£ > § � @�A ¢^£ ¸ D HP) ¶ > § � @�A ¢^£ ¸ D �03Q�(� ���oª�£EI��������&��  � � ���� g���� &��$ ���i��%�&���=<-�@�?J�� ¦t§ )�) � §�¨�¢-.CBED ) ¶ ���oª�£EI J�� ¦t§ ¸ I3g�W�LK £ m . ¦ �4* § ) J�� ¦t§ n oM�.³£ ��*�� I

N £s¤K¢ ¦ �4* § ) J�� ¦t§ nbo J�� ¦t§5IOEO ² rtps� ps� { �(� �q�G{ n � ��mU��rymo±ñw Ä rt� ¯ n

P P�R5 P�R%T FMH�X1ØIFIHGJAP�Ú ØIFMLEN�H®äoJKC^X�J�FIH5X¾ØMFIHKJ�P�Ú.HKJGDKFMLEaSH®â��������" ��� �����#� Á���� � Á � � ���� � �Q �

� 2I��$&�R3Q�(�(������m .G�R�.³£ �4*�� �S�nUT £s§s¢ ( ,�. ¢-,#.

�5VQP L7N#WHD�R�F A4GKTMC�FC ��CEN8� � � !#"%$ &��(' )����6*,'��-ÙWN�JqÖ N�N�L?JGCEN8�����������5X�LEY�JGCEN � ������������FIHHGêbN�JGÜ(CQN�Y1FIL-JGCEN�Ú«PSØIØIP�Ö�FILQaAHGRWN�Ü�F·Ý^Ü®X]JGFIPSLkä�Ö�CQN�DGNAJGCQNM/���K�S IDJ �+KML�RQDKN�YQFIÜ®X�JKN REDGPSRWN�DKJGFIN�HX�DKN�N��oRQDGN�HKHGN�Y8ÙoT1Û�N®X]LQH P�ÚgJGCEN5RQDKN�YQFIÜ®X�JKN�H X�� /�KOQ�ø³HKJ°X�JKFILQa-Ö�CQN�L8X*HGJKDGFILQa-Û8X�JKÜ°CEN�HX&DGN�abßQسX�D*N��oRQDGN�HGHGFIPbL^ùOX]LQY �0S#SgK ��� � X�Q ø³HGJ(X�JKFMLEa@Ö�CEN�LÆX&HGJGDKFILQa?FIH-X�HKßQÙQHKJGDGFILQaÃP�ÚX�LQPbJGCQN�D�PSLQN®ù�â��������" ��� ��� ��� ÂE� " ��� ������ Á ��� �." ��� ������� Á��$ ��� �g�0�&�g�.� £s§s¢ '�( £s§(¦�) > § � @�A ¢^£N/ J�� ¦t§�/'T £s§s¢ ( ,#. ¢-,�.�I

��m � § * )X�.³£ ��*�� / > § � @�A ¢^£YIªK¢�¢U§Gª�£ m �4* )X�.³£ �4*S� /8�.³£ ��*�� I

Z �U� � £s§ � ) > § � @,A ¢^£+Ig¤�¦C[�¤�¦]\ )�T £s§s¢ ( ,#. ¢-,�.�I®© ) J�� ¦t§5I

��1-2435&�� £«§s¢ '�( £s§(¦ ¶ £«§ � [ §�¨�¢-.CB [�¤�¦ ¸ � ¤�¦ � *#� ¦ I� © � §�¨�¢-.CB��¶ � £«§s¢ '�( £s§(¦ ¶ £«§ � [\©Q[�¤�¦ ¸ �

¶q¶�� m�� ��m � § * ¶ £s§ � [ m ¸ m ªK¢�¢U§Gª�£ m �4*EK £ m . ¦ �4* § ¶ © ¸�� £s§s¢ '�( £s§(¦ ¶ £s§ � [ N £s¤K¢ ¦ �4* § ¶ © ¸ [�¤�¦ \ ¸� ¤�¦ � K £ m . ¦ �4* § ¶ © ¸ ) )o¤�¦ \ ¸ ¶ � � m�� ��m � § * ¶ £«§ � [ m ¸ m ªK¢�¢U§Kª�£ m ��*EK £ m . ¦ �4* § ¶ © ¸� £s§s¢ '�( £s§(¦ ¶ £s§ � [ N £s¤K¢ ¦ �4* § ¶ © ¸ [�¤�¦ ¸q¸q¸ IO O w Ä rt� ¯ n � { ­bmSrymo± ªK¢�¢o§Gª�£ m ��* w�mU� ��m � § *

�=< ; @BN�T+Fad4G��CQN � �� A�<�?�:8ToFMN�ØMYEH5X�L���+K S J�T+� S�T1��aSFIàSN�L8X8-�K0/ 1 20S���X]LQY?X�� X4L�K�â��������" ��� e Àf#� � � � � " ��� ����� � Á ��� � " �#� ������� Á��$ ��� 3g� � £«§s¢ .i£«ª *#m ¦ ) > § � @�A ¢^£P/ J�� ¦t§ nUT £«§s¢ ( ,#. ¢-,�.�I�g�0�&� ¨�ª&.��=�E) > § � @�A ¢^£�/?�.³£ �4*S� IZ �U� � £s§ � ) > § � @,A ¢^£+I�©�) J�� ¦t§5I��1-2435&�

� £«§s¢ .³£sª *�m ¦ ¶ £«§ � [�§�¨�¢-. B ¸ � §�¨�¢-.CB I� ¶ © � §�¨ô¢-.CB ¸ ¨5ª&.��=� ¶ £«§ � [ K £ m . ¦ �4* § ¶ © ¸q¸ �� £«§s¢ .³£sª *�m ¦ ¶ £«§ � [³© ¸�� K £ m . ¦ �4* § ¶ © ¸ )�) � £s§s¢ .³£sª *#m ¦ ¶ £s§ � [ N £s¤K¢ ¦ �4* § ¶ © ¸q¸ I� ¶ © � §�¨ô¢-.CB ¸ � ¨�ª&.��=� ¶ £s§ � [ K £ m . ¦ �4* § ¶ © ¸q¸ �� £«§s¢ .³£sª *�m ¦ ¶ £«§ � [³© ¸�� � £s§s¢ .³£sª *#m ¦ ¶ £s§ � [ N £s¤K¢ ¦ �4* § ¶ © ¸q¸ IO O w Ä rt� ¯ n � { ­bmSrymo±@¨�ª&.��=�

�=<�� � A4Q%Q%N��%R�G�N�T�T��P5N��oRQDKN�HGHAÜ�PSDKDGN�Ü�JGLQN�HKH�Ö NALQN�N�Y�JGP*FILUJKDGPoYQßQÜ�N JKCQNAÚ«PSØIØIP�Ö�FILQaAHGRWN�Ü�F·Ý^Ü®X]JGFIPSLkäbDGN�ÞUßEFMDKFILQaJGC^X]J�JGCQN�RQDKN�YQFIÜ®X]JGN /��+K S IDJ ��K�L�YQPoN�H LQPbJ Ù^N�ØMPbLQa*JGP*JGCEN�����:B � �� A�<�?�:�HGFIabL^X�JKßQDGNSâ������� " g�#� �� À � Á� À ����� � � " ��� ��� ���  ��� � " g�#� e Àf#� � ��

����:B � �� A�<�?�:?FIHAÜ�PSDKDGN�Ü�J*Ö-â D®â J�â�����:B 608 9N:�$&F �þSâ�����:B � �� A�<�?�:?FIH�HKßoå�Ü�FIN�LoJGØIT�Ü�PbÛ�RQØIN�JKN,X]LQY�CEFMN�D°X�DKÜ(CQFIÜ®X�ØIØIT�Ü�PbLQHGFIHKJGN�LoJ5Ö-â D�â J�â

����:B 6�?�BF�0#"1X�LQY�����:B 8HF�0�BF�0#"bâÿQâ�����:B ���� �?#"�$� +0�<>=@? � r �_`1U�� X L�K�Y2�+K0/7U#-�K0/ 132%S �Y2�&L�U���+K S J�T+� S�T+��Y/���K�S � ����Q+�0LGø ��K0/-Ya`^ù r � LsZ /��+K S IOJ �+KMLGø ��K0/-Ya` Y2�&L³ù

�Qâ�����:B ���� �?#"�$� +0�<>=@? � r �_`1U�� X L�K�Y2�+K0/7U#-�K0/ 132%S �Y2�&L�U���+K S J�T+� S�T+��Y/���K�S IDJ ��K�Lqø ��K0/�Y>` Y � L\ù Z �-�&L � U�� ��K�S J"T+�USVT+���3/��+K S ��� �#Q+�0Lëø��+K0/�Ya`^ù r �&L �

� ÌbÍ��®Ð Ï����kÎQÔKÐ Í ! #��bÎ��S� �Ï���� �

��CQNAFMLÅÚ«PSDKÛ@X�JKFIPSL�HGToHKJGN�Û Ú«D(X�Û�N�YQPbÛ@X]FML*YQN�HGÜ�DKFMREJGFIPSL1FIH.abFIàSN�L-ÙoT*JGCEN:!4"�&�$ �1)"!H$ #Wä�JGCEN��� $H)"!&% &��(' )���!#" '���"+�(��� X]LQY-JKCQN ���($H)"!�%:&��(' )�� � �����������®ä]JGCQN�DKN�ÞoßQFIDGN�Û&N�LoJGH X�DKN YQN�HGÜ�DKFMÙWN�YÙoT�JGCQN7��� $H)"!&%:&��(' )���)�����0+�(' )��oä^X�LEY�JGCEN-YQN�HKFMabL�FIH�JGCEN+*-,�����".%¹â ��P1ÞoßQPSJKN¹ýIþbþ �Gä#� Õ L�FIJGHHGFIÛ�REØMN�HGJ�Ú«PSDKÛ�ägX�LéFILoÚsPSDGÛ8X�JKFMPbL8HGToHGJKN�Û�RQDKP�àUFIYQN�H-FILoÚ«PSDKÛ@X]JGFIPSLkäEFILéDGN�HKR^PbLQHGN8JGPÃDGN(áÞoßQN�HGJKH®äQX]Ù^PbßQJ HGPbÛ�N�DKN�ØIN�àSX�LoJ DKN®X�Ø·áqÖ PbDGØIY�YQPSÛ8X�FIL-P]ÚkFMLoJKN�DGN�HKJ®â � ��CQN8!#"�&�$/� )"!H$ #-Û8X�T

Ù^N8X-��� ���>X \�YQPbÛ@X]FML ø³NSâ a^âIäµF·Ú5JGCQN&HGToHGJKN�Û"REDGP�àoFIYQN�H1FMLÅÚ«PSDKÛ@X�JKFIPSL8PSL×ûoC^X�êbN�HGRWN®X]DGNS÷ HRQسX�ToH°ù�äoPbD�X�� 6&Q��X4�X�\¾YQPSÛ8X�FIL@øiNSâ a^âIä;�GJKCQN-X�Ü�JKFIàUFIJKFMN�H�P�ÚôX1Ü�ßQDGDKN�LoJGØIT8PSRWN�D°X]JGFILQa�ÙQßQHKF·áLQN�HKH ��ýIþSþ �«ù�â®ã�N�DGN�ÖANAÜ�PSLQHKFIYQN�D FILoÚ«PbDGÛ8X�JGFIPbL5HGToHKJGN�Û Ú«D(X�Û�N�HkÖ�FIJGCOX�YQToL^X]Û�FIÜ�YQPSÛ8X�FILkäHGP-� ��CQNB!4"�&�$ �1)"! $ #�FIH � 6&Q��X4�X�\1X�LQY?X�ØIHKP �#\ �aX � K®â �8ýMþbþ �Gâ

InformationOutputs

SystemInformationRequests

Real World

FunctionInformation

Design Domain Requirements

�S<?> @BA4CED�FHGID�GKJML7N�O#P�FHQ%N�CEN�GSR�T

��P�Ü®X�RQJKßQDGN3JGCQNADGN�ÞoßQFIDKN�Û�N�LoJKHkFIL*JGCQNAÜ®X�HKN P]ÚQJGCQN ûÅFMÛ&RQØIN Õ LoÚsPSDGÛ8X�JKFMPbL5ûoToHGJKN�ÛæÛ&N®X�LQH�U

� JGP1Ý^LEY@PbßQJ�JGCENºDKN�ØIN�àSX�LoJ�RQDKPSRWN�DGJKFIN�H5P]ÚôJKCQN7!#"�&�$ � )"!H$ # �� JGP�YQN�JGN�DKÛ�FILQN*JGCQN7��� $ )"!�%:&��(' )��8!#" '���"+�����-X�LQY&JGCQN3���($H)"!�%:&��(' )�� � �����������2�� JGP�YQN�JGN�DKÛ�FILQN*JGCQN7��� $ )"!�%:&��(' )�� ) ����06�(' )��Uâ

��PéßQHGN8�! #"�$�.�/+0�$ ýIþ2,��5JGPéHKR^N�Ü�F·Ú«T JGCEN�X�ÙWP�àSN?DKN�ÞoßQFIDGN�Û&N�LoJGH&Û�N®X]LQH�JGPéabFMàbN8Ú«PbßQDHGRWN�Ü�F·Ý^Ü®X]JGFIPSLEH5Ü�PbDGDGN�HGRWPSLQYQFILQa�JKP�JGCQN,Ú«PSßQDAR^X]DGJGH�DGN�HKR^N�Ü�JGFIàSN�ØMToä^X]HAÚ«PSØIØIP�Ö�H®â

èéN Ü�PbLQHGFIYQN�D JKCQN�Ü®X�HKN5Ö�CQN�DGN5JKCQN8!#"�&�$.�1)"! $ #-FIH X*YQToL^X]Û�FIÜ HGToHKJGN�Û=ä�JGCoßQH FIH HKR^N�Ü(áF·Ý^N�Y�ßEHGFILQa:�& #"�$�.�/+0�$OÙoT�ØIPSabFIÜ®X�ØIØIT-HGRWN�Ü�F·Ú«ToFILQa�X�L�ØIJGH*ø«X L ���0K�L�L4K �(� ����Q+��X �aX ��Q �+62���aK54¹ùJGC^X]JOÛ&PoYQN�ØIH-FIJ®âµï L ���RKML�L4K �-��� ��Q)�%X �>X �#Q � 62���aK 4 øiHGCQPbDGJKØMT L�� �®ù1FIH�X?JKDGFIRQØIN�ø��-Y��Y �òù�äÖ�CQN�DKN�OX�LEY��?X�DKN5JqÖAPºHKN�JGH�äQX�LQY?� �����������1FMH3JGCQN � ����Q+��X �aX ��Q(��K�L����aX ��QEâ�ï JGDKFIRQØINø��#Y���Y�� � ù��!� FMHAH°X]FIY@JKPOÙWNOX:� ����Q+��X �aX �#Q?X�LQY&FMH�ßEHGß^X]ØMØIT�Ö�DKFMJKJGN�L������� ��� � â+9�HGFILQa�JGCENJ�T+A#Q%R Ü�PSLEHGJGDKßQÜ�JKFMPbL×FMLoJKDGPoYQßQÜ�N�YòFIL �& #"�$�.�/10�$éFIHOXÃÖ�X�T�JKP�YQN�Ü�سX�DGN8JKCQN8ØMJKH-JGDKFIRQØINø �-Y� Y �òù*X]J-PSLQÜ�N@X�LEY�JKP?RQDGP�àoFIYQN�JKCQN�ßQHGN&P�Ú�JGN�Û&R^PbD°X]Ø.ØIPbaSFIÜOÜ�PSÛ�ÙQFIL^X]JGPSDKH5FILéJGCENX5�oFIPSÛ&H�øsX�H�YQN Ý^LQN�Y?FIL-�& #"�$�.�/10�$où�â

Z*FIàSN�L-X�L¾ØMJKHkÖAN Ü®X]LOX�HKHGPoÜ�F³X�JKN Ö�FIJGC¾N®X�Ü(C!�#"$�%�ºJKCQN JKDGN�N*ø ��� �#Q+��X �>X ��Q � ��KRK�ù�Ö�CQPSHKNDGPoPSJ1FIH&� " ä�Ö�CQN�DKN8JGCQN8PSDKYQN�D&P�Ú5JGCEN?ÙQD°X]LQÜ(CQN�H�FIH�LQPbJOÜ�PbLQHGFIYQN�DGN�YkäAJqÖAP�FIYQN�LUJKFIÜ®X�ØIØITYQN�Ü�PbD°X]JGN�Y=HGßQÙEJGDGN�N�H-Ö�FIJGC?JKCQN-H(X�Û�N*DKPUPbJ-X�DGN¾Ü�PSLQHKFIYQN�DGN�YðX]H,X1ßELQFIÞUßEN-HGßQÙEJGDGN�NSä.X]LQYF·Ú�FIJ C^X]H�X,LQPoYQN�'&YQN�Ü�PSD°X]JGN�Y8Ö�FIJGC���X�LQY(� ��)� �*� � äSJKCQN�L&FMJ3C^X�H X,LQPoYQN�' � YQN�Ü�PbD°X]JGN�YÖ�FIJGC+� � X]LQY?X�L8X�DGܾYQN�Ü�PbD°X�JKN�Y?Ö�FIJGC,�µÚ«DGPbÛ-'8JKP�' � â

èéN-Û�PoYQN�Ø�X�YQToL^X]Û�FIÜ*HGToHGJKN�Û/. Ö�FIJGC=X�JKD°X]LQHGFIJGFIPbL?JGDKN�NOYEN�JGN�DKÛ�FILQN�Y=ÙoT?X�L?ØIJGHø �-Y� Y �òù1X�LEY X]LÆFILQFIJGF³X]Ø HKJ°X�JKN0� " �1�'��JKCQN?LQPoYQN�H�FIL JGCQN?JKDGN�NÃDGN�RQDKN�HGN�LUJ8JKCQN8FMLÅáJGN�DKÛ�N�YEF\X]JGN�øiFILUJKN�DGN�HGJGFILQaoù*HGFIJKß^X�JKFMPbLQH5P]Ú JGCEN�ØMF·Ú«N¾P�Ú�ûgägX]LQY�JKCQN�X�DKÜ�H*P�Ú JKCQN�JGDKN�N�JGCENR^PbHGHKFMÙEFMØIFIJGFIN�H¾P�Ú,ûõP�Ú*R^X�HKHGFILQa=Ú«DKPSÛ�PSLQN8HKFMJKß^X�JKFIPSLÆJKPðX]LQPSJKCQN�D�â Õ J�FMH1FIÛ�RWPSDKJ°X�LoJ-JKPLQPSJKN�CQN�DKN@JKC^X�J�X�LÆX]DGÜ=ø«XÃJGD°X]LQHGFIJKFMPbL^ù� ��)� ��� � CWX�H-JKCQN�Ú«PbØIØMP�Ö�FILQa&Û�N®X]LQFILQa4U2.ñFIL

JGCQN¾HGFIJGß^X]JGFIPSL��¾C^X�H�JKCQNG\ �%S)���DX L�X ��61P�Ú R^X�HKHGFILQa&FMLoJKP�JGCQN-HKFIJGß^X]JGFIPSL�� � ÙoT&R^N�D�Ú«PSDKÛ�FILQaX�JKD°X�LEHGFIJGFIPSLµä^Ö�CEN�DGN1JGCQN�سX]Ù^N�Ø �ADGN�REDGN�HKN�LoJGH1JGCQN1FILUJKN�D°X]Ü�JGFIPbL�Ö�FIJGCÃJGCQN1N�LoàoFMDKPSLQÛ&N�LoJYQßQDKFMLEa@HKßQÜ(CòX8Û&P�àSN���JGCoßQH��Ü�PSLoJ°X]FILQH-FILoÚ«PbDGÛ@X]JGFIPSL8PbLéJGCQN&Ü�PSLQYEFMJKFIPSLQH-PbLéJGCQN&N�LoáàoFMDKPSLQÛ&N�LoJAÚ«PSD�JGCQN1Ü®X]R^X�ÙQFIØIFIJqT�JKP@ÙWN�Ü�PbÛ�N-N���N�Ü�JGFIàSNSäµX�LQY=PSL?JKCQN1JGD°X]LQHqÚsPSDGÛ8X�JKFMPbL8P�ÚHGßQÜ(C8N�LoàoFIDGPSLEÛ�N�LoJAFMLEYQßQÜ�N�Y8ÙoT�JKCQN-N��oN�Ü�ßQJGFIPSL8P]ÚôJKCQN*JGD(X�LQHKFMJKFIPSLkâ

èéNºX�HKHGßQÛ&N*JGC^X]J JKCQN-سX�ÙWN�ØIH P]Ú.JKCQN-ØIJGH�Û&PUYEN�ØIØMFILQa*JKCQN7!4"�&�$ �1)"! $ #�X�DKN�Ý^LQFIJGN*HGN�JGHP�Ú N�àSN�LoJGH�äkÖ�CEN�DGN�X]L K � KOQ���FIH,X6ÚëX]Ü�J �]Ü�PSLEYQFIJGFIPSL �]HGPbÛ�N�JKCQFILQa�C^X�RER^N�LEFMLEa@YEßQDGFILQa8JGCENHGToHGJKN�ÛæØIF·Ú«N�JGCWX�J�FIHkDGN�ØMN�àSX�LoJ�JGP5JKCQNAÜ�PSLQHKFIYQN�DGN�Y�RQDGPbÙQØIN�Û�â�ûoP*ÖAN HGJ(X�DKJ.ÙoT-YEN�JGN�DKÛ�FILQFILQaÖ�CQFIÜ(C�X�DGN�JKCQN5N�àSN�LoJGH�X�LEY�ÙUT1Ü�سX�HKHGF·Ú«ToFILQa*JGCQN�ÛñÖ�FIJGC�X�Ý^LEFMJKN�LoßQÛ�Ù^N�D P�ÚgêoFMLEYQH®äbJGCQN�LÖ N�HKR^N�Ü�F·Ú«T�JKCQN�Û�Ö�FIJGC@X,HGFIÛ�RQØIN!�& #"�$OHKR^N�Ü�FtÝWÜ®X�JKFMPbL�P]Ú.X-Y^X]J°X]JqTURWNSäbÖ�CQN�DKN,X]LoTOêoFILQYP�Ú�N�àSN�LoJ�FIH�N��oRQDKN�HGHKN�Y�ÙoT8X1aSN�LQN�D°X�JKPSD�â������� $ � �#�� ��(�(� ��$ ���

iG�0�&�-� <-��� @�� § * . ) ) �������ï�JkJKCQFIH.HKJ°X]aSN�FIJkFIH�LQPSJ X]YQàoFMH(X�ÙQØIN JKP*RQDGN�Ü�FMHKN�ØIT-HGRWN�Ü�F·Ú«T1JGCEN HKJ°X�JKN�H P]Ú�JKCQN ØIJKH.Û&PoYQN�ØIØIFMLEaJGCQN !#"�&�$ � )"!H$ # �^CEP�Ö N�àbN�D®ä�Ö N1LQN�N�YéJKP�êoLQP�Ö HGPSÛ&N�JGCEFMLEa�X�ÙWPSßQJ*JGCEN�Û�ägX�LEY?Ö N1Ü®X]LN��oRQDGN�HGHAJGC^X]J.ÙoT1HGPbÛ�N�& #"�$-PbR^N�D(X�JKFMPbLQH®ä]Ü®X�ØIØIN�Y:�������aK � ����K � � K2� ��ä®J(X�êoFILQa*JGCQN�HKJ°X]JGN5X�HX�L�X�DKaSßQÛ&N�LoJ.X�LEYODKN�JGßQDKLQFILQa-JKCQN�PSÙQHKN�DGàbN�Y�àSX]ØIßQNSâ�ìµFMLWX�ØIØITºÖAN�N��oRQDKN�HGHAJGCQN�REDGPSRWN�DKJGFIN�HPSL&JGCQN-ÙWN�C^X�àoFIPSßED P]ÚôJKCQN7!#"�&�$ � )"!H$ #�X]ØMPbLQa1JGCQN�Ú«PbØMØIP�Ö�FILQa-HKÜ(CQN�Û@X�U

� � G��5A4C �D�R�F�!W N7N�4N�GSR%T ��� �UREDGN�HKH?Ö�CQN�L HKN�JGH8P]Ú,N�àSN�LoJGH?X]DGN=FMLEÜ�PSÛ&R^X�JKFMÙEØMNbäkFqâ NSâIäÖ�CQN�L8JGCEN�T8Ü®X�LQLEPSJ�C^X]RQR^N�L@HKFIÛ�ßQØIJ°X�LEN�PSßQHKØITUâ

� L N;W D�R�FHA#GKT�C�FC KT��KN�R��:N�N�G T6R�D�R�N A��KT+N�Q�#N Q�T D�GKJ N�#N�GSR%T ìQPbD8N®X�Ü(C:HGJ(X�JKNÆPSÙÅáHGN�DKàSN�D�� ����N��oRQDGN�HGH8ø³F³ù*FIJGH*FILQFIJGF³X�Ø�àSX]ØMßENSä�ø³FIF³ù5FIJKHºàSX]ØIßQN¹X Ú«JGN�D���ø������ ù*C^X�RER^N�LEN�YkäÚ«PSD�N�X�Ü(C8êUFILQY&P�Ú N�àbN�LoJ��æÛ&PoYQF·Ú«ToFMLEaºFIJ�â

��� 4N�GSR7TY KN��%F�� � �Q%A� KN�Q%R�FHN�T ìQPbD�N®X�Ü(C8êoFMLEY@P]Ú.N�àbN�LoJ�� N��oRQDGN�HKH*JGCQN� Q%N��5A4GKJ FHR�F A#GKT RQDKPSRWN�DGJKFMN�H PbLOJKCQN�HGToHGJKN�ÛñHKJ°X�JKN5X�LQY1PSL�JKCQN�R^X]HGJ�ø³ÙWN�C^X�àoFIPSßQD

P]Ú.JGCENºHKToHGJGN�Û@ùADGN�ÞUßEFMDKN�Y8Ú«PbD���ø������ ùAJGP�J°X]êSN*RQسX�Ü�N� KA T6R �%A#G J F R�F?A4GKT REDGPSRWN�DKJGFIN�H-PbL?JGCQN�HKJ°X]JGN�X�LQY?PbL?JGCEN-Ú«ßEJGßQDKN?ø³ÙWN�C^X�àoFIPSßQD�P�Ú

JKCQN*HGToHGJKN�Û@ùAJKC^X�J�HKCQPSßQØIY8ÙWN5ÚsßQØ·Ý^ØIØMN�Y@X�ÚsJGN�D���ø�� ��� ùAJKPoPSê�RQسX�Ü�N� WHF!4N�G�N�T�T RQDKPSRWN�DGJKFIN�H�PSL JGCQN8HGJ(X�JKN@ßELQYQN�D1Ö�CQFIÜ(C"��ø�� ��� ù¾Ö�FIØMØ3HGßQDKN�ØITÆC^X]RQR^N�L

X]LQY�Ö�CQN�L?FIJ Ö�FIØIØgC^X�RER^N�Lµâ��CQN�L1JGCQN�HKR^N�Ü�F·Ý^Ü®X�JKFIPSL�P]Ú^JGCEN:!4"�&�$ � )"!H$ #*C^X]H JGCQNAÚsPSØIØIP�Ö�FMLEaAÚ«PSDKÛ ø³JKCQN�HGRWN�Ü�F·Ý^Ü�X�JGFIPbL# <�?�< 0�:,�: 0@CWX�H�ÙWN�N�L?J(X�êSN�L�ÚsDGPSÛ0ýMþ27��«ù�â����������� Ào $ � Â�%s�&�� � � �������#� � $ � �#��'&k�E@ ¦t§�¨ �n @�� § * . �����°� ��$ ���

�g�03Q�(� �.³ª&.³§ kGk �g�03Q�(� rtnAw ¿�À^Á�Â�(=� �  �(��monqp � uU�(psrt��miG�0�&�-� <-��� � ª�¥K§(¦ �.³ª&.³§ ) ) � �03Å� � J��4* �ŧM.s� @�� § * .·�I�g�0�&� �4*;� . � ª�¦�)#�.³ª&.³§ kGk � { p {K�G¯ rym { n ps� { rymSrtpsrtw�x.nqpqw�p { n3��¡kps� { nq��nqp {°¯kGk ��pqw�p { ��¬Un {K� ~ {K� n3� ¤�¥ m )X�.³ª&.³§#/ �)�*� n ������(�(���(�(��#1-2435&�kGk f\mU�(� ¯�� w®psry¬bx {º{ ~ { mSpqn�(�(�kGk,+ { xtw�psrt��mons�Sr � n�¬ { p ²�{({ m¹nqpqw�p { ��¬Un {K� ~ {K� nAw�mo� { ~ { mSpqn

�(�(�kGk »k~ { mSp n �Q{ �Gry­o� �S� � �Å{K� psr { n�(�(�

��CQN1R^PbHGJGÜ�PSLQYQFIJKFMPbLQHºX]LQY=JGCQN1ØIFMàbN�LQN�HKH*RQDGPbR^N�DKJGFIN�H-Ü�X�LQLQPbJ*Ù^N1N��oRQDGN�HGHGN�YÆßQHKFMLEa�PSLEØMTJGCQN3Ý^DKHGJqáqPSDKYQN�DAØIPSaSFIÜ X�àSX]FIØ\X]ÙQØINµÚ«PSD X5�oFIPSÛ&HkFIL(�& #"�$^äbJGCoßQH �& #"�$�.�/10�$¾N��oJGN�LQYEH FIJ�Ö�FIJGCÜ�PSÛ�ÙEFMLWX�JGPbDGH�Ú«DGPbÛæJGCEN�JGN�Û&R^PbD°X�ØEØMPbaSFIÜ5øKý 3 �«ùkJKC^X�J3Ö�FMØIØoÙWN5FILoJGDGPoYQßEÜ�N�Y�Ö�CQN�L&JGCQN�TOÖ�FIØIØÙ^N*ßQHKN�Y?FIL�JKCQN-Ü®X]HGN-HKJGßQYETUâ

��CQN:��� $H)"!&% &��(' )�� !#" '���"+������X]LQY�JGCQN:���($H)"!�%:&��(' )�� � ������������X�DKN�JqÖ P*Y^X]J°X]JqTURWN�H JKC^X�JX�DKNºHKR^N�Ü�F·Ý^N�Y?ßQHKFILQa��& #"�$�ÙoT�HGFIÛ�REØMT1aSFIàoFILQa1JGCQN�FID�abN�LQN�D(X�JGPbDGH�â

�%�@����������� �� À ����� � ����� � Á � Á���(�(� ��$ ���iG�0�&�-� <-��� '+* ©°¤ > §���,b§ m . ) ) � �����

������� ����� � �� À ���4�� �����#� Á ��(�(� �%$ ���iG�0�&�-�=< ��� '+* ©(¤ ( ,�. ¢-,#.b)�) � �*���èéN¹X]HGHKßQÛ�N1JGC^X]J*JGCQN1��� $ )"!�%:&��(' )���)�����0+�(' )���J(X�êbN�HOX�H1X�DGabßQÛ�N�LUJKH®äWLQPbJºPbLQØIT?JGCEN�FMLÅá

Ú«PSDKÛ@X]JGFIPSL�DKN�ÞoßQN�HGJ�ägÙQßQJ*X�ØIHGP�JKCQN1CQFIHGJGPbDGT&P�Ú JKCQN-HGToHKJGN�Û ø«X1HGN�ÞUßEN�LQÜ�N�P]Ú HGJ(X�JGN�H,X]LQYسX�ÙWN�ØIH°ù�ä�Ù^N�Ü®X�ßQHKN�FIJgÜ�PSLoJ°X]FILQH.X]ØMØbJGCQNARQFIN�Ü�N�H.P]ÚQFMLÅÚ«PSDKÛ@X�JKFIPSL5LEN�N�YQN�Y1JGP�aSFIàSN X]LOX�LQHKÖ N�D®â

��CQN8��� $ )"!�%:&��(' )�� ) ����06�(' )��-FIH HKR^N�Ü�F·Ý^N�Y?ßQHKFILQa��! #"�$�.�/+0�$�ÙUT�YEN(Ý^LQFILQa1FIJ Ö�FIJGCEFML8XHGRWN�Ü�F·Ý^Ü®X]JGFIPSL8P]Ú.JGCEN*Ú«PSØIØIP�Ö�FILQa�Ú«PSDKÛ�â��������������� �� À ���4�� &V � f ���4�� �

������� �� À ����� � ����� � Á � Á ��� �h����� � �� À ����� � ������� Á ��� �7��� Ào $ �  % ��$ ���i��%�&��j

kGk �Srtnqpq� � r { n�w �G{A� w � psrtw�xknq��nqp {(¯ xyry¡ { �(���Kx { n� <-��� ��m .i¤�£=B ) ) � ��*#� . ¶ �.³ª&.³§ ¸ D ¶ M��m .³¤�£ B�I � ª�¥G§(¦ �g.iª&.³§+I �.³ª&.³§ ¸ o5I3� ¦tª m .@) M��m .³¤�£ B"n��.³ª&.³§YIZ �U�(�Wm . )X�.³ª&.i§+I;� ) M��m .³¤�£ B5I^¦ ) � ª�¥G§(¦ �g.iª&.³§+I� N §³© ¶ �&¦ m . ¸�� � ¦tª m . ¶ � ¸� ��� n m . kGk rtn � w � psrtw�x� ¦tª m . ¶ �4*#� . ¶ m . ¸q¸�� m .� N §³© ¶ �&¦ m . ¸ � ¦tª m . ¶ �&¦ m . ¸�� m .3� �4* © ©0, * ) M��m .³¤�£ B�/ '+* ©°¤ > §���,b§ m .n '+* ©(¤ ( ,#. ¢-,�.�I�#1-2435&�kGk �S� � �Q{K� psr { nA��¡ ��* © ©0, * �(�(�

Ö�CQN�DKN-JGCQN*RQDKPSRWN�DGJKFIN�H5P]ÚPX Q�` `�T�Q�X�DKNºN��UREDGN�HKHGN�Y=ÙoT@X5�oFIPSÛ&H C^X�àoFILQa1JGCQN�Ú«PbDGÛ��Ka`?ø��WùG^ �#K>`Ãø+X �+K���ùG^ �#K>`?ø�X ��T+�GùG^ \ �#Q��kø�� YOX �+K���YDX ��T+�Gù ZX�Q�` `�T�Q.ø�� YOX ��K��Sù r X ��T+�X�LQY7\ ��Q��¾FMH5X¾Ü�PbL �(ßQLQÜ�JGFIPSL8P�Ú�R^PbHGFIJGFIàbN,X]JGPbÛ�H®â

Õ LéÛ@X�LoT?Ü�X�HGN�H�JGCQN8X�ÙWP�àSN1Ú«PbßQDOHKR^N�Ü�F·Ý^Ü®X�JKFIPSLQH1HGC^X]DGN8HGPbÛ�N1Ü�PSÛ&Û�PbL?R^X�DKJGH�ä�ÙUTßQHGFILQa�JGCQN �! #"�$*Ü�PbLQHGJKDGßQÜ�JKH ÚsPSD�JGCQN�YEN�Ü�سX�D(X�JGFIPbL-P�ÚgL^X�Û&N�Y*HGRWN�Ü�F·Ý^Ü®X]JGFIPSLEH®äbHGßQÜ(C�R^X]DGJGHÜ®X�L¾Ù^NAHGRWN�Ü�F·Ý^N�Y�X]R^X�DKJ X�LQY-DKN�ßQHKN�Y�Ö�CQN�L1LQN�N�YEN�Ykâ ��CQN�HGN�HGRWN�Ü�F·Ý^Ü�X�JGFIPbLQH X�DKN Ü�PSØIØIN�Ü�JGN�YJGPbaSN�JKCQN�D5X�LEY@REDGN�HKN�LoJGN�Y=Ù^N Ú«PSDKN-JGCQN*PbJGCQN�DKH5ßQLEYQN�D5JKCQN*JGFIJGØIN*P�Ú�Ù^X�HKFIܺYWX�J°XEâ

�S< ; @BN�T+Fad4G��PéYQN�HGFIabL X�L � Õ LoÚ«PbDGÛ@X]JGFIPSLÆûÅTUHKJGN�Û:�éÛ�N®X]LQH�JGP YQN�HKFMabL JGCEN *",��(��" %¹ä XõYQToL^X�Û&FMÜHGToHGJKN�Û FILoJGN�D(X�Ü�JKFMLEaéÖ�FMJKC×JGCQN !#"�&�$ � )"!H$ # øiÙUT×YQN�JGN�Ü�JKFILQaÆJKCQN?C^X]RQR^N�LQFILQaÆN�àbN�LoJGH(ù�äX�LQY&Ö�FIJGC8JGCQN*ßQHKN�DGH1ø³ÙoT�DKN�Ü�N�FIàoFILQa�JGCEN-FILoÚ«PSDKÛ@X]JGFIPSL1DGN�ÞoßQN�HGJGH*X�LQY8HKN�LQYQFILQa�Ù^X]Ü(ê�JGCENFILoÚ«PSDKÛ@X]JGFIPSL-PbßQJGREßQJGH(ù�â

èéNºX�HKHGßQÛ&N*JGC^X]J�JGCQN *",��(��".%7U

� êSN�N�RQHºX1àoFIN�Ö P]ÚôJKCQN-X�Ü�JKß^X�صHGFIJGßWX�JGFIPbL�P�Ú�JGCQNB!4"�&�$ �1)"! $ #^ä� ßQRWY^X�JKN�H5FIJAYQN�RWN�LQYQFILQa&PSL8JGCQN*YQN�JGN�Ü�JKN�Y=N�àSN�LoJKH®ä� YQN�Ü�FIYQN�H�Ö�CQFIÜ°C&FILoÚ«PSDKÛ@X]JGFIPSL-DKN�ÞoßQN�HKJGH�ÚsDGPSÛ�JKCQN*ßQHGN�DKH�JGP�X�Ü�Ü�N�RQJ�FIL�N®X]Ü(C�FILQHGJ(X�LoJ®ä� X�LQHKÖ N�DGH�JGP1HGßEÜ°C8DKN�ÞoßQN�HGJKH5Ö�FIJGC�JKCQN-X�RQREDGPSREDGF³X�JKN5FILoÚ«PbDGÛ@X]JGFIPSL¾PSßQJKRQßQJGH�ßEHGFILQa-FIJGHàoFMN�Ö P]Ú.JGCEN-HGFIJGßWX�JGFIPbL�P�Ú�JGCQNB!4"�&�$/�1)"! $ #^â

èéN¹X]HGHKßQÛ�N�X�ØIHGP8JKC^X�J-JKCQN*",��(��".%ñÜ�X�LéFIÛ�Û�N�YEF\X]JGN�ØIT&YQN�JGN�Ü�JOFILéX8Ü�PbDGDGN�Ü�JOÖ�X�T�X]LUTN�àSN�LUJ�C^X]RQRWN�LQFILQa*FIL-JGCQN:!#"�&�$ � )"!H$ #-X�LEYOJKC^X�J�JGCEN FILoÚ«PbDGÛ8X�JGFIPbL5DGN�ÞUßEN�HGJKH�X]DGNAC^X�LQYEØMN�YFIÛ�Û�N�YQF³X]JGN�ØIT�ø³Û&PSDGN�REDGN�Ü�FIHKN�ØIT�JGCQN*JGFIÛ&N LQN�N�YQN�Y8JGP1YQN�JKN�Ü�J�JKCQN*N�àSN�LoJKH�X]LQY�JKPOC^X]LQYQØINJGCQN*DKN�ÞoßQN�HGJKH*FMH�LEPSJADGN�ØIN�àSX]LUJ(ù�â

��CQN5YQN�HGFIaSL&P�ÚkJGCEN+*-,�����".% Ö�FIØIØ^ÙWN5HKR^N�Ü�F·Ý^N�Y8ßQHGFILQa��! #"�$�.�/+0�$OÙoT�ØIPSabFMÜ�X�ØIØITºHKR^N�Ü(áF·Ú«ToFMLEa@X�LéØIJKH-JGC^X]J-Û�PoYQN�ØMH�FIJ®â ��CQN&سX�ÙWN�ØIH-P�Ú�JGCQFIH-ØIJKHOX�DKN�JGDGFIRQØIN�H1Ü�PbLQHGFIHGJKFILQa8P�Ú5JGCENN�àSN�LUJKH5YQN�JGN�Ü�JKN�YéFIL8JGCQN3!#"�&�$ � )"!H$ #WäQJGCEN-DGN�Ü�N�FIàSN�Y=DGN�ÞoßQN�HGJGH1X�LQY8JGCEN-HGN�LoJ*PSßEJ�FMLÅÚ«PSD�áÛ@X]JGFIPSL1PSßQJKRQßQJ�â������� ��� Á ��� � ������� À ����� ����� �'&V���� ��� ����� � $ � ����'&k� @ ¦t§�¨ �n @ � § * .·� ��� �

&�� � � �������#� � ������� �� À ����� � ����� � Á � Á &k� @ ¦t§�¨ �n '+* ©(¤ > §��M,S§ m .·� ��� �&�� � � �������#� � ������� �� À ����� � �����#� Á &k� @ ¦t§�¨ �n '+* ©°¤ ( ,#. ¢-,�. � ��$ ���

i��%�&��j�g� <-���

��B m .³§�¨ ) ) � �R3Q�(� � � . ,Sª&. � ¤ * I� ª�¥G§(¦ ��B m .³§�¨ ) ) � ¶ J��4* �ŧM.s� @�� § * .y��IJ��4* �Q§�.s� '+* ©°¤ > § ��,S§ m .·�I J��4* �Q§�.³� '+* ©°¤ ( ,�. ¢-,�.·� ¸ I

3�W� ,(¢ N ª&.³§�)#� � .�,Sª&. � ¤ * / J��4* �Q§�.s� @�� § * .·�n � � . ,Sª&. � ¤ * I�4* © ©0, * )X� � .�,bª&. � ¤ * / '+* ©(¤ > §��M,S§ m .-n '+* ©(¤ ( ,�. ¢-,#.�I

�g�0�&� ª.� �K§s¢-.³ª�¥(¦t§ ) J��4* �Q§�.s� '+* ©°¤ > §���,b§ m . �I�#1-2435&�

� £«§ � m ��� � £s§�� d���� ����� � � � £s§��� � ª.� �K§s¢-.³ª�¥(¦t§ ¶ � £«§ � m ¸�� ¤&,�. m �� �4* © ©0, * ¶ m � . [ � £s§�� d ¸ ��� ����� � � �4* © ©R, * ¶ m � .�[ � £s§�� � ¸ � �

m � .�� ����� ��������� �������� ��� � ��� � ��� � n , ¢ N ª&.³§ ¶ m � .0[�§ �%m ¸ IkGk w Ä rt� ¯ nA� { ­SmbrymU±G,(¢ N ª&.³§ lUª.� �K§s¢-.³ª�¥(¦t§�w�mo� ��* © ©0, *

�(�(�°�(�(�p

Ö�CQN�DKN.�< 0�F� 10�<a=�? HGRWN�Ü�F·Ý^N�H8X8Y^X�J(X?HKJGDKßQÜ�JGßEDGN=YQN�HGÜ�DGFIÙQFILQa=FML×X�L×X�RQRQDKPSRQDKF³X�JGN&Ö�X�Tø³Fqâ NSâIäUX]RQJ5JKP�R^N�DGÛ�FIJAJGP�X]LQHGÖAN�D5JKP�X�ØIØgFILoÚ«PbDGÛ@X]JGFIPSL�DKN�ÞoßQN�HKJGH°ù�JKCQN *",��(��".%�÷ H�àoFMN�Ö�H�P�ÚJGCQN*RWPSHKHGFIÙQØIN*HGFIJGß^X]JGFIPSLEH�P�Ú.JKCQN7!#"�&�$ � )"!H$ #Wâ

��CUßEH�JGP�HGRWN�Ü�F·Ú«T&JGCQN¾YQN�HGFIabL@P]Ú.JKCQN *",�����".%æFIJAFMH�HKßoå�Ü�FIN�LoJ�JGP�abFIàSN�U

� JGCQN¾HGRWN�Ü�F·Ý^Ü®X]JGFIPSL'�< 0�F� +0�<>=@? �� JGCQN*X5�oFIPSÛ&HgYQN(Ý^LQFILQa¾JGCQN�PSRWN�D°X]JGFIPSLGTMS)�����aK YEN�HGÜ�DKFIÙQFILQa-CQP�Ö×JGCEN�*",�����".% ßQRWY^X�JKN�HFIJGH�àoFIN�Ö P]Ú.JKCQN7!4"�&�$ �1)"! $ #�Ö�CQN�LÃFMJAYQN�JKN�Ü�JKHºHKPSÛ&N5N�àbN�LoJGH �

� JGCQN�X5�oFIPSÛ&HgYQN(Ý^LEFMLEa5JGCEN RQDKN�YQFIÜ®X]JGN%��\0\0K S ��� �ML�K�YQN�HKÜ�DGFIÙQFILQa*Ö�CQFIÜ(C1HGN�JKH.P]Ú^DGN�ÞUßEN�HGJKHÛ@X�T1Ù^N1X�Ü�Ü�N�RQJGN�YÃHGFIÛ�ßQØIJ°X]LQN�PSßEHGØITOÙoT&JGCQN *",��(��".%(�

� JGCQN?X��UFIPbÛ�H*YQN(Ý^LEFMLEa�JKCQN�PbR^N�D(X�JKFMPbL X�QM` `�T�QÃYQN�HGÜ�DGFIÙQFILQaéÖ�C^X]JOFIH-JKCQN8DGN�HKßQØIJ�P�ÚN®X�Ü(C×FILoÚ«PbDGÛ@X]JGFIPSL=DGN�ÞUßEN�HGJ&YQN�RWN�LQYQFILQaéPbLÆJGCEN *",��(��".%�÷ HOàoFIN�ÖñP]ÚºJGCEN@JKCQNE!#"�&�$�1)"! $ #�HGFIJGß^X]JGFIPSLµâ

�S<�� � A4Q%Q%N��%R�G�N�T�TèéN5FILoJGDKPUYEßQÜ�N-JKCQN�Ú«PSØIØIP�Ö�FILQa*HGRWN�Ü�F·Ý^Ü®X]JGFIPSLSU��������������� �� À ���4�� ��� Á ��� � �

������� �� À ����� � &�� f ����� ����� � � � Á ��� �é��$ ����g�0�&� ' ¨�¢_) ��m .³¤�£=B�/!� � .�,Sª&. � ¤ *�#1-2435&��(�(���(�(�� � "�0�:��:FIH�Ü�PbDGDKN�Ü�J5Ö-â D�â J�â 6�?���=��,�! +0�<>=�? # F�?+� 0�<a=�?=F �

þSâ � � "�0�: �:FMH�HKßoå�Ü�FIN�LoJGØIT&Ü�PSÛ&RQØIN�JGN*X�LQY8CQFIN�D(X�DGÜ(CQFIÜ®X]ØIØMT�Ü�PSLQHKFMHKJGN�LoJ�Ö-â D�â J®âQ����: ?�0 ä6�?���=��,�! +0�<>=�? 9;:���F�:'"�0#"1X�LQY76�?���= �,�& +0�<>=�? 8HF�0�BF�0#"Sâ

ÿQâ;6�?���=��,�! +0�<>=�? � � "�0�:�� � r �8��� U � X �>T+���>X �#Q YOX �+K��:U IRQ�`�� -�K��DT�K����OYX ��T+� U�IRQM`�� J�T+�USVT+��YOX�Q�` `MT�Qµø ����YOX ��K �bù rWX ��T+� Z� �1U�EX���� ���+6 �PI 4PS ø�� Y����qù ^7X�Q�` `�T�Q�ø�� YDX �+K���ù r X �#T1�

PSJKFIÜ�N�JGC^X]J JKCQN�RQDKPUP]ÚkC^X�H3JGP1Ù^N�YQPbLQN5FIL1JGCQN�DGN®X]ØIÛ P]ÚkJGCQNAÝWDGHGJ�áëPbDGYQN�D�ØMPbaSFIÜSäSX]LQYLQPSJ�DKN�ÞoßQFIDGN1JGP&Ü�PSLQHKFIYQN�D*JGCQN1JGN�Û�RWPSD°X]ØgN��oJGN�L �UFIPbL�P]Ú%�& #"�$�.�/+0�$^äWFIL?JGCEFMH`Ú«D°X]Û�N*JGCENJGN�Û&R^PbD°X]ØQÜ�PSÛ�ÙEFMLWX�JGPbDGH X]DGN�ßQHGN�Y8PbLQØIT�JGP-N��oRQDKN�HGH�JGCQN*RQDKPSRWN�DGJKFIN�H�P�Ú�JGCQN7!#"�&�$/�1)"! $ #^äFqâ NbâMäbP�Ú�JGCQN1X�RQRQØIFIÜ®X]JGFIPSL�YQPbÛ@X]FMLµâ

� 9�����"! ÎQÒ�Ñ$#�% �'& � ÌbÍ � Ð3ÔGÓ=� ! #��bÎ��S�

�=<?> � C�N � G 4A#F �%N��,*ST6R�N�C

InformationOutputs

questions about the workingPerformance Requests:

the management decisionsof the company to support

CompanyIS:the companyinformation system

Performance Info:the required informationon the company performance

Performance Function:the performance informationdepends on the pastbehaviour of the company

Design Domain Requirements

a trading company buyingproducts from producersand selling them to clients

Company:

SystemInformationRequests

Real World

FunctionInformation

��CQFIH*Ü®X�HKN�HGJKßQYQToäkJKCQN�FILoàSPSFIÜ�N1HGToHKJGN�Û=äkFIH*FILQHGRQFIDKN�Y=Ú«DGPbÛ�PSLQN�RQDKPSRWPSHKN�YéFIL ýMþ��Gâ ��CENRQDGPbÙQØIN�Û#ßQLQYEN�DOHKJGßQYET?FIHOX�L=FILoÚ«PSDKÛ@X]JGFIPSL&HGToHGJKN�Û0Ú«PSD-X&Ü�PSÛ&R^X�LoT8HGN�ØMØIFILQa&RQDGPoYQßQÜ�JGHJGP&Ü�ØIFMN�LUJKH5JKP�HGßERQR^PbDGJ*JGCENOÛ8X�L^X]aSN�Û&N�LoJ YQN�Ü�FIHGFIPSLQH�â ��CQNOÜ�ØMFIN�LoJKH5HGN�LQY�PbDGYQN�DGH-JKP�JGCENÜ�PSÛ&R^X�LoToägÖ�CQN�DKNðX]L×PSDGYEN�D�Ü�PbLoJ°X�FILQH�PbLQN�X]LQY×PSLQØITÆPbLQN8DGN(ÚsN�DGN�LEÜ�NéJGPÆX]LòPbDGYQN�DGN�YRQDGPoYQßEÜ�J FIL�X*abFIàSN�L�Þoß^X]LUJKFIJqTUâ ��CEN5HGJ(X�JKßQH�P�ÚkX�L&PSDGYEN�D Ö�FIØIØQÙWN5Ü(C^X]LQaSN�Y6Ú«DGPbÛ �GRWN�LQYoáFILQa��1JGP-�GFILoàSPbFMÜ�N�Y��1FtÚ�JGCQN¾PSDGYEN�DGN�YÃÞUßWX�LoJGFIJqT�FIH�ØIN�HGH�PSDAN�Þoß^X�صJGP�JGCENºÞoß^X]LoJGFIJqT�P�Ú JGCEN

Ü�PSDKDGN�HKR^PbLQYQFILQaéDKN(Ú«N�DKN�LQÜ�N�Y RQDGPoYQßQÜ�J�FML HGJKPUÜ(êgâ N�Ö PbDGYQN�DKH�Û@X�T�X]DGDKFMàbNSä X�LEYÆJGCEN�DGNÛ@X�T&Ù^N�HKPSÛ�N�X�DKDGFIàSX�ØIH�P�Ú�RQDGPoYQßQÜ�JGH1FML=HGPbÛ�N-Þoß^X]LoJGFIJqT?FIL�JKCQN�HGJKPoÜ°êgâgèéN�X]ØIHGP�Ü�PSLoáHGFIYQN�DAJGCWX�JAJGCQFIHAÜ�PSÛ&R^X�LoT1Û@X�T-YQN�Ü�FIYQN5JKPOYQFIHKÜ�PSLoJGFILoßQN�HGPSÛ&N�RQDGPoYQßEÜ�JGH�JGC^X]J C^X�àbN5LQPbJÙ^N�N�L�HKPSØIY�Ú«PbD HGPbÛ�N�abFMàbN�L�JKFIÛ�N*ø³NSâ a^âIäbHGF���Û�PbLoJGCQH(ù�â�ï�L�PSDKYQN�DAÛ@X�T-ÙWN*DGN(ÚsßQHGN�Y8Ö�CQN�LJGCQN&RQDGPoYQßEÜ�JOFIH1LQP?Û&PSDGN�JKD°X]YQN�YkäµPSD1Ö�CQN�L JGCQN&ÞUßWX�LoJGFIJqT=PSDGYEN�DGN�Y×FIH-LQPbJ¹X�àSX]FIØ\X]ÙQØINFIL�JKCQN�HKJGPoÜ(êÆX�LQYéX8YQN�Ü�FMHKFIPSLÆÖ�X�H¾J°X�êbN�LéJGPÃYQFIHGÜ�PbLUJKFILUßEN�JGCQN&RQDGPoYQßQÜ�J �µJGCQFIH-DKN(Ú«ßQH(X�ØHGCQPbßQØIY?J°X]êSN�RQسX]Ü�NOÖ�FIJKCQFIL�PbLQNOÛ&PSLoJGC=X�Ú«JKN�D*JGCQN�PbDGYQN�D¾Ö�X]HºDKN�Ü�N�FIàbN�YkâµèéNOJ(X�êSN1JGCENCoTURWPSJKCQN�HKN�H*JGC^X]J5JGCEN-HGFIú�N1P�Ú JGCEN-Ü�PSÛ&R^X�LoTg÷ H Ö�X�DKN�CQPbßQHGN1FIH5ßQLQØIFIÛ�FIJKN�Y�X�LQYÃJGC^X]J5JGCENJGD(X�YQN�Y8RQDKPoYQßQÜ�JKHºX�DKN-LQPbJ RWN�DGFIHKC^X�ÙQØINSâ

��CQN*RQFIÜ�JGßQDKNOX�ÙWP�àSN*HKCQP�Ö�H�CQP�Ö JKCQN-FILoàSPSFIÜ�N�HGToHGJKN�Û#Û@X]JGÜ(CQN�HAJGCEN Õ û6Ú«D°X]Û�NSâ

.5ßEN�JGP1Ø\X]Ü(ê-P�ÚkHKR^X�Ü�NbäoJGCQN�Ü�PSÛ&RQØIN�JGN�HKR^N�Ü�FtÝWÜ®X�JKFMPbLQHAP�ÚkJGCEN5DGN�ÞUßEFMDKN�Û�N�LUJKH�X]LQY�JGCENJGCQN*YQN�HGFIaSL8R^X]DGJ�Ö�FIØIØgLQPSJAÙ^N¾aSFIàSN�L&CQN�DKN-ÙQßQJ�JKCQN�T?X�DKN,X�àSX]FIØ\X]ÙQØIN�FIL�ý47��Gâ

�=< ; @BA4CED�FHGID�GKJML7N�O#P�FHQ%N�CEN�GSR�Tï5H�N��oRQسX�FILQN�YOFIL�ûoN�Ü�J�â�*Wä®JKP*HGRWN�Ü�F·Ú«T1JGCQN�DKN�ÞoßQFIDGN�Û&N�LoJGH�FILOJKCQFIH.Ü�X�HGN�Û&N®X�LEH.JKP*RQDGP�àoFIYQNÚ«PSßEDºHKR^N�Ü�F·Ý^Ü®X�JKFIPSLQH1Ü�PSDKDGN�HKR^PbLQYQFILQa=JGP?JKCQN1Ú«PbßQD-R^X]DGJGH¾P�Ú�JGCQN6Ú«D°X]Û�NSäWÖ�CQFIÜ(CÆX�DKN�DGN(áR^PbDGJKN�Y8FML8JKCQN�Ú«PSØIØIP�Ö�FILQa-HGßEÙQHGN�Ü�JGFIPSLQH�âgûoPSÛ&N�HGRWN�Ü�F·Ý^Ü®X]JGFIPSL?Û&PoYQßQØIN�H�X�DGN*ÞoßQFIJGN*سX�DKaSNSäJGCoßQH�äoÚ«PbD5DGN�X�Y^X]ÙQFIØMFIJqT�H(X�êSNbä^ÖAN-RQDKP�àoFMYEN-HGPbÛ�N��qÚ«DKFIN�LQYQØIT+�¹X]ÙQÙQDKN�àoF\X]JGN�Y=RQDKN�HGN�LoJ(X�JGFIPbLP�Ú�JGCQN�Û=â ��CQN-YQPbÛ@X]FML�X�LEY@DKN�ÞoßQFIDGN�Û&N�LoJGH�HGRWN�Ü�F·Ý^Ü®X]JGFIPSLQH�HGC^X]DGN-HKPSÛ&N5Ü�PbÛ�Û�PbL�Y^X�J(XHGJKDGßQÜ�JKßQDGN�H®ä^X]LQY�ÙoT�ßQHKFILQaOJKCQN%�! #"�$1Ü�PSLEHGJGDKßQÜ�J`Ú«PSD JKCQN*YQN�Ü�سX]D°X�JKFIPSL�P]ÚkL^X�Û&N�Y�HGRWN�Ü�F·áÝ^Ü®X]JGFIPSLQH�äoÖ N*C^X�àbN*HGRWN�Ü�F·Ý^N�Y?JKCQN�Û#X�R^X]DGJ5X]LQY�Ü�PbØIØMN�Ü�JGN�YÃJGPSabN�JGCEN�D�ßQLQYQN�D5JGCENºJKFIJGØIN*P�ÚÙ^X�HKFIܺYWX�J°XEâ

� D#T+F �9@BD�R�D ûÅPSÛ�N¾PSÙoàoFMPbßQH*Ù^X�HKFIÜOY^X]J°X8X�DKN�JGCQN1Ü�PoYQN�H¾Ú«PbDºREDGPoYQßQÜ�JKH®äµPSDKYQN�DGH�ä.X]LQYÜ�ØIFIN�LoJGH®äµX�LQY?JKCQN�Þoß^X�LoJKFMJKFIN�H®âgèéN¾LQN�N�YÆX]ØMHKP?X�LEPSJGFIPbL?P�Ú�JGFIÛ�N*N�LEÜ�PoYQN�YÆFILoJGP8X&Y^X�JKNø³Y^X�T �]Û�PSLoJKC ��TbN®X�D(ù�â ��CEN�Ü�PSÛ&R^PbLQN�LoJGH P]Ú�X]L�PSDKYQN�D X]DGN�JGCEN5Y^X]JGN�Ö�CQN�L�FIJ FIH DKN�Ü�N�FIàbN�YkäJGCQN&RQDGPoYQßEÜ�JOPbDGYQN�DGN�Y:ø³DKN(Ú«N�DKN�LQÜ�N�Y ÙoT=FMJKHOÜ�PUYEN®ù�ä�JKCQN8ÞUßWX�LoJGFIJqT=PSDGYEN�DGN�Yµä�JGCQN&Ü�ØIFMN�LUJÖ�CQP�FIHGHKßQN�Y=JGCQN-PbDGYQN�D¹øiDGN(ÚsN�DGN�LEÜ�N�YéÙoT8FMJKH5Ü�PoYQN�ù�ägX�LQY=X�L?PbDGYQN�D�Ü�PoYQNSâkó[PSDGN�P�àSN�D�ä^JKPHGRWN�Ü�F·Ú«T1JGCQN�FILoàSPbFIÜ�N HKToHGJGN�Û�ä�ÖAN�LQN�N�Y8X�ØIHGP*JKP-ßQHGN�JKCQN5N�Ø\X]Ù^PbD°X]JGFIPSL-HKJ°X]JGßQHAP�ÚkX�L�PbDGYQN�DX�LQY&JGCQN¾JGD°X]YQFILQa1HGJ°X]JGßQH�P�Ú X1RQDGPoYQßQÜ�J®â������� ¿ � % � ��03Q�(�(��� £«¤ N ,/��. ��¤ N §(l ( £ N §�£ �g¤ N § l��W¦ � § * . �g¤ N §

kGk �(��� { n�rt� { mSpsry¡³��rymo±�ps� {��b� ����uo�°pqn(lops� { � � � {K� n w�mo��ps� { �Kxyr { mSpqn���������� À ���� � � ��03Q�(��� ,bª * . � . B kGk ps� {�¼ uUw�mSpsrtpsr { n���¡kps� { �(��mUnsrt� {G�G{ � �S� ����uo�(pqn

3�W��� ) n � ,Sª * . � .CB5IG ) � ,bª * . � . B/ � ,Sª * . � .CB n � ,Sª * . � .CB�l �&35G5 l �S�(�03Q� l� ��2I�� I� ) � ,bª * . � . B/ � ,Sª * . � .CB n o � ,Sª * . � .CB�l�� ��2I��� I

�g�0�&� ) � ,Sª * . � .CB/ � ,Sª * . � .CB5I�(�(�

��������� À ��� �� À ���%$ ���

i��%�&��j

� <-����� ª&.³§ ) ) � � � ¶�� ª&.�I � ª&.�I � ª&. ¸ I kGk �bw®p { nAw®n �bw���� ¯ ��mSps����� { w ��g�0�&� ) � ª&.³§�/ � ª&.i§5I3� �4*#� . � ª�¦ N ª&.³§ ) n � ª&.³§+I

�(�(���������� % � �

¿ � % �O��� � �� À ���� � �&��� � � À ���-��$ ���iG�0�&�-� <-��� ( £ N §�£ ) ) � ¨� ¤�£ N §�£ ¶ ¢^£«¤ N ,/��. ) � £s¤ N ,/��. �g¤ N §5I ��,Sª * . � .CB ) � ,bª * . � . B�IN ª&.³§ ) � ª&.³§5I �G¤ N § ) ( £ N §�£ �g¤ N §5I �(¦ � § * .�)Q�W¦ � § * . �g¤ N § ¸

������� ��� À �� Á �iG�0�&�-� <-�����

� £s¤ N ,���. �.³ª&. , m ) ) � .³£sª N § N D * ¤&. .³£«ª N § N I( £ N §�£ �.³ª&.�, m ) ) � ¢U§ *#N��4*S� D �4* � ¤ � �K§ N D * ¤ * § A���m . ��*�� D1£«§³©0, m § N I

kGk { xtw�¬Q� � w®psrt��m@nqpqw�psuUn { nA��¡ �b� ����uo�°pqnAw�mU��p � w���rymU±¾nqpqw®psuon { nA��¡k� � � {G� n

L7N�D�W� A#Q�W J �.P&HGRWN�Ü�F·Ú«T8JGCEN.!#"�&�$ �1)"! $ #8Ü�PSÛ&R^PbLQN�LoJ�P�ÚAJGCQNOX]RQRQØIFIÜ®X�JKFIPSL8YQPSÛ8X�FILkäÖ N�CWX�àSN�JGP¾N��oRQDGN�HKH�JGCQN�DKN�ØIN�àSX�LoJ REDGPSRWN�DKJGFIN�H�P�ÚgFIJGH ÙWN�C^X�àoFIPSßED®ä]Ú«PSØIØIP�Ö�FILQa�JGCQN�HGÜ(CQN�Û8XFILUJKDGPoYQßQÜ�N�Y×FML ûoN�Ü�J®â *^âIþ��kJKCUßEH®ä ÖAN&Ý^DGHKJ�YQN�JGN�DKÛ�FILQN8JGCQN �GN�àbN�LoJGH �ÆX]LQY×JGCQN �GHGJ(X�JKNPSÙQHKN�DGàbN�DGH��^äkX]LQY=JGCQN�LéÖAN1ØMPoPbê�ÚsPSD5JKCQN8�GFILQÜ�PSÛ�RWX�JGFIÙQØIN�N�àSN�LoJKH �^ä�JGCQN8�KDGN�سX�JKFIPSLQHKCQFIRQHÙ^N�JqÖ N�N�L�HGJ(X�JKNºPbÙQHGN�DGàSN�DGH5X�LEY�N�àSN�LoJKH �^äQX]LQY1Ú«PbD JGCQN:�GN�àbN�LoJ HKR^N�Ü�F·Ý^Ü*RQDGPbR^N�DKJGFIN�H��^âoèéNRQDGP�àoFIYQN1Ù^N�ØMP�Ö JGCQN�X]ÙQÙQDKN�àoF\X]JGN�YéREDGN�HKN�LoJ°X�JKFIPSLòX]LQYéX8HGêbN�JGÜ(CéP�Ú�JGCEN�Ü�PSDKDGN�HKR^PbLQYQFILQa�& #"�$�.�/+0�$�HGRWN�Ü�F·Ý^Ü�X�JGFIPbLÆø³HKN�N�ý47��gÚ«PbD JKCQN*Ú«ßEØMØWHGRWN�Ü�F·Ý^Ü�X�JGFIPbL^ù�â

�� �������� èéN1RQDGN�HGN�LoJ-JKCQNON�àSN�LoJGH¾ÙUTÃØMFIHKJGFILQa�JGCEN�aSN�LQN�D°X�JKPSDKH¹øiÖ�DGFIJGJKN�LéßQHKFMLEa�Ü®X]RQFIJ°X�ØØIN�JGJKN�DGH(ù�Ö�FIJGC&JGCQN�FID*X�DGabßQÛ�N�LUJKH�X]LQY?X-HKCQPSDKJ5Ü�PbÛ�Û&N�LoJ®â

� -M1���1 I���1 J3-��?øMJ� ��K2�®ù JKP�DGN�Ü�N�FMàbNOX�L8PbDGYQN�D� �;1���� I�� � J I!��11ø�J� �#K ��ù JGP�HKN�LQY?JKCQN*FMLoàbPSFIÜ�N�ÚsPSD5X�L8PbDGYQN�D� -M1 �#" �;1&ø�J����K2� ù JGP�DKN(Ú«ßQHKNOX�L8PbDGYQN�D� -M1���1 I���1 $3-EJ��?ø%$� �2��T�\2� � � �#K+��&�T+��Q��aX ��6Sù

JGP1DGN�Ü�N�FIàSN1HGPSÛ&N5Þoß^X]LUJKFIJqT�P�ÚôX1REDGPoYQßQÜ�J� � I �'��J��)( I��*"�1�ø%$� �2��T�\2� � �2��K�ù JKP�YQFIHGÜ�PbLUJKFILUßEN,X1REDGPoYQßQÜ�J� � ��+����31�ø,�6���aK�ù JGP1Ü(C^X�LEaSN-JKCQN*Y^X�JKN

-��/.0�/�2143�����5� ���5�� èéN-HKFMÛ&RQØIT�RQDKN�HGN�LUJ¾JGCQN1HGJ(X�JGN�PbÙQHGN�DGàSN�DGH-ÙoT8ØIFMHKJGFILQa&JGCQN�Û0Ö�FIJGCJGCQN�JqToR^N�H�P]Ú.JKCQN�FID5X�DKaSßQÛ&N�LoJGH X]LQY�DKN�HGßQØIJ�äQYQDKPSRQRQFILQa1JGCEN5HGJ(X�LQYWX�DGY?X]DGaSßEÛ�N�LoJ P]Ú.JGCENYQToL^X�Û&FIÜ-HGPbDGJ��'�����aKoâkèéN1ßQHKN�JGCEN�LQPSJ(X�JGFIPbL�Ü�PbLoàSN�LoJGFIPbLéJGC^X]J-HGPbDGJ-FIYQN�LoJKFtÝWN�DGH1HGJ(X�DGJÖ�FIJGC-Ü®X]RQFIJ°X]ØUØIN�JKJGN�DKH®ä�Ö�CEN�DGN®X]H PSRWN�D(X�JGFIPbL¹X]LQY-RQDKN�YQFIÜ®X�JKN�FIYQN�LoJGF·Ý^N�DKH X�DGNAÖ�DGFIJKJGN�L�ßQHKFILQaPSLQØIT�ØIP�ÖAN�D Ü�X�HGN¾ØMN�JGJGN�DGH®â� S ��� �#T�\2� �������aT��Sø%$� �2��T�\2� � �2��K�ù U�$��� �#T�\ � � � ���>T�� JKD°X]YQFILQaOHKJ°X]JGßQH�P�ÚôX1REDGPoYQßQÜ�J� ������K2� �������aT��Sø�J� �#K � � �2��K�ù U�J� �#K � �'�����aT�� N�سX�ÙWPSD(X�JGFIPbL�HGJ(X�JKßQH5P]ÚôX�L8PbDGYQN�D� � � ��X4L�� �ML�K �OT1�#Q��aX �6Wø,$ � �2��T�\ � � � �#K ù U6&�T1�#Q��aX �6

X�àSX�FIسX�ÙEØMNAÞoß^X�LoJKFMJqT�P]Ú X-RQDKPoYQßQÜ�J�FML&JGCQN¾HGJGPoÜ(ê� �����>K/U��%���>K X�Ü�JGß^X]ØgY^X�JKNè FIJGC&JGCQN*Ü�PbDGDGN�HGRWPSLQYQFILQa6Ú«PSDKÛ@X]ØQHGRWN�Ü�F·Ý^Ü®X]JGFIPSL ø³HGN�N�ý47��gÚ«PbD�JGCQN�Ú«ßQØIØgHKR^N�Ü�FtÝWÜ®X�JKFMPbL^ù+U

������� ��� À ��� ��� Á � � � Á��� % � 8��� �'��� À �� Á ��$ ����03Q�(� �g.iª&.³§3�W� ¢^£s¤ N ,/��. m .³ª&.�, m )#�.³ª&.³§#/ � £s¤ N ,/��. ��¤ N § n � £s¤ N ,/��. �.³ª&.�, mkGk p � w���rymU±¾nqpqw®psuon ��¡�w �b� ����uU�(p�(�°�

���������'.0����3� � �� �������� èéN�HKFMÛ&RQØIT?RQDKN�HGN�LoJ�JKCQN8FMLEÜ�PSÛ&R^X�JKFMÙEØMN1N�àbN�LoJGH�ÙoTéØIFMHKJGFILQaJGCQN*FILQÜ�PbÛ�R^X]JGFIÙQØIN�R^X]FMDKH®â� ï�ØMØWN�àbN�LoJGH5DKN(Ú«N�DKDGFILQa�JKPOJqÖAPOPbDGYQN�DGH�Ö�FIJGC&JGCQN*H°X]Û�N�Ü�PoYQN-X�DGN*R^X]FIDGÖ�FIHGN�FMLEÜ�PSÛ&R^X�JKFtá

ÙQØINSâ� >3@ � @ '��Q@ ( >�� ¶ ¤ ¸ [ � @ � � ' � � ( ' � @ ¶ ¤�\ ¸ ���y�®� �G¤ N § ¶ ¤ ¸ � �K¤ N § ¶ ¤�\ ¸� >3@ � @ '��Q@ ( >�� ¶ ¤ ¸ [ > @�J�� � @ ¶ ¤ \ ¸ �®�y��� �G¤ N § ¶ ¤ ¸�� �K¤ N § ¶ ¤ \ ¸� � @ � � ' � � ( ' � @ ¶ ¤ ¸ [ >3@�J�� � @ ¶ ¤ \ ¸ ���y�®� �G¤ N § ¶ ¤ ¸ � �K¤ N § ¶ ¤ \ ¸� >3@ � @ '��Q@ ( >�� ¶ ¤ ¸ [ > @ � @ '��Q@ ( >�� ¶ ¤ \ ¸ ���y�®�

�K¤ N § ¶ ¤ ¸ � �G¤ N § ¶ ¤ \ ¸ � ¶ ¤ � ¤ \ ¸� � @ � � ' � � ( ' � @ ¶ ¤ ¸ [ � @ � � ' � � ( ' � @ ¶ ¤ \ ¸ ���y���

�K¤ N § ¶ ¤ ¸ � �G¤ N § ¶ ¤�\ ¸ � ¶ ¤ � ¤S\ ¸� >3@ J�� � @ ¶ ¤ ¸ [ > @�J�� � @ ¶ ¤�\ ¸ �®�y��� �G¤ N § ¶ ¤ ¸ � �G¤ N § ¶ ¤S\ ¸ � ¶ ¤ � ¤�\ ¸

� ï�ØMØgN�àSN�LoJGH�DGN(ÚsN�DGDKFMLEa�JGP1JGCEN-H°X]Û�N5REDGPoYQßQÜ�J*X�DKNºRWX�FIDGÖ�FIHGN*FILQÜ�PbÛ�R^X]JGFIÙQØINSâ� >3@ � @ '��Q@ � >"( � ¶ ¢,[ � ¸ [ � @ � � ' � � ( ' � @ ¶ ¤ ¸ ��� ��� ¢^£«¤ N ,/��. ¶ ¤ ¸ � ¢� >3@ � @ '��Q@ � >"( � ¶ ¢,[ � ¸ [ � ' �,� ( ��� ' � �Q@ ¶ ¢ \ ¸ ���y��� ¢ � ¢ \� � @ � � ' � � ( ' � @ ¶ ¤ ¸ [ � ' �,� ( ��� ' � ��@ ¶ ¢ ¸ ���y�®� ¢^£«¤ N ,���. ¶ ¤ ¸�� ¢� >3@ � @ '��Q@ � >"( � ¶ ¢,[ � ¸ [ >3@ � @ '��Q@ ��>�('� ¶ ¢�[ �5\ ¸ ���y��� � � � � \

� ï�ØMØgÜ(C^X]LQaSN*Y^X]JGN-N�àSN�LoJGH5X]DGN-RWX�FIDGÖ�FIHGN*FILQÜ�PbÛ�R^X]JGFIÙQØINSâ� � �� � T @ ¶ N ¸ [ � �� � T @ ¶ N \ ¸ �®�y��� � N � N \

Õ LéJGCQN8Ü�PbDGDKN�HGRWPSLQYEFMLEa �& #"�$=HGRWN�Ü�F·Ý^Ü�X�JGFIPbL øiHGN�Néý47��«ù*N�X�Ü(CÆR^X]FID-Ü�PSDKDGN�HKR^PbLQYQH&JGPéX�LX5�oFIPSÛ=ä®Nbâ aWâIäoJGCQN*ÝWDGHGJ�JqÖAP�X5�oFIPSÛ&H�Ù^N�ØIP�Ö-â

m . � � n m .\ >3@ � @ '���@ ( >�� ¶ ¤ ¸�� ¦ � @ � � ' � � ( ' � @ ¶ ¤�\ ¸�� ¦�� ¶ �K¤ N § ¶ ¤ ¸ � �G¤ N § ¶ ¤�\ ¸q¸

m . � � n m .\ >3@ � @ '���@ ( >�� ¶ ¤ ¸�� ¦ >3@�J�� � @ ¶ ¤�\ ¸�� ¦�

� ¶ �K¤ N § ¶ ¤ ¸ � �G¤ N § ¶ ¤�\ ¸q¸� �� .0�����0���������� 3 �����4� ��� -��/.0�/� 143�����5� ���5�� .0��� �� ���� � � èéN�HGFIÛ&RQØIT?RQDGN�HGN�LoJJGCQN8DKN�سX�JGFIPbLQHGCQFIRQH1ÙWN�JqÖ N�N�L HGJ(X�JKN@PbÙQHGN�DGàSN�DGH@X]LQYÆN�àSN�LoJGH&ÙoTéØMFIHKJGFILQaÃÚ«PSD1N®X�Ü(C×HGJ(X�JKNPSÙQHKN�DGàbN�DAFMJKH FILQFIJGF³X�ØoàSX]ØMßENSä�Ö�CQFIÜ(C�N�àSN�LUJKH�Û�PoYQF·Ú«T�FMJAX�LQY�CQP�Ö-â ��CQFIH سX�HKJ R^X]DGJ FIH abFMàbN�LÙoTOHKJ°X�JKFILQaOÖ�CEFMÜ(C�FIHAJGCQN�PSÙQHKN�DGàbN�D�àSX�ØIßQN5X Ú«JGN�DAJGCENºCWX�RQRWN�LQFILQa-P]ÚkJGCQN*àSX]DGFIPSßQH3N�àSN�LoJKH®â PbJGFIÜ�N5JKC^X�J�HKßQÜ(C8àSX�ØIßQN5Ü�PSßQØIY�ÙWN*N��oRQDGN�HGHGN�Y?ÙoT�ßQHGFILQa�X]ØMHKP-JGCENºPbÙQHGN�DGàSX�JKFIPSLQH�PbL�JGCENHGJ(X�JGN&Ù^N Ú«PSDKN�JGCEN�C^X]RQR^N�LQFILQa?JGCEN�N�àbN�LoJ®â ��CoßQH-� D ( R�N�Q -M1���1 I���1 $ -HJ��?ø S Y �Sù F�T� � ��X4L�� �ML�K �DT+��Q �>X ��6gø4Skù�9 �5�&Ù^N�ØMP�Ö:Û&N®X�LEH�JGC^X]J5JGCENOLQN�Ö:àSX�ØIßQN-FIH5JKCQN1RQDGN�àoFIPSßEH5PSLENFILQÜ�DGN�Û�N�LoJGN�Y@ÙoT �Qâ� ¢^£«¤ N ,/��. m .³ª&.�, m ¶ ¢ ¸2���2I��2I�! � <_2I� .³£sª N § N�&iq�0�S� � ' �,� ( ��� ' � �Q@ ¶ ¢ ¸ 2I�H* ¤&. .³£sª N § N� 3o�º�&$W����"��&��� <b3o��$ �S� � Z ���Q�(�

� ª � ª � ¦tª�¥(¦t§ ��,Sª * . � .CB ¶ ¢ ¸2���2I��2I�! � <_2I� �

�&iq�0�S� � @ � � ' � � ( ' � @ ¶ ¤ ¸ ���y��� ¢^£s¤ N ,/��. ¶ ¤ ¸�� ¢2I� ª � ª � ¦tª�¥(¦t§ ��,bª * . � . B ¶ ¢ ¸ � ��,Sª * . � .CB ¶ ¤ ¸�&iq�0�S� >3@ � @ '��Q@ ��>�('� ¶ ¢,[ � ¸ 2\� ª � ª � ¦tª�¥(¦t§ ��,bª * . � .CB ¶ ¢ ¸ G �

� 3o�º�&$W����"��&��� <b3o��$ �S� � Z ���Q�(�� ¤�£ N §�£ m .³ª&. , m ¶ ¤ � ¸2���2I��2I�! � <_2I� * ¤ * § A�� m . �4*���&iq�0�S� >3@ � @ '��Q@ (�>�� ¶ ¤ ¸ ���y��� �G¤ N § ¶ ¤ ¸ � ¤(� 2\� ¢U§ *#N��4*S��&iq�0�S� � @ � � ' � � ( ' � @ ¶ ¤ ¸ ���y��� �G¤ N § ¶ ¤ ¸�� ¤ � 2I�E��*�� ¤ � �K§ N�&iq�0�S� >3@�J�� � @ ¶ ¤ ¸ ��� ��� �G¤ N § ¶ ¤ ¸�� ¤(� 2\� £s§³©0, m § N� 3o�º�&$W����"��&��� <b3o��$ �S� � Z ���Q�(�

� N ª&.³§2���2I��2I�! � <_2I� �4*#� . � ª�¦ N ª&.³§�&iq�0�S� � �� � T @ ¶ N ¸ 2I�EN� 3o�º�&$W����"��&��� <b3o��$ �S� � Z ���Q�(�� N�ØIP�Ö-äkX]H¹X]L�N��ÅX]Û�RQØINSä�Ö N�DKN�R^PbDGJ1JGCQN&Ü�PSÛ&RQØIN�JGN�X��oFMPbÛ�H�N��oRQDGN�HKHGFILQa=JGCQN&DGN�سX á

JGFIPSLEHGCQFIRQHAÙ^N�JqÖ N�N�L�JKCQN*HGJ°X]JGN-PbÙQHGN�DGàSN�D�S ��� �#T�\ � �������aT��,X]LQY8JGCQN*N�àbN�LoJGH®â��*#� . � ª�¦ ¶ m . ¸ � ¢^£«¤ N ,���. m .³ª&.�, m ¶ m .0[s¢ ¸ � .³£sª N § Nm . � � n m . \ � ' ��� ( ��� ' � ��@ ¶ ¢ ¸�� ¦ � ¢^£s¤ N ,/�M. m .³ª&.�, m ¶ m . \ [s¢ ¸ � * ¤&. .³£sª N § Nm . � � n m .\ � ' ��� ( ��� ' � ��@ ¶ ¢ ¸��� ¦ �

¢^£s¤ N ,/��. m .iª&.�, m ¶ m . \ [s¢ ¸�� ¢^£s¤ N ,/�M. m .³ª&. , m ¶ m . [«¢ ¸�� ������4-�'�����������45 �! ��5�������� èéN5RQDKN�HGN�LUJ�JGCQN*N�àbN�LoJ HKR^N�Ü�F·Ý^Ü-RQDKPSRWN�DGJKFMN�H5ÙoT�ØIFMHKJGFILQaÚ«PSD1N®X]Ü°C×N�àbN�LoJ�JKCQN8RQDGPbR^N�DKJGFIN�H&PSL×JGCQN8HKTUHKJGN�Û HKJ°X]JGN8LQN�Ü�N�HGH°X]DGT JKPéFIJGH�C^X]RQR^N�LQFILQaø³RQDKN�Ü�PbLQYQFIJGFIPSLEH°ù�äoJKCQN*RQDGPbR^N�DGJGFIN�H�PSL&JGCQN*HGToHKJGN�Û#HKJ°X�JKN*LQN�Ü�N�HKH°X]DGT?X�Ú«JKN�D�FIJ JKPoPSê�RQسX�Ü�Nø³RWPSHKJGÜ�PbLQYQFIJGFIPSLEH°ù�äWX�LQY&ßQLQYQN�D5Ö�CQFIÜ(C8Ü�PSLQYEFMJKFIPSL8JGCQFIH�N�àbN�LoJ5Ö�FIØIØ^HKßQDGN�ØMT8C^X]RQRWN�Lkâ ��CENHGToHGJKN�Û HGJ°X]JGN-ÙWN(Ú«PbDGN-X�LEY@X�ÚsJGN�D�JKCQN-C^X]RQR^N�LQFILQaOP]Ú.JKCQN-N�àbN�LoJ5X�DGN*YQN�LQPSJKN�Y?ÙoT�����X]LQY��� � DKN�HGRWN�Ü�JKFIàSN�ØIToâ Õ JAFIH�DGN�Ü�PSÛ�Û&N�LQYQN�Y�JGP1RQDKP�àUFIYQN-X]H ÖAN�ØIØWÚ«PSD�N�X�Ü(C8N�àSN�LoJ5X1Ü�PbÛ�Û&N�LoJHGßQÛ&Û@X]DGFIú�FILQa*FIJGH�RQDKPSRWN�DGJKFMN�HºFIL?X1L^X]JGßQD(X�ØkÖ�X�ToâoèéNºabFIàSN*Ù^N�ØMP�Ö JGCEN-RQDGN�HGN�LoJ°X]JGFIPSLÃP�Ú-M1���1 I���1 J3-��8â

-M1���1 I���1 J3-��8ø �oùBAPSÛ&Û�N�LoJ�U Õ Ú JGCEN-PSDKYQN�D%�-FIH�DKN�Ü�N�FIàSN�YkäQJKCQN�L?JKCQN-RQDKPUYEßQÜ�J5DKN(Ú«N�DKDGN�Y=FIL �*Ö�X�H�JKD°X�YEN�YkäLQP-PbDGYQN�D�Ö�FIJKC�JGCQN*H°X]Û�N�Ü�PoYQN�P�Ú�5N��oFIHGJKN�YkäoJKCQN*Y^X�JKN5P�Ú ��Ö�X�HAJGCQN*X�Ü�JKß^X�ØgY^X]JGNSäQX]LQYFIL@X�LoT�Ü®X]HGN-N�àSN�LoJGßWX�ØIØIT �*Ö�FIØIØ^ÙWN-N�FIJGCEN�D�DGN(ÚsßQHGN�YÃPSD�FILoàSPSFIÜ�N�Ykâ�KN ( A4Q%N

S ��� �#T�\2� �������aT��Sø ����Y�S�� �2��T�\2��ø �oùGù�r � ������K �gä������K2� �������aT��Sø ����YO\ �2��Koø��UùKù�r Q ��Q K 2#X����aX�QX/ D�GKJ �����aKoø �où�r �����aKoø ���Gù

D ( R�N Q������K2� �������aT��Sø ��� � YD\ �2��Koø �oùGù r SgKOQ��#X�QX/ D�GKJX�Q �#Q�6 \ �5��Koø ��� � YDK � KOQ��aT+�&L�L 6���� ���>K \ ��Q��µø����������K2� �������aT��Sø�� YD\ �2��Koø �oùGù�r �+Ka`�T���K � ��� ��K2� ��� ���>T��Sø�� YO\ �2��Koø��UùKù�r X Q � �#X�\0K �QùGù�DX�Q ��Q�6 \ �5��Koø ��� � YDK � KDQ��aT+�&L�L 6���� ���>K \ ��Q �kø�� � � ��� ùKù ��FIH5X¾Ú«PbDGÛ�ßQسX¾P�Ú%�& #"�$�.�/10�$

ÙQßQFIØIJ5ÙoT8ßQHGFILQa8JKCQN�JGN�Û&R^PbD°X]ØkÜ�PbÛ�ÙQFIL^X�JKPSDGH�â �OX�Q �#Q�6 \ �5��Koø��#Y��gù �@Ü�X�L=Ù^N�DKN®X�Y �qÚ«PbDN�àSN�DGT�RWX�JGC� =HKJ°X�DKJGFILQa�FIL�JKCQN-HKJ°X�JKN-YQN�LEPSJGN�Y?ÙoT+�bä��ÃCQPSØIYQH�PbL� �WäoÖ�CQN�DKN¹X¾R^X�JKC?FIHX-HKN�ÞoßQN�LQÜ�NOP]Ú.JGD(X�LQHKFIJGFIPSLQH�CWX�àUFILQa1JGCEN*Ú«PSDKÛñN�FIJGCEN�D-øGþ�ùAPSD-ø«ÿbùAÙ^N�ØMP�Ö:U

øGþ®ù�� " � " � V � V � c � c � ��� øiFILoÝ^LQFIJGN*R^X]JGC^ùø«ÿSù�� " � " � V � V � c � c � ��� ��� '����

Ö�CQN�DKN8Ú«PSD8X�ØIØ��&ø����Sù�ä���� �� � � ������� V X�LEY JGCQN�DGN=YQPoN�H�LQPbJ�N��oFIHGJ,�Gä � � HGßQÜ(C JKC^X�J��� �� � ��� � â

�DK � KOQ��aT1� L�L]6 ��� ���>K \ ��Q �kø�� ���-ù ��CQPbØMYEH5PSL éF·Ú JGCQN�DKN�N��oFIHGJGH������AH®â J®â���CQPbØIYQHÖ�CQN�L��&FIH�N�àSX�ØIß^X]JGN�Y8ÙoT+���°â

P�Ö Ö N-Ü�X�L?abFMàbN-JGCEN*Ú«PSDKÛ@X]Ø^HKR^N�Ü�FtÝWÜ®X�JKFMPbL�P]Ú�!4"�&�$ �1)"!H$ #6Ú«PSD�JKCQN1FMLoàbPSFIÜ�N*Ü®X�HKNSäFqâ NbâMäbJGCENºÜ�PSÛ�RWX�LoTUâ����������� � �� f � ��� ÀÅ $ �  %s��(�(� ��$ ���

kGk >3@ � @ '���@ ( >�� ¶ ¤ ¸m . ��� n m . \ >3@ � @ '���@ (�> � ¶ ¤ ¸ � ¦�¢^£s¤ N ,/��. m .³ª&.�, m ¶ m .�[�¢^£«¤ N ,���. ¶ ¤ ¸q¸�� .³£sª N § N ¤�£ N §�£ m .iª&.�, m ¶ m . [ �G¤ N § ¶ ¤ ¸q¸�� * ¤ * § A���m . �4*S� N ª&.³§ ¶ ¤ ¸�� N ª&.i§ ¶ m . ¸ ¤�£ N §�£ m .³ª&.�, m ¶ m . \ [ �G¤ N § ¶ ¤ ¸q¸ � ¢U§ *#N��4*�� �4* ª * B �Gª m § ¶ m .C\ [�§ � § * .�,bª�¦M¦�B m .³ª&.i§ �K¤ *;N ¶�� �

¤�£ N §�£ m .³ª&.�, m ¶�� [ �K¤ N § ¶ ¤ ¸q¸�� £s§³©0, m § N ¤�£ N §�£ m .³ª&.�, m ¶�� [ �K¤ N § ¶ ¤ ¸q¸�� ��*�� ¤ � �K§ N ¸q¸�(�(���(�(�

� G ( A4Q%CED�R�F A4G L7N�O#P�N T6R%T èéN1RQDKN�HGN�LoJ�JKCQN�FILoÚ«PSDKÛ@X]JGFIPSL8DGN�ÞUßEN�HGJKH�ÙUTÃØMFIHKJGFILQa8JGCQN�FMDaSN�LEN�D°X]JGPSDKH5Ö�FIJGC&JGCQN¾JqTURWN�H�P]ÚôJKCQN�FID5X�DKaSßQÛ&N�LoJGH2�oHGFIÛ�FIسX�DKØMT,Ú«PSDAJGCQN¾FMLÅÚ«PSDKÛ@X�JKFIPSL1PSßQJ�áRQßQJKH®â� � � ��X4L�� �ML�K �OT1�#Q��aX �6 �+`gíbø,$��� �#T�\ � � �2��KbùÖ�C^X]J�FIH JKCQNOX�àSX�FIسX�ÙEØMN�Þoß^X]LoJGFIJqT�P�Ú X1RQDGPoYQßQÜ�J�FML8JKCQN*HGJGPoÜ(êQí� �DT+�#Q��>X �6 �+` $� �2��T�\2� � � �#K(���&L�� X�Q �%���>K � �%���aKSíÖ�C^X�J�FIHAJGCQN-Þoß^X]LoJGFIJqT�P�Ú X1RQDGPoYQßQÜ�J5HGPbØIY�FIL8JGCQN*RWN�DGFIPoY8Ù^N�JqÖAN�N�L=JqÖAPOY^X]JGN�H(í� L ����� �>XC4�K �#X � � L�X�KOQ�� � �2��K:��� �#K ��K �Qí

Ö�C^X�J�FIHAJGCQN¾Ø\X]HGJAJGFIÛ�N*X1Ü�ØIFIN�LoJ Û8X�YQN�HGPSÛ&N5PbDGYQN�D(í

� G ( A4Q%CED�R�F A4G P P�R5 �P R%T

� � � K � � ��X4L�� �ML�K �DT+�#Q��>X �6 �+` $� �2��T�\2� � � �#K_X��4&�T+��Q �>X ��6� K ��� ��� UOS ��� � Q���� ��� ���#K �JGCENºREDGPoYQßQÜ�J*X�RQRWN®X]DGFILQa�FIL�JKCQN-DGN�ÞUßEN�HGJ�FMH�LEPSJ�JGD(X�YQN�Y� K ��� ��� U�� � �#QX/ �����>K�� JGCEN-Y^X�JKN�H5X�RER^N®X]DGFILQa�FIL�JKCQN-DKN�ÞoßQN�HGJ*X�DKN-Ö�DGPbLQa� � � K �DT+��Q �>X ��6 �+` $ � �2��T�\ � � � �#K(���&L�� X�Q �%���>K � �6���aKGX��4&�T1�#Q��aX �6� � L�X�KOQ�� � �2��K���� �#K ��K � L��5��� �>X 4 K �����6���aK

� G ( A4Q%CED�R�F A4G��=P�G��%R�F A4G _�N�Ü®X]ØIØgJGC^X]J�JGCQN_X Q�` `�T�Q�äoFIL8JGCQFIH�Ü®X]HGN-L^X]Û�N�YX�Q � ��X�\0K X�Q�` `�T�Q�ä J°X]êSN�H8X�H8X�DGabßQÛ�N�LUJKH�X�L FILoÚsPSDGÛ8X�JKFMPbLéDGN�ÞoßQN�HGJ?X�LQY XéCQFIHGJKPSDKT øsXR^X�DKJGF³X�ØAHGToHKJGN�Û ØIFtÚsN�Ü�ToÜ�ØIN®ù�ä�YEN(Ý^LQN�Y X�H�XÃHGN�ÞoßQN�LEÜ�N?P�Ú*JGD(X�LQHKFMJKFIPSLQH�ä�Fëâ NSâIäµRQDGN�Ü�FIHGN�ØIT XHGN�ÞoßQN�LQÜ�N-P]Ú.HGJ(X�JKN�H5X�LQY8سX�ÙWN�ØIH®âbèéN5HKFIÛ�RQØIT1RQDGN�HKN�LoJ X�Q � �#X�\0K X Q�` `�T�Q8ÙUT�HKCQP�Ö�FILQa-FIJGH

DGN�HKßQØIJGHAPSL8X�ØIØQRWPSHGHKFIÙQØINºX�DKaSßQÛ&N�LoJGH�Ü®X]HGN*ÙoTOÜ®X]HGN��oN�X�Ü(C�Ü®X]HGN*FIH RQDKN�HGN�LoJKN�Y?ÙoTOHKJ°X]DGJGFILQaÖ�FIJGC�JKCQN-êbN�ToÖ PbDGY A#G äbÚ«PSØIØIP�ÖAN�Y�ÙoT�JGCEN-ØIFMHKJ P]Ú.JKCQNOX�DKaSßQÛ&N�LoJGH�âA4G � � ��X4L�� �ML�K �DT+��Q �>X ��6 ��`gíoø4Skù�� �

F (�S�� �2��T�\2� �������aT��Sø�L��5����ø��Wù�Y Skù�r ��� ����K � Q%N�R�P�Q%G T���K � � ��X L � �ML�K �OT+��Q��aX ��6 ��` S X�� � � �#X4L ����L4K �DT+��Q �>X ��6Wø�L �����°ø��^ùMY�Skù

F (�S�� �2��T�\2� �������aT��Sø�L��5����ø��Wù�Y Skù�r Q ��� ��� ���#K � Q%N�R�P�Q%GKT K2��� ���:UOS ��� � Q ��� ��� ����K �A4G �OT+��Q��aX ��6 �+`cS ���&L�� X�Q � V � � c í�� �

F (�� ø � V � � c D�GKJ � c � �����aKQø L �5����ø��^ùKù Q%N R�P�Q%GKT K2������� U�� ����QX/ �����aK��F ( � V � � c D�GKJ � c ������aKQø L �5���(ø��WùGù Q%N R�P�Q%GKT

���K �OT1�#Q��aX �6 �+` S ��� L � X�Q8� V � � c X ���� L � �#TS2�ø S Y2� V Y � c Y��^ùA4G L��5��� �>X 4 K �#X � \0\ ��� �#K ��K �Qí��NX�QX �°ø ���Gù Q%N R�P�Q%GKT X�QX �>X � L �����>KA4G L��5��� �>X 4 K �#X � \0\ ��� �#K ��K �Qí�� � L&���

F ( -M1 ��1 I �Q1 J -��Ãø �où �hL D�GKJ \�L4X�KOQ��(ø �où�r \0\ Q%N�R�P�Q%GKT\0\(������K2�+K � L ����� �aXC4�K ��� �����>Koø ���Gù

F (�� ø � �3U@J ����K2�����;1 ��� I�� � J I!��11ø �où��7L D�GKJ \ML�X�KOQ���ø��Uù rW\R\�ù Q%N�R�P�Q%GKTX�Q � �#X�\0K X Q�` `�T�Q�ø�L��5��� �aXC4�K ��X �s\0\���� �#K ��K �Qí#Y��^ù

��CQNºX]ß��oFMØIF³X�DKTOPbR^N�D°X�JKFIPSL���� L � ��T�28DKN�JGßEDGLQH�JKCQN*ÞUßWX�LoJGFIJqT1P�ÚôX,RQDGPoYQßQÜ�J�HGPSØIY&FML8XÜ�N�DKJ°X�FIL8JGFIÛ&N5FILoJGN�DKàSX�Øqä�ÚsPSD�FIJGH�Ü�PbÛ�RQØIN�JKN5YQN Ý^LQFIJGFIPSL&HGN�N&ý 7 �Gâ

ï5H5X�L8N��QX]Û�RQØINSäbÖ N¾HGCQP�Ö Ù^N�ØMP�Ö JGCQN-Ü�PSÛ�REØMN�JGN%�! #"�$8X5�oFIPSÛ�H3Ü�PSDKDGN�HKR^PbLQYQFILQa�JKPJGCQN*YQN Ý^LQFIJGFIPSL8P]Ú"X�Q � ��X \RK X�QM` `MT�Q&ÚsPSDAJGCQN*ÝWDGHGJ�Ü®X�HKNSâ

¢^£«¤ N ,���. m .³ª&.�, m ¶ ¦tª m . ¶ � ¸ [i¢ ¸ � .³£sª N § N ��4*�� ¤ � �G§ �4* © ©0, * ¶ ª � ª � ¦tª�¥(¦t§ �M,Sª * . � .CB ¤q©�o ¶ ¢ ¸ [=� ¸��.R�o§ ª � ª � ¦tª�¥(¦t§ ��,Sª * . � .CB ¤q©-¢ ��m ª � ª � ¦tª�¥ ¦t§ �M,Sª * . � .CB ¶ ¦tª m . ¶ � ¸ [«¢ ¸¢^£«¤ N ,���. m .³ª&.�, m ¶ ¦tª m . ¶ � ¸ [i¢ ¸ � * ¤&. .³£sª N § N ��4*�� ¤ � �G§ �4* © ©0, * ¶ ª � ª � ¦tª�¥(¦t§ �M,Sª * . � .CB ¤q©�o ¶ ¢ ¸ [=� ¸�� §�£G£s¤�£ )�¢^£«¤ N * ¤&. .³£«ª N § N

� �Ð3Í5Ó=�GÒ �oÔGÐ Í �E�.Í�Ñ �Ò`ÎÅÒ�Ï����"Ð Ï

è CQFIØINkFIJgFIHgÜ�ØIN®X�DµJGC^X]JgÛ�N�JKCQPoYQHkX�DKN LQN�N�YQN�Y1JGP�CQN�ØIR*YQN�àbN�ØIPSRQFILQaAÚsPSDGÛ8X�Ø�HGRWN�Ü�F·Ý^Ü®X]JGFIPSLEH®äX�H-N��UJKN�LQHKFMàbN�ØITÆX�YQàbPoÜ®X�JKN�YÆFIL ý * �GägJKCQFIHODKN�Û@X]FMLEHOX8YQF·å�Ü�ßQØIJ-FIHKHGßQNSâ ��CEFMH¾RQDGPbÙQØIN�Û�FIHX�YQYEDGN�HKHGN�Y FILæý��Qä(þ � �ºJGCWX�J�YEN(Ý^LQN=JGCQN=Ü�PbLQÜ�N�RQJ8P]Ú � /#KDQ ���×ßQHKN�Y JKPéRQDGP�àoFIYQN�XõØIFMHKJP�Ú-HGRWN�Ü�F·Ý^Ü�X�JGFIPbL X�LQY×àSX]ØMFIY^X]JGFIPSL J°X]HGêoH�JKPéÙ^NéX�Ü(CQFIN�àbN�Ykä X]LQY X]RQRQØITÆFIJ�JGPéYEN�àSN�ØIPbRHGRWN�Ü�F·Ý^Ü®X]JGFIPSLEH Ö�FIJGC�ûÅJ°X�JKN�Ü(C^X�DKJGH�X�LQY� �âWýIþ�* ��X�ØIHGP*ßQHKN�H�X�aSN�LQY^X�H�X�YEYQDGN�HKHGFILQa��KÛ�F��oN�Y��HGToHGJKN�Û�H1ø³Ö�FIJGCÃÙ^PbJGC�X6HGJ°X]JGFIÜ�X�LQY�X6YQToL^X�Û&FIÜ5R^X]DGJ°ù�ägX�LQY?REDGP�àoFIYQN�H*HGPbÛ�N*Û�N®X]LQH5JKPaSN�LEN�D°X]JGN*R^X�DKJGHAP�ÚkJKCQN*HGRWN�Ü�F·Ý^Ü®X]JGFIPSLkâgý4, ��FIHAJGCQN`Ý^DGHKJ�Ö PbDGê1Ö N*êoLQP�Ö×P�ÚkJKC^X�JARQDGP�àoFIYQN�HX6Ú«PSDKÛ@X�ØgÜ(C^X]D°X]Ü�JGN�DKFIH°X�JKFIPSLéP�Ú5óéâgöoX�Ü(êoHGPbL�RQDKPSÙQØIN�Û Ú«D°X]Û�N�H�âWï5ØIPSLQa8JKCQFIH,X]RQRQDKPUX�Ü(CkäÖ N*RQDKP�àoFMYEN5CQN�DKNOX¾Ú«PbDGÛ@X]ØIFMú�X�JGFIP�L1P�Ú�JGCQN-JKD°X]LQHGسX�JKFIPSL�ÚsD°X�Û&N5X�LQY8P]Ú.JGCENºFILoÚsPSDGÛ8X�JKFMPbLHGToHGJKN�Û#ÚsD°X�Û&N-ßQHKFMLEa@JKCQN:�& #"�$ÃØ\X]LQaSßWX�aSN¾JGPSabN�JGCEN�D*Ö�FMJKC�ÖAPSDKêSN�Y=PSßEJºÜ�X�HGN�HKJGßQYEFMN�H®â� N�FMLEa�FML8X¾Ú«PSDKÛ@X]ØoÚ«D°X]Û�N�ÖAPSDKê�ØIN®X�Y&ßQH�JGP�X]YQY8JGP�JGCENºFIHKHGßQN�H*X�YQYEDGN�HKHGN�Y=ÙoT�RQDKPSÙQØIN�ÛÚ«D°X]Û�N�H�äSJKCQN*FIHGHGßEN-P�Ú�Ü�PSDKDGN�Ü�JKLQN�HKH®â

ìQPbØMØIP�Ö�FILQa�JKCQNºX]RQRQDGPoX�Ü(C�RQDKPSRWPSHGN�Y�FML�JKCQFIH R^X]R^N�DAJGP*ßQHKN�Ú«PbDGÛ8X�ØoHGRWN�Ü�F·Ý^Ü®X]JGFIPSLEH FILJGCQN1YQN�àbN�ØIPSRQÛ&N�LoJ�RQDGPoÜ�N�HGH1P�Ú DKN®X�Ø�Ü®X]HGN�HGJKßQYQFIN�H*ÙWN�Ü�PSÛ&N�H-X�L �GN�LEaSFILQN�N�DKFILQa��&êUFILQYÃP�ÚÖ PbDGêgâ Õ LEYQN�N�Ykä]Ú«PbDkN®X]Ü°C¾Ú«D(X�Û�N3Ö N REDGPSRWPSHKN5X�L-PbR^N�D°X�JKFIàSNAÛ�N�JKCQPoY-Ù^X�HKN�Y�PSL �GLQPbDGÛ@X]Ø��HGP]Ú«JqÖ�X]DGNAN�LQabFMLEN�N�DGFILQa�øiHGCQPbDGJGØITOû � ùµÜ�PSLQÜ�N�RQJGH*ø³FILQREßQJGH�ä�PSßQJKRQßQJKH®ä�N�àbN�LoJGH�äQâ®â�â°ù�X�LEYOLQPbJ

PSL Û@X�JKCQN�Û8X�JGFIÜ®X]Ø ��Ú«PSDKÛ�X�Ø.PbLQN�H=ø³N��oFIHGJKN�LQÜ�N?P]ÚºFILQFIJGF³X]Ø Û&PUYEN�ØIH®äµÜ�PSÛ&RQØIN�JGN�LEN�HGH�ä�â®â�â(ù�âó8PSDKN�P�àSN�D®äWÖ PbDGêoFILQa�Ö�FIJKC�سX�DKaSN-Ü�X�HGN�HKJGßQYEFMN�H-ØIN®X�Y?ßEH-JGP&RQDGP�àoFIYQN1HGPSÛ&N-ØIN�aSFIÙQØIN-REDGN(áHGN�LoJ(X�JGFIPbLQH�P�ÚgJGCQN�àSX]DGFIPSßQHµR^X�DKJGH P]Ú�JKCQN�HGRWN�Ü�F·Ý^Ü�X�JGFIPbLQH DGN�Û�P�àoFILQa � �°X�ÙEHGJGD(X�Ü�JKFILQaAÚ«DGPbÛ��HGPbÛ�N�Ü�PbLUàbN�LoJGFIPSLWX�Ø Û8X�JGCEN�Û@X]JGFIÜ®X�Ø�LQPbJ°X]JGFIPSLQH ��P�àbN�DGCQN�X�Y ø³Ö�CEFMØIN&JGCQN&Ü�PSDKDGN�HKR^PbLQYQFILQaÜ�PSÛ&RQØIN�JGN¾HGRWN�Ü�F·Ý^Ü®X]JGFIPSLQH¾Û@X�T�ÙWN�N®X]HGFIØIT?DGN�Ü�P�àSN�DKN�YéÚ«DKPSÛ#JKCQN�HGN�ùOX]H5ÚsPSD*N��QX�Û&RQØINSäQFILûoN�Ü�J�â',Eâ ÿEâ

èéNOC^X�àbN�Ù^X�HKN�YÆPbßQD-ÖAPSDKê?PSLéHKPSÛ�N1ÖAN�ØIØ N�HGJ(X�ÙQØIFIHGCEN�Yòû � JKN�Ü(CQLQFIÞoßQN�H�X]LQY�Ü�PSLoáÜ�N�RQJKH�øsX�H�JKCQN?Ü�ØIN®X]D�YQFIHKJGFILQÜ�JKFMPbL×HGßQRQRWPSDKJGN�Y ÙoTÆöoX�Ü(êoHGPSL X�Û�PbLQa?JKCQN?YQPbÛ@X�FILkäµJGCENDGN�ÞoßQFIDKN�Û�N�LoJKH5X�LQY8JGCENºYEN�HGFIaSLWù�JGCWX�J®äbÚsPSD�Ö�C^X]J�Ö N*êoLQP�Ö-äQX�DKN-LQPbJ�ßQHGß^X]ØIØMT�àbN�DGT&Ö N�ØMØÜ�PSLEHGFIYQN�DKN�Y8FML�JKCQN�ÚsPSDGÛ8X�ØQÛ&N�JGCEPUY�Ü�PSÛ�Û�ßELQFIJqTOøGý4, ��ÙWN�N�FILQa�X�L&N��oÜ�N�RQJKFMPbL^ù�â��ôDGN�àoFIPSßQHX�ØIaSN�ÙQD°X]FMÜ�HKR^N�Ü�F·Ý^Ü®X�JKFIPSLQH�P�ÚkJGCENºÜ�X�HGN*HKJGßQYQFIN�H�Ü�PSLQHKFMYEN�DGN�YÃFML&JGCQFIHAR^X�RWN�D�Û8X�YQN�ÙoT�JGCENX�ßQJKCQPSDKHOJKCQN�Û&HGN�ØIàSN�H®ä�Ö�FIJGCQPbßQJ-Ü�PbLQHGFIYQN�DGFILQaéJGCEN@û � X�HGRWN�Ü�JKH®äAÖAN�DGN8ÞoßQFIJGN&ßQLQRQDKN�Ü�FIHGNX�LQY�RWN�DKC^X�RQH�X�ØIHKP-Ö�DGPbLQa^â Õ L�JGCQN�aSDKN�R�Ü®X]HGN*N�àbN�DGToJGCEFMLEa-Ö�X]H Ü�PSLQHKFMYEN�DGN�Y8X�H �GDKN�ÞoßQFIDGN(áÛ�N�LoJKH ��X�LQY?JKCQN�L?DKN®X�ØIFIú�N�YÃFML8JKCQN-YQN�HKFIaSL?RQCWX�HGNbä�X]LQY8HGP&Ö N*C^X]Y?FIÛ�RQØIN�Û&N�LoJGN�Y�X]ØMHKPJGCQN*DKN�aSßQسX]D�N��oRQDGN�HKHGFIPSLEH,X]LQY8JGCQN,Ý^ØIN�H®â Õ LQHGJKN®X�YkäÅÚ«PSD�JKCQN-FILoàSPbFMÜ�N5Ü®X]HGN-JKCQN-PSØIY8HGRWN�Ü�F·áÝ^Ü®X]JGFIPSLQHAÖAN�DGN-Ü�PSLoÚ«ßEHGN�Y�X]H�DGN�aoX�DKYQH�Ö�C^X�J�HKCQPSßEØMY8ÙWN*JGCQN*DGN�HGRWPSLQHKFMÙEFMØIFIJGFIN�H�P]Ú HGToHGJKN�ÛJGC^X]J5ÖAN-C^X�àbN-JGP8ÙQßQFIØIYéø³NSâ aWâMäEJGCQN1FILoÚ«PbDGÛ@X]JGFIPSL�HKToHGJGN�ÛçÖ�X�H*DGN�HKR^PbLQHGFIÙQØIN1JGP&aSß^X]D°X�LÅáJGN�N¾JGC^X]J5X�L8PSDKYQN�D5N�àSN�LoJGßWX�ØIØIT�Ö�FIØIØ^ÙWN-N�FIJGCEN�D5FILoàSPbFMÜ�N�Y8PSD�DGN Ú«ßQHGN�Y?FILQHGJKN®X�Y?P]Ú.HKFMÛ&RQØITJ°X]êUFILQa1LQPbJGN*P�Ú�Ö�CQN�L?X�L8PSDKYQN�D�FMHAFILoàSPSFIÜ�N�Y^ù�â

ügN�J�ßQH�LQPbJGNAJGC^X]J®ä�Ö�CQFIØIN JKCQN�HGN�ØIN�Ü�JGFIPSL1P�Ú^JKCQN�Ü�PbDGDGN�Ü�J�Ú«D(X�Û�NAX�LQY-JKCQN�HGRWN�Ü�F·Ý^Ü�X�JGFIPbLP�Ú JGCEN�DGN�ÞoßQFIDGN�Û�N�LoJGH*X�LQY=JGCENOYQN�HGFIaSLéX�DKNON�HKHGN�LoJKF\X]Øqä^HKR^N�Ü�F·Ú«ToFMLEa@JKCQN1YQPSÛ8X�FIL�R^X]DGJ*FIHLQN�Ü�N�HGH°X]DGT=JGP�RQDKPoYQßQÜ�N�HKN�LQHGFIÙQØIN-DKN�ÞoßQFIDGN�Û&N�LoJGH�ä�X]LQY?Û8X�T�X�ØIHGP�ÙWNOLEN�N�YQN�Y=JGP&YQFIHGÜ�ßEHGHÖ�FIJGC�JKCQN*Ü�ØIFIN�LoJGH®äoPbD�JGP1Ü(CQN�Ü(ê@X]Ù^PbßQJ�R^PbHGHKFMÙEØMN�Û�FIHGßELQYQN�DKHGJ°X]LQYQFILQabH Ö�FIJGC8JKCQN*YQPSÛ8X�FILN��oR^N�DGJGH�øiÛ�PSHKJgP�ÚQJGCEN ÖAPSDKHGJkN�DGDGPbDGH�FIL-YQN�àbN�ØIPSRQFILQa�HKP�Ú«JqÖ�X�DKN HGToHKJGN�Û&H.X�DKN YQßQNAJGP�Ö�DGPbLQaFIYQN®X�H5X]Ù^PbßQJAJGCQN-YEPSÛ@X]FIL^ù�â

ï5LQPbJGCQN�D�DKN�ØIN�àSX�LoJ�X�HKR^N�Ü�J�P�Ú*PSßQD1ÖAPSDGê FIHOÜ�ØIN®X]DGØIT�GDKN�ßQHKN��4U3ÙQßQJ�CQN�DKN8Ö N8DGN�ßQHGNÖ�C^X�J�Ü®X�L=ÙWNOÜ®X]ØIØMN�YkäWÙUTÃßQHGFILQa8X�Ü�ßQDGDKN�LoJOû � JGN�DKÛ�FILQPSØIPbaSToä#�KHGPSÛ&N-ÙWN�HGJ-RED°X�Ü�JGFIÜ�N�H��^äLQPSJ �(ßQHGJ3HGPSÛ&N�HGRWN�Ü�F·Ý^Ü®X]JGFIPSLEH®â ��CQN�Ö�X�ToH JKP-C^X�LEYQØIN5R^X]DGJGFIÜ�ßEØ\X]D RQDKPSÙQØIN�Û Ú«D(X�Û�N�H.JKC^X�JÖ N¾RQDGPbR^PbHGN-N�LEÜ�PSÛ&R^X�HKH5JGCEN-RQD°X]Ü�JGFIÜ�N1PSL8JKCQNOßEHGN-P]Ú�X�ØIaSN�ÙQD°X]FMÜ*HKR^N�Ü�FtÝWÜ®X�JKFMPbLQH*P�Ú JGCENX�ßQJKCQPSDKH ��X�LEY HGP PSßQD&Ö PbDGê×Û@X�T Ù^N=Ü�PSLEHGFIYQN�DKN�Y FIL JKCQN=H°X�Û&N?ØIFILQN8P�ÚOJKCQN�ßEHGN=P�Ú�GR^X]JGJKN�DGLQH���øGý����«ùEÚ«PbDkJGCEN RQDKPoYQßQÜ�JKFMPbLOP]ÚQPSÙ��(N�Ü�J PSDKFMN�LUJKN�Y-HKP�Ú«JqÖ�X�DKNSâ���CQN Û&PSHKJgDGN�ØIN�àSX]LUJYQF ��N�DGN�LQÜ�N�Ù^N�JqÖAN�N�L ý�� �3X]LQY?JKCQNOÖAPSDKê?RQDKN�HGN�LoJKN�YÆCQN�DGN1FMH*JKCQNOHKÜ®X�ØIN�U�Ö N1Ü�PSLEHGFIYQN�D-X�HX�DKN�ßQH°X]ÙQØIN�ßQLQFIJ-X&Ö�X�T8JGP8HKPSØIàSN�X&Ü�سX�HGH¾P�Ú RQDKPSÙQØIN�Û=äWJGCQN1R^X�JKJGN�DKLQH1P�Úºý���� Ü�PbLQHGFIYQN�D®äFILQHGJKN®X�YkäoHKPSÛ&N�JGCQFILQa1P�Ú�Û�ßQÜ(C�HKÛ@X�ØIØIN�D5øiRQFIN�Ü�N�H�P�Ú JGCENºYEN�HGFIaSLWù�â

� ���=G�A � WHN�J d#N CEN�G R�T èéN*Ö PbßQØIY@ØIFIêSN*JKP�JGC^X]LQê�JKCQN¹X]LQPSLoToÛ�PbßQH DKN(Ú«N�DKN�N�H*Ú«PbD�JGCQN�FMDÜ®X�DKN(Ú«ßQصDGN®X]YQFILQa�X�LQY8CQN�ØIRoÚsßQØgÜ�PSÛ&Û�N�LoJKH®â

� �����kÏ��µÍ5Ó=� �

��� �8���3xyx {(¯ w�mU�El�A��� pqpsrt�®±�¬ { lSw�mo�*´5��´Aw�¬ � rtw®n(l { ��rtpq� � n(� � £«¤ ��Q¤q© '+* .�� O¤�£%� m �o¤K¢�� �g¤�¨��¢oª�£ �4*�� ��¢U§ � � K �Gª&. � ¤ * � § �=� *#� ��,S§ m�� E�oª&. � ,S§ m . � ¤ *#m � £«§ � £s¤�¨�¢-.i§ N ¥+B ( * § m�� ª�£+. � �M,��¦tª�£��¹§M.��o¤ N ¤q© ��¢U§ � � K �Kª&. � ¤ *�� ��¹ª�£&�=����������� � ª * .i§ m���J £sª * �G§ ��� f + fij | } mSrt~ {G� nsrtp { � {jAw�mSp { n(lW��!"!�#S�

$ � »3�%�Anqp { nsrtw�mU�bl'&A�%( � r { ± | & � uo�q��m {G� lQw�mU�1´�� | �b��( �G{ � ² ns��r³l { �]rtpq� � n(� '0J�' � ?T)��+*-, ¤�¤ �¤ *�� ¦ � §�¥�£sª � � J ¤&, *#N ª&. � ¤ *#m ¤q© ��B m .³§�¨���¢U§ � � K �Kª&. � ¤ * �Q� �b� rymU± {G�/.µ{K� xtw®±bl^��!�!"!b�

� � »3� � nqp { nsrtw�mU�8w�mo�ðv�� + { ±�±�rt�b�?eWw�¬ { xyx { ��É � w�mUnsrtpsrt��mÆe^��±�rt�D) � m ½ uUpsxyrym { ��É { �q�bmSrt�(w�x+ {G� � � p ��fs�Sf�� É + � !���� $ � lQ��f«�bf�� } mSrt~ {K� nsrtp��wO�]r�v { mo��~�wbl^f³pqw�xt��l^��!"!��b�

� � »3��Anqp { nsrtw�mo�-w�mU��v�� + { ±�±�rt�b� �o� �G¯ w�xyrtn ¯ w�mU��� { ps�U���E� � �� R� ·l $�� �Sl $ � � � � � ��� &� � � m {K� l.�o� (���uUnq��uS¬ { l + �gjA��uonqnsr³l.w�mU�év��.��w�pq�q�o���Q�=�1rt�q�ow { x5��w®���Snq��m�� n-h � ��¬ |x {(¯ � � w ¯º{ n0)SÉg� ² w � �Snµ� { ps�U���S��xt��±�rt�(w�xkh � rymo�Kr � x { n���¡k� { x { �(psrymU±-w�mU� � �b� xt��rymU±1�o� �G¯ w�x�]��¡³p ² w �G{ � { ~ { xt� �o¯º{ mSp É { ���SmSr ¼ u { n w�mo�-Ég����xtn(��f\m,�8�yv���´ rymo�q� { �-w�mU�¾eQryu¹� �Uw����3rymU±bl{ �]rtpq� � n(l � £«¤(� '+* .I¦ ��g¤ * ©�b¤ *EJ ¤�£G¨5ª�¦ @ *����4* §G§�£ �4*S� �¹§M.��o¤ NOm � M� £«¤ m � � ¨�ª�����ªK¢Uª * �'����� ���� ¤ � ��������� fi»k»µ»��3�-h �G{ nqn(lW��!"!�����b�������µ�o� �b� �çw�mU�"v�� + { ±®±�rt�S� } nsrymo± ������e pq�#� �Q{ �Gry¡³��ps� { + {(¼ ubr �G{°¯*{ mSpqnw�mU� ps� { � { nsrt±�m-) ��h � ��¬Sx {(¯ � �Q{ �Kry­o� � �b�S� ��w®����� �ô� ¯�� x { p { .k{K� nsrt��m^� É { ��� |mbrt�(w�x + {K� � � p#��f«�bf | É + | !�! | ��� l ��fs�Sf�� } mbrt~ {K� nsrtp��w ��r v { mo��~�wbl fipqw�xt��l:��!"!�!S������ � !�!������ "$#&%�'(%&"$)�*+%-,�./"0%���!���.�1�'�2�*�!�3�.�,�,&%�2�4�!�5�6�2�����7�3�.�,�,8%�2�9�9�:+"$��' �

�]��v��'����nqpqw*w�mo��v�� + { ±®±�rt�b�ô� �Å{ �Kry­U�(w�psrt��m?��¡ � ¬onqp � w®�(p �A��mUw ¯ rt�*� w�pqw*É.� �Q{ n0) �òÉ {(¯�|� � � w�xkeW��±�rt� � �b�S� ��w®���^� � �� ��'·lW�;� � ¶ $ ¸ lW� !�!<�]�#b� »3�ÅvAw ¯*¯ wSl + �o´ { x ¯ l + �Q�����SmUnq��m^lQw�mU���b� . xyrtnqnsrt� { n(� � § m � �&* � ª&.�.³§�£ *#m � @ ¦t§�¨�§ * . m ¤q©> §�, m ª�¥(¦t§ ( ¥>=(§ ��. � ( £ � § * .³§ N �Q¤q©R.$?gª�£«§(� � �b��rtnq��m |A@&{ nsx { ��lµ� !�! �!b� @ �Uv � r { ns�®w ¯�� lQ�8�S´ { rtn { x³low�mU�1´5���CB� �q� �k� �Q{ �Kry¡³��rymU±���w�¡ { ps� | � � rtpsrt�(w�x�» ¯ ¬ { �S� { ���]��n |p {(¯ n ² rtps�Æ��pqw�p { �q�ow � pqn1w�mo�EDV) �3m��A± { mo�Sw&¡³� � �����Kxyrt�@����¡³p ² w �G{ �ô� ¯�� ��m { mSpqn(�òfIm»3� �Anqp { nsrtw�mo�Sl { ��rtpq� � l � £s¤ � J�� � @GF ����lWm�u ¯ ¬ {G� � � # $ rymÆeWj�� �Å�ô� �S� rymo± {K� .k{K� xtw�±Sl& {K� xyrym^lµ� !�!�#S�� � � �8�W´ { rtn { x³� �A± { mo�Sw�nH� � ����mU� {K� p�pq��v3uSrt� { ����¡³p ² w �G{ � { ~ { xt� �U¯*{ mSp-�A�(psrt~�rtpsr { n(��fIm+ �kj5�µ´ � � n � ����x³l { ��rtpq� � l � £«¤ �K§G§ N���*��Om ��B m .³§�¨ m ' ¨ô¢Q¦t§�¨5§ * .³ª&. � ¤ * ��I�I�I�� �µ�ow �o¯ w�mKJ´Aw�xyx³lg� !�!"#b�

�®��� �8�o��w®���Snq��mW�.�Q¤q©0.>?gª�£s§ > §��M, � £«§�¨5§ * . mML ��¢U§ � � K �Gª&. � ¤ *�m�� ª � § A�� �K¤ * ¤q© � £«ª.��. � �K§�� � £ �4* �� � ¢Q¦t§ m ª *#N � £s§>=0, N�� �G§ m �'�A�S��rtnq��m |N@�{ nsx { �®lµ� !�! �� $ � h�� ��� ����nqn { n(� �����kf�)�É�� { �ô� ¯*¯ ��m-� � w ¯º{(² � � �,f\mSrtpsrtw�psrt~ { ¡\� � �3xt± { ¬ � w�rt�5� �Q{ �Kry­U�(w�psrt��mw�mU�8� { ~ { xt� �U¯*{ mSp(�,f\m@�8�'&µrt�S��rtp5w�mU�8�8�Q�Aw�uo�q� { p(l { ��rtpq� � n(l � £«¤(� � ��� � (�J � F ����lm�u ¯ ¬ {K� � $ � � rym�eWj � �ol%& {K� xyrym^lg��!�!<�]�^� �b� rymU± {G� .k{K� xtw�±S�� � � Éô� { �ô�®�kfµÉgw�ns�6v � ��u � ��m�e^w�mU±�uUw�± { � { nsrt±�mW� ¿�À^Á� É�� { ��� ¯*¯ ��m � xt± { ¬ � w�rt�O� �Q{ � |ry­o�(w®psrt��mÆe^w�mU±�uUw�± { ��u ¯*¯ w � �®� .k{K� nsrt��m �®� � ��É { ���SmSrt�(w�x �G{K� � � p(l���!"!�!S� �A~�w�ryxtw�¬Sx { ��m6������ � !�!�O�O�O/"$P�18%�Q�'+"N#�R�!�S�1�2�T�.�Q���'�!�5�2�U8V�!�W�2�Q�)�X�.�*��<'�!�5�Y�Z�[�!�Z�)�X�X�:�1�7�! �� � � h���hg��r]\(w®p(l��A� �µ�o� �b� ��l�w�mU�=�b� | �A� + ��� {K� ��� � � ¯ fImb¡\� �G¯ w�x + {(¼ ubr �G{°¯*{ mSpqn-pq� � ½�½ h )w �ô��mo�Gu �q�G{ mSp �3uUpq� ¯ w®pqw � �S�b� �®w��q�W��fIm��b� �8� @ rymo±Sl��b� @ �����b�(���q�Qlkw�mU�?�b�^�Aw�~�r { n(l{ �]rtpq� � n(l J � F ��� � J ¤�£K¨5ª�¦'��§�.��o¤ NOm � O¤�£q¦ N �g¤ *�� £s§ m+m ¤ * J ¤�£K¨5ª�¦'��§�.��o¤ NOm �4* .��o§ � § �� §(¦t¤K¢^¨5§ * .W¤q©E�g¤�¨�¢-,�. ��*�� ��B m .³§�¨ m l�m�u ¯ ¬ {K� ��� � !�rym�e^j � �Å�U� �b� rymU± {G� .k{K� xtw�±Sl & {K� xyrym^l��!�!"!b�

� ��v�� + { ±�±�rt�blæ»3� �Anqp { nsrtw�mU�blæw�mU� �A� �µ�U� �S� ��� ¿.ÀWÁqÂ�( � �  ) � ¿.À^Á� » Ä�|p { monsrt��m�¡³� � �A��mUw ¯ rt� + { w��°psrt~ { �]��nqp {°¯ n^� ��u ¯º¯ w � ��� É { �q�Smbrt�(w�x + {K|� � � p ��fs�Sf | É + | !"! | ��� l���f«�bf � } mSrt~ {G� nsrtp��w �]r v { mU��~�wbl fipqw�xt��l ��!"!�!S������ � !�!������ "$#&%�'(%&"$)�*+%-,�./"0%���!���.�1�'�2�*�!�3�.�,�,&%�2�4�!�3�.�,�,&%�2�_���Y�`�`�9�9�:/"a��' ��b�b� �8� + �®±�± { m�¬ow®���@w�mU�-É`�S���®nqnqw�����~�ns��r³� &�w�nsrt�5�Aw®pqw�É�� �Å{ n�rym ¿�À^Á� �'�����kfWj ��p { e | � $ �É { ���SmSrt�(w�x �G{K� � � p(lW� !�!"!b� 6������ � !�!�O�O�Oc"�P�1&%bQ�'�"N#�R�!�S�1�2�T�.�Q��<'�!�5�2�U(V�!�d�2���.�'�!�[�e(f�g�! �