One symmetry does not imply integrability

We show that Bakirov's counter-example (which had been checked by computer algebra methods up to order 53) to the conjecture that one nontrivial symmetry of an evolution equation implies infinitely many is indeed a counter-example. To prove this we use thesymbolic methodof Gel'fand–Dikii andp-adic analysis. We also formulate a conjecture to the effect that almost all equations in the family considered by Bakirov have at most finitely many symmetries. This conjecture depends on the solution of a diophantine problem, which we explicitly state.