KAJERO

Cấu trúc từ
演繹するdedukt集合ar ...
Inferencoj: 535,586, CPU-sekundoj: 0.168, Reale pasintaj sekundoj: 0.198.