the Older miners were given roughly 3 years pay as redundancy payments falling to the younger miners who had worked a few years getting about 1 years money
** these figures are from my memory of the display at the big pit and might not pass your stringent fact checking tests