Professional Documents
Culture Documents
Lec 6 Assertions PDF
Lec 6 Assertions PDF
!"
Y
Y
Y
Y
!
"""
!
"
Y
#
& &
Y
°
° $
%
Â
#
"$"
"
"$
%""
&%
!"
& &
$"
"
$
%""
&%
&'() &'&) &' )
'() '&) ' )
&'() &'&) &' )
'() '&) ' )
" '( " '$ " ') *&') &'+&) &'+ ),
""
-
.
/
W 0
-
% $ *
&$+*
&
&$+
1
.
(
&
& &
&
#
$ # % &&'
&/ .&
-
&
0
& &
/ .
-
.
/
&
%
. $ # % &&'
2
3'--(- -)
°
°
° (
° 4-
°
)
( &
'(&() '((&) '((()
'&(() '&&&) )
5 3(-&-5
2 -3'--(- -)-
1 2-'2-2+&)
)
( &
'(&() '((&) '((()
5/ 0 . / 5
'&(() '&&&) )
5 3(-&-5-2-2+&-5
(
*#+++, ./ 5
*%-*%-,
*%-#-*,
Y
° 0
 4
#
"
&
° &
Â
&1#
"
%
#
Y .
.'
)
° 6.
Â
#
,
*
+
°
 7
#
% *
+
Y
.
2
Y
-
&
4
Y
0
5 34
5& 3
."
&1
&(
,
Y
.'
)
.
Y c
5 3
2 52 3
5
&
&&
%
7
5 37
8.58 3
5
c 'c)c '&c )
&
6.
.
3 '0) '00) '000 )5
3c'c '0c) '00c) '000 c)5)
3c' c)
5 "","
/0 1%22
c
37'c
)
c 7
3'c
)
&
7
0
.
7
&
' )
Y 0
° 7
. --
 .
-
Â
- c-4-&
Y
° "/ "
!$ "12'
3! 54
"5 12
° !
" ! "
4!
&
60
)
( &
'(&() '((&) '((()
'&(() '&&&) )
&
:
Y
5 !
Y 6
0
5 !
&
.
&
Y
°
.
-
Y $
&
&
. :
4
7
5 5 5 5
5 5 5 5
///
///
///
///
///
///
///
///
5 5
&
&
. :
'
&#)
5 5 6
5 5 6 6
///
///
///
///
///
///
///
///
5
5 6
(
60
:
64
67
5
5
5
///
///
///
///
///
///
///
///
%
%
5 5
&
60
:
6
6'
&#)
6
5
///
///
///
///
///
///
///
///
%
%
5
5 6
$
'$ )
Y 0
° 7
. --
 .$
-
Â
- c-4-64-
*&, 6*&,
° .
.
26--67-7
Y
° ! "/
!
° ! "/
!
$
Y 47
0
.
!
Y 6461
0
0
0
1 !
Y 76
0
!
60
4"
#
6
6 6
6
6
. $
Y $
# %"%
"
""
"
*
"11+
Y $
0
$ "
° /
° 0
-7
0
$
° 7
1
.7
(
&
56
5 6
$ /
"
& &
;
;
$#%
/#%'
# 7)
# ! )
%83#
# .4!
7*& 4& 44&,
% 8)
/ %
.!
7*c& c 4 ,
-
# %
!.
3
7*c& c ,
/
"
'
$"
/ 7*c& c 4 ,
/ 7*c& c ,
Y $
&
+&-
/
°
&
+
°
+
°
&
° .
<<
° 2
/
"
'.
& &
;
;
$#%
/#%'
# 7)
# ! )
%83#
# .4!
7*& 4& 44&,
% 8)
/ %
.!
7*c& c 4 , .
7*c& ,
-
# %
!.
3
7*c& c ,
/
"
'
$
"
/ 7*c& ,
/ 7*c& c ,
Y .
"
"""
""
"
%"%
$
,
)22
°
Â
-
Â
&
° 2
(
/
"
'.
& &
;
;
$#%
/#%'
# 7)
# ! )
%83#
# .4!
7*& 4& 44&,
% 8)
/ %
.!
7*c& ,
- 8#
43!
#
4.!
7*c& 4c& 44c &,
<<
+
# %
!.
3
7*c& c ,
&
/
"
'
$
"
/ 7*c& ,
/ 7*c& 4c& 44c &,
/ 7*c& c ,
Y .
"
%"
"
,
$ %
"
%"
")22
° $
 & .&
