Constant Field Values

Contents

• edu.umd.*

edu.umd.*

edu.umd.cs.psl.application.inference.ConfidenceAnalysis

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"confidenceanalysis"
public static final int	NUM_SAMPLES_DEFAULT	1000
public static final String	NUM_SAMPLES_KEY	"confidenceanalysis.numsamples"
public static final String	REASONER_KEY	"confidenceanalysis.reasoner"

edu.umd.cs.psl.application.inference.LazyMPEInference

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"lazympeinference"
public static final int	MAX_ROUNDS_DEFAULT	100
public static final String	MAX_ROUNDS_KEY	"lazympeinference.maxrounds"
public static final String	REASONER_KEY	"lazympeinference.reasoner"

edu.umd.cs.psl.application.inference.MPEInference

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"mpeinference"
public static final String	REASONER_KEY	"mpeinference.reasoner"

edu.umd.cs.psl.application.learning.weight.WeightLearningApplication

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"weightlearning"
public static final String	REASONER_KEY	"weightlearning.reasoner"

edu.umd.cs.psl.application.learning.weight.em.BernoulliMeanFieldEM

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"bernoullimeanfieldem"
public static final boolean	MPE_INITIALIZATION_DEFAULT	true
public static final String	MPE_INITIALIZATION_KEY	"bernoullimeanfieldem.mpeinit"

edu.umd.cs.psl.application.learning.weight.em.ExpectationMaximization

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"em"
public static final int	ITER_DEFAULT	10
public static final String	ITER_KEY	"em.iterations"
public static final boolean	RESET_SCHEDULE_DEFAULT	true
public static final String	RESET_SCHEDULE_KEY	"em.resetschedule"
public static final boolean	STORE_WEIGHTS_DEFAULT	false
public static final String	STORE_WEIGHTS_KEY	"em.storeweights"
public static final double	TOLERANCE_DEFAULT	0.001
public static final String	TOLERANCE_KEY	"em.tolerance"

edu.umd.cs.psl.application.learning.weight.em.HardEM

Modifier and Type	Constant Field	Value
public static final boolean	ADAGRAD_DEFAULT	false
public static final String	ADAGRAD_KEY	"hardem.adagrad"
public static final String	CONFIG_PREFIX	"hardem"

edu.umd.cs.psl.application.learning.weight.em.PairedDualLearner

Modifier and Type	Constant Field	Value
public static final int	ADMM_STEPS_DEFAULT	1
public static final String	ADMM_STEPS_KEY	"pairedduallearner.admmsteps"
public static final String	CONFIG_PREFIX	"pairedduallearner"
public static final int	WARMUP_ROUNDS_DEFAULT	0
public static final String	WARMUP_ROUNDS_KEY	"pairedduallearner.warmuprounds"

edu.umd.cs.psl.application.learning.weight.maxlikelihood.MaxPseudoLikelihood

Modifier and Type	Constant Field	Value
public static final boolean	BOOLEAN_DEFAULT	false
public static final String	BOOLEAN_KEY	"maxspeudolikelihood.bool"
public static final String	CONFIG_PREFIX	"maxspeudolikelihood"
public static final double	CONSTRAINT_TOLERANCE_DEFAULT	1.0E-5
public static final String	CONSTRAINT_TOLERANCE_KEY	"maxspeudolikelihood.constrainttolerance"
public static final double	MIN_WIDTH_DEFAULT	0.01
public static final String	MIN_WIDTH_KEY	"maxspeudolikelihood.minwidth"
public static final int	NUM_SAMPLES_DEFAULT	10
public static final String	NUM_SAMPLES_KEY	"maxspeudolikelihood.numsamples"

edu.umd.cs.psl.application.learning.weight.maxlikelihood.VotedPerceptron

Modifier and Type	Constant Field	Value
public static final boolean	AUGMENT_LOSS_DEFAULT	false
public static final String	AUGMENT_LOSS_KEY	"votedperceptron.augmentloss"
public static final boolean	AVERAGE_STEPS_DEFAULT	true
public static final String	AVERAGE_STEPS_KEY	"votedperceptron.averagesteps"
public static final String	CONFIG_PREFIX	"votedperceptron"
public static final double	L1_REGULARIZATION_DEFAULT	0.0
public static final String	L1_REGULARIZATION_KEY	"votedperceptron.l1regularization"
public static final double	L2_REGULARIZATION_DEFAULT	0.0
public static final String	L2_REGULARIZATION_KEY	"votedperceptron.l2regularization"
public static final boolean	NONNEGATIVE_WEIGHTS_DEFAULT	true
public static final String	NONNEGATIVE_WEIGHTS_KEY	"votedperceptron.nonnegativeweights"
public static final int	NUM_STEPS_DEFAULT	25
public static final String	NUM_STEPS_KEY	"votedperceptron.numsteps"
public static final boolean	SCALE_GRADIENT_DEFAULT	true
public static final String	SCALE_GRADIENT_KEY	"votedperceptron.scalegradient"
public static final boolean	STEP_SCHEDULE_DEFAULT	true
public static final String	STEP_SCHEDULE_KEY	"votedperceptron.schedule"
public static final double	STEP_SIZE_DEFAULT	1.0
public static final String	STEP_SIZE_KEY	"votedperceptron.stepsize"

edu.umd.cs.psl.application.learning.weight.maxmargin.L1MaxMargin

Modifier and Type	Constant Field	Value
public static final String	BALANCE_LOSS_KEY	"l1maxmargin.balanceloss"
public static final String	CONFIG_PREFIX	"l1maxmargin"

edu.umd.cs.psl.application.learning.weight.maxmargin.MaxMargin

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"maxmargin"
public static final double	CUTTING_PLANE_TOLERANCE_DEFAULT	0.001
public static final String	CUTTING_PLANE_TOLERANCE_KEY	"maxmargin.tolerance"
public static final int	MAX_ITER_DEFAULT	500
public static final String	MAX_ITER_KEY	"maxmargin.maxiter"
public static final boolean	NONNEGATIVE_WEIGHTS_DEFAULT	true
public static final String	NONNEGATIVE_WEIGHTS_KEY	"maxmargin.nonnegativeweights"
public static final String	SCALE_NORM_KEY	"maxmargin.scalenorm"
public static final double	SLACK_PENALTY_DEFAULT	1.0
public static final String	SLACK_PENALTY_KEY	"maxmargin.slackpenalty"
public static final boolean	SQUARE_SLACK_DEFAULT	false
public static final String	SQUARE_SLACK_KEY	"maxmargin.squareslack"

edu.umd.cs.psl.application.learning.weight.maxmargin.MinNormProgram

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"minnormprog"
public static final String	CPS_KEY	"minnormprog.conicprogramsolver"

edu.umd.cs.psl.application.learning.weight.random.FirstOrderSliceRandOM

Modifier and Type	Constant Field	Value
protected final int	maxNumSteps	20
protected final double	stepSize	0.5

edu.umd.cs.psl.application.learning.weight.random.GroundMetropolisRandOM

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"groundrandom"
public static final String	PROPOSAL_VARIANCE	"groundrandom.proposalvariance"
public static final double	PROPOSAL_VARIANCE_DEFAULT	0.25

edu.umd.cs.psl.application.learning.weight.random.GroundSliceRandOM

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"groundslicerandom"
protected final int	maxNumSteps	20
public static final String	PROPOSAL_VARIANCE	"groundslicerandom.proposalvariance"
public static final double	PROPOSAL_VARIANCE_DEFAULT	0.25
protected final double	stepSize	0.5

edu.umd.cs.psl.application.learning.weight.random.HardEMRandOM

