    "!$# 

%'&)(+*-,/.-01324+57698;:+<$=+>?
@BADC'EGFIHIJ+K;LBMN'O
PRQRSUTBVXWUY[Z]\'V VÂ Ã^Ä_ gÅg` aÆ ~ÇgbdÈcegÉzf Ê Ëgh Ì igzÍjÎzkÏl Ðz¡m ngÑ¢Ò£ogÓz¤p Ô¥q¦ÕrgÖg§ s ¨×t©ØuªzÙv Údw«zxz¬ÛÝÜ­y Þ{®ß|~¯ °gà}±á ²gâ ³~gãä´ µzåæz¶çg· ¸zè é¹êzº »gëì¼ zí½î¾ï¿ ÀðgÁñò óôzõög÷ø~ùúûü ýþÿ       ! "#%$'& ()*+-, ./0 124357698:;< = > ?@A-BC DEFG H-IJ KML'NOP Q-R ST-U4VWX-YZ[\]^ _4`4acbd9e-fg`h ijkl mnopq r-s4tuvxwyz{-|4}-~-M  c          M9         4x¡¢£x¤4¥¦§-¨©ª «4¬ ­ ® ¯°±²³´µ¶ ·¸4¹-ºx»4¼ ½4¾¿ ÀÁÂÃcÄÅ'Æ-ÇÈÉ4Ê-ËÌ-ÍÎÏÐÑÒÓ ÔÕÖ×ØÙÚÛ-ÜÝ Þß àá âãäåæ ç èxé4êëìí î-ïðñxò4óôõ-ö÷ øùúûüýþÿ    ! "$#% &'()*+,-./0 12345 67 89:; <=> ?@AB

