7.1.5

Mining optimizations