Modifier and Type	Constant Field	Value
public static final String	CHANGE_THRESHOLD	"maxmargin.change_threshold"
public static final double	CHANGE_THRESHOLD_DEFAULT	0.001
public static final String	CONFIG_PREFIX	"maxmargin"
public static final String	CUTTING_PLANE_TOLERANCE	"maxmargin.tolerance"
public static final double	CUTTING_PLANE_TOLERANCE_DEFAULT	1.0E-5
public static final String	MAX_INNER_ITER	"maxmargin.max_inner_iter"
public static final int	MAX_INNER_ITER_DEFAULT	500
public static final String	MAX_OUTER_ITER	"maxmargin.max_outer_iter"
public static final int	MAX_OUTER_ITER_DEFAULT	500
public static final String	REASONER_KEY	"maxmargin.reasoner"
public static final String	SLACK_PENALTY	"maxmargin.slack_penalty"
public static final double	SLACK_PENALTY_DEFAULT	1.0

edu.umd.cs.psl.application.learning.weight.random.MetropolisRandOM

Modifier and Type	Constant Field	Value
public static final int	BURN_IN_DEFAULT	20
public static final String	BURN_IN_KEY	"random.burnin"
public static final double	CHANGE_THRESHOLD_DEFAULT	0.05
public static final String	CHANGE_THRESHOLD_KEY	"random.changethreshold"
public static final String	CONFIG_PREFIX	"random"
public static final double	INITIAL_VARIANCE_DEFAULT	1.0
public static final String	INITIAL_VARIANCE_KEY	"random.initialvariance"
public static final int	MAX_ITER_DEFAULT	30
public static final String	MAX_ITER_KEY	"random.maxiter"
public static final int	NUM_SAMPLES_DEFAULT	100
public static final String	NUM_SAMPLES_KEY	"random.numsamples"
public static final double	OBSERVATION_DENSITY_SCALE_DEFAULT	0.1
public static final String	OBSERVATION_DENSITY_SCALE_KEY	"random.observationscale"

edu.umd.cs.psl.application.learning.weight.random.SliceRandOM

Modifier and Type	Constant Field	Value
public static final int	BURN_IN_DEFAULT	2
public static final String	BURN_IN_KEY	"slicerandom.burnin"
public static final double	CHANGE_THRESHOLD_DEFAULT	5.0E-5
public static final String	CHANGE_THRESHOLD_KEY	"slicerandom.changethreshold"
public static final String	CONFIG_PREFIX	"slicerandom"
public static final double	INITIAL_VARIANCE_DEFAULT	1.0
public static final String	INITIAL_VARIANCE_KEY	"slicerandom.initialvariance"
public static final int	MAX_ITER_DEFAULT	10
public static final String	MAX_ITER_KEY	"slicerandom.maxiter"
public static final int	NUM_SAMPLES_DEFAULT	10
public static final String	NUM_SAMPLES_KEY	"slicerandom.numsamples"
public static final double	OBSERVATION_DENSITY_SCALE_DEFAULT	1.0
public static final String	OBSERVATION_DENSITY_SCALE_KEY	"slicerandom.observationscale"

edu.umd.cs.psl.application.learning.weight.random.UnforgivingGroundSliceRandOM

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"unforgivinggroundslicerandom"
public static final double	L1_DIMENSION_DEFAULT	0.25
public static final String	L1_DIMENSION_KEY	"unforgivinggroundslicerandom.l1dimension"

edu.umd.cs.psl.application.topicmodel.LatentTopicNetwork

Modifier and Type	Constant Field	Value
public static final double	ALPHA_DEFAULT	1.01
public static final String	ALPHA_KEY	"latentTopicNetworks.alpha"
public static final double	BETA_DEFAULT	1.01
public static final String	BETA_KEY	"latentTopicNetworks.beta"
public static final String	CONFIG_PREFIX	"latentTopicNetworks"
public static final int	FIRST_W_LEARNING_ITER_DEFAULT	50
public static final String	FIRST_W_LEARNING_ITER_KEY	"latentTopicNetworks.firstWLearningIter"
public static final boolean	HINGE_LOSS_PHI_DEFAULT	false
public static final String	HINGE_LOSS_PHI_KEY	"latentTopicNetworks.hingeLossPhi"
public static final boolean	HINGE_LOSS_THETA_DEFAULT	true
public static final String	HINGE_LOSS_THETA_KEY	"latentTopicNetworks.hingeLossTheta"
public static final boolean	INIT_MSTEP_TO_LDA_PHI_DEFAULT	true
public static final String	INIT_MSTEP_TO_LDA_PHI_KEY	"latentTopicNetworks.initMStepToLDAphi"
public static final boolean	INIT_MSTEP_TO_LDA_THETA_DEFAULT	false
public static final String	INIT_MSTEP_TO_LDA_THETA_KEY	"latentTopicNetworks.initMStepToLDAtheta"
public static final int	NUM_BURNIN_DEFAULT	0
public static final String	NUM_BURNIN_KEY	"latentTopicNetworks.numBurnIn"
public static final int	NUM_ITERATIONS_DEFAULT	200
public static final String	NUM_ITERATIONS_KEY	"latentTopicNetworks.numIterations"
public static final int	NUM_TOPICS_DEFAULT	20
public static final String	NUM_TOPICS_KEY	"latentTopicNetworks.numTopics"
public static final String	SAVE_DIR_DEFAULT	""
public static final String	SAVE_DIR_KEY	"latentTopicNetworks.saveDir"
public static final int	W_LEARNING_GAP_DEFAULT	10
public static final String	W_LEARNING_GAP_KEY	"latentTopicNetworks.WLearningGap"
public static final boolean	WEIGHT_LEARNING_DEFAULT	false
public static final String	WEIGHT_LEARNING_KEY	"latentTopicNetworks.weightLearning"

edu.umd.cs.psl.application.topicmodel.LatentTopicNetworkMaxPseudoLikelihood

Modifier and Type	Constant Field	Value
public static final boolean	BOOLEAN_DEFAULT	false
public static final String	BOOLEAN_KEY	"LTNmaxspeudolikelihood.bool"
public static final String	CONFIG_PREFIX	"LTNmaxspeudolikelihood"
public static final double	CONSTRAINT_TOLERANCE_DEFAULT	1.0E-5
public static final String	CONSTRAINT_TOLERANCE_KEY	"LTNmaxspeudolikelihood.constrainttolerance"
public static final double	MIN_WIDTH_DEFAULT	0.01
public static final String	MIN_WIDTH_KEY	"LTNmaxspeudolikelihood.minwidth"
public static final int	NUM_SAMPLES_DEFAULT	10
public static final String	NUM_SAMPLES_KEY	"LTNmaxspeudolikelihood.numsamples"

edu.umd.cs.psl.application.topicmodel.LatentTopicNetworkMaxPseudoLikelihood_Naive

Modifier and Type	Constant Field	Value
public static final boolean	BOOLEAN_DEFAULT	false
public static final String	BOOLEAN_KEY	"LTNmaxspeudolikelihood.bool"
public static final String	CONFIG_PREFIX	"LTNmaxspeudolikelihood"
public static final double	CONSTRAINT_TOLERANCE_DEFAULT	1.0E-5
public static final String	CONSTRAINT_TOLERANCE_KEY	"LTNmaxspeudolikelihood.constrainttolerance"
public static final double	MIN_WIDTH_DEFAULT	0.01
public static final String	MIN_WIDTH_KEY	"LTNmaxspeudolikelihood.minwidth"
public static final int	NUM_SAMPLES_DEFAULT	10
public static final String	NUM_SAMPLES_KEY	"LTNmaxspeudolikelihood.numsamples"

edu.umd.cs.psl.application.topicmodel.reasoner.admm.LatentTopicNetworkADMMReasoner

Modifier and Type	Constant Field	Value
public static final double	LOWER_BOUND_EPSILON_DEFAULT	1.0E-6
public static final String	LOWER_BOUND_EPSILON_KEY	"admmreasoner.lowerboundepsilon"

edu.umd.cs.psl.database.rdbms.RDBMSDataStore

Modifier and Type	Constant Field	Value
public static final String	CONFIDENCE_COLUMN_DEFAULT	"confidence"
public static final String	CONFIDENCE_COLUMN_KEY	"rdbmsdatastore.confidencecolumn"
public static final String	CONFIG_PREFIX	"rdbmsdatastore"
public static final String	PARTITION_COLUMN_DEFAULT	"partition"
public static final String	PARTITION_COLUMN_KEY	"rdbmsdatastore.partitioncolumn"
public static final boolean	USE_STRING_ID_DEFAULT	true
public static final String	USE_STRING_ID_KEY	"rdbmsdatastore.usestringids"
public static final String	VALUE_COLUMN_DEFAULT	"truth"
public static final String	VALUE_COLUMN_KEY	"rdbmsdatastore.valuecolumn"

