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

variable
  bool S40_powered;
  Dir L46_dir;
  Load_13 L46_load;
  bool S39_powered;
  State C3_state;
  Flow_15 C3_flow;
  Dir L47_dir;
  Load_13 L47_load;
  Dir L45_dir;
  Load_13 L45_load;
  bool S38_powered;
  Dir L44_dir;
  Load_13 L44_load;
  bool S37_powered;
  Dir L43_dir;
  Load_13 L43_load;
  bool S36_powered;
  Dir L42_dir;
  Load_13 L42_load;
  bool S35_powered;
  Dir L41_dir;
  Load_13 L41_load;
  bool S34_powered;
  State C2_state;
  Flow_15 C2_flow;
  Dir L78_dir;
  Load_13 L78_load;
  Dir L40_dir;
  Load_13 L40_load;
  bool S33_powered;
  Dir L39_dir;
  Load_13 L39_load;
  bool S30_powered;
  Dir L35_dir;
  Load_13 L35_load;
  Dir L36_dir;
  Load_13 L36_load;
  bool S31_powered;
  Dir L37_dir;
  Load_13 L37_load;
  bool S32_powered;
  Dir L38_dir;
  Load_13 L38_load;
  bool S23_powered;
  State C1_state;
  Flow_15 C1_flow;
  Dir L26_dir;
  Load_13 L26_load;
  Dir L27_dir;
  Load_13 L27_load;
  bool S25_powered;
  Dir L30_dir;
  Load_13 L30_load;
  Dir L29_dir;
  Load_13 L29_load;
  bool S24_powered;
  Dir L28_dir;
  Load_13 L28_load;
  bool S29_powered;
  Dir L34_dir;
  Load_13 L34_load;
  bool S28_powered;
  Dir L33_dir;
  Load_13 L33_load;
  bool S27_powered;
  Dir L32_dir;
  Load_13 L32_load;
  bool S26_powered;
  Dir L31_dir;
  Load_13 L31_load;
  State C4_state;
  Flow_15 C4_flow;
  Dir L50_dir;
  Load_13 L50_load;
  bool P2_powered;

rule
//Line L28
  P2_powered >> ( (L28_dir != forward) );
  !P2_powered >> (
  ((((L28_dir != off) && ((L31_dir == forward) || (L50_dir == backward))) >> (L28_dir == backward)) &&
  ((L28_dir == backward) >> ((L28_dir != off) && ((L31_dir == forward) || (L50_dir == backward))))) &&
  ((((L28_dir != off) && ((L27_dir == forward) || (L29_dir == backward))) >> (L28_dir == forward)) &&
  ((L28_dir == forward) >> ((L28_dir != off) && ((L27_dir == forward) || (L29_dir == backward)))))
  );
  (L28_dir == forward) >> (L28_load == L31_load + L50_load );
  (L28_dir == backward) >> (L28_load == L27_load + L29_load + ((S24_powered >> 1) && (!S24_powered >> 0)) );
  (L28_dir == off) >> (L28_load == 0);

//Line L31
  P2_powered >> ( (L31_dir != forward) );
  !P2_powered >> (
  ((((L31_dir != off) && ((L28_dir == forward) || (L50_dir == backward))) >> (L31_dir == backward)) &&
  ((L31_dir == backward) >> ((L31_dir != off) && ((L28_dir == forward) || (L50_dir == backward))))) &&
  ((((L31_dir != off) && ((L30_dir == forward) || (L32_dir == backward))) >> (L31_dir == forward)) &&
  ((L31_dir == forward) >> ((L31_dir != off) && ((L30_dir == forward) || (L32_dir == backward)))))
  );
  (L31_dir == forward) >> (L31_load == L28_load + L50_load );
  (L31_dir == backward) >> (L31_load == L30_load + L32_load + ((S26_powered >> 1) && (!S26_powered >> 0)) );
  (L31_dir == off) >> (L31_load == 0);

//Line L78
  (( (L78_dir == forward) >> (C2_state == sink) ) &&
 ( (C2_state == sink) >> (L78_dir == forward) )) &&
  (( (L78_dir == backward) >> (C2_state == source) ) &&
   ( (C2_state == source) >> (L78_dir == backward) )) &&
  (( (L78_dir == off) >> (C2_state == cp_off) ) &&
   ( (C2_state == cp_off) >> (L78_dir == off) )) &&
  ( (C2_state == cp_off) >> (C2_flow == 0) );
  (((L78_dir != off) && ((L40_dir == forward) || (L41_dir == backward))) >> (L78_dir == forward)) &&
  ((L78_dir == forward) >> ((L78_dir != off) && ((L40_dir == forward) || (L41_dir == backward))));
  (L78_dir == forward) >> (L78_load == C2_flow);
  (L78_dir == backward) >> (L78_load == L40_load + L41_load + ((S34_powered >> 1) && (!S34_powered >> 0)) );
  (L78_dir == off) >> (L78_load == 0);

