Constant Field Values

Contents

• org.linqs.*

org.linqs.*

org.linqs.psl.application.inference.InferenceApplication

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"inference"
public static final String	GROUND_RULE_STORE_DEFAULT	"org.linqs.psl.application.groundrulestore.MemoryGroundRuleStore"
public static final String	GROUND_RULE_STORE_KEY	"inference.groundrulestore"
public static final String	REASONER_DEFAULT	"org.linqs.psl.reasoner.admm.ADMMReasoner"
public static final String	REASONER_KEY	"inference.reasoner"
public static final String	TERM_GENERATOR_DEFAULT	"org.linqs.psl.reasoner.admm.term.ADMMTermGenerator"
public static final String	TERM_GENERATOR_KEY	"inference.termgenerator"
public static final String	TERM_STORE_DEFAULT	"org.linqs.psl.reasoner.admm.term.ADMMTermStore"
public static final String	TERM_STORE_KEY	"inference.termstore"

org.linqs.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"

org.linqs.psl.application.learning.weight.VotedPerceptron

Modifier and Type	Constant Field	Value
public static final boolean	AVERAGE_STEPS_DEFAULT	false
public static final String	AVERAGE_STEPS_KEY	"votedperceptron.averagesteps"
public static final boolean	CLIP_NEGATIVE_WEIGHTS_DEFAULT	true
public static final String	CLIP_NEGATIVE_WEIGHTS_KEY	"votedperceptron.clipnegativeweights"
public static final String	CONFIG_PREFIX	"votedperceptron"
public static final boolean	CUT_OBJECTIVE_DEFAULT	false
public static final String	CUT_OBJECTIVE_KEY	"votedperceptron.cutobjective"
public static final double	INERTIA_DEFAULT	0.0
public static final String	INERTIA_KEY	"votedperceptron.inertia"
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 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	SCALE_STEP_SIZE_DEFAULT	true
public static final String	SCALE_STEP_SIZE_KEY	"votedperceptron.scalestepsize"
public static final double	STEP_SIZE_DEFAULT	0.2
public static final String	STEP_SIZE_KEY	"votedperceptron.stepsize"
public static final boolean	ZERO_INITIAL_WEIGHTS_DEFAULT	false
public static final String	ZERO_INITIAL_WEIGHTS_KEY	"votedperceptron.zeroinitialweights"

org.linqs.psl.application.learning.weight.WeightLearningApplication

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"weightlearning"
public static final String	EVALUATOR_KEY	"weightlearning.evaluator"
public static final String	GROUND_RULE_STORE_KEY	"weightlearning.groundrulestore"
public static final int	MAX_RANDOM_WEIGHT	100
public static final int	MIN_ADMM_STEPS	3
public static final boolean	RANDOM_WEIGHTS_DEFAULT	false
public static final String	RANDOM_WEIGHTS_KEY	"weightlearning.randomweights"
public static final String	REASONER_KEY	"weightlearning.reasoner"
public static final String	TERM_GENERATOR_KEY	"weightlearning.termgenerator"
public static final String	TERM_STORE_KEY	"weightlearning.termstore"

org.linqs.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 double	TOLERANCE_DEFAULT	0.001
public static final String	TOLERANCE_KEY	"em.tolerance"

org.linqs.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"
public static final double	MIN_SCALING_FACTOR	1.0E-8

org.linqs.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"

org.linqs.psl.application.learning.weight.maxlikelihood.LazyMaxLikelihoodMPE

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"lazymaxlikelihoodmpe"
public static final int	MAX_ROUNDS_DEFAULT	100
public static final String	MAX_ROUNDS_KEY	"lazymaxlikelihoodmpe.maxgrowrounds"

org.linqs.psl.application.learning.weight.maxlikelihood.MaxPiecewisePseudoLikelihood

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"maxpiecewisepseudolikelihood"
public static final int	NUM_SAMPLES_DEFAULT	100
public static final String	NUM_SAMPLES_KEY	"maxpiecewisepseudolikelihood.numsamples"

org.linqs.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	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"

org.linqs.psl.application.learning.weight.search.Hyperband

Modifier and Type	Constant Field	Value
public static final int	BASE_BRACKET_SIZE_DEFAULT	10
public static final String	BASE_BRACKET_SIZE_KEY	"hyperband.basebracketsize"
public static final String	CONFIG_PREFIX	"hyperband"
public static final double	MEAN	0.5
public static final int	MIN_BRACKET_SIZE	1
public static final double	MIN_BUDGET_PROPORTION	0.001
public static final int	NUM_BRACKETS_DEFAULT	4
public static final String	NUM_BRACKETS_KEY	"hyperband.numbrackets"
public static final int	SURVIVAL_DEFAULT	4
public static final String	SURVIVAL_KEY	"hyperband.survival"
public static final double	VARIANCE	0.1

org.linqs.psl.application.learning.weight.search.InitialWeightHyperband

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"initialweighthyperband"
public static final String	INTERNAL_WLA_KEY	"initialweighthyperband.internalwla"

org.linqs.psl.application.learning.weight.search.grid.BaseGridSearch

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"basegridsearch"

org.linqs.psl.application.learning.weight.search.grid.ContinuousRandomGridSearch

Modifier and Type	Constant Field	Value
public static final double	BASE_WEIGHT	0.2
public static final String	CONFIG_PREFIX	"continuousrandomgridsearch"
public static final int	MAX_LOCATIONS_DEFAULT	250
public static final String	MAX_LOCATIONS_KEY	"continuousrandomgridsearch.maxlocations"
public static final double	VARIANCE	0.1

org.linqs.psl.application.learning.weight.search.grid.GridSearch

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"gridsearch"
public static final String	DELIM	":"
public static final String	POSSIBLE_WEIGHTS_DEFAULT	"0.001:0.01:0.1:1:10"
public static final String	POSSIBLE_WEIGHTS_KEY	"gridsearch.weights"

org.linqs.psl.application.learning.weight.search.grid.GuidedRandomGridSearch

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"guidedrandomgridsearch"
public static final int	EXPLORE_LOCATIONS_DEFAULT	10
public static final String	EXPLORE_LOCATIONS_KEY	"guidedrandomgridsearch.explorelocations"
public static final int	SEED_LOCATIONS_DEFAULT	25
public static final String	SEED_LOCATIONS_KEY	"guidedrandomgridsearch.seedlocations"

org.linqs.psl.application.learning.weight.search.grid.RandomGridSearch

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"randomgridsearch"
public static final int	MAX_LOCATIONS_DEFAULT	150
public static final String	MAX_LOCATIONS_KEY	"randomgridsearch.maxlocations"

org.linqs.psl.application.learning.weight.search.grid.RankSearch

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"ranksearch"
public static final String	DELIM	":"
public static final String	SCALING_FACTORS_DEFAULT	"1:2:10:100"
public static final String	SCALING_FACTORS_KEY	"ranksearch.scalingfactors"

org.linqs.psl.cli.DataLoader

Modifier and Type	Constant Field	Value
public static final String	KEY_PARTITION_OBS	"observations"
public static final String	KEY_PARTITION_TARGETS	"targets"
public static final String	KEY_PARTITION_TRUTH	"truth"
public static final String	KEY_PREDICATE	"predicates"
public static final String	PROPERTY_BLOCK	"block"
public static final String	PROPERTY_CLOSED	"closed"
public static final String	PROPERTY_OPEN	"open"
public static final String	PROPERTY_TYPES	"types"

org.linqs.psl.cli.Launcher

Modifier and Type	Constant Field	Value
public static final String	DEFAULT_POSTGRES_DB_NAME	"psl_cli"
public static final String	MODEL_FILE_EXTENSION	".psl"
public static final String	OPERATION_INFER	"i"
public static final String	OPERATION_INFER_LONG	"infer"
public static final String	OPERATION_LEARN	"l"
public static final String	OPERATION_LEARN_LONG	"learn"
public static final String	OPTION_DATA	"d"
public static final String	OPTION_DATA_LONG	"data"
public static final String	OPTION_DB_H2_PATH	"h2path"
public static final String	OPTION_DB_POSTGRESQL_NAME	"postgres"
public static final String	OPTION_EVAL	"e"
public static final String	OPTION_EVAL_LONG	"eval"
public static final String	OPTION_HELP	"h"
public static final String	OPTION_HELP_LONG	"help"
public static final String	OPTION_INT_IDS	"int"
public static final String	OPTION_INT_IDS_LONG	"int-ids"
public static final String	OPTION_LOG4J	"4j"
public static final String	OPTION_LOG4J_LONG	"log4j"
public static final String	OPTION_MODEL	"m"
public static final String	OPTION_MODEL_LONG	"model"
public static final String	OPTION_OUTPUT_DIR	"o"
public static final String	OPTION_OUTPUT_DIR_LONG	"output"
public static final String	OPTION_PROPERTIES	"D"
public static final String	OPTION_PROPERTIES_FILE	"p"
public static final String	OPTION_PROPERTIES_FILE_LONG	"properties"
public static final String	OPTION_VERSION	"v"
public static final String	OPTION_VERSION_LONG	"version"
public static final String	PARTITION_NAME_LABELS	"truth"
public static final String	PARTITION_NAME_OBSERVATIONS	"observations"
public static final String	PARTITION_NAME_TARGET	"targets"

org.linqs.psl.config.Config