edu.umd.cs.psl.evaluation.statistics.DiscretePredictionComparator

Modifier and Type	Constant Field	Value
public static final double	DEFAULT_THRESHOLD	0.5

edu.umd.cs.psl.model.NumericUtilities

Modifier and Type	Constant Field	Value
public static final double	relaxedEpsilon	0.05
public static final double	strictEpsilon	1.0E-8

edu.umd.cs.psl.model.atom.AtomEventFramework

Modifier and Type	Constant Field	Value
public static final double	ACTIVATION_THRESHOLD_DEFAULT	0.01
public static final String	ACTIVATION_THRESHOLD_KEY	"atomeventframework.activation"
public static final String	CONFIG_PREFIX	"atomeventframework"

edu.umd.cs.psl.optimizer.conic.ipm.HomogeneousIPM

Modifier and Type	Constant Field	Value
public static final double	BETA_DEFAULT	1.0E-7
public static final String	BETA_KEY	"hipm.beta"
public static final String	CONFIG_PREFIX	"hipm"
public static final double	DELTA_DEFAULT	0.5
public static final String	DELTA_KEY	"hipm.delta"
public static final boolean	DUALIZE_DEFAULT	true
public static final String	DUALIZE_KEY	"hipm.dualize"
public static final double	GAP_THRESHOLD_DEFAULT	1.0E-5
public static final String	GAP_THRESHOLD_KEY	"hipm.gapthreshold"
public static final double	INFEASIBILITY_THRESHOLD_DEFAULT	1.0E-7
public static final String	INFEASIBILITY_THRESHOLD_KEY	"hipm.infeasibilitythreshold"
public static final double	MU_THRESHOLD_DEFAULT	1.0E-7
public static final String	MU_THRESHOLD_KEY	"hipm.muthreshold"
public static final String	NORMAL_SYS_SOLVER_KEY	"hipm.normalsolver"
public static final double	TAU_THRESHOLD_DEFAULT	1.0E-7
public static final String	TAU_THRESHOLD_KEY	"hipm.tauthreshold"

edu.umd.cs.psl.optimizer.conic.ipm.IPM

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"ipm"
public static final double	DUALITY_GAP_THRESHOLD_DEFAULT	1.0E-4
public static final String	DUALITY_GAP_THRESHOLD_KEY	"ipm.dualitygapthreshold"
public static final boolean	DUALIZE_DEFAULT	true
public static final String	DUALIZE_KEY	"ipm.dualize"
public static final double	INFEASIBILITY_THRESHOLD_DEFAULT	1.0E-7
public static final String	INFEASIBILITY_THRESHOLD_KEY	"ipm.infeasibilitythreshold"
public static final boolean	INIT_FEASIBLE_DEFAULT	true
public static final String	INIT_FEASIBLE_KEY	"ipm.initfeasible"

edu.umd.cs.psl.optimizer.conic.ipm.ParallelPartitionedIPM

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"ppipm"
public static final int	THREAD_POOL_SIZE_DEFAULT	1
public static final String	THREAD_POOL_SIZE_KEY	"ppipm.threadpoolsize"

edu.umd.cs.psl.optimizer.conic.ipm.cg.ConjugateGradientIPM

Modifier and Type	Constant Field	Value
public static final double	CG_ABS_TOL_DEFAULT	1.0E-50
public static final String	CG_ABS_TOL_KEY	"cgipm.cgabstol"
public static final double	CG_DIV_TOL_DEFAULT	100000.0
public static final String	CG_DIV_TOL_KEY	"cgipm.cgdivtol"
public static final int	CG_MAX_ITER_DEFAULT	1000000
public static final String	CG_MAX_ITER_KEY	"cgipm.maxcgiter"
public static final double	CG_REL_TOL_DEFAULT	1.0E-10
public static final String	CG_REL_TOL_KEY	"cgipm.cgreltol"
public static final String	CONFIG_PREFIX	"cgipm"

edu.umd.cs.psl.optimizer.conic.ipm.solver.BlockSolver

Modifier and Type	Constant Field	Value
public static final double	CG_ABS_TOL_DEFAULT	1.0E-49
public static final String	CG_ABS_TOL_KEY	"blocksolver.cgabstol"
public static final double	CG_DIV_TOL_DEFAULT	1000000.0
public static final String	CG_DIV_TOL_KEY	"blocksolver.cgdivtol"
public static final int	CG_MAX_ITER_DEFAULT	1000000
public static final String	CG_MAX_ITER_KEY	"blocksolver.maxcgiter"
public static final double	CG_REL_TOL_DEFAULT	1.0E-9
public static final String	CG_REL_TOL_KEY	"blocksolver.cgreltol"
public static final String	CONFIG_PREFIX	"blocksolver"
public static final int	PRECONDITIONER_TERMS_DEFAULT	1
public static final String	PRECONDITIONER_TERMS_KEY	"blocksolver.preconditionerterms"

edu.umd.cs.psl.optimizer.conic.ipm.solver.ConjugateGradient

Modifier and Type	Constant Field	Value
public static final double	CG_ABS_TOL_DEFAULT	1.0E-49
public static final String	CG_ABS_TOL_KEY	"cgsolver.cgabstol"
public static final double	CG_DIV_TOL_DEFAULT	1000000.0
public static final String	CG_DIV_TOL_KEY	"cgsolver.cgdivtol"
public static final int	CG_MAX_ITER_DEFAULT	1000000
public static final String	CG_MAX_ITER_KEY	"cgsolver.maxcgiter"
public static final double	CG_REL_TOL_DEFAULT	1.0E-9
public static final String	CG_REL_TOL_KEY	"cgsolver.cgreltol"
public static final String	CONFIG_PREFIX	"cgsolver"
public static final String	PRECONDITIONER_KEY	"cgsolver.preconditioner"

edu.umd.cs.psl.optimizer.conic.mosek.MOSEK

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"mosek"
public static final double	DUAL_FEASIBILITY_THRESHOLD_DEFAULT	1.0E-8
public static final String	DUAL_FEASIBILITY_THRESHOLD_KEY	"mosek.dualfeasibility"
public static final double	DUALITY_GAP_THRESHOLD_DEFAULT	1.0E-8
public static final String	DUALITY_GAP_THRESHOLD_KEY	"mosek.dualitygap"
public static final int	NUM_THREADS_DEFAULT	1
public static final String	NUM_THREADS_KEY	"mosek.numthreads"
public static final double	PRIMAL_FEASIBILITY_THRESHOLD_DEFAULT	1.0E-8
public static final String	PRIMAL_FEASIBILITY_THRESHOLD_KEY	"mosek.primalfeasibility"
public static final String	SOLVE_FORM_KEY	"mosek.solveform"

edu.umd.cs.psl.optimizer.conic.partition.ObjectiveCoefficientPartitioner

Modifier and Type	Constant Field	Value
protected static final int	base	2

edu.umd.cs.psl.optimizer.conic.program.LinearConstraint

Modifier and Type	Constant Field	Value
protected static final String	UNOWNED_VAR	"Variable does not belong to this conic program."

edu.umd.cs.psl.parser.PSLLexer

