If it’s literally only one pencil for the rest of my life, probably the GraphGear 1000 since it would probably last the longest. If I can continue using multiple copies of the same kind of pencil, then it would be number 2 since that would be the most versatile and available one to use.