.
.
35 . :
. .
. .
:
1) ;
2) ;
3) , .
().
:
1) , ;
2) 1.
:
) ();
) ();
) .
.
, λ.
.
. . .
.
9000.
(verification , ) , .
, . .
(validation , ) , , , .
, . .
- . .
:
- ;
- ;
- , , ;
- .
, :
- ;
- ;
- ( );
- .
, :
- ;
- ;
- ;
- ;
- .
.
, , , .
.