Grab the code from this Github. You need to uncomment the uniqueSet array and index tracker in the code for the first time your compile the firmware. Compile and upload to the Arduino.

Use the git install method to add Seeed Studio NFC library: https://github.com/Seeed-Studio/PN532

Reset the ballot count (and records of which tokens have voted) by shorting pin3 to ground and pressing reset.

Install the Arduino IDE

Make all the appropriate connections (schematic in GitHub)

Scan all the tags that will be used as voting tokens. The UID for each will be printed to the terminal in a C header format. Copy this to your own uniqueSet.h file.

Open up the serial terminal window. Then short pin 2 to ground and press the reset button on the Arduino. This puts it in UID read mode.

Flash the Arduino again with the newly created uniqueSet.h file. When it reboots "Chad" is ready to record votes.