<s> from math import log <EOL> def check_enough_values ( num_values , value_bits , state_bits , modulus = None ) : <EOL> if modulus : <EOL> return log ( modulus , <NUM_LIT:2> ) * num_values >= state_bits <EOL> else : <EOL> return num_values * value_bits >= state_bits </s>
