[64, 32, 12] singly-even binary self-dual

?32 64 2 $ C_{64,1}; W_{64,2}; alpha=53; |Aut|=8; (Theorem 3.1) R='F4'; a=[23113202]; b=[10112022]; c=[33100231]; $
1000000000000000000000000000000001110100010111110101011111010010
0100000000000000000000000000000010101101001111010110011011100011
0010000000000000000000000000000001111100001101000110011010100100
0001000000000000000000000000000010101001100010000000010011011000
0000100000000000000000000000000001111110111011101010001000111001
0000010000000000000000000000000010101000111001011000110100010110
0000001000000000000000000000000001010100111100100001101100001011
0000000100000000000000000000000010111101111010111111111000001111
0000000010000000000000000000000001000001011000101101010001101111
0000000001000000000000000000000010011101000010011100101101101000
0000000000100000000000000000000001100100001011100011110101100001
0000000000010000000000000000000010100101100001011011001000111010
0000000000001000000000000000000001111000011010001100111101001000
0000000000000100000000000000000010101011101001100101011110101110
0000000000000010000000000000000001111111111110010000010000000010
0000000000000001000000000000000010000010110001000110101011011110
0000000000000000100000000000000001010011001011010001101100011111
0000000000000000010000000000000010100110010110101000110100111110
0000000000000000001000000000000001100010100100011010001001101001
0000000000000000000100000000000010010001011101100000010001111000
0000000000000000000010000000000001011001100111000011001101001111
0000000000000000000001000000000010110010001110011001100110011110
0000000000000000000000100000000001001010010101111010100000101000
0000000000000000000000010000000010010100101011100101010001010000
0000000000000000000000001000000010110111100100101100100010001010
0000000000000000000000000100000001110001111000110011101100010000
0000000000000000000000000010000010000101110010010001010011010111
0000000000000000000000000001000001101000010011101000001010111110
0000000000000000000000000000100010100011101101011100110111010101
0000000000000000000000000000010001111011011100000011000110111111
0000000000000000000000000000001000101010101010101010101001010101
0000000000000000000000000000000100010101010101010101010110101010
$+2160z^{12}+19648z^{14} GL-K:0 GL-LK:0$