equiangular_lines_problem