Lucas primality test

GPTKB entity