Correct number of entries to 12 million

Doubles are 8 byte in size. 25 million entries would be ~190MB. 12
million is ~90MB.