²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³...

29

Transcript of ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³...

Page 1: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

������������ ������������������������� ��! #"$"&%'�()��� �*,+&"- �.�+- /�0�

1024365738289�:<;<38=?>@2434A6BDCFEG:8HI;<J-KML'E�2824E$BN K0OPJ-9/K�3RQS3,O�9TOP3,O/BVUXW-289TY0ZSE-K�5-289�E�[\E�24J$B

E�K�5^]`_�38=RZSJ�ab382,O

�I(dce���4fI(dg@hih@j7kl���m���.�"-�%l"n� j�gig0h

o-p/qsrtp/u�vxwPuGy�p/ztpT{�u}|�~�w�q��n{�u�{�����p/��o-wP������r�{�rt��w�qy'��|�pM�'q�����p/utz���r�����T�P�i� wP��r�~���{���q � rtutp�p/ro'yG�&o���� ���6�� w���ztr�wPq����'���P� ���P 

� ��¡�����rtr�p�¢i��q�£'w��Pp��0¡6p/u ��¤P¤ ��¥�¦G��ztw0{T�P{�����{�¡���p-{�z'�'q����Pp�utzt��r��w�vn�np/q�q�p/z�ztp/p0{�rG§7q�wT¨��s������p7�np�|�~�q���|/{���y�p/�4wPutrGo � � ¤ �T�t© �ª¤

Page 2: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

«�¬®­�¯-°�±�²´³´µ�¶¸·¹²/º0¬n»l¼¾½À¿�¬$²´³/¬#Á!ÂîÄ�¿ÆÅ�¯-°�³´ÇÃÈ®Â8³´É�±�È,³/ºMµ�Ê

ËÍÌ�ÎϪРÎÏ ÌTÑÓÒXÔ ÏªÕTÖ Ì Ïª×�ØPÙ$Ú¾Û Ò�Ü�Ô`Ý¾Þ®ß Û ÌTÌ Û4àTá âªÙÍã Þ8äåݾÑÓÞ ÏXæ7Ï äTÑÓä Ï ä àbÙ$çéè Ì�Ñxê�ë Û Þ Ð ÌTÑ Û4ìíÛ ÌTÝ Ø@Û Þ Ð�î`ï4ÏªÕ ë�Ý4ð Ï Ì�ä à

Ø@ñ'ò æ7Ù&ó ÒªÝ4ê Ïõô Ý4Ì ìíÛ ê Ïö�÷nÖ ÎÏ Ì�Ñ Ï�÷ Ì ÏXÐnÏ ñ è Ý¾Þ Ù&ø4ù¾ú¾ø4û ñ è Ý4Þ çiϪЮÏPüSý8þ,Ù Ë&Ì Û ÞnÒ Ïà Ô ÏªÖÍÛ Ì�ä ìÿÏ Þ8ä�Ý�� ç Ý ìÿÖn÷ ä Ï Ì ö ÒªÑ Ï ÞnÒ Ï4Ù�� ÞnÑ ï¾Ï Ì Õ ÑÓä è Ý���� Ï ÞnÞ Ï�ÕTÕTÏ�Ï4Ù�� Þ®Ý ü�ï ÑÓêxê Ï4Ù � ô ú8þ4ù¾ù4ø��bú4ý�¾Ù ��ö,ãâ�� Û ä�� ϪìíÛ äåÑÓÒ Û ê ö ÒªÑ Ï ÞnÒ ÏªÕ`ö,Ï ÒPäåÑÓÝ¾Þ Ù�� Û Ü ë�Ñ Ð ß Ïõô�Û äTÑxÝ¾Þ Û ê ñ Û ð$Ý¾Ì Û äTÝ¾Ì è4Ù�� Û Ü�ë�Ñ Ð ß Ï4Ù � ô ú8þ��4ú�¾Ù ��ö,ã

�����������! "$#%��&('�)%��*,+.-�)���/�#�)0����1%2����3'546��/�&�����7 8/946:%)����������! "$#�8�/%; ��)�) ��+<'���=��(=���=>+?7%) 8@��A)�=�1%2 -�&B4DC�=�E946��#�C

Ë Ï ð®Ì ÷ÍÛ Ì è?bù¾ù¾þ

