
E(4):=E(8)^2;
A:=Matrix(100, [ [ 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          -E(4), 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0,
          0, 1, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, -E(4), 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, -1, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -E(4), 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, -1, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0,
          0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, -1, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, -1, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, -E(4), 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4),
          0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0,
          0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0 ],
      [ E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0,
          0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0,
          0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0,
          0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4) ],
      [ 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0,
          0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0,
          0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0,
          0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1,
          0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), E(4), 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0,
          0, 0, -1, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0,
          0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0,
          -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, -E(4), 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, -1,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), -E(4), 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0 ],
      [ 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, -1,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, -1, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, -E(4), 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0 ],
      [ 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0,
          0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, E(4), 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          -1, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 1, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0 ],
      [ 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, -E(4), 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0,
          0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0,
          0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, -1,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0,
          0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0,
          0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, -1, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0,
          0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0,
          -1, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0 ],
      [ 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0,
          0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0,
          0, 0, -E(4), 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -E(4), 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 1, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
          -E(4), 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0,
          0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 1, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0,
          0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0,
          0, -E(4), 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4) ],
      [ 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 1,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0,
          0, -E(4), 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0,
          0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0 ],
      [ 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0,
          0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0,
          -1, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0 ],
      [ 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -E(4), 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          -E(4), 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0,
          0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0 ],
      [ 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, -E(4), 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 1, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0,
          0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0,
          0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0 ],
      [ 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, -1, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 1, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0,
          0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          -E(4), 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, -E(4), 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, -1, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, -E(4), 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          -1, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          -1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0,
          0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0,
          -1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0 ],
      [ E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0,
          0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0,
          0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, E(4),
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4) ],
      [ 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0,
          -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4),
          0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0,
          0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, -1, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0,
          0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0,
          0, 0, 0, 0, 0, 1, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0,
          0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, -1, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, -1, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, E(4), 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0 ],
      [ 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0,
          0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0,
          0, 0, -E(4), 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -E(4), 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0,
          0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0,
          0, 0, -1, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 1, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, -1, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, -1, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0,
          0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0,
          1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, -E(4), E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0 ],
      [ E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0,
          0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0,
          0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0,
          -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0,
          0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4) ],
      [ 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, -1, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, -1, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, -1, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1 ],
      [ 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), E(4), 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0,
          0, 0, -1, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0,
          0, 0, -E(4), 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -E(4), 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, -1, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), -E(4), 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0,
          0, 0, -1, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0,
          0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0,
          0, 1, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0,
          0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0,
          0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0,
          0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, -1,
          0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0,
          -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0,
          0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0,
          0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0,
          0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4) ],
      [ 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, -E(4),
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0,
          1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, -E(4), 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0 ],
      [ 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, -E(4),
          0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0 ],
      [ 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, E(4),
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, E(4), 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, -E(4), 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0,
          0, -1, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, E(4), 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
          -1, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4),
          0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0,
          0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, E(4), 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0,
          0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 1, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0,
          -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, -E(4),
          0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, E(4), 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0 ],
      [ 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, -1, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0,
          0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, E(4), 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, -E(4), 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0 ],
      [ 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 1, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, E(4),
          0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0,
          0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0 ],
      [ E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1,
          0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0 ],
      [ -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0,
          -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0,
          0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 1,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0 ],
      [ 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0,
          -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4),
          0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0,
          0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0 ],
      [ 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, E(4),
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0,
          0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, -1, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0 ],
      [ 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0,
          0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, -E(4), 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, -1, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, -E(4), 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 1, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0,
          1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, E(4), 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 1,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0 ],
      [ 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, E(4),
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, -1,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0 ],
      [ 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0,
          1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, E(4), 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0 ],
      [ 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0,
          -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4),
          0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0,
          0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, E(4),
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, -E(4), 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0 ],
      [ 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, -1, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 1,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0 ],
      [ 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0,
          0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, -1, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0,
          1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, E(4), E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0 ],
      [ 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1 ],
      [ 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, -E(4), 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0,
          0, 1, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, -E(4), 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0 ],
      [ E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, -1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          -1, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0 ],
      [ -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0,
          -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0,
          -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
          0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, -1,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0 ],
      [ 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, -1, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, E(4), 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, -1, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0 ],
      [ -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0,
          0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0,
          0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 1, 0,
          0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, E(4), 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0,
          0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0,
          -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 1,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, -1, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, E(4),
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0,
          0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0,
          0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, E(4),
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, -1,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 1, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, -E(4), 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0,
          -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0,
          0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0,
          0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0,
          0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4) ],
      [ 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 1, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, -1, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 1, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0,
          0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, E(4), 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0 ],
      [ -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0,
          0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0,
          0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, -1,
          0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, -E(4), 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 1, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, -1, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1 ],
      [ 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0,
          1, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0,
          0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 1, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 1,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, -E(4), 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0,
          1, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, E(4), 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0,
          0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, 0, E(4), 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 1, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0 ],
      [ 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0,
          0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          E(4), 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0 ],
      [ 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0,
          0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, -1, 0, 0,
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0,
          -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, -E(4),
          0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0 ],
      [ 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0, 0, 0, 0, 0, 0, 0, -E(4),
          0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0,
          0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0,
          0, 0, 0, 0, 0, -E(4), 0, 0, 0, -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
          0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(4), 0 ] ]);
  

b:=Vector([ 0, 0, -1, E(8)-E(8)^3, 1, E(8)-E(8)^3, -E(8)-E(8)^3, 0, 0, -1, 0, 0,
      E(8)-E(8)^3, 0, -E(8)+E(8)^3, 0, 0, 0, 0, -1, 1, E(8)-E(8)^3, 0, 1,
      -2*E(4), 0, E(8)-E(8)^3, 0, 0, -1, 0, 1, E(8)+E(8)^3, -E(8)+E(8)^3,
      E(8)+E(8)^3, -1, -E(8)-E(8)^3, 0, 0, E(8)+E(8)^3, 0, 1, E(8)-E(8)^3,
      E(8)-E(8)^3, 0, E(8)-E(8)^3, E(8)-E(8)^3, -E(8)-E(8)^3, 2*E(4),
      E(8)+E(8)^3, 0, 2*E(4), 1, E(8)+E(8)^3, 0, 0, 0, -E(8)+E(8)^3, 0, 0, 0,
      1, 2*E(4), E(8)+E(8)^3, 0, 0, 0, 0, 0, E(8)+E(8)^3, 2*E(4),
      -E(8)-E(8)^3, 0, -1, E(8)+E(8)^3, 0, 0, -2*E(4), 1, 1, 0, 0, -1, 0,
      E(8)+E(8)^3, E(8)-E(8)^3, 0, -2*E(4), 0, E(8)-E(8)^3, 0, -1,
      E(8)-E(8)^3, E(8)+E(8)^3, -1, 1, 0, 0, 0, E(8)-E(8)^3 ]);


s:=Vector([ -E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0,
      E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(8), 0, 0, 0, 1, 0, 0,
      0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(8)^3, 0, 0, 0, 0, 0, 0,
      0, 0, -E(8), 0, 0, 0, 0, E(8)^3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
      -E(8)^3, 0, 0, 0, 0, 0, 0, 0, 0, E(8), 0, 0, 0, 0 ]);

A := subs(E(8)=e,A):
b := subs(E(8)=e,b):
s := subs(E(8)=e,s):
M := e^4+1;
