net
{
    node_size = (80 40);
    HR_Desc = "";
    HR_OOBN_FitExpand = "1";
    HR_Zoom_ZoomFactor = "100";
    HR_Groups_GroupColors = "";
    HR_Groups_GroupNames = "";
    HR_Groups_UserGroupsNo = "0";
    HR_Color_Interface = "21";
    HR_Color_Instance = "0";
    HR_Color_Utility = "36";
    HR_Color_Decision = "17";
    HR_Color_ContinuousChance = "48";
    HR_Color_DiscreteChance = "16";
    HR_Monitor_InitSD = "2";
    HR_Monitor_InitStates = "5";
    HR_Monitor_OpenGraph = "0";
    HR_Monitor_GraphPrecision = "100";
    HR_Monitor_AutoUpdGraph = "0";
    HR_Compile_MaxMinimalSeparators = "100000";
    HR_Compile_ApproxEpsilon = "1.0E-5";
    HR_Compile_Approximate = "0";
    HR_Compile_Compress = "0";
    HR_Compile_TriangMethod = "0";
    HR_Propagate_AutoNormal = "1";
    HR_Propagate_AutoSum = "1";
    HR_Propagate_Auto = "1";
    HR_Font_Italic = "0";
    HR_Font_Weight = "400";
    HR_Font_Size = "-12";
    HR_Font_Name = "Arial";
    HR_Grid_GridShow = "0";
    HR_Grid_GridSnap = "0";
    HR_Grid_Y = "40";
    HR_Grid_X = "40";
}

node U5
{
    label = "";
    position = (460 217);
    states = ("0" "1");
    HR_LinkMode_Y1 = "0";
    HR_LinkMode_Y0 = "0";
    HR_Group = "0";
    HR_Desc = "";
    HR_State_1 = "";
    HR_State_0 = "";
}

node S0
{
    label = "";
    position = (349 229);
    states = ("0" "1");
    HR_Group = "0";
    HR_Desc = "";
    HR_State_1 = "";
    HR_State_0 = "";
}

node U4
{
    label = "";
    position = (539 147);
    states = ("0&0" "0&1" "1&0" "1&1");
    HR_LinkMode_Y1 = "0";
    HR_LinkMode_Y3 = "0";
    HR_Group = "0";
    HR_Desc = "";
    HR_State_1 = "";
    HR_State_0 = "";
}

node S3
{
    label = "";
    position = (430 44);
    states = ("0" "1");
    HR_Group = "0";
    HR_Desc = "";
    HR_State_1 = "";
    HR_State_0 = "";
}

node U3
{
    label = "";
    position = (267 72);
    states = ("0&0" "0&1" "1&0" "1&1");
    HR_LinkMode_Y3 = "0";
    HR_LinkMode_X2 = "0";
    HR_Group = "0";
    HR_Desc = "";
    HR_State_1 = "";
    HR_State_0 = "";
}

node U2
{
    label = "";
    position = (580 281);
    states = ("0&0" "0&1" "1&0" "1&1");
    HR_LinkMode_Y1 = "0";
    HR_LinkMode_Y2 = "0";
    HR_Group = "0";
    HR_Desc = "";
    HR_State_1 = "";
    HR_State_0 = "";
}

node S2
{
    label = "";
    position = (563 349);
    states = ("0" "1");
    HR_Group = "0";
    HR_Desc = "";
    HR_State_1 = "";
    HR_State_0 = "";
}

node T2
{
    label = "";
    position = (226 198);
    states = ("0" "1");
    HR_LinkMode_Y0 = "0";
    HR_LinkMode_X3 = "0";
    HR_Group = "0";
    HR_Desc = "";
    HR_State_1 = "";
    HR_State_0 = "";
}

node S1
{
    label = "";
    position = (587 193);
    states = ("0" "1");
    HR_Group = "0";
    HR_Desc = "";
    HR_State_1 = "";
    HR_State_0 = "";
}

