Powerful algorithm smokes out 8,132 marijuana convictions — with more to come