Issue #18: faster table population for DFA ranking