The total amount of funds appropriated under the provisions of RCW 28A.525.162
shall be reduced by the amount of federal funds made available during each biennium for school construction purposes under any applicable federal law. The funds appropriated by RCW 28A.525.162
and available for allotment by the superintendent of public instruction shall be reduced by the amount of such federal funds made available. Notwithstanding the foregoing provisions of this section, the total amount of funds appropriated by RCW 28A.525.162
shall not be reduced by reason of any grants to any school district of federal moneys paid under Public Law No. 815 or any other federal act authorizing school building construction assistance to federally affected areas.