node T1
{
    label = "";
    position = (87 201);
    states = ("0" "1");
    HR_LinkMode_X2 = "0";
    HR_Group = "0";
    HR_Desc = "";
    HR_State_1 = "";
    HR_State_0 = "";
}

node U1
{
    label = "";
    position = (199 337);
    states = ("0&0" "0&1" "1&0" "1&1");
    HR_LinkMode_Y2 = "0";
    HR_LinkMode_X1 = "0";
    HR_Group = "0";
    HR_Desc = "";
    HR_State_1 = "";
    HR_State_0 = "";
}

potential (U5)
{
    data = ( 0.5 0.5 );
}

potential (S0 | T2 U5)
{
    data
     = ((( 0.95 0.05 )	%  T2=0  U5=0
	 ( 0.05 0.95 ))	%  T2=0  U5=1
	(( 0.5 0.5 )	%  T2=1  U5=0
	 ( 0.5 0.5 )));	%  T2=1  U5=1
}

potential (U4)
{
    data = ( 0.25 0.25 0.25 0.25 );
}

potential (S3 | U3 U4)
{
    data
     = ((( 0.75 0.25 )	%  U3=0&0  U4=0&0
	 ( 0.5 0.5 )	%  U3=0&0  U4=0&1
	 ( 0.25 0.75 )	%  U3=0&0  U4=1&0
	 ( 0.5 0.5 ))	%  U3=0&0  U4=1&1
	(( 0.5 0.5 )	%  U3=0&1  U4=0&0
	 ( 0.75 0.25 )	%  U3=0&1  U4=0&1
	 ( 0.5 0.5 )	%  U3=0&1  U4=1&0
	 ( 0.25 0.75 ))	%  U3=0&1  U4=1&1
	(( 0.125 0.875 )	%  U3=1&0  U4=0&0
	 ( 0.5 0.5 )	%  U3=1&0  U4=0&1
	 ( 0.875 0.125 )	%  U3=1&0  U4=1&0
	 ( 0.5 0.5 ))	%  U3=1&0  U4=1&1
	(( 0.5 0.5 )	%  U3=1&1  U4=0&0
	 ( 0.125 0.875 )	%  U3=1&1  U4=0&1
	 ( 0.5 0.5 )	%  U3=1&1  U4=1&0
	 ( 0.875 0.125 )));	%  U3=1&1  U4=1&1
}

potential (U3)
{
    data = ( 0.25 0.25 0.25 0.25 );
}

potential (U2)
{
    data = ( 0.25 0.25 0.25 0.25 );
}

potential (S2 | U2 U1)
{
    data
     = ((( 0.8 0.2 )	%  U2=0&0  U1=0&0
	 ( 0.5 0.5 )	%  U2=0&0  U1=0&1
	 ( 0.65 0.35 )	%  U2=0&0  U1=1&0
	 ( 0.5 0.5 ))	%  U2=0&0  U1=1&1
	(( 0.5 0.5 )	%  U2=0&1  U1=0&0
	 ( 0.8 0.2 )	%  U2=0&1  U1=0&1
	 ( 0.5 0.5 )	%  U2=0&1  U1=1&0
	 ( 0.65 0.35 ))	%  U2=0&1  U1=1&1
	(( 0.2 0.8 )	%  U2=1&0  U1=0&0
	 ( 0.5 0.5 )	%  U2=1&0  U1=0&1
	 ( 0.35 0.65 )	%  U2=1&0  U1=1&0
	 ( 0.5 0.5 ))	%  U2=1&0  U1=1&1
	(( 0.5 0.5 )	%  U2=1&1  U1=0&0
	 ( 0.2 0.8 )	%  U2=1&1  U1=0&1
	 ( 0.5 0.5 )	%  U2=1&1  U1=1&0
	 ( 0.35 0.65 )));	%  U2=1&1  U1=1&1
}

