Construction of an extremal self-dual code of length 62

We construct an extremal singly-even self-dual [62, 31, 12] code. The existence of such a self-dual code was not previously known. Combined with known results, the above code also determines all lengths for which there are self-dual codes with minimum weight 12.