main file which verifies bday paradox