{ 
  tr( 
     < 11  1 >,
     < a  a >,
     < 22  2 >) 
  tr( 
     < 11  1 >,
     < *  * >,
     < 11  1 >) 
  tr( 
     < 11  2 >,
     < *  * >,
     < 11  2 >) 
  tr( 
     < 11  3 >,
     < *  * >,
     < 11  3 >) 
  tr( 
     < 11  4 >,
     < *  * >,
     < 11  4 >) 
  tr( 
     < 22  1 >,
     < *  * >,
     < 22  1 >) 
  tr( 
     < 22  2 >,
     < c  c >,
     < 11  3 >) 
  tr( 
     < 22  2 >,
     < c  c >,
     < 33  3 >) 
  tr( 
     < 22  2 >,
     < *  * >,
     < 22  2 >) 
  tr( 
     < 22  3 >,
     < *  * >,
     < 22  3 >) 
  tr( 
     < 22  4 >,
     < *  * >,
     < 22  4 >) 
  tr( 
     < 33  1 >,
     < *  * >,
     < 33  1 >) 
  tr( 
     < 33  2 >,
     < b  b >,
     < 22  4 >) 
  tr( 
     < 33  2 >,
     < *  * >,
     < 33  2 >) 
  tr( 
     < 33  3 >,
     < b  b >,
     < 22  2 >) 
  tr( 
     < 33  3 >,
     < *  * >,
     < 33  3 >) 
  tr( 
     < 33  4 >,
     < *  * >,
     < 33  4 >)}

***************************************
CR(A1,C1)
{ 
  tr( 
     < 100  10 >,
     < x  x >,
     < 200  20 >) 
  tr( 
     < 100  10 >,
     < *  * >,
     < 100  10 >) 
  tr( 
     < 100  20 >,
     < *  * >,
     < 100  20 >) 
  tr( 
     < 200  10 >,
     < *  * >,
     < 200  10 >) 
  tr( 
     < 200  20 >,
     < *  * >,
     < 200  20 >)}

*****************************
CR(A,C) x CR(A1,C1)