auxiliary/order/order7.h

   1 id Int(2, 3, 4, 5) = Int(0, 1, z5)*Int(0, z3, z2)*Int(0, z4, z3)*Int(0, z5, z4);
   2 id Int(2, 3, 5, 4) = Int(0, 1, z4)*Int(0, z3, z2)*Int(0, z4, z3)*Int(z4, 1, z5);
   3 id Int(2, 4, 3, 5) = Int(0, 1, z5)*Int(0, z3, z2)*Int(0, z5, z3)*Int(z3, z5, z4);
   4 id Int(2, 4, 5, 3) = Int(0, 1, z3)*Int(0, z3, z2)*Int(z3, 1, z5)*Int(z3, z5, z4);
   5 id Int(2, 5, 3, 4) = Int(0, 1, z4)*Int(0, z3, z2)*Int(0, z4, z3)*Int(z4, 1, z5);
   6
   7  id Int(2, 5, 4, 3) = Int(0, 1, z3)*Int(0, z3, z2)*
   8    Int(z3, 1, z4)*Int(z4, 1, z5);
   9  id Int(3, 2, 4, 5) = Int(0, 1, z5)*Int(0, z4, z2)*
  10    Int(0, z5, z4)*Int(z2, z4, z3);
  11  id Int(3, 2, 5, 4) = Int(0, 1, z4)*Int(0, z4, z2)*
  12    Int(z2, z4, z3)*Int(z4, 1, z5);
  13  id Int(3, 4, 2, 5) = Int(0, 1, z5)*Int(0, z5, z2)*
  14    Int(z2, z4, z3)*Int(z2, z5, z4);
  15  id Int(3, 4, 5, 2) = Int(0, 1, z2)*Int(z2, 1, z5)*
  16    Int(z2, z4, z3)*Int(z2, z5, z4);
  17  id Int(3, 5, 2, 4) = Int(0, 1, z4)*Int(0, z4, z2)*
  18    Int(z2, z4, z3)*Int(z4, 1, z5);
  19  id Int(3, 5, 4, 2) = Int(0, 1, z2)*Int(z2, 1, z4)*
  20    Int(z2, z4, z3)*Int(z4, 1, z5);
  21  id Int(4, 2, 3, 5) = Int(0, 1, z5)*Int(0, z3, z2)*
  22    Int(0, z5, z3)*Int(z3, z5, z4);
  23  id Int(4, 2, 5, 3) = Int(0, 1, z3)*Int(0, z3, z2)*
  24    Int(z3, 1, z5)*Int(z3, z5, z4);
  25  id Int(4, 3, 2, 5) = Int(0, 1, z5)*Int(0, z5, z2)*
  26    Int(z2, z5, z3)*Int(z3, z5, z4);
  27  id Int(4, 3, 5, 2) = Int(0, 1, z2)*Int(z2, 1, z5)*
  28    Int(z2, z5, z3)*Int(z3, z5, z4);
  29  id Int(4, 5, 2, 3) = Int(0, 1, z3)*Int(0, z3, z2)*
  30    Int(z3, 1, z5)*Int(z3, z5, z4);
  31  id Int(4, 5, 3, 2) = Int(0, 1, z2)*Int(z2, 1, z3)*
  32    Int(z3, 1, z5)*Int(z3, z5, z4);
  33  id Int(5, 2, 3, 4) = Int(0, 1, z4)*Int(0, z3, z2)*
  34    Int(0, z4, z3)*Int(z4, 1, z5);
  35  id Int(5, 2, 4, 3) = Int(0, 1, z3)*Int(0, z3, z2)*
  36    Int(z3, 1, z4)*Int(z4, 1, z5);
  37  id Int(5, 3, 2, 4) = Int(0, 1, z4)*Int(0, z4, z2)*
  38    Int(z2, z4, z3)*Int(z4, 1, z5);
  39  id Int(5, 3, 4, 2) = Int(0, 1, z2)*Int(z2, 1, z4)*
  40    Int(z2, z4, z3)*Int(z4, 1, z5);
  41  id Int(5, 4, 2, 3) = Int(0, 1, z3)*Int(0, z3, z2)*
  42    Int(z3, 1, z4)*Int(z4, 1, z5);
  43  id Int(5, 4, 3, 2) = Int(0, 1, z2)*Int(z2, 1, z3)*
  44    Int(z3, 1, z4)*Int(z4, 1, z5);