const
int
K
;
Pmax
=?[
F
<=
K
"
err_G
"]