t3_2021-05-22_olll.txt

Check for the LLL reducedness:

Mu matrix:
[[0.00000, 0.00000, 0.00000, 0.00000, 0.00000, 0.00000],
[0.47413, 0.00000, 0.00000, 0.00000, 0.00000, 0.00000],
[0.36783, -0.46565, 0.00000, 0.00000, 0.00000, 0.00000],
[-0.22657, 0.22492, 0.39311, 0.00000, 0.00000, 0.00000],
[0.45734, 0.13267, 0.40115, -0.16315, 0.00000, 0.00000],
[-0.31189, -0.46523, -0.45724, 0.09722, -0.14550, 0.00000]]

Lovasz vector:
[0.00000, 641.75000, 755.30664, 72.56862, 218.75196, 307.30730]
Final
[[-7, 12, 8, -4, -19, -9],
[20, -4, 9, -16, -13, -16],
[-28, 11, 12, -9, 17, -14],
[-6, -7, -20, -21, 8, -12],
[-7, -4, 9, 11, -1, -31],
[10, 24, -21, 15, 6, 11]]