Massively faster SQL group_by by data prefetching