zipfsong.py

import sys

def create_track(position, value, name):
    quality = position * int(value)
    # Use a negative position for order
    return (quality, -position, name)

def main():
    n, m = map(int, sys.stdin.readline().split())

    tracks = [create_track(i, *line.split()) for i, line in enumerate(sys.stdin, start=1)]
    for _, _, name in sorted(tracks, reverse=True)[:m]:
        print name

if __name__ == "__main__":
    main()