The machines record votes, provide a paper receipt for each voter and — after polls close — print copies of the tally sheets, whose length has led to the nickname, “chorizo,” or “sausage ...