Public laws, 82d Congress. 9. H. R. 1724, act to provide for renegotiation of contracts, and for other purposes.