Two angles and a side≈ 1200
Każdy udowodniony krok trafia tutaj, razem z narzędziem, które go dowodzi.