An explicit sub-Weyl bound for ζ(1/2 + it) | Synapse