A quarter-turn in a square≈ 1300
Każdy udowodniony krok trafia tutaj, razem z narzędziem, które go dowodzi.