在技术交易程序中，卖者技术交易的首要程序是（ ）。