3, 4, 5 inside a triangle≈ 1500
Każdy udowodniony krok trafia tutaj, razem z narzędziem, które go dowodzi.