Explicit Chaubauty–Kim for the split Cartan modular curve of level 13 od Balakrishnan, J, Dogra, N, Muller, J, Tuitman, J, Vonk, J