Modifier and Type	Constant Field	Value
public static final String	_serializedATN	"\u0003\uacf5\uee8c\u4f5d\u8b0d\u4a45\u78bd\u1b2f\u3378\u0002!\u015c\b\u0001\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0004\u0004\t\u0004\u0004\u0005\t\u0005\u0004\u0006\t\u0006\u0004\u0007\t\u0007\u0004\b\t\b\u0004\t\t\t\u0004\n\t\n\u0004\u000b\t\u000b\u0004\f\t\f\u0004\r\t\r\u0004\u000e\t\u000e\u0004\u000f\t\u000f\u0004\u0010\t\u0010\u0004\u0011\t\u0011\u0004\u0012\t\u0012\u0004\u0013\t\u0013\u0004\u0014\t\u0014\u0004\u0015\t\u0015\u0004\u0016\t\u0016\u0004\u0017\t\u0017\u0004\u0018\t\u0018\u0004\u0019\t\u0019\u0004\u001a\t\u001a\u0004\u001b\t\u001b\u0004\u001c\t\u001c\u0004\u001d\t\u001d\u0004\u001e\t\u001e\u0004\u001f\t\u001f\u0004 \t \u0004!\t!\u0004\"\t\"\u0004#\t#\u0004$\t$\u0004%\t%\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\u000b\u0003\u000b\u0003\f\u0003\f\u0003\r\u0003\r\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u0010\u0003\u0010\u0003\u0011\u0003\u0011\u0003\u0012\u0003\u0012\u0003\u0013\u0003\u0013\u0003\u0014\u0003\u0014\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0005\u0015\u00df\n\u0015\u0003\u0016\u0003\u0016\u0003\u0016\u0003\u0016\u0005\u0016\u00e5\n\u0016\u0003\u0017\u0003\u0017\u0003\u0017\u0005\u0017\u00ea\n\u0017\u0003\u0018\u0003\u0018\u0003\u0019\u0003\u0019\u0007\u0019\u00f0\n\u0019\f\u0019\u000e\u0019\u00f3\u000b\u0019\u0003\u001a\u0003\u001a\u0003\u001b\u0003\u001b\u0003\u001c\u0005\u001c\u00fa\n\u001c\u0003\u001c\u0006\u001c\u00fd\n\u001c\r\u001c\u000e\u001c\u00fe\u0003\u001c\u0005\u001c\u0102\n\u001c\u0003\u001c\u0007\u001c\u0105\n\u001c\f\u001c\u000e\u001c\u0108\u000b\u001c\u0003\u001c\u0003\u001c\u0003\u001c\u0006\u001c\u010d\n\u001c\r\u001c\u000e\u001c\u010e\u0005\u001c\u0111\n\u001c\u0003\u001d\u0003\u001d\u0007\u001d\u0115\n\u001d\f\u001d\u000e\u001d\u0118\u000b\u001d\u0003\u001d\u0003\u001d\u0003\u001d\u0007\u001d\u011d\n\u001d\f\u001d\u000e\u001d\u0120\u000b\u001d\u0003\u001d\u0005\u001d\u0123\n\u001d\u0003\u001e\u0003\u001e\u0003\u001f\u0003\u001f\u0003 \u0003 \u0003!\u0006!\u012c\n!\r!\u000e!\u012d\u0003!\u0003!\u0003\"\u0003\"\u0003\"\u0003\"\u0007\"\u0136\n\"\f\"\u000e\"\u0139\u000b\"\u0003\"\u0003\"\u0003\"\u0003\"\u0003\"\u0003#\u0003#\u0003#\u0003#\u0007#\u0144\n#\f#\u000e#\u0147\u000b#\u0003#\u0003#\u0003$\u0003$\u0007$\u014d\n$\f$\u000e$\u0150\u000b$\u0003$\u0003$\u0003%\u0003%\u0003%\u0003%\u0003%\u0003%\u0003%\u0003%\u0003%\u0005\u0116\u011e\u0137&\u0003\u0003\u0001\u0005\u0004\u0001\u0007\u0005\u0001\t\u0006\u0001\u000b\u0007\u0001\r\b\u0001\u000f\t\u0001\u0011\n\u0001\u0013\u000b\u0001\u0015\f\u0001\u0017\r\u0001\u0019\u000e\u0001\u001b\u000f\u0001\u001d\u0010\u0001\u001f\u0011\u0001!\u0012\u0001#\u0013\u0001%\u0014\u0001\'\u0015\u0001)\u0016\u0001+\u0017\u0001-\u0018\u0001/\u0019\u00011\u001a\u00013\u0002\u00015\u0002\u00017\u001b\u00019\u001c\u0001;\u0002\u0001=\u0002\u0001?\u0002\u0001A\u001d\u0002C\u001e\u0003E\u001f\u0004G \u0005I!\u0006\u0003\u0002\t\u0004\u0002##\u0080\u0080\u0006\u0002&&C\\aac|\u0007\u0002&&2;C\\aac|\u0004\u0002GGgg\u0003\u00022;\u0005\u0002\u000b\f\u000e\u000f\"\"\u0004\u0002\f\f\u000f\u000f\u0167\u0002\u0003\u0003\u0002\u0002\u0002\u0002\u0005\u0003\u0002\u0002\u0002\u0002\u0007\u0003\u0002\u0002\u0002\u0002\t\u0003\u0002\u0002\u0002\u0002\u000b\u0003\u0002\u0002\u0002\u0002\r\u0003\u0002\u0002\u0002\u0002\u000f\u0003\u0002\u0002\u0002\u0002\u0011\u0003\u0002\u0002\u0002\u0002\u0013\u0003\u0002\u0002\u0002\u0002\u0015\u0003\u0002\u0002\u0002\u0002\u0017\u0003\u0002\u0002\u0002\u0002\u0019\u0003\u0002\u0002\u0002\u0002\u001b\u0003\u0002\u0002\u0002\u0002\u001d\u0003\u0002\u0002\u0002\u0002\u001f\u0003\u0002\u0002\u0002\u0002!\u0003\u0002\u0002\u0002\u0002#\u0003\u0002\u0002\u0002\u0002%\u0003\u0002\u0002\u0002\u0002\'\u0003\u0002\u0002\u0002\u0002)\u0003\u0002\u0002\u0002\u0002+\u0003\u0002\u0002\u0002\u0002-\u0003\u0002\u0002\u0002\u0002/\u0003\u0002\u0002\u0002\u00021\u0003\u0002\u0002\u0002\u00027\u0003\u0002\u0002\u0002\u00029\u0003\u0002\u0002\u0002\u0002A\u0003\u0002\u0002\u0002\u0002C\u0003\u0002\u0002\u0002\u0002E\u0003\u0002\u0002\u0002\u0002G\u0003\u0002\u0002\u0002\u0002I\u0003\u0002\u0002\u0002\u0003K\u0003\u0002\u0002\u0002\u0005T\u0003\u0002\u0002\u0002\u0007[\u0003\u0002\u0002\u0002\tc\u0003\u0002\u0002\u0002\u000bj\u0003\u0002\u0002\u0002\rm\u0003\u0002\u0002\u0002\u000fx\u0003\u0002\u0002\u0002\u0011\u008a\u0003\u0002\u0002\u0002\u0013\u009c\u0003\u0002\u0002\u0002\u0015\u00b5\u0003\u0002\u0002\u0002\u0017\u00b7\u0003\u0002\u0002\u0002\u0019\u00b9\u0003\u0002\u0002\u0002\u001b\u00bb\u0003\u0002\u0002\u0002\u001d\u00c6\u0003\u0002\u0002\u0002\u001f\u00d0\u0003\u0002\u0002\u0002!\u00d2\u0003\u0002\u0002\u0002#\u00d4\u0003\u0002\u0002\u0002%\u00d6\u0003\u0002\u0002\u0002\'\u00d8\u0003\u0002\u0002\u0002)\u00de\u0003\u0002\u0002\u0002+\u00e4\u0003\u0002\u0002\u0002-\u00e9\u0003\u0002\u0002\u0002/\u00eb\u0003\u0002\u0002\u00021\u00ed\u0003\u0002\u0002\u00023\u00f4\u0003\u0002\u0002\u00025\u00f6\u0003\u0002\u0002\u00027\u00f9\u0003\u0002\u0002\u00029\u0122\u0003\u0002\u0002\u0002;\u0124\u0003\u0002\u0002\u0002=\u0126\u0003\u0002\u0002\u0002?\u0128\u0003\u0002\u0002\u0002A\u012b\u0003\u0002\u0002\u0002C\u0131\u0003\u0002\u0002\u0002E\u013f\u0003\u0002\u0002\u0002G\u014a\u0003\u0002\u0002\u0002I\u0153\u0003\u0002\u0002\u0002KL\u0007W\u0002\u0002LM\u0007p\u0002\u0002MN\u0007k\u0002\u0002NO\u0007s\u0002\u0002OP\u0007w\u0002\u0002PQ\u0007g\u0002\u0002QR\u0007K\u0002\u0002RS\u0007F\u0002\u0002S\u0004\u0003\u0002\u0002\u0002TU\u0007U\u0002\u0002UV\u0007v\u0002\u0002VW\u0007t\u0002\u0002WX\u0007k\u0002\u0002XY\u0007p\u0002\u0002YZ\u0007i\u0002\u0002Z\u0006\u0003\u0002\u0002\u0002[\\\u0007K\u0002\u0002\\]\u0007p\u0002\u0002]^\u0007v\u0002\u0002^_\u0007g\u0002\u0002_`\u0007i\u0002\u0002`a\u0007g\u0002\u0002ab\u0007t\u0002\u0002b\b\u0003\u0002\u0002\u0002cd\u0007F\u0002\u0002de\u0007q\u0002\u0002ef\u0007w\u0002\u0002fg\u0007d\u0002\u0002gh\u0007n\u0002\u0002hi\u0007g\u0002\u0002i\n\u0003\u0002\u0002\u0002jk\u0007q\u0002\u0002kl\u0007p\u0002\u0002l\f\u0003\u0002\u0002\u0002mn\u0007H\u0002\u0002no\u0007w\u0002\u0002op\u0007p\u0002\u0002pq\u0007e\u0002\u0002qr\u0007v\u0002\u0002rs\u0007k\u0002\u0002st\u0007q\u0002\u0002tu\u0007p\u0002\u0002uv\u0007c\u0002\u0002vw\u0007n\u0002\u0002w\u000e\u0003\u0002\u0002\u0002xy\u0007R\u0002\u0002yz\u0007c\u0002\u0002z{\u0007t\u0002\u0002{|\u0007v\u0002\u0002|}\u0007k\u0002\u0002}~\u0007c\u0002\u0002~\u007f\u0007n\u0002\u0002\u007f\u0080\u0007H\u0002\u0002\u0080\u0081\u0007w\u0002\u0002\u0081\u0082\u0007p\u0002\u0002\u0082\u0083\u0007e\u0002\u0002\u0083\u0084\u0007v\u0002\u0002\u0084\u0085\u0007k\u0002\u0002\u0085\u0086\u0007q\u0002\u0002\u0086\u0087\u0007p\u0002\u0002\u0087\u0088\u0007c\u0002\u0002\u0088\u0089\u0007n\u0002\u0002\u0089\u0010\u0003\u0002\u0002\u0002\u008a\u008b\u0007K\u0002\u0002\u008b\u008c\u0007p\u0002\u0002\u008c\u008d\u0007x\u0002\u0002\u008d\u008e\u0007g\u0002\u0002\u008e\u008f\u0007t\u0002\u0002\u008f\u0090\u0007u\u0002\u0002\u0090\u0091\u0007g\u0002\u0002\u0091\u0092\u0007H\u0002\u0002\u0092\u0093\u0007w\u0002\u0002\u0093\u0094\u0007p\u0002\u0002\u0094\u0095\u0007e\u0002\u0002\u0095\u0096\u0007v\u0002\u0002\u0096\u0097\u0007k\u0002\u0002\u0097\u0098\u0007q\u0002\u0002\u0098\u0099\u0007p\u0002\u0002\u0099\u009a\u0007c\u0002\u0002\u009a\u009b\u0007n\u0002\u0002\u009b\u0012\u0003\u0002\u0002\u0002\u009c\u009d\u0007K\u0002\u0002\u009d\u009e\u0007p\u0002\u0002\u009e\u009f\u0007x\u0002\u0002\u009f\u00a0\u0007g\u0002\u0002\u00a0\u00a1\u0007t\u0002\u0002\u00a1\u00a2\u0007u\u0002\u0002\u00a2\u00a3\u0007g\u0002\u0002\u00a3\u00a4\u0007R\u0002\u0002\u00a4\u00a5\u0007c\u0002\u0002\u00a5\u00a6\u0007t\u0002\u0002\u00a6\u00a7\u0007v\u0002\u0002\u00a7\u00a8\u0007k\u0002\u0002\u00a8\u00a9\u0007c\u0002\u0002\u00a9\u00aa\u0007n\u0002\u0002\u00aa\u00ab\u0007H\u0002\u0002\u00ab\u00ac\u0007w\u0002\u0002\u00ac\u00ad\u0007p\u0002\u0002\u00ad\u00ae\u0007e\u0002\u0002\u00ae\u00af\u0007v\u0002\u0002\u00af\u00b0\u0007k\u0002\u0002\u00b0\u00b1\u0007q\u0002\u0002\u00b1\u00b2\u0007p\u0002\u0002\u00b2\u00b3\u0007c\u0002\u0002\u00b3\u00b4\u0007n\u0002\u0002\u00b4\u0014\u0003\u0002\u0002\u0002\u00b5\u00b6\u0007.\u0002\u0002\u00b6\u0016\u0003\u0002\u0002\u0002\u00b7\u00b8\u0007}\u0002\u0002\u00b8\u0018\u0003\u0002\u0002\u0002\u00b9\u00ba\u0007\u007f\u0002\u0002\u00ba\u001a\u0003\u0002\u0002\u0002\u00bb\u00bc\u0007e\u0002\u0002\u00bc\u00bd\u0007q\u0002\u0002\u00bd\u00be\u0007p\u0002\u0002\u00be\u00bf\u0007u\u0002\u0002\u00bf\u00c0\u0007v\u0002\u0002\u00c0\u00c1\u0007t\u0002\u0002\u00c1\u00c2\u0007c\u0002\u0002\u00c2\u00c3\u0007k\u0002\u0002\u00c3\u00c4\u0007p\u0002\u0002\u00c4\u00c5\u0007v\u0002\u0002\u00c5\u001c\u0003\u0002\u0002\u0002\u00c6\u00c7\u0007}\u0002\u0002\u00c7\u00c8\u0007u\u0002\u0002\u00c8\u00c9\u0007s\u0002\u0002\u00c9\u00ca\u0007w\u0002\u0002\u00ca\u00cb\u0007c\u0002\u0002\u00cb\u00cc\u0007t\u0002\u0002\u00cc\u00cd\u0007g\u0002\u0002\u00cd\u00ce\u0007f\u0002\u0002\u00ce\u00cf\u0007\u007f\u0002\u0002\u00cf\u001e\u0003\u0002\u0002\u0002\u00d0\u00d1\u0007*\u0002\u0002\u00d1 \u0003\u0002\u0002\u0002\u00d2\u00d3\u0007+\u0002\u0002\u00d3\"\u0003\u0002\u0002\u0002\u00d4\u00d5\t\u0002\u0002\u0002\u00d5$\u0003\u0002\u0002\u0002\u00d6\u00d7\u0007(\u0002\u0002\u00d7&\u0003\u0002\u0002\u0002\u00d8\u00d9\u0007~\u0002\u0002\u00d9(\u0003\u0002\u0002\u0002\u00da\u00db\u0007@\u0002\u0002\u00db\u00df\u0007@\u0002\u0002\u00dc\u00dd\u0007/\u0002\u0002\u00dd\u00df\u0007@\u0002\u0002\u00de\u00da\u0003\u0002\u0002\u0002\u00de\u00dc\u0003\u0002\u0002\u0002\u00df*\u0003\u0002\u0002\u0002\u00e0\u00e1\u0007>\u0002\u0002\u00e1\u00e5\u0007>\u0002\u0002\u00e2\u00e3\u0007>\u0002\u0002\u00e3\u00e5\u0007/\u0002\u0002\u00e4\u00e0\u0003\u0002\u0002\u0002\u00e4\u00e2\u0003\u0002\u0002\u0002\u00e5,\u0003\u0002\u0002\u0002\u00e6\u00ea\u0007/\u0002\u0002\u00e7\u00e8\u0007#\u0002\u0002\u00e8\u00ea\u0007?\u0002\u0002\u00e9\u00e6\u0003\u0002\u0002\u0002\u00e9\u00e7\u0003\u0002\u0002\u0002\u00ea.\u0003\u0002\u0002\u0002\u00eb\u00ec\u0007`\u0002\u0002\u00ec0\u0003\u0002\u0002\u0002\u00ed\u00f1\u00053\u001a\u0002\u00ee\u00f0\u00055\u001b\u0002\u00ef\u00ee\u0003\u0002\u0002\u0002\u00f0\u00f3\u0003\u0002\u0002\u0002\u00f1\u00ef\u0003\u0002\u0002\u0002\u00f1\u00f2\u0003\u0002\u0002\u0002\u00f22\u0003\u0002\u0002\u0002\u00f3\u00f1\u0003\u0002\u0002\u0002\u00f4\u00f5\t\u0003\u0002\u0002\u00f54\u0003\u0002\u0002\u0002\u00f6\u00f7\t\u0004\u0002\u0002\u00f76\u0003\u0002\u0002\u0002\u00f8\u00fa\u0007/\u0002\u0002\u00f9\u00f8\u0003\u0002\u0002\u0002\u00f9\u00fa\u0003\u0002\u0002\u0002\u00fa\u00fc\u0003\u0002\u0002\u0002\u00fb\u00fd\u0005? \u0002\u00fc\u00fb\u0003\u0002\u0002\u0002\u00fd\u00fe\u0003\u0002\u0002\u0002\u00fe\u00fc\u0003\u0002\u0002\u0002\u00fe\u00ff\u0003\u0002\u0002\u0002\u00ff\u0101\u0003\u0002\u0002\u0002\u0100\u0102\u00070\u0002\u0002\u0101\u0100\u0003\u0002\u0002\u0002\u0101\u0102\u0003\u0002\u0002\u0002\u0102\u0106\u0003\u0002\u0002\u0002\u0103\u0105\u0005? \u0002\u0104\u0103\u0003\u0002\u0002\u0002\u0105\u0108\u0003\u0002\u0002\u0002\u0106\u0104\u0003\u0002\u0002\u0002\u0106\u0107\u0003\u0002\u0002\u0002\u0107\u0110\u0003\u0002\u0002\u0002\u0108\u0106\u0003\u0002\u0002\u0002\u0109\u010a\t\u0005\u0002\u0002\u010a\u010c\u0007/\u0002\u0002\u010b\u010d\u0005? \u0002\u010c\u010b\u0003\u0002\u0002\u0002\u010d\u010e\u0003\u0002\u0002\u0002\u010e\u010c\u0003\u0002\u0002\u0002\u010e\u010f\u0003\u0002\u0002\u0002\u010f\u0111\u0003\u0002\u0002\u0002\u0110\u0109\u0003\u0002\u0002\u0002\u0110\u0111\u0003\u0002\u0002\u0002\u01118\u0003\u0002\u0002\u0002\u0112\u0116\u0007$\u0002\u0002\u0113\u0115\u000b\u0002\u0002\u0002\u0114\u0113\u0003\u0002\u0002\u0002\u0115\u0118\u0003\u0002\u0002\u0002\u0116\u0117\u0003\u0002\u0002\u0002\u0116\u0114\u0003\u0002\u0002\u0002\u0117\u0119\u0003\u0002\u0002\u0002\u0118\u0116\u0003\u0002\u0002\u0002\u0119\u0123\u0007$\u0002\u0002\u011a\u011e\u0007)\u0002\u0002\u011b\u011d\u000b\u0002\u0002\u0002\u011c\u011b\u0003\u0002\u0002\u0002\u011d\u0120\u0003\u0002\u0002\u0002\u011e\u011f\u0003\u0002\u0002\u0002\u011e\u011c\u0003\u0002\u0002\u0002\u011f\u0121\u0003\u0002\u0002\u0002\u0120\u011e\u0003\u0002\u0002\u0002\u0121\u0123\u0007)\u0002\u0002\u0122\u0112\u0003\u0002\u0002\u0002\u0122\u011a\u0003\u0002\u0002\u0002\u0123:\u0003\u0002\u0002\u0002\u0124\u0125\u0007$\u0002\u0002\u0125<\u0003\u0002\u0002\u0002\u0126\u0127\u0007)\u0002\u0002\u0127>\u0003\u0002\u0002\u0002\u0128\u0129\t\u0006\u0002\u0002\u0129@\u0003\u0002\u0002\u0002\u012a\u012c\t\u0007\u0002\u0002\u012b\u012a\u0003\u0002\u0002\u0002\u012c\u012d\u0003\u0002\u0002\u0002\u012d\u012b\u0003\u0002\u0002\u0002\u012d\u012e\u0003\u0002\u0002\u0002\u012e\u012f\u0003\u0002\u0002\u0002\u012f\u0130\b!\u0002\u0002\u0130B\u0003\u0002\u0002\u0002\u0131\u0132\u00071\u0002\u0002\u0132\u0133\u0007,\u0002\u0002\u0133\u0137\u0003\u0002\u0002\u0002\u0134\u0136\u000b\u0002\u0002\u0002\u0135\u0134\u0003\u0002\u0002\u0002\u0136\u0139\u0003\u0002\u0002\u0002\u0137\u0138\u0003\u0002\u0002\u0002\u0137\u0135\u0003\u0002\u0002\u0002\u0138\u013a\u0003\u0002\u0002\u0002\u0139\u0137\u0003\u0002\u0002\u0002\u013a\u013b\u0007,\u0002\u0002\u013b\u013c\u00071\u0002\u0002\u013c\u013d\u0003\u0002\u0002\u0002\u013d\u013e\b\"\u0003\u0002\u013eD\u0003\u0002\u0002\u0002\u013f\u0140\u00071\u0002\u0002\u0140\u0141\u00071\u0002\u0002\u0141\u0145\u0003\u0002\u0002\u0002\u0142\u0144\n\b\u0002\u0002\u0143\u0142\u0003\u0002\u0002\u0002\u0144\u0147\u0003\u0002\u0002\u0002\u0145\u0143\u0003\u0002\u0002\u0002\u0145\u0146\u0003\u0002\u0002\u0002\u0146\u0148\u0003\u0002\u0002\u0002\u0147\u0145\u0003\u0002\u0002\u0002\u0148\u0149\b#\u0004\u0002\u0149F\u0003\u0002\u0002\u0002\u014a\u014e\u0007%\u0002\u0002\u014b\u014d\n\b\u0002\u0002\u014c\u014b\u0003\u0002\u0002\u0002\u014d\u0150\u0003\u0002\u0002\u0002\u014e\u014c\u0003\u0002\u0002\u0002\u014e\u014f\u0003\u0002\u0002\u0002\u014f\u0151\u0003\u0002\u0002\u0002\u0150\u014e\u0003\u0002\u0002\u0002\u0151\u0152\b$\u0005\u0002\u0152H\u0003\u0002\u0002\u0002\u0153\u0154\u0007O\u0002\u0002\u0154\u0155\u0007q\u0002\u0002\u0155\u0156\u0007f\u0002\u0002\u0156\u0157\u0007g\u0002\u0002\u0157\u0158\u0007n\u0002\u0002\u0158\u0159\u0007<\u0002\u0002\u0159\u015a\u0003\u0002\u0002\u0002\u015a\u015b\b%\u0006\u0002\u015bJ\u0003\u0002\u0002\u0002\u0014\u0002\u00de\u00e4\u00e9\u00f1\u00f9\u00fe\u0101\u0106\u010e\u0110\u0116\u011e\u0122\u012d\u0137\u0145\u014e"
public static final int	AND	18
public static final int	CLOSEBRACE	12
public static final int	CLOSEPAR	16
public static final int	COMMA	10
public static final int	COMMENT	28
public static final int	CONSTRAINT	13
public static final int	DBL_ARG	4
public static final int	FUNCTIONAL_CONSTRAINT	6
public static final int	ID_ARG	1
public static final int	IDENTIFIER	24
public static final int	IMPLIEDBY	21
public static final int	INT_ARG	3
public static final int	INVERSE_FUNCTIONAL_CONSTRAINT	8
public static final int	INVERSE_PARTIAL_FUNCTIONAL_CONSTRAINT	9
public static final int	LINE_COMMENT	29
public static final int	MODEL_HEADER	31
public static final int	NOT	17
public static final int	NOTEQUAL	22
public static final int	NUMBER	25
public static final int	ON	5
public static final int	OPENBRACE	11
public static final int	OPENPAR	15
public static final int	OR	19
public static final int	PARTIAL_FUNCTIONAL_CONSTRAINT	7
public static final int	PYTHON_COMMENT	30
public static final int	SQUARED	14
public static final int	STR_ARG	2
public static final int	STRING	26
public static final int	SYMMETRIC	23
public static final int	THEN	20
public static final int	WS	27

