( 56 ) ( G 3^57 X t. v)