const char col_xlat[4]=
{
	0xef,	/* column code 11101111 */
	0xdf,	/* column code 11011111 */
	0xbf,	/* column code 10111111 */
	0x7f,	/* column code 01111111 */
};

and:
...
P2=col_xlat[col];