There must be credited to the Account amounts equal to the following:
(a) $2 billion, to be credited on 1 July 2013;
(b) $2 billion, to be credited on 1 July 2014;
(c) $2 billion, to be credited on 1 July 2015;
(d) $2 billion, to be credited on 1 July 2016;
(e) $2 billion, to be credited on 1 July 2017;
(f) amounts paid to the Commonwealth under section 54.