Two distances, one total≈ 1150
Każdy udowodniony krok trafia tutaj, razem z narzędziem, które go dowodzi.