Calendars of House of Representatives and history of legislation, 82d Congress, 2d session, Jan. 8-May 29, 1952; no. 1-85.