//Line L42
  (((L42_dir != off) && ((L43_dir == backward))) >> (L42_dir == backward)) &&
  ((L42_dir == backward) >> ((L42_dir != off) && ((L43_dir == backward))));
  (((L42_dir != off) && ((L41_dir == forward))) >> (L42_dir == forward)) &&
  ((L42_dir == forward) >> ((L42_dir != off) && ((L41_dir == forward))));
  (L42_dir == forward) >> (L42_load == L43_load + ((S36_powered >> 1) && (!S36_powered >> 0)) );
  (L42_dir == backward) >> (L42_load == L41_load + ((S35_powered >> 1) && (!S35_powered >> 0)) );
  (L42_dir == off) >> (L42_load == 0);

//Line L40
  (((L40_dir != off) && ((L41_dir == backward) || (L78_dir == backward))) >> (L40_dir == backward)) &&
  ((L40_dir == backward) >> ((L40_dir != off) && ((L41_dir == backward) || (L78_dir == backward))));
  (((L40_dir != off) && ((L39_dir == forward))) >> (L40_dir == forward)) &&
  ((L40_dir == forward) >> ((L40_dir != off) && ((L39_dir == forward))));
  (L40_dir == forward) >> (L40_load == L41_load + L78_load + ((S34_powered >> 1) && (!S34_powered >> 0)) );
  (L40_dir == backward) >> (L40_load == L39_load + ((S33_powered >> 1) && (!S33_powered >> 0)) );
  (L40_dir == off) >> (L40_load == 0);

//Line L46
    (L46_dir != backward);
  (((L46_dir != off) && ((L45_dir == forward) || (L47_dir == backward))) >> (L46_dir == forward)) &&
  ((L46_dir == forward) >> ((L46_dir != off) && ((L45_dir == forward) || (L47_dir == backward))));
  (L46_dir == forward) >> (L46_load == ((S40_powered >> 1) && (!S40_powered >> 0)) );
  (L46_dir == backward) >> (L46_load == L45_load + L47_load + ((S39_powered >> 1) && (!S39_powered >> 0)) );
  (L46_dir == off) >> (L46_load == 0);

//Line L35
  (((L35_dir != off) && ((L36_dir == backward))) >> (L35_dir == backward)) &&
  ((L35_dir == backward) >> ((L35_dir != off) && ((L36_dir == backward))));
  (((L35_dir != off) && ((L34_dir == forward))) >> (L35_dir == forward)) &&
  ((L35_dir == forward) >> ((L35_dir != off) && ((L34_dir == forward))));
  (L35_dir == forward) >> (L35_load == L36_load + ((S30_powered >> 1) && (!S30_powered >> 0)) );
  (L35_dir == backward) >> (L35_load == L34_load + ((S29_powered >> 1) && (!S29_powered >> 0)) );
  (L35_dir == off) >> (L35_load == 0);

//Line L41
  (((L41_dir != off) && ((L42_dir == backward))) >> (L41_dir == backward)) &&
  ((L41_dir == backward) >> ((L41_dir != off) && ((L42_dir == backward))));
  (((L41_dir != off) && ((L40_dir == forward) || (L78_dir == backward))) >> (L41_dir == forward)) &&
  ((L41_dir == forward) >> ((L41_dir != off) && ((L40_dir == forward) || (L78_dir == backward))));
  (L41_dir == forward) >> (L41_load == L42_load + ((S35_powered >> 1) && (!S35_powered >> 0)) );
  (L41_dir == backward) >> (L41_load == L40_load + L78_load + ((S34_powered >> 1) && (!S34_powered >> 0)) );
  (L41_dir == off) >> (L41_load == 0);

//Line L30
  (((L30_dir != off) && ((L31_dir == backward) || (L32_dir == backward))) >> (L30_dir == backward)) &&
  ((L30_dir == backward) >> ((L30_dir != off) && ((L31_dir == backward) || (L32_dir == backward))));
  (((L30_dir != off) && ((L29_dir == forward))) >> (L30_dir == forward)) &&
  ((L30_dir == forward) >> ((L30_dir != off) && ((L29_dir == forward))));
  (L30_dir == forward) >> (L30_load == L31_load + L32_load + ((S26_powered >> 1) && (!S26_powered >> 0)) );
  (L30_dir == backward) >> (L30_load == L29_load + ((S25_powered >> 1) && (!S25_powered >> 0)) );
  (L30_dir == off) >> (L30_load == 0);

