( 4^ | 1)