Sum-Check-Tri-Count Python program implementing Prover and Verifier in the interactive proof for counting triangles in a simple graph