Logarithmic Hausdorff Measure of the Singular Set for Navier-Stokes Solutions in L^ₜ L^3, ₓ | Synapse