CED F GHIJLKNMO$K HPQPRD S OUTV F W XPZY HF X[\MS
TD S OI X]CED X^`_$abHS D cG I H$W D MSdaeM[ Xg  Ýf!g h$ijg k$l$gmnporqpftsu vw`xNg hiRy zpnpzp{rzes s   

 





     






     g  Ý              | } ~     } ~     }  N        } ~  }N    }   ~  N~     ~    N N  ~                       `      ~    ~  ~   ~    }                  ~ }  }  }  } ~  }  }   ! }      ~        ~   ~        ~  ~        }             ~          r  }     ~  }  } ~      ~      } ~   ~    ~            ~ }  }       } }       ~       ~         ~     }  } ~   ~  } ~  ~         $ }    ~ }  ~            ~    ~   ~  }        ¡ }         ~          ~              }    $    N      ~   }      ¡$~          ~  ~         r     ~    ~      }   }    ~       ~     ~           ~         ~     } ~ } } }     }   *  (X ¢¡£¤¥¦[§ ¨©¢ª*«¬ ­®¯°±² ³´ µ¶·¸¹º »¼(½¾¿ÀÁÂÃ ÄÅÆ%ÇÈ
É%ÊËÌÍÎÐÏ ÑÒ%ÓÔ¢ÕÖ×Ø ÙÚ ÛÜÝßÞXàá âãäåæçè éêë*ì¢í[î ï ðñ%ò(óôõö ÷øù ú%ûüýþÿ     N¢ £d¤¦¥¨§ª©
«!¬L­®p¯ °E±² ³ ´pµ ¶L· ¸ ¹rº» ¼ ½!¾p¿ÀLÁÂÃ Ä!ÅÆÇÈÉ Ê ËrÌÍÎ$Ï Ð ÑÒ ÓrÔÕÖ×ØÙÚ
ÛpÜ!ÝÞpßLà áâLãä åpæçEèépêë!ìíLîLïðñ!ò
óôõ öp÷ øùpúû üý¨þ ÿ    

!" # $% & '( )*+,-.0/ 12 304567 89 : ; <=>? @ABC0DFEG0HIJKL0MN
O0P Q0RSTUVWX YZ[\0]^_ `a0bcde f ghij0kl m nopqrtsu v w xyz {| } ~  F       
F     ¡0¢ £0¤¥  ¦ ¨§ ©ª« ¬0­®¯ °±²³ ´µ0¶ · ¸ ¹º»¼½¾¿ ÀÁÂ ÃÄÅÆ0Ç ÈÉÊ ËÌ ÍÎ ÏÐ ÑÒ Ó ÔÕ Ö ×0ØÙFÚ ÛÜ Ý Þßà  á  !
" #%$&('*)%+, -./%012 3%45678 9:;<=>?(@AB CDE F%G HIJK L M NOPQ R*S%T(UVXWXY[ZX\X]X^X_`[abXcXd[eXfhg[iXjkl m n o p q mhr p s t p l u(v wx y v o w y o[l w z*{ w t v w o o p v w t | }~w v  o p 
m v n s   m    l
V VXX[XX% X[XX
 w m n v n  n os   w  s p u[l n v s w*x y v o w y o m~l w z*{  o y n p s w v y m | }hw v  o p m v n s  ~m    lâãäåæçèéêëìðñóòôtõ ö÷ùøúûüýþ ÿ         ! " # $%'& ()* +,.-/
0.1324 5637.8 9 : ;< => ? @ A'BDC EF3GHIJ
K LM NPOQ RS.T UV WX YZ[\] ^ _.` ab cde fhgPijk3l3mn o pqrsPtuPv3wx3yz3{ | } ~ 
3~ ~D3D. 3 3    . .3.¡.¢£P¤ ¥¦§¨3©Dª« ¬­ ® ¯° ± ²3³P´.µ ¶¸· ¹ º»¼ ½ ¾ ¿À ÁÃÂÄ ÅÆÈÇ3ÉÊ ËÌÍ ÎÏ.Ð
Ñ3Ò Ó ÔÕÖ3×ØPÙ.ÚÛÜ Ý Þ3ßà3á3â ãäåæ çè¸é ê ëì í3îïDð ñ òó3ô õ ö÷3ø3ù.ú.û ü.ý þ3ÿ       !"#$&%'( ) *+, -./0 123 4 5 6879;: < =>?&@ABCDEFGHI JKL MONP QRTS UVWXY
Z [ \ ]^&_`abcedgf&hjikl mOno pqrstuvw xyz&{|~}    O      ¡¢£¤¥O¦ § ¨©
ª «¬­ ®¯°&±²³ ´µ¶ ·¸¹~º»O¼½¾¿ÀÁÂÃ ÄÅÆÈÇÉ ÊËÌ Í ÎÏ ÐÑÒÓ~Ô&Õ Ö×Ø Ù ÚÛ Ü ÛÞÝßàáâã äå æç èé êëìíîïð ñòóôõöT÷ øùúûü ýþÿ    !

íîïîÛ,ÜÝÞß àáâãä&åæçè2éêëìí,îïðñ&òóôõö÷øù úûüýþÿ 

! "#$&%(')+*,-./0123
456789:;<=>?@ABCDEFGHIJKL
MN(O+NQPRSTUVWXYZ[\] ^_`abcde
f ghijklmnopqrsutvwxyz{|}~u  u¡u¢£¤¥¦§¨©ª«¬­®¯°±²³´ µ¶·¸u¹º»¼½¾ ¿ÀÁ&ÂÃÄÅ&ÆÇÈÉÊËÌÍÎÏÐ&ÑÒ ÓÕÔ ÖÕ× Ø ÙÚÛÜÝÞßà NQáâNQã
äå æçuèéêëìíîïðñò óôõö÷ø ùúûuüýþÿ     

 !"#$%& '() *+, -. / 0 123 456 7
8 9:;<=>?A@CBDFEGHI J KLMNOPQSRTU VWXY Z[\ ]^_`a b cd e f ghi jk lmnopqrs t u vw xSySz{|S} Nâ~ N    S   S C¡¢£ ¤¦¥ §¨ ©Aª«¬A­® ¯ ° ±²³´µA¶·F¸¹º »¼C½¾¿ÀÁCÂAÃÄ ÅAÆÇÈ É Ê ËÌ ÍÎÏAÐÑÒÓÔÕÖ×Ø ÙÚ ÛÜ ÝÞßSàáCâFãäåæCçAè éCêëìí î ïð ñ ò ó ôõö÷øùú ûüýþ ÿ      !"#$% &'"#$&%' ( )*,+-&./0213456 789:,;&<=>?@ABC&DEFG H&IJKL MNOP QSR TUWV&X
Y,Z[&\],^ _` ab cd e

Language Primitives(

Program

ATOM

Primitive Object

PREDICATE

Static Visualization of
the Program Structure(Editing)
FUNCTOR

Visual Expressions
Internal Expression(Symbolic)translating)*,+-.0/1 234576989:

Manipulation Methods

Dynamic Visualization of
the Program Behavior(Execution)interpretingfgihjklnmnoprqts
u v w,xy&z{,|&}~  
&,&&&S  ¡¢,£¤ ¥¦ §¨©ª«&¬­ ®¯°±²³ ´WµS¶S·¸¹º»¼ ½¾¿ÀÁ ÂÃÄÅ Æ ÇÈ,É&Ê ËÌÍ ÎÏÐSÑÒÓÔ&ÕÖ ×Ø&Ù ÚEditing (= Manipulation by User)

Visual Expression(Appearence, Action, ...)

Primitives

Symbolic Expression;<>=?@ A7B9C0DFE7GHI7J9KL9MNPOQ
Execution (= Manipulation by System)R S T U VXW9S U VYZ[0\0]^P_`baFcdefg0hi7j0klmnop0qr9stu0vw

Py z>{7| } ~   F  0b  
¡ ¢£0¤ ¥¦ §¨©ª¬«7­®¯° ±²³´0µ¶·¸¹º»¼ ½¾¿ÀÁÂÃÄÅ7ÆÇÈ0ÉÊËÌÍFÎ Ï Ð Ñ9Ñ9ÒÓ Ô Õ Ö Õ×ØÙ ÚÛÜÞÝßàáâã äåæç èé êëìíîïðñò7óôõ ö÷øùúûüýþ ÍFÎ Ï Ð Ñ9Ñ9Ò Ó Ô Õ Ö Õ7ÿÍFÎ Ï Ð Ñ9Ñ9Ò Ó Ô Õ Ö Õ  
!"#$%'&()*+, -./01 24356 7 8 9:;<=>? @ACBD4EF GHIKJ LMNOPQRKS TU
IKV WXYZ[\]IK^ _`abc d efg h i'jkKlnm opq rstuv wxy z {}|~ 
      ¡ ¢ £¤4¥'¦§¨©4ª«¬­¯®±°²³´µ¶·¸¹º»¼½¿¾ÁÀ Â ÃÄÅ4ÆÇ±È ÉÁÊË Ì¯Í4ÎÏIÑÐÒÓÔÕÖ×ØÙ ÚÛ Ü'ÝÞßàáâãäåæ ç
è'é ê ëì
Å4ÆÇíî ï ðñ òó'ôõö÷ø ù úû ü ýþÿ    !#"$%&(')*+,- ./021(34 5 6798:2;<=> ? @ A B C2DEFGH(IJKLMNOP Q R(ST
UVWX Y Z [ \]^_` abcdef ghij k
l m n o(pq rs(tu v wyx z {|}~2  ( (     ¡I£¢¤¥¦§¨© ª « ¬ ­® ¯°±²³´µ ¶ ·¸¹º»(¼½¾ ¿ À Á Â Ã ÄÅÆÇÈÉÊÌË#ÍÎ ÏÐÑÒÓ ÔÕÖ × Ø Ù(ÚÛ Ü Ý(Þßà áâ(ãä åæçèé2êë(ìÌí îï ðñòó ôõ ö2÷øùúûü ý þÿ  !"# $%&'()*+-,./01234 5678 9-:<;>=?@A B
C D EGFHI JKLMN
OPQ RS>TVU W X YZYZ[ \ ] ^ _ ^`abcd efghijklm-nop q rstu-vw xyz{|-}~  V   ZZ     - ->¡¢ £¤¥¦§-¨©ª«¬­®¯>°±>²³<´µ¶ ·¸ ¹-º» ¼½-¾ ¿ ÀÁÂÃÄÆÅÇÈÉÊËÌÍÎ<ÏÐÑÒÓÔÕÖØ× Ù ÚÛÝÜÞßàá â-ãåäæçèé>êÆë ìíîï<ðñòóôõö÷øù úû<ü ýþ-ÿ 
!"$#%&$')(+*,-.0/12

x

3456789:;0<=>?A@B0C$DEFGHJIKL
MON
PQRSTUVWX$YZJ[\]^_$`abcd$e$fghi$j$klmnopqrstu$vwx$yz{|J} ~0$$0
$0¡¢£¤¥¦$§¨J©ª$«¬­$®¯°±²³$´µ¶·¸J¹º0»¼Í¿Î¿Ï Ð+Ñ¿Ò ÓÇÔ+Õ ÖÇ× ØÙ¿Ú+Û ÜÇÝÇÞÇß à á+â ã¿½ ¾¿À Á+Â¿Ã Ä¿ÅÇÆ¿È É Ê+Ë Ì
ä$åçæèé êë+ìí+î+ïðñóòôOõ+ö÷Çøùúûüýþÿ    !#"$%(& ')+*-,/.(0124356789:;#<-=>4?(@AB#C
DEFGH#IJKMLN(OPQRS/T-UMVWX#YZ[\]^_`abcdeMf4g h i j#k#l#monMpoqrs+touv#wx
y#z{|}~###-M(
M4-Mo¡¢£¤+i-¥¦4§©¨«ª¬o­®¯M°±²´³ µ µ ¶ · ¸¹º»¼½¾¿MÀoÁÂÃÄ+ÅÆÇÈÉÊËÌÍÎÏÐÑoÒÓÔÕoÖ#×ØÙÚÛÜÝÞ ³ µ µ ¶ · ¸ ß à áâ#ãäå/æ(ç#èé#ê4ë-ìí4î©ï«ðòñ
ó4ô(õö#÷øùMúoûüýMþÿ 
    !"$#%& '$()+*,- ./ 0³ µ µ ¶ · ¸ ß à1 234$5 6789:<; =>?@A B C D$E
F$GH IJ KLMN OP QRS T UVW$X ³ µ µ ¶ · ¸ ß àYZ[\$] ^_`abcd ef ghijklm$n opqrstuvwxyz{|}~~$          $ $ $ ¡$¢ £¤ ¥¦§ ¨ © ª « ¬$­® ¯$°±²$³´ µ ¶$·¸¹º »¼½ ¾ ¿À$Á ÂÃ Ä Å$ÆÇ È$ÉÊË ÌÍÎÏÐ Ñ ÒÓÔ Õ Ö ×ØÙÚÛ Ü+ÝÞß$à áâã$äåæ ç è éêëìíîï ð$ñòóô$õö ÷øùúûü ýþ ÿ     !"#$ %&'()*+ ,-./012 3456789:<; =>?@A BCDEFGHIJKL<MNOPQRS TUV
WXYZ[ \]^`_ a bcd egf h ijkf l imno prq st uwvrxyz|{~} f h l i` r 
      ¡¢£¤ ¥¦  § ¡¨ ©ª²³µ´ ¶­·r¸­¹­º­»r¼ ½ ¾r¿rÀrÁ«­¬ ®­¯ °±ÂÃÄ Å ÆrÇ È ÉÊËÌµÍ Î­ÏrÐ­Ñ­Ò­ÓrÔ ½ Õ­Ö ×ØÙ ÚÛÜÝÞßàá âãä åæçèéêëìíîïðñò ó ôõö÷øùúû~üýÿþ     !" # $%&(') *+, -./0123456789: ;<= > ?@A B CDEF GHIJKLM(NOP QR STU(VWXYZ[ \ ]^_ `ab cd efhgji(klmonpqsrtou(vw(xoyz{|~}   hh     (       o¡ ¢£¤¥ ¦§¨©ª«¬ ­® ¯°(±²³ ´µ¶ ·¸¹ º» ¼½ ¾¿À ÁÂ Ã ÄÅÆÇÈÉÊËÌ ÍÎ ÏÐÑ ÒÓ ÔÕÖ ×Ø ÙÚ Û ÜÝ Þ ß àáâãä å æ ç èêéhå ç èëì íîïðòñóô~õ÷öø ùúûü ýþ ÿ 

   "! #$ % & '(") * +,- .

/10 2 3"4 56 7 8 9:") ;< =>?@ A B C C D E F G H GIJLKNMOLPRQ1S"TLULVXWYXZX[1\N]"^_`NabLcdNef1gLhiLjkmln
oqpXrsLtuLvNw"xyLzo|{X}~1L m   NLNLNmXNLLL1LL L¡¢N£¤L¥§¦"¨L©Xª«L¬N­N®¯L°±²N³N´µL¶N·¸¹º»¼1½¾1¿ÀNÁÂ§ÃÄÅÆNÇÈLÉXÊLËÌ§Í"Î1ÏÐNÑÒÓÔÕXÖ×RØ"ÙÚLÛmÜÝ1ÞXß1à1áâNãäRåæXç"èXéêëXìXí
îXï"ð1ñòNóôõö ÷ùøXúû1üý1þÿ     ! "#$ %&'()*,+.- /0213456 7 89: ;<=>?
@ABCDFEHGIKJ LMNOPQRST U VWXY Z[\]^_` abc,d.ef ghijklm nopqKrtsuvwxy z{|} ~     2 2¡ ¢ £¤¥¦ §F¨©ª«¬ ­®¯°±²³´µ¶·¸¹º»¼½¾ ¿ÀÁ,ÂÄÃ ÅÆÇÈ
É Ê2ËÌ Í ÎFÏ.Ð2ÑÒ ÓFÔÕÖØ×ÙÚ2ÛÜ ÝFÞßáàÄâã äåæçè éêë ìíî ïðñòóô õö ÷øùúûüýþ ÿ     

! " #$%&'()*,+-. /012345687
9:8;<=>8?A@B8CDEFGHAIJK LMN8OPQ8R
STUVWX Y8Z [\]^_` a b a cdefg8hiAjklm noqprstu vwxyz{ |}~,A q88  
,¡¢£ ¤¥A¦ § ¨©ª«¬ ­q®
¯° ±³²q´µ¶,·¸¹º8»¼½8¾8¿ÀÁÂ ÃÄ³ÅÆÇÈqÉÊËÌ8ÍÎÏÐÑ8ÒÓÔ ÕÖ×8ØÙÚÛÜ Ý Þ ßàáâã8äåçæè éê,ëqìí îï ðñò óôõö÷ø ù8úûüýþAÿ       ! " # $%$%& ' ( ) * )+,-/.012 34567 8
9:;<=?>A@BCDEF G H IJK L MNOPQRS
TUVWX YZ[/\]^ _/`abcd?ef ghi jk lmno?pAq rst?uvwxy z{|} ~! ? A}   ?AA¡¢£¤¥¦ §¨ ©/ª«¬­®?¯° ±²³´µ¶ ·¸¹Aº »A¼ ½¾¿ÀÁÂÃ ÄAÅÆ ÇÈÉÊËÌ ÍÎÏ ÐAÑ?ÒÓÔÕÖ× ØÙÚ ÛÜÝÞßàáâã?äå æ?çè?éê ëì íîïðñòóô} õöø÷ùú?ûüýþÿ 
 !"$#%&' ()*+,-./0123$4$5 678$9:;<=>?@ABCDE
FGHIJKLMNOPQRST} UöWVXYZ[\]^`_ ab cdefg hijlk mnopqrst$uvw$xyz{|}$~$$ 
$ ¡¢£¤¥ ¦ §$¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿À ÁÂÃÄÅÇÆÈÉ ÊËÌ Í Î$ÏÐÑÓÒ ÔWÕÖ×ØÙÛÚ ÜÝÞßàáâãäåæçèéêëíìïîðñòó$ô$õö÷$øùúû`üýþÿ 
!#"%$#&')( *,+ - . /0/01 2 3 4 5 46)78#9:;<=>?@#ABCD#EF#GHJILKMNOP)QRJS)TUVW
XY%Z[\]^_`La#bcdefghijk#lmno#pqrts)uvwxyz{|}#~%##L)#Lt)¡¢¤£ ¥¦#§#¨)©ª«#¬­®J¯°±²³´JµL¶·¸¹º»¼½¾#¿ÀÁ#Â)ÃÄÅÆÇÈÉÊËJÌÍÎÏ#Ð ÑÒÓÔÕÖ#×Ø#ÙÚÛÜÝÞtß#àáâãäåæçèéêtë ì £ í î ïðñòóôõö#÷ø ùúûüýþÿ   !"#$%&'()*+-,./ 01234-567-89;:<=>?@-AB C-DEFGHI-J

KLM-NO-PQSRSTSU

VWXWWhole Program

Goal: Rule undefined

Selected Area

Test Data

Z !#"%$#&%'()*+ , -The Program in this region isevalueted when test data isgiven

Y Z Z\[^]_a`b cSdfe g^hi jfklnmaofpqrst uSvwx yz{|}~S-;-- -¡-¢£¤¥ ¦§¨©ª«¬­®-¯°!±²³\´ µ¶· ¸¹º»-¼½¾¿ÀÁ Â-ÃÄÅÆÇ!ÈÉÊË!Ì-Í-ÎÏ!ÐÑÒ Ó-ÔÕÖ×ØÙÚÛÜÝ-ÞßàáâãäåæçSèéêë-ìíîïð ñ òóôõ!ö-÷ø-ùúû üýþÿ       !" #$%'&( )*+,-.!/'01!23546789 :';< =>@?A!BCDEF
GH!I5JKL M N O5PQRS TU VWYXZ![ \!] ^!_!`abc d e fg!hij!k l!m n!o!p5q r!stu vw x yz{ |}!~ ! ! ! !    ! ' !
¢¡¤£¤¥§¦§¨©ª «'¬ ­ ® ¯ ° ± ² ³ ´¢µ¶Y·¹¸ º »¼@½¢¾5¿À ÁÂ ÃÄÅ
Æ!ÇÈÉ Ê5ËÌ Í5ÎÏÐ Ñ Ò!Ó!Ô@Õ!Ö ×Ø5ÙÚ5ÛÜÝ5ÞßYàâáã@ä åæ ç!èé ê ëìíî ïðñò5óôõö ÷øùú!û@üý@þÿ   

. Z /!0#1%2#3%45678 9 :;<=>?@ABCDFE#GHIJKLM NPORQRSRTU
VWPXPYZ[R\ ]^_ `ab cd ef ghijPklmPnoRp q rstuvw x
yz { | } ~ ~ P  {        %PRF%P
% R ¡P¢£R¤ ¥¦P§P¨©ªP«¬­ ®
¯°±²³µ´%¶ ·¸¹Pº»P¼R½¾ ¿ÀÁÂ ÃPÄ ÅPÆµÇÈÉPÊPËRÌ ÍRÎ ÏPÐFÑÒÓÔÕÖ×ØÙ ÚPÛÜRÝ ÞRßPàPáRâ ãPäåRæçèPé êPëìîíïðñòôóõPö÷øùRúûPüýþÿ 

  !" # $%&(' ' ) &+* , - . . /(0 1 23465789:;< =>?@ AB
C DFEGHIJ KMLONFPQ RSFT UVW XY Z[O\] ^_F`ab cdeFf g hFijklFmFn opFqr s tuFvw
x yz {|} ~FF   F+FO¡F¢£ ¤ ¥¦F§¨ © ª « ¬®­¯© « ¬°O±²³´µ+¶O·¸(¹ º»¼O½¾O¿6ÀÁFÂFÃOÄOÅFÆÇOÈ¯ÉOÊFËÌÍÎ!"$#&%$'()*+&, -$.&/0123465&7 `98:;$<$=>?$@ACB$D$E&F ò1Þ Ý ~ G  F óÞ ~ G F } } ~  Ë   ÌG ôH~
ö H1I Ñ Ô Þ Ð FKJ ~ × Ñ ÔMÛL × Ñ × N × FPO ~ Q w Ñ Ù Ò ã Õ × Ù Ó Ñ ã
Ø × Ù × R â1Õ Þ  ã Õ × ÖSÎ Ù Õ Ü Ï Ù Ü Õ Ò× Ñ ÔÙ Ð Ò Ó Õ1òÓ å Ü × Ý IS } Õ Ò å å Ó Þ Ñ å Ó Ñ Ù Ð ÒéòÓ å Ü × Ý â1Õ Þ ã Õ × ÖÖÓ Ñ ã Î á å Ù Ò Ö FCT ø ù ÿ U ÿ ù V èÛê ë í î ï ð ñ-W î ë ÿ û æ û ï ð ñ ÿ ìï ù ê ûX Y Y Z F } }K~   Ì    ô  G ô H ~õ H[ ~ \ Ò Ô × Q^] Ü × Õ Ô Ò Ô J Þ Õ Ñ _ Ý × Ü å Ò å KF w _9`CL Ù Ò Ï ÐK~
Õ Ò } Þ Õ Ù&L9aC G Ë Ì 1F w Ñ å Ù Ó Ù Ü Ù Òb Þ ÕóÒ cP] Ò Ñ Ò Õ × Ù Ó Þ Ñ_ Þ Ö} Ü Ù Ò Õ KL Ò Ï Ð Ñ Þ Ý Þ ã á  G ô  H ~ô HedCf&ghQ9i&j k^l mon&poqr s6tuvwx6yzC{| òÓ å Ü Ý × Ñ F } ~&&$&&&C$$K   F &F   G  G  G ö Ë& G    H 
 H O Þ Ð Ñ ß Ù 1c Þ Þ Ô F Ú  Í  Ò Ù× Ý  Q Î Ù Ò Ò Õ Ó Ñ ãâ1Õ Þ ã Õ × Öå Ó ×9-L Ó ÖÒ9L Õ ×  Ò Ý F X Y Y æ ç1ç1ç¡ ¢ ë í ê ø ù î ë ê û£ ù ìø î ÿ ¤ Û¥ ÿ û ú î ÿ ú ð ø  G   ö H G Ë H-_ × Õ Ý å Þ Ñ F â  F Í Ü Õ Ñ Ò Ù Ù F Ú  × Ñ ÔK_ × Ô Ó ¦ F6O  Q ßÏÐ ÑÓÒ¯Ô Õ Ö×Ø+ÙÚ¯ÛÜ+Ý6Þ¯ßÎ Ò × ÖÝ Ò å å$ Ñ Ù Ò ã Õ × Ù Ó Þ Ñ9Þ b ß Ý ã Þ Õ Ó Ù Ð Ö ß Ñ Ó Ö× Ù Ó Þ ÑÓ Ñ Ù Þ × Ø Ò Ï Ý × Õ × Ù Ó  Ò òÓ å Ü × Ýâ1Õ Þ ã Õ × ÖÖÓ Ñ ã9äÛ× Ñ ã Ü × ã Ò FU ñ ê ð ð § ù û ú ø T § ¨ ÿ û ð § £ ù ø î ÿ ¤ æ û ï ð ñ þ ÿ ð øà+áãâåäçæ
© T £ æ ªY «  G   ö H 
G G H&[ × Ð Ñ F [  Q$KL Þ Þ Ñ -L × Ý N  -L ÚH ß Ñ ß Ñ Ó Ö× Ù Ò Ôèéê ëìí î ï ðñòóôõö÷ùøOúûüýþÿ
â1Õ Þ ã Õ × ÖÖÓ Ñ ão1I Ñ  Ó Õ Þ Ñ ÖÒ Ñ Ùb Þ Õ_ Ð Ó Ý Ô Õ Ò Ñ F ¬ ê î ñ ì         ! "#û ÿ ¤ ê þ K£ ù ø î ÿ ¤ K¥ ÿ û ú î ÿ ú ð ø ÿ û § è1ê ë í î ï ù û ú F ß Ï × $%&' ( )*+-, . /0123 45768 9:; <= >Ô Ò ÖÓ Ïâ1Õ Ò å åo G   ö H This argument doesn’t match any of
Goal’s reduction rule

Goal

Execution is suspended anduser can define new rule toproceed the execution?-@ABCDEF G HI JKL MNOPQ RS TU V W
X YZ[\] ^ _`acbdcegf h ij k lmnopqsr
tvuwxyz {| }~c    
    v ¡ ¢£ ¤¥-¦§¨ ©ªv«¬­ ®¯°±²³v´µ¶· ¸s¹ º » ¼7¹ º ½ ¾v¿
ÀsÁ-ÂÃÄ-ÅÆ Ç ÈÉÊËÌÍÎsÏÐÑ ÒÓ ÔÕ Ö ×ØÙÚÛvÜÝ Þßàáâã äå æ çèéëêíìîï ð ñvò óôõö ÷øcù ú û üýþÿ    ! "#$%&'()+*-,./102 3 456798: ;<=?>?@BAC DEFG H IKJ L M N OP QSRTU V WXYZ[ \]^_` abcdefgh ijk l9mnop qrstuv+w ` xyz {|` } } ~      C  C  D ~ D   `1 I-99
  ¡¢£ ¤¥9¦§ ¨©ª«¬9­® ¯` °±² ³ ´µ¶· ¸9¹º »¼½¾9¿ ÀÁÂÃÄÅ w w `ÆÇÈ ÉÊ ` } }K~  Ë    C  C  D ~Ì D Í ~ Î Ï Ð Ñ Ò Ó Ô Ò Õ Ö× Ñ I Ø Ó Õ Ò Ï ÙÛÚ× Ñ Ó } Ü Ý × Ù Ó Þ Ñ I ß Î Ù Ò }à Ò á Þ Ñ Ôâ1Õ Þ ã Õ × ÖÖÓ Ñ ãäÛ× Ñ ã Ü × ã Ò å `Kæ ç1ç1çéè1ê ëìí î ï ð ñ ` òÛÞ Ý ~ C ` óÞ ~ ô ` } } ~  õ  ö  C ô Ì D ~ D Î Ï Ð Ñ Ò Ó Ô Ò Õ Ö× ÑK` Í ~ IÛ÷ ð ø ù ú û ù û ú ï ü ð9ýKø ð ñ æ û ï ð ñ ìþ ÿ ð ` ß Ô Ô Ó å Þ Ñ  Ò å Ý Ò á ` Ñ Ô+Ò Ô Ó Ù Ó Þ ÑK` Ï Ð × } Ù Ò Õ C D~
 D `  I