type Dir {forward, backward, off}; State {sink, cp_off, source}; Load_13 [0..13]; Flow_15 [0..15]; variable bool S98_powered; Dir L121_dir; Load_13 L121_load; Dir L120_dir; Load_13 L120_load; bool S97_powered; Dir L119_dir; Load_13 L119_load; bool S96_powered; Dir L118_dir; Load_13 L118_load; bool S95_powered; Dir L117_dir; Load_13 L117_load; bool S94_powered; Dir L139_dir; Load_13 L139_load; Dir L116_dir; Load_13 L116_load; bool S72_powered; Dir L88_dir; Load_13 L88_load; Dir L89_dir; Load_13 L89_load; bool S73_powered; Dir L90_dir; Load_13 L90_load; bool S74_powered; Dir L91_dir; Load_13 L91_load; bool S75_powered; Dir L92_dir; Load_13 L92_load; Dir L93_dir; Load_13 L93_load; bool S76_powered; Dir L94_dir; Load_13 L94_load; bool S85_powered; Dir L104_dir; Load_13 L104_load; Dir L105_dir; Load_13 L105_load; bool S86_powered; Dir L106_dir; Load_13 L106_load; bool S79_powered; Dir L97_dir; Load_13 L97_load; Dir L96_dir; Load_13 L96_load; bool S78_powered; Dir L95_dir; Load_13 L95_load; bool S77_powered; Dir L115_dir; Load_13 L115_load; bool S93_powered; Dir L114_dir; Load_13 L114_load; bool S92_powered; Dir L113_dir; Load_13 L113_load; bool S91_powered; Dir L112_dir; Load_13 L112_load; bool S88_powered; Dir L108_dir; Load_13 L108_load; Dir L109_dir; Load_13 L109_load; bool S113_powered; Dir L137_dir; Load_13 L137_load; Dir L138_dir; Load_13 L138_load; bool S89_powered; Dir L110_dir; Load_13 L110_load; bool S90_powered; Dir L111_dir; Load_13 L111_load; bool S104_powered; Dir L126_dir; Load_13 L126_load; Dir L127_dir; Load_13 L127_load; bool S105_powered; Dir L128_dir; Load_13 L128_load; bool S106_powered; Dir L129_dir; Load_13 L129_load; bool S107_powered; Dir L130_dir; Load_13 L130_load; bool S108_powered; Dir L131_dir; Load_13 L131_load; bool S103_powered; Dir L125_dir; Load_13 L125_load; bool S102_powered; Dir L124_dir; Load_13 L124_load; bool S101_powered; Dir L123_dir; Load_13 L123_load; bool S100_powered; Dir L122_dir; Load_13 L122_load; bool S99_powered; Dir L132_dir; Load_13 L132_load; bool S109_powered; Dir L133_dir; Load_13 L133_load; bool S16_powered; Dir L19_dir; Load_13 L19_load; Dir L18_dir; Load_13 L18_load; bool S15_powered; Dir L17_dir; Load_13 L17_load; bool S14_powered; Dir L16_dir; Load_13 L16_load; bool S8_powered; Dir L9_dir; Load_13 L9_load; Dir L10_dir; Load_13 L10_load; bool S9_powered; Dir L11_dir; Load_13 L11_load; bool S10_powered; Dir L12_dir; Load_13 L12_load; bool S11_powered; Dir L13_dir; Load_13 L13_load; bool S12_powered; Dir L14_dir; Load_13 L14_load; bool S118_powered; Dir L145_dir; Load_13 L145_load; Dir L144_dir; Load_13 L144_load; bool S117_powered; Dir L143_dir; Load_13 L143_load; bool S116_powered; Dir L142_dir; Load_13 L142_load; bool S115_powered; Dir L141_dir; Load_13 L141_load; bool S114_powered; Dir L140_dir; Load_13 L140_load; bool S112_powered; Dir L136_dir; Load_13 L136_load; bool S111_powered; Dir L135_dir; Load_13 L135_load; bool S110_powered; Dir L134_dir; Load_13 L134_load; bool S13_powered; Dir L15_dir; Load_13 L15_load; bool S17_powered; Dir L20_dir; Load_13 L20_load; bool S18_powered; Dir L21_dir; Load_13 L21_load; bool S19_powered; Dir L22_dir; Load_13 L22_load; bool S20_powered; Dir L23_dir; Load_13 L23_load; bool S119_powered; Dir L146_dir; Load_13 L146_load; bool S21_powered; Dir L24_dir; Load_13 L24_load; bool S80_powered; Dir L98_dir; Load_13 L98_load; bool S87_powered; Dir L107_dir; Load_13 L107_load; bool S81_powered; Dir L99_dir; Load_13 L99_load; bool S82_powered; Dir L100_dir; Load_13 L100_load; bool S67_powered; Dir L82_dir; Load_13 L82_load; Dir L81_dir; Load_13 L81_load; bool S66_powered; Dir L80_dir; Load_13 L80_load; State C2_state; Flow_15 C2_flow; Dir L78_dir; Load_13 L78_load; bool S64_powered; Dir L79_dir; Load_13 L79_load; bool S65_powered; Dir L101_dir; Load_13 L101_load; bool S83_powered; Dir L102_dir; Load_13 L102_load; State C5_state; Flow_15 C5_flow; Dir L72_dir; Load_13 L72_load; bool S60_powered; Dir L73_dir; Load_13 L73_load; bool S61_powered; Dir L74_dir; Load_13 L74_load; bool S62_powered; Dir L75_dir; Load_13 L75_load; bool S63_powered; Dir L76_dir; Load_13 L76_load; bool S4_powered; Dir L4_dir; Load_13 L4_load; Dir L5_dir; Load_13 L5_load; bool S5_powered; Dir L6_dir; Load_13 L6_load; bool S7_powered; Dir L8_dir; Load_13 L8_load; bool S6_powered; Dir L7_dir; Load_13 L7_load; bool S71_powered; Dir L87_dir; Load_13 L87_load; bool S70_powered; Dir L86_dir; Load_13 L86_load; State C8_state; Flow_15 C8_flow; Dir L83_dir; Load_13 L83_load; bool S68_powered; Dir L84_dir; Load_13 L84_load; bool S69_powered; Dir L85_dir; Load_13 L85_load; bool S3_powered; Dir L3_dir; Load_13 L3_load; bool S2_powered; Dir L2_dir; Load_13 L2_load; bool S1_powered; Dir L1_dir; Load_13 L1_load; bool S84_powered; Dir L103_dir; Load_13 L103_load; State C1_state; Flow_15 C1_flow; Dir L26_dir; Load_13 L26_load; bool S22_powered; Dir L25_dir; Load_13 L25_load; State C6_state; Flow_15 C6_flow; Dir L77_dir; Load_13 L77_load; State C7_state; Flow_15 C7_flow; Dir L66_dir; Load_13 L66_load; bool P1_powered; rule //Line L142 (((L142_dir != off) && ((L143_dir == backward))) >> (L142_dir == backward)) && ((L142_dir == backward) >> ((L142_dir != off) && ((L143_dir == backward)))); (((L142_dir != off) && ((L141_dir == forward))) >> (L142_dir == forward)) && ((L142_dir == forward) >> ((L142_dir != off) && ((L141_dir == forward)))); (L142_dir == forward) >> (L142_load == L143_load + ((S116_powered >> 1) && (!S116_powered >> 0)) ); (L142_dir == backward) >> (L142_load == L141_load + ((S115_powered >> 1) && (!S115_powered >> 0)) ); (L142_dir == off) >> (L142_load == 0); //Line L116 (((L116_dir != off) && ((L117_dir == backward) || (L139_dir == forward))) >> (L116_dir == backward)) && ((L116_dir == backward) >> ((L116_dir != off) && ((L117_dir == backward) || (L139_dir == forward)))); (((L116_dir != off) && ((L93_dir == forward) || (L94_dir == backward))) >> (L116_dir == forward)) && ((L116_dir == forward) >> ((L116_dir != off) && ((L93_dir == forward) || (L94_dir == backward)))); (L116_dir == forward) >> (L116_load == L117_load + L139_load + ((S94_powered >> 1) && (!S94_powered >> 0)) ); (L116_dir == backward) >> (L116_load == L93_load + L94_load + ((S76_powered >> 1) && (!S76_powered >> 0)) ); (L116_dir == off) >> (L116_load == 0); //Line L13 (((L13_dir != off) && ((L14_dir == backward))) >> (L13_dir == backward)) && ((L13_dir == backward) >> ((L13_dir != off) && ((L14_dir == backward)))); (((L13_dir != off) && ((L12_dir == forward) || (L16_dir == backward))) >> (L13_dir == forward)) && ((L13_dir == forward) >> ((L13_dir != off) && ((L12_dir == forward) || (L16_dir == backward)))); (L13_dir == forward) >> (L13_load == L14_load + ((S12_powered >> 1) && (!S12_powered >> 0)) ); (L13_dir == backward) >> (L13_load == L12_load + L16_load + ((S11_powered >> 1) && (!S11_powered >> 0)) ); (L13_dir == off) >> (L13_load == 0); //Line L24 P1_powered >> ( (L24_dir != backward) ); !P1_powered >> ( ((((L24_dir != off) && ((L23_dir == forward) || (L146_dir == forward))) >> (L24_dir == backward)) && ((L24_dir == backward) >> ((L24_dir != off) && ((L23_dir == forward) || (L146_dir == forward))))) && ((((L24_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L15_dir == backward) || (L25_dir == backward) || (L66_dir == backward) || (L76_dir == backward) || (L77_dir == backward) || (L85_dir == backward) || (L102_dir == backward) || (L103_dir == backward) || (L111_dir == forward))) >> (L24_dir == forward)) && ((L24_dir == forward) >> ((L24_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L15_dir == backward) || (L25_dir == backward) || (L66_dir == backward) || (L76_dir == backward) || (L77_dir == backward) || (L85_dir == backward) || (L102_dir == backward) || (L103_dir == backward) || (L111_dir == forward))))) ); (L24_dir == forward) >> (L24_load == L23_load + L146_load + ((S21_powered >> 1) && (!S21_powered >> 0)) ); (L24_dir == backward) >> (L24_load == L1_load + L7_load + L15_load + L25_load + L66_load + L76_load + L77_load + L85_load + L102_load + L103_load + L111_load ); (L24_dir == off) >> (L24_load == 0); //Line L99 (((L99_dir != off) && ((L100_dir == backward))) >> (L99_dir == backward)) && ((L99_dir == backward) >> ((L99_dir != off) && ((L100_dir == backward)))); (((L99_dir != off) && ((L98_dir == forward) || (L107_dir == backward))) >> (L99_dir == forward)) && ((L99_dir == forward) >> ((L99_dir != off) && ((L98_dir == forward) || (L107_dir == backward)))); (L99_dir == forward) >> (L99_load == L100_load + ((S82_powered >> 1) && (!S82_powered >> 0)) ); (L99_dir == backward) >> (L99_load == L98_load + L107_load + ((S81_powered >> 1) && (!S81_powered >> 0)) ); (L99_dir == off) >> (L99_load == 0); //Line L77 P1_powered >> ( (L77_dir != backward) ); !P1_powered >> ( ((( (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 != off) && ((L1_dir == backward) || (L7_dir == backward) || (L15_dir == backward) || (L24_dir == backward) || (L25_dir == backward) || (L66_dir == backward) || (L76_dir == backward) || (L85_dir == backward) || (L102_dir == backward) || (L103_dir == backward) || (L111_dir == forward))) >> (L77_dir == forward)) && ((L77_dir == forward) >> ((L77_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L15_dir == backward) || (L24_dir == backward) || (L25_dir == backward) || (L66_dir == backward) || (L76_dir == backward) || (L85_dir == backward) || (L102_dir == backward) || (L103_dir == backward) || (L111_dir == forward))))) ); (L77_dir == forward) >> (L77_load == C6_flow); (L77_dir == backward) >> (L77_load == L1_load + L7_load + L15_load + L24_load + L25_load + L66_load + L76_load + L85_load + L102_load + L103_load + L111_load ); (L77_dir == off) >> (L77_load == 0); //Line L88 (((L88_dir != off) && ((L89_dir == backward))) >> (L88_dir == backward)) && ((L88_dir == backward) >> ((L88_dir != off) && ((L89_dir == backward)))); (((L88_dir != off) && ((L87_dir == forward) || (L92_dir == forward))) >> (L88_dir == forward)) && ((L88_dir == forward) >> ((L88_dir != off) && ((L87_dir == forward) || (L92_dir == forward)))); (L88_dir == forward) >> (L88_load == L89_load + ((S72_powered >> 1) && (!S72_powered >> 0)) ); (L88_dir == backward) >> (L88_load == L87_load + L92_load + ((S71_powered >> 1) && (!S71_powered >> 0)) ); (L88_dir == off) >> (L88_load == 0); //Line L10 (((L10_dir != off) && ((L11_dir == backward))) >> (L10_dir == backward)) && ((L10_dir == backward) >> ((L10_dir != off) && ((L11_dir == backward)))); (((L10_dir != off) && ((L9_dir == forward))) >> (L10_dir == forward)) && ((L10_dir == forward) >> ((L10_dir != off) && ((L9_dir == forward)))); (L10_dir == forward) >> (L10_load == L11_load + ((S9_powered >> 1) && (!S9_powered >> 0)) ); (L10_dir == backward) >> (L10_load == L9_load + ((S8_powered >> 1) && (!S8_powered >> 0)) ); (L10_dir == off) >> (L10_load == 0); //Line L128 (((L128_dir != off) && ((L129_dir == backward))) >> (L128_dir == backward)) && ((L128_dir == backward) >> ((L128_dir != off) && ((L129_dir == backward)))); (((L128_dir != off) && ((L127_dir == forward))) >> (L128_dir == forward)) && ((L128_dir == forward) >> ((L128_dir != off) && ((L127_dir == forward)))); (L128_dir == forward) >> (L128_load == L129_load + ((S106_powered >> 1) && (!S106_powered >> 0)) ); (L128_dir == backward) >> (L128_load == L127_load + ((S105_powered >> 1) && (!S105_powered >> 0)) ); (L128_dir == off) >> (L128_load == 0); //Line L140 (((L140_dir != off) && ((L141_dir == backward))) >> (L140_dir == backward)) && ((L140_dir == backward) >> ((L140_dir != off) && ((L141_dir == backward)))); (((L140_dir != off) && ((L134_dir == forward) || (L135_dir == backward))) >> (L140_dir == forward)) && ((L140_dir == forward) >> ((L140_dir != off) && ((L134_dir == forward) || (L135_dir == backward)))); (L140_dir == forward) >> (L140_load == L141_load + ((S114_powered >> 1) && (!S114_powered >> 0)) ); (L140_dir == backward) >> (L140_load == L134_load + L135_load + ((S110_powered >> 1) && (!S110_powered >> 0)) ); (L140_dir == off) >> (L140_load == 0); //Line L21 (((L21_dir != off) && ((L22_dir == backward))) >> (L21_dir == backward)) && ((L21_dir == backward) >> ((L21_dir != off) && ((L22_dir == backward)))); (((L21_dir != off) && ((L20_dir == forward))) >> (L21_dir == forward)) && ((L21_dir == forward) >> ((L21_dir != off) && ((L20_dir == forward)))); (L21_dir == forward) >> (L21_load == L22_load + ((S19_powered >> 1) && (!S19_powered >> 0)) ); (L21_dir == backward) >> (L21_load == L20_load + ((S18_powered >> 1) && (!S18_powered >> 0)) ); (L21_dir == off) >> (L21_load == 0); //Line L98 (((L98_dir != off) && ((L99_dir == backward) || (L107_dir == backward))) >> (L98_dir == backward)) && ((L98_dir == backward) >> ((L98_dir != off) && ((L99_dir == backward) || (L107_dir == backward)))); (((L98_dir != off) && ((L97_dir == forward))) >> (L98_dir == forward)) && ((L98_dir == forward) >> ((L98_dir != off) && ((L97_dir == forward)))); (L98_dir == forward) >> (L98_load == L99_load + L107_load + ((S81_powered >> 1) && (!S81_powered >> 0)) ); (L98_dir == backward) >> (L98_load == L97_load + ((S80_powered >> 1) && (!S80_powered >> 0)) ); (L98_dir == off) >> (L98_load == 0); //Line L76 P1_powered >> ( (L76_dir != backward) ); !P1_powered >> ( ((((L76_dir != off) && ((L75_dir == forward))) >> (L76_dir == backward)) && ((L76_dir == backward) >> ((L76_dir != off) && ((L75_dir == forward))))) && ((((L76_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L15_dir == backward) || (L24_dir == backward) || (L25_dir == backward) || (L66_dir == backward) || (L77_dir == backward) || (L85_dir == backward) || (L102_dir == backward) || (L103_dir == backward) || (L111_dir == forward))) >> (L76_dir == forward)) && ((L76_dir == forward) >> ((L76_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L15_dir == backward) || (L24_dir == backward) || (L25_dir == backward) || (L66_dir == backward) || (L77_dir == backward) || (L85_dir == backward) || (L102_dir == backward) || (L103_dir == backward) || (L111_dir == forward))))) ); (L76_dir == forward) >> (L76_load == L75_load + ((S63_powered >> 1) && (!S63_powered >> 0)) ); (L76_dir == backward) >> (L76_load == L1_load + L7_load + L15_load + L24_load + L25_load + L66_load + L77_load + L85_load + L102_load + L103_load + L111_load ); (L76_dir == off) >> (L76_load == 0); //Line L87 (((L87_dir != off) && ((L88_dir == backward) || (L92_dir == forward))) >> (L87_dir == backward)) && ((L87_dir == backward) >> ((L87_dir != off) && ((L88_dir == backward) || (L92_dir == forward)))); (((L87_dir != off) && ((L86_dir == forward))) >> (L87_dir == forward)) && ((L87_dir == forward) >> ((L87_dir != off) && ((L86_dir == forward)))); (L87_dir == forward) >> (L87_load == L88_load + L92_load + ((S71_powered >> 1) && (!S71_powered >> 0)) ); (L87_dir == backward) >> (L87_load == L86_load + ((S70_powered >> 1) && (!S70_powered >> 0)) ); (L87_dir == off) >> (L87_load == 0); //Line L118 (((L118_dir != off) && ((L119_dir == backward))) >> (L118_dir == backward)) && ((L118_dir == backward) >> ((L118_dir != off) && ((L119_dir == backward)))); (((L118_dir != off) && ((L117_dir == forward))) >> (L118_dir == forward)) && ((L118_dir == forward) >> ((L118_dir != off) && ((L117_dir == forward)))); (L118_dir == forward) >> (L118_load == L119_load + ((S96_powered >> 1) && (!S96_powered >> 0)) ); (L118_dir == backward) >> (L118_load == L117_load + ((S95_powered >> 1) && (!S95_powered >> 0)) ); (L118_dir == off) >> (L118_load == 0); //Line L22 (((L22_dir != off) && ((L23_dir == backward))) >> (L22_dir == backward)) && ((L22_dir == backward) >> ((L22_dir != off) && ((L23_dir == backward)))); (((L22_dir != off) && ((L21_dir == forward))) >> (L22_dir == forward)) && ((L22_dir == forward) >> ((L22_dir != off) && ((L21_dir == forward)))); (L22_dir == forward) >> (L22_load == L23_load + ((S20_powered >> 1) && (!S20_powered >> 0)) ); (L22_dir == backward) >> (L22_load == L21_load + ((S19_powered >> 1) && (!S19_powered >> 0)) ); (L22_dir == off) >> (L22_load == 0); //Line L132 (((L132_dir != off) && ((L121_dir == forward) || (L122_dir == backward))) >> (L132_dir == backward)) && ((L132_dir == backward) >> ((L132_dir != off) && ((L121_dir == forward) || (L122_dir == backward)))); (((L132_dir != off) && ((L131_dir == forward) || (L133_dir == backward))) >> (L132_dir == forward)) && ((L132_dir == forward) >> ((L132_dir != off) && ((L131_dir == forward) || (L133_dir == backward)))); (L132_dir == forward) >> (L132_load == L121_load + L122_load + ((S99_powered >> 1) && (!S99_powered >> 0)) ); (L132_dir == backward) >> (L132_load == L131_load + L133_load + ((S109_powered >> 1) && (!S109_powered >> 0)) ); (L132_dir == off) >> (L132_load == 0); //Line L19 (((L19_dir != off) && ((L20_dir == backward))) >> (L19_dir == backward)) && ((L19_dir == backward) >> ((L19_dir != off) && ((L20_dir == backward)))); (((L19_dir != off) && ((L18_dir == forward))) >> (L19_dir == forward)) && ((L19_dir == forward) >> ((L19_dir != off) && ((L18_dir == forward)))); (L19_dir == forward) >> (L19_load == L20_load + ((S17_powered >> 1) && (!S17_powered >> 0)) ); (L19_dir == backward) >> (L19_load == L18_load + ((S16_powered >> 1) && (!S16_powered >> 0)) ); (L19_dir == off) >> (L19_load == 0); //Line L124 (((L124_dir != off) && ((L125_dir == backward))) >> (L124_dir == backward)) && ((L124_dir == backward) >> ((L124_dir != off) && ((L125_dir == backward)))); (((L124_dir != off) && ((L123_dir == forward))) >> (L124_dir == forward)) && ((L124_dir == forward) >> ((L124_dir != off) && ((L123_dir == forward)))); (L124_dir == forward) >> (L124_load == L125_load + ((S102_powered >> 1) && (!S102_powered >> 0)) ); (L124_dir == backward) >> (L124_load == L123_load + ((S101_powered >> 1) && (!S101_powered >> 0)) ); (L124_dir == off) >> (L124_load == 0); //Line L108 (((L108_dir != off) && ((L109_dir == backward))) >> (L108_dir == backward)) && ((L108_dir == backward) >> ((L108_dir != off) && ((L109_dir == backward)))); (((L108_dir != off) && ((L107_dir == forward))) >> (L108_dir == forward)) && ((L108_dir == forward) >> ((L108_dir != off) && ((L107_dir == forward)))); (L108_dir == forward) >> (L108_load == L109_load + ((S88_powered >> 1) && (!S88_powered >> 0)) ); (L108_dir == backward) >> (L108_load == L107_load + ((S87_powered >> 1) && (!S87_powered >> 0)) ); (L108_dir == off) >> (L108_load == 0); //Line L23 (((L23_dir != off) && ((L24_dir == forward) || (L146_dir == forward))) >> (L23_dir == backward)) && ((L23_dir == backward) >> ((L23_dir != off) && ((L24_dir == forward) || (L146_dir == forward)))); (((L23_dir != off) && ((L22_dir == forward))) >> (L23_dir == forward)) && ((L23_dir == forward) >> ((L23_dir != off) && ((L22_dir == forward)))); (L23_dir == forward) >> (L23_load == L24_load + L146_load + ((S21_powered >> 1) && (!S21_powered >> 0)) ); (L23_dir == backward) >> (L23_load == L22_load + ((S20_powered >> 1) && (!S20_powered >> 0)) ); (L23_dir == off) >> (L23_load == 0); //Line L131 (((L131_dir != off) && ((L132_dir == backward) || (L133_dir == backward))) >> (L131_dir == backward)) && ((L131_dir == backward) >> ((L131_dir != off) && ((L132_dir == backward) || (L133_dir == backward)))); (((L131_dir != off) && ((L130_dir == forward))) >> (L131_dir == forward)) && ((L131_dir == forward) >> ((L131_dir != off) && ((L130_dir == forward)))); (L131_dir == forward) >> (L131_load == L132_load + L133_load + ((S109_powered >> 1) && (!S109_powered >> 0)) ); (L131_dir == backward) >> (L131_load == L130_load + ((S108_powered >> 1) && (!S108_powered >> 0)) ); (L131_dir == off) >> (L131_load == 0); //Line L4 (((L4_dir != off) && ((L5_dir == backward))) >> (L4_dir == backward)) && ((L4_dir == backward) >> ((L4_dir != off) && ((L5_dir == backward)))); (((L4_dir != off) && ((L3_dir == forward))) >> (L4_dir == forward)) && ((L4_dir == forward) >> ((L4_dir != off) && ((L3_dir == forward)))); (L4_dir == forward) >> (L4_load == L5_load + ((S4_powered >> 1) && (!S4_powered >> 0)) ); (L4_dir == backward) >> (L4_load == L3_load + ((S3_powered >> 1) && (!S3_powered >> 0)) ); (L4_dir == off) >> (L4_load == 0); //Line L14 (((L14_dir != off) && ((L15_dir == forward) || (L134_dir == backward))) >> (L14_dir == backward)) && ((L14_dir == backward) >> ((L14_dir != off) && ((L15_dir == forward) || (L134_dir == backward)))); (((L14_dir != off) && ((L13_dir == forward))) >> (L14_dir == forward)) && ((L14_dir == forward) >> ((L14_dir != off) && ((L13_dir == forward)))); (L14_dir == forward) >> (L14_load == L15_load + L134_load + ((S13_powered >> 1) && (!S13_powered >> 0)) ); (L14_dir == backward) >> (L14_load == L13_load + ((S12_powered >> 1) && (!S12_powered >> 0)) ); (L14_dir == off) >> (L14_load == 0); //Line L111 P1_powered >> ( (L111_dir != forward) ); !P1_powered >> ( ((((L111_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L15_dir == backward) || (L24_dir == backward) || (L25_dir == backward) || (L66_dir == backward) || (L76_dir == backward) || (L77_dir == backward) || (L85_dir == backward) || (L102_dir == backward) || (L103_dir == backward))) >> (L111_dir == backward)) && ((L111_dir == backward) >> ((L111_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L15_dir == backward) || (L24_dir == backward) || (L25_dir == backward) || (L66_dir == backward) || (L76_dir == backward) || (L77_dir == backward) || (L85_dir == backward) || (L102_dir == backward) || (L103_dir == backward))))) && ((((L111_dir != off) && ((L110_dir == forward))) >> (L111_dir == forward)) && ((L111_dir == forward) >> ((L111_dir != off) && ((L110_dir == forward))))) ); (L111_dir == forward) >> (L111_load == L1_load + L7_load + L15_load + L24_load + L25_load + L66_load + L76_load + L77_load + L85_load + L102_load + L103_load ); (L111_dir == backward) >> (L111_load == L110_load + ((S90_powered >> 1) && (!S90_powered >> 0)) ); (L111_dir == off) >> (L111_load == 0); //Line L11 (((L11_dir != off) && ((L12_dir == backward))) >> (L11_dir == backward)) && ((L11_dir == backward) >> ((L11_dir != off) && ((L12_dir == backward)))); (((L11_dir != off) && ((L10_dir == forward))) >> (L11_dir == forward)) && ((L11_dir == forward) >> ((L11_dir != off) && ((L10_dir == forward)))); (L11_dir == forward) >> (L11_load == L12_load + ((S10_powered >> 1) && (!S10_powered >> 0)) ); (L11_dir == backward) >> (L11_load == L10_load + ((S9_powered >> 1) && (!S9_powered >> 0)) ); (L11_dir == off) >> (L11_load == 0); //Line L114 (((L114_dir != off) && ((L115_dir == backward))) >> (L114_dir == backward)) && ((L114_dir == backward) >> ((L114_dir != off) && ((L115_dir == backward)))); (((L114_dir != off) && ((L113_dir == forward))) >> (L114_dir == forward)) && ((L114_dir == forward) >> ((L114_dir != off) && ((L113_dir == forward)))); (L114_dir == forward) >> (L114_load == L115_load + ((S93_powered >> 1) && (!S93_powered >> 0)) ); (L114_dir == backward) >> (L114_load == L113_load + ((S92_powered >> 1) && (!S92_powered >> 0)) ); (L114_dir == off) >> (L114_load == 0); //Line L126 (((L126_dir != off) && ((L127_dir == backward))) >> (L126_dir == backward)) && ((L126_dir == backward) >> ((L126_dir != off) && ((L127_dir == backward)))); (((L126_dir != off) && ((L125_dir == forward))) >> (L126_dir == forward)) && ((L126_dir == forward) >> ((L126_dir != off) && ((L125_dir == forward)))); (L126_dir == forward) >> (L126_load == L127_load + ((S104_powered >> 1) && (!S104_powered >> 0)) ); (L126_dir == backward) >> (L126_load == L125_load + ((S103_powered >> 1) && (!S103_powered >> 0)) ); (L126_dir == off) >> (L126_load == 0); //Line L83 (((L83_dir != off) && ((L82_dir == forward) || (L84_dir == backward))) >> (L83_dir == backward)) && ((L83_dir == backward) >> ((L83_dir != off) && ((L82_dir == forward) || (L84_dir == backward)))); (( (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 == forward) >> (L83_load == L82_load + L84_load + ((S68_powered >> 1) && (!S68_powered >> 0)) ); (L83_dir == backward) >> (L83_load == L83_load); (L83_dir == off) >> (L83_load == 0); //Line L113 (((L113_dir != off) && ((L114_dir == backward))) >> (L113_dir == backward)) && ((L113_dir == backward) >> ((L113_dir != off) && ((L114_dir == backward)))); (((L113_dir != off) && ((L112_dir == forward))) >> (L113_dir == forward)) && ((L113_dir == forward) >> ((L113_dir != off) && ((L112_dir == forward)))); (L113_dir == forward) >> (L113_load == L114_load + ((S92_powered >> 1) && (!S92_powered >> 0)) ); (L113_dir == backward) >> (L113_load == L112_load + ((S91_powered >> 1) && (!S91_powered >> 0)) ); (L113_dir == off) >> (L113_load == 0); //Line L119 (((L119_dir != off) && ((L120_dir == backward))) >> (L119_dir == backward)) && ((L119_dir == backward) >> ((L119_dir != off) && ((L120_dir == backward)))); (((L119_dir != off) && ((L118_dir == forward))) >> (L119_dir == forward)) && ((L119_dir == forward) >> ((L119_dir != off) && ((L118_dir == forward)))); (L119_dir == forward) >> (L119_load == L120_load + ((S97_powered >> 1) && (!S97_powered >> 0)) ); (L119_dir == backward) >> (L119_load == L118_load + ((S96_powered >> 1) && (!S96_powered >> 0)) ); (L119_dir == off) >> (L119_load == 0); //Line L12 (((L12_dir != off) && ((L13_dir == backward) || (L16_dir == backward))) >> (L12_dir == backward)) && ((L12_dir == backward) >> ((L12_dir != off) && ((L13_dir == backward) || (L16_dir == backward)))); (((L12_dir != off) && ((L11_dir == forward))) >> (L12_dir == forward)) && ((L12_dir == forward) >> ((L12_dir != off) && ((L11_dir == forward)))); (L12_dir == forward) >> (L12_load == L13_load + L16_load + ((S11_powered >> 1) && (!S11_powered >> 0)) ); (L12_dir == backward) >> (L12_load == L11_load + ((S10_powered >> 1) && (!S10_powered >> 0)) ); (L12_dir == off) >> (L12_load == 0); //Line L138 (((L138_dir != off) && ((L109_dir == forward) || (L110_dir == backward) || (L112_dir == backward))) >> (L138_dir == backward)) && ((L138_dir == backward) >> ((L138_dir != off) && ((L109_dir == forward) || (L110_dir == backward) || (L112_dir == backward)))); (((L138_dir != off) && ((L137_dir == forward) || (L139_dir == backward))) >> (L138_dir == forward)) && ((L138_dir == forward) >> ((L138_dir != off) && ((L137_dir == forward) || (L139_dir == backward)))); (L138_dir == forward) >> (L138_load == L109_load + L110_load + L112_load + ((S89_powered >> 1) && (!S89_powered >> 0)) ); (L138_dir == backward) >> (L138_load == L137_load + L139_load + ((S113_powered >> 1) && (!S113_powered >> 0)) ); (L138_dir == off) >> (L138_load == 0); //Line L17 (((L17_dir != off) && ((L18_dir == backward))) >> (L17_dir == backward)) && ((L17_dir == backward) >> ((L17_dir != off) && ((L18_dir == backward)))); (((L17_dir != off) && ((L16_dir == forward) || (L133_dir == forward))) >> (L17_dir == forward)) && ((L17_dir == forward) >> ((L17_dir != off) && ((L16_dir == forward) || (L133_dir == forward)))); (L17_dir == forward) >> (L17_load == L18_load + ((S15_powered >> 1) && (!S15_powered >> 0)) ); (L17_dir == backward) >> (L17_load == L16_load + L133_load + ((S14_powered >> 1) && (!S14_powered >> 0)) ); (L17_dir == off) >> (L17_load == 0); //Line L9 (((L9_dir != off) && ((L10_dir == backward))) >> (L9_dir == backward)) && ((L9_dir == backward) >> ((L9_dir != off) && ((L10_dir == backward)))); (((L9_dir != off) && ((L8_dir == forward))) >> (L9_dir == forward)) && ((L9_dir == forward) >> ((L9_dir != off) && ((L8_dir == forward)))); (L9_dir == forward) >> (L9_load == L10_load + ((S8_powered >> 1) && (!S8_powered >> 0)) ); (L9_dir == backward) >> (L9_load == L8_load + ((S7_powered >> 1) && (!S7_powered >> 0)) ); (L9_dir == off) >> (L9_load == 0); //Line L139 (((L139_dir != off) && ((L116_dir == forward) || (L117_dir == backward))) >> (L139_dir == backward)) && ((L139_dir == backward) >> ((L139_dir != off) && ((L116_dir == forward) || (L117_dir == backward)))); (((L139_dir != off) && ((L137_dir == forward) || (L138_dir == backward))) >> (L139_dir == forward)) && ((L139_dir == forward) >> ((L139_dir != off) && ((L137_dir == forward) || (L138_dir == backward)))); (L139_dir == forward) >> (L139_load == L116_load + L117_load + ((S94_powered >> 1) && (!S94_powered >> 0)) ); (L139_dir == backward) >> (L139_load == L137_load + L138_load + ((S113_powered >> 1) && (!S113_powered >> 0)) ); (L139_dir == off) >> (L139_load == 0); //Line L103 P1_powered >> ( (L103_dir != backward) ); !P1_powered >> ( ((((L103_dir != off) && ((L104_dir == backward))) >> (L103_dir == backward)) && ((L103_dir == backward) >> ((L103_dir != off) && ((L104_dir == backward))))) && ((((L103_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L15_dir == backward) || (L24_dir == backward) || (L25_dir == backward) || (L66_dir == backward) || (L76_dir == backward) || (L77_dir == backward) || (L85_dir == backward) || (L102_dir == backward) || (L111_dir == forward))) >> (L103_dir == forward)) && ((L103_dir == forward) >> ((L103_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L15_dir == backward) || (L24_dir == backward) || (L25_dir == backward) || (L66_dir == backward) || (L76_dir == backward) || (L77_dir == backward) || (L85_dir == backward) || (L102_dir == backward) || (L111_dir == forward))))) ); (L103_dir == forward) >> (L103_load == L104_load + ((S84_powered >> 1) && (!S84_powered >> 0)) ); (L103_dir == backward) >> (L103_load == L1_load + L7_load + L15_load + L24_load + L25_load + L66_load + L76_load + L77_load + L85_load + L102_load + L111_load ); (L103_dir == off) >> (L103_load == 0); //Line L125 (((L125_dir != off) && ((L126_dir == backward))) >> (L125_dir == backward)) && ((L125_dir == backward) >> ((L125_dir != off) && ((L126_dir == backward)))); (((L125_dir != off) && ((L124_dir == forward))) >> (L125_dir == forward)) && ((L125_dir == forward) >> ((L125_dir != off) && ((L124_dir == forward)))); (L125_dir == forward) >> (L125_load == L126_load + ((S103_powered >> 1) && (!S103_powered >> 0)) ); (L125_dir == backward) >> (L125_load == L124_load + ((S102_powered >> 1) && (!S102_powered >> 0)) ); (L125_dir == off) >> (L125_load == 0); //Line L15 P1_powered >> ( (L15_dir != backward) ); !P1_powered >> ( ((((L15_dir != off) && ((L14_dir == forward) || (L134_dir == backward))) >> (L15_dir == backward)) && ((L15_dir == backward) >> ((L15_dir != off) && ((L14_dir == forward) || (L134_dir == backward))))) && ((((L15_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L24_dir == backward) || (L25_dir == backward) || (L66_dir == backward) || (L76_dir == backward) || (L77_dir == backward) || (L85_dir == backward) || (L102_dir == backward) || (L103_dir == backward) || (L111_dir == forward))) >> (L15_dir == forward)) && ((L15_dir == forward) >> ((L15_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L24_dir == backward) || (L25_dir == backward) || (L66_dir == backward) || (L76_dir == backward) || (L77_dir == backward) || (L85_dir == backward) || (L102_dir == backward) || (L103_dir == backward) || (L111_dir == forward))))) ); (L15_dir == forward) >> (L15_load == L14_load + L134_load + ((S13_powered >> 1) && (!S13_powered >> 0)) ); (L15_dir == backward) >> (L15_load == L1_load + L7_load + L24_load + L25_load + L66_load + L76_load + L77_load + L85_load + L102_load + L103_load + L111_load ); (L15_dir == off) >> (L15_load == 0); //Line L94 (((L94_dir != off) && ((L95_dir == backward) || (L115_dir == forward))) >> (L94_dir == backward)) && ((L94_dir == backward) >> ((L94_dir != off) && ((L95_dir == backward) || (L115_dir == forward)))); (((L94_dir != off) && ((L93_dir == forward) || (L116_dir == backward))) >> (L94_dir == forward)) && ((L94_dir == forward) >> ((L94_dir != off) && ((L93_dir == forward) || (L116_dir == backward)))); (L94_dir == forward) >> (L94_load == L95_load + L115_load + ((S77_powered >> 1) && (!S77_powered >> 0)) ); (L94_dir == backward) >> (L94_load == L93_load + L116_load + ((S76_powered >> 1) && (!S76_powered >> 0)) ); (L94_dir == off) >> (L94_load == 0); //Line L18 (((L18_dir != off) && ((L19_dir == backward))) >> (L18_dir == backward)) && ((L18_dir == backward) >> ((L18_dir != off) && ((L19_dir == backward)))); (((L18_dir != off) && ((L17_dir == forward))) >> (L18_dir == forward)) && ((L18_dir == forward) >> ((L18_dir != off) && ((L17_dir == forward)))); (L18_dir == forward) >> (L18_load == L19_load + ((S16_powered >> 1) && (!S16_powered >> 0)) ); (L18_dir == backward) >> (L18_load == L17_load + ((S15_powered >> 1) && (!S15_powered >> 0)) ); (L18_dir == off) >> (L18_load == 0); //Line L123 (((L123_dir != off) && ((L124_dir == backward))) >> (L123_dir == backward)) && ((L123_dir == backward) >> ((L123_dir != off) && ((L124_dir == backward)))); (((L123_dir != off) && ((L122_dir == forward))) >> (L123_dir == forward)) && ((L123_dir == forward) >> ((L123_dir != off) && ((L122_dir == forward)))); (L123_dir == forward) >> (L123_load == L124_load + ((S101_powered >> 1) && (!S101_powered >> 0)) ); (L123_dir == backward) >> (L123_load == L122_load + ((S100_powered >> 1) && (!S100_powered >> 0)) ); (L123_dir == off) >> (L123_load == 0); //Line L145 (((L145_dir != off) && ((L146_dir == backward))) >> (L145_dir == backward)) && ((L145_dir == backward) >> ((L145_dir != off) && ((L146_dir == backward)))); (((L145_dir != off) && ((L144_dir == forward))) >> (L145_dir == forward)) && ((L145_dir == forward) >> ((L145_dir != off) && ((L144_dir == forward)))); (L145_dir == forward) >> (L145_load == L146_load + ((S119_powered >> 1) && (!S119_powered >> 0)) ); (L145_dir == backward) >> (L145_load == L144_load + ((S118_powered >> 1) && (!S118_powered >> 0)) ); (L145_dir == off) >> (L145_load == 0); //Line L101 (((L101_dir != off) && ((L79_dir == forward) || (L80_dir == backward))) >> (L101_dir == backward)) && ((L101_dir == backward) >> ((L101_dir != off) && ((L79_dir == forward) || (L80_dir == backward)))); (((L101_dir != off) && ((L100_dir == forward) || (L102_dir == forward))) >> (L101_dir == forward)) && ((L101_dir == forward) >> ((L101_dir != off) && ((L100_dir == forward) || (L102_dir == forward)))); (L101_dir == forward) >> (L101_load == L79_load + L80_load + ((S65_powered >> 1) && (!S65_powered >> 0)) ); (L101_dir == backward) >> (L101_load == L100_load + L102_load + ((S83_powered >> 1) && (!S83_powered >> 0)) ); (L101_dir == off) >> (L101_load == 0); //Line L84 (((L84_dir != off) && ((L85_dir == forward) || (L86_dir == backward))) >> (L84_dir == backward)) && ((L84_dir == backward) >> ((L84_dir != off) && ((L85_dir == forward) || (L86_dir == backward)))); (((L84_dir != off) && ((L82_dir == forward) || (L83_dir == forward))) >> (L84_dir == forward)) && ((L84_dir == forward) >> ((L84_dir != off) && ((L82_dir == forward) || (L83_dir == forward)))); (L84_dir == forward) >> (L84_load == L85_load + L86_load + ((S69_powered >> 1) && (!S69_powered >> 0)) ); (L84_dir == backward) >> (L84_load == L82_load + L83_load + ((S68_powered >> 1) && (!S68_powered >> 0)) ); (L84_dir == off) >> (L84_load == 0); //Line L95 (((L95_dir != off) && ((L96_dir == backward) || (L106_dir == forward))) >> (L95_dir == backward)) && ((L95_dir == backward) >> ((L95_dir != off) && ((L96_dir == backward) || (L106_dir == forward)))); (((L95_dir != off) && ((L94_dir == forward) || (L115_dir == forward))) >> (L95_dir == forward)) && ((L95_dir == forward) >> ((L95_dir != off) && ((L94_dir == forward) || (L115_dir == forward)))); (L95_dir == forward) >> (L95_load == L96_load + L106_load + ((S78_powered >> 1) && (!S78_powered >> 0)) ); (L95_dir == backward) >> (L95_load == L94_load + L115_load + ((S77_powered >> 1) && (!S77_powered >> 0)) ); (L95_dir == off) >> (L95_load == 0); //Line L130 (((L130_dir != off) && ((L131_dir == backward))) >> (L130_dir == backward)) && ((L130_dir == backward) >> ((L130_dir != off) && ((L131_dir == backward)))); (((L130_dir != off) && ((L129_dir == forward))) >> (L130_dir == forward)) && ((L130_dir == forward) >> ((L130_dir != off) && ((L129_dir == forward)))); (L130_dir == forward) >> (L130_load == L131_load + ((S108_powered >> 1) && (!S108_powered >> 0)) ); (L130_dir == backward) >> (L130_load == L129_load + ((S107_powered >> 1) && (!S107_powered >> 0)) ); (L130_dir == off) >> (L130_load == 0); //Line L141 (((L141_dir != off) && ((L142_dir == backward))) >> (L141_dir == backward)) && ((L141_dir == backward) >> ((L141_dir != off) && ((L142_dir == backward)))); (((L141_dir != off) && ((L140_dir == forward))) >> (L141_dir == forward)) && ((L141_dir == forward) >> ((L141_dir != off) && ((L140_dir == forward)))); (L141_dir == forward) >> (L141_load == L142_load + ((S115_powered >> 1) && (!S115_powered >> 0)) ); (L141_dir == backward) >> (L141_load == L140_load + ((S114_powered >> 1) && (!S114_powered >> 0)) ); (L141_dir == off) >> (L141_load == 0); //Line L146 (((L146_dir != off) && ((L23_dir == forward) || (L24_dir == forward))) >> (L146_dir == backward)) && ((L146_dir == backward) >> ((L146_dir != off) && ((L23_dir == forward) || (L24_dir == forward)))); (((L146_dir != off) && ((L145_dir == forward))) >> (L146_dir == forward)) && ((L146_dir == forward) >> ((L146_dir != off) && ((L145_dir == forward)))); (L146_dir == forward) >> (L146_load == L23_load + L24_load + ((S21_powered >> 1) && (!S21_powered >> 0)) ); (L146_dir == backward) >> (L146_load == L145_load + ((S119_powered >> 1) && (!S119_powered >> 0)) ); (L146_dir == off) >> (L146_load == 0); //Line L122 (((L122_dir != off) && ((L123_dir == backward))) >> (L122_dir == backward)) && ((L122_dir == backward) >> ((L122_dir != off) && ((L123_dir == backward)))); (((L122_dir != off) && ((L121_dir == forward) || (L132_dir == forward))) >> (L122_dir == forward)) && ((L122_dir == forward) >> ((L122_dir != off) && ((L121_dir == forward) || (L132_dir == forward)))); (L122_dir == forward) >> (L122_load == L123_load + ((S100_powered >> 1) && (!S100_powered >> 0)) ); (L122_dir == backward) >> (L122_load == L121_load + L132_load + ((S99_powered >> 1) && (!S99_powered >> 0)) ); (L122_dir == off) >> (L122_load == 0); //Line L25 P1_powered >> ( (L25_dir != backward) ); !P1_powered >> ( ((((L25_dir != off) && ((L26_dir == backward))) >> (L25_dir == backward)) && ((L25_dir == backward) >> ((L25_dir != off) && ((L26_dir == backward))))) && ((((L25_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L15_dir == backward) || (L24_dir == backward) || (L66_dir == backward) || (L76_dir == backward) || (L77_dir == backward) || (L85_dir == backward) || (L102_dir == backward) || (L103_dir == backward) || (L111_dir == forward))) >> (L25_dir == forward)) && ((L25_dir == forward) >> ((L25_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L15_dir == backward) || (L24_dir == backward) || (L66_dir == backward) || (L76_dir == backward) || (L77_dir == backward) || (L85_dir == backward) || (L102_dir == backward) || (L103_dir == backward) || (L111_dir == forward))))) ); (L25_dir == forward) >> (L25_load == L26_load + ((S22_powered >> 1) && (!S22_powered >> 0)) ); (L25_dir == backward) >> (L25_load == L1_load + L7_load + L15_load + L24_load + L66_load + L76_load + L77_load + L85_load + L102_load + L103_load + L111_load ); (L25_dir == off) >> (L25_load == 0); //Line L97 (((L97_dir != off) && ((L98_dir == backward))) >> (L97_dir == backward)) && ((L97_dir == backward) >> ((L97_dir != off) && ((L98_dir == backward)))); (((L97_dir != off) && ((L96_dir == forward))) >> (L97_dir == forward)) && ((L97_dir == forward) >> ((L97_dir != off) && ((L96_dir == forward)))); (L97_dir == forward) >> (L97_load == L98_load + ((S80_powered >> 1) && (!S80_powered >> 0)) ); (L97_dir == backward) >> (L97_load == L96_load + ((S79_powered >> 1) && (!S79_powered >> 0)) ); (L97_dir == off) >> (L97_load == 0); //Line L81 (((L81_dir != off) && ((L82_dir == backward))) >> (L81_dir == backward)) && ((L81_dir == backward) >> ((L81_dir != off) && ((L82_dir == backward)))); (((L81_dir != off) && ((L80_dir == forward))) >> (L81_dir == forward)) && ((L81_dir == forward) >> ((L81_dir != off) && ((L80_dir == forward)))); (L81_dir == forward) >> (L81_load == L82_load + ((S67_powered >> 1) && (!S67_powered >> 0)) ); (L81_dir == backward) >> (L81_load == L80_load + ((S66_powered >> 1) && (!S66_powered >> 0)) ); (L81_dir == off) >> (L81_load == 0); //Line L100 (((L100_dir != off) && ((L101_dir == backward) || (L102_dir == forward))) >> (L100_dir == backward)) && ((L100_dir == backward) >> ((L100_dir != off) && ((L101_dir == backward) || (L102_dir == forward)))); (((L100_dir != off) && ((L99_dir == forward))) >> (L100_dir == forward)) && ((L100_dir == forward) >> ((L100_dir != off) && ((L99_dir == forward)))); (L100_dir == forward) >> (L100_load == L101_load + L102_load + ((S83_powered >> 1) && (!S83_powered >> 0)) ); (L100_dir == backward) >> (L100_load == L99_load + ((S82_powered >> 1) && (!S82_powered >> 0)) ); (L100_dir == off) >> (L100_load == 0); //Line L144 (((L144_dir != off) && ((L145_dir == backward))) >> (L144_dir == backward)) && ((L144_dir == backward) >> ((L144_dir != off) && ((L145_dir == backward)))); (((L144_dir != off) && ((L143_dir == forward))) >> (L144_dir == forward)) && ((L144_dir == forward) >> ((L144_dir != off) && ((L143_dir == forward)))); (L144_dir == forward) >> (L144_load == L145_load + ((S118_powered >> 1) && (!S118_powered >> 0)) ); (L144_dir == backward) >> (L144_load == L143_load + ((S117_powered >> 1) && (!S117_powered >> 0)) ); (L144_dir == off) >> (L144_load == 0); //Line L26 (( (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 != off) && ((L25_dir == forward))) >> (L26_dir == forward)) && ((L26_dir == forward) >> ((L26_dir != off) && ((L25_dir == forward)))); (L26_dir == forward) >> (L26_load == C1_flow); (L26_dir == backward) >> (L26_load == L25_load + ((S22_powered >> 1) && (!S22_powered >> 0)) ); (L26_dir == off) >> (L26_load == 0); //Line L102 P1_powered >> ( (L102_dir != backward) ); !P1_powered >> ( ((((L102_dir != off) && ((L100_dir == forward) || (L101_dir == backward))) >> (L102_dir == backward)) && ((L102_dir == backward) >> ((L102_dir != off) && ((L100_dir == forward) || (L101_dir == backward))))) && ((((L102_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L15_dir == backward) || (L24_dir == backward) || (L25_dir == backward) || (L66_dir == backward) || (L76_dir == backward) || (L77_dir == backward) || (L85_dir == backward) || (L103_dir == backward) || (L111_dir == forward))) >> (L102_dir == forward)) && ((L102_dir == forward) >> ((L102_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L15_dir == backward) || (L24_dir == backward) || (L25_dir == backward) || (L66_dir == backward) || (L76_dir == backward) || (L77_dir == backward) || (L85_dir == backward) || (L103_dir == backward) || (L111_dir == forward))))) ); (L102_dir == forward) >> (L102_load == L100_load + L101_load + ((S83_powered >> 1) && (!S83_powered >> 0)) ); (L102_dir == backward) >> (L102_load == L1_load + L7_load + L15_load + L24_load + L25_load + L66_load + L76_load + L77_load + L85_load + L103_load + L111_load ); (L102_dir == off) >> (L102_load == 0); //Line L82 (((L82_dir != off) && ((L83_dir == forward) || (L84_dir == backward))) >> (L82_dir == backward)) && ((L82_dir == backward) >> ((L82_dir != off) && ((L83_dir == forward) || (L84_dir == backward)))); (((L82_dir != off) && ((L81_dir == forward))) >> (L82_dir == forward)) && ((L82_dir == forward) >> ((L82_dir != off) && ((L81_dir == forward)))); (L82_dir == forward) >> (L82_load == L83_load + L84_load + ((S68_powered >> 1) && (!S68_powered >> 0)) ); (L82_dir == backward) >> (L82_load == L81_load + ((S67_powered >> 1) && (!S67_powered >> 0)) ); (L82_dir == off) >> (L82_load == 0); //Line L143 (((L143_dir != off) && ((L144_dir == backward))) >> (L143_dir == backward)) && ((L143_dir == backward) >> ((L143_dir != off) && ((L144_dir == backward)))); (((L143_dir != off) && ((L142_dir == forward))) >> (L143_dir == forward)) && ((L143_dir == forward) >> ((L143_dir != off) && ((L142_dir == forward)))); (L143_dir == forward) >> (L143_load == L144_load + ((S117_powered >> 1) && (!S117_powered >> 0)) ); (L143_dir == backward) >> (L143_load == L142_load + ((S116_powered >> 1) && (!S116_powered >> 0)) ); (L143_dir == off) >> (L143_load == 0); //Line L78 (((L78_dir != off) && ((L79_dir == backward))) >> (L78_dir == backward)) && ((L78_dir == backward) >> ((L78_dir != off) && ((L79_dir == backward)))); (( (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 == forward) >> (L78_load == L79_load + ((S64_powered >> 1) && (!S64_powered >> 0)) ); (L78_dir == backward) >> (L78_load == L78_load); (L78_dir == off) >> (L78_load == 0); //Line L120 (((L120_dir != off) && ((L121_dir == backward))) >> (L120_dir == backward)) && ((L120_dir == backward) >> ((L120_dir != off) && ((L121_dir == backward)))); (((L120_dir != off) && ((L119_dir == forward))) >> (L120_dir == forward)) && ((L120_dir == forward) >> ((L120_dir != off) && ((L119_dir == forward)))); (L120_dir == forward) >> (L120_load == L121_load + ((S98_powered >> 1) && (!S98_powered >> 0)) ); (L120_dir == backward) >> (L120_load == L119_load + ((S97_powered >> 1) && (!S97_powered >> 0)) ); (L120_dir == off) >> (L120_load == 0); //Line L105 (((L105_dir != off) && ((L106_dir == backward))) >> (L105_dir == backward)) && ((L105_dir == backward) >> ((L105_dir != off) && ((L106_dir == backward)))); (((L105_dir != off) && ((L104_dir == forward))) >> (L105_dir == forward)) && ((L105_dir == forward) >> ((L105_dir != off) && ((L104_dir == forward)))); (L105_dir == forward) >> (L105_load == L106_load + ((S86_powered >> 1) && (!S86_powered >> 0)) ); (L105_dir == backward) >> (L105_load == L104_load + ((S85_powered >> 1) && (!S85_powered >> 0)) ); (L105_dir == off) >> (L105_load == 0); //Line L66 P1_powered >> ( (L66_dir != backward) ); !P1_powered >> ( ((( (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 != off) && ((L1_dir == backward) || (L7_dir == backward) || (L15_dir == backward) || (L24_dir == backward) || (L25_dir == backward) || (L76_dir == backward) || (L77_dir == backward) || (L85_dir == backward) || (L102_dir == backward) || (L103_dir == backward) || (L111_dir == forward))) >> (L66_dir == forward)) && ((L66_dir == forward) >> ((L66_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L15_dir == backward) || (L24_dir == backward) || (L25_dir == backward) || (L76_dir == backward) || (L77_dir == backward) || (L85_dir == backward) || (L102_dir == backward) || (L103_dir == backward) || (L111_dir == forward))))) ); (L66_dir == forward) >> (L66_load == C7_flow); (L66_dir == backward) >> (L66_load == L1_load + L7_load + L15_load + L24_load + L25_load + L76_load + L77_load + L85_load + L102_load + L103_load + L111_load ); (L66_dir == off) >> (L66_load == 0); //Line L6 (((L6_dir != off) && ((L7_dir == forward) || (L8_dir == backward))) >> (L6_dir == backward)) && ((L6_dir == backward) >> ((L6_dir != off) && ((L7_dir == forward) || (L8_dir == backward)))); (((L6_dir != off) && ((L5_dir == forward))) >> (L6_dir == forward)) && ((L6_dir == forward) >> ((L6_dir != off) && ((L5_dir == forward)))); (L6_dir == forward) >> (L6_load == L7_load + L8_load + ((S6_powered >> 1) && (!S6_powered >> 0)) ); (L6_dir == backward) >> (L6_load == L5_load + ((S5_powered >> 1) && (!S5_powered >> 0)) ); (L6_dir == off) >> (L6_load == 0); //Line L106 (((L106_dir != off) && ((L95_dir == forward) || (L96_dir == backward))) >> (L106_dir == backward)) && ((L106_dir == backward) >> ((L106_dir != off) && ((L95_dir == forward) || (L96_dir == backward)))); (((L106_dir != off) && ((L105_dir == forward))) >> (L106_dir == forward)) && ((L106_dir == forward) >> ((L106_dir != off) && ((L105_dir == forward)))); (L106_dir == forward) >> (L106_load == L95_load + L96_load + ((S78_powered >> 1) && (!S78_powered >> 0)) ); (L106_dir == backward) >> (L106_load == L105_load + ((S86_powered >> 1) && (!S86_powered >> 0)) ); (L106_dir == off) >> (L106_load == 0); //Line L16 (((L16_dir != off) && ((L17_dir == backward) || (L133_dir == forward))) >> (L16_dir == backward)) && ((L16_dir == backward) >> ((L16_dir != off) && ((L17_dir == backward) || (L133_dir == forward)))); (((L16_dir != off) && ((L12_dir == forward) || (L13_dir == backward))) >> (L16_dir == forward)) && ((L16_dir == forward) >> ((L16_dir != off) && ((L12_dir == forward) || (L13_dir == backward)))); (L16_dir == forward) >> (L16_load == L17_load + L133_load + ((S14_powered >> 1) && (!S14_powered >> 0)) ); (L16_dir == backward) >> (L16_load == L12_load + L13_load + ((S11_powered >> 1) && (!S11_powered >> 0)) ); (L16_dir == off) >> (L16_load == 0); //Line L79 (((L79_dir != off) && ((L80_dir == backward) || (L101_dir == forward))) >> (L79_dir == backward)) && ((L79_dir == backward) >> ((L79_dir != off) && ((L80_dir == backward) || (L101_dir == forward)))); (((L79_dir != off) && ((L78_dir == forward))) >> (L79_dir == forward)) && ((L79_dir == forward) >> ((L79_dir != off) && ((L78_dir == forward)))); (L79_dir == forward) >> (L79_load == L80_load + L101_load + ((S65_powered >> 1) && (!S65_powered >> 0)) ); (L79_dir == backward) >> (L79_load == L78_load + ((S64_powered >> 1) && (!S64_powered >> 0)) ); (L79_dir == off) >> (L79_load == 0); //Line L1 P1_powered >> ( (L1_dir != backward) ); !P1_powered >> ( ((((L1_dir != off) && ((L2_dir == backward))) >> (L1_dir == backward)) && ((L1_dir == backward) >> ((L1_dir != off) && ((L2_dir == backward))))) && ((((L1_dir != off) && ((L7_dir == backward) || (L15_dir == backward) || (L24_dir == backward) || (L25_dir == backward) || (L66_dir == backward) || (L76_dir == backward) || (L77_dir == backward) || (L85_dir == backward) || (L102_dir == backward) || (L103_dir == backward) || (L111_dir == forward))) >> (L1_dir == forward)) && ((L1_dir == forward) >> ((L1_dir != off) && ((L7_dir == backward) || (L15_dir == backward) || (L24_dir == backward) || (L25_dir == backward) || (L66_dir == backward) || (L76_dir == backward) || (L77_dir == backward) || (L85_dir == backward) || (L102_dir == backward) || (L103_dir == backward) || (L111_dir == forward))))) ); (L1_dir == forward) >> (L1_load == L2_load + ((S1_powered >> 1) && (!S1_powered >> 0)) ); (L1_dir == backward) >> (L1_load == L7_load + L15_load + L24_load + L25_load + L66_load + L76_load + L77_load + L85_load + L102_load + L103_load + L111_load ); (L1_dir == off) >> (L1_load == 0); //Line L110 (((L110_dir != off) && ((L111_dir == backward))) >> (L110_dir == backward)) && ((L110_dir == backward) >> ((L110_dir != off) && ((L111_dir == backward)))); (((L110_dir != off) && ((L109_dir == forward) || (L112_dir == backward) || (L138_dir == forward))) >> (L110_dir == forward)) && ((L110_dir == forward) >> ((L110_dir != off) && ((L109_dir == forward) || (L112_dir == backward) || (L138_dir == forward)))); (L110_dir == forward) >> (L110_load == L111_load + ((S90_powered >> 1) && (!S90_powered >> 0)) ); (L110_dir == backward) >> (L110_load == L109_load + L112_load + L138_load + ((S89_powered >> 1) && (!S89_powered >> 0)) ); (L110_dir == off) >> (L110_load == 0); //Line L96 (((L96_dir != off) && ((L97_dir == backward))) >> (L96_dir == backward)) && ((L96_dir == backward) >> ((L96_dir != off) && ((L97_dir == backward)))); (((L96_dir != off) && ((L95_dir == forward) || (L106_dir == forward))) >> (L96_dir == forward)) && ((L96_dir == forward) >> ((L96_dir != off) && ((L95_dir == forward) || (L106_dir == forward)))); (L96_dir == forward) >> (L96_load == L97_load + ((S79_powered >> 1) && (!S79_powered >> 0)) ); (L96_dir == backward) >> (L96_load == L95_load + L106_load + ((S78_powered >> 1) && (!S78_powered >> 0)) ); (L96_dir == off) >> (L96_load == 0); //Line L93 (((L93_dir != off) && ((L94_dir == backward) || (L116_dir == backward))) >> (L93_dir == backward)) && ((L93_dir == backward) >> ((L93_dir != off) && ((L94_dir == backward) || (L116_dir == backward)))); (((L93_dir != off) && ((L91_dir == forward) || (L92_dir == backward))) >> (L93_dir == forward)) && ((L93_dir == forward) >> ((L93_dir != off) && ((L91_dir == forward) || (L92_dir == backward)))); (L93_dir == forward) >> (L93_load == L94_load + L116_load + ((S76_powered >> 1) && (!S76_powered >> 0)) ); (L93_dir == backward) >> (L93_load == L91_load + L92_load + ((S75_powered >> 1) && (!S75_powered >> 0)) ); (L93_dir == off) >> (L93_load == 0); //Line L89 (((L89_dir != off) && ((L90_dir == backward))) >> (L89_dir == backward)) && ((L89_dir == backward) >> ((L89_dir != off) && ((L90_dir == backward)))); (((L89_dir != off) && ((L88_dir == forward))) >> (L89_dir == forward)) && ((L89_dir == forward) >> ((L89_dir != off) && ((L88_dir == forward)))); (L89_dir == forward) >> (L89_load == L90_load + ((S73_powered >> 1) && (!S73_powered >> 0)) ); (L89_dir == backward) >> (L89_load == L88_load + ((S72_powered >> 1) && (!S72_powered >> 0)) ); (L89_dir == off) >> (L89_load == 0); //Line L72 (((L72_dir != off) && ((L73_dir == backward))) >> (L72_dir == backward)) && ((L72_dir == backward) >> ((L72_dir != off) && ((L73_dir == backward)))); (( (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 == forward) >> (L72_load == L73_load + ((S60_powered >> 1) && (!S60_powered >> 0)) ); (L72_dir == backward) >> (L72_load == L72_load); (L72_dir == off) >> (L72_load == 0); //Line L2 (((L2_dir != off) && ((L3_dir == backward))) >> (L2_dir == backward)) && ((L2_dir == backward) >> ((L2_dir != off) && ((L3_dir == backward)))); (((L2_dir != off) && ((L1_dir == forward))) >> (L2_dir == forward)) && ((L2_dir == forward) >> ((L2_dir != off) && ((L1_dir == forward)))); (L2_dir == forward) >> (L2_load == L3_load + ((S2_powered >> 1) && (!S2_powered >> 0)) ); (L2_dir == backward) >> (L2_load == L1_load + ((S1_powered >> 1) && (!S1_powered >> 0)) ); (L2_dir == off) >> (L2_load == 0); //Line L7 P1_powered >> ( (L7_dir != backward) ); !P1_powered >> ( ((((L7_dir != off) && ((L6_dir == forward) || (L8_dir == backward))) >> (L7_dir == backward)) && ((L7_dir == backward) >> ((L7_dir != off) && ((L6_dir == forward) || (L8_dir == backward))))) && ((((L7_dir != off) && ((L1_dir == backward) || (L15_dir == backward) || (L24_dir == backward) || (L25_dir == backward) || (L66_dir == backward) || (L76_dir == backward) || (L77_dir == backward) || (L85_dir == backward) || (L102_dir == backward) || (L103_dir == backward) || (L111_dir == forward))) >> (L7_dir == forward)) && ((L7_dir == forward) >> ((L7_dir != off) && ((L1_dir == backward) || (L15_dir == backward) || (L24_dir == backward) || (L25_dir == backward) || (L66_dir == backward) || (L76_dir == backward) || (L77_dir == backward) || (L85_dir == backward) || (L102_dir == backward) || (L103_dir == backward) || (L111_dir == forward))))) ); (L7_dir == forward) >> (L7_load == L6_load + L8_load + ((S6_powered >> 1) && (!S6_powered >> 0)) ); (L7_dir == backward) >> (L7_load == L1_load + L15_load + L24_load + L25_load + L66_load + L76_load + L77_load + L85_load + L102_load + L103_load + L111_load ); (L7_dir == off) >> (L7_load == 0); //Line L73 (((L73_dir != off) && ((L74_dir == backward))) >> (L73_dir == backward)) && ((L73_dir == backward) >> ((L73_dir != off) && ((L74_dir == backward)))); (((L73_dir != off) && ((L72_dir == forward))) >> (L73_dir == forward)) && ((L73_dir == forward) >> ((L73_dir != off) && ((L72_dir == forward)))); (L73_dir == forward) >> (L73_load == L74_load + ((S61_powered >> 1) && (!S61_powered >> 0)) ); (L73_dir == backward) >> (L73_load == L72_load + ((S60_powered >> 1) && (!S60_powered >> 0)) ); (L73_dir == off) >> (L73_load == 0); //Line L109 (((L109_dir != off) && ((L110_dir == backward) || (L112_dir == backward) || (L138_dir == forward))) >> (L109_dir == backward)) && ((L109_dir == backward) >> ((L109_dir != off) && ((L110_dir == backward) || (L112_dir == backward) || (L138_dir == forward)))); (((L109_dir != off) && ((L108_dir == forward))) >> (L109_dir == forward)) && ((L109_dir == forward) >> ((L109_dir != off) && ((L108_dir == forward)))); (L109_dir == forward) >> (L109_load == L110_load + L112_load + L138_load + ((S89_powered >> 1) && (!S89_powered >> 0)) ); (L109_dir == backward) >> (L109_load == L108_load + ((S88_powered >> 1) && (!S88_powered >> 0)) ); (L109_dir == off) >> (L109_load == 0); //Line L133 (((L133_dir != off) && ((L16_dir == forward) || (L17_dir == backward))) >> (L133_dir == backward)) && ((L133_dir == backward) >> ((L133_dir != off) && ((L16_dir == forward) || (L17_dir == backward)))); (((L133_dir != off) && ((L131_dir == forward) || (L132_dir == backward))) >> (L133_dir == forward)) && ((L133_dir == forward) >> ((L133_dir != off) && ((L131_dir == forward) || (L132_dir == backward)))); (L133_dir == forward) >> (L133_load == L16_load + L17_load + ((S14_powered >> 1) && (!S14_powered >> 0)) ); (L133_dir == backward) >> (L133_load == L131_load + L132_load + ((S109_powered >> 1) && (!S109_powered >> 0)) ); (L133_dir == off) >> (L133_load == 0); //Line L5 (((L5_dir != off) && ((L6_dir == backward))) >> (L5_dir == backward)) && ((L5_dir == backward) >> ((L5_dir != off) && ((L6_dir == backward)))); (((L5_dir != off) && ((L4_dir == forward))) >> (L5_dir == forward)) && ((L5_dir == forward) >> ((L5_dir != off) && ((L4_dir == forward)))); (L5_dir == forward) >> (L5_load == L6_load + ((S5_powered >> 1) && (!S5_powered >> 0)) ); (L5_dir == backward) >> (L5_load == L4_load + ((S4_powered >> 1) && (!S4_powered >> 0)) ); (L5_dir == off) >> (L5_load == 0); //Line L92 (((L92_dir != off) && ((L87_dir == forward) || (L88_dir == backward))) >> (L92_dir == backward)) && ((L92_dir == backward) >> ((L92_dir != off) && ((L87_dir == forward) || (L88_dir == backward)))); (((L92_dir != off) && ((L91_dir == forward) || (L93_dir == backward))) >> (L92_dir == forward)) && ((L92_dir == forward) >> ((L92_dir != off) && ((L91_dir == forward) || (L93_dir == backward)))); (L92_dir == forward) >> (L92_load == L87_load + L88_load + ((S71_powered >> 1) && (!S71_powered >> 0)) ); (L92_dir == backward) >> (L92_load == L91_load + L93_load + ((S75_powered >> 1) && (!S75_powered >> 0)) ); (L92_dir == off) >> (L92_load == 0); //Line L107 (((L107_dir != off) && ((L108_dir == backward))) >> (L107_dir == backward)) && ((L107_dir == backward) >> ((L107_dir != off) && ((L108_dir == backward)))); (((L107_dir != off) && ((L98_dir == forward) || (L99_dir == backward))) >> (L107_dir == forward)) && ((L107_dir == forward) >> ((L107_dir != off) && ((L98_dir == forward) || (L99_dir == backward)))); (L107_dir == forward) >> (L107_load == L108_load + ((S87_powered >> 1) && (!S87_powered >> 0)) ); (L107_dir == backward) >> (L107_load == L98_load + L99_load + ((S81_powered >> 1) && (!S81_powered >> 0)) ); (L107_dir == off) >> (L107_load == 0); //Line L121 (((L121_dir != off) && ((L122_dir == backward) || (L132_dir == forward))) >> (L121_dir == backward)) && ((L121_dir == backward) >> ((L121_dir != off) && ((L122_dir == backward) || (L132_dir == forward)))); (((L121_dir != off) && ((L120_dir == forward))) >> (L121_dir == forward)) && ((L121_dir == forward) >> ((L121_dir != off) && ((L120_dir == forward)))); (L121_dir == forward) >> (L121_load == L122_load + L132_load + ((S99_powered >> 1) && (!S99_powered >> 0)) ); (L121_dir == backward) >> (L121_load == L120_load + ((S98_powered >> 1) && (!S98_powered >> 0)) ); (L121_dir == off) >> (L121_load == 0); //Line L90 (((L90_dir != off) && ((L91_dir == backward))) >> (L90_dir == backward)) && ((L90_dir == backward) >> ((L90_dir != off) && ((L91_dir == backward)))); (((L90_dir != off) && ((L89_dir == forward))) >> (L90_dir == forward)) && ((L90_dir == forward) >> ((L90_dir != off) && ((L89_dir == forward)))); (L90_dir == forward) >> (L90_load == L91_load + ((S74_powered >> 1) && (!S74_powered >> 0)) ); (L90_dir == backward) >> (L90_load == L89_load + ((S73_powered >> 1) && (!S73_powered >> 0)) ); (L90_dir == off) >> (L90_load == 0); //Line L135 (((L135_dir != off) && ((L136_dir == backward))) >> (L135_dir == backward)) && ((L135_dir == backward) >> ((L135_dir != off) && ((L136_dir == backward)))); (((L135_dir != off) && ((L134_dir == forward) || (L140_dir == backward))) >> (L135_dir == forward)) && ((L135_dir == forward) >> ((L135_dir != off) && ((L134_dir == forward) || (L140_dir == backward)))); (L135_dir == forward) >> (L135_load == L136_load + ((S111_powered >> 1) && (!S111_powered >> 0)) ); (L135_dir == backward) >> (L135_load == L134_load + L140_load + ((S110_powered >> 1) && (!S110_powered >> 0)) ); (L135_dir == off) >> (L135_load == 0); //Line L104 (((L104_dir != off) && ((L105_dir == backward))) >> (L104_dir == backward)) && ((L104_dir == backward) >> ((L104_dir != off) && ((L105_dir == backward)))); (((L104_dir != off) && ((L103_dir == forward))) >> (L104_dir == forward)) && ((L104_dir == forward) >> ((L104_dir != off) && ((L103_dir == forward)))); (L104_dir == forward) >> (L104_load == L105_load + ((S85_powered >> 1) && (!S85_powered >> 0)) ); (L104_dir == backward) >> (L104_load == L103_load + ((S84_powered >> 1) && (!S84_powered >> 0)) ); (L104_dir == off) >> (L104_load == 0); //Line L91 (((L91_dir != off) && ((L92_dir == backward) || (L93_dir == backward))) >> (L91_dir == backward)) && ((L91_dir == backward) >> ((L91_dir != off) && ((L92_dir == backward) || (L93_dir == backward)))); (((L91_dir != off) && ((L90_dir == forward))) >> (L91_dir == forward)) && ((L91_dir == forward) >> ((L91_dir != off) && ((L90_dir == forward)))); (L91_dir == forward) >> (L91_load == L92_load + L93_load + ((S75_powered >> 1) && (!S75_powered >> 0)) ); (L91_dir == backward) >> (L91_load == L90_load + ((S74_powered >> 1) && (!S74_powered >> 0)) ); (L91_dir == off) >> (L91_load == 0); //Line L3 (((L3_dir != off) && ((L4_dir == backward))) >> (L3_dir == backward)) && ((L3_dir == backward) >> ((L3_dir != off) && ((L4_dir == backward)))); (((L3_dir != off) && ((L2_dir == forward))) >> (L3_dir == forward)) && ((L3_dir == forward) >> ((L3_dir != off) && ((L2_dir == forward)))); (L3_dir == forward) >> (L3_load == L4_load + ((S3_powered >> 1) && (!S3_powered >> 0)) ); (L3_dir == backward) >> (L3_load == L2_load + ((S2_powered >> 1) && (!S2_powered >> 0)) ); (L3_dir == off) >> (L3_load == 0); //Line L127 (((L127_dir != off) && ((L128_dir == backward))) >> (L127_dir == backward)) && ((L127_dir == backward) >> ((L127_dir != off) && ((L128_dir == backward)))); (((L127_dir != off) && ((L126_dir == forward))) >> (L127_dir == forward)) && ((L127_dir == forward) >> ((L127_dir != off) && ((L126_dir == forward)))); (L127_dir == forward) >> (L127_load == L128_load + ((S105_powered >> 1) && (!S105_powered >> 0)) ); (L127_dir == backward) >> (L127_load == L126_load + ((S104_powered >> 1) && (!S104_powered >> 0)) ); (L127_dir == off) >> (L127_load == 0); //Line L80 (((L80_dir != off) && ((L81_dir == backward))) >> (L80_dir == backward)) && ((L80_dir == backward) >> ((L80_dir != off) && ((L81_dir == backward)))); (((L80_dir != off) && ((L79_dir == forward) || (L101_dir == forward))) >> (L80_dir == forward)) && ((L80_dir == forward) >> ((L80_dir != off) && ((L79_dir == forward) || (L101_dir == forward)))); (L80_dir == forward) >> (L80_load == L81_load + ((S66_powered >> 1) && (!S66_powered >> 0)) ); (L80_dir == backward) >> (L80_load == L79_load + L101_load + ((S65_powered >> 1) && (!S65_powered >> 0)) ); (L80_dir == off) >> (L80_load == 0); //Line L86 (((L86_dir != off) && ((L87_dir == backward))) >> (L86_dir == backward)) && ((L86_dir == backward) >> ((L86_dir != off) && ((L87_dir == backward)))); (((L86_dir != off) && ((L84_dir == forward) || (L85_dir == forward))) >> (L86_dir == forward)) && ((L86_dir == forward) >> ((L86_dir != off) && ((L84_dir == forward) || (L85_dir == forward)))); (L86_dir == forward) >> (L86_load == L87_load + ((S70_powered >> 1) && (!S70_powered >> 0)) ); (L86_dir == backward) >> (L86_load == L84_load + L85_load + ((S69_powered >> 1) && (!S69_powered >> 0)) ); (L86_dir == off) >> (L86_load == 0); //Line L117 (((L117_dir != off) && ((L118_dir == backward))) >> (L117_dir == backward)) && ((L117_dir == backward) >> ((L117_dir != off) && ((L118_dir == backward)))); (((L117_dir != off) && ((L116_dir == forward) || (L139_dir == forward))) >> (L117_dir == forward)) && ((L117_dir == forward) >> ((L117_dir != off) && ((L116_dir == forward) || (L139_dir == forward)))); (L117_dir == forward) >> (L117_load == L118_load + ((S95_powered >> 1) && (!S95_powered >> 0)) ); (L117_dir == backward) >> (L117_load == L116_load + L139_load + ((S94_powered >> 1) && (!S94_powered >> 0)) ); (L117_dir == off) >> (L117_load == 0); //Line L74 (((L74_dir != off) && ((L75_dir == backward))) >> (L74_dir == backward)) && ((L74_dir == backward) >> ((L74_dir != off) && ((L75_dir == backward)))); (((L74_dir != off) && ((L73_dir == forward))) >> (L74_dir == forward)) && ((L74_dir == forward) >> ((L74_dir != off) && ((L73_dir == forward)))); (L74_dir == forward) >> (L74_load == L75_load + ((S62_powered >> 1) && (!S62_powered >> 0)) ); (L74_dir == backward) >> (L74_load == L73_load + ((S61_powered >> 1) && (!S61_powered >> 0)) ); (L74_dir == off) >> (L74_load == 0); //Line L85 P1_powered >> ( (L85_dir != backward) ); !P1_powered >> ( ((((L85_dir != off) && ((L84_dir == forward) || (L86_dir == backward))) >> (L85_dir == backward)) && ((L85_dir == backward) >> ((L85_dir != off) && ((L84_dir == forward) || (L86_dir == backward))))) && ((((L85_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L15_dir == backward) || (L24_dir == backward) || (L25_dir == backward) || (L66_dir == backward) || (L76_dir == backward) || (L77_dir == backward) || (L102_dir == backward) || (L103_dir == backward) || (L111_dir == forward))) >> (L85_dir == forward)) && ((L85_dir == forward) >> ((L85_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L15_dir == backward) || (L24_dir == backward) || (L25_dir == backward) || (L66_dir == backward) || (L76_dir == backward) || (L77_dir == backward) || (L102_dir == backward) || (L103_dir == backward) || (L111_dir == forward))))) ); (L85_dir == forward) >> (L85_load == L84_load + L86_load + ((S69_powered >> 1) && (!S69_powered >> 0)) ); (L85_dir == backward) >> (L85_load == L1_load + L7_load + L15_load + L24_load + L25_load + L66_load + L76_load + L77_load + L102_load + L103_load + L111_load ); (L85_dir == off) >> (L85_load == 0); //Line L8 (((L8_dir != off) && ((L9_dir == backward))) >> (L8_dir == backward)) && ((L8_dir == backward) >> ((L8_dir != off) && ((L9_dir == backward)))); (((L8_dir != off) && ((L6_dir == forward) || (L7_dir == forward))) >> (L8_dir == forward)) && ((L8_dir == forward) >> ((L8_dir != off) && ((L6_dir == forward) || (L7_dir == forward)))); (L8_dir == forward) >> (L8_load == L9_load + ((S7_powered >> 1) && (!S7_powered >> 0)) ); (L8_dir == backward) >> (L8_load == L6_load + L7_load + ((S6_powered >> 1) && (!S6_powered >> 0)) ); (L8_dir == off) >> (L8_load == 0); //Line L112 (((L112_dir != off) && ((L113_dir == backward))) >> (L112_dir == backward)) && ((L112_dir == backward) >> ((L112_dir != off) && ((L113_dir == backward)))); (((L112_dir != off) && ((L109_dir == forward) || (L110_dir == backward) || (L138_dir == forward))) >> (L112_dir == forward)) && ((L112_dir == forward) >> ((L112_dir != off) && ((L109_dir == forward) || (L110_dir == backward) || (L138_dir == forward)))); (L112_dir == forward) >> (L112_load == L113_load + ((S91_powered >> 1) && (!S91_powered >> 0)) ); (L112_dir == backward) >> (L112_load == L109_load + L110_load + L138_load + ((S89_powered >> 1) && (!S89_powered >> 0)) ); (L112_dir == off) >> (L112_load == 0); //Line L134 (((L134_dir != off) && ((L135_dir == backward) || (L140_dir == backward))) >> (L134_dir == backward)) && ((L134_dir == backward) >> ((L134_dir != off) && ((L135_dir == backward) || (L140_dir == backward)))); (((L134_dir != off) && ((L14_dir == forward) || (L15_dir == forward))) >> (L134_dir == forward)) && ((L134_dir == forward) >> ((L134_dir != off) && ((L14_dir == forward) || (L15_dir == forward)))); (L134_dir == forward) >> (L134_load == L135_load + L140_load + ((S110_powered >> 1) && (!S110_powered >> 0)) ); (L134_dir == backward) >> (L134_load == L14_load + L15_load + ((S13_powered >> 1) && (!S13_powered >> 0)) ); (L134_dir == off) >> (L134_load == 0); //Line L20 (((L20_dir != off) && ((L21_dir == backward))) >> (L20_dir == backward)) && ((L20_dir == backward) >> ((L20_dir != off) && ((L21_dir == backward)))); (((L20_dir != off) && ((L19_dir == forward))) >> (L20_dir == forward)) && ((L20_dir == forward) >> ((L20_dir != off) && ((L19_dir == forward)))); (L20_dir == forward) >> (L20_load == L21_load + ((S18_powered >> 1) && (!S18_powered >> 0)) ); (L20_dir == backward) >> (L20_load == L19_load + ((S17_powered >> 1) && (!S17_powered >> 0)) ); (L20_dir == off) >> (L20_load == 0); //Line L75 (((L75_dir != off) && ((L76_dir == forward))) >> (L75_dir == backward)) && ((L75_dir == backward) >> ((L75_dir != off) && ((L76_dir == forward)))); (((L75_dir != off) && ((L74_dir == forward))) >> (L75_dir == forward)) && ((L75_dir == forward) >> ((L75_dir != off) && ((L74_dir == forward)))); (L75_dir == forward) >> (L75_load == L76_load + ((S63_powered >> 1) && (!S63_powered >> 0)) ); (L75_dir == backward) >> (L75_load == L74_load + ((S62_powered >> 1) && (!S62_powered >> 0)) ); (L75_dir == off) >> (L75_load == 0); //Line L136 (((L136_dir != off) && ((L137_dir == backward))) >> (L136_dir == backward)) && ((L136_dir == backward) >> ((L136_dir != off) && ((L137_dir == backward)))); (((L136_dir != off) && ((L135_dir == forward))) >> (L136_dir == forward)) && ((L136_dir == forward) >> ((L136_dir != off) && ((L135_dir == forward)))); (L136_dir == forward) >> (L136_load == L137_load + ((S112_powered >> 1) && (!S112_powered >> 0)) ); (L136_dir == backward) >> (L136_load == L135_load + ((S111_powered >> 1) && (!S111_powered >> 0)) ); (L136_dir == off) >> (L136_load == 0); //Line L129 (((L129_dir != off) && ((L130_dir == backward))) >> (L129_dir == backward)) && ((L129_dir == backward) >> ((L129_dir != off) && ((L130_dir == backward)))); (((L129_dir != off) && ((L128_dir == forward))) >> (L129_dir == forward)) && ((L129_dir == forward) >> ((L129_dir != off) && ((L128_dir == forward)))); (L129_dir == forward) >> (L129_load == L130_load + ((S107_powered >> 1) && (!S107_powered >> 0)) ); (L129_dir == backward) >> (L129_load == L128_load + ((S106_powered >> 1) && (!S106_powered >> 0)) ); (L129_dir == off) >> (L129_load == 0); //Line L115 (((L115_dir != off) && ((L94_dir == forward) || (L95_dir == backward))) >> (L115_dir == backward)) && ((L115_dir == backward) >> ((L115_dir != off) && ((L94_dir == forward) || (L95_dir == backward)))); (((L115_dir != off) && ((L114_dir == forward))) >> (L115_dir == forward)) && ((L115_dir == forward) >> ((L115_dir != off) && ((L114_dir == forward)))); (L115_dir == forward) >> (L115_load == L94_load + L95_load + ((S77_powered >> 1) && (!S77_powered >> 0)) ); (L115_dir == backward) >> (L115_load == L114_load + ((S93_powered >> 1) && (!S93_powered >> 0)) ); (L115_dir == off) >> (L115_load == 0); //Line L137 (((L137_dir != off) && ((L138_dir == backward) || (L139_dir == backward))) >> (L137_dir == backward)) && ((L137_dir == backward) >> ((L137_dir != off) && ((L138_dir == backward) || (L139_dir == backward)))); (((L137_dir != off) && ((L136_dir == forward))) >> (L137_dir == forward)) && ((L137_dir == forward) >> ((L137_dir != off) && ((L136_dir == forward)))); (L137_dir == forward) >> (L137_load == L138_load + L139_load + ((S113_powered >> 1) && (!S113_powered >> 0)) ); (L137_dir == backward) >> (L137_load == L136_load + ((S112_powered >> 1) && (!S112_powered >> 0)) ); (L137_dir == off) >> (L137_load == 0); //Sink S90 S90_powered >> (L110_dir == forward || L111_dir == backward); //Sink S65 S65_powered >> (L79_dir == forward || L80_dir == backward || L101_dir == forward); //Sink S108 S108_powered >> (L130_dir == forward || L131_dir == backward); //Sink S81 S81_powered >> (L98_dir == forward || L99_dir == backward || L107_dir == backward); //Sink S76 S76_powered >> (L93_dir == forward || L94_dir == backward || L116_dir == backward); //Sink S2 S2_powered >> (L2_dir == forward || L3_dir == backward); //Sink S11 S11_powered >> (L12_dir == forward || L13_dir == backward || L16_dir == backward); //Sink S91 S91_powered >> (L112_dir == forward || L113_dir == backward); //Sink S20 S20_powered >> (L22_dir == forward || L23_dir == backward); //Sink S12 S12_powered >> (L13_dir == forward || L14_dir == backward); //Sink S102 S102_powered >> (L124_dir == forward || L125_dir == backward); //Sink S106 S106_powered >> (L128_dir == forward || L129_dir == backward); //Sink S21 S21_powered >> (L23_dir == forward || L24_dir == forward || L146_dir == forward); //Sink S78 S78_powered >> (L95_dir == forward || L96_dir == backward || L106_dir == forward); //Sink S14 S14_powered >> (L16_dir == forward || L17_dir == backward || L133_dir == forward); //Sink S61 S61_powered >> (L73_dir == forward || L74_dir == backward); //Sink S75 S75_powered >> (L91_dir == forward || L92_dir == backward || L93_dir == backward); //Sink S71 S71_powered >> (L87_dir == forward || L88_dir == backward || L92_dir == forward); //Sink S82 S82_powered >> (L99_dir == forward || L100_dir == backward); //Sink S64 S64_powered >> (L78_dir == forward || L79_dir == backward); //Sink S16 S16_powered >> (L18_dir == forward || L19_dir == backward); //Sink S69 S69_powered >> (L84_dir == forward || L85_dir == forward || L86_dir == backward); //Sink S104 S104_powered >> (L126_dir == forward || L127_dir == backward); //Sink S101 S101_powered >> (L123_dir == forward || L124_dir == backward); //Sink S5 S5_powered >> (L5_dir == forward || L6_dir == backward); //Sink S63 S63_powered >> (L75_dir == forward || L76_dir == forward); //Sink S114 S114_powered >> (L140_dir == forward || L141_dir == backward); //Sink S66 S66_powered >> (L80_dir == forward || L81_dir == backward); //Sink S3 S3_powered >> (L3_dir == forward || L4_dir == backward); //Sink S74 S74_powered >> (L90_dir == forward || L91_dir == backward); //Sink S95 S95_powered >> (L117_dir == forward || L118_dir == backward); //Sink S73 S73_powered >> (L89_dir == forward || L90_dir == backward); //Sink S117 S117_powered >> (L143_dir == forward || L144_dir == backward); //Sink S10 S10_powered >> (L11_dir == forward || L12_dir == backward); //Sink S13 S13_powered >> (L14_dir == forward || L15_dir == forward || L134_dir == backward); //Sink S99 S99_powered >> (L121_dir == forward || L122_dir == backward || L132_dir == forward); //Sink S89 S89_powered >> (L109_dir == forward || L110_dir == backward || L112_dir == backward || L138_dir == forward); //Sink S80 S80_powered >> (L97_dir == forward || L98_dir == backward); //Sink S68 S68_powered >> (L82_dir == forward || L83_dir == forward || L84_dir == backward); //Sink S79 S79_powered >> (L96_dir == forward || L97_dir == backward); //Sink S15 S15_powered >> (L17_dir == forward || L18_dir == backward); //Sink S109 S109_powered >> (L131_dir == forward || L132_dir == backward || L133_dir == backward); //Sink S9 S9_powered >> (L10_dir == forward || L11_dir == backward); //Sink S119 S119_powered >> (L145_dir == forward || L146_dir == backward); //Sink S87 S87_powered >> (L107_dir == forward || L108_dir == backward); //Sink S70 S70_powered >> (L86_dir == forward || L87_dir == backward); //Sink S112 S112_powered >> (L136_dir == forward || L137_dir == backward); //Sink S118 S118_powered >> (L144_dir == forward || L145_dir == backward); //Sink S77 S77_powered >> (L94_dir == forward || L95_dir == backward || L115_dir == forward); //Sink S103 S103_powered >> (L125_dir == forward || L126_dir == backward); //Sink S62 S62_powered >> (L74_dir == forward || L75_dir == backward); //Sink S4 S4_powered >> (L4_dir == forward || L5_dir == backward); //Sink S113 S113_powered >> (L137_dir == forward || L138_dir == backward || L139_dir == backward); //Sink S19 S19_powered >> (L21_dir == forward || L22_dir == backward); //Sink S84 S84_powered >> (L103_dir == forward || L104_dir == backward); //Sink S7 S7_powered >> (L8_dir == forward || L9_dir == backward); //Sink S83 S83_powered >> (L100_dir == forward || L101_dir == backward || L102_dir == forward); //Sink S116 S116_powered >> (L142_dir == forward || L143_dir == backward); //Sink S105 S105_powered >> (L127_dir == forward || L128_dir == backward); //Sink S86 S86_powered >> (L105_dir == forward || L106_dir == backward); //Sink S111 S111_powered >> (L135_dir == forward || L136_dir == backward); //Sink S92 S92_powered >> (L113_dir == forward || L114_dir == backward); //Sink S6 S6_powered >> (L6_dir == forward || L7_dir == forward || L8_dir == backward); //Sink S1 S1_powered >> (L1_dir == forward || L2_dir == backward); //Sink S98 S98_powered >> (L120_dir == forward || L121_dir == backward); //Sink S60 S60_powered >> (L72_dir == forward || L73_dir == backward); //Sink S115 S115_powered >> (L141_dir == forward || L142_dir == backward); //Sink S93 S93_powered >> (L114_dir == forward || L115_dir == backward); //Sink S22 S22_powered >> (L25_dir == forward || L26_dir == backward); //Sink S97 S97_powered >> (L119_dir == forward || L120_dir == backward); //Sink S17 S17_powered >> (L19_dir == forward || L20_dir == backward); //Sink S107 S107_powered >> (L129_dir == forward || L130_dir == backward); //Sink S88 S88_powered >> (L108_dir == forward || L109_dir == backward); //Sink S94 S94_powered >> (L116_dir == forward || L117_dir == backward || L139_dir == forward); //Sink S8 S8_powered >> (L9_dir == forward || L10_dir == backward); //Sink S85 S85_powered >> (L104_dir == forward || L105_dir == backward); //Sink S96 S96_powered >> (L118_dir == forward || L119_dir == backward); //Sink S72 S72_powered >> (L88_dir == forward || L89_dir == backward); //Sink S110 S110_powered >> (L134_dir == forward || L135_dir == backward || L140_dir == backward); //Sink S67 S67_powered >> (L81_dir == forward || L82_dir == backward); //Sink S100 S100_powered >> (L122_dir == forward || L123_dir == backward); //Sink S18 S18_powered >> (L20_dir == forward || L21_dir == backward);