type
  Dir {forward, backward, off};
  State {sink, cp_off, source};
  Load_13 [0..13];
  Flow_15 [0..15];

variable
  bool S50_powered;
  Dir L60_dir;
  Load_13 L60_load;
  Dir L59_dir;
  Load_13 L59_load;
  bool S49_powered;
  Dir L58_dir;
  Load_13 L58_load;
  bool S48_powered;
  Dir L57_dir;
  Load_13 L57_load;
  State C7_state;
  Flow_15 C7_flow;
  Dir L66_dir;
  Load_13 L66_load;
  bool S55_powered;
  Dir L64_dir;
  Load_13 L64_load;
  Dir L65_dir;
  Load_13 L65_load;
  bool S47_powered;
  Dir L56_dir;
  Load_13 L56_load;
  bool S46_powered;
  Dir L55_dir;
  Load_13 L55_load;
  bool S45_powered;
  Dir L54_dir;
  Load_13 L54_load;
  bool S44_powered;
  Dir L52_dir;
  Load_13 L52_load;
  Dir L53_dir;
  Load_13 L53_load;
  bool S51_powered;
  Dir L61_dir;
  Load_13 L61_load;
  bool S52_powered;
  Dir L62_dir;
  Load_13 L62_load;
  bool S53_powered;
  Dir L63_dir;
  Load_13 L63_load;
  bool S54_powered;
  Dir L67_dir;
  Load_13 L67_load;
  bool S56_powered;
  State C8_state;
  Flow_15 C8_flow;
  Dir L83_dir;
  Load_13 L83_load;
  Dir L68_dir;
  Load_13 L68_load;
  bool S57_powered;
  Dir L69_dir;
  Load_13 L69_load;
  State C5_state;
  Flow_15 C5_flow;
  Dir L72_dir;
  Load_13 L72_load;
  bool S59_powered;
  Dir L71_dir;
  Load_13 L71_load;
  bool S58_powered;
  Dir L70_dir;
  Load_13 L70_load;
  bool S43_powered;
  Dir L51_dir;
  Load_13 L51_load;
  bool S41_powered;
  State C3_state;
  Flow_15 C3_flow;
  Dir L47_dir;
  Load_13 L47_load;
  Dir L48_dir;
  Load_13 L48_load;
  bool S42_powered;
  Dir L49_dir;
  Load_13 L49_load;
  State C4_state;
  Flow_15 C4_flow;
  Dir L50_dir;
  Load_13 L50_load;
  State C6_state;
  Flow_15 C6_flow;
  Dir L77_dir;
  Load_13 L77_load;
  bool P3_powered;

rule
//Line L83
  (( (L83_dir == forward) >> (C8_state == sink) ) &&
 ( (C8_state == sink) >> (L83_dir == forward) )) &&
  (( (L83_dir == backward) >> (C8_state == source) ) &&
   ( (C8_state == source) >> (L83_dir == backward) )) &&
  (( (L83_dir == off) >> (C8_state == cp_off) ) &&
   ( (C8_state == cp_off) >> (L83_dir == off) )) &&
  ( (C8_state == cp_off) >> (C8_flow == 0) );
  (((L83_dir != off) && ((L67_dir == forward) || (L68_dir == backward))) >> (L83_dir == forward)) &&
  ((L83_dir == forward) >> ((L83_dir != off) && ((L67_dir == forward) || (L68_dir == backward))));
  (L83_dir == forward) >> (L83_load == C8_flow);
  (L83_dir == backward) >> (L83_load == L67_load + L68_load + ((S56_powered >> 1) && (!S56_powered >> 0)) );
  (L83_dir == off) >> (L83_load == 0);

//Line L61
  (((L61_dir != off) && ((L62_dir == backward))) >> (L61_dir == backward)) &&
  ((L61_dir == backward) >> ((L61_dir != off) && ((L62_dir == backward))));
  (((L61_dir != off) && ((L60_dir == forward))) >> (L61_dir == forward)) &&
  ((L61_dir == forward) >> ((L61_dir != off) && ((L60_dir == forward))));
  (L61_dir == forward) >> (L61_load == L62_load + ((S52_powered >> 1) && (!S52_powered >> 0)) );
  (L61_dir == backward) >> (L61_load == L60_load + ((S51_powered >> 1) && (!S51_powered >> 0)) );
  (L61_dir == off) >> (L61_load == 0);