edu.umd.cs.psl.parser.PSLParser

Modifier and Type	Constant Field	Value
public static final String	_serializedATN	"\u0003\uacf5\uee8c\u4f5d\u8b0d\u4a45\u78bd\u1b2f\u3378\u0003!\u0095\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0004\u0004\t\u0004\u0004\u0005\t\u0005\u0004\u0006\t\u0006\u0004\u0007\t\u0007\u0004\b\t\b\u0004\t\t\t\u0004\n\t\n\u0004\u000b\t\u000b\u0004\f\t\f\u0004\r\t\r\u0004\u000e\t\u000e\u0004\u000f\t\u000f\u0004\u0010\t\u0010\u0003\u0002\u0003\u0002\u0003\u0002\u0006\u0002$\n\u0002\r\u0002\u000e\u0002%\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0007\u0003-\n\u0003\f\u0003\u000e\u00030\u000b\u0003\u0003\u0003\u0003\u0003\u0003\u0004\u0003\u0004\u0003\u0004\u0005\u00047\n\u0004\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0005\u0005I\n\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0007\u0005W\n\u0005\f\u0005\u000e\u0005Z\u000b\u0005\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0007\u0006a\n\u0006\f\u0006\u000e\u0006d\u000b\u0006\u0003\u0006\u0003\u0006\u0003\u0007\u0003\u0007\u0005\u0007j\n\u0007\u0003\b\u0003\b\u0003\t\u0003\t\u0005\tp\n\t\u0003\n\u0003\n\u0003\u000b\u0003\u000b\u0003\f\u0003\f\u0003\f\u0003\f\u0003\f\u0003\f\u0005\f|\n\f\u0003\r\u0003\r\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0007\u000e\u008a\n\u000e\f\u000e\u000e\u000e\u008d\u000b\u000e\u0003\u000e\u0003\u000e\u0003\u000f\u0003\u000f\u0003\u0010\u0003\u0010\u0003\u0010\u0002\u0011\u0002\u0004\u0006\b\n\f\u000e\u0010\u0012\u0014\u0016\u0018\u001a\u001c\u001e\u0002\u0004\u0003\u0002\b\t\u0003\u0002\u0003\u0006\u0097\u0002#\u0003\u0002\u0002\u0002\u0004\'\u0003\u0002\u0002\u0002\u00063\u0003\u0002\u0002\u0002\bH\u0003\u0002\u0002\u0002\n[\u0003\u0002\u0002\u0002\fi\u0003\u0002\u0002\u0002\u000ek\u0003\u0002\u0002\u0002\u0010o\u0003\u0002\u0002\u0002\u0012q\u0003\u0002\u0002\u0002\u0014s\u0003\u0002\u0002\u0002\u0016{\u0003\u0002\u0002\u0002\u0018}\u0003\u0002\u0002\u0002\u001a\u007f\u0003\u0002\u0002\u0002\u001c\u0090\u0003\u0002\u0002\u0002\u001e\u0092\u0003\u0002\u0002\u0002 $\u0005\u0004\u0003\u0002!$\u0005\u0006\u0004\u0002\"$\u0005\u001a\u000e\u0002# \u0003\u0002\u0002\u0002#!\u0003\u0002\u0002\u0002#\"\u0003\u0002\u0002\u0002$%\u0003\u0002\u0002\u0002%#\u0003\u0002\u0002\u0002%&\u0003\u0002\u0002\u0002&\u0003\u0003\u0002\u0002\u0002\'(\u0005\u0018\r\u0002()\u0007\u0011\u0002\u0002).\u0005\u001e\u0010\u0002*+\u0007\f\u0002\u0002+-\u0005\u001e\u0010\u0002,*\u0003\u0002\u0002\u0002-0\u0003\u0002\u0002\u0002.,\u0003\u0002\u0002\u0002./\u0003\u0002\u0002\u0002/1\u0003\u0002\u0002\u00020.\u0003\u0002\u0002\u000212\u0007\u0012\u0002\u00022\u0005\u0003\u0002\u0002\u000234\u0005\u0016\f\u000246\u0005\b\u0005\u000257\u0007\u0010\u0002\u000265\u0003\u0002\u0002\u000267\u0003\u0002\u0002\u00027\u0007\u0003\u0002\u0002\u000289\b\u0005\u0001\u00029:\u0007\u0013\u0002\u0002:I\u0005\b\u0005\u0002;<\u0007\u0011\u0002\u0002<=\u0005\b\u0005\u0002=>\u0007\u0012\u0002\u0002>I\u0003\u0002\u0002\u0002?@\u0005\f\u0007\u0002@A\u0007\u0018\u0002\u0002AB\u0005\f\u0007\u0002BI\u0003\u0002\u0002\u0002CD\u0005\f\u0007\u0002DE\u0007\u0019\u0002\u0002EF\u0005\f\u0007\u0002FI\u0003\u0002\u0002\u0002GI\u0005\n\u0006\u0002H8\u0003\u0002\u0002\u0002H;\u0003\u0002\u0002\u0002H?\u0003\u0002\u0002\u0002HC\u0003\u0002\u0002\u0002HG\u0003\u0002\u0002\u0002IX\u0003\u0002\u0002\u0002JK\u0006\u0005\u0002\u0003KL\u0007\u0014\u0002\u0002LW\u0005\b\u0005\u0002MN\u0006\u0005\u0003\u0003NO\u0007\u0015\u0002\u0002OW\u0005\b\u0005\u0002PQ\u0006\u0005\u0004\u0003QR\u0007\u0016\u0002\u0002RW\u0005\b\u0005\u0002ST\u0006\u0005\u0005\u0003TU\u0007\u0017\u0002\u0002UW\u0005\b\u0005\u0002VJ\u0003\u0002\u0002\u0002VM\u0003\u0002\u0002\u0002VP\u0003\u0002\u0002\u0002VS\u0003\u0002\u0002\u0002WZ\u0003\u0002\u0002\u0002XV\u0003\u0002\u0002\u0002XY\u0003\u0002\u0002\u0002Y\t\u0003\u0002\u0002\u0002ZX\u0003\u0002\u0002\u0002[\\\u0005\u0018\r\u0002\\]\u0007\u0011\u0002\u0002]b\u0005\f\u0007\u0002^_\u0007\f\u0002\u0002_a\u0005\f\u0007\u0002`^\u0003\u0002\u0002\u0002ad\u0003\u0002\u0002\u0002b`\u0003\u0002\u0002\u0002bc\u0003\u0002\u0002\u0002ce\u0003\u0002\u0002\u0002db\u0003\u0002\u0002\u0002ef\u0007\u0012\u0002\u0002f\u000b\u0003\u0002\u0002\u0002gj\u0005\u000e\b\u0002hj\u0005\u0010\t\u0002ig\u0003\u0002\u0002\u0002ih\u0003\u0002\u0002\u0002j\r\u0003\u0002\u0002\u0002kl\u0007\u001a\u0002\u0002l\u000f\u0003\u0002\u0002\u0002mp\u0005\u0012\n\u0002np\u0005\u0014\u000b\u0002om\u0003\u0002\u0002\u0002on\u0003\u0002\u0002\u0002p\u0011\u0003\u0002\u0002\u0002qr\u0007\u001b\u0002\u0002r\u0013\u0003\u0002\u0002\u0002st\u0007\u001c\u0002\u0002t\u0015\u0003\u0002\u0002\u0002uv\u0007\r\u0002\u0002vw\u0007\u001b\u0002\u0002w|\u0007\u000e\u0002\u0002xy\u0007\r\u0002\u0002yz\u0007\u000f\u0002\u0002z|\u0007\u000e\u0002\u0002{u\u0003\u0002\u0002\u0002{x\u0003\u0002\u0002\u0002|\u0017\u0003\u0002\u0002\u0002}~\u0007\u001a\u0002\u0002~\u0019\u0003\u0002\u0002\u0002\u007f\u0080\u0007\r\u0002\u0002\u0080\u0081\u0007\u000f\u0002\u0002\u0081\u0082\u0007\u000e\u0002\u0002\u0082\u0083\u0005\u001c\u000f\u0002\u0083\u0084\u0007\u0007\u0002\u0002\u0084\u0085\u0005\u0018\r\u0002\u0085\u0086\u0007\u0011\u0002\u0002\u0086\u008b\u0005\u001e\u0010\u0002\u0087\u0088\u0007\f\u0002\u0002\u0088\u008a\u0005\u001e\u0010\u0002\u0089\u0087\u0003\u0002\u0002\u0002\u008a\u008d\u0003\u0002\u0002\u0002\u008b\u0089\u0003\u0002\u0002\u0002\u008b\u008c\u0003\u0002\u0002\u0002\u008c\u008e\u0003\u0002\u0002\u0002\u008d\u008b\u0003\u0002\u0002\u0002\u008e\u008f\u0007\u0012\u0002\u0002\u008f\u001b\u0003\u0002\u0002\u0002\u0090\u0091\t\u0002\u0002\u0002\u0091\u001d\u0003\u0002\u0002\u0002\u0092\u0093\t\u0003\u0002\u0002\u0093\u001f\u0003\u0002\u0002\u0002\u000e#%.6HVXbio{\u008b"
public static final int	AND	18
public static final int	CLOSEBRACE	12
public static final int	CLOSEPAR	16
public static final int	COMMA	10
public static final int	COMMENT	28
public static final int	CONSTRAINT	13
public static final int	DBL_ARG	4
public static final int	FUNCTIONAL_CONSTRAINT	6
public static final int	ID_ARG	1
public static final int	IDENTIFIER	24
public static final int	IMPLIEDBY	21
public static final int	INT_ARG	3
public static final int	INVERSE_FUNCTIONAL_CONSTRAINT	8
public static final int	INVERSE_PARTIAL_FUNCTIONAL_CONSTRAINT	9
public static final int	LINE_COMMENT	29
public static final int	MODEL_HEADER	31
public static final int	NOT	17
public static final int	NOTEQUAL	22
public static final int	NUMBER	25
public static final int	ON	5
public static final int	OPENBRACE	11
public static final int	OPENPAR	15
public static final int	OR	19
public static final int	PARTIAL_FUNCTIONAL_CONSTRAINT	7
public static final int	PYTHON_COMMENT	30
public static final int	RULE_argument	5
public static final int	RULE_argumentType	14
public static final int	RULE_atom	4
public static final int	RULE_constant	7
public static final int	RULE_constraint	12
public static final int	RULE_constraintType	13
public static final int	RULE_expression	3
public static final int	RULE_intConstant	8
public static final int	RULE_kernel	2
public static final int	RULE_predicate	11
public static final int	RULE_predicateDefinition	1
public static final int	RULE_program	0
public static final int	RULE_strConstant	9
public static final int	RULE_variable	6
public static final int	RULE_weight	10
public static final int	SQUARED	14
public static final int	STR_ARG	2
public static final int	STRING	26
public static final int	SYMMETRIC	23
public static final int	THEN	20
public static final int	WS	27

