read `6174phenom.txt`:

t1:=time():
getPCconjecturesPaper({3,4,7}, {4,16,18,24,55,81}):
t2:=time():

print():
printf("This took %f seconds.", t2-t1):