//Line L57
  (((L57_dir != off) && ((L58_dir == backward))) >> (L57_dir == backward)) &&
  ((L57_dir == backward) >> ((L57_dir != off) && ((L58_dir == backward))));
  (((L57_dir != off) && ((L56_dir == forward) || (L65_dir == forward))) >> (L57_dir == forward)) &&
  ((L57_dir == forward) >> ((L57_dir != off) && ((L56_dir == forward) || (L65_dir == forward))));
  (L57_dir == forward) >> (L57_load == L58_load + ((S48_powered >> 1) && (!S48_powered >> 0)) );
  (L57_dir == backward) >> (L57_load == L56_load + L65_load + ((S47_powered >> 1) && (!S47_powered >> 0)) );
  (L57_dir == off) >> (L57_load == 0);

//Line L66
  (((L66_dir != off) && ((L64_dir == forward) || (L65_dir == backward))) >> (L66_dir == backward)) &&
  ((L66_dir == backward) >> ((L66_dir != off) && ((L64_dir == forward) || (L65_dir == backward))));
  (( (L66_dir == forward) >> (C7_state == sink) ) &&
 ( (C7_state == sink) >> (L66_dir == forward) )) &&
  (( (L66_dir == backward) >> (C7_state == source) ) &&
   ( (C7_state == source) >> (L66_dir == backward) )) &&
  (( (L66_dir == off) >> (C7_state == cp_off) ) &&
   ( (C7_state == cp_off) >> (L66_dir == off) )) &&
  ( (C7_state == cp_off) >> (C7_flow == 0) );
  (L66_dir == forward) >> (L66_load == L64_load + L65_load + ((S55_powered >> 1) && (!S55_powered >> 0)) );
  (L66_dir == backward) >> (L66_load == L66_load);
  (L66_dir == off) >> (L66_load == 0);

//Line L69
  P3_powered >> ( (L69_dir != backward) );
  !P3_powered >> (
  ((((L69_dir != off) && ((L68_dir == forward))) >> (L69_dir == backward)) &&
  ((L69_dir == backward) >> ((L69_dir != off) && ((L68_dir == forward))))) &&
  ((((L69_dir != off) && ((L49_dir == backward) || (L50_dir == forward) || (L53_dir == backward) || (L77_dir == forward))) >> (L69_dir == forward)) &&
  ((L69_dir == forward) >> ((L69_dir != off) && ((L49_dir == backward) || (L50_dir == forward) || (L53_dir == backward) || (L77_dir == forward)))))
  );
  (L69_dir == forward) >> (L69_load == L68_load + ((S57_powered >> 1) && (!S57_powered >> 0)) );
  (L69_dir == backward) >> (L69_load == L49_load + L50_load + L53_load + L77_load );
  (L69_dir == off) >> (L69_load == 0);

//Line L56
  (((L56_dir != off) && ((L57_dir == backward) || (L65_dir == forward))) >> (L56_dir == backward)) &&
  ((L56_dir == backward) >> ((L56_dir != off) && ((L57_dir == backward) || (L65_dir == forward))));
  (((L56_dir != off) && ((L55_dir == forward))) >> (L56_dir == forward)) &&
  ((L56_dir == forward) >> ((L56_dir != off) && ((L55_dir == forward))));
  (L56_dir == forward) >> (L56_load == L57_load + L65_load + ((S47_powered >> 1) && (!S47_powered >> 0)) );
  (L56_dir == backward) >> (L56_load == L55_load + ((S46_powered >> 1) && (!S46_powered >> 0)) );
  (L56_dir == off) >> (L56_load == 0);