edu.umd.cs.psl.reasoner.ExecutableReasoner

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"executablereasoner"
public static final String	EXECUTABLE_KEY	"executablereasoner.executable"

edu.umd.cs.psl.reasoner.admm.ADMMReasoner

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"admmreasoner"
public static final double	EPSILON_ABS_DEFAULT	1.0E-5
public static final String	EPSILON_ABS_KEY	"admmreasoner.epsilonabs"
public static final double	EPSILON_REL_DEFAULT	0.001
public static final String	EPSILON_REL_KEY	"admmreasoner.epsilonrel"
public static final int	MAX_ITER_DEFAULT	25000
public static final String	MAX_ITER_KEY	"admmreasoner.maxiterations"
public static final String	NUM_THREADS_KEY	"admmreasoner.numthreads"
public static final double	STEP_SIZE_DEFAULT	1.0
public static final String	STEP_SIZE_KEY	"admmreasoner.stepsize"
public static final int	STOP_CHECK_DEFAULT	1
public static final String	STOP_CHECK_KEY	"admmreasoner.stopcheck"

edu.umd.cs.psl.reasoner.bool.AD3Reasoner

Modifier and Type	Constant Field	Value
public static final String	ALGORITHM_KEY	"ad3reasoner.algorithm"
public static final String	CONFIG_PREFIX	"ad3reasoner"

