c(67, 33) < (2^64-1)