The Brederode in June 1653

The Dutch fleet flagship is listed in Witte de With's journal as having 56 guns in June 1653. The only gun list that I have from that month has 54 guns. The main feature is that there seems to be a complete lower tier of 24pdr guns, except for the four 36pdr guns, rather than a mix of 18pdr and 24pdr guns. As I recall, there is an Danish article that gives a total of 56 guns, with a large number of 24pdr guns, as well. I need to find that and see what that list is, so I can compare that with the list from 22 June 1653.