Efficient approach to theab initioHartree-Fock problem of solids, with application to diamond and silicon | Synapse