//Line L34
  (((L34_dir != off) && ((L35_dir == backward))) >> (L34_dir == backward)) &&
  ((L34_dir == backward) >> ((L34_dir != off) && ((L35_dir == backward))));
  (((L34_dir != off) && ((L33_dir == forward))) >> (L34_dir == forward)) &&
  ((L34_dir == forward) >> ((L34_dir != off) && ((L33_dir == forward))));
  (L34_dir == forward) >> (L34_load == L35_load + ((S29_powered >> 1) && (!S29_powered >> 0)) );
  (L34_dir == backward) >> (L34_load == L33_load + ((S28_powered >> 1) && (!S28_powered >> 0)) );
  (L34_dir == off) >> (L34_load == 0);

//Line L45
  (((L45_dir != off) && ((L46_dir == backward) || (L47_dir == backward))) >> (L45_dir == backward)) &&
  ((L45_dir == backward) >> ((L45_dir != off) && ((L46_dir == backward) || (L47_dir == backward))));
  (((L45_dir != off) && ((L44_dir == forward))) >> (L45_dir == forward)) &&
  ((L45_dir == forward) >> ((L45_dir != off) && ((L44_dir == forward))));
  (L45_dir == forward) >> (L45_load == L46_load + L47_load + ((S39_powered >> 1) && (!S39_powered >> 0)) );
  (L45_dir == backward) >> (L45_load == L44_load + ((S38_powered >> 1) && (!S38_powered >> 0)) );
  (L45_dir == off) >> (L45_load == 0);

//Line L29
  (((L29_dir != off) && ((L30_dir == backward))) >> (L29_dir == backward)) &&
  ((L29_dir == backward) >> ((L29_dir != off) && ((L30_dir == backward))));
  (((L29_dir != off) && ((L27_dir == forward) || (L28_dir == backward))) >> (L29_dir == forward)) &&
  ((L29_dir == forward) >> ((L29_dir != off) && ((L27_dir == forward) || (L28_dir == backward))));
  (L29_dir == forward) >> (L29_load == L30_load + ((S25_powered >> 1) && (!S25_powered >> 0)) );
  (L29_dir == backward) >> (L29_load == L27_load + L28_load + ((S24_powered >> 1) && (!S24_powered >> 0)) );
  (L29_dir == off) >> (L29_load == 0);

//Line L39
  (((L39_dir != off) && ((L40_dir == backward))) >> (L39_dir == backward)) &&
  ((L39_dir == backward) >> ((L39_dir != off) && ((L40_dir == backward))));
  (((L39_dir != off) && ((L37_dir == forward) || (L38_dir == backward))) >> (L39_dir == forward)) &&
  ((L39_dir == forward) >> ((L39_dir != off) && ((L37_dir == forward) || (L38_dir == backward))));
  (L39_dir == forward) >> (L39_load == L40_load + ((S33_powered >> 1) && (!S33_powered >> 0)) );
  (L39_dir == backward) >> (L39_load == L37_load + L38_load + ((S32_powered >> 1) && (!S32_powered >> 0)) );
  (L39_dir == off) >> (L39_load == 0);

//Line L44
  (((L44_dir != off) && ((L45_dir == backward))) >> (L44_dir == backward)) &&
  ((L44_dir == backward) >> ((L44_dir != off) && ((L45_dir == backward))));
  (((L44_dir != off) && ((L43_dir == forward))) >> (L44_dir == forward)) &&
  ((L44_dir == forward) >> ((L44_dir != off) && ((L43_dir == forward))));
  (L44_dir == forward) >> (L44_load == L45_load + ((S38_powered >> 1) && (!S38_powered >> 0)) );
  (L44_dir == backward) >> (L44_load == L43_load + ((S37_powered >> 1) && (!S37_powered >> 0)) );
  (L44_dir == off) >> (L44_load == 0);