Modifier and Type	Constant Field	Value
public static final String	PROJECT_PROPS	"project.properties"
public static final String	PSL_CONFIG	"psl.configuration"
public static final String	PSL_CONFIG_DEFAULT	"psl.properties"

org.linqs.psl.database.Partition

Modifier and Type	Constant Field	Value
public static final int	LAZY_PARTITION_ID	-1

org.linqs.psl.database.atom.LazyAtomManager

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

org.linqs.psl.database.atom.PersistedAtomManager

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"persistedatommanager"
public static final boolean	THROW_ACCESS_EXCEPTION_DEFAULT	true
public static final String	THROW_ACCESS_EXCEPTION_KEY	"persistedatommanager.throwaccessexception"

org.linqs.psl.database.loading.Inserter

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

org.linqs.psl.database.rdbms.DataStoreMetadata

Modifier and Type	Constant Field	Value
public static final String	ANONYMOUS_PARTITION_PREFIX	"AnonymousPartition_"
public static final String	METADATA_TABLENAME	"pslmetadata"
public static final String	NAME_KEY	"name"
public static final String	PARTITION_NAMESPACE	"partition"

org.linqs.psl.database.rdbms.OptimalCover

Modifier and Type	Constant Field	Value
public static final boolean	ALWAYS_INCLUDE_BLOCKS	true
public static final double	BLOCK_ADVANTAGE_DEFAULT	100.0
public static final String	BLOCK_ADVANTAGE_KEY	"optimalcover.blockadvantage"
public static final String	CONFIG_PREFIX	"optimalcover"
public static final double	JOIN_PENALTY_DEFAULT	2.0
public static final String	JOIN_PENALTY_KEY	"optimalcover.joinadvantage"

org.linqs.psl.database.rdbms.PredicateInfo

Modifier and Type	Constant Field	Value
public static final String	HASH_PREFIX	"H"
public static final int	MAX_TABLE_NAME_LENGTH	63
public static final String	PARTITION_COLUMN_NAME	"partition_id"
public static final String	PREDICATE_TABLE_SUFFIX	"_PREDICATE"
public static final String	VALUE_COLUMN_NAME	"value"

org.linqs.psl.database.rdbms.RDBMSDatabase

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"rdbmsdatabase"
public static final boolean	OPTIMAL_COVER_DEFAULT	false
public static final String	OPTIMAL_COVER_KEY	"rdbmsdatabase.optimalcover"

org.linqs.psl.database.rdbms.RDBMSDataStore

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"rdbmsdatastore"
public static final boolean	USE_STRING_ID_DEFAULT	true

org.linqs.psl.database.rdbms.RDBMSInserter

Modifier and Type	Constant Field	Value
public static final double	DEFAULT_EVIDENCE_VALUE	1.0
public static final int	DEFAULT_MULTIROW_COUNT	25
public static final int	DEFAULT_PAGE_SIZE	2500

org.linqs.psl.database.rdbms.driver.PostgreSQLDriver

Modifier and Type	Constant Field	Value
public static final String	DEFAULT_HOST	"localhost"
public static final String	DEFAULT_PORT	"5432"

org.linqs.psl.evaluation.statistics.CategoricalEvaluator

Modifier and Type	Constant Field	Value
public static final String	CATEGORY_INDEXES_KEY	"categoricalevaluator.categoryindexes"
public static final String	CONFIG_PREFIX	"categoricalevaluator"
public static final String	DEFAULT_CATEGORY_INDEXES	"1"
public static final String	DEFAULT_PREDICATE_KEY	"categoricalevaluator.defaultpredicate"
public static final String	DEFAULT_REPRESENTATIVE	"ACCURACY"
public static final String	DELIM	":"
public static final String	REPRESENTATIVE_KEY	"categoricalevaluator.representative"

org.linqs.psl.evaluation.statistics.ContinuousEvaluator

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"continuousevaluator"
public static final String	DEFAULT_REPRESENTATIVE	"MSE"
public static final String	REPRESENTATIVE_KEY	"continuousevaluator.representative"

org.linqs.psl.evaluation.statistics.DiscreteEvaluator

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"discreteevaluator"
public static final String	DEFAULT_REPRESENTATIVE	"F1"
public static final double	DEFAULT_THRESHOLD	0.5
public static final String	REPRESENTATIVE_KEY	"discreteevaluator.representative"
public static final String	THRESHOLD_KEY	"discreteevaluator.threshold"

org.linqs.psl.evaluation.statistics.RankingEvaluator

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"rankingevaluator"
public static final String	DEFAULT_REPRESENTATIVE	"AUROC"
public static final double	DEFAULT_THRESHOLD	0.5
public static final String	REPRESENTATIVE_KEY	"rankingevaluator.representative"
public static final String	THRESHOLD_KEY	"rankingevaluator.threshold"

org.linqs.psl.model.rule.arithmetic.AbstractArithmeticRule

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"arithmeticrule"
public static final String	DELIM_DEFAULT	";"
public static final String	DELIM_KEY	"arithmeticrule.delim"

org.linqs.psl.parser.antlr.PSLLexer

