( 13 P ^ ~ 2 *"