A000580

A000580