Modifier and Type	Constant Field	Value
public static final String	_serializedATN	"\u0003\u0430\ud6d1\u8206\uad2d\u4417\uaef1\u8d80\uaadd\u0002\'\u010d\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%\u0004&\t&\u0004\'\t\'\u0004(\t(\u0004)\t)\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0006\u0003\u0006\u0003\u0006\u0007\u0006c\n\u0006\f\u0006\u000e\u0006f\u000b\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0007\u0006m\n\u0006\f\u0006\u000e\u0006p\u000b\u0006\u0003\u0006\u0003\u0006\u0005\u0006t\n\u0006\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0005\u0007\u0082\n\u0007\u0003\b\u0003\b\u0003\b\u0003\t\u0003\t\u0003\t\u0003\n\u0003\n\u0003\n\u0003\u000b\u0003\u000b\u0003\f\u0003\f\u0003\r\u0003\r\u0003\u000e\u0003\u000e\u0003\u000f\u0003\u000f\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0012\u0003\u0012\u0003\u0012\u0007\u0012\u00a4\n\u0012\f\u0012\u000e\u0012\u00a7\u000b\u0012\u0003\u0013\u0006\u0013\u00aa\n\u0013\r\u0013\u000e\u0013\u00ab\u0003\u0013\u0003\u0013\u0006\u0013\u00b0\n\u0013\r\u0013\u000e\u0013\u00b1\u0005\u0013\u00b4\n\u0013\u0003\u0013\u0003\u0013\u0005\u0013\u00b8\n\u0013\u0003\u0013\u0006\u0013\u00bb\n\u0013\r\u0013\u000e\u0013\u00bc\u0005\u0013\u00bf\n\u0013\u0003\u0014\u0003\u0014\u0003\u0015\u0003\u0015\u0003\u0016\u0003\u0016\u0003\u0017\u0003\u0017\u0003\u0018\u0003\u0018\u0003\u0019\u0003\u0019\u0003\u001a\u0003\u001a\u0003\u001b\u0003\u001b\u0003\u001c\u0003\u001c\u0003\u001d\u0003\u001d\u0003\u001e\u0003\u001e\u0003\u001f\u0003\u001f\u0003 \u0003 \u0003!\u0003!\u0003\"\u0003\"\u0003#\u0003#\u0003$\u0003$\u0003%\u0003%\u0003&\u0006&\u00e6\n&\r&\u000e&\u00e7\u0003&\u0003&\u0003\'\u0003\'\u0003\'\u0003\'\u0007\'\u00f0\n\'\f\'\u000e\'\u00f3\u000b\'\u0003\'\u0003\'\u0003\'\u0003\'\u0003\'\u0003(\u0003(\u0003(\u0003(\u0007(\u00fe\n(\f(\u000e(\u0101\u000b(\u0003(\u0003(\u0003)\u0003)\u0007)\u0107\n)\f)\u000e)\u010a\u000b)\u0003)\u0003)\u0003\u00f1\u0002*\u0003\u0003\u0005\u0004\u0007\u0005\t\u0006\u000b\u0007\r\u0002\u000f\b\u0011\t\u0013\n\u0015\u000b\u0017\f\u0019\r\u001b\u000e\u001d\u000f\u001f\u0010!\u0011#\u0012%\u0013\'\u0002)\u0002+\u0014-\u0015/\u00161\u00173\u00185\u00197\u001a9\u001b;\u001c=\u001d?\u001eA\u001fC E!G\"I#K$M%O&Q\'\u0003\u0002\u000b\u0004\u0002))^^\u0004\u0002$$^^\u0003\u000234\u0004\u0002GGgg\u0006\u0002&&C\\aac|\u0003\u00022;\u0004\u0002##\u0080\u0080\u0005\u0002\u000b\f\u000e\u000f\"\"\u0004\u0002\f\f\u000f\u000f\u011f\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\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\u00021\u0003\u0002\u0002\u0002\u00023\u0003\u0002\u0002\u0002\u00025\u0003\u0002\u0002\u0002\u00027\u0003\u0002\u0002\u0002\u00029\u0003\u0002\u0002\u0002\u0002;\u0003\u0002\u0002\u0002\u0002=\u0003\u0002\u0002\u0002\u0002?\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\u0002K\u0003\u0002\u0002\u0002\u0002M\u0003\u0002\u0002\u0002\u0002O\u0003\u0002\u0002\u0002\u0002Q\u0003\u0002\u0002\u0002\u0003S\u0003\u0002\u0002\u0002\u0005V\u0003\u0002\u0002\u0002\u0007Y\u0003\u0002\u0002\u0002\t\\\u0003\u0002\u0002\u0002\u000bs\u0003\u0002\u0002\u0002\r\u0081\u0003\u0002\u0002\u0002\u000f\u0083\u0003\u0002\u0002\u0002\u0011\u0086\u0003\u0002\u0002\u0002\u0013\u0089\u0003\u0002\u0002\u0002\u0015\u008c\u0003\u0002\u0002\u0002\u0017\u008e\u0003\u0002\u0002\u0002\u0019\u0090\u0003\u0002\u0002\u0002\u001b\u0092\u0003\u0002\u0002\u0002\u001d\u0094\u0003\u0002\u0002\u0002\u001f\u0096\u0003\u0002\u0002\u0002!\u009b\u0003\u0002\u0002\u0002#\u00a0\u0003\u0002\u0002\u0002%\u00a9\u0003\u0002\u0002\u0002\'\u00c0\u0003\u0002\u0002\u0002)\u00c2\u0003\u0002\u0002\u0002+\u00c4\u0003\u0002\u0002\u0002-\u00c6\u0003\u0002\u0002\u0002/\u00c8\u0003\u0002\u0002\u00021\u00ca\u0003\u0002\u0002\u00023\u00cc\u0003\u0002\u0002\u00025\u00ce\u0003\u0002\u0002\u00027\u00d0\u0003\u0002\u0002\u00029\u00d2\u0003\u0002\u0002\u0002;\u00d4\u0003\u0002\u0002\u0002=\u00d6\u0003\u0002\u0002\u0002?\u00d8\u0003\u0002\u0002\u0002A\u00da\u0003\u0002\u0002\u0002C\u00dc\u0003\u0002\u0002\u0002E\u00de\u0003\u0002\u0002\u0002G\u00e0\u0003\u0002\u0002\u0002I\u00e2\u0003\u0002\u0002\u0002K\u00e5\u0003\u0002\u0002\u0002M\u00eb\u0003\u0002\u0002\u0002O\u00f9\u0003\u0002\u0002\u0002Q\u0104\u0003\u0002\u0002\u0002ST\u0007@\u0002\u0002TU\u0007@\u0002\u0002U\u0004\u0003\u0002\u0002\u0002VW\u0007/\u0002\u0002WX\u0007@\u0002\u0002X\u0006\u0003\u0002\u0002\u0002YZ\u0007>\u0002\u0002Z[\u0007>\u0002\u0002[\b\u0003\u0002\u0002\u0002\\]\u0007>\u0002\u0002]^\u0007/\u0002\u0002^\n\u0003\u0002\u0002\u0002_d\u0005C\"\u0002`c\u0005\r\u0007\u0002ac\n\u0002\u0002\u0002b`\u0003\u0002\u0002\u0002ba\u0003\u0002\u0002\u0002cf\u0003\u0002\u0002\u0002db\u0003\u0002\u0002\u0002de\u0003\u0002\u0002\u0002eg\u0003\u0002\u0002\u0002fd\u0003\u0002\u0002\u0002gh\u0005C\"\u0002ht\u0003\u0002\u0002\u0002in\u0005E#\u0002jm\u0005\r\u0007\u0002km\n\u0003\u0002\u0002lj\u0003\u0002\u0002\u0002lk\u0003\u0002\u0002\u0002mp\u0003\u0002\u0002\u0002nl\u0003\u0002\u0002\u0002no\u0003\u0002\u0002\u0002oq\u0003\u0002\u0002\u0002pn\u0003\u0002\u0002\u0002qr\u0005E#\u0002rt\u0003\u0002\u0002\u0002s_\u0003\u0002\u0002\u0002si\u0003\u0002\u0002\u0002t\f\u0003\u0002\u0002\u0002uv\u0007^\u0002\u0002v\u0082\u0007^\u0002\u0002wx\u0007^\u0002\u0002x\u0082\u0007)\u0002\u0002yz\u0007^\u0002\u0002z\u0082\u0007$\u0002\u0002{|\u0007^\u0002\u0002|\u0082\u0007v\u0002\u0002}~\u0007^\u0002\u0002~\u0082\u0007p\u0002\u0002\u007f\u0080\u0007^\u0002\u0002\u0080\u0082\u0007t\u0002\u0002\u0081u\u0003\u0002\u0002\u0002\u0081w\u0003\u0002\u0002\u0002\u0081y\u0003\u0002\u0002\u0002\u0081{\u0003\u0002\u0002\u0002\u0081}\u0003\u0002\u0002\u0002\u0081\u007f\u0003\u0002\u0002\u0002\u0082\u000e\u0003\u0002\u0002\u0002\u0083\u0084\u0005I%\u0002\u0084\u0085\t\u0004\u0002\u0002\u0085\u0010\u0003\u0002\u0002\u0002\u0086\u0087\u0007>\u0002\u0002\u0087\u0088\u0007?\u0002\u0002\u0088\u0012\u0003\u0002\u0002\u0002\u0089\u008a\u0007@\u0002\u0002\u008a\u008b\u0007?\u0002\u0002\u008b\u0014\u0003\u0002\u0002\u0002\u008c\u008d\u0007?\u0002\u0002\u008d\u0016\u0003\u0002\u0002\u0002\u008e\u008f\u0007-\u0002\u0002\u008f\u0018\u0003\u0002\u0002\u0002\u0090\u0091\u0007/\u0002\u0002\u0091\u001a\u0003\u0002\u0002\u0002\u0092\u0093\u0007,\u0002\u0002\u0093\u001c\u0003\u0002\u0002\u0002\u0094\u0095\u00071\u0002\u0002\u0095\u001e\u0003\u0002\u0002\u0002\u0096\u0097\u0007B\u0002\u0002\u0097\u0098\u0007O\u0002\u0002\u0098\u0099\u0007c\u0002\u0002\u0099\u009a\u0007z\u0002\u0002\u009a \u0003\u0002\u0002\u0002\u009b\u009c\u0007B\u0002\u0002\u009c\u009d\u0007O\u0002\u0002\u009d\u009e\u0007k\u0002\u0002\u009e\u009f\u0007p\u0002\u0002\u009f\"\u0003\u0002\u0002\u0002\u00a0\u00a5\u0005\'\u0014\u0002\u00a1\u00a4\u0005\'\u0014\u0002\u00a2\u00a4\u0005)\u0015\u0002\u00a3\u00a1\u0003\u0002\u0002\u0002\u00a3\u00a2\u0003\u0002\u0002\u0002\u00a4\u00a7\u0003\u0002\u0002\u0002\u00a5\u00a3\u0003\u0002\u0002\u0002\u00a5\u00a6\u0003\u0002\u0002\u0002\u00a6$\u0003\u0002\u0002\u0002\u00a7\u00a5\u0003\u0002\u0002\u0002\u00a8\u00aa\u0005)\u0015\u0002\u00a9\u00a8\u0003\u0002\u0002\u0002\u00aa\u00ab\u0003\u0002\u0002\u0002\u00ab\u00a9\u0003\u0002\u0002\u0002\u00ab\u00ac\u0003\u0002\u0002\u0002\u00ac\u00b3\u0003\u0002\u0002\u0002\u00ad\u00af\u0005+\u0016\u0002\u00ae\u00b0\u0005)\u0015\u0002\u00af\u00ae\u0003\u0002\u0002\u0002\u00b0\u00b1\u0003\u0002\u0002\u0002\u00b1\u00af\u0003\u0002\u0002\u0002\u00b1\u00b2\u0003\u0002\u0002\u0002\u00b2\u00b4\u0003\u0002\u0002\u0002\u00b3\u00ad\u0003\u0002\u0002\u0002\u00b3\u00b4\u0003\u0002\u0002\u0002\u00b4\u00be\u0003\u0002\u0002\u0002\u00b5\u00b7\t\u0005\u0002\u0002\u00b6\u00b8\u0005\u0019\r\u0002\u00b7\u00b6\u0003\u0002\u0002\u0002\u00b7\u00b8\u0003\u0002\u0002\u0002\u00b8\u00ba\u0003\u0002\u0002\u0002\u00b9\u00bb\u0005)\u0015\u0002\u00ba\u00b9\u0003\u0002\u0002\u0002\u00bb\u00bc\u0003\u0002\u0002\u0002\u00bc\u00ba\u0003\u0002\u0002\u0002\u00bc\u00bd\u0003\u0002\u0002\u0002\u00bd\u00bf\u0003\u0002\u0002\u0002\u00be\u00b5\u0003\u0002\u0002\u0002\u00be\u00bf\u0003\u0002\u0002\u0002\u00bf&\u0003\u0002\u0002\u0002\u00c0\u00c1\t\u0006\u0002\u0002\u00c1(\u0003\u0002\u0002\u0002\u00c2\u00c3\t\u0007\u0002\u0002\u00c3*\u0003\u0002\u0002\u0002\u00c4\u00c5\u00070\u0002\u0002\u00c5,\u0003\u0002\u0002\u0002\u00c6\u00c7\u0007.\u0002\u0002\u00c7.\u0003\u0002\u0002\u0002\u00c8\u00c9\u0007<\u0002\u0002\u00c90\u0003\u0002\u0002\u0002\u00ca\u00cb\t\b\u0002\u0002\u00cb2\u0003\u0002\u0002\u0002\u00cc\u00cd\u0007(\u0002\u0002\u00cd4\u0003\u0002\u0002\u0002\u00ce\u00cf\u0007~\u0002\u0002\u00cf6\u0003\u0002\u0002\u0002\u00d0\u00d1\u0007*\u0002\u0002\u00d18\u0003\u0002\u0002\u0002\u00d2\u00d3\u0007+\u0002\u0002\u00d3:\u0003\u0002\u0002\u0002\u00d4\u00d5\u0007}\u0002\u0002\u00d5<\u0003\u0002\u0002\u0002\u00d6\u00d7\u0007\u007f\u0002\u0002\u00d7>\u0003\u0002\u0002\u0002\u00d8\u00d9\u0007]\u0002\u0002\u00d9@\u0003\u0002\u0002\u0002\u00da\u00db\u0007_\u0002\u0002\u00dbB\u0003\u0002\u0002\u0002\u00dc\u00dd\u0007)\u0002\u0002\u00ddD\u0003\u0002\u0002\u0002\u00de\u00df\u0007$\u0002\u0002\u00dfF\u0003\u0002\u0002\u0002\u00e0\u00e1\u0007\'\u0002\u0002\u00e1H\u0003\u0002\u0002\u0002\u00e2\u00e3\u0007`\u0002\u0002\u00e3J\u0003\u0002\u0002\u0002\u00e4\u00e6\t\t\u0002\u0002\u00e5\u00e4\u0003\u0002\u0002\u0002\u00e6\u00e7\u0003\u0002\u0002\u0002\u00e7\u00e5\u0003\u0002\u0002\u0002\u00e7\u00e8\u0003\u0002\u0002\u0002\u00e8\u00e9\u0003\u0002\u0002\u0002\u00e9\u00ea\b&\u0002\u0002\u00eaL\u0003\u0002\u0002\u0002\u00eb\u00ec\u00071\u0002\u0002\u00ec\u00ed\u0007,\u0002\u0002\u00ed\u00f1\u0003\u0002\u0002\u0002\u00ee\u00f0\u000b\u0002\u0002\u0002\u00ef\u00ee\u0003\u0002\u0002\u0002\u00f0\u00f3\u0003\u0002\u0002\u0002\u00f1\u00f2\u0003\u0002\u0002\u0002\u00f1\u00ef\u0003\u0002\u0002\u0002\u00f2\u00f4\u0003\u0002\u0002\u0002\u00f3\u00f1\u0003\u0002\u0002\u0002\u00f4\u00f5\u0007,\u0002\u0002\u00f5\u00f6\u00071\u0002\u0002\u00f6\u00f7\u0003\u0002\u0002\u0002\u00f7\u00f8\b\'\u0003\u0002\u00f8N\u0003\u0002\u0002\u0002\u00f9\u00fa\u00071\u0002\u0002\u00fa\u00fb\u00071\u0002\u0002\u00fb\u00ff\u0003\u0002\u0002\u0002\u00fc\u00fe\n\n\u0002\u0002\u00fd\u00fc\u0003\u0002\u0002\u0002\u00fe\u0101\u0003\u0002\u0002\u0002\u00ff\u00fd\u0003\u0002\u0002\u0002\u00ff\u0100\u0003\u0002\u0002\u0002\u0100\u0102\u0003\u0002\u0002\u0002\u0101\u00ff\u0003\u0002\u0002\u0002\u0102\u0103\b(\u0003\u0002\u0103P\u0003\u0002\u0002\u0002\u0104\u0108\u0007%\u0002\u0002\u0105\u0107\n\n\u0002\u0002\u0106\u0105\u0003\u0002\u0002\u0002\u0107\u010a\u0003\u0002\u0002\u0002\u0108\u0106\u0003\u0002\u0002\u0002\u0108\u0109\u0003\u0002\u0002\u0002\u0109\u010b\u0003\u0002\u0002\u0002\u010a\u0108\u0003\u0002\u0002\u0002\u010b\u010c\b)\u0003\u0002\u010cR\u0003\u0002\u0002\u0002\u0015\u0002bdlns\u0081\u00a3\u00a5\u00ab\u00b1\u00b3\u00b7\u00bc\u00be\u00e7\u00f1\u00ff\u0108\u0004\u0002\u0003\u0002\b\u0002\u0002"
public static final int	AMPERSAND	22
public static final int	CARROT	33
public static final int	COLON	20
public static final int	COMMA	19
public static final int	COMMENT	35
public static final int	DIV	13
public static final int	DOUBLE_QUOTE	31
public static final int	EQUAL	9
public static final int	EXPONENT_EXPRESSION	6
public static final int	GREATER_THAN_EQUAL	8
public static final int	IDENTIFIER	16
public static final int	LBRACE	26
public static final int	LBRACKET	28
public static final int	LESS_THAN_EQUAL	7
public static final int	LINE_COMMENT	36
public static final int	LPAREN	24
public static final int	MAX	14
public static final int	MIN	15
public static final int	MINUS	11
public static final int	MOD	32
public static final int	MULT	12
public static final int	NEGATION	21
public static final int	NONNEGATIVE_NUMBER	17
public static final int	PERIOD	18
public static final int	PIPE	23
public static final int	PLUS	10
public static final int	PYTHON_COMMENT	37
public static final int	RBRACE	27
public static final int	RBRACKET	29
public static final int	RPAREN	25
public static final int	SINGLE_QUOTE	30
public static final int	STRING_LITERAL	5
public static final int	T__0	1
public static final int	T__1	2
public static final int	T__2	3
public static final int	T__3	4
public static final int	WS	34

