.
slots 777 btor