//Line L77
  P3_powered >> ( (L77_dir != forward) );
  !P3_powered >> (
  ((((L77_dir != off) && ((L49_dir == backward) || (L50_dir == forward) || (L53_dir == backward) || (L69_dir == backward))) >> (L77_dir == backward)) &&
  ((L77_dir == backward) >> ((L77_dir != off) && ((L49_dir == backward) || (L50_dir == forward) || (L53_dir == backward) || (L69_dir == backward))))) &&
  ((( (L77_dir == forward) >> (C6_state == sink) ) &&
 ( (C6_state == sink) >> (L77_dir == forward) )) &&
  (( (L77_dir == backward) >> (C6_state == source) ) &&
   ( (C6_state == source) >> (L77_dir == backward) )) &&
  (( (L77_dir == off) >> (C6_state == cp_off) ) &&
   ( (C6_state == cp_off) >> (L77_dir == off) )) &&
  ( (C6_state == cp_off) >> (C6_flow == 0) ))
  );
  (L77_dir == forward) >> (L77_load == L49_load + L50_load + L53_load + L69_load );
  (L77_dir == backward) >> (L77_load == L77_load);
  (L77_dir == off) >> (L77_load == 0);

//Line L65
  (((L65_dir != off) && ((L56_dir == forward) || (L57_dir == backward))) >> (L65_dir == backward)) &&
  ((L65_dir == backward) >> ((L65_dir != off) && ((L56_dir == forward) || (L57_dir == backward))));
  (((L65_dir != off) && ((L64_dir == forward) || (L66_dir == forward))) >> (L65_dir == forward)) &&
  ((L65_dir == forward) >> ((L65_dir != off) && ((L64_dir == forward) || (L66_dir == forward))));
  (L65_dir == forward) >> (L65_load == L56_load + L57_load + ((S47_powered >> 1) && (!S47_powered >> 0)) );
  (L65_dir == backward) >> (L65_load == L64_load + L66_load + ((S55_powered >> 1) && (!S55_powered >> 0)) );
  (L65_dir == off) >> (L65_load == 0);

//Line L49
  P3_powered >> ( (L49_dir != backward) );
  !P3_powered >> (
  ((((L49_dir != off) && ((L48_dir == forward))) >> (L49_dir == backward)) &&
  ((L49_dir == backward) >> ((L49_dir != off) && ((L48_dir == forward))))) &&
  ((((L49_dir != off) && ((L50_dir == forward) || (L53_dir == backward) || (L69_dir == backward) || (L77_dir == forward))) >> (L49_dir == forward)) &&
  ((L49_dir == forward) >> ((L49_dir != off) && ((L50_dir == forward) || (L53_dir == backward) || (L69_dir == backward) || (L77_dir == forward)))))
  );
  (L49_dir == forward) >> (L49_load == L48_load + ((S42_powered >> 1) && (!S42_powered >> 0)) );
  (L49_dir == backward) >> (L49_load == L50_load + L53_load + L69_load + L77_load );
  (L49_dir == off) >> (L49_load == 0);

//Line L59
  (((L59_dir != off) && ((L60_dir == backward))) >> (L59_dir == backward)) &&
  ((L59_dir == backward) >> ((L59_dir != off) && ((L60_dir == backward))));
  (((L59_dir != off) && ((L58_dir == forward))) >> (L59_dir == forward)) &&
  ((L59_dir == forward) >> ((L59_dir != off) && ((L58_dir == forward))));
  (L59_dir == forward) >> (L59_load == L60_load + ((S50_powered >> 1) && (!S50_powered >> 0)) );
  (L59_dir == backward) >> (L59_load == L58_load + ((S49_powered >> 1) && (!S49_powered >> 0)) );
  (L59_dir == off) >> (L59_load == 0);

//Line L64
  (((L64_dir != off) && ((L65_dir == backward) || (L66_dir == forward))) >> (L64_dir == backward)) &&
  ((L64_dir == backward) >> ((L64_dir != off) && ((L65_dir == backward) || (L66_dir == forward))));
  (((L64_dir != off) && ((L63_dir == forward) || (L67_dir == backward))) >> (L64_dir == forward)) &&
  ((L64_dir == forward) >> ((L64_dir != off) && ((L63_dir == forward) || (L67_dir == backward))));
  (L64_dir == forward) >> (L64_load == L65_load + L66_load + ((S55_powered >> 1) && (!S55_powered >> 0)) );
  (L64_dir == backward) >> (L64_load == L63_load + L67_load + ((S54_powered >> 1) && (!S54_powered >> 0)) );
  (L64_dir == off) >> (L64_load == 0);

