sealed-bid-auction public under auction 7 List Picture As a command %3 n0 sealed-bid-auction n1 auction n1->n0