[54, 27, 10] singly-even binary self-dual

?27 54 2 $ C_{54,1}; W_{54,1}; alpha=23; |Aut|=3; (Theorem 3.1) R='F2'; a=[0111000101101]; b=[1101110000100]; c=[0101111110011]; xi=[001101]; (Remark 4.1) x=[000000000000000000000000000000001100101001000111101101]; $
100000000000000000000000000100110000000111111111111101
010000000000000000000000000010011010111101100100011011
001000000000000000000000000101000011100111010110010111
000100000000000000000000000010101111100011001000111110
000010000000000000000000000101010011110010011011100000
000001000000000000000000000010100101010111110101100011
000000100000000000000000000001011100111111011001000110
000000010000000000000000000100101110110001010100110001
000000001000000000000000000110011101001100001001101100
000000000100000000000000000111001110001000111100100111
000000000010000000000000000111100101010111000010011000
000000000001000000000000000011110010101011100001001100
000000000000100000000000000001111101111100110111001001
000000000000010000000000000111110101111101001011100001
000000000000001000000000000011111110010100011101100010
000000000000000100000000000101111001110000010101010100
000000000000000010000000000110111010000001101110110000
000000000000000001000000000111011011111010101100111110
000000000000000000100000000111100011000000110010000110
000000000000000000010000000011111111110000111010110111
000000000000000000001000000101110111010010100101001000
000000000000000000000100000010111001010011001001000010
000000000000000000000010000101011010010100000000111010
000000000000000000000001000110101011110111100100000110
000000000000000000000000100111011111101011010001110111
000000000000000000000000010111101111011100101111010110
000000000000000000000000001000000100101001000111101101
$+167z^{10}+5583z^{12} GL-K:0 GL-LK:0$