org.linqs.psl.parser.antlr.PSLParser

Modifier and Type	Constant Field	Value
public static final String	_serializedATN	"\u0003\u0430\ud6d1\u8206\uad2d\u4417\uaef1\u8d80\uaadd\u0003\'\u01d9\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%\u0004&\t&\u0004\'\t\'\u0004(\t(\u0004)\t)\u0004*\t*\u0004+\t+\u0004,\t,\u0004-\t-\u0004.\t.\u0004/\t/\u00040\t0\u00041\t1\u00042\t2\u00043\t3\u00044\t4\u00045\t5\u00046\t6\u0003\u0002\u0006\u0002n\n\u0002\r\u0002\u000e\u0002o\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0005\u0003v\n\u0003\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0007\u0004\u0083\n\u0004\f\u0004\u000e\u0004\u0086\u000b\u0004\u0003\u0004\u0003\u0004\u0005\u0004\u008a\n\u0004\u0003\u0005\u0003\u0005\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0007\u0006\u0093\n\u0006\f\u0006\u000e\u0006\u0096\u000b\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0005\u0006\u009e\n\u0006\u0003\u0007\u0003\u0007\u0005\u0007\u00a2\n\u0007\u0003\b\u0003\b\u0003\t\u0003\t\u0003\n\u0003\n\u0005\n\u00aa\n\n\u0003\u000b\u0003\u000b\u0003\u000b\u0005\u000b\u00af\n\u000b\u0003\f\u0003\f\u0003\f\u0003\r\u0003\r\u0003\r\u0003\r\u0003\r\u0003\r\u0003\r\u0003\r\u0005\r\u00bc\n\r\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0005\u000e\u00c3\n\u000e\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0005\u000f\u00ca\n\u000f\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0007\u0010\u00d3\n\u0010\f\u0010\u000e\u0010\u00d6\u000b\u0010\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0007\u0011\u00df\n\u0011\f\u0011\u000e\u0011\u00e2\u000b\u0011\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0005\u0012\u00ec\n\u0012\u0003\u0013\u0003\u0013\u0005\u0013\u00f0\n\u0013\u0003\u0014\u0003\u0014\u0005\u0014\u00f4\n\u0014\u0003\u0015\u0003\u0015\u0003\u0015\u0005\u0015\u00f9\n\u0015\u0003\u0015\u0007\u0015\u00fc\n\u0015\f\u0015\u000e\u0015\u00ff\u000b\u0015\u0003\u0016\u0003\u0016\u0003\u0016\u0007\u0016\u0104\n\u0016\f\u0016\u000e\u0016\u0107\u000b\u0016\u0003\u0017\u0003\u0017\u0003\u0017\u0003\u0017\u0003\u0018\u0003\u0018\u0003\u0018\u0003\u0018\u0003\u0018\u0003\u0018\u0003\u0018\u0007\u0018\u0114\n\u0018\f\u0018\u000e\u0018\u0117\u000b\u0018\u0003\u0019\u0003\u0019\u0003\u0019\u0003\u0019\u0003\u0019\u0005\u0019\u011e\n\u0019\u0003\u001a\u0003\u001a\u0005\u001a\u0122\n\u001a\u0005\u001a\u0124\n\u001a\u0003\u001a\u0003\u001a\u0005\u001a\u0128\n\u001a\u0003\u001a\u0003\u001a\u0005\u001a\u012c\n\u001a\u0003\u001a\u0005\u001a\u012f\n\u001a\u0003\u001b\u0003\u001b\u0003\u001b\u0003\u001b\u0005\u001b\u0135\n\u001b\u0003\u001b\u0003\u001b\u0003\u001b\u0005\u001b\u013a\n\u001b\u0007\u001b\u013c\n\u001b\f\u001b\u000e\u001b\u013f\u000b\u001b\u0003\u001b\u0003\u001b\u0003\u001c\u0003\u001c\u0003\u001c\u0003\u001d\u0003\u001d\u0003\u001d\u0003\u001d\u0003\u001d\u0003\u001d\u0005\u001d\u014c\n\u001d\u0003\u001e\u0003\u001e\u0003\u001e\u0003\u001e\u0003\u001e\u0003\u001e\u0003\u001e\u0003\u001e\u0003\u001e\u0007\u001e\u0157\n\u001e\f\u001e\u000e\u001e\u015a\u000b\u001e\u0003\u001f\u0003\u001f\u0003\u001f\u0003\u001f\u0003\u001f\u0003\u001f\u0003\u001f\u0003\u001f\u0003\u001f\u0007\u001f\u0165\n\u001f\f\u001f\u000e\u001f\u0168\u000b\u001f\u0003 \u0003 \u0003!\u0003!\u0003!\u0003!\u0003!\u0005!\u0171\n!\u0003\"\u0003\"\u0003\"\u0003\"\u0003\"\u0003\"\u0003\"\u0003\"\u0003\"\u0003\"\u0003\"\u0003\"\u0003\"\u0003\"\u0005\"\u0181\n\"\u0003#\u0003#\u0003$\u0003$\u0003$\u0003$\u0003$\u0003$\u0003%\u0003%\u0003%\u0003%\u0003%\u0005%\u0190\n%\u0003&\u0003&\u0003&\u0003&\u0003&\u0003&\u0003&\u0007&\u0199\n&\f&\u000e&\u019c\u000b&\u0003\'\u0003\'\u0003\'\u0003\'\u0003\'\u0003\'\u0003\'\u0007\'\u01a5\n\'\f\'\u000e\'\u01a8\u000b\'\u0003(\u0003(\u0003)\u0003)\u0003)\u0003*\u0003*\u0003+\u0003+\u0003+\u0005+\u01b4\n+\u0003,\u0003,\u0003,\u0005,\u01b9\n,\u0003-\u0003-\u0003.\u0003.\u0003/\u0003/\u0003/\u0005/\u01c2\n/\u00030\u00030\u00030\u00031\u00031\u00031\u00051\u01ca\n1\u00032\u00032\u00033\u00033\u00034\u00034\u00035\u00035\u00036\u00056\u01d5\n6\u00036\u00036\u00036\u0002\t\u001e .:<JL7\u0002\u0004\u0006\b\n\f\u000e\u0010\u0012\u0014\u0016\u0018\u001a\u001c\u001e \"$&(*,.02468:<>@BDFHJLNPRTVXZ\\^`bdfhj\u0002\t\u0003\u0002\u0010\u0011\u0003\u0002\u0003\u0004\u0003\u0002\u0005\u0006\u0003\u0002\"#\u0003\u0002\t\u000b\u0003\u0002\f\u000f\u0003\u0002\f\r\u01d5\u0002m\u0003\u0002\u0002\u0002\u0004u\u0003\u0002\u0002\u0002\u0006\u0089\u0003\u0002\u0002\u0002\b\u008b\u0003\u0002\u0002\u0002\n\u009d\u0003\u0002\u0002\u0002\f\u00a1\u0003\u0002\u0002\u0002\u000e\u00a3\u0003\u0002\u0002\u0002\u0010\u00a5\u0003\u0002\u0002\u0002\u0012\u00a9\u0003\u0002\u0002\u0002\u0014\u00ab\u0003\u0002\u0002\u0002\u0016\u00b0\u0003\u0002\u0002\u0002\u0018\u00bb\u0003\u0002\u0002\u0002\u001a\u00c2\u0003\u0002\u0002\u0002\u001c\u00c9\u0003\u0002\u0002\u0002\u001e\u00cb\u0003\u0002\u0002\u0002 \u00d7\u0003\u0002\u0002\u0002\"\u00eb\u0003\u0002\u0002\u0002$\u00ef\u0003\u0002\u0002\u0002&\u00f3\u0003\u0002\u0002\u0002(\u00f5\u0003\u0002\u0002\u0002*\u0100\u0003\u0002\u0002\u0002,\u0108\u0003\u0002\u0002\u0002.\u010c\u0003\u0002\u0002\u00020\u011d\u0003\u0002\u0002\u00022\u012e\u0003\u0002\u0002\u00024\u0130\u0003\u0002\u0002\u00026\u0142\u0003\u0002\u0002\u00028\u014b\u0003\u0002\u0002\u0002:\u014d\u0003\u0002\u0002\u0002<\u015b\u0003\u0002\u0002\u0002>\u0169\u0003\u0002\u0002\u0002@\u0170\u0003\u0002\u0002\u0002B\u0180\u0003\u0002\u0002\u0002D\u0182\u0003\u0002\u0002\u0002F\u0184\u0003\u0002\u0002\u0002H\u018f\u0003\u0002\u0002\u0002J\u0191\u0003\u0002\u0002\u0002L\u019d\u0003\u0002\u0002\u0002N\u01a9\u0003\u0002\u0002\u0002P\u01ab\u0003\u0002\u0002\u0002R\u01ae\u0003\u0002\u0002\u0002T\u01b3\u0003\u0002\u0002\u0002V\u01b8\u0003\u0002\u0002\u0002X\u01ba\u0003\u0002\u0002\u0002Z\u01bc\u0003\u0002\u0002\u0002\\\u01c1\u0003\u0002\u0002\u0002^\u01c3\u0003\u0002\u0002\u0002`\u01c9\u0003\u0002\u0002\u0002b\u01cb\u0003\u0002\u0002\u0002d\u01cd\u0003\u0002\u0002\u0002f\u01cf\u0003\u0002\u0002\u0002h\u01d1\u0003\u0002\u0002\u0002j\u01d4\u0003\u0002\u0002\u0002ln\u0005\u0004\u0003\u0002ml\u0003\u0002\u0002\u0002no\u0003\u0002\u0002\u0002om\u0003\u0002\u0002\u0002op\u0003\u0002\u0002\u0002pq\u0003\u0002\u0002\u0002qr\u0007\u0002\u0002\u0003r\u0003\u0003\u0002\u0002\u0002sv\u0005\u0012\n\u0002tv\u0005&\u0014\u0002us\u0003\u0002\u0002\u0002ut\u0003\u0002\u0002\u0002v\u0005\u0003\u0002\u0002\u0002wx\u0005\u0012\n\u0002xy\u0007\u0002\u0002\u0003y\u008a\u0003\u0002\u0002\u0002z{\u0005&\u0014\u0002{|\u0007\u0002\u0002\u0003|\u008a\u0003\u0002\u0002\u0002}~\u0005$\u0013\u0002~\u007f\u0007\u0002\u0002\u0003\u007f\u008a\u0003\u0002\u0002\u0002\u0080\u0084\u0005,\u0017\u0002\u0081\u0083\u0005F$\u0002\u0082\u0081\u0003\u0002\u0002\u0002\u0083\u0086\u0003\u0002\u0002\u0002\u0084\u0082\u0003\u0002\u0002\u0002\u0084\u0085\u0003\u0002\u0002\u0002\u0085\u0087\u0003\u0002\u0002\u0002\u0086\u0084\u0003\u0002\u0002\u0002\u0087\u0088\u0007\u0002\u0002\u0003\u0088\u008a\u0003\u0002\u0002\u0002\u0089w\u0003\u0002\u0002\u0002\u0089z\u0003\u0002\u0002\u0002\u0089}\u0003\u0002\u0002\u0002\u0089\u0080\u0003\u0002\u0002\u0002\u008a\u0007\u0003\u0002\u0002\u0002\u008b\u008c\u0007\u0012\u0002\u0002\u008c\t\u0003\u0002\u0002\u0002\u008d\u008e\u0005\b\u0005\u0002\u008e\u008f\u0007\u001a\u0002\u0002\u008f\u0094\u0005\f\u0007\u0002\u0090\u0091\u0007\u0015\u0002\u0002\u0091\u0093\u0005\f\u0007\u0002\u0092\u0090\u0003\u0002\u0002\u0002\u0093\u0096\u0003\u0002\u0002\u0002\u0094\u0092\u0003\u0002\u0002\u0002\u0094\u0095\u0003\u0002\u0002\u0002\u0095\u0097\u0003\u0002\u0002\u0002\u0096\u0094\u0003\u0002\u0002\u0002\u0097\u0098\u0007\u001b\u0002\u0002\u0098\u009e\u0003\u0002\u0002\u0002\u0099\u009a\u0005\f\u0007\u0002\u009a\u009b\u0005\\/\u0002\u009b\u009c\u0005\f\u0007\u0002\u009c\u009e\u0003\u0002\u0002\u0002\u009d\u008d\u0003\u0002\u0002\u0002\u009d\u0099\u0003\u0002\u0002\u0002\u009e\u000b\u0003\u0002\u0002\u0002\u009f\u00a2\u0005\u000e\b\u0002\u00a0\u00a2\u0005\u0010\t\u0002\u00a1\u009f\u0003\u0002\u0002\u0002\u00a1\u00a0\u0003\u0002\u0002\u0002\u00a2\r\u0003\u0002\u0002\u0002\u00a3\u00a4\u0007\u0012\u0002\u0002\u00a4\u000f\u0003\u0002\u0002\u0002\u00a5\u00a6\u0007\u0007\u0002\u0002\u00a6\u0011\u0003\u0002\u0002\u0002\u00a7\u00aa\u0005\u0014\u000b\u0002\u00a8\u00aa\u0005\u0016\f\u0002\u00a9\u00a7\u0003\u0002\u0002\u0002\u00a9\u00a8\u0003\u0002\u0002\u0002\u00aa\u0013\u0003\u0002\u0002\u0002\u00ab\u00ac\u0005P)\u0002\u00ac\u00ae\u0005$\u0013\u0002\u00ad\u00af\u0007\b\u0002\u0002\u00ae\u00ad\u0003\u0002\u0002\u0002\u00ae\u00af\u0003\u0002\u0002\u0002\u00af\u0015\u0003\u0002\u0002\u0002\u00b0\u00b1\u0005$\u0013\u0002\u00b1\u00b2\u0007\u0014\u0002\u0002\u00b2\u0017\u0003\u0002\u0002\u0002\u00b3\u00bc\u0005\n\u0006\u0002\u00b4\u00b5\u0005R*\u0002\u00b5\u00b6\u0005\u0018\r\u0002\u00b6\u00bc\u0003\u0002\u0002\u0002\u00b7\u00b8\u0007\u001a\u0002\u0002\u00b8\u00b9\u0005\u0018\r\u0002\u00b9\u00ba\u0007\u001b\u0002\u0002\u00ba\u00bc\u0003\u0002\u0002\u0002\u00bb\u00b3\u0003\u0002\u0002\u0002\u00bb\u00b4\u0003\u0002\u0002\u0002\u00bb\u00b7\u0003\u0002\u0002\u0002\u00bc\u0019\u0003\u0002\u0002\u0002\u00bd\u00c3\u0005\u0018\r\u0002\u00be\u00bf\u0007\u001a\u0002\u0002\u00bf\u00c0\u0005\u001e\u0010\u0002\u00c0\u00c1\u0007\u001b\u0002\u0002\u00c1\u00c3\u0003\u0002\u0002\u0002\u00c2\u00bd\u0003\u0002\u0002\u0002\u00c2\u00be\u0003\u0002\u0002\u0002\u00c3\u001b\u0003\u0002\u0002\u0002\u00c4\u00ca\u0005\u0018\r\u0002\u00c5\u00c6\u0007\u001a\u0002\u0002\u00c6\u00c7\u0005 \u0011\u0002\u00c7\u00c8\u0007\u001b\u0002\u0002\u00c8\u00ca\u0003\u0002\u0002\u0002\u00c9\u00c4\u0003\u0002\u0002\u0002\u00c9\u00c5\u0003\u0002\u0002\u0002\u00ca\u001d\u0003\u0002\u0002\u0002\u00cb\u00cc\b\u0010\u0001\u0002\u00cc\u00cd\u0005\u001a\u000e\u0002\u00cd\u00d4\u0003\u0002\u0002\u0002\u00ce\u00cf\f\u0003\u0002\u0002\u00cf\u00d0\u0005T+\u0002\u00d0\u00d1\u0005\u001a\u000e\u0002\u00d1\u00d3\u0003\u0002\u0002\u0002\u00d2\u00ce\u0003\u0002\u0002\u0002\u00d3\u00d6\u0003\u0002\u0002\u0002\u00d4\u00d2\u0003\u0002\u0002\u0002\u00d4\u00d5\u0003\u0002\u0002\u0002\u00d5\u001f\u0003\u0002\u0002\u0002\u00d6\u00d4\u0003\u0002\u0002\u0002\u00d7\u00d8\b\u0011\u0001\u0002\u00d8\u00d9\u0005\u001c\u000f\u0002\u00d9\u00e0\u0003\u0002\u0002\u0002\u00da\u00db\f\u0003\u0002\u0002\u00db\u00dc\u0005V,\u0002\u00dc\u00dd\u0005\u001c\u000f\u0002\u00dd\u00df\u0003\u0002\u0002\u0002\u00de\u00da\u0003\u0002\u0002\u0002\u00df\u00e2\u0003\u0002\u0002\u0002\u00e0\u00de\u0003\u0002\u0002\u0002\u00e0\u00e1\u0003\u0002\u0002\u0002\u00e1!\u0003\u0002\u0002\u0002\u00e2\u00e0\u0003\u0002\u0002\u0002\u00e3\u00e4\u0005 \u0011\u0002\u00e4\u00e5\u0005Z.\u0002\u00e5\u00e6\u0005\u001e\u0010\u0002\u00e6\u00ec\u0003\u0002\u0002\u0002\u00e7\u00e8\u0005\u001e\u0010\u0002\u00e8\u00e9\u0005X-\u0002\u00e9\u00ea\u0005 \u0011\u0002\u00ea\u00ec\u0003\u0002\u0002\u0002\u00eb\u00e3\u0003\u0002\u0002\u0002\u00eb\u00e7\u0003\u0002\u0002\u0002\u00ec#\u0003\u0002\u0002\u0002\u00ed\u00f0\u0005 \u0011\u0002\u00ee\u00f0\u0005\"\u0012\u0002\u00ef\u00ed\u0003\u0002\u0002\u0002\u00ef\u00ee\u0003\u0002\u0002\u0002\u00f0%\u0003\u0002\u0002\u0002\u00f1\u00f4\u0005(\u0015\u0002\u00f2\u00f4\u0005*\u0016\u0002\u00f3\u00f1\u0003\u0002\u0002\u0002\u00f3\u00f2\u0003\u0002\u0002\u0002\u00f4\'\u0003\u0002\u0002\u0002\u00f5\u00f6\u0005P)\u0002\u00f6\u00f8\u0005,\u0017\u0002\u00f7\u00f9\u0007\b\u0002\u0002\u00f8\u00f7\u0003\u0002\u0002\u0002\u00f8\u00f9\u0003\u0002\u0002\u0002\u00f9\u00fd\u0003\u0002\u0002\u0002\u00fa\u00fc\u0005F$\u0002\u00fb\u00fa\u0003\u0002\u0002\u0002\u00fc\u00ff\u0003\u0002\u0002\u0002\u00fd\u00fb\u0003\u0002\u0002\u0002\u00fd\u00fe\u0003\u0002\u0002\u0002\u00fe)\u0003\u0002\u0002\u0002\u00ff\u00fd\u0003\u0002\u0002\u0002\u0100\u0101\u0005,\u0017\u0002\u0101\u0105\u0007\u0014\u0002\u0002\u0102\u0104\u0005F$\u0002\u0103\u0102\u0003\u0002\u0002\u0002\u0104\u0107\u0003\u0002\u0002\u0002\u0105\u0103\u0003\u0002\u0002\u0002\u0105\u0106\u0003\u0002\u0002\u0002\u0106+\u0003\u0002\u0002\u0002\u0107\u0105\u0003\u0002\u0002\u0002\u0108\u0109\u0005.\u0018\u0002\u0109\u010a\u0005d3\u0002\u010a\u010b\u0005.\u0018\u0002\u010b-\u0003\u0002\u0002\u0002\u010c\u010d\b\u0018\u0001\u0002\u010d\u010e\u00050\u0019\u0002\u010e\u0115\u0003\u0002\u0002\u0002\u010f\u0110\f\u0003\u0002\u0002\u0110\u0111\u0005h5\u0002\u0111\u0112\u00050\u0019\u0002\u0112\u0114\u0003\u0002\u0002\u0002\u0113\u010f\u0003\u0002\u0002\u0002\u0114\u0117\u0003\u0002\u0002\u0002\u0115\u0113\u0003\u0002\u0002\u0002\u0115\u0116\u0003\u0002\u0002\u0002\u0116/\u0003\u0002\u0002\u0002\u0117\u0115\u0003\u0002\u0002\u0002\u0118\u011e\u00052\u001a\u0002\u0119\u011a\u0007\u001a\u0002\u0002\u011a\u011b\u0005.\u0018\u0002\u011b\u011c\u0007\u001b\u0002\u0002\u011c\u011e\u0003\u0002\u0002\u0002\u011d\u0118\u0003\u0002\u0002\u0002\u011d\u0119\u0003\u0002\u0002\u0002\u011e1\u0003\u0002\u0002\u0002\u011f\u0121\u0005> \u0002\u0120\u0122\u0007\u000e\u0002\u0002\u0121\u0120\u0003\u0002\u0002\u0002\u0121\u0122\u0003\u0002\u0002\u0002\u0122\u0124\u0003\u0002\u0002\u0002\u0123\u011f\u0003\u0002\u0002\u0002\u0123\u0124\u0003\u0002\u0002\u0002\u0124\u0127\u0003\u0002\u0002\u0002\u0125\u0128\u00054\u001b\u0002\u0126\u0128\u0005\n\u0006\u0002\u0127\u0125\u0003\u0002\u0002\u0002\u0127\u0126\u0003\u0002\u0002\u0002\u0128\u012b\u0003\u0002\u0002\u0002\u0129\u012a\u0007\u000f\u0002\u0002\u012a\u012c\u0005> \u0002\u012b\u0129\u0003\u0002\u0002\u0002\u012b\u012c\u0003\u0002\u0002\u0002\u012c\u012f\u0003\u0002\u0002\u0002\u012d\u012f\u0005> \u0002\u012e\u0123\u0003\u0002\u0002\u0002\u012e\u012d\u0003\u0002\u0002\u0002\u012f3\u0003\u0002\u0002\u0002\u0130\u0131\u0005\b\u0005\u0002\u0131\u0134\u0007\u001a\u0002\u0002\u0132\u0135\u00056\u001c\u0002\u0133\u0135\u0005\f\u0007\u0002\u0134\u0132\u0003\u0002\u0002\u0002\u0134\u0133\u0003\u0002\u0002\u0002\u0135\u013d\u0003\u0002\u0002\u0002\u0136\u0139\u0007\u0015\u0002\u0002\u0137\u013a\u00056\u001c\u0002\u0138\u013a\u0005\f\u0007\u0002\u0139\u0137\u0003\u0002\u0002\u0002\u0139\u0138\u0003\u0002\u0002\u0002\u013a\u013c\u0003\u0002\u0002\u0002\u013b\u0136\u0003\u0002\u0002\u0002\u013c\u013f\u0003\u0002\u0002\u0002\u013d\u013b\u0003\u0002\u0002\u0002\u013d\u013e\u0003\u0002\u0002\u0002\u013e\u0140\u0003\u0002\u0002\u0002\u013f\u013d\u0003\u0002\u0002\u0002\u0140\u0141\u0007\u001b\u0002\u0002\u01415\u0003\u0002\u0002\u0002\u0142\u0143\u0007\f\u0002\u0002\u0143\u0144\u0007\u0012\u0002\u0002\u01447\u0003\u0002\u0002\u0002\u0145\u014c\u0005j6\u0002\u0146\u014c\u0005@!\u0002\u0147\u0148\u0007\u001a\u0002\u0002\u0148\u0149\u0005> \u0002\u0149\u014a\u0007\u001b\u0002\u0002\u014a\u014c\u0003\u0002\u0002\u0002\u014b\u0145\u0003\u0002\u0002\u0002\u014b\u0146\u0003\u0002\u0002\u0002\u014b\u0147\u0003\u0002\u0002\u0002\u014c9\u0003\u0002\u0002\u0002\u014d\u014e\b\u001e\u0001\u0002\u014e\u014f\u00058\u001d\u0002\u014f\u0158\u0003\u0002\u0002\u0002\u0150\u0151\f\u0004\u0002\u0002\u0151\u0152\u0007\u000e\u0002\u0002\u0152\u0157\u00058\u001d\u0002\u0153\u0154\f\u0003\u0002\u0002\u0154\u0155\u0007\u000f\u0002\u0002\u0155\u0157\u00058\u001d\u0002\u0156\u0150\u0003\u0002\u0002\u0002\u0156\u0153\u0003\u0002\u0002\u0002\u0157\u015a\u0003\u0002\u0002\u0002\u0158\u0156\u0003\u0002\u0002\u0002\u0158\u0159\u0003\u0002\u0002\u0002\u0159;\u0003\u0002\u0002\u0002\u015a\u0158\u0003\u0002\u0002\u0002\u015b\u015c\b\u001f\u0001\u0002\u015c\u015d\u0005:\u001e\u0002\u015d\u0166\u0003\u0002\u0002\u0002\u015e\u015f\f\u0004\u0002\u0002\u015f\u0160\u0007\f\u0002\u0002\u0160\u0165\u0005:\u001e\u0002\u0161\u0162\f\u0003\u0002\u0002\u0162\u0163\u0007\r\u0002\u0002\u0163\u0165\u0005:\u001e\u0002\u0164\u015e\u0003\u0002\u0002\u0002\u0164\u0161\u0003\u0002\u0002\u0002\u0165\u0168\u0003\u0002\u0002\u0002\u0166\u0164\u0003\u0002\u0002\u0002\u0166\u0167\u0003\u0002\u0002\u0002\u0167=\u0003\u0002\u0002\u0002\u0168\u0166\u0003\u0002\u0002\u0002\u0169\u016a\u0005<\u001f\u0002\u016a?\u0003\u0002\u0002\u0002\u016b\u016c\u0007\u0019\u0002\u0002\u016c\u016d\u0005\u000e\b\u0002\u016d\u016e\u0007\u0019\u0002\u0002\u016e\u0171\u0003\u0002\u0002\u0002\u016f\u0171\u0005B\"\u0002\u0170\u016b\u0003\u0002\u0002\u0002\u0170\u016f\u0003\u0002\u0002\u0002\u0171A\u0003\u0002\u0002\u0002\u0172\u0173\u0005D#\u0002\u0173\u0174\u0007\u001e\u0002\u0002\u0174\u0175\u0005> \u0002\u0175\u0176\u0007\u0015\u0002\u0002\u0176\u0177\u0005> \u0002\u0177\u0178\u0007\u001f\u0002\u0002\u0178\u0181\u0003\u0002\u0002\u0002\u0179\u017a\u0005D#\u0002\u017a\u017b\u0007\u001a\u0002\u0002\u017b\u017c\u0005> \u0002\u017c\u017d\u0007\u0015\u0002\u0002\u017d\u017e\u0005> \u0002\u017e\u017f\u0007\u001b\u0002\u0002\u017f\u0181\u0003\u0002\u0002\u0002\u0180\u0172\u0003\u0002\u0002\u0002\u0180\u0179\u0003\u0002\u0002\u0002\u0181C\u0003\u0002\u0002\u0002\u0182\u0183\t\u0002\u0002\u0002\u0183E\u0003\u0002\u0002\u0002\u0184\u0185\u0007\u001c\u0002\u0002\u0185\u0186\u0005\u000e\b\u0002\u0186\u0187\u0007\u0016\u0002\u0002\u0187\u0188\u0005N(\u0002\u0188\u0189\u0007\u001d\u0002\u0002\u0189G\u0003\u0002\u0002\u0002\u018a\u0190\u0005\u0018\r\u0002\u018b\u018c\u0007\u001a\u0002\u0002\u018c\u018d\u0005N(\u0002\u018d\u018e\u0007\u001b\u0002\u0002\u018e\u0190\u0003\u0002\u0002\u0002\u018f\u018a\u0003\u0002\u0002\u0002\u018f\u018b\u0003\u0002\u0002\u0002\u0190I\u0003\u0002\u0002\u0002\u0191\u0192\b&\u0001\u0002\u0192\u0193\u0005H%\u0002\u0193\u019a\u0003\u0002\u0002\u0002\u0194\u0195\f\u0003\u0002\u0002\u0195\u0196\u0005T+\u0002\u0196\u0197\u0005H%\u0002\u0197\u0199\u0003\u0002\u0002\u0002\u0198\u0194\u0003\u0002\u0002\u0002\u0199\u019c\u0003\u0002\u0002\u0002\u019a\u0198\u0003\u0002\u0002\u0002\u019a\u019b\u0003\u0002\u0002\u0002\u019bK\u0003\u0002\u0002\u0002\u019c\u019a\u0003\u0002\u0002\u0002\u019d\u019e\b\'\u0001\u0002\u019e\u019f\u0005J&\u0002\u019f\u01a6\u0003\u0002\u0002\u0002\u01a0\u01a1\f\u0003\u0002\u0002\u01a1\u01a2\u0005V,\u0002\u01a2\u01a3\u0005J&\u0002\u01a3\u01a5\u0003\u0002\u0002\u0002\u01a4\u01a0\u0003\u0002\u0002\u0002\u01a5\u01a8\u0003\u0002\u0002\u0002\u01a6\u01a4\u0003\u0002\u0002\u0002\u01a6\u01a7\u0003\u0002\u0002\u0002\u01a7M\u0003\u0002\u0002\u0002\u01a8\u01a6\u0003\u0002\u0002\u0002\u01a9\u01aa\u0005L\'\u0002\u01aaO\u0003\u0002\u0002\u0002\u01ab\u01ac\u0005j6\u0002\u01ac\u01ad\u0007\u0016\u0002\u0002\u01adQ\u0003\u0002\u0002\u0002\u01ae\u01af\u0007\u0017\u0002\u0002\u01afS\u0003\u0002\u0002\u0002\u01b0\u01b4\u0007\u0018\u0002\u0002\u01b1\u01b2\u0007\u0018\u0002\u0002\u01b2\u01b4\u0007\u0018\u0002\u0002\u01b3\u01b0\u0003\u0002\u0002\u0002\u01b3\u01b1\u0003\u0002\u0002\u0002\u01b4U\u0003\u0002\u0002\u0002\u01b5\u01b9\u0007\u0019\u0002\u0002\u01b6\u01b7\u0007\u0019\u0002\u0002\u01b7\u01b9\u0007\u0019\u0002\u0002\u01b8\u01b5\u0003\u0002\u0002\u0002\u01b8\u01b6\u0003\u0002\u0002\u0002\u01b9W\u0003\u0002\u0002\u0002\u01ba\u01bb\t\u0003\u0002\u0002\u01bbY\u0003\u0002\u0002\u0002\u01bc\u01bd\t\u0004\u0002\u0002\u01bd[\u0003\u0002\u0002\u0002\u01be\u01c2\u0005^0\u0002\u01bf\u01c2\u0005`1\u0002\u01c0\u01c2\u0005b2\u0002\u01c1\u01be\u0003\u0002\u0002\u0002\u01c1\u01bf\u0003\u0002\u0002\u0002\u01c1\u01c0\u0003\u0002\u0002\u0002\u01c2]\u0003\u0002\u0002\u0002\u01c3\u01c4\u0007\u000b\u0002\u0002\u01c4\u01c5\u0007\u000b\u0002\u0002\u01c5_\u0003\u0002\u0002\u0002\u01c6\u01c7\u0007\u0017\u0002\u0002\u01c7\u01ca\u0007\u000b\u0002\u0002\u01c8\u01ca\u0007\r\u0002\u0002\u01c9\u01c6\u0003\u0002\u0002\u0002\u01c9\u01c8\u0003\u0002\u0002\u0002\u01caa\u0003\u0002\u0002\u0002\u01cb\u01cc\t\u0005\u0002\u0002\u01ccc\u0003\u0002\u0002\u0002\u01cd\u01ce\t\u0006\u0002\u0002\u01cee\u0003\u0002\u0002\u0002\u01cf\u01d0\t\u0007\u0002\u0002\u01d0g\u0003\u0002\u0002\u0002\u01d1\u01d2\t\b\u0002\u0002\u01d2i\u0003\u0002\u0002\u0002\u01d3\u01d5\u0007\r\u0002\u0002\u01d4\u01d3\u0003\u0002\u0002\u0002\u01d4\u01d5\u0003\u0002\u0002\u0002\u01d5\u01d6\u0003\u0002\u0002\u0002\u01d6\u01d7\u0007\u0013\u0002\u0002\u01d7k\u0003\u0002\u0002\u0002/ou\u0084\u0089\u0094\u009d\u00a1\u00a9\u00ae\u00bb\u00c2\u00c9\u00d4\u00e0\u00eb\u00ef\u00f3\u00f8\u00fd\u0105\u0115\u011d\u0121\u0123\u0127\u012b\u012e\u0134\u0139\u013d\u014b\u0156\u0158\u0164\u0166\u0170\u0180\u018f\u019a\u01a6\u01b3\u01b8\u01c1\u01c9\u01d4"
public static final int	AMPERSAND	22
public static final int	CARROT	33
public static final int	COLON	20
public static final int	COMMA	19
public static final int	COMMENT	35
public static final int	DIV	13
public static final int	DOUBLE_QUOTE	31
public static final int	EQUAL	9
public static final int	EXPONENT_EXPRESSION	6
public static final int	GREATER_THAN_EQUAL	8
public static final int	IDENTIFIER	16
public static final int	LBRACE	26
public static final int	LBRACKET	28
public static final int	LESS_THAN_EQUAL	7
public static final int	LINE_COMMENT	36
public static final int	LPAREN	24
public static final int	MAX	14
public static final int	MIN	15
public static final int	MINUS	11
public static final int	MOD	32
public static final int	MULT	12
public static final int	NEGATION	21
public static final int	NONNEGATIVE_NUMBER	17
public static final int	PERIOD	18
public static final int	PIPE	23
public static final int	PLUS	10
public static final int	PYTHON_COMMENT	37
public static final int	RBRACE	27
public static final int	RBRACKET	29
public static final int	RPAREN	25
public static final int	RULE_and	41
public static final int	RULE_arithmeticCoefficientOperand	24
public static final int	RULE_arithmeticOperator	50
public static final int	RULE_arithmeticRule	18
public static final int	RULE_arithmeticRuleExpression	21
public static final int	RULE_arithmeticRuleRelation	49
public static final int	RULE_atom	4
public static final int	RULE_booleanConjunctiveExpression	36
public static final int	RULE_booleanDisjunctiveExpression	37
public static final int	RULE_booleanExpression	38
public static final int	RULE_booleanValue	35
public static final int	RULE_coefficient	27
public static final int	RULE_coefficientAdditiveExpression	29
public static final int	RULE_coefficientExpression	30
public static final int	RULE_coefficientFunction	32
public static final int	RULE_coefficientFunctionOperator	33
public static final int	RULE_coefficientMultiplicativeExpression	28
public static final int	RULE_coefficientOperator	31
public static final int	RULE_constant	7
public static final int	RULE_filterClause	34
public static final int	RULE_impliedBy	44
public static final int	RULE_linearArithmeticExpression	22
public static final int	RULE_linearArithmeticOperand	23
public static final int	RULE_linearOperator	51
public static final int	RULE_logicalConjunctiveExpression	14
public static final int	RULE_logicalConjunctiveValue	12
public static final int	RULE_logicalDisjunctiveExpression	15
public static final int	RULE_logicalDisjunctiveValue	13
public static final int	RULE_logicalImplicationExpression	16
public static final int	RULE_logicalNegationValue	11
public static final int	RULE_logicalRule	8
public static final int	RULE_logicalRuleExpression	17
public static final int	RULE_nonSymmetric	48
public static final int	RULE_not	40
public static final int	RULE_notEqual	47
public static final int	RULE_number	52
public static final int	RULE_or	42
public static final int	RULE_predicate	3
public static final int	RULE_program	0
public static final int	RULE_pslRule	1
public static final int	RULE_pslRulePartial	2
public static final int	RULE_summationAtom	25
public static final int	RULE_summationVariable	26
public static final int	RULE_term	5
public static final int	RULE_termEqual	46
public static final int	RULE_termOperator	45
public static final int	RULE_then	43
public static final int	RULE_unweightedArithmeticRule	20
public static final int	RULE_unweightedLogicalRule	10
public static final int	RULE_variable	6
public static final int	RULE_weightedArithmeticRule	19
public static final int	RULE_weightedLogicalRule	9
public static final int	RULE_weightExpression	39
public static final int	SINGLE_QUOTE	30
public static final int	STRING_LITERAL	5
public static final int	T__0	1
public static final int	T__1	2
public static final int	T__2	3
public static final int	T__3	4
public static final int	WS	34

