How did the apostles determine which of the two candidates should take Judas' position?

The apostles prayed that God reveal His choice, and then they cast lots.

Who was then numbered with the eleven apostles?

Matthias was then numbered with the eleven apostles.