Acabei de apostar no @MaxResnick1 provador na Succinct Prover Network. Apenas para cima.
1,45K