This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import collections | |
from Crypto.Hash import SHA512 | |
import itertools | |
import json | |
from multiprocessing import Pool | |
from tqdm import tqdm | |
proof.all(False) | |
ls = list(prime_range(3,117)) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from functools import reduce | |
from math import prod | |
from tqdm import tqdm | |
import random | |
import gmpy2 | |
def rabin(n): | |
if n == 2: return True | |
if n%2 == 0: return False | |
r,d = 0,n-1 |