network unknown {
}
variable BarrierDegradation {
  type discrete [ 2 ] { Fast, Slow };
}
variable ChemicalDegradation {
  type discrete [ 2 ] { Fast, Slow };
}
variable CrackAperture {
  type discrete [ 2 ] { Micro, Macro };
}
variable DiffusionCoefficient {
  type discrete [ 2 ] { Low, High };
}
variable DistributionCoefficient {
  type discrete [ 2 ] { Low, High };
}
variable DoseRate {
  type discrete [ 2 ] { Violated, Not Violated };
}
variable Earthquake {
  type discrete [ 2 ] { BDBE, Major };
}
variable HydraulicConductivity {
  type discrete [ 3 ] { Low, Medium, High };
}
variable MonolithDegradation {
  type discrete [ 3 ] { Very Fast, Fast, Slow };
}
variable WaterFlux {
  type discrete [ 2 ] { Low, High };
}
probability ( BarrierDegradation | Earthquake ) {
  (BDBE) 0.154, 0.846;
  (Major) 0.425, 0.575;
}
probability ( ChemicalDegradation ) {
  table 0.6, 0.4;
}
probability ( CrackAperture ) {
  table 0.838, 0.162;
}
probability ( DiffusionCoefficient ) {
  table 0.625, 0.375;
}
probability ( DistributionCoefficient ) {
  table 0.625, 0.375;
}
probability ( DoseRate | BarrierDegradation, ChemicalDegradation, CrackAperture, DiffusionCoefficient, DistributionCoefficient, HydraulicConductivity, MonolithDegradation, WaterFlux ) {
  (Fast, Fast, Micro, Low, Low, Low, Very Fast, Low) 0.0, 1.0;
  (Slow, Fast, Micro, Low, Low, Low, Very Fast, Low) 0.5, 0.5;
  (Fast, Slow, Micro, Low, Low, Low, Very Fast, Low) 0.0, 1.0;
  (Slow, Slow, Micro, Low, Low, Low, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Macro, Low, Low, Low, Very Fast, Low) 0.25, 0.75;
  (Slow, Fast, Macro, Low, Low, Low, Very Fast, Low) 0.0, 1.0;
  (Fast, Slow, Macro, Low, Low, Low, Very Fast, Low) 0.0, 1.0;
  (Slow, Slow, Macro, Low, Low, Low, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, High, Low, Low, Very Fast, Low) 0.333, 0.667;
  (Slow, Fast, Micro, High, Low, Low, Very Fast, Low) 0.0, 1.0;
  (Fast, Slow, Micro, High, Low, Low, Very Fast, Low) 0.333, 0.667;
  (Slow, Slow, Micro, High, Low, Low, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Macro, High, Low, Low, Very Fast, Low) 0.333, 0.667;
  (Slow, Fast, Macro, High, Low, Low, Very Fast, Low) 0.333, 0.667;
  (Fast, Slow, Macro, High, Low, Low, Very Fast, Low) 0.0, 1.0;
  (Slow, Slow, Macro, High, Low, Low, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, Low, High, Low, Very Fast, Low) 0.0, 1.0;
  (Slow, Fast, Micro, Low, High, Low, Very Fast, Low) 0.0, 1.0;
  (Fast, Slow, Micro, Low, High, Low, Very Fast, Low) 0.0, 1.0;
  (Slow, Slow, Micro, Low, High, Low, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Macro, Low, High, Low, Very Fast, Low) 0.0, 1.0;
  (Slow, Fast, Macro, Low, High, Low, Very Fast, Low) 0.0, 1.0;
  (Fast, Slow, Macro, Low, High, Low, Very Fast, Low) 0.0, 1.0;
  (Slow, Slow, Macro, Low, High, Low, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, High, High, Low, Very Fast, Low) 0.0, 1.0;
  (Slow, Fast, Micro, High, High, Low, Very Fast, Low) 0.0, 1.0;
  (Fast, Slow, Micro, High, High, Low, Very Fast, Low) 0.0, 1.0;
  (Slow, Slow, Micro, High, High, Low, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Macro, High, High, Low, Very Fast, Low) 0.0, 1.0;
  (Slow, Fast, Macro, High, High, Low, Very Fast, Low) 0.0, 1.0;
  (Fast, Slow, Macro, High, High, Low, Very Fast, Low) 0.0, 1.0;
  (Slow, Slow, Macro, High, High, Low, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, Low, Low, Medium, Very Fast, Low) 0.333, 0.667;
  (Slow, Fast, Micro, Low, Low, Medium, Very Fast, Low) 0.0, 1.0;
  (Fast, Slow, Micro, Low, Low, Medium, Very Fast, Low) 0.0, 1.0;
  (Slow, Slow, Micro, Low, Low, Medium, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Macro, Low, Low, Medium, Very Fast, Low) 0.0, 1.0;
  (Slow, Fast, Macro, Low, Low, Medium, Very Fast, Low) 0.0, 1.0;
  (Fast, Slow, Macro, Low, Low, Medium, Very Fast, Low) 0.333, 0.667;
  (Slow, Slow, Macro, Low, Low, Medium, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, High, Low, Medium, Very Fast, Low) 0.0, 1.0;
  (Slow, Fast, Micro, High, Low, Medium, Very Fast, Low) 0.0, 1.0;
  (Fast, Slow, Micro, High, Low, Medium, Very Fast, Low) 0.0, 1.0;
  (Slow, Slow, Micro, High, Low, Medium, Very Fast, Low) 0.333, 0.667;
  (Fast, Fast, Macro, High, Low, Medium, Very Fast, Low) 0.0, 1.0;
  (Slow, Fast, Macro, High, Low, Medium, Very Fast, Low) 0.333, 0.667;
  (Fast, Slow, Macro, High, Low, Medium, Very Fast, Low) 0.0, 1.0;
  (Slow, Slow, Macro, High, Low, Medium, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, Low, High, Medium, Very Fast, Low) 0.0, 1.0;
  (Slow, Fast, Micro, Low, High, Medium, Very Fast, Low) 0.0, 1.0;
  (Fast, Slow, Micro, Low, High, Medium, Very Fast, Low) 0.0, 1.0;
  (Slow, Slow, Micro, Low, High, Medium, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Macro, Low, High, Medium, Very Fast, Low) 0.0, 1.0;
  (Slow, Fast, Macro, Low, High, Medium, Very Fast, Low) 0.0, 1.0;
  (Fast, Slow, Macro, Low, High, Medium, Very Fast, Low) 0.0, 1.0;
  (Slow, Slow, Macro, Low, High, Medium, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, High, High, Medium, Very Fast, Low) 0.0, 1.0;
  (Slow, Fast, Micro, High, High, Medium, Very Fast, Low) 0.0, 1.0;
  (Fast, Slow, Micro, High, High, Medium, Very Fast, Low) 0.0, 1.0;
  (Slow, Slow, Micro, High, High, Medium, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Macro, High, High, Medium, Very Fast, Low) 0.0, 1.0;
  (Slow, Fast, Macro, High, High, Medium, Very Fast, Low) 0.0, 1.0;
  (Fast, Slow, Macro, High, High, Medium, Very Fast, Low) 0.0, 1.0;
  (Slow, Slow, Macro, High, High, Medium, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, Low, Low, High, Very Fast, Low) 0.0, 1.0;
  (Slow, Fast, Micro, Low, Low, High, Very Fast, Low) 0.0, 1.0;
  (Fast, Slow, Micro, Low, Low, High, Very Fast, Low) 0.333, 0.667;
  (Slow, Slow, Micro, Low, Low, High, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Macro, Low, Low, High, Very Fast, Low) 0.667, 0.333;
  (Slow, Fast, Macro, Low, Low, High, Very Fast, Low) 0.0, 1.0;
  (Fast, Slow, Macro, Low, Low, High, Very Fast, Low) 0.667, 0.333;
  (Slow, Slow, Macro, Low, Low, High, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, High, Low, High, Very Fast, Low) 0.333, 0.667;
  (Slow, Fast, Micro, High, Low, High, Very Fast, Low) 0.333, 0.667;
  (Fast, Slow, Micro, High, Low, High, Very Fast, Low) 0.0, 1.0;
  (Slow, Slow, Micro, High, Low, High, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Macro, High, Low, High, Very Fast, Low) 0.0, 1.0;
  (Slow, Fast, Macro, High, Low, High, Very Fast, Low) 0.25, 0.75;
  (Fast, Slow, Macro, High, Low, High, Very Fast, Low) 0.0, 1.0;
  (Slow, Slow, Macro, High, Low, High, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, Low, High, High, Very Fast, Low) 0.0, 1.0;
  (Slow, Fast, Micro, Low, High, High, Very Fast, Low) 0.0, 1.0;
  (Fast, Slow, Micro, Low, High, High, Very Fast, Low) 0.0, 1.0;
  (Slow, Slow, Micro, Low, High, High, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Macro, Low, High, High, Very Fast, Low) 0.0, 1.0;
  (Slow, Fast, Macro, Low, High, High, Very Fast, Low) 0.0, 1.0;
  (Fast, Slow, Macro, Low, High, High, Very Fast, Low) 0.0, 1.0;
  (Slow, Slow, Macro, Low, High, High, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, High, High, High, Very Fast, Low) 0.0, 1.0;
  (Slow, Fast, Micro, High, High, High, Very Fast, Low) 0.0, 1.0;
  (Fast, Slow, Micro, High, High, High, Very Fast, Low) 0.0, 1.0;
  (Slow, Slow, Micro, High, High, High, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Macro, High, High, High, Very Fast, Low) 0.0, 1.0;
  (Slow, Fast, Macro, High, High, High, Very Fast, Low) 0.0, 1.0;
  (Fast, Slow, Macro, High, High, High, Very Fast, Low) 0.0, 1.0;
  (Slow, Slow, Macro, High, High, High, Very Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, Low, Low, Low, Fast, Low) 0.667, 0.333;
  (Slow, Fast, Micro, Low, Low, Low, Fast, Low) 0.0, 1.0;
  (Fast, Slow, Micro, Low, Low, Low, Fast, Low) 0.333, 0.667;
  (Slow, Slow, Micro, Low, Low, Low, Fast, Low) 0.0, 1.0;
  (Fast, Fast, Macro, Low, Low, Low, Fast, Low) 0.0, 1.0;
  (Slow, Fast, Macro, Low, Low, Low, Fast, Low) 0.0, 1.0;
  (Fast, Slow, Macro, Low, Low, Low, Fast, Low) 0.333, 0.667;
  (Slow, Slow, Macro, Low, Low, Low, Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, High, Low, Low, Fast, Low) 0.5, 0.5;
  (Slow, Fast, Micro, High, Low, Low, Fast, Low) 0.0, 1.0;
  (Fast, Slow, Micro, High, Low, Low, Fast, Low) 0.667, 0.333;
  (Slow, Slow, Micro, High, Low, Low, Fast, Low) 0.0, 1.0;
  (Fast, Fast, Macro, High, Low, Low, Fast, Low) 0.5, 0.5;
  (Slow, Fast, Macro, High, Low, Low, Fast, Low) 0.0, 1.0;
  (Fast, Slow, Macro, High, Low, Low, Fast, Low) 0.0, 1.0;
  (Slow, Slow, Macro, High, Low, Low, Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, Low, High, Low, Fast, Low) 0.0, 1.0;
  (Slow, Fast, Micro, Low, High, Low, Fast, Low) 0.0, 1.0;
  (Fast, Slow, Micro, Low, High, Low, Fast, Low) 0.0, 1.0;
  (Slow, Slow, Micro, Low, High, Low, Fast, Low) 0.0, 1.0;
  (Fast, Fast, Macro, Low, High, Low, Fast, Low) 0.0, 1.0;
  (Slow, Fast, Macro, Low, High, Low, Fast, Low) 0.0, 1.0;
  (Fast, Slow, Macro, Low, High, Low, Fast, Low) 0.0, 1.0;
  (Slow, Slow, Macro, Low, High, Low, Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, High, High, Low, Fast, Low) 0.0, 1.0;
  (Slow, Fast, Micro, High, High, Low, Fast, Low) 0.0, 1.0;
  (Fast, Slow, Micro, High, High, Low, Fast, Low) 0.0, 1.0;
  (Slow, Slow, Micro, High, High, Low, Fast, Low) 0.0, 1.0;
  (Fast, Fast, Macro, High, High, Low, Fast, Low) 0.0, 1.0;
  (Slow, Fast, Macro, High, High, Low, Fast, Low) 0.0, 1.0;
  (Fast, Slow, Macro, High, High, Low, Fast, Low) 0.0, 1.0;
  (Slow, Slow, Macro, High, High, Low, Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, Low, Low, Medium, Fast, Low) 0.333, 0.667;
  (Slow, Fast, Micro, Low, Low, Medium, Fast, Low) 0.333, 0.667;
  (Fast, Slow, Micro, Low, Low, Medium, Fast, Low) 0.0, 1.0;
  (Slow, Slow, Micro, Low, Low, Medium, Fast, Low) 0.333, 0.667;
  (Fast, Fast, Macro, Low, Low, Medium, Fast, Low) 0.0, 1.0;
  (Slow, Fast, Macro, Low, Low, Medium, Fast, Low) 0.0, 1.0;
  (Fast, Slow, Macro, Low, Low, Medium, Fast, Low) 0.0, 1.0;
  (Slow, Slow, Macro, Low, Low, Medium, Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, High, Low, Medium, Fast, Low) 0.0, 1.0;
  (Slow, Fast, Micro, High, Low, Medium, Fast, Low) 0.333, 0.667;
  (Fast, Slow, Micro, High, Low, Medium, Fast, Low) 0.667, 0.333;
  (Slow, Slow, Micro, High, Low, Medium, Fast, Low) 0.0, 1.0;
  (Fast, Fast, Macro, High, Low, Medium, Fast, Low) 0.0, 1.0;
  (Slow, Fast, Macro, High, Low, Medium, Fast, Low) 0.0, 1.0;
  (Fast, Slow, Macro, High, Low, Medium, Fast, Low) 0.0, 1.0;
  (Slow, Slow, Macro, High, Low, Medium, Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, Low, High, Medium, Fast, Low) 0.0, 1.0;
  (Slow, Fast, Micro, Low, High, Medium, Fast, Low) 0.0, 1.0;
  (Fast, Slow, Micro, Low, High, Medium, Fast, Low) 0.0, 1.0;
  (Slow, Slow, Micro, Low, High, Medium, Fast, Low) 0.0, 1.0;
  (Fast, Fast, Macro, Low, High, Medium, Fast, Low) 0.0, 1.0;
  (Slow, Fast, Macro, Low, High, Medium, Fast, Low) 0.0, 1.0;
  (Fast, Slow, Macro, Low, High, Medium, Fast, Low) 0.0, 1.0;
  (Slow, Slow, Macro, Low, High, Medium, Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, High, High, Medium, Fast, Low) 0.333, 0.667;
  (Slow, Fast, Micro, High, High, Medium, Fast, Low) 0.0, 1.0;
  (Fast, Slow, Micro, High, High, Medium, Fast, Low) 0.0, 1.0;
  (Slow, Slow, Micro, High, High, Medium, Fast, Low) 0.0, 1.0;
  (Fast, Fast, Macro, High, High, Medium, Fast, Low) 0.0, 1.0;
  (Slow, Fast, Macro, High, High, Medium, Fast, Low) 0.0, 1.0;
  (Fast, Slow, Macro, High, High, Medium, Fast, Low) 0.0, 1.0;
  (Slow, Slow, Macro, High, High, Medium, Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, Low, Low, High, Fast, Low) 0.667, 0.333;
  (Slow, Fast, Micro, Low, Low, High, Fast, Low) 0.0, 1.0;
  (Fast, Slow, Micro, Low, Low, High, Fast, Low) 0.5, 0.5;
  (Slow, Slow, Micro, Low, Low, High, Fast, Low) 0.333, 0.667;
  (Fast, Fast, Macro, Low, Low, High, Fast, Low) 0.333, 0.667;
  (Slow, Fast, Macro, Low, Low, High, Fast, Low) 0.0, 1.0;
  (Fast, Slow, Macro, Low, Low, High, Fast, Low) 0.333, 0.667;
  (Slow, Slow, Macro, Low, Low, High, Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, High, Low, High, Fast, Low) 0.667, 0.333;
  (Slow, Fast, Micro, High, Low, High, Fast, Low) 0.5, 0.5;
  (Fast, Slow, Micro, High, Low, High, Fast, Low) 0.333, 0.667;
  (Slow, Slow, Micro, High, Low, High, Fast, Low) 0.5, 0.5;
  (Fast, Fast, Macro, High, Low, High, Fast, Low) 0.0, 1.0;
  (Slow, Fast, Macro, High, Low, High, Fast, Low) 0.0, 1.0;
  (Fast, Slow, Macro, High, Low, High, Fast, Low) 0.0, 1.0;
  (Slow, Slow, Macro, High, Low, High, Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, Low, High, High, Fast, Low) 0.0, 1.0;
  (Slow, Fast, Micro, Low, High, High, Fast, Low) 0.0, 1.0;
  (Fast, Slow, Micro, Low, High, High, Fast, Low) 0.0, 1.0;
  (Slow, Slow, Micro, Low, High, High, Fast, Low) 0.0, 1.0;
  (Fast, Fast, Macro, Low, High, High, Fast, Low) 0.0, 1.0;
  (Slow, Fast, Macro, Low, High, High, Fast, Low) 0.25, 0.75;
  (Fast, Slow, Macro, Low, High, High, Fast, Low) 0.0, 1.0;
  (Slow, Slow, Macro, Low, High, High, Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, High, High, High, Fast, Low) 0.0, 1.0;
  (Slow, Fast, Micro, High, High, High, Fast, Low) 0.0, 1.0;
  (Fast, Slow, Micro, High, High, High, Fast, Low) 0.0, 1.0;
  (Slow, Slow, Micro, High, High, High, Fast, Low) 0.0, 1.0;
  (Fast, Fast, Macro, High, High, High, Fast, Low) 0.0, 1.0;
  (Slow, Fast, Macro, High, High, High, Fast, Low) 0.0, 1.0;
  (Fast, Slow, Macro, High, High, High, Fast, Low) 0.0, 1.0;
  (Slow, Slow, Macro, High, High, High, Fast, Low) 0.0, 1.0;
  (Fast, Fast, Micro, Low, Low, Low, Slow, Low) 0.667, 0.333;
  (Slow, Fast, Micro, Low, Low, Low, Slow, Low) 0.5, 0.5;
  (Fast, Slow, Micro, Low, Low, Low, Slow, Low) 0.667, 0.333;
  (Slow, Slow, Micro, Low, Low, Low, Slow, Low) 0.5, 0.5;
  (Fast, Fast, Macro, Low, Low, Low, Slow, Low) 0.0, 1.0;
  (Slow, Fast, Macro, Low, Low, Low, Slow, Low) 0.0, 1.0;
  (Fast, Slow, Macro, Low, Low, Low, Slow, Low) 0.0, 1.0;
  (Slow, Slow, Macro, Low, Low, Low, Slow, Low) 0.0, 1.0;
  (Fast, Fast, Micro, High, Low, Low, Slow, Low) 0.667, 0.333;
  (Slow, Fast, Micro, High, Low, Low, Slow, Low) 0.5, 0.5;
  (Fast, Slow, Micro, High, Low, Low, Slow, Low) 0.333, 0.667;
  (Slow, Slow, Micro, High, Low, Low, Slow, Low) 0.0, 1.0;
  (Fast, Fast, Macro, High, Low, Low, Slow, Low) 0.0, 1.0;
  (Slow, Fast, Macro, High, Low, Low, Slow, Low) 0.0, 1.0;
  (Fast, Slow, Macro, High, Low, Low, Slow, Low) 0.0, 1.0;
  (Slow, Slow, Macro, High, Low, Low, Slow, Low) 0.0, 1.0;
  (Fast, Fast, Micro, Low, High, Low, Slow, Low) 0.0, 1.0;
  (Slow, Fast, Micro, Low, High, Low, Slow, Low) 0.0, 1.0;
  (Fast, Slow, Micro, Low, High, Low, Slow, Low) 0.0, 1.0;
  (Slow, Slow, Micro, Low, High, Low, Slow, Low) 0.0, 1.0;
  (Fast, Fast, Macro, Low, High, Low, Slow, Low) 0.0, 1.0;
  (Slow, Fast, Macro, Low, High, Low, Slow, Low) 0.0, 1.0;
  (Fast, Slow, Macro, Low, High, Low, Slow, Low) 0.0, 1.0;
  (Slow, Slow, Macro, Low, High, Low, Slow, Low) 0.0, 1.0;
  (Fast, Fast, Micro, High, High, Low, Slow, Low) 0.0, 1.0;
  (Slow, Fast, Micro, High, High, Low, Slow, Low) 0.0, 1.0;
  (Fast, Slow, Micro, High, High, Low, Slow, Low) 0.0, 1.0;
  (Slow, Slow, Micro, High, High, Low, Slow, Low) 0.333, 0.667;
  (Fast, Fast, Macro, High, High, Low, Slow, Low) 0.0, 1.0;
  (Slow, Fast, Macro, High, High, Low, Slow, Low) 0.0, 1.0;
  (Fast, Slow, Macro, High, High, Low, Slow, Low) 0.0, 1.0;
  (Slow, Slow, Macro, High, High, Low, Slow, Low) 0.0, 1.0;
  (Fast, Fast, Micro, Low, Low, Medium, Slow, Low) 0.333, 0.667;
  (Slow, Fast, Micro, Low, Low, Medium, Slow, Low) 0.5, 0.5;
  (Fast, Slow, Micro, Low, Low, Medium, Slow, Low) 0.667, 0.333;
  (Slow, Slow, Micro, Low, Low, Medium, Slow, Low) 0.5, 0.5;
  (Fast, Fast, Macro, Low, Low, Medium, Slow, Low) 0.0, 1.0;
  (Slow, Fast, Macro, Low, Low, Medium, Slow, Low) 0.0, 1.0;
  (Fast, Slow, Macro, Low, Low, Medium, Slow, Low) 0.0, 1.0;
  (Slow, Slow, Macro, Low, Low, Medium, Slow, Low) 0.0, 1.0;
  (Fast, Fast, Micro, High, Low, Medium, Slow, Low) 0.5, 0.5;
  (Slow, Fast, Micro, High, Low, Medium, Slow, Low) 0.5, 0.5;
  (Fast, Slow, Micro, High, Low, Medium, Slow, Low) 0.333, 0.667;
  (Slow, Slow, Micro, High, Low, Medium, Slow, Low) 0.333, 0.667;
  (Fast, Fast, Macro, High, Low, Medium, Slow, Low) 0.333, 0.667;
  (Slow, Fast, Macro, High, Low, Medium, Slow, Low) 0.0, 1.0;
  (Fast, Slow, Macro, High, Low, Medium, Slow, Low) 0.0, 1.0;
  (Slow, Slow, Macro, High, Low, Medium, Slow, Low) 0.0, 1.0;
  (Fast, Fast, Micro, Low, High, Medium, Slow, Low) 0.0, 1.0;
  (Slow, Fast, Micro, Low, High, Medium, Slow, Low) 0.0, 1.0;
  (Fast, Slow, Micro, Low, High, Medium, Slow, Low) 0.0, 1.0;
  (Slow, Slow, Micro, Low, High, Medium, Slow, Low) 0.0, 1.0;
  (Fast, Fast, Macro, Low, High, Medium, Slow, Low) 0.0, 1.0;
  (Slow, Fast, Macro, Low, High, Medium, Slow, Low) 0.0, 1.0;
  (Fast, Slow, Macro, Low, High, Medium, Slow, Low) 0.0, 1.0;
  (Slow, Slow, Macro, Low, High, Medium, Slow, Low) 0.0, 1.0;
  (Fast, Fast, Micro, High, High, Medium, Slow, Low) 0.0, 1.0;
  (Slow, Fast, Micro, High, High, Medium, Slow, Low) 0.0, 1.0;
  (Fast, Slow, Micro, High, High, Medium, Slow, Low) 0.0, 1.0;
  (Slow, Slow, Micro, High, High, Medium, Slow, Low) 0.0, 1.0;
  (Fast, Fast, Macro, High, High, Medium, Slow, Low) 0.0, 1.0;
  (Slow, Fast, Macro, High, High, Medium, Slow, Low) 0.0, 1.0;
  (Fast, Slow, Macro, High, High, Medium, Slow, Low) 0.0, 1.0;
  (Slow, Slow, Macro, High, High, Medium, Slow, Low) 0.0, 1.0;
  (Fast, Fast, Micro, Low, Low, High, Slow, Low) 0.5, 0.5;
  (Slow, Fast, Micro, Low, Low, High, Slow, Low) 0.667, 0.333;
  (Fast, Slow, Micro, Low, Low, High, Slow, Low) 0.667, 0.333;
  (Slow, Slow, Micro, Low, Low, High, Slow, Low) 0.5, 0.5;
  (Fast, Fast, Macro, Low, Low, High, Slow, Low) 0.0, 1.0;
  (Slow, Fast, Macro, Low, Low, High, Slow, Low) 0.0, 1.0;
  (Fast, Slow, Macro, Low, Low, High, Slow, Low) 0.0, 1.0;
  (Slow, Slow, Macro, Low, Low, High, Slow, Low) 0.0, 1.0;
  (Fast, Fast, Micro, High, Low, High, Slow, Low) 0.5, 0.5;
  (Slow, Fast, Micro, High, Low, High, Slow, Low) 0.0, 1.0;
  (Fast, Slow, Micro, High, Low, High, Slow, Low) 0.5, 0.5;
  (Slow, Slow, Micro, High, Low, High, Slow, Low) 0.667, 0.333;
  (Fast, Fast, Macro, High, Low, High, Slow, Low) 0.0, 1.0;
  (Slow, Fast, Macro, High, Low, High, Slow, Low) 0.0, 1.0;
  (Fast, Slow, Macro, High, Low, High, Slow, Low) 0.0, 1.0;
  (Slow, Slow, Macro, High, Low, High, Slow, Low) 0.0, 1.0;
  (Fast, Fast, Micro, Low, High, High, Slow, Low) 0.0, 1.0;
  (Slow, Fast, Micro, Low, High, High, Slow, Low) 0.0, 1.0;
  (Fast, Slow, Micro, Low, High, High, Slow, Low) 0.0, 1.0;
  (Slow, Slow, Micro, Low, High, High, Slow, Low) 0.0, 1.0;
  (Fast, Fast, Macro, Low, High, High, Slow, Low) 0.0, 1.0;
  (Slow, Fast, Macro, Low, High, High, Slow, Low) 0.0, 1.0;
  (Fast, Slow, Macro, Low, High, High, Slow, Low) 0.0, 1.0;
  (Slow, Slow, Macro, Low, High, High, Slow, Low) 0.0, 1.0;
  (Fast, Fast, Micro, High, High, High, Slow, Low) 0.333, 0.667;
  (Slow, Fast, Micro, High, High, High, Slow, Low) 0.0, 1.0;
  (Fast, Slow, Micro, High, High, High, Slow, Low) 0.5, 0.5;
  (Slow, Slow, Micro, High, High, High, Slow, Low) 0.0, 1.0;
  (Fast, Fast, Macro, High, High, High, Slow, Low) 0.0, 1.0;
  (Slow, Fast, Macro, High, High, High, Slow, Low) 0.0, 1.0;
  (Fast, Slow, Macro, High, High, High, Slow, Low) 0.0, 1.0;
  (Slow, Slow, Macro, High, High, High, Slow, Low) 0.0, 1.0;
  (Fast, Fast, Micro, Low, Low, Low, Very Fast, High) 0.5, 0.5;
  (Slow, Fast, Micro, Low, Low, Low, Very Fast, High) 0.333, 0.667;
  (Fast, Slow, Micro, Low, Low, Low, Very Fast, High) 0.75, 0.25;
  (Slow, Slow, Micro, Low, Low, Low, Very Fast, High) 0.333, 0.667;
  (Fast, Fast, Macro, Low, Low, Low, Very Fast, High) 0.5, 0.5;
  (Slow, Fast, Macro, Low, Low, Low, Very Fast, High) 0.0, 1.0;
  (Fast, Slow, Macro, Low, Low, Low, Very Fast, High) 0.667, 0.333;
  (Slow, Slow, Macro, Low, Low, Low, Very Fast, High) 0.333, 0.667;
  (Fast, Fast, Micro, High, Low, Low, Very Fast, High) 0.667, 0.333;
  (Slow, Fast, Micro, High, Low, Low, Very Fast, High) 0.333, 0.667;
  (Fast, Slow, Micro, High, Low, Low, Very Fast, High) 0.5, 0.5;
  (Slow, Slow, Micro, High, Low, Low, Very Fast, High) 0.667, 0.333;
  (Fast, Fast, Macro, High, Low, Low, Very Fast, High) 0.5, 0.5;
  (Slow, Fast, Macro, High, Low, Low, Very Fast, High) 0.0, 1.0;
  (Fast, Slow, Macro, High, Low, Low, Very Fast, High) 0.667, 0.333;
  (Slow, Slow, Macro, High, Low, Low, Very Fast, High) 0.0, 1.0;
  (Fast, Fast, Micro, Low, High, Low, Very Fast, High) 0.0, 1.0;
  (Slow, Fast, Micro, Low, High, Low, Very Fast, High) 0.0, 1.0;
  (Fast, Slow, Micro, Low, High, Low, Very Fast, High) 0.5, 0.5;
  (Slow, Slow, Micro, Low, High, Low, Very Fast, High) 0.0, 1.0;
  (Fast, Fast, Macro, Low, High, Low, Very Fast, High) 0.0, 1.0;
  (Slow, Fast, Macro, Low, High, Low, Very Fast, High) 0.0, 1.0;
  (Fast, Slow, Macro, Low, High, Low, Very Fast, High) 0.0, 1.0;
  (Slow, Slow, Macro, Low, High, Low, Very Fast, High) 0.0, 1.0;
  (Fast, Fast, Micro, High, High, Low, Very Fast, High) 0.333, 0.667;
  (Slow, Fast, Micro, High, High, Low, Very Fast, High) 0.0, 1.0;
  (Fast, Slow, Micro, High, High, Low, Very Fast, High) 0.333, 0.667;
  (Slow, Slow, Micro, High, High, Low, Very Fast, High) 0.0, 1.0;
  (Fast, Fast, Macro, High, High, Low, Very Fast, High) 0.0, 1.0;
  (Slow, Fast, Macro, High, High, Low, Very Fast, High) 0.0, 1.0;
  (Fast, Slow, Macro, High, High, Low, Very Fast, High) 0.0, 1.0;
  (Slow, Slow, Macro, High, High, Low, Very Fast, High) 0.0, 1.0;
  (Fast, Fast, Micro, Low, Low, Medium, Very Fast, High) 0.667, 0.333;
  (Slow, Fast, Micro, Low, Low, Medium, Very Fast, High) 0.75, 0.25;
  (Fast, Slow, Micro, Low, Low, Medium, Very Fast, High) 0.667, 0.333;
  (Slow, Slow, Micro, Low, Low, Medium, Very Fast, High) 0.333, 0.667;
  (Fast, Fast, Macro, Low, Low, Medium, Very Fast, High) 0.667, 0.333;
  (Slow, Fast, Macro, Low, Low, Medium, Very Fast, High) 0.0, 1.0;
  (Fast, Slow, Macro, Low, Low, Medium, Very Fast, High) 0.5, 0.5;
  (Slow, Slow, Macro, Low, Low, Medium, Very Fast, High) 0.0, 1.0;
  (Fast, Fast, Micro, High, Low, Medium, Very Fast, High) 0.667, 0.333;
  (Slow, Fast, Micro, High, Low, Medium, Very Fast, High) 0.0, 1.0;
  (Fast, Slow, Micro, High, Low, Medium, Very Fast, High) 0.5, 0.5;
  (Slow, Slow, Micro, High, Low, Medium, Very Fast, High) 0.0, 1.0;
  (Fast, Fast, Macro, High, Low, Medium, Very Fast, High) 0.5, 0.5;
  (Slow, Fast, Macro, High, Low, Medium, Very Fast, High) 0.0, 1.0;
  (Fast, Slow, Macro, High, Low, Medium, Very Fast, High) 0.0, 1.0;
  (Slow, Slow, Macro, High, Low, Medium, Very Fast, High) 0.333, 0.667;
  (Fast, Fast, Micro, Low, High, Medium, Very Fast, High) 0.0, 1.0;
  (Slow, Fast, Micro, Low, High, Medium, Very Fast, High) 0.0, 1.0;
  (Fast, Slow, Micro, Low, High, Medium, Very Fast, High) 0.0, 1.0;
  (Slow, Slow, Micro, Low, High, Medium, Very Fast, High) 0.0, 1.0;
  (Fast, Fast, Macro, Low, High, Medium, Very Fast, High) 0.0, 1.0;
  (Slow, Fast, Macro, Low, High, Medium, Very Fast, High) 0.0, 1.0;
  (Fast, Slow, Macro, Low, High, Medium, Very Fast, High) 0.5, 0.5;
  (Slow, Slow, Macro, Low, High, Medium, Very Fast, High) 0.0, 1.0;
  (Fast, Fast, Micro, High, High, Medium, Very Fast, High) 0.5, 0.5;
  (Slow, Fast, Micro, High, High, Medium, Very Fast, High) 0.0, 1.0;
  (Fast, Slow, Micro, High, High, Medium, Very Fast, High) 0.0, 1.0;
  (Slow, Slow, Micro, High, High, Medium, Very Fast, High) 0.0, 1.0;
  (Fast, Fast, Macro, High, High, Medium, Very Fast, High) 0.0, 1.0;
  (Slow, Fast, Macro, High, High, Medium, Very Fast, High) 0.0, 1.0;
  (Fast, Slow, Macro, High, High, Medium, Very Fast, High) 0.0, 1.0;
  (Slow, Slow, Macro, High, High, Medium, Very Fast, High) 0.333, 0.667;
  (Fast, Fast, Micro, Low, Low, High, Very Fast, High) 0.667, 0.333;
  (Slow, Fast, Micro, Low, Low, High, Very Fast, High) 0.5, 0.5;
  (Fast, Slow, Micro, Low, Low, High, Very Fast, High) 0.667, 0.333;
  (Slow, Slow, Micro, Low, Low, High, Very Fast, High) 0.0, 1.0;
  (Fast, Fast, Macro, Low, Low, High, Very Fast, High) 0.5, 0.5;
  (Slow, Fast, Macro, Low, Low, High, Very Fast, High) 0.0, 1.0;
  (Fast, Slow, Macro, Low, Low, High, Very Fast, High) 0.5, 0.5;
  (Slow, Slow, Macro, Low, Low, High, Very Fast, High) 0.0, 1.0;
  (Fast, Fast, Micro, High, Low, High, Very Fast, High) 0.667, 0.333;
  (Slow, Fast, Micro, High, Low, High, Very Fast, High) 0.5, 0.5;
  (Fast, Slow, Micro, High, Low, High, Very Fast, High) 0.667, 0.333;
  (Slow, Slow, Micro, High, Low, High, Very Fast, High) 0.333, 0.667;
  (Fast, Fast, Macro, High, Low, High, Very Fast, High) 0.333, 0.667;
  (Slow, Fast, Macro, High, Low, High, Very Fast, High) 0.0, 1.0;
  (Fast, Slow, Macro, High, Low, High, Very Fast, High) 0.333, 0.667;
  (Slow, Slow, Macro, High, Low, High, Very Fast, High) 0.333, 0.667;
  (Fast, Fast, Micro, Low, High, High, Very Fast, High) 0.667, 0.333;
  (Slow, Fast, Micro, Low, High, High, Very Fast, High) 0.333, 0.667;
  (Fast, Slow, Micro, Low, High, High, Very Fast, High) 0.0, 1.0;
  (Slow, Slow, Micro, Low, High, High, Very Fast, High) 0.0, 1.0;
  (Fast, Fast, Macro, Low, High, High, Very Fast, High) 0.333, 0.667;
  (Slow, Fast, Macro, Low, High, High, Very Fast, High) 0.0, 1.0;
  (Fast, Slow, Macro, Low, High, High, Very Fast, High) 0.0, 1.0;
  (Slow, Slow, Macro, Low, High, High, Very Fast, High) 0.0, 1.0;
  (Fast, Fast, Micro, High, High, High, Very Fast, High) 0.0, 1.0;
  (Slow, Fast, Micro, High, High, High, Very Fast, High) 0.0, 1.0;
  (Fast, Slow, Micro, High, High, High, Very Fast, High) 0.0, 1.0;
  (Slow, Slow, Micro, High, High, High, Very Fast, High) 0.0, 1.0;
  (Fast, Fast, Macro, High, High, High, Very Fast, High) 0.0, 1.0;
  (Slow, Fast, Macro, High, High, High, Very Fast, High) 0.0, 1.0;
  (Fast, Slow, Macro, High, High, High, Very Fast, High) 0.25, 0.75;
  (Slow, Slow, Macro, High, High, High, Very Fast, High) 0.0, 1.0;
  (Fast, Fast, Micro, Low, Low, Low, Fast, High) 0.667, 0.333;
  (Slow, Fast, Micro, Low, Low, Low, Fast, High) 0.0, 1.0;
  (Fast, Slow, Micro, Low, Low, Low, Fast, High) 0.5, 0.5;
  (Slow, Slow, Micro, Low, Low, Low, Fast, High) 0.333, 0.667;
  (Fast, Fast, Macro, Low, Low, Low, Fast, High) 0.0, 1.0;
  (Slow, Fast, Macro, Low, Low, Low, Fast, High) 0.5, 0.5;
  (Fast, Slow, Macro, Low, Low, Low, Fast, High) 0.667, 0.333;
  (Slow, Slow, Macro, Low, Low, Low, Fast, High) 0.333, 0.667;
  (Fast, Fast, Micro, High, Low, Low, Fast, High) 0.75, 0.25;
  (Slow, Fast, Micro, High, Low, Low, Fast, High) 0.5, 0.5;
  (Fast, Slow, Micro, High, Low, Low, Fast, High) 0.5, 0.5;
  (Slow, Slow, Micro, High, Low, Low, Fast, High) 0.333, 0.667;
  (Fast, Fast, Macro, High, Low, Low, Fast, High) 0.333, 0.667;
  (Slow, Fast, Macro, High, Low, Low, Fast, High) 0.5, 0.5;
  (Fast, Slow, Macro, High, Low, Low, Fast, High) 0.667, 0.333;
  (Slow, Slow, Macro, High, Low, Low, Fast, High) 0.0, 1.0;
  (Fast, Fast, Micro, Low, High, Low, Fast, High) 0.5, 0.5;
  (Slow, Fast, Micro, Low, High, Low, Fast, High) 0.0, 1.0;
  (Fast, Slow, Micro, Low, High, Low, Fast, High) 0.333, 0.667;
  (Slow, Slow, Micro, Low, High, Low, Fast, High) 0.0, 1.0;
  (Fast, Fast, Macro, Low, High, Low, Fast, High) 0.0, 1.0;
  (Slow, Fast, Macro, Low, High, Low, Fast, High) 0.0, 1.0;
  (Fast, Slow, Macro, Low, High, Low, Fast, High) 0.333, 0.667;
  (Slow, Slow, Macro, Low, High, Low, Fast, High) 0.333, 0.667;
  (Fast, Fast, Micro, High, High, Low, Fast, High) 0.0, 1.0;
  (Slow, Fast, Micro, High, High, Low, Fast, High) 0.0, 1.0;
  (Fast, Slow, Micro, High, High, Low, Fast, High) 0.0, 1.0;
  (Slow, Slow, Micro, High, High, Low, Fast, High) 0.0, 1.0;
  (Fast, Fast, Macro, High, High, Low, Fast, High) 0.0, 1.0;
  (Slow, Fast, Macro, High, High, Low, Fast, High) 0.0, 1.0;
  (Fast, Slow, Macro, High, High, Low, Fast, High) 0.0, 1.0;
  (Slow, Slow, Macro, High, High, Low, Fast, High) 0.333, 0.667;
  (Fast, Fast, Micro, Low, Low, Medium, Fast, High) 0.667, 0.333;
  (Slow, Fast, Micro, Low, Low, Medium, Fast, High) 0.333, 0.667;
  (Fast, Slow, Micro, Low, Low, Medium, Fast, High) 0.5, 0.5;
  (Slow, Slow, Micro, Low, Low, Medium, Fast, High) 0.5, 0.5;
  (Fast, Fast, Macro, Low, Low, Medium, Fast, High) 0.667, 0.333;
  (Slow, Fast, Macro, Low, Low, Medium, Fast, High) 0.667, 0.333;
  (Fast, Slow, Macro, Low, Low, Medium, Fast, High) 0.0, 1.0;
  (Slow, Slow, Macro, Low, Low, Medium, Fast, High) 0.333, 0.667;
  (Fast, Fast, Micro, High, Low, Medium, Fast, High) 0.667, 0.333;
  (Slow, Fast, Micro, High, Low, Medium, Fast, High) 0.5, 0.5;
  (Fast, Slow, Micro, High, Low, Medium, Fast, High) 0.667, 0.333;
  (Slow, Slow, Micro, High, Low, Medium, Fast, High) 0.5, 0.5;
  (Fast, Fast, Macro, High, Low, Medium, Fast, High) 0.667, 0.333;
  (Slow, Fast, Macro, High, Low, Medium, Fast, High) 0.333, 0.667;
  (Fast, Slow, Macro, High, Low, Medium, Fast, High) 0.75, 0.25;
  (Slow, Slow, Macro, High, Low, Medium, Fast, High) 0.0, 1.0;
  (Fast, Fast, Micro, Low, High, Medium, Fast, High) 0.0, 1.0;
  (Slow, Fast, Micro, Low, High, Medium, Fast, High) 0.0, 1.0;
  (Fast, Slow, Micro, Low, High, Medium, Fast, High) 0.333, 0.667;
  (Slow, Slow, Micro, Low, High, Medium, Fast, High) 0.0, 1.0;
  (Fast, Fast, Macro, Low, High, Medium, Fast, High) 0.667, 0.333;
  (Slow, Fast, Macro, Low, High, Medium, Fast, High) 0.0, 1.0;
  (Fast, Slow, Macro, Low, High, Medium, Fast, High) 0.0, 1.0;
  (Slow, Slow, Macro, Low, High, Medium, Fast, High) 0.0, 1.0;
  (Fast, Fast, Micro, High, High, Medium, Fast, High) 0.5, 0.5;
  (Slow, Fast, Micro, High, High, Medium, Fast, High) 0.0, 1.0;
  (Fast, Slow, Micro, High, High, Medium, Fast, High) 0.0, 1.0;
  (Slow, Slow, Micro, High, High, Medium, Fast, High) 0.0, 1.0;
  (Fast, Fast, Macro, High, High, Medium, Fast, High) 0.0, 1.0;
  (Slow, Fast, Macro, High, High, Medium, Fast, High) 0.0, 1.0;
  (Fast, Slow, Macro, High, High, Medium, Fast, High) 0.5, 0.5;
  (Slow, Slow, Macro, High, High, Medium, Fast, High) 0.0, 1.0;
  (Fast, Fast, Micro, Low, Low, High, Fast, High) 0.5, 0.5;
  (Slow, Fast, Micro, Low, Low, High, Fast, High) 0.667, 0.333;
  (Fast, Slow, Micro, Low, Low, High, Fast, High) 0.667, 0.333;
  (Slow, Slow, Micro, Low, Low, High, Fast, High) 0.333, 0.667;
  (Fast, Fast, Macro, Low, Low, High, Fast, High) 0.667, 0.333;
  (Slow, Fast, Macro, Low, Low, High, Fast, High) 0.333, 0.667;
  (Fast, Slow, Macro, Low, Low, High, Fast, High) 0.5, 0.5;
  (Slow, Slow, Macro, Low, Low, High, Fast, High) 0.333, 0.667;
  (Fast, Fast, Micro, High, Low, High, Fast, High) 0.667, 0.333;
  (Slow, Fast, Micro, High, Low, High, Fast, High) 0.667, 0.333;
  (Fast, Slow, Micro, High, Low, High, Fast, High) 0.667, 0.333;
  (Slow, Slow, Micro, High, Low, High, Fast, High) 0.25, 0.75;
  (Fast, Fast, Macro, High, Low, High, Fast, High) 0.5, 0.5;
  (Slow, Fast, Macro, High, Low, High, Fast, High) 0.333, 0.667;
  (Fast, Slow, Macro, High, Low, High, Fast, High) 0.333, 0.667;
  (Slow, Slow, Macro, High, Low, High, Fast, High) 0.0, 1.0;
  (Fast, Fast, Micro, Low, High, High, Fast, High) 0.0, 1.0;
  (Slow, Fast, Micro, Low, High, High, Fast, High) 0.0, 1.0;
  (Fast, Slow, Micro, Low, High, High, Fast, High) 0.0, 1.0;
  (Slow, Slow, Micro, Low, High, High, Fast, High) 0.0, 1.0;
  (Fast, Fast, Macro, Low, High, High, Fast, High) 0.0, 1.0;
  (Slow, Fast, Macro, Low, High, High, Fast, High) 0.0, 1.0;
  (Fast, Slow, Macro, Low, High, High, Fast, High) 0.0, 1.0;
  (Slow, Slow, Macro, Low, High, High, Fast, High) 0.0, 1.0;
  (Fast, Fast, Micro, High, High, High, Fast, High) 0.333, 0.667;
  (Slow, Fast, Micro, High, High, High, Fast, High) 0.0, 1.0;
  (Fast, Slow, Micro, High, High, High, Fast, High) 0.333, 0.667;
  (Slow, Slow, Micro, High, High, High, Fast, High) 0.0, 1.0;
  (Fast, Fast, Macro, High, High, High, Fast, High) 0.0, 1.0;
  (Slow, Fast, Macro, High, High, High, Fast, High) 0.0, 1.0;
  (Fast, Slow, Macro, High, High, High, Fast, High) 0.0, 1.0;
  (Slow, Slow, Macro, High, High, High, Fast, High) 0.333, 0.667;
  (Fast, Fast, Micro, Low, Low, Low, Slow, High) 0.667, 0.333;
  (Slow, Fast, Micro, Low, Low, Low, Slow, High) 0.667, 0.333;
  (Fast, Slow, Micro, Low, Low, Low, Slow, High) 0.667, 0.333;
  (Slow, Slow, Micro, Low, Low, Low, Slow, High) 0.75, 0.25;
  (Fast, Fast, Macro, Low, Low, Low, Slow, High) 0.5, 0.5;
  (Slow, Fast, Macro, Low, Low, Low, Slow, High) 0.333, 0.667;
  (Fast, Slow, Macro, Low, Low, Low, Slow, High) 0.0, 1.0;
  (Slow, Slow, Macro, Low, Low, Low, Slow, High) 0.0, 1.0;
  (Fast, Fast, Micro, High, Low, Low, Slow, High) 0.667, 0.333;
  (Slow, Fast, Micro, High, Low, Low, Slow, High) 0.667, 0.333;
  (Fast, Slow, Micro, High, Low, Low, Slow, High) 0.667, 0.333;
  (Slow, Slow, Micro, High, Low, Low, Slow, High) 0.667, 0.333;
  (Fast, Fast, Macro, High, Low, Low, Slow, High) 0.667, 0.333;
  (Slow, Fast, Macro, High, Low, Low, Slow, High) 0.333, 0.667;
  (Fast, Slow, Macro, High, Low, Low, Slow, High) 0.333, 0.667;
  (Slow, Slow, Macro, High, Low, Low, Slow, High) 0.5, 0.5;
  (Fast, Fast, Micro, Low, High, Low, Slow, High) 0.0, 1.0;
  (Slow, Fast, Micro, Low, High, Low, Slow, High) 0.0, 1.0;
  (Fast, Slow, Micro, Low, High, Low, Slow, High) 0.333, 0.667;
  (Slow, Slow, Micro, Low, High, Low, Slow, High) 0.0, 1.0;
  (Fast, Fast, Macro, Low, High, Low, Slow, High) 0.0, 1.0;
  (Slow, Fast, Macro, Low, High, Low, Slow, High) 0.0, 1.0;
  (Fast, Slow, Macro, Low, High, Low, Slow, High) 0.0, 1.0;
  (Slow, Slow, Macro, Low, High, Low, Slow, High) 0.0, 1.0;
  (Fast, Fast, Micro, High, High, Low, Slow, High) 0.0, 1.0;
  (Slow, Fast, Micro, High, High, Low, Slow, High) 0.0, 1.0;
  (Fast, Slow, Micro, High, High, Low, Slow, High) 0.333, 0.667;
  (Slow, Slow, Micro, High, High, Low, Slow, High) 0.667, 0.333;
  (Fast, Fast, Macro, High, High, Low, Slow, High) 0.0, 1.0;
  (Slow, Fast, Macro, High, High, Low, Slow, High) 0.0, 1.0;
  (Fast, Slow, Macro, High, High, Low, Slow, High) 0.0, 1.0;
  (Slow, Slow, Macro, High, High, Low, Slow, High) 0.0, 1.0;
  (Fast, Fast, Micro, Low, Low, Medium, Slow, High) 0.75, 0.25;
  (Slow, Fast, Micro, Low, Low, Medium, Slow, High) 0.667, 0.333;
  (Fast, Slow, Micro, Low, Low, Medium, Slow, High) 0.667, 0.333;
  (Slow, Slow, Micro, Low, Low, Medium, Slow, High) 0.667, 0.333;
  (Fast, Fast, Macro, Low, Low, Medium, Slow, High) 0.333, 0.667;
  (Slow, Fast, Macro, Low, Low, Medium, Slow, High) 0.333, 0.667;
  (Fast, Slow, Macro, Low, Low, Medium, Slow, High) 0.333, 0.667;
  (Slow, Slow, Macro, Low, Low, Medium, Slow, High) 0.0, 1.0;
  (Fast, Fast, Micro, High, Low, Medium, Slow, High) 0.667, 0.333;
  (Slow, Fast, Micro, High, Low, Medium, Slow, High) 0.667, 0.333;
  (Fast, Slow, Micro, High, Low, Medium, Slow, High) 0.667, 0.333;
  (Slow, Slow, Micro, High, Low, Medium, Slow, High) 0.5, 0.5;
  (Fast, Fast, Macro, High, Low, Medium, Slow, High) 0.5, 0.5;
  (Slow, Fast, Macro, High, Low, Medium, Slow, High) 0.333, 0.667;
  (Fast, Slow, Macro, High, Low, Medium, Slow, High) 0.667, 0.333;
  (Slow, Slow, Macro, High, Low, Medium, Slow, High) 0.0, 1.0;
  (Fast, Fast, Micro, Low, High, Medium, Slow, High) 0.0, 1.0;
  (Slow, Fast, Micro, Low, High, Medium, Slow, High) 0.0, 1.0;
  (Fast, Slow, Micro, Low, High, Medium, Slow, High) 0.333, 0.667;
  (Slow, Slow, Micro, Low, High, Medium, Slow, High) 0.0, 1.0;
  (Fast, Fast, Macro, Low, High, Medium, Slow, High) 0.0, 1.0;
  (Slow, Fast, Macro, Low, High, Medium, Slow, High) 0.0, 1.0;
  (Fast, Slow, Macro, Low, High, Medium, Slow, High) 0.0, 1.0;
  (Slow, Slow, Macro, Low, High, Medium, Slow, High) 0.0, 1.0;
  (Fast, Fast, Micro, High, High, Medium, Slow, High) 0.0, 1.0;
  (Slow, Fast, Micro, High, High, Medium, Slow, High) 0.0, 1.0;
  (Fast, Slow, Micro, High, High, Medium, Slow, High) 0.333, 0.667;
  (Slow, Slow, Micro, High, High, Medium, Slow, High) 0.0, 1.0;
  (Fast, Fast, Macro, High, High, Medium, Slow, High) 0.0, 1.0;
  (Slow, Fast, Macro, High, High, Medium, Slow, High) 0.0, 1.0;
  (Fast, Slow, Macro, High, High, Medium, Slow, High) 0.0, 1.0;
  (Slow, Slow, Macro, High, High, Medium, Slow, High) 0.0, 1.0;
  (Fast, Fast, Micro, Low, Low, High, Slow, High) 0.75, 0.25;
  (Slow, Fast, Micro, Low, Low, High, Slow, High) 0.333, 0.667;
  (Fast, Slow, Micro, Low, Low, High, Slow, High) 0.667, 0.333;
  (Slow, Slow, Micro, Low, Low, High, Slow, High) 0.75, 0.25;
  (Fast, Fast, Macro, Low, Low, High, Slow, High) 0.333, 0.667;
  (Slow, Fast, Macro, Low, Low, High, Slow, High) 0.0, 1.0;
  (Fast, Slow, Macro, Low, Low, High, Slow, High) 0.667, 0.333;
  (Slow, Slow, Macro, Low, Low, High, Slow, High) 0.0, 1.0;
  (Fast, Fast, Micro, High, Low, High, Slow, High) 0.667, 0.333;
  (Slow, Fast, Micro, High, Low, High, Slow, High) 0.667, 0.333;
  (Fast, Slow, Micro, High, Low, High, Slow, High) 0.75, 0.25;
  (Slow, Slow, Micro, High, Low, High, Slow, High) 0.667, 0.333;
  (Fast, Fast, Macro, High, Low, High, Slow, High) 0.5, 0.5;
  (Slow, Fast, Macro, High, Low, High, Slow, High) 0.333, 0.667;
  (Fast, Slow, Macro, High, Low, High, Slow, High) 0.333, 0.667;
  (Slow, Slow, Macro, High, Low, High, Slow, High) 0.333, 0.667;
  (Fast, Fast, Micro, Low, High, High, Slow, High) 0.667, 0.333;
  (Slow, Fast, Micro, Low, High, High, Slow, High) 0.333, 0.667;
  (Fast, Slow, Micro, Low, High, High, Slow, High) 0.0, 1.0;
  (Slow, Slow, Micro, Low, High, High, Slow, High) 0.0, 1.0;
  (Fast, Fast, Macro, Low, High, High, Slow, High) 0.0, 1.0;
  (Slow, Fast, Macro, Low, High, High, Slow, High) 0.0, 1.0;
  (Fast, Slow, Macro, Low, High, High, Slow, High) 0.0, 1.0;
  (Slow, Slow, Macro, Low, High, High, Slow, High) 0.0, 1.0;
  (Fast, Fast, Micro, High, High, High, Slow, High) 0.0, 1.0;
  (Slow, Fast, Micro, High, High, High, Slow, High) 0.0, 1.0;
  (Fast, Slow, Micro, High, High, High, Slow, High) 0.0, 1.0;
  (Slow, Slow, Micro, High, High, High, Slow, High) 0.333, 0.667;
  (Fast, Fast, Macro, High, High, High, Slow, High) 0.0, 1.0;
  (Slow, Fast, Macro, High, High, High, Slow, High) 0.0, 1.0;
  (Fast, Slow, Macro, High, High, High, Slow, High) 0.0, 1.0;
  (Slow, Slow, Macro, High, High, High, Slow, High) 0.0, 1.0;
}
probability ( Earthquake ) {
  table 0.9931, 0.0069;
}
probability ( HydraulicConductivity | CrackAperture ) {
  (Micro) 0.7405, 0.1490, 0.1105;
  (Macro) 0.1490, 0.7405, 0.1105;
}
probability ( MonolithDegradation | Earthquake ) {
  (BDBE) 0.1480, 0.1625, 0.6895;
  (Major) 0.148, 0.385, 0.467;
}
probability ( WaterFlux ) {
  table 0.7475, 0.2525;
}
