( 2 56 3)