  dial table (n: rho_ceil vs rho_round):
    n= 8  ceil=1.17  round=2.34  energy(ceil)=dip  energy(round)=MET
    n=12  ceil=1.75  round=1.75  energy(ceil)=dip  energy(round)=dip
    n=14  ceil=2.05  round=2.05  energy(ceil)=MET  energy(round)=MET
    n=16  ceil=1.56  round=2.34  energy(ceil)=dip  energy(round)=MET
    n=21  ceil=2.05  round=2.05  energy(ceil)=MET  energy(round)=MET
    n=28  ceil=2.05  round=2.05  energy(ceil)=MET  energy(round)=MET
ALL GREEN: 2360 assertions passed. Witness v3.19 conforms to spec v3.19.