//Line L54
  (((L54_dir != off) && ((L55_dir == backward))) >> (L54_dir == backward)) &&
  ((L54_dir == backward) >> ((L54_dir != off) && ((L55_dir == backward))));
  (((L54_dir != off) && ((L52_dir == forward) || (L53_dir == forward))) >> (L54_dir == forward)) &&
  ((L54_dir == forward) >> ((L54_dir != off) && ((L52_dir == forward) || (L53_dir == forward))));
  (L54_dir == forward) >> (L54_load == L55_load + ((S45_powered >> 1) && (!S45_powered >> 0)) );
  (L54_dir == backward) >> (L54_load == L52_load + L53_load + ((S44_powered >> 1) && (!S44_powered >> 0)) );
  (L54_dir == off) >> (L54_load == 0);

//Line L63
  (((L63_dir != off) && ((L64_dir == backward) || (L67_dir == backward))) >> (L63_dir == backward)) &&
  ((L63_dir == backward) >> ((L63_dir != off) && ((L64_dir == backward) || (L67_dir == backward))));
  (((L63_dir != off) && ((L62_dir == forward))) >> (L63_dir == forward)) &&
  ((L63_dir == forward) >> ((L63_dir != off) && ((L62_dir == forward))));
  (L63_dir == forward) >> (L63_load == L64_load + L67_load + ((S54_powered >> 1) && (!S54_powered >> 0)) );
  (L63_dir == backward) >> (L63_load == L62_load + ((S53_powered >> 1) && (!S53_powered >> 0)) );
  (L63_dir == off) >> (L63_load == 0);

//Line L71
  (((L71_dir != off) && ((L72_dir == backward))) >> (L71_dir == backward)) &&
  ((L71_dir == backward) >> ((L71_dir != off) && ((L72_dir == backward))));
  (((L71_dir != off) && ((L70_dir == forward))) >> (L71_dir == forward)) &&
  ((L71_dir == forward) >> ((L71_dir != off) && ((L70_dir == forward))));
  (L71_dir == forward) >> (L71_load == L72_load + ((S59_powered >> 1) && (!S59_powered >> 0)) );
  (L71_dir == backward) >> (L71_load == L70_load + ((S58_powered >> 1) && (!S58_powered >> 0)) );
  (L71_dir == off) >> (L71_load == 0);

//Line L51
  (((L51_dir != off) && ((L52_dir == backward) || (L70_dir == backward))) >> (L51_dir == backward)) &&
  ((L51_dir == backward) >> ((L51_dir != off) && ((L52_dir == backward) || (L70_dir == backward))));
  (((L51_dir != off) && ((L47_dir == forward) || (L48_dir == backward))) >> (L51_dir == forward)) &&
  ((L51_dir == forward) >> ((L51_dir != off) && ((L47_dir == forward) || (L48_dir == backward))));
  (L51_dir == forward) >> (L51_load == L52_load + L70_load + ((S43_powered >> 1) && (!S43_powered >> 0)) );
  (L51_dir == backward) >> (L51_load == L47_load + L48_load + ((S41_powered >> 1) && (!S41_powered >> 0)) );
  (L51_dir == off) >> (L51_load == 0);

//Line L53
  P3_powered >> ( (L53_dir != backward) );
  !P3_powered >> (
  ((((L53_dir != off) && ((L52_dir == forward) || (L54_dir == backward))) >> (L53_dir == backward)) &&
  ((L53_dir == backward) >> ((L53_dir != off) && ((L52_dir == forward) || (L54_dir == backward))))) &&
  ((((L53_dir != off) && ((L49_dir == backward) || (L50_dir == forward) || (L69_dir == backward) || (L77_dir == forward))) >> (L53_dir == forward)) &&
  ((L53_dir == forward) >> ((L53_dir != off) && ((L49_dir == backward) || (L50_dir == forward) || (L69_dir == backward) || (L77_dir == forward)))))
  );
  (L53_dir == forward) >> (L53_load == L52_load + L54_load + ((S44_powered >> 1) && (!S44_powered >> 0)) );
  (L53_dir == backward) >> (L53_load == L49_load + L50_load + L69_load + L77_load );
  (L53_dir == off) >> (L53_load == 0);

