STV counter: Tidy output
STV counter: Tidy output

RunasSudo/helios-server-mixnet,RunasSudo/helios-server-mixnet,RunasSudo/helios-server-mixnet,RunasSudo/helios-server-mixnet,RunasSudo/helios-server-mixnet