Now with 0.1% better succinctness