beam=13.0 # beam for decoding.  Was 13.0 in the scripts.
first_beam=8.0 # beam for 1st-pass decoding in SAT.
lattice_beam=8.0
max_active=10000