of green beans, ends trimmed and long ones cut in half