Neutronics Benchmark Specifications for EBR-II Shutdown Heat Removal Test SHRT-45R - Revision 1