( 24 ( 45 ( 24 ( ^ (3