Getting CRC polynomial and other CRC generator parameters using Z3 | Hacker News Reader