FHG�IKJML�N(OPJQSRTVU WYX[Z[T]\6^V_�T]U `3_MacbYZ$_K`dZ$beZ$R(_SX[fg3hiZ$Tkj5_�X[_l`3T]UmZ$X[TVn(f3Z$Tkbcg>bYo�WYX$X$W�p3U�Z$RW�Z�WYX$_�`(TVUqZ[X$Tknf3Z[_l`,TVg9W�n(^Vbr\Dsth

\Mp3\6^VTV\SouWcUqRTkbcgvb�aP_MX�W,j>f(^kZ[T]`3TVj9_KgU[TkbcgWY^�w(X[b3\M_KU$UqbcX�xPX$TV`�y�z{R(TV^V_|w(X$_MarTkbcfU�UqZ[f�`3Tk_lU�RW�ac_|\6bcg\6_KgcZ$X$WYZ[_l`bcg}_M~�\6TV_MgtZ[^Vp�xP_Kg(_MXDW�Z$Tkg(x�Z[R_�\MbPj5j>fg(TV\KW�Z$Tkbcg�j5_KU$U[WPxP_lU,Z$b�n�_�_6�(\DRWPg(xP_l`�nrp�Z[R(_�w(X$b3\6_lU[U[bPXDU,TVg3hacbP^VaP_l`HTVg�Z[R(_dX$_K`3T]UqZ[X$Tkn(f(Z[TVbPg��3��_Bo�br\MfU�bcgHZ$R(_5�M���3�$�Y�3�����t�,bYo�Z[R(btUq_!j5_KU$U$WYxP_lUM��R(b���Z[bvbPX$xcWPg(TV�M_|Z$R(_j5_lU[U$WYxc_�_M�3\DR�WYg(xc_KU�TkgtZ$b��$UmZ$X[f�\�Z[fX[_l`(��\MbPj5j>fg(TV\KW�Z$Tkbcg�UqZ[_Mw�U�Z[RWYZ|j9TVg(TVj5Tk�K_,\6bPgtZ$_MgtZ[TVbPg�y z�_!n(f(TV^V`fw�bcg9X$_KU[f(^kZ$U0bPo�z�WY^VsP_KX�WYg`� eZ[Z[b�P��R(b,Uqbc^kac_K`9WBwWYX[Z[T]\6f(^]WYX0TVgUqZ$WPg\6_�bPo�Z$R(_�w(X$bPn(^V_Mj��PWPg`9��_|`3_KX[TVaP_WPgvbPw3Z$TkjvWP^�U$\DR(_K`3f^kTVg(xdo�bcX�Z[R_|j5bcUqZ�xP_Kg(_MXDWY^\KWPU[_P�cgWYj5_M^VpP�tj5b�arTkg(x!o�X$bPj¡W,¢t£3¢r¤�¥�¢0¦[§�¨|`3TVUqZ[X$TVn(f3Z[TVbPgbcg�W�©Bhªw(X$b3\6_lU[U[bPX�xcX[T]`9Z[b5W>¢t£3¢r¤�¥�¢0¦M«3¨e`3T]UmZ$X[TVn(f3Z$Tkbcg�bPg�W�¬Bh­w(X$b3\6_KU$U[bPX�xcX[T]`A�co�bPXd®�¯K°6��±u¯[®Y¯�²ea�WY^Vf(_lU�bPoZ$R(_dX$_K`3T]UmZ$X[TVn(f3Z$Tkbcg�w�WYXDWYj5_6Z$_MXDU�©5��¬5�3³r��WYg�`�´cy

µ�¶t·�¸$¹>º L�»�IP¼ `3TVUqZ[X$TVn(f3Z[_l`½WPX[XDW�p3UM��X[_l`3T]UmZ$X[TVn(f3Z$Tkbcg��An(^Vbr\Dsth¾\6p3\6^VT]\>`3T]UmZ$X[TVn(f3Z$Tkbcg���U$\DR(_K`3f^kTVg(x��¿½À�Á��Â�À�Ã�y

Ä�Å ÆcÇ�È�É ÊMËmÌ�É0ÍMÈSȾÎtÏcÏ3ÊK˾ÐmÑ�Ò5Ç�Ó�ÏrÍ6˾Ð�Ô�Õ�ÐmÆtÑ|ÖSÍ6ÐmÇ×ÊKÓrÍMØ%ÙcÚ$Ç�ÑDÓtÚ$ÑeÛtÊlÎcÓrÒtÍ6ÐmÇ�ÊlÓ�Ü�ËqÍKÓ�Ð�Ö�ÊcÝ�ÞSÙcß�àiálâlâlãKáKäläPå�Ô�Õ�ÐmÆcÑ|æSÑ$ç]Ñ$ÓtȾÑÞ�ÒPèlÍMÓrÚ$ÑDÒ!é�ÑDȾÑDÍMËqÚmÆ5êAËmÊMëªÑ�Ú[ÐmÈ�Þ�ìKÑDÓrÚqÕ,ÎtÓrÒPÑ$Ë0Ú[ÊlÓ�оËqÍlÚ[Ð æ�Þ�Þ�íSâMîKàiá�ã�àmï$àiâlâlðlðYñcÍKÒcòdÇ�ÓtÇ�È­ÐmÑ$ËmÑ�Ò,Ô�Õ!ÐmÆtÑ�Þ�ËmòeÕBé�ÑDȾÑ�Í6ËqÚqÆ5ó�ô,Ú$ÑlåÔ�Õ�ÐmÆtÑdæSÑDÏtÍM˾ÐmòdÑDÓ�Ð�ÊMç�õ%ÓcÑ$ËmìKÕ�ó�ô,Ú[ÑdÊKç�ß�ÊlòdÏcÎcÐqÍ6ÐmÇ×ÊKÓrÍMØ�ÍMÓrÒ�Å�ÑDÚqÆcÓtÊlØ�ÊKìKÕ�é�ÑDȾÑ�Í6ËqÚqÆñ�ö5Í6ÐmÆtÑDò,Í6ÐmÇkÚ$ÍKØ�ñ�÷ªÓPç]ÊKËmò,Í6ÐmÇ�ÊlÓ�ñ�ÍKÓtÒß�ÊlòdÏcÎcÐqÍ6ÐmÇ×ÊKÓrÍMØÙcÚ$Ç�ÑDÓtÚ$ÑDÈ æSÇ�èYÇ�ȾÇ�ÊlÓ>ÎtÓrÒPÑ$Ë�ß�ÊKÓ�оËqÍlÚ[Ð0æSõ�àiÞ�ß â�ã�àªøMî�ó�é�ùYï$î�âlâYårÔ�Õ!ÐmÆcÑ�Ö�ÍMÐmÇ�ÊlÓtÍKØ�ÙcÚ$Ç�ÑDÓtÚ$Ñ�ÛtÊlÎcÓrÒtÍ6ÐmÇ�ÊlÓ9ÙcÚ$Ç�ÑDÓtÚ$ÑÍKÓtÒ!Å�Ñ�ÚmÆtÓcÊlØ�ÊlìMÕ>ß�ÑDÓ�ÐmÑ$Ë�ß�Ê�ÊlÏ3Ñ[ËqÍMÐmÇ�è�Ñ�Þ�ìKËmÑ$ÑDòdÑDÓ�Ð%Ö�ÊcÝ�ß0ß�é�àiøløKâláKúPï6ã�åtÔ�ÕeÐmÆtÑ�ß�Ö�éSÙ�ûYõ�Ö�ÙBü(Õ�ÊlÓYû�÷ªÖ�é�÷ªÞ½ÏPËmÊMëªÑ�Ú[Ð ýSþ$ÿ�����åÍKÓtÒ!Ô�ÕBÐmÆtÑ�õ�ÎcËmÑDÌKÍ�êAËmÊMëªÑ�Ú[Ð��������� ����3Ý��Sè�Ñ$È�é�ÊlÔ3Ñ$˾Ð�Ç�È�ÊKÓdØ×ÑDÍ6èlÑ�çkËmÊlò õ�Ú$ÊKØ�Ñ�Ö�ÊMËmò,ÍKØ�Ñ�ÙPÎcÏ��Ñ$ËmÇ�ÑDÎPËmÑ�ÒPÑ�üÕ�ÊKÓ,ÍKÓrÒ!Ç�È�ÏrÍM˾ÐmØ ÕȾÎtÏcÏ3ÊK˾ÐmÑ�Ò Ô�Õ�æSé�õ�Å��6æ|ÜSÞ ÎtÓrÒPÑ$ËdÚ[ÊlÓ�оËqÍlÚ[Ð>õ�é�õ�áKúMàmïlïDâKî��KÞ�âKâlâ��MæSé�õ�Å��6æ|Ù��KÙPé|Ý0Å ÆcÑ5ÍKÎPÐmÆtÊMËmÈ,ÍlÚmÌPÓcÊ�É�Ø×ÑDÒcìlÑ�ÐmÆtÑ9ÎcȾÑÊKç0ÐmÆcÑ,÷ªÓ�ÐmÑDØ�êAÍMËqÍKìKÊlÓ��Sê��lÙ�ã5Ú$ÊlòdÏcÎcÐmÑ$Ë�ñAØ�ÊYÚDÍ6ÐmÑ�Ò�Ç�Ó�ÐmÆtÑ>óSÍMÌ�é�ÇkÒPìlÑdÖ�ÍMÐmÇ�ÊlÓtÍKØ0ü�ÍKÔ3ÊKËqÍ6ÐmÊK˾Õ�ß�ÑDÓ�ÐmÑ$Ë�çVÊKËdß�ÊlòdÏtÎPÐqÍMÐmÇ�ÊlÓtÍKØÙcÚ[Ç×Ñ$ÓrÚ$ÑDÈDñç]ÎcÓrÒPÑ�ÒHÔ�ÕvÐmÆcÑBæSÑDÏtÍM˾ÐmòdÑDÓ�Ð�ÊKç0õ�ÓtÑ[ËmìKÕ�� ÈBö5Í6ÐmÆtÑDò,Í6ÐmÇ×ÚDÍKØ�ñ�÷ªÓcçVÊKËmò,Í6ÐmÇ×ÊKÓ�ñ�ÍKÓtÒ�ß�ÊKòdÏtÎcÐqÍ6ÐmÇ�ÊlÓrÍMØ�ÙcÚ$Ç�ÑDÓtÚ$ÑDÈ�æSÇ�èYÇ�ȾÇ×ÊKÓȾÎtÔcÏcËmÊKìKËqÍKò?ÊMçAÐmÆtÑ|ó�ôdÚ$Ñ�ÊKç%ß�ÊKòdÏtÎPÐqÍMÐmÇ�ÊlÓtÍKØ�ÍKÓrÒ�Å�Ñ�ÚmÆtÓcÊlØ�ÊlìMÕ5é�ÑDȾÑ�ÍMËqÚmÆ�Ý

Page 3: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

� � �"!�#�$&%�')(*!�+,$-�

.0/214365,798;:"<,:>= 7@?A5A<�7CB2/ 5,7CD�1�DFEHGI<,<�GKJL?M5,N GI50GI<,:&= 7@?A5A<�7CB2/ 5A:>=O791PG)B�QCDLR�ST3R�J4RUQ979R"EVGF?,N 79D�1WDKXF:U<-GY8Z/ Q95,79= 798;:>1[3?,7CD�12GFQ�\ <,D4R�:>?,?ADF<^]F<�79=_79?^GO= 7C`ORU/ QC5a\ <�DFB2QC:>8b5,N2GI5^N GF?-<,:>R�:>1c5,QCJd<,:>R�:>79XF:>=eR�D�12?,79=[:U<�GIB�QC:fGI5A5A:>1c5,7CD�1�g"hMN 79?791c5A:U<,:>?A5f7@?&8;DF5,7CXIGI5A:>=iQ9GI<�]F:>QCJjBcJe5,N[:Yk^lnmpo �>qIr \ <,DF]F<�GF8Y8�791[]P?A5sJLQC:Ftu791wv-N 79R�Ni?,RU7C:>1c5,7yx�R;GI\ \2Q@79RUGI5,7CD�1 ?GI<,:W=[:>R�D�8;\�D�?A:>=z791c5AD{\2N2GF?A:>?Ugj|}5Z:>GFR~Nz\2N GF?A:FtH5,N[:U<�:�79?�GF1�DF\ 5,798�GFQ�= 79?A5A<~7CB2/[5,7CD�1jDFE05,N[:�=2GI5,GeGI<�<�G>J4?D�1c5ADO5,N[:f\ <,D4R�:>?,?ADF<0]F<~79=�g}hnJL\279RUGFQ9Q9JFt2GI<,<�GKJL?^GI<,:f= 7@?A5A<�7CB2/ 5A:>=PGFRUR�DF<�= 791[]Y5AD�GY�T�[�T�����u�����f\2GI5A5A:U<�1eGFQCD�1[]D�1[:�DF<�?A:UXF:U<�GFQu= 798;:>12?,7CD�1 ?0DFE�5,N[:�]F<�79=�g^hMN[:�B�:>?,50XIGFQ9/[:�DFE�5,N[:)= 79?A5A<�79B2/[5,7CD�1W\2GI<~GF8;:U5A:U<&��=[:U\�:>1 = ?0D�15,N[:&R~N GI<�GFR�5A:U<�79?,5,79RU?}DFE�5,N :"GFQ9]FDF<�7C5,N 8�7@R-SF:U<~1[:>Q�GF?av�:>Q@Q�GF?MD�1W5,N[:&R�D�8�8�/ 1 79RUGI5,7CD�1[365ADI3R�D�8;\2/[5,GI5,7CD�1d<�GI5,7CDDFEn5,N :;5,GI<,]F:U5f8�GFR~N 791[:do�� r g���:>RUGF/2?A:�5,N[:)DF\ 5,798YGFQuX�GFQ9/ :ZDFE}�OR~N GF1[]F:>?�E�<,D�8�\2N2GF?A:)5ADP\2N GF?A:;GF1 =eE�<,D�8D�1[:&8�GFR~N 791[:"5ADYGF1 DF5,N[:U<Z��5,N 791 SYDFE�GYN[:U5A:U<,DF]F:>1[:UD�/ ?0:>1TX47C<,D�128;:>1T5~�~t[<~/ 14365,798;:^<,:>= 7@?A5A<�7CB2/ 5,7CD�1�5,/[<~1 ?}D�/[55AD�B�:&G�R�<�795,79RUGFQ�DF\�:U<�GI5,7CD�1�t GF?-?A5,GI5A:>={791�o �U� t�� � t��F� r �VGF8�D�1[]�DF5,N[:U<�?��~g

�}GF?,79RUGFQ@QCJFt[v�:ZRUGF1{=[:>R�D�8;\�D�?A:f5,N[:�<,:>= 79?,5A<�7CB2/[5,79D�1Y\ <�DFB2QC:>8�791c5AD;5,N[:�E�D�Q9QCDKv-791[])5v�DO?,/ B \ <,DFB2Q9:>8�?U����c�K�>� �2�e�2�4 ��L¡��[¢�£�¤� phMN :&GI<,<�G>J�5AD�B�:�<,:>= 7@?A5A<�7CB2/ 5A:>=O?,N D�/ Q9=�B�:�:�`ORU7C:>1c5,QCJ�?�RUGF1 1[:>=WDF<0\2<,DLR�:>?�?A:>=P791

DF<~=[:U<M5AD�B2/279Q9=W/[\dGFQ9Q�5,N[:Z8;:>?,?,GI]F:>?05,N GI50GI<,:&5ADYB�:�:�¥[R�N2GF1[]F:>=dB�:U5v�:U:>1d\2<,DLR�:>?�?ADF<�?Ug¦ ¤�§i§j¨� u£�©��[¢I£�¤� ª�>©I«��c¬u¨*­®£V ��¯|^Q9Qn5,N[:�8�:>?,?,GI]F:>?)8Z/2?A5fB�:Y:�`�RU7C:>1T5,Q9J�?,R�N[:>=2/ QC:>=�?ADjGF?Z5ADe8�7@1 798�7C°U:

R�D�8Y8Z/ 1279RUGI5,7CD�1zDKXF:U<~N[:>GF=�g�|±]�7CXF:>1²\ <,D4R�:>?,?ADF<;5sJc\27@RUGFQ9QCJ�N GF?;?A:UXF:U<~GFQa8;:>?,?,GI]F:>?;5ADw?A:>12=�t�5ADwGFQ9QDF5,N :U<-\ <�DLR�:>?,?,DF<�?aDF<05AD�G�?,/[B�?A:U5aDFEH5,N[:>?A:Fg�³´1d5A:U<�8�?MDFEHµel�³aR�D�Q9QC:>R�5,79XF:fDF\�:U<�GI5,7CD�1 ?Zo �>¶�r t2v�:f8�/ ?A5?�R�N[:>= /2QC:�?,D�8;:U5,N 791[]P?,7@8�79Q9GI<-5ADdGF1e·4¸�� ¹4�c�cº[»�¹4�c�PR�D�8�8�/ 1 7@RUGI5,7CD�1�t�:�¥[R�:U\ 5�5,N GI5":>GFR�Nw\2<,DLR�:>?�?ADF<8YG>J¼?A:>12=¼8;:>?,?�GI]F:>?OD�12QCJª5AD²Gi\2GI<,5,79RU/2Q9GI<O?,/ B2?A:U5�DFE�<,:>R�:>79XF:U<�?w��5,N[:e?�/[B2?A:U5Y= :U\�:>12= 791[]wD�1½5,N[:?,:>1 =[:U<��~g

ln<,:UXL79D�/ ?Mv�DF<,SdN GF?-R�D�1 R�:>1T5A<~GI5A:>=w8�GF791 QCJ�D�1_5,N[:&x2<~?A50?,/[B2\ <,DFB2QC:>8dt 8;:>?,?,GI]F:�]F:>1[:U<�GI5,7CD�1�gMµ{:>?,?�GI]F:]F:>1[:U<�GI5,79D�1¼8�GISF:>?�7C5�\�D�?,?,79B2QC:W5ADiB2/279Q9=zG�= 7y¾�:U<,:>1c5Y8;:>?,?�GI]F:{E�DF<Y:>GFR�N½\2GF7C<YDFE�\ <,D4R�:>?,?ADF<�?;5,N2GI5O8�/ ?A5R�D�8�8�/ 1 79RUGI5A:Ft45,N[:U<�:UBcJ�]�/2GI<�GF1T5A:U:>7@1[]�GZXFD�Q9/ 8�:�38�791 798YGFQ R�D�8�8�/ 1 79RUGI5,7CD�1O\2N GF?,:���:>GFR�NW\2<,DLR�:>?�?ADF<�?,:>1 = ?DF<f<�:>R�:>7CXF:>?Z1 D{8;DF<,:Y=2GI5,GP5,N GF1i1 :U:>=[:>=��~gWk0D�v�:UXF:U<>tu5,N[:�¿c/ :>?A5,7CD�1wDFEaN[D�vp5AD{:�`�RU7C:>1T5,Q9Je?,R~N[:>= / Q9:�5,N[:8;:>?,?�GI]F:>?�N GF?À<,:>R�:>7CXF:>=�Q97C5A5,QC:�GI5A5A:>1c5,7CD�1�gnÁ"1 :�:�¥4R�:U\25,7CD�1Z7@?�GF1f791c5A:U<,:>?A5,7@1[]M\2GI\�:U<�BLJ"Â�GFQCSF:U<HGF1 =ZÁ^5A5AD;o�� ��rD�1²N[DKvÃ5ADe?,R~N[:>= / Q9:Y8;:>?,?,GI]F:>?)791�DF<�=[:U<�5AD_R�N2GF1[]F:O5,N :OGI<,<�GKJ�= 79?A5A<~7CB2/[5,7CD�1eE�<,D�8Ä���[�T���I�*�����YD�1�G_Å"3\ <,D4R�:>?,?ADF<�Q9791[:>GI<H]F<�7@=)5ADZ���[�c���I�*�,Æ4���aD�1�5,N[:M?,GF8;:M]F<~79=�g�Á"/[<�GF798ÇN :U<,:M79?u5AD&:�¥45A:>1 =�Â�GFQ9SF:U<�GF1 =OÁ"5A5AD[ÈÉ?v�DF<,S¼791½DF<�=[:U<�5AD²?,D�QCXF:j5,N[:e���L ��4¡K��­�<,:>= 79?,5A<�7CB2/[5,79D�1z\ <,DFB2QC:>8dt�5,N2GI5W7@?UtM8;DKX4791[]²E�<,D�8ÊGz�T�4�c���I�u�,���= 79?,5A<�7CB2/[5,79D�1YD�1dGYÅ"36\ <,D4R�:>?,?ADF<M]F<~79=W5ADYGY�T�4�c�����u�UË4�&= 7@?A5A<�7CB2/ 5,7CD�1YD�1{GOÌ^36\ <�DLR�:>?,?,DF<M]F<�79=�g

hMN :d]F:>1[:U<�GFQ-791 ?A5,GF1 R�:{DFE^5,N :d<,:>= 79?,5A<�7CB2/[5,79D�1�\2<,DFB2QC:>8Ä5,/[<~1 ?;D�/[5�5AD�B�:{8Z/2R�N¼8�DF<,:{R�D�8;\2Q@79RUGI5A:>=5,N GF1P5,N :&\2GI<,5,79RU/2Q9GI<MRUGF?A:ZR�D�12?,79=[:U<,:>=dBcJ�Â�GFQCSF:U<"GF1 =_Á^5A5AD[g}k0D�v�:UXF:U<Kt�v�:&\ <,D�XL7@=[:�:�`ORU7C:>1c50GFQC]FDF<�795,N 8�?GF1 =ÍN[:>/[<�7@?A5,79RU?�5AD²DF\ 5,798Y7C°U:{5,N[:j?,R~N[:>= / Q97@1[]wDFE&5,N[:jR�D�8�8�/ 1 79RUGI5,7CD�12?O7912= / R�:>=ªBLJÎ5,N[:e<,:>= 79?,5A<�7CB2/[5,79D�1DF\�:U<�GI5,7CD�1�gnÁ"/ <}8YGF791Y<�:>?,/ QC5�79?n5,N :^E�D�Q9QCD�v0791[][�um[DF<M�2 �ÏeXIGFQ9/[:>?�DFE�5,N[:"<,:>= 7@?A5A<�7CB2/ 5,7CD�1)\2GI<�GF8;:U5A:U<~?aÅ;t2Ì)t��GF1 =�Ð�tÀv�:�R�D�1 ?,5A<�/ R�5fGF1w¤�Ñ�¢�£V§i��­n?,R�N[:>=2/ QC:Ft�5,N GI5&7@?Ut�GP?,R�N :>= / QC:)v0N[D�?,:�1c/ 8ZB�:U<"DFE�R�D�8�8�/ 1 7@RUGI5,7CD�1?A5A:U\2?*79?*8�791 7@8�GFQ®g�|ÎR�D�8�8�/ 1 7@RUGI5,7CD�1Z?,5A:U\)7@?À=[:�x�1 :>=Z?AD-5,N GI5u:>GFR�N�\ <,D4R�:>?,?ADF<H?A:>12= ?~Ò�<,:>R�:>7CXF:>?*GI5H8;D�?A5*D�1[:8;:>?,?�GI]F:Ftc5,N[:U<�:UBcJ;DF\ 5,7@8�7C°>791[]"5,N[:-GF8;D�/ 1c5nDFE�B2/4¾�:U<�791[]�GF1 =O8�791 7@8�7C°>791[]^R�D�1T5A:>1c5,7CD�1OD�1YR�D�8�8�/ 1 7@RUGI5,7CD�1\�DF<,5,?Ug)hMN[:;R�D�1 ?A5A<~/ R�5,7CD�1jDFE}?,/ R�NwGF1�DF\ 5,798�GFQu?,R~N[:>= / QC:)<,:>Q@7C:>?"D�1j]F<�GI\2N4365,N :UDF<,:U5,79R)5A:>R�N21 79¿L/[:>?�?,/ R~N�GF?5,N[:&:>= ]F:fR�D�QCDF<�791 ]�1c/ 8ZB�:U<aDFE�B�7C\2GI<,5,7C5A:"]F<�GI\�N ?Ug�Âw:f= :>Q9G>JW5,N[:�\ <�:>RU79?A:Y�V8�GI5,N[:>8YGI5,79RUGFQÓ�}E�DF<�8�/ Q9GI5,7CD�1WDFED�/[<M<�:>?,/ QC5,?a/ 1c5,79QÀÔL:>R�5,79D�1PÕ�B�:>RUGF/ ?A:�v�:f1[:U:>=d?,:UXF:U<�GFQÀ=[:�x�1 7C5,7CD�1 ?�B�:UE�DF<,:>N GF1 =�g

ÂÖ7C5,N[D�/[5MQ9D�?,?aDFEu]F:>1[:U<�GFQ9795JFt v�:&E�DLRU/ ?MD�1dD�1[:�3= 7@8;:>1 ?,7CD�12GFQ�<�:>= 79?A5A<�79B2/[5,7CD�1O\ <,DFB2Q9:>8�?}791P5,N 79?aGI<�5,79RUQC:Fg|^QC5,N[D�/[]�NWv�:f/ ?,/2GFQ9QCJY=[:>GFQ�v07C5,NP8�/ QC5,79= 7@8;:>1 ?,7CD�12GFQ2GI<,<�GKJL?0791PN 7C]�N436\�:U<,E�DF<�8�GF12R�:"R�D�8�\2/[5,791[][t45,N[:f\ <,DFB[3QC:>8×<,:>= /2R�:>?-5ADW5,N[:wØÙ5A:>1 ?,DF<�\ <,D4= / R�5,Ú�DFE�5,N[:)791 = 7CX479= /2GFQ�= 798;:>1 ?�7CD�1 ?Ug^hMN 79?^79?-B�:>RUGF/2?A:;k-l�m½=[DL:>?"1[DF5GFQ9QCD�vÛ8;DF<,:�5,N GF1WD�1 :&QCDcDF\PXIGI<�79GIB�QC:^7@1�GF1d¹L����ÜcÝY= 79<,:>R�5,7CXF:Fg�hMN[:U<�:UEÓDF<,:Ft 8�/ QC5,7@= 798;:>1 ?�7CD�1 GFQ GF?,?�7C]�1 8;:>1c5,?GF1 =P<�:>= 79?A5A<�79B2/[5,7CD�1 ?�GI<,:&5A<,:>GI5A:>=_GF?0?A:UXF:U<~GFQÀ791 = :U\�:>12=[:>1T5�D�1[:�3= 7@8;:>1 ?,7CD�12GFQ�\2<,DFB2QC:>8�7912?A5,GF1 R�:>?Ug

Page 4: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

hMN :_<,:>?,5ODFEZ5,N 79?�GI<,5,79RUQC:j79?ODF<,]�GF1 7C°U:>=ÖGF?WE�D�Q9QCDKv-?UgÞ³Ù1ÛÔL:>R�5,7CD�1ß�iv�:j\ <,D�XL7@=[:_?AD�8�:e:�¥[GF8;\2Q9:>?ODFE<,:>= 7@?A5A<�7CB2/ 5,7CD�1YDF\�:U<�GI5,79D�1 ?a5AD�:�¥4\�D�?A:&5,N[:&= 7C`ORU/ QC5,7C:>?}791{?,R�N[:>=2/ Q9791[]�5,N[:fR�D�8Y8Z/ 1279RUGI5,7CD�1 ?UgH³Ù1_ÔL:>R�5,79D�1 qv�:�B <�7C:�à�Je?,/ <,XF:UJ_5,N :OQ97C5A:U<~GI5,/[<,:;D�1�5,N :�<,:>= 79?,5A<�7CB2/[5,79D�1{\ <�DFB2QC:>8Pt�v07C5,Nj\2GI<,5,7@RU/ Q9GI<&:>8;\�N GF?,79?"]�7CXF:>1i5AD5,N[:&Â�GFQ9SF:U<"GF12=_Á^5A5AD�\2GI\�:U<Zo�� ��r g}³´1eÔL:>R�5,7CD�1dÕOv�:Z\ <,:>?A:>1c5MD�/[<^8�GF791P<�:>?,/ QC5,?Ug�³´1jÔL:>R�5,7CD�1e�;v�:f<,:U\�DF<,5D�1P?AD�8;:&µel�³�:�¥L\�:U<�7@8;:>1T5,?}5,N2GI5M=[:>8;D�1 ?A5A<~GI5A:�5,N[:�/ ?A:UEV/ Q91[:>?,?�DFE*D�/[<a<,:>?,/ Q95,?UgHm*7@1 GFQ9QCJFt4791dÔL:>R�5,7CD�1 ¶ t[v�:?A5,GI5A:�?AD�8;:fR�D�1 RUQ@/ ?,7CD�1 ?}GF1 =dE�/[5,/ <,:"v�DF<,SP= 79<,:>R�5,7CD�1 ?Ug

á â $a!�+Aãaä�!�+~�)åçæièZäMéçê;ë,ì�í

î D�1 ?�79=[:U<�GF1�GI<,<~G>J;ï�o �4ðCðCðÉñóò_��r DFE�?,7C°U: ñ 5,N GI5n79?H=279?A5A<�7CB�/[5A:>=)GFRUR�DF<�= 791[]�5AD�G"B2QCD4R,S)R�JLRUQ@79RM= 79?,5A<�7CB2/[5,79D�1�T�4�c���I�u�,����D�1c5ADOG�Q97@1[:>GI<a]F<�79=PDFEHÅô\2<,DLR�:>?�?ADF<�?f�V1L/ 8ZB�:U<�:>=PEÓ<�D�8öõP÷ � 5AD&õW÷ÛÅ ò¼� �~gMÁ"/[<a]FD�GFQÀ7@?a5AD<,:>= 7@?A5A<�7CB2/ 5A:nïb/ ?,7@1[]^G��T�4�c�����u�UË4�}= 79?A5A<~7CB2/[5,7CD�1&D�1;ÌÖ\ <,D4R�:>?,?ADF<�?a�V1L/ 8fB�:U<,:>=�E�<,D�8ôø�÷ � 5ADfø"÷¯Ì òW� �~g

m[DF<}?,798�\2Q979RU7C5sJFtFGF?,?,/ 8;:05,N GI5�5,N[:0?�7C°U: ñ DFE�ï×79?�Gf8Z/ Q95,7C\2QC:}DFE�ù²÷Öú®û�ü��VÅ&��ý~Ì&ÐI�~tc5,N :0QC:>GF?A5nR�D�8Y8;D�18�/ QC5,7C\2Q9:�DFE�Å&�wGF12=½Ì&ÐT�{5,N 7@?�79?;B�:>RUGF/ ?A:{5,N[:{<,:>=279?A5A<�7CB�/[5,7CD�1�\2GI5A5A:U<�1Î<�:U\�:>GI5,?�GIE�5A:U<Y:>GFR�NÖ?,Q@79R�:PDFE�ù:>QC:>8;:>1c5,?Ug�hMN[:U<�:UEÓDF<,:Ft�GF?,?�/ 8�791[]zGF1ß:UXF:>1Þ1c/ 8ZB�:U<WDFE�?,Q@79R�:>?P791ßï v-79Q9Q-:>1 GIB2QC:w/ ?���v0795,N[D�/[5dQCD�?,?WDFE]F:>1[:U<�GFQ@7C5J ��5ADYGKXFD�79={= 7@?,RU/ ?,?,7@1[]�?�79=[:":�¾�:>R�5,?>g�þ�:U5-ü±÷ ñ ÿ ùÎB�:�5,N[:f1L/ 8ZB�:U<aDFEu?,Q97@R�:>?Ug

��� �2§iÑu­����î D�1 ?�79=[:U<"GYx�<�?A50:�¥[GF8;\2Q9:�v-7C5,N_Å ÷pÌp÷ �>¶ \2<,DLR�:>?�?ADF<�?Ut��Y÷ q t�GF1 =wÐ)÷ô�Lg��-DF5A:;5,N GI5"5,N[:;1[:Uvö]F<�79=DFE-̱\ <,D4R�:>?,?ADF<�?ZRUGF1iB�:�79=[:>1c5,79RUGFQ�5AD[tuDF<)= 79?�AD�791c5�DFEstu5,N[:ODF<�7C]�791 GFQn]F<�79=wDFEMÅ \ <,D4R�:>?,?ADF<~?UgdhMN[:�GFR�5,/ GFQ5ADF5,GFQ�1L/ 8fB�:U<�DFE�\ <,D4R�:>?,?ADF<~?�791�/ ?A:"79?�GF1W/ 1[S41[DKv01YX�GFQ@/[:-B�:U5sv�:U:>1 �>¶ GF1 = q �Lgn|^Q9Q2R�D�8�8�/ 1 7@RUGI5,7CD�1 ?}GI<,:?,/ 8Y8�GI<�7C°U:>=d7@1dh�GIB�QC: � t2v-N 79R�Ndv�:Z<,:UEÓ:U<-5ADOGF?-G� ������������ ��������������� Ig!�-DF5A:f5,N GI5-v�:ZXL79:UvÛ5,N[:Z?,D�/[<�R�:GF1 ={5,GI<,]F:U5-\2<,DLR�:>?�?ADF<-]F<~79= ?MGF?^= 79?�AD�791c5M791{h*GIB2QC: � ��:UXF:>1j7CEH7C508�GKJ{1[DF5^GFR�5,/ GFQ9QCJWB�:&5,N[:�RUGF?A:��~gMÂw:)?A:U:5,N GI5�:>GFR�Nª?AD�/ <�R�:O\2<,DLR�:>?�?ADF<^õ#"#$ ÷&% � ý � ý ðUðUð ý,Å òÛ�(' ?A:>1 =2?�){8;:>?,?,GI]F:>?;GF12=i5,N GI5�:>GFR�Nz\2<,DLR�:>?�?ADF<ø*",+ö÷-% � ý � ý ðUðUð ý~Ì òÖ�(' <,:>R�:>7CXF:>?.)O8;:>?�?,GI]F:>?Ut�5ADLD[gfk-:>1 R�:;5,N[:U<,:;79?"1[DW1[:U:>=j5ADd/ ?A:)G�E�/2Q9Q�GFQ@Qy365ADI3GFQ9QR�D�8�8�/ 1 79RUGI5,79D�1ª?,R�N[:>8�:P5,N GI5;v�D�/2Q9=z<,:>¿L/ 7C<,: �>¶ ?A5A:U\2?Ut�v07C5,NzGj5ADF5,GFQaDFE �>¶ 8;:>?,?,GI]F:>?Y5ADwB�:W?,:>1T5;\�:U<\ <,D4R�:>?,?ADF<d��DF<;8;DF<,:W\ <�:>RU79?A:>QCJFt � �e8;:>?,?,GI]F:>?YGF1 =�GjQCD4RUGFQ�R�DF\cJ �~gi.0GI5,N :U<>t�v�:�?,N D�/ Q9=�5A<,J�5ADw?,R�N :>= / QC:5,N[:YR�D�8Y8Z/ 1279RUGI5,7CD�1i8�DF<,:Y:�`ORU79:>1T5,QCJFg�³Ù=[:>GFQ9QCJFt�v�:�R�D�/ Q9=�5,N2791[S{DFEaDF<�]�GF1 7C°>791[]P5,N :Y<,:>= 7@?A5A<�7CB2/ 5,7CD�1j791/)?A5A:U\2?>taDF<�R�D�8�8�/ 1 7@RUGI5,7CD�1¼\�N GF?A:>?UgÛ|}5�:>GFR�NÖ?A5A:U\�t �>¶ 8;:>?,?�GI]F:>?Ov�D�/ Q9=¼B�:d:�¥4R~N GF1[]F:>=�t^791cXFD�QCXL7@1[] �>¶= 79?��ÙD�791c5�\2GF7C<~?&DFEa\ <,D4R�:>?,?ADF<~?UgPhMN 79?�v�D�/ Q9=iB�:�\�:U<,EÓ:>R�5ZEÓDF<ZD�1[:�36\�DF<,5ZR�D�8Y8Z/ 1279RUGI5,7CD�1i8YGFR�N 791 :>?Ut�v-N[:U<,::>GFR�N_\ <,D4R�:>?,?ADF<-RUGF1d?A:>1 =dGF12=�Ò�DF<M<,:>R�:>7CXF:ZGI508;D�?A5MD�1 :f8;:>?,?,GI]F:ZGI50G;5,798;:Fg�-DF5A:f5,N GI50v�:f8YG>JPGF?ASW?AD�8;:U5,N 791 ]�8;DF<,:F��v�:fRUGF1d5A<�JO5AD�DF<�]�GF1 7C°U:&5,N[:Z?A5A:U\2?M791P?�/ R�NdG�v�GKJ�5,N2GI50GI5:>GFR�NW?A5A:U\Àtc5,N[:10&791cXFD�QCXF:>=Y\2GF7C<�?HDFE�\2<,DLR�:>?�?ADF<�?�:�¥4R~N GF1[]F:"Gf8;:>?,?�GI]F:-DFE�5,N[:^?,GF8;:^QC:>1[]F5,N�gHhMN 7@?�GI\ \ <,D�GFR~N79?�DFE�791c5A:U<,:>?A5�B�:>RUGF/ ?A:^5,N[:�R�D�?A5}DFE�G�?A5A:U\d79?�Q97CSF:>QCJ;5AD)B�:"= 79R�5,GI5A:>=�BcJY5,N[:�QC:>1[]F5,NODFEÀ5,N[:"QCD�1[]F:>?A5a8;:>?�?,GI]F::�¥[R�N GF1[]F:>=¼= /[<�791 ]d5,N[:P?A5A:U\�g��-DF5A:P5,N GI5;8;:>?,?�GI]F:dQC:>1[]F5,N ?)8�GKJiDF<;8�G>Jz1[DF5)XIGI<,Ji?,7C]�127yx�RUGF1c5,QCJFgwhMN[:1L/ 8fB�:U<�?n791Yh*GIB2QC: � X�GI<�J;EÓ<,D�8 � 5AD q tcB�/[5�5,N[:UJ�GI<,:-EÓDF<}Gf?�791[]�QC:M?,Q@79R�:MXF:>R�5ADF<>gnm DF<}GfXF:>R�5ADF<aï�DFE�QC:>1[]F5,Nñ ÷���Õ �F�F�F� tn?,GKJFt�üÊ÷ �U�F�F� GF1 =i8�:>?,?,GI]F:WQC:>1[]F5,N ?fX�GI<,JwE�<,D�8 �U�F�F� 5AD qI�F�F� ��5,7@8;:>?f5,N :Y1c/28fB�:U<fDFEBLJc5A:>?-1[:U:>=[:>=P5AD�<�:U\ <,:>?A:>1c5aD�1[:f= GI5,G�365sJc\�:Z:>QC:>8;:>1c5~�~g

|×?,R�N :>= / QC:P5,N GI5�8�:U:U5,?YGFQ9Q}5,N[:>?,:d<,:>¿L/ 7C<,:>8;:>1c5,?Ut�1 GF8;:>QCJFt!)j?A5A:U\2?;DFE �>¶ = 7@?�ÙD�7@1T5)\ <,D4R�:>?,?ADF<;\�GF7C<�?:�¥[R�N GF1[]�7@1[]Y8;:>?,?�GI]F:>?0DFEu5,N[:&?,GF8�:fQC:>1[]F5,N�t2v079Q9Q�B�:�\ <,D�XL79= :>=P791_ÔL:>R�5,7CD�1dÕ[g q g �Lg�Âw:f<,:U\�DF<,5a5,N[:f?AD�Q@/[5,7CD�1?,R~N[:>= / QC:Z791{h*GIB2QC:Z�Lg32n1c5A<,Jd791d\�D�?,795,7CD�1i� õÀý�øF�a7@1d5,N 79?05,GIB2QC:�=[:>1[DF5A:>?-5,N[:Z?A5A:U\ª�V1L/ 8fB�:U<,:>={EÓ<�D�854�5AD76E�DF<0RUQ9GI<�7C5sJ[�aGI5Mv0N 79R~NW\ <,D4R�:>?,?ADF<Hõe?A:>1 = ?a7C5,?08;:>?,?,GI]F:Z5AD�\ <,D4R�:>?,?ADF<-øcg

³Ù1zh�GIB2Q9: q t�v�:PR�D�8;\2/ 5A:�5,N :�R�D�?A5;DFE-:>GFR�NªR�D�8�8�/ 1 7@RUGI5,7CD�1ª?A5A:U\ªGF?d��B�:>791[]e\ <,DF\�DF<,5,7CD�1 GFQn5ADc�Z5,N[:QC:>1[]F5,NWDFE*5,N[:&QCD�1 ]F:>?A5M8;:>?,?,GI]F:Z791TXFD�Q9XF:>=P791�5,N 79?a?A5A:U\�g�h0N[:�5ADF5,GFQ�R�D�?A5MDFE*5,N[:�<,:>=279?A5A<�7CB�/[5,7CD�1Y7@?�5,N :>1P5,N[:?,/ 8 DFEa5,N[:OR�D�?,5fDFEMGFQ9Qn5,N[:O?A5A:U\�?UgPÂw:YEV/[<,5,N[:U<Z:>Q9GIB�DF<�GI5A:YD�1²N[D�vp5ADj8;DL= :>Q�R�D�8�8�/ 1 79RUGI5,7CD�1²R�D�?A5,?�791ÔL:>R�5,7CD�1dÕ[g q g � g

q

Page 5: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

h*GIB2QC: � � î D�8�8�/ 1 79RUGI5,7CD�1�]F<�7@=YE�DF<aÅÞ÷ÛÌ�÷ �>¶ t �"÷ q t GF1 =PÐ^÷ß�Lg�µ_:>?,?,GI]F:&Q9:>1[]F5,N ?}GI<,:�791 = 7@RUGI5A:>=YE�DF<G;XF:>R�5ADF<"ï DFEH?,7C°U:&ùz÷ß��Õ � g

î D�8Y8Z/ 1279RUGI5,7CD�1W]F<�79=WE�DF<38:95;&9:�=<�t?>�9A@�tCBD95E�t�GF1 =GFH9JILKNMÔ4:>1 =[:U<�Ò�.0:>R�X�g � � � q Õ � ¶ ) 0 O �U� �F� � � �>q � Õ � � �-B <MDFEu8�?A][g

� q 3 3 q 3 3 q 3 3 � � 3 � � 3 3 )� � � 3 � � 3 3 q 3 3 q 3 3 q 3 3 )� 3 q 3 3 q 3 3 � � 3 � � 3 3 q 3 )q 3 � � 3 3 q 3 3 q 3 3 q 3 3 � � )Õ 3 3 q 3 3 � � 3 � � 3 3 q 3 3 q )� � 3 3 q 3 3 q 3 3 q 3 3 � � 3 � )¶ q 3 3 � � 3 � � 3 3 q 3 3 q 3 3 )) 3 q 3 3 q 3 3 q 3 3 � � 3 � � 3 )0 3 � � 3 � � 3 3 q 3 3 q 3 3 q 3 )O 3 3 q 3 3 q 3 3 � � 3 � � 3 3 q )�U� � 3 � � 3 3 q 3 3 q 3 3 q 3 3 � )�F� q 3 3 q 3 3 � � 3 � � 3 3 q 3 3 )� � � � 3 3 q 3 3 q 3 3 q 3 3 � � 3 )�>q 3 q 3 3 � � 3 � � 3 3 q 3 3 q 3 )� Õ 3 3 q 3 3 q 3 3 q 3 3 � � 3 � � )� � 3 3 � � 3 � � 3 3 q 3 3 q 3 3 q )�0B2<MDFEH8�?A][g ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )

��� �2§iÑu­���IhMN[:O?A:>R�D�1 =�:�¥4GF8;\�QC:Ft�v-7C5,N�Å×÷±Ì ÷ �>¶ tH�{÷P)ctHGF1 =²Ð�÷ �F� t�?,N[DKv-?&5,N[:�/ ?A:UEV/ Q91[:>?,?"DFEMGF1i:�`ORU7C:>1c5?,R~N[:>= / QC:P:UXF:>1¼v0N[:>1z:>GFR~NÎ\ <,D4R�:>?,?ADF<OR�D�8�8Z/21 79RUGI5A:>?�v-7C5,Nz:UXF:U<,JzDF5,N[:U<Y\2<,DLR�:>?�?ADF<>gÎ|^?�79Q9Q9/2?A5A<�GI5A:>=z791h*GIB2QC:dÕ[ta8;:>?,?�GI]F:_QC:>1[]F5,N2?�XIGI<,Jzv07C5,NªG�<~GI5,7CD�E�<,D�8Ê�j5ADQ)ctaGF1 =Îv�:{1[:U:>=¼5ADiDF<,]�GF1 79°U:d5,N[:_GFQ@Qy365ADI3GFQ9Q:�¥[R�N GF1[]F:W?A5A:U\2?�791�?,/ R�N²Gdv}G>Ji5,N GI5Z8;:>?�?,GI]F:>?�DFEa5,N[:�?�GF8;:OQC:>1 ]F5,NiGI<,:WR�D�8�8�/ 1 79RUGI5A:>=²GI5f:>GFR~Nª?A5A:U\�g|-]�GF791�tHv�:�GI<,:PGIB2Q9:Y5ADwGFR�N 79:UXF:W?�/ R�NzGe]FD�GFQ��V?A:U:{ÔL:>R�5,7CD�1²Õ[g q g ���~gihMN[:�?AD�Q9/[5,79D�1�?,R~N[:>= / Q9:O79?Z]�7CXF:>1z791h*GIB2QC:Y����v0N :U<,:�?A5A:U\2?ZGI<,:�1c/28fB�:U<,:>=wE�<,D�8:4{5AD;õ��~t*GF1 =�7C5,?fR�D�?A5f79?�]�79XF:>1�791�h*GIB2QC: ¶ g_��Âw:�=[DdR�N :>R,S5,N GI5M:>GFR~N{DFE*5,N[: �>¶ ?A5A:U\2?M79?0R�D�8;\�D�?A:>=PDFEu8;:>?,?,GI]F:>?-DFE�5,N :f?,GF8;:&QC:>1 ]F5,N�g �

��� �2§iÑu­���@Á"/[<"5,N 79<�=j8;DF5,7CXIGI5,791[]W:�¥4GF8�\2QC:�79?^v07C5,NwÅ�÷ Ì ÷ � �Lt���÷ q tÀGF12=�Ð�÷p�Lg)|-?f?,N[DKv-1w791jh�GIB2Q9:R)ct�5,N[:R�D�8�8�/ 1 79RUGI5,79D�1e?�R�N[:>8;:;79?^?A:UXF:U<,:>Q9J{/ 1cB2GFQ9GF1 R�:>=�t�791_5,N GI5"\ <,D4R�:>?,?ADF<�?"8�GKJ{N GKXF:�GO= 7C¾�:U<,:>1c5"1c/ 8ZB�:U<-DFE8;:>?,?�GI]F:>?"5ADW?,:>1 =_GF12=�Ò�DF<"5AD�<�:>R�:>7CXF:FgZÁ"/[<^5A:>R�N 1279¿c/ :�79?^GIB2QC:�5ADPN GF1 = Q9:f?,/ R~NeR�D�8�\2Q979RUGI5A:>=j?,7C5,/2GI5,7CD�1 ?UgÂw:M\ <�DKX479=[:}791YÔL:>R�5,7CD�1)Õ[g�ÕfG�?�R�N[:>= /2QC:aR�D�8;\�D�?A:>=)DFE �U� ?,5A:U\2?Ugu³s5H79?H1 D&QCD�1[]F:U<H\�D�?,?,7CB�QC:n5AD&N GKXF:08;:>?,?�GI]F:>?DFE�5,N[:M?,GF8;:-QC:>1[]F5,N�GI5�:>GFR�NY?,5A:U\e��E�DF<�791 ?,5,GF1 R�:Ft�\ <,D4R�:>?,?ADF<�õW÷ � N GF?n8;:>?,?,GI]F:>?�D�1 QCJ�DFE�Q9:>1[]F5,N q 5ADf?,:>1 =�tv0N 7@QC:Z\2<,DLR�:>?�?ADF<Mõ�÷ � N GF?&8�:>?,?,GI]F:>?ZD�1 QCJ{DFEaQC:>1 ]F5,N � DF<Z���~t*B2/[5�v�:Y=[DdGFR~N 7C:UXF:OGW<�:>= 79?A5A<�79B2/[5,7CD�1e791�U� R�D�8�8�/ 1 79RUGI5,7CD�1e?A5A:U\2?>t�v-N[:U<,:�:>GFR�Nj\ <,D4R�:>?,?ADF<"?A:>1 =2?~Ò�<,:>R�:>7CXF:>?�GI5"8;D�?A5"D�1[:)8;:>?,?,GI]F:)\�:U<"?A5A:U\�g"hMN[:1L/ 8fB�:U<-DFEnR�D�8�8�/ 1 79RUGI5,7CD�1e?A5A:U\2?^791eh�GIB�QC:�0O79?0RUQ9:>GI<�QCJPDF\ 5,798YGFQ®t�GF?^\ <,D4R�:>?,?ADF<�õe÷ � N2GF? �U� 8;:>?,?�GI]F:>?5ADY?A:>12=�g�hMN[:&R�D�?A50DFE*5,N :&?,R�N[:>=2/ QC:&79?}]�7CXF:>1_791Ph*GIB2QC:SOLg

Õ

Page 6: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

h*GIB2QC:f�L� î D�8�8�/ 1 79RUGI5,7CD�1P?,5A:U\2?aE�DF<0Å�÷ÛÌÞ÷ �>¶ t2�&÷ q t2GF12={Ð^÷Û�Lg

î D�8�8�/ 1 7@RUGI5,7CD�1P?A5A:U\2?0EÓDF<38:9A;&9T�=<�t?>�9A@�t�GF1 =�B*95EÔ4:>1 =[:U<�Ò�.0:>R�X�g � � � q Õ � ¶ ) 0 O �U� �F� � � �>q � Õ � �

� B 3 3 G 3 3 R 3 3 : ] 3 E = 3 3� = E 3 ] : 3 3 R 3 3 B 3 3 G 3 3� 3 B 3 3 R 3 3 : ] 3 E = 3 3 G 3q 3 ] : 3 3 G 3 3 B 3 3 R 3 3 = EÕ 3 3 R 3 3 : ] 3 E = 3 3 B 3 3 G� : 3 3 R 3 3 G 3 3 B 3 3 = E 3 ]¶ R 3 3 : ] 3 E = 3 3 G 3 3 B 3 3) 3 R 3 3 B 3 3 G 3 3 = E 3 ] : 30 3 : ] 3 E = 3 3 R 3 3 G 3 3 B 3O 3 3 G 3 3 B 3 3 = E 3 ] : 3 3 R�U� ] 3 E = 3 3 B 3 3 R 3 3 G 3 3 :�F� G 3 3 B 3 3 = E 3 ] : 3 3 R 3 3� � E = 3 3 G 3 3 B 3 3 R 3 3 : ] 3�>q 3 G 3 3 = E 3 ] : 3 3 B 3 3 R 3� Õ 3 3 B 3 3 R 3 3 G 3 3 : ] 3 E =� � 3 3 = E 3 ] : 3 3 G 3 3 R 3 3 B

h�GIB�QC: q � î D�8�8�/ 1 7@RUGI5,7CD�1dR�D�?A5,?0EÓDF<0Å�÷Û̯÷ �>¶ t��"÷ q t2GF1 ={Ð"÷ß�Lg

î D�8�8�/ 1 79RUGI5,7CD�1PR�D�?,5,?ME�DF<38T9A;J9:�U<�t?>�9V@�t2GF1 =GBD95EW ¢K�LÑ � X © ¬ � Y � Z�¤2¢K��­¦ ¤��U¢ q q q � � � � �UE

��� �2§iÑu­��GKÁ"/[<�x�12GFQ2:�¥[GF8;\2QC:�79?�v0795,N�ÅP[÷ÛÌ)t(�,/ ?A5�5AD�?,N[D�vß5,N GI5}5,N[:&?,7C°U:^DFE�5,N :^5sv�D;\2<,DLR�:>?�?ADF<a]F<�79= ?}1[:U:>=W1[DF5aB�:5,N[:�?,GF8�:Fg�Ô4:U:�h�GIB2Q9: �U� EÓDF<�5,N[:�R�D�8Y8Z/ 1279RUGI5,7CD�1w]F<�7@=�t�v0N 79R~Nw79?�/ 1cB2GFQ9GF1 R�:>=�g�hMN[:;?AD�Q9/ 5,7CD�1w?,R�N :>= / QC:�V?A:U:^Ô4:>R�5,7CD�1)Õ[g�Õc�u79?HR�D�8;\�D�?A:>=)DFE�Õ&R�D�8�8�/ 1 79RUGI5,79D�1�?A5A:U\2?Ut�GF12=;5,N 79?u1L/ 8fB�:U<�79?*DF\ 5,7@8�GFQ®t�?,7912R�:�\2<,DLR�:>?�?ADF<ø�÷ � N2GF?�ÕZ8�:>?,?,GI]F:>?�5ADf<,:>R�:>79XF:Fg\�0DF5A:^5,N GI5n5,N :05ADF5,GFQ�R�D�?A5�7@?H:>¿c/2GFQ 5ADf5,N :-?,/ 8pDFE�5,N[:-8;:>?�?,GI]F:^Q9:>1[]F5,N ?5,N GI5M\2<,DLR�:>?�?ADF<-ø�÷ � 8�/ ?A5a<,:>R�:>79XF:�]�N[:>1 R�:Ft 795a5ADcDY7@?aDF\ 5,798�GFQ6g

^ __+Ù!�ìn#�ä�!�')#�ì±$�ã-ìn#�ãZ+,ìa`Âw:�B <~7C:�à2Jd?,/[<�XF:UJ{5,N[:�Q9795A:U<�GI5,/[<,:�D�1j5,N[:;<,:>= 7@?A5A<�7CB2/ 5,7CD�1P\ <,DFB�QC:>8Pt�v07C5,Ne\2GI<,5,7@RU/ Q9GI<":>8;\2N GF?�79?^]�7CXF:>1j5AD5,N[:&v�DF<,S�DFEuÂ�GFQCSF:U<-GF1 =eÁ^5A5AD_o�� ��r g

Page 7: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

h*GIB2QC:�Õ[� î D�8�8�/ 1 79RUGI5,79D�1d]F<�79=_E�DF<"Åp÷ôÌÃ÷ �>¶ t��)÷b)ct�GF1 =jÐZ÷ �F� g�µ_:>?,?,GI]F:�QC:>1 ]F5,N ?-GI<�:�7912= 79RUGI5A:>=E�DF<0G;XF:>R�5ADF<"ï DFEu?,7C°U:&ùª÷ � � q �Lg8:95;&9:�=<�t?>�9Jc�tCBD9:�?�2t2GF1 =GFd9:�UI?@NIÔL:>1 = :U<�Ò�.M:>R�X�g � � � q Õ � ¶ ) 0 O �U� �F� � � �>q � Õ � � �0B2<MDFE*8Y?A][g

� ) ¶ � ¶ ) � � ) q Õ ) Õ q ) � � �>¶� Õ q ) � � ) ¶ � ¶ ) � � ) q Õ ) �>¶� � ) q Õ ) Õ q ) � � ) ¶ � ¶ ) � �>¶q ¶ � ¶ ) � � ) q Õ ) Õ q ) � � ) �>¶Õ q ) � � ) ¶ � ¶ ) � � ) q Õ ) Õ �>¶� ) q Õ ) Õ q ) � � ) ¶ � ¶ ) � � �>¶¶ � ¶ ) � � ) q Õ ) Õ q ) � � ) ¶ �>¶) ) � � ) ¶ � ¶ ) � � ) q Õ ) Õ q �>¶0 q Õ ) Õ q ) � � ) ¶ � ¶ ) � � ) �>¶O ¶ ) � � ) q Õ ) Õ q ) � � ) ¶ � �>¶�U� � � ) ¶ � ¶ ) � � ) q Õ ) Õ q ) �>¶�F� Õ ) Õ q ) � � ) ¶ � ¶ ) � � ) q �>¶� � ) � � ) q Õ ) Õ q ) � � ) ¶ � ¶ �>¶�>q � ) ¶ � ¶ ) � � ) q Õ ) Õ q ) � �>¶� Õ ) Õ q ) � � ) ¶ � ¶ ) � � ) q Õ �>¶� � � � ) q Õ ) Õ q ) � � ) ¶ � ¶ ) �>¶�-B <aDFEH8�?A][g �>¶ �>¶ �>¶ �>¶ �>¶ �>¶ �>¶ �>¶ �>¶ �>¶ �>¶ �>¶ �>¶ �>¶ �>¶ �>¶

egfih jlk?mnm(oqprk#stk?u\k�vwoNx�yiz{uÔL:UXF:U<�GFQL\2GI\�:U<�?�N G>XF:a=[:>GFQ95�v0795,Nf5,N[:�\ <,DFB�QC:>8ÛDFE :�`�RU7C:>1T5uR�D4=[:�]F:>1 :U<�GI5,7CD�1�EÓDF<HGF1)k^lnm{GI<�<�G>JfGF?�?,7C]�1 8;:>1c5?A5,GI5A:>8;:>1c5-Q@7CSF: |

o ú Ø �w} Ø �cÐ Ø r ÷�~Po ú à ��} à �cÐ à r ýv0N[:U<�:�B�DF5,N�GI<,<�G>J4?

|GF1 =�~¯GI<�:}=279?A5A<�7CB�/[5A:>=&791�G0B�QCDLR�ST3R�J4RUQ979R�EVGF?,N 7CD�1ZD�1)G-Q97@1[:>GI<�\2<,DLR�:>?�?ADF<u]F<�79=�gHÔLD�8;:

<,:>?A:>GI<~R�N[:U<�?��V?A:U:WÔ45,79R�N 1 DF5,N�:U5fGFQ®g@o � ) r t�XIGF1i.0:U:>/Tv07 �ÙSe:U5ZGFQ®g@o � O r t*GF1 =�Â�GIS�GI5,GF1 7�GF1 =wÂwD�Q9EÓ:jo�� �Ir ��N GKXF:=[:>GFQC5f\ <�791 RU79\2GFQ9QCJdv-7C5,N�GI<,<�GKJL?�= 79?,5A<�7CB2/[5A:>=eBLJ�/ ?,791 ]P:>7C5,N[:U<ZG{\2/[<,:>Q9J_?,RUGI5A5A:U<,:>=²DF<�R�JLRUQ97@RY= 79?,5A<�7CB2/[5,79D�1�®�T�4�c���I�u���T��791�k-l�mH�nDF<MG�EV/ Q9Q�B2QCD4R,SY= 7@?A5A<�7CB2/ 5,7CD�1{�®�T�4�c���I�u�=����N���~t[v0N[:U<,:1�_7@?�5,N :"GI<�<�G>JW?,7C°U:"GF1 =Zõd5,N[:1L/ 8fB�:U<aDFEu\ <,D4R�:>?,?ADF<~?~�~g

.0:>R�:>1T5,QCJFt�N[D�v�:UXF:U<Kt&?A:UXF:U<�GFQ�GFQC]FDF<�795,N 8�?PN GKXF:wB�:U:>1Ö\�/[B2Q979?�N[:>=ª5,N GI5dN GF12= QC:e]F:>1[:U<�GFQ"B2QCD4R,Sc3R�J4RUQ979R�T�4�c���I�u�����f= 7@?A5A<�7CB2/ 5,7CD�1 ?UgnÔLDF\2N279?A5,79RUGI5A:>=P5A:>R~N 1 79¿L/[:>?-791TXFD�Q9XF:�x�1 7C5A:�3?,5,GI5A:Z8�GFR~N 791[:>?��V?A:U: î N2GI5A5A:U<��Ù:U:Z:U5GFQ®g�o q�r �~tL?,:U5Ù365,N[:UDF<,:U5,79R"8;:U5,N[D4= ?"�V?A:U:��"/[\ 5,Gf:U5�GFQ®g�o�0 r �~t��^79DF\2N GF1c5,791[:0:>¿L/ GI5,7CD�12?-�V?A:U:���:>1 1 :>=[J):U5�GFQ®g�o �F� t� � r �~t4k0:U<~8�7C5A:ME�DF<�8�?�GF12=�Q9GI5A5,79R�:>?"�V?A:U:-h0N 7C<�/ 8YGFQ9GF7cGF12=Y.0GF8YGF1c/(�,GF8 o � 0 r �~tcDF<�Q9791[:>GI<H\ <�DF]F<�GF8�8�791 ]Y�V?A:U:|^1 R�D�/[<,5Z:U5ZGFQ®g}o ��r �~gd|�R�D�8;\2GI<�GI5,7CXF:W?,/[<�XF:UJeDFEa5,N :>?A:OGFQC]FDF<~7C5,N 8�?ZRUGF1iB�:�E�D�/ 1 =�7@1�Â�GF1[]_:U5�GFQ®g�o��F� r tv0N[:U<�:d7C5�79?)<,:U\�DF<,5A:>=ª5,N2GI5�5,N[:{8;D�?,5;\�D�v�:U<�E�/ QaGFQ9]FDF<�7C5,N 8�?YRUGF1ÎN GF1 = Q9:�B�QCDLR�ST3R�J4RUQ979RP=279?A5A<�7CB�/[5,7CD�1 ?�GF?:�`ORU7C:>1c5,QCJWGF?M5,N[:&?�798;\2QC:U<aRUGF?A:ZDFE�\�/[<,:�R�JLRUQ@79R"DF<0EV/ Q9Qy36B�QCDLR�SY8�GI\ \�791[][g

|}5�5,N[:{:>12=¼DFE�5,N[:j8;:>?,?�GI]F:_]F:>1[:U<~GI5,7CD�1¼\�N GF?A:Fta:>GFR�NÍ\ <�DLR�:>?,?,DF<�N GF?�R�D�8;\2/ 5A:>=½?A:UXF:U<~GFQ-= 7C¾�:U<,:>1c58;:>?,?�GI]F:>?��V/ ?�/ GFQ9QCJ�?A5ADF<,:>=d791d5A:>8;\�DF<�GI<,J�B2/4¾�:U<�?~�~gnhMN :>?A:&8;:>?,?,GI]F:>?^8�/ ?A5MB�:&?A:>1c5M5ADOGY?A:U5MDFEu<,:>R�:>7CX4791[]\ <,D4R�:>?,?ADF<~?Ut�GF?�5,N[:O:�¥[GF8;\2Q9:>?ZDFE"ÔL:>R�5,7CD�1ª�{7@Q9Q9/ ?A5A<~GI5A:FgjÔLJ48�8;:U5A<�7@RUGFQ9QCJFtu:>GFR�Nz\ <�DLR�:>?,?,DF<)R�D�8�\2/[5A:>?�5,N[:1L/ 8fB�:U<^GF1 =_Q9:>1[]F5,NeDFEH5,N[:�8�:>?,?,GI]F:>?�7C5^N GF?^5ADO<,:>R�:>79XF:)GF12={5,N[:U<�:UEÓDF<,:)RUGF1jGFQ9QCD4RUGI5A:Z5,N :�R�DF<,<�:>?A\�D�1 = 791[]8;:>8;DF<�J�?A\2GFR�:Fgdh�D_?,/ 8Y8�GI<�7C°U:Ft�v0N[:>1�5,N :O8;:>?,?�GI]F:O]F:>1[:U<~GI5,7CD�1i\�N GF?A:Y79?ZR�D�8;\2QC:U5A:>=�t�:>GFR~N�\2<,DLR�:>?�?ADF<

Page 8: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

h�GIB�QC:f�L� î D�8�8�/ 1 7@RUGI5,7CD�1P?A5A:U\2?0EÓDF<0Å�÷Û̯÷ �>¶ t���÷�)ct2GF1 ={Ð"÷ �F� g

î D�8�8�/ 1 79RUGI5,79D�1P?A5A:U\2?aE�DF<�8:9A;&9T�=<�t?>�9Jc�t2GF12=�B*9:�N�ÔL:>12=[:U<�Ò�.M:>R�X�g � � � q Õ � ¶ ) 0 O �U� �F� � � �>q � Õ � �

� R E 1 ] = \ 7 : 8 S G � Q B N D� S 8 = N D R E 1 ] : \ 7 B Q � G� N B Q S G � 8 = 7 1 : E D ] R \q E 1 ] : \ 7 = Q � R S 8 G N D BÕ Q : 7 1 R E D ] = \ N G 8 S B �� B Q � R S 8 : 7 1 = E D ] G \ N¶ D ] R \ 7 = Q S B � 8 : N 1 G E) G 7 \ = E 1 ] B D N R Q � : S 80 8 S B � Q G N \ : E 1 ] = D 7 RO ] G D 7 : Q � R S 8 B N \ = E 1�U� 7 \ : E 1 ] G D N B Q S R � 8 =�F� � = S 8 B N \ G E D ] R 1 7 : Q� � = D N B 8 S R � Q G 7 \ : E 1 ]�>q \ R E D ] : 1 N G Q � B S 8 = 7� Õ : � 8 G N D B E \ ] = 1 7 R Q S� � 1 N G Q � B S 8 R 7 D = E \ ] :

h*GIB2QC: ¶ � î D�8�8�/ 1 79RUGI5,7CD�1PR�D�?,5,?ME�DF<0ÅÞ÷ÛÌÞ÷ �>¶ t��&÷�)ct2GF12=dÐ^÷ �F� g

