How to set SD card clock frequency between 100 kHz - 400 kHz
They probably set it to 71 as the relationship between the register value and the divider value is probably divider = (BRG register value + 1)*2. In this case, (71+1)*2=144. You just need to calculate the divider value, divide by two, and subtract 1.