proof35 in cut-the-knot