î D�8�8Z/21 79RUGI5,7CD�1PR�D�?A5,?0EÓDF<�8&9V;J9:�U<�t?>�9&c�t GF1 =�B�9T�?�W ¢K�LÑ � X © ¬ � Y � « £ � � ­ §   ¤ Ñ Z�¤ ¢K��­¦ ¤��U¢ ) ) ) ) ) ¶ ¶ � � Õ Õ q q � � � c?c

N GF?�\ <,:U\�GI<,:>=iGe8;:>?,?,GI]F:WE�DF<;GFQ9Q�5,N[D�?,:�\2<,DLR�:>?�?ADF<�?Z5AD_v0N279R�N²7C5Z8�/ ?A5)?A:>1 =²= GI5,G4t�GF1 =�:>GFR�Nz\2<,DLR�:>?�?ADF<\�D�?,?A:>?,?,:>?MGFQ9Q�5,N[:f7@1[EÓDF<~8�GI5,7CD�1�<,:U]�GI<�= 7@1[];5,N[:f8;:>?�?,GI]F:>?07C5av-79Q9Q�<,:>R�:>7CXF:��V1L/ 8ZB�:U<>t[QC:>1[]F5,N�t GF1 =dDF<�7C]�791��~g

egf�� ��z{������u�y���oNx�yiz{uH�a�w \kN¡���¢�yiu�pþÀ795A5,QC:nGI5A5A:>1c5,7CD�1)N GF?�B�:U:>1&\�GF79=&5AD-5,N[:�?,R~N[:>= / Q@791[]aDFE45,N[:�R�D�8Y8Z/ 1279RUGI5,7CD�1 ?�791 = / R�:>=&BcJ�5,N[:�<,:>= 79?,5A<�7CB2/[5,79D�1DF\�:U<�GI5,7CD�1�g±Ô47@8;\2QC:j?A5A<�GI5A:U]�7C:>?_N G>XF:�B�:U:>1ßGF=[XFDLRUGI5A:>=�g±m[DF<_7@1 ?A5,GF1 R�:Ft��&GFQ912?PGF1 =,�-7Oo �U�Ir XL79:Uv 5,N[:R�D�8�8�/ 1 79RUGI5,79D�1 ?�GF?uG^5ADF5,GFQL:�¥4R~N GF1[]F:aB�:U5v�:U:>1)GFQ9Qc\ <,D4R�:>?,?ADF<�?uGF1 =�=[D"1[DF5�EV/[<,5,N :U<*?A\�:>RU7CE�J"5,N[:�DF\�:U<~GI5,7CD�1�g³Ù1�5,N :>7C<;R�D�8;\2GI<�GI5,7CXF:d?�/[<,XF:UJFtnÂ�GF1 ]w:U5�GFQ®gMo��F� r / ?A:W5,N[:WEÓD�Q@QCDKv07@1[]_5A:>8�\2Q9GI5A:WEÓDF<;:�¥4:>RU/[5,791 ]jGF1ªGI<�<�G>JGF?,?,79]�1 8;:>1c5M?A5,GI5A:>8;:>1c5U�

� g��":>1[:U<�GI5A:w8;:>?,?,GI]F:e5,GIB2QC:>?>tMGF1 =Î\�D�?A5�GFQ9Qa<,:>R�:>7CXF:>?W791½GF=[XIGF1 R�:{5ADz8�791 7@8�7C°U:PDF\�:U<�GI5,791[]�?AJL?,5A:>8�?D�XF:U<�N[:>GF=

�Lg0luGFR�SdGFQ9Q�R�D�8�8�/ 1 79RUGI5,7CD�1dB2/4¾�:U<�?q g î GI<,<,J�D�/[5aB2GI<,<�79:U<M?AJL12R�N[<,D�127C°>GI5,7CD�1

)

Page 9: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

h*GIB2QC:�)c� î D�8�8�/ 1 79RUGI5,7CD�1�]F<�7@=YE�DF<aÅÞ÷ÛÌ�÷ � �Lt �"÷ q t GF1 =PÐ^÷ß�Lg�µ_:>?,?,GI]F:&Q9:>1[]F5,N ?}GI<,:�791 = 7@RUGI5A:>=YE�DF<G;XF:>R�5ADF<"ï DFEH?,7C°U:&ùz÷ß�F�F�Lg 8:9A;&9T�UE�t?>�9A@�tqB*9VE�t?Fb9VINI?E

ÔL:>1 =[:U<�Ò�.0:>R�X�g � � � q Õ � ¶ ) 0 O �U� �F� � � �>q � Õ �-B <aDFEH8�?A][g� q 3 3 q 3 3 q 3 3 q 3 3 q 3 3 �� � � 3 � � 3 � � 3 � � 3 � � 3 �U�� 3 q 3 3 q 3 3 q 3 3 q 3 3 q 3 �q 3 � � 3 � � 3 � � 3 � � 3 � � �U�Õ 3 3 q 3 3 q 3 3 q 3 3 q 3 3 q �� q 3 3 q 3 3 q 3 3 q 3 3 q 3 3 �¶ � � 3 � � 3 � � 3 � � 3 � � 3 �U�) 3 q 3 3 q 3 3 q 3 3 q 3 3 q 3 �0 3 � � 3 � � 3 � � 3 � � 3 � � �U�O 3 3 q 3 3 q 3 3 q 3 3 q 3 3 q ��U� q 3 3 q 3 3 q 3 3 q 3 3 q 3 3 ��F� � � 3 � � 3 � � 3 � � 3 � � 3 �U�� � 3 q 3 3 q 3 3 q 3 3 q 3 3 q 3 ��>q 3 � � 3 � � 3 � � 3 � � 3 � � �U�� Õ 3 3 q 3 3 q 3 3 q 3 3 q 3 3 q ��-B <aDFEH8�?A][g ¶ O ¶ ¶ O ¶ ¶ O ¶ ¶ O ¶ ¶ O O

Õ[g^Ô4:>1 =PGFQ9Q�B2/[¾�:U<�?�LgMÂ�GF795MEÓDF<^GFQ9Q�8;:>?,?�GI]F:>?M5ADYGI<,<~7CXF:¶ g¤£^1[\2GFR�SPGFQ9Q�B2/4¾�:U<�?

|^QC5,N[D�/[]�Nß5,N :iR�D�8�8�/ 1 79RUGI5,7CD�1Û\2N GF?A:i7@?d=[:>?,R�<�79B�:>=Ö8;DF<�:�\ <,:>RU79?,:>QCJFt�1[DF5A:i5,N GI5{5,N[:U<,:i79?{1[DÎ:�¥4\2Q979RU7C5?,R~N[:>= / Q97@1[][�YGFQ9Q}8;:>?,?�GI]F:>?�GI<,:P?A:>1c5�?,798�/ QC5,GF1[:UD�/ ?�QCJwBcJ²/ ?,791 ]_GF1ªGF?AJ41 R�N <,D�1[D�/ ?;R�D�8�8�/ 1 7@RUGI5,7CD�1²\ <,DI35AD4R�D�Q®g�h0N 79?aGI\ \ <�D�GFR�N{7@1 = / R�:>?MG�5A<,:>8;:>1 =[D�/2?M<,:>¿L/ 7C<,:>8�:>1T5M791W5A:U<~8�?MDFEuB2/4¾�:U<�791 ]�?A\2GFR�:Ft�GF12=d=[:>GF= QCD4R,S8�GKJ�v�:>Q9Q�N GI\2\�:>1Wv-N[:>1W<,:>= 79?,5A<�7CB2/[5,7@1[]ZQ9GI<�]F:fGI<,<�GKJL?Ug

hMN :eÔ4RUGFþÀ|^l�| î � Q97CB <�GI<�JÖo Õ r \ <,DKX479=[:>?OG�?A:U5�DFE"<,D�/[5,791[:>?Y5ADi\�:U<,E�DF<�8 GI<,<~G>Jª<,:>= 7@?A5A<�7CB2/ 5,7CD�1�g¼|^?=[:>?,R�<~7CB�:>=YBLJOln<,JLQ@Q972GF1 =Wh�D�/[<�GF1 R~N[:>GF/io � � r t G�5ADF5,GFQ�:�¥[R�N2GF1[]F:&79?}DF<,]�GF1 79°U:>=WB�:U5sv�:U:>1W\2<,DLR�:>?�?ADF<�?Ut4v0N 7@R�NGI<,:�GI<,<�GF1 ]F:>=PGF?aGW��X47C<,5,/2GFQÓ��RUGI5A:U<�\279Q9Q9GI<Kguh0N[:-5ADF5,GFQ�:�¥4R~N GF1[]F:&79?}798;\�QC:>8;:>1c5A:>=OGF?aG;?,/2RUR�:>?,?,7CD�1�DFE�?,5A:U\2?Ug|}5^:>GFR�Nw?A5A:U\�t�\ <,D4R�:>?,?ADF<~?0GI<,:)GI<,<�GF1[]F:>=e791c5ADO\�GF7C<�?a5,N GI5^\�:U<,E�DF<�8±G�?A:>1 =�Ò�<�:>R�:>7CXF:ZDF\�:U<�GI5,79D�1�gMhMN[:>1_5,N[:RUGI5A:U<,\27@Q9Q9GI<�7@?À?,N 79EÓ5A:>=&?,D-5,N GI5u1[:Uv�:�¥4R~N GF1[]F:}\2GF7C<�?�GI<,:nE�DF<�8;:>=�g*|-]�GF791�t�:UXF:>1�5,N[D�/[]�N�?A\�:>RU79GFQTRUGI<,:}79?À5,GISF:>1791�7@8;\2QC:>8;:>1c5,791[]W5,N[:Y5ADF5,GFQn:�¥[R�N GF1 ]F:Ft�1[D{GI5A5A:>8;\ 5�79?f8YGF=[:�5AD{:�¥4\2QCD�795�5,N[:YEVGFR�5f5,N GI5�?AD�8;:�\2<,DLR�:>?�?ADF<\2GF7C<~?a8�G>JP1[DF501 :U:>=P5ADYR�D�8�8�/ 1 79RUGI5A:Fg

hMN :Zx�<�?A5^\2GI\�:U<&=[:UXFDF5A:>=w5AD¦¥§©¨�ª« ��=¬­��w�;5,N[:�R�D�8Y8Z/ 1279RUGI5,7CD�1 ?"791 =2/ R�:>=eBcJeGO<�:>= 79?A5A<�79B2/[5,7CD�1_79?^5,N GI5DFEÀÂ�GFQ9SF:U<MGF1 =dÁ^5A5ADdo�� ��r g�hMN[:UJ�<�:UXL7C:UvÖ5sv�D;8�GF791�\�D�?,?,79B279Q97C5,79:>?uEÓDF<a798;\�QC:>8;:>1c5,791[]&5,N[:�R�D�8�8�/ 1 7@RUGI5,7CD�1 ?791 =2/ R�:>=�BcJPG)<,:>= 7@?A5A<�7CB2/ 5,7CD�1YDF\�:U<�GI5,79D�1��® £®­�¬�©���¡K¬*�c¬Í À¤� ¯X*­�¤�©n��£V ��i¡K�L©��[£�°��L�²Ô47@8�79Q9GI<�5AD;5,N :"?,5A<�GI5A:U]FJODFE�Â�GF1[];:U5MGFQ®g�=[:>?�R�<�7CB�:>=YGIB�DKXF:Ft25,N 79?

GF?,JL1 R~N[<,D�1[D�/2?�?A5A<�GI5A:U]FJj79?"?,798;\2Q9:f5ADd798;\�QC:>8;:>1c5-B2/ 5-<,:>¿L/ 7C<�:>?-B�/4¾�:U<~791[]YE�DF<&GFQ9Q*5,N[:;8;:>?,?�GI]F:>?�5ADB�:"<,:>R�:>7CXF:>=��VN :>1 R�:Ft 5,N[:"5ADF5,GFQ�GF8;D�/21T5aDFE�B2/4¾�:U<�791[]�79?}GF?MN 7C]�NWGF?}5,N[:�5ADF5,GFQ�XFD�Q9/28;:"DFE*= GI5,G)5AD;B�:<�:>= 79?A5A<�79B2/[5A:>=��~g

0

Page 10: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

h*GIB2QC:S0L� î D�8�8�/ 1 79RUGI5,7CD�1P?,5A:U\2?aE�DF<0Å�÷ÛÌÞ÷ � �Lt2�&÷ q t2GF12={Ð^÷Û�Lg

î D�8�8�/ 1 7@RUGI5,7CD�1P?A5A:U\2?0EÓDF<38:9A;&9T�UE�t?>�9A@�t�GF1 =�B*95EÔL:>1 =[:U<�Ò�.0:>R�X�g � � � q Õ � ¶ ) 0 O �U� �F� � � �>q � Õ

� R 3 3 = 3 3 : 3 3 G 3 3 B 3 3� E N 3 B 7 3 � = 3 ] R 3 : G 3� 3 : 3 3 = 3 3 R 3 3 G 3 3 B 3q 3 7 E 3 � R 3 ] : 3 N B 3 = GÕ 3 3 R 3 3 : 3 3 = 3 3 G 3 3 B� = 3 3 : 3 3 G 3 3 B 3 3 R 3 3¶ : � 3 G N 3 B 7 3 R E 3 = ] 3) 3 = 3 3 : 3 3 G 3 3 B 3 3 R 30 3 ] = 3 B E 3 � G 3 7 : 3 N RO 3 3 : 3 3 G 3 3 B 3 3 R 3 3 =�U� B 3 3 E 3 3 R 3 3 = 3 3 G 3 3�F� G B 3 R ] 3 = N 3 : � 3 E 7 3� � 3 R 3 3 G 3 3 B 3 3 = 3 3 : 3�>q 3 G B 3 R = 3 : E 3 ] N 3 � 7� Õ 3 3 G 3 3 B 3 3 R 3 3 = 3 3 :

h�GIB�QC:SOL� î D�8�8�/ 1 7@RUGI5,7CD�1dR�D�?A5,?0EÓDF<0Å�÷Û̯÷ � �Lt��"÷ q t2GF1 ={Ð"÷ß�Lg

î D�8�8�/ 1 79RUGI5,7CD�1PR�D�?,5,?ME�DF<38T9A;J9:��E�t?>�9V@�t2GF1 =GBD95EW ¢K�4Ñ � X © ¬ � Y � « £ � Z�¤2¢K��­¦ ¤��U¢ q q q q q q � � � � I�<

W ÏÀ À©I«�¡�¤� �¤�¨����>©�«��L¬*¨u­��c�i|Ç?AJ41 R�N[<�D�1 7C°U:>=eGFQC]FDF<�7C5,N 8 791cXFD�QCXF:>?"R�D�8�8Z/21 79RUGI5,7CD�1_\2N GF?A:>?-DF<�?A5A:U\2?Ug^|}5:>GFR~Nª?A5A:U\�t�:>GFR~Nz\2GI<,5,79RU79\2GI5,791[]d\2<,DLR�:>?�?ADF<Z\�D�?A5,?)G_<,:>R�:>7CXF:Ftn?,:>1 = ?�= GI5,G4tnGF1 =�5,N[:>1²v�GF795,?ZE�DF<)5,N[:R�D�8�\2QC:U5,7CD�1¼DFE�5,N[:{<,:>R�:>79XF:FgÛ��/ 5O?A:UXF:U<�GFQ-EVGFR�5ADF<�?ORUGF1ÍQC:>GF=¼5AD�\�:U<,E�DF<�8�GF1 R�:_=[:U]F<�GF= GI5,7CD�1�gÖm DF<7@1 ?A5,GF1 R�:Ft�?AD�8;:�\ <,D4R�:>?,?ADF<�?"8�GKJ{N GKXF:�5AD�v}GF7C5-E�DF<^DF5,N[:U<�?^B�:UEÓDF<,:Z5,N[:UJ{RUGF1e<,:>R�:>7CXF:)GF1cJ{= GI5,G4gfÁ^<N DF5"?,\�DF5,?�RUGF1wGI<~79?A:)7CEn?A:UXF:U<�GFQ�\ <,D4R�:>?,?ADF<�?"GI5A5A:>8;\ 5�5ADd?,:>1 =j8;:>?,?,GI]F:>?�5ADW5,N[:;?,GF8�:;\ <,D4R�:>?,?ADF<�GI55,N :W?�GF8;:P?A5A:U\�gih�D�G>XFD�79=z5,N :>?A:P=[<�G>v0B2GFR,S4?Ut�Â�GFQCSF:U<OGF1 =ÎÁ^5A5ADw\ <,DF\�D�?A:�5AD±¥§§¨Lª« ��U¬²ª;8;:>?,?�GI]F:>??,D�5,N2GI5Ut�GI5":>GFR~Nw?A5A:U\�t�:>GFR�Nj\ <�DLR�:>?,?,DF<"?,:>1 = ?^1[D�8�DF<,:Z5,N2GF1{D�1[:;8;:>?�?,GI]F:;GF1 ={<�:>R�:>7CXF:>?�1[DW8;DF<,:5,N2GF1dD�1[:f8�:>?,?,GI]F:Fg}hMN 79?a?A5A<~GI5A:U]FJdQC:>GF= ?a5ADYGY?AJL12R�N[<,D�127C°U:>=dGFQC]FDF<�795,N 8�5,N GI507@?MGF?M:�`ORU79:>1T50GF?05,N[:GF?,JL1 R~N[<,D�1[D�/2?;XF:U<�?,7CD�1�t�GF?Y= :>8;D�1 ?A5A<�GI5A:>=ÎBcJ²:�¥L\�:U<�7@8;:>1T5,?d��v0<�7C5A5A:>1Î791ªµel�³Po �>¶�r ��D�1Î5,N[:P³´�}µÔ[lH3 � GF1 =W³Ù1c5A:>QÀluGI<�GI]FD�1�t v-N 79QC:"<,:>¿L/ 7C<�7@1[]�8�/ R~NdQC:>?,?aB�/4¾�:U<~791[])?A\2GFR�:Fg

Â�GFQCSF:U<dGF12=ßÁ"5A5ADßo�� �Ur \ <�DKX479=[:_?,JL1 R~N[<,D�1[D�/2?O?,R~N[:>= / Q9:>?OD�12QCJªEÓDF<P?AD�8�:e?A\�:>RU79GFQ^791 ?,5,GF1 R�:>?YDFEZ5,N[:<,:>= 7@?A5A<�7CB2/ 5,7CD�1)\ <,DFB2Q9:>8Ptc1 GF8�:>QCJFtc5AD)R�N2GF1[]F:"5,N[:^GI<�<�G>JY=279?A5A<�7CB�/[5,7CD�1)E�<,D�8 �T�[�T�����u�����-D�1WGZÅ"36\2<,DLR�:>?�?ADF<Q9791 :>GI<O]F<�7@=¼5AD¼�T�4�c�����u�AÆ4���_D�1ÖG²]F<�79=ÍDFEf?�GF8;:w?,7C°U:FgphMN :>7C<�8YGF791¼<�:>?,/ QC5W79?�5ADz\ <,DKX479=[:jGz?,R�N :>= / QC:R�D�8;\�D�?A:>=jDFE´³ ?A5A:U\2?>gf|}5�:>GFR�N�?,5A:U\�t�GFQ9Q*\ <,D4R�:>?,?ADF<�?�?,:>1 =jGF1 =e<,:>R�:>7CXF:;:�¥[GFR�5,QCJ{D�1[:�8�:>?,?,GI]F:Fgf³´E�³ 79??,8�GFQ@QC:U<"5,N GF1wÅ;t�5,N[:;?,7C°U:)DFE�5,N[:)]F<�79=�t�5,N[:U<�:�79?"GP=[<�GF8�GI5,79R�798;\2<,DKXF:>8;:>1c5�DKXF:U<�G�5A<�GF= 7C5,7CD�12GFQ*GFQ@Qy365ADI3GFQ9Q798;\�QC:>8;:>1c5,GI5,7CD�1�g

O

Page 11: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

h*GIB2QC: �U� � î D�8�8�/ 1 79RUGI5,7CD�1Y]F<�79=OEÓDF<aÅÞ÷ � �Lt ÌÞ÷,0Lt[�&÷ÍÕ[t[GF1 =�Ð"÷ q g�µ_:>?,?,GI]F:&QC:>1 ]F5,N ?�GI<�:^7912= 79RUGI5A:>=E�DF<0G;XF:>R�5ADF<"ï DFEu?,7C°U:&ùª÷½Õw0Lg8:9T�UI�tN;J9Aµ�t?>�9¶K�tqB*95@�tNFH9AKCµ

ÔL:>1 =[:U<�Ò�.M:>R�X�g � � � q Õ � ¶ ) �-B <MDFEH8�?A][g� q � 3 3 3 3 3 3 �� 3 � � 3 3 3 3 3 �� 3 3 � q 3 3 3 3 �q 3 3 3 3 q � 3 3 �Õ 3 3 3 3 3 � � 3 �� 3 3 3 3 3 3 � q �¶ q � 3 3 3 3 3 3 �) 3 � � 3 3 3 3 3 �0 3 3 � q 3 3 3 3 �O 3 3 3 3 q � 3 3 ��U� 3 3 3 3 3 � � 3 ��F� 3 3 3 3 3 3 � q ��-B <MDFEu8�?A][g � Õ Õ � � Õ Õ Õ

Á"/ <fGF798 791j5,N279?&GI<,5,79RUQ9:�79?�5ADd:�¥45A:>1 =�Â�GFQ9SF:U<�GF1 =²Á^5A5AD[ÈÉ?&v�DF<,Sw791jDF<�=[:U<Z5AD{?AD�QCXF:Y5,N[:�]F:>1[:U<�GFQn<,:�3= 79?,5A<�7CB2/[5,79D�1j\ <,DFB2QC:>8dt�5,N GI5)79?Utu8;D�XL791 ]{E�<,D�8çGj�T�4�c���I�u�,���O=279?A5A<�7CB�/[5,7CD�1jD�1²G_Å"36\2<,DLR�:>?�?ADF<Z]F<~79=�5ADwG�T�4�c���I�u�UË4�O=279?A5A<�7CB�/[5,7CD�1jD�1zGjÌ"36\ <,D4R�:>?,?ADF<�]F<�79=�g_Âw:W<,:U5,GF791�5,N[:>7C<�DF<�7C]�791 GFQn79=[:>G4��?,R~N[:>= / QC:O5,N[:WR�D�8)38�/ 1 79RUGI5,7CD�12?a791T5ADO?A5A:U\2?Ugn|}50:>GFR�Ne?A5A:U\�t :>GFR~N{\2GI<�5,79RU7C\2GI5,791 ]Z\ <�DLR�:>?,?,DF<01[:>7C5,N[:U<-?A:>1 = ?M1 DF<M<,:>R�:>7CXF:>?-8;DF<,:5,N GF1{D�1[:f8;:>?,?�GI]F:Ft25ADOGKXFD�79={N DF50?A\�DF5,?MGF1 ={<,:>?AD�/[<�R�:ZR�D�1T5A:>1c5,7CD�1 ?Ug}|^?M:�¥4\2Q9GF791[:>=P7@1�o�� ��r t25,N 7@?M?A5A<�GI5A:U]FJ79?Zv�:>Q@Q�?,/27C5A:>=i5ADwRU/[<�<,:>1T5�\2GI<�GFQ@QC:>QnGI<�R~N 7C5A:>R�5,/[<�:>?Ugw³´1ªÔL:>R�5,7CD�1²Õ[g q g � t�v�:�]�7CXF:PGe\ <,:>RU79?A:OEÓ<~GF8;:Uv�DF<�S�5AD8;D4=[:>Q�5,N[:fR�D�?,5MDFEHG)<,:>= 79?A5A<~7CB2/[5,7CD�1�g

· â äM+��¹¸ôìní�';ëA!�í

º\fih »7vwzr¼�¢ik?� ½azrvw�¾��¢¿oCx�y¿zÀuî D�1 ?�79=[:U<HGF1YGI<,<~G>J)ï�o �4ðCðCðÉñÄò{��r DFE�?,7C°U: ñ 5,N GI5�7@?�= 79?A5A<~7CB2/[5A:>=�GFRUR�DF<�= 791 ]�5ADfG�B2QCD4R,Sc3R�J4RUQ979Ra= 79?,5A<�7CB2/[5,79D�1�T�4�c���I�u�,���;D�1c5AD{GPQ9791[:>GI<�]F<~79=jDFE�Åb\ <,D4R�:>?,?ADF<�?Y�V1L/ 8ZB�:U<,:>=jEÓ<�D�8 õ�÷ � 5AD�õi÷ÃÅ òß� �~g�Á"/[<�]FD�GFQ�79?5ADj<,:>= 79?,5A<�7CB2/[5A:�ï BcJi/2?,791[]{Gw�T�4�c�����u�UË4��= 79?A5A<�79B2/[5,7CD�1wD�1ÎÌ \ <�DLR�:>?,?,DF<�?��V1L/ 8ZB�:U<,:>=iE�<,D�8óø_÷ � 5ADøO÷ Ì òß� �~gR2n¿L/ 7CXIGFQC:>1c5,QCJFt�v�:;\�:U<�EÓDF<�8�5,N :�k-l�mÍGF?�?,7C]�1 8;:>1c5�Á ÷Ãï�tÀv0N[:U<,:�ïÊ79?&���[�c���I�*�����;D�1�GÅ"36\ <�DLR�:>?,?,DF<M]F<�79=�t[v-N 79QC:1ÁÃ7@?0���[�c���I�*�>Ë4��D�1dGOÌ"36\ <,D4R�:>?,?ADF<M]F<�7@= Ø g

hMN :�B�QCDLR�ST3R�J4RUQ979R�= GI5,G�= 7@?A5A<�7CB2/ 5,7CD�1&8�GI\2?*5,N[:a]�Q9DFB2GFQ4791 =[:�¥SÂ�DFE�XF:>R�5ADF<nïç�V76g�:FgCtF:>QC:>8;:>1c5�ï�o  r ��D�1c5ADfG\ <,D4R�:>?,?ADF<}791 = :�¥^õ�t4GZB2QCD4R,S�7@1 =[:�¥�ú´tLGF1 =�GF1W7C5A:>8 791 =[:�¥ÄÃÀt[QCD4RUGFQ�5ADZ5,N[:^B2QCD4R,S{��v-7C5,NOGFQ@Q2791 =279R�:>?n?A5,GI<�5,791[]GI5 � �~g�hMN[:�8�GI\ \27@1[]Ä òNÅ � õÀý,ú´ý�Ã��a8�GKJ�B�:�vM<~7C5A5A:>1PGF?

 òNÅ � õP÷PÆÂ�Ç��(È08;D4=�ÅaýMúÀ÷ ÆÂ�Ç��(ÈÅ ý!ÃW÷�Â�8;DL=Y�F� ð � � �

Âw:Z= :U<�7CXF:"5,N[:&<,:>Q@GI5,7CD�1 Â*÷ö�VÅÊÉ{úLËeõ��´Éd�Ì˱à ð �®���Í Å ÆcÑ�òdÊKËmÑSìKÑDÓtÑ[ËqÍKØ�ÍMȾȾÇ�ìlÓtòdÑ$ÓYÐÀÎ!Ï Ð3ÑÓÒÔÒ Õ�ÖØ×.Ï Ù{Ñ(ÒÔÒ ÕAÚDÍMÓ5Ô3Ñ�ÒcÑDÍKØ Ð�É�Ç�ÐmÆ9ȾÇ×òdÇ�Ø×ÍMËmØ Õ�Ý�U�

Page 12: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

h�GIB�QC: �F� � î D�8�8�/ 1 7@RUGI5,7CD�1P?A5A:U\2?aE�DF<-Å�÷ � �Lt�̯÷�0Lt2�&÷ÍÕ[t2GF1 ={Ð"÷ q g

î D�8Y8Z/ 1279RUGI5,7CD�1P?A5A:U\2?0EÓDF<�8&9:��I�tq;J9Aµ�t?>�9¶K�t2GF12=�B*9A@ÔL:>1 =[:U<�Ò�.M:>R�X�g � � � q Õ � ¶ )

� G R 3 3 3 3 3 3� 3 B G 3 3 3 3 3� 3 3 R G 3 3 3 3q 3 3 3 3 G R 3 3Õ 3 3 3 3 3 B G 3� 3 3 3 3 3 3 R G¶ B = 3 3 3 3 3 3) 3 G B 3 3 3 3 30 3 3 = B 3 3 3 3O 3 3 3 3 B = 3 3�U� 3 3 3 3 3 G B 3�F� 3 3 3 3 3 3 = B

h*GIB2QC: � �L� î D�8�8�/ 1 79RUGI5,7CD�1PR�D�?,5,?ME�DF<0ÅÞ÷ � �Lt�̯÷,0Lt2�&÷ÍÕ[t�GF1 =dÐ^÷ q g

î D�8�8�/ 1 79RUGI5,79D�1PR�D�?A5,?ME�DF<38T9:�UI�tN;&9Aµ�t?>�9AKÀt GF1 =�BD9A@W ¢K�4Ñ � X © ¬ Z�¤ ¢���­¦ ¤2�U¢ q q � � µ

Ô4798Y79Q9GI<�QCJFt4?,7912R�:�Á 7@?M= 79?A5A<~7CB2/[5A:>=W���[�c���I�*�>Ë4�&D�1{G�Ì^36\ <,D4R�:>?,?ADF<0]F<�79=�t 7C5,?M]�QCDFB2GFQÀ7@1 =[:�¥�ÚO79?M8YGI\ \�:>=dGF?Ú òNÅ �®øcý,üjý«Û4�~t2v0N[:U<,:¤Ú)÷ô�6ÌbÉ{üÊ˪øF�ÜÉdдËQÛ2g�Âw:f5,N[:>1P]F:U505,N :�<,:>= 79?A5A<~7CB2/[5,7CD�1O:>¿L/ GI5,7CD�1Â*÷ô�VÅÊÉdú�Ë_õ��´Éd�Ì˱ÃW÷ô�6ÌdÉdüÊ˪øF�´É{ÐÜËÝÛ ð � q �

þÀ:U5�ù²÷Öú®û�ü��VÅ&��ý~Ì&ÐI�*B�:�5,N[:MQ9:>GF?A5HR�D�8�8;D�1�8�/ QC5,7C\�QC:nDFE�Å&�0GF12=YÌ&ÐTgÞ2�QC:>8;:>1c5,?aÂ�GF1 =;ùSË�Â�DFE�ï GI<,:791 795,79GFQ9QCJ&= 7@?A5A<�7CB2/ 5A:>=ZD�1c5ADf5,N :M?,GF8;:0\2<,DLR�:>?�?ADF<�õW÷PÆÂßÇ���È-8;DL=YÅp��B�:>RUGF/ ?A:0ù²79?HG&8�/ QC5,7C\�QC:}DFE�Å&�LtLN[:>1 R�:�Y=27CXL7@=[:>?-ù0t�GF1 =jÅ�= 7CX479=[:>?^ù ÿ ���~gfm DF<fGW?,798�79Q@GI<-<,:>GF?,D�1�t�5,N[:>?A:;5sv�DP:>QC:>8�:>1T5,?"v07@Q9QÀB�:�<,:>= 79?,5A<�7CB2/[5A:>=D�1c5AD�5,N[:&?,GF8;:f\ <,D4R�:>?,?ADF<0ø�÷PÆÂ�ÇIÐÓÈ-8;D4=YÌ)gn³´1WDF5,N[:U<0v�DF<�=2?Ut[5,N[:�<,:>= 7@?A5A<�7CB2/ 5,7CD�1�\2GI5A5A:U<~1P<,:U\�:>GI5,?MGIE�5A:U<:>GFR�Nª?�Q979R�:YDFE-ùÞ:>Q9:>8;:>1T5,?>gehMN :U<,:UEÓDF<�:FtHv�:�<,:>?A5A<�7@R�5Z5,N[:W= 79?�RU/ ?,?,7CD�1�5ADeG_XF:>R�5ADF<Yï DFE0QC:>1 ]F5,N�ùö791�5,N[:E�D�Q9QCDKv-791[][gHþ�:U5!6�÷Í]�RU=À�VÅ&��ý~Ì&ÐI�&��DFEHR�D�/[<~?A:&ùa6�÷ÖÅ&��Ì&ÐI�~g�hMN[:�B�D�/ 1 =2?�7@1W:>¿c/ GI5,79D�1i� q �}B�:>R�D�8;:

àá�â �Äã õGä½Å �Äã øSäÖÌ�Äã úÞäæåçqè ÷lérêë �Äã üVäæåérê ÷ çqèë�Äã Ã�ä¼� �Äã Û7ä½Ð ð

��Õc�

ìP�=íu u£Ó¢�£�¤� ��ïî!�ð(ªñ�±�¨LªD ��ò¥�������óñ�U��������ô����ß���Rªñ�iª©� ¥)�±���? PÐ�õ1���? ¦�¨Lª������ 7ô����ß���Rªñ�iª©� ¥)Åö���? dÌ�õ1�¨Lª¡��c¬H£��U¢�¡I£�X�¨À¢�£�¤� pÑ*¡K¤CX*­��4§ �ò¥Ø�¿�Ý wª©�iªñ������Nª¦�n¬¬Ì�¨�ª��Rª�¥ ¥©�ñ�=ª§¥G�¿�±ó�ª¦ª«÷w©¨U���w�Uª« (õR�¨U���.�ò¥ õ��¿�7ø��? /��¬�¬ð���¬ù��ª�¥��ûúaõü���? Pøt¥��L§¨��¨������¨�ª���ª« ��ò¥�������ó©��������ýª«þÓ�����������ÿ����ب��(¥*��¥§��¬ù������������±�¨Lª������(�?���a��¥�ú�õ�ü�õÃrõ����? �Û?õÌ¥���ó�©ª ñ���¿���¨LªDó«�����? (¥*����ÌþÓ�L��������#ÿ �������a���¤ôC�������w� �¨�ª*�����Ró ª©���ûúÄ¥§��¬ù����������¥¤ú©���7�D�w��ðnª©�ôC�û�ñ�ª§¥ ¥©���¤ô�����Z� õÀý�øF���a�ò¬¬N���ð(ª.�¨�ª^Q9:>1[]F5,N±��úS�¨�ª��Rª�¥�¥§�ñ�Uª��

�F�

Page 13: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

Âw:�?A5,GI<,5Mv0795,NPG;?,798;\2Q9:"Q9:>8�8�G)5,N GI50Q9:>GF= ?}5ADOG;N GF12=[J�?�798;\2Q97Cx�RUGI5,7CD�1�����L§�§������Gª� ���t�(¥�¥����Rª��¨U���u�G���N ;ÐD���ûª���ª§¬ �����ð(ª©¬���ôC�����Rª�õ´�¨U���Ü�²¥�õÀ]�RU=À�V��ý�Ð��n÷ � ��f¡�¤�¤?Y hMN[:�<�:>= 79?A5A<�79B2/[5,7CD�1Y:>¿c/ GI5,79D�1�� q �}RUGF1{B�:":�¥4\ <,:>?,?,:>=dGF?

õ�� ò ø�Ð^÷��3ËÛ�VÅ&� ð ú ò Ì&Ð ð ü{�~ý �®���

v0N[:U<�:��W÷ïÛ ò ÃQ"Ûo �^ò �Ký�Ð òß��r gYþ�:U5�� ÷p]�RU=��V��ý�Ð��~tu�O÷��;�� uGF1 =iÐY÷���Ð! @gR2�¿c/ GI5,79D�1¼� q �"RUGF1�B�::�¥4\ <,:>?,?A:>={GF? �{� õ�� ò øIÐ ��÷"�3Ë#�d�VÅ&� ð ú ò Ì&Ð ð ü{� ð³´E�7C5�N GF?�GP?AD�Q@/[5,7CD�1eEÓDF<&GW]�79XF:>1w\ <,D4R�:>?,?ADF<�\2GF79<;� õ�ý�øI�~tÀ5,N[:>1���= 7CX479=[:>?$�4t%�W÷&�'�� �tÀGF1 =jv�:)= :>= / R�:�G?AD�Q9/ 5,7CD�1WEÓDF<05,N[:&<,:>= 7@?A5A<�7CB2/ 5,7CD�1�\ <�DFB2QC:>8 v07C5,NP� t�Ð t Å;t�GF1 ={Ì)g

þÀ:U50/ ?M79Q@Q9/ ?A5A<�GI5A:^5,N 79?0?,798;\2Q@7yx�RUGI5,7CD�1OD�1PD�1[:&DFE*D�/[<08�DF5,7CX�GI5,7@1[];:�¥4GF8�\2QC:>?U�()� ©n�z¢K¤ ��� �2§�Ñ*­���@�-DF5A:�5,N GI5av�:�1[:U:>=W5AD;?,RUGFQ9:"8�:>?,?,GI]F:&QC:>1[]F5,N2?�5AD�8�DKXF:�E�<,D�8�G�<,:>= 79?A5A<~7CB2/[5,7CD�1�DF\�:U<~GI5,7CD�1�v0N[:U<,:��fGF12=WÐGI<,:"<,:>Q9GI5,79XF:>QCJ�\ <�7@8;:05AD)D�1[:^v0N[:U<,:^5,N[:UJ�GI<,:�1[DF5Ug�þ�:U5a/ ?�<,:U5,/[<~1Y5ADÄ2H¥[GF8;\2Q9: q GF1 =WGF?,?,/28;:-E�DF<aG�v0N 79QC:5,N GI5}v�:^S41[D�vÖN DKvß5AD)B2/ 79Q@=;5,N[:�R�D�8�8�/ 1 79RUGI5,7CD�1�]F<�7@=O791�h*GIB2QC:�)cgnhÀD;=[:>=2/ R�:-5,N :^R�D�8�8�/ 1 7@RUGI5,7CD�1�]F<�79=E�DF<*�&÷ � �-GF1 =)Ð-÷ß� � t�?,GKJFt�v�:nSF:U:U\)5,N[:}?,GF8;:}8;:>?,?,GI]F:>?UtFB�/[5�v�:�?,RUGFQ9:�GFQ9QcQC:>1[]F5,N ?ÀBcJ)�p÷Í]�RU=À�V��ý�Ð��n÷ÍÕ[ghMN 7@?�\2<,DLR�:>?�?M8�GISF:>?M?A:>12?A:�B�:>RUGF/ ?A:�5,N[:f1 :UvÛ?,7C°U:�DFEuG)XF:>R�5ADF<^?,Q@79R�:�79?*�;ùª<�GI5,N :U<M5,N GF1dù0g�ÔL:U:fh*GIB2QC: �>qE�DF<�5,N[:^<,:>?,/2QC5,791[]fR�D�8Y8Z/ 1279RUGI5,7CD�1O]F<�79=�gnÁ^E�R�D�/[<~?A:Ft45,N[:^?�R�N[:>= /2Q9791[]�DFE�5,N :^R�D�8�8�/ 1 7@RUGI5,7CD�1 ?�v079Q9Q[<�:>8�GF7915,N[:f?�GF8;:&GF?Mv0795,NP��÷ q GF1 =dÐ"÷ß�Lt v0N 7@QC:"5,N[:&R�D�?A50791{h�GIB2Q9:SO�v079Q9Q�B�:&8Z/2QC5,7C\2Q979:>=YBLJ+�Pg

º\f�� ��z{������u�y���oNx�yiz{u�»�oCxnxnk?vwu���L§�§��/I,�a����¥��� wªñ�Ü�1��ª« ��²¥§������ó©�����������a��¨!ô����û���Rª©�iªñ�«¥��=õ Ð�õ[Å�õ{���? 0Ì�õ¯���? ��(¥�¥����Rª!�¨U���4]�RU=��V�Ký�ÐI�n÷ � �-{ªñ��6�÷ó]�RU=*�VÅ&��ý~Ì&ÐI���/.{¨�ª� ������������ ����������ô������iª©��� ���? ����ª« #ó0�Ý�¨�ª��ûª ��²¥§������ó©���������H��ôLª©�û���������H�²¥t� ���ÌôC¬ ªñ�iªÄ�n¬¬�1ß�¿�21û�n¬�¬Þ��ôLª©�û����������� úS���? D���L¬���� ú6 ã �Ì˪Рò½�Ið�f¡�¤�¤?Y Âw:M<,:Uv0<�7C5A:Ü2n¿L/ GI5,7CD�1d�®���uGF?�õ�Ð ò ø��&÷��¯Ë+31É36ZB�:>RUGF/ ?A:MÅf� ð ú ò ÌfÐ ð ü�7@?HGF1;GI<,B27C5A<�GI<�Jf8Z/2QC5,7C\2QC:

DFEÜ62gwÔ4791 R�:4�eQ979:>?f791w5,N :�791c5A:U<,XIGFQ-o ��ò ��ý�Ð ò¯��r v-N[D�?A:OQ9:>1[]F5,Ni79?Z��ËÖÐ òÛ� t�7C5Z79?f]�/2GI<�GF1T5A:U:>=²5,N GI5)G8�/ QC5,7C\2Q9:0DFEÀ6ORUGF1PB�:"EÓD�/ 12=Ov-7C5,N 791O5,N 79?}791c5A:U<,XIGFQ�7CEr6 ã �´Ë²Ð òª� g î D�1cXF:U<�?A:>Q9JFt GF?,?,/ 8;:�5,N2GI5Ü645¼�ÜË�ÐT�v�:fv079Q@Q�:�¥4N 79B27C5MG�\2<,DLR�:>?�?ADF<-\�GF7C<Z� õÀý�øF�M:�¥4R~N GF1[]�791[]�1[DO8�:>?,?,GI]F:FgM³Ù1 =[:U:>=�t�õd÷ÞÅ òÍ� GF1 =eøf÷ � 79?05,N[:=[:>?,79<,:>={\2<,DLR�:>?�?ADF<-\�GF7C<>g"hÀDP?A:U:)5,N 79?>t�1[DF5A:�5,N GI5�õ�� ò øIÐ�÷ ò �"8;D4=�6���B�:>RUGF/ ?A:.6{= 7CX479=[:>?-Å&����]�N[:>1 R�:Ft1[D�8Z/ Q95,7C\2QC:"DFEg6PRUGF1{B�:fGF= = :>=d5AD&õ�� ò øIÐZ?,DY5,N GI5"7C50Q979:>?M791d5,N :f791c5A:U<,X�GFQ�o �Mò �Ký�Ð ò½��r t�hMN[:U<�:UEÓDF<,:Ft�1[D8;:>?,?�GI]F:&v079Q9Q�B�:&?A:>1c5ME�<,D�8öõ{5ADOø�= / <�791[]�5,N[:&<,:>=279?A5A<�7CB�/[5,7CD�1�g à

³Ù1w5,N[:;E�D�Q9QCD�v0791[][t�D�/ <&GF798 79?"5AD{R~N GI<�GFR�5A:U<�79°U:Y5,N[:�\�GF7C<�?"DFE�\ <,D4R�:>?,?ADF<�?�5,N2GI5f1[:U:>=w5AD{R�D�8Y8Z/ 1279RUGI5A:= /[<~791[]�5,N[:&<,:>= 7@?A5A<�7CB2/ 5,7CD�1�DF\�:U<�GI5,7CD�1��V791P5,N[:&RUGF?A:S645Î�Ì˪ÐI�~g î D�1 ?�79=[:U<}5,N[:&E�D�Q9QCD�v0791[])EV/ 1 R�5,7CD�176*�8 o �4ðCð Å ò¼��r Éio �4ðCð Ì ò¼��róòNÅ 9 ë� õÀý�øF� òNÅ 6H� õÀý�øF�H÷�õ�� ò øIÐM8;D4=�6 � ¶ �: ÛcÊKË�ÍKÓcÊKÐmÆtÑ[Ë�ÏPËmÊ�ÊKçiñrȾÑDÑ|ê�Ñ$ÐmÇ ÐmÑ$Ð�Ï ïDî�ÕuÝ

� �

Page 14: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

h*GIB2QC: �>q � î D�8Y8Z/ 1279RUGI5,7CD�1 ?�E�DF<0ÅÞ÷ÛÌÞ÷ � �Lt2�&÷ � �Lt2GF1 =dÐ"÷ß� � gnµ_:>?,?,GI]F:�QC:>1[]F5,N ?aGI<�:&791 = 79RUGI5A:>=�E�DF<G;XF:>R�5ADF<"ï DFEH?,7C°U:&ùz÷,O �F� g 8T9A;J9:��E�t?>�9 �UI�tqB*9VI?M�tNFb9�;?MNMÔL:>1 = :U<�Ò�.M:>R�X�g � � � q Õ � ¶ ) 0 O �U� �F� � � �>q � Õ �0B <0DFEu8Y?A][g

� � � 3 3 � � 3 3 � � 3 3 � � 3 3 � � 3 3 �� 0 Õ 3 0 Õ 3 0 Õ 3 0 Õ 3 0 Õ 3 �U�� 3 � � 3 3 � � 3 3 � � 3 3 � � 3 3 � � 3 �q 3 Õ 0 3 Õ 0 3 Õ 0 3 Õ 0 3 Õ 0 �U�Õ 3 3 � � 3 3 � � 3 3 � � 3 3 � � 3 3 � � �� � � 3 3 � � 3 3 � � 3 3 � � 3 3 � � 3 3 �¶ 0 Õ 3 0 Õ 3 0 Õ 3 0 Õ 3 0 Õ 3 �U�) 3 � � 3 3 � � 3 3 � � 3 3 � � 3 3 � � 3 �0 3 Õ 0 3 Õ 0 3 Õ 0 3 Õ 0 3 Õ 0 �U�O 3 3 � � 3 3 � � 3 3 � � 3 3 � � 3 3 � � ��U� � � 3 3 � � 3 3 � � 3 3 � � 3 3 � � 3 3 ��F� 0 Õ 3 0 Õ 3 0 Õ 3 0 Õ 3 0 Õ 3 �U�� � 3 � � 3 3 � � 3 3 � � 3 3 � � 3 3 � � 3 ��>q 3 Õ 0 3 Õ 0 3 Õ 0 3 Õ 0 3 Õ 0 �U�� Õ 3 3 � � 3 3 � � 3 3 � � 3 3 � � 3 3 � � ��-B <aDFEH8�?A][g ¶ O ¶ ¶ O ¶ ¶ O ¶ ¶ O ¶ ¶ O O

m /21 R�5,7CD�1<6Û8�GI\2?O:>GFR�N½\ <,D4R�:>?,?ADF<�\2GF7C<_� õÀý�øF�;D�1T5AD²5,N[:_R�D�1 ]F<�/[:>1 R�:eRUQ9GF?,?ODFE}õ�� ò ø�Ðe8;D4= / Q9D¦62g|^RUR�DF<�= 791[]j5ADw5,N[:W\ <�DcDFE-DFE-þ�:>8Y8�G��Lt�õ¼?A:>12= ?)Gw8;:>?,?,GI]F:P5ADiø_7CE0GF1 =zD�12QCJi7CE=6H� õ�ý�øI��" o �&ò ��ý�Ð ò��r �Ù8;D4=q64�~g�þ�:U5M/ ?079Q9Q9/ ?,5A<�GI5A:"5,N 79?}\ <,D4R�:>?,?aBLJW/ ?,791[])D�1[:fDFE�D�/[<-8;DF5,7CXIGI5,791[];:�¥[GF8;\2QC:>?Ug()� ©n�z¢K¤ ��� �2§�Ñ*­��GK³Ù1{5,N 7@?M:�¥[GF8;\2QC:Ft�Åp÷ � �LtÀÌô÷H0Lt��)÷ÞÕOGF1 =jÐZ÷ q g^Âw:;N G>XF:.6W÷���Õ[g^h*GISF:^õe÷ �F� �VGF?"791{5,N[:�\ <,DLDFEDFEaþ�:>8�8YGd���~gY³´Eaø�÷ � t>6H� õÀý�øF�"÷ ò Õ¾Ç"Ûo ò-q ý�� r tHGF1 =iøO<,:>R�:>7CXF:>?�1[Dd8;:>?�?,GI]F:YE�<,D�8 õÀgO��/ 5&7CE}øW÷ ¶ t6H� õÀý�øF�H÷ß��"²o ò-q ý�� r t�GF1 =_øZ= Dc:>?a<�:>R�:>7CXF:fG�8;:>?�?,GI]F:O�V?A:U:�h�GIB2Q9: �U� 5ADYR�N :>R,SP5,N 79?��~g

ìP�=íu u£Ó¢�£�¤� ýI@?{��� ��ã<A äQ6�õ�¬²ª©�CBEDGF�HIHK� A ��÷"6%J Ø � A � õ´�¨U���Ü�²¥�õ6%J Ø � A ��÷ %c� õÀý�øF�´"�o �4ðCð Å ò½��r Éio �4ðCð Ì ò¼��r ]K6H� õÀý�øF�H÷ AN'�ðh�DYR�N2GI<�GFR�5A:U<�7C°U:�RUQ9GF?,?A:>?Ut2v�:&791c5A<,D4= / R�:&791c5A:U]F:U<�?Ì}eGF1 =7LO?,/ R~NP5,N GI5

��ÉØ} ò Ð.É7L�÷ �

��5,N[:Z:�¥L5A:>1 = :>=G2n/2RUQ979=WGFQC]FDF<�7C5,N28�\ <,D�XL79= :>?0?,/ R~Nd1L/ 8fB�:U<�?MEÓDF<-<,:>Q9GI5,7CXF:>QCJ�\ <�7@8;:&�)GF1 =_ÐI�~gnÂw:�N G>XF:�5,N[:E�D�Q9QCDKv-791[])<,:>?,/ Q95Ug�f¡�¤�ÑH¤���£Ó¢�£�¤� ���M1¥�¥����RªS�¨����*]�RU=��V��ý�Ð���÷ � �*?r��� �Äã<A äQ6�õBEDGF�HIHK� A �n÷ü%%N õ

øPO ÷Q3RN Ð�PO Ë A N } LSO 8�DL=�N Å

ÌTO ] ��ã 3Øä ÅZÌ6 '�ð�>q

Page 15: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

�f¡�¤�¤?Y mu7C<�?A5UtT5ADZ?A:U:M5,N2GI5 ç éë 791 = :U:>=;79?�GF1Y7@1T5A:U]F:U<>tL1[DF5A:M5,N GI5�ÅZ̯÷ßÅZÌ��V�n} ò ÐULL�H÷ÍÅ&� ð Ì�} ò ÌfÐ ð ÅVL2gÔ47912R�:36W= 7CX479=[:>?�B�DF5,NdÅ&�)GF1 =_ÌfÐ�t 795M= 7CX479=[:>?}ÅZÌ)g

hav�Dj= 7y¾�:U<,:>1T5�RUQ9GF?,?A:>?�GI<,:W= 79?�AD�791c5O��BLJ�=[:�x�1 7C5,79D�1��~gP³s5�5,/[<�12?&D�/[5�5,N GI5)GFQ9QnRUQ9GF?�?A:>?ZN2G>XF:W5,N[:W?,GF8;:1L/ 8fB�:U<aDFEu:>QC:>8;:>1c5,?Ugnh�DY?A:U:�5,N279?Ut 1[DF5A:&5,N2GI5MEÓDF<-GFQ9Q A "�o � ýû6 ò¼��r t

� õÀý�øF�´"�BEDGF�HIHK� � �CW�X � õ�Ë A }�8;D4=;Åaý�ø!Ë A Lf8�DL=OÌZ��"PBEDGF�HIH�� A � ð³Ù1 =[:U:>=�tLõÄË A }�8;DL=;Å ÷½õ7Ë A }RË<Y�Å E�DF<"?,D�8;:;791T5A:U]F:U<�Y t�ø¤Ë A L�8;D4=OÌp÷Çø¤Ë A LSË<Y2 9ÌÃE�DF<&?AD�8;:791c5A:U]F:U<ZY t2GF12=6H� õ�Ë A }�8;D4=;Åaý�øÌË A LZ8�DL=OÌZ�Ê÷ � õ�Ë A }�Ë[YTÅZ�´� ò �®ø!Ë A L�Ë#Y Ìf�ÙÐ-8;D4=�6

÷ õ�� ò øIÐÜË A Ë[Y�Åf�!ËSY Ì&Ð08;DL=Ä6÷ 6H� õÀý�øF�¯Ë A 8�DL=�6 ð

Ô47912R�:^5,N :U<,:fGI<,:�6WRUQ9GF?,?A:>?>t[v�:f= :>= / R�:�5,N GI5M5,N :f1c/28fB�:U<aDFE*:>QC:>8;:>1c5,?0791W:>GFR~N_RUQ9GF?�?M79? ç éë g�-:�¥L5Ut"v�:w?A:U:w5,N GI5i� õ]\Lý�ø�\c�_÷ �^3�Ð08;D4="õÀý�32�^8�DL=OÌZ�t"�BEDGF�HEHK� � �OEÓDF< �üã 3 ä ç éë ��B�:>RUGF/ ?A:õ]\I� ò ø�\FÐ^÷ � 8;D4=�64�~g

mu791 GFQ@QCJFt�� õ]\Lý�ø!\T�H÷ô� õ \�_ ý�ø \�_ ��798�\2Q97C:>?u5,N GI5aÅ�= 7CX479=[:>?0�^3 ò 3` C�ÙÐ&GF1 =WÌÞ= 79XL79= :>?-�^3 ò 3a C�´�Lg�hMN[:U<,:UE�DF<,:FtB�DF5,NPÅ&��GF1 =_Ì&Ðf= 7CX479=[:)�^3 ò 3` C�´�FÐw] N[:>1 R�:Ft ùz÷Öú®û~ü��VÅf�Ký~ÌfÐ���÷ çqècb érêë = 7CX479=[:>?��^3 ò 3a 9�´�FÐ�gHÂw:f= :>= / R�:5,N GI5 ç éë = 7CX479=[:>?��^3 ò 3 ��]�N[:>1 R�:;GFQ9Q�5,N[:)\ <,D4R�:>?,?ADF<�?^\2GF7C<~?�� õ]\[ý�ø�\��0EÓDF< �Dã 3�ä ç éë GI<,:;= 79?,5,791 R�5Ug"Âw:N GKXF:f5,NL/ ?a:>1L/ 8;:U<�GI5A:>=dBEDeF�HIHK� � �~gìP�=íu u£Ó¢�£�¤� ¾@f�a���L¥��� wª©�´�1�ûª ��²¥§������ó©���������'�a��¨!ô����û���Rª©�iªñ�«¥H�=õ4Ð�õ4ÅÄõ¯���N MÌ�õr���? ��(¥�¥����RªÜ�¨U���4]�RU=À�V��ý�ÐI�n÷� �g-{ª©�>Dehji�kmln�� õÀý�øF��ó�ª��¨�ª�¬²ª©�w�w�¨��ûú.�¨Lª��Rª�¥ ¥©�ñ�=ª�¥©ª©�?�Üó���ôC�û�ñ�ª�¥ ¥©����õ��¿�SôC�ß�Ó�ª�¥�¥§���&øG�¿���ûª ��ò¥�������óñ�U�iª7�¥���w��¬ ªS¥�¬ù���ª.ð(ª ñ�¿���-ï �ûú�¥§�po�ª0ùz÷Öú®û�ü��VÅ&�Ký~ÌfÐ����

|^?av�:&?,GF79=W:>GI<�Q979:U<>t45,N[:&R�D�8�8�/ 1 79RUGI5,7CD�1d\2GI5A5A:U<�1P<,:U\�:>GI5,?}E�DF<M:>GFR�N_?,Q979R�:Ft[GF1 =d5,N[:�X�GFQ@/[:"<,:U\�DF<,5A:>=P7915,N[:nR�D�8Y8Z/ 1279RUGI5,7CD�1"]F<�79="5,GIB�QC:>?�DFE ÔL:>R�5,7CD�1f�MGI<,:�E�DF<ÀGM?,791 ]�QC:H?,Q979R�:�]�5,N GI5À79?>t>5,N[:UJ�GI<,:�:>¿L/ GFQI5AD=D hji�kmln�� õÀý�øF�~gî Q9GF?�?A:>?�GI<�:-791c5A:U<,:>?A5,791 ]fB�:>RUGF/ ?A:-5,N[:UJ�<,:U\ <�:>?A:>1T5�N[D�8;DF]F:>1[:UD�/2?�R�D�8Y8Z/ 1279RUGI5,7CD�1 ?U�HGFQ9Q2\ <,D4R�:>?,?ADF<�\2GF7C<�?�791G;]�7CXF:>1{RUQ9GF?,?a:�¥[R�N GF1 ]F:ZG�8;:>?�?,GI]F:&DFEH?,GF8;:fQ9:>1[]F5,N�g�f¡�¤�ÑH¤���£Ó¢�£�¤� ýIqM1¥�¥����Rª��¨U���u]�RU=À�V��ý�Ð���÷ � õ!���? *¬²ª©�uùª÷Ûú®û�ü��VÅ&��ý~Ì&ÐI��ó�ª��¨�ª�¬²ª©�w�w�¨��ûú.�¨Lª�ð(ª«Ó�¿���^ï�¿�Dó ª���ª« ��ò¥�������ó©���iª« ��Z-{ªñ�sr!t�D� A ��ó ª��¨LªÌôC��ª �ª��a�²¥ñª�ú����?Ó������D�w��ðnª©�tó0�u?��­�����ûªwv¤ú©��� A "²o �}ò �Ký�Ð ò¼��r �xSy ú-�Ü˪Рò¼��ã 6�õ��¨�ªñ�.ú©��� A "io �aò ��ý�Ð ò½��r õ

� õ�ý�øI�Ü"PBEDGF�HIHK� A �zX{Dehji�kmln�� õÀý�øF��÷|r!t�D� A �ÿ��ûª �n¬¬g�¨U���´� úZ� õ�ý�øI�Ü"PBEDGF�HIH>� A �u�Þ¨�ªñ�ûª A Ç"²o �aò ��ý�Ð ò¼��r õ´�¨�ª©�ZõÝ¥©ªñ�? (¥S�?�*�Rª�¥�¥§�ñ�Uª��¿��ø!�2�xSy úÌ6 ã �!˪Ð�õ��¨�ª©��ú©��� A "�o � ýû6 ò¼��r õ

� õÀý�øF�´"PBEDGF�HIH�� A �CX{Dehji�kmln�� õÀý�øF��÷ }~ _���� Ø J è á ê J Ø��� ~ _U���E� ë�� ~ r!t�D� A � ð

� Õ

Page 16: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

�����

Ø �G�ØØ

��� �e��� ��

���I�

Ø

��� � �e��� �e�

Ø�'��� ���|�mu7C]�/[<,: � ��hMN[:�\27C:>R�:Uv-79?A:&Q9791 :>GI<�EV/ 1 R�5,79D�1Pr!t�D6g�f¡�¤�¤?Y Âw:P?,798;\�QCJwR�D�/ 1T5)5,N[:P1L/ 8ZB�:U<�DFE0?AD�Q@/[5,7CD�1 ?Z5ADj5,N[:O<�:>= 79?A5A<�79B2/[5,7CD�1w:>¿L/ GI5,7CD�1_õ�� ò øIÐ{÷AÛ òÃO8�DL=�6�t�v0N :U<,: ��ã Ãüä��jGF1 = ��ã Û#ä�ÐTgªÂw:d:>GF?,7@QCJ²= :U<�7CXF:W5,N[:d\279:>R�:Uv079?A:PQ9791 :>GI<7r!t�DaE�/21 R�5,7CD�1

<,:U\ <�:>?A:>1T5A:>={791Pmu7C]�/[<,: � g

Âw:Y1 DKvÇS41[DKvÃN[DKvÇ5AD{B2/ 79Q9={5,N[:YR�D�8�8�/ 1 7@RUGI5,7CD�1j5,GIB2QC:>?&7@1wÔ4:>R�5,7CD�1i�Lg)Âw:O?A5,7@Q9Q�N2G>XF:�5AD{= :U<�7CXF:�G?,R~N[:>= / QC:Ft[5,N2GI5079?Ut G)v}G>JP5AD�DF<�]�GF1 7C°U:&5,N[:&R�D�8Y8Z/ 1279RUGI5,7CD�1 ?MGF?M:�`ORU7C:>1c5,QCJPGF?a\�D�?,?,7CB2Q9:Fg

º\f�e ��z{������u�y���oNx�yiz{uH�a�w \kN¡���¢ikK��²@���� ¦ ¤�§�§j¨� u£�©��[¢�£�¤� ¼��¤�¬*�4­|^RUR�DF<�= 791[]e5ADj5,N[:�\ <,:UX47CD�/ ?�= 79?,RU/ ?�?,7CD�1�t*v�:PR�D�1 R�:>1c5A<�GI5A:PD�1z?,R~N[:>= / QC:>?�5,N GI5)GI<,:PR�D�8;\�D�?A:>=²DFE-?,:UXF:U<�GFQ?,/ RUR�:>?�?,7CXF:&?A5A:U\2?>gn|}5M:>GFR�N_?A5A:U\�t :>GFR~N{?A:>12=[:U<M?,N[D�/ Q@=P?A:>1 =P1[D�8;DF<�:�5,N GF1PD�1[:&8;:>?�?,GI]F:�]�?AJ48�8;:U5A<~79RUGFQ9QCJFt:>GFR�Nj<�:>R�:>7CXF:U<�?,N[D�/ Q9=d<,:>R�:>7CXF:)1[D�8�DF<,:f5,N GF1eD�1[:)8;:>?,?�GI]F:Fg-Âw:�]�7CXF:)GYE�DF<�8�GFQ*=[:�x�1 795,7CD�1PDFEnG�?,R�N :>= / QC:GF?ME�D�Q9QCD�v0?Ug

ìP�=íu u£Ó¢�£�¤� �K��a���L¥��� wª©������ª« ��²¥§������ó©���������P�a���¨�ôL���ß���Īñ�iª©� ¥^�=õ�Ð�õÀÅ�õ´���? ;Ì��x .{¨Lª;©�¤�§i§j¨� u£�©��[¢I£�¤� ô��¡�£�¬d�ò¥��WÅAÉiÌ �¿�wó©¬ ª7�a���¨±� �?����o�ª©�û�/ª©�?�����Wú^�©�C6¡ �¢À� õ�ý�øI�D����ô��n¥��������� õ�ý�øI�S� ú.���? ����L¬p�*� úuõ±¨U�(¥.�¿�7¥ñª©�? ��*�Rª�¥ ¥©�ñ�=ª��¿�;ø��x M¯©�¤�§i§j¨� u£�©��[¢I£�¤� z�U¢K�4Ñ#�²¥��7��n¬�¬²ª«Ó��������ûú�ô������ ¥1%c� õ Ø ý�ø Ø �~ýK� õ à ý�ø à �~ý ðUðUð ýK� õm£,ý�ø�£� ' ¥§��©¨*�¨U���[õm¤´[÷õ�¥Rú©��� � ã Â7ä Ú ã   õ"ø�¤�[÷ øI¥Rú§��� ��ã Â7ä-Ú ã  �õ����? eú^�©�C6� c¢�� õm¤Ùý�ø�¤®�+¦ � ú©��� ��ã Â ã  ��MA ������������ ���������/¥��iªßôQ�ò¥^©T¤�§iÑu­��c¢K�/� úg a÷Ç8�791��VÅaý~ÌZ��ÿߪñ���¨Lª©�Ä�n¬¬À¥ñª©�? =ª©� ¥R������¬�¬\��ª«�ª©�ð(ª©� ¥R���ûª�wñ���ð(ª��Ä���? Ä�ò¥���?����¤ôN¬ ªñ�iªS���¨�ª©�j�a�²¥ñª��'.{¨�ªS �(¥§�\�ûú��R ������������ ���������G¥��iª�ô¦�²¥3�¨Lª��Ä�ñ÷�������lð��n¬­��ª��úS���¥�ªñ��������ª§¥ õ�������¨�ª©�u�\���ß n¥ õH8�G�¥N%Kú^�ñ�C6¡ c¢�� õm¤Ùý�ø�¤6��] ��ã Â ã   'x M-¥§§¨Lª« ��U¬²ªÄ�ò¥.��¥��L �ª�¥ ¥§���� �ûú�������������� �������� ¥��iªßô?¥�¥��L©¨G�¨U���¤ª«�w§¨G�?����oÓª©�û�Gªñ�������*��t�¨�ª� ���§1�������� ���������Ý����� /��ô�ôLª ��� ¥G���¾���NªG���? /���L¬�� ���NªG��ú*�¨�ªD¥��iªßô?¥��|.{¨�ª� �n¥��S�ûúØ��¥©§¨�ª ��U¬ ª��Ä�2��ó�ªªñð��n¬­�L���iª« ���¦��\�¨�\�2��¥�©v��.�¨Lªf �¨*§¦XH�L¡{¤?Y&�>¢K�LÑ���ªP«�õ*�Þ¨=��§¨¦�²¥�¥���¤ôN¬��G�¨�ªR�?�U�Ró�ª©�Ä�ûúR ������������ ���������/¥��iªßô?¥�����¨Lª¥©§¨�ª ��U¬ ª�¬Ü���­ �.�¨Lªa¢K¤2¢K��­u©T¤2�U¢�®g¯�õ��Þ¨=��§¨*�ò¥��¨Lª1¥§�U�P��ú1�¨LªS��(¥�����ú�ª ��§¨D ������������ ����������¥��iªßôÝÿ��n¥� wª�ø��Nª �=ó«��ðnª����

� �

Page 17: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

hMN :^R�D�8�8�/ 1 7@RUGI5,7CD�1�]F<�79=�t4GF?a79Q9Q9/2?A5A<�GI5A:>=�791Y5,N :^5,GIB�QC:>?�DFEuÔL:>R�5,7CD�1d�Lt[?,/28�8�GI<�7C°U:>?�5,N[:�QC:>1 ]F5,NODFE�5,N[:<,:>¿L/ 7C<,:>=jR�D�8�8�/ 1 7@RUGI5,7CD�1 ?"E�DF<&GP?,791[]�QC:)?,Q97@R�:�XF:>R�5ADF<KtÀ5,N GI5f7@?Ut�GWXF:>R�5ADF<fDFE�?,7C°U:�ùÛ÷Çú®û�ü��VÅ&��ý~Ì&ÐI�~g;hMN[:8;DF5,7CXIGI5,7CD�1PE�DF<M:UXIGFQ9/ GI5,791 ]�?,R�N[:>=2/ QC:>?aX479G)5,N[:>7C<M1L/ 8ZB�:U<aDFEu?,5A:U\2?aDF<MX479G)5,N[:>7C<05ADF5,GFQÀR�D�?A507@?MGF?aE�D�Q9QCDKv-?U�x h0N[:-1L/ 8ZB�:U<�DFE�?A5A:U\2?°ªP«�7@?n5,N[:"1L/ 8fB�:U<�DFEÀ?AJ41 R�N[<�D�1 7C°>GI5,7CD�1 ?n<,:>¿L/ 7C<,:>=Y5AD)7@8;\2QC:>8;:>1c5�5,N[:"?,R~N[:>=43

/2QC:Fgu³sE�v�:M<,D�/[]�N Q9J�:>?,5,798�GI5A:0:>GFR~NOR�D�8Y8Z/ 1279RUGI5,7CD�1Y?,5A:U\O791cXFD�QCX4791[]&GFQ9Q2\ <,D4R�:>?,?ADF<�?0�VGf\�:U<�8Z/ 5,GI5,7CD�1��GF?�G�8;:>GF?,/[<�:M/ 1 7C5UtF5,N[:-1c/ 8ZB�:U<HDFE�?,5A:U\2?�79?u5,N[:0]FDcD4=;:UXIGFQ9/ GI5,7CD�1;DFE�5,N[:MR�D�?A5�DFE�5,N :a<,:>= 79?A5A<~7CB2/[5,7CD�1�gx Âw:�8�G>J½5A<,J½5ADzB�:w8;DF<,:j\ <,:>RU7@?A:FgÃ|}5P:>GFR~NÛ?A5A:U\�t"?A:UXF:U<�GFQ&8�:>?,?,GI]F:>?PDFE�= 7y¾�:U<,:>1T5PQC:>1 ]F5,N ?PGI<,::�¥[R�N2GF1[]F:>=�gÃh0N[:e=2/[<�GI5,7CD�1ÍDFEZGz?A5A:U\Û7@?OQ979SF:>QCJÎ5ADzB�:_<,:>Q@GI5A:>=Ö5AD²5,N :jQ9D�1[]F:>?A5PQC:>1[]F5,NÖDFE&5,N :>?A:8�:>?,?,GI]F:>?Ug�|¯?,798�\2QC:"8;DL= :>Q�v�D�/ Q9=W?A5,GI5A:f5,N GI5a5,N[:�R�D�?A5MDFE*G;?A5A:U\{79?²±�Ë�8�G�¥C%Kú^�©�C6¡ �¢À� õ³¤´ý�ø0¤6� ' É+´�tv-N[:U<,:u±z79?0G�?A5,GI<,5Ù3/[\e5,798;:&GF12=R´P5,N[:�791cXF:U<�?A:&DFEu5,N[:ZB2GF1 =[v07@=[5,N�D�1{G�\�NTJ4?,79RUGFQ�R�D�8�8�/ 1 7@RUGI5,7CD�1Q@791[S�g0|-Q95,N[D�/[]�N_5,N 79?M:�¥4\ <,:>?�?,7CD�1e=[Dc:>?^1[DF5^5,GISF:;N[DF5^?,\�DF5,?^GF1 =jQ9791 S�R�D�1c5A:>1T5,79D�1 ?�791c5ADOGFRUR�D�/ 1c5Ut�7C5N2GF?-\2<,DKXF:>1w/ ?,:UE�/ QÀD�1wGYXIGI<�7C:U5sJ{DFEn8YGFR�N 791 :>?)o Õ2t ¶�r g�hMN :�R�D�?A5"DFE�GY<,:>=279?A5A<�7CB�/[5,7CD�1�t2GFRUR�DF<~= 791[]�5AD5,N279?aE�DF<�8Z/2Q9G4t[79?a5,N[:&G�`O1 :&:�¥L\2<,:>?,?,7CD�1 ±±É7ªd«GË#µ É+®g¯v-7C5,NP8;DF5,7CXIGI5A:>?MD�/[<-791T5A:U<�:>?A50791WB�DF5,NP5,N[:&1L/ 8ZB�:U<aDFEu?,5A:U\2?MGF1 =P5,N :�5ADF5,GFQ�R�D�?A5Ug

K��²@��²I ¶ W £V§�Ñ*­�� ¦ � �>�hMN[:U<�:"7@?aG)XF:U<,JP?,798;\2Q9:^R~N GI<�GFR�5A:U<�7C°>GI5,79D�1dDFE*\ <,D4R�:>?,?ADF<a\2GF7C<~?a791�:>GFR�N{RUQ@GF?,?Ut 791W5,N[:&?,\�:>RU7@GFQ�RUGF?,:&v0N[:U<,:��GF1 =_Ì;t GF?Mv�:>Q9Q�GF?-ÐZGF1 =PÅ;t�GI<,:&<,:>Q9GI5,79XF:>QCJY\ <~798;:Fg�f¡�¤�ÑH¤���£Ó¢�£�¤� ¾@�M1¥�¥����RªS�¨����*]�RU=��V��ý�Ð���÷ � � y úM]�RU=À�V��ý~Ìf�n÷Ö]�RU=À�®Ð�ý,Å���÷ � õ��¨�ªñ��ú§��� �Äã<A äQ6�õ

� õÀý�øF�´"PBEDeF�HIHK� A �CW'X ø"÷ÛÐ J Ø � õ�� ò·A �u8�DL=�6'W'X õW÷Ö� J Ø �®øIÐ´Ë A �*8;DL=Ä6�®Ð�J Ø GF1 =P��J Ø <,:>?A\�:>R�5,7CXF:>QCJ�=[:>1[DF5A:&5,N[:Z791TXF:U<~?A:>?aDFEHÐfGF1 ={��8�DL= /2QCD�64�~g�f¡�¤�¤?Y Ô47912R�:�]�RU=À�V��ý�Ð���÷ ]�RU=*�V�Ký~ÌZ�Z÷ � t��P79?f<�:>Q9GI5,7CXF:>QCJj\ <�7@8;:�v07C5,NzÌ&ÐTt*N :>1 R�:Ov-7C5,N¦62gehMN[:U<,:UE�DF<,:5,N[:�791cXF:U<�?A:^DFE��Z8;DL=2/ QCD�6Y7@?�v�:>Q9Q�=[:�x�1 :>=e�VGF1 =WRUGF1WB�:"R�D�8;\2/[5A:>=WBLJY/ ?,7@1[]f5,N[:":�¥45A:>1 =[:>=D2�/ RUQ979=OGFQC]FDI3<�7C5,N28�GI\ \2Q97C:>=W5AD��)GF1 =D64�~gMÔ4798Y79Q9GI<�QCJFtL5,N[:�791TXF:U<~?A:&DFE�Ðf8�DL= /2QCD�6�79?Mv�:>Q9QÀ=[:�x�1[:>=�t[5ADLD[gahMN[:&R�D�1 =27C5,7CD�1õ�� ò øIÐ^÷ A 8;D4=�6O:>GF?,79Q9JY5A<�GF1 ?�Q9GI5A:>?0791c5AD;5,N[:fR�D�12= 7C5,7CD�1 ?}DFE*5,N[:&\2<,DF\�D�?,7C5,7CD�1�g

³Ù1d5,N 7@?M?,798;\�QC:&RUGF?A:Ft�v�:�N G>XF:)G�XF:U<,Jd1279R�:f?AD�Q9/ 5,7CD�1P5ADYD�/ <-?,R~N[:>= / Q97@1[];\ <,DFB2Q9:>8Pg�|^?,?,/ 8�:&x2<�?,5a5,N GI56¸5ô��ËÖÐ òÖ� g�hMN[:>1jv�:O?,7@8;\2QCJ{?�R�N[:>= /2QC:;R�D�8�8Z/21 79RUGI5,7CD�1 ?fRUQ9GF?,?&BLJjRUQ9GF?,?Ug72�GFR�N�RUQ9GF?,?f7@?�R�D�8;\�D�?A:>=DFE ç éë \2<,DLR�:>?�?ADF<-\�GF7C<�?a5,N GI5"GI<,:Z:>¿c/ GFQ@QCJP= 79?A5A<�79B2/[5A:>=WD�1_:>GFR�Ne<,DKvöGF1 =_R�D�Q9/ 8�1{DFEH5,N[:ZR�D�8�8�/ 1 7@RUGI5,7CD�1]F<�79=��u7@1Y:>GFR~NdRUQ9GF?,?Ut[5,N :U<,:�GI<,:":�¥4GFR�5,QCJQé ë ?A:>1 = 7@1[]f\ <�DLR�:>?,?,DF<�?}\�:U<�<,D�v&t GF1 = ç ë <,:>R�:>7CX4791[]�\ <,D4R�:>?,?ADF<�?�\�:U<R�D�Q9/ 8Y1�gfhMN 7@?^7@?^GW= 79<,:>R�5�R�D�1 ?A:>¿L/[:>1 R�:;DFE�ln<,DF\�D�?,7C5,7CD�1 q g��0DF5A:�5,N2GI516_=[DL:>?^=27CXL7@=[:ZÅbGF12=wÌ;�^/21 =[:U<5,N[:fNcJL\�DF5,N :>?,79?}]�RU=À�V��ý~Ìf��÷Í]�RU=À�®ÐTý,ÅZ��÷ � tL6�÷Í]�RU=À�VÅ&��ý~Ì&ÐI��÷Í]�RU=*�VÅaý~Ì&ÐI�H÷Í]�RU=*�VÅaý~Ìf�~g

h�D�?,R�N :>= / QC:�G;RUQ9GF?,?>tLv�:�v}GF1T5M:>GFR~NP\ <,D4R�:>?,?ADF<uõP÷�±¯6�ËPõ t[v0N :U<,: ��ã ±/ä ç ë ý �Äã õ äQ62t25AD�?A:>1 =Gf8�:>?,?,GI]F:^5ADf:>GFR�N�\ <�DLR�:>?,?,DF<�ø�÷¹µq6�ËeøU @tLv0N[:U<,: �Rã µtäïé ë ý �Rã øU NäQ6�tLGF1 =�øU ÷ÖÐ�J Ø � õm C� ò7A �*8;D4=�6��DF<�:>¿L/ 7CXIGFQC:>1c5,QCJFt�õm M÷���J Ø �®øU 9Ð1Ë A �u8;D4=�6�7CE0v�:dQCDLDFS�GI5;5,N :�<�:>R�:>7CXL7@1[]w?,79=[:��~g�³´1²DF5,N[:U<�v�DF<�= ?>t�5,N[:\ <,D4R�:>?,?ADF<�791ª\�D�?,7C5,79D�1jõ v07C5,N 7@1z:>GFR�NÍB2QCD4R,SzDFE�6²:>Q9:>8;:>1T5,?�8�/ ?A5Y?A:>12=¼Gi8�:>?,?,GI]F:{5AD²5,N[:d\2<,DLR�:>?�?ADF<791²\�D�?,7C5,7CD�1zøU �v-7C5,N 791�:>GFR�NªB�QCDLR�SiDFE36�:>QC:>8;:>1c5,?UgzhMN 79?)RUGF1ªB�:W=[D�1[:P791 �Cº�»!¼ ç á é�½ë R�D�8�\2QC:U5A:d?A5A:U\2?)DFE8�791��VÅMý~Ìf�f8;:>?,?,GI]F:>?Ugjm[DF<;791 ?,5,GF1 R�:FtH7CE}5,N[:U<,:WGI<,:Yx�XF:YB2QCD4R,S4?ZDFE0?A:>1 =[:U<~?O�VÅ ÷b��64�ZGF1 =�5,N[<,:U:�B2QCD4R,S4?DFE^<,:>R�:>7CXF:U<�?e�6Ì ÷ q 64�~t}v�:_N G>XF:_��?A5A:U\2?;v0N :U<,: q B2QCD4R,S4?;DFE"?A:>1 =[:U<�?;?,:>1 =Î8;:>?,?�GI]F:>?�5AD q B2Q9DLR�SL?;DFE

�>¶

Page 18: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

<,:>R�:>7CXF:U<~?UgªÂw:{RUGF1Î/ ?,:WGF1cJªGFQC]FDF<�7C5,N28ÄEÓDF<;]F:>1[:U<~GI5,791[]w5,N[:dB�QCDLR�Si\�:U<�8�/[5,GI5,7CD�1¯]}5,N[:PDF<~=[:U<�791[]jDFE^5,N[:R�D�8�8�/ 1 79RUGI5,79D�1 ?aB�:U5v�:U:>1dB2Q9DLR�SL?a79?07C<,<,:>QC:UXIGF1c5Ug

³´EÞ6Y÷Û�¤ËªÐ ò¼� t2v�:ZN2G>XF:)GF1{GFQ9Qy365ADI3GFQ@QÀR�D�8�8�/ 1 79RUGI5,79D�1{?,R~N[:>8;:Ft�GF?^79Q9Q@/ ?A5A<�GI5A:>=P791G2H¥[GF8;\2QC:f�Lt�B2/[5D�/[<a?,R~N[:>= / Q97@1[]&BLJYRUQ9GF?,?A:>?}QC:>GF=2?n5AD;GF1WGFQC]FDF<�7C5,N28pv0N :U<,:-GFQ9Q�8;:>?,?�GI]F:>?aN G>XF:�5,N[:"?,GF8;:"QC:>1[]F5,NWGI5aGZ]�7CXF:>1?A5A:U\�gn³sEÀ6�ä¼�ÌËzÐ ò¼� t v�:fN GKXF:fE�:Uv�:U<0RUQ@GF?,?A:>?M5,N2GF1d�Ì˪Рò½� g�³´1W5,N279?MRUGF?A:&v�:f?,7@8;\2QCJ�<�:U]F<,D�/[\{RUQ9GF?�?A:>?5,N GI50GI<�:&:>¿c/27CX�GFQ9:>1T5M8;D4= / Q9DS6WGF1 =P\ <,D4R�:U:>=dGF?0B�:UE�DF<,:Fg

Âw:�?,/ 8�8�GI<~7C°U:"5,N[:f= 79?�RU/ ?,?,7CD�1OBLJ�5,N :�EÓD�Q9Q9DKv0791 ]�<�:>?,/ QC5�f¡�¤�ÑH¤���£Ó¢�£�¤� �K|M1¥�¥����RªØ�¨U���0]�RU=À�V��ý�ÐI�Y÷ � � y ú;]�RU=À�V�Ký~ÌZ�O÷�]�RU=��®ÐTý,ÅZ��÷ � õ��¨�ª©�¾¥§©¨�ª« ��=¬­��w�Qª«��©¨©¬ �(¥�¥�¥��L �ª�¥ ¥§��ðnª§¬p�Ĭ²ª«�� (¥S�¿�*���¦��ôC����Ä�n¬Þ������������� ���������¥©§¨�ªñ�Rª�õ�����iªñ���.¥.�ûú.ó ���¨Ø�¨�ª.�����Äó�ª©���ûú1¥§�iª�ô?¥���? ��¨Lª��¿���¿�n¬Þ��(¥��^��f¡�¤�¤?Y |^?,?,/ 8;:;v-7C5,N[D�/[5&QCD�?�?"DFE�]F:>1 :U<�GFQ97C5sJe5,N2GI5fž5ÃÌ)gY|^RUR�DF<�= 7@1[]P5AD{5,N[:;\2<,:UXL79D�/ ?�= 79?,RU/2?,?,7CD�1�t�79E645½�ÀËeÐ òw� t�v�:^N G>XF:"�ÀËeÐ òw� ��5,N[:^1c/ 8ZB�:U<�DFE�RUQ9GF?,?,:>?~�u5,798�:>? ç ë ��5,N[:^1c/28fB�:U<�DFE�?A5A:U\�?nE�DF<n:>GFR~N�RUQ@GF?,?~�R�D�8�8�/ 1 79RUGI5,79D�1O?A5A:U\�?Ug�|}5�:>GFR~NP?A5A:U\�v�:"?,R�N :>= / QC:^8;:>?,?,GI]F:>?�DFE�5,N[:^?,GF8;:"RUQ9GF?,? A t[N[:>1 R�:0DFE�?,GF8;:"QC:>1[]F5,Nr!t�D� A �~g�³´Eq67ä¼�aËjÐ ò�� tLv�:^N GKXF:¤6;5,798�:>? ç ë R�D�8�8Z/21 79RUGI5,7CD�1�?A5A:U\2?UtL:>GFR�NWR�D�8;\�D�?A:>=ODFEÀ8;:>?�?,GI]F:>?�DFE�5,N[:?,GF8;:"QC:>1[]F5,Nw�V1 GF8�:>QCJFta¿ ~ _G��� Ø J è á ê J Ø��� ~ _������ ëj� ~ r!t�D� A @��v0N[:>1O\ <,D4R�:>?,?,791 ]ZGZ]�7CXF:>1WRUQ9GF?,? A "�o � ýû6 òi��r g

À��L§i�2¡�� � Â�GFQCSF:U<&GF1 =�Á^5A5AD�o�� ��r =[:>GFQ*v07C5,NeG�<,:>= 79?,5A<�7CB2/[5,79D�1Wv07C5,NeÅ ÷ÇÌ GF1 =jÐ)÷H³j�cg"Âw:�N GKXF:?,N[D�v01P5,N GI5-]FD�791[]�E�<,D�8b��5AD*³e�)RUGF1{B�:&?�798;\2Q97Cx2:>=Y5ADO]FD�791[]�E�<,D�8b�f÷ � 5AD�Ð"÷,³²g�³sE*]�RU=���³_ý,ÅZ��÷ � t5,N[:&5A:>R~N 1 79¿L/[:&=[:>?�R�<�7CB�:>=W791W5,N 79?a?A:>R�5,79D�1d:>1 GIB2Q9:>?a/ ?a5AD�<,:U5A<~7C:UXF:&5,N[:&<�:>?,/ QC5,?}DFEao�� ��r g

º\f²º Á* \kýs¦kNu\k�v�o¯¢S��o¯m(kÂÖN[:>1d]�RU=À�®ÐTý,ÅZ��÷ÛÐ! ]¦ � t2:>1c5A<�7C:>?0DFE*5,N :fR�D�8�8�/ 1 79RUGI5,7CD�1d]F<�79=d8�GKJP1[DF50B�:�:UXF:>1 QCJP= 7@?A5A<�7CB2/ 5A:>=OD�1{5,N[:<,D�v0?��V?,:>1 =[:U<�?~�~g-Ô[798�79Q9GI<~QCJFt4v0N[:>1P]�RU=*�V�Ký~ÌZ��÷¯� ¦ � t�:>1c5A<�7C:>?0DFEH5,N[:ZR�D�8�8�/ 1 7@RUGI5,7CD�1{]F<~79=d8�GKJ{1[DF50B�::UXF:>1 QCJW= 79?,5A<�7CB2/[5A:>=�D�1P5,N :fR�D�Q9/ 8�12?&��<,:>R�:>7CXF:U<�?~�~g()� ©n�z¢K¤ ��� �2§�Ñ*­���@Âw:fN GKXF:fÅ�÷ � �)GF1 ={Ð"÷ß�U] N[:>1 R�:ZÐ ÷ß�Lg�Âw:f?A:U:&7@1Ph�GIB2Q9:.)Z5,N GI50?AD�8;:�<�DKv0?aDFE*5,N[:&R�D�8�8�/ 1 7@RUGI5,7CD�1]F<�79=iN G>XF:W�d1[D�1[°U:U<�Dd:>1T5A<~7C:>?O�V8;:>?�?,GI]F:>?~�~tHv0N 7@QC:)DF5,N[:U<f<,D�v0?fN2G>XF: �U� gdÔ[798�79Q9GI<~QCJFtÀ̱÷ � �{GF1 =��d÷ q ]N[:>1 R�:M� ÷ q g�ÔLD�8;:MR�D�Q@/ 8�1 ?uDFE�5,N[:MR�D�8�8�/ 1 79RUGI5,79D�1;]F<�79=;N GKXF: ¶ 1[D�1 °U:U<,D�:>1T5A<~7C:>?UtTv-N 79QC:�DF5,N[:U<nR�D�Q9/28�1 ?N GKXF: �U� g

Á"/ <�x�<�?A5}]FD�GFQ�79?}5AD�=[:U5A:U<~8�791[:"5,N[:&8�G�¥[798�/ 8 1c/28fB�:U<}DFE*1 D�1[°U:U<,D;:>1c5A<�7C:>?a791WG)<,D�vÛDF<MG;R�D�Q9/ 8�1WDFE5,N[:fR�D�8Y8Z/ 1279RUGI5,7CD�1W]F<�79=�gHÂw:f?A5,GI<,5MBLJPGF1 GFQCJL°>791[])5,N[:f=279?A5A<�7CB�/[5,7CD�1�DFEu:>GFR~N_RUQ9GF?�?Ug���L§�§���@q-{ª©�Z]�RU=��®ÐTý,ÅZ�²÷ Ð ���? ²]�RU=��V�Ký~ÌZ�²÷ � �Â-Àª©��Å ÷ Å Ð ���? ÎÌ ÷ Ì Ð õØ���? /6 � ÷]�RU=À�VÅ$ Vý~Ì$ 9����.{¨�ªñ�¦6z÷×�� yÐ! 6 � õ.���? /��¾���`� ñ¬­�(¥�¥4BEDeF�HIH>� A � õ A "Ço � ýû6 ò¯��r õ.�¨�ª�ôC�û�ñ�ª§¥ ¥§���«¥�ô������ ¥G���ûª ��ò¥�������óñ���iª« D�(¥\ú©�n¬¬­�2�Þ¥0©x .{¨Lª©��ªÌ����ª ç _ë�à ªñ��������ª§¥rôLªñ�´��n¬ù�����R��fÌg q �n¬­�����L¥!�ûú´�¨�ª\�w���� (õ{���? ��?���NªÌ���Ä�¨�ªÌ�ûªñ�Ä�����?���w�. �n¬­������¥��x .{¨Lª©��ªÄ����ª�é _ëcà ª©��������ª§¥ÜôLª©�.�ß���#���Å$ ��û�2�Þ¥��ûúS�¨Lª1����� (õÜ���? ��?���Cª������¨�ª���ª©�Ä��������=�D�ß���Þ¥��

� )

Page 19: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

�f¡�¤�¤?Y mu7C<�?A5OQC:U5Y/ ?OR�N[:>R�SÎ5,N GI5R6Í÷ � Ð 6 � gÖÂw:evM<�7C5A:d�ª÷ç� �IÚ�GF1 =ÍÐi÷ÄÐ Ð�Ú4gÖÂw:_N GKXF:eÅ&�z÷�VÅ$ 9Ð! C� ð �V�� y��ÚT�n÷Ö�� yÐ! ð �VÅV y�IÚT�~gHÔ4798�79Q@GI<�QCJFtKÌ&Ð"÷Ö�� yÐ! ð �6Ìg 9ÐKÚT�~g*hMNL/ ?C6;÷Í]�RU=*�VÅ&��ý~Ì&ÐI��÷Ö�� yÐ! �]�RU=À�VÅ$ C�IÚ4ý~Ìg CÐKÚT�~gÔ47912R�:)�IÚd7@?"<,:>Q9GI5,7CXF:>QCJe\ <�7@8;:)v07C5,NiÌ ��BLJe= :�x�1 7C5,7CD�1jDFE}� ��GF1 =wv07C5,N�Ð�Ú���B�:>RUGF/ ?A:�]�RU=��V�Ký�ÐI��÷ � �~tÀv�:N GKXF:f]�RU=À�VÅ$ C�IÚ4ý~Ìg CÐ�ÚT��÷Í]�RU=À�VÅ$ Vý~Ì$ yÐ�ÚT�~g�Ô4798Y79Q9GI<�QCJFtL]�RU=À�VÅ$ Vý~Ì$ yÐ�ÚT��÷Í]�RU=À�VÅV �ý~Ì$ C�n÷ý6 � g

hMN :U<,:�GI<�: ç éë :>QC:>8;:>1c5,?)\�:U<�RUQ@GF?,?UgiÔ4791 R�:WGFQ9Q�RUQ9GF?,?A:>?)GI<,:WDFB 5,GF7@1[:>=²BcJiGe5A<�GF12?,Q9GI5,7CD�1�DFEVBEDGF�HEHK� � �~tv�:jRUGF1Ö<�:>?A5A<�79R�5WD�/[<�?,:>QCXF:>?�5ADÎ= 79?,RU/ ?�?,791[]�5,N :j=279?A5A<�7CB�/[5,7CD�1ªDFEZ:>QC:>8;:>1c5,?P791¼5,N279?WRUQ9GF?,?UgÇhMN :eE�DF<�8�/ Q9G791ßþÀ:>8�8�G � ?A5,GI5A:>?{5,N GI5PBEDGF�HEHK� � ��÷æ% N õ

ø O ÷Ä3 N Ð� O 8;DL= N Å

Ì O ' E�DF< �bã 3Pä ç éë gb�}/[53�Ð08;D4=;Å RUGF1z5,GISF:PD�1 QCJi5,N[D�?A:WX�GFQ@/[:>?�5,N GI5;GI<,:P8Z/ Q95,7C\2QC:�DFE"Ð GF1 =S3 �"8;D4=YÌ�RUGF1z5,GISF:PD�1 QCJw5,N D�?A:XIGFQ9/[:>?-5,N GI5�GI<,:�8�/ QC5,79\2QC:�DFEn�� �t�N :>1 R�:Z5,N :Z<,:>?�/ QC5Ug-h�DWR�N[:>R�S_5,N[:�5ADF5,GFQu1c/28fB�:U<^DFE�:>QC:>8;:>1c5,?Ut�1[DF5A:�5,N GI5ç éë ÷ ç _ ê _ b é _ è _è _ ê _ ë à ÷ ç _ é _ë à g

þÀ:U50/ ?M79Q@Q9/ ?A5A<�GI5A:"þ�:>8Y8�G q v0795,NWD�1[:�DFEuD�/[<08;DF5,7CXIGI5,791[];:�¥[GF8;\2Q9:>?Ug()� ©n�z¢K¤ ��� �2§�Ñ*­���@2nQ9:>8;:>1T5,?�DFE-:>GFR�NªRUQ9GF?,?)?,N D�/ Q9=�B�:WQCD4RUGI5A:>=²D�1 ç _ë�à ÷ â Ø ÷ q <,DKv-?;GF1 = é _ë�à ÷ÆÅ Ø ÷×�eR�D�Q9/ 8Y1 ?fDFE-5,N[:\ <,D4R�:>?,?ADF<0]F<�79=�gHþ�:U5-/ ?MR�N :>R,SdBEDGF�HIH�� � ��EÓDF<-791 ?A5,GF1 R�:Fgn³´1 = :U:>=Wv�:fN2G>XF:f5,N :�EÓD�Q9Q9DKv0791 ][gBEDeF�HIH>� � � ÷ü% �®�Lý � �~ýK�¿)cýAÕc�~ýK� � �Lý�)F�~ý��®�4ý �U� �~ý��¿)cý �>q �~ý�� � �4ý � �~ý

�®�LýAÕc�~ýK�¿)cý�)F�~ýK� � �Lý �U� ��ýK�6�Lý �Kq ��ýK�¿)Lý � �~ý�� � �4ýAÕ4�~ýK�6�Lý�)F�~ý��¿)Lý �K� �~ý�� � �Lý �Kq � 'þÀ:>8�8�G q ?,N[D�v0?À5,N2GI5Àv�:�RUGF1 1[DF5*/ ?A:�G0?,R~N[:>= / QC:nB2GF?A:>=&D�1�RUQ9GF?,?,:>?U�ÀR�D�1 ?,7@=[:U<�791[]a:>GFR~N)RUQ9GF?,?*?A:U\2GI<�GI5A:>QCJ

v�D�/ Q9={Q9:>GF={5ADW791 R�D�8;\�QC:U5A:fR�D�8�8�/ 1 79RUGI5,79D�1_?A5A:U\�?Ug-.-GI5,N[:U<>t�v�:)?,N[D�/ Q@=PB2/ 79Q@=P/[\_R�D�8�8�/ 1 7@RUGI5,7CD�1_?,5A:U\2?BLJf8�7y¥[791[]a:>QC:>8�:>1T5,?*DFE2?A:UXF:U<~GFQLRUQ@GF?,?A:>?Ut�791fDF<�=[:U<*5AD�/ ?A:�GFQ@QcGKX�GF79Q@GIB2QC:n\2<,DLR�:>?�?ADF<�?Ug*hMN[:}8�G�¥47@8Z/ 8Þ1c/28fB�:U<DFE�:>QC:>8;:>1c5,?�791)G"<,DKv¼DF<nR�D�Q9/ 8�1�DFE�5,N[:MR�D�8�8�/ 1 79RUGI5,79D�1)]F<�79=)79?HGF1)DFBLXL7CD�/2?�QCDKv�:U<HB�D�/ 1 =�E�DF<H5,N[:M1c/28fB�:U<DFE�?,5A:U\2?"DFE�GF1cJe?�R�N[:>= /2QC:Ft�B�:>RUGF/2?A:):>GFR�Nw\ <�DLR�:>?,?,DF<&RUGF1 1[DF5&?A:>1 =ª��DF<�<,:>R�:>79XF:��"8;DF<,:)5,N GF1eD�1[:�8;:>?�?,GI]F:GI50GF1cJPR�D�8�8Z/21 79RUGI5,7CD�1d?,5A:U\�g�f¡�¤�ÑH¤���£Ó¢�£�¤� ýEqM1¥�¥����Rª7�¨����n]�RU=��V�Ký�ÐI�"÷ � ���? ��¨U������ËÍÐ òß��ã 6�ÿß���¨�ª©�j�a�ò¥©ª*�¨�ª�������������� �������������� ��ò¥\ú§�=¬¬ ��� y ú���ª.�=¥©ª��¨�ª��?���¿�������� �ûúZ-{ªñ�����+��õv��.�¨LªÌ�Ä�ñ÷w�������b�����Ró ª©�*ü7DZ�ûú!ª©¬ ªñ�Rª©���¥!�������ß���/�ûúÜ�¨�ªÌ��������U�?������������w���� ��ò¥*ü7Çj÷lé _ë�à � è�È ê J Øê _ ��]���? ­ �.�¨Lª��Ä�ñ÷w������� �����Ró ªñ�Wü7ÉJ�ûú�ª§¬²ª©�Rª©���¥ ��ü�ý �n¬­�����H�ûút�¨�ª/ ������������ ���������������� ��ò¥Wü7É�÷ç _ë�à � èIÈ ê J Øè _ � ð�f¡�¤�¤?Y |^RUR�DF<�= 791[];5AD�þ�:>8�8YG � t25v�DY:>Q9:>8;:>1T5,?0DFEÊBEDGF�HIH>� A �aGF12=dBEDGF�HIHK� A �}GI<�:&D�1P5,N[:f?�GF8;:&<,D�v¯DFEu5,N[:R�D�8�8�/ 1 79RUGI5,79D�1�]F<�79=w79E*3�Ð¤Ë A }z÷Ë3a 9Ð¤Ë A }Y8�DL=;űEÓDF<�?AD�8;:+3�GF1 =K3a �791�5,N[:Y791c5A:U<,XIGFQ0o � ý ç éë òÛ��r g�-:>R�:>?,?,GI<�79Q9JFt�Ð! Ót�v0N 7@R�N{=27CXL7@=[:>?MÅ GF1 =��^3 ò 3a @�ÙÐTt�= 7CX479=[:>?Z� A;òKA @�ß}Àg0�}/[5-v�:)N G>XF:)�n} ò Ð!LY÷ � t�GF1 =_Ð79?}<,:>Q@GI5,7CXF:>QCJ�\ <�798;:"v0795,ND}�gn|ÞEÓDF<�5,7CDF<�7�Ð 79?M<,:>Q9GI5,7CXF:>QCJ�\ <�7@8;:-v-7C5,NØ}�g�h0N[:U<,:UE�DF<,:fÐ = 79XL79= :>? A�òKA g

î Q@GF?,?A:>?n?�N GI<,:05,N :-?,GF8;:-<,DKv-?nDFE�5,N[:-\ <,D4R�:>?,?ADF<�]F<�79=�79E�5,N :UJ�GI<,:-R�D�1[]F<~/[:>1T5}8;D4= / QCDfÐ! �guh0N 79?n7@1 = / R�:>?Ge\2GI<,5,7C5,79D�1�D�1ªRUQ9GF?,?,:>?UgiÔ4791 R�:O5,N[:U<,:WGI<,:W:�¥4GFR�5,QCJ é _ë à :>QC:>8;:>1c5,?)\�:U<Z<�DKv�791�:>GFR�NªRUQ9GF?,?>tnGF1 =²?,791 R�:�5,N[:1L/ 8fB�:U<-DFE�RUQ9GF?,?A:>?-R�D�1[]F<�/[:>1c5-5AD�5,N[:�?,GF8;:fXIGFQ9/[:Z8;DL=2/ QCDYÐ! �79?M:>7C5,N :U<�Æ èIÈ ê J Øê _ ÈZDF<D� èIÈ ê J Øê _ �Ft�v�:Z= :>= / R�:5,N[:&XIGFQ9/[:"DFEHü7ÇHg�hMN[:�XIGFQ9/[:�DFEuü7Éz79?}DFB 5,GF791[:>={?,798�79Q@GI<�QCJFg

� 0

Page 20: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

³´5f5,/[<~1 ?&D�/[5Z5,N GI5�5,N[:OQCD�v�:U<�B�D�/ 1 =wE�DF<�5,N[:O1L/ 8ZB�:U<ZDFEM?A5A:U\2?Z]�7CXF:>1�BcJwþ�:>8Y8�G_�_RUGF1�7@1 =[:U:>=�B�:GFR�N27C:UXF:>=�g

Z�«À�L¤�¡��L§ �¹M�¥ ¥§���Ī��¨����*]�RU=À�V�Ký�ÐI��÷ � ���? ��¨U���*�Ì˼Рò¼�Sã 6¾ÿß���¨�ª©�j�a�ò¥©ª��¨�ªR �����������������������w���� �ò¥�ú§�=¬¬ �Óõ¤���? G�w¥ñªÄ�¨�ªR�?���¿���������Ý�ûú�-{ªñ���Ä�R�G���? +-{ªñ���Ä�ÍÌ��Î.{¨LªR��ôC����Ä�n¬\�����Ró ªñ����úS¥§�iª�ô?¥$ªd«ÐÏ � £Þú©������`�R¥§©¨�ª« ��U¬²ª��ò¥ ªd«ÐÏ � £�÷Í8�G�¥q%Kü7Ç�ý,ü7É '�ð�f¡�¤�¤?Y Âw:&GFQC<,:>GF= J�SL1 DKvÖ5,N GI5}5,N[:�1c/28fB�:U<�DFE�?A5A:U\2?°ªP«�DFEÀGF1cJO?,R~N[:>= / QC:"79?�]F<,:>GI5A:U<a5,N GF1WDF<}:>¿L/ GFQ�5AD8�G�¥C%Kü7Ç�ý,ü7É ' g�Âw:f]�79XF:fGYR�D�1 ?,5A<�/ R�5,7CXF:&\2<,DcDFEu5,N GI505,N 79?aB�D�/ 1 =P7@?a5,7C]�Nc5U�nv�:Z=[:U<�79XF:&GY?,R~N[:>= / QC:�v-N[D�?A:1L/ 8fB�:U<�DFE�?A5A:U\2?}79?n8YG�¥N%Kü7Çný,ü7É ' g�hÀD)=[DZ?,D[tLv�:0B�DF<,<�DKvÖ?AD�8;:"8�GI5A:U<�79GFQ2EÓ<,D�8Ã]F<�GI\2NO5,N[:UDF<,JFgHÂw:"X47C:Uv5,N[:fR�D�8Y8Z/ 1279RUGI5,7CD�1W]F<�79={GF?MG;]F<�GI\2NÎÑÛ÷ô�^Ò�ýIÓ��~t�v0N[:U<,:x Òö÷#$§Ô3+�t�v0N :U<,:a$�÷ü% � ý � ý ðUðUð ýVõ òf�(' 79?�5,N[:n?,:U5�DFEL?,:>1 = 791[]}\ <�DLR�:>?,?,DF<�?Ut�GF12=�+Í÷ü% � ý � ý ðUðUð ý�ø òf�('

7@?a5,N[:&?A:U5MDFEu<,:>R�:>79XL791 ]�\2<,DLR�:>?�?ADF<�?©] GF1 =x �^÷ô� õÀý�øF�´"ÍÓp7CEuGF1 =WD�1 QCJW7CE�5,N[:&:>1c5A<,Jj� õ�ý�øI�a791W5,N[:fR�D�8�8�/ 1 7@RUGI5,7CD�1P]F<�79=P7@?a1[D�1[°U:U<,D[gÑp79?MG;B279\2GI<,5,7C5A:�]F<�GI\�N��VGFQ9Q�:>= ]F:>?-Q97@1[SOG;XF:U<�5A:�¥{791D$p5AD�G;XF:U<,5A:�¥_7@1Ý+-�~g�hMN :f=[:U]F<,:U:ZDFECÑ;t2=[:�x�1 :>=dGF?5,N[:Y8YG�¥4798�/ 8 = :U]F<,:U:�DFEM7C5,?�XF:U<�5,79R�:>?Utu79?�Y¡Õß÷ 8�G�¥C%Kü Ç ý,ü É ' gO|^RUR�DF<�= 791[]{5AD���ÖD�1 79][ÈÉ?�:>=[]F:OR�D�Q9DF<�791[]5,N[:UDF<,:>8dtc5,N[:^:>=[]F:^R�D�QCDF<�791[]�1c/28fB�:U<nDFE�GfB27C\2GI<�5,7C5A:M]F<�GI\2N�79?n:>¿c/ GFQ25AD�795,?�=[:U]F<�:U:��V?A:U:;oÔ)LtLXFD�Q®gn�Ltc\Àg �>¶F¶F¶�rDF<;��:U<,]F:jo��[tH\�g_� q 0 r �~g�hMN 7@?f8;:>GF1 ?Z5,N GI5�5,N[:�:>=[]F:>?�DFE0G{B�7C\2GI<,5,7C5A:Y]F<�GI\2N²RUGF1�B�:O\2GI<,5,7C5,7CD�1 :>=i791#Y Õ= 79?��ÙD�791c5n:>= ]F:"8YGI5,R�N 791 ]�?Ug�|ÛR�D�1 ?A5A<~/ R�5,7CXF:"\ <,DLDFEÀ79?�GF?}EÓD�Q@QCDKv0?>�*<�:U\�:>GI5A:>=2QCJ�:�¥45A<�GFR�5aEÓ<�D�8�ÓôG)8�G�¥[798�/ 88�GI5,R~N 791[]�5,N2GI5Y?,GI5,/[<�GI5A:>?OGFQ9Qa8�G�¥[798�/ 8 =[:U]F<,:U:_1[DL= :>?UgÎ|}5Y:>GFR~N¼7C5A:U<�GI5,79D�1�t�5,N :d:�¥47@?A5A:>1 R�:dDFE"?,/ R~N¼G8�G�¥[798�/ 8p8�GI5,R~N 791[]�79?�]�/ GI<�GF1c5A:U:>=j�V?,:U:^��:U<,]F:;o��4tL\�g �>qI��r �~g�h�DZ=[:�x�1 :05,N[:^?,R�N[:>=2/ QC:FtTv�:"?,798;\2Q9J�QC:U5�5,N[:8�GI5,R~N 791[]�?MGI50:>GFR�Ne7C5A:U<�GI5,7CD�1P<�:U\ <,:>?A:>1c5a5,N[:fR�D�8�8�/ 1 7@RUGI5,7CD�1d?A5A:U\2?>g

À��L§i�2¡��ÝI hMN[:^\ <,DLDFE�DFEÀhMN[:UDF<,:>8 � ]�7CXF:>?}G�B�D�/ 1 =�E�DF<}5,N[:"R�D�8;\2QC:�¥[7C5JYDFE�=[:U5A:U<�8Y791 791[]f5,N[:-DF\25,798�GFQ1L/ 8fB�:U<)DFE"?A5A:U\2?UgzhMN[:WB�:>?A5)SL1 DKv01ª8�G�¥[798�/ 8Ä8�GI5,R�N2791[]�GFQC]FDF<�795,N 8ÄEÓDF<;B�7C\2GI<,5,7C5A:�]F<�GI\2N2?;79?)= /[:W5ADk-DF\�R�<�DFEÓ5YGF12=¾�&GI<,\öo�O r GF1 =½N GF?YR�D�?,5+×��IØÙÒ+ØÛÚ: �~g¯Ô4791 R�:P5,N :U<,:_GI<,:eGI5O8;D�?,5Y8�G�¥��VÅaý~Ìf��7C5A:U<�GI5,7CD�1 ?Y5ADR�D�1 ?A5A<~/ R�5P5,N[:w?,R�N :>= / QC:Ft^v�:�N2G>XF:iG²\ <,D4R�:>= /[<�:j7@1�×Y�A�IØ Å4Ø�ËËØ�Ì4Ø���Ü: 5ADÎR�D�1 ?A5A<�/ R�5dGz?,R~N[:>= / Q9:ev-N[D�?A:1L/ 8fB�:U<aDFEH?A5A:U\2?079?a8�791 7@8�GFQ®g

º\feÝ �g�= \k?¡���¢ikKÞ(�àß�¢¿kN�ýkNu{x�oCx�y¿z{uÁ"/[<a]FD�GFQ�79?}5v�DFE�D�Q9=dv0N :>1d=[:>?,7C]�12791[])G�?,R�N :>= / QC:F�x 8Y791 798�79°U:-5,N[:Z1c/ 8ZB�:U<aDFE*?,5A:U\2?MDFE*5,N[:f?,R~N[:>= / Q9:Ft GF1 =x 8Y791 798�79°U:-5,N[:f5ADF5,GFQÀR�D�?A5MDFEu5,N[:&?�R�N[:>= /2QC:FgÂw:;N G>XF:;GFQC<�:>GF=[JP:�¥L\�Q9GF791[:>=_N[DKvö5AD�XL7C:Uv�5,N[:)R�D�8�8�/ 1 79RUGI5,7CD�1_]F<�79=_GF?"GYB279\2GI<,5,7C5A:Z]F<�GI\2NPÑô÷ �^ÒHýIÓ)�~gµ_DF<,:^GFRURU/ <�GI5A:>QCJFt[v�:-X47C:UvÖ7C5�GF?}GF1O:>=[]F:�36v�:>7C]�NT5A:>=dB27C\2GI<,5,795A:M]F<�GI\2N��u5,N[:^:>=[]F:^DFE�:>GFR�NW:>= ]F:;� õ�ý�øI�n79?�5,N[:QC:>1[]F5,NRDehji�kmln�� õÀý�øF��DFEu5,N[:&8;:>?�?,GI]F:Z?A:>1c5MBLJO\2<,DLR�:>?�?ADF<Hõ{5AD�\2<,DLR�:>?�?ADF<-øcg

Âw:�GF=[DF\ 5a5,N[:&E�D�Q9QCD�v0791[])5sv�DY?,5A<�GI5A:U]�7C:>?U�

� O

Page 21: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

�U¢K�4Ñ]á�£��>�¼³sEZv�:w?A\�:>RU7CE�JÎ5,N[:w1L/ 8ZB�:U<WDFE�?A5A:U\2?Ut^v�:wN GKXF:w5ADÎR�N[DLD�?A:�GI5P:>GFR~NÛ7C5A:U<�GI5,7CD�1ßGz8�G�¥[798�/ 88YGI5,R�N 791 ]Z5,N GI5}?,GI5,/[<~GI5A:>?�GFQ@Q21[D4=[:>?�DFE�8�G�¥47@8Z/ 8 =[:U]F<,:U:Fg�Ô[791 R�:0v�:-GI<�:-E�<,:U:^5AD�?A:>Q9:>R�5�GF1cJ�DFE�?,/ R~N8YGI5,R�N 791 ]�?Ut G)1 GI5,/[<�GFQ�79=[:>G�79?�5AD�?A:>QC:>R�5aGF8;D�1 ]�GFQ9Q�?,/ R�NW8�GI5,R~N 791[]�?}D�1 :^DFE*8�G�¥[798Z/28Ãv�:>7C]�Nc5&��5,N[:v�:>7C]�Nc5MDFEHG;8�GI5,R�N2791[]Y79?a= :�x�1[:>=PGF?M5,N :f?,/ 8 DFEu5,N[:�v�:>7C]�Nc5MDFEH7C5,?}:>=[]F:>?~�~g

��¡��L�c¬�Ïdz´E�v�:w?A\�:>RU7CE�Jª5,N[:e5ADF5,GFQ�R�D�?A5Ut0v�:wRUGF1ÍGF= DF\ 5�G²]F<,:U:>= J¼N[:>/[<�7@?A5,79RP5,N GI5P?A:>Q9:>R�5,?PG�8�G�¥[798�/ 8v�:>7C]�Nc5A:>=_8YGI5,R�N 791 ]OGI50:>GFR~Nj?A5A:U\�g}Âw:�8Y7C]�NT50:>1 ={/[\{v07C5,NdGO?,R�N[:>=2/ QC:fN GKXL7@1[]Y8;DF<,:Z5,N GF1RªP« Ï � £?,5A:U\2?MB2/ 5�v-N[D�?A:�5ADF5,GFQ*R�D�?A5079?aQC:>?�?Ug

h�De7@8;\2QC:>8;:>1c5�B�DF5,NiGI\ \2<,D�GFR�N[:>?>tHv�:O<,:>QCJjD�1�GeQ9791 :>GI<&\ <,DF]F<�GF8Y8�791[]dE�<�GF8;:Uv�DF<,S¼�V?A:U:woÔ)ctHR�N GI\25A:U<qI��r �~g�þÀ:U5

|B�:^5,N :¨ØÙÒ4ØLÉ·Ø Ó¨Ø47@1 RU79=[:>1 R�:�8�GI5A<~7y¥ODFEzÑ)t[v-N[:U<,:

4 ¤â¥ ÷ 8 � 7CEÀ:>=[]F:�ÚY79?a7@1 RU79=[:>1c5}5AD�XF:U<,5A:�¥GÂ� DF5,N[:U<,v079?,:

Ô47912R�:uÑô79?aB�7C\2GI<,5,7C5A:Ft|79?M5ADF5,GFQ9QCJP/ 1 798�DL= /2Q9GI<"��:>GFR~N_?�¿c/ GI<�:f?,/[B28YGI5A<�7y¥ODFE

|N GF?-=[:U5A:U<�8�7912GF1T5 � t � DF<

òf� �~gnh0N[:&8�GI5,R�N2791[]�\�D�QCJL5ADF\�:^DFECÑô7@?}5,N[:f?A:U5MDFEHGFQ9Q�XF:>R�5ADF<~?¤Ã�"Rãgä åCä�?,/ R�N{5,N GI58 Ã*�^���Ê5 � æ ��"RÓ¿¹çEèUé Ãu�^�K� ãÞ�êæ L7"ÎÒ �¿)F��V791c5,/ 7C5,7CXF:>Q9JFt¯Ã*�^�K�^÷ � 7y¾�:>=[]F:4��79?"?A:>QC:>R�5A:>=�791e5,N[:�8�GI5,R�N2791[]c�~g)��:>RUGF/2?A:�5,N[:;\�D�QCJ4N[:>=[<,D�1e=[:U5A:U<�8Y791[:>=BLJ*2�¿c/ GI5,79D�1�))79?a791c5A:U]F<�GFQ®t[v�:fRUGF1{<,:UvM<�7C5A:&795}GF?05,N[:f?A:U50DFE*GFQ9Q�XF:>R�5ADF<~?¤Ã�"Rã ä åCä ?,/ R~NP5,N GI5

ÃR5 � ý| à ã<ë v0N[:U<,: ë ÷Æìííî �

�ðUðUð�

ï0ððñ "Rã ä òóä ð ��0��h�D;x�1 =PG;8�G�¥[798�/ 8�v�:>7C]�Nc5A:>=d8�GI5,R�N2791[][t v�:fQCDLDFSOE�DF<ÌÃe?,/ R�Nd5,N GI5

8YG�¥N%�û £ Ã{]�ÃR5 � ý| à ã<ëÓ' ý ��O��

v0N[:U<�:fû¤"Rô ä åCä 79?a5,N[:�v�:>7C]�Nc5MXF:>R�5ADF<>g³´E�v�:0R~N[DcD�?,:M5,N[:3�w�ûª�ª« 2�M?,5A<�GI5A:U]FJFtcv�:0?,7@8;\2QCJ&<�:U\�:>GI5n5,N[:0?A:>GI<�R~N�E�DF<nG&8�G�¥[798�/ 8öv�:>7C]�NT5A:>=O8�GI5,R�N2791[]

/ 1c5,79QÀGFQ@Q�R�D�8�8�/ 1 7@RUGI5,7CD�1 ?"GI<,:;=[D�1[:Fg^³sEnv�:;R�N DcD�?A:)5,N[:�¥��iªßô]�a�ò¥©ª"?A5A<~GI5A:U]FJFt�v�:;N GKXF:)5AD�:>12?,/[<,:Z5,N GI5Ut�GI5:>GFR�N²7C5A:U<�GI5,79D�1�t*GFQ@QHXF:U<,5,79R�:>?ZDFEa8�G�¥47@8Z/ 8 =[:U]F<,:U:OGI<�:Y?,GI5,/[<�GI5A:>=�gWh0N 79?"5,GF?AS�79?f1[DF5Z= 7C`ORU/ QC5U��E�DF<f:>GFR~NXF:U<,5A:�¥7LODFEu8YG�¥4798�/ 8�=[:U]F<�:U:f791W\�D�?,7C5,7CD�1�ÂAt2v�:&<�:U\2Q9GFR�:�5,N[:fR�D�12?A5A<�GF791c5f� | Ã�� ¤ ã¯� BLJj�

| Ã�� ¤ ÷ � g�hMN 79?5A<�GF1 ?�Q9GI5A:>?f791c5ADØÁ £ | ò÷ A t�v0N[:U<,: A 79?�5,N[:Y1L/ 8ZB�:U<�DFE}8YG�¥4798�/ 8 =[:U]F<�:U:YXF:U<,5,79R�:>?ZGF1 = Á:"�% � ý �(' ä òCäv0N[D�?,:�:>1T5A<,JP791d\�D�?�7C5,7CD�1�Ân79? � 7y¾j5,N[:S®5,NPXF:U<�5A:�¥{79?aDFEu8�G�¥47@8Z/ 8±=[:U]F<,:U:FgnÂw:�1[DF5A:&5,N GI5-791P:>7C5,N[:U<-RUGF?A:v�:YN G>XF:OGP\�D�QCJL1 D�8�79GFQu8;:U5,N[D4=�g���:>RUGF/ ?A:O5,N[:�8�GI5,R�N2791[]d\�D�QCJ4N[:>=[<,D�1j79?�7@1T5A:U]F<�GFQ6t�v�:O?AD�QCXF:YGP<~GI5,7CD�1 GFQQ9791 :>GI<a\ <,DFB2QC:>8 B�/[5aGI<,:&]�/ GI<�GF1c5A:U:>=d5ADYx�1 =W791c5A:U]F:U<-?AD�Q@/[5,7CD�1 ?Ug

h�Dd?A:U:�5,N[:;EVGFR�5&5,N GI5�5,N :;]F<,:U:>=[Jj?A5A<�GI5A:U]FJwRUGF1wB�:)B�:U5A5A:U<f5,N GF1w5,N[:�?A5A:U\Lv079?,:)?,5A<�GI5A:U]FJ�791e5A:U<�8�?�DFE5ADF5,GFQÀR�D�?,5Ut�R�D�1 ?,7@=[:U<a5,N[:&E�D�Q9QCD�v0791[]�:�¥4GF8�\2QC:Fg

��� �2§iÑu­���Eî D�1 ?�79=[:U<}GZ<�:>= 79?A5A<�79B2/[5,7CD�1Y\ <,DFB2QC:>8Ãv07C5,NWÅÞ÷ � �Lt�̯÷ ¶ t �&÷ß�Lt GF1 =PÐ"÷ q g�hMN[:�R�D�8�8�/ 1 7@RUGI5,7CD�1�]F<�79=79?a]�79XF:>1d791Ph*GIB2QC: � Õ[g}hMN[:&?A5A:U\Lv079?A:&?,5A<�GI5A:U]FJd79?a79Q9Q@/ ?A5A<�GI5A:>=P791Ph*GIB2QC: � �L��5,N[:&1L/ 8fB�:U<MDFEu?A5A:U\2?-79?}:>¿L/ GFQ5AD �U� t v-N 79R�N{79?}DF\ 5,798�GFQ6tLB�/[5a5,N[:&5ADF5,GFQ�R�D�?A5079?M� � �V?A:U:fh*GIB2QC: �>¶ �~g�h0N[:�]F<,:U:>=[JW?A5A<�GI5A:U]FJP<,:>¿L/ 7C<�:>?a8;DF<,:?A5A:U\2?>t21 GF8;:>QCJFt � �{�V?A:U:fh*GIB2QC: � )F�~t2B�/[5M7C5,?a5ADF5,GFQ�R�D�?A5079? � 0;D�1 QCJe�V?,:U:Zh*GIB2QC: � 0��~g

� �

Page 22: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

h*GIB2QC: � Õ[� î D�8�8�/ 1 79RUGI5,7CD�1Y]F<�79=OEÓDF<aÅÞ÷ � �Lt ÌÞ÷ ¶ t[�&÷ß�Lt[GF1 =�Ð"÷ q g�µ_:>?,?,GI]F:&QC:>1 ]F5,N ?�GI<�:^7912= 79RUGI5A:>=E�DF<0G;XF:>R�5ADF<"ï DFEu?,7C°U:&ùª÷�O � g8:9T�UE�tN;J9A<�t?>�95I�tqB*95@�tNFH9�;NM

ÔL:>1 =[:U<�Ò�.0:>R�X�g � � � q Õ � �-B <aDFEH8�?A][g� � 3 � 3 � 3 q� � � � � � � ¶� 3 � 3 � 3 � qq � 3 � 3 � 3 qÕ � � � � � � ¶� 3 � 3 � 3 � q¶ � 3 � 3 � 3 q) � � � � � � ¶0 3 � 3 � 3 � qO � 3 � 3 � 3 q�U� � � � � � � ¶�F� 3 � 3 � 3 � q� � � 3 � 3 � 3 q�>q � � � � � � ¶� Õ 3 � 3 � 3 � q�-B <aDFEH8�?A][g �U� �U� �U� �U� �U� �U�

K��òEÐ��� ¦ ¤�§�ÑÀ��¡�£��>¤� SáW£Ó¢�«Ý®ô��­�� �4¡��� À¬Qõ;¢>¢K¤�öC� W ¢�¡��[¢K�L� ÏÂ�GFQCSF:U<fGF12=wÁ"5A5ADio�� ��r =[:>GFQuv07C5,NjG�<,:>= 79?,5A<�7CB2/[5,79D�1Pv0N[:U<,:;Å ÷pÌ GF1 =wÐ;÷b³j�Lg&Âw:;S41[DKvô5,N2GI5�]FD�791[]E�<,D�8 �P5AD�³j�PRUGF1iB�:O?�798;\2Q97Cx2:>=e5AD{]FD�791[]_EÓ<�D�8 �{÷ � 5ADjÐW÷l³²gP³´E}]�RU=À��³{ý,Å��Z÷ � t*v�:OGI\2\2QCJj5,N[:<,:>?,/2QC5,?�DFE�ÔL:>R�5,79D�1YÕ[g q g �W�V?A:U:".M:>8�GI<�S � �~gH³´1O5,N[:0]F:>1 :U<�GFQ�RUGF?,:)�®Ð! [÷Ö]�RU=���³_ý,ÅZ�°5 � �~t4RUQ9GF?,?,:>?�GI<�:0:UXF:>1 QCJ= 79?,5A<�7CB2/[5A:>=�GF8;D�1[]f5,N[:MR�D�Q9/ 8�12?uDFE�5,N[:MR�D�8Y8Z/ 1279RUGI5,7CD�1;]F<�7@=d��B�:>RUGF/2?A:M� ÷Ö�&÷ � �~tcB2/[5�1[DF5�1 :>R�:>?,?,GI<�79Q9JGF8;D�1[]e5,N[:O<,DKv0?>g{k0D�v�:UXF:U<Kt�GFQ9Qn<,DKv0?�N GKXF:O5,N[:W?,GF8;:�5ADF5,GFQ}1c/28fB�:U<&DFE01 D�1[°U:U<,D{:>Q9:>8;:>1T5,?�B�:>RUGF/ ?A:WÐ� = 7CX479=[:>?Z�SËßÐ ò¯� ÷5³²gw³´1²DF5,N[:U<;v�DF<�= ?>t�5,N[:WB27C\2GI<�5,7C5A:Y]F<�GI\�Nª79?f<�:U]�/ Q9GI<>g�|^1 =z?,791 R�:PÅ ÷ Ì;tnGF1TJ8�G�¥[798�/ 8�8�GI5,R�N2791[]Y79?aG�\�:U<�EÓ:>R�5M8�GI5,R~N 791[][g

��:>RUGF/ ?A:d�j÷ � t�GFQ9Q}8;:>?,?,GI]F:>?;N GKXF:W5,N[:P?,GF8;:WQC:>1[]F5,N���D hji�kmlnÀ� õÀý�øF�)÷ � E�DF<):UXF:U<,J�1[D�1 °U:U<,Dj:>1T5A<,J� õÀý�øF�0791d5,N[:�R�D�8�8�/ 1 79RUGI5,7CD�1_]F<�79=�gM|-?^GOR�D�12?A:>¿c/ :>1 R�:Ft�5,N[:Z?A5A:U\Lv079?,:Z?A5A<�GI5A:U]FJ_v079Q9Q�Q9:>GF={5ADWGF1{DF\25,798�GFQ?,R~N[:>= / QC:Ft*791w5A:U<�8Y?&DFE}B�DF5,N�5,N[:Y1L/ 8ZB�:U<&DFEM?A5A:U\2?ZGF1 =w5,N[:O5ADF5,GFQ�R�D�?A5UgD�-DF5A:Y5,N GI5)ªd«ÐÏ � £M÷l³ /21 =[:U<5,N[:�NcJc\�DF5,N[:>?,:>?"DFE�Â�GFQCSF:U<ZGF1 =iÁ^5A5AD[�&/ ?,7@1[]O5,N :�1[DF5,GI5,7CD�1wDFE�þ�:>8�8�Gd�LtÀv�:�N GKXF:Ä6_÷ÇÅ�÷ Ì)g�Ô4791 R�:�&÷Ö�� [÷ � t�Ìg ÷ÛÌ�]�Ð� ÷Í]�RU=À��³_ý,ÅZ�~t�Åö÷ßÐ! Å$ �t GF1 =�6 � ÷ÖÅ$ �g�Âw:�N G>XF:

ü7Çj÷ Ìg 6 � � �Ì˪Рò¼�Ð �^÷ �Ið Ð"÷�³_ý

ü7É�÷ Å$ 6 � � �Ì˪Рò¼�� �^÷ Å

Å ÐÐ ÷ßÐ"÷�³ ð

�-DF5A:&5,N GI5}5,N[:&?,GF8�:^<�:>?,/ QC5}GI\ \2Q979:>?�v-N[:>1W��÷ � GF12=PÅl[÷ÛÌ)g���:>RUGF/ ?,:&5,N[:"]F<�GI\2NP79?�<,:U]�/2Q9GI<aGF1 =PGFQ9Q:>1c5A<�7C:>?}791�5,N[:"R�D�8�8Z/21 79RUGI5,7CD�1W]F<�7@=OGI<,:":>¿L/ GFQ®t4v�:"N2G>XF:�5,N[:^EÓD�Q@QCDKv07@1[]f5,N[:UDF<�:>8Pt[v0N 79R~NY:�¥45A:>1 = ?}Â�GFQ9SF:U<GF1 =_Á"5A5ADY8�GF791W<,:>?�/ QC5&o�� �Ur g

� �

Page 23: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

h�GIB�QC: � �L� î D�8�8�/ 1 7@RUGI5,7CD�1P?A5A:U\2?��V?A5A:U\cv-79?A:&?A5A<�GI5A:U]FJ �}E�DF<0Åö÷ � �Lt�̯÷ ¶ t2�&÷ß�Lt2GF1 ={Ð"÷ q g

ÔL5A:U\cv-79?A:&?A5A<�GI5A:U]FJPE�DF<38:9T��E�tN;&9A<�t?>�95I�t2GF1 =�B�9A@ÔL:>1 =[:U<�Ò�.M:>R�X�g � � � q Õ �

� G 3 B 3 R 3� N 7 � : ] E� 3 B 3 R 3 Gq B 3 R 3 G 3Õ � : 7 N E ]� 3 R 3 G 3 B¶ R 3 G 3 B 3) 7 N E ] � =0 3 G 3 B 3 RO E 3 : 3 = 3�U� ] � = E 7 N�F� 3 ] 3 = 3 :� � = 3 N 3 : 3�>q : E ] � N 7� Õ 3 = 3 7 3 �

h*GIB2QC: �>¶ � î D�8�8�/ 1 79RUGI5,7CD�1PR�D�?,5,?Z�V?A5A:U\Lv079?A:Z?A5A<�GI5A:U]FJ �}E�DF<0ÅÞ÷ � �Lt�̯÷ ¶ t2��÷ß�Lt2GF12={Ð^÷ q g

ÔL5A:U\cv-79?A:&?A5A<�GI5A:U]FJPE�DF<38:9T��E�tN;&9A<�t?>�95I�t2GF1 =�B�9A@W ¢K�4Ñ � X © ¬ � Y � « £ � Z�¤2¢K��­¦ ¤��U¢ � � � � � � � � � � I�M

�f¡�¤�ÑH¤���£Ó¢�£�¤� ¾<��a����¥��� wªñ��� �ûª ��²¥§������ó©���������¦ôq�ß�wó©¬ ªñ�÷�a��¨_�_÷ � ÿ����N ����©ó©����ß�����PÅ�õ-Ì ���? dÐ����Q.{¨Lª¥§©¨�ª« ��=¬²ª3�=ª©�Cª©�û���iª« �ó0���¨�ª�¥��iªßô]�a�²¥ñª1¥§���ß���iª¿���7�²¥���ôC����Ä�n¬ õ���G�iªñ���.¥��ûú�ó«���¨D�¨�ªS�����Äó�ª©�1�ûú�¥��iªßô?¥����? 7�¨Lª�¿���¿�n¬g �(¥§�^�hMN :^?A5A<~GI5A:U]FJ�\2<,:>?A:>1c5A:>=�7@1O5,N279?}GI<,5,79RUQC:"8�GISF:>?M7C5�\�D�?,?,7CB�QC:05AD;= 7C<�:>R�5,QCJYN GF1 =2QC:-G�<,:>= 7@?A5A<�7CB2/ 5,7CD�1;E�<,D�8

GF1WGI<,B27C5A<~GI<,JY���[�c���I�*�����05AD;GF1WGI<,B27C5A<~GI<,JY���[�c���I�*�>Ë4�Tg�³´1WR�D�1c5A<�GF?A5Ut[5,N[:"?A5A<�GI5A:U]FJWGF=[XFD4RUGI5A:>=WBcJ�Â�GFQ9SF:U<GF1 =zÁ^5A5AD_<�:>¿c/ 79<,:>?&5sv�De<,:>= 79?,5A<�7CB2/[5,79D�1 ?U�&D�1[:OEÓ<�D�8 �T�4�c�����u�,����5ADw�T�4�c���I�u��ø�ù�ú����Cû�ËL�L��GF1 =�G_?,:>R�D�1 =D�1[:&E�<,D�8±�T�[�T�����u�0ø�ù!ún���zû�Ë4�c�-5AD��T�[�T�����u�>ËL�cgü â ý¼�Öæiè�ê�ì�#�+�é ìn�^!�í

hMN 7@?À?A:>R�5,7CD�1)\2<,:>?A:>1c5,?�<�:>?,/ QC5,?�EÓDF<u<�/21 ?�D�1�5,N[:}³Ù1T5A:>Q4luGI<�GI]FD�1)E�DF<*5,N :�<,:>=279?A5A<�7CB�/[5,7CD�1&GFQC]FDF<~7C5,N 8�=[:>?,R�<�7CB�:>=791{ÔL:>R�5,79D�1PÕ[g

�F�

Page 24: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

h*GIB2QC: � )c� î D�8�8�/ 1 79RUGI5,79D�1P?A5A:U\2?f��]F<,:U:>= JW?,5A<�GI5A:U]FJ[�aEÓDF<-ÅÞ÷ � �Lt�ÌÞ÷ ¶ t2�&÷ß�Lt2GF12=dÐ^÷ q g

�^<�:U:>=[J�?,5A<�GI5A:U]FJPEÓDF<�8T9:�UE�tC;J9A<�t?>�9VI�t GF12=�B�9A@ÔL:>1 =[:U<�Ò�.M:>R�X�g � � � q Õ �

� G 3 B 3 R 3� � S Q N ] 7� 3 B 3 R 3 Gq B 3 R 3 G 3Õ 7 ] N E : �� 3 R 3 G 3 B¶ R 3 G 3 B 3) N : ] 7 � =0 3 G 3 B 3 RO : 3 E 3 = 3�U� E 7 = ] N S�F� 3 E 3 = 3 :� � = 3 : 3 E 3�>q ] N 7 � S Q� Õ 3 = 3 : 3 E

h*GIB2QC: � 0L� î D�8Y8Z/ 1279RUGI5,7CD�1PR�D�?A5,?���]F<,:U:>=[JP?A5A<�GI5A:U]FJ �aE�DF<0ÅÞ÷ � �Lt�̯÷ ¶ t���÷Û�Lt2GF1 ={Ð"÷ q g

�^<�:U:>=[J�?,5A<�GI5A:U]FJPEÓDF<�8T9:�UE�tC;J9A<�t?>�9VI�t GF12=�B�9A@W ¢K�4Ñ � X © ¬ � Y � « £ � � ­ Z�¤2¢K��­¦ ¤2�U¢ � � � � � � � � � � � � �=µ

Ýgfih þtk?mn��vwy�ß\x�y¿zÀu2H¥4\�:U<�798;:>1c5,?�N G>XF:&B�:U:>1�:�¥4:>RU/[5A:>=PD�1W5,N[:"³Ù1T5A:>Q�luGI<�GI]FD�1�ÿ"l�ÒFÔW�)R�D�8�\2/[5A:U<av07C5,NWG î \ <,DF]F<~GF8 RUGFQ@Q9791[]<,D�/[5,7@1[:>?&E�<,D�8 5,N :Oµel�³�Q97CB <~GI<,JFg�µel�³�79?ZR�N[D�?,:>1iE�DF<Z\�DF<,5,GIB�79Q97C5sJ_GF1 =i<,:>/ ?,GIB27@Q97C5Je<,:>GF?AD�12?Ug{Ô4R�N[:>=2/ QC:>?GI<,:�R�D�8;\�D�?A:>=�DFE�?,5A:U\2?Ut[GF1 =�:>GFR�Nd?,5A:U\P]F:>1[:U<�GI5A:>?MGI5a8;D�?A5}D�1[:�?A:>12=�GF12=�Ò�DF<}D�1[:"<,:>R�:>7CXF:�\�:U<�\2<,DLR�:>?�?ADF<>gk-:>1 R�:&v�:f/ ?A:>=PD�12QCJYD�1[:�365ADI36D�1 :�R�D�8�8�/ 1 7@RUGI5,7CD�1W\ <�798Y7C5,7CXF:>?�EÓ<�D�8bµ_ln³~g

Á"/ <Z8�GF791�DFB��Ù:>R�5,79XF:Ov}GF?ZG_R�D�8;\2GI<�7@?AD�1�DFE}D�/[<)1[:UvÃ?�R�N[:>= /2Q9791[]P?A5A<�GI5A:U]FJ�GI]�GF791 ?A5Z5,N[:ORU/[<�<,:>1T5Z<,:�3= 79?,5A<�7CB2/[5,79D�1wGFQC]FDF<�7C5,N 8 DFE^Ô[RUGFþÀ|^l�| î � o � � r t�1 GF8;:>QCJFtH5,N :zØARUGI5A:U<�\279Q9Q9GI<~Ú{GFQC]FDF<�795,N 8 5,N2GI5�v}GF?)B <�79:�à2J?,/ 8Y8�GI<�7C°U:>=P791{Ô4:>R�5,7CD�1 q g �Lg�h�D�<�/21WD�/[<M?,R�N :>= / Q9791 ])GFQ9]FDF<�7C5,N 8Pt[v�:�\ <,D4R�:U:>={GF?MEÓD�Q9Q9DKv0?U�

� g î D�8;\2/[5A:&?,R~N[:>= / Q9:&?A5A:U\2?M/ ?�791[])5,N[:&<,:>?�/ QC5,?}DFE�ÔL:>R�5,7CD�1PÕ[g�Lg0luGFR�SdGFQ9Q�5,N[:fR�D�8�8�/ 1 7@RUGI5,7CD�1PB2/4¾�:U<�?Ugq g î GI<,<,J�D�/[5aB2GI<,<�79:U<M?AJL12R�N[<,D�127C°>GI5,7CD�1�gÕ[g^Ô45,GI<,5M5,N[:�5,798�:U<>g�Lg¤2�¥L:>RU/ 5A:^R�D�8�8�/ 1 7@RUGI5,7CD�1 ?n/2?,791[]�D�/[<�<,:>= 7@?A5A<�7CB2/ 5,7CD�1)GFQC]FDF<�7C5,N 8×��<,:>?A\�gu5,N[:^RUGI5A:U<,\279Q@Q9GI<nGFQC]FDF<�795,N 8O�~g

� q

Page 25: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

¶ g^Ô45ADF\d5,N[:&5,798�:U<>g)cg¤£^1[\2GFR�SPGFQ9Q�B2/4¾�:U<�?Ug

hMN[:;8�G�¥[798�/ 8�DFE}5,N[:;5,798;:U<~?�79?"5,GISF:>1�D�XF:U<ZGFQ9Qu\ <�DLR�:>?,?,DF<�?Ug)Âw:�:>8;\2N2GF?,7C°U:;5,N GI5&v�:�=[Dd1[DF5�5,GISF:O5,N[:R�D�?A5MDFEH8;:>?�?,GI]F:&]F:>1[:U<�GI5,79D�1{791c5AD�GFRUR�D�/ 1c5U��v�:&R�D�8;\2GI<,:ZR�D�8�8Z/21 79RUGI5,7CD�1dR�D�?,5,?MD�1 QCJFg

³Ù1 ?A5A:>GF=ªDFE"5,N[:dRUGI5A:U<�\279Q9Q9GI<�GFQ9]FDF<�7C5,N 8Pt�v�:_R�D�/ Q9=ªN GKXF:_/ ?A:>=Î5,N[:W·4¸�� ¹4�L�Tº »F¹4�L����R�D�8�8�/ 1 7@RUGI5,7CD�1\ <�7@8�7C5,7CXF:Fg�³´5�5,/[<�12?�D�/[5�5,N GI5�5,N[:�RUGI5A:U<�\279Q9Q9GI<�GFQ9]FDF<�7C5,N 8ßQC:>GF=2?�5ADMB�:U5A5A:U<�\�:U<,E�DF<�8�GF1 R�:H5,N GF1&5,N[:H·[¸�� ¹4�L�Tº »F¹4�L���E�DF<0GFQ9Q�D�/[<M:�¥4\�:U<�798;:>1c5,?f��5,N[:Z= 7y¾�:U<,:>1 R�:�79?a<,D�/ ]�N QCJ�� ��� EÓDF<-?,N[DF<,5aXF:>R�5ADF<�?^GF1 ={� � EÓDF<0Q9D�1[];XF:>R�5ADF<�?~�~g

Âw:;/ ?A:�5,N[:)?,GF8;:)\2NcJL?�79RUGFQÀ\2<,DLR�:>?�?ADF<�?-EÓDF<"5,N[:)791[\2/ 5-GF1 =_5,N[:�D�/[5A\2/[5^\ <,D4R�:>?,?ADF<"]F<�79=�g-.M:>?�/ QC5,?"GI<,:1[DF5MXF:U<�J�?A:>12?,7C5,7CXF:�5ADYN2G>X4791[];5,N[:f?�GF8;:�]F<�79=PDF<-= 79?�AD�791c5�]F<~79= ?}E�DF<0?A:>1 =[:U<~?aGF1 =P<,:>R�:>7CXF:U<~?UgÝgf�� �¦k?mn��¢¿x�mhMN[<�:U:�:�¥4\�:U<�798;:>1c5,?�GI<,:;\ <�:>?A:>1T5A:>=jB�:>QCD�v&g)hMN[:�x2<�?A5"5sv�Dd:�¥4\�:U<�798;:>1c5,?�/ ?A:)5,N[:�?�R�N[:>= /2QC:)\ <,:>?A:>1c5A:>=w791ÔL:>R�5,7CD�1�Õ[g q g �Lt�v0N279R�Nj79?"DF\ 5,7@8�GFQH791j5A:U<�8�?&DFE�B�DF5,Nj5,N[:�1L/ 8ZB�:U<�DFE}?A5A:U\2?�ªd«ÍGF1 =�5,N[:;5ADF5,GFQnR�D�?A5V®g¯)ghMN[:"5,N 79<�=Y:�¥4\�:U<�798;:>1c5}/ ?A:>?}5,N[:&?,R~N[:>= / Q9:-\ <�:>?A:>1T5A:>=P7@1PÔ4:>R�5,7CD�1WÕ[g�Õ[t v0N 7@R�NW79?�DF\ 5,798�GFQ�D�1 Q9JO791�5A:U<�8�?}DFEªP«�g()� ©n�z¢K¤ ��� �2§�Ñ*­����hMN[:{x2<�?A5�:�¥4\�:U<~798;:>1c5OR�DF<,<,:>?,\�D�12= ?�5ADQ2H¥[GF8;\2Q9: � tMv0795,N½Å ÷ Ì ÷ �>¶ t-�Î÷ q t-GF1 =ÖЪ÷ �LgöhMN[:<,:>= 7@?A5A<�7CB2/ 5,7CD�1w?,R�N :>= / QC:�<,:>¿L/ 7C<,:>?Ä)d?,5A:U\2?P�V?A:U:Ph�GIB2Q9: q �~g�Ô47@1 R�:OGFQ9Q�8;:>?,?�GI]F:>?;N G>XF:P?,GF8;:PQC:>1 ]F5,N�tH5,N[:5,N[:UDF<,:U5,7@RUGFQ�798�\ <,DKXF:>8�:>1T5�D�XF:U<}5,N[:-RUGI5A:U<,\�79Q9Q9GI<�GFQC]FDF<~7C5,N 8Ptcv0N 79R~N�GF? �>¶ ?A5A:U\2?UtL79?�)�Ç �>¶�� �4ð ÕFÕ[gnmu7C]�/ <,:-�?,N[D�v0?M5,N2GI505,N[:U<,:Z79?0GO?,7C]�1 7yx�RUGF1T5M= 7C¾�:U<,:>12R�:&B�:U5v�:U:>1{5,N[:f5v�DO:�¥4:>RU/[5,7CD�1{5,798;:>?Ug}hMN[:&5,N :UDF<,:U5,79RUGFQ�<�GI5,7CD79?YDFB 5,GF791[:>=¼EÓDF<OXF:U<,JÎ?,8�GFQ9QMXF:>R�5ADF<�?w��:Fg�][gCt0DFE&?,7C°U: � � �F� =[D�/ B2QC:�36\ <,:>RU7@?,7CD�1z<,:>GFQ9?��~gÛhMN 79?)<,:>?�/ QC5Y79?O1[DF5?,/[<�\ <�79?,7@1[]ZB�:>RUGF/ ?,:f?A5,GI<,5Ù3/[\_5,798;:>?M= D�8�791 GI5A:&5,N :ZR�D�?A5-EÓDF<^?,8�GFQ9Q�XF:>R�5ADF<�?>gMm[DF<^Q@GI<,]F:U<0XF:>R�5ADF<�?^5,N[:f<�GI5,7CDXIGI<�7C:>?�B�:U5v�:U:>1 �4ð � ¶ GF1 = �4ð ¶ Õ[g�hMN279?�7@?�=2/[:-5AD;R�D�1c5A:>1T5,79D�1P\ <,DFB2Q9:>8�?U�*D�/[<M?,R�N :>= / QC:U<}1[:U:>= ?}D�1 Q9J�)�?A5A:U\�tB2/[5�:>GFR�N)?A5A:U\)]F:>1[:U<�GI5A:>? �>¶ R�D�8�8�/ 1 79RUGI5,79D�1 ?UtIv0N[:U<,:>GF?�:>GFR�N)DFE[5,N : �>¶ ?A5A:U\2?*DFE[5,N[:}RUGI5A:U<,\279Q@Q9GI<�GFQC]FDF<~7C5,N 8]F:>1[:U<�GI5A:>?-E�:Uv�:U<0R�D�8Y8Z/ 1279RUGI5,7CD�1 ?f��B�:U5sv�:U:>1 ¶ GF1 =G0)\�:U<M?A5A:U\��~t 5,N[:U<,:UBLJW]F:>1[:U<�GI5,791[]�Q9:>?,?MR�D�1c5A:>1T5,7CD�1�g()� ©n�z¢K¤ ��� �2§�Ñ*­���IhMN[:^?A:>R�D�1 =O:�¥L\�:U<�7@8;:>1T5�R�DF<,<,:>?A\�D�1 = ?n5AD�2�¥4GF8�\2QC:-�Lt4v07C5,NYÅ�÷ÛÌÞ÷ �>¶ \2<,DLR�:>?�?ADF<�?UtL��÷�)ctLGF1 =WÐ"÷ �F� gÁ"/[<Z<,:>= 79?,5A<�7CB2/[5,79D�1w?,R�N[:>=2/ QC:Y<�:>¿c/ 79<,:>? �>¶ ?A5A:U\2?>tuGF12=�7C5,?Z5ADF5,GFQaR�D�?A5)79?�®g¯ ÷5)�)²�V?A:U:Wh�GIB2Q9: ¶ �~gjhMN[:RUGI5A:U<,\27@Q9Q9GI<�GFQ9]FDF<�7C5,N 8p<,:>¿c/27C<,:>? �>¶ ?A5A:U\2?UtL5ADLD[tLB�/[5nGI5�:>GFR�NW?A5A:U\WGI5�QC:>GF?,5nD�1[:^\ <,D4R�:>?,?ADF<�?A:>1 = ?�GZ8;:>?�?,GI]F:DFEÀQC:>1 ]F5,Ne��\ <�DF\�DF<�5,7CD�1 GFQ 5ADc�Ü)ct[N[:>1 R�:"GZ5ADF5,GFQ�R�D�?A5}DFE �F� �LgnhMN[:-5,N[:UDF<,:U5,79RUGFQ�]�GF791Ø)�)�Ç �F� � �Ö�4ð ¶ O�79?�5AD�B�::�¥4\�:>R�5A:>=dEÓDF<MXF:U<�J�QCD�1 ];XF:>R�5ADF<�?MD�1 Q9Je��B�:>RUGF/ ?A:�DFEu?A5,GI<,5Ù3/[\{5,798;:>?~�~gHÂw:f= D�1[DF5aDFB 5,GF791dGF1cJL5,N 791[])B�:U5A5A:U<5,N GF1 �4ð 0 ¶ t�B�:>RUGF/2?A:fDFE�R�D�1c5A:>1T5,79D�1 ?Ug32�¥L\�:U<�7@8;:>1T5,?0D�1{GF1_³´�}µÊÔ[l��;DF<^D�1eG7�-:U5v�DF<,S{DFEHÂwDF<,S4?A5,GI5,7CD�12?v�D�/ Q9=P8;D�?A5-Q97CSF:>QCJ�QC:>GF=P5ADY8;DF<�:�E�GKXFDF<�GIB2QC:&<~GI5,7CD�?Ug()� ©n�z¢K¤ ��� �2§�Ñ*­��GKhMN[:Y5,N 7C<�=w:�¥4\�:U<�798;:>1c5fR�DF<,<�:>?A\�D�1 = ?&5AD�2H¥[GF8;\2QC:YÕ[t*v-7C5,NiÅ�÷ � �LtnÌ ÷¶0LtH�{÷ Õ[t�GF1 =�ÐW÷ q g_hMN 79?:�¥4\�:U<~798;:>1c5}7@?M?,798�7@Q9GI<�5ADY5,N[:"x2<�?A5aD�1 :&791W5,N GI5MD�/[<0<,:>= 79?A5A<~7CB2/[5,7CD�1O?,R�N :>= / QC:�<,:>¿L/ 7C<�:>?�8�/ R~NdE�:Uv�:U<0?,5A:U\2?��Õc�M5,N GF1_= Dc:>?-5,N[:ZRUGI5A:U<�\279Q9Q9GI<)� � ���~g^h0N[:U<,:fGI<,:�5v�DW= 7y¾�:U<,:>1 R�:>?Ut�N[DKv�:UXF:U<>�0Å5[÷öÌ)t�GF1 =dD�/ <^GFQC]FDF<~7C5,N 879?�1[DF5f]�/ GI<�GF1c5A:U:>=�5ADdB�:)DF\ 5,798�GFQH7@1j5A:U<�8�?�DFE}5ADF5,GFQnR�D�?,5Ug�³´12?A5A:>GF=wDFE�DFB 5,GF791 791 ]�5,N :;5,N[:UDF<,:U5,79RUGFQn<�GI5,7CDDFEaÕ=Ç � � ���4ð qFq tHv�:ODFB 5,GF791�<�:>?,/ QC5,?&RUQ9D�?A:Y5AD �4ð ¶ gdhÀD_:�¥L\�Q9GF791w5,N 7@?UtÀv�:O1[:U:>=i5AD_5,GISF:WG{RUQ9D�?A:U<ZQCDLDFSwGI55,N[:�RUGI5A:U<,\279Q9Q@GI<-GFQC]FDF<�795,N 8Pga|-?^?,N[D�v01{7@1{h*GIB2QC: � OLt ¶ DFEH5,N : � �O?A5A:U\2?-DFEH5,N[:ZRUGI5A:U<,\�79Q9Q9GI<^GFQC]FDF<�7C5,N 8 GI<,:791 = :U:>=W:>8;\ 5JP?A5A:U\�?Ut GF1 =P5,N[:f5,N[:UDF<,:U5,79RUGFQ�<~GI5,7CD�<�GI5,N[:U<-79?}Õ=Ç ¶��Ö�4ð ¶F¶ g

��Õ

Page 26: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

0�

50000�

100000�

150000�

Global size of redistributed vector (64-bit double precision)�0

5000

10000

15000

Micro

seco

nds

P = Q = 16, r = 3 and s = 5.

caterpillar�optimal scheduling�

mu7C]�/[<�:f�L� î D�8;\2GI<~791[])<,:>= 79?,5A<�7CB2/[5,79D�1Y5,798�:>?aD�1P5,N[:&³Ù1c5A:>Q�luGI<�GI]FD�1dE�DF<0Å�÷¯Ì¯÷ �>¶ t2�&÷ q GF1 =dÐ^÷Û�Lg

h*GIB2QC: � OL� î D�8�8�/ 1 79RUGI5,7CD�1PR�D�?,5,?ME�DF<0ÅÞ÷ � �Lý�̯÷,0Lt2�&÷ÍÕ[t�GF1 =dÐ^÷ q v07C5,NW5,N[:ZRUGI5A:U<,\279Q9Q@GI<}?�R�N[:>= /2QC:Fg

î GI5A:U<,\�79Q9Q9GI<}E�DF<38:9T�UI�tN;J9Aµ�t?>�9¶K�t�GF1 =�B*9V@W ¢K�4Ñ � X © ¬ � Y � « £ � � ­ Z�¤2¢K��­¦ ¤2�U¢ q � � � q q q � � � q q �=µ

�Ö$-�)(�ë~')í�+�$-�

³Ù1�5,N 79?�GI<,5,79RUQC:Ft�v�:�N G>XF:�:�¥L5A:>12=[:>=&Â�GFQCSF:U<uGF1 =)Á^5A5AD[ÈÉ?Àv�DF<,S�791�DF<~=[:U<�5AD-?,D�QCXF:n5,N[:��2�4 À�4¡K��­L<,:>= 79?,5A<�7CB2/[5,79D�1\ <,DFB�QC:>8Pt�5,N GI5�7@?Ut�8;D�XL7@1[]wEÓ<�D�8óG����[�T���I�*�����{= 79?A5A<�79B2/[5,7CD�1iD�1ÎGwÅ"36\ <,D4R�:>?,?ADF<Y]F<�79=z5AD�G��T�4�c���I�u�UË4�= 79?,5A<�7CB2/[5,79D�1)D�1OG)Ì^36\ <,D4R�:>?,?ADF<�]F<�79=�gum DF<}�� �Ï{XIGFQ9/[:>?�DFE�5,N[:-<�:>= 79?A5A<�79B2/[5,7CD�1�\2GI<�GF8�:U5A:U<�?}Å;t[Ì;tL�LtLGF1 =�ÐTtv�:^N GKXF:�R�D�1 ?A5A<�/ R�5A:>=WG�?,R�N :>= / QC:-v0N[D�?A:^1c/ 8ZB�:U<�DFE�?,5A:U\2?}79?nDF\25,798�GFQ®g�Ô4/ R~NOG�?,R�N :>= / QC:^N GF?�B�:U:>1�?,N[D�v01DF\ 5,798YGFQa791z5A:U<�8�?;DFE^5ADF5,GFQ0R�D�?,5�EÓDF<�?,D�8;:d\2GI<,5,7@RU/ Q9GI<;791 ?A5,GF12R�:>?;DFE-5,N :P<,:>= 79?A5A<~7CB2/[5,7CD�1�\ <,DFB�QC:>8 ��5,N GI5791 RUQ@/ =[:}Â�GFQCSF:U<}GF1 =�Á^5A5AD[ÈÉ?�v�DF<,S[�~g�m2/[5,/[<,:Mv�DF<,S)v079Q@Q4B�:-=[:UXFDF5A:>=Y5ADfx�1 = 7@1[]�G&?,R�N :>= / QC:M5,N2GI5�79?HDF\25,798�GFQ791e5A:U<�8�?"DFE�B�DF5,Ne5,N[:�1c/28fB�:U<"DFE�?A5A:U\�?�GF1 =j5,N[:;5ADF5,GFQ�R�D�?A5�E�DF<&GI<,B2795A<�GI<,JdXIGFQ9/[:>?"DFE�5,N[:;<,:>= 79?,5A<�7CB2/[5,79D�1\ <,DFB�QC:>8PgnÔ4791 R�:"5,N 7@?a\ <,DFB2Q9:>8 ?,:U:>8�?MXF:U<,JW= 7y`�RU/ QC5&�V7C5M8�GKJ�\2<,DKXF:S�^lH3R�D�8�\2QC:U5A:��~t2GF1[DF5,N :U<0\�:U<�?A\�:>R�5,7CXF:79?^5ADPEV/[<,5,N[:U<^:�¥L\�QCDF<,:)5,N[:;/ ?A:�DFE�N :>/[<�79?A5,7@RU?0Q97CSF:)5,N[:)]F<,:U:>= J_GFQC]FDF<�795,N 8×5,N GI5"v�:�N GKXF:�791c5A<,DL=2/ R�:>=�t�GF1 =5ADYGF?,?,:>?,?M5,N[:>79<a\�:U<�EÓDF<�8YGF1 R�:>?Ug

Âw:0N2G>XF:M<�/21;G"EÓ:UvÎ:�¥4\�:U<�798;:>1c5,?Ut�GF1 =�5,N[:>?A:a]F:>1[:U<�GI5A:>=YDF\ 5,798�7@?A5,79R�<,:>?,/ QC5,?>gHÁ"1 :�DFE�5,N[:M1 :�¥L5H<,:>Q9:>GF?A:>?DFE*5,N[:ZÔ4RUGFþÀ|^l�| î �pQ@7CB <�GI<,JO8�G>J�v�:>Q@Q�791 RUQ9/ = :-5,N[:�<�:>= 79?A5A<�79B2/[5,7CD�1OGFQC]FDF<�7C5,N 8 \2<,:>?A:>1c5A:>=d791W5,N 79?aGI<�5,79RUQC:Fg

�F�

Page 27: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

0� 50000� 100000 150000Global size of redistributed vector (64-bit double precision)�

2000

4000

6000

8000

10000M

icro

seco

nds

P = Q = 16, r = 7 and s = 11..

caterpillaroptimal scheduling

������������� �"!#�%$&�'$&�)(+*����,�)$&�)-�.�/10+�"23(4.5�3��67�98%89(4�:(+-<;=�+���3�);�>?*�2A@��);<�<8��&/B0+��;7�DCE�3�,�)-�.GF+�)2H.50+�&*��9I3�)*3JK�,�);<�9*ML.5�,��NO��.5�);P/1�,0�$RQTSVU)W J7XGSZY�.50�[\SVU)W J^]_SVU+U4`

acbed)bgfhbgi�jkbel

m Uon&pq`srt-<2H0�����.3J_�u`vps0 �)89@�0�J#�s`xwy�,���+0��9-hJ#(+-7;{z:`s|}�3�,>+�)898~`Vr�89�9-��)(4��(+8��+�3N<�,(�/B�,(+$&�3�s0+����/B0+��*�.�(4.��92�t�g��2H0�;��};<�9*5.5�,�9N7��.���0�-h`��^�)�~�3�<�~� �u���E�y�,���M�+���"�B����J7.50'(46<6^�)(4�)`�rvF4(+89(+��N789�t(+*vpxzvw����u2H0�8��};��)*����9-��)*!K�)2,@7-<�923(+8�zv�36E0+�,.#r#L���Y4 ¡LypxzvwAJE(+-<;¢(4.�£�¤ ¤�¥�¦M§ §+¨�¨ ¨x©Aª4«7¬�©M­+®^¯)°�¥x©y± «7`

m �¡n&p�89(+�<;��}²s�3���+�+`�³��M�A�7´��oµ&�)�k´�¶,���)�B���y�o�7´��oµo`#·q�<-�0�;hJhU)¸�Yº¹�`m �¡n&»^`�px@<(4.5.5�3�~¼M�3�+J<½�`�zG`�¾q�98�N^�3��.3J �s`�½<`��#`�¿�0�-<��J z:`�»�2A@����)��N^�3�)J�(+-<;P»^` LÀ�:`�!Á�)-<��`�¾t�)-��3�,(4.��%-��"890 23(+8E(+;�L

;<���)*�*5�)*�(+-<;�2H0�$'$"�<-<�923(4.��90�-"*��3.�*k/10+�k;<(4.�(ºL�6O(4�,(+898��)8 6<��0+�+�A(+$'*3`Á �+Ã��A�7�+Ä7�MÅuÆ#�+�M�4ÄBÄ��3ÄO�+�7ÇqÈ��9µH�~�A�~É3Ã��À�,ÇÊ ���#�^à �~�B����JE�+W�ËMUÍÌA�ÎY4�Í�  ºÏ�JeU)¸+¸+Ð `

m Ï4n�½<`�px@<0��~J�½�` ·t�)$'$&�)8~J wA` ·q@<�9898�0�-�J�½�` ·_0�-<��(4���,(�J<»E`�Ñq*�.5��0��<2,@<0ÍFEJ�r�`����3.���.5�3.3J�|&`�» .�(+-<8��3>+J�·"`�Ò?(+89�+�3�)J(+-7;�z:`kpt`�ÒÓ@<(+8��3>+`=»�23(+¿Árt�^rvpx|&��rR6^0+��.�(4N789�Ô89�9-��)(4��(+8��+�3N<�A(Õ89�9N<�,(4��>�/10+�&;<�%*5.5�,��N7�<.5�);?$&�)$&0+��>2H0�$'67��.5�3�,*�L^;��)*,����-G�9*�*,���)*Á(+-<;:6^�3��/10+�A$'(+-<2H�+` Ê �+�v�EÃ��À�)�kÆx´�¶¡µo�Ö�Hµ Ê �+���"Ã��<�Ö�,���~�B�+��µAJ�¸�Y��9UA�OU)Ð JEU)¸+¸+W `ËÖ(+8%*50Ô¿Árt�^rvpx|cÒ×0+�����9-��ÙØv0+.5�"Ú'¸+Ð�ÌA`

�+W

Page 28: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

50000Û

100000Û

150000Û

Global size of redistributed vector (64-bit double precision)Ü0

5000

10000

15000

Micro

seco

nds

Ý

P = 12, Q = 8, r = 4 and s = 3.Þ

caterpillarßoptimal schedulingà

�����������ÔÏ��"!#�%$&�'$&�)(+*����,�)$&�)-�.�/10+�"23(4.5�3��67�98%89(4�:(+-<;=�+���3�);�>?*�2A@��);<�<8��&/B0+��;7�DCE�3�,�)-�.GF+�)2H.50+�&*��9I3�)*3JK�,�);<�9*ML.5�,��NO��.5�);P/1�,0�$RQTSVU)Ð J7XGSáÏÔ.50�[\SâW JE]tSâ� `

m Сn�½<`O½�`O·_0�-<��(4���,(�(+-<;¢·"`7Òã`7Ò?(+8��+�3�Í`_» 0+/1.��s(4�,��89��N7�,(4�,���)*x/B0+�_89�%-��)(4�v(+8��+�3N<�A('2H0�$&67��.�(4.��90�-<*#0�-Õ@<����@6^�3��/B0+�,$'(+-72H�G2H0�$&67��.5�3�,*)`x��ä5åqæèç#�)éÍ�~�3ê�JO��Y�Ë~��ÌA�9U)Ð�UA�OU) 4¹�JuU)¸+¸+Ð `

m W¡n&¾q�)-��Ù��`k¾q0�89��N�(+-7;�px@<(4�A8��)*G�s`Këe(+-�¿�0�(+-�`×æì�+�~�o�Dí?�,�+�v�EÃ����+�~�Ö�+��µo`�½�0�@<-<*:�_0+6<���9-<*3Jk�î�);7��.���0�-hJU)¸+ +¸ `

m YÍn"z:`ï¿e`O¾t�A(+@<(+$îJ7��`E¾t�UÖ0+.�*,2,@��)8~JO(+-<;¢¿e`<¿Á0ÍFxð(+*5I+`xñ��+�7Ç�É��)�ºòî�MÅ��A�+�'É3�B�7�+���+�o�B�3µA`s�g89*5�3F����3�)JhU)¸+¸+Ð `m  ¡n&»^`�|&` »E`�¾q��6<.�(�J�»E`�·"`�|G(+�7*�@<���EJ pt` LÀ��`��t�<(+-���J�(+-<;'��`�»�(+;7()>�(46<67(+-�`�px0�$&67�989�%-��}(4���,()>��Hó�6<���)*�*,��0�-<*

/B0+�:�Hô�23���)-�.��Hó �)23�<.���0�-=0�-�;<�9*5.5�A��N7��.5�);�LÀ$'�)$&0+��>Õ$Ô(+2,@<�9-<�)*3`?Â��+Ã��o�7�4Äx�MÅ�Æv�+�y�+Ä1Ä9�HÄx�+�7Ç¢È��9µH�~�A�~É3Ã��À�,ÇÊ ���#�^à �~�B����JE�+��Ë~��ÌA�9U)Ð+ÐÍ�OUÍY4� JgU)¸+¸+W `

m ¸¡n�½<`ï�#`��_0+6^2H�,0+/1.�(+-<;PzG`ï��`<|G(4��6Á`Krt-îõhö�÷Mø_(+8��+0+�A��.�@<$ù/10+�#$Ô(ºó��9$"�<$ù$'(4.�2,@7�9-��&�9-�N7��67(4�,.���.5�v�+�,(46O@<*3`��ä5åqæú û Ê �+�v�EÃ��~�1����JO��ËBÏ�ÌA�ü�+�+ÐÍ� �+��U4JgU)¸�Y4� `

m U3¹ºn"�v`�!}` |G(+89-<*g(+-<;Ô¿g`���` Øt�~`h�e��0�2H�)*�*50+�x$'(46<6O�9-��}.5�)2,@7-<�9ý ���)*g.50¡�s(4�A;<*g�Hô�23���)-�.x;<(4.�(:���);<�9*5.5�A��N7��.���0�-�`ä5þuþgþùÿ<�M�+��µ3ûKÆv�+�y�+Ä1Ä9�HÄhÈ:�%µo�~�o�~É3Ã��À��ÇÔ�O¶¡µo�À�)��µAJEW�ËMU)��ÌA�9U)�+�ºÏº�OU)�ºÏ�Y�JsU)¸+¸+Ð `

m U+Uon"|'`�|}�)-<-��);�>+J Ø�` Ø_�);��)8 ¼5�+0ÍF��924J (+-7; r:`è»��3.�@<�~` �kôÙ23�9�)-�. (+;7;����)*�* �+�)-��3�A(4.���0�- /B0+�NO8�0 2,��LÀ2H>�2389�92 ;7�9*5.5�,��NO��.���0�-<*3` wM- ������� å Ê æ���ä5þgþuþ �OÃÍ���)�y�A�+�v�EÃ��~�1��� Ê ���3Å3�)�M�)�7�A�3`£�¤ ¤�¥�¦M§ §+¨�¨ ¨x©A¯�¥7­�«Oª��º°�¥x©���«� �§�¯ ª�����§+¥ «��<ª+­�­��O¬)®� 7¯ J�U)¸+¸+Ð `

m U)�¡n"|'`�|}�)-<-��);<>+J�Ø�`�Ø_�);��)8 ¼5�+0ÍF��924J (+-7;'r:`�» �3.�@<�~`^râ89�9-<�)(4�5L�.��9$&��(+8��+0+�,�9.�@<$ /B0+�u2H0�$&6O��.��9-��}.�@��t$&�)$&0+��>(+232H�)*,*s*��)ý����)-72H�t�9-Ù;<(4.�(ºL�67(4�,(+8%8��)8<6<�,0+�+�,(+$'*3`hwM-��u� Åo�B´&å Ê æ���亳gÆ��Áå��ã�O¶4�v���ºµH�1Ã��R�+�PÆ��o�1�7�Í� �EÄ��Hµ���7Ç&Æ��M���)�~�Ö�A�&�5ÅtÆ#�+�M�4ÄBÄ��3ÄEÆ��M�����y�+�����B���+J^67(4�+�)*�U3¹��Í�OU+U+U4`Ervpx� �g���)*�*3JÁU)¸+¸+Ð `

��Y

Page 29: ²´³´µ¶¸·¹²/º0¬n»l¼¾½À¿ ¬$²´³/¬#Á!ÂÃ娀 ¿ÆÅ ¯-°³ ...softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR97714-S.pdfw vn np/q q p/z ztp/p0{ rG 7q wT¨ s p7

m U)�¡n&p�@<(4�,8��)*#��`O|G0��)8�N^�)8~J<·q(ÍF �9;�²t`O¿Á0ÍF+�)$'(+-hJhzv0+NE�3�,.t»E`E»�2A@����)��N^�3�)JO¾}��>¢¿e`E»�.5�3�)8��"½��)`�JO(+-<;Õ�Õ(4�,>¢�#`�^0�*5�)8~`�ÿÁ´��}ñ:� �+´'Æ_�3�1ÅH���A�&�+�7�o�������A�~�M�+�Õñ��+�7Ç�É,�)�ºòº`s!#@<�q�ÕwM!\�e�,�)*�*3J�U)¸+¸ºÏ�`

m UHÏ4n"rt-�.50��9-��×���3.���.5�3.3` åqÄ ���+�A�B�B´����Ö�=�5��Ç+�%µo�~�o�~É3Ã��~�B���T�'�3�B´��)Ǻµ'Å3�+�ìÉ3ÄD�Í�Hò �)¶+�3ÄD�B��Ç����A�+�v���ºµH�1�~�Ö�+��µo`R�g@<·.�@<�)*��9*3J��t-<��F+�3�,*,��.À>Ù0+/�!K�)-<-��)*,*5�3�:(4.v|G-<0)ó�F �98%8��+J ·t�)2H�)$�N^�3�"U)¸+¸+W `

m U)Сn"¿g`¡�g��> 8%89��(+-<;"²t`º!K0����,(+-<2A@��)(+�h`��kôÙ23�9�)-�.�N78�0�2���LÀ2H> 238%�92g;<(4.�(_���);<�%*5.5�,��N7�<.���0�-h`4wy-&þ�Ã��M�ÍÆ#����� �� J�F+0�8%�<$&�U+U)�+�'0+/!�Á���Í�~Ã��M�Hµ��:�+�À�Hµ:�1� Ê �+�v�EÃ��À�3�G�E�)�~�3�O�A�HJ767(4�+�)*:U)Ð+ÐÍ�OU)WºÏ�`�» 6<�,�%-��+�3�xëk�3�,89(4��JKU)¸+¸+W `

m U)W¡n"��`Á»�-<���ÍJ^»E`EÒT`ÁÑt.5.50�JK»^`E�t�<*�*MLÀ¿Á�);��3�,$'(+-�J^·"`^Òã`OÒ?(+8��+�3�ÍJÁ(+-<;×½�`^·t0�-���(4���,(�`�æ¢Ægä"�B´��Ô�,�+�v�OÄ9�3�À��5�ÖÅ)�3�5�3�O�A�H`u!#@��G�Õwy!Z�g���)*�*3J�U)¸+¸+W `

m UÍYÍn�½<`<�=`^» .��92,@7-�0+.�@hJ7·"`EÑ#"ï�t(+8989(4�,0�-hJ<(+-<;¢!}`<z:`E¾t��0�*,*3`s¾t�)-��3�A(4.��9-��Ô2H0�$'$"�<-<�%23(4.���0�-î/B0+�v(4���,(Í>P*�.�(4.5�HL$'�)-�.�*3�K;��)*�����-hJ¡�9$&678��)$'�)-�.�(4.���0�-�JÍ(+-<;}�3F4(+89�<(4.���0�-�`� �+Ã��o�7�4Ä �5Å�Æ#���y�4ÄBÄ9�HÄ��+�7Ç#È��9µH�~�A�~É3Ã��À�,Ç Ê �+�v�EÃ��~�1����J��U�ËMUÍÌA�9U)Ð4¹¡�OU)Ð+¸ JuU)¸+¸ºÏ�`

m U) ¡n"r�`¡!v@<���,�<$Ô(+89(+�+(+-<;�½�`¡z_(+$'(+- �º¼5(+$¢`��<(+*5.k(+;<;<���)*�*Á*��)ý����)-72H�u�+�)-��3�A(4.���0�-:/B0+��;<(4.�(ºL�67(4�,(+8989�)8�6<��0+�+�A(+$'*�7*��9-��"�9-�.5�3�+�3�_89(4.5.��92H�)*3`�wy- pq` LÀ�:`��t�<(+-���J<��`7»�(+;<()>�(46767(+-hJ���`�²x(+-��3�~¼M�3�+J7·"`7¾t�)8��3�A-�.5�3�)J<r�`�Ø_�%2H0�89(+�hJ(+-7;á·"`���(+;<�<(�J_�);<��.50+�,*3J$���+����Ã��)���Hµ×�+�OÇ Ê �+�v�E�1Ä��)��µ�Å3�+�PÆv�+�M�4Ä1Ä9�HÄ Ê �+�v�EÃ��~�B���+JtF+0�89�<$'� U3¹��+��0+/�K���Í�~à �5�oµ����+�À�Hµ:�1� Ê �+�v�EÃ��À�3�G�E�)�~�3�O�A�HJ�6O(4�+�)*:U)¸�UA� �4¹�  `Á» 6<�,�%-��+�3�xëk�3�,89(4��JÁU)¸+¸+Ð `

m U)¸¡n"|'`uF4(+-Óz#�3�)���v� ¼5�OJ#Òã`�·t�)-<�9*�*5�)-�J#�:`#½�`#»���6O*3J#(+-<;á�#`x�=`ïz:`ï�=`#��(+(+8�F4(+*5.3` rt-{�9$'678��)$&�)-�.�(4.���0�-/B�,(+$&�3�s0+����/10+�G�t�g�Ó;<�%*5.5�,��N7�<.5�);Õ(4���A()>�*}0�-?$&�)*�*,(4�+�HL�67(+*�*��9-<�î67(4�,(+898��)8�2H0�$&6O��.5�3�G*5>�*5.5�)$'*3`Ôä5þgþuþÿ7�M�+��µHû�Æ#�+�M�4ÄBÄ��3Ä^È��%µo�~�o�ÖÉ)à �À�,ÇÔ�O¶¡µo�À�3��µoJEY�Ë~¸�ÌA�ü +¸�Y)� ¸�UHÏ�JgU)¸+¸+W `

m �4¹ºn"r�`�Ò?(4�º(4.�(+-7��(+-<;î��` Ò×0�89/1�+`kz#�);7�9*5.5�,��NO��.���0�-'0+/KN78�0�2���LÀ2H> 238%�92_;7(4.�(&;<�9*5.5�,�9N7��.���0�-<*g�<*��9-������ewo`kÆv�+�&%�+Ä1Ä9�HÄ Ê ���#�^à �~�B����JE��U�Ë~¸�ÌA�9UHÏ� +ÐÍ�OUHÏ�¸4¹�JuU)¸+¸+Ð `

m ��Uon"·q(ÍF �9;ÕÒã`OÒ?(+8��+�3�}(+-<;×» .5�3F+�"ÒT`�Ñt.5.50�`tz#�);<�9*�.5�,��N7��.��90�-P0+/kN78�0�2���LÀ2H> 2389�%2:;<(4.�(�;<�9*5.5�A��N7��.���0�-7*s�7*��9-�����ewo` Ê �+�7�ÍÃ��A�5�3�7�Ͷ�'vÆ��M���)�~�Ö�A�'�+�7Ç&þeíH���3�o�Ö�)�7�A�3JO �Ë~¸�ÌA�ÎYº¹�Y)��Y4�+  JgU)¸+¸+W `

m �+�¡n"¿Á�)�kÒ?(+-���Jk½�(+$&�)*��=`�» .��92,@7-�0+.�@hJÁ(+-<;�»��9;<;<@7(4��.�@<(îpx@<(4.5.5�3�Ö¼5�3�+`Ôzv�7-�.��9$'�&6E�3�,/10+�,$Ô(+-<2H�&0+/u6O(4�,(+8DL89�)8g(4���,(Í>=(+*�*��9��-<$&�)-�.3�'(+-��)$'67���,�923(+8g*5.��<;�>+`Õwy- ������ å Ê æ(��ä5þgþgþ �OÃÍ���)�y�A�+�v�EÃ��~�1��� Ê ���3Å3�)�M�)�7�A�3`£�¤ ¤�¥�¦M§ §+¨�¨ ¨x©A¯�¥7­�«Oª��º°�¥x©���«� �§�¯ ª���)�§+¥ «��<ª+­�­��O¬)®� 7¯ J�U)¸+¸+W `

�+