CRC12

baseband.mark4.header.CRC12 = 6159

CRC polynomial used for Mark 4 Headers.

x^12 + x^11 + x^3 + x^2 + x + 1, i.e., 0x180f. See page 4 of https://www.haystack.mit.edu/tech/vlbi/mark5/docs/230.3.pdf

This is also a ‘standard’ CRC-12 mentioned in https://en.wikipedia.org/wiki/Cyclic_redundancy_check