4 ms·

But would this have been possible without the federal money being available? I don't think the two are necessarily separate.