org.linqs.psl.reasoner.ExecutableReasoner

Modifier and Type	Constant Field	Value
public static final boolean	CLEANUP_INPUT_DEFAULT	true
public static final String	CLEANUP_INPUT_KEY	"executablereasoner.cleanupinput"
public static final boolean	CLEANUP_OUTPUT_DEFAULT	true
public static final String	CLEANUP_OUTPUT_KEY	"executablereasoner.cleanupoutput"
public static final String	CONFIG_PREFIX	"executablereasoner"
public static final String	EXECUTABLE_PATH_KEY	"executablereasoner.executablepath"

org.linqs.psl.reasoner.admm.ADMMReasoner

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"admmreasoner"
public static final float	EPSILON_ABS_DEFAULT	9.999999747378752E-6f
public static final String	EPSILON_ABS_KEY	"admmreasoner.epsilonabs"
public static final float	EPSILON_REL_DEFAULT	0.0010000000474974513f
public static final String	EPSILON_REL_KEY	"admmreasoner.epsilonrel"
public static final String	INITIAL_CONSENSUS_VALUE_KEY	"admmreasoner.initialconsensusvalue"
public static final String	INITIAL_LOCAL_VALUE_KEY	"admmreasoner.initiallocalvalue"
public static final int	MAX_ITER_DEFAULT	25000
public static final String	MAX_ITER_KEY	"admmreasoner.maxiterations"
public static final boolean	OBJECTIVE_BREAK_DEFAULT	true
public static final String	OBJECTIVE_BREAK_KEY	"admmreasoner.objectivebreak"
public static final float	STEP_SIZE_DEFAULT	1.0f
public static final String	STEP_SIZE_KEY	"admmreasoner.stepsize"

