A half circle in a box≈ 550
Każdy udowodniony krok trafia tutaj, razem z narzędziem, które go dowodzi.