0_R@_U#_T->_R@_U#_T
1_R@_U#_T->_R@_Uu#_T
@u_U#^x_T->@_U#_T
@#^x_T->=^x
%^a^b->^a^b@#001
0_I->%0_I
1_I->%1_I

