Update formula: tbl2asn 23.9