The Brederode's armament

I have recently seen a number of gun lists, at different dates, for the Brederode. The Brederode was completed in 1645 and sunk at the Battle of the Sound in 1658.

25 March 1653  4-36pdr, 12-24pdr, 8-18pdr, 20-12pdr, and 10-6pdr
         1655  4-36pdr, 20-24pdr, 21-12pdr, and 10-6pdr
         1658  4-36pdr, 11-24pdr, 12-18pdr, 21-8pdr, and 9-6pdr

Sources:

1. Dick Luiting, "Brederode" De hollandske admiralskib, som sank under slaget i Oresond 1658, (date to be supplied)
2. Ron van Maanen, unpublished manuscript "Oorlogsschepen" van de admiraliteit van de Maze in de zeventiende en achttiende eeuw, undated
3. Ron van Maanen, unpublished manuscript "Dutch Warships 1600-1800", undated but circa 1992