What does the "punch_key" value represent in the redemption logs?