edu.umd.cs.psl.reasoner.bool.BooleanMaxWalkSat

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"booleanmaxwalksat"
public static final int	MAX_FLIPS_DEFAULT	50000
public static final String	MAX_FLIPS_KEY	"booleanmaxwalksat.maxflips"
public static final double	NOISE_DEFAULT	0.01
public static final String	NOISE_KEY	"booleanmaxwalksat.noise"

edu.umd.cs.psl.reasoner.bool.BooleanMCSat

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"booleanmcsat"
public static final int	NUM_BURN_IN_DEFAULT	500
public static final String	NUM_BURN_IN_KEY	"booleanmcsat.numburnin"
public static final int	NUM_SAMPLES_DEFAULT	2500
public static final String	NUM_SAMPLES_KEY	"booleanmcsat.numsamples"

edu.umd.cs.psl.reasoner.bool.UAIFormatReasoner

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"uaiformatreasoner"
public static final int	SEED_DEFAULT	0
public static final String	SEED_KEY	"uaiformatreasoner.seed"
public static final String	TASK_KEY	"uaiformatreasoner.task"

edu.umd.cs.psl.reasoner.conic.ConicReasoner

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"conicreasoner"
public static final String	CPS_KEY	"conicreasoner.conicprogramsolver"

edu.umd.cs.psl.sampler.AbstractHitAndRunSampler

