Dear Seqfans, It appears that Integrate[(16 x)^k EllipticK[x] EllipticK[1 - x]/Pi^3, {x, 0, 1}] == A057718[k]. Alas, no proof for that. Is it worth submitting to OEIS? -- Thanks Vladimir Reshetnikov