Three centres on a line≈ 1450
Każdy udowodniony krok trafia tutaj, razem z narzędziem, które go dowodzi.