Computational experiments have shown that, if a counterexample exists, it would have to have more than 177 vertices.
Обчислювальні експерименти показали, що, якщо контрприклад існує, то граф повиннен був би мати більше ніж 177 вершин.