Tartalmi kivonat
!#"$%&() *,+.-0/213546-87:9;3=< >0?@4:AB?DCBE 4B/ F?@GBHI4:?@?D7B<J35ABKL-NM6F O PRQTSIUWVYX[Z^]` ba c dfe a;Shgfi=g5Vkj#lOPRQTSIUWVkXnmoPp qVrUIs tRuRupv^wIxzy s`{|]`}:~= w @ YJ@D @=5Y; 5; 5¡ ¢IY£ . !#"%$&)( *!$&( +",!#D , )02/ 13"%(546+75"%89+:-;-=<68>@?*!8-=>@7BA%$C9+9 FEHGIE λJ CKLKMEENEENENENEENENENEENENEENENENEENENENEENEENENENEE FELGOELGIE λJ CPHQ RENEENENENEENENEENENENEENENENEENEENENENEE FE FE TSVL U ¡£XW ¡YENENENEENENENEENENEENENENEENENENEENEENENENEEG!Z FE CELGI! E [SLU £XW ]Q O=^ L `ENEENENENEENENENEENEENENENEEG!Z FE
CE F! E [SLU £XW ]Q a Y EENENENEENENENEENEENENENEEG!Z FE CE X! E [SLU £XW cb IdCW EENENENEENENENEENEENENENEEG FE XEfegS U ¡£XW ¡MENENENEENENENEENENEENENENEENENENEENEENENENEEG!h FE FELGIEegSVL U Y£FW iQ If^ L jENEENENENEENENENEENEENENENEEG!h FE FE FEegSVL U Y£FW iQ a ¡ EENENENEENENENEENEENENENEEkG FE FE XEegSVL U Y£FW ] kb IdCW lEENENENEENENENEENEENENENEEkG FE 2 E nm Y ££&o YHpMEENENENEENENENEENENEENENENEENENENEENEENENENEE OZ FE ELGIE m Y ££&5o HpC b IqCW 5 ENENEENENENEENENENEENEENENENEE OZ FE E FE m Y £ra K ¡ £XW
sENENEENENENEENENENEENEENENENEE 5 FE E XE [CP ¡¡5tpP Y£FW uENENEENENENEENENENEENEENENENEE FEwvF2 E xTmy5^ ENEENENENEENENENEENENEENENENEENENENEENEENENENEE r FEzvCELGIE JVxTm{^ r ; rP rP }| jENENEENENENEENEENENENEE r ~B /758-=7(%-<&"%89F XEHGI2 E I5^ } 5| ,PH5^ £&;o ¢I5p ¡ IQ 5¡r| 5f | Ho 5| ENEE O XE FEs tIQ ¡| rPH^ Y£6opCP ^&| r ENENEENENEENENENEENENENEENEENENENEE O XE XE P ¡5 |O ( !^IW r| ¡5| ENEENENENEENENENEENEENENENEE IZ XE E 5£;¡ ¡ f r| H5o
5! Y ENEENENENEENENENEENEENENENEE IZ XE ELGIE ¡thP I5d ¡£&5o [| pCP t^6| tIQ ¡| ¡ ENEENENENEE IZ +<&-589*i-=$C4689+:-;$#-=$6!7-<I89575( ~5~ EHGIEsP £ r| rP ¡tK ;r | 0ENEENENENEENENEENENENEENENENEENEENENENEE 5 ELGOELGIE r( L 5 5ENENENEENENEENENENEENENENEENEENENENEE 5 ELGOE FES £XW =L H5^ 5rP t kK 5 ENENEENENENEENENENEENEENENENEE 6v E FEsI !^I b ¡tK ;r | EENENENEENENEENENENEENENENEENEENENENEE = E XEf=U |O a | rPH^ Y£65o ¡! tP OPQ OWW r¡5¡ENEENENENEENEENENENEE = E FELGIEom k£O5d
£&o [WXP ¢f^ £f rP }r| |p ( JOWW 5ENENENEE = )@ ) L%"$ E XE FE2WF5¡W ! EENENENEENENEENENENEENENENEENEEEE . 7> ( A%7(f$#9$#>@<6#-=$ % vFEHGIEsLW £| IQ 5 | raXK 5=^Io# | kW | cEENENENEENEEEE G vCELGIEHGIE!gP¡¡5¡ |} Wr| ! ;q rP ( 5}|PH5q ENEEEE G vCELGIE FE!gP¡¡5¡ |} W r| kQ+K r| tP PLWC5 ¡ EENENENEENEEEE = vCELGIE XE O|[ ! ;q5tP k ££&oCP =5^ £]W r| kQ+K | tPBPLWC5 ¡ E f vFE FE d5 Y
OqCW5ipCP ^&| EENENENEENENEENENENEENENENEENEEEE f vCE FEHGIE Id5¡ Iq#WbVxTm pCP 5£&=o ( Q 5 | Iq#WX 5]EENEEEE vCE FE FE2 W! £=r|PHfq ra LK ¡ gW r| (Id IqCW EEEE vFE XE | r tq tIQ ¡| rPH^ Y£6o ¢RT¡¡ EENENEENENENEENENENEENEEEE &v vCE XEHGIEox T¡Y ENEENENENEENENEENENENEENENENEENEEEE &v vCE XE FEox T¡Y ] qCW MENENENEENENEENENENEENENENEENEEEE 6h ) 7¢8-=(#",%-<&"%89*( A%#-=<&9$6!$#( cELGIE[S £XW = H5^ 5tP r kK 5 ENEENENENEENENEENENENEENENENEENEEEE 6 cE FE
VxT, m OqCW 5 ENEENEENENENEENENENEENENEENENENEENENENEENEEEEYv}Z ;fR l ] R ; JNv}Z J !p =tfI !WFp @P £FQ 5r rPOPPIr¡¢I £5 tf Q 5¡ OWW 6 Y ¡o6E YWrrWFp5 ||£W Td5; Y£C¡£XW£ P |r YtPt £&o Q fHo=O J fF£ dp55! W¡p fV (!^X^Io5LtE Q fHofO ihIZ J =p5Id5R¡ ¡! WX (Y6£ o5 XI ^Io ¡ |O ;at qI^5IYB =^5fLWFWtq;Q Y }WW¡ WL Y@£=t J @ £ = ^fC£ 5¡! EL Q
O WW 5 5# Q ! ^ ! p Y# |r &KYO f £6 Q OWWr¡5 |r }^55 ¢R5&£ o5fL K¡r |}^= P 6 WO (f £F£ 5¡! E I Q p55 ! a¡ I H dfC£ df Y£%i = ^ ¢a! Wrt q I Q p5¡c Pr | £=t PXPH^ Y6£ oO` p5Yt Pr¡ £=r |PHqf` PL W! £=r |PHqfJ F£ PO |rLC PHQ ¡ P X£ WXK O | X E $££ (! ^OQ YH ;£: @¡ £5H qI^6P | Q ¡ ¡ 55 h QP | 6£ o% H df£ J ¢5d r t = ^E I ^Io= £! f
Ttq5£ 5£W} ^Iok t b I Q t p ¡X£ W¡¡5 ¡¡! YF£ PO J • H o5L |5} W| t Kh5 H ;£ = ^5¢ a! W q=Y[ Q L W £ | H q ¢I |r¡5, E I ^Io= £! J( O Q t p5¡i W¡55&£ o r |}^&| f Ttq5£F£ d¢p Y F£ P E • C K t q5 ! ^Oo ¡ :r PL (R t aHp 6£ o5H p5 ¡ pO|r¢X¢ Q ¡ Y £ J ^5¡ = ^5= p5^t p Y! R@££ r |}^5£W( WF &£ o55R£% d5¡ i Q+K£ J Pf£ |L P o r a L Kr "#P
p55¢;t KX 5r P£=r | o&£ o5H p5, E &£ o5H p5C PHQ ¡ 5 ! WX &£ o; 5¡5 W(; Q L W £ | H q5] ^5fX£ W f5C W|r qCW ( ¢ p}|¢¢ P I PL I r aHpi qCW O W! E | # K q5i o¡I ^5 O 5 | t PII O WXPH^6 |rC PLW fH ^55 | r | i£ WfH ^ 5 , E G!f J ¢I$ £ #6 £ x C K |O ar | t Ph 5¢W! |= ^Io][ = ^5fL W| t PB qCW |p | H E J | p f Q+K£ =P5£ | L P ¡O ^5 O (5;¢I £ Q|F ^O^Ip5&£ o5 pCP ¡¡Y
¡t P5 ¡5 W t P X£ P r PC K I %LI O ¡¡;t K| L P ¡ 5t f% Q|F ^O^Id5¡! En Q|F ^I^ J p5&£ o ;£:£! p5f % T f } P% aH^Io:£! ¡ C Wr | O P ! E:Y P X£ WXPHQ Y£( Q|F ^O^Ip5&£ oB ¡5£2 (Rf£=b |5¢ qf I ^Io6C P ;P55 P H o5£I d5¡&£ o5 ¢Ri £ XaHp; = ^E3= ^5 WF &£ o5¢R£ 5; I= ^Io t b¢¢= ^Io C Wr | 5; qf £= Y Q|F ^O^Ip5&£ o& q5 |¢^%&
J | W WX£ P | F£ P^¢ Pf6£ oCa F£ P5 P £f =^IoL ¡ ! PC K[ PL I r aHpQ|C ^I^Ip5&£ o5! E #"%$6)( *$&( +"!C- 55 OP Q+K£ Pf£X| LP £&o5Hp5 P £XW 52% I^5 O 5| tP £&o5Hp5B¡ J W ^6| Hq2¡£&o5= : =^IQ HQ 5rWFatq5 I^5 O 565¡ kr5! ¢R¡ XP | 6£ o= I d¢p5¡ ¢IY£ (!^I }W r=^Io5¡! P CK q5Id5Rf£f¡5Qb OP £¢R J Ek K q5¢¢ P 5= p;r P! W¡! WX (Y6£ o5! P £I df = dfX£ t =Y"£
R£Wr O P £ ; Q+K£ J Pf£ | L P &£ o YH p Q 5t WXat q5¡I ^5 O D O PR= ^5 d5¢¢ Q O WWr¡f | H o=¢I £= ^Io5£ ¡C b |rt ^Io;O qCW55R ,H &| L a X£ Pr PL (R t aHp,6£ o5H p5y Q r WXa q6PHp El ¢¢R£n Q H CW ¢R£:£= f¡¡R p £ Q+K£ Pf£ | L P ¡O ^5 O (5N# P ¡5 J 5r P J L P | | |£W% &P t p5(¡I P | L P I d5 Y O qCW5] W £ | r | £Wr, E ;fR ] MQ+K£ Pf£|LP J I^5
O 5 kbOdCWtP Hp5d5¢¢:¢W ¡ r PHqf !P £= ¡W E |r¢¢ P3Q T ,I^Oo%d¢pCPLW |¡ #P £=¡ OW5£6!t5¡=^5;f5p O P £= = ^Io5 ¡! P £= ¢I!p ¡ £ T OPqf E {Q N|¡I HQ ¡¡J r PIQ+K£ Pf£ | L P C W O Q I ^f 5 P Y K ¡f qJ5¡tJR!WXPH^@m Y ££&o5Hp5£ J 5 Y h= ^Ioi^Io=5 t P = ^Ip H qft a | o |JfH p q(Y6 E λ C
KL K G!5f ¢I £m #K W W£FP | (k z #I^Io]Q|C^I^Ip5£&o5 CP λJ|O atWqfr|}^&| pCJ PJ ^&| XE CKLKJ55|r¢¢P W L YL (YtPQ|F^I^Op5£&o J # W L % IY Y£ftfH5¡R¡£ ¡CP £frt T ;PHp55Ltsp5: # K¡! PHq¡5¢W! |r X E x |] p ££Wr,C P J λJ # KL K ;P £=% tsQ+K£=P5£| LP L£&o5Hp; # P £=¡£% fN } PXQ+K£ Pf£ |L P $&£ o5H p5k ¡! IP £}
|¢i ¢ ! r PO P C KL K 5£= YX£ | |, Ek `= ^Io ¡ PH^= ,I ^Io (C W £ Q+K£ =P5£ | L P @&£ o5H p5£ a J I ^5 O 5@ |¡ £¡= Q 5t | L Wrt q= λJ # KL K ¢IX E ! = ^5 J ¢ |(£! = ^Io J r b£ J F^Io £ ! p ¡ λJ ^5R¡ 5X£ P E λ "!$#&%((%*),+.-/%* λJ CKLK ¢I£ λJ CPHQ Y 5 0 λ 123(46572(8 8 9:<;=8> !!a¡£XP E ¡¢p}|¢¢XP J I¢ £CPHQ ¡;W L | |rratq &p}^Io¡!WXK PHqf
¡Y¢| Ho55 £?0 5@2BA 5C9DE2F65@2(1 G<HJI D$9K:<;L5 HJM 2(8K> £= p5E CPHQ Y ab|#O^IoI^Io=£! C PHQ 5 | Cp5 & pCPHp £ λJ # PHQ ¡ =5|ta £XP E λJ # PHQ ¡ = pO|¡5= qON λJ ¢W ¡ r PHqON;WL P} |PHqONf5f£ £ λJ r¢W =PHq = P P*P λ P p}| 5= q PRQSP λJ C PHQ P P λJ WL P} |PHq C PHQ λJ # PHQ ¡ P P = P P λJ ! ^ ! ^Oo5^ r P £=# p}| 5= q5@C P #¢Rt bFp5 ¢ aH^@J5f£ £ 5£}
^Io¢It bFp5 p} ^Iosp O P H o Y£ R P | L P @ 5 WCCW£ | EUT ¡ |O @! ^OoV ∗ o¡ ¢ E E J )0/213"%(54675"%89++-;-=<68>@?*!8-=>@7BA%$C9+9 ¢W ¡ PHq565¢¢ J V aH^ r WLP}|PHq5 ¢I ¡ P raHp5 ,E 2LPO|=PHq }^f ¢¢¡zW Y£ =P |r C P £=Jr¢W ¡ PHqE -=<I!X(46 ¢W ¡ r PHq¢p ;£=p£ Y;LPCQ|F^O^Ip5£&o55 ! 5£XP} Ho;¢R£Vp}| 5=q5 λJ Q 5t | LP ^6KX £=tKX £Wr% λJ #PHQ ¡ R!WXPH^td5 £ £=p5,E λJ
¢¡ PH5q Id¢p 5=( 5R£fHp ¡tK ,T p E #PHQ ¡ λ ↑ ^Ioi|Q F^O^I5p £&5o ↑ pO| ¡5=fq £Wr%8 }↑ HoCP ↑ ¡ =5 [pCP ¡¡Y E £=rKF f|Q F^I^Ip Y£6o £VW £XP | LW =q ,E λJ r¢W =PHq ;¢I £ T !^Oo J t^IKX td ¢¢ J ^6KX £=tKX f,Q|C^I^Ip5£&o5%T=^IoC |¡¢W[|}^Oo=5¡ + }^= ¢¢D Y£FWXb 0 9 1 2B5 :<5 G 2B5 > |Q C^I^I5p £&5o ; Yp !PL kK | LW tfq ,E λ 5#",X3 9:(C846 MQ+K£=P5£| LP £&o5Hp5C f£Hq=
£"RrWLP}|PHqf£Wr #p L ¡Rp £ λJ CK LK ¢I£P !E# Hfd ¡ D=^IoC | [( Y a CPHQ 5 W ¡£| K ,E JrWLP }|PH5q (Id¢p 5=( 5IY£fHp ¡rK ,T Q ↑J ¡ L !K ↑ J !E 2=^Io |Q F^I^O5p £&o λJ ¢W ¡ PHq ;55 J |Q F^O^I5p £&o ;tK| LP rt^6K J £=tKX | £Wr£=5p ,E i7"3- "3-=7( W tP λJ CK LK )( CW ¢R£= tP ¡ λJ CK LK ¢I £O = £! R £
5f£¡ £ 5,. E ^Io 5 ¢¢ J 5=5p ¡¢¢ WFK PHfq LR iPH5^ £&o H J |} a | 5 rW 5¢R£p rW ! D #W @#P ¢5¢pCa Y£F#P f =^W £XP | |Q F^O^I5p £&5o ;5 5f£¡ £ 5; & H5o L| £FWFq ¡55 W E T |O 5 ¡ £=r| | ,#E J P H5o £ 5f£¡ £ 5C 5 ¡ 5=q f =^ W W £XP | kbF5p ¡5! δJ kr¢| H5o 5;£W 0 δ 1&5 HJM 2(8K> £=5p ,E i!=C--=<63AX89!7<( λJ CPHQ J
¡ L !W r £WTpO| ¡5=5q !! H5o 5B| r| ¢I £=^Io J ; f£5ra 5q x y z a b 3E=E=E YH5d £,E =^I o CPHQ t ¡5=qp}| ¡5=5q W L Y5 WFP ¡ K £ ;; L ¢5fq | %O5d t5d 0 : H ; G > Y¢IOW 0 572@2&> ,: λ (C9( 139+13p}| 5=q5iW L r|r¢5qf E • • • ! CPHQ ¢R£ x p}| ¡5=q C PHQ Y ¢R£ x p}| ¡ !q CW x ¡Y¢WOWp}| 5=q E J Cp}^Oo F J Y J CPHQ Y ¢R£ λy.E # PHQ
¡ ¢R£0 x p}| 5=q [W x 6= y Y x ¡Y¢WOWyp}| ¡5=q E ¡ C PHQ ¢R£ x EF " #$ #&%()*,+%(#! #PHQ ¡ ¢R£ x p}| 5=q &W x Id5d5¡)p}| ¡5=q E J F J ¡ #PHQ J YEF ¢R£ #PHQ ¡ ¢R£r x p}| ¡5=q CW x = y x Y¢IOWp}| 5=q E J ¢R£ • λy.E p} ^IoFW x I d5 d5¡ p}| ¡ !q E Y CPHQ Y ¢R£ • !9( ?*!8-=7( λJ CPHQ 5£|r¡6 =5,T ;Hdf£=¢5d ! | Car| o!o¡££XP E LId¢p5¡ J J
55£&p5¡!PHq ¡!WXK PHq • βJ !WXK PHq • δJ α (75" 5$&<& p J λJ CPHQ Y;p}| ¡ !qIP£=p5! | BId¢p 5= ;q#Wf£*T • α Of E[x := y] YHd5LP E J ¢R£ kr¢IOW x p}| 5=q5 yJ T ¡¡!E β ¢$#A31%(546 I£ λJ CPHQ Y =^Io]Q|F^I^Op5£&o5£ztK| LP Jrt^6KX (Y£frKX d5¡ Y£C;Q LW £| | r| ¡b % Id¢5p ¡ =; ;q#W f£*T λx.E =α λyE[x := y] O f E[x := A] HdfLP E J ¢R£ Y¢IOW x p}| ¡5=q5 AJ T ¡¡!E$ I d5td ¡ Y¢IOWp}|
5=q5Id5=d5 ¡ d6J(£=p; f£-P;tK!E δ $#A31%(46 I£W λJ ¡Y¢| H5o 55p =5^ !W r| r| £=p5,E (λx.E)A β E[x := A] )0/213"%(54675"%89++-;-=<68>@?*!8-=>@7BA%$C9+9 E CPHQ Y |tatq ¡£XW¡¡ |d¢pCPLW£*T[SU 0 2C5 @5 2CA C5 9$D$9 ; 8 8DE2> G!Z P £=h¡I^ O |rPrW OWFPH^6 oL rPO| ¡CP £= ¡ K Y# IY£ G!IZ p O P £fD5 G!I5 kK£ O|}P¢5qfBP r (tt; =^E %! -/),% *% ##"%$&)(+,& %! -/),% *% #&%($+4!576 +.- % T
SVU¡£XW ¡£c| rCatq Y¢| Ho5 0 5@2CA 5C9$DE2 5 H.M 2(8> W L | ¡ ,E |tatq2 Y¢| Ho 5 5W f£Hqfr|}^ 5 kK £ Q|C^I^Ip5£&o5; Y p#P ¡f£f Q+K£ =P5£ | L P &£ o5H p5;5` Y£f¡¡¢R£^ Y¢|Ho55 J P¡ J T ^f ¢| LP £ W J X£ P | L t q5 E#8T SVU¢RL PI Y¢ | H o5 ¡X£ W ¡ II^Io| Ca¡ £W Hdf£=¢d5= CPHQ Y 5 0 DE2B5-> | # PHQ ¡ =56 E ¢ ^6K Q+K£ Pf£| LP (£&o5Hp5£a¡ I ^5
} 5 P g P H o5£%C PHQ ¡% 5 H o5%L¡O ^5 O Q+Kr | ¡ | £%C P¡¡5 ¡ 5 £% W5! Wr P C PHQ Y 5¡5Y f |r # a | r |p E T SVU¡X£ W ¡;¢R£ @# K T¡! ¡! P £= ;t P } P;= ^Io5 : P £f P = F£ 5t P! p rJ D ¡! WXK PHqf£W, E J Y¢ | H o@¢W ffL W T = ^IQ fC PHQ Y¡£% Y;5 `# PHQ ¡ | C at Wt q5¢¢ 5L WW £Wi = ^IQ H ;£ E
^Oo5¡; P £= O P ¡ 6 ¢ P £ t PC KO ^6P(# P¡ ¡ Y£f # P £ J ¡£@T SVU YF£ W =¡6 E# ¢ p}|¢¢ |J T f ¢I 5! W q5 λJ C KL K E T SVU¡X£ W¡¡C PHQ ! = £W} ^Io5 ¢¢ ;P £= λJ C KL K¡£Wr, E/.#L W|OKh([ SU ¡X£ W¡¡£ jQ Y £; W¡t P X£ P r PC K R} P# ! λJ # KL K! R ! 56 ¢ P £5 r PC KDI ^6P5 ! P I d5= d5¡£ = ^5F£ ^5!
W E [ SU% X£ W =^IoB Y ! W L |55 |r6] F^Io;£= p5 ^5 |}Q |rr at q YF£ W £ |d¢pCP J W*£ TegSVU 00 51B4 5@2BA 5C9D$9S; 8<8CDE2- > O H o;t 5:I d¢p5¡ = Q ¢R£ =qE J 2= ^IQ f£f¡f ¢¢ H d5£=¢W = ^ 2[ SU X£ W Q+K£ Pf£ | L P &£ o5 J p5:O d5= d5¡! %O ^Io6T SVUB ! £=t PO |r |¢I£BX£ P £ T¡X£ W W WX£ P |H p r O a | t Ph Y¢ | H o5 I d ! d ¡ Y ;P X£ W£¡Y¢ | H o=r
PHpCP | H qCWX| r | £W= ^Io#Q 5t ] p H qf ! a #£ b = ^56 E ¢ p}|¢¢ |X£ P £ D ! PHQ ( ! ^IP hO H o = ^6Wr |¡ YX£ | ¡! W3 2 J |rr ar t q(¡ DC PHQ ¡£ )|r # a | r | £Wr 5¡ YF£ W E Q+K£ =P5£ | L P &£ o5H p5I df£&£ o5 £ | ¡ £ ! Q r | L t q=r T SVU X£ W H d5£=5¢ d5= p}| ¡ kr O P¢I PL (Y£f |PHq6P | |¢I £ 5; oI d5¢ ¢ | £Wr T SVUB¡X£ W¡¡C P £=( λJ C KL Kt 56 E% T
SVUB X£ W £ KH q PL J W! £=r |PHq55= p5¡¢¢% 5¢W! |V p5 £ Q P £=D C KL K f£: KH q5 E £C aHp Q £=r P,PL W! £= |=PHq 5 H ;£ W f&£ o=LλJ ! £, E C PHQ Y |raq ¡£XW ¡8s|raq kr¢| Ho55{W L |¢5qf| £W,Ej |tatq, kr¢| Ho55 =^6Wr| 5|rnNI^Io P5£= !: C PHQ 5 | C a X£ P ¡! WXK}| £FPX|rra £FP ) | CPHQ Y ;56E ,
$#"3A3-=<6$&$&( +/ $$&<6#-=$&( [CPHQ 0 DE2B5- 8K> H G!Z W L rk(Id¢p5¡ =(5IY£W W£XP | LWrtq T T erm = V ariable | Constant | P P Constant 5 P P {T erm} ; V f^ J| f££= Y (T £&K kp ¢^Iotd ¢¢E$Y {T erm} ¡ =f J ^5 |O k CPHQ ¡ 0 2B5->}J D£=E p}| ¡ !q 0 1<5C9 1 M 2(8> Id5 =;£ CP ¢Rr bCp5p5!WFCW£ 5f£ £ 5 0 :<;=8D 1<;D8> R!WXPH^£W}^Io¢RtbFp5#p}^Io p O ;P H o5£ R P | L P r ; ¡¡ W EUTJ |O D=^Io V ∗
h ¢E E =^5 |r¡ | |¢I£L W} ^Iok K , E^ f£ £ ! PL 5¢ qfL KF 5#Id¢p J £#K Vp}^Iod5¢¢ J CPHQ ¡! !df¡¡= Q I ^f H qJ£= p5£ ^6KX £=t KX 5 £% k |O kK! rr P | £ 0 £= p5, E J r@C PHQ 5 X H o5£! r¡ L £W] p}| 5= q5 1<5B 9$|D+7¡> CPHQ £ 0 I(M : 8B2 G DE2B5-> 5 d5¢¢ P`Ir O r PC K^C PHQ ¡£ 0 :B4*2B; DE2C5> £= p5, E LW|rLCPHQ Y ; T .# x 1000 F ac x F ac 1000
Reverse (Cons 2 N il) Select 3 (Array 1 2 3 4 5 6) Sqrt (− (∗ b b) (∗ 4 (∗ a c))) Ap (Ap x z) (Ap y z) ^Io τ =55# ;55# ¡CPHQ ¡ 0 8 H DE2C5> τ CPHQ ¡£%¢W τ 32FP}| LP £ ¡ L Y@ τ J !5 τ τ 55£ ¡rK PHq5|¢W £O P £f CPHQ =^ J £XP,E τ J p HqCWXP$ Y CPHQ Y¡£ £ !p %3W τ ¡CPHQ ¡ τ J £W W £! =^I5o !P =^5p 6E TSVU ¢IYLP# Y CPHQ Y 0 8 H DE2C5> £! f£f P £XWW £&5o Hp%,P 5p ( λJ CK LK
@¢IYLP#¡ #PHQ ¡¡¡=0 8 H 23B465@2(8 8 9:<; > E Kq5¢¢Po XP | £&o=!qPL WLP PWLP}|PHq5 p f£W 55!P,EiPL LP =PrWLP}| J PH5q N =5^ £F5^ !WXP D¢| t Ho 5`CPHQ 0 23B465@2(8 8 9:<; > =^Io# | ( Y YHo fd ¡ I5d ¡ = Y[aH^Io] ¢¢CPHQ CP Ca r| r| E .#LWr| CPHQ Y ¡ CPHQ !P ¡(T Ap (Ap x K) K 0 0 0 0 Ap (Ap x K) K Ap x K ¢p}|¢¢|£ X| £&o( £RLWW I Ho5 CPHQ ¡! P T Ap Ap (Ap x K) Ap x 0 x K |5 ¡ £P
Ap (Ap x K) K x K (Ap x K) K CPHQ Y¡£(£ ¡ J ) /213"%(54675"%89++-;-=<68>@?*!8-=>@7BA%$C9+9 0 +/ $$&<6#-=$&( $&3¢$&<6$#"898- /8 X9 #PHQ ¡ ¡£=| Ltq5Q:|; HG!Z 2E ;5 [Q:|r; 5=^5d5¢¢DY ¡¢IY£D¡tt5¢¢R£ ¡£=| Ltq=r@ Hdf£ J ¢5d5=(CPHQ %# P £= W £XP q5 KL tP £=rPh r; E` Qb Tt T }P 5f£ £ !PL ¢5qfLKX (5$£XarP =^ 5 ;aH^r(OW ¡ Tt T ¢5qf^CPLP £FWXKHq]Pr| £&oCa 5¡ Y
5% r !X Tt Tt 5o ¡5=q 5f£ £ rt^6KX (Y£frKX }P £WgQ £N =^J E Y@5f£ £ 5tP | =5^ =^I5o !P | ¡ 5=q t T ¢5qfWCPLP £FWXKHq |O |p DE bQ L=^I o ¡ =Q:| } #P L rYL5£% ¡¡ | r t( =^I5o ¢ t T 5!F =^IQ ¡ CPHQ ¡£,E +/ $ $&<6#-=$&( 8F?8-=8"%X(f$C"3A3-<6$#$ TSVU ¡£XW ¡¡;¢IY£ α β C@| ta | tP ¡!WXK PHfq !%r| #a | tP
J ¡Y¢| J H5o 5N | LW tq % O f α J % β J #PHQ ¡ ¡pOr| ¢¢| P £XW £ β J ¢IYLP[pO| ¡5=q =5^ | LW q α J ¢IY£ P ! !^O5o £ α ! | ; !^O5o £]p}| ¡5=5q ¢fq E TSVL U Y£FW !P £= 2FP T TSVU TSVU J Y¢| Ho } = { TSVU J Y¢| Ho = U Y¢| Ho J ¢I J fLWW U=Y¢| Ho J 5¢¢ J fLW = =U Y¢| Ho J ¢I J fLW = Jf£ £ {gPHQ ¡ } =U Y¢| Ho J 5¢¢ J 5LWW = gPHQ ¡ [TSV U Y£FW o¢RLRP 5f£ £ 55 T 5R5 ¡¢I 5 fLW 5q ,E P
£XW £L5f£ £ oO Ho2HIQ 5tWXK p O (YHo2 Y¢|Ho ¢W fLWW |£W =^5¢W fLWW LP¢¢NR5!a JJ i i i i i i i 0 0 , $#"3A3-=<6$&$&( C~ PHq | £[Q|F^I^Ip5£&o;£ £=p5£,El 0 |£.RQ £=tP@ kr¢| Ho; sQ|F^I^Op5£&o Y¢| Ho6| £W% ¢p}| ¢¢|L =^IQ H PL ¢5qfLKX W W£XP PHqfJHIQ 5tWXK | ¡£Wr£ p5! ,BE td ¢¢P 55£ £ kd5 =Q I^f Hq£=p5£N55£ ¡rK ;¡5 5 £Wr@XaHpY K,J E Y¢| H o ¢I 5LWW YHo ¢p}| ¢¢P r;¢I £B P £=
0 41 DKDE2C5B; > #PHQ ¡gP =^IQ H^E P £= Y CPHQ Y ¡ ;P £= 0 8 H 41 DKDE2B5C; > E .#LWr| Y¢| H5o 5[SL U ¢IYLhP CPHQ Y ; T F ac 0 F ac n 1 ∗ n(F ac (− n 1)) Cond T rue x y Cond F alse x y x y ¢p}|¢¢|(£!|£&o £RLWW C Ho5 !P £= ;rPOP ¢^ FP¢| Y¢|Ho55,T x 1 Illegal x y !"$# %& )( %*+ ,%-)/.+0 3% 4% 5) # % β 21 i ,%-)/.%7689 : 4 ; 0 αi *< % - ) % *% *>= @ ? ( +.- % [
SU¡£XW ¡5R¡]| Ca £XPp τ |¡ CPHQ 5"0 I M : 8C2 G DE2B5- > Y r rO Ho5 T 5f£ £ 5;¢5q5C| £WE^{m Y £ P £XW£&o5Hp5 5! WFf ! PL 5¢ q5L KX i P g P H o5£% | DC PHQ !, Ho £CP ¡5¡ J | Car| 5 5 5Y J (¡I ^5 O YQ+K | X E $#A%$BA $&( |¡ CPHQ ¡o¡!W32 J £ G!Z £=p5 J ;5 T r; 5 J X !P fHfo £% Y¢| Ho Ho £ ¢I`5LWW 0 41
DKDE2B5C; > =^IQ #LCPHQ £ E@ k J ¢| H o ¢Ih5LWW c =^IQ p ¡ CPHQ ¡£%&( !P £= =rPCK £i =^5=^Io5£ =^IQ H 5f£ £ 5; P £=r|¢I £ E(YL¡!W32 !^Oo%fHo= £ τ ¡ #PHQ J ¡( τ r| ¡CPHQ ¡£%5 I^Io τ ¡!P £= ;tP CK £#pCPHp £@=^IoCP k J ¢| Ho α ¢W fLWW | £W=^I o RLW| £6o&|p 60 9S;=8D 1<; I 2&> E f# α #PHQ ¡J=^Io RLW| £&o&| £f o σ(α ) CPHQ
b %= O f σ J α pO| ¡5=q6P ¢I J | $CPHQ J ¡ H5o ¡ta ¡ &E yQ ¡¡ £]p Hqi =^IQ Y £ f£FW K % I^Io I P 5 ! X W P 0 ¡ 6 E τ 1 D > αJ JP ¡£XWF | ¡ #PHQ ¡ T 0 0 i i i 0 i i Ap (Ap K K) (Ap S K) 6 LW )0/213"%(54675"%89++-;-=<68>@?*!8-=>@7BA%$C9+9 CPHQ iP ¡ ¡(T .# W(( Ap (Ap (Ap S x) y) z Ap (Ap K x) y C PHQ P 5!WXP( ¡ta¡(Od¢p5¡5= T Ap (Ap x z) (Ap y z) x Ap (Ap K x) y P £=r|
FE#. =^5 Ho5 J σ(x) = K σ(y) = Ap S K Y σ(Ap (Ap K x) y) = Ap (Ap K K) (Ap S K) J!WpCP f£= £&oCP Hp}| £&p Hqf£ rb£F ¡;¢R£n df£n ¡2@P ¡5!W!E = ^Io5£ [SU |r¢¢P T Eq x x T rue |¡#PHQ ¡¡£ Eq (+ 0 1) 1J ]p}| tp £! tKXWXK£ P ¡£XP KF^Iof £XP D£! ¡!PfHo= £Ho5 ¡ta¡ xJ £% O Ho% kr¢| Ho¢W 5LWW | OW£X|XE $ £=¢IY£ Eq (+ 0 1) (+ 0 1) P ¡5!WXP kr¢| Ho; XE d¢5p 5 5R£ I^O2 o =^I6o ¡
CPHQ ¡!W 32"$ [SBU £XW ¢R£ | LW q Y¢| H5o ¡5¡£ k LP %5 ;PH5p =^Io ¡CPHQ ;55 T r ; 5 ¡!W 32"!W !P JfH=o £@ Y¢| H@o TSVU ¡£XW ¡¡¢IY£"r } Ho £@ P £=r| | |¢W fLWW r| P ¡5!WXP %¡ #PHQ ¡!E; £= ¢R£ | $ CK LK ¡ O5 P £XW Y£B ¡¢R£B Hdf£B !W32 J tf ¢R £ %p }| £&o 5Dλ=J ^IoQ|F^O^Ip5£&o p £t^IKX
£=rKF ¢I £ E +/ $ $&<6#-=$&( 8F?8-= =^I5o £ [SU r| ¢¢P T Hd (Cons a b) a CPHQ £ p}| ¡ !K Hd P H o5£ H o5¡¡ta¡ !¡¡=^5 T (Hd (Cons (Cons 0 N il) N il)) p@ | ¡tK Hd (Hd (Cons (Cons 0 N il) N il)) k σ(a) = Cons 0 N il, σ(b) = N il Hd Hd (Cons 0 N il) k σ(a) = 0, σ(b) = N il Hd 0 ^Oo # PHQ ¡ Y£ p5=^5 5¡|ta| tP 0 G!Z p ¢ ^Io0 WFK PHqf R¡£τ£=p5Y τ J ¢RLPh¡!W32CP T ¡ 5@ 2CτA 0 J 5C 9$DEW2&}> P r5£ Y¢|Ho 0 5 HJM 2&> , $#"3A3-=<6$&$&( . 5¢¢fLWW rO Ho;
oJCPHQ Y b =^IQ YH σ Ho5¡¡ta¡¡ P 5!W¡E W 2} Ho =^5=^Io5¡ δ(α )J p YpT ¡HCWXP δ(β )J ¡O Phk =^IQ H τ0 i Y¢ | H o5¢¢ 5L WW | £Wr; YH o r ai ¡ p}| 5Y XE !C PHQ ¡T SVUL¢RL P%|t a | # pCPHp £J λJ CKLK ¢RLP β J ¡!WXK PHq¢p E = ^IQ5¢¢N H df£=¢W = ^B O ^Io λJ C PHQ | T (λx.M ) N ;P X£ WXPH^ ¡! W3 2" H oI d r t = ^Io5f£; p}| 5= q656 E [ SU YF£ W
;£ T rDT SVU¢RL P5 k J ¢ |H o55; qf# Q|F ^I^ OI ^Oo= ^Io ¡ C PHQ Y# W 2 J Op ¢ ^Io ! E S| O W| t K[ SU J ¢RL Ph Y¢ | H o5 £W +Q|F ^O^Ip5&£ o5 £ == ^Io £p d5¢¢ ^6KX £=t KX 5 P ! [ W J X£ P | X£ P E@ r ¡ Y£ T r%5 Y¢ | H o 5 W £ | L W q= Q pO H o5 £ p O (Y£&£ oCP5rt ^6KX (Y£fr KX kK P Y (! ^OQ Y [ P £=r | £W E% t d5¢¢Wt ^6K J £=t KX f Q|F ^I^Ip5&£ o ^6KX £=t KX O Ph¡!
8¡;¡= ^5% m K t o J £¡= Q 5t |PHq¢p ! PL kK | F£ P E .#L W|r Y ¢ | H o55 d5¢¢I ^6KX £=t KX f Q|C ^I^Ip5&£ o5; ( T G x y H x y z x G x y Y G 2 3 2 |ta| ¡ df£5pCP 5£=D G 2 CPHQ Y£! WFK}| LWq %KC^Io= £XP £FGP £ T¢R££L¡!W32"% PHp5 T r:=^Io5 £2^6KX £=tKX p £ P £=r | £WR!WXPH^5¡E !£ ! p;¡Id 0 ;1 2 I :<; M I D > O Ho λJ CKLK¡¢W £HIQ 5tWXK [SU YF£ W =¢R££ L Q E`.5!WrPICPHQ
0 9 ; 9D$9 1 M DE2B5-> =^Io(|¡ C PHQ rY$ Y¢IO W p}| 5= q5£! Y 5 ¡£= ^Io |rar| tP ¡!WXK=PHq5 ^R 5r | £ E X|¡ C P¡ 5Y¡ | £2 ! X£ ¡£ = ^ C PHQ Y ¢R£ p}| 5= q5% ;¡£! ! £= p I d5 ! E - <6389*7( 8TSVU¡£XW ¡;¢R£; λJ CKLKt5 W f£Hq=£f + £ f=^W J W£FP | Q|F^I^Op5£&o5 5f£ £ 5,E3 5 f=^gW
W£XP | Q|F^I^Ip Y£6o55`td J pCPLW Y£ δJ Y¢| H5o £W0 δ 1&5 HJM 2&> HG!Z p ¢^Io δJ Q|F^I^Op5£&o5 ££=p5,E P Ho5£ |Q C^I^I5p £&L o ;tPHpO| LW tq #W ( Y !^ Y t^6KF £=rKX OP (!^Op ££W,E ; 5 δJ P 5!WF ¡ CPHQ δJ ¡!W32£fXaHpk K ,E :=^IoRP Ho5£ f=^ W W£XP | Y¢| H o 5 L r| ¡ ; ;55 δJ WFK PHfq R t5 h¢R £ ,E :!^Oo δJ ¡!WXK PHfq R!@ } H5o + δJ kr¢| H5o f£,Y 2 p O P £f 3
t5 !^;W £XP | 5f£¡ £ 5; , kK 5L¢R(T δ + 2 3 δ+ 5 JIW! =^5$;5If£f kbOdCWtb¡Y¢| Ho55 Id5=p5 £;W[SU Y£FW ¢R£iW W£XP | £XP&W@!^ td5¢¢ ¡¢R£L 5; fHp tWtq ¢¢ £&o5=^5 5¢¢I £ ! t P#W(;¡D f= ^;W WX£ P | [ Q|C ^I^Ip5£&o55 p5 £L¢R6E )0/213"%(54675"%89++-;-=<68>@?*!8-=>@7BA%$C9+9 f=^W W£XP | + ¡Y¢| Ho r;rPHp}| HqCWX| r| £WHIQ
CI^Io t^6K J ! £=tKX 5@p Hq5¢I£ =^IQ H%raK ¢5q5 p Hq 5f£ £ 5 !^Oo5£,ER ¢¢R£ Y ¡¢IY£ I O ¡¡ £ 6Od5¡=;£ 5f£ £ |O 5;£W2 Y ££XP % H d5£=¢R£C PHQ £! δJ W 2Y£! dI ¡ δJ ¡!WXK PHqE ^5r|}Q|tatqB Y£FW |d¢pCPLW£yeSU 0 0 5 1B4 2BA 5C9D$9S; <8DE2 > HG=Z kK£ O |r5¢ qff¡ ¡£ =^6P t tt;,E {egSU@¡£XW ¡Q O^= L | G!= J ¢R£ p5
¢IV x YF£ W¡= ^5! 6 5Y"£ #e@ O K¡!f@Y££W !o.$ t !P U;E# ^5r |}QN|rr at q2 YF£ W 6C PHQ |r a q2¡X£ W ¡ f£ XP¢ |r |iXPHp 5¡ 5 p5f f X£ P I ^Io ! ^ t d5¢f ¢ Q O WWr¡¢I £N d5¢¢W = d5; p £ ¡;¡= ^BX¢ P5&£ o5f Y J ¡! WX (Y6£ o;¡%:¡¢ p}|¢X¢ PJ |} a | 5# 56 E # PHQ ¡C P¡ 5H B¡X£ W ¡% r P H o5£N¡ =¢R£ or t P £=¡¡( ¡C PHQ ¡ d5¢¢W = d5
|O 5 |6C P O P £W} ^Io ¡ ;¢R£¡f£=b ; ¡5f6£ o r |}^55! E < %! - ),% *% ##"%$%&%( & legSVU¡£XW¡¡ X^55£XWf I^Io WLCPHQ 5 Pr| £&oCa 5¡T^5r| J Q 5; T¡ Y % @O P £ ,Odf !d5£Xt;£.!tf =^p £n^5r|}QIf£= }P Rp Hq td ¢¢W = d5t df[ XPHp¡ 5 | ¡£W%= td5¢¢W !d tdf CP¡¡5 5 Y £,E U=! ¡ ¡¡£= |=PHq JD[ SU X£ W `¢RL P=C PHQ
¡£C P¡£=¡ Tt Tr Qb p5f E egSVU ¡X£ W¡¡¢IY£%££ =PL (5 I d5r (Y£f¡V Pr | &£ oCP 5¡ ^5r |}Q5Q X (! ^E#y ^5r |}QTt T } P = ^Io5! WXP PL 55 |b K O H o5 5 0 ;: G 2(1&9 G >}J £N£= p5% % Y = ^5r |}Q 5Nr5£ft a | r | YX£ | K, E = ^Io IYL W H oT SVULV egSVUL¡X£ W¡¡LI d5= d5 r Ph;H df£=¢W = ^5 ¡! ¡t P=HG!Z T J |t atq Y¢| Ho5 Q I^= L P |t5!Wqg^ |}Q,|rratqD £XW
;¢R6E#,|¡ o£&oCP 5¡ #PHQ ¡ =[SU¡£XW ¡¢RLP5|ta| 5kQ f£= f$! !PIQ I^=L | £W ,L~ $#"3A3-=<6$&$&( D P ) =^IQ Y rtp O ;P5 f£Hq( egSU( Y£FW ¢R£ E egSVU(¡£XW |raq Y¢| Hfo OP ¢I £, ¡WHf^ |}Q 5 £&oCP 5¡^ |}Q 5L0 :B4*2B; 51B4 8> V ( =^Io5!WXP PL 5!P cp}| ¡ !q ,#E J| ra r| ¢I £¡¡WHN^5r|}Q 5% |r¡ ^5r|}Q 5<0 I M : 8C2 G 5 1B4 8K> PL 5!`P 55£ £ 5E Hfd £f¢W !^ TSV%U egSVU J
¢RLP p}| ¡ !q 0 1 1 M I5d =5d E 5C9 1 0 2&> =^IQ 5£=¡f ¢¢( Hfd £=¢W =^ DTSVU )egSU Y£FW I5d =5d $g kb IdCW Y¡ J ¢R£p £ E negSVL U ¡£XW ¡ £k5^ |¢`Q ¡tK ;t P J rCNCPHQ ¡B¡ ¢IY£"o x ¡¡5 J %CP¡¡5 ]K| £ J P £FW %5 XPHp 555 H o5k£ YX£ | L W q r £=¡ ¢R£(@TSVU¡£XW¡¡; Y}fQ Y£frP CPHQ ¡# P ¡5 5 5 x ¡5 CP |O
a £XP E P Ho5£@td5¢¢W !d tdf C P ¡5@ H dfF£ d5¡£ |r¡ |&£ o5f!WW O ( ¡5£=N| OW5 x CP¡ Y £! ¡t PHpCP | L P ! E Double x − + x x *< %! -/),% *% #&%($+4!576 +.-/% *< < %! -/),% *% egSVU ¡£XW¡]|rratq Y¢| Ho5 df¡ ¡ =^56E] £2 Y¢| Ho5 Wr|¡5| =^ O P5£= $^5|¢Q 5 | ^5|¢Q 5;}|g|ra¡£XP 0 572BA 5B9$DE2B; > |¡!WXK O| £XP 0 5@2(1 G<HJI 2 G 51B4 > `E 5^ r|}Q 5L!a | r| 5 Q 5r !W Y tdpCPLW r0 8
:<5(D1 G :<5- > ( £5£XP CK J 0 I 1<;:<;69 I 1 M :<5- > E$ td¢p#PLW LY ¡£ 1<; ^5r|}Q ¡5¡@£! 5 # Y £ !a ¡£XPW =^I5o ¡L kb £ =^6W r| ¡ tq Hfd ¢5f E (YH5d Y¡ [SU bQ rK ;r r| |} 5W ¡5£Hq5^ |¢Q 5 ¡ J ¢R£ L[S U ¢RL^P Y¢| Ho 5C 5NPH5^ £ W f£Hq a tW qiQ E £f£FP CK Q 5 J |!p , ;P £XW £=@32 WLP P Y£ W W £XP | £X#P 5 E$ ££( !^OQ YH; £%d¢pCPL:W
r55 W ¡£| K B |O a | ¡ !a | r| aH6 ^ : £f£XP CK 5 (RLW|OK segSVU ! £=tP Or| |p )Q If^ 55=qQ OWW 5;¢I £BE 5L £NOfd Tt5d £Ffd £ =^ J Q ¡! t5 £%5 $Y££XP 6E =^Io tb =^ 5!WF5p ¡ =^Io Y£H5 ¡ Y£X| K 6 d¢pCPLW 55!E )`¢8/ 5^ |¢Q 5 W L | (5f£ £( !PL ¢55q LKX 5: Tr 5# 5W ¡£| J £5ra 5q 2mor f£ fta tq 0 ;: G 2B1&9 G > W L YQ
Y Od¢5p ¡5=5 5IY£! W W £FP | £XP T c| | £f`Hfd ¡rP £f(5f£ £ 5£W}^O o ¢RrbF5p |OD =^I^Io Yp }^Io p O ;P H5o £ RP | LP r ; ¡¡ |IYLWX|OK T ? !WF#W £,E &m t T J f£ J p}| ¡ !q& J pCP 5£=D#P @¢RrbF5p &=m t T J f£ J 55£ £ & J 5LR!WXP$& V & !PL ¢5qfLKF R5 h5!WFCW£,E *>= ? +.- % egSVU6¡£XW ; cbIdCW ¡ Y£ z O^IoN%5!WrP)^5r|}Q ¢5qfo K¡tK£N
WFK PHq5 L | r|p k=^Io ¢p}|¢¢ | £! 8¡!WXK O|LWtq[^ |}Q+ &E 25!WrP )0/213"%(54675"%89++-;-=<68>@?*!8-=>@7BA%$C9+9 er|}Q egSU¡£XW ¡¢R£*T m t T £XP PHq m t T £XP PHq e r|}Q m t T £XP PHq == m t TJf£5ra q P P P T P mot T m t T =U !PL ¢55q LKX YJt^6KX (Y£frKX N J¡ Tt T = =U !PL ¢55q LKX Jf£ £ ^6KX £=tKX == m t TJf£5ra q m t Tf£fta tq = m t T J f£ J p}| 5=q NFm t T J f£ J f£ £ J Tt T = P ⊥P U=!P £= ;rP OP ¢^ H5o £f£XP
#K [Q 5t | ¢I£ !a 5^ |¢Q 5,T !" $# !"%&( )*+, -/.01 23# # # 2 $4657(819!:;9< 2 −3 !"=; ; −7 <2 > )*@?@A ?BCD5030A A EF83GH ^5r|}Q 5 0 2O9 ; 9D$9 1 M !WtP,^5|¢QT 5 1B4 > Id¢p5¡ =5 R£ 5}| TW £XP | £XP T !IJ.LKMONPQKL RGS.O7T+CDKMGUKV%8W CDKM.GUKV%8W=CWKMOGUK egSU¡£XW ¡JYX oCPHQ ¡ff5WCp5 5}| [Q a Y£FP E % 4 % $#A%$A $#( J=p5L5f£ £ !PL ¢5qfLKX (5;¢5qfITt T J f£ftaqkp}| 5=q5;¢5q5*0 ;: G 2(1 q CPHQ
Y 5¡!W32 ;P £=| £ 0 5@2 G 23 41 DKDE2B5C; > G!Z E P £= %!^Oo 9 G > | H: ,L~ $#"3A3-=<6$&$&( C RLW|£&o&| £Wr£=p5OWW[^5|}Q^=^IoL¡ =^5|}Q |rC Ho £ !PL ¢5q5LKX OPp Tt T O P £W 5 g =^IQ £ 0 1 D I > P £=r| £WE`Q £=tPp Y =^5r|}Q 5 d¢pCPLW £ FaHpk K W 2 J £ 0 5@2 G<HJI 1 M 2 23(46572(8 8 9:<; > E i) <A%F8/T8F?¢8-= JOWt^5r|}Q)|rra||£W G!Z ;qCW LCP ¡ ¡DLCPHQ Y |ta| r| £ ;qCW | qf E P 5!
WFL ! W32 =^5 | | Kr| £:}W5¡@ Y¢| Ho;£W =^IQ H;£ J H &| £] Tt T 5, E 5JTt T¡ r¢R5 BP ¡ Y£FP OWW^5|}Q ¢WXE xo5 B | L a X£ P | kK t q #p O P £= | LKi kK ¡ ¡ ¡=Q ¡£ P |E Tt To¢R! P ¡ K | £L £fH o=£ Tt T¡ % & H o5£! r t = # P £= ¡¡ V @ O S; Tt T 5¢ qf Es N ^5r |}QJ¡ pO|r¢¢ P C P¡¡5 ¢R£ £! | Y
£W R ! |B Q Y! Y¢IO WFa X£ P r | L K Q I ^5 B ! ;q r P J ¡¡ E` Q £=t PB W X£ P! kK ! t ^Io;¡ r P PC KT C W Y 6 E CPHQ ¡ £ Ypr|t^Iof rKNF^Io £ !p ¡ δJ CPHQ 5E ! =^5=^Io !PLTSVULeSUL £XW ;¢R£ E CP £=¡¡(Od¢p5¡5=td¢pCPLWRLW| RLW| GIG ST = ^Io5£ rc |rr at q kr¢ | H o55i L Y((Idp5¡5= T "!
!$# &%( "! !&) ) (+ ,#* 21#2 1 &%( + -)3 )*( "! !$ $(4 0 /.0 657 J}WWt^ |}Q 5!WrPh ¡5=^Io Y£(¡5}| f T 829 #210#;:0 21 4<# = > 8 21#2 1 ? 8 21# 1 ? 21#2 1 J=^Io ¡£¡!W32 ¡YX 8 8 @ 8A 8@,8 A 8 A "! ! 829 #210#;:0 21 8 21# 1 ? 8 8@ 8A 4<# = > 8 21#2 18@,8 A 8 A "! ! % 4 % Tt T¡ kp5f£W 55=q Y¢| Ho !WX £&o5(T xoLP tp5JOWt^5r|}Q ¢I T )0/213"%(54675"%89++-;-=<68>@?*!8-=>@7BA%$C9+9 I^ o rPHp tY;=Q ¡Y% ¢W4O%WX ar ! PLT
¢5q5LKX X % 2% 829 #1#;:0 1 ( <#;= > 829 829 ( "! ! 8 A 8A ( 4 0 J ¢qf=£! ntt ` ( J PH5p f£! ! ^5d ¢¢¡!WXK PHq5 p5=^5¡!Wr £XP¡#TQ £=tP;OWWrt^5r|}QWTQ|F^O^ J p5£&oLCP¡ 5Y £ !WX £&o56E m Y ££6o5Hp GIG W=^IotP ¡r| £;Q+K£=P5£| LP £&o5Hp%I Ho5$ P £F^5£XPW J LPCKT ^Io5¡! 5; tqIPpTW H^=tqIP5Q ¡ ¡£,E#nmoY ££&o YHpQ ¡ Y£ z 5¡t5 !^O;o ¡ @Q+K
£=P5£| LP £FP Or| Q ¡ Y ! P tp CK | tP ¡¡¡5£= Y£X| | %O | ¡ T=^ ¡=5p £(P PFQ t=^ I ¢IVP 5 ^E 5 Q YL Y£X| | tP ¡ =^I o O5d YW5rPL | LP $! t5 ¡=^ £&5o Hp%6P 5p 5| r¡¡ !qQ 5rWXa 5q I5^ } Q ¡6P |O | I PH5p X H5o $W£Wr=^IQ rP ¡ ¢¢ L rfP CK | 5=¢5fq ;¡| t =q WF £&5o Y ==^ r }W| H5o 5Y I^Io
£65o Hp 4 % 4 4 % Ygfd £ zL £&5o Hp#5p gp}| 5£ E ( {m Y £=^Io LK #P ¡5tb ¢=^ ¢¢¡£XWFbcQ+K £ Pf£X| LP ^£&5o Hp% O Ho J £ @=^Iok^5r|}Q J |tatq £XW !E ¢¢R£LD Y£FW ¢R£LD¡O^5 O (5=q|tatq J Y¢| H5o r +Q|F^O^I5p £&5o 5 TW W £FP | E ¡O5^ O Q+K r| R!WXPH^ % 4 %|Q F^O^ J p5£&o #P ¡5 Y£ Q fH=o } FE% PH5p Q LW £| H5q £D=^Iop Hfq #Id £&5o J ¢R£ Q+K L q ¡ J¡ Cb
¡I^ O £65o H;p ¡Np f =f^ %p ]m Y ££&5o HpQ ¡ J tIP CP ¢¢pCa ¡ ¡% egSV% U £XW cb IdCW £!| £&%o ! E H5o £:RLW|}K Q+K q 5Rr|PHfq Y£FW ¡fH^6| r| OP £W?0 I Yt t¢5p D ¡ O H5o $¡I5^ O ; Q ¡| ¡¢fq :X| ¡ | f9SH5q ;DEfq 2B5 51 f£ 2&> 5tfq 5^ CK Q J W £| HqIPQ ¡t5=0 0 > | Hq kr¡tq5%E=E!E P ¡¡!D}WW¡ rEVx |(
Y# Hfd £=¢5d !P Q+K £=P5£| LP #¡O5^ O( 5| F5^ f£XW 5 | fq J Ifd Tfd £ J W r| ! £! CaHp}| £=3 CW r| J £=¡ ¡I^ O | J r Q Y t £tP 5¡ =^IQ H; £¢Ia £XP #W ¢R6E X $( %&% %( = " mok£ £&o5HpCb¡I^5 O 5|raq Y¢|Ho55;¢5q5Q|F^I^Ip5£&o =¢5f )| £W,E P £ J W£¡Y¢| Ho £Wgp £raXK } Ho53p}^Io Hdf; I^5 O 5=q@ Y¢| HoNW r| J PHq5 |r¢I
£ &p}^IoLcQ 5tWXatq}K¡6 rPCK £]Wr|¡5Yc =^ kr¢| HoW W£FP =PHq | £ E 7 A31397( MQ 5tWXa t5q ¡I^5 O L£6o5HpW W£XP PHq5 |£ =^5Id¢p5 YLP (CWXK |tP J¡I^ J } 5| E`nmok££&o5Hp]| 6 YQ CWXKT Y£X| T ) c9$&"y",5$#9 , PL (Y£f|PHqf CWFK 0 974 M 2 2B;D 1 D$9:<; : G<HJM 2 > W W £FP =PH5q T CWFK 0 G 2 ; 9D$9:<; : G<H.M 2&> • Y£FW T CWXK J0 8<8CDE2- : G<HJM 2 > • W W £FP =PH5q ( CWXK T & I^Ooi =^Ip Hq5ra¡ gP £FQ 5t |PHq5
¡ ¡o Hdf£ ¢5d ! ( CWXK 5 O5d =5d ¡!LE JiPL( W! £=|PHfq g( CWXK ¢I£# CWXK 5d |Q F^I^ JJ p5£&o ( r| rW q ;aH^ | ( CWXK 5=¢5fq T 5%5 H5o 5@]W W £XP PHfq V CWXK P L r&E £XW V CWXK ^=^Io RP | LP W £XP PHfq CWXK p O Ho !P I^Oo | ¡5=q PL W! £=r|PH%q £! om Y £N£&5o H5p £Ra tq#W 5¡!W £! =^Io VxTm Iq#W £W £=5p ¡I5d ¡LIq#W ¢I £ O H;o t5 2Id5p ¡5=@Q
¢R£, =qE JcP H5o £¡£XW ¡ J PL( W! £=|PHfq CWFK | 5| | ¢I £ δJ !WXK PH5q =^ J p Hfq ta r| r| L r| E $&<6&¢9+#-! -=<6$&¢($&<6$6!$#( m Y £f|Q F^I^Ip Y£65o #p | CW =5^ &5p tP 5 & P £= OP J ¡!E P £= OP ¡¡£cXaHkp K roN ;qCW ¡= O ;P 55$=^Io |Q C^I^I5p £&o £ !p# J Q 5t | LP £ J t5d ¢¢W W £XP PHqP ¡ 5!P ,/E .#LW|OK T • B&
%`£=pC r¡¡ !qW W£XP PHq5Id55cmok££6o5Hpg P £f OP ¡ Y£ ! £=tPO|r ; P r¡Hf =d5 L¡ 5 P ¡ 6E £! P ¡5!WXP =55@i |¡#WXP ¡ 5 3P Y ¡ ¡6E r K ¡f q | £=¢R£:i | CWXP ! nP ¡ t P5¡! 5;55 @ I^5 O Q+Kr| gXP¢I £ =^k£Xa¡ J p5h¢I! Q = CWXP, E m Y ££6o5Hp£LCaHp R|O O^= r OWX| r |T P T ""
$$#&#&%(%( %*%),)0/2+-13/$.)#4+ %(+ 55<%7; 6&(/ .)%98:/21,/$#4+ =>%(&?A@#(%B.)0/21 " C#(%(%B/$#D+ ! JtaKt]Q ; =^ J %7# $/ Q ¡ Y N @ !PL ¢5q5LKX lp5rPI¢RC W Id¢p tPpDOW ¡ Q ¡¡L ¡ 5= qW W£XP PHqE x P f£&o f ;¢R£W:W W£FP =PHq t £W¢^Io J p}^Io2£! =^ |¡ |rtq ££Y;55h¢R=p5tt;5}| LP CPHQ FE8# 4 CK T¡¡=q[K|£ E .^YLWX|OK T )0/213"%(54675"%89++-;-=<68>@?*!8-=>@7BA%$C9+9 ## ;; /$17# 1 ):&+ ):+ 5 - 55<; %D 6&C
/$# ; $# # ; !# > = ( % & A ? @ ( # B % >% ( % # ?7=>%($#%B >% => /$# !=>#B- ; % => /$# %D %D =-/$# x Pf£6o5f ¡;¢R£B E (CPHQ ¡ Y^ rPL LP| £XP%P D!]^5£r| IqCW 5 !^Iatp5 VQ 5tWXatq5 g =^5=^Io =¡ Id5=df t Tr|Vp Hqgd5 =p5f£|| # 4 ¢I £BE (( % = >%7%DC# ! 8 !@!# !%7%DC# >7 Ho5¡! (?7(=!%4%B %%# =-%># %7%DC #8 !@>#-%# A J $( %&% 6 54 - % ! - ),% % nm Y £=^IoLtf £raXK f ¡I^
O |rPp£&o5Hp,E raXKTQ I^=6 ¢I!p ¡ cQ+K£=P5£| LP £&o5Hp5;¢R!^Oo;¡ ¡I^5 O 5=q5 !^IarPp5Ho= £L¡I^ O ¡ J p5¡¢R£ Ho5 YHo Y %Id5££&o5£ |¡ #P £=r;,E | ¡ Q 5rWFatq J I ^5 } |O | (! t ¢p D Y ! PBWr¡5f&£ of¢¢I qCWH &| L ar | r|E V95$ A%$#"! "3+89*$&-=<6$&# ?+ 13-75( £&5o Hp £XW5!PhH5¡W £XP | =^Io tb taK¡ |r K ¡5=q
&5p t Q f£= f¡r|}^6Q|C^I^Ip5££&o Y T £= + − == >= $ E=E=E SY + − == >= sin exp E=E=E m W + − == >= BE!E=E xo;f == not && || E!E=E =U ¡tP £F^ − == >= + + + E=E=E P +StdIO F Open F W riteC E!E=E V95$ A%$#" ! "3+89*5-!-=<6$6!$6=?+ 13-75( H5 ¡kW W £FP | Vfd ¡ ¡¡ra K 5O5d ^5¡55 3 P £FW£5R£ =^5! J La ¡£XPf LP r| $o Y£FW o£ J ta K 5!E`0LP ¡r| 0 M 9 8CD > f£f raKt J FaH ^ aH^¡(£XW ¡£XW ¡D£¡ £ J
R 50£=D ¡H f4 M 2&£:> ;W H fd W £=£F¢5P d | ! | tK;!5 gL( r!| f^ ¡fOW | 5 r| D c W |O k % £| @LW ra b K K t, E ! ¡ L J £W#OWFWXPH^ LP r|;¢I £2L (: |O WXP £O PCK £ p}| J ¡ r tqE , )c9$&"y",5$#9 ~ k? 13-=7(A%$ ! "3898-= om k£(£&5o H p ! t¢5p ¡ P@ I^5 } 5=qf£W r|$}WW¡taK 5cW W£XP | | r|!E !^ !^Oo tb ¢¢B! f !^ ,p O ;P Ho5£ |r !raK|r
£=p5¡=p5# ¡ J Y£FP ra XK E r¡5f£&( o H5^ ¢ }WP OWW ra K ¡ (¡¡! | r| gP $ f =^Np £BE J f 5 ¢I£ ¡! rrPOP !WrbNQ OWW 5 =^5fLW||£| 5 %W¡£5E^ ££&oCP¢IY£ J Hp#P |}^ Hf 5#aHpO| £ ¡ £X=P roOWW r¡ra XK ^ 5tq 5f£; =^Ip Hfq ta | ! =55¢W ¡ r;J}WW ¡ta K ¡! 5=p ( W W £XP PHfq [ #WXK f£5¡ T r ta K £ !p
( r ¡L ¡ |Q F^O^I5p £&5o L Y£ Lr ; ,E 5 5#",f? 13-=7( # F^I^O5p £&5o !PHf^ £Wt r| F^OoiW ¡£| LW tq & P £=o¢r| r Ho ¢Ia ¡ ta K !E ! tf =^p £ |Q F^I^Ip Y£6o Ir O tb^ 5 N|Q F^I^I5p £&op#P Y rP ¡¡Cb"3F^Io J £=5p ¡[ }=^ r¢¢ Y£FWXb |Q C^I^I5p £&5o L¡ ! 5| r| FE *< !+ 6 + %(+.-/! % ! -/),% Ym Y £:£&5o H p 5d ¢¢BCP ¡ YtP3 ;qCW¡¡Dr|O I^fE =Q
r| @CP¡¡5 Q 5t Q|F^O^CP¡ Y£XWC! raK|rtqf 5f£= 2;rK tq5 E ¡I^5 O JJ =fq £Wr¢P f£65o f ¡ =¢R£ ¢R Y !p r¡55£XP RLW|OK ¢IY¡ =^ rPL LP|=PHq z | ¢5fq E .#LW|OK ¡!W rP =@^ LK CP¡ Ytb¡ =^5|}Q } IFqDCP¡ Y 55p 6E )13-! (B+&!&(5$#9# K CP ¡ 5Y¡£2£=5p N Q+K £ Pf£| LP I5^ O 5 r5£ ¡ r¡=^6P r| | O^Io #PHQ ¡ T
2;5 ( |O 5 | :CP W | cp H5q ¢I £ Y !^ p £ ¡ ;;¡6E{eV=o r; £ HIQ rWXK £ fH=o £ 5¢W! | I^IN o =^INo I5^ O ¢I£Q =5^ JIqCW Y ¡ p ££,EN #P ¡5 5¡H5p h L I5^ O J ¢R¡¡=5^ DT ! ;5q tP OPH5^ £&5o P 5d =5£=r E 75 ( #!&($C9# 6F%q #P ¡5¡¡ td ¡¡£XP 6L!^Oo tb 5Ir| ¡ ¡5 | T(=5^ ¡3p Hfq ra K J 555£ 5p =5^ Nfd ¡ k}W| ! CPH5p
f£X| !^ 5¡| ! f | ^ ¢E E % ¡! tP O$P H5^ tP r kK 5=¢I £ O f P t ¡ Q OWW r r;¡rP rP }r| rW ( Y( 6Cq CP JJ Y 2p}| £XP E c1%( &&($#9C £&5o H2 p ! tf =5^ ¢XP fta cQ LPH%^ CP ¡¡5|Q F^O^I5p £&5o BI } ¡¡5£=p Hq | OW| r| XE | ¢¢;P IYLWX| ¢I £ 4 ( 5 I } ¡¡%|Q F^I^I5p £&=o ¢5f ;£=p £ LP =^I;o W O( ¡%|Q F^I^Ip Y£6;o & TtP £| LK £& ¢ W |
OW rK % E *& £=pCbk|Q F^I^O5p £&o J £,E F ?A?A@&@&&&%%171/ /- B /A /A/ B/ ((?A@&&% ; ) 7&+ )0/213"%(54675"%89++-;-=<68>@?*!8-=>@7BA%$C9+9 xTm r¢W =)^5& Hokm Y ££&o5Hp Q 5rWFatq5 I^5 O D| £WrId5¡$IqCW J |J xTm J IqCW 5R[Q+K ¡£XP E J xTm £=pN^5]X|¡6 6 Rf£ Y£¡££=p5¢55f df£f J #x J f m J p t , E ^52¢R= p5¡ £ T Q 5r WFat q5 I ^5 O = ^Io r bt a¡ Y ¡5f£6o I
qCW^5£ | | X E ^5 R P } |PHq5 G!Z ` m Y £ ! P £= 2CP |£W = ^IQ H ;£ at q#W5¡! E ) $ +4 & & 6 % ! -/) 6 $! & VxTm ^5B;PLW kLP|^5r|}Q:|tatqL¡£XW pL¡ }WXP Pf£| LP p5 X ^5 5=p5 &E 5^ Id¢p5¡ =56 If££ ;¢5f | T 0 8CDE:<572&> C H o r| ta rW q;5^ r|}Q 5 L kFE • 5 1B4 0 Ho @5p =5^ !W £XWFq@K ra r| J #p Y£ =P |r J • 465@: 5 1 8CDE:<572&> rYXE I : H ;DE2C5&> X
H 0 o (Od¢5p ¡5=f =^k5p =5^ ¡!W r £FWFqK ta | J • 465@: 5 1 £5ra 5q FE 0 5 H 2B;D 1 8D 1 I > F Ho £L! !P ( =Q £ P | 5^ r|}Q Tt T }P XE • 0 1 8@9 I 1 M H 2 1 8D 1 I > X Ho £L! !P; rPL P taHp ra K r Y! ,E • 0 :<;=D$5@: M 1 8D 1 I > ( YH;o £Y! !P pCP ¡ Y¡ YtP aL 5 r¡ L J • | ,E 0G I Ho W r| PL ¢5fq LKX ;tfq | f P £FQ r | J • PH5q 2(8 !5CE 9 4DE:<5 8CDE:<572&> 0 ; 4 H D F H D 4 H D I 1<; ;2 M > r ¡I^ O0 ¡!WX
£&5o £V =k^ £Xa Y !6E • , .B)]<) j# ¢a T . $££ k =^IQ H;£(J¢W ¡ ; V xTms^5@Id¢p 5=df¡ | I5¡ ^5£ T f£&oD¡!P £=tb| fHq6P £Wr@ ¡` P; J K rar| 5 0 9 I 5@: 1 9S;=8 D $5 H ^ ID$9:<K; > r ¡ar | !O PP (!! ^OpOt¢|p ¡&5E r | Q £=r P%| I5¡5!E[$££ (!^OQ YH;£ ^5 K t a | O P (I dp5¡5= C W T state == (astack, bstack, cstack, graphstore, descrstore, pc, programstore, io)
PHp5$}WW¡r|¡5Hq5 T rB P=tq J K ta| 5 f£ 5 Y £XP ¡xTmy5^ K ra r| OP, ;P;tq J K ta|¡ ; 5p ££WapXE M(B 1!-=?!8-=7( ;P ;¡ J K ta | ¡ £=p ;¢R£IqCW f Hfd £f¢55d = }WW ¡r| ¡5H5q tPL PraHpk kb J p5¡!P E =5^ =^Io rb ¢¢ i3¢7> !8X¢759 Ho £ tK | £% V kbF5p ¡p £BE ( " 7% ` O( YHo K ta | ¡ ;¢5fq YH6| La | fH5q ! ( % ` O( YHo =^Io f£
fta tq6 b 5¡¡|O ; 5 )K ta | ¡ ¡£XW Y E instruction == state state ps get ps init :: instrid programstore instruction :: [instruction] programstore K rar| 5JId5=d5¡tP ¢RfHo55£F^&| 1!-!?*!8- -=<68>s989 0 4657: 5 1 I : H ;=1 D E52B 5 > &h " P;7% q= K^Io tar| ¡ @ ¡=^6&a tP E^ % rhg5K ¡ tgta | `HIo5d5;=d55 r[=K^5 r | arL|W qf!^O£oft5afq6£¡5 r K J ( 5 |}Q X£ P ( & % Y ( ( & )( % 6p O P £f 5¡ I^5 }J ¢R=Q £ J
5¡ ( & # ,% Y ( & OE pc pc pc pc pc pc init next halt end get update :: :: :: :: :: :: pc pc pc pc pc pc bool pc instrid instrid pc pc )0/213"%(54675"%89++-;-=<68>@?*!8-=>@7BA%$C9+9 J x[m^5:=^IoCP!^OQ f£=¡5 r¢¢ ¡]58/!&0 51B4 8DE:<5@2&> Ec$££ 5Y ¡Dd5¢¢ ;P £=OZ P;tqK ta| TW W£FP | F Ho5 ^5|¢Q P £XP P LP| J | r |! h ^5 |}Q 5RfH qO^6P | |}5Y@ Tt T OPL5cp Hq |}Q Y 5LP,En^5r|}Q Tt T } P`£! r¡ L £W ! PL 5¢ qfL KX (5 T a
q5 0 G 2(8 I 5C9 4DE:<5 9 G 2B;61 DI$9 d5 I ¡1 D$9:<(; 5> f £ ;¡H o5¡6! PL ¢ ! qfaL t KXq 5|r=¡f Hq5 =E ¢I £ 0 G 2B8 I 5C9 4DE:<5 8CDE:<572&> 5 £ d5 J ^5 |}Q [ ^f ¢ | L P 5¡ p ! ^ ! Q|F ^I^Ip Y6£ o5, T gs gs gs gs get init newnode update :: :: :: :: nodeid graphstore node graphstore graphstore (graphstore, nodeid) nodeid (node node) graphstore graphstore P;tq;K rar| 5k^5r|}Q^¢RLP Tt T 5OWW OP £WL5rW ¡(T n n n n n n n n arg args arity B descrid entry N nargs :: :: :: :: :: :: :: :: node arg nr arity nodeid node arity nodeid seq node arity node bool node descrid node
instrid node int node nr args arity nodeid seq er|}Q Tt T 5pCPt^6| |r p5=^5= K ta| 5%& Ho5Lc P £= OP ¡ Y PL W J £=r|PH5q | ¢W £r| Y £WQ f£=¡5 R7T eq n n n n n eq eq eq eq arity B descrid I symbol :: node arity bool :: node bool bool :: node descrid bool :: node int bool :: node node bool ¢p}|¢¢P,Q|F^I^Op5£&o5 Tt T¡ }WW¡ }^k OP £ ¡!(T n n n n n copy f ill f illB f illI setentry :: :: :: :: :: node node node descrid instrid nodeid seq node node descrid instrid bool node node descrid instrid int node node instrid node node J VxTmY^ ,@W ; | !PL
¢5qfLK!^Oo !aq2|r¢W | £ 5¡ LP E P £XW£%=^Io Y !PL ¢5qfLKF 5Y!^Oo tbraKr 5(¡!P9$#? !8 983" 0 G 2(8 I 5B9 4DE:<5 8D$5@:<572&> = ^Io= ^Io WFP#¢R =^Io;!, Ho=^Io%f£ftaqf£ 0 G 2(8 I 9 G > 5¡ pt t E , .B)]<) j# ds ds d d d D get init ap entry arity name :: :: :: :: :: descrid descrstore descr [descr] descrstore descr instrid descr arity descr string ^5,: £XW5Y ¡| Hq | 6 p5r ( #p5;£ | J | Q Y }WW J 5; R W¡£| XE J6) 5$&$C>B¢R£8R^5r|}Q
¡ t T OP R kK tqN¡=Q ¡£ P | | L W q=, E ) p H qft ar t q (! ^B Q|F ^O^Ip5£&o56Id5=d5 rP I } ¡| OW| ! W¡5£H q= £N PL I r aHpL&£ o5H p aL t P £=r PpIr O r | } W| r|O56E as as as as as as as init get topn popn push pushn update :: :: :: :: :: :: :: astack a src astack nodeid nr args astack nodeid seq nr args astack astack nodeid astack astack nodeids eq astack astack a dst nodeid astack astack 5$&¢$#>rPL PtaHptaKt ( + P £=7T#=^5 %&p Hqf % I^6POPR J $ ¡ L 6E
p Hqftartq (!^cQ|F^I^Ip Y£6o5Id5=d5 rPpW O ( | J W| FW f£Hq= £ rNPL R raHpL£&o5HpL¡ rP £=tPhI O ¡r| OWX| r|O56E bsi nit bsg et bsg etB bsg etI bsc opy bsp opn bsp ush bsp ushB bsp ushI bsu pdate :: :: :: :: :: :: :: :: :: :: bstack bs rc bstack basic bs rc bstack bool bs rc bstack int bs rc bstack bstack nra rgs bstack bstack basic bstack bstack bool bstack bstack int bstack bstack bd st basic bstack bstack :: :: :: :: bstack bstack bstack bstack int bs rc bstack bstack bstack bstack ; Hdf£=¢5d !rPL PtaHpDtaK 5C o ¡5=q RP CK^5R| 5¡ P ` P;q J K ta | 5Id5=d5
¡¡R £,E`P Ho Y£ cbFp5¡i| |¢I £kp ! ¡¡ £ =pI(! | r| £ |O 5 £Wkp5¡! D ¡!PpCP ¡ Y(kp5=^5¡!W J &£ o= E 4 . 4 4 ) 4 % 4 % 4 % 4 %- 4 5 $ LI d5 £! | &£ oL= ^5 5Rr |¡5 T bs bs bs bs addI eqI eqIi gtI 5$#$#> =^IoC | ¢I[|¢^Io==qCWFq ¡!WXK PHqf R VPL (W! £=|PHq | £W OW OP$ L rYXE3 ^5¡£Rf£= f £=^Io¢R|}^Io==qCWCqRo5W
55 ¢R 5¡f K t ar| ¡¡|O | Hq;tK| LP h¡¡5kO Ho@oOW 5¡ WFK PHq¢R=Q ¡=p5J )0/213"%(54675"%89++-;-=<68>@?*!8-=>@7BA%$C9+9 pCP ¡ YI| La|¡ 5 E cs cs cs cs init get popn push :: :: :: :: cstack c src cstack instrid nr args cstack cstack instrid cstack cstack J&R 46-=F7¢"%B ¢p5( Y !P$ I^5 O !WX £&o5£=^Io &p5£ J P | LP 55£ff£ p Hq =^k£Xa¡ EL££ W£6 ¢¢ 5 cbFp5¡;¡P = ^5 p £6!^Oo:¡ ¡CbB¡I^ O
|rP £6o5Hp £%%W; kbFp Y J ¡; F |£! PH^f # W | J (Y£f¡¡¡= ^6PIr K W5£r|}^E JDxTm^5K rar| 5 Y ocQ £=tP P;tq J K tar| 5; W W£XP ||%=£ J £f = ^IQ H ;£N! P[| R5r|r (Y£ 5¡ kr|p !! VxTm £&o YHp#b IqCWW |¡ |PHq5 | ! a X£ P E J K t a |¡ = ^Io;¡r b¡= ^5 ;P ¡%V xTmY^5{ W f£&o= £ LIdf££6o5£ PL W! £=r | L W q; ¡b W [
Wt W J ¡I Q FP¡;r |;¢W £ E ;fR M ] ` J . 2¡O^5 O (5% I^5 } 56 If£ JtIQ 5 | tPH^5£&o Id¢p 5= R5¡r| Ho55;¢W T 5R5 ¡ft at Wt qf, T 7 4I$#-!-<675sW £| r XE [¡I^ O Q+K | tPBPLW 6E • [I5d Rf£=thP =^Io =^| I^5 } YQ+K r| r| ¡| £fTPLWFE • 8F=&!8sW £| r XE [¡I^ O Q+K ¡ | r|O 5 Y !^ Y[ ;P £XPL | LP ( 5q rP XE • J
=5^ ¡! t^OoCb t| p5Y£FWF 5¢;rKF 5 |O FE • [¡I^ O Y kb IdCW Y =5p fd ¡ =|Q F^O^I W kbF5p ¡L |O XE • 89 5<6F tIQ 5 | 5i Y£X| FE ^Io ¡I^ O cb IdCW P tp % Q LW ¡£| Hfq £W tf 5 ¡5 ¢R J £&o 6 | r| !Y r#5p t; £D Q+K | rPOPLWF 2FPL | LP £ Y£X| ! ;5q tP ££&o#P J =5^ ;W r| ¡ Y] =^E =U RP | LP Q OW ¡f | H5o 5¡ ¢IY£ J P £f(f ¡ ¡
|O ar| tPBQ Y }WW¡ J Id5 ta¡¡ Q+K | tPPLWF5 p HqY£=f Wr| ;P ¡!R | H5q YrpP tIQ ¡| ¡ iW ¡£| | [P tW ! [pCP ^&| r| t^Io6|p}| ¡££XP E K J ¡I^5 O 5#¡O^5 O (56 R5££ pCP !^6| |£W:=^Io#P6=^5!^6| £ ¢¢3W = ^f£!¢¢ b=^5d5¢¢XP¢I !f !^ ¡ L =q [ qCW L¡I^5 O IqCW | £ r PC K pCP ^&| r X E% PHp YIr | | £5 £
Y£X| Q+K£ Pf£|LP $£&o5Hp5 J ¢5/ 78-75(%-=<&"%89X! ~ C PHQ =;¡ PH^5££W¢^Iok¡^££¢I T¡ Y£ gp}|tWqVXP¢|r P ¢ (!^IW OW DYHQ O=^ OWXW rtq(¡ !E Q £=tP ¢RT 5=^IoN=^Io tb¢¢ £&o5HpNY ¡¢R£ If£=¡5 r¢¢I £oCP J ¢¢BtIQ ¡| rPH^ Y££&5o ^ ! £ ;5p =5^ £XP Ek=^IQ L £RLW|OK`=^IoId5¡ £&5o Hp%¢ ;P £= gom k£ ¢R£(r xTmVE T^Io= £XP `r xTm ^5( RP LPr|
I^Io £W}^O5o f£ Y¢| Ho 55¡; kb OdCW Y;5p t Y =^Io CP ! t T¡ ¢a q ^5r|}Q ¡¡VW £| L¡O5^ O | 3PH5^ £&;o ¢R=5p }WW ¡ r| ¡f | r| X@E CP ! Tt T¡¢fq Ir t Tt T¡ W L YW r| ¡5YN =^ ¡I5^ O | I;tK| LP £ W £| ( 5q rP | !¢ ;PH5p = ! t^Io rt@ H5^ rP r cK 3P £FWXK H5q R5£= P E3 £ i f£ ! ;q rP W ¡£| Q ¡¡5R! t5p ;p}| LP % Q
¡=5p I^Io P r( D!^O5o [|Q F^I^O5p £&5o CP ¡ Y £L |O |d¢pCPLW £*T#CP ¡ Y¡ |O E #P ¡5¡¡|O j( !^IW r| ¡5| LL¡ z¡¡5W ¡£| D¡2FPL |PH5q | J ¢I £P $¡¡R$E NP t oDCP ¡¡5 k P 5£=b5 ! o|Q C^I^I5p £&5o ; J (Ir O | tf 5|Q F^O^I J F5p =5^ !W r| tP,PLWF ¢RT¡¡J}W £XP E J . =^Io5Q|F^I^Ip Y£6o5.CP¡
Y J |O | £Wr{pCP^&| r =^Io8 RP | LP Y =Q J O WWr BtOQ 5¡r| tPH^5£&opCP^&| r| £W,El £0¡ =Q Y }WW =^5fLW| s =^ Q H ;£6Id5ttW T mok£@Q 5¡r| IqCWX 5` X Idf£&o#p=|tP T¡I }^ J = ^6a = ^5= p5 EY Q+K£ =P5£| LP ¡I^ O : ¢R£ J CP¡ 5Y¡ |O #P £ J ¡ ¢IY£ J W( C K¡! aHpQ|F ^I^Ip5&£ o C P¡ Y¡ |O ; tpOWCqE | | £f$¢I T¡tPI ||
5 f£CaHp #P tp J£Y |r| 5Rf£= fta| z J |5¢ q5D =^5£!| £&o05f£ ;¡ Y ¡5¡r| Ho{Q | Lar| J 0 (P £ ! P ¡ r PCK(! Y 6E 5f£ ;¡ ¡ C RP | LP ; ¡tP Id5 £6o5 J ¡ 5 h# P C a X£ P E < + .+ -/! @? %*),% 6 )(76 &)( !$)*- $ %( 6 % ##" - " !"##$"&%"#( ) * )+,)- )-#./ !$"$ 0% /", / !) 11%2 /&)+ 3 2 ) , % ./% $) # +% 4*% 5 !$"#$ 6% /"# /7 8)+9%
/", / :%/$( )+ P t | O p}| tP Id 6o ! O Ho =^Io P, #K| LP %# aH^ | iQ LPH^ }K 6 rP CK ,E tP Id &o im Id 6o t E 7 4I$#-!-=<67¢%-=<&"%89F 5<; ".=>#/"r X | )- 3 $"$#$"?%Id/p #%/=|".6 j ;qCW#" p)-O !)HoCP+%/& d J @=/q T 5 Q ./"#"r | %IqCW A : =B.62 }C^ =^6+a ##$=/^ $=/p )%PLWF6! $"#$cp $!^ XP • :=^I/ o DQ (F^I^Ip $6/o %0"#6E VQ X ~ 75"%(B6$#-=$6!75-=<I!89*57($C9$#> <6#-=$ ~ 5 )+=Q ./"tWX+a ##]d ##"#%# ; "#O^/"4O 3/ =^Io %1( ) "XW "5 )Q+K • J 4*,XP E m )+ ; "#. =>[Q /"tWX+a | rP ; ==PHqp ) E • 5 ; ".=>#/"r X | )- !
$"#$$&| )+,) | ! $"rW! ! 2}^&|* m )+ & o )Hp#b *| "t^I0o %OqCW ! =/^ # FPC PH/p ) ! $"#$&=Q. )Ho&|#/) |c 2}^6|@k !$"#XWF Q. )Ho O2 /E3^I0o "$ ! $"#$tP "#!WX! $&/o %0P 7" ; ) 1%9 !$"#$ p/$=^/= %Iq# W "#$)+%% | "#$ ! $"$#%:! }?W 7%C+P $"#$%)+$ ./""#XW $P ) )+/p %C+P $"#$%/)+FWF3 %/.6 ; % )L2 | [ qCW t+a 4XPLK %,E 5 | )+4)-O p}| )-#./ ! =/^ )LW| %Od¢/p #%/=E%XK #,#tK % )+@7"#!W rPCDQ (F^I^ p/$&o /d =/d "E3C * W [d #t+a Q+K r| tPXPLWF )- ; | =#( ) (1% 3 !^ DQ (F^I^ JJ
p/$&oiQ+K r| tPBPLW $ T ˆ E run ˆ + (n − 1) ∗ Tdestroy Ttotal = n ∗ Tinit + n ∗ Trun ˆ = Ttotal − (n − 1) ∗ Tdestroy − Tinit Trun n 5 8)+ ; "#. => " + *. ; = )* "##$ + )- % )+ /./ ) / . 1" + 9 + %/$ ; )+ $ ) * ./" + ; = / !. )+ )+ ,)+. ,9% - 1/# )+/ m BQ rWXa r| tP PHq¢p td F[p#P ^&| | =^ }^Oo H 6o O^Io =^Io tb ta rP |O a r| tP !E g | L tq]Q rWXa r| tP PHq | J O^ =^;XPHp CP OW [p}| 7T 9+7 389+:-;/21!8-! :A% )+! !$!E% @7)+! !$tQ."r 2 :)+=^/=^Io0#"rb1 ;PLWF6 !$"$ )- ; K )#p}^IoCP ; "#.I^/",O QD(F^O^Ip/$&o %#P+$"#$%/)+$ )H/#tJP Start $T K | FP PLWF5 )B !=^&|) )- ; a+ :)+)+[PLWF/!E %/ rK )-*
W . |¢^ OP T =Q . )Ho6 | . ) 3kDQ (F^O^I/p $&/o % %#+P $"#$%/)+$$1% !#$!E + VP #. 61o )-}^ %CP T! $"#$%0p | #,) *d #t+a Q+K r| tP PLWF "#6E + 5 c| )+4)- O W ./ PLWF OW /%9=B4*% 1/100 | .CW ; "4= ; #r|}^6 %E − =^ )+! t 9%/=/p $ OW ./ )H^&| )+,7T − K r| tP PLWCE • U !! $t^I1o (*#$#"#gQ ."rWX+a /#[PLWCE • ,t+a ##[PLWFE 5 Q rP %/#t;d #=/ ^ • @./"#) | #/g $% &1o r|}^&*| 61 .I^I2 o =B,%! }^I/o . iDQ (F^O^I/p $&/o %0" J − | )L tqE A%37 ! 9 )+!! $!E A* 2)+!! $ %/$?)+$ ; $5 ))| ) ) E 5 ) )+$ ; $ cPLWF ; ". ) )+%/$+a $#
; "#I/ ^ ",O =^6+a ,$=/^ $=/p ) E[C * W | #.#WX+P % )+$ ; $%/$ 8)+! 8d #!^O1o (td # OW ./% !^Oo =/^ $!W ; "#O/^ "4O ;2 )! =^ J )+Xa+#XP E #./ )Hq !=^//)LW|&#"# ; )HG =P+%0%0 P !E %/ rK )-* W . |¢^ OP T ¢5/ 78-75(%-=<&"%89X! @! =Q. )Ho&|#/) 3 QD(C^I^Ip/$&o/%2%CP+$"#$%/)+$#$%! #$E + 5 % ; ./TPLWC OW /%i 2! 2rP+%OP )-¢^ ; ,% | .CW J + 1/1000000 ; "4= ; . # #r|}^6 *% E !^/)+1 #.% OW /7# )H^6|)+4!&DQ (F^I^Ip $6/o %/$ 7T + K1|tPBPLWFE • K1|tPBPLWF#|)+$%/./7"|&o XE • 5 ^"|}Q |} |"4 )+=Q .I/ ^ )-)+8#o # J % |O2 XE • 5 ^"|}Q |} |"4 )+=Q .I/
^ )-)+8#o # J % | )+$%/. 7"r| &o FE • gP+$"##$%/)+$$%2|}2 XE • &U #"t-P =B & ◦ & *!o& ◦ &m K ""r+P !W & ◦ 5 %#+P $"#$%/)+$ #|O! ) | )H/q % ! %/)L+P % %I/d =/p #)+ "%CK "#!PH/q !P ) )+/p − !)LK 4?%C+P $"#$%)+$%/E # )+ t )3 $"#$%0i r| #,)p d #t+a # Q+K | rPPLWF/ "#6E 5 %}| " − ##./" r| "4kP 7F6 !E 5 | )+,)-2OW .#VPLWF }W #% %/$ @) )+ t! XWX| ,% ) T )H J − Q ./"rWFK )L # %91!^ raHp]PLWF }W #% E @! FP ) )+t/ p :=,% %CP [! $"#$% ; ",O! $#"#! tE − M+"3+> 89++-="{-=< (B-=&5$#-> $C> ¢ 5 m )+ %I/
d "#&/o :r|O! .I^ ; "I/^ ",O! %$ rP ! ! ;q "r-P O #| )-rP ; "# )+ J %E 5 =^I o ; "#. )+/% ! =^6 r| "#| % ; "#I^ "4O Q+K r| , /"r| 5 xTm /^ $ ; PL ; )+!! r/| =PH/q *| "4 2FPL | )LP ,] | )L tq;! ! ;/q "r-P }^I1o r|}^&| E P t! "# )- ; | ! =^6 *| "./! tq I^Io =^Io OW / DQ (F^O^I/p $&o %#+P $" J #$%/)+$$! =^Io +P . 6/o ; "4O3 $"r )L ! ) )+#!5 P P XPL | )LP , (% J $=/ ^ T! ! ;/q "t-P } +P 7"XW )+%/$":%/) )6.=B*| 4XP E . $)LW|}K ) =^Io "F W $tP )H/^ ./"t+P r kK #$ O! )HCo =^IoCWXPL3 1PH/q |} p/%0./"#/% %/$ ;
@"#XW XP J )+$6/o =/^ ; ",O! $#J " "#X1W XWFi/p %0/"@)+ JJ !!P %9|O 2FE ~ # 5 )+C% /"#!/#"!"%$/"&-9%/)+$#$"!"!$( !*)+ ),(/./"-&+"/ 10 2)43 5 5060 (%1$(/3%7$*8./:9/"-86;+$ ; " (/",7" 7"2&+%*. , )+9/"8<;+ C* # ; ". (/",7"?<3 5 0 <2)+ "!$( !*)+ ; ",7"!$#"#0+ )+ %= "#"#< 8 "# %/"#,( )43 5 )+( 9. , ; "47"3$" >8<&-?( -&+%7& % &@;+"4-2 6 (/ 8$,) !/$# A"!),! ; "#. (/",7"B9C-2, #"D2 "!$( !
)#$E9 ),! 7"2-2"$ ) 7 8<8 D 2*$%./4- 25 3 !"#$% & C 9##( $02! 2)+,) 2. , & "!"# 9D(*( ()/$!/./#-2),!)*& )+%/8$$ "/.14" 3 5 )*&+ (2)- (7!0"#$ % &+#" 8 %0( ), + &@" ; )+"! D2/= &,$/% % #-&+,))-7" & @?. / &@" ; )+"! -2/= &,$/%-0%1( ), /+ ; ",7"!$#"5& 1% "+A= ; 9./""D2&,(/$ !/)% =B#/)-# 0 D2,7&+",<3 . /102/ !3 46587:9<;=41>?>(@A;=BC@ED;=9<C FHGJIGJIKG NL M(OQPM(R?SAT TVUOQUR 5 %/$ 78 -; ; . W* ) &+ (2)- " ; . 2$/) % / #%3%*& -01 +X.*( ! <& =,%
)+"!&+%*0) ),$ 01./ 2?9$"$ " &+%$ ;+")+ + $( (/)+ " + 9/"#"-2&,(/$! )*&+ (2)-D2 %2" ; . 2*$ )43 5 * ) &+ (2)-73% Y/) #%/+3" ; "# D2/= &,$/% "4/"#$ "!(XZ 5 "4/=>@),("47& -; ; . #4)[ %/ #"%0/"#/% %) "# ; " -2)]) V^ • . 4 %*&+$"##$%/)+$) )@& D2`) )(acbdQef gihcjlk]m • &,(/."po %*&+$"#$%)+$) )@& D2`) )(arq=kcsthJuvk<gwhxjtk]m • n & ) + ; $)@82 % #%*& ,#(%!5 )+((7!1") "/),/) )+%0%/)"#<81)+%+ )@& 52"& 78 ,"#%/#`0 2/) "-"33 /) "#"y*) & . !0)-A(?%/6/) $ 9D(6( (t/) $!/z
$8%( != "-) $(/@)+0+{/ ) $7#&+ )@. ,%*&+$"#$%/)+$-)3)@& 4 $8 ),("47&"# ; " -2/= &,$ D[ ) 28 |l } 3 . )@8 )+ X^ #0 )@;+-2-253 ~ & . )-"!& "8$C *"#%/.) "& %/)+{ ; 9)@0<;]) 2*%9. )]) $< ( !/)@"!$ )@.#, %*&+$"##$%/)+$) )@& D2%C$ %/. %0#"# " "# D2/= &,$ %7/ ( ! /%"$"#3 & &@% / ( ! 5 %/$ "`* )+ ; 9./"-8<;+ $ ; " (/"4A": 2)+,) "#<8)+%/$,(%0"# =B-2/# % % $*8 [ % $*8@ ^ )- 2 )@. 4 )@& ,2% #"%0#"47& *%W(Kl "!( 9)+)+#$z0
#"4%0 ),(/ ",7& "# ; " -2/= &,$/#2)+,)@. % 81 <& 2)+ Kl %/./ -%0/"#%1 % 3 5 z & 1 + )8%8Q) #",%0!),(/ ",7&8-; ; %/./ #"-1#/""4) /"#$6+ "# ; " -2/= &,$/ 26 $ )@.#, % &+$"#$%/)+$) )@& D2:%v*) &]) ?= )+ #% #%*& (% 3 % !#"$"%!&()*,+.- ##"D"#%!&(*+)M / /10 *,+2-3 /54 476 #8 / /G0 )*,+)MD 4$N # OQP ": =< 0 *+)MD> 9&:,; / / =< 0 *,+.-3)>$?!@ 0 )*,+.-3 9&:,;AB 4C6 / 8 9&:R; / / S< 0 *,+)MT>D?!@ 0 +)MD 9&:R;A( 4 P " LU( 9)" / / < 0 )
*,+.-3>D?#@ 0 *,+.-3 9)" 6 / 8 4 9)" // < 0 *+)MD>D?!@ 0 ,+MD 9)"V< P ":W(> 4 " / / < 0 ) *,+.-3>D?#@$ " 6 / 8 4 " // < 0 *+)MD>D?!@D "V< P ":W(> 4 E# F / /G0 *,+.-3 E# F 476 8 E# F / /G0 *,+)MD E# F 4$N # H YXZ L H JI K L [ ]R^L `,$E2`Z`@;KaD2]cbd` 2a0 a $egf,d h:^:f8i],j d f,hdj d a,d hek]lGb ]Rj a,f)h2al`,(:d bf7&2f,d m6= Q f,d j d .aD2n&,$ih^L ]Ra,foh2a,^f7&ph :j:aRa &Z]3 q " 2]R^*8<&KhUmk`@8 n#k`tsR `@.o],a?= acbdQe*f gwhxjlk]u m k]v ],j&,(:^fpo h*&Kk fRa,k h:d`Kk]-)W`@&Z]Ra a q kcsthJuVk gwhxjtk]meh:d jd`Kk]Rk od h L],],j d0 ]R^L o`@;KaD2]<3 &JfRf,dwxn#k`Kf1h:k]Rjyo`Kazh:k a{]R^:fRa "ud(7= )`,$L];Ka$ "i^*8<.`43 q j3d`Z]+T]Rj5&,(^:fpo|h*&Kk f,a,k
h:d`Kk],]Rd`}^L`@8sR "ud(A 95d`~A8 aD2)a`c78<86&,( " 2]R^*8<&Kh [ ` 2]8A:631^:`@8 `K^L ^`@.]Ra3h*&Kk f,a,k h:d`Kk])B`@&Z]RaD2`)`43 q aRd],j aRh :f !:d jd a " &Z <8 h:k ad]RdaRbd Sbb$:` 2`Z`Ka` 0o^7( !d`@0od`,!:d j ayo oh:tt*$ d`Kd"ud axB`@&Z]RaD2)b (})j p ,z# 9y6( (*) k !U]Rd(;Ka]Rk(:k6:) d`+. k]h*&K^L`]) ]Ra.ohWi`Kd(:d`Z] +id`Kd"ud a3 R °~Z¦R®Z ~±Y² ¦R®Z~±Y² ° ~Z ½ ´ ½ ´ ½¬®Z ´ ¦R®Z~ ,~ °³ ´µRZ¶ ° ~ °³ ¼º Z ° ~ ¾ , 5¿o ¬,5À ¯£¸K ®Z¯£¸K R ° ¦R®Z~± ~ ° ~ Á ¹ ³ °
´«º,Z¹ pZ² Y² ° ~ ³ ´«º,¹ ð ² °³ Ä,¹ ³ ´´ ° ZZ ° ~~ ³³Ä ´Åº ¾ ° 5¿o° ¬¯À ¯£K ®Z¯£K ± ° ¦R¦R®Z®Z~~ °½ ¶ ± ½ ¶ ½¬®Z ¶ ¦R®Z~ ° ®K~®Z² ° ®K~®Z² ~Z !¡ ¶·«µµ´ µ µ ´ µ µ ~Z ¡ µ µ ¶·¸µµ´ µ ´ µ µ ¢£¤¦J !¡ µ ´ ´ µ ´ µ §L,ZK¦¨ ¡ µ µ µ µ µ µ RY ª¦~«¡¬. ®¯¡ ·¸µµµµµ µ¹ µµR¶º«µ» µ µ¹ µµµµµ´ µ µ¹ µµµµµ´ µ µ¹ µµ´«·¶Á ¼¶ µ¹ µµµµµR¶ ´«¶ µ¹ µµµµµÂ ¢£¸¤¦l ¡ ¶·¸µµµ §:ZK¦l !¡ µ RY ª¦~«¡ µ ¬. ®¯¡
µ¹ µµµR¶¸»Ä ´ µ ´ µ µ ·¸µµµµµ µ µ ¼¶ ´Å¶ µ¹ µµµµ´µ ² µ¹ µµµRºR´ÅÄÇÆÆ Æ µ¹ µµµµµµ µ¹ µµR¶¶¶Ä µ¹ µµµµµR¶ µ¹ µµµµµÂ µ µ µ ´ µ µ µ µ % ÇX I )!#"D"#%#& !&)!&)- &)&)-3 // 8 /4 476 &&)-3 # / / < &)!&)-3>D?!@ &)&-3 # 6 /6 8 8 476 8 # 6 / 8 4C6 / # 8 "&:*,; / / < &)&)-3)>D?!@$ "&:*,; 6 /6 8 8 4 "&:*,; 6 / 8 4 "&:R; E#F / / &&)-3 E#F 476 8 R : &)&) //T6 8|?#@ &)!&)-3 R: &)&) 4 9& / / S< &)&)-3)>D?!@ 9&B 476
/ 8 R!#"D"#%!& !&)&)M &)!&)MD /4 4C6 #8 // &)&MD # / / < &)&)MD>$?!@ &)&)MD # 6 /6 8 8 4C6 8 # 6 / 8 476 / # 8 )"&:*R; / / < &)!&)MD>D?!@D )"&:*R; 6 /6 88 4 )"&:*R; 6 / 8 4 ) "&:R; E F / / &)&MD E F 8 9 & / / =< &)!&)MD>D?!@ 9 &T 476 / 8 4C6 ,: &&) / /T6 8A?!@ &&)MD ,: &&) 4 YXK L I XZ L ! ]) -6) q m f-&@"%&Ka-; va-;Km.]R^:hQhdj d`Kk]Rd " &Z <&@" 2`@&Z]pd f+ 95^f,fD2]-&,(k o !:d`a:fRa,k <&Kh *&Z]Rj^: .a" &Z <8 {h:k ad],d aRbd e`Kk aRf,dRs +`@&Z]Ra?=¸]Rjd fRh:d jd
a95d`Kkm<;Ka,k]RdYsd`Kd .a +L]"ud ! &Z],k() "id5" $:f-&~ `Z`K^h72n&,$s 2 `{s 2f3 q # k]( # n ]R^"rA(:^:h d]Rd a,k bd h:k a95k`Kdd`Kd5" b+L`h:k md]A x 9y6( ( :k ! `@&Z]RaD2aBd`,+2`Z`@;Ka <& hfh2a,d fRb+L`¨k]ujUd(k]RjW]Rj527"b$L`43 q "uk fRk]Rd h|a .o`Z]D2?(B`~mos 2 JB`Kd95^ (:`~`Ka hkm`KdaRa,d`;Kf0 a $ 95d` 95d .a&pn],^ " A(7= "ud"%$f-&~E"ud !*&Z]Rk(:dg (20 ∗ hossz) (.`Çd`,+2`Z`@;Ka,^:aRa],j&,(:^f "i^L o^:aR^L T 6 :d h +3`@&Z]Raud]Rd a,k bd 3 ( ! od jxjxfD2 ! =«f "%$*8o^:]-.o`43 ]Rj&,(:^:f #"i^L o^:aR^L $n] :h2h:d 6+r`@&Z]RaD2 2` (24 ∗ hossz) q d5" mf-&@"%&Ka-; xa-;Km.]R^:hid],d aRkbd U ]Rj&,(:^:f rh &KkfRa,k h:d`Kk])r`@&Z]RaD2h%0 ],j 2`~a?= h:^f
`@&Z]Ra1h*&Kk f,a,k h:d`Kk]Rd 2)jgd`Kd"ud hih&Kk f,a,k]Rk od h &@8odRsk :d`0o^L],]Rjbb " &Z La `@.o],a h*&Kk fRa,k h:d`Kk]-)U`@&Z]RaD2h2 2`43 ro FHGJIG98 G {) `) ]) po #"%${ &)( *&)" + -, 0/1+r2&W 3 54 Y) v) z ."%${ *) po 3 54 6) &.( *& 76 ( + + A : M<;>= M<?A@CBEDGFUKOIHKJ,PMLTVUR q `ONZ],aQPhSRL],]Rj d T ]R^L `OUKa1P]z`~m o.f,d Vod jWi`YX:^:fZNKaQ[]]R^:hx`Kkmk],]Rj P^[ P hid`O[uk`KdaZN q jaNZ`Yb:d cR:]]Rj dT ]R^L `OUKaQP]R^L (`~)mI`Yd`YX:^:fZNKaQ[]]R^:h ^:moaQNO[][rUj d fZW^e5^:f,fQP]ZNY:X k f:b kO(n aa,dTI∗P lgaQdn) `Z]gW*` oV `KdXd]Rd Bh[ud[ad:fZN~^NYX:k fb2fRdzk]G3]Rj d[uk aZXib))saZWW`kj X:^fQKN aQ[) ]le a1P ]QP fxk fQoV du[ d] )*KN j]ZXmP `Z N ` [n)P f,^m" [ p`o Jd`Y.W ^VP ]RbqLd ` ]Rj P fZ[ jXd `YX ^:fQKN aZ[] ]gh:d f,y`KaX^:d
fn]g$W `rP pd jd hBj LR ],]Rj d5e k],y`Kk]Rd]Uf,d oV d jW [`rP ]ZVts vu w q 4 XK L }fx ` ^L`OV `K^L ^ QSbd]RjoofQP ]R^L] u 4 4i4 V W [ rP ZV 4 w %v4 XK L }fx ` ^L`OV `K^: ^¨k]Q]Xib:^:f,],fRd Vod jW [`rP]ZV t ` ^L`OV `K^L ^ ` w % 4 ! q j`Y:X ^fQKN aQ[) ]R^:h|`KdX:fR^L],],jbobd],d aRd NKa2)*NKj]gXfP`])TThiR{):d a,hdjWe5d`Z]gWBbdn]`Kk]Rd h:d a `KdoT d a{aRd o N q TIP f,^i[ `Y:X ^:fZKN aQ[]o ]¨hiR jyo`h:d a,aZW.j )Xib ^:f]Rf,d V dj W k] bd]Rjoof1P ],^:] ` f,d V djWj [ d[ad fQNrP aNY:X k fb d` ` &l ok`s^:bbd f,dVu[ k f:b dN ) hj LR ]Rjj u O(n ) ]Rj d5e k],y`Kk]Rd]f,d oV d jLW od h-%[ ]N ):d`<u [ d[a:d fQ~N 2NY:X k f:b d O(n ∗ log n) h:k m `Kd a,aRd`<5e d`Zy`KfZ:W ` bdn],y`OoT d aZW ` f,d d j ` ] KX L 2 2 id*V
gX 2P l[ [ad:fQN~ h f,k]Rj Ddf :d r]R^:fRa ofR^:m a)h:d ],],j d]Rd [ V `Z`K^:h `Ka ud id*V } 12 ∗ n log2 n 56 ∗ n 6 ∗ n log2 n 6 ∗ n log2 n 24 ∗ n log2 n id*V t 2P l[ [ad:fQN~ } } " ], ],j d]Rd n log2 n 2 n log2 n 2 n−1 `Z`K^:h `Ka ud 6 ∗ n(n − 1) 12 ∗ n 6 ∗ n(n − 1) + 12 ∗ n + (n − 1) b `~j QN ],aRf ~n#a N h KkfRa,k h:k]]Rj n∗(n−1) `~j 2 P^[ P^[ bz n ],aRfQN~n#a 4 w % 4 XK L h f,k]Rj vn ! ]R^:fRa X QN ` ]Ra,fQN~n#a n−1 P^[ s vu w % 4 XZ L h f,k]Rj ¸ ]Rd f,a Z]R^:f,a ],],j d]Rd N N h KkfRa,k :h k]]Rj ]RaRf ~n#a px 2P l[ [ad:fQN~ `Z`K^:h `Ka ud 6 ∗ n(n − 1) 72 ∗ n 12 ∗ n 6 ∗ n(n − 1) + 84 ∗ n N h KkfRa,k h:k]]Rj n∗(n+1) ]Ra,f ~n#a 2 ZN w % 4 XK L 2Xib QP2X V [ XmT QP vP 1P po T P d [ [ad ZN 2P NYd e YW id*V N ZU 1P [ Xie W [ XmP IU ZT Zd
T iXib [ [ad ZN j 2P NYd *N - q ] f,d od h ud a f,^j ] $a ` o^:j j )s ohafRa,^:j 3h:^L ]Ra ]R^:h k] ud :f ~:`Z`K^:h :n 2k f,a 5d `Kd` L]h f,k ]Rj`Kd aRdh Z]u)j^: o^L] Ka ]RfTh:d fy`KaRdh l od h ud 5d`Kd 2d id `Z`~m Ka a o^ ud :f ~ `Z`K^:h :n xa,d h Z .aRdaRk bd ` & n ∈ [4.10] r H u 4 A 4 ÇX nN n <NOV vP ON A [aN H ZX n ` VNYX n NYX fb 6) [ [ad ZNrP ` [ N ZX n ` X gR 2Xib 1P X V .[ XmT QP d fb W - id*V j *N P^[ P N [ X - 2[ N N gP N #R j QU le QP ZN<NOV*W ` d]Rd ,a k e ~nh ^:f,a d ` Z])bb Z .a Dd f ^f,a q j ¸ o],d fRa ^:fRa md n <= 27 d]Rd ,a k :k :d`ph:d :d],d bb ud :f a Z .av Dd f ^f,a q `Kd :a :bb d]RdaRbd D 2] :f,d od a ud a f,^j DaRk :d j :h c$h ofRk],j`Kd aRdhUh Kk f,aRk h:d`Kk],]Rj b Z] ud sd`Kd o od h ]Rj Z La,k $]Rj dfRd md als )a]Rj Kh)j L]Rj ]Rj d] KaRd a,a oa ] :bd ./ /
717 >@A;=BC@ED;=9<C q evsd`Z`KdX)U]Ra,fZo h2apo f1P hraQ`~)s Vo^L o]1P X.^Np`~mv):d agW2d T]R^L `OUKa h3`ONZ]Ra]Rj d f,h:dj j d a,d haZ`~)s oV ^L ]QP2.X 2NOoT ^:j q e ]RaQ h2apoofQP hd]Rd a,k bd DdXib$ o^*Vodz h^R:a,d`Kd jW h:^: ] j a ] ],jNO[b%Ld `Ou [ ^L 1h*]U ) yo`.` od[ dXizb T od[ r n]ro n]cj ^L o^L]ZUKaZda af,a`O[ j ` &l od h [udXi5e d`Kd`Y2W d Ubd]Rj k`Zyo ohWfgj P fZZN ] eP h2fZ:d ` ` q j j P fZZN ] e)P h)afZYR )*NOoV d $`OZN ]Ra1P h2 hU od6):d jj jyoh &l` dh u[ dXi5e d`Kd`Y.W d j ZN `Y:b d =^V )a,aQKU m ]R^:h d]Rd a,k bd = i[ kfRk],d hdfRdVu[ k f:b d jWj ^V ^:a,aB`Y:X ^:fZKN aQ[] ]d fZWi5e ^f,f1P ]QNYX k m:b d j 1 od[ n])h a)f,a`O[ j ^:a,ad`Kdu[ d h ]Rj P^[ P agLd `<e y*XiX X %T od[ e ]Rj d f,h:d j d a,k aZ:W `+%P `Ka`rP o^L],]QP2Xf)P b D e u[ k`Yb ]Rk:X k aZLW ` ` &l`Oi[ k`Kd aZN*[]o h2P
h2bq:d `A[m `+Z {^ ZN ]Zu[ d fsyoh-^oT ^iXixb e w]Ra,fQ h2apoofQP h:^L SoV ^L`Y:X ^jed `Y:X ^:fQKN a j []o ],^hvj d`Ou[ k`Kd aQN NOV$W k]1aQP f,b^L f:b ^L`Oo `Ka]QP2$X `Kd:X fR^L],]Rj)bbAd]Rd a,k od hcj bdn]`Kk]Rk bd ( XiLb h2f ]Rj dfRd md a}sgP a]RjKN hWje^oV ^:aRa e Su[ k`Yb ]RkX d ` ./ / 9 @E92>E4:5! 7:>" W@E7 W@E41C 24$#l7%&W@(<C q ]Rj P^[ UKaQP]ZNYX:k fb:d].[ud a,d[ aZNKh^NEe5d`~^Va,^:h|hiR:jy` j j«h*NKf1P fb W(mf,^:b`Kk [ PsgPa )2P`~]Rj a,^a,a2[ ` q 5e d`~^V )a jP`Ka`rP o^:] NZ]Z[ud f,a 8j«h*NKf1Pn`Yb W mfR^:b `Kk[ eh NKa,d fÅsd]Rjj aRk]Rdz «j d]ea1P b`rP f ^:fQ[ P`ONZ] (Ç^Vo^:aRa j«d]ea1P)b `rPf Tod`Yb:d j jy ohBd` n ` ) n×n n×n V )fbXm f1P a oXizb %oT ^iXi$b ]Rd[ dXi$b ]R^:f,b (]Rd[ dXib ^L]Rj ^L`K^:mob ( ]Rd[ )`~2[ud`Yb Pa,`Yd [ud .aRk $ d [ `Kd T da h:k a:Xm f ` FHG+*:GJIKG , JD
M<B ; R.-O;0/ M<?-MAJ = H B F ;UT ?qJHcR21234165 BED P$S(O J BE=7B J,UR q [) oh ]R^:f1P T7z`Kd mfR^:sdn#a7VN~2XL o^:],j aZNKh2N `KdTod aZW:],kX:dNYh^R:jy`+u`KdX:dXib ]Rj dj f)obbd`ÇaZ:R fRa,k .a,d h$ u [ k f,k]Rd h-%u[ d`Yb [ad V ]Rjd fgn])hT)j.RL],],j d]ZUKa,d a,a eoaQP]ZNNOVW2V j aR^:ha3^V sR i [ dX zk]1sgP f3`Kd:X hd)d]Rd bb=bd))a,h:^:j P],]`N):kXL`KdX:d],d Xd dfQP`Ka hid VoT ^:jGh:k md],a q 5e d`~^V a5u [ ` d:X ^:`OVIP ]QP f{:hi:R fvb )w*fo ` ^L`OV `rP G fb ^L`~nch y`Y:R .bq:R jW e ohLnKN ^: IP `OZN ] [ d:X ^:`OVIP ]Ra KU fQ`Kd ` &Jj d u[ d:X ^L`OVIP ],^h [aZN V oT d`Y:b d]Rdh)*ZN ]Rj ^L .a NY:X d D 2Xib u[ k fRa,k hfj u bd h y`YLR Lbq:R j od h j{dfgWi5e ^:fRf1P ]ZNY:X k f:b dKN h q lk«j bd i]Rj d f,d m `YG W 2V a,^hB:nZN .a,^L]ZT cd fg5e ^:fQ[ *]:X k md (8{7 `Kd ` whi:R f, f:b `d j daRf,d):^L
)a,h:^:j )h ` q { 7 `Kd D ` ` ]e5^:fQVKU aZ:d mfR^i:X f^[ k]dXibo :*B[vj«j d]H07 T ]Rj P `~a1P )`+oihiR2j ):d aRh:d jW h:k mmd )2P `KaR^:j ahUjGdXi:b d] u[ d:X ^L`OVIP ],^h dfgWi5e ^:fRf1P ]ZNY:X k f:b d+N Z u 4 4i4 £¸ (n = 10) ¸££ ¸(n ± RR~Ç~oc®Z,®. ¸£Z ² £¸Zª£ Zª£ = 12) ,®Z®~®~À½,®Z~£ R,~ ~ ~¸¯£ R,~ ~ ~¸¯£ ´ ®Z.ZÀ,®~® ¼»,¹ ÄÄ µ¹ ÂRº µ¹´¼ ´µ¹ µº ´¹ ´Å¼ ´´¹ ¶«µ ¶ ®ZpZÀ,®~,®Y®Zl®¯£t »¹ º·
µ¹ µR· »¹ Áµ ´µ¹´Åº ´¹ ´ÅÄ ´´¹ ¼¼ Z ¼ ¼ Z.ZZ®Z ´µ¹ º¸Á µ¹ µR· ´µ¹ Á¼ Ĺ ·· µ¹ Ä´ º,¹ ´ÅÄ Â Z.ZZ®Z ®~,R »¹ º,´ µ¹ µÂ »¹ º· Ĺ µÂ µ¹ ¼´ Ĺ ¼· · ~Rª!Ç5~® ĺR¹ · ´¹ Áµ Ä»,¹ ¶· ´ÅÁ,¹ »¸µ º,¹ ÂR¶ ¶Ä,¹ ¼¶ Ä ~Rª!r,~®®~®¯£t ´«ºR¹ Ä· µ¹ ´ÅÄ ´«ºR¹ Á,´ ´ÅÁ,¹ ļ Ĺ »· ¶·R¹ ·¸Á Z ¼ º ~£¸~® ´µ¹ ¶«µ µ¹ µ¼ ´µ¹ ¶¸¼ Ĺ ´«¶ µ¹  Š·Ä Á ~£¸~®.®ZY »¹ ļ µ¹ µR¶ »¹ Ä· ·,¹ Á· µ¹ ¼º Ĺ ¶¶ q h:^L oh ` j
`Kd :^L ]1d` a,a ud h:d`Z`Lsd :d j od o^ rh:d a,a :d` ud xh:d`Z`Kd a,a d`Z d Umof,^:b `Kk 3bd id da cmf uk a,d f,k a ud f,a d]Rd a,k A od (n = 10) a,^a,a d`Kk od r)je` :^:f Ka ]{ o^j o^ Wj1 )a,^:h3]Rj d ud`2s L`p^L` ] )a .h `Kd :d od h q jgdfRd od a uk fRk]Rd h Z]zd`Kh:k]Rjy`Ka,d hik] hk] :bob Kd h2bd ]Rj `K^ Z] d j dhda1jr aR^:haeW],aa Z]Rj a Kh bdn]`Kk]Rd h ok` q jr «h Kf ` mfR^:b `Kk Uh f)h2a,d f Z]Rj a Kh )sR ~)a,a ubd id mf uk a,d fg «^L] :d`Kk]Rd umf,^:b`Kk ra,d f,d a `p :d`Ka,d id q h :d a,h:d j a,d aRk]}aRd a{Gh y` L Lb :j ]R^:fR^:huf h `Ka,^:j ] b :` :^: a `Kd d d` 5d`KdRsa :dl 2n Kh2bd e`Kd Kf,aha Z]Rj df Z .a Z :^L`~n im `Kd ud a :n od` : d] ] :aGd 5^:f Bk f,aRkhd] ud fRaGh y` L .b :j $]Rj d u],j b L`ch :j d` Ka Kh ud D L j aimf,^b `Kk a io NYd 6) YW 0[ X Xib ["fT ^Xib gW{) %[ X R{) [ [ [ ZN 2[
`[ [ e*j XaNOV NYX YX ZN Q[] ^TT V*T ^Xib ^V [ [ Gd ]) ZT Zd Xib ` [ V QNq[ N gW IN ( T IP i[ N ^V QN QN ^N ^ *j N 1P Yb W [ j QN QN 2P S[ N ` [ *W 2[ t ` .j R{) [ Q .j R{) [ X ` ^R{) TIP YR qR W 1P mbfP )^P P QP qd ) T gd [ Ye ) 2 l N U `[ N ZN <[ N V mb NO[ [ 1P NYd T ` Yb gW Xib e Z[ P 5[ YR %R W [ RiX qW iR OU QN [ X Xib [ P ` IP ! q jzd`Z]ZQ W k]c`KdX:],j d[bdR:a,`YW:bbeh2y`YRL .b ]RkXXjzdXib:d] j«h:d a,a,d]Çk] j R:aZR:]gjKTa,^L]Çd]RdaRd hfj bd ubd hi{R ):d a,hdj d a,aJfQP fvb )2P `KaR^:j P ] UYX wh:^f1PbbNQ):d f,jNYd:b r2arjtd meyX^X*):k fb h:d j d`Kk]Rk od h3^:maZNO[ `OKN j P `rP ]Q`P )` okXi` b ]Rj d f,d]RkfRdW):^L`Ka X^b:^:f]ZUKaZT aZd uhid V(^VVNYXU)j osn5e ^:fQVKU agd d]Rd a,k bd h2y`YLR .b ]RkX d`OT fb :X ^L`OT agd ` &Jj aW)`Y:d ],jZU )o`KdX 5e ^:fQVKU aZd ^:maZNO[ `OKN j :P nNYd sgP hwsd`Kd .agLW
]csR`)* `rP ]^:h^:j j ` FG *:G98 G OQU$#D M DJM(PC?-SAT q j NOV*W:mf,^t `Gd`Kd[uj k]D`~msRQn To^iXibCSh y`YRL LbqR:jW ey*XiX):k fb:d hT dj^Va,aQPf,^L`Yd2j ha f,d V d`Zyo oh-{k] dj d h2bd h []`rP`Yd V h=h2y`YRL .bqRjW [uk f,k]ZNd f,dV[uk fbdh q [ad*V]Rj d f)T ],j IP`OT aZd:]1P XfPaGh:^:f,`rPa,^jj5 To^iXib (n = 12) d],d aRk $]RjvP2[r`rP`Yd:h ` apoo`~n ]R^:fZV`Z )h-2 dj k f,avS[uk f,k]Rdh j«f,dGhk]Rjy`KaRdh ` (n = 10) i= @"! ± R,~ ~Yc®~®. £Z® Z,®Z®Z®.~À, ½R®&Z ~£¸ ´ ®Z.ZÀ,®~® ¶ ®Z.ZÀ,®~®,®~Y®¯£¸Z ¼ ¼ Z.ZZ®Z  Z.ZZ®Z
®~,R · ~Rª!Ç5~® Ä ~Rª!Ç5~®.®ZY®¯£t Z ¼ º ~£¸~® Á ~£¸~®.®ZY R ª¦R~®¯¡ º»+ Á¼¶,+ Ä¼Ä º»+ Á¶¼+ ÂÄÁ ¶»+ ¼¼Â+ ÂÁ ¶¸µ+ »ºÁ+ ÁÁ ¶¶·,+ ¶«ÂÂ+ µÂÁ ¶,´«º,+ Á¸ÂR¶,+ µÄÁ ¶·,+ ¶ºÁ+ ·¸»¶ ¶¸µ+ ¶ºÄ+ Á¸µµ ~Z ¢ £¤¦ §L,ZK¦ R)(K*()(® ,ª!¡ ·,+´µRº+ µR¶¸Á ¼+ ÄÁº+ º¼Á µ ·,+´µÄ+ ¶¸µÄ ¼+ ÄÁº+ ¼´Å¶ µ ¶,+ µ»µ+ Áº ´+ Á¶¸¼+ º¼º µ ´ + ¼»¼+ »Á· ´+ ÂRº·+ ·Áº µ ¶,+ »¼»+ ÁÁ¸µ Á+ º¶·+ Á´Åº  ´«º,+ ºº» ¶,+ ·¶¸µ+ ºÁ» Á+ ¼ºº+
µR¶«µ  ´«º,+ ·ºÄ ´ + º«µRº+ ·»º ´+ º·¶+ ÄÄ,´ µ ´ + ¼·»+ ´´Á ´+ µ+ µÂ» µ %§ ·+ ¶¸µ· ·+ ´Å»¼ ´+ »¼¸µ ´+ ¼ÄÁ ´«·,+ µR· ´Â+ º¸Ä ´+ Ä· ´+ ¼´Ä ÇXZ w 4 u H4 H4 H 9 H H4 L ! q j#RaZRL] jKT aR^L]mIPfd]Rd a,k bd ( ]eoa1P]ZN<NOVWr R{):d h:dVok]RadXib.f,k]Rjav" l `~mosgP ( 7 o f,fgbc5e k`Kduh*NKk f,aRk h:d`Kk]Rd h$^:h:^:j j Ph-5Vodae5d`Ka,dTod agWdXib[ P],^ VNKh- ]RjNZ .aRk Usd`Kd aZW:] aRk m:b d jx W jG^Vo^:aRalNO[um`Kd [id La1P:nNYd.[ud[ad:fQN~2NYX:k fb:d a,`~2X:^L]¨d]Rd aQTod jghkmd]Ral[ )s V tv¸j ],j ^:fR^L].u[ d[a:d fZNrP a`Z`K^:h2P `+ d j3dXi2b fRk]Rj axu[ d[a:d fQ~N $`Kd5e ^iLX `~`rP ]QP P `Ysd`Kd a h:^2j [ ^:`Yrb aZ:R bob `Kd aQNOV:W a [ P ]Rf,k]Rj a{dj d u[ d[a:d fZ~N #5e d`Z]Rjb2VKU
a1P ]QP P ` ` q ]Rj du[ k aZXib )saZW u `YX ^:fQKN aZ[] ], h-2Si [ d:X {R ):d h:doV d a,a0u[ d[a:d fZ~N ^NY:X k fub h*KN d`KkXmKU a,k]Rk f,dz2xfRd oV d`Kh:d j k]RfRd P `Z`Yi d h^:f`rP aR^L]W[}V*wb^ u[ d[ad fQNrP a-tt ¸j ]Rj df{h:d`Z`KdaRa ):kXmNY:X ^:`])] ~N ` u 4 4i4 % % # % & Se fb W)*N ZXmP P rP T ^XibhR e iX V ZWie 1P ZNYX j l R e ^ X r P QP X^b ` X N Z[ ` /102/ 7&2>6 589 @ 7 ;# <; ;=92>@(B8>(< C 7 92>(; &W@E92>6 q h:^L h2f,k aumk`OVPh:^L Sd`]):kX:j d a,a][uk f,k]Rdh hiR:j bd SdXi2b fRd) ZN `rP2:X ^L]bbIP )2P`Ka )jT aRk mbVlTo^iXib e ohLnNK^: IP`ONZ]rmfR^iX:f2[u^:h P`Ka` NY:X k fb d`Ka{h2y`YLR .bqR j W aQUKm]ro d fZW2j e5^:fRf1P]R^:h [ud mb*NZ]RkXd
NY od[ eyX^X:d a`Kd od h `"! d hZN .a],y hUdXiUb mfR^:b `Kk[ ^L]Rj a1P`Yb2a`2k] ok j jyohh[udXrx`KdTod a]RkX:d]zbdn ],`Kk]Rd h:d a q jGd`Y:W jW]5e d,sd j d a,bd 3a1P fgXi.b `Ka{ «j h*KN f1P `Y2b W mfR^:b `Kk[ x`KdX^b:d $xbdn]`Kk]Rd h*Tod j#T]Rj` P `Kav2V aQT `O[ j ` l o od h 5dRsd jd a, od hW n#k`tsR o^ L],],j d 5^ L`~`tsR k]fRd ]Rj dfRd jj deid f 5^:fRf ] :k dh Kj] `~ah :j bd x],j d f,j d a,acam ]Rja`~aR^:ha q j L],]Rj d 5^ L`~` ] ]R^:f d 2f,d `Ka` o^:])bb]Rj)b ` ]Rj d f-)]Rk :d h hdf,y`Z od h Z] ud f,a,d aRk]RfRd iR %P Yb # GJIGJIKG $ cH S(O*J,S(RM DcSAT,Tf?1P %nB J 1T B B$PM(P&OH B BED DJUKR21"(5H)&OB q h*NKk f,aRk h:d`Kk],]Rj P^[ [ud[ad:fZN~ `Z`K^h^PnNYdfN)`Yd T )a1P]QPa h:k a],mdh.aQ]RbqdL`Q`KdTod a )*NKj]gXfP`Z N ` q jud`Z]gWV fr2) Pbb|bdn],`Kk]Rae eo oh.nNK^L IP`ONZ]Qmf,^iXf^[ RL],],j d]ZUKa,d
a,agh*NKk fgj aRkhd`Kk],]Rj P^[ Pbqd:`k]vjRL],]Rjd]Rd $`Z`K^:h2P`Kal[ud[ad:fZN~][ud fb*NZ]RkX:k bqWL`phmIT )aÅs oh q [uk f,k]ZN}d fRd V[uk fb:d h(`~mosgP NZ Vo^:h:^:`Ka hDa,d h*NZ .aZTod aZWX Wh*NKk f,aRk h:d`Kk],]Rj P^` [ k]z[ud[ad:fZN~1`Z`K^:h2P:nNYdGhiRjRa,al`ONZ od PfZNZ] RL],]Rj dey*XiX:k] e5d`Ka,k aRd`Kd j k]Rd q e5d`Ka,k a,d`Kd j k] Tod`Yb2aQP`Z`YdL]QP2XfP)fZdL``ONZ dvP)fQNZ]{f,dX:f,d]RjNYd{) ` ´ `Kd T da [idXdfgWL]ZUKa,k]Ra]Rj dfRd ` j N ` * d j d],],yoh bdT ! od d & ! od d ~ 7 ! dd q-,/. ! od d 87l6~~ J h*NYe5dRsd j k],d h:d aJfRd Vof,dvhiR{:) d aRh:d jW#[ud fbNZ]Rn+k! X:d h2f,dzi! [ud[adfQN~e `Z`K^h^PnNYdfl) `~^[ NZ .a 7{`Kd fbd`]h ) TIPfR^m[ e5k`KdGh NKkfRa,k h:d`Kk]0e)sa1P)sgPf ` P],]Zohxf,dX:fRd],]RjNYdid f,dV[uk fb:k od h h*N]:) ^L )a1PaZ 0 ,p<21 "4!3 & 4 !&) !65 E587 !&) 0
^9 P : !& P<; 99:= > >2?A@CBEDFB2GH@JIKB2GHL4D<G4MONJP4QORHSKTVUFLWTYXKZ[P[RH]U<@^U< `P[IaD<IWbEcdbfe`X)gihjM`NJP[Z[N^D<TlkK@JP[TVDFZ[P4BmgX)BJB2XnTGoZ4SnepiQqX[r qu%H A 11 P " ) * # / [3 :: 9i <; 969= : 0 <1 <.R)[3 #"T43,#[31"[3 633: 43 : ! 63 E ! 0 %QE )" D&)W9 <@ O O > < R *!!>T?!MM Å M ?!M P !&) 0 - - M )?- M-M)? !&) P M M M-, TM- - :-,)?- -! ? ? ? 0 : *#"% / #"$ &% -(") %+ :-(")&% ,"%-("-%r- G 0 &: # 1,.#!FD+)B"0/)- :L-M> 9N%!&& W%%##LL*!! //
M M ::::--M ""12 %% 00 33 "["[111133 %%",", q f,dX:f,d],]RjNYdWh:k],jUKaRk]Rd h:^:fgh*NOV df,y`Ka`5 T ^iXib( [ud[ad:fZN~W`Z`K^:h2P:nNYdUh:k fZVok],k bd `O]RaWh*NKk fRa,k h:d`Kk],d hT]Rj P^[ W od[ ],jNYXL N] h2P ] l & dh[udXie5d`Kd`YW2d A8)2PfZT agd [ud[ad:fZN~^NYX:k fbrbdn],`Kk]RkfRdeihiR{) daRh:d jW:a{kfZVod[ud` ]:2) P`~]Rj a N+Z T̂queenM EM = 16.03 ∗ TqueenST RICT + 4309 ∗ TqueenCU RRY − 2207000 NKhdfRd] dh1 od6):d jTod aZWgd jQ`ONZ od PfQNZ]Çf,dX:fRd]]RjNYd{)`:d`YWfP`Z`OUKaR^:a,a d f,dV[uk fbz2[aN]):d` n ! od d ~ 7 ! k] ! od d 706~~ . h*NYe5dRsdj k]Rd hr]RjNYXL N]h nNrP)sRehN~n]ZN)`~^[ NZ La` + n ! To^iX^bU ! od d & ]Rjd:f1P]xx`ONZ dvP)fQNZ]zbdn],`Kk] a1P u} Xib ]QP2X:fRd Vod`Yn ]gR:h.h:d a` jGdfRdVod
aQNYd`K^:],j`rP]QP]{],jd:fQP]QP^To^:jwh:k md]Ra & j ar [ad*V]Rj d f,aaV fr) Abdn],`Kk], od hh:` d`Z`j ^L .b Sa,d h*NZ La,d N+ [ N]:) d`eo ohfj J nNK^L IP`ONZ]ph*NYe5dRsd j k]Yh2y`YRL .bqRjWfRk],j h*NYe5dRsd j k],dNsd`Kd LaZWL]ph y`YR: .b ]RkX:d h:d a<[)oaa`[ T )a ^ h ih*NKk fRa,k h:d`Kk]]Rj P^["L k]vj `Z`K^h^P`Ka [id [Sd:fQN~][ud mbNZ]RkXdGhiRjRa,a ` # GcI9G 8 G $ HcS(O JQS(RM DcSAT,fT ?1P n% B J 1fT B B431L J 1*T HSHg=7@OQM q h NKkfRa,k h:d`Kk],],j P^[ fb NZ`]^) P V) `Yd. B]Rjd fRdmda{sgPa,],jNKhB eyXiXt:) k fbTh*NKk fRa,k h:d`Kk],kTod j ]Rjyoh ]RkX:d] NOVWbd 5[ fZR{) NOVod (E Z eoaQP]ZN NOVW,^ ` q jx`Z`K^:h2P`Ka [ud[ad:fZN~ubdn],`Kk]Rk T dj.T j ]R^L `Yd. Wd`Kh:k]Rjyo`KavxhiR{) daRh:d jWifRdXf,d],],jNYdL]{bdn],`Kk]Z q h:^:f1P)bbIN ! od d & ! od d ~ 7 ! ! od d q ,f. ! od d 706~~ h*NYe5dj + n ! sd j
k]Rd ha[ud`Z`Kkz*):dXib2yohSe RL` ! dd x & hNYe5dRsd jk]Ra`i[ud`YbrjQ j«hNKf1P`Yb W mfR^:b `Kkj [ Pa [udX:^L`OVdn[idX^L`OVIP]R^:hRL],],j d]ZUKa,! d a,aeoaQP]ZN*NOVodRsk aca)f,a`O[ j j ` q [uk f,k] ]R^:f1P h:d`Kd a,h:d j d a,a [uk f,k]ZNod f,dV[ik mb:d hhiR:jy`+l:) k`Kd a`Kd ]Rj d f-)od xh:d fyo`Ka,d hh*N wbdn]`Kk]ZTod j T ]Rj IP`Ka{^V )a,^:h"[ q [uk f,k]Rd hudXibid`YWf,dQ od[ V d NrP`Kaz],j P^[u],j ^:flh:d fy`KaRdh) kXf,dj T )sa1P]RfV^ ` P],]ZohWif,dX:fRd]]RjNYdid f,dV[uk fbk dh h*N]:) ^L a1PaZ 0 ,Y<J1 "4!3 & 4 !& & 2 5 E87 !&) 0 ^9 P : !&) P<; 99L= > P "1)1 * # / ER! 0 %QE633 "[D 3 M &) -W96 3 <¸@ )O ? O > <GR[3*!!>(-M: M 5M-,: !&) 0 i9 P 6L-)?
-76M ? - )? !&) P<; 969= - )? -7-M ? TM6)? ? ? ? r i4 ! YX 0 <1 0 L *#"#% / [3 u5H4H Y #") &% -(") &% -("$&%+ "% -2"%u- 43 [31"43 0 &: 1,L!FD+!B" /)- .-)> 9 !N%!&& %%##::*## // M -M ""12 %% 00 33 "["[111133 %%"" q bdn]`Kk]wd`Khk]RjUKa,k]Rd h:^:fn[udXmNZ]Z[uk a`YW*VRa,aG [ud[ad:fQN~W`Z`K^:h2P:nNYd)NKj]gXfP`~a j h:^fam]Rj a`Kacsd`Kd ]RkXX* [ NZ]Rj d fQNZ .ajR:]]Rj d]ZUKa,d a,a0eoaQP]ZN5NOVW [idXiT a1P)f,^:j P]QPb od[7sgPa]RjNKhvsd`Kd .agWL] ],j d f,d md alG`O]Ragh*NKk f,a,k h:d`Kk]Rd h ]Rj P^[ q [ N,) NZ]Rj ^L .a
[idX:`Kdj md aRk], od hia,d h*NZ .aZTod aZWXm To^iX^b jg`Z`K^:h2P`Ka [ud[ad:fQN~[ud fb*NZ]Rk` X:dQ]Rd[". `KdX`rP)bbhNZ]{ ]RjNYX:^:fr$ o k]g nof,fgbh*NKk fRa,k h:d`Kk],d hT djGh:k md]Ra l& od h[udXie5d`Kd`YW2d D)j.RL],]Rj d]QUKaRd a,a eoaQP]ZN5NOVW ihiRY:) d a,h:d jWihkm`KdaRa,d`pbdn]yo`OTod aZWX` Z <. ,) "D , T̂quuenT IM E = 2.503 ∗ 10−6 ∗ TqueenST RICT + 1070 ∗ 10−3 ∗ TqueenCU RRY + 1486 NKh:d fRd], od he od6):d jTod aZWQdj g`ONZ od PfZNZ] fRdXf,d],],jNYd{)`:d`YWfP`Z`OUKa,^:aRaÇd f,dV[uk fbz [ N]) d` n ! od d ~ 7 ! k] ! od d 7l6 ~ ~ . h NpdRsd j k]Rd h ],jNYXL N]h nNrPsRvh*N~n]ZN,)`~^[ NZ .a + n ! To^^Xibr ! od ! x & ]Rjd:f1P]ee`ONZ dvP)fQNZ]Jbdn],`Kk]EoaQP } 2Xib2]1P X:f,d Vod` n]ZRh2h:d .a` jrd f,dVod aQN}d`K^L]Rj`rP]1P]1]Rjd:f1P]QP^T ^:juh:k md],a D dXDh:d`Z`YsdXib:d j Nlj ^L .b (
To^iXib| ` & hdjVod aZN ]Rjd:f1P] [ud],]Rj d{d`O[ f^Vx ! od d & hdjVod aZN ]Rjd:f1P]1P)aZdL` ` ! od ! x A # GJI+G * G D DJUK2R 1 D J P$M(P&O HGB P$<M ; ;0/7HJTv<S FK<S ;M(R % B J 1fT B B 31L J 1T H Hg=7@OQM q e5d .aQN¨h:k axbdn]`Kk]Rd h*U]) y`zd`Kh:k]Rjy`KaieoaQP]ZN0NOVW [ud[ad:fZN~B`Z`K^:h2P:nNYd{) `JaZR:f j aRk *WUbdn]`Kk]Rd]NZ] q bdn ],`Kk]g d [ a)f,a`O[ jeapo `c],^h s Vo^L o]1P X:^:a` d j k f,awn ]hDj ` d f,dV[ik mb:k ahiRj`YRi["Z T̂quuenT IM E = 4.417 ∗ 10−5 ∗ TqueenM EM + 1327 ! x & YW N Yb ,o d 1P q ! d Z` :d W`~h Ubdn],`Kk],k od h ]Rj f ] 504.63 bdn],`Kk],bd ]Rj d ,f d m ` uk fRa,k h:k ok` / / ` [ .X ]bb$jwd`YW:jW @E7:>?C % <C 4 >(29W@( & X^b e oh.nNK^L IP`ONZ]w mb:d`]):d UKfRawmf,^^X:f^[ihid*V P`Ka` NYX:k fb:d`Kagd fgWie5^:f,fQP]ZNYX:k fb2fgWL`Çapoo` odTok j jzd
f,doV d aQ.N h^d*x V `~mosgP )u[ dXi5e d`Kd`YvW bdn],`Kk],a ^V N+2[ N]):d`.Qh^R{):d a,h:d jWva,k fb:dj jW:hU odTod jKU aQKN hUS5e d`~^V a,^:aZ 9:X d $ 2XiU b h*NY5e dRsd j2W d fZW • ^: f:b ^L`O `Ka f:b d`])*YN ]Rj d f,h:d j d a,d h • qu%H ! ]Raik]]RjNYX:^:fpoUh*NKk f,aRkhd`Kk] `KdTod agWL]RkXd 7 of,fgbfj9eyXiXt:) k fb:d h • q hiR:j a,d]xhid*V ^:h-J d j j d`{]Rj d[bd (J f,d Vod`Kh:d j od h okTIP fb jd`Kd[uj k],a][udX^j hiRL o fb*UKaZW d j P`Ka`Y],j P^[) oh2fST ]Rj o^L] aQ`~)s Vo^L o]1P XiX.`+Z & f,dVod aQNAe5^f,f1P],h^d*VV `) `Ydud hv) N]) `Kd nN~Y[ / 1 1Z V^ } • & Xib ]Rj df) fbd`]) NYd`Kd [idh • & Xib ]Rj df)obb$ fb:d`]*) NY],j d f,hdj d a,d h • n[ j dd `KhvaR:) k da,d `KndN~] ^ X:f1P],^h • # G-8 GJIKG ) R.- ?qJ,MATR"& = , 5 HJTf?U ;0/
B B43 UOQO 1TVR"& = % U ? q hiRjaRd]hid*V ^:h) NKj]gXfP`~ax]R^:fQP e5k fb Vod fy`KaQSe5^:fZVUKaZdmf,^iXf^[ j ^L h:d`Z`Kd[ud] aQo`~s Vo^: ]QP2XfP fTo^^Xib(jaP`Ka`~ X:d od f1P`Kawh^R:j a,d]wh^d*Vo^:hKe5^L`Yb.a,^L o^:] h a,d h*NZ .a j Tod aZWh &Jj aW 5e ^L`Y2b a,^: o^L],]QP2XmN aQ `~)s oV ^L o]1P :X ^:a oXib `KdoT d aW`Kd:X ],j dr[ `Kk`Kd a,d]Rd bbd hiR:f,y`OKU `f +N T Wj au [ ^L )V s o h-AoT ^iXiB b h5e ^:f,fQP ]ghid*B V h*ZN ])^P `Ka,^:j P ]U3hiR jaRd]whid Vob n]hh*ZN ] )^P `Ka,^:j P ]RaSZN Vo h2P ` q )2P `Ka,^:j P ]R^:hj q 7 hidoV b P `Ka`rP b S]Rj d[Sj [ d`l d [ `r)P aQT ag.d h-<oV d3h ` y`Y:R bq:R jW ):d f,jNY:d h-mfR^i:X f2[ [ `H[m `+ZW)dfRjNY$d hdj d`YW u ]Rd:X koV mf,^^:X f^[a[ ` ^K)`YdaLR ],]Rj dT ]R^L `OKU aQP ])5e d`Ka1)P fÅsRxih y`YLR Lb ]RkX dhda *¨ o h|^L`YLb d`Kdu[ d h- ^i[ d`Yb dh [ ZN oV
d h^:R j a,d] hid oV b !)2P `Ka,^:j` )h ` ¸`Y:b d u [ ^*V `K):d f,jNYLd ]Rj P^[ P aoT d`Y:b d aRd]ZKU agW VP aQ[ i[ djW ` P ]1d`Kdu[ d h- mk`OVIP^o `Jh:^L o]gj a ]R^:hTkfRa,k h:k od h")2P `Ka,^jaa1P ]Uj q 7 hid*oV b ZN ]1n])hTdXiT b h:^L ]Ra ]Gk fRa,k h:d a )2P `Ka,^jaa ` & Xib o)sRbb7h^LR fvb )2aQP fQN e yXitX ):k fb h2aZ]N )*KN j P `rP ]aJh szk]m hi:R j a,d] hid*V b V okTIP m b osR)bbCnNOu[ h:dci[ dX sd`Kd ok]Rk6):d`}sgP f ` & X^b e yX^*X ):k f= b `Kdn ]Rd f,k`Kk]Rd d ok` [ P faZ:R bb")2P `KaR^:j P ]Rad f,dVu [ k f:b d jzoV d d j d h$)2P `Ka,^jaa1P ],^hU`K^:h2P `OZN ]h-*[ Nkj ):d`n]hru[ dXmT]U )^:a,a e yX^*X ):k fib od6):d [Åj7:X fQP ]znNOu[ h:kRsd{^ k]zGmf^u[ k a,d fQP a^VP ] )2P `Ka,^j KN h^V ddj aZ:d bbN n])hih2h^:f`^T G od[ *Xi.b )jvgdfRdoV d aQN k]ljHo)s e yX^*X
):k fb ]RjNYLX aroof1)P sR q h*KN k f,aRk h:` d`Kk] ]R^:f,fRd V sk a7u [ d*X )2P `KaR^:j aagdSe yXiX )k mob n],d fRkh [mk`OVIP2 `<[ P ]mfRdj n#doV d n~N x]RjZN .a-)3^:md fQP a,^:fR^:h T ]Rj IP `~a)[ ~N aRa ^ d k`AZN ]{h^mu [ ^L`Y.b )bb)2P `Ka,^jvP ],^2j ha NOoV k j dh d`Ye W whi:R j aRd] hid*V b ` q )2P `Ka,^jvP ],^h-)hidoV fRk]Rj`Kd a,d h#5e d`~n]Rd f,k`YWoV k]Rdzlos hid*V f,k]Rj`Kd aRdhu [ dRsd`Kd k]Rdz)fRk:X d bbIKN d h1h*NO[ f^VIP ]Q`KdoT d a, od h ` &Jbbd uj{d]Rd a,bd SZN ] NY.X jz^T ^iXibSP `Ka`rP b i)2P `KaR^:j P ]R^:hx)j q 7hid V n]h dX^bf«j dXib ]Rj)h],j P a kfZZN aQKN h ` # G-8 G98 G tP !nDJM(PM<;0J 1"(5H)&T VTiJ gDGLTVUR % B J 1 TfB $B R.- ?J,MAT R &l= OB q j0NO[um `Kd[ud .aQP:nNYdL]Ç],aZUZ`O]R^:hGbd[]oaa1P]Qj j«h*NKf1P`Yb2 WQmf,^b `Kk[ P l2h:d f,d]Rj ay` aZRf,a,k .a q jNO[um
`Kd[ud a1PnNYd:]x]RaQUZ`O]R^:h okXib 2Xib^:bb n]R^:m^:fRa,bA]R^:f,^:`OT aZdLh- ` [ud`Yb:d h2bd =h:k a j«h:k ardXib*[ P]RfAd fZW:],d T OU Zd [udX:^L`OVIP]ua`rP`OT aZd ` ],^: ` Ka X^b q jDd 4 ! %v) u 3 5 n]R^:m^:fRa,^L Ubd`Zy`ONAu [ d:X ^L`OVIP ],^h aZ `~s V ^L oh:k mmd UdX^b3a,^Y)^P)bbINpk f,a,k h )*NKj]ZXmP`~a1P)` ^:moaQNO[ `OKN j P `tsg)P h3mf,^^:X f^[ aQ `~)s oV ^L ]QP2LX ^KN a q hiR jaRd]gh^d*oV b Bd jS[aNZ .ane5d`KaRk a,d`kj )*NKj]gXfP `~)a k]dXiWb i],mdnNrP `OZN ] d]Rd a,d a h:d jd`YW o` s{hidoV fRk],j`Kd a sd`Kd KN h i[ dX ` q n]R^:m^:fRa,^:h$hi:R j:R aRa) ZN ],j ^L La{sd`Kd LaZLW ]Qh y`Y:R .b ]Rk:X d h 5e doV d joT d aZ:W h 5e d` ]N ):d`} `KdKN h2P `OZN ]ST ]R^L `YLd ]QP2X |h2y`YLR .bqR jW 5e ^f,f1P ],h^d*oV ^:hhi:R j:R aRa ]Rd[ apoo`v 2Xizb ` zd j k f,a3 hiR jaRd]1hid*oV ^h(d]Rd a,k
bd ZN ]n]h(hZN ]Rd bb i [ kfRa,k h*) T ],^: `YLd ]QP2X ` ¨ h(^L`YLb )2P `KaR^:ja,^:h mk`OVP^ `¨jrd`Z]gXW u[ d`Y:b d hBd]Rd a,k bd 5e ^:f,fQP ]Rhid*V u[ dXmKU f1P ]h^:fZN ]n#k` ):^:`KaJ>[ *NO[ P `OZN ] k f,aZoT d aZLW ]RkXX )d od hx)2P `Ka,^:ja, hgh^:R j a,d]chidV sgP f>ZN ]}j aJ`KdoT d a [ ^: V +N T ^iXib )*ZN `rP2:X ^L]]Rj k mT]Rj d f,h:d j d a-) ` q jed`Z`Kd .aRk a,d] ):kLX `Kd avj#:R agR*VKN h)2P `KaR^^j u ja)^oT ^L`.aRd fr):d j k]cn#k`tsRv`KdoT d aZQ W `KdXfP `Ka`rP o^:])bbGhid*V.u[ dXmKU fQP ] ):^:`Ka q jzd bbq:W ` )2P `Ka,^:jaRbqLd ``Kk a,f,dRsG{R )^W q S 7 hid*(V :d od hau[ dXi5e d`Kd`Y2W d (^u[ dLX `KdoT d aZLW ]Rd i` b^L fb ^L`O `Ka k]vn]h [ f^QV )2P fLb ^KN b Udr [ `Kk h:d j a,d aS[ P ] )2P `Ka,^:jaR^:h2b W`rP a,^:aRah.f ` / / 9<;&W@ 7 ;# < ; ;=92>A4: 5! C % 925 @ < ; @(:
5 7 >6: >A7 YXZA H # G+*:GJIKG !M (-T DJSATVM(R BEDGB"! 3mB q bdn],`Kk]z`~mosgPa¨jgjnP`Ka`rP ^L]ZUKa1P]J]Rj ^L`YXfP`KaaÅsRQ^To^iXibxdXibibINKj ^L fb^L]Jhid Vof,k]Rjj `Kd a X^b. o^L`YbL ShiR:f,y`O[uk f:b d hh^:R j:R a,a [ ZN VNYX Xib fb*N d fZWi5e ^:fRf1P ]RaaNY:X k f:b d` &Jj d [udXfP`Z`~mIUKa1P]r]Rjd fZZN .aUhid*V f,k]Rj`Kd aRdh.f,du[ dX `KdoT d ahT aQP f,^j vN dXib e a1P ]ZN` hiRfy`O[uk fbdh.aZWL`[a,^Y)^)P bbI~N h2b hi:R f m:b d jd aRaZLW ` ^e yXiX^W>e yXi*X )k m2b a`^u [ d`Yb j^V ^:a,a hid Vof,k]Rj`Kda{dfgWie5^:fRf1P ]ZNY:X k f:b k a0KU fÅsRi`Kd q bdn],`Kk]xd jd h ],j d fQZN Laxhid*oV fRk],j` `Kd a,d h2fRd):^L a,h:^j KN h a,dTIP aid`YWfP `Z`OKU aQP ] o aQP 1hid*VofRk]Rj`Kd a,fRdnT]N )aRh:^:je d dX^:b k b3hid*V ^:hudfgWi5e ^:fRf1P ]ZNY:X k f:b k od hhZN ]Rj P^[ KU aQP ]h:^:f [ P f e5d`OT ]Rj IP `OT
aZd ` DdX hd`Z`dr[ `OKU a,d N uf,d h*o fRj]U ) e yX^X ):k f:b d hUh:k fZoV k],k a ` &Jbbd Tj d]Rd a,bd igbdn],`Kk] i [ dXiT a1)P f,^:j P ]gn]hefRd h*o f,j]U ) (^P `Ka`rP o^:] d]Rd a,bd LQbdn],`Kk] dXib [ P ]eh^:R f fb dj d a,bd`O} N k f,a,k h:k od h(h*ZN ]RjvP2[ KU a1P ] o a1P (c`Kd T da,]RkX d] q bdn]`Kk]Rd h fRdh o f,jNYd sRij1d f,doV d aZY N hid*oV fRk],j`Kd a f,d ho fRj NYd sgP )hhu[ dXi5e d`Kd`Y.W d 3k f,aRk` hd`OT dagiW h*N ` ck`OVIP2 `pa,d h*ZN .a,]y hxhi{R ):d a,hdjxW f,d h*o fRj]U )he yXitX ):k f2b a`Z "!#%$& #)(+*-, #.&/*0&210435&76",8 !#9"*:#); ^X ^[ d fZWie5^:fRf1P]ZNYX:k fbka q mf,^ :f [ R^{ih^R{):d a,h:d jWxd`Kd [idh.bqWL`Y`KdTod ah*NZ]RjvP2[u^L`Z N ` qu%H R = Rf act (n = 3) = R∗ + R− + Rf act (n = 2) = R∗ + R− + (R∗ + R− + Rf act
(n = 1)) = R∗ + R− + (R∗ + R− + (R∗ + R− + Rf act (n = 0))) = R∗ + R− + (R∗ + R− + (R∗ + R− + 0)) ! ^P [ U 1P ge R )^W Xib [ ^[ Yb ` QP ZW^e QP ZNYX fb {^ ,o R 6)iW [ Yb ^[ N ZW [ e XiX^W ZWie 1P QNYX mb ) ( ZR{) NOV 2[ Ze X^X ZWie 1P gj m[ j X N Yb j V NYd -m[ Yb QNO[ N ZU]) QU ) X ` [ Q) [ P QN vo R )^W - [ Yb a zd` uVk]mSe *XiX) fb gWie QP ZNYX fb YR ON [ ^ [Se q[ kj ^[ ge XiXiW ZW^e QP ZNYX fbfj m[ `& ` &l o od hcu[ dXi5e d`Kd`Y2W d ("a zduvk]m e yXi*X )k mb2f,du3hiR{):d aRh:d jW P`Ka`rP o^L]Qh:k m `Kd a1^Vj VT )aZXd Z ( T n>0 R + R + R (n − 1), R (n) = h y`YLR Lbd 0, mivel, (R1 ∼ 0) q ]Rj ud` Ka ],b Wh:k a 5k`Kd L],]Rjd aRd r]Rj dfRd md` q jed ]Rj d f-)obbdh R∗ ^:md f a,^:f1d f 5^:f,f ] :k :d g`~h L],],j d a,d h ud` :d hBmf uk a,d fRd Kh.a L`} d ∗ y gd f 5^f,f ] k yoh )f od emf uk a,d f y :d a`Kd 1d f 5^f,f ]
«h^ um^L d ]Rd h d`Z`Kd :j daRd],d Z` d dhi «fRd oh.n :h ud` :d hxmf Ka xa Km ]R^:h:^L :k :d j od h /) d`Kd aRdhda q ] KhWn ]R^:m^:δf,aRbuaf,aR^:j h `~h L],]Rjd aRd :h ud` :d h3 y :k rd f 5^:f,f ] :k :k aÇsd` LR` Kfh act (n = 3)2md fRd 5d`KaRk a,d` ud` `Kd a,a Jj d hxmf uk a,d f y id f 5^:f,f ] :k «h:^ im^Ln od= ]R3d h ∗ − f act f act &Jj aj Pf,av`~h2f]To^:j6)Z Rf act (n) = n ∗ (R∗ + R− ) # G *:G98 G M (T DcSATvM(R P& = T ?-M(OQM q bdn],`Kk] e5d .aQNI[ad V]Rjd fRd VNKf,d h2aRd od[ `Kh`O[ jT )aZdX^[ N]):d`odbobd Ujvd]Rd a,bd >ey*XiX:) k fb hNKk fRa,k h:d`Kk],k a2[ NZ V d xbd[ud W1m f^[ikaRd f,f,dl[udX1h:d`Z`Kd od aRd o N+L2[ N md f]Rj d{ od[ d`Ye5^iXL^VT agd q mof,^:b `Kk[ P)a h N~n ]ZNKa s^:bb )[udX*Xib:d`]):d¨`rPaQTaZdX To^iXib Na zduvk]c m ey*XiX:) k fb [ NZ .a` ^NZ`Z`Kd]RjaRk],du^:h^:j jD
e5d`Kd]`KdX:d]#NKjX`O[ haXib NZ]x a zduvk]m h*NKk f,aRk h:d`Kk]Rd h:^:fL 1h:k a¨h y`YR: .bqR:jW)[ NZ aQP ha[idX^e5d`Kd`YW2d ( hkalh y`YRL b%R:jW ZWie 1P QNYX mb T N ` %1 H 4 3 3 H 3 H H H4 ! % u 3 fpÇ ! I4 fv4 c H 44 p oH ! 4 ! H ! H i4 u 4 f c c X q 5e d 1a`rP `OT agd a zduvk]m eyXiX*):k fb q 7Ah^dVsgP )hwf,k]Rj`KdaRk a [`rP]ZV gt ^L`OV j `K^L ^)j q V 7 hid*$V d`KdRsd#TNrP mb2jNKh][udX)NKj]gXfP`])oihiR{):d aRh:d jWa[udXfP`Z`~m` UKa1P]R^:h a,doT d ag:W h q jed` `Kd i [ jk]n#k`tsgP bqLd ` `KdXmu[ dXi5e d`Kd`Y:W bbihid*oV ^:ahidV ]Rj d hv):d nNrP h2fh:d`Z`b^L j a N &Jj a{5e d`Kb^L .aQP ]Ra¨j q S 7 f:b d`])SoV d6 ~N nNYd sRG]RdXmUYLX ]Rk:X
k6):d` a,doT d aÅsyohSu[ dX ` q ` d f 5^f,f ] k 2a `Kd da a)m]Rj a`Z 4 ! %v) u 3 e5d`Kb^L La1P ] `~mosR^N `KdXi:b d od h- inNOu[ h:k hrk] ):d jk f,`Kk]ZN]Rj d f,h:d j d a,d hhP`Ka`p`Kk a,d]ZUKa,d a,a T )a1PfR^:h ` q jldXi:b d]hid V ]Rjd hv)d nNr)P h2b 1jJd fgWi5e ^:f,fQP]ZNYX:k fb7e5d`OUKfZT agdfRdh of,jU])ne5^fQ[ Pb uhi{R ):d a,hdj:W hkmomd ZN oV d q 7 fb d`]).bd`ON o a]ZKU a1P ]RfQ h N]):k6):d )dj k f`Kk]QPa j VIP]QNI a]ZKU a1P ],^h)a`^u[ ` dXmT aQP f,^:jT )aZed j P `Ka`~>NY:X k f:b d`Ka}dfgWie5^:fRf1P]ZNYX:k fb ` &Jj7oagd:bj bI~N )h h2)*ZN ]Rj^: .al])sgP a}dfgWi5e ^:fRf1P ]ZNY:X k fb y hiLR h*]U )2y`+L):d jk f,`Kk]Ra i [ dX h)mq1d hid oV f,k]Rjj `Kd a dfgWi5e ^:fRf1P ]ZNY:X k f:b k6):d`qZN ]h:d`Z`]Rj P^u [ ^:`Z NOo h ` q H^4 X H hid oV ^:a $hiYR ):d a,h:d j W hid oV
f,k]Rj`KdaRd h2f,dr`KdoT d a1b^L .a N [h:d joV d ay h:d a 3 sd`Kjr W nNOu[ h:k hU]Rj d fQZN .a ^ Z " e :n#a af,a n • YXZA H • • • • • • dL ] ] n ]Rd n ]Rd ` ` 7 XkmN]{[u^*Vod`Z`tsdQ]Rjd fZNZ .a`2ehiR{):d a,ha,h:d jWR:]]Rj d a,d a,a0P`Z`~ j q jGb],j aRfh2a q m^a,a`Yb Kf IU `Z *JdXib yoh jd`Z]gWX / m, w#"2+ e5^:fRf1P]ZNYX:k fbdVZ 6)v) ` id*V f,k]Rj`Kd aRda ` &l od hd fZW2j state == (astack, bstack, cstack, graphstore, descrstore, pc, programstore, io) R °° ° f act Start Rn2 = R[push ° ok :d`csd`Kj daRa }h = R[build] + Rn2 + R[jmp] + R ° node] + R[jsr] + Rea2 + R[f illI ° driver b] + R[pop ° b] Rea2 = Rs2 gW QV ZWie 1P ZNYX fb #[ XmT QP P QP id V [ ]N ) e giW e 1P ZNYX fb T ` V[ mb [ Xie YW ` Rs2 = R[pushI] + R[jmp] + Rs1 - W 6) c ZU 1P q jd`Z] 1k f d hd]}m^L .asR1jd f 5^:fRf ] :k dh ud a
f,^:j ] h j r od *) h of,k]Rj`Kda :d`wd dhVh:k a 5k`KdAdf 5^:fRf ] :k :d(`Kd od a w)jC. oa] Ka ] d f,d ik :k od h ud 5d`Kd` 2d Rs1 = R[equI ° e QN 6) e X^X*) id V T QP Yb b] + R[jmp ° [ 6` Xib fb iR fb N ` Rs1 = R[equI ° b] true] + Rcase.1 l[udX:^L`OVIP]1P2To^:j}]Rjy h ]RkXd]-):^L`Ka j q 7P`Z`~m^:aQP h a jtkrdk m ZN ]Ç{hid*VofRk],j`Kd a,d hQd j a )j P`Z`~m^:a,^:a-)2P`KaR^:j aasgPh [udXXNZ`Z`Kda ):d N)^P `Ka,^:jKN h(a,d6):k h:d fb ]RkLX yoh [d fZWi5e ^f,f1P ]QNYX k mb yoh ^ ` q j dXib:d] daZoT d jW[ a jtkrdk mV^KjKT dj )`Yd )*ZN ]Rj ^L fbf)P aJghi{R )daRh:d jW:h:k mmd x`Kdj i:R j ayohU`Kd6)iW )*ZN ]Rj^: f2b a`2dXib ]Rj d f-)]ZKU a ):de yXiXiLW ]RkLX od hhT]U )s h-Z + R[jmp ° q 5d .a )mf,^b `Kk bd :d j d a,k]Rk f,d . d od h y :k :k bd h of,k]Rj`KdaRd heh :f, :d j od a^L]Rja ` :^:j q h true] + R[jmp] + Rcase.2
qu%H • [ÅfgXm[ud .aZ[^):d f,d[aZW:`eyXiX^Wrh^d*Vof,k]Rj d`KdaRd h 7{]hW:) d fRd [ `KdXie5d`Z]ZWxd`Kd[uk aZWL`eyXiX^W2d h q :) d fRd [ `KdXie5d`Z]gWu`KdXie5d`tsd bb d`Kd[uk agWL`eyXiXiW2d h n ! X 1P e Zd e XiX^Wrh^d*Vof,k]Rj d`KdaRd h ` NZ],j aQP jTfZXi[ud .aQ[ ):d f,d[agWL`ley*XiXiW|hidVofRk]Rj`Kd a,d h2bqW:` P`Z`e5d .aQN /m, ! eyXiXt):k fzb [ UYX aZZN ]RjaQP 1lX f1P25e agLd ` e yXiXiW h^d*oV f,k]Rj`Kd a,d hQa`rP `OT )aZ.d hQ Zlbdk mIUKaRd a,a {#0eyXitX ):k f:b k bd ` g`Ka`rP o^L]d]Rd a,bd B)j dXib e yX^*X ):k fboT d j1a)f,a,^jdrhidV f,k]Rj`Kdj a,d h-[ ZN $ V )dfRd[ aZLW `+ [aZN DV ]:X f1P 5e aZLd `e yXiX d dh &Jj d LR ],]Rjde yX^:X k],d h ZN ]Qi[ dfRd a,k aDaRkaRd`KbIKN j ^L fb*` KU ag:d h ZN ].NY:X k fb `OKN h ` &l dh u[ dX^j e5d`Kd`Y2W d jDd fZWi5e
^f,f1P ]QNYX k mb bdn],`Kk]Rk ardXib h*KN aRd fÅsd]RjaRd a,a)dfZ]N h2:P nNYLd ]id]Rj hi:R j$hdj f,d aRk ibd`Zy`k fZoV du [ d] u[ d*X )`YLd ]ZKU a N ` q jvd fgWi5e ^:f,fQP ]Rbdn]`Kk] k]zwaRkaRd`KbIKN j ^L fbKU agdZN j a,d:X fQ:P nNY:d sgP hUdfRdVu [ k f:b d h:k mmd (p)jd fZWi5e ^f,f1P ]QNYX k mWb bdn ],`Kk]Rdzp aRk a,d`KbIKN j ^L fb*KU agd eo aQP ]ZN0NOoV dRsk a8[d fZWi5e ^f,f1P ]]NYX k m:b k a ^en]hThid oV f,k]Rj`KdaRd h ]Rj P^[ P h u[ dXi5e d`Kd`Y2W d ( `OZN od P fZZN ] W {R ):d`ON & X^:b d]Yhid*oV fRk],j` `Kd a,d hvd fZWi5e ^:fRf1P ]ZNY:X k fb k dhf,d ho fRj]U )Qbdn ],`Kk]Rd¨`~msgP (6)ZN ]Rj ^L fb `~2X T aRk h:^L f.b Th ZN ],j P^i[ ^L`OT agd h:^L oh2fRk aQd]Rd a,d h$d fgWi5e ^:f,fQP ]ZNY:X k f:b d ck`OVIP^ `c )*KN j]gXfP `Ka eyXitX ):k fb h*KN k f,a,k h:d`Kk]Rdd`Y:R aRa`Le yXiX ):k fb hKN k f,aRk h:d`Kk]RkoT d j h:k m`
d],aJd`OT f.b :X ^L`OT agd d fZWi5e ^f,f1P ]QNYX k m*b )fRd ho f,jNYLd ]xh:k m `Kd a,aRd`+ u [ d:X bdn],y`]):d$ )2P fZT aZA d d fZW^5e ^:f,fQP ]ZNY:X k f2b a` eo aRaagU d f,d oV ],j d f>V*LR .aQT dawji^oV ^:aRane yX^*X ):k fb hKN k f,aRkhd`Kk]Rd.u[ d`Z`Kd a,aX)2X^$b d`O*j a]QKU aZT asRij a & X^Vb Yjid`Y:R ` bobIN [ad V ]Rjd f, ok` ]Rj dbob u[ d:X ^L`OVP ]RaQh)mI oh-5T 3h:d`Kd a,h:d j d a,aQfRdj h*o fRj]U )Dh:k m `Kd aRdaQj P f,a1`~h2f aQV s hoT ^:j N q jaZN `Y:b d TfRd ho f,j]U )e yXiX )k m:b d h i [ dj ` X:^L`OVP ]QP fv }t2k] Yo`~mosgP h:k],j`Kd agjK[Sd*V ]Rj dfRf,d`X[`OZN od P fZZN ]g«j fRd ho f,jNYd d]Rd a,k bd ^ [ aRd[ aQKN h^zN mf,^iX f^[ n]R^m[ Xi.X `+ ZN `Z`Kd ar):d)`~2[ ZN `Y:b d [ a,d[ )aQKN h^N ^V a,b%)P j ZN ] j b )`Yx d h:d f,d]Rk],],d`h:d fy`OT da{]R^:f `j! d fQi[ k]Rj d a,d]Rd 3d`Kh:k mj d`OoT d
aZW ^L`Y.b he yXitX ):k fzb ^u [ d`Y2b fRd )j `rP bbINf[ad*V ]Rj d f od[ sgP f d f,dVu[ k fb d`+d h2h:^:f jzdfgWi5e ^:fRf1P ]ZNY:X k fb>5e d`Z]gW bdn],`Kk]Rd1`Kd T daau [ d:X ^:`OVIP ] ` • q :f 5a L` y % % % % rP INe Yb e [ Yb gW oXib ["mT iXiba[ e 1P )T P id V *X fb ]) ^V m[ [ X ` & )*N `)U ][ V ]) ZT QP QP X iR [ OT gd QP2X m[ P mb:^:ha}k]lhid VoaZR:fRdVok h:d h:d ala)f,a`O[ j fb*UKaQT daZNKhujQdXib:d]lf,k]Rj dha[udX:k f,aRk]Rk a ` q e yXi*X ):k fb dhN)`~^[aZN .axc[aZN a1P h| od6):k a ZLW `KdiX od[ bd5e ^L`YbfP ]R^L`tsRj1kfRaQoT d agLW ]RkX da ` <;=4 @( B>6< C q w j ` )bb 5dRsd jd aJ^L` . ua,d`tsd] 5^:f,f ] `K^ ud` :d h2f L` ik f,d j a,d o^ ud :h L o 5^:fRf ]Rh:k .a ]Rj `Kah of,k]Rj`KdaRd h2bd :^L` d` d o^ ud }jefRd uk` od a Z]Rj ^L .a sR KasR )s
D)j1^L` ] a L] :^:a /602/ 7:5&%7 55[[33 0 / 8/DF6 8 6 F#8A ?#@ 6 #8 O 3%T 55[[33 00 6 6 8!8 44 F F!8 0 6 / 6 47/ 6 / 5[3 0 6 F / F8 8 O 4 F O "!#;)[3 ! 476 F / 5[3 0 6 / !8$F8 L#"43 / /D6 8|?!@ 6 8 O 3%B L#"43 O 4 4 O "!#;)[3 ! 4 5 3 0 <¯L"43 DF><5L#"43 > ;)3F 4 !+U; [1 4 %)3 "D; [1 ; [1 4 M 4 0 #; s u w % 4 XK L R:!3 R:!3 B / / 6 8 3 6 #8A?!@ 6 #8 O %B 4 6 8 C R:! B 6 / 8 O 4 476 / 8 O "!#;) ! 476 / R: ! B !8 43 3 3 #" / /D6 8|?!@ 3 6 8 O 3%B %v [[33 [3 43 4 #" 6 8 4C6 8 #" 6 / 8 4 R:# (S< #" > )#"[3 )#"[3 3 4 w % 4 XK L / D / 6 #8|?!@ 6 #8 O %B 86 4C6 8 )#" 6 / 8 4
)" 6 ? O D#8 #" 6 )? O (@D#8 [3 :: 43 43 :: / / 1* / &:0 #43% 3M 5% - %3 3 Z1 C %&<C "|- M &:R; "#% *F# R RLR) 5%- T M "-U )# /1 " /S 5% - # "- M "- #M &:R; ! 5% -U )"-U /1- #&)(*## ! M *## " /S &:R; (5%-U # *## M &:R; ( &:R; /SR& / 1 F3 3 i 3 63 i i i w % 4 XK L 6 #8 4 ! . 4 H Xr ! I F3 5%- -W |" -W &:R; /S& %# /=- M & %#" /1 & 5%--W # 3 H ^4 X H 3 # % ( 1 70TofZNZ] 7{`~:nh- n aZ fRa!7{`~ b [ (w`)*NOV}f,^a,a`Çt-,
t0+r p2+ $ l + m, -,!1 7 ^[bofQNOVX:d6Q N]):d f]ZNKaGbJf,d],]<x^x: { ! To^m[r][ ` 7z^:fZ[ud (87 T f`Kd]H& `Q dNKd f]R^L ~^L `OV ` ~ N]):d]Ra`V2+ &x 6{>)o],jh N 7RL fbv)2h N~^Vdxixmo tl , ^L`KaQP 7z]ZRf fb:dN+p,,Y lt q+r ^+ 2& I$.1"!# &$Z& %m,1&)( * ,+ + - t.Q v V md]Ragt*: λ }*2~^L `OV `/ f2T ^["0Q^L `OV & ` 1 foaQT(21gfRd N})a]ZT NKh23 lv+ 0& 4 & 5 * ,+ + 76#+ &{8q+r 1 &9{ )]RjhNYh^RL fbv)2h N~^Vd"xix {2~ ^L `OV `/ f2T ^["0Q^L `OV & ` 1 foaQT(21gfRd N})a]ZT NKh23 lv+ 0& 4 & 5 *;:<+ + >= -2#{Q> )o],jh NhiR: fbv2) h*N~2Vdxix
l ^mT ) / f,^L NZ *X:d (E~ NZ ]2l `~]Z[udNtsd fS"+ - , l@?A pA 2 B # u v $# l# +!I, 2 + { C $Y, , l tD l A21 l* poY , ^L`KaQP D[^:fr2) PaZT(Kl ,!Ep g /GFNH .+ I Y, , l tD0+r ^+ 2&]& 9 l J 2 t*L Kgf2e5a l2 NKd a,d f Q^.^:mI[ z~ NZ ]Kl `~]Z[udNtsd f`l( fRh:^ ) J& d h:d`Kd ( n sR:)h n [ud a]Rd f] Y, , l tL +p ^+ 2&]& (M t*7gf2e5a xl ^Y^) P],j P]Rj`YdXL V2+ &iv6 plI $zt Q N A t V md]Ra2x^xL l<7~ NZ o]Nl `~]Z[udNtsd f`2B f,h:^ q ) J& d h:d`Kd C p, , l tG +r ^+ 2&]& l 2+ t Z 1M O0+ # >6P +
* VVNZ]R^L jQ d],`Kdb xix *1<7~ NZ o] l `~]Z[udNtsd f`QB f,h:^) J& d h:d`Kd Z lSR+ lT :<+VUC l A2G64 2 + gf2e5aQt* {<} a,fZN~nh `En ]R^m[" n NO[i^L E ` c db2aR^L ^L d]W 0+r X $YY, , l t 0+r ^+ 2& xixL l<} a,fZN~nhN ` n ]R^m[" n NO[u^L E ` c db2aR^L ^L od]; (2 + & t $[Z { B +r /12 +G] +#^0+.+ p, , l tD l A2 -xixmo 1}* n ^m[a[ud fr) NZ`Z`Kdz% " g /!`!+>+ { +# / V(1Z 1, od[ tL