# This an automatically generated file, do not edit!
#
# It contains configuration data that are relevant at run time.
INT_BITS = 64  # Bit length of an integer used in the rep of the Monster
PRIMES = [3, 7, 15, 31, 127, 255]    # Supported moduli for the rep of the Monster