//Line L72
  (( (L72_dir == forward) >> (C5_state == sink) ) &&
 ( (C5_state == sink) >> (L72_dir == forward) )) &&
  (( (L72_dir == backward) >> (C5_state == source) ) &&
   ( (C5_state == source) >> (L72_dir == backward) )) &&
  (( (L72_dir == off) >> (C5_state == cp_off) ) &&
   ( (C5_state == cp_off) >> (L72_dir == off) )) &&
  ( (C5_state == cp_off) >> (C5_flow == 0) );
  (((L72_dir != off) && ((L71_dir == forward))) >> (L72_dir == forward)) &&
  ((L72_dir == forward) >> ((L72_dir != off) && ((L71_dir == forward))));
  (L72_dir == forward) >> (L72_load == C5_flow);
  (L72_dir == backward) >> (L72_load == L71_load + ((S59_powered >> 1) && (!S59_powered >> 0)) );
  (L72_dir == off) >> (L72_load == 0);

//Line L67
  (((L67_dir != off) && ((L68_dir == backward) || (L83_dir == backward))) >> (L67_dir == backward)) &&
  ((L67_dir == backward) >> ((L67_dir != off) && ((L68_dir == backward) || (L83_dir == backward))));
  (((L67_dir != off) && ((L63_dir == forward) || (L64_dir == backward))) >> (L67_dir == forward)) &&
  ((L67_dir == forward) >> ((L67_dir != off) && ((L63_dir == forward) || (L64_dir == backward))));
  (L67_dir == forward) >> (L67_load == L68_load + L83_load + ((S56_powered >> 1) && (!S56_powered >> 0)) );
  (L67_dir == backward) >> (L67_load == L63_load + L64_load + ((S54_powered >> 1) && (!S54_powered >> 0)) );
  (L67_dir == off) >> (L67_load == 0);

//Line L52
  (((L52_dir != off) && ((L53_dir == forward) || (L54_dir == backward))) >> (L52_dir == backward)) &&
  ((L52_dir == backward) >> ((L52_dir != off) && ((L53_dir == forward) || (L54_dir == backward))));
  (((L52_dir != off) && ((L51_dir == forward) || (L70_dir == backward))) >> (L52_dir == forward)) &&
  ((L52_dir == forward) >> ((L52_dir != off) && ((L51_dir == forward) || (L70_dir == backward))));
  (L52_dir == forward) >> (L52_load == L53_load + L54_load + ((S44_powered >> 1) && (!S44_powered >> 0)) );
  (L52_dir == backward) >> (L52_load == L51_load + L70_load + ((S43_powered >> 1) && (!S43_powered >> 0)) );
  (L52_dir == off) >> (L52_load == 0);

//Line L62
  (((L62_dir != off) && ((L63_dir == backward))) >> (L62_dir == backward)) &&
  ((L62_dir == backward) >> ((L62_dir != off) && ((L63_dir == backward))));
  (((L62_dir != off) && ((L61_dir == forward))) >> (L62_dir == forward)) &&
  ((L62_dir == forward) >> ((L62_dir != off) && ((L61_dir == forward))));
  (L62_dir == forward) >> (L62_load == L63_load + ((S53_powered >> 1) && (!S53_powered >> 0)) );
  (L62_dir == backward) >> (L62_load == L61_load + ((S52_powered >> 1) && (!S52_powered >> 0)) );
  (L62_dir == off) >> (L62_load == 0);

//Line L55
  (((L55_dir != off) && ((L56_dir == backward))) >> (L55_dir == backward)) &&
  ((L55_dir == backward) >> ((L55_dir != off) && ((L56_dir == backward))));
  (((L55_dir != off) && ((L54_dir == forward))) >> (L55_dir == forward)) &&
  ((L55_dir == forward) >> ((L55_dir != off) && ((L54_dir == forward))));
  (L55_dir == forward) >> (L55_load == L56_load + ((S46_powered >> 1) && (!S46_powered >> 0)) );
  (L55_dir == backward) >> (L55_load == L54_load + ((S45_powered >> 1) && (!S45_powered >> 0)) );
  (L55_dir == off) >> (L55_load == 0);

