Cherlin's conjecture for finite primitive binary permutation groups / Nick Gill, Martin W. Liebeck, Pablo Spiga