 Our result is achieved by an application of the LLL algorithm Lenstra, Lenstra and Lov\'asz, Math. Ann. 1982%DIFDELCMD < ] %%% for the shortest lattice vector problem.
<coherence>  Our result is achieved by an application of the LLL algorithm Lenstra, Lenstra and Lov\'asz, Math. Ann. 1982%DIFDELCMD < ] %%% for the shortest lattice vector problem.
 Our result is achieved by an application of the LLL algorithm %DIFDELCMD < ] %%% for the shortest lattice vector problem.