org.linqs.psl.reasoner.admm.term.ADMMTermGenerator

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"admmtermgenerator"
public static final boolean	INVERT_NEGATIVE_WEIGHTS_DEFAULT	false
public static final String	INVERT_NEGATIVE_WEIGHTS_KEY	"admmtermgenerator.invertnegativeweights"

org.linqs.psl.reasoner.admm.term.ADMMTermStore

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"admmmemorytermstore"
public static final String	INTERNAL_STORE_DEFAULT	"org.linqs.psl.reasoner.term.MemoryTermStore"
public static final String	INTERNAL_STORE_KEY	"admmmemorytermstore.internalstore"

org.linqs.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"

org.linqs.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"

org.linqs.psl.reasoner.term.MemoryTermStore<E extends Term>

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"memorytermstore"
public static final int	INITIAL_SIZE_DEFAULT	5000
public static final String	INITIAL_SIZE_KEY	"memorytermstore.initialsize"

org.linqs.psl.util.HashCode

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_INITIAL_NUMBER	17
public static final int	DEFAULT_MULTIPLIER	37

org.linqs.psl.util.MathUtils

Modifier and Type	Constant Field	Value
public static final double	EPSILON	1.0E-6
public static final double	EPSILON_FLOAT	9.999999974752427E-7
public static final double	RELAXED_EPSILON	0.005
public static final double	RELAXED_EPSILON_FLOAT	0.004999999888241291
public static final double	STRICT_EPSILON	1.0E-8
public static final double	STRICT_EPSILON_FLOAT	9.99999993922529E-9

org.linqs.psl.util.Parallel

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"parallel"
public static final String	NUM_THREADS_KEY	"parallel.numthreads"

org.linqs.psl.util.RandUtils

Modifier and Type	Constant Field	Value
public static final String	CONFIG_PREFIX	"random"
public static final int	SEED_DEFAULT	4
public static final String	SEED_KEY	"random.seed"

org.linqs.psl.util.StringUtils

Modifier and Type	Constant Field	Value
public static final char	DEFAULT_DELIM	44

org.linqs.psl.util.Version

Modifier and Type	Constant Field	Value
public static final String	VERSION_DEFAULT	"UNKNOWN"
public static final String	VERSION_KEY	"project.version"