const
int
k
;
Pmin
=?[ !"
one_critical
"
U
(
p1
=
2
) {
draw1
=
1
& !"
one_critical
" &
maxb
<=
k
}{
min
} ]