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