Table:
text: List of Intel Pentium III microprocessors
(130 nm)
(130 nm)
Model_Number sSpec_Number Frequency L2_Cache Mult Voltage Socket Release_Date Part_Numbers
Pentium III 1000 SL5GR 1GHz 256 KB 7.5× 1.475 V Socket 370 July 2001 RK80530PZ001256
Pentium III 1000S SL5PS 1GHz 512 KB 7.5× 1.475 V Socket 370 June 2001 RK80530KZ001512
Pentium III 1133 SL5GQ, SL5LT, SL6C4, SL6JK 1.13GHz 256 KB 8.5× 1.475 V Socket 370 July 2001 RK80530PZ006256
Pentium III 1133S SL5LV, SL5PU, SL6BW, SL6JM 1.13GHz 512 KB 8.5× 1.45 V Socket 370 June 2001 RK80530KZ006512
Pentium III 1200 SL5GN, SL5PM, SL6C3, SL6JL 1.2GHz 256 KB 9× 1.475 V Socket 370 July 2001 RK80530PZ009256

text: List of Intel Pentium III microprocessors
(130 nm)
(130 nm)
Model_Number sSpec_Number Frequency L2_Cache Mult Voltage Socket Release_Date Part_Numbers
Pentium III 1266S SL5LW, SL5QL, SL6BX, SL6JN 1.26GHz 512 KB 9.5× 1.45 V Socket 370 July 2001 RK80530KZ012512
Pentium III 1333 SL5VX, SL6BZ, SL6HS 1.33GHz 256 KB 10× 1.475 V Socket 370 December 2001 RK80530PZ014256
Pentium III 1400 SL64W, SL6C2, SL6HR 1.4GHz 256 KB 10.5× 1.5 V Socket 370 December 2001 RK80530PZ017256
Pentium III 1400S SL5XL, SL657, SL6BY, SL6JP 1.4GHz 512 KB 10.5× 1.45 V Socket 370 January 8, 2002 RK80530KZ017512

Question: What are the part numbers in the Intel Pentium III microprocessors list when the l2 cache is 512 KB, the release date is June 2001, and the sSpec number is sl5lv, sl5pu, sl6bw, sl6jm (130nm)?