Deschamps
12.1247.21, 12.1248.21

Deschamps
12.1249.21, 12.1250.21

Kronecker
12.1251.13, 12.1252.13

Nelson
12.1253.24

Cooper
12.1254.19