potential (T2 | T1 U3)
{
    data
     = ((( 0.9 0.1 )	%  T1=0  U3=0&0
	 ( 0.1 0.9 )	%  T1=0  U3=0&1
	 ( 0.1 0.9 )	%  T1=0  U3=1&0
	 ( 0.9 0.1 ))	%  T1=0  U3=1&1
	(( 0.1 0.9 )	%  T1=1  U3=0&0
	 ( 0.9 0.1 )	%  T1=1  U3=0&1
	 ( 0.9 0.1 )	%  T1=1  U3=1&0
	 ( 0.1 0.9 )));	%  T1=1  U3=1&1
}

potential (S1 | U5 U4 U2)
{
    data
     = (((( 0.944444 0.0555556 )	%  U5=0  U4=0&0  U2=0&0
	  ( 0.5 0.5 )	%  U5=0  U4=0&0  U2=0&1
	  ( 0.0555556 0.944444 )	%  U5=0  U4=0&0  U2=1&0
	  ( 0.5 0.5 ))	%  U5=0  U4=0&0  U2=1&1
	 (( 0.5 0.5 )	%  U5=0  U4=0&1  U2=0&0
	  ( 0.944444 0.0555556 )	%  U5=0  U4=0&1  U2=0&1
	  ( 0.5 0.5 )	%  U5=0  U4=0&1  U2=1&0
	  ( 0.0555556 0.944444 ))	%  U5=0  U4=0&1  U2=1&1
	 (( 0.0555556 0.944444 )	%  U5=0  U4=1&0  U2=0&0
	  ( 0.5 0.5 )	%  U5=0  U4=1&0  U2=0&1
	  ( 0.944444 0.0555556 )	%  U5=0  U4=1&0  U2=1&0
	  ( 0.5 0.5 ))	%  U5=0  U4=1&0  U2=1&1
	 (( 0.5 0.5 )	%  U5=0  U4=1&1  U2=0&0
	  ( 0.0555556 0.944444 )	%  U5=0  U4=1&1  U2=0&1
	  ( 0.5 0.5 )	%  U5=0  U4=1&1  U2=1&0
	  ( 0.944444 0.0555556 )))	%  U5=0  U4=1&1  U2=1&1
	((( 0.0555556 0.944444 )	%  U5=1  U4=0&0  U2=0&0
	  ( 0.5 0.5 )	%  U5=1  U4=0&0  U2=0&1
	  ( 0.944444 0.0555556 )	%  U5=1  U4=0&0  U2=1&0
	  ( 0.5 0.5 ))	%  U5=1  U4=0&0  U2=1&1
	 (( 0.5 0.5 )	%  U5=1  U4=0&1  U2=0&0
	  ( 0.0555556 0.944444 )	%  U5=1  U4=0&1  U2=0&1
	  ( 0.5 0.5 )	%  U5=1  U4=0&1  U2=1&0
	  ( 0.944444 0.0555556 ))	%  U5=1  U4=0&1  U2=1&1
	 (( 0.944444 0.0555556 )	%  U5=1  U4=1&0  U2=0&0
	  ( 0.5 0.5 )	%  U5=1  U4=1&0  U2=0&1
	  ( 0.0555556 0.944444 )	%  U5=1  U4=1&0  U2=1&0
	  ( 0.5 0.5 ))	%  U5=1  U4=1&0  U2=1&1
	 (( 0.5 0.5 )	%  U5=1  U4=1&1  U2=0&0
	  ( 0.944444 0.0555556 )	%  U5=1  U4=1&1  U2=0&1
	  ( 0.5 0.5 )	%  U5=1  U4=1&1  U2=1&0
	  ( 0.0555556 0.944444 ))));	%  U5=1  U4=1&1  U2=1&1
}

potential (T1 | U1)
{
    data
     = (( 0.875 0.125 )	%  U1=0&0
	( 0.125 0.875 )	%  U1=0&1
	( 0.125 0.875 )	%  U1=1&0
	( 0.875 0.125 ));	%  U1=1&1
}

potential (U1)
{
    data = ( 0.25 0.25 0.25 0.25 );
}