谁能提供下spec程序的输入集。