integer d1_2_34,d2_1_34,d1_34_2,d6_1_2_34,d6_2_1_34
      parameter(d1_34_2=1,d2_1_34=2,d1_2_34=3,d6_1_2_34=4,d6_2_1_34=5)