“…A marking of a polarized supersingular K3 surface (X G , L G ) of type ( ) is a bijective map γ : P → Z(dG). [λ,ωλ,ωλ +ω] P6 = C (12) [λ +ω,ωλ +ω,ωλ] P7 = T (02, 12,22) [1,ω,ω] P8 = C (11) [λ + 1, 1, λ] P9 = T (02, 11,20) [1,ω, ω] P10 = C (10) [1, ωλ + 1, 0] P11 = T (02, 10,21) [1,ω, 0] P12 = T (10,11,12) [ [0, 1, ω] P19 = T (00, 11,22) [0, 1, 1] P20 = T (00, 10,20) [0, In particular, Aut(X GB [α] , L GB [α] ) is isomorphic to the extended Heisenberg group of order 18.…”