The fuzzer timed out (60s) on a 17k input. On my machine it runs for 12s and 7s after truncation to 10k.