PD,Those figures don't add up.
A loop impedance of 0.35 gives a PSSC of just 657 Amps
Were those figures by measurement? or just somebody's guess?
These are typical DNO figures which are the worst case scenario, so we can design our kit and be sure that they will not go outside these values basically, so the EFLI could be so low that you get 16kA, or it could be up to 0.35 Ohms.
This depends on the exact install I believe, so they quote a general figure;