Rename XORVerification to XORVerification.py