How does Epicor generate new sequence numbers, in particular for erp.HDCase.HDCaseNum

Hmm thought I’d found it here, Erp.CompanySequence, but no its not there. Surely it should be…
from:

Also tried incrementing my biggest HDCasenum in one company eg 1851=>1852, refresh in client, then tried adding a new case, got the duplicate record error because its trying to save to company/1852. Fair enough; its definitely storing the next index somewhere, not just doing a MAX+1. (I reset that HDCasenum 1852 back to 1851 of course)