How many pikmin it would take to carry an average man