//Line L70
  (((L70_dir != off) && ((L71_dir == backward))) >> (L70_dir == backward)) &&
  ((L70_dir == backward) >> ((L70_dir != off) && ((L71_dir == backward))));
  (((L70_dir != off) && ((L51_dir == forward) || (L52_dir == backward))) >> (L70_dir == forward)) &&
  ((L70_dir == forward) >> ((L70_dir != off) && ((L51_dir == forward) || (L52_dir == backward))));
  (L70_dir == forward) >> (L70_load == L71_load + ((S58_powered >> 1) && (!S58_powered >> 0)) );
  (L70_dir == backward) >> (L70_load == L51_load + L52_load + ((S43_powered >> 1) && (!S43_powered >> 0)) );
  (L70_dir == off) >> (L70_load == 0);

//Line L48
  (((L48_dir != off) && ((L49_dir == forward))) >> (L48_dir == backward)) &&
  ((L48_dir == backward) >> ((L48_dir != off) && ((L49_dir == forward))));
  (((L48_dir != off) && ((L47_dir == forward) || (L51_dir == backward))) >> (L48_dir == forward)) &&
  ((L48_dir == forward) >> ((L48_dir != off) && ((L47_dir == forward) || (L51_dir == backward))));
  (L48_dir == forward) >> (L48_load == L49_load + ((S42_powered >> 1) && (!S42_powered >> 0)) );
  (L48_dir == backward) >> (L48_load == L47_load + L51_load + ((S41_powered >> 1) && (!S41_powered >> 0)) );
  (L48_dir == off) >> (L48_load == 0);

//Line L50
  P3_powered >> ( (L50_dir != forward) );
  !P3_powered >> (
  ((((L50_dir != off) && ((L49_dir == backward) || (L53_dir == backward) || (L69_dir == backward) || (L77_dir == forward))) >> (L50_dir == backward)) &&
  ((L50_dir == backward) >> ((L50_dir != off) && ((L49_dir == backward) || (L53_dir == backward) || (L69_dir == backward) || (L77_dir == forward))))) &&
  ((( (L50_dir == forward) >> (C4_state == sink) ) &&
 ( (C4_state == sink) >> (L50_dir == forward) )) &&
  (( (L50_dir == backward) >> (C4_state == source) ) &&
   ( (C4_state == source) >> (L50_dir == backward) )) &&
  (( (L50_dir == off) >> (C4_state == cp_off) ) &&
   ( (C4_state == cp_off) >> (L50_dir == off) )) &&
  ( (C4_state == cp_off) >> (C4_flow == 0) ))
  );
  (L50_dir == forward) >> (L50_load == L49_load + L53_load + L69_load + L77_load );
  (L50_dir == backward) >> (L50_load == L50_load);
  (L50_dir == off) >> (L50_load == 0);

//Line L60
  (((L60_dir != off) && ((L61_dir == backward))) >> (L60_dir == backward)) &&
  ((L60_dir == backward) >> ((L60_dir != off) && ((L61_dir == backward))));
  (((L60_dir != off) && ((L59_dir == forward))) >> (L60_dir == forward)) &&
  ((L60_dir == forward) >> ((L60_dir != off) && ((L59_dir == forward))));
  (L60_dir == forward) >> (L60_load == L61_load + ((S51_powered >> 1) && (!S51_powered >> 0)) );
  (L60_dir == backward) >> (L60_load == L59_load + ((S50_powered >> 1) && (!S50_powered >> 0)) );
  (L60_dir == off) >> (L60_load == 0);

