The centre of the circle≈ 1100
Każdy udowodniony krok trafia tutaj, razem z narzędziem, które go dowodzi.