[62, 31, 12] singly-even binary self-dual

?31 62 2 $ C_{62,1}; W_{62,2}; alpha=2; |Aut|=4; (Theorem 3.2) R='F2'; a=[000000100100101]; b=[000011101110111]; c=[100000000000000]; xi=[0110]; (Remark 4.2) x=[00000000000000000000000000000001111001101001110100110000100110]; $
10000000000000000000000000000000000010010010100001110111011100
01000000000000000000000000000001000001001001010000111011101100
00100000000000000000000000000001111111011011011000011101110101
00010000000000000000000000000001100000010010011100001110111000
00001000000000000000000000000000101001100000111010110111111010
00000100000000000000000000000001101110010010100011110011001011
00000010000000000000000000000000010010010100001111010001010011
00000001000000000000000000000000110011101000101001000000011110
00000000100000000000000000000001100011010110111010001000111011
00000000010000000000000000000001010010100000010111011100001100
00000000001000000000000000000000110000111001101111011110100010
00000000000100000000000000000001100010111110001001000111100111
00000000000010000000000000000001010100000010011010001011000111
00000000000001000000000000000000001001001010000111011101110000
00000000000000100000000000000000000100100101000011101110111000
00000000000000010000000000000001001000100011101010010010000010
00000000000000001000000000000000111011101110000101001001000011
00000000000000000100000000000000011101110111000010100100100011
00000000000000000010000000000001001000101101110101100010110100
00000000000000000001000000000001000111011101100000101001001011
00000000000000000000100000000000111100010001000000010100100110
00000000000000000000010000000000011110001000110000001010010010
00000000000000000000001000000000001001010010011100110101101101
00000000000000000000000100000001111000011101100100000010100111
00000000000000000000000010000000100011110001010010000001010010
00000000000000000000000001000001010111101110111101110000001101
00000000000000000000000000100000001110101010010000010000110001
00000000000000000000000000010001111011100001110010010000001011
00000000000000000000000000001001100100011001011101111000100001
00000000000000000000000000000100010001000111110100100100000010
00000000000000000000000000000010111001101001110100110000100110
$+1924z^{12}+27735z^{14} GL-K:0 GL-LK:0$