<s> """<STR_LIT>""" <EOL> TICKET_HMAC_KEY_LENGTH = <NUM_LIT:32> <EOL> TICKET_AES_KEY_LENGTH = <NUM_LIT:16> <EOL> TICKET_AES_CBC_IV_LENGTH = <NUM_LIT:16> <EOL> STATE_LOCATION = "<STR_LIT>" <EOL> PASSWORD_FILE = "<STR_LIT>" <EOL> EPOCH_GRANULARITY = <NUM_LIT> <EOL> FLAG_PAYLOAD = ( <NUM_LIT:1> << <NUM_LIT:0> ) <EOL> FLAG_NEW_TICKET = ( <NUM_LIT:1> << <NUM_LIT:1> ) <EOL> FLAG_PRNG_SEED = ( <NUM_LIT:1> << <NUM_LIT:2> ) <EOL> HDR_LENGTH = <NUM_LIT:16> + <NUM_LIT:2> + <NUM_LIT:2> + <NUM_LIT:1> <EOL> HMAC_SHA256_128_LENGTH = <NUM_LIT:16> <EOL> USE_IAT_OBFUSCATION = False <EOL> KEY_ROTATION_TIME = <NUM_LIT> * <NUM_LIT> * <NUM_LIT> * <NUM_LIT:7> <EOL> MARK_LENGTH = <NUM_LIT:16> <EOL> MASTER_KEY_LENGTH = <NUM_LIT:32> <EOL> MAX_PACKET_DELAY = <NUM_LIT> <EOL> MAX_PADDING_LENGTH = <NUM_LIT> <EOL> MAX_HANDSHAKE_LENGTH = MAX_PADDING_LENGTH + MARK_LENGTH + HMAC_SHA256_128_LENGTH <EOL> MTU = <NUM_LIT> <EOL> MPU = MTU - HDR_LENGTH <EOL> MIN_BINS = <NUM_LIT:1> <EOL> MAX_BINS = <NUM_LIT:100> <EOL> PUBLIC_KEY_LENGTH = <NUM_LIT> <EOL> PRNG_SEED_LENGTH = <NUM_LIT:32> <EOL> SERVER_STATE_FILE = "<STR_LIT>" <EOL> SESSION_TICKET_LIFETIME = KEY_ROTATION_TIME <EOL> SHA256_LENGTH = <NUM_LIT:32> <EOL> SHARED_SECRET_LENGTH = <NUM_LIT:20> <EOL> ST_WAIT_FOR_AUTH = <NUM_LIT:0> <EOL> ST_AUTH_FAILED = <NUM_LIT:1> <EOL> ST_CONNECTED = <NUM_LIT:2> <EOL> CLIENT_TICKET_FILE = "<STR_LIT>" <EOL> TICKET_IDENTIFIER = "<STR_LIT>" <EOL> TICKET_LENGTH = <NUM_LIT> <EOL> TRANSPORT_NAME = "<STR_LIT>" </s>
