
(* Data {Real Salem, Unit} for K3 surface auts with Siegel disks *)

{{-1 - 8*x + 24*x^2 + 42*x^3 - 54*x^4 - 66*x^5 + 40*x^6 + 42*x^7 - 11*x^8 - 
   11*x^9 + x^10 + x^11, -2*x + 6*x^3 - 5*x^5 + x^7}, 
 {-5 - 4*x + 49*x^2 + 37*x^3 - 100*x^4 - 81*x^5 + 58*x^6 + 50*x^7 - 13*x^8 - 
   12*x^9 + x^10 + x^11, 2 - 9*x^2 + 14*x^3 + 23*x^4 - 23*x^5 - 25*x^6 + 
   9*x^7 + 9*x^8 - x^9 - x^10}, {-1 + 4*x + 36*x^2 + 23*x^3 - 73*x^4 - 
   58*x^5 + 48*x^6 + 41*x^7 - 12*x^8 - 11*x^9 + x^10 + x^11, 
  -x + 3*x^2 + 6*x^3 - 4*x^4 - 5*x^5 + x^6 + x^7}, 
 {-1 + 20*x^2 + 12*x^3 - 65*x^4 - 51*x^5 + 47*x^6 + 40*x^7 - 12*x^8 - 
   11*x^9 + x^10 + x^11, -x - 5*x^2 + 17*x^3 + 37*x^4 - 12*x^5 - 33*x^6 + 
   2*x^7 + 10*x^8 - x^10}, {-5 + 4*x + 61*x^2 + 39*x^3 - 103*x^4 - 82*x^5 + 
   58*x^6 + 50*x^7 - 13*x^8 - 12*x^9 + x^10 + x^11, 
  3 + 3*x - 6*x^2 + 16*x^3 + 37*x^4 - 12*x^5 - 33*x^6 + 2*x^7 + 10*x^8 - 
   x^10}, {-1 - 4*x + 20*x^2 + 21*x^3 - 61*x^4 - 53*x^5 + 46*x^6 + 40*x^7 - 
   12*x^8 - 11*x^9 + x^10 + x^11, -7*x + 8*x^2 + 34*x^3 - 6*x^4 - 32*x^5 + 
   x^6 + 10*x^7 - x^9}, {-9 - 8*x + 58*x^2 + 50*x^3 - 98*x^4 - 84*x^5 + 
   57*x^6 + 50*x^7 - 13*x^8 - 12*x^9 + x^10 + x^11, 
  -4 - 6*x + 16*x^2 + 14*x^3 - 20*x^4 - 7*x^5 + 8*x^6 + x^7 - x^8}, 
 {-1 + 8*x + 40*x^2 + 2*x^3 - 110*x^4 - 65*x^5 + 65*x^6 + 48*x^7 - 14*x^8 - 
   12*x^9 + x^10 + x^11, -2 + 2*x + 21*x^2 - 4*x^3 - 25*x^4 + x^5 + 9*x^6 - 
   x^8}, {-1 + 32*x + 112*x^2 + 36*x^3 - 164*x^4 - 103*x^5 + 78*x^6 + 
   59*x^7 - 15*x^8 - 13*x^9 + x^10 + x^11, -8 - 33*x - 23*x^2 + 49*x^3 + 
   62*x^4 - 22*x^5 - 42*x^6 + 3*x^7 + 11*x^8 - x^10}, 
 {-1 + 12*x + 48*x^2 + 5*x^3 - 112*x^4 - 66*x^5 + 65*x^6 + 48*x^7 - 14*x^8 - 
   12*x^9 + x^10 + x^11, x - 18*x^2 - 7*x^3 + 48*x^4 + 14*x^5 - 35*x^6 - 
   7*x^7 + 10*x^8 + x^9 - x^10}, {-13 + 8*x + 107*x^2 + 50*x^3 - 158*x^4 - 
   105*x^5 + 77*x^6 + 59*x^7 - 15*x^8 - 13*x^9 + x^10 + x^11, 
  -5 - 14*x + 15*x^2 + 40*x^3 - 11*x^4 - 33*x^5 + 2*x^6 + 10*x^7 - x^9}, 
 {-1 + 20*x^2 + 20*x^3 - 53*x^4 - 49*x^5 + 44*x^6 + 39*x^7 - 12*x^8 - 
   11*x^9 + x^10 + x^11, -x - 2*x^2 + 6*x^3 + 17*x^4 - 9*x^5 - 24*x^6 + 
   2*x^7 + 9*x^8 - x^10}, {-1 - 12*x + 36*x^2 + 51*x^3 - 81*x^4 - 80*x^5 + 
   54*x^6 + 49*x^7 - 13*x^8 - 12*x^9 + x^10 + x^11, 
  -4*x - 4*x^2 + 24*x^3 + 22*x^4 - 27*x^5 - 24*x^6 + 10*x^7 + 9*x^8 - x^9 - 
   x^10}, {-1 + 16*x + 60*x^2 + 16*x^3 - 111*x^4 - 69*x^5 + 64*x^6 + 48*x^7 - 
   14*x^8 - 12*x^9 + x^10 + x^11, -4*x + x^2 + 25*x^3 + 8*x^4 - 26*x^5 - 
   6*x^6 + 9*x^7 + x^8 - x^9}, {-5 - 12*x + 45*x^2 + 55*x^3 - 83*x^4 - 
   81*x^5 + 54*x^6 + 49*x^7 - 13*x^8 - 12*x^9 + x^10 + x^11, 
  -2 - 5*x + x^2 + 34*x^3 + 20*x^4 - 40*x^5 - 29*x^6 + 12*x^7 + 10*x^8 - 
   x^9 - x^10}, {-1 + 8*x + 76*x^2 + 38*x^3 - 143*x^4 - 98*x^5 + 75*x^6 + 
   58*x^7 - 15*x^8 - 13*x^9 + x^10 + x^11, -8*x - 8*x^2 + 51*x^3 + 54*x^4 - 
   28*x^5 - 41*x^6 + 4*x^7 + 11*x^8 - x^10}, 
 {-1 + 12*x + 60*x^2 + 25*x^3 - 107*x^4 - 71*x^5 + 63*x^6 + 48*x^7 - 14*x^8 - 
   12*x^9 + x^10 + x^11, -1 - 11*x - 16*x^2 + 31*x^3 + 52*x^4 - 19*x^5 - 
   40*x^6 + 3*x^7 + 11*x^8 - x^10}, 
 {-1 + 4*x + 36*x^2 + 11*x^3 - 97*x^4 - 63*x^5 + 62*x^6 + 47*x^7 - 14*x^8 - 
   12*x^9 + x^10 + x^11, -4*x - 8*x^2 + 30*x^3 + 50*x^4 - 19*x^5 - 40*x^6 + 
   3*x^7 + 11*x^8 - x^10}, {-1 + 80*x^2 + 52*x^3 - 140*x^4 - 101*x^5 + 
   74*x^6 + 58*x^7 - 15*x^8 - 13*x^9 + x^10 + x^11, 
  -2 - 25*x - 39*x^2 + 47*x^3 + 82*x^4 - 22*x^5 - 50*x^6 + 3*x^7 + 12*x^8 - 
   x^10}, {7 + 56*x + 114*x^2 + 2*x^3 - 177*x^4 - 88*x^5 + 85*x^6 + 57*x^7 - 
   16*x^8 - 13*x^9 + x^10 + x^11, -11 - 40*x - 12*x^2 + 79*x^3 + 50*x^4 - 
   52*x^5 - 39*x^6 + 13*x^7 + 11*x^8 - x^9 - x^10}, 
 {-17 - 8*x + 92*x^2 + 58*x^3 - 142*x^4 - 102*x^5 + 74*x^6 + 58*x^7 - 
   15*x^8 - 13*x^9 + x^10 + x^11, -1 - 7*x - 13*x^2 + 11*x^3 + 43*x^4 + 
   6*x^5 - 34*x^6 - 6*x^7 + 10*x^8 + x^9 - x^10}, 
 {-1 + 16*x^2 + 8*x^3 - 56*x^4 - 38*x^5 + 49*x^6 + 37*x^7 - 13*x^8 - 11*x^9 + 
   x^10 + x^11, -3*x^2 - 6*x^3 + 24*x^4 + 10*x^5 - 26*x^6 - 6*x^7 + 9*x^8 + 
   x^9 - x^10}, {-9 + 4*x + 94*x^2 + 55*x^3 - 143*x^4 - 102*x^5 + 74*x^6 + 
   58*x^7 - 15*x^8 - 13*x^9 + x^10 + x^11, 1 - 30*x - 53*x^2 + 48*x^3 + 
   89*x^4 - 22*x^5 - 51*x^6 + 3*x^7 + 12*x^8 - x^10}, 
 {-5 + 45*x^2 + 24*x^3 - 95*x^4 - 66*x^5 + 61*x^6 + 47*x^7 - 14*x^8 - 
   12*x^9 + x^10 + x^11, 6 - 3*x - 48*x^2 - 14*x^3 + 72*x^4 + 20*x^5 - 
   43*x^6 - 8*x^7 + 11*x^8 + x^9 - x^10}, 
 {-1 + 4*x + 44*x^2 + 23*x^3 - 95*x^4 - 66*x^5 + 61*x^6 + 47*x^7 - 14*x^8 - 
   12*x^9 + x^10 + x^11, -2 - 10*x + 2*x^2 + 44*x^3 + 31*x^4 - 30*x^5 - 
   32*x^6 + 5*x^7 + 10*x^8 - x^10}, 
 {-5 - 4*x + 89*x^2 + 65*x^3 - 138*x^4 - 104*x^5 + 73*x^6 + 58*x^7 - 15*x^8 - 
   13*x^9 + x^10 + x^11, -14 + 32*x + 16*x^2 - 39*x^3 + 11*x^4 + 11*x^5 - 
   22*x^6 + 9*x^8 - x^10}, {-1 + 20*x + 76*x^2 + 7*x^3 - 155*x^4 - 83*x^5 + 
   82*x^6 + 56*x^7 - 16*x^8 - 13*x^9 + x^10 + x^11, 
  -2 - 22*x - 33*x^2 + 43*x^3 + 77*x^4 - 21*x^5 - 49*x^6 + 3*x^7 + 12*x^8 - 
   x^10}, {-1 + 4*x + 24*x^2 - 13*x^3 - 102*x^4 - 49*x^5 + 68*x^6 + 45*x^7 - 
   15*x^8 - 12*x^9 + x^10 + x^11, -1 + 4*x + 19*x^2 - 7*x^3 - 24*x^4 + 
   2*x^5 + 9*x^6 - x^8}, {-1 - 4*x + 32*x^2 + 29*x^3 - 80*x^4 - 63*x^5 + 
   58*x^6 + 46*x^7 - 14*x^8 - 12*x^9 + x^10 + x^11, 
  3 + 18*x + 6*x^2 - 19*x^3 - 2*x^4 - 8*x^5 - 20*x^6 + 3*x^7 + 9*x^8 - x^10}, 
 {3 + 40*x + 99*x^2 + 10*x^3 - 161*x^4 - 85*x^5 + 82*x^6 + 56*x^7 - 16*x^8 - 
   13*x^9 + x^10 + x^11, -7 - 34*x - 27*x^2 + 61*x^3 + 75*x^4 - 29*x^5 - 
   49*x^6 + 4*x^7 + 12*x^8 - x^10}, 
 {-1 + 24*x^2 - 4*x^3 - 98*x^4 - 51*x^5 + 67*x^6 + 45*x^7 - 15*x^8 - 12*x^9 + 
   x^10 + x^11, -3*x + 38*x^3 + 44*x^4 - 25*x^5 - 39*x^6 + 4*x^7 + 11*x^8 - 
   x^10}, {-5 - 4*x + 41*x^2 + 33*x^3 - 82*x^4 - 64*x^5 + 58*x^6 + 46*x^7 - 
   14*x^8 - 12*x^9 + x^10 + x^11, 2 - 13*x - 14*x^2 + 60*x^3 + 55*x^4 - 
   66*x^5 - 65*x^6 + 17*x^7 + 21*x^8 - x^9 - 2*x^10}, 
 {-9 + 4*x + 70*x^2 + 19*x^3 - 141*x^4 - 81*x^5 + 79*x^6 + 55*x^7 - 16*x^8 - 
   13*x^9 + x^10 + x^11, 2 - 18*x - 29*x^2 + 53*x^3 + 75*x^4 - 28*x^5 - 
   49*x^6 + 4*x^7 + 12*x^8 - x^10}, 
 {-1 + 4*x + 28*x^2 - x^3 - 91*x^4 - 48*x^5 + 65*x^6 + 44*x^7 - 15*x^8 - 
   12*x^9 + x^10 + x^11, -7*x - 9*x^2 + 30*x^3 + 42*x^4 - 23*x^5 - 38*x^6 + 
   4*x^7 + 11*x^8 - x^10}, {-1 + 24*x + 84*x^2 + 18*x^3 - 145*x^4 - 82*x^5 + 
   79*x^6 + 55*x^7 - 16*x^8 - 13*x^9 + x^10 + x^11, 
  -2 - 21*x - 27*x^2 + 50*x^3 + 71*x^4 - 27*x^5 - 48*x^6 + 4*x^7 + 12*x^8 - 
   x^10}, {-5 + 12*x + 81*x^2 + 29*x^3 - 140*x^4 - 84*x^5 + 78*x^6 + 55*x^7 - 
   16*x^8 - 13*x^9 + x^10 + x^11, 4 - 14*x - 56*x^2 + 9*x^3 + 94*x^4 + 
   11*x^5 - 52*x^6 - 7*x^7 + 12*x^8 + x^9 - x^10}, 
 {-29 - 4*x + 163*x^2 + 89*x^3 - 199*x^4 - 130*x^5 + 92*x^6 + 67*x^7 - 
   17*x^8 - 14*x^9 + x^10 + x^11, 17 - 16*x - 89*x^2 + 34*x^3 + 114*x^4 - 
   19*x^5 - 59*x^6 + 3*x^7 + 13*x^8 - x^10}, 
 {-1 + 48*x^2 + 20*x^3 - 124*x^4 - 77*x^5 + 76*x^6 + 54*x^7 - 16*x^8 - 
   13*x^9 + x^10 + x^11, 1 - 6*x - 54*x^2 - 53*x^3 + 34*x^4 + 46*x^5 - 
   5*x^6 - 12*x^7 + x^9}, {3 + 28*x + 63*x^2 - 19*x^3 - 152*x^4 - 65*x^5 + 
   86*x^6 + 53*x^7 - 17*x^8 - 13*x^9 + x^10 + x^11, 
  -1 - 5*x + 8*x^2 + 23*x^3 - 11*x^4 - 28*x^5 + 3*x^6 + 10*x^7 - x^9}, 
 {-9 - 4*x + 66*x^2 + 37*x^3 - 124*x^4 - 81*x^5 + 75*x^6 + 54*x^7 - 16*x^8 - 
   13*x^9 + x^10 + x^11, -2 - 24*x - 5*x^2 + 148*x^3 + 118*x^4 - 125*x^5 - 
   114*x^6 + 32*x^7 + 34*x^8 - 2*x^9 - 3*x^10}, 
 {-1 + 8*x + 68*x^2 + 34*x^3 - 125*x^4 - 81*x^5 + 75*x^6 + 54*x^7 - 16*x^8 - 
   13*x^9 + x^10 + x^11, -9*x - 35*x^2 + 23*x^3 + 71*x^4 - 16*x^5 - 47*x^6 + 
   3*x^7 + 12*x^8 - x^10}, {-1 + 48*x + 152*x^2 + 24*x^3 - 218*x^4 - 
   109*x^5 + 101*x^6 + 65*x^7 - 18*x^8 - 14*x^9 + x^10 + x^11, 
  -x + 34*x^2 + 102*x^3 + 26*x^4 - 112*x^5 - 64*x^6 + 30*x^7 + 22*x^8 - 
   2*x^9 - 2*x^10}, {-1 + 24*x + 72*x^2 - 6*x^3 - 150*x^4 - 68*x^5 + 85*x^6 + 
   53*x^7 - 17*x^8 - 13*x^9 + x^10 + x^11, -3 - 21*x - 16*x^2 + 58*x^3 + 
   64*x^4 - 33*x^5 - 47*x^6 + 5*x^7 + 12*x^8 - x^10}, 
 {-1 + 12*x + 48*x^2 - 11*x^3 - 136*x^4 - 62*x^5 + 83*x^6 + 52*x^7 - 17*x^8 - 
   13*x^9 + x^10 + x^11, -14*x + 5*x^2 + 52*x^3 + 7*x^4 - 40*x^5 - 6*x^6 + 
   11*x^7 + x^8 - x^9}, {-5 + 40*x + 133*x^2 + 18*x^3 - 205*x^4 - 103*x^5 + 
   99*x^6 + 64*x^7 - 18*x^8 - 14*x^9 + x^10 + x^11, 
  -1 - 29*x - 32*x^2 + 56*x^3 + 68*x^4 - 32*x^5 - 47*x^6 + 5*x^7 + 12*x^8 - 
   x^10}, {-1 + 20*x + 68*x^2 + 3*x^3 - 137*x^4 - 66*x^5 + 82*x^6 + 52*x^7 - 
   17*x^8 - 13*x^9 + x^10 + x^11, -2 - 23*x - 24*x^2 + 50*x^3 + 62*x^4 - 
   31*x^5 - 46*x^6 + 5*x^7 + 12*x^8 - x^10}, 
 {-17 + 8*x + 132*x^2 + 46*x^3 - 196*x^4 - 108*x^5 + 97*x^6 + 64*x^7 - 
   18*x^8 - 14*x^9 + x^10 + x^11, -19 + 92*x - 89*x^2 - 146*x^3 + 175*x^4 + 
   95*x^5 - 102*x^6 - 28*x^7 + 24*x^8 + 3*x^9 - 2*x^10}, 
 {-5 + 8*x + 101*x^2 + 34*x^3 - 181*x^4 - 101*x^5 + 95*x^6 + 63*x^7 - 
   18*x^8 - 14*x^9 + x^10 + x^11, 3 - 13*x - 122*x^2 + 44*x^3 + 210*x^4 - 
   14*x^5 - 117*x^6 - 3*x^7 + 26*x^8 + x^9 - 2*x^10}, 
 {-13 + 12*x + 115*x^2 + 37*x^3 - 184*x^4 - 102*x^5 + 95*x^6 + 63*x^7 - 
   18*x^8 - 14*x^9 + x^10 + x^11, -1 + 8*x - 32*x^2 - 13*x^3 + 76*x^4 + 
   15*x^5 - 49*x^6 - 7*x^7 + 12*x^8 + x^9 - x^10}, 
 {-1 + 16*x + 88*x^2 + 8*x^3 - 178*x^4 - 83*x^5 + 99*x^6 + 60*x^7 - 19*x^8 - 
   14*x^9 + x^10 + x^11, -2 - 32*x - 71*x^2 + 131*x^3 + 157*x^4 - 123*x^5 - 
   123*x^6 + 35*x^7 + 36*x^8 - 2*x^9 - 3*x^10}, 
 {-9 + 20*x + 102*x^2 + 11*x^3 - 181*x^4 - 84*x^5 + 99*x^6 + 60*x^7 - 
   19*x^8 - 14*x^9 + x^10 + x^11, 5 - 23*x - 32*x^2 + 67*x^3 + 80*x^4 - 
   39*x^5 - 54*x^6 + 6*x^7 + 13*x^8 - x^10}}
