SIMON1Bdef (1)