Â
°
.
%
Y %
°
° 60
-
-
-
Y
0
0
°
.
!
Â
° $
0 .
!
Â
4
44
5 *445 '
),
Y
%
° .
Y
° 7*-,
*-,
*-,
° *-,
.
° 4
°
&*-,
*-, 1 1.
60
( &
7* - ,
60
( &
* - ,
60
( &
60
( &
&* - , 1
Y .
1
-
2
/
7'
'
1) *(- ,
'
)))
Y
.
0
%
/
7'
'
)
'c'
)&* - , '
)))
');
!
!
"
#
(
Y
° ;
°
°
')
Y
°
')
Â
°
')
Â
°
')
Â
0.
° .
/ 666& (
666& ((
&
Y
°
.
Y .
° 6.
0
Y
.
° 6.
=
2
2
60
2
$2
2
1
& &( && &
5 "67,
,"
%
Y ;
60
%
'
&- -2-
&- )
& 7*& 4& 44&,
7*c& ,
7*c& 4c& 44c &,
7*c& c ,
Y
/
Y
&
5 "67,
,"
%
=
$
< '
+
$2
/
"
/$#%#%
/ '9
!#9
:$
/'#1 ;;##;;##9
!
!%9
:$
/' %9
!
6 87)(
!$#'
>
!$?! #
@'9
A6 B(
!$%'
>
!$?! %
@'9
/
"
9
4#%#%9
/9
/ 2#9
3
;#
/ 2D
/9
(
Y "
-$2-
°
$2 $'&- -&- -2 )
&
160
Y 10
2
Y 60
>>(& ==$"
""
>>&& == $"
"
&
>>& ==$"
&
8
>>* ,& ==$"
"
%
8 9
Y $
° >>&&
4&
° >>&
*-, &
° >>* ,&
*- , &
Y
10
"
>>*&,' )>>
160
Y 10
.
Y 0
-
>>*&,' )>>
1 &?
' )>> ?
1
1 ?
>>*&, &?
1
#
1
""
Y $
.
°
*,
.
°
* ,>>&1 2' 2)
. 1
°
* @,>>&1
. 1
°
11
.#"
# ",
'
*(@,>>&1
$
.
'//)
1 &?
A'
2)>>&* ,>>&?
1
2
$2
2
& &( && &
1
""
Y 7
°
* ,>>&1 1
'
.)
-
&/
7
1 &?
A'
2)>>&*%B ,>>&?
1
2
$2
2
& &( && &
1
""
Y %
.
°
*3 ,>>&
Â
"
"""
"
""
6
"
"
"
°
*3 ,>>&1
-
1
/
%
.
1 &
A'
2)>>&*3 ,>>&?
1
2
$2
2
& &( && &
%
Y
!
0
0
Y 6
60
'>>&) '>>&>> )
2
$2
2
(
Y
0
0
Y 6
0
Y
1
60
'>>&)
'>>&>> )
&
# //
'>>*& ,)
'>>&>> )
2
$2
2
%
Y
0
0
Y 6
60
'>>&) '>>&>> )
2
$2
2
Y
!55AE/9 6 F5
.2
';;G#>H
$&F5
!2
''1
;;G#>H$$6.22
A ';;G#>H
$6!22
A ''9
!
Y
.
/
Y
°
° 2
° .
?
A'
2) 1&?
?
Y & "<
<
!9
:$
/'
$#';;#$#&#'
;;#%9
!
Y
" 10
! A/ ! 9
:$
/'
$%;;#$&%%';;#&%';;#&%9
!
° $
! A/ ! 9
:$
/'
%;;#$&%%';;#&%1 ;;#&%9
!
Y .
°
- & -
&/
Y %.
°
- & 3B -
&/
& "
Y
& 0-
?
A'
2)
' )0 >>*&& ,?
$
Y
°
.
0
°
0
2
2
1G H
Y $
°
.
.
° 6.
2
° . .
.
2
&
°
')
Â
"
°
Â
"
° .
 ,
"
(
"
=
Y 60
,
%
""
#
)" &
&
,
"
;
;
! 3 9
:$
/'%1 ;;G#(>H%9
!
Y
1
&
!#9
:$
/'#1 ;;##;;##9
!
Y
..&
-&
0
!5 A#9
:$
/'#1 $&#'GI+H9
!
&
"
!5 A#9 &
&
:$
/'#1 $&#'GI+H9 ;
;
!
7#5 ( !$5 A#'9
Y &
7#5
6 87) 3
!#9
:$
/'#1 ;;##;;##9
!
6 87)( !$#'9
.
Y
.
&
Y
#
.
Y
.
-
2.
°
-
Y
.
-
2
$.
!+9
:$
/'&#;;# ;;#	
!
Y
%. &
.
Y $.
!+9
:$
/'&#;;# ;;#	
!
3!$+'
$.
;
2
Y ;
2
° $
1 - 1
.
2
°
2-
1
2
Y 6.%
°
.
Y %
° 0
';)
°
%
;
;
Y
.
Y J )4
)
Y !
(
! 4 !
3
;
7 Y
!
(A3!.
$ C '
.!
$7
'
7C8 .!
$87 '
Y 7C8 ( C4
Y !
!
!
!
.
# % - + K L M N O
/
)
C #
# %
%
!
J 8 7 7
Y
%
./-
#
Y
6-
.
.
Y 6
(
6.% $
Y
%
./-
#
?
A'
2)@ ') >>& *&@,>>(<1 ?
° @ ')
&
6.% $
Y
6-
.
.
Y
-
'1 CC CC<)
/
# % - + K L M N O
/
)
#
# %
%
C
!
7
7
J
8
0
Y D
"
!
9
.9
:$
/'$) &!.2
7'
1 ;;#$.22
7'9
!
° 2
6 -
°
6
"
!
9
.9
:$
/'$) &! &>
$!'.2
7'
1 ;;#$.22
7'9
!
6.% $
Y 6
$ ?
A'
2)
' CC@')) >>&'< <@'))?
° 0
' CC@'))
E
/-," <<
% $
Y $
E
0
8
.%
0
;
60
&)
&) ) &
) &
8
)
)
&)
&) &) )
)
7
) &!
) !
% $
&)
&) ) &
) &
8
)
)
&)
&) &) )
)
7
) &!
) !
!
9
.9
!
!
9
:$
/'
:$
/'
$ 22P
7.2
7'
$ 22P
'1 ;;#&$ 22P
'9
1 ;;#$.22
7'9
!
!
6
0
;
J $)!
/
7'9
G%(*H 9
P
-Q***
P8 -Q**#
P -Q*#*
P
7-Q*##
P
-Q#**
4 !:$
/ '
$ '
P
( R2)S$SP (P8 '(P
9
P8 ( R2)S$SP (P8 '(P
9
P ( R2)SP
7(P
9
P
7( R2)S$!SP
(P
7'(P
9
P
( R2)SP
7(P
9
2P
9
;
&) &)
) &
) &
8
)
&) &) )
7
) &!
7 57
!
!
9
.9
:$
/'$ #22P 7 57 %22P
7.2
7'
1 ;;#$.22
7'9
!
!
!
9
:$
/'
$ #22P 7 57 %22P
'1 ;;#&$ %22P
'9
!
(