network unknown {
}
variable M1 {
  type discrete [ 2 ] { True, False };
}
variable M10 {
  type discrete [ 2 ] { True, False };
}
variable M11 {
  type discrete [ 2 ] { True, False };
}
variable M12 {
  type discrete [ 2 ] { True, False };
}
variable M13 {
  type discrete [ 2 ] { True, False };
}
variable M14 {
  type discrete [ 2 ] { True, False };
}
variable M15 {
  type discrete [ 2 ] { True, False };
}
variable M2 {
  type discrete [ 2 ] { True, False };
}
variable M3 {
  type discrete [ 2 ] { True, False };
}
variable M4 {
  type discrete [ 2 ] { True, False };
}
variable M5 {
  type discrete [ 2 ] { True, False };
}
variable M6 {
  type discrete [ 2 ] { True, False };
}
variable M7 {
  type discrete [ 2 ] { True, False };
}
variable M8 {
  type discrete [ 2 ] { True, False };
}
variable M9 {
  type discrete [ 2 ] { True, False };
}
variable TankLeakage {
  type discrete [ 2 ] { True, False };
}
variable X1 {
  type discrete [ 2 ] { True, False };
}
variable X10 {
  type discrete [ 2 ] { True, False };
}
variable X11 {
  type discrete [ 2 ] { True, False };
}
variable X12 {
  type discrete [ 2 ] { True, False };
}
variable X13 {
  type discrete [ 2 ] { True, False };
}
variable X14 {
  type discrete [ 2 ] { True, False };
}
variable X15 {
  type discrete [ 2 ] { True, False };
}
variable X16 {
  type discrete [ 2 ] { True, False };
}
variable X17 {
  type discrete [ 2 ] { True, False };
}
variable X18 {
  type discrete [ 2 ] { True, False };
}
variable X19 {
  type discrete [ 2 ] { True, False };
}
variable X2 {
  type discrete [ 2 ] { True, False };
}
variable X20 {
  type discrete [ 2 ] { True, False };
}
variable X21 {
  type discrete [ 2 ] { True, False };
}
variable X22 {
  type discrete [ 2 ] { True, False };
}
variable X23 {
  type discrete [ 2 ] { True, False };
}
variable X24 {
  type discrete [ 2 ] { True, False };
}
variable X25 {
  type discrete [ 2 ] { True, False };
}
variable X3 {
  type discrete [ 2 ] { True, False };
}
variable X4 {
  type discrete [ 2 ] { True, False };
}
variable X5 {
  type discrete [ 2 ] { True, False };
}
variable X6 {
  type discrete [ 2 ] { True, False };
}
variable X7 {
  type discrete [ 2 ] { True, False };
}
variable X8 {
  type discrete [ 2 ] { True, False };
}
variable X9 {
  type discrete [ 2 ] { True, False };
}
probability ( M1 | X1, X2, X3 ) {
  (True, True, True) 1.0, 0.0;
  (False, True, True) 1.0, 0.0;
  (True, False, True) 1.0, 0.0;
  (False, False, True) 1.0, 0.0;
  (True, True, False) 1.0, 0.0;
  (False, True, False) 1.0, 0.0;
  (True, False, False) 1.0, 0.0;
  (False, False, False) 0.0, 1.0;
}
probability ( M10 | X17, X18 ) {
  (True, True) 1.0, 0.0;
  (False, True) 1.0, 0.0;
  (True, False) 1.0, 0.0;
  (False, False) 0.0, 1.0;
}
probability ( M11 | X19, X20 ) {
  (True, True) 1.0, 0.0;
  (False, True) 1.0, 0.0;
  (True, False) 1.0, 0.0;
  (False, False) 0.0, 1.0;
}
probability ( M12 | M10, M11 ) {
  (True, True) 1.0, 0.0;
  (False, True) 1.0, 0.0;
  (True, False) 1.0, 0.0;
  (False, False) 0.0, 1.0;
}
probability ( M13 | X21, X22, X23 ) {
  (True, True, True) 1.0, 0.0;
  (False, True, True) 1.0, 0.0;
  (True, False, True) 1.0, 0.0;
  (False, False, True) 1.0, 0.0;
  (True, True, False) 1.0, 0.0;
  (False, True, False) 1.0, 0.0;
  (True, False, False) 1.0, 0.0;
  (False, False, False) 0.0, 1.0;
}
probability ( M14 | X24, X25 ) {
  (True, True) 1.0, 0.0;
  (False, True) 1.0, 0.0;
  (True, False) 1.0, 0.0;
  (False, False) 0.0, 1.0;
}
probability ( M15 | M13, M14 ) {
  (True, True) 1.0, 0.0;
  (False, True) 1.0, 0.0;
  (True, False) 1.0, 0.0;
  (False, False) 0.0, 1.0;
}
probability ( M2 | X4, X5 ) {
  (True, True) 1.0, 0.0;
  (False, True) 1.0, 0.0;
  (True, False) 1.0, 0.0;
  (False, False) 0.0, 1.0;
}
probability ( M3 | X6, X7 ) {
  (True, True) 1.0, 0.0;
  (False, True) 1.0, 0.0;
  (True, False) 1.0, 0.0;
  (False, False) 0.0, 1.0;
}
probability ( M4 | X10, X8, X9 ) {
  (True, True, True) 1.0, 0.0;
  (False, True, True) 1.0, 0.0;
  (True, False, True) 1.0, 0.0;
  (False, False, True) 1.0, 0.0;
  (True, True, False) 1.0, 0.0;
  (False, True, False) 1.0, 0.0;
  (True, False, False) 1.0, 0.0;
  (False, False, False) 0.0, 1.0;
}
probability ( M5 | X11, X12, X13 ) {
  (True, True, True) 1.0, 0.0;
  (False, True, True) 1.0, 0.0;
  (True, False, True) 1.0, 0.0;
  (False, False, True) 1.0, 0.0;
  (True, True, False) 1.0, 0.0;
  (False, True, False) 1.0, 0.0;
  (True, False, False) 1.0, 0.0;
  (False, False, False) 0.0, 1.0;
}
probability ( M6 | M4, M5 ) {
  (True, True) 1.0, 0.0;
  (False, True) 1.0, 0.0;
  (True, False) 1.0, 0.0;
  (False, False) 0.0, 1.0;
}
probability ( M7 | M1, M2 ) {
  (True, True) 1.0, 0.0;
  (False, True) 1.0, 0.0;
  (True, False) 1.0, 0.0;
  (False, False) 0.0, 1.0;
}
probability ( M8 | M3, M6 ) {
  (True, True) 1.0, 0.0;
  (False, True) 1.0, 0.0;
  (True, False) 1.0, 0.0;
  (False, False) 0.0, 1.0;
}
probability ( M9 | X14, X15, X16 ) {
  (True, True, True) 1.0, 0.0;
  (False, True, True) 1.0, 0.0;
  (True, False, True) 1.0, 0.0;
  (False, False, True) 1.0, 0.0;
  (True, True, False) 1.0, 0.0;
  (False, True, False) 1.0, 0.0;
  (True, False, False) 1.0, 0.0;
  (False, False, False) 0.0, 1.0;
}
probability ( TankLeakage | M12, M15, M7, M8, M9 ) {
  (True, True, True, True, True) 1.0, 0.0;
  (False, True, True, True, True) 1.0, 0.0;
  (True, False, True, True, True) 1.0, 0.0;
  (False, False, True, True, True) 1.0, 0.0;
  (True, True, False, True, True) 1.0, 0.0;
  (False, True, False, True, True) 1.0, 0.0;
  (True, False, False, True, True) 1.0, 0.0;
  (False, False, False, True, True) 1.0, 0.0;
  (True, True, True, False, True) 1.0, 0.0;
  (False, True, True, False, True) 1.0, 0.0;
  (True, False, True, False, True) 1.0, 0.0;
  (False, False, True, False, True) 1.0, 0.0;
  (True, True, False, False, True) 1.0, 0.0;
  (False, True, False, False, True) 1.0, 0.0;
  (True, False, False, False, True) 1.0, 0.0;
  (False, False, False, False, True) 1.0, 0.0;
  (True, True, True, True, False) 1.0, 0.0;
  (False, True, True, True, False) 1.0, 0.0;
  (True, False, True, True, False) 1.0, 0.0;
  (False, False, True, True, False) 1.0, 0.0;
  (True, True, False, True, False) 1.0, 0.0;
  (False, True, False, True, False) 1.0, 0.0;
  (True, False, False, True, False) 1.0, 0.0;
  (False, False, False, True, False) 1.0, 0.0;
  (True, True, True, False, False) 1.0, 0.0;
  (False, True, True, False, False) 1.0, 0.0;
  (True, False, True, False, False) 1.0, 0.0;
  (False, False, True, False, False) 1.0, 0.0;
  (True, True, False, False, False) 1.0, 0.0;
  (False, True, False, False, False) 1.0, 0.0;
  (True, False, False, False, False) 1.0, 0.0;
  (False, False, False, False, False) 0.0, 1.0;
}
probability ( X1 ) {
  table 0.00502, 0.99498;
}
probability ( X10 ) {
  table 0.00279, 0.99721;
}
probability ( X11 ) {
  table 0.00548, 0.99452;
}
probability ( X12 ) {
  table 0.00347, 0.99653;
}
probability ( X13 ) {
  table 0.0033, 0.9967;
}
probability ( X14 ) {
  table 0.00191, 0.99809;
}
probability ( X15 ) {
  table 0.000602, 0.999398;
}
probability ( X16 ) {
  table 0.000509, 0.999491;
}
probability ( X17 ) {
  table 0.0029, 0.9971;
}
probability ( X18 ) {
  table 0.00338, 0.99662;
}
probability ( X19 ) {
  table 0.0105, 0.9895;
}
probability ( X2 ) {
  table 0.00382, 0.99618;
}
probability ( X20 ) {
  table 0.0077, 0.9923;
}
probability ( X21 ) {
  table 0.00127, 0.99873;
}
probability ( X22 ) {
  table 0.00217, 0.99783;
}
probability ( X23 ) {
  table 0.0024, 0.9976;
}
probability ( X24 ) {
  table 0.00303, 0.99697;
}
probability ( X25 ) {
  table 0.00184, 0.99816;
}
probability ( X3 ) {
  table 0.00452, 0.99548;
}
probability ( X4 ) {
  table 0.00819, 0.99181;
}
probability ( X5 ) {
  table 0.00539, 0.99461;
}
probability ( X6 ) {
  table 0.00648, 0.99352;
}
probability ( X7 ) {
  table 0.00647, 0.99353;
}
probability ( X8 ) {
  table 0.00702, 0.99298;
}
probability ( X9 ) {
  table 0.00306, 0.99694;
}
