Here's what Congress knows about the voting machines