network DXPNetwork {
  property Source = "DXPNetwork"
  property displaySize = ( 2000, 1200);
}
variable N5 {
  type discrete [ 2 ] { 0, 1 };
  property fault = 1;
  property position = (827, 511);
  property observable = false;
  property mandatory = false;
  property hypothesis = true;
  property cost = 0;
}
variable N9 {
  type discrete [ 3 ] { 0, 1, 2 };
  property position = (1078, 484);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N19 {
  type discrete [ 2 ] { 0, 1 };
  property fault = 1;
  property position = (821, 581);
  property observable = false;
  property mandatory = false;
  property hypothesis = true;
  property cost = 0;
}
variable N20 {
  type discrete [ 3 ] { 0, 1, 2 };
  property position = (1037, 576);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N27 {
  type discrete [ 2 ] { 0, 1 };
  property fault = 1;
  property position = (835, 638);
  property observable = false;
  property mandatory = false;
  property hypothesis = true;
  property cost = 0;
}
variable N29 {
  type discrete [ 2 ] { 0, 1 };
  property fault = 1;
  property position = (839, 699);
  property observable = false;
  property mandatory = false;
  property hypothesis = true;
  property cost = 0;
}
variable N34 {
  type discrete [ 2 ] { 0, 1 };
  property fault = 1;
  property position = (840, 751);
  property observable = false;
  property mandatory = false;
  property hypothesis = true;
  property cost = 0;
}
variable N38 {
  type discrete [ 2 ] { 0, 1 };
  property position = (1087, 644);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N26 {
  type discrete [ 3 ] { 0, 1, 2 };
  property position = (1340, 760);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N28 {
  type discrete [ 3 ] { 0, 1, 2 };
  property position = (1340, 811);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N40 {
  type discrete [ 3 ] { 0, 1, 2 };
  property position = (1113, 761);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N41 {
  type discrete [ 3 ] { 0, 1, 2 };
  property position = (1115, 706);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N57 {
  type discrete [ 2 ] { 0, 1 };
  property position = (1101, 825);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N42 {
  type discrete [ 2 ] { 0, 1 };
  property position = (1290, 520);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N63 {
  type discrete [ 3 ] { 0, 1, 2 };
  property position = (609, 435);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N64 {
  type discrete [ 4 ] { 0, 1, 2, 3 };
  property position = (623, 845);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N65 {
  type discrete [ 4 ] { 0, 1, 2, 3 };
  property position = (614, 787);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N66 {
  type discrete [ 3 ] { 0, 1, 2 };
  property position = (605, 645);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N67 {
  type discrete [ 4 ] { 0, 1, 2, 3 };
  property position = (613, 559);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N68 {
  type discrete [ 2 ] { 0, 1 };
  property position = (635, 902);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N33 {
  type discrete [ 2 ] { 0, 1 };
  property position = (468, 436);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N35 {
  type discrete [ 2 ] { 0, 1 };
  property position = (450, 500);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N37 {
  type discrete [ 2 ] { 0, 1 };
  property position = (441, 563);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N39 {
  type discrete [ 2 ] { 0, 1 };
  property position = (435, 619);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N43 {
  type discrete [ 2 ] { 0, 1 };
  property position = (422, 684);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N44 {
  type discrete [ 2 ] { 0, 1 };
  property position = (414, 761);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N69 {
  type discrete [ 2 ] { 0, 1 };
  property fault = 1;
  property position = (806, 264);
  property observable = false;
  property mandatory = false;
  property hypothesis = true;
  property cost = 0;
}
variable N70 {
  type discrete [ 2 ] { 0, 1 };
  property fault = 1;
  property position = (824, 428);
  property observable = false;
  property mandatory = false;
  property hypothesis = true;
  property cost = 0;
}
variable N71 {
  type discrete [ 2 ] { 0, 1 };
  property fault = 1;
  property position = (806, 373);
  property observable = false;
  property mandatory = false;
  property hypothesis = true;
  property cost = 0;
}
variable N73 {
  type discrete [ 2 ] { 0, 1 };
  property fault = 1;
  property position = (803, 319);
  property observable = false;
  property mandatory = false;
  property hypothesis = true;
  property cost = 0;
}
variable N51 {
  type discrete [ 2 ] { 0, 1 };
  property position = (1066, 352);
  property observable = false;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N52 {
  type discrete [ 2 ] { 0, 1 };
  property position = (483, 379);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N88 {
  type discrete [ 2 ] { 0, 1 };
  property position = (492, 320);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N89 {
  type discrete [ 2 ] { 0, 1 };
  property position = (1243, 420);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N90 {
  type discrete [ 2 ] { 0, 1 };
  property position = (1110, 218);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N91 {
  type discrete [ 2 ] { 0, 1 };
  property position = (439, 199);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N59 {
  type discrete [ 2 ] { 0, 1 };
  property position = (598, 718);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N141 {
  type discrete [ 2 ] { 0, 1 };
  property fault = 1;
  property position = (800, 215);
  property observable = false;
  property mandatory = false;
  property hypothesis = true;
  property cost = 0;
}
variable N143 {
  type discrete [ 2 ] { 0, 1 };
  property position = (872, 84);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N146 {
  type discrete [ 2 ] { 0, 1 };
  property position = (622, 141);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N147 {
  type discrete [ 2 ] { 0, 1 };
  property position = (610, 79);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N150 {
  type discrete [ 2 ] { 0, 1 };
  property position = (995, 129);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N152 {
  type discrete [ 2 ] { 0, 1 };
  property position = (401, 60);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N153 {
  type discrete [ 2 ] { 0, 1 };
  property position = (823, 140);
  property observable = false;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N187 {
  type discrete [ 2 ] { 0, 1 };
  property position = (995, 193);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N81 {
  type discrete [ 2 ] { 0, 1 };
  property position = (1095, 289);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N84 {
  type discrete [ 2 ] { 0, 1 };
  property position = (493, 258);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0;
}
variable N113 {
  type discrete [ 2 ] { 0, 1 };
  property position = (226, 280);
  property observable = true;
  property mandatory = false;
  property hypothesis = false;
  property cost = 0.5;
}
variable N114 {
  type discrete [ 2 ] { 0, 1 };
  property position = (237, 327);
  property observable = true;