//Line L38
  (((L38_dir != off) && ((L26_dir == forward) || (L27_dir == backward))) >> (L38_dir == backward)) &&
  ((L38_dir == backward) >> ((L38_dir != off) && ((L26_dir == forward) || (L27_dir == backward))));
  (((L38_dir != off) && ((L37_dir == forward) || (L39_dir == backward))) >> (L38_dir == forward)) &&
  ((L38_dir == forward) >> ((L38_dir != off) && ((L37_dir == forward) || (L39_dir == backward))));
  (L38_dir == forward) >> (L38_load == L26_load + L27_load + ((S23_powered >> 1) && (!S23_powered >> 0)) );
  (L38_dir == backward) >> (L38_load == L37_load + L39_load + ((S32_powered >> 1) && (!S32_powered >> 0)) );
  (L38_dir == off) >> (L38_load == 0);

//Line L37
  (((L37_dir != off) && ((L38_dir == backward) || (L39_dir == backward))) >> (L37_dir == backward)) &&
  ((L37_dir == backward) >> ((L37_dir != off) && ((L38_dir == backward) || (L39_dir == backward))));
  (((L37_dir != off) && ((L36_dir == forward))) >> (L37_dir == forward)) &&
  ((L37_dir == forward) >> ((L37_dir != off) && ((L36_dir == forward))));
  (L37_dir == forward) >> (L37_load == L38_load + L39_load + ((S32_powered >> 1) && (!S32_powered >> 0)) );
  (L37_dir == backward) >> (L37_load == L36_load + ((S31_powered >> 1) && (!S31_powered >> 0)) );
  (L37_dir == off) >> (L37_load == 0);

//Line L33
  (((L33_dir != off) && ((L34_dir == backward))) >> (L33_dir == backward)) &&
  ((L33_dir == backward) >> ((L33_dir != off) && ((L34_dir == backward))));
  (((L33_dir != off) && ((L32_dir == forward))) >> (L33_dir == forward)) &&
  ((L33_dir == forward) >> ((L33_dir != off) && ((L32_dir == forward))));
  (L33_dir == forward) >> (L33_load == L34_load + ((S28_powered >> 1) && (!S28_powered >> 0)) );
  (L33_dir == backward) >> (L33_load == L32_load + ((S27_powered >> 1) && (!S27_powered >> 0)) );
  (L33_dir == off) >> (L33_load == 0);

//Line L50
  P2_powered >> ( (L50_dir != backward) );
  !P2_powered >> (
  ((( (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 != off) && ((L28_dir == forward) || (L31_dir == forward))) >> (L50_dir == forward)) &&
  ((L50_dir == forward) >> ((L50_dir != off) && ((L28_dir == forward) || (L31_dir == forward)))))
  );
  (L50_dir == forward) >> (L50_load == C4_flow);
  (L50_dir == backward) >> (L50_load == L28_load + L31_load );
  (L50_dir == off) >> (L50_load == 0);

//Line L43
  (((L43_dir != off) && ((L44_dir == backward))) >> (L43_dir == backward)) &&
  ((L43_dir == backward) >> ((L43_dir != off) && ((L44_dir == backward))));
  (((L43_dir != off) && ((L42_dir == forward))) >> (L43_dir == forward)) &&
  ((L43_dir == forward) >> ((L43_dir != off) && ((L42_dir == forward))));
  (L43_dir == forward) >> (L43_load == L44_load + ((S37_powered >> 1) && (!S37_powered >> 0)) );
  (L43_dir == backward) >> (L43_load == L42_load + ((S36_powered >> 1) && (!S36_powered >> 0)) );
  (L43_dir == off) >> (L43_load == 0);

//Line L26
  (((L26_dir != off) && ((L27_dir == backward) || (L38_dir == forward))) >> (L26_dir == backward)) &&
  ((L26_dir == backward) >> ((L26_dir != off) && ((L27_dir == backward) || (L38_dir == forward))));
  (( (L26_dir == forward) >> (C1_state == sink) ) &&
 ( (C1_state == sink) >> (L26_dir == forward) )) &&
  (( (L26_dir == backward) >> (C1_state == source) ) &&
   ( (C1_state == source) >> (L26_dir == backward) )) &&
  (( (L26_dir == off) >> (C1_state == cp_off) ) &&
   ( (C1_state == cp_off) >> (L26_dir == off) )) &&
  ( (C1_state == cp_off) >> (C1_flow == 0) );
  (L26_dir == forward) >> (L26_load == L27_load + L38_load + ((S23_powered >> 1) && (!S23_powered >> 0)) );
  (L26_dir == backward) >> (L26_load == L26_load);
  (L26_dir == off) >> (L26_load == 0);

//Line L27
  (((L27_dir != off) && ((L28_dir == backward) || (L29_dir == backward))) >> (L27_dir == backward)) &&
  ((L27_dir == backward) >> ((L27_dir != off) && ((L28_dir == backward) || (L29_dir == backward))));
  (((L27_dir != off) && ((L26_dir == forward) || (L38_dir == forward))) >> (L27_dir == forward)) &&
  ((L27_dir == forward) >> ((L27_dir != off) && ((L26_dir == forward) || (L38_dir == forward))));
  (L27_dir == forward) >> (L27_load == L28_load + L29_load + ((S24_powered >> 1) && (!S24_powered >> 0)) );
  (L27_dir == backward) >> (L27_load == L26_load + L38_load + ((S23_powered >> 1) && (!S23_powered >> 0)) );
  (L27_dir == off) >> (L27_load == 0);

//Line L32
  (((L32_dir != off) && ((L33_dir == backward))) >> (L32_dir == backward)) &&
  ((L32_dir == backward) >> ((L32_dir != off) && ((L33_dir == backward))));
  (((L32_dir != off) && ((L30_dir == forward) || (L31_dir == backward))) >> (L32_dir == forward)) &&
  ((L32_dir == forward) >> ((L32_dir != off) && ((L30_dir == forward) || (L31_dir == backward))));
  (L32_dir == forward) >> (L32_load == L33_load + ((S27_powered >> 1) && (!S27_powered >> 0)) );
  (L32_dir == backward) >> (L32_load == L30_load + L31_load + ((S26_powered >> 1) && (!S26_powered >> 0)) );
  (L32_dir == off) >> (L32_load == 0);

//Line L47
  (( (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 != off) && ((L45_dir == forward) || (L46_dir == backward))) >> (L47_dir == forward)) &&
  ((L47_dir == forward) >> ((L47_dir != off) && ((L45_dir == forward) || (L46_dir == backward))));
  (L47_dir == forward) >> (L47_load == C3_flow);
  (L47_dir == backward) >> (L47_load == L45_load + L46_load + ((S39_powered >> 1) && (!S39_powered >> 0)) );
  (L47_dir == off) >> (L47_load == 0);

//Line L36
  (((L36_dir != off) && ((L37_dir == backward))) >> (L36_dir == backward)) &&
  ((L36_dir == backward) >> ((L36_dir != off) && ((L37_dir == backward))));
  (((L36_dir != off) && ((L35_dir == forward))) >> (L36_dir == forward)) &&
  ((L36_dir == forward) >> ((L36_dir != off) && ((L35_dir == forward))));
  (L36_dir == forward) >> (L36_load == L37_load + ((S31_powered >> 1) && (!S31_powered >> 0)) );
  (L36_dir == backward) >> (L36_load == L35_load + ((S30_powered >> 1) && (!S30_powered >> 0)) );
  (L36_dir == off) >> (L36_load == 0);

//Sink S34
  S34_powered >> (L40_dir == forward || L41_dir == backward || L78_dir == backward);

//Sink S23
  S23_powered >> (L26_dir == forward || L27_dir == backward || L38_dir == forward);

//Sink S27
  S27_powered >> (L32_dir == forward || L33_dir == backward);

//Sink S38
  S38_powered >> (L44_dir == forward || L45_dir == backward);

//Sink S39
  S39_powered >> (L45_dir == forward || L46_dir == backward || L47_dir == backward);

//Sink S28
  S28_powered >> (L33_dir == forward || L34_dir == backward);

//Sink S40
  S40_powered >> (L46_dir == forward);

//Sink S31
  S31_powered >> (L36_dir == forward || L37_dir == backward);

//Sink S24
  S24_powered >> (L27_dir == forward || L28_dir == backward || L29_dir == backward);

//Sink S35
  S35_powered >> (L41_dir == forward || L42_dir == backward);

//Sink S32
  S32_powered >> (L37_dir == forward || L38_dir == backward || L39_dir == backward);

//Sink S25
  S25_powered >> (L29_dir == forward || L30_dir == backward);

//Sink S36
  S36_powered >> (L42_dir == forward || L43_dir == backward);

//Sink S33
  S33_powered >> (L39_dir == forward || L40_dir == backward);

//Sink S26
  S26_powered >> (L30_dir == forward || L31_dir == backward || L32_dir == backward);

//Sink S37
  S37_powered >> (L43_dir == forward || L44_dir == backward);

//Sink S29
  S29_powered >> (L34_dir == forward || L35_dir == backward);

//Sink S30
  S30_powered >> (L35_dir == forward || L36_dir == backward);