//Line L58
  (((L58_dir != off) && ((L59_dir == backward))) >> (L58_dir == backward)) &&
  ((L58_dir == backward) >> ((L58_dir != off) && ((L59_dir == backward))));
  (((L58_dir != off) && ((L57_dir == forward))) >> (L58_dir == forward)) &&
  ((L58_dir == forward) >> ((L58_dir != off) && ((L57_dir == forward))));
  (L58_dir == forward) >> (L58_load == L59_load + ((S49_powered >> 1) && (!S49_powered >> 0)) );
  (L58_dir == backward) >> (L58_load == L57_load + ((S48_powered >> 1) && (!S48_powered >> 0)) );
  (L58_dir == off) >> (L58_load == 0);

//Line L68
  (((L68_dir != off) && ((L69_dir == forward))) >> (L68_dir == backward)) &&
  ((L68_dir == backward) >> ((L68_dir != off) && ((L69_dir == forward))));
  (((L68_dir != off) && ((L67_dir == forward) || (L83_dir == backward))) >> (L68_dir == forward)) &&
  ((L68_dir == forward) >> ((L68_dir != off) && ((L67_dir == forward) || (L83_dir == backward))));
  (L68_dir == forward) >> (L68_load == L69_load + ((S57_powered >> 1) && (!S57_powered >> 0)) );
  (L68_dir == backward) >> (L68_load == L67_load + L83_load + ((S56_powered >> 1) && (!S56_powered >> 0)) );
  (L68_dir == off) >> (L68_load == 0);

//Line L47
  (((L47_dir != off) && ((L48_dir == backward) || (L51_dir == backward))) >> (L47_dir == backward)) &&
  ((L47_dir == backward) >> ((L47_dir != off) && ((L48_dir == backward) || (L51_dir == backward))));
  (( (L47_dir == forward) >> (C3_state == sink) ) &&
 ( (C3_state == sink) >> (L47_dir == forward) )) &&
  (( (L47_dir == backward) >> (C3_state == source) ) &&
   ( (C3_state == source) >> (L47_dir == backward) )) &&
  (( (L47_dir == off) >> (C3_state == cp_off) ) &&
   ( (C3_state == cp_off) >> (L47_dir == off) )) &&
  ( (C3_state == cp_off) >> (C3_flow == 0) );
  (L47_dir == forward) >> (L47_load == L48_load + L51_load + ((S41_powered >> 1) && (!S41_powered >> 0)) );
  (L47_dir == backward) >> (L47_load == L47_load);
  (L47_dir == off) >> (L47_load == 0);

//Sink S58
  S58_powered >> (L70_dir == forward || L71_dir == backward);

//Sink S43
  S43_powered >> (L51_dir == forward || L52_dir == backward || L70_dir == backward);

//Sink S54
  S54_powered >> (L63_dir == forward || L64_dir == backward || L67_dir == backward);

//Sink S47
  S47_powered >> (L56_dir == forward || L57_dir == backward || L65_dir == forward);

//Sink S59
  S59_powered >> (L71_dir == forward || L72_dir == backward);

//Sink S52
  S52_powered >> (L61_dir == forward || L62_dir == backward);

//Sink S44
  S44_powered >> (L52_dir == forward || L53_dir == forward || L54_dir == backward);

//Sink S55
  S55_powered >> (L64_dir == forward || L65_dir == backward || L66_dir == forward);

//Sink S48
  S48_powered >> (L57_dir == forward || L58_dir == backward);

//Sink S51
  S51_powered >> (L60_dir == forward || L61_dir == backward);

//Sink S41
  S41_powered >> (L47_dir == forward || L48_dir == backward || L51_dir == backward);

//Sink S45
  S45_powered >> (L54_dir == forward || L55_dir == backward);

//Sink S49
  S49_powered >> (L58_dir == forward || L59_dir == backward);

//Sink S50
  S50_powered >> (L59_dir == forward || L60_dir == backward);

//Sink S56
  S56_powered >> (L67_dir == forward || L68_dir == backward || L83_dir == backward);

//Sink S42
  S42_powered >> (L48_dir == forward || L49_dir == forward);

//Sink S57
  S57_powered >> (L68_dir == forward || L69_dir == forward);

//Sink S46
  S46_powered >> (L55_dir == forward || L56_dir == backward);

//Sink S53
  S53_powered >> (L62_dir == forward || L63_dir == backward);