The .0001 category was removed because it was pointless
I am having trouble with my pc so runs might take a while to verify and retime.
