read `BFF.txt`:

N0:=432:
M:=32:

DCSv(M,N0):


quit: