Prototype for IRV Tallying from Somewhat Homomorphic encryption run the encryption.py file for testing