use crate::enums::AchievabilityStatus;
use crate::enums::ProofStrategy;
use crate::enums::VerificationDomain;
use crate::enums::WittLevel;
use crate::HostTypes;
pub trait Proof<H: HostTypes> {
fn verified(&self) -> bool;
fn timestamp(&self) -> &H::WitnessBytes;
type WitnessData: WitnessData<H>;
fn witness(&self) -> &[Self::WitnessData];
type Identity: crate::kernel::op::Identity<H>;
fn proves_identity(&self) -> &Self::Identity;
fn verified_at_level(&self) -> &[WittLevel];
fn strategy(&self) -> ProofStrategy;
fn depends_on(&self) -> &[Self::Identity];
type DerivationTerm: DerivationTerm<H>;
fn formal_derivation(&self) -> &Self::DerivationTerm;
}
pub trait CoherenceProof<H: HostTypes>: Proof<H> {}
pub trait ComputationCertificate<H: HostTypes>: Proof<H> {
fn at_witt_level(&self) -> WittLevel;
}
pub trait AxiomaticDerivation<H: HostTypes>: Proof<H> {
fn universal_scope(&self) -> bool;
type Derivation: crate::bridge::derivation::Derivation<H>;
fn derivation_witness(&self) -> &[Self::Derivation];
}
pub trait CriticalIdentityProof<H: HostTypes>: ComputationCertificate<H> {}
pub trait WitnessData<H: HostTypes> {
fn x(&self) -> &[i64];
fn bnot_x(&self) -> &[i64];
fn neg_bnot_x(&self) -> &[i64];
fn succ_x(&self) -> &[i64];
fn holds(&self) -> &[bool];
}
pub trait ImpossibilityWitness<H: HostTypes>: Proof<H> {
fn impossibility_reason(&self) -> &H::HostString;
fn impossibility_domain(&self) -> VerificationDomain;
fn achievability_status(&self) -> AchievabilityStatus;
}
pub trait MorphospaceRecord<H: HostTypes> {
fn boundary_type(&self) -> AchievabilityStatus;
}
pub trait MorphospaceBoundary<H: HostTypes> {
type MorphospaceRecord: MorphospaceRecord<H>;
fn morphospace_record(&self) -> &[Self::MorphospaceRecord];
}
pub trait InductiveProof<H: HostTypes>: Proof<H> {
type Proof: Proof<H>;
fn base_case(&self) -> &Self::Proof;
fn inductive_step(&self) -> &Self::Proof;
fn valid_for_kat_least(&self) -> u64;
}
pub trait DerivationTerm<H: HostTypes> {}
pub trait TacticApplication<H: HostTypes>: DerivationTerm<H> {}
pub trait LemmaInvocation<H: HostTypes>: DerivationTerm<H> {}
pub trait InductionStep<H: HostTypes>: DerivationTerm<H> {}
pub trait ComputationStep<H: HostTypes>: DerivationTerm<H> {}
pub trait InhabitanceImpossibilityWitness<H: HostTypes>: ImpossibilityWitness<H> {
fn contradiction_proof(&self) -> &H::HostString;
type ConstrainedType: crate::user::type_::ConstrainedType<H>;
fn grounded(&self) -> &Self::ConstrainedType;
type InhabitanceSearchTrace: crate::bridge::trace::InhabitanceSearchTrace<H>;
fn search_trace(&self) -> &Self::InhabitanceSearchTrace;
}
pub mod ring_axiom {}
pub mod decide_q0 {}
pub mod bitwise_induction {}
pub mod group_presentation {}
pub mod simplification {}
pub mod chinese_remainder {}
pub mod euler_poincare {}
pub mod product_formula {}
pub mod composition {}
pub mod contradiction {}
pub mod computation {}
pub mod prf_critical_identity {
pub const AT_WITT_LEVEL: &str = "https://uor.foundation/schema/W8";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/criticalIdentity";
pub const STRATEGY: &str = "https://uor.foundation/proof/Computation";
pub const VERIFIED: bool = true;
}
pub mod prf_critical_identity_axiomatic {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/criticalIdentity";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_phi_1 {
pub const AT_WITT_LEVEL: &str = "https://uor.foundation/schema/W8";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/phi_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Computation";
pub const VERIFIED: bool = true;
}
pub mod prf_phi_2 {
pub const AT_WITT_LEVEL: &str = "https://uor.foundation/schema/W8";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/phi_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Computation";
pub const VERIFIED: bool = true;
}
pub mod prf_phi_3 {
pub const AT_WITT_LEVEL: &str = "https://uor.foundation/schema/W8";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/phi_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Computation";
pub const VERIFIED: bool = true;
}
pub mod prf_phi_4 {
pub const AT_WITT_LEVEL: &str = "https://uor.foundation/schema/W8";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/phi_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Computation";
pub const VERIFIED: bool = true;
}
pub mod prf_phi_5 {
pub const AT_WITT_LEVEL: &str = "https://uor.foundation/schema/W8";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/phi_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Computation";
pub const VERIFIED: bool = true;
}
pub mod prf_phi_6 {
pub const AT_WITT_LEVEL: &str = "https://uor.foundation/schema/W8";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/phi_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Computation";
pub const VERIFIED: bool = true;
}
pub mod prf_ad_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AD_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ad_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AD_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_r_a1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/R_A1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_r_a2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/R_A2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_r_a3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/R_A3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_r_a4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/R_A4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_r_a5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/R_A5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_r_a6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/R_A6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_r_m1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/R_M1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_r_m2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/R_M2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_r_m3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/R_M3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_r_m4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/R_M4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_r_m5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/R_M5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_10 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_10";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_11 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_11";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_12 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_12";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_13 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_13";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_x_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/X_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_x_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/X_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_x_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/X_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_x_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/X_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_x_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/X_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_x_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/X_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_x_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/X_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_d_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/D_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_d_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/D_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_d_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/D_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_d_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/D_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_u_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/U_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/ChineseRemainder";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_u_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/U_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/ChineseRemainder";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_u_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/U_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/ChineseRemainder";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_u_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/U_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/ChineseRemainder";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_u_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/U_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/ChineseRemainder";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ag_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AG_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ag_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AG_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ag_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AG_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ag_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AG_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ca_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CA_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ca_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CA_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ca_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CA_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ca_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CA_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ca_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CA_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ca_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CA_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_c_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/C_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_c_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/C_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_c_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/C_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_c_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/C_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_c_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/C_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_c_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/C_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cdi {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CDI";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cl_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CL_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cl_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CL_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cl_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CL_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cl_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CL_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cl_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CL_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cm_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CM_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cm_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CM_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cm_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CM_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cr_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CR_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cr_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CR_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cr_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CR_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cr_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CR_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cr_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CR_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_f_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/F_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_f_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/F_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_f_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/F_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_f_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/F_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fl_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FL_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fl_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FL_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fl_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FL_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fl_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FL_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fpm_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FPM_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fpm_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FPM_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fpm_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FPM_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fpm_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FPM_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fpm_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FPM_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fpm_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FPM_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fpm_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FPM_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fs_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FS_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fs_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FS_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fs_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FS_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fs_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FS_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fs_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FS_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fs_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FS_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fs_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FS_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_re_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RE_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ir_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IR_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ir_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IR_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ir_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IR_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ir_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IR_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sf_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SF_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sf_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SF_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rd_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RD_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rd_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RD_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_se_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SE_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_se_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SE_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_se_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SE_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_se_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SE_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oo_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OO_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oo_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OO_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oo_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OO_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oo_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OO_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oo_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OO_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cb_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CB_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cb_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CB_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cb_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CB_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cb_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CB_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cb_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CB_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cb_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CB_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_m1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_M1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_m2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_M2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_m3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_M3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_m4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_M4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_m5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_M5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_m6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_M6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_c1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_C1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_c2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_C2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_c3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_C3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_h1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_H1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_h2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_H2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_h3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_H3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_p1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_P1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_p2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_P2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_p3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_P3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ct_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CT_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ct_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CT_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ct_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CT_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ct_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CT_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cf_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CF_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cf_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CF_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cf_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CF_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cf_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CF_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_hg_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HG_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_hg_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HG_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_hg_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HG_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_hg_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HG_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_hg_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HG_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_c1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_C1";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_c2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_C2";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_c3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_C3";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_c4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_C4";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_i1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_I1";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_i2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_I2";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_i3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_I3";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_i4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_I4";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_i5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_I5";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_e1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_E1";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_e2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_E2";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_e3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_E3";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_e4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_E4";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_a1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_A1";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_a2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_A2";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_a3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_A3";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_a4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_A4";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_au_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AU_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_au_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AU_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_au_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AU_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_au_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AU_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_au_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AU_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ef_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EF_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ef_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EF_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ef_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EF_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ef_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EF_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ef_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EF_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ef_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EF_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ef_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EF_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_aa_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AA_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_aa_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AA_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_aa_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AA_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_aa_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AA_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_aa_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AA_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_aa_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AA_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_am_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AM_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_am_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AM_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_am_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AM_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_am_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AM_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_th_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TH_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_th_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TH_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_th_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TH_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_th_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TH_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_th_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TH_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_th_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TH_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_th_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TH_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_th_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TH_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_th_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TH_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_th_10 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TH_10";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ar_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AR_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ar_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AR_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ar_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AR_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ar_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AR_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ar_5 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_AR_5_base";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_AR_5_step";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AR_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 0;
pub const VERIFIED: bool = true;
}
pub mod prf_pd_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PD_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pd_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PD_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pd_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PD_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pd_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PD_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pd_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PD_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rc_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RC_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rc_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RC_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rc_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RC_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rc_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RC_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rc_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RC_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dc_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DC_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dc_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DC_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dc_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DC_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dc_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DC_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dc_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DC_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dc_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DC_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dc_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DC_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dc_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DC_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dc_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DC_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dc_10 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DC_10";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dc_11 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DC_11";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ha_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HA_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ha_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HA_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ha_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HA_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_it_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IT_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_it_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IT_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_it_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IT_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_it_7a {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IT_7a";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_it_7b {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IT_7b";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_it_7c {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IT_7c";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_it_7d {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IT_7d";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_psi_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/psi_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_psi_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/psi_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_psi_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/psi_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_psi_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/psi_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_psi_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/psi_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_boundary_squared_zero {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/homology/boundarySquaredZero";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_psi_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/homology/psi_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_index_bridge {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/homology/indexBridge";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_coboundary_squared_zero {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/cohomology/coboundarySquaredZero";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_de_rham_duality {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/cohomology/deRhamDuality";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sheaf_cohomology_bridge {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/cohomology/sheafCohomologyBridge";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_local_global_principle {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/cohomology/localGlobalPrinciple";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_surface_symmetry {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/surfaceSymmetry";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cc_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CC_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cc_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CC_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cc_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CC_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cc_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CC_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cc_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CC_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ql_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QL_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ql_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QL_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ql_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QL_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ql_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QL_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ql_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QL_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ql_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QL_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ql_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QL_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gr_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GR_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gr_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GR_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gr_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GR_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gr_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GR_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gr_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GR_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ts_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TS_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ts_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TS_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ts_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TS_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ts_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TS_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ts_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TS_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ts_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TS_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ts_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TS_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_1 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_WLS_1_base";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_WLS_6";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 0;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_2 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_WLS_2_base";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_WLS_2_step";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 0;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_3 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_WLS_3_base";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_WLS_3_step";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 0;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_4 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_WLS_4_base";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_WLS_4_step";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 0;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_5 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_WLS_5_base";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_WLS_6";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 0;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_6 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_WLS_6_base";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_WLS_6_step";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 0;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_1_base {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = false;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_2_base {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = false;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_2_step {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_3_base {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = false;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_3_step {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_4_base {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = false;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_4_step {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_5_base {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = false;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_6_base {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = false;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_6_step {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wt_3_base {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WT_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = false;
pub const VERIFIED: bool = true;
}
pub mod prf_wt_5_base {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WT_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = false;
pub const VERIFIED: bool = true;
}
pub mod prf_ar_5_base {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AR_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = false;
pub const VERIFIED: bool = true;
}
pub mod prf_ar_5_step {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AR_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_qm_6_base {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QM_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = false;
pub const VERIFIED: bool = true;
}
pub mod prf_qm_6_step {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QM_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mn_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MN_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mn_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MN_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mn_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MN_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mn_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MN_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mn_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MN_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mn_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MN_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mn_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MN_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pt_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PT_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pt_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PT_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pt_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PT_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pt_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PT_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_st_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ST_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_st_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ST_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gs_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GS_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gs_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GS_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gs_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GS_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gs_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GS_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gs_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GS_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gs_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GS_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gs_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GS_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ms_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MS_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ms_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MS_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ms_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MS_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ms_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MS_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ms_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MS_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gd_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GD_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gd_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GD_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gd_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GD_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gd_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GD_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gd_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GD_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_qm_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QM_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_qm_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QM_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_qm_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QM_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_qm_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QM_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_qm_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QM_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rc_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RC_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fpm_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FPM_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/DecideQ0";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fpm_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FPM_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mn_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MN_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ql_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QL_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_d_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/D_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sp_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SP_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sp_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SP_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sp_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SP_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sp_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SP_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pt_2a {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PT_2a";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pt_2b {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PT_2b";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gd_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GD_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod iw_beta0_bound {
pub const FORBIDS_SIGNATURE: &str = "β₀ = 0";
pub const IMPOSSIBILITY_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
pub const IMPOSSIBILITY_REASON: &str =
"β₀ = 0 violates MS_1: constraint nerve of non-empty set is connected";
pub const STRATEGY: &str = "https://uor.foundation/proof/Contradiction";
pub const VERIFIED: bool = true;
}
pub mod iw_chi_ceiling {
pub const FORBIDS_SIGNATURE: &str = "χ > n";
pub const IMPOSSIBILITY_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
pub const IMPOSSIBILITY_REASON: &str =
"χ > n violates MS_2: Euler characteristic bounded by quantum level";
pub const STRATEGY: &str = "https://uor.foundation/proof/Contradiction";
pub const VERIFIED: bool = true;
}
pub mod mr_completeness_target {
pub const BOUNDARY_TYPE: &str = "https://uor.foundation/observable/Achievable";
pub const VERIFIED: bool = true;
}
pub mod mr_connectivity_lower {
pub const BOUNDARY_TYPE: &str = "https://uor.foundation/observable/Forbidden";
pub const VERIFIED: bool = true;
}
pub mod prf_wt_1 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_WLS_1";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_WLS_6";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WT_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 0;
pub const VERIFIED: bool = true;
}
pub mod prf_wt_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WT_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wt_3 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_WT_3_base";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_WLS_3";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WT_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 0;
pub const VERIFIED: bool = true;
}
pub mod prf_wt_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WT_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wt_5 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_WT_5_base";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_WT_1";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WT_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 0;
pub const VERIFIED: bool = true;
}
pub mod prf_wt_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WT_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wt_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WT_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cc_pins {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CC_PINS";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cc_cost_site {
pub const AT_WITT_LEVEL: &str = "https://uor.foundation/schema/W8";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CC_COST_SITE";
pub const STRATEGY: &str = "https://uor.foundation/proof/Computation";
pub const VERIFIED: bool = true;
}
pub mod prf_jsat_rr {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/jsat_RR";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_jsat_cr {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/jsat_CR";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_jsat_cc {
pub const AT_WITT_LEVEL: &str = "https://uor.foundation/schema/W8";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/jsat_CC";
pub const STRATEGY: &str = "https://uor.foundation/proof/Computation";
pub const VERIFIED: bool = true;
}
pub mod prf_d_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/D_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_d_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/D_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_exp_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EXP_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_exp_2 {
pub const AT_WITT_LEVEL: &str = "https://uor.foundation/schema/W8";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EXP_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Computation";
pub const VERIFIED: bool = true;
}
pub mod prf_exp_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EXP_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_st_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ST_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_st_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ST_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_st_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ST_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ts_8 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_HA_1";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_TS_4";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TS_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 1;
pub const VERIFIED: bool = true;
}
pub mod prf_ts_9 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_TS_1";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_TS_4";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TS_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 1;
pub const VERIFIED: bool = true;
}
pub mod prf_ts_10 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TS_10";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wt_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WT_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wt_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WT_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_coeff_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/COEFF_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_go_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GO_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gr_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GR_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gr_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GR_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_qm_6 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_QM_6_base";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_QM_6_step";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QM_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 0;
pub const VERIFIED: bool = true;
}
pub mod prf_cic_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CIC_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cic_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CIC_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cic_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CIC_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cic_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CIC_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cic_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CIC_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cic_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CIC_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cic_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CIC_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gc_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GC_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gr_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GR_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = false;
pub const VERIFIED: bool = true;
}
pub mod prf_gr_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GR_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gr_10 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GR_10";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mc_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MC_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mc_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MC_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mc_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MC_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mc_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MC_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mc_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MC_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mc_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MC_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mc_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MC_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mc_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MC_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_10 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_10";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_11 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_11";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_12 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_12";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oa_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OA_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oa_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OA_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oa_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OA_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oa_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OA_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oa_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OA_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ht_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HT_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ht_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HT_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ht_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HT_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ht_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HT_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ht_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HT_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ht_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HT_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ht_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HT_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ht_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HT_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_psi_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/psi_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_psi_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/psi_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_psi_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/psi_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_hp_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HP_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_hp_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HP_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_hp_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HP_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_hp_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HP_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_md_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MD_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_md_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MD_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_md_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MD_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_md_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MD_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_md_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MD_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_md_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MD_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_md_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MD_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_md_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MD_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_md_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MD_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_md_10 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MD_10";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mr_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MR_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mr_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MR_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mr_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MR_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mr_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MR_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cy_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CY_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cy_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CY_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cy_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CY_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cy_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CY_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cy_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CY_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cy_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CY_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cy_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CY_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_bm_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/BM_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_bm_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/BM_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_bm_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/BM_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_bm_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/BM_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_bm_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/BM_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_bm_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/BM_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gl_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GL_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gl_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GL_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gl_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GL_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gl_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GL_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_nv_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/NV_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_nv_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/NV_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_nv_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/NV_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_nv_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/NV_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sd_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SD_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sd_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SD_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sd_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SD_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sd_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SD_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sd_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SD_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sd_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SD_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sd_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SD_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sd_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SD_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dd_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DD_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dd_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DD_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pi_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PI_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pi_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PI_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pi_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PI_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pi_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PI_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pi_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PI_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pa_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PA_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pa_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PA_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pa_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PA_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pa_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PA_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pa_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PA_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pl_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PL_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pl_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PL_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pl_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PL_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pk_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PK_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pk_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PK_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pp_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PP_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pe_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PE_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pe_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PE_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pe_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PE_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pe_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PE_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pe_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PE_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pe_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PE_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pe_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PE_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pm_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PM_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pm_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PM_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pm_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PM_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pm_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PM_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pm_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PM_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pm_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PM_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pm_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PM_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_er_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ER_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_er_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ER_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_er_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ER_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_er_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ER_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ea_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EA_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ea_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EA_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ea_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EA_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ea_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EA_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oe_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OE_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oe_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OE_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oe_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OE_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oe_4a {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OE_4a";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oe_4b {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OE_4b";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oe_4c {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OE_4c";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cs_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CS_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cs_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CS_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cs_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CS_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cs_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CS_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cs_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CS_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fa_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FA_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fa_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FA_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fa_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FA_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sw_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SW_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sw_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SW_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sw_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SW_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sw_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SW_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ls_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/LS_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ls_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/LS_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ls_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/LS_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ls_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/LS_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_tj_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TJ_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_tj_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TJ_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_tj_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TJ_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ap_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AP_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ap_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AP_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ap_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AP_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ec_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EC_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ec_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EC_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ec_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EC_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ec_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EC_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ec_4a {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EC_4a";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ec_4b {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EC_4b";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ec_4c {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EC_4c";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ec_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EC_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_da_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DA_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_da_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DA_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_da_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DA_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_da_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DA_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_da_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DA_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_da_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DA_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_da_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DA_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_in_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IN_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_in_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IN_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_in_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IN_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_in_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IN_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_in_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IN_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_in_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IN_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_in_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IN_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_in_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IN_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_in_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IN_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_as_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AS_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_as_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AS_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_as_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AS_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_as_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AS_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mo_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MO_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mo_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MO_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mo_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MO_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mo_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MO_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mo_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MO_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_op_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OP_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_op_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OP_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_op_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OP_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_op_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OP_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_op_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OP_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fx_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FX_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fx_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FX_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fx_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FX_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fx_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FX_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fx_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FX_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fx_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FX_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fx_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FX_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pr_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PR_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pr_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PR_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pr_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PR_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pr_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PR_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pr_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PR_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cg_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CG_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cg_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CG_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dis_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DIS_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dis_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DIS_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_par_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PAR_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_par_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PAR_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_par_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PAR_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_par_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PAR_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_par_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PAR_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ho_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HO_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ho_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HO_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ho_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HO_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ho_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HO_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_str_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/STR_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_str_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/STR_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_str_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/STR_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_str_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/STR_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_str_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/STR_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_str_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/STR_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_flr_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FLR_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_flr_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FLR_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_flr_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FLR_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_flr_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FLR_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_flr_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FLR_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_flr_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FLR_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ln_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/LN_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ln_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/LN_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ln_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/LN_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ln_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/LN_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ln_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/LN_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ln_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/LN_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sb_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SB_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sb_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SB_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sb_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SB_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sb_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SB_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sb_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SB_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sb_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SB_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_br_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/BR_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_br_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/BR_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_br_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/BR_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_br_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/BR_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_br_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/BR_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rg_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RG_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rg_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RG_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rg_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RG_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rg_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RG_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_io_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IO_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_io_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IO_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_io_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IO_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_io_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IO_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_io_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IO_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cs_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CS_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cs_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CS_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ih_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IH_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ih_2a {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IH_2a";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ih_2b {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IH_2b";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ih_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IH_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}