Modifier and Type	Constant Field	Value
public static final double	defaultBurnInStepsPercentage	0.01
public static final int	defaultMaxNoSteps	1000000
public static final int	defaultSignificantDigits	4

edu.umd.cs.psl.sampler.HitAndRunSamplerStatistics

Modifier and Type	Constant Field	Value
public static final String	descriptionKey	"description"
public static final String	noCallBacksKey	"noCallBacks"
public static final String	noDimensionsKey	"Dimensions"
public static final String	noEqConsKey	"noEqCons"
public static final String	noIneqConsKey	"noIneqCons"
public static final String	noObjFunKey	"noObj"
public static final String	noreducedDimKey	"ReducedDimensions"
public static final String	noSamplesKey	"noSamples"
public static final String	noTimesInCornerKey	"noTimesinCorner"
public static final String	setupTimeKey	"setupTime"
public static final String	timeInCornersKey	"timeInCorners"

edu.umd.cs.psl.ui.data.file.util.LoadDelimitedData

Modifier and Type	Constant Field	Value
public static final String	defaultDelimiter	"\t"

edu.umd.cs.psl.util.dynamicclass.DynamicClassLoader

Modifier and Type	Constant Field	Value
public static final char	argumentDelimiter	35

edu.umd.cs.psl.util.graph.partition.hierarchical.HierarchicalPartitioning

Modifier and Type	Constant Field	Value
protected static final String	relType	"connect"
protected static final String	weightType	"weight"