CHOSE DIVISIBLE
UF
[...]
BT
CHOSE