Hi,
I notice the polynomial you used here (0x9a6c9329ac4bc9b5) is very
close, but slightly different than one proposed by David Jones in this
2009 paper:
http://www0.cs.ucl.ac.uk/staff/D.Jones/crcnote.pdf
Three terms near the end are different. You have x9 + x6 + x4 while
the paper has x8 + x7 + x5.
Was the polynomial choice inspired by this paper?
If so, why were these three terms changed?
If due to some weakness, is there a specific example?
Thanks,
Fred