occam-verify-cli 1.0.983 → 1.0.985

package/lib/utilities/json.js

@@ -1,1109 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-function _export(target, all) {
-    for(var name in all)Object.defineProperty(target, name, {
-        enumerable: true,
-        get: Object.getOwnPropertyDescriptor(all, name).get
-    });
-}
-_export(exports, {
-    get ariableToVariableJSON () {
-        return ariableToVariableJSON;
-    },
-    get assertionsFromJSON () {
-        return assertionsFromJSON;
-    },
-    get assertionsToAssertionsJSON () {
-        return assertionsToAssertionsJSON;
-    },
-    get assumptionsFromJSON () {
-        return assumptionsFromJSON;
-    },
-    get assumptionsToAssumptionsJSON () {
-        return assumptionsToAssumptionsJSON;
-    },
-    get axiomsFromJSON () {
-        return axiomsFromJSON;
-    },
-    get axiomsToAxiomsJSON () {
-        return axiomsToAxiomsJSON;
-    },
-    get combinatorsFromJSON () {
-        return combinatorsFromJSON;
-    },
-    get combinatorsToCombinatorsJSON () {
-        return combinatorsToCombinatorsJSON;
-    },
-    get conclusionFromJSON () {
-        return conclusionFromJSON;
-    },
-    get conclusionToConclusionJSON () {
-        return conclusionToConclusionJSON;
-    },
-    get conjecturesFromJSON () {
-        return conjecturesFromJSON;
-    },
-    get conjecturesToConjecturesJSON () {
-        return conjecturesToConjecturesJSON;
-    },
-    get constructorsFromJSON () {
-        return constructorsFromJSON;
-    },
-    get constructorsToConstructorsJSON () {
-        return constructorsToConstructorsJSON;
-    },
-    get declaredMetavariableToDEclaredMetavariableJSON () {
-        return declaredMetavariableToDEclaredMetavariableJSON;
-    },
-    get declaredMetavariablesFromJSON () {
-        return declaredMetavariablesFromJSON;
-    },
-    get declaredMetavariablesToDeclaredMetavariablesJSON () {
-        return declaredMetavariablesToDeclaredMetavariablesJSON;
-    },
-    get declaredVariablesFromJSON () {
-        return declaredVariablesFromJSON;
-    },
-    get declaredVariablesToDeclaredVariablesJSON () {
-        return declaredVariablesToDeclaredVariablesJSON;
-    },
-    get deductionFromJSON () {
-        return deductionFromJSON;
-    },
-    get deductionToDeductionJSON () {
-        return deductionToDeductionJSON;
-    },
-    get equalitiesFromJSON () {
-        return equalitiesFromJSON;
-    },
-    get equalitiesToEqualitiesJSON () {
-        return equalitiesToEqualitiesJSON;
-    },
-    get frameFromJSON () {
-        return frameFromJSON;
-    },
-    get frameToFrameJSON () {
-        return frameToFrameJSON;
-    },
-    get framesFromJSON () {
-        return framesFromJSON;
-    },
-    get framesToFramesJSON () {
-        return framesToFramesJSON;
-    },
-    get hypothesesFromJSON () {
-        return hypothesesFromJSON;
-    },
-    get hypothesesToHypothesesJSON () {
-        return hypothesesToHypothesesJSON;
-    },
-    get identifierFromJSON () {
-        return identifierFromJSON;
-    },
-    get identifierToIdentifierJSON () {
-        return identifierToIdentifierJSON;
-    },
-    get judgementsFromJSON () {
-        return judgementsFromJSON;
-    },
-    get judgementsToJudgementsJSON () {
-        return judgementsToJudgementsJSON;
-    },
-    get labelFromJSON () {
-        return labelFromJSON;
-    },
-    get labelToLabelJSON () {
-        return labelToLabelJSON;
-    },
-    get labelsFromJSON () {
-        return labelsFromJSON;
-    },
-    get labelsToLabelsJSON () {
-        return labelsToLabelsJSON;
-    },
-    get metaLevelAssumptionsFromJSON () {
-        return metaLevelAssumptionsFromJSON;
-    },
-    get metaLevelAssumptionsToMetaLevelAssumptionsJSON () {
-        return metaLevelAssumptionsToMetaLevelAssumptionsJSON;
-    },
-    get metaTypeFromJSON () {
-        return metaTypeFromJSON;
-    },
-    get metaTypeToMetaTypeJSON () {
-        return metaTypeToMetaTypeJSON;
-    },
-    get metatheoremsFromJSON () {
-        return metatheoremsFromJSON;
-    },
-    get metatheoremsToMetatheoremsJSON () {
-        return metatheoremsToMetatheoremsJSON;
-    },
-    get metavariableFromJSON () {
-        return metavariableFromJSON;
-    },
-    get metavariableToMetavariableJSON () {
-        return metavariableToMetavariableJSON;
-    },
-    get metavariablesFromJSON () {
-        return metavariablesFromJSON;
-    },
-    get metavariablesToMetavariablesJSON () {
-        return metavariablesToMetavariablesJSON;
-    },
-    get mnemicContextFromJSON () {
-        return mnemicContextFromJSON;
-    },
-    get mnemicContextToMnemicContextJSON () {
-        return mnemicContextToMnemicContextJSON;
-    },
-    get mnemicContextsFromJSON () {
-        return mnemicContextsFromJSON;
-    },
-    get mnemicContextsToMnemicContextsJSON () {
-        return mnemicContextsToMnemicContextsJSON;
-    },
-    get nameFromJSON () {
-        return nameFromJSON;
-    },
-    get nameToNameJSON () {
-        return nameToNameJSON;
-    },
-    get negatedFromJSON () {
-        return negatedFromJSON;
-    },
-    get negatedToNegatedJSON () {
-        return negatedToNegatedJSON;
-    },
-    get parametersFromJSON () {
-        return parametersFromJSON;
-    },
-    get parametersToParametersJSON () {
-        return parametersToParametersJSON;
-    },
-    get prefixNameFromJSON () {
-        return prefixNameFromJSON;
-    },
-    get prefixnameToPrevixNameJSON () {
-        return prefixnameToPrevixNameJSON;
-    },
-    get premisesFromJSON () {
-        return premisesFromJSON;
-    },
-    get premisesToPremisesJSON () {
-        return premisesToPremisesJSON;
-    },
-    get procedureCallFromJSON () {
-        return procedureCallFromJSON;
-    },
-    get procedureCallToProcedureCallJSON () {
-        return procedureCallToProcedureCallJSON;
-    },
-    get procedureReferenceFromJSON () {
-        return procedureReferenceFromJSON;
-    },
-    get procedureReferenceToProcedureReferenceJSON () {
-        return procedureReferenceToProcedureReferenceJSON;
-    },
-    get propertiesFromJSON () {
-        return propertiesFromJSON;
-    },
-    get propertiesToPropertiesJSON () {
-        return propertiesToPropertiesJSON;
-    },
-    get propertyRelationsFromJSON () {
-        return propertyRelationsFromJSON;
-    },
-    get propertyRelationsToPropertyRelationsJSON () {
-        return propertyRelationsToPropertyRelationsJSON;
-    },
-    get provisionalFromJSON () {
-        return provisionalFromJSON;
-    },
-    get provisionalToProvisionalJSON () {
-        return provisionalToProvisionalJSON;
-    },
-    get referenceFromJSON () {
-        return referenceFromJSON;
-    },
-    get referenceToReferenceJSON () {
-        return referenceToReferenceJSON;
-    },
-    get referencesFromJSON () {
-        return referencesFromJSON;
-    },
-    get referencesToReferencesJSON () {
-        return referencesToReferencesJSON;
-    },
-    get rulesFromJSON () {
-        return rulesFromJSON;
-    },
-    get rulesToRulesJSON () {
-        return rulesToRulesJSON;
-    },
-    get signatureFromJSON () {
-        return signatureFromJSON;
-    },
-    get signatureToSignatureJSON () {
-        return signatureToSignatureJSON;
-    },
-    get signaturesFromJSON () {
-        return signaturesFromJSON;
-    },
-    get signaturesToSignaturesJSON () {
-        return signaturesToSignaturesJSON;
-    },
-    get statementFromJSON () {
-        return statementFromJSON;
-    },
-    get statementToStatementJSON () {
-        return statementToStatementJSON;
-    },
-    get statementsFromJSON () {
-        return statementsFromJSON;
-    },
-    get statementsToStatementsJSON () {
-        return statementsToStatementsJSON;
-    },
-    get substitutionFromSubstitutionJSON () {
-        return substitutionFromSubstitutionJSON;
-    },
-    get substitutionsFromJSON () {
-        return substitutionsFromJSON;
-    },
-    get substitutionsToSubstitutionsJSON () {
-        return substitutionsToSubstitutionsJSON;
-    },
-    get superTypesFromJSON () {
-        return superTypesFromJSON;
-    },
-    get superTypesToSuperTypesJSON () {
-        return superTypesToSuperTypesJSON;
-    },
-    get suppositionsFromJSON () {
-        return suppositionsFromJSON;
-    },
-    get suppositionsToSuppositionsJSON () {
-        return suppositionsToSuppositionsJSON;
-    },
-    get termFromJSON () {
-        return termFromJSON;
-    },
-    get termToTermJSON () {
-        return termToTermJSON;
-    },
-    get termsFromJSON () {
-        return termsFromJSON;
-    },
-    get termsToTermsJSON () {
-        return termsToTermsJSON;
-    },
-    get theoremsFromJSON () {
-        return theoremsFromJSON;
-    },
-    get theoremsToTheoremsJSON () {
-        return theoremsToTheoremsJSON;
-    },
-    get typeFromJSON () {
-        return typeFromJSON;
-    },
-    get typePrefixesFromJSON () {
-        return typePrefixesFromJSON;
-    },
-    get typePrefixesToTypePrefixesJSON () {
-        return typePrefixesToTypePrefixesJSON;
-    },
-    get typeToTypeJSON () {
-        return typeToTypeJSON;
-    },
-    get typesFromJSON () {
-        return typesFromJSON;
-    },
-    get typesToTypesJSON () {
-        return typesToTypesJSON;
-    },
-    get variablesFromJSON () {
-        return variablesFromJSON;
-    },
-    get variablesToVariablesJSON () {
-        return variablesToVariablesJSON;
-    }
-});
-const _elements = /*#__PURE__*/ _interop_require_default(require("../elements"));
-const _mnemic = /*#__PURE__*/ _interop_require_default(require("../context/mnemic"));
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-function nameFromJSON(json, context) {
-    let { name } = json;
-    const nameJSON = name; ///
-    name = nameJSON; ///
-    return name;
-}
-function termFromJSON(json, context) {
-    let { term } = json;
-    if (term !== null) {
-        const termJSON = term; ///
-        json = termJSON; ///
-        const { Term } = _elements.default;
-        term = Term.fromJSON(json, context);
-    }
-    return term;
-}
-function typeFromJSON(json, context) {
-    let { type } = json;
-    if (type !== null) {
-        json = type; ///
-        const { string } = json, name = string; ///
-        type = findTypeByName(name, context);
-    }
-    return type;
-}
-function labelFromJSON(json, context) {
-    let { label } = json;
-    const { Label } = _elements.default, labelJSON = label; ///
-    json = labelJSON; ///
-    label = Label.fromJSON(json, context);
-    return label;
-}
-function frameFromJSON(json, context) {
-    let { frame } = json;
-    if (frame !== null) {
-        const frameJSON = frame; ///
-        json = frameJSON; ///
-        const { Frame } = _elements.default;
-        frame = Frame.fromJSON(json, context);
-    }
-    return frame;
-}
-function negatedFromJSON(json, context) {
-    const { negated } = json;
-    return negated;
-}
-function metaTypeFromJSON(json, context) {
-    let { metaType } = json;
-    if (metaType !== null) {
-        json = metaType; ///
-        const { string } = json, name = string; ///
-        metaType = findMetaTypeByName(name, context);
-    }
-    return metaType;
-}
-function statementFromJSON(json, context) {
-    let { statement = null } = json;
-    if (statement !== null) {
-        const { Statement } = _elements.default, statementJSON = statement; ///
-        json = statementJSON; ///
-        statement = Statement.fromJSON(json, context);
-    }
-    return statement;
-}
-function deductionFromJSON(json, context) {
-    let { deduction } = json;
-    const { Deduction } = _elements.default, deductionJSON = deduction; ///
-    json = deductionJSON; ///
-    deduction = Deduction.fromJSON(json, context);
-    return deduction;
-}
-function signatureFromJSON(json, context) {
-    let { signature = null } = json;
-    if (signature !== null) {
-        const { Signature } = _elements.default, signatureJSON = signature; ///
-        json = signatureJSON; ///
-        signature = Signature.fromJSON(json, context);
-    }
-    return signature;
-}
-function referenceFromJSON(json, context) {
-    let { reference } = json;
-    const { Reference } = _elements.default, referenceJSON = reference; ///
-    json = referenceJSON; ///
-    reference = Reference.fromJSON(json, context);
-    return reference;
-}
-function identifierFromJSON(json, context) {
-    let { identifier } = json;
-    const identifierJSON = identifier; ///
-    identifier = identifierJSON; ///
-    return identifier;
-}
-function conclusionFromJSON(json, context) {
-    let { conclusion } = json;
-    const { Conclusion } = _elements.default, conclusionJSON = conclusion; ///
-    json = conclusionJSON; ///
-    conclusion = Conclusion.fromJSON(json, context);
-    return conclusion;
-}
-function provisionalFromJSON(json, context) {
-    const { provisional } = json;
-    return provisional;
-}
-function metavariableFromJSON(json, context) {
-    let { metavariable } = json;
-    const { Metavariable } = _elements.default, metavariableJSON = metavariable; ///
-    json = metavariableJSON; ///
-    metavariable = Metavariable.fromJSON(json, context);
-    return metavariable;
-}
-function mnemicContextFromJSON(json, context) {
-    const releaseContext = context; ///
-    ({ context } = json);
-    json = context; ///
-    context = releaseContext; ///
-    const mnemicContext = _mnemic.default.fromJSON(json, context);
-    return mnemicContext;
-}
-function procedureCallFromJSON(json, context) {
-    let { procedureCall = null } = json;
-    if (procedureCall !== null) {
-        const { ProcedureCall } = _elements.default, procedureCallJSON = procedureCall; ///
-        json = procedureCallJSON; ///
-        procedureCall = ProcedureCall.fromJSON(json, context);
-    }
-    return procedureCall;
-}
-function procedureReferenceFromJSON(json, context) {
-    let { procedureReference } = json;
-    const { ProcedureReference } = _elements.default, procedureReferenceJSON = procedureReference; ///
-    json = procedureReferenceJSON; ///
-    procedureReference = ProcedureReference.fromJSON(json, context);
-    return procedureReference;
-}
-function typesFromJSON(json, types, context) {
-    const { types: typesJSON } = json;
-    const { Type } = _elements.default;
-    typesJSON.forEach((typeJSON)=>{
-        const json = typeJSON, type = Type.fromJSON(json, context);
-        types.push(type);
-    });
-}
-function termsFromJSON(json, context) {
-    let { terms } = json;
-    const { Term } = _elements.default, termsJSON = terms; ///
-    terms = termsJSON.map((termJSON)=>{
-        const json = termJSON, term = Term.fromJSON(json, context);
-        return term;
-    });
-    return terms;
-}
-function rulesFromJSON(json, context) {
-    let { rules } = json;
-    const { Rule } = _elements.default, rulesJSON = rules; ///
-    rules = rulesJSON.map((ruleJSON)=>{
-        const json = ruleJSON, rule = Rule.fromJSON(json, context);
-        return rule;
-    });
-    return rules;
-}
-function framesFromJSON(json, context) {
-    let { frames } = json;
-    const { Frame } = _elements.default, framesJSON = frames; ///
-    frames = framesJSON.map((frameJSON)=>{
-        const json = frameJSON, frame = Frame.fromJSON(json, context);
-        return frame;
-    });
-    return frames;
-}
-function labelsFromJSON(json, context) {
-    let { labels } = json;
-    const { Label } = _elements.default, labelsJSON = labels; ///
-    labels = labelsJSON.map((labelJSON)=>{
-        const json = labelJSON, label = Label.fromJSON(json, context);
-        return label;
-    });
-    return labels;
-}
-function axiomsFromJSON(json, context) {
-    let { axioms } = json;
-    const { Axiom } = _elements.default, axiomsJSON = axioms; ///
-    axioms = axiomsJSON.map((axiomJSON)=>{
-        const json = axiomJSON, axiom = Axiom.fromJSON(json, context);
-        return axiom;
-    });
-    return axioms;
-}
-function premisesFromJSON(json, context) {
-    let { premises } = json;
-    const { Premise } = _elements.default, premisesJSON = premises; ///
-    premises = premisesJSON.map((premiseJSON)=>{
-        const json = premiseJSON, premise = Premise.fromJSON(json, context);
-        return premise;
-    });
-    return premises;
-}
-function theoremsFromJSON(json, context) {
-    let { theorems } = json;
-    const { Theorem } = _elements.default, theoremsJSON = theorems; ///
-    theorems = theoremsJSON.map((theoremJSON)=>{
-        const json = theoremJSON, theorem = Theorem.fromJSON(json, context);
-        return theorem;
-    });
-    return theorems;
-}
-function variablesFromJSON(json, context) {
-    let { variables } = json;
-    const { Variable } = _elements.default, variablesJSON = variables; ///
-    variables = variablesJSON.map((variableJSON)=>{
-        const json = variableJSON, variable = Variable.fromJSON(json, context);
-        return variable;
-    });
-    return variables;
-}
-function propertiesFromJSON(json, context) {
-    let { properties } = json;
-    const { Property } = _elements.default, propertiesJSON = properties; ///
-    properties = propertiesJSON.map((propertyJSON)=>{
-        const json = propertyJSON, property = Property.fromJSON(json, context);
-        return property;
-    });
-    return properties;
-}
-function equalitiesFromJSON(json, context) {
-    let { equalities } = json;
-    const { Equality } = _elements.default, equalitiesJSON = equalities; ///
-    equalities = equalitiesJSON.map((equalityJSON)=>{
-        const json = equalityJSON, equality = Equality.fromJSON(json, context);
-        return equality;
-    });
-    return equalities;
-}
-function prefixNameFromJSON(json, context) {
-    const { prefixName } = json;
-    return prefixName;
-}
-function superTypesFromJSON(json, context) {
-    const { superTypes: superTypesJSON } = json;
-    const superTypes = superTypesJSON.map((superTypeJSON)=>{
-        const json = superTypeJSON, { string } = json, name = string, type = findTypeByName(name, context), superType = type; ///
-        return superType;
-    });
-    return superTypes;
-}
-function hypothesesFromJSON(json, context) {
-    let { hypotheses } = json;
-    const { Hypothesis } = _elements.default, hypothesesJSON = hypotheses; ///
-    hypotheses = hypothesesJSON.map((hypothesisJSON)=>{
-        const json = hypothesisJSON, hypothesis = Hypothesis.fromJSON(json, context);
-        return hypothesis;
-    });
-    return hypotheses;
-}
-function parametersFromJSON(json, context) {
-    let { parameters } = json;
-    const { Parameter } = _elements.default, parametersJSON = parameters; ///
-    parameters = parametersJSON.map((parameterJSON)=>{
-        const json = parameterJSON, parameter = Parameter.fromJSON(json, context);
-        return parameter;
-    });
-    return parameters;
-}
-function judgementsFromJSON(json, context) {
-    let { judgements } = json;
-    const { Judgement } = _elements.default, judgementsJSON = judgements; ///
-    judgements = judgementsJSON.map((judgementJSON)=>{
-        const json = judgementJSON, judgement = Judgement.fromJSON(json, context);
-        return judgement;
-    });
-    return judgements;
-}
-function statementsFromJSON(json, context) {
-    let { statements } = json;
-    const { Statement } = _elements.default, statementsJSON = statements; ///
-    statements = statementsJSON.map((statementJSON)=>{
-        const json = statementJSON, statement = Statement.fromJSON(json, context);
-        return statement;
-    });
-    return statements;
-}
-function assertionsFromJSON(json, context) {
-    let { assertions } = json;
-    const { TypeAssertion, DefinedAssertion, PropertyAssertion, SubproofAssertion, SignatureAssertion, ContainedAssertion } = _elements.default, assertionsJSON = assertions; ///
-    assertions = assertionsJSON.map((assertionJSON)=>{
-        const json = assertionJSON, assertion = TypeAssertion.fromJSON(json, context) || DefinedAssertion.fromJSON(json, context) || PropertyAssertion.fromJSON(json, context) || SubproofAssertion.fromJSON(json, context) || SignatureAssertion.fromJSON(json, context) || ContainedAssertion.fromJSON(json, context);
-        return assertion;
-    });
-    return assertions;
-}
-function referencesFromJSON(json, context) {
-    let { references } = json;
-    const { Reference } = _elements.default, referencesJSON = references; ///
-    references = referencesJSON.map((referenceJSON)=>{
-        const json = referenceJSON, reference = Reference.fromJSON(json, context);
-        return reference;
-    });
-    return references;
-}
-function signaturesFromJSON(json, context) {
-    let { signatures } = json;
-    const { Signature } = _elements.default, signaturesJSON = signatures; ///
-    signatures = signaturesJSON.map((signatureJSON)=>{
-        const json = signatureJSON, signature = Signature.fromJSON(json, context);
-        return signature;
-    });
-    return signatures;
-}
-function conjecturesFromJSON(json, context) {
-    let { conjectures } = json;
-    const { Conjecture } = _elements.default, conjecturesJSON = conjectures; ///
-    conjectures = conjecturesJSON.map((conjectureJSON)=>{
-        const json = conjectureJSON, conjecture = Conjecture.fromJSON(json, context);
-        return conjecture;
-    });
-    return conjectures;
-}
-function combinatorsFromJSON(json, context) {
-    let { combinators } = json;
-    const { Combinator } = _elements.default, combinatorsJSON = combinators; ///
-    combinators = combinatorsJSON.map((combinatorJSON)=>{
-        const json = combinatorJSON, combinator = Combinator.fromJSON(json, context);
-        return combinator;
-    });
-    return combinators;
-}
-function assumptionsFromJSON(json, context) {
-    let { assumptions } = json;
-    const { Assumption } = _elements.default, assumptionsJSON = assumptions; ///
-    assumptions = assumptionsJSON.map((assumptionJSON)=>{
-        const json = assumptionJSON, assumption = Assumption.fromJSON(json, context);
-        return assumption;
-    });
-    return assumptions;
-}
-function typePrefixesFromJSON(json, context) {
-    let { typePrefixes } = json;
-    const { TypePrefix } = _elements.default, typePrefixesJSON = typePrefixes; ///
-    typePrefixes = typePrefixesJSON.map((typePrefixJSON)=>{
-        const json = typePrefixJSON, typePrefix = TypePrefix.fromJSON(json, context);
-        return typePrefix;
-    });
-    return typePrefixes;
-}
-function constructorsFromJSON(json, context) {
-    let { constructors } = json;
-    const { Constructor } = _elements.default, constructorsJSON = constructors; ///
-    constructors = constructorsJSON.map((constructorJSON)=>{
-        const json = constructorJSON, constructor = Constructor.fromJSON(json, context);
-        return constructor;
-    });
-    return constructors;
-}
-function metatheoremsFromJSON(json, context) {
-    let { metatheorems } = json;
-    const { Metatheorem } = _elements.default, metatheoremsJSON = metatheorems; ///
-    metatheorems = metatheoremsJSON.map((metatheoremJSON)=>{
-        const json = metatheoremJSON, metatheorem = Metatheorem.fromJSON(json, context);
-        return metatheorem;
-    });
-    return metatheorems;
-}
-function suppositionsFromJSON(json, context) {
-    let { suppositions } = json;
-    const { Supposition } = _elements.default, suppositionsJSON = suppositions; ///
-    suppositions = suppositionsJSON.map((suppositionJSON)=>{
-        const json = suppositionJSON, supposition = Supposition.fromJSON(json, context);
-        return supposition;
-    });
-    return suppositions;
-}
-function substitutionsFromJSON(json, context) {
-    let { substitutions } = json; ///
-    const substitutionsJSON = substitutions; ///
-    substitutions = substitutionsJSON.map((substitutionJSON)=>{
-        const json = substitutionJSON, substitution = substitutionFromSubstitutionJSON(json, context);
-        return substitution;
-    });
-    return substitutions;
-}
-function metavariablesFromJSON(json, context) {
-    let { metavariables } = json;
-    const { Metavariable } = _elements.default, metavariablesJSON = metavariables; ///
-    metavariables = metavariablesJSON.map((metavariableJSON)=>{
-        const json = metavariableJSON, metavariable = Metavariable.fromJSON(json, context);
-        return metavariable;
-    });
-    return metavariables;
-}
-function mnemicContextsFromJSON(json, context) {
-    const releaseContext = context; ///
-    const { contexts } = json;
-    const mnemicContexts = contexts.map((context)=>{
-        json = context; ///
-        context = releaseContext; ///
-        const mnemicContext = _mnemic.default.fromJSON(json, context);
-        return mnemicContext; ///
-    });
-    return mnemicContexts;
-}
-function declaredVariablesFromJSON(json, context) {
-    let { declaredVariables } = json;
-    const { Variable } = _elements.default, declaredVariablesJSON = declaredVariables; ///
-    declaredVariables = declaredVariablesJSON.map((declaredVariableJSON)=>{
-        const json = declaredVariableJSON, variable = Variable.fromJSON(json, context), declaredVariable = variable; ///
-        return declaredVariable;
-    });
-    return declaredVariables;
-}
-function propertyRelationsFromJSON(json, context) {
-    let { propertyRelations } = json;
-    const { PropertyRelation } = _elements.default, propertyRelationsJSON = propertyRelations; ///
-    propertyRelations = propertyRelationsJSON.map((propertyRelationJSON)=>{
-        const json = propertyRelationJSON, propertyRelation = PropertyRelation.fromJSON(json, context);
-        return propertyRelation;
-    });
-    return propertyRelations;
-}
-function metaLevelAssumptionsFromJSON(json, context) {
-    let { metaLevelAssumptions } = json;
-    const { MetaLevelAssumption } = _elements.default, metaLevelAssumptionsJSON = metaLevelAssumptions; ///
-    metaLevelAssumptions = metaLevelAssumptionsJSON.map((metaLevelAssumptionJSON)=>{
-        const json = metaLevelAssumptionJSON, metaLevelAssumption = MetaLevelAssumption.fromJSON(json, context);
-        return metaLevelAssumption;
-    });
-    return metaLevelAssumptions;
-}
-function declaredMetavariablesFromJSON(json, context) {
-    let { declaredMetavariables } = json;
-    const { Metavariable } = _elements.default, declaredMetavariablesJSON = declaredMetavariables; ///
-    declaredMetavariables = declaredMetavariablesJSON.map((declaredMetavariableJSON)=>{
-        const json = declaredMetavariableJSON, metavariable = Metavariable.fromJSON(json, context), declaredMetavariable = metavariable; ///
-        return declaredMetavariable;
-    });
-    return declaredMetavariables;
-}
-function nameToNameJSON(name) {
-    const nameJSON = name; ///
-    return nameJSON;
-}
-function termToTermJSON(term) {
-    const termJSON = term !== null ? term.toJSON() : null;
-    return termJSON;
-}
-function typeToTypeJSON(type) {
-    let typeJSON = null;
-    if (type !== null) {
-        const abridged = true;
-        typeJSON = type.toJSON(abridged);
-    }
-    return typeJSON;
-}
-function frameToFrameJSON(frame) {
-    const frameJSON = frame !== null ? frame.toJSON() : null;
-    return frameJSON;
-}
-function labelToLabelJSON(label) {
-    const labelJSON = label.toJSON();
-    return labelJSON;
-}
-function negatedToNegatedJSON(negated) {
-    const negatedJSON = negated; ///
-    return negatedJSON;
-}
-function ariableToVariableJSON(ariable) {
-    const ariableJSON = ariable.toJSON();
-    return ariableJSON;
-}
-function metaTypeToMetaTypeJSON(metaType) {
-    const metaTypeJSON = metaType !== null ? metaType.toJSON() : null;
-    return metaTypeJSON;
-}
-function referenceToReferenceJSON(reference) {
-    const referenceJSON = reference.toJSON();
-    return referenceJSON;
-}
-function statementToStatementJSON(statement) {
-    const statementJSON = statement !== null ? statement.toJSON() : null;
-    return statementJSON;
-}
-function deductionToDeductionJSON(deduction) {
-    const deductionJSON = deduction.toJSON();
-    return deductionJSON;
-}
-function signatureToSignatureJSON(signature) {
-    const signatureJSON = signature !== null ? signature.toJSON() : null;
-    return signatureJSON;
-}
-function identifierToIdentifierJSON(identifier) {
-    const identifierJSON = identifier; ///
-    return identifierJSON;
-}
-function conclusionToConclusionJSON(conclusion) {
-    const conclusionJSON = conclusion.toJSON();
-    return conclusionJSON;
-}
-function provisionalToProvisionalJSON(provisional) {
-    const provisionalJSON = provisional; ///
-    return provisionalJSON;
-}
-function metavariableToMetavariableJSON(metavariable) {
-    const metavariableJSON = metavariable.toJSON();
-    return metavariableJSON;
-}
-function procedureCallToProcedureCallJSON(procedureCall) {
-    const procedureCallJSON = procedureCall !== null ? procedureCall.toJSON() : null;
-    return procedureCallJSON;
-}
-function mnemicContextToMnemicContextJSON(mnemicContext) {
-    const mnemicContextJSON = mnemicContext.toJSON();
-    return mnemicContextJSON;
-}
-function procedureReferenceToProcedureReferenceJSON(procedureReference) {
-    const procedureReferenceJSON = procedureReference.toJSON();
-    return procedureReferenceJSON;
-}
-function declaredMetavariableToDEclaredMetavariableJSON(declaredMetavariable) {
-    const declaredMetavariableJSON = declaredMetavariable.toJSON();
-    return declaredMetavariableJSON;
-}
-function substitutionFromSubstitutionJSON(json, context) {
-    const { TermSubstitution, FrameSubstitution, StatementSubstitution, ReferenceSubstitution } = _elements.default, substitution = TermSubstitution.fromJSON(json, context) || FrameSubstitution.fromJSON(json, context) || StatementSubstitution.fromJSON(json, context) || ReferenceSubstitution.fromJSON(json, context);
-    return substitution;
-}
-function termsToTermsJSON(terms) {
-    const termsJSON = terms.map((term)=>{
-        const termJSON = term.toJSON();
-        return termJSON;
-    });
-    return termsJSON;
-}
-function typesToTypesJSON(types) {
-    const typesJSON = types.map((type)=>{
-        const typeJSON = type.toJSON();
-        return typeJSON;
-    });
-    return typesJSON;
-}
-function rulesToRulesJSON(rules) {
-    const rulesJSON = rules.map((rule)=>{
-        const ruleJSON = rule.toJSON();
-        return ruleJSON;
-    });
-    return rulesJSON;
-}
-function labelsToLabelsJSON(labels) {
-    const labelsJSON = labels.map((label)=>{
-        const labelJSON = label.toJSON();
-        return labelJSON;
-    });
-    return labelsJSON;
-}
-function framesToFramesJSON(frames) {
-    const framesJSON = frames.map((frame)=>{
-        const frameJSON = frame.toJSON();
-        return frameJSON;
-    });
-    return framesJSON;
-}
-function axiomsToAxiomsJSON(axioms) {
-    const axiomsJSON = axioms.map((axiom)=>{
-        const axiomJSON = axiom.toJSON();
-        return axiomJSON;
-    });
-    return axiomsJSON;
-}
-function premisesToPremisesJSON(premises) {
-    const premisesJSON = premises.map((premise)=>{
-        const premiseJSON = premise.toJSON();
-        return premiseJSON;
-    });
-    return premisesJSON;
-}
-function theoremsToTheoremsJSON(theorems) {
-    const theoremsJSON = theorems.map((theorem)=>{
-        const theoremJSON = theorem.toJSON();
-        return theoremJSON;
-    });
-    return theoremsJSON;
-}
-function variablesToVariablesJSON(variables) {
-    const variablesJSON = variables.map((variable)=>{
-        const variableJSON = variable.toJSON();
-        return variableJSON;
-    });
-    return variablesJSON;
-}
-function hypothesesToHypothesesJSON(hypotheses) {
-    const hypothesesJSON = hypotheses.map((hypothesis)=>{
-        const hypothesisJSON = hypothesis.toJSON();
-        return hypothesisJSON;
-    });
-    return hypothesesJSON;
-}
-function prefixnameToPrevixNameJSON(prefixname) {
-    const prefixNameJSON = prefixname; ///
-    return prefixNameJSON;
-}
-function superTypesToSuperTypesJSON(superTypes) {
-    const superTypesJSON = superTypes.map((superType)=>{
-        const abridged = true, superTypeJSON = superType.toJSON(abridged);
-        return superTypeJSON;
-    });
-    return superTypesJSON;
-}
-function parametersToParametersJSON(parameters) {
-    const parametersJSON = parameters.map((parameter)=>{
-        const parameterJSON = parameter.toJSON();
-        return parameterJSON;
-    });
-    return parametersJSON;
-}
-function propertiesToPropertiesJSON(properties) {
-    const propertiesJSON = properties.map((property)=>{
-        const propertyJSON = property.toJSON();
-        return propertyJSON;
-    });
-    return propertiesJSON;
-}
-function judgementsToJudgementsJSON(judgements) {
-    const judgementsJSON = judgements.map((judgement)=>{
-        const judgementJSON = judgement.toJSON();
-        return judgementJSON;
-    });
-    return judgementsJSON;
-}
-function equalitiesToEqualitiesJSON(equalities) {
-    const equalitiesJSON = equalities.map((equality)=>{
-        const equalityJSON = equality.toJSON();
-        return equalityJSON;
-    });
-    return equalitiesJSON;
-}
-function statementsToStatementsJSON(statements) {
-    const statementsJSON = statements.map((statement)=>{
-        const statementJSON = statement.toJSON();
-        return statementJSON;
-    });
-    return statementsJSON;
-}
-function signaturesToSignaturesJSON(signatures) {
-    const signaturesJSON = signatures.map((signature)=>{
-        const signatureJSON = signature.toJSON();
-        return signatureJSON;
-    });
-    return signaturesJSON;
-}
-function assertionsToAssertionsJSON(assertions) {
-    const assertionsJSON = assertions.map((assertion)=>{
-        const assertionJSON = assertion.toJSON();
-        return assertionJSON;
-    });
-    return assertionsJSON;
-}
-function referencesToReferencesJSON(references) {
-    const referencesJSON = references.map((reference)=>{
-        const referenceJSON = reference.toJSON();
-        return referenceJSON;
-    });
-    return referencesJSON;
-}
-function conjecturesToConjecturesJSON(conjectures) {
-    const conjecturesJSON = conjectures.map((conjecture)=>{
-        const conjectureJSON = conjecture.toJSON();
-        return conjectureJSON;
-    });
-    return conjecturesJSON;
-}
-function combinatorsToCombinatorsJSON(combinators) {
-    const combinatorsJSON = combinators.map((combinator)=>{
-        const combinatorJSON = combinator.toJSON();
-        return combinatorJSON;
-    });
-    return combinatorsJSON;
-}
-function assumptionsToAssumptionsJSON(assumptions) {
-    const assumptionsJSON = assumptions.map((assumption)=>{
-        const assumptionJSON = assumption.toJSON();
-        return assumptionJSON;
-    });
-    return assumptionsJSON;
-}
-function suppositionsToSuppositionsJSON(suppositions) {
-    const suppositionsJSON = suppositions.map((supposition)=>{
-        const suppositionJSON = supposition.toJSON();
-        return suppositionJSON;
-    });
-    return suppositionsJSON;
-}
-function constructorsToConstructorsJSON(constructors) {
-    const constructorsJSON = constructors.map((constructor)=>{
-        const constructorJSON = constructor.toJSON();
-        return constructorJSON;
-    });
-    return constructorsJSON;
-}
-function metatheoremsToMetatheoremsJSON(metatheorems) {
-    const metatheoremsJSON = metatheorems.map((metatheorem)=>{
-        const metatheoremJSON = metatheorem.toJSON();
-        return metatheoremJSON;
-    });
-    return metatheoremsJSON;
-}
-function typePrefixesToTypePrefixesJSON(typePrefixes) {
-    const typePrefixesJSON = typePrefixes.map((typePrefix)=>{
-        const typePrefixJSON = typePrefix.toJSON();
-        return typePrefixJSON;
-    });
-    return typePrefixesJSON;
-}
-function substitutionsToSubstitutionsJSON(substitutions) {
-    const substitutionsJSON = substitutions.map((substitution)=>{
-        const substitutionJSON = substitution.toJSON();
-        return substitutionJSON;
-    });
-    return substitutionsJSON;
-}
-function metavariablesToMetavariablesJSON(metavariables) {
-    const metavariablesJSON = metavariables.map((metavariable)=>{
-        const metavariableJSON = metavariable.toJSON();
-        return metavariableJSON;
-    });
-    return metavariablesJSON;
-}
-function mnemicContextsToMnemicContextsJSON(mnemicContexts) {
-    const mnemicContextsJSON = mnemicContexts.map((mnemicContext)=>{
-        const mnemicContextJSON = mnemicContext.toJSON();
-        return mnemicContextJSON;
-    });
-    return mnemicContextsJSON;
-}
-function propertyRelationsToPropertyRelationsJSON(propertyRelations) {
-    const propertyRelationsJSON = propertyRelations.map((propertyRelation)=>{
-        const propertyRelationJSON = propertyRelation.toJSON();
-        return propertyRelationJSON;
-    });
-    return propertyRelationsJSON;
-}
-function declaredVariablesToDeclaredVariablesJSON(declaredVariables) {
-    const declaredVariablesJSON = declaredVariables.map((declaredVariable)=>{
-        const declaredVariableJSON = declaredVariable.toJSON();
-        return declaredVariableJSON;
-    });
-    return declaredVariablesJSON;
-}
-function metaLevelAssumptionsToMetaLevelAssumptionsJSON(metaLevelAssumptions) {
-    const metaLevelAssumptionsJSON = metaLevelAssumptions.map((metaLevelAssumption)=>{
-        const metaLevelAssumptionJSON = metaLevelAssumption.toJSON();
-        return metaLevelAssumptionJSON;
-    });
-    return metaLevelAssumptionsJSON;
-}
-function declaredMetavariablesToDeclaredMetavariablesJSON(declaredMetavariables) {
-    const declaredMetavariablesJSON = declaredMetavariables.map((declaredMetavariable)=>{
-        const declaredMetavariableJSON = declaredMetavariable.toJSON();
-        return declaredMetavariableJSON;
-    });
-    return declaredMetavariablesJSON;
-}
-function findTypeByName(name, context) {
-    const typeName = name, type = context.findTypeByTypeName(typeName);
-    return type;
-}
-function findMetaTypeByName(name, context) {
-    const metaTypeName = name, metaType = context.findMetaTypeByMetaTypeName(metaTypeName);
-    return metaType;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvanNvbi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IGVsZW1lbnRzIGZyb20gXCIuLi9lbGVtZW50c1wiO1xuaW1wb3J0IE1uZW1pY0NvbnRleHQgZnJvbSBcIi4uL2NvbnRleHQvbW5lbWljXCI7XG5cbmV4cG9ydCBmdW5jdGlvbiBuYW1lRnJvbUpTT04oanNvbiwgY29udGV4dCkge1xuICBsZXQgeyBuYW1lIH0gPSBqc29uO1xuXG4gIGNvbnN0IG5hbWVKU09OID0gbmFtZTsgIC8vL1xuXG4gIG5hbWUgPSBuYW1lSlNPTjsgIC8vL1xuXG4gIHJldHVybiBuYW1lO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gdGVybUZyb21KU09OKGpzb24sIGNvbnRleHQpIHtcbiAgbGV0IHsgdGVybSB9ID0ganNvbjtcblxuICBpZiAodGVybSAhPT0gbnVsbCkge1xuICAgIGNvbnN0IHRlcm1KU09OID0gdGVybTsgIC8vL1xuXG4gICAganNvbiA9IHRlcm1KU09OOyAgLy8vXG5cbiAgICBjb25zdCB7IFRlcm0gfSA9IGVsZW1lbnRzO1xuXG4gICAgdGVybSA9IFRlcm0uZnJvbUpTT04oanNvbiwgY29udGV4dCk7XG4gIH1cblxuICByZXR1cm4gdGVybTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHR5cGVGcm9tSlNPTihqc29uLCBjb250ZXh0KSB7XG4gIGxldCB7IHR5cGUgfSA9IGpzb247XG5cbiAgaWYgKHR5cGUgIT09IG51bGwpIHtcbiAgICBqc29uID0gdHlwZTsgIC8vL1xuXG4gICAgY29uc3QgeyBzdHJpbmcgfSA9IGpzb24sXG4gICAgICAgICAgbmFtZSA9IHN0cmluZzsgIC8vL1xuXG4gICAgdHlwZSA9IGZpbmRUeXBlQnlOYW1lKG5hbWUsIGNvbnRleHQpO1xuICB9XG5cbiAgcmV0dXJuIHR5cGU7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBsYWJlbEZyb21KU09OKGpzb24sIGNvbnRleHQpIHtcbiAgbGV0IHsgbGFiZWwgfSA9IGpzb247XG5cbiAgY29uc3QgeyBMYWJlbCB9ID0gZWxlbWVudHMsXG4gICAgbGFiZWxKU09OID0gbGFiZWw7ICAvLy9cblxuICBqc29uID0gbGFiZWxKU09OOyAvLy9cblxuICBsYWJlbCA9IExhYmVsLmZyb21KU09OKGpzb24sIGNvbnRleHQpO1xuXG4gIHJldHVybiBsYWJlbDtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGZyYW1lRnJvbUpTT04oanNvbiwgY29udGV4dCkge1xuICBsZXQgeyBmcmFtZSB9ID0ganNvbjtcblxuICBpZiAoZnJhbWUgIT09IG51bGwpIHtcbiAgICBjb25zdCBmcmFtZUpTT04gPSBmcmFtZTsgIC8vL1xuXG4gICAganNvbiA9IGZyYW1lSlNPTjsgIC8vL1xuXG4gICAgY29uc3QgeyBGcmFtZSB9ID0gZWxlbWVudHM7XG5cbiAgICBmcmFtZSA9IEZyYW1lLmZyb21KU09OKGpzb24sIGNvbnRleHQpO1xuICB9XG5cbiAgcmV0dXJuIGZyYW1lO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gbmVnYXRlZEZyb21KU09OKGpzb24sIGNvbnRleHQpIHtcbiAgY29uc3QgeyBuZWdhdGVkIH0gPSBqc29uO1xuXG4gIHJldHVybiBuZWdhdGVkO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gbWV0YVR5cGVGcm9tSlNPTihqc29uLCBjb250ZXh0KSB7XG4gIGxldCB7IG1ldGFUeXBlIH0gPSBqc29uO1xuXG4gIGlmIChtZXRhVHlwZSAhPT0gbnVsbCkge1xuICAgIGpzb24gPSBtZXRhVHlwZTsgIC8vL1xuXG4gICAgY29uc3QgeyBzdHJpbmcgfSA9IGpzb24sXG4gICAgICAgICAgbmFtZSA9IHN0cmluZzsgIC8vL1xuXG4gICAgbWV0YVR5cGUgPSBmaW5kTWV0YVR5cGVCeU5hbWUobmFtZSwgY29udGV4dCk7XG4gIH1cblxuICByZXR1cm4gbWV0YVR5cGU7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBzdGF0ZW1lbnRGcm9tSlNPTihqc29uLCBjb250ZXh0KSB7XG4gIGxldCB7IHN0YXRlbWVudCA9IG51bGwgfSA9IGpzb247XG5cbiAgaWYgKHN0YXRlbWVudCAhPT0gbnVsbCkge1xuICAgIGNvbnN0IHsgU3RhdGVtZW50IH0gPSBlbGVtZW50cyxcbiAgICAgICAgICBzdGF0ZW1lbnRKU09OID0gc3RhdGVtZW50OyAgLy8vXG5cbiAgICBqc29uID0gc3RhdGVtZW50SlNPTjsgLy8vXG5cbiAgICBzdGF0ZW1lbnQgPSBTdGF0ZW1lbnQuZnJvbUpTT04oanNvbiwgY29udGV4dCk7XG4gIH1cblxuICByZXR1cm4gc3RhdGVtZW50O1xufVxuXG5leHBvcnQgZnVuY3Rpb24gZGVkdWN0aW9uRnJvbUpTT04oanNvbiwgY29udGV4dCkge1xuICBsZXQgeyBkZWR1Y3Rpb24gfSA9IGpzb247XG5cbiAgY29uc3QgeyBEZWR1Y3Rpb24gfSA9IGVsZW1lbnRzLFxuICAgICAgICBkZWR1Y3Rpb25KU09OID0gZGVkdWN0aW9uOyAgLy8vXG5cbiAganNvbiA9IGRlZHVjdGlvbkpTT047ICAvLy9cblxuICBkZWR1Y3Rpb24gPSBEZWR1Y3Rpb24uZnJvbUpTT04oanNvbiwgY29udGV4dCk7XG5cbiAgcmV0dXJuIGRlZHVjdGlvbjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHNpZ25hdHVyZUZyb21KU09OKGpzb24sIGNvbnRleHQpIHtcbiAgbGV0IHsgc2lnbmF0dXJlID0gbnVsbCB9ID0ganNvbjtcblxuICBpZiAoc2lnbmF0dXJlICE9PSBudWxsKSB7XG4gICAgY29uc3QgeyBTaWduYXR1cmUgfSA9IGVsZW1lbnRzLFxuICAgICAgICAgIHNpZ25hdHVyZUpTT04gPSBzaWduYXR1cmU7ICAvLy9cblxuICAgIGpzb24gPSBzaWduYXR1cmVKU09OOyAvLy9cblxuICAgIHNpZ25hdHVyZSA9IFNpZ25hdHVyZS5mcm9tSlNPTihqc29uLCBjb250ZXh0KTtcbiAgfVxuXG4gIHJldHVybiBzaWduYXR1cmU7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiByZWZlcmVuY2VGcm9tSlNPTihqc29uLCBjb250ZXh0KSB7XG4gIGxldCB7IHJlZmVyZW5jZSB9ID0ganNvbjtcblxuICBjb25zdCB7IFJlZmVyZW5jZSB9ID0gZWxlbWVudHMsXG4gICAgICAgIHJlZmVyZW5jZUpTT04gPSByZWZlcmVuY2U7ICAvLy9cblxuICBqc29uID0gcmVmZXJlbmNlSlNPTjsgLy8vXG5cbiAgcmVmZXJlbmNlID0gUmVmZXJlbmNlLmZyb21KU09OKGpzb24sIGNvbnRleHQpO1xuXG4gIHJldHVybiByZWZlcmVuY2U7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBpZGVudGlmaWVyRnJvbUpTT04oanNvbiwgY29udGV4dCkge1xuICBsZXQgeyBpZGVudGlmaWVyIH0gPSBqc29uO1xuXG4gIGNvbnN0IGlkZW50aWZpZXJKU09OID0gaWRlbnRpZmllcjsgIC8vL1xuXG4gIGlkZW50aWZpZXIgPSBpZGVudGlmaWVySlNPTjsgIC8vL1xuXG4gIHJldHVybiBpZGVudGlmaWVyO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gY29uY2x1c2lvbkZyb21KU09OKGpzb24sIGNvbnRleHQpIHtcbiAgbGV0IHsgY29uY2x1c2lvbiB9ID0ganNvbjtcblxuICBjb25zdCB7IENvbmNsdXNpb24gfSA9IGVsZW1lbnRzLFxuICAgICAgICBjb25jbHVzaW9uSlNPTiA9IGNvbmNsdXNpb247ICAvLy9cblxuICBqc29uID0gY29uY2x1c2lvbkpTT047ICAvLy9cblxuICBjb25jbHVzaW9uID0gQ29uY2x1c2lvbi5mcm9tSlNPTihqc29uLCBjb250ZXh0KTtcblxuICByZXR1cm4gY29uY2x1c2lvbjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHByb3Zpc2lvbmFsRnJvbUpTT04oanNvbiwgY29udGV4dCkge1xuICBjb25zdCB7IHByb3Zpc2lvbmFsIH0gPSBqc29uO1xuXG4gIHJldHVybiBwcm92aXNpb25hbDtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIG1ldGF2YXJpYWJsZUZyb21KU09OKGpzb24sIGNvbnRleHQpIHtcbiAgbGV0IHsgbWV0YXZhcmlhYmxlIH0gPSBqc29uO1xuXG4gIGNvbnN0IHsgTWV0YXZhcmlhYmxlIH0gPSBlbGVtZW50cyxcbiAgICAgICAgbWV0YXZhcmlhYmxlSlNPTiA9IG1ldGF2YXJpYWJsZTsgIC8vL1xuXG4gIGpzb24gPSBtZXRhdmFyaWFibGVKU09OOyAvLy9cblxuICBtZXRhdmFyaWFibGUgPSBNZXRhdmFyaWFibGUuZnJvbUpTT04oanNvbiwgY29udGV4dCk7XG5cbiAgcmV0dXJuIG1ldGF2YXJpYWJsZTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIG1uZW1pY0NvbnRleHRGcm9tSlNPTihqc29uLCBjb250ZXh0KSB7XG4gIGNvbnN0IHJlbGVhc2VDb250ZXh0ID0gY29udGV4dDsgLy8vXG5cbiAgKHsgY29udGV4dCB9ID0ganNvbik7XG5cbiAganNvbiA9IGNvbnRleHQ7IC8vL1xuXG4gIGNvbnRleHQgPSByZWxlYXNlQ29udGV4dDsgLy8vXG5cbiAgY29uc3QgbW5lbWljQ29udGV4dCA9IE1uZW1pY0NvbnRleHQuZnJvbUpTT04oanNvbiwgY29udGV4dCk7XG5cbiAgcmV0dXJuIG1uZW1pY0NvbnRleHQ7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBwcm9jZWR1cmVDYWxsRnJvbUpTT04oanNvbiwgY29udGV4dCkge1xuICBsZXQgeyBwcm9jZWR1cmVDYWxsID0gbnVsbCB9ID0ganNvbjtcblxuICBpZiAocHJvY2VkdXJlQ2FsbCAhPT0gbnVsbCkge1xuICAgIGNvbnN0IHsgUHJvY2VkdXJlQ2FsbCB9ID0gZWxlbWVudHMsXG4gICAgICAgICAgcHJvY2VkdXJlQ2FsbEpTT04gPSBwcm9jZWR1cmVDYWxsOyAgLy8vXG5cbiAgICBqc29uID0gcHJvY2VkdXJlQ2FsbEpTT047IC8vL1xuXG4gICAgcHJvY2VkdXJlQ2FsbCA9IFByb2NlZHVyZUNhbGwuZnJvbUpTT04oanNvbiwgY29udGV4dCk7XG4gIH1cblxuICByZXR1cm4gcHJvY2VkdXJlQ2FsbDtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHByb2NlZHVyZVJlZmVyZW5jZUZyb21KU09OKGpzb24sIGNvbnRleHQpIHtcbiAgbGV0IHsgcHJvY2VkdXJlUmVmZXJlbmNlIH0gPSBqc29uO1xuXG4gIGNvbnN0IHsgUHJvY2VkdXJlUmVmZXJlbmNlIH0gPSBlbGVtZW50cyxcbiAgICAgICAgcHJvY2VkdXJlUmVmZXJlbmNlSlNPTiA9IHByb2NlZHVyZVJlZmVyZW5jZTsgIC8vL1xuXG4gIGpzb24gPSBwcm9jZWR1cmVSZWZlcmVuY2VKU09OOyAgLy8vXG5cbiAgcHJvY2VkdXJlUmVmZXJlbmNlID0gUHJvY2VkdXJlUmVmZXJlbmNlLmZyb21KU09OKGpzb24sIGNvbnRleHQpO1xuXG4gIHJldHVybiBwcm9jZWR1cmVSZWZlcmVuY2U7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiB0eXBlc0Zyb21KU09OKGpzb24sIHR5cGVzLCBjb250ZXh0KSB7XG4gIGNvbnN0IHsgdHlwZXM6IHR5cGVzSlNPTiB9ID0ganNvbjtcblxuICBjb25zdCB7IFR5cGUgfSA9IGVsZW1lbnRzO1xuXG4gIHR5cGVzSlNPTi5mb3JFYWNoKCh0eXBlSlNPTikgPT4ge1xuICAgIGNvbnN0IGpzb24gPSB0eXBlSlNPTiwgIC8vL1xuICAgICAgICAgIHR5cGUgPSBUeXBlLmZyb21KU09OKGpzb24sIGNvbnRleHQpO1xuXG4gICAgdHlwZXMucHVzaCh0eXBlKTtcbiAgfSk7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiB0ZXJtc0Zyb21KU09OKGpzb24sIGNvbnRleHQpIHtcbiAgbGV0IHsgdGVybXMgfSA9IGpzb247XG5cbiAgY29uc3QgeyBUZXJtIH0gPSBlbGVtZW50cyxcbiAgICAgICAgdGVybXNKU09OID0gdGVybXM7IC8vL1xuXG4gIHRlcm1zID0gdGVybXNKU09OLm1hcCgodGVybUpTT04pID0+IHtcbiAgICBjb25zdCBqc29uID0gdGVybUpTT04sICAvLy9cbiAgICAgICAgICB0ZXJtID0gVGVybS5mcm9tSlNPTihqc29uLCBjb250ZXh0KTtcblxuICAgIHJldHVybiB0ZXJtO1xuICB9KTtcblxuICByZXR1cm4gdGVybXM7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBydWxlc0Zyb21KU09OKGpzb24sIGNvbnRleHQpIHtcbiAgbGV0IHsgcnVsZXMgfSA9IGpzb247XG5cbiAgY29uc3QgeyBSdWxlIH0gPSBlbGVtZW50cyxcbiAgICAgICAgcnVsZXNKU09OID0gcnVsZXM7IC8vL1xuXG4gIHJ1bGVzID0gcnVsZXNKU09OLm1hcCgocnVsZUpTT04pID0+IHtcbiAgICBjb25zdCBqc29uID0gcnVsZUpTT04sICAvLy9cbiAgICAgICAgICBydWxlID0gUnVsZS5mcm9tSlNPTihqc29uLCBjb250ZXh0KTtcblxuICAgIHJldHVybiBydWxlO1xuICB9KTtcblxuICByZXR1cm4gcnVsZXM7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBmcmFtZXNGcm9tSlNPTihqc29uLCBjb250ZXh0KSB7XG4gIGxldCB7IGZyYW1lcyB9ID0ganNvbjtcblxuICBjb25zdCB7IEZyYW1lIH0gPSBlbGVtZW50cyxcbiAgICBmcmFtZXNKU09OID0gZnJhbWVzOyAvLy9cblxuICBmcmFtZXMgPSBmcmFtZXNKU09OLm1hcCgoZnJhbWVKU09OKSA9PiB7XG4gICAgY29uc3QganNvbiA9IGZyYW1lSlNPTiwgIC8vL1xuICAgICAgICAgIGZyYW1lID0gRnJhbWUuZnJvbUpTT04oanNvbiwgY29udGV4dCk7XG5cbiAgICByZXR1cm4gZnJhbWU7XG4gIH0pO1xuXG4gIHJldHVybiBmcmFtZXM7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBsYWJlbHNGcm9tSlNPTihqc29uLCBjb250ZXh0KSB7XG4gIGxldCB7IGxhYmVscyB9ID0ganNvbjtcblxuICBjb25zdCB7IExhYmVsIH0gPSBlbGVtZW50cyxcbiAgICAgICAgbGFiZWxzSlNPTiA9IGxhYmVsczsgIC8vL1xuXG4gIGxhYmVscyA9IGxhYmVsc0pTT04ubWFwKChsYWJlbEpTT04pID0+IHtcbiAgICBjb25zdCBqc29uID0gbGFiZWxKU09OLCAvLy9cbiAgICAgICAgICBsYWJlbCA9IExhYmVsLmZyb21KU09OKGpzb24sIGNvbnRleHQpO1xuXG4gICAgcmV0dXJuIGxhYmVsO1xuICB9KTtcblxuICByZXR1cm4gbGFiZWxzO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gYXhpb21zRnJvbUpTT04oanNvbiwgY29udGV4dCkge1xuICBsZXQgeyBheGlvbXMgfSA9IGpzb247XG5cbiAgY29uc3QgeyBBeGlvbSB9ID0gZWxlbWVudHMsXG4gICAgICAgIGF4aW9tc0pTT04gPSBheGlvbXM7IC8vL1xuXG4gIGF4aW9tcyA9IGF4aW9tc0pTT04ubWFwKChheGlvbUpTT04pID0+IHtcbiAgICBjb25zdCBqc29uID0gYXhpb21KU09OLCAgLy8vXG4gICAgICAgICAgYXhpb20gPSBBeGlvbS5mcm9tSlNPTihqc29uLCBjb250ZXh0KTtcblxuICAgIHJldHVybiBheGlvbTtcbiAgfSk7XG5cbiAgcmV0dXJuIGF4aW9tcztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHByZW1pc2VzRnJvbUpTT04oanNvbiwgY29udGV4dCkge1xuICBsZXQgeyBwcmVtaXNlcyB9ID0ganNvbjtcblxuICBjb25zdCB7IFByZW1pc2UgfSA9IGVsZW1lbnRzLFxuICAgICAgICBwcmVtaXNlc0pTT04gPSBwcmVtaXNlczsgIC8vL1xuXG4gIHByZW1pc2VzID0gcHJlbWlzZXNKU09OLm1hcCgocHJlbWlzZUpTT04pID0+IHtcbiAgICBjb25zdCBqc29uID0gcHJlbWlzZUpTT04sIC8vL1xuICAgICAgICAgIHByZW1pc2UgPSBQcmVtaXNlLmZyb21KU09OKGpzb24sIGNvbnRleHQpO1xuXG4gICAgcmV0dXJuIHByZW1pc2U7XG4gIH0pO1xuXG4gIHJldHVybiBwcmVtaXNlcztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHRoZW9yZW1zRnJvbUpTT04oanNvbiwgY29udGV4dCkge1xuICBsZXQgeyB0aGVvcmVtcyB9ID0ganNvbjtcblxuICBjb25zdCB7IFRoZW9yZW0gfSA9IGVsZW1lbnRzLFxuICAgICAgICB0aGVvcmVtc0pTT04gPSB0aGVvcmVtczsgLy8vXG5cbiAgdGhlb3JlbXMgPSB0aGVvcmVtc0pTT04ubWFwKCh0aGVvcmVtSlNPTikgPT4ge1xuICAgIGNvbnN0IGpzb24gPSB0aGVvcmVtSlNPTiwgIC8vL1xuICAgICAgICAgIHRoZW9yZW0gPSBUaGVvcmVtLmZyb21KU09OKGpzb24sIGNvbnRleHQpO1xuXG4gICAgcmV0dXJuIHRoZW9yZW07XG4gIH0pO1xuXG4gIHJldHVybiB0aGVvcmVtcztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHZhcmlhYmxlc0Zyb21KU09OKGpzb24sIGNvbnRleHQpIHtcbiAgbGV0IHsgdmFyaWFibGVzIH0gPSBqc29uO1xuXG4gIGNvbnN0IHsgVmFyaWFibGUgfSA9IGVsZW1lbnRzLFxuICAgICAgICB2YXJpYWJsZXNKU09OID0gdmFyaWFibGVzOyAvLy9cblxuICB2YXJpYWJsZXMgPSB2YXJpYWJsZXNKU09OLm1hcCgodmFyaWFibGVKU09OKSA9PiB7XG4gICAgY29uc3QganNvbiA9IHZhcmlhYmxlSlNPTiwgIC8vL1xuICAgICAgICAgIHZhcmlhYmxlID0gVmFyaWFibGUuZnJvbUpTT04oanNvbiwgY29udGV4dCk7XG5cbiAgICByZXR1cm4gdmFyaWFibGU7XG4gIH0pO1xuXG4gIHJldHVybiB2YXJpYWJsZXM7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBwcm9wZXJ0aWVzRnJvbUpTT04oanNvbiwgY29udGV4dCkge1xuICBsZXQgeyBwcm9wZXJ0aWVzIH0gPSBqc29uO1xuXG4gIGNvbnN0IHsgUHJvcGVydHkgfSA9IGVsZW1lbnRzLFxuICAgICAgICBwcm9wZXJ0aWVzSlNPTiA9IHByb3BlcnRpZXM7IC8vL1xuXG4gIHByb3BlcnRpZXMgPSBwcm9wZXJ0aWVzSlNPTi5tYXAoKHByb3BlcnR5SlNPTikgPT4ge1xuICAgIGNvbnN0IGpzb24gPSBwcm9wZXJ0eUpTT04sICAvLy9cbiAgICAgICAgICBwcm9wZXJ0eSA9IFByb3BlcnR5LmZyb21KU09OKGpzb24sIGNvbnRleHQpO1xuXG4gICAgcmV0dXJuIHByb3BlcnR5O1xuICB9KTtcblxuICByZXR1cm4gcHJvcGVydGllcztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGVxdWFsaXRpZXNGcm9tSlNPTihqc29uLCBjb250ZXh0KSB7XG4gIGxldCB7IGVxdWFsaXRpZXMgfSA9IGpzb247XG5cbiAgY29uc3QgeyBFcXVhbGl0eSB9ID0gZWxlbWVudHMsXG4gICAgZXF1YWxpdGllc0pTT04gPSBlcXVhbGl0aWVzOyAvLy9cblxuICBlcXVhbGl0aWVzID0gZXF1YWxpdGllc0pTT04ubWFwKChlcXVhbGl0eUpTT04pID0+IHtcbiAgICBjb25zdCBqc29uID0gZXF1YWxpdHlKU09OLCAgLy8vXG4gICAgICBlcXVhbGl0eSA9IEVxdWFsaXR5LmZyb21KU09OKGpzb24sIGNvbnRleHQpO1xuXG4gICAgcmV0dXJuIGVxdWFsaXR5O1xuICB9KTtcblxuICByZXR1cm4gZXF1YWxpdGllcztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHByZWZpeE5hbWVGcm9tSlNPTihqc29uLCBjb250ZXh0KSB7XG4gIGNvbnN0IHsgcHJlZml4TmFtZSB9ID0ganNvbjtcblxuICByZXR1cm4gcHJlZml4TmFtZTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHN1cGVyVHlwZXNGcm9tSlNPTihqc29uLCBjb250ZXh0KSB7XG4gIGNvbnN0IHsgc3VwZXJUeXBlczogc3VwZXJUeXBlc0pTT04gfSA9IGpzb247XG5cbiAgY29uc3Qgc3VwZXJUeXBlcyA9IHN1cGVyVHlwZXNKU09OLm1hcCgoc3VwZXJUeXBlSlNPTikgPT4ge1xuICAgIGNvbnN0IGpzb24gPSBzdXBlclR5cGVKU09OLCAgLy8vXG4gICAgICB7IHN0cmluZyB9ID0ganNvbixcbiAgICAgIG5hbWUgPSBzdHJpbmcsICAvLy9cbiAgICAgIHR5cGUgPSBmaW5kVHlwZUJ5TmFtZShuYW1lLCBjb250ZXh0KSxcbiAgICAgIHN1cGVyVHlwZSA9IHR5cGU7IC8vL1xuXG4gICAgcmV0dXJuIHN1cGVyVHlwZTtcbiAgfSk7XG5cbiAgcmV0dXJuIHN1cGVyVHlwZXM7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBoeXBvdGhlc2VzRnJvbUpTT04oanNvbiwgY29udGV4dCkge1xuICBsZXQgeyBoeXBvdGhlc2VzIH0gPSBqc29uO1xuXG4gIGNvbnN0IHsgSHlwb3RoZXNpcyB9ID0gZWxlbWVudHMsXG4gICAgICAgIGh5cG90aGVzZXNKU09OID0gaHlwb3RoZXNlczsgIC8vL1xuXG4gIGh5cG90aGVzZXMgPSBoeXBvdGhlc2VzSlNPTi5tYXAoKGh5cG90aGVzaXNKU09OKSA9PiB7XG4gICAgY29uc3QganNvbiA9IGh5cG90aGVzaXNKU09OLCAvLy9cbiAgICAgICAgICBoeXBvdGhlc2lzID0gSHlwb3RoZXNpcy5mcm9tSlNPTihqc29uLCBjb250ZXh0KTtcblxuICAgIHJldHVybiBoeXBvdGhlc2lzO1xuICB9KTtcblxuICByZXR1cm4gaHlwb3RoZXNlcztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHBhcmFtZXRlcnNGcm9tSlNPTihqc29uLCBjb250ZXh0KSB7XG4gIGxldCB7IHBhcmFtZXRlcnMgfSA9IGpzb247XG5cbiAgY29uc3QgeyBQYXJhbWV0ZXIgfSA9IGVsZW1lbnRzLFxuICAgICAgICBwYXJhbWV0ZXJzSlNPTiA9IHBhcmFtZXRlcnM7IC8vL1xuXG4gIHBhcmFtZXRlcnMgPSBwYXJhbWV0ZXJzSlNPTi5tYXAoKHBhcmFtZXRlckpTT04pID0+IHtcbiAgICBjb25zdCBqc29uID0gcGFyYW1ldGVySlNPTiwgIC8vL1xuICAgICAgICAgIHBhcmFtZXRlciA9IFBhcmFtZXRlci5mcm9tSlNPTihqc29uLCBjb250ZXh0KTtcblxuICAgIHJldHVybiBwYXJhbWV0ZXI7XG4gIH0pO1xuXG4gIHJldHVybiBwYXJhbWV0ZXJzO1xufVxuXG5leHBvcnQgZnVuY3Rpb24ganVkZ2VtZW50c0Zyb21KU09OKGpzb24sIGNvbnRleHQpIHtcbiAgbGV0IHsganVkZ2VtZW50cyB9ID0ganNvbjtcblxuICBjb25zdCB7IEp1ZGdlbWVudCB9ID0gZWxlbWVudHMsXG4gICAgICAgIGp1ZGdlbWVudHNKU09OID0ganVkZ2VtZW50czsgLy8vXG5cbiAganVkZ2VtZW50cyA9IGp1ZGdlbWVudHNKU09OLm1hcCgoanVkZ2VtZW50SlNPTikgPT4ge1xuICAgIGNvbnN0IGpzb24gPSBqdWRnZW1lbnRKU09OLCAgLy8vXG4gICAgICAgICAganVkZ2VtZW50ID0gSnVkZ2VtZW50LmZyb21KU09OKGpzb24sIGNvbnRleHQpO1xuXG4gICAgcmV0dXJuIGp1ZGdlbWVudDtcbiAgfSk7XG5cbiAgcmV0dXJuIGp1ZGdlbWVudHM7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBzdGF0ZW1lbnRzRnJvbUpTT04oanNvbiwgY29udGV4dCkge1xuICBsZXQgeyBzdGF0ZW1lbnRzIH0gPSBqc29uO1xuXG4gIGNvbnN0IHsgU3RhdGVtZW50IH0gPSBlbGVtZW50cyxcbiAgICAgICAgc3RhdGVtZW50c0pTT04gPSBzdGF0ZW1lbnRzOyAvLy9cblxuICBzdGF0ZW1lbnRzID0gc3RhdGVtZW50c0pTT04ubWFwKChzdGF0ZW1lbnRKU09OKSA9PiB7XG4gICAgY29uc3QganNvbiA9IHN0YXRlbWVudEpTT04sICAvLy9cbiAgICAgICAgICBzdGF0ZW1lbnQgPSBTdGF0ZW1lbnQuZnJvbUpTT04oanNvbiwgY29udGV4dCk7XG5cbiAgICByZXR1cm4gc3RhdGVtZW50O1xuICB9KTtcblxuICByZXR1cm4gc3RhdGVtZW50cztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGFzc2VydGlvbnNGcm9tSlNPTihqc29uLCBjb250ZXh0KSB7XG4gIGxldCB7IGFzc2VydGlvbnMgfSA9IGpzb247XG5cbiAgY29uc3QgeyBUeXBlQXNzZXJ0aW9uLCBEZWZpbmVkQXNzZXJ0aW9uLCBQcm9wZXJ0eUFzc2VydGlvbiwgU3VicHJvb2ZBc3NlcnRpb24sIFNpZ25hdHVyZUFzc2VydGlvbiwgQ29udGFpbmVkQXNzZXJ0aW9uIH0gPSBlbGVtZW50cyxcbiAgICAgICAgYXNzZXJ0aW9uc0pTT04gPSBhc3NlcnRpb25zOyAvLy9cblxuICBhc3NlcnRpb25zID0gYXNzZXJ0aW9uc0pTT04ubWFwKChhc3NlcnRpb25KU09OKSA9PiB7XG4gICAgY29uc3QganNvbiA9IGFzc2VydGlvbkpTT04sICAvLy9cbiAgICAgICAgICBhc3NlcnRpb24gPSBUeXBlQXNzZXJ0aW9uLmZyb21KU09OKGpzb24sIGNvbnRleHQpIHx8XG4gICAgICAgICAgICAgICAgICAgICAgIERlZmluZWRBc3NlcnRpb24uZnJvbUpTT04oanNvbiwgY29udGV4dCkgfHxcbiAgICAgICAgICAgICAgICAgICAgICAgUHJvcGVydHlBc3NlcnRpb24uZnJvbUpTT04oanNvbiwgY29udGV4dCkgfHxcbiAgICAgICAgICAgICAgICAgICAgICAgU3VicHJvb2ZBc3NlcnRpb24uZnJvbUpTT04oanNvbiwgY29udGV4dCkgfHxcbiAgICAgICAgICAgICAgICAgICAgICAgU2lnbmF0dXJlQXNzZXJ0aW9uLmZyb21KU09OKGpzb24sIGNvbnRleHQpIHx8XG4gICAgICAgICAgICAgICAgICAgICAgIENvbnRhaW5lZEFzc2VydGlvbi5mcm9tSlNPTihqc29uLCBjb250ZXh0KTtcblxuICAgIHJldHVybiBhc3NlcnRpb247XG4gIH0pO1xuXG4gIHJldHVybiBhc3NlcnRpb25zO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gcmVmZXJlbmNlc0Zyb21KU09OKGpzb24sIGNvbnRleHQpIHtcbiAgbGV0IHsgcmVmZXJlbmNlcyB9ID0ganNvbjtcblxuICBjb25zdCB7IFJlZmVyZW5jZSB9ID0gZWxlbWVudHMsXG4gICAgcmVmZXJlbmNlc0pTT04gPSByZWZlcmVuY2VzOyAvLy9cblxuICByZWZlcmVuY2VzID0gcmVmZXJlbmNlc0pTT04ubWFwKChyZWZlcmVuY2VKU09OKSA9PiB7XG4gICAgY29uc3QganNvbiA9IHJlZmVyZW5jZUpTT04sICAvLy9cbiAgICAgIHJlZmVyZW5jZSA9IFJlZmVyZW5jZS5mcm9tSlNPTihqc29uLCBjb250ZXh0KTtcblxuICAgIHJldHVybiByZWZlcmVuY2U7XG4gIH0pO1xuXG4gIHJldHVybiByZWZlcmVuY2VzO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gc2lnbmF0dXJlc0Zyb21KU09OKGpzb24sIGNvbnRleHQpIHtcbiAgbGV0IHsgc2lnbmF0dXJlcyB9ID0ganNvbjtcblxuICBjb25zdCB7IFNpZ25hdHVyZSB9ID0gZWxlbWVudHMsXG4gICAgICAgIHNpZ25hdHVyZXNKU09OID0gc2lnbmF0dXJlczsgLy8vXG5cbiAgc2lnbmF0dXJlcyA9IHNpZ25hdHVyZXNKU09OLm1hcCgoc2lnbmF0dXJlSlNPTikgPT4ge1xuICAgIGNvbnN0IGpzb24gPSBzaWduYXR1cmVKU09OLCAgLy8vXG4gICAgICAgICAgc2lnbmF0dXJlID0gU2lnbmF0dXJlLmZyb21KU09OKGpzb24sIGNvbnRleHQpO1xuXG4gICAgcmV0dXJuIHNpZ25hdHVyZTtcbiAgfSk7XG5cbiAgcmV0dXJuIHNpZ25hdHVyZXM7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBjb25qZWN0dXJlc0Zyb21KU09OKGpzb24sIGNvbnRleHQpIHtcbiAgbGV0IHsgY29uamVjdHVyZXMgfSA9IGpzb247XG5cbiAgY29uc3QgeyBDb25qZWN0dXJlIH0gPSBlbGVtZW50cyxcbiAgICAgICAgY29uamVjdHVyZXNKU09OID0gY29uamVjdHVyZXM7IC8vL1xuXG4gIGNvbmplY3R1cmVzID0gY29uamVjdHVyZXNKU09OLm1hcCgoY29uamVjdHVyZUpTT04pID0+IHtcbiAgICBjb25zdCBqc29uID0gY29uamVjdHVyZUpTT04sICAvLy9cbiAgICAgICAgICBjb25qZWN0dXJlID0gQ29uamVjdHVyZS5mcm9tSlNPTihqc29uLCBjb250ZXh0KTtcblxuICAgIHJldHVybiBjb25qZWN0dXJlO1xuICB9KTtcblxuICByZXR1cm4gY29uamVjdHVyZXM7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBjb21iaW5hdG9yc0Zyb21KU09OKGpzb24sIGNvbnRleHQpIHtcbiAgbGV0IHsgY29tYmluYXRvcnMgfSA9IGpzb247XG5cbiAgY29uc3QgeyBDb21iaW5hdG9yIH0gPSBlbGVtZW50cyxcbiAgICAgICAgY29tYmluYXRvcnNKU09OID0gY29tYmluYXRvcnM7IC8vL1xuXG4gIGNvbWJpbmF0b3JzID0gY29tYmluYXRvcnNKU09OLm1hcCgoY29tYmluYXRvckpTT04pID0+IHtcbiAgICBjb25zdCBqc29uID0gY29tYmluYXRvckpTT04sICAvLy9cbiAgICAgICAgICBjb21iaW5hdG9yID0gQ29tYmluYXRvci5mcm9tSlNPTihqc29uLCBjb250ZXh0KTtcblxuICAgIHJldHVybiBjb21iaW5hdG9yO1xuICB9KTtcblxuICByZXR1cm4gY29tYmluYXRvcnM7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBhc3N1bXB0aW9uc0Zyb21KU09OKGpzb24sIGNvbnRleHQpIHtcbiAgbGV0IHsgYXNzdW1wdGlvbnMgfSA9IGpzb247XG5cbiAgY29uc3QgeyBBc3N1bXB0aW9uIH0gPSBlbGVtZW50cyxcbiAgICBhc3N1bXB0aW9uc0pTT04gPSBhc3N1bXB0aW9uczsgLy8vXG5cbiAgYXNzdW1wdGlvbnMgPSBhc3N1bXB0aW9uc0pTT04ubWFwKChhc3N1bXB0aW9uSlNPTikgPT4ge1xuICAgIGNvbnN0IGpzb24gPSBhc3N1bXB0aW9uSlNPTiwgIC8vL1xuICAgICAgICAgIGFzc3VtcHRpb24gPSBBc3N1bXB0aW9uLmZyb21KU09OKGpzb24sIGNvbnRleHQpO1xuXG4gICAgcmV0dXJuIGFzc3VtcHRpb247XG4gIH0pO1xuXG4gIHJldHVybiBhc3N1bXB0aW9ucztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHR5cGVQcmVmaXhlc0Zyb21KU09OKGpzb24sIGNvbnRleHQpIHtcbiAgbGV0IHsgdHlwZVByZWZpeGVzIH0gPSBqc29uO1xuXG4gIGNvbnN0IHsgVHlwZVByZWZpeCB9ID0gZWxlbWVudHMsXG4gICAgICAgIHR5cGVQcmVmaXhlc0pTT04gPSB0eXBlUHJlZml4ZXM7IC8vL1xuXG4gIHR5cGVQcmVmaXhlcyA9IHR5cGVQcmVmaXhlc0pTT04ubWFwKCh0eXBlUHJlZml4SlNPTikgPT4ge1xuICAgIGNvbnN0IGpzb24gPSB0eXBlUHJlZml4SlNPTiwgIC8vL1xuICAgICAgICAgIHR5cGVQcmVmaXggPSBUeXBlUHJlZml4LmZyb21KU09OKGpzb24sIGNvbnRleHQpO1xuXG4gICAgcmV0dXJuIHR5cGVQcmVmaXg7XG4gIH0pO1xuXG4gIHJldHVybiB0eXBlUHJlZml4ZXM7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBjb25zdHJ1Y3RvcnNGcm9tSlNPTihqc29uLCBjb250ZXh0KSB7XG4gIGxldCB7IGNvbnN0cnVjdG9ycyB9ID0ganNvbjtcblxuICBjb25zdCB7IENvbnN0cnVjdG9yIH0gPSBlbGVtZW50cyxcbiAgICAgICAgY29uc3RydWN0b3JzSlNPTiA9IGNvbnN0cnVjdG9yczsgLy8vXG5cbiAgY29uc3RydWN0b3JzID0gY29uc3RydWN0b3JzSlNPTi5tYXAoKGNvbnN0cnVjdG9ySlNPTikgPT4ge1xuICAgIGNvbnN0IGpzb24gPSBjb25zdHJ1Y3RvckpTT04sICAvLy9cbiAgICAgICAgICBjb25zdHJ1Y3RvciA9IENvbnN0cnVjdG9yLmZyb21KU09OKGpzb24sIGNvbnRleHQpO1xuXG4gICAgcmV0dXJuIGNvbnN0cnVjdG9yO1xuICB9KTtcblxuICByZXR1cm4gY29uc3RydWN0b3JzO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gbWV0YXRoZW9yZW1zRnJvbUpTT04oanNvbiwgY29udGV4dCkge1xuICBsZXQgeyBtZXRhdGhlb3JlbXMgfSA9IGpzb247XG5cbiAgY29uc3QgeyBNZXRhdGhlb3JlbSB9ID0gZWxlbWVudHMsXG4gICAgICAgIG1ldGF0aGVvcmVtc0pTT04gPSBtZXRhdGhlb3JlbXM7IC8vL1xuXG4gIG1ldGF0aGVvcmVtcyA9IG1ldGF0aGVvcmVtc0pTT04ubWFwKChtZXRhdGhlb3JlbUpTT04pID0+IHtcbiAgICBjb25zdCBqc29uID0gbWV0YXRoZW9yZW1KU09OLCAgLy8vXG4gICAgICAgICAgbWV0YXRoZW9yZW0gPSBNZXRhdGhlb3JlbS5mcm9tSlNPTihqc29uLCBjb250ZXh0KTtcblxuICAgIHJldHVybiBtZXRhdGhlb3JlbTtcbiAgfSk7XG5cbiAgcmV0dXJuIG1ldGF0aGVvcmVtcztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHN1cHBvc2l0aW9uc0Zyb21KU09OKGpzb24sIGNvbnRleHQpIHtcbiAgbGV0IHsgc3VwcG9zaXRpb25zIH0gPSBqc29uO1xuXG4gIGNvbnN0IHsgU3VwcG9zaXRpb24gfSA9IGVsZW1lbnRzLFxuICAgICAgICBzdXBwb3NpdGlvbnNKU09OID0gc3VwcG9zaXRpb25zOyAgLy8vXG5cbiAgc3VwcG9zaXRpb25zID0gc3VwcG9zaXRpb25zSlNPTi5tYXAoKHN1cHBvc2l0aW9uSlNPTikgPT4ge1xuICAgIGNvbnN0IGpzb24gPSBzdXBwb3NpdGlvbkpTT04sIC8vL1xuICAgICAgICAgIHN1cHBvc2l0aW9uID0gU3VwcG9zaXRpb24uZnJvbUpTT04oanNvbiwgY29udGV4dCk7XG5cbiAgICByZXR1cm4gc3VwcG9zaXRpb247XG4gIH0pO1xuXG4gIHJldHVybiBzdXBwb3NpdGlvbnM7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBzdWJzdGl0dXRpb25zRnJvbUpTT04oanNvbiwgY29udGV4dCkge1xuICBsZXQgeyBzdWJzdGl0dXRpb25zIH0gPSBqc29uOyAgLy8vXG5cbiAgY29uc3Qgc3Vic3RpdHV0aW9uc0pTT04gPSBzdWJzdGl0dXRpb25zOyAvLy9cblxuICBzdWJzdGl0dXRpb25zID0gc3Vic3RpdHV0aW9uc0pTT04ubWFwKChzdWJzdGl0dXRpb25KU09OKSA9PiB7XG4gICAgY29uc3QganNvbiA9IHN1YnN0aXR1dGlvbkpTT04sICAvLy9cbiAgICAgICAgICBzdWJzdGl0dXRpb24gPSBzdWJzdGl0dXRpb25Gcm9tU3Vic3RpdHV0aW9uSlNPTihqc29uLCBjb250ZXh0KTtcblxuICAgIHJldHVybiBzdWJzdGl0dXRpb247XG4gIH0pO1xuXG4gIHJldHVybiBzdWJzdGl0dXRpb25zO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gbWV0YXZhcmlhYmxlc0Zyb21KU09OKGpzb24sIGNvbnRleHQpIHtcbiAgbGV0IHsgbWV0YXZhcmlhYmxlcyB9ID0ganNvbjtcblxuICBjb25zdCB7IE1ldGF2YXJpYWJsZSB9ID0gZWxlbWVudHMsXG4gICAgICAgIG1ldGF2YXJpYWJsZXNKU09OID0gbWV0YXZhcmlhYmxlczsgLy8vXG5cbiAgbWV0YXZhcmlhYmxlcyA9IG1ldGF2YXJpYWJsZXNKU09OLm1hcCgobWV0YXZhcmlhYmxlSlNPTikgPT4ge1xuICAgIGNvbnN0IGpzb24gPSBtZXRhdmFyaWFibGVKU09OLCAgLy8vXG4gICAgICAgICAgbWV0YXZhcmlhYmxlID0gTWV0YXZhcmlhYmxlLmZyb21KU09OKGpzb24sIGNvbnRleHQpO1xuXG4gICAgcmV0dXJuIG1ldGF2YXJpYWJsZTtcbiAgfSk7XG5cbiAgcmV0dXJuIG1ldGF2YXJpYWJsZXM7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBtbmVtaWNDb250ZXh0c0Zyb21KU09OKGpzb24sIGNvbnRleHQpIHtcbiAgY29uc3QgcmVsZWFzZUNvbnRleHQgPSBjb250ZXh0OyAvLy9cblxuICBjb25zdCB7IGNvbnRleHRzIH0gPSBqc29uO1xuXG4gIGNvbnN0IG1uZW1pY0NvbnRleHRzID0gY29udGV4dHMubWFwKChjb250ZXh0KSA9PiB7XG4gICAganNvbiA9IGNvbnRleHQ7IC8vL1xuXG4gICAgY29udGV4dCA9IHJlbGVhc2VDb250ZXh0OyAvLy9cblxuICAgIGNvbnN0IG1uZW1pY0NvbnRleHQgPSBNbmVtaWNDb250ZXh0LmZyb21KU09OKGpzb24sIGNvbnRleHQpO1xuXG4gICAgcmV0dXJuIG1uZW1pY0NvbnRleHQ7ICAvLy9cbiAgfSk7XG5cbiAgcmV0dXJuIG1uZW1pY0NvbnRleHRzO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gZGVjbGFyZWRWYXJpYWJsZXNGcm9tSlNPTihqc29uLCBjb250ZXh0KSB7XG4gIGxldCB7IGRlY2xhcmVkVmFyaWFibGVzIH0gPSBqc29uO1xuXG4gIGNvbnN0IHsgVmFyaWFibGUgfSA9IGVsZW1lbnRzLFxuICAgICAgICBkZWNsYXJlZFZhcmlhYmxlc0pTT04gPSBkZWNsYXJlZFZhcmlhYmxlczsgLy8vXG5cbiAgZGVjbGFyZWRWYXJpYWJsZXMgPSBkZWNsYXJlZFZhcmlhYmxlc0pTT04ubWFwKChkZWNsYXJlZFZhcmlhYmxlSlNPTikgPT4ge1xuICAgIGNvbnN0IGpzb24gPSBkZWNsYXJlZFZhcmlhYmxlSlNPTiwgIC8vL1xuICAgICAgICAgIHZhcmlhYmxlID0gVmFyaWFibGUuZnJvbUpTT04oanNvbiwgY29udGV4dCksXG4gICAgICAgICAgZGVjbGFyZWRWYXJpYWJsZSA9IHZhcmlhYmxlOyAgLy8vXG5cbiAgICByZXR1cm4gZGVjbGFyZWRWYXJpYWJsZTtcbiAgfSk7XG5cbiAgcmV0dXJuIGRlY2xhcmVkVmFyaWFibGVzO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gcHJvcGVydHlSZWxhdGlvbnNGcm9tSlNPTihqc29uLCBjb250ZXh0KSB7XG4gIGxldCB7IHByb3BlcnR5UmVsYXRpb25zIH0gPSBqc29uO1xuXG4gIGNvbnN0IHsgUHJvcGVydHlSZWxhdGlvbiB9ID0gZWxlbWVudHMsXG4gICAgICAgIHByb3BlcnR5UmVsYXRpb25zSlNPTiA9IHByb3BlcnR5UmVsYXRpb25zOyAvLy9cblxuICBwcm9wZXJ0eVJlbGF0aW9ucyA9IHByb3BlcnR5UmVsYXRpb25zSlNPTi5tYXAoKHByb3BlcnR5UmVsYXRpb25KU09OKSA9PiB7XG4gICAgY29uc3QganNvbiA9IHByb3BlcnR5UmVsYXRpb25KU09OLCAgLy8vXG4gICAgICAgICAgcHJvcGVydHlSZWxhdGlvbiA9IFByb3BlcnR5UmVsYXRpb24uZnJvbUpTT04oanNvbiwgY29udGV4dCk7XG5cbiAgICByZXR1cm4gcHJvcGVydHlSZWxhdGlvbjtcbiAgfSk7XG5cbiAgcmV0dXJuIHByb3BlcnR5UmVsYXRpb25zO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gbWV0YUxldmVsQXNzdW1wdGlvbnNGcm9tSlNPTihqc29uLCBjb250ZXh0KSB7XG4gIGxldCB7IG1ldGFMZXZlbEFzc3VtcHRpb25zIH0gPSBqc29uO1xuXG4gIGNvbnN0IHsgTWV0YUxldmVsQXNzdW1wdGlvbiB9ID0gZWxlbWVudHMsXG4gICAgICAgIG1ldGFMZXZlbEFzc3VtcHRpb25zSlNPTiA9IG1ldGFMZXZlbEFzc3VtcHRpb25zOyAvLy9cblxuICBtZXRhTGV2ZWxBc3N1bXB0aW9ucyA9IG1ldGFMZXZlbEFzc3VtcHRpb25zSlNPTi5tYXAoKG1ldGFMZXZlbEFzc3VtcHRpb25KU09OKSA9PiB7XG4gICAgY29uc3QganNvbiA9IG1ldGFMZXZlbEFzc3VtcHRpb25KU09OLCAgLy8vXG4gICAgICAgICAgbWV0YUxldmVsQXNzdW1wdGlvbiA9IE1ldGFMZXZlbEFzc3VtcHRpb24uZnJvbUpTT04oanNvbiwgY29udGV4dCk7XG5cbiAgICByZXR1cm4gbWV0YUxldmVsQXNzdW1wdGlvbjtcbiAgfSk7XG5cbiAgcmV0dXJuIG1ldGFMZXZlbEFzc3VtcHRpb25zO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gZGVjbGFyZWRNZXRhdmFyaWFibGVzRnJvbUpTT04oanNvbiwgY29udGV4dCkge1xuICBsZXQgeyBkZWNsYXJlZE1ldGF2YXJpYWJsZXMgfSA9IGpzb247XG5cbiAgY29uc3QgeyBNZXRhdmFyaWFibGUgfSA9IGVsZW1lbnRzLFxuICAgICAgICBkZWNsYXJlZE1ldGF2YXJpYWJsZXNKU09OID0gZGVjbGFyZWRNZXRhdmFyaWFibGVzOyAvLy9cblxuICBkZWNsYXJlZE1ldGF2YXJpYWJsZXMgPSBkZWNsYXJlZE1ldGF2YXJpYWJsZXNKU09OLm1hcCgoZGVjbGFyZWRNZXRhdmFyaWFibGVKU09OKSA9PiB7XG4gICAgY29uc3QganNvbiA9IGRlY2xhcmVkTWV0YXZhcmlhYmxlSlNPTiwgIC8vL1xuICAgICAgICAgIG1ldGF2YXJpYWJsZSA9IE1ldGF2YXJpYWJsZS5mcm9tSlNPTihqc29uLCBjb250ZXh0KSxcbiAgICAgICAgICBkZWNsYXJlZE1ldGF2YXJpYWJsZSA9IG1ldGF2YXJpYWJsZTsgIC8vL1xuXG4gICAgcmV0dXJuIGRlY2xhcmVkTWV0YXZhcmlhYmxlO1xuICB9KTtcblxuICByZXR1cm4gZGVjbGFyZWRNZXRhdmFyaWFibGVzO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gbmFtZVRvTmFtZUpTT04obmFtZSkge1xuICBjb25zdCBuYW1lSlNPTiA9IG5hbWU7ICAvLy9cblxuICByZXR1cm4gbmFtZUpTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiB0ZXJtVG9UZXJtSlNPTih0ZXJtKSB7XG4gIGNvbnN0IHRlcm1KU09OID0gKHRlcm0gIT09IG51bGwpID9cbiAgICAgICAgICAgICAgICAgICAgIHRlcm0udG9KU09OKCkgOlxuICAgICAgICAgICAgICAgICAgICAgICBudWxsO1xuXG4gIHJldHVybiB0ZXJtSlNPTjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHR5cGVUb1R5cGVKU09OKHR5cGUpIHtcbiAgbGV0IHR5cGVKU09OID0gbnVsbDtcblxuICBpZiAodHlwZSAhPT0gbnVsbCkge1xuICAgIGNvbnN0IGFicmlkZ2VkID0gdHJ1ZTtcblxuICAgIHR5cGVKU09OID0gdHlwZS50b0pTT04oYWJyaWRnZWQpO1xuICB9XG5cbiAgcmV0dXJuIHR5cGVKU09OO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gZnJhbWVUb0ZyYW1lSlNPTihmcmFtZSkge1xuICBjb25zdCBmcmFtZUpTT04gPSAoZnJhbWUgIT09IG51bGwpID9cbiAgICAgICAgICAgICAgICAgICAgICBmcmFtZS50b0pTT04oKSA6XG4gICAgICAgICAgICAgICAgICAgICAgICBudWxsO1xuXG4gIHJldHVybiBmcmFtZUpTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBsYWJlbFRvTGFiZWxKU09OKGxhYmVsKSB7XG4gIGNvbnN0IGxhYmVsSlNPTiA9IGxhYmVsLnRvSlNPTigpO1xuXG4gIHJldHVybiBsYWJlbEpTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBuZWdhdGVkVG9OZWdhdGVkSlNPTihuZWdhdGVkKSB7XG4gIGNvbnN0IG5lZ2F0ZWRKU09OID0gbmVnYXRlZDsgIC8vL1xuXG4gIHJldHVybiBuZWdhdGVkSlNPTjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGFyaWFibGVUb1ZhcmlhYmxlSlNPTihhcmlhYmxlKSB7XG4gIGNvbnN0IGFyaWFibGVKU09OID0gYXJpYWJsZS50b0pTT04oKTtcblxuICByZXR1cm4gYXJpYWJsZUpTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBtZXRhVHlwZVRvTWV0YVR5cGVKU09OKG1ldGFUeXBlKSB7XG4gIGNvbnN0IG1ldGFUeXBlSlNPTiA9IChtZXRhVHlwZSAhPT0gbnVsbCkgP1xuICAgICAgICAgICAgICAgICAgICAgICAgIG1ldGFUeXBlLnRvSlNPTigpIDpcbiAgICAgICAgICAgICAgICAgICAgICAgICAgIG51bGw7XG5cbiAgcmV0dXJuIG1ldGFUeXBlSlNPTjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHJlZmVyZW5jZVRvUmVmZXJlbmNlSlNPTihyZWZlcmVuY2UpIHtcbiAgY29uc3QgcmVmZXJlbmNlSlNPTiA9IHJlZmVyZW5jZS50b0pTT04oKTtcblxuICByZXR1cm4gcmVmZXJlbmNlSlNPTjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHN0YXRlbWVudFRvU3RhdGVtZW50SlNPTihzdGF0ZW1lbnQpIHtcbiAgY29uc3Qgc3RhdGVtZW50SlNPTiA9IChzdGF0ZW1lbnQgIT09IG51bGwpID9cbiAgICAgICAgICAgICAgICAgICAgICAgICAgc3RhdGVtZW50LnRvSlNPTigpIDpcbiAgICAgICAgICAgICAgICAgICAgICAgICAgICBudWxsO1xuXG4gIHJldHVybiBzdGF0ZW1lbnRKU09OO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gZGVkdWN0aW9uVG9EZWR1Y3Rpb25KU09OKGRlZHVjdGlvbikge1xuICBjb25zdCBkZWR1Y3Rpb25KU09OID0gZGVkdWN0aW9uLnRvSlNPTigpO1xuXG4gIHJldHVybiBkZWR1Y3Rpb25KU09OO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gc2lnbmF0dXJlVG9TaWduYXR1cmVKU09OKHNpZ25hdHVyZSkge1xuICBjb25zdCBzaWduYXR1cmVKU09OID0gKHNpZ25hdHVyZSAhPT0gbnVsbCkgP1xuICAgICAgICAgICAgICAgICAgICAgICAgICBzaWduYXR1cmUudG9KU09OKCkgOlxuICAgICAgICAgICAgICAgICAgICAgICAgICAgIG51bGw7XG5cbiAgcmV0dXJuIHNpZ25hdHVyZUpTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBpZGVudGlmaWVyVG9JZGVudGlmaWVySlNPTihpZGVudGlmaWVyKSB7XG4gIGNvbnN0IGlkZW50aWZpZXJKU09OID0gaWRlbnRpZmllcjsgIC8vL1xuXG4gIHJldHVybiBpZGVudGlmaWVySlNPTjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGNvbmNsdXNpb25Ub0NvbmNsdXNpb25KU09OKGNvbmNsdXNpb24pIHtcbiAgY29uc3QgY29uY2x1c2lvbkpTT04gPSBjb25jbHVzaW9uLnRvSlNPTigpO1xuXG4gIHJldHVybiBjb25jbHVzaW9uSlNPTjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHByb3Zpc2lvbmFsVG9Qcm92aXNpb25hbEpTT04ocHJvdmlzaW9uYWwpIHtcbiAgY29uc3QgcHJvdmlzaW9uYWxKU09OID0gcHJvdmlzaW9uYWw7ICAvLy9cblxuICByZXR1cm4gcHJvdmlzaW9uYWxKU09OO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gbWV0YXZhcmlhYmxlVG9NZXRhdmFyaWFibGVKU09OKG1ldGF2YXJpYWJsZSkge1xuICBjb25zdCBtZXRhdmFyaWFibGVKU09OID0gbWV0YXZhcmlhYmxlLnRvSlNPTigpO1xuXG4gIHJldHVybiBtZXRhdmFyaWFibGVKU09OO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gcHJvY2VkdXJlQ2FsbFRvUHJvY2VkdXJlQ2FsbEpTT04ocHJvY2VkdXJlQ2FsbCkge1xuICBjb25zdCBwcm9jZWR1cmVDYWxsSlNPTiA9IChwcm9jZWR1cmVDYWxsICE9PSBudWxsKSA/XG4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICBwcm9jZWR1cmVDYWxsLnRvSlNPTigpIDpcbiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgbnVsbDtcblxuICByZXR1cm4gcHJvY2VkdXJlQ2FsbEpTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBtbmVtaWNDb250ZXh0VG9NbmVtaWNDb250ZXh0SlNPTihtbmVtaWNDb250ZXh0KSB7XG4gIGNvbnN0IG1uZW1pY0NvbnRleHRKU09OID0gbW5lbWljQ29udGV4dC50b0pTT04oKTtcblxuICByZXR1cm4gbW5lbWljQ29udGV4dEpTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBwcm9jZWR1cmVSZWZlcmVuY2VUb1Byb2NlZHVyZVJlZmVyZW5jZUpTT04ocHJvY2VkdXJlUmVmZXJlbmNlKSB7XG4gIGNvbnN0IHByb2NlZHVyZVJlZmVyZW5jZUpTT04gPSBwcm9jZWR1cmVSZWZlcmVuY2UudG9KU09OKCk7XG5cbiAgcmV0dXJuIHByb2NlZHVyZVJlZmVyZW5jZUpTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBkZWNsYXJlZE1ldGF2YXJpYWJsZVRvREVjbGFyZWRNZXRhdmFyaWFibGVKU09OKGRlY2xhcmVkTWV0YXZhcmlhYmxlKSB7XG4gIGNvbnN0IGRlY2xhcmVkTWV0YXZhcmlhYmxlSlNPTiA9IGRlY2xhcmVkTWV0YXZhcmlhYmxlLnRvSlNPTigpO1xuXG4gIHJldHVybiBkZWNsYXJlZE1ldGF2YXJpYWJsZUpTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBzdWJzdGl0dXRpb25Gcm9tU3Vic3RpdHV0aW9uSlNPTihqc29uLCBjb250ZXh0KSB7XG4gIGNvbnN0IHsgVGVybVN1YnN0aXR1dGlvbiwgRnJhbWVTdWJzdGl0dXRpb24sIFN0YXRlbWVudFN1YnN0aXR1dGlvbiwgUmVmZXJlbmNlU3Vic3RpdHV0aW9uIH0gPSBlbGVtZW50cyxcbiAgICAgICAgc3Vic3RpdHV0aW9uID0gVGVybVN1YnN0aXR1dGlvbi5mcm9tSlNPTihqc29uLCBjb250ZXh0KSB8fFxuICAgICAgICAgICAgICAgICAgICAgICBGcmFtZVN1YnN0aXR1dGlvbi5mcm9tSlNPTihqc29uLCBjb250ZXh0KSB8fFxuICAgICAgICAgICAgICAgICAgICAgICBTdGF0ZW1lbnRTdWJzdGl0dXRpb24uZnJvbUpTT04oanNvbiwgY29udGV4dCkgfHxcbiAgICAgICAgICAgICAgICAgICAgICAgUmVmZXJlbmNlU3Vic3RpdHV0aW9uLmZyb21KU09OKGpzb24sIGNvbnRleHQpO1xuXG4gIHJldHVybiBzdWJzdGl0dXRpb247XG59XG5cbmV4cG9ydCBmdW5jdGlvbiB0ZXJtc1RvVGVybXNKU09OKHRlcm1zKSB7XG4gIGNvbnN0IHRlcm1zSlNPTiA9IHRlcm1zLm1hcCgodGVybSkgPT4ge1xuICAgIGNvbnN0IHRlcm1KU09OID0gdGVybS50b0pTT04oKTtcblxuICAgIHJldHVybiB0ZXJtSlNPTjtcbiAgfSk7XG5cbiAgcmV0dXJuIHRlcm1zSlNPTjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHR5cGVzVG9UeXBlc0pTT04odHlwZXMpIHtcbiAgY29uc3QgdHlwZXNKU09OID0gdHlwZXMubWFwKCh0eXBlKSA9PiB7XG4gICAgY29uc3QgdHlwZUpTT04gPSB0eXBlLnRvSlNPTigpO1xuXG4gICAgcmV0dXJuIHR5cGVKU09OO1xuICB9KTtcblxuICByZXR1cm4gdHlwZXNKU09OO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gcnVsZXNUb1J1bGVzSlNPTihydWxlcykge1xuICBjb25zdCBydWxlc0pTT04gPSBydWxlcy5tYXAoKHJ1bGUpID0+IHtcbiAgICBjb25zdCBydWxlSlNPTiA9IHJ1bGUudG9KU09OKCk7XG5cbiAgICByZXR1cm4gcnVsZUpTT047XG4gIH0pO1xuXG4gIHJldHVybiBydWxlc0pTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBsYWJlbHNUb0xhYmVsc0pTT04obGFiZWxzKSB7XG4gIGNvbnN0IGxhYmVsc0pTT04gPSBsYWJlbHMubWFwKChsYWJlbCkgPT4ge1xuICAgIGNvbnN0IGxhYmVsSlNPTiA9IGxhYmVsLnRvSlNPTigpO1xuXG4gICAgcmV0dXJuIGxhYmVsSlNPTjtcbiAgfSk7XG5cbiAgcmV0dXJuIGxhYmVsc0pTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBmcmFtZXNUb0ZyYW1lc0pTT04oZnJhbWVzKSB7XG4gIGNvbnN0IGZyYW1lc0pTT04gPSBmcmFtZXMubWFwKChmcmFtZSkgPT4ge1xuICAgIGNvbnN0IGZyYW1lSlNPTiA9IGZyYW1lLnRvSlNPTigpO1xuXG4gICAgcmV0dXJuIGZyYW1lSlNPTjtcbiAgfSk7XG5cbiAgcmV0dXJuIGZyYW1lc0pTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBheGlvbXNUb0F4aW9tc0pTT04oYXhpb21zKSB7XG4gIGNvbnN0IGF4aW9tc0pTT04gPSBheGlvbXMubWFwKChheGlvbSkgPT4ge1xuICAgIGNvbnN0IGF4aW9tSlNPTiA9IGF4aW9tLnRvSlNPTigpO1xuXG4gICAgcmV0dXJuIGF4aW9tSlNPTjtcbiAgfSk7XG5cbiAgcmV0dXJuIGF4aW9tc0pTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBwcmVtaXNlc1RvUHJlbWlzZXNKU09OKHByZW1pc2VzKSB7XG4gIGNvbnN0IHByZW1pc2VzSlNPTiA9IHByZW1pc2VzLm1hcCgocHJlbWlzZSkgPT4ge1xuICAgIGNvbnN0IHByZW1pc2VKU09OID0gcHJlbWlzZS50b0pTT04oKTtcblxuICAgIHJldHVybiBwcmVtaXNlSlNPTjtcbiAgfSk7XG5cbiAgcmV0dXJuIHByZW1pc2VzSlNPTjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHRoZW9yZW1zVG9UaGVvcmVtc0pTT04odGhlb3JlbXMpIHtcbiAgY29uc3QgdGhlb3JlbXNKU09OID0gdGhlb3JlbXMubWFwKCh0aGVvcmVtKSA9PiB7XG4gICAgY29uc3QgdGhlb3JlbUpTT04gPSB0aGVvcmVtLnRvSlNPTigpO1xuXG4gICAgcmV0dXJuIHRoZW9yZW1KU09OO1xuICB9KTtcblxuICByZXR1cm4gdGhlb3JlbXNKU09OO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gdmFyaWFibGVzVG9WYXJpYWJsZXNKU09OKHZhcmlhYmxlcykge1xuICBjb25zdCB2YXJpYWJsZXNKU09OID0gdmFyaWFibGVzLm1hcCgodmFyaWFibGUpID0+IHtcbiAgICBjb25zdCB2YXJpYWJsZUpTT04gPSB2YXJpYWJsZS50b0pTT04oKTtcblxuICAgIHJldHVybiB2YXJpYWJsZUpTT047XG4gIH0pO1xuXG4gIHJldHVybiB2YXJpYWJsZXNKU09OO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gaHlwb3RoZXNlc1RvSHlwb3RoZXNlc0pTT04oaHlwb3RoZXNlcykge1xuICBjb25zdCBoeXBvdGhlc2VzSlNPTiA9IGh5cG90aGVzZXMubWFwKChoeXBvdGhlc2lzKSA9PiB7XG4gICAgY29uc3QgaHlwb3RoZXNpc0pTT04gPSBoeXBvdGhlc2lzLnRvSlNPTigpO1xuXG4gICAgcmV0dXJuIGh5cG90aGVzaXNKU09OO1xuICB9KTtcblxuICByZXR1cm4gaHlwb3RoZXNlc0pTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBwcmVmaXhuYW1lVG9QcmV2aXhOYW1lSlNPTihwcmVmaXhuYW1lKSB7XG4gIGNvbnN0IHByZWZpeE5hbWVKU09OID0gcHJlZml4bmFtZTsgIC8vL1xuXG4gIHJldHVybiBwcmVmaXhOYW1lSlNPTjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHN1cGVyVHlwZXNUb1N1cGVyVHlwZXNKU09OKHN1cGVyVHlwZXMpIHtcbiAgY29uc3Qgc3VwZXJUeXBlc0pTT04gPSBzdXBlclR5cGVzLm1hcCgoc3VwZXJUeXBlKSA9PiB7XG4gICAgICAgICAgY29uc3QgYWJyaWRnZWQgPSB0cnVlLFxuICAgICAgICAgICAgICAgIHN1cGVyVHlwZUpTT04gPSBzdXBlclR5cGUudG9KU09OKGFicmlkZ2VkKTtcblxuICAgICAgICAgIHJldHVybiBzdXBlclR5cGVKU09OO1xuICAgICAgICB9KTtcblxuICByZXR1cm4gc3VwZXJUeXBlc0pTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBwYXJhbWV0ZXJzVG9QYXJhbWV0ZXJzSlNPTihwYXJhbWV0ZXJzKSB7XG4gIGNvbnN0IHBhcmFtZXRlcnNKU09OID0gcGFyYW1ldGVycy5tYXAoKHBhcmFtZXRlcikgPT4ge1xuICAgIGNvbnN0IHBhcmFtZXRlckpTT04gPSBwYXJhbWV0ZXIudG9KU09OKCk7XG5cbiAgICByZXR1cm4gcGFyYW1ldGVySlNPTjtcbiAgfSk7XG5cbiAgcmV0dXJuIHBhcmFtZXRlcnNKU09OO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gcHJvcGVydGllc1RvUHJvcGVydGllc0pTT04ocHJvcGVydGllcykge1xuICBjb25zdCBwcm9wZXJ0aWVzSlNPTiA9IHByb3BlcnRpZXMubWFwKChwcm9wZXJ0eSkgPT4ge1xuICAgIGNvbnN0IHByb3BlcnR5SlNPTiA9IHByb3BlcnR5LnRvSlNPTigpO1xuXG4gICAgcmV0dXJuIHByb3BlcnR5SlNPTjtcbiAgfSk7XG5cbiAgcmV0dXJuIHByb3BlcnRpZXNKU09OO1xufVxuXG5leHBvcnQgZnVuY3Rpb24ganVkZ2VtZW50c1RvSnVkZ2VtZW50c0pTT04oanVkZ2VtZW50cykge1xuICBjb25zdCBqdWRnZW1lbnRzSlNPTiA9IGp1ZGdlbWVudHMubWFwKChqdWRnZW1lbnQpID0+IHtcbiAgICBjb25zdCBqdWRnZW1lbnRKU09OID0ganVkZ2VtZW50LnRvSlNPTigpO1xuXG4gICAgcmV0dXJuIGp1ZGdlbWVudEpTT047XG4gIH0pO1xuXG4gIHJldHVybiBqdWRnZW1lbnRzSlNPTjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGVxdWFsaXRpZXNUb0VxdWFsaXRpZXNKU09OKGVxdWFsaXRpZXMpIHtcbiAgY29uc3QgZXF1YWxpdGllc0pTT04gPSBlcXVhbGl0aWVzLm1hcCgoZXF1YWxpdHkpID0+IHtcbiAgICBjb25zdCBlcXVhbGl0eUpTT04gPSBlcXVhbGl0eS50b0pTT04oKTtcblxuICAgIHJldHVybiBlcXVhbGl0eUpTT047XG4gIH0pO1xuXG4gIHJldHVybiBlcXVhbGl0aWVzSlNPTjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHN0YXRlbWVudHNUb1N0YXRlbWVudHNKU09OKHN0YXRlbWVudHMpIHtcbiAgY29uc3Qgc3RhdGVtZW50c0pTT04gPSBzdGF0ZW1lbnRzLm1hcCgoc3RhdGVtZW50KSA9PiB7XG4gICAgY29uc3Qgc3RhdGVtZW50SlNPTiA9IHN0YXRlbWVudC50b0pTT04oKTtcblxuICAgIHJldHVybiBzdGF0ZW1lbnRKU09OO1xuICB9KTtcblxuICByZXR1cm4gc3RhdGVtZW50c0pTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBzaWduYXR1cmVzVG9TaWduYXR1cmVzSlNPTihzaWduYXR1cmVzKSB7XG4gIGNvbnN0IHNpZ25hdHVyZXNKU09OID0gc2lnbmF0dXJlcy5tYXAoKHNpZ25hdHVyZSkgPT4ge1xuICAgIGNvbnN0IHNpZ25hdHVyZUpTT04gPSBzaWduYXR1cmUudG9KU09OKCk7XG5cbiAgICByZXR1cm4gc2lnbmF0dXJlSlNPTjtcbiAgfSk7XG5cbiAgcmV0dXJuIHNpZ25hdHVyZXNKU09OO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gYXNzZXJ0aW9uc1RvQXNzZXJ0aW9uc0pTT04oYXNzZXJ0aW9ucykge1xuICBjb25zdCBhc3NlcnRpb25zSlNPTiA9IGFzc2VydGlvbnMubWFwKChhc3NlcnRpb24pID0+IHtcbiAgICBjb25zdCBhc3NlcnRpb25KU09OID0gYXNzZXJ0aW9uLnRvSlNPTigpO1xuXG4gICAgcmV0dXJuIGFzc2VydGlvbkpTT047XG4gIH0pO1xuXG4gIHJldHVybiBhc3NlcnRpb25zSlNPTjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHJlZmVyZW5jZXNUb1JlZmVyZW5jZXNKU09OKHJlZmVyZW5jZXMpIHtcbiAgY29uc3QgcmVmZXJlbmNlc0pTT04gPSByZWZlcmVuY2VzLm1hcCgocmVmZXJlbmNlKSA9PiB7XG4gICAgY29uc3QgcmVmZXJlbmNlSlNPTiA9IHJlZmVyZW5jZS50b0pTT04oKTtcblxuICAgIHJldHVybiByZWZlcmVuY2VKU09OO1xuICB9KTtcblxuICByZXR1cm4gcmVmZXJlbmNlc0pTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBjb25qZWN0dXJlc1RvQ29uamVjdHVyZXNKU09OKGNvbmplY3R1cmVzKSB7XG4gIGNvbnN0IGNvbmplY3R1cmVzSlNPTiA9IGNvbmplY3R1cmVzLm1hcCgoY29uamVjdHVyZSkgPT4ge1xuICAgIGNvbnN0IGNvbmplY3R1cmVKU09OID0gY29uamVjdHVyZS50b0pTT04oKTtcblxuICAgIHJldHVybiBjb25qZWN0dXJlSlNPTjtcbiAgfSk7XG5cbiAgcmV0dXJuIGNvbmplY3R1cmVzSlNPTjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGNvbWJpbmF0b3JzVG9Db21iaW5hdG9yc0pTT04oY29tYmluYXRvcnMpIHtcbiAgY29uc3QgY29tYmluYXRvcnNKU09OID0gY29tYmluYXRvcnMubWFwKChjb21iaW5hdG9yKSA9PiB7XG4gICAgY29uc3QgY29tYmluYXRvckpTT04gPSBjb21iaW5hdG9yLnRvSlNPTigpO1xuXG4gICAgcmV0dXJuIGNvbWJpbmF0b3JKU09OO1xuICB9KTtcblxuICByZXR1cm4gY29tYmluYXRvcnNKU09OO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gYXNzdW1wdGlvbnNUb0Fzc3VtcHRpb25zSlNPTihhc3N1bXB0aW9ucykge1xuICBjb25zdCBhc3N1bXB0aW9uc0pTT04gPSBhc3N1bXB0aW9ucy5tYXAoKGFzc3VtcHRpb24pID0+IHtcbiAgICBjb25zdCBhc3N1bXB0aW9uSlNPTiA9IGFzc3VtcHRpb24udG9KU09OKCk7XG5cbiAgICByZXR1cm4gYXNzdW1wdGlvbkpTT047XG4gIH0pO1xuXG4gIHJldHVybiBhc3N1bXB0aW9uc0pTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBzdXBwb3NpdGlvbnNUb1N1cHBvc2l0aW9uc0pTT04oc3VwcG9zaXRpb25zKSB7XG4gIGNvbnN0IHN1cHBvc2l0aW9uc0pTT04gPSBzdXBwb3NpdGlvbnMubWFwKChzdXBwb3NpdGlvbikgPT4ge1xuICAgIGNvbnN0IHN1cHBvc2l0aW9uSlNPTiA9IHN1cHBvc2l0aW9uLnRvSlNPTigpO1xuXG4gICAgcmV0dXJuIHN1cHBvc2l0aW9uSlNPTjtcbiAgfSk7XG5cbiAgcmV0dXJuIHN1cHBvc2l0aW9uc0pTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBjb25zdHJ1Y3RvcnNUb0NvbnN0cnVjdG9yc0pTT04oY29uc3RydWN0b3JzKSB7XG4gIGNvbnN0IGNvbnN0cnVjdG9yc0pTT04gPSBjb25zdHJ1Y3RvcnMubWFwKChjb25zdHJ1Y3RvcikgPT4ge1xuICAgIGNvbnN0IGNvbnN0cnVjdG9ySlNPTiA9IGNvbnN0cnVjdG9yLnRvSlNPTigpO1xuXG4gICAgcmV0dXJuIGNvbnN0cnVjdG9ySlNPTjtcbiAgfSk7XG5cbiAgcmV0dXJuIGNvbnN0cnVjdG9yc0pTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBtZXRhdGhlb3JlbXNUb01ldGF0aGVvcmVtc0pTT04obWV0YXRoZW9yZW1zKSB7XG4gIGNvbnN0IG1ldGF0aGVvcmVtc0pTT04gPSBtZXRhdGhlb3JlbXMubWFwKChtZXRhdGhlb3JlbSkgPT4ge1xuICAgIGNvbnN0IG1ldGF0aGVvcmVtSlNPTiA9IG1ldGF0aGVvcmVtLnRvSlNPTigpO1xuXG4gICAgcmV0dXJuIG1ldGF0aGVvcmVtSlNPTjtcbiAgfSk7XG5cbiAgcmV0dXJuIG1ldGF0aGVvcmVtc0pTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiB0eXBlUHJlZml4ZXNUb1R5cGVQcmVmaXhlc0pTT04odHlwZVByZWZpeGVzKSB7XG4gIGNvbnN0IHR5cGVQcmVmaXhlc0pTT04gPSB0eXBlUHJlZml4ZXMubWFwKCh0eXBlUHJlZml4KSA9PiB7XG4gICAgY29uc3QgdHlwZVByZWZpeEpTT04gPSB0eXBlUHJlZml4LnRvSlNPTigpO1xuXG4gICAgcmV0dXJuIHR5cGVQcmVmaXhKU09OO1xuICB9KTtcblxuICByZXR1cm4gdHlwZVByZWZpeGVzSlNPTjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHN1YnN0aXR1dGlvbnNUb1N1YnN0aXR1dGlvbnNKU09OKHN1YnN0aXR1dGlvbnMpIHtcbiAgY29uc3Qgc3Vic3RpdHV0aW9uc0pTT04gPSBzdWJzdGl0dXRpb25zLm1hcCgoc3Vic3RpdHV0aW9uKSA9PiB7XG4gICAgY29uc3Qgc3Vic3RpdHV0aW9uSlNPTiA9IHN1YnN0aXR1dGlvbi50b0pTT04oKTtcblxuICAgIHJldHVybiBzdWJzdGl0dXRpb25KU09OO1xuICB9KTtcblxuICByZXR1cm4gc3Vic3RpdHV0aW9uc0pTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBtZXRhdmFyaWFibGVzVG9NZXRhdmFyaWFibGVzSlNPTihtZXRhdmFyaWFibGVzKSB7XG4gIGNvbnN0IG1ldGF2YXJpYWJsZXNKU09OID0gbWV0YXZhcmlhYmxlcy5tYXAoKG1ldGF2YXJpYWJsZSkgPT4ge1xuICAgIGNvbnN0IG1ldGF2YXJpYWJsZUpTT04gPSBtZXRhdmFyaWFibGUudG9KU09OKCk7XG5cbiAgICByZXR1cm4gbWV0YXZhcmlhYmxlSlNPTjtcbiAgfSk7XG5cbiAgcmV0dXJuIG1ldGF2YXJpYWJsZXNKU09OO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gbW5lbWljQ29udGV4dHNUb01uZW1pY0NvbnRleHRzSlNPTihtbmVtaWNDb250ZXh0cykge1xuICBjb25zdCBtbmVtaWNDb250ZXh0c0pTT04gPSBtbmVtaWNDb250ZXh0cy5tYXAoKG1uZW1pY0NvbnRleHQpID0+IHtcbiAgICBjb25zdCBtbmVtaWNDb250ZXh0SlNPTiA9IG1uZW1pY0NvbnRleHQudG9KU09OKCk7XG5cbiAgICByZXR1cm4gbW5lbWljQ29udGV4dEpTT047XG4gIH0pO1xuXG4gIHJldHVybiBtbmVtaWNDb250ZXh0c0pTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBwcm9wZXJ0eVJlbGF0aW9uc1RvUHJvcGVydHlSZWxhdGlvbnNKU09OKHByb3BlcnR5UmVsYXRpb25zKSB7XG4gIGNvbnN0IHByb3BlcnR5UmVsYXRpb25zSlNPTiA9IHByb3BlcnR5UmVsYXRpb25zLm1hcCgocHJvcGVydHlSZWxhdGlvbikgPT4ge1xuICAgIGNvbnN0IHByb3BlcnR5UmVsYXRpb25KU09OID0gcHJvcGVydHlSZWxhdGlvbi50b0pTT04oKTtcblxuICAgIHJldHVybiBwcm9wZXJ0eVJlbGF0aW9uSlNPTjtcbiAgfSk7XG5cbiAgcmV0dXJuIHByb3BlcnR5UmVsYXRpb25zSlNPTjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGRlY2xhcmVkVmFyaWFibGVzVG9EZWNsYXJlZFZhcmlhYmxlc0pTT04oZGVjbGFyZWRWYXJpYWJsZXMpIHtcbiAgY29uc3QgZGVjbGFyZWRWYXJpYWJsZXNKU09OID0gZGVjbGFyZWRWYXJpYWJsZXMubWFwKChkZWNsYXJlZFZhcmlhYmxlKSA9PiB7XG4gICAgY29uc3QgZGVjbGFyZWRWYXJpYWJsZUpTT04gPSBkZWNsYXJlZFZhcmlhYmxlLnRvSlNPTigpO1xuXG4gICAgcmV0dXJuIGRlY2xhcmVkVmFyaWFibGVKU09OO1xuICB9KTtcblxuICByZXR1cm4gZGVjbGFyZWRWYXJpYWJsZXNKU09OO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gbWV0YUxldmVsQXNzdW1wdGlvbnNUb01ldGFMZXZlbEFzc3VtcHRpb25zSlNPTihtZXRhTGV2ZWxBc3N1bXB0aW9ucykge1xuICBjb25zdCBtZXRhTGV2ZWxBc3N1bXB0aW9uc0pTT04gPSBtZXRhTGV2ZWxBc3N1bXB0aW9ucy5tYXAoKG1ldGFMZXZlbEFzc3VtcHRpb24pID0+IHtcbiAgICBjb25zdCBtZXRhTGV2ZWxBc3N1bXB0aW9uSlNPTiA9IG1ldGFMZXZlbEFzc3VtcHRpb24udG9KU09OKCk7XG5cbiAgICByZXR1cm4gbWV0YUxldmVsQXNzdW1wdGlvbkpTT047XG4gIH0pO1xuXG4gIHJldHVybiBtZXRhTGV2ZWxBc3N1bXB0aW9uc0pTT047XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBkZWNsYXJlZE1ldGF2YXJpYWJsZXNUb0RlY2xhcmVkTWV0YXZhcmlhYmxlc0pTT04oZGVjbGFyZWRNZXRhdmFyaWFibGVzKSB7XG4gIGNvbnN0IGRlY2xhcmVkTWV0YXZhcmlhYmxlc0pTT04gPSBkZWNsYXJlZE1ldGF2YXJpYWJsZXMubWFwKChkZWNsYXJlZE1ldGF2YXJpYWJsZSkgPT4ge1xuICAgIGNvbnN0IGRlY2xhcmVkTWV0YXZhcmlhYmxlSlNPTiA9IGRlY2xhcmVkTWV0YXZhcmlhYmxlLnRvSlNPTigpO1xuXG4gICAgcmV0dXJuIGRlY2xhcmVkTWV0YXZhcmlhYmxlSlNPTjtcbiAgfSk7XG5cbiAgcmV0dXJuIGRlY2xhcmVkTWV0YXZhcmlhYmxlc0pTT047XG59XG5cbmZ1bmN0aW9uIGZpbmRUeXBlQnlOYW1lKG5hbWUsIGNvbnRleHQpIHtcbiAgY29uc3QgdHlwZU5hbWUgPSBuYW1lLCAgLy8vXG4gICAgICAgIHR5cGUgPSBjb250ZXh0LmZpbmRUeXBlQnlUeXBlTmFtZSh0eXBlTmFtZSk7XG5cbiAgcmV0dXJuIHR5cGU7XG59XG5cbmZ1bmN0aW9uIGZpbmRNZXRhVHlwZUJ5TmFtZShuYW1lLCBjb250ZXh0KSB7XG4gIGNvbnN0IG1ldGFUeXBlTmFtZSA9IG5hbWUsICAvLy9cbiAgICAgICAgbWV0YVR5cGUgPSBjb250ZXh0LmZpbmRNZXRhVHlwZUJ5TWV0YVR5cGVOYW1lKG1ldGFUeXBlTmFtZSk7XG5cbiAgcmV0dXJuIG1ldGFUeXBlO1xufVxuIl0sIm5hbWVzIjpbImFyaWFibGVUb1ZhcmlhYmxlSlNPTiIsImFzc2VydGlvbnNGcm9tSlNPTiIsImFzc2VydGlvbnNUb0Fzc2VydGlvbnNKU09OIiwiYXNzdW1wdGlvbnNGcm9tSlNPTiIsImFzc3VtcHRpb25zVG9Bc3N1bXB0aW9uc0pTT04iLCJheGlvbXNGcm9tSlNPTiIsImF4aW9tc1RvQXhpb21zSlNPTiIsImNvbWJpbmF0b3JzRnJvbUpTT04iLCJjb21iaW5hdG9yc1RvQ29tYmluYXRvcnNKU09OIiwiY29uY2x1c2lvbkZyb21KU09OIiwiY29uY2x1c2lvblRvQ29uY2x1c2lvbkpTT04iLCJjb25qZWN0dXJlc0Zyb21KU09OIiwiY29uamVjdHVyZXNUb0NvbmplY3R1cmVzSlNPTiIsImNvbnN0cnVjdG9yc0Zyb21KU09OIiwiY29uc3RydWN0b3JzVG9Db25zdHJ1Y3RvcnNKU09OIiwiZGVjbGFyZWRNZXRhdmFyaWFibGVUb0RFY2xhcmVkTWV0YXZhcmlhYmxlSlNPTiIsImRlY2xhcmVkTWV0YXZhcmlhYmxlc0Zyb21KU09OIiwiZGVjbGFyZWRNZXRhdmFyaWFibGVzVG9EZWNsYXJlZE1ldGF2YXJpYWJsZXNKU09OIiwiZGVjbGFyZWRWYXJpYWJsZXNGcm9tSlNPTiIsImRlY2xhcmVkVmFyaWFibGVzVG9EZWNsYXJlZFZhcmlhYmxlc0pTT04iLCJkZWR1Y3Rpb25Gcm9tSlNPTiIsImRlZHVjdGlvblRvRGVkdWN0aW9uSlNPTiIsImVxdWFsaXRpZXNGcm9tSlNPTiIsImVxdWFsaXRpZXNUb0VxdWFsaXRpZXNKU09OIiwiZnJhbWVGcm9tSlNPTiIsImZyYW1lVG9GcmFtZUpTT04iLCJmcmFtZXNGcm9tSlNPTiIsImZyYW1lc1RvRnJhbWVzSlNPTiIsImh5cG90aGVzZXNGcm9tSlNPTiIsImh5cG90aGVzZXNUb0h5cG90aGVzZXNKU09OIiwiaWRlbnRpZmllckZyb21KU09OIiwiaWRlbnRpZmllclRvSWRlbnRpZmllckpTT04iLCJqdWRnZW1lbnRzRnJvbUpTT04iLCJqdWRnZW1lbnRzVG9KdWRnZW1lbnRzSlNPTiIsImxhYmVsRnJvbUpTT04iLCJsYWJlbFRvTGFiZWxKU09OIiwibGFiZWxzRnJvbUpTT04iLCJsYWJlbHNUb0xhYmVsc0pTT04iLCJtZXRhTGV2ZWxBc3N1bXB0aW9uc0Zyb21KU09OIiwibWV0YUxldmVsQXNzdW1wdGlvbnNUb01ldGFMZXZlbEFzc3VtcHRpb25zSlNPTiIsIm1ldGFUeXBlRnJvbUpTT04iLCJtZXRhVHlwZVRvTWV0YVR5cGVKU09OIiwibWV0YXRoZW9yZW1zRnJvbUpTT04iLCJtZXRhdGhlb3JlbXNUb01ldGF0aGVvcmVtc0pTT04iLCJtZXRhdmFyaWFibGVGcm9tSlNPTiIsIm1ldGF2YXJpYWJsZVRvTWV0YXZhcmlhYmxlSlNPTiIsIm1ldGF2YXJpYWJsZXNGcm9tSlNPTiIsIm1ldGF2YXJpYWJsZXNUb01ldGF2YXJpYWJsZXNKU09OIiwibW5lbWljQ29udGV4dEZyb21KU09OIiwibW5lbWljQ29udGV4dFRvTW5lbWljQ29udGV4dEpTT04iLCJtbmVtaWNDb250ZXh0c0Zyb21KU09OIiwibW5lbWljQ29udGV4dHNUb01uZW1pY0NvbnRleHRzSlNPTiIsIm5hbWVGcm9tSlNPTiIsIm5hbWVUb05hbWVKU09OIiwibmVnYXRlZEZyb21KU09OIiwibmVnYXRlZFRvTmVnYXRlZEpTT04iLCJwYXJhbWV0ZXJzRnJvbUpTT04iLCJwYXJhbWV0ZXJzVG9QYXJhbWV0ZXJzSlNPTiIsInByZWZpeE5hbWVGcm9tSlNPTiIsInByZWZpeG5hbWVUb1ByZXZpeE5hbWVKU09OIiwicHJlbWlzZXNGcm9tSlNPTiIsInByZW1pc2VzVG9QcmVtaXNlc0pTT04iLCJwcm9jZWR1cmVDYWxsRnJvbUpTT04iLCJwcm9jZWR1cmVDYWxsVG9Qcm9jZWR1cmVDYWxsSlNPTiIsInByb2NlZHVyZVJlZmVyZW5jZUZyb21KU09OIiwicHJvY2VkdXJlUmVmZXJlbmNlVG9Qcm9jZWR1cmVSZWZlcmVuY2VKU09OIiwicHJvcGVydGllc0Zyb21KU09OIiwicHJvcGVydGllc1RvUHJvcGVydGllc0pTT04iLCJwcm9wZXJ0eVJlbGF0aW9uc0Zyb21KU09OIiwicHJvcGVydHlSZWxhdGlvbnNUb1Byb3BlcnR5UmVsYXRpb25zSlNPTiIsInByb3Zpc2lvbmFsRnJvbUpTT04iLCJwcm92aXNpb25hbFRvUHJvdmlzaW9uYWxKU09OIiwicmVmZXJlbmNlRnJvbUpTT04iLCJyZWZlcmVuY2VUb1JlZmVyZW5jZUpTT04iLCJyZWZlcmVuY2VzRnJvbUpTT04iLCJyZWZlcmVuY2VzVG9SZWZlcmVuY2VzSlNPTiIsInJ1bGVzRnJvbUpTT04iLCJydWxlc1RvUnVsZXNKU09OIiwic2lnbmF0dXJlRnJvbUpTT04iLCJzaWduYXR1cmVUb1NpZ25hdHVyZUpTT04iLCJzaWduYXR1cmVzRnJvbUpTT04iLCJzaWduYXR1cmVzVG9TaWduYXR1cmVzSlNPTiIsInN0YXRlbWVudEZyb21KU09OIiwic3RhdGVtZW50VG9TdGF0ZW1lbnRKU09OIiwic3RhdGVtZW50c0Zyb21KU09OIiwic3RhdGVtZW50c1RvU3RhdGVtZW50c0pTT04iLCJzdWJzdGl0dXRpb25Gcm9tU3Vic3RpdHV0aW9uSlNPTiIsInN1YnN0aXR1dGlvbnNGcm9tSlNPTiIsInN1YnN0aXR1dGlvbnNUb1N1YnN0aXR1dGlvbnNKU09OIiwic3VwZXJUeXBlc0Zyb21KU09OIiwic3VwZXJUeXBlc1RvU3VwZXJUeXBlc0pTT04iLCJzdXBwb3NpdGlvbnNGcm9tSlNPTiIsInN1cHBvc2l0aW9uc1RvU3VwcG9zaXRpb25zSlNPTiIsInRlcm1Gcm9tSlNPTiIsInRlcm1Ub1Rlcm1KU09OIiwidGVybXNGcm9tSlNPTiIsInRlcm1zVG9UZXJtc0pTT04iLCJ0aGVvcmVtc0Zyb21KU09OIiwidGhlb3JlbXNUb1RoZW9yZW1zSlNPTiIsInR5cGVGcm9tSlNPTiIsInR5cGVQcmVmaXhlc0Zyb21KU09OIiwidHlwZVByZWZpeGVzVG9UeXBlUHJlZml4ZXNKU09OIiwidHlwZVRvVHlwZUpTT04iLCJ0eXBlc0Zyb21KU09OIiwidHlwZXNUb1R5cGVzSlNPTiIsInZhcmlhYmxlc0Zyb21KU09OIiwidmFyaWFibGVzVG9WYXJpYWJsZXNKU09OIiwianNvbiIsImNvbnRleHQiLCJuYW1lIiwibmFtZUpTT04iLCJ0ZXJtIiwidGVybUpTT04iLCJUZXJtIiwiZWxlbWVudHMiLCJmcm9tSlNPTiIsInR5cGUiLCJzdHJpbmciLCJmaW5kVHlwZUJ5TmFtZSIsImxhYmVsIiwiTGFiZWwiLCJsYWJlbEpTT04iLCJmcmFtZSIsImZyYW1lSlNPTiIsIkZyYW1lIiwibmVnYXRlZCIsIm1ldGFUeXBlIiwiZmluZE1ldGFUeXBlQnlOYW1lIiwic3RhdGVtZW50IiwiU3RhdGVtZW50Iiwic3RhdGVtZW50SlNPTiIsImRlZHVjdGlvbiIsIkRlZHVjdGlvbiIsImRlZHVjdGlvbkpTT04iLCJzaWduYXR1cmUiLCJTaWduYXR1cmUiLCJzaWduYXR1cmVKU09OIiwicmVmZXJlbmNlIiwiUmVmZXJlbmNlIiwicmVmZXJlbmNlSlNPTiIsImlkZW50aWZpZXIiLCJpZGVudGlmaWVySlNPTiIsImNvbmNsdXNpb24iLCJDb25jbHVzaW9uIiwiY29uY2x1c2lvbkpTT04iLCJwcm92aXNpb25hbCIsIm1ldGF2YXJpYWJsZSIsIk1ldGF2YXJpYWJsZSIsIm1ldGF2YXJpYWJsZUpTT04iLCJyZWxlYXNlQ29udGV4dCIsIm1uZW1pY0NvbnRleHQiLCJNbmVtaWNDb250ZXh0IiwicHJvY2VkdXJlQ2FsbCIsIlByb2NlZHVyZUNhbGwiLCJwcm9jZWR1cmVDYWxsSlNPTiIsInByb2NlZHVyZVJlZmVyZW5jZSIsIlByb2NlZHVyZVJlZmVyZW5jZSIsInByb2NlZHVyZVJlZmVyZW5jZUpTT04iLCJ0eXBlcyIsInR5cGVzSlNPTiIsIlR5cGUiLCJmb3JFYWNoIiwidHlwZUpTT04iLCJwdXNoIiwidGVybXMiLCJ0ZXJtc0pTT04iLCJtYXAiLCJydWxlcyIsIlJ1bGUiLCJydWxlc0pTT04iLCJydWxlSlNPTiIsInJ1bGUiLCJmcmFtZXMiLCJmcmFtZXNKU09OIiwibGFiZWxzIiwibGFiZWxzSlNPTiIsImF4aW9tcyIsIkF4aW9tIiwiYXhpb21zSlNPTiIsImF4aW9tSlNPTiIsImF4aW9tIiwicHJlbWlzZXMiLCJQcmVtaXNlIiwicHJlbWlzZXNKU09OIiwicHJlbWlzZUpTT04iLCJwcmVtaXNlIiwidGhlb3JlbXMiLCJUaGVvcmVtIiwidGhlb3JlbXNKU09OIiwidGhlb3JlbUpTT04iLCJ0aGVvcmVtIiwidmFyaWFibGVzIiwiVmFyaWFibGUiLCJ2YXJpYWJsZXNKU09OIiwidmFyaWFibGVKU09OIiwidmFyaWFibGUiLCJwcm9wZXJ0aWVzIiwiUHJvcGVydHkiLCJwcm9wZXJ0aWVzSlNPTiIsInByb3BlcnR5SlNPTiIsInByb3BlcnR5IiwiZXF1YWxpdGllcyIsIkVxdWFsaXR5IiwiZXF1YWxpdGllc0pTT04iLCJlcXVhbGl0eUpTT04iLCJlcXVhbGl0eSIsInByZWZpeE5hbWUiLCJzdXBlclR5cGVzIiwic3VwZXJUeXBlc0pTT04iLCJzdXBlclR5cGVKU09OIiwic3VwZXJUeXBlIiwiaHlwb3RoZXNlcyIsIkh5cG90aGVzaXMiLCJoeXBvdGhlc2VzSlNPTiIsImh5cG90aGVzaXNKU09OIiwiaHlwb3RoZXNpcyIsInBhcmFtZXRlcnMiLCJQYXJhbWV0ZXIiLCJwYXJhbWV0ZXJzSlNPTiIsInBhcmFtZXRlckpTT04iLCJwYXJhbWV0ZXIiLCJqdWRnZW1lbnRzIiwiSnVkZ2VtZW50IiwianVkZ2VtZW50c0pTT04iLCJqdWRnZW1lbnRKU09OIiwianVkZ2VtZW50Iiwic3RhdGVtZW50cyIsInN0YXRlbWVudHNKU09OIiwiYXNzZXJ0aW9ucyIsIlR5cGVBc3NlcnRpb24iLCJEZWZpbmVkQXNzZXJ0aW9uIiwiUHJvcGVydHlBc3NlcnRpb24iLCJTdWJwcm9vZkFzc2VydGlvbiIsIlNpZ25hdHVyZUFzc2VydGlvbiIsIkNvbnRhaW5lZEFzc2VydGlvbiIsImFzc2VydGlvbnNKU09OIiwiYXNzZXJ0aW9uSlNPTiIsImFzc2VydGlvbiIsInJlZmVyZW5jZXMiLCJyZWZlcmVuY2VzSlNPTiIsInNpZ25hdHVyZXMiLCJzaWduYXR1cmVzSlNPTiIsImNvbmplY3R1cmVzIiwiQ29uamVjdHVyZSIsImNvbmplY3R1cmVzSlNPTiIsImNvbmplY3R1cmVKU09OIiwiY29uamVjdHVyZSIsImNvbWJpbmF0b3JzIiwiQ29tYmluYXRvciIsImNvbWJpbmF0b3JzSlNPTiIsImNvbWJpbmF0b3JKU09OIiwiY29tYmluYXRvciIsImFzc3VtcHRpb25zIiwiQXNzdW1wdGlvbiIsImFzc3VtcHRpb25zSlNPTiIsImFzc3VtcHRpb25KU09OIiwiYXNzdW1wdGlvbiIsInR5cGVQcmVmaXhlcyIsIlR5cGVQcmVmaXgiLCJ0eXBlUHJlZml4ZXNKU09OIiwidHlwZVByZWZpeEpTT04iLCJ0eXBlUHJlZml4IiwiY29uc3RydWN0b3JzIiwiQ29uc3RydWN0b3IiLCJjb25zdHJ1Y3RvcnNKU09OIiwiY29uc3RydWN0b3JKU09OIiwiY29uc3RydWN0b3IiLCJtZXRhdGhlb3JlbXMiLCJNZXRhdGhlb3JlbSIsIm1ldGF0aGVvcmVtc0pTT04iLCJtZXRhdGhlb3JlbUpTT04iLCJtZXRhdGhlb3JlbSIsInN1cHBvc2l0aW9ucyIsIlN1cHBvc2l0aW9uIiwic3VwcG9zaXRpb25zSlNPTiIsInN1cHBvc2l0aW9uSlNPTiIsInN1cHBvc2l0aW9uIiwic3Vic3RpdHV0aW9ucyIsInN1YnN0aXR1dGlvbnNKU09OIiwic3Vic3RpdHV0aW9uSlNPTiIsInN1YnN0aXR1dGlvbiIsIm1ldGF2YXJpYWJsZXMiLCJtZXRhdmFyaWFibGVzSlNPTiIsImNvbnRleHRzIiwibW5lbWljQ29udGV4dHMiLCJkZWNsYXJlZFZhcmlhYmxlcyIsImRlY2xhcmVkVmFyaWFibGVzSlNPTiIsImRlY2xhcmVkVmFyaWFibGVKU09OIiwiZGVjbGFyZWRWYXJpYWJsZSIsInByb3BlcnR5UmVsYXRpb25zIiwiUHJvcGVydHlSZWxhdGlvbiIsInByb3BlcnR5UmVsYXRpb25zSlNPTiIsInByb3BlcnR5UmVsYXRpb25KU09OIiwicHJvcGVydHlSZWxhdGlvbiIsIm1ldGFMZXZlbEFzc3VtcHRpb25zIiwiTWV0YUxldmVsQXNzdW1wdGlvbiIsIm1ldGFMZXZlbEFzc3VtcHRpb25zSlNPTiIsIm1ldGFMZXZlbEFzc3VtcHRpb25KU09OIiwibWV0YUxldmVsQXNzdW1wdGlvbiIsImRlY2xhcmVkTWV0YXZhcmlhYmxlcyIsImRlY2xhcmVkTWV0YXZhcmlhYmxlc0pTT04iLCJkZWNsYXJlZE1ldGF2YXJpYWJsZUpTT04iLCJkZWNsYXJlZE1ldGF2YXJpYWJsZSIsInRvSlNPTiIsImFicmlkZ2VkIiwibmVnYXRlZEpTT04iLCJhcmlhYmxlIiwiYXJpYWJsZUpTT04iLCJtZXRhVHlwZUpTT04iLCJwcm92aXNpb25hbEpTT04iLCJtbmVtaWNDb250ZXh0SlNPTiIsIlRlcm1TdWJzdGl0dXRpb24iLCJGcmFtZVN1YnN0aXR1dGlvbiIsIlN0YXRlbWVudFN1YnN0aXR1dGlvbiIsIlJlZmVyZW5jZVN1YnN0aXR1dGlvbiIsInByZWZpeG5hbWUiLCJwcmVmaXhOYW1lSlNPTiIsIm1uZW1pY0NvbnRleHRzSlNPTiIsInR5cGVOYW1lIiwiZmluZFR5cGVCeVR5cGVOYW1lIiwibWV0YVR5cGVOYW1lIiwiZmluZE1ldGFUeXBlQnlNZXRhVHlwZU5hbWUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQXF6QmdCQTtlQUFBQTs7UUF0VUFDO2VBQUFBOztRQTZsQkFDO2VBQUFBOztRQXhnQkFDO2VBQUFBOztRQWdqQkFDO2VBQUFBOztRQTN6QkFDO2VBQUFBOztRQW9wQkFDO2VBQUFBOztRQXpaQUM7ZUFBQUE7O1FBc2pCQUM7ZUFBQUE7O1FBeDhCQUM7ZUFBQUE7O1FBbXNCQUM7ZUFBQUE7O1FBalVBQztlQUFBQTs7UUE0akJBQztlQUFBQTs7UUE1ZkFDO2VBQUFBOztRQW9pQkFDO2VBQUFBOztRQTdQQUM7ZUFBQUE7O1FBckpBQztlQUFBQTs7UUE0ZUFDO2VBQUFBOztRQTdoQkFDO2VBQUFBOztRQXlnQkFDO2VBQUFBOztRQS9sQ0FDO2VBQUFBOztRQWt1QkFDO2VBQUFBOztRQXhjQUM7ZUFBQUE7O1FBcXFCQUM7ZUFBQUE7O1FBbi9CQUM7ZUFBQUE7O1FBc3VCQUM7ZUFBQUE7O1FBeGdCQUM7ZUFBQUE7O1FBMHFCQUM7ZUFBQUE7O1FBcGhCQUM7ZUFBQUE7O1FBc2tCQUM7ZUFBQUE7O1FBNzFCQUM7ZUFBQUE7O1FBdXNCQUM7ZUFBQUE7O1FBaFpBQztlQUFBQTs7UUFxbEJBQztlQUFBQTs7UUF0L0JBQztlQUFBQTs7UUEydkJBQztlQUFBQTs7UUFoZ0JBQztlQUFBQTs7UUFncEJBQztlQUFBQTs7UUFuTkFDO2VBQUFBOztRQWtmQUM7ZUFBQUE7O1FBdm9DQUM7ZUFBQUE7O1FBMHVCQUM7ZUFBQUE7O1FBdk1BQztlQUFBQTs7UUE4aEJBQztlQUFBQTs7UUE3OUJBQztlQUFBQTs7UUE0ckJBQztlQUFBQTs7UUE5TUFDO2VBQUFBOztRQTZnQkFDO2VBQUFBOztRQTkrQkFDO2VBQUFBOztRQTZyQkFDO2VBQUFBOztRQTVNQUM7ZUFBQUE7O1FBdWdCQUM7ZUFBQUE7O1FBcnJDQUM7ZUFBQUE7O1FBa3dCQUM7ZUFBQUE7O1FBNXJCQUM7ZUFBQUE7O1FBb3VCQUM7ZUFBQUE7O1FBaFhBQztlQUFBQTs7UUFpbEJBQztlQUFBQTs7UUF2bkJBQztlQUFBQTs7UUFzbUJBQztlQUFBQTs7UUF0ckJBQztlQUFBQTs7UUE4b0JBQztlQUFBQTs7UUF2d0JBQztlQUFBQTs7UUF1cUJBQztlQUFBQTs7UUF4cEJBQztlQUFBQTs7UUFzcUJBQztlQUFBQTs7UUE1Z0JBQztlQUFBQTs7UUFpcUJBQztlQUFBQTs7UUFwVUFDO2VBQUFBOztRQThlQUM7ZUFBQUE7O1FBcmhDQUM7ZUFBQUE7O1FBNHJCQUM7ZUFBQUE7O1FBaHVCQUM7ZUFBQUE7O1FBd3JCQUM7ZUFBQUE7O1FBL1RBQztlQUFBQTs7UUFrbEJBQztlQUFBQTs7UUE3MEJBQztlQUFBQTs7UUFzcUJBQztlQUFBQTs7UUFuekJBQztlQUFBQTs7UUEydEJBQztlQUFBQTs7UUFuVUFDO2VBQUFBOztRQThpQkFDO2VBQUFBOztRQWwrQkFDO2VBQUFBOztRQXl1QkFDO2VBQUFBOztRQTFXQUM7ZUFBQUE7O1FBeWxCQUM7ZUFBQUE7O1FBdktBQztlQUFBQTs7UUE3UEFDO2VBQUFBOztRQWtoQkFDO2VBQUFBOztRQXZ3QkFDO2VBQUFBOztRQXNtQkFDO2VBQUFBOztRQWpZQUM7ZUFBQUE7O1FBMGZBQztlQUFBQTs7UUEvbUNBQztlQUFBQTs7UUE4dkJBQztlQUFBQTs7UUFwaEJBQztlQUFBQTs7UUFrcUJBQztlQUFBQTs7UUFsa0JBQztlQUFBQTs7UUF3b0JBQztlQUFBQTs7UUFsOEJBQztlQUFBQTs7UUFxakJBQztlQUFBQTs7UUF3a0JBQztlQUFBQTs7UUF2WUFDO2VBQUFBOztRQXppQkFDO2VBQUFBOztRQXlyQkFDO2VBQUFBOztRQTVqQkFDO2VBQUFBOztRQWtvQkFDO2VBQUFBOzs7aUVBeitCSzsrREFDSzs7Ozs7O0FBRW5CLFNBQVN0RCxhQUFhdUQsSUFBSSxFQUFFQyxPQUFPO0lBQ3hDLElBQUksRUFBRUMsSUFBSSxFQUFFLEdBQUdGO0lBRWYsTUFBTUcsV0FBV0QsTUFBTyxHQUFHO0lBRTNCQSxPQUFPQyxVQUFXLEdBQUc7SUFFckIsT0FBT0Q7QUFDVDtBQUVPLFNBQVNoQixhQUFhYyxJQUFJLEVBQUVDLE9BQU87SUFDeEMsSUFBSSxFQUFFRyxJQUFJLEVBQUUsR0FBR0o7SUFFZixJQUFJSSxTQUFTLE1BQU07UUFDakIsTUFBTUMsV0FBV0QsTUFBTyxHQUFHO1FBRTNCSixPQUFPSyxVQUFXLEdBQUc7UUFFckIsTUFBTSxFQUFFQyxJQUFJLEVBQUUsR0FBR0MsaUJBQVE7UUFFekJILE9BQU9FLEtBQUtFLFFBQVEsQ0FBQ1IsTUFBTUM7SUFDN0I7SUFFQSxPQUFPRztBQUNUO0FBRU8sU0FBU1osYUFBYVEsSUFBSSxFQUFFQyxPQUFPO0lBQ3hDLElBQUksRUFBRVEsSUFBSSxFQUFFLEdBQUdUO0lBRWYsSUFBSVMsU0FBUyxNQUFNO1FBQ2pCVCxPQUFPUyxNQUFPLEdBQUc7UUFFakIsTUFBTSxFQUFFQyxNQUFNLEVBQUUsR0FBR1YsTUFDYkUsT0FBT1EsUUFBUyxHQUFHO1FBRXpCRCxPQUFPRSxlQUFlVCxNQUFNRDtJQUM5QjtJQUVBLE9BQU9RO0FBQ1Q7QUFFTyxTQUFTbEYsY0FBY3lFLElBQUksRUFBRUMsT0FBTztJQUN6QyxJQUFJLEVBQUVXLEtBQUssRUFBRSxHQUFHWjtJQUVoQixNQUFNLEVBQUVhLEtBQUssRUFBRSxHQUFHTixpQkFBUSxFQUN4Qk8sWUFBWUYsT0FBUSxHQUFHO0lBRXpCWixPQUFPYyxXQUFXLEdBQUc7SUFFckJGLFFBQVFDLE1BQU1MLFFBQVEsQ0FBQ1IsTUFBTUM7SUFFN0IsT0FBT1c7QUFDVDtBQUVPLFNBQVMvRixjQUFjbUYsSUFBSSxFQUFFQyxPQUFPO0lBQ3pDLElBQUksRUFBRWMsS0FBSyxFQUFFLEdBQUdmO0lBRWhCLElBQUllLFVBQVUsTUFBTTtRQUNsQixNQUFNQyxZQUFZRCxPQUFRLEdBQUc7UUFFN0JmLE9BQU9nQixXQUFZLEdBQUc7UUFFdEIsTUFBTSxFQUFFQyxLQUFLLEVBQUUsR0FBR1YsaUJBQVE7UUFFMUJRLFFBQVFFLE1BQU1ULFFBQVEsQ0FBQ1IsTUFBTUM7SUFDL0I7SUFFQSxPQUFPYztBQUNUO0FBRU8sU0FBU3BFLGdCQUFnQnFELElBQUksRUFBRUMsT0FBTztJQUMzQyxNQUFNLEVBQUVpQixPQUFPLEVBQUUsR0FBR2xCO0lBRXBCLE9BQU9rQjtBQUNUO0FBRU8sU0FBU3JGLGlCQUFpQm1FLElBQUksRUFBRUMsT0FBTztJQUM1QyxJQUFJLEVBQUVrQixRQUFRLEVBQUUsR0FBR25CO0lBRW5CLElBQUltQixhQUFhLE1BQU07UUFDckJuQixPQUFPbUIsVUFBVyxHQUFHO1FBRXJCLE1BQU0sRUFBRVQsTUFBTSxFQUFFLEdBQUdWLE1BQ2JFLE9BQU9RLFFBQVMsR0FBRztRQUV6QlMsV0FBV0MsbUJBQW1CbEIsTUFBTUQ7SUFDdEM7SUFFQSxPQUFPa0I7QUFDVDtBQUVPLFNBQVM1QyxrQkFBa0J5QixJQUFJLEVBQUVDLE9BQU87SUFDN0MsSUFBSSxFQUFFb0IsWUFBWSxJQUFJLEVBQUUsR0FBR3JCO0lBRTNCLElBQUlxQixjQUFjLE1BQU07UUFDdEIsTUFBTSxFQUFFQyxTQUFTLEVBQUUsR0FBR2YsaUJBQVEsRUFDeEJnQixnQkFBZ0JGLFdBQVksR0FBRztRQUVyQ3JCLE9BQU91QixlQUFlLEdBQUc7UUFFekJGLFlBQVlDLFVBQVVkLFFBQVEsQ0FBQ1IsTUFBTUM7SUFDdkM7SUFFQSxPQUFPb0I7QUFDVDtBQUVPLFNBQVM1RyxrQkFBa0J1RixJQUFJLEVBQUVDLE9BQU87SUFDN0MsSUFBSSxFQUFFdUIsU0FBUyxFQUFFLEdBQUd4QjtJQUVwQixNQUFNLEVBQUV5QixTQUFTLEVBQUUsR0FBR2xCLGlCQUFRLEVBQ3hCbUIsZ0JBQWdCRixXQUFZLEdBQUc7SUFFckN4QixPQUFPMEIsZUFBZ0IsR0FBRztJQUUxQkYsWUFBWUMsVUFBVWpCLFFBQVEsQ0FBQ1IsTUFBTUM7SUFFckMsT0FBT3VCO0FBQ1Q7QUFFTyxTQUFTckQsa0JBQWtCNkIsSUFBSSxFQUFFQyxPQUFPO0lBQzdDLElBQUksRUFBRTBCLFlBQVksSUFBSSxFQUFFLEdBQUczQjtJQUUzQixJQUFJMkIsY0FBYyxNQUFNO1FBQ3RCLE1BQU0sRUFBRUMsU0FBUyxFQUFFLEdBQUdyQixpQkFBUSxFQUN4QnNCLGdCQUFnQkYsV0FBWSxHQUFHO1FBRXJDM0IsT0FBTzZCLGVBQWUsR0FBRztRQUV6QkYsWUFBWUMsVUFBVXBCLFFBQVEsQ0FBQ1IsTUFBTUM7SUFDdkM7SUFFQSxPQUFPMEI7QUFDVDtBQUVPLFNBQVM5RCxrQkFBa0JtQyxJQUFJLEVBQUVDLE9BQU87SUFDN0MsSUFBSSxFQUFFNkIsU0FBUyxFQUFFLEdBQUc5QjtJQUVwQixNQUFNLEVBQUUrQixTQUFTLEVBQUUsR0FBR3hCLGlCQUFRLEVBQ3hCeUIsZ0JBQWdCRixXQUFZLEdBQUc7SUFFckM5QixPQUFPZ0MsZUFBZSxHQUFHO0lBRXpCRixZQUFZQyxVQUFVdkIsUUFBUSxDQUFDUixNQUFNQztJQUVyQyxPQUFPNkI7QUFDVDtBQUVPLFNBQVMzRyxtQkFBbUI2RSxJQUFJLEVBQUVDLE9BQU87SUFDOUMsSUFBSSxFQUFFZ0MsVUFBVSxFQUFFLEdBQUdqQztJQUVyQixNQUFNa0MsaUJBQWlCRCxZQUFhLEdBQUc7SUFFdkNBLGFBQWFDLGdCQUFpQixHQUFHO0lBRWpDLE9BQU9EO0FBQ1Q7QUFFTyxTQUFTbkksbUJBQW1Ca0csSUFBSSxFQUFFQyxPQUFPO0lBQzlDLElBQUksRUFBRWtDLFVBQVUsRUFBRSxHQUFHbkM7SUFFckIsTUFBTSxFQUFFb0MsVUFBVSxFQUFFLEdBQUc3QixpQkFBUSxFQUN6QjhCLGlCQUFpQkYsWUFBYSxHQUFHO0lBRXZDbkMsT0FBT3FDLGdCQUFpQixHQUFHO0lBRTNCRixhQUFhQyxXQUFXNUIsUUFBUSxDQUFDUixNQUFNQztJQUV2QyxPQUFPa0M7QUFDVDtBQUVPLFNBQVN4RSxvQkFBb0JxQyxJQUFJLEVBQUVDLE9BQU87SUFDL0MsTUFBTSxFQUFFcUMsV0FBVyxFQUFFLEdBQUd0QztJQUV4QixPQUFPc0M7QUFDVDtBQUVPLFNBQVNyRyxxQkFBcUIrRCxJQUFJLEVBQUVDLE9BQU87SUFDaEQsSUFBSSxFQUFFc0MsWUFBWSxFQUFFLEdBQUd2QztJQUV2QixNQUFNLEVBQUV3QyxZQUFZLEVBQUUsR0FBR2pDLGlCQUFRLEVBQzNCa0MsbUJBQW1CRixjQUFlLEdBQUc7SUFFM0N2QyxPQUFPeUMsa0JBQWtCLEdBQUc7SUFFNUJGLGVBQWVDLGFBQWFoQyxRQUFRLENBQUNSLE1BQU1DO0lBRTNDLE9BQU9zQztBQUNUO0FBRU8sU0FBU2xHLHNCQUFzQjJELElBQUksRUFBRUMsT0FBTztJQUNqRCxNQUFNeUMsaUJBQWlCekMsU0FBUyxHQUFHO0lBRWxDLENBQUEsRUFBRUEsT0FBTyxFQUFFLEdBQUdELElBQUc7SUFFbEJBLE9BQU9DLFNBQVMsR0FBRztJQUVuQkEsVUFBVXlDLGdCQUFnQixHQUFHO0lBRTdCLE1BQU1DLGdCQUFnQkMsZUFBYSxDQUFDcEMsUUFBUSxDQUFDUixNQUFNQztJQUVuRCxPQUFPMEM7QUFDVDtBQUVPLFNBQVN4RixzQkFBc0I2QyxJQUFJLEVBQUVDLE9BQU87SUFDakQsSUFBSSxFQUFFNEMsZ0JBQWdCLElBQUksRUFBRSxHQUFHN0M7SUFFL0IsSUFBSTZDLGtCQUFrQixNQUFNO1FBQzFCLE1BQU0sRUFBRUMsYUFBYSxFQUFFLEdBQUd2QyxpQkFBUSxFQUM1QndDLG9CQUFvQkYsZUFBZ0IsR0FBRztRQUU3QzdDLE9BQU8rQyxtQkFBbUIsR0FBRztRQUU3QkYsZ0JBQWdCQyxjQUFjdEMsUUFBUSxDQUFDUixNQUFNQztJQUMvQztJQUVBLE9BQU80QztBQUNUO0FBRU8sU0FBU3hGLDJCQUEyQjJDLElBQUksRUFBRUMsT0FBTztJQUN0RCxJQUFJLEVBQUUrQyxrQkFBa0IsRUFBRSxHQUFHaEQ7SUFFN0IsTUFBTSxFQUFFaUQsa0JBQWtCLEVBQUUsR0FBRzFDLGlCQUFRLEVBQ2pDMkMseUJBQXlCRixvQkFBcUIsR0FBRztJQUV2RGhELE9BQU9rRCx3QkFBeUIsR0FBRztJQUVuQ0YscUJBQXFCQyxtQkFBbUJ6QyxRQUFRLENBQUNSLE1BQU1DO0lBRXZELE9BQU8rQztBQUNUO0FBRU8sU0FBU3BELGNBQWNJLElBQUksRUFBRW1ELEtBQUssRUFBRWxELE9BQU87SUFDaEQsTUFBTSxFQUFFa0QsT0FBT0MsU0FBUyxFQUFFLEdBQUdwRDtJQUU3QixNQUFNLEVBQUVxRCxJQUFJLEVBQUUsR0FBRzlDLGlCQUFRO0lBRXpCNkMsVUFBVUUsT0FBTyxDQUFDLENBQUNDO1FBQ2pCLE1BQU12RCxPQUFPdUQsVUFDUDlDLE9BQU80QyxLQUFLN0MsUUFBUSxDQUFDUixNQUFNQztRQUVqQ2tELE1BQU1LLElBQUksQ0FBQy9DO0lBQ2I7QUFDRjtBQUVPLFNBQVNyQixjQUFjWSxJQUFJLEVBQUVDLE9BQU87SUFDekMsSUFBSSxFQUFFd0QsS0FBSyxFQUFFLEdBQUd6RDtJQUVoQixNQUFNLEVBQUVNLElBQUksRUFBRSxHQUFHQyxpQkFBUSxFQUNuQm1ELFlBQVlELE9BQU8sR0FBRztJQUU1QkEsUUFBUUMsVUFBVUMsR0FBRyxDQUFDLENBQUN0RDtRQUNyQixNQUFNTCxPQUFPSyxVQUNQRCxPQUFPRSxLQUFLRSxRQUFRLENBQUNSLE1BQU1DO1FBRWpDLE9BQU9HO0lBQ1Q7SUFFQSxPQUFPcUQ7QUFDVDtBQUVPLFNBQVN4RixjQUFjK0IsSUFBSSxFQUFFQyxPQUFPO0lBQ3pDLElBQUksRUFBRTJELEtBQUssRUFBRSxHQUFHNUQ7SUFFaEIsTUFBTSxFQUFFNkQsSUFBSSxFQUFFLEdBQUd0RCxpQkFBUSxFQUNuQnVELFlBQVlGLE9BQU8sR0FBRztJQUU1QkEsUUFBUUUsVUFBVUgsR0FBRyxDQUFDLENBQUNJO1FBQ3JCLE1BQU0vRCxPQUFPK0QsVUFDUEMsT0FBT0gsS0FBS3JELFFBQVEsQ0FBQ1IsTUFBTUM7UUFFakMsT0FBTytEO0lBQ1Q7SUFFQSxPQUFPSjtBQUNUO0FBRU8sU0FBUzdJLGVBQWVpRixJQUFJLEVBQUVDLE9BQU87SUFDMUMsSUFBSSxFQUFFZ0UsTUFBTSxFQUFFLEdBQUdqRTtJQUVqQixNQUFNLEVBQUVpQixLQUFLLEVBQUUsR0FBR1YsaUJBQVEsRUFDeEIyRCxhQUFhRCxRQUFRLEdBQUc7SUFFMUJBLFNBQVNDLFdBQVdQLEdBQUcsQ0FBQyxDQUFDM0M7UUFDdkIsTUFBTWhCLE9BQU9nQixXQUNQRCxRQUFRRSxNQUFNVCxRQUFRLENBQUNSLE1BQU1DO1FBRW5DLE9BQU9jO0lBQ1Q7SUFFQSxPQUFPa0Q7QUFDVDtBQUVPLFNBQVN4SSxlQUFldUUsSUFBSSxFQUFFQyxPQUFPO0lBQzFDLElBQUksRUFBRWtFLE1BQU0sRUFBRSxHQUFHbkU7SUFFakIsTUFBTSxFQUFFYSxLQUFLLEVBQUUsR0FBR04saUJBQVEsRUFDcEI2RCxhQUFhRCxRQUFTLEdBQUc7SUFFL0JBLFNBQVNDLFdBQVdULEdBQUcsQ0FBQyxDQUFDN0M7UUFDdkIsTUFBTWQsT0FBT2MsV0FDUEYsUUFBUUMsTUFBTUwsUUFBUSxDQUFDUixNQUFNQztRQUVuQyxPQUFPVztJQUNUO0lBRUEsT0FBT3VEO0FBQ1Q7QUFFTyxTQUFTekssZUFBZXNHLElBQUksRUFBRUMsT0FBTztJQUMxQyxJQUFJLEVBQUVvRSxNQUFNLEVBQUUsR0FBR3JFO0lBRWpCLE1BQU0sRUFBRXNFLEtBQUssRUFBRSxHQUFHL0QsaUJBQVEsRUFDcEJnRSxhQUFhRixRQUFRLEdBQUc7SUFFOUJBLFNBQVNFLFdBQVdaLEdBQUcsQ0FBQyxDQUFDYTtRQUN2QixNQUFNeEUsT0FBT3dFLFdBQ1BDLFFBQVFILE1BQU05RCxRQUFRLENBQUNSLE1BQU1DO1FBRW5DLE9BQU93RTtJQUNUO0lBRUEsT0FBT0o7QUFDVDtBQUVPLFNBQVNwSCxpQkFBaUIrQyxJQUFJLEVBQUVDLE9BQU87SUFDNUMsSUFBSSxFQUFFeUUsUUFBUSxFQUFFLEdBQUcxRTtJQUVuQixNQUFNLEVBQUUyRSxPQUFPLEVBQUUsR0FBR3BFLGlCQUFRLEVBQ3RCcUUsZUFBZUYsVUFBVyxHQUFHO0lBRW5DQSxXQUFXRSxhQUFhakIsR0FBRyxDQUFDLENBQUNrQjtRQUMzQixNQUFNN0UsT0FBTzZFLGFBQ1BDLFVBQVVILFFBQVFuRSxRQUFRLENBQUNSLE1BQU1DO1FBRXZDLE9BQU82RTtJQUNUO0lBRUEsT0FBT0o7QUFDVDtBQUVPLFNBQVNwRixpQkFBaUJVLElBQUksRUFBRUMsT0FBTztJQUM1QyxJQUFJLEVBQUU4RSxRQUFRLEVBQUUsR0FBRy9FO0lBRW5CLE1BQU0sRUFBRWdGLE9BQU8sRUFBRSxHQUFHekUsaUJBQVEsRUFDdEIwRSxlQUFlRixVQUFVLEdBQUc7SUFFbENBLFdBQVdFLGFBQWF0QixHQUFHLENBQUMsQ0FBQ3VCO1FBQzNCLE1BQU1sRixPQUFPa0YsYUFDUEMsVUFBVUgsUUFBUXhFLFFBQVEsQ0FBQ1IsTUFBTUM7UUFFdkMsT0FBT2tGO0lBQ1Q7SUFFQSxPQUFPSjtBQUNUO0FBRU8sU0FBU2pGLGtCQUFrQkUsSUFBSSxFQUFFQyxPQUFPO0lBQzdDLElBQUksRUFBRW1GLFNBQVMsRUFBRSxHQUFHcEY7SUFFcEIsTUFBTSxFQUFFcUYsUUFBUSxFQUFFLEdBQUc5RSxpQkFBUSxFQUN2QitFLGdCQUFnQkYsV0FBVyxHQUFHO0lBRXBDQSxZQUFZRSxjQUFjM0IsR0FBRyxDQUFDLENBQUM0QjtRQUM3QixNQUFNdkYsT0FBT3VGLGNBQ1BDLFdBQVdILFNBQVM3RSxRQUFRLENBQUNSLE1BQU1DO1FBRXpDLE9BQU91RjtJQUNUO0lBRUEsT0FBT0o7QUFDVDtBQUVPLFNBQVM3SCxtQkFBbUJ5QyxJQUFJLEVBQUVDLE9BQU87SUFDOUMsSUFBSSxFQUFFd0YsVUFBVSxFQUFFLEdBQUd6RjtJQUVyQixNQUFNLEVBQUUwRixRQUFRLEVBQUUsR0FBR25GLGlCQUFRLEVBQ3ZCb0YsaUJBQWlCRixZQUFZLEdBQUc7SUFFdENBLGFBQWFFLGVBQWVoQyxHQUFHLENBQUMsQ0FBQ2lDO1FBQy9CLE1BQU01RixPQUFPNEYsY0FDUEMsV0FBV0gsU0FBU2xGLFFBQVEsQ0FBQ1IsTUFBTUM7UUFFekMsT0FBTzRGO0lBQ1Q7SUFFQSxPQUFPSjtBQUNUO0FBRU8sU0FBUzlLLG1CQUFtQnFGLElBQUksRUFBRUMsT0FBTztJQUM5QyxJQUFJLEVBQUU2RixVQUFVLEVBQUUsR0FBRzlGO0lBRXJCLE1BQU0sRUFBRStGLFFBQVEsRUFBRSxHQUFHeEYsaUJBQVEsRUFDM0J5RixpQkFBaUJGLFlBQVksR0FBRztJQUVsQ0EsYUFBYUUsZUFBZXJDLEdBQUcsQ0FBQyxDQUFDc0M7UUFDL0IsTUFBTWpHLE9BQU9pRyxjQUNYQyxXQUFXSCxTQUFTdkYsUUFBUSxDQUFDUixNQUFNQztRQUVyQyxPQUFPaUc7SUFDVDtJQUVBLE9BQU9KO0FBQ1Q7QUFFTyxTQUFTL0ksbUJBQW1CaUQsSUFBSSxFQUFFQyxPQUFPO0lBQzlDLE1BQU0sRUFBRWtHLFVBQVUsRUFBRSxHQUFHbkc7SUFFdkIsT0FBT21HO0FBQ1Q7QUFFTyxTQUFTckgsbUJBQW1Ca0IsSUFBSSxFQUFFQyxPQUFPO0lBQzlDLE1BQU0sRUFBRW1HLFlBQVlDLGNBQWMsRUFBRSxHQUFHckc7SUFFdkMsTUFBTW9HLGFBQWFDLGVBQWUxQyxHQUFHLENBQUMsQ0FBQzJDO1FBQ3JDLE1BQU10RyxPQUFPc0csZUFDWCxFQUFFNUYsTUFBTSxFQUFFLEdBQUdWLE1BQ2JFLE9BQU9RLFFBQ1BELE9BQU9FLGVBQWVULE1BQU1ELFVBQzVCc0csWUFBWTlGLE1BQU0sR0FBRztRQUV2QixPQUFPOEY7SUFDVDtJQUVBLE9BQU9IO0FBQ1Q7QUFFTyxTQUFTbkwsbUJBQW1CK0UsSUFBSSxFQUFFQyxPQUFPO0lBQzlDLElBQUksRUFBRXVHLFVBQVUsRUFBRSxHQUFHeEc7SUFFckIsTUFBTSxFQUFFeUcsVUFBVSxFQUFFLEdBQUdsRyxpQkFBUSxFQUN6Qm1HLGlCQUFpQkYsWUFBYSxHQUFHO0lBRXZDQSxhQUFhRSxlQUFlL0MsR0FBRyxDQUFDLENBQUNnRDtRQUMvQixNQUFNM0csT0FBTzJHLGdCQUNQQyxhQUFhSCxXQUFXakcsUUFBUSxDQUFDUixNQUFNQztRQUU3QyxPQUFPMkc7SUFDVDtJQUVBLE9BQU9KO0FBQ1Q7QUFFTyxTQUFTM0osbUJBQW1CbUQsSUFBSSxFQUFFQyxPQUFPO0lBQzlDLElBQUksRUFBRTRHLFVBQVUsRUFBRSxHQUFHN0c7SUFFckIsTUFBTSxFQUFFOEcsU0FBUyxFQUFFLEdBQUd2RyxpQkFBUSxFQUN4QndHLGlCQUFpQkYsWUFBWSxHQUFHO0lBRXRDQSxhQUFhRSxlQUFlcEQsR0FBRyxDQUFDLENBQUNxRDtRQUMvQixNQUFNaEgsT0FBT2dILGVBQ1BDLFlBQVlILFVBQVV0RyxRQUFRLENBQUNSLE1BQU1DO1FBRTNDLE9BQU9nSDtJQUNUO0lBRUEsT0FBT0o7QUFDVDtBQUVPLFNBQVN4TCxtQkFBbUIyRSxJQUFJLEVBQUVDLE9BQU87SUFDOUMsSUFBSSxFQUFFaUgsVUFBVSxFQUFFLEdBQUdsSDtJQUVyQixNQUFNLEVBQUVtSCxTQUFTLEVBQUUsR0FBRzVHLGlCQUFRLEVBQ3hCNkcsaUJBQWlCRixZQUFZLEdBQUc7SUFFdENBLGFBQWFFLGVBQWV6RCxHQUFHLENBQUMsQ0FBQzBEO1FBQy9CLE1BQU1ySCxPQUFPcUgsZUFDUEMsWUFBWUgsVUFBVTNHLFFBQVEsQ0FBQ1IsTUFBTUM7UUFFM0MsT0FBT3FIO0lBQ1Q7SUFFQSxPQUFPSjtBQUNUO0FBRU8sU0FBU3pJLG1CQUFtQnVCLElBQUksRUFBRUMsT0FBTztJQUM5QyxJQUFJLEVBQUVzSCxVQUFVLEVBQUUsR0FBR3ZIO0lBRXJCLE1BQU0sRUFBRXNCLFNBQVMsRUFBRSxHQUFHZixpQkFBUSxFQUN4QmlILGlCQUFpQkQsWUFBWSxHQUFHO0lBRXRDQSxhQUFhQyxlQUFlN0QsR0FBRyxDQUFDLENBQUNwQztRQUMvQixNQUFNdkIsT0FBT3VCLGVBQ1BGLFlBQVlDLFVBQVVkLFFBQVEsQ0FBQ1IsTUFBTUM7UUFFM0MsT0FBT29CO0lBQ1Q7SUFFQSxPQUFPa0c7QUFDVDtBQUVPLFNBQVNqTyxtQkFBbUIwRyxJQUFJLEVBQUVDLE9BQU87SUFDOUMsSUFBSSxFQUFFd0gsVUFBVSxFQUFFLEdBQUd6SDtJQUVyQixNQUFNLEVBQUUwSCxhQUFhLEVBQUVDLGdCQUFnQixFQUFFQyxpQkFBaUIsRUFBRUMsaUJBQWlCLEVBQUVDLGtCQUFrQixFQUFFQyxrQkFBa0IsRUFBRSxHQUFHeEgsaUJBQVEsRUFDNUh5SCxpQkFBaUJQLFlBQVksR0FBRztJQUV0Q0EsYUFBYU8sZUFBZXJFLEdBQUcsQ0FBQyxDQUFDc0U7UUFDL0IsTUFBTWpJLE9BQU9pSSxlQUNQQyxZQUFZUixjQUFjbEgsUUFBUSxDQUFDUixNQUFNQyxZQUM1QjBILGlCQUFpQm5ILFFBQVEsQ0FBQ1IsTUFBTUMsWUFDaEMySCxrQkFBa0JwSCxRQUFRLENBQUNSLE1BQU1DLFlBQ2pDNEgsa0JBQWtCckgsUUFBUSxDQUFDUixNQUFNQyxZQUNqQzZILG1CQUFtQnRILFFBQVEsQ0FBQ1IsTUFBTUMsWUFDbEM4SCxtQkFBbUJ2SCxRQUFRLENBQUNSLE1BQU1DO1FBRXJELE9BQU9pSTtJQUNUO0lBRUEsT0FBT1Q7QUFDVDtBQUVPLFNBQVMxSixtQkFBbUJpQyxJQUFJLEVBQUVDLE9BQU87SUFDOUMsSUFBSSxFQUFFa0ksVUFBVSxFQUFFLEdBQUduSTtJQUVyQixNQUFNLEVBQUUrQixTQUFTLEVBQUUsR0FBR3hCLGlCQUFRLEVBQzVCNkgsaUJBQWlCRCxZQUFZLEdBQUc7SUFFbENBLGFBQWFDLGVBQWV6RSxHQUFHLENBQUMsQ0FBQzNCO1FBQy9CLE1BQU1oQyxPQUFPZ0MsZUFDWEYsWUFBWUMsVUFBVXZCLFFBQVEsQ0FBQ1IsTUFBTUM7UUFFdkMsT0FBTzZCO0lBQ1Q7SUFFQSxPQUFPcUc7QUFDVDtBQUVPLFNBQVM5SixtQkFBbUIyQixJQUFJLEVBQUVDLE9BQU87SUFDOUMsSUFBSSxFQUFFb0ksVUFBVSxFQUFFLEdBQUdySTtJQUVyQixNQUFNLEVBQUU0QixTQUFTLEVBQUUsR0FBR3JCLGlCQUFRLEVBQ3hCK0gsaUJBQWlCRCxZQUFZLEdBQUc7SUFFdENBLGFBQWFDLGVBQWUzRSxHQUFHLENBQUMsQ0FBQzlCO1FBQy9CLE1BQU03QixPQUFPNkIsZUFDUEYsWUFBWUMsVUFBVXBCLFFBQVEsQ0FBQ1IsTUFBTUM7UUFFM0MsT0FBTzBCO0lBQ1Q7SUFFQSxPQUFPMEc7QUFDVDtBQUVPLFNBQVNyTyxvQkFBb0JnRyxJQUFJLEVBQUVDLE9BQU87SUFDL0MsSUFBSSxFQUFFc0ksV0FBVyxFQUFFLEdBQUd2STtJQUV0QixNQUFNLEVBQUV3SSxVQUFVLEVBQUUsR0FBR2pJLGlCQUFRLEVBQ3pCa0ksa0JBQWtCRixhQUFhLEdBQUc7SUFFeENBLGNBQWNFLGdCQUFnQjlFLEdBQUcsQ0FBQyxDQUFDK0U7UUFDakMsTUFBTTFJLE9BQU8wSSxnQkFDUEMsYUFBYUgsV0FBV2hJLFFBQVEsQ0FBQ1IsTUFBTUM7UUFFN0MsT0FBTzBJO0lBQ1Q7SUFFQSxPQUFPSjtBQUNUO0FBRU8sU0FBUzNPLG9CQUFvQm9HLElBQUksRUFBRUMsT0FBTztJQUMvQyxJQUFJLEVBQUUySSxXQUFXLEVBQUUsR0FBRzVJO0lBRXRCLE1BQU0sRUFBRTZJLFVBQVUsRUFBRSxHQUFHdEksaUJBQVEsRUFDekJ1SSxrQkFBa0JGLGFBQWEsR0FBRztJQUV4Q0EsY0FBY0UsZ0JBQWdCbkYsR0FBRyxDQUFDLENBQUNvRjtRQUNqQyxNQUFNL0ksT0FBTytJLGdCQUNQQyxhQUFhSCxXQUFXckksUUFBUSxDQUFDUixNQUFNQztRQUU3QyxPQUFPK0k7SUFDVDtJQUVBLE9BQU9KO0FBQ1Q7QUFFTyxTQUFTcFAsb0JBQW9Cd0csSUFBSSxFQUFFQyxPQUFPO0lBQy9DLElBQUksRUFBRWdKLFdBQVcsRUFBRSxHQUFHako7SUFFdEIsTUFBTSxFQUFFa0osVUFBVSxFQUFFLEdBQUczSSxpQkFBUSxFQUM3QjRJLGtCQUFrQkYsYUFBYSxHQUFHO0lBRXBDQSxjQUFjRSxnQkFBZ0J4RixHQUFHLENBQUMsQ0FBQ3lGO1FBQ2pDLE1BQU1wSixPQUFPb0osZ0JBQ1BDLGFBQWFILFdBQVcxSSxRQUFRLENBQUNSLE1BQU1DO1FBRTdDLE9BQU9vSjtJQUNUO0lBRUEsT0FBT0o7QUFDVDtBQUVPLFNBQVN4SixxQkFBcUJPLElBQUksRUFBRUMsT0FBTztJQUNoRCxJQUFJLEVBQUVxSixZQUFZLEVBQUUsR0FBR3RKO0lBRXZCLE1BQU0sRUFBRXVKLFVBQVUsRUFBRSxHQUFHaEosaUJBQVEsRUFDekJpSixtQkFBbUJGLGNBQWMsR0FBRztJQUUxQ0EsZUFBZUUsaUJBQWlCN0YsR0FBRyxDQUFDLENBQUM4RjtRQUNuQyxNQUFNekosT0FBT3lKLGdCQUNQQyxhQUFhSCxXQUFXL0ksUUFBUSxDQUFDUixNQUFNQztRQUU3QyxPQUFPeUo7SUFDVDtJQUVBLE9BQU9KO0FBQ1Q7QUFFTyxTQUFTcFAscUJBQXFCOEYsSUFBSSxFQUFFQyxPQUFPO0lBQ2hELElBQUksRUFBRTBKLFlBQVksRUFBRSxHQUFHM0o7SUFFdkIsTUFBTSxFQUFFNEosV0FBVyxFQUFFLEdBQUdySixpQkFBUSxFQUMxQnNKLG1CQUFtQkYsY0FBYyxHQUFHO0lBRTFDQSxlQUFlRSxpQkFBaUJsRyxHQUFHLENBQUMsQ0FBQ21HO1FBQ25DLE1BQU05SixPQUFPOEosaUJBQ1BDLGNBQWNILFlBQVlwSixRQUFRLENBQUNSLE1BQU1DO1FBRS9DLE9BQU84SjtJQUNUO0lBRUEsT0FBT0o7QUFDVDtBQUVPLFNBQVM1TixxQkFBcUJpRSxJQUFJLEVBQUVDLE9BQU87SUFDaEQsSUFBSSxFQUFFK0osWUFBWSxFQUFFLEdBQUdoSztJQUV2QixNQUFNLEVBQUVpSyxXQUFXLEVBQUUsR0FBRzFKLGlCQUFRLEVBQzFCMkosbUJBQW1CRixjQUFjLEdBQUc7SUFFMUNBLGVBQWVFLGlCQUFpQnZHLEdBQUcsQ0FBQyxDQUFDd0c7UUFDbkMsTUFBTW5LLE9BQU9tSyxpQkFDUEMsY0FBY0gsWUFBWXpKLFFBQVEsQ0FBQ1IsTUFBTUM7UUFFL0MsT0FBT21LO0lBQ1Q7SUFFQSxPQUFPSjtBQUNUO0FBRU8sU0FBU2hMLHFCQUFxQmdCLElBQUksRUFBRUMsT0FBTztJQUNoRCxJQUFJLEVBQUVvSyxZQUFZLEVBQUUsR0FBR3JLO0lBRXZCLE1BQU0sRUFBRXNLLFdBQVcsRUFBRSxHQUFHL0osaUJBQVEsRUFDMUJnSyxtQkFBbUJGLGNBQWUsR0FBRztJQUUzQ0EsZUFBZUUsaUJBQWlCNUcsR0FBRyxDQUFDLENBQUM2RztRQUNuQyxNQUFNeEssT0FBT3dLLGlCQUNQQyxjQUFjSCxZQUFZOUosUUFBUSxDQUFDUixNQUFNQztRQUUvQyxPQUFPd0s7SUFDVDtJQUVBLE9BQU9KO0FBQ1Q7QUFFTyxTQUFTekwsc0JBQXNCb0IsSUFBSSxFQUFFQyxPQUFPO0lBQ2pELElBQUksRUFBRXlLLGFBQWEsRUFBRSxHQUFHMUssTUFBTyxHQUFHO0lBRWxDLE1BQU0ySyxvQkFBb0JELGVBQWUsR0FBRztJQUU1Q0EsZ0JBQWdCQyxrQkFBa0JoSCxHQUFHLENBQUMsQ0FBQ2lIO1FBQ3JDLE1BQU01SyxPQUFPNEssa0JBQ1BDLGVBQWVsTSxpQ0FBaUNxQixNQUFNQztRQUU1RCxPQUFPNEs7SUFDVDtJQUVBLE9BQU9IO0FBQ1Q7QUFFTyxTQUFTdk8sc0JBQXNCNkQsSUFBSSxFQUFFQyxPQUFPO0lBQ2pELElBQUksRUFBRTZLLGFBQWEsRUFBRSxHQUFHOUs7SUFFeEIsTUFBTSxFQUFFd0MsWUFBWSxFQUFFLEdBQUdqQyxpQkFBUSxFQUMzQndLLG9CQUFvQkQsZUFBZSxHQUFHO0lBRTVDQSxnQkFBZ0JDLGtCQUFrQnBILEdBQUcsQ0FBQyxDQUFDbEI7UUFDckMsTUFBTXpDLE9BQU95QyxrQkFDUEYsZUFBZUMsYUFBYWhDLFFBQVEsQ0FBQ1IsTUFBTUM7UUFFakQsT0FBT3NDO0lBQ1Q7SUFFQSxPQUFPdUk7QUFDVDtBQUVPLFNBQVN2Tyx1QkFBdUJ5RCxJQUFJLEVBQUVDLE9BQU87SUFDbEQsTUFBTXlDLGlCQUFpQnpDLFNBQVMsR0FBRztJQUVuQyxNQUFNLEVBQUUrSyxRQUFRLEVBQUUsR0FBR2hMO0lBRXJCLE1BQU1pTCxpQkFBaUJELFNBQVNySCxHQUFHLENBQUMsQ0FBQzFEO1FBQ25DRCxPQUFPQyxTQUFTLEdBQUc7UUFFbkJBLFVBQVV5QyxnQkFBZ0IsR0FBRztRQUU3QixNQUFNQyxnQkFBZ0JDLGVBQWEsQ0FBQ3BDLFFBQVEsQ0FBQ1IsTUFBTUM7UUFFbkQsT0FBTzBDLGVBQWdCLEdBQUc7SUFDNUI7SUFFQSxPQUFPc0k7QUFDVDtBQUVPLFNBQVMxUSwwQkFBMEJ5RixJQUFJLEVBQUVDLE9BQU87SUFDckQsSUFBSSxFQUFFaUwsaUJBQWlCLEVBQUUsR0FBR2xMO0lBRTVCLE1BQU0sRUFBRXFGLFFBQVEsRUFBRSxHQUFHOUUsaUJBQVEsRUFDdkI0Syx3QkFBd0JELG1CQUFtQixHQUFHO0lBRXBEQSxvQkFBb0JDLHNCQUFzQnhILEdBQUcsQ0FBQyxDQUFDeUg7UUFDN0MsTUFBTXBMLE9BQU9vTCxzQkFDUDVGLFdBQVdILFNBQVM3RSxRQUFRLENBQUNSLE1BQU1DLFVBQ25Db0wsbUJBQW1CN0YsVUFBVyxHQUFHO1FBRXZDLE9BQU82RjtJQUNUO0lBRUEsT0FBT0g7QUFDVDtBQUVPLFNBQVN6TiwwQkFBMEJ1QyxJQUFJLEVBQUVDLE9BQU87SUFDckQsSUFBSSxFQUFFcUwsaUJBQWlCLEVBQUUsR0FBR3RMO0lBRTVCLE1BQU0sRUFBRXVMLGdCQUFnQixFQUFFLEdBQUdoTCxpQkFBUSxFQUMvQmlMLHdCQUF3QkYsbUJBQW1CLEdBQUc7SUFFcERBLG9CQUFvQkUsc0JBQXNCN0gsR0FBRyxDQUFDLENBQUM4SDtRQUM3QyxNQUFNekwsT0FBT3lMLHNCQUNQQyxtQkFBbUJILGlCQUFpQi9LLFFBQVEsQ0FBQ1IsTUFBTUM7UUFFekQsT0FBT3lMO0lBQ1Q7SUFFQSxPQUFPSjtBQUNUO0FBRU8sU0FBUzNQLDZCQUE2QnFFLElBQUksRUFBRUMsT0FBTztJQUN4RCxJQUFJLEVBQUUwTCxvQkFBb0IsRUFBRSxHQUFHM0w7SUFFL0IsTUFBTSxFQUFFNEwsbUJBQW1CLEVBQUUsR0FBR3JMLGlCQUFRLEVBQ2xDc0wsMkJBQTJCRixzQkFBc0IsR0FBRztJQUUxREEsdUJBQXVCRSx5QkFBeUJsSSxHQUFHLENBQUMsQ0FBQ21JO1FBQ25ELE1BQU05TCxPQUFPOEwseUJBQ1BDLHNCQUFzQkgsb0JBQW9CcEwsUUFBUSxDQUFDUixNQUFNQztRQUUvRCxPQUFPOEw7SUFDVDtJQUVBLE9BQU9KO0FBQ1Q7QUFFTyxTQUFTdFIsOEJBQThCMkYsSUFBSSxFQUFFQyxPQUFPO0lBQ3pELElBQUksRUFBRStMLHFCQUFxQixFQUFFLEdBQUdoTTtJQUVoQyxNQUFNLEVBQUV3QyxZQUFZLEVBQUUsR0FBR2pDLGlCQUFRLEVBQzNCMEwsNEJBQTRCRCx1QkFBdUIsR0FBRztJQUU1REEsd0JBQXdCQywwQkFBMEJ0SSxHQUFHLENBQUMsQ0FBQ3VJO1FBQ3JELE1BQU1sTSxPQUFPa00sMEJBQ1AzSixlQUFlQyxhQUFhaEMsUUFBUSxDQUFDUixNQUFNQyxVQUMzQ2tNLHVCQUF1QjVKLGNBQWUsR0FBRztRQUUvQyxPQUFPNEo7SUFDVDtJQUVBLE9BQU9IO0FBQ1Q7QUFFTyxTQUFTdFAsZUFBZXdELElBQUk7SUFDakMsTUFBTUMsV0FBV0QsTUFBTyxHQUFHO0lBRTNCLE9BQU9DO0FBQ1Q7QUFFTyxTQUFTaEIsZUFBZWlCLElBQUk7SUFDakMsTUFBTUMsV0FBVyxBQUFDRCxTQUFTLE9BQ1JBLEtBQUtnTSxNQUFNLEtBQ1Q7SUFFckIsT0FBTy9MO0FBQ1Q7QUFFTyxTQUFTVixlQUFlYyxJQUFJO0lBQ2pDLElBQUk4QyxXQUFXO0lBRWYsSUFBSTlDLFNBQVMsTUFBTTtRQUNqQixNQUFNNEwsV0FBVztRQUVqQjlJLFdBQVc5QyxLQUFLMkwsTUFBTSxDQUFDQztJQUN6QjtJQUVBLE9BQU85STtBQUNUO0FBRU8sU0FBU3pJLGlCQUFpQmlHLEtBQUs7SUFDcEMsTUFBTUMsWUFBWSxBQUFDRCxVQUFVLE9BQ1RBLE1BQU1xTCxNQUFNLEtBQ1Y7SUFFdEIsT0FBT3BMO0FBQ1Q7QUFFTyxTQUFTeEYsaUJBQWlCb0YsS0FBSztJQUNwQyxNQUFNRSxZQUFZRixNQUFNd0wsTUFBTTtJQUU5QixPQUFPdEw7QUFDVDtBQUVPLFNBQVNsRSxxQkFBcUJzRSxPQUFPO0lBQzFDLE1BQU1vTCxjQUFjcEwsU0FBVSxHQUFHO0lBRWpDLE9BQU9vTDtBQUNUO0FBRU8sU0FBU2pULHNCQUFzQmtULE9BQU87SUFDM0MsTUFBTUMsY0FBY0QsUUFBUUgsTUFBTTtJQUVsQyxPQUFPSTtBQUNUO0FBRU8sU0FBUzFRLHVCQUF1QnFGLFFBQVE7SUFDN0MsTUFBTXNMLGVBQWUsQUFBQ3RMLGFBQWEsT0FDWkEsU0FBU2lMLE1BQU0sS0FDYjtJQUV6QixPQUFPSztBQUNUO0FBRU8sU0FBUzNPLHlCQUF5QmdFLFNBQVM7SUFDaEQsTUFBTUUsZ0JBQWdCRixVQUFVc0ssTUFBTTtJQUV0QyxPQUFPcEs7QUFDVDtBQUVPLFNBQVN4RCx5QkFBeUI2QyxTQUFTO0lBQ2hELE1BQU1FLGdCQUFnQixBQUFDRixjQUFjLE9BQ2JBLFVBQVUrSyxNQUFNLEtBQ2Q7SUFFMUIsT0FBTzdLO0FBQ1Q7QUFFTyxTQUFTN0cseUJBQXlCOEcsU0FBUztJQUNoRCxNQUFNRSxnQkFBZ0JGLFVBQVU0SyxNQUFNO0lBRXRDLE9BQU8xSztBQUNUO0FBRU8sU0FBU3RELHlCQUF5QnVELFNBQVM7SUFDaEQsTUFBTUUsZ0JBQWdCLEFBQUNGLGNBQWMsT0FDYkEsVUFBVXlLLE1BQU0sS0FDZDtJQUUxQixPQUFPdks7QUFDVDtBQUVPLFNBQVN6RywyQkFBMkI2RyxVQUFVO0lBQ25ELE1BQU1DLGlCQUFpQkQsWUFBYSxHQUFHO0lBRXZDLE9BQU9DO0FBQ1Q7QUFFTyxTQUFTbkksMkJBQTJCb0ksVUFBVTtJQUNuRCxNQUFNRSxpQkFBaUJGLFdBQVdpSyxNQUFNO0lBRXhDLE9BQU8vSjtBQUNUO0FBRU8sU0FBU3pFLDZCQUE2QjBFLFdBQVc7SUFDdEQsTUFBTW9LLGtCQUFrQnBLLGFBQWMsR0FBRztJQUV6QyxPQUFPb0s7QUFDVDtBQUVPLFNBQVN4USwrQkFBK0JxRyxZQUFZO0lBQ3pELE1BQU1FLG1CQUFtQkYsYUFBYTZKLE1BQU07SUFFNUMsT0FBTzNKO0FBQ1Q7QUFFTyxTQUFTckYsaUNBQWlDeUYsYUFBYTtJQUM1RCxNQUFNRSxvQkFBb0IsQUFBQ0Ysa0JBQWtCLE9BQ2pCQSxjQUFjdUosTUFBTSxLQUNsQjtJQUU5QixPQUFPcko7QUFDVDtBQUVPLFNBQVN6RyxpQ0FBaUNxRyxhQUFhO0lBQzVELE1BQU1nSyxvQkFBb0JoSyxjQUFjeUosTUFBTTtJQUU5QyxPQUFPTztBQUNUO0FBRU8sU0FBU3JQLDJDQUEyQzBGLGtCQUFrQjtJQUMzRSxNQUFNRSx5QkFBeUJGLG1CQUFtQm9KLE1BQU07SUFFeEQsT0FBT2xKO0FBQ1Q7QUFFTyxTQUFTOUksK0NBQStDK1Isb0JBQW9CO0lBQ2pGLE1BQU1ELDJCQUEyQkMscUJBQXFCQyxNQUFNO0lBRTVELE9BQU9GO0FBQ1Q7QUFFTyxTQUFTdk4saUNBQWlDcUIsSUFBSSxFQUFFQyxPQUFPO0lBQzVELE1BQU0sRUFBRTJNLGdCQUFnQixFQUFFQyxpQkFBaUIsRUFBRUMscUJBQXFCLEVBQUVDLHFCQUFxQixFQUFFLEdBQUd4TSxpQkFBUSxFQUNoR3NLLGVBQWUrQixpQkFBaUJwTSxRQUFRLENBQUNSLE1BQU1DLFlBQ2hDNE0sa0JBQWtCck0sUUFBUSxDQUFDUixNQUFNQyxZQUNqQzZNLHNCQUFzQnRNLFFBQVEsQ0FBQ1IsTUFBTUMsWUFDckM4TSxzQkFBc0J2TSxRQUFRLENBQUNSLE1BQU1DO0lBRTFELE9BQU80SztBQUNUO0FBRU8sU0FBU3hMLGlCQUFpQm9FLEtBQUs7SUFDcEMsTUFBTUMsWUFBWUQsTUFBTUUsR0FBRyxDQUFDLENBQUN2RDtRQUMzQixNQUFNQyxXQUFXRCxLQUFLZ00sTUFBTTtRQUU1QixPQUFPL0w7SUFDVDtJQUVBLE9BQU9xRDtBQUNUO0FBRU8sU0FBUzdELGlCQUFpQnNELEtBQUs7SUFDcEMsTUFBTUMsWUFBWUQsTUFBTVEsR0FBRyxDQUFDLENBQUNsRDtRQUMzQixNQUFNOEMsV0FBVzlDLEtBQUsyTCxNQUFNO1FBRTVCLE9BQU83STtJQUNUO0lBRUEsT0FBT0g7QUFDVDtBQUVPLFNBQVNsRixpQkFBaUIwRixLQUFLO0lBQ3BDLE1BQU1FLFlBQVlGLE1BQU1ELEdBQUcsQ0FBQyxDQUFDSztRQUMzQixNQUFNRCxXQUFXQyxLQUFLb0ksTUFBTTtRQUU1QixPQUFPckk7SUFDVDtJQUVBLE9BQU9EO0FBQ1Q7QUFFTyxTQUFTcEksbUJBQW1CeUksTUFBTTtJQUN2QyxNQUFNQyxhQUFhRCxPQUFPUixHQUFHLENBQUMsQ0FBQy9DO1FBQzdCLE1BQU1FLFlBQVlGLE1BQU13TCxNQUFNO1FBRTlCLE9BQU90TDtJQUNUO0lBRUEsT0FBT3NEO0FBQ1Q7QUFFTyxTQUFTcEosbUJBQW1CaUosTUFBTTtJQUN2QyxNQUFNQyxhQUFhRCxPQUFPTixHQUFHLENBQUMsQ0FBQzVDO1FBQzdCLE1BQU1DLFlBQVlELE1BQU1xTCxNQUFNO1FBRTlCLE9BQU9wTDtJQUNUO0lBRUEsT0FBT2tEO0FBQ1Q7QUFFTyxTQUFTdkssbUJBQW1CMEssTUFBTTtJQUN2QyxNQUFNRSxhQUFhRixPQUFPVixHQUFHLENBQUMsQ0FBQ2M7UUFDN0IsTUFBTUQsWUFBWUMsTUFBTTJILE1BQU07UUFFOUIsT0FBTzVIO0lBQ1Q7SUFFQSxPQUFPRDtBQUNUO0FBRU8sU0FBU3JILHVCQUF1QndILFFBQVE7SUFDN0MsTUFBTUUsZUFBZUYsU0FBU2YsR0FBRyxDQUFDLENBQUNtQjtRQUNqQyxNQUFNRCxjQUFjQyxRQUFRc0gsTUFBTTtRQUVsQyxPQUFPdkg7SUFDVDtJQUVBLE9BQU9EO0FBQ1Q7QUFFTyxTQUFTckYsdUJBQXVCd0YsUUFBUTtJQUM3QyxNQUFNRSxlQUFlRixTQUFTcEIsR0FBRyxDQUFDLENBQUN3QjtRQUNqQyxNQUFNRCxjQUFjQyxRQUFRaUgsTUFBTTtRQUVsQyxPQUFPbEg7SUFDVDtJQUVBLE9BQU9EO0FBQ1Q7QUFFTyxTQUFTbEYseUJBQXlCcUYsU0FBUztJQUNoRCxNQUFNRSxnQkFBZ0JGLFVBQVV6QixHQUFHLENBQUMsQ0FBQzZCO1FBQ25DLE1BQU1ELGVBQWVDLFNBQVM0RyxNQUFNO1FBRXBDLE9BQU83RztJQUNUO0lBRUEsT0FBT0Q7QUFDVDtBQUVPLFNBQVNwSywyQkFBMkJzTCxVQUFVO0lBQ25ELE1BQU1FLGlCQUFpQkYsV0FBVzdDLEdBQUcsQ0FBQyxDQUFDaUQ7UUFDckMsTUFBTUQsaUJBQWlCQyxXQUFXd0YsTUFBTTtRQUV4QyxPQUFPekY7SUFDVDtJQUVBLE9BQU9EO0FBQ1Q7QUFFTyxTQUFTMUosMkJBQTJCZ1EsVUFBVTtJQUNuRCxNQUFNQyxpQkFBaUJELFlBQWEsR0FBRztJQUV2QyxPQUFPQztBQUNUO0FBRU8sU0FBU2xPLDJCQUEyQnFILFVBQVU7SUFDbkQsTUFBTUMsaUJBQWlCRCxXQUFXekMsR0FBRyxDQUFDLENBQUM0QztRQUMvQixNQUFNOEYsV0FBVyxNQUNYL0YsZ0JBQWdCQyxVQUFVNkYsTUFBTSxDQUFDQztRQUV2QyxPQUFPL0Y7SUFDVDtJQUVOLE9BQU9EO0FBQ1Q7QUFFTyxTQUFTdkosMkJBQTJCK0osVUFBVTtJQUNuRCxNQUFNRSxpQkFBaUJGLFdBQVdsRCxHQUFHLENBQUMsQ0FBQ3NEO1FBQ3JDLE1BQU1ELGdCQUFnQkMsVUFBVW1GLE1BQU07UUFFdEMsT0FBT3BGO0lBQ1Q7SUFFQSxPQUFPRDtBQUNUO0FBRU8sU0FBU3ZKLDJCQUEyQmlJLFVBQVU7SUFDbkQsTUFBTUUsaUJBQWlCRixXQUFXOUIsR0FBRyxDQUFDLENBQUNrQztRQUNyQyxNQUFNRCxlQUFlQyxTQUFTdUcsTUFBTTtRQUVwQyxPQUFPeEc7SUFDVDtJQUVBLE9BQU9EO0FBQ1Q7QUFFTyxTQUFTckssMkJBQTJCNEwsVUFBVTtJQUNuRCxNQUFNRSxpQkFBaUJGLFdBQVd2RCxHQUFHLENBQUMsQ0FBQzJEO1FBQ3JDLE1BQU1ELGdCQUFnQkMsVUFBVThFLE1BQU07UUFFdEMsT0FBTy9FO0lBQ1Q7SUFFQSxPQUFPRDtBQUNUO0FBRU8sU0FBU3hNLDJCQUEyQmtMLFVBQVU7SUFDbkQsTUFBTUUsaUJBQWlCRixXQUFXbkMsR0FBRyxDQUFDLENBQUN1QztRQUNyQyxNQUFNRCxlQUFlQyxTQUFTa0csTUFBTTtRQUVwQyxPQUFPbkc7SUFDVDtJQUVBLE9BQU9EO0FBQ1Q7QUFFTyxTQUFTdEgsMkJBQTJCNkksVUFBVTtJQUNuRCxNQUFNQyxpQkFBaUJELFdBQVc1RCxHQUFHLENBQUMsQ0FBQ3RDO1FBQ3JDLE1BQU1FLGdCQUFnQkYsVUFBVStLLE1BQU07UUFFdEMsT0FBTzdLO0lBQ1Q7SUFFQSxPQUFPaUc7QUFDVDtBQUVPLFNBQVNsSiwyQkFBMkIrSixVQUFVO0lBQ25ELE1BQU1DLGlCQUFpQkQsV0FBVzFFLEdBQUcsQ0FBQyxDQUFDaEM7UUFDckMsTUFBTUUsZ0JBQWdCRixVQUFVeUssTUFBTTtRQUV0QyxPQUFPdks7SUFDVDtJQUVBLE9BQU95RztBQUNUO0FBRU8sU0FBUy9PLDJCQUEyQmtPLFVBQVU7SUFDbkQsTUFBTU8saUJBQWlCUCxXQUFXOUQsR0FBRyxDQUFDLENBQUN1RTtRQUNyQyxNQUFNRCxnQkFBZ0JDLFVBQVVrRSxNQUFNO1FBRXRDLE9BQU9uRTtJQUNUO0lBRUEsT0FBT0Q7QUFDVDtBQUVPLFNBQVNoSywyQkFBMkJtSyxVQUFVO0lBQ25ELE1BQU1DLGlCQUFpQkQsV0FBV3hFLEdBQUcsQ0FBQyxDQUFDN0I7UUFDckMsTUFBTUUsZ0JBQWdCRixVQUFVc0ssTUFBTTtRQUV0QyxPQUFPcEs7SUFDVDtJQUVBLE9BQU9vRztBQUNUO0FBRU8sU0FBU25PLDZCQUE2QnNPLFdBQVc7SUFDdEQsTUFBTUUsa0JBQWtCRixZQUFZNUUsR0FBRyxDQUFDLENBQUNnRjtRQUN2QyxNQUFNRCxpQkFBaUJDLFdBQVd5RCxNQUFNO1FBRXhDLE9BQU8xRDtJQUNUO0lBRUEsT0FBT0Q7QUFDVDtBQUVPLFNBQVM1Tyw2QkFBNkIrTyxXQUFXO0lBQ3RELE1BQU1FLGtCQUFrQkYsWUFBWWpGLEdBQUcsQ0FBQyxDQUFDcUY7UUFDdkMsTUFBTUQsaUJBQWlCQyxXQUFXb0QsTUFBTTtRQUV4QyxPQUFPckQ7SUFDVDtJQUVBLE9BQU9EO0FBQ1Q7QUFFTyxTQUFTclAsNkJBQTZCd1AsV0FBVztJQUN0RCxNQUFNRSxrQkFBa0JGLFlBQVl0RixHQUFHLENBQUMsQ0FBQzBGO1FBQ3ZDLE1BQU1ELGlCQUFpQkMsV0FBVytDLE1BQU07UUFFeEMsT0FBT2hEO0lBQ1Q7SUFFQSxPQUFPRDtBQUNUO0FBRU8sU0FBU2xLLCtCQUErQm9MLFlBQVk7SUFDekQsTUFBTUUsbUJBQW1CRixhQUFhMUcsR0FBRyxDQUFDLENBQUM4RztRQUN6QyxNQUFNRCxrQkFBa0JDLFlBQVkyQixNQUFNO1FBRTFDLE9BQU81QjtJQUNUO0lBRUEsT0FBT0Q7QUFDVDtBQUVPLFNBQVNwUSwrQkFBK0J3UCxZQUFZO0lBQ3pELE1BQU1FLG1CQUFtQkYsYUFBYWhHLEdBQUcsQ0FBQyxDQUFDb0c7UUFDekMsTUFBTUQsa0JBQWtCQyxZQUFZcUMsTUFBTTtRQUUxQyxPQUFPdEM7SUFDVDtJQUVBLE9BQU9EO0FBQ1Q7QUFFTyxTQUFTN04sK0JBQStCZ08sWUFBWTtJQUN6RCxNQUFNRSxtQkFBbUJGLGFBQWFyRyxHQUFHLENBQUMsQ0FBQ3lHO1FBQ3pDLE1BQU1ELGtCQUFrQkMsWUFBWWdDLE1BQU07UUFFMUMsT0FBT2pDO0lBQ1Q7SUFFQSxPQUFPRDtBQUNUO0FBRU8sU0FBU3hLLCtCQUErQjRKLFlBQVk7SUFDekQsTUFBTUUsbUJBQW1CRixhQUFhM0YsR0FBRyxDQUFDLENBQUMrRjtRQUN6QyxNQUFNRCxpQkFBaUJDLFdBQVcwQyxNQUFNO1FBRXhDLE9BQU8zQztJQUNUO0lBRUEsT0FBT0Q7QUFDVDtBQUVPLFNBQVMzSyxpQ0FBaUM2TCxhQUFhO0lBQzVELE1BQU1DLG9CQUFvQkQsY0FBYy9HLEdBQUcsQ0FBQyxDQUFDa0g7UUFDM0MsTUFBTUQsbUJBQW1CQyxhQUFhdUIsTUFBTTtRQUU1QyxPQUFPeEI7SUFDVDtJQUVBLE9BQU9EO0FBQ1Q7QUFFTyxTQUFTdk8saUNBQWlDME8sYUFBYTtJQUM1RCxNQUFNQyxvQkFBb0JELGNBQWNuSCxHQUFHLENBQUMsQ0FBQ3BCO1FBQzNDLE1BQU1FLG1CQUFtQkYsYUFBYTZKLE1BQU07UUFFNUMsT0FBTzNKO0lBQ1Q7SUFFQSxPQUFPc0k7QUFDVDtBQUVPLFNBQVN2TyxtQ0FBbUN5TyxjQUFjO0lBQy9ELE1BQU1pQyxxQkFBcUJqQyxlQUFldEgsR0FBRyxDQUFDLENBQUNoQjtRQUM3QyxNQUFNZ0ssb0JBQW9CaEssY0FBY3lKLE1BQU07UUFFOUMsT0FBT087SUFDVDtJQUVBLE9BQU9PO0FBQ1Q7QUFFTyxTQUFTeFAseUNBQXlDNE4saUJBQWlCO0lBQ3hFLE1BQU1FLHdCQUF3QkYsa0JBQWtCM0gsR0FBRyxDQUFDLENBQUMrSDtRQUNuRCxNQUFNRCx1QkFBdUJDLGlCQUFpQlUsTUFBTTtRQUVwRCxPQUFPWDtJQUNUO0lBRUEsT0FBT0Q7QUFDVDtBQUVPLFNBQVNoUix5Q0FBeUMwUSxpQkFBaUI7SUFDeEUsTUFBTUMsd0JBQXdCRCxrQkFBa0J2SCxHQUFHLENBQUMsQ0FBQzBIO1FBQ25ELE1BQU1ELHVCQUF1QkMsaUJBQWlCZSxNQUFNO1FBRXBELE9BQU9oQjtJQUNUO0lBRUEsT0FBT0Q7QUFDVDtBQUVPLFNBQVN2UCwrQ0FBK0MrUCxvQkFBb0I7SUFDakYsTUFBTUUsMkJBQTJCRixxQkFBcUJoSSxHQUFHLENBQUMsQ0FBQ29JO1FBQ3pELE1BQU1ELDBCQUEwQkMsb0JBQW9CSyxNQUFNO1FBRTFELE9BQU9OO0lBQ1Q7SUFFQSxPQUFPRDtBQUNUO0FBRU8sU0FBU3ZSLGlEQUFpRDBSLHFCQUFxQjtJQUNwRixNQUFNQyw0QkFBNEJELHNCQUFzQnJJLEdBQUcsQ0FBQyxDQUFDd0k7UUFDM0QsTUFBTUQsMkJBQTJCQyxxQkFBcUJDLE1BQU07UUFFNUQsT0FBT0Y7SUFDVDtJQUVBLE9BQU9EO0FBQ1Q7QUFFQSxTQUFTdEwsZUFBZVQsSUFBSSxFQUFFRCxPQUFPO0lBQ25DLE1BQU1rTixXQUFXak4sTUFDWE8sT0FBT1IsUUFBUW1OLGtCQUFrQixDQUFDRDtJQUV4QyxPQUFPMU07QUFDVDtBQUVBLFNBQVNXLG1CQUFtQmxCLElBQUksRUFBRUQsT0FBTztJQUN2QyxNQUFNb04sZUFBZW5OLE1BQ2ZpQixXQUFXbEIsUUFBUXFOLDBCQUEwQixDQUFDRDtJQUVwRCxPQUFPbE07QUFDVCJ9