1 2 3 4562 7 87 95
3 4562 4
2 2 2 34562 9
459
'( )* + ( , - ( , .* / 0 1 ( ./ 2 3 4 , - 1 * , , 5 ( 0 2 6 5 (
- * 5 4 ( 1 7
'( )* + ( , - ( , .* / 0 1 ( ./ 2 3 4 0 2 / , 8 3 9
( 3 1 8 0 - )( 3 , + 2 5 + ( 0 * + ( 1 7
'( )* + ( , - ( / : 1 8 3 9 ; 0 2 / , 8 3 9 ( 3 1 8 0 - )( 3 , + 2 5 + (
2 3 4 <= 1 8 3 9 7
'( )* + ( , - ( , .* / 0 1 ( ./ 2 3 4 2 0 0 ( 5 ( 1 2 , 8 3 9
: > ): 0 * + ( 1 7
'( )* + ( , - ( / : 1 8 3 9 ; 2 0 0 ( 5 ( 1 2 , 8 3 9 : > ):
4 8 2 : - 1 2 9 ) 2 3 4 <= 1 8 3 9
! "# ! $ ! % & "#
D 0 1 ( ./ D 0 1 ( ./
?- 1 * , , 5 ( @2 6 5 ( A* 5 4 ( 1 @2 / , 8 3 9 B3 1 8 0 - )( 3 ,
C2 5 + ( @* + ( 1
D : 1 8 3 9 <= 1 8 3 9
@2 / , 8 3 9 B3 1 8 0 - )( 3 , C2 5 + (
E0 0 ( 5 ( 1 2 , 8 3 9 F > ): @* + ( 1 <= 1 8 3 9
D 0 1 ( ./ E0 0 ( 5 ( 1 2 , 8 3 9 F > ): G8 2 : - 1 2 9 ) D : 1 8 3 9