type Dir {forward, backward, off}; State {sink, cp_off, source}; Load_13 [0..13]; variable bool S114_powered; Dir L140_dir; bool S110_powered; Dir L141_dir; Load_13 L140_load; Dir L134_dir; Load_13 L141_load; Dir L135_dir; Load_13 L135_load; Load_13 L134_load; bool S115_powered; bool S13_powered; Load_13 L14_load; Dir L14_dir; bool S90_powered; Dir L15_dir; Load_13 L15_load; bool P1_powered; Dir L111_dir; Load_13 L111_load; Load_13 L103_load; Load_13 L76_load; Load_13 L25_load; Load_13 L1_load; Load_13 L102_load; Load_13 L85_load; Dir L103_dir; Load_13 L7_load; Dir L76_dir; Load_13 L66_load; Dir L25_dir; Load_13 L24_load; Dir L1_dir; Dir L102_dir; Dir L85_dir; Dir L7_dir; Dir L77_dir; Load_13 L77_load; Dir L66_dir; Dir L24_dir; bool S83_powered; Load_13 L100_load; Dir L100_dir; Dir L101_dir; Load_13 L101_load; bool S111_powered; Load_13 L142_load; Dir L142_dir; bool S82_powered; bool S65_powered; Load_13 L80_load; Dir L80_dir; Load_13 L79_load; Dir L79_dir; bool S66_powered; Load_13 L136_load; Dir L110_dir; Dir L136_dir; Load_13 L110_load; bool S89_powered; Load_13 L81_load; Dir L81_dir; Dir L109_dir; Load_13 L109_load; Load_13 L112_load; Dir L112_dir; bool S88_powered; Load_13 L138_load; Dir L138_dir; Dir L108_dir; Load_13 L108_load; bool S22_powered; bool S112_powered; Load_13 L137_load; Dir L137_dir; bool S91_powered; bool S113_powered; bool S87_powered; Load_13 L99_load; Dir L99_dir; bool S69_powered; Dir L107_dir; Load_13 L107_load; bool S81_powered; Load_13 L113_load; Dir L113_dir; Dir L86_dir; Load_13 L139_load; Dir L139_dir; Load_13 L98_load; Load_13 L86_load; Dir L98_dir; bool S92_powered; Dir L114_dir; Load_13 L114_load; bool S70_powered; bool S94_powered; Dir L84_dir; Load_13 L84_load; bool S93_powered; Load_13 L117_load; Dir L116_dir; Load_13 L116_load; Dir L117_dir; Dir L115_dir; Load_13 L115_load; bool S76_powered; Load_13 L94_load; Dir L94_dir; bool S77_powered; Dir L93_dir; Load_13 L93_load; Dir L87_dir; Load_13 L87_load; Load_13 L82_load; bool S75_powered; Dir L92_dir; Load_13 L92_load; bool S71_powered; Dir L91_dir; Load_13 L91_load; Load_13 L88_load; Dir L88_dir; Load_13 L95_load; Dir L95_dir; bool S74_powered; Load_13 L90_load; Load_13 L89_load; Dir L90_dir; bool S72_powered; Dir L89_dir; bool S73_powered; bool S84_powered; bool S67_powered; Dir L82_dir; bool S8_powered; Dir L10_dir; Dir L9_dir; bool S9_powered; Load_13 L9_load; Load_13 L10_load; bool S7_powered; Load_13 L8_load; Dir L8_dir; bool S6_powered; Load_13 L104_load; Dir L104_dir; Load_13 L6_load; Dir L11_dir; Load_13 L11_load; Dir L6_dir; bool P3_powered; Load_13 L69_load; Load_13 L49_load; Dir L69_dir; Load_13 L53_load; Dir L53_dir; Dir L49_dir; Load_13 L50_load; Dir L50_dir; bool S80_powered; Load_13 L97_load; Dir L97_dir; Load_13 L96_load; bool S79_powered; Dir L96_dir; bool S78_powered; Load_13 L106_load; Dir L106_dir; Load_13 L105_load; bool S85_powered; Dir L105_dir; bool S86_powered; bool S63_powered; bool S68_powered; Dir L75_dir; Load_13 L75_load; bool S12_powered; bool S116_powered; bool S64_powered; bool S57_powered; Load_13 L83_load; Dir L83_dir; Load_13 L68_load; Dir L68_dir; bool S56_powered; Load_13 L67_load; Dir L67_dir; Load_13 L64_load; bool S55_powered; bool S54_powered; Dir L64_dir; Load_13 L63_load; Dir L63_dir; bool S62_powered; bool S53_powered; Load_13 L62_load; Dir L62_dir; bool S52_powered; Dir L61_dir; Load_13 L61_load; bool S51_powered; Load_13 L65_load; Dir L65_dir; Dir L60_dir; Load_13 L60_load; bool S50_powered; Load_13 L59_load; Dir L59_dir; bool S49_powered; Load_13 L58_load; Dir L58_dir; Load_13 L57_load; bool S48_powered; Dir L57_dir; bool S47_powered; bool S44_powered; Load_13 L74_load; Dir L74_dir; Load_13 L56_load; Dir L56_dir; Load_13 L54_load; Load_13 L55_load; Dir L54_dir; Dir L52_dir; Load_13 L52_load; bool S10_powered; bool S43_powered; Dir L70_dir; bool S58_powered; Load_13 L70_load; Dir L71_dir; Load_13 L71_load; bool S59_powered; Load_13 L73_load; Load_13 L72_load; Dir L72_dir; bool S61_powered; Dir L73_dir; bool S60_powered; bool S46_powered; Dir L55_dir; bool S45_powered; bool S42_powered; Dir L51_dir; Load_13 L51_load; Load_13 L48_load; Dir L48_dir; bool S41_powered; Dir L47_dir; Load_13 L47_load; bool S39_powered; Load_13 L46_load; Dir L46_dir; Dir L26_dir; Load_13 L26_load; Dir L45_dir; Load_13 L45_load; bool S40_powered; bool S21_powered; Dir L146_dir; Load_13 L146_load; Load_13 L23_load; Dir L23_dir; Load_13 L13_load; Dir L13_dir; Dir L12_dir; Load_13 L12_load; bool S23_powered; Dir L27_dir; Dir L28_dir; bool S24_powered; Load_13 L28_load; Load_13 L27_load; Load_13 L29_load; Load_13 L143_load; Dir L143_dir; bool S11_powered; Dir L29_dir; bool P2_powered; Load_13 L31_load; Dir L38_dir; Load_13 L38_load; bool S25_powered; bool S38_powered; Dir L31_dir; Load_13 L30_load; Dir L30_dir; bool S26_powered; Dir L44_dir; Load_13 L44_load; Load_13 L32_load; Dir L32_dir; bool S32_powered; Load_13 L39_load; Dir L39_dir; Load_13 L37_load; Dir L37_dir; bool S37_powered; bool S33_powered; Load_13 L78_load; Dir L78_dir; Dir L40_dir; Load_13 L40_load; bool S31_powered; Dir L36_dir; Load_13 L36_load; bool S34_powered; Load_13 L43_load; Dir L43_dir; bool S30_powered; Dir L35_dir; Load_13 L35_load; bool S29_powered; Load_13 L33_load; Load_13 L34_load; bool S27_powered; Load_13 L41_load; Dir L34_dir; Dir L33_dir; Dir L41_dir; bool S28_powered; Load_13 L42_load; bool S36_powered; Dir L42_dir; bool S35_powered; bool S119_powered; bool S95_powered; Load_13 L145_load; Load_13 L144_load; Dir L145_dir; bool S117_powered; Dir L144_dir; bool S118_powered; bool S20_powered; Dir L22_dir; Load_13 L22_load; Load_13 L16_load; Dir L16_dir; Load_13 L118_load; Dir L118_dir; bool S19_powered; Dir L21_dir; Load_13 L21_load; bool S18_powered; Dir L20_dir; Load_13 L20_load; bool S17_powered; Dir L19_dir; Load_13 L19_load; bool S16_powered; Load_13 L18_load; Dir L18_dir; Load_13 L17_load; bool S15_powered; Dir L17_dir; bool S14_powered; Dir L133_dir; Load_13 L133_load; bool S109_powered; Load_13 L131_load; Dir L132_dir; Load_13 L132_load; Dir L131_dir; bool S99_powered; Load_13 L122_load; Dir L122_dir; Load_13 L121_load; Dir L121_dir; bool S100_powered; Dir L123_dir; Load_13 L123_load; bool S101_powered; Load_13 L124_load; Dir L124_dir; bool S102_powered; Dir L125_dir; Load_13 L125_load; bool S103_powered; Dir L126_dir; Load_13 L126_load; bool S104_powered; Load_13 L127_load; Dir L127_dir; bool S105_powered; Load_13 L128_load; Dir L128_dir; bool S98_powered; bool S106_powered; Load_13 L130_load; Load_13 L129_load; Dir L129_dir; bool S108_powered; Dir L130_dir; bool S107_powered; Load_13 L119_load; Load_13 L120_load; Dir L120_dir; bool S96_powered; Dir L119_dir; bool S97_powered; bool S1_powered; bool S5_powered; Load_13 L5_load; Dir L5_dir; Load_13 L2_load; Dir L2_dir; bool S4_powered; Load_13 L4_load; Load_13 L3_load; Dir L4_dir; bool S2_powered; Dir L3_dir; bool S3_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 L57 (((L57_dir != off) && ((L58_dir == backward))) >> (L57_dir == backward)) && ((L57_dir == backward) >> ((L57_dir != off) && ((L58_dir == backward)))); (((L57_dir != off) && ((L56_dir == forward) || (L65_dir == forward))) >> (L57_dir == forward)) && ((L57_dir == forward) >> ((L57_dir != off) && ((L56_dir == forward) || (L65_dir == forward)))); (L57_dir == forward) >> (L57_load == L58_load + ((S48_powered >> 1) && (!S48_powered >> 0)) ); (L57_dir == backward) >> (L57_load == L56_load + L65_load + ((S47_powered >> 1) && (!S47_powered >> 0)) ); (L57_dir == off) >> (L57_load == 0); //Line 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 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 L69 P3_powered >> ( (L69_dir != backward) ); !P3_powered >> ( ((((L69_dir != off) && ((L68_dir == forward))) >> (L69_dir == backward)) && ((L69_dir == backward) >> ((L69_dir != off) && ((L68_dir == forward))))) && ((((L69_dir != off) && ((L49_dir == backward) || (L50_dir == forward) || (L53_dir == backward) || (L77_dir == forward))) >> (L69_dir == forward)) && ((L69_dir == forward) >> ((L69_dir != off) && ((L49_dir == backward) || (L50_dir == forward) || (L53_dir == backward) || (L77_dir == forward))))) ); (L69_dir == forward) >> (L69_load == L68_load + ((S57_powered >> 1) && (!S57_powered >> 0)) ); (L69_dir == backward) >> (L69_load == L49_load + L50_load + L53_load + L77_load ); (L69_dir == off) >> (L69_load == 0); //Line 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 P3_powered >> ( (L77_dir != forward) ); !P3_powered >> ( ((((L77_dir != off) && ((L49_dir == backward) || (L50_dir == forward) || (L53_dir == backward) || (L69_dir == backward))) >> (L77_dir == backward)) && ((L77_dir == backward) >> ((L77_dir != off) && ((L49_dir == backward) || (L50_dir == forward) || (L53_dir == backward) || (L69_dir == backward))))) && ((((L77_dir != 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 == L49_load + L50_load + L53_load + L69_load ); (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 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 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 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 L49 P3_powered >> ( (L49_dir != backward) ); !P3_powered >> ( ((((L49_dir != off) && ((L48_dir == forward))) >> (L49_dir == backward)) && ((L49_dir == backward) >> ((L49_dir != off) && ((L48_dir == forward))))) && ((((L49_dir != off) && ((L50_dir == forward) || (L53_dir == backward) || (L69_dir == backward) || (L77_dir == forward))) >> (L49_dir == forward)) && ((L49_dir == forward) >> ((L49_dir != off) && ((L50_dir == forward) || (L53_dir == backward) || (L69_dir == backward) || (L77_dir == forward))))) ); (L49_dir == forward) >> (L49_load == L48_load + ((S42_powered >> 1) && (!S42_powered >> 0)) ); (L49_dir == backward) >> (L49_load == L50_load + L53_load + L69_load + L77_load ); (L49_dir == off) >> (L49_load == 0); //Line 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 L64 (((L64_dir != off) && ((L65_dir == backward) || (L66_dir == forward))) >> (L64_dir == backward)) && ((L64_dir == backward) >> ((L64_dir != off) && ((L65_dir == backward) || (L66_dir == forward)))); (((L64_dir != off) && ((L63_dir == forward) || (L67_dir == backward))) >> (L64_dir == forward)) && ((L64_dir == forward) >> ((L64_dir != off) && ((L63_dir == forward) || (L67_dir == backward)))); (L64_dir == forward) >> (L64_load == L65_load + L66_load + ((S55_powered >> 1) && (!S55_powered >> 0)) ); (L64_dir == backward) >> (L64_load == L63_load + L67_load + ((S54_powered >> 1) && (!S54_powered >> 0)) ); (L64_dir == off) >> (L64_load == 0); //Line 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 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 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 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 L63 (((L63_dir != off) && ((L64_dir == backward) || (L67_dir == backward))) >> (L63_dir == backward)) && ((L63_dir == backward) >> ((L63_dir != off) && ((L64_dir == backward) || (L67_dir == backward)))); (((L63_dir != off) && ((L62_dir == forward))) >> (L63_dir == forward)) && ((L63_dir == forward) >> ((L63_dir != off) && ((L62_dir == forward)))); (L63_dir == forward) >> (L63_load == L64_load + L67_load + ((S54_powered >> 1) && (!S54_powered >> 0)) ); (L63_dir == backward) >> (L63_load == L62_load + ((S53_powered >> 1) && (!S53_powered >> 0)) ); (L63_dir == off) >> (L63_load == 0); //Line 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 L67 (((L67_dir != off) && ((L68_dir == backward) || (L83_dir == backward))) >> (L67_dir == backward)) && ((L67_dir == backward) >> ((L67_dir != off) && ((L68_dir == backward) || (L83_dir == backward)))); (((L67_dir != off) && ((L63_dir == forward) || (L64_dir == backward))) >> (L67_dir == forward)) && ((L67_dir == forward) >> ((L67_dir != off) && ((L63_dir == forward) || (L64_dir == backward)))); (L67_dir == forward) >> (L67_load == L68_load + L83_load + ((S56_powered >> 1) && (!S56_powered >> 0)) ); (L67_dir == backward) >> (L67_load == L63_load + L64_load + ((S54_powered >> 1) && (!S54_powered >> 0)) ); (L67_dir == off) >> (L67_load == 0); //Line 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 L48 (((L48_dir != off) && ((L49_dir == forward))) >> (L48_dir == backward)) && ((L48_dir == backward) >> ((L48_dir != off) && ((L49_dir == forward)))); (((L48_dir != off) && ((L47_dir == forward) || (L51_dir == backward))) >> (L48_dir == forward)) && ((L48_dir == forward) >> ((L48_dir != off) && ((L47_dir == forward) || (L51_dir == backward)))); (L48_dir == forward) >> (L48_load == L49_load + ((S42_powered >> 1) && (!S42_powered >> 0)) ); (L48_dir == backward) >> (L48_load == L47_load + L51_load + ((S41_powered >> 1) && (!S41_powered >> 0)) ); (L48_dir == off) >> (L48_load == 0); //Line 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 L58 (((L58_dir != off) && ((L59_dir == backward))) >> (L58_dir == backward)) && ((L58_dir == backward) >> ((L58_dir != off) && ((L59_dir == backward)))); (((L58_dir != off) && ((L57_dir == forward))) >> (L58_dir == forward)) && ((L58_dir == forward) >> ((L58_dir != off) && ((L57_dir == forward)))); (L58_dir == forward) >> (L58_load == L59_load + ((S49_powered >> 1) && (!S49_powered >> 0)) ); (L58_dir == backward) >> (L58_load == L57_load + ((S48_powered >> 1) && (!S48_powered >> 0)) ); (L58_dir == off) >> (L58_load == 0); //Line L68 (((L68_dir != off) && ((L69_dir == forward))) >> (L68_dir == backward)) && ((L68_dir == backward) >> ((L68_dir != off) && ((L69_dir == forward)))); (((L68_dir != off) && ((L67_dir == forward) || (L83_dir == backward))) >> (L68_dir == forward)) && ((L68_dir == forward) >> ((L68_dir != off) && ((L67_dir == forward) || (L83_dir == backward)))); (L68_dir == forward) >> (L68_load == L69_load + ((S57_powered >> 1) && (!S57_powered >> 0)) ); (L68_dir == backward) >> (L68_load == L67_load + L83_load + ((S56_powered >> 1) && (!S56_powered >> 0)) ); (L68_dir == off) >> (L68_load == 0); //Line 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 L47 (((L47_dir != off) && ((L48_dir == backward) || (L51_dir == backward))) >> (L47_dir == backward)) && ((L47_dir == backward) >> ((L47_dir != off) && ((L48_dir == backward) || (L51_dir == backward)))); (((L47_dir != 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 == L48_load + L51_load + ((S41_powered >> 1) && (!S41_powered >> 0)) ); (L47_dir == backward) >> (L47_load == L45_load + L46_load + ((S39_powered >> 1) && (!S39_powered >> 0)) ); (L47_dir == off) >> (L47_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 != off) && ((L67_dir == forward) || (L68_dir == backward))) >> (L83_dir == forward)) && ((L83_dir == forward) >> ((L83_dir != off) && ((L67_dir == forward) || (L68_dir == backward)))); (L83_dir == forward) >> (L83_load == L82_load + L84_load + ((S68_powered >> 1) && (!S68_powered >> 0)) ); (L83_dir == backward) >> (L83_load == L67_load + L68_load + ((S56_powered >> 1) && (!S56_powered >> 0)) ); (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 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 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 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 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 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 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 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 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 L71 (((L71_dir != off) && ((L72_dir == backward))) >> (L71_dir == backward)) && ((L71_dir == backward) >> ((L71_dir != off) && ((L72_dir == backward)))); (((L71_dir != off) && ((L70_dir == forward))) >> (L71_dir == forward)) && ((L71_dir == forward) >> ((L71_dir != off) && ((L70_dir == forward)))); (L71_dir == forward) >> (L71_load == L72_load + ((S59_powered >> 1) && (!S59_powered >> 0)) ); (L71_dir == backward) >> (L71_load == L70_load + ((S58_powered >> 1) && (!S58_powered >> 0)) ); (L71_dir == off) >> (L71_load == 0); //Line 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 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 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 L52 (((L52_dir != off) && ((L53_dir == forward) || (L54_dir == backward))) >> (L52_dir == backward)) && ((L52_dir == backward) >> ((L52_dir != off) && ((L53_dir == forward) || (L54_dir == backward)))); (((L52_dir != off) && ((L51_dir == forward) || (L70_dir == backward))) >> (L52_dir == forward)) && ((L52_dir == forward) >> ((L52_dir != off) && ((L51_dir == forward) || (L70_dir == backward)))); (L52_dir == forward) >> (L52_load == L53_load + L54_load + ((S44_powered >> 1) && (!S44_powered >> 0)) ); (L52_dir == backward) >> (L52_load == L51_load + L70_load + ((S43_powered >> 1) && (!S43_powered >> 0)) ); (L52_dir == off) >> (L52_load == 0); //Line 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 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 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 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 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 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 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 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 L60 (((L60_dir != off) && ((L61_dir == backward))) >> (L60_dir == backward)) && ((L60_dir == backward) >> ((L60_dir != off) && ((L61_dir == backward)))); (((L60_dir != off) && ((L59_dir == forward))) >> (L60_dir == forward)) && ((L60_dir == forward) >> ((L60_dir != off) && ((L59_dir == forward)))); (L60_dir == forward) >> (L60_load == L61_load + ((S51_powered >> 1) && (!S51_powered >> 0)) ); (L60_dir == backward) >> (L60_load == L59_load + ((S50_powered >> 1) && (!S50_powered >> 0)) ); (L60_dir == off) >> (L60_load == 0); //Line 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 != off) && ((L25_dir == forward))) >> (L26_dir == forward)) && ((L26_dir == forward) >> ((L26_dir != off) && ((L25_dir == forward)))); (L26_dir == forward) >> (L26_load == L27_load + L38_load + ((S23_powered >> 1) && (!S23_powered >> 0)) ); (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 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); //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 L78 (((L78_dir != off) && ((L79_dir == backward))) >> (L78_dir == backward)) && ((L78_dir == backward) >> ((L78_dir != off) && ((L79_dir == backward)))); (((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 == L79_load + ((S64_powered >> 1) && (!S64_powered >> 0)) ); (L78_dir == backward) >> (L78_load == L40_load + L41_load + ((S34_powered >> 1) && (!S34_powered >> 0)) ); (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 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 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 != off) && ((L64_dir == forward) || (L65_dir == backward))) >> (L66_dir == backward)) && ((L66_dir == backward) >> ((L66_dir != off) && ((L64_dir == forward) || (L65_dir == backward))))) && ((((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 == L64_load + L65_load + ((S55_powered >> 1) && (!S55_powered >> 0)) ); (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 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 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 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 L65 (((L65_dir != off) && ((L56_dir == forward) || (L57_dir == backward))) >> (L65_dir == backward)) && ((L65_dir == backward) >> ((L65_dir != off) && ((L56_dir == forward) || (L57_dir == backward)))); (((L65_dir != off) && ((L64_dir == forward) || (L66_dir == forward))) >> (L65_dir == forward)) && ((L65_dir == forward) >> ((L65_dir != off) && ((L64_dir == forward) || (L66_dir == forward)))); (L65_dir == forward) >> (L65_load == L56_load + L57_load + ((S47_powered >> 1) && (!S47_powered >> 0)) ); (L65_dir == backward) >> (L65_load == L64_load + L66_load + ((S55_powered >> 1) && (!S55_powered >> 0)) ); (L65_dir == off) >> (L65_load == 0); //Line 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 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 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 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 L54 (((L54_dir != off) && ((L55_dir == backward))) >> (L54_dir == backward)) && ((L54_dir == backward) >> ((L54_dir != off) && ((L55_dir == backward)))); (((L54_dir != off) && ((L52_dir == forward) || (L53_dir == forward))) >> (L54_dir == forward)) && ((L54_dir == forward) >> ((L54_dir != off) && ((L52_dir == forward) || (L53_dir == forward)))); (L54_dir == forward) >> (L54_load == L55_load + ((S45_powered >> 1) && (!S45_powered >> 0)) ); (L54_dir == backward) >> (L54_load == L52_load + L53_load + ((S44_powered >> 1) && (!S44_powered >> 0)) ); (L54_dir == off) >> (L54_load == 0); //Line 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 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 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 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 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 != off) && ((L71_dir == forward))) >> (L72_dir == forward)) && ((L72_dir == forward) >> ((L72_dir != off) && ((L71_dir == forward)))); (L72_dir == forward) >> (L72_load == L73_load + ((S60_powered >> 1) && (!S60_powered >> 0)) ); (L72_dir == backward) >> (L72_load == L71_load + ((S59_powered >> 1) && (!S59_powered >> 0)) ); (L72_dir == off) >> (L72_load == 0); //Line L53 P3_powered >> ( (L53_dir != backward) ); !P3_powered >> ( ((((L53_dir != off) && ((L52_dir == forward) || (L54_dir == backward))) >> (L53_dir == backward)) && ((L53_dir == backward) >> ((L53_dir != off) && ((L52_dir == forward) || (L54_dir == backward))))) && ((((L53_dir != off) && ((L49_dir == backward) || (L50_dir == forward) || (L69_dir == backward) || (L77_dir == forward))) >> (L53_dir == forward)) && ((L53_dir == forward) >> ((L53_dir != off) && ((L49_dir == backward) || (L50_dir == forward) || (L69_dir == backward) || (L77_dir == forward))))) ); (L53_dir == forward) >> (L53_load == L52_load + L54_load + ((S44_powered >> 1) && (!S44_powered >> 0)) ); (L53_dir == backward) >> (L53_load == L49_load + L50_load + L69_load + L77_load ); (L53_dir == off) >> (L53_load == 0); //Line 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 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 L62 (((L62_dir != off) && ((L63_dir == backward))) >> (L62_dir == backward)) && ((L62_dir == backward) >> ((L62_dir != off) && ((L63_dir == backward)))); (((L62_dir != off) && ((L61_dir == forward))) >> (L62_dir == forward)) && ((L62_dir == forward) >> ((L62_dir != off) && ((L61_dir == forward)))); (L62_dir == forward) >> (L62_load == L63_load + ((S53_powered >> 1) && (!S53_powered >> 0)) ); (L62_dir == backward) >> (L62_load == L61_load + ((S52_powered >> 1) && (!S52_powered >> 0)) ); (L62_dir == off) >> (L62_load == 0); //Line 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 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 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 L55 (((L55_dir != off) && ((L56_dir == backward))) >> (L55_dir == backward)) && ((L55_dir == backward) >> ((L55_dir != off) && ((L56_dir == backward)))); (((L55_dir != off) && ((L54_dir == forward))) >> (L55_dir == forward)) && ((L55_dir == forward) >> ((L55_dir != off) && ((L54_dir == forward)))); (L55_dir == forward) >> (L55_load == L56_load + ((S46_powered >> 1) && (!S46_powered >> 0)) ); (L55_dir == backward) >> (L55_load == L54_load + ((S45_powered >> 1) && (!S45_powered >> 0)) ); (L55_dir == off) >> (L55_load == 0); //Line 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 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 L70 (((L70_dir != off) && ((L71_dir == backward))) >> (L70_dir == backward)) && ((L70_dir == backward) >> ((L70_dir != off) && ((L71_dir == backward)))); (((L70_dir != off) && ((L51_dir == forward) || (L52_dir == backward))) >> (L70_dir == forward)) && ((L70_dir == forward) >> ((L70_dir != off) && ((L51_dir == forward) || (L52_dir == backward)))); (L70_dir == forward) >> (L70_load == L71_load + ((S58_powered >> 1) && (!S58_powered >> 0)) ); (L70_dir == backward) >> (L70_load == L51_load + L52_load + ((S43_powered >> 1) && (!S43_powered >> 0)) ); (L70_dir == off) >> (L70_load == 0); //Line 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 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 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 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 L61 (((L61_dir != off) && ((L62_dir == backward))) >> (L61_dir == backward)) && ((L61_dir == backward) >> ((L61_dir != off) && ((L62_dir == backward)))); (((L61_dir != off) && ((L60_dir == forward))) >> (L61_dir == forward)) && ((L61_dir == forward) >> ((L61_dir != off) && ((L60_dir == forward)))); (L61_dir == forward) >> (L61_load == L62_load + ((S52_powered >> 1) && (!S52_powered >> 0)) ); (L61_dir == backward) >> (L61_load == L60_load + ((S51_powered >> 1) && (!S51_powered >> 0)) ); (L61_dir == off) >> (L61_load == 0); //Line 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 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 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 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 L56 (((L56_dir != off) && ((L57_dir == backward) || (L65_dir == forward))) >> (L56_dir == backward)) && ((L56_dir == backward) >> ((L56_dir != off) && ((L57_dir == backward) || (L65_dir == forward)))); (((L56_dir != off) && ((L55_dir == forward))) >> (L56_dir == forward)) && ((L56_dir == forward) >> ((L56_dir != off) && ((L55_dir == forward)))); (L56_dir == forward) >> (L56_load == L57_load + L65_load + ((S47_powered >> 1) && (!S47_powered >> 0)) ); (L56_dir == backward) >> (L56_load == L55_load + ((S46_powered >> 1) && (!S46_powered >> 0)) ); (L56_dir == off) >> (L56_load == 0); //Line 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 L59 (((L59_dir != off) && ((L60_dir == backward))) >> (L59_dir == backward)) && ((L59_dir == backward) >> ((L59_dir != off) && ((L60_dir == backward)))); (((L59_dir != off) && ((L58_dir == forward))) >> (L59_dir == forward)) && ((L59_dir == forward) >> ((L59_dir != off) && ((L58_dir == forward)))); (L59_dir == forward) >> (L59_load == L60_load + ((S50_powered >> 1) && (!S50_powered >> 0)) ); (L59_dir == backward) >> (L59_load == L58_load + ((S49_powered >> 1) && (!S49_powered >> 0)) ); (L59_dir == off) >> (L59_load == 0); //Line 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 L51 (((L51_dir != off) && ((L52_dir == backward) || (L70_dir == backward))) >> (L51_dir == backward)) && ((L51_dir == backward) >> ((L51_dir != off) && ((L52_dir == backward) || (L70_dir == backward)))); (((L51_dir != off) && ((L47_dir == forward) || (L48_dir == backward))) >> (L51_dir == forward)) && ((L51_dir == forward) >> ((L51_dir != off) && ((L47_dir == forward) || (L48_dir == backward)))); (L51_dir == forward) >> (L51_load == L52_load + L70_load + ((S43_powered >> 1) && (!S43_powered >> 0)) ); (L51_dir == backward) >> (L51_load == L47_load + L48_load + ((S41_powered >> 1) && (!S41_powered >> 0)) ); (L51_dir == off) >> (L51_load == 0); //Line 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 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 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 L50 P3_powered >> ( (L50_dir != forward) ); !P3_powered >> ( ((((L50_dir != off) && ((L49_dir == backward) || (L53_dir == backward) || (L69_dir == backward) || (L77_dir == forward))) >> (L50_dir == backward)) && ((L50_dir == backward) >> ((L50_dir != off) && ((L49_dir == backward) || (L53_dir == backward) || (L69_dir == backward) || (L77_dir == forward))))) && ((((L50_dir != 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 == L49_load + L53_load + L69_load + L77_load ); (L50_dir == backward) >> (L50_load == L28_load + L31_load ); (L50_dir == off) >> (L50_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 S65 S65_powered >> (L79_dir == forward || L80_dir == backward || L101_dir == forward); //Sink S76 S76_powered >> (L93_dir == forward || L94_dir == backward || L116_dir == backward); //Sink S11 S11_powered >> (L12_dir == forward || L13_dir == backward || L16_dir == backward); //Sink S12 S12_powered >> (L13_dir == forward || L14_dir == backward); //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 S75 S75_powered >> (L91_dir == forward || L92_dir == backward || L93_dir == backward); //Sink S64 S64_powered >> (L78_dir == forward || L79_dir == backward); //Sink S58 S58_powered >> (L70_dir == forward || L71_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 S5 S5_powered >> (L5_dir == forward || L6_dir == backward); //Sink S114 S114_powered >> (L140_dir == forward || L141_dir == backward); //Sink S66 S66_powered >> (L80_dir == forward || L81_dir == backward); //Sink S24 S24_powered >> (L27_dir == forward || L28_dir == backward || L29_dir == backward); //Sink S74 S74_powered >> (L90_dir == forward || L91_dir == backward); //Sink S95 S95_powered >> (L117_dir == forward || L118_dir == backward); //Sink S117 S117_powered >> (L143_dir == forward || L144_dir == backward); //Sink S13 S13_powered >> (L14_dir == forward || L15_dir == forward || L134_dir == backward); //Sink S25 S25_powered >> (L29_dir == forward || L30_dir == backward); //Sink S89 S89_powered >> (L109_dir == forward || L110_dir == backward || L112_dir == backward || L138_dir == forward); //Sink S68 S68_powered >> (L82_dir == forward || L83_dir == forward || L84_dir == backward); //Sink S79 S79_powered >> (L96_dir == forward || L97_dir == backward); //Sink S57 S57_powered >> (L68_dir == forward || L69_dir == forward); //Sink S15 S15_powered >> (L17_dir == forward || L18_dir == backward); //Sink S30 S30_powered >> (L35_dir == forward || L36_dir == backward); //Sink S119 S119_powered >> (L145_dir == forward || L146_dir == backward); //Sink S112 S112_powered >> (L136_dir == forward || L137_dir == backward); //Sink S118 S118_powered >> (L144_dir == forward || L145_dir == backward); //Sink S40 S40_powered >> (L46_dir == forward); //Sink S55 S55_powered >> (L64_dir == forward || L65_dir == backward || L66_dir == forward); //Sink S35 S35_powered >> (L41_dir == forward || L42_dir == backward); //Sink S113 S113_powered >> (L137_dir == forward || L138_dir == backward || L139_dir == backward); //Sink S49 S49_powered >> (L58_dir == forward || L59_dir == backward); //Sink S7 S7_powered >> (L8_dir == forward || L9_dir == backward); //Sink S36 S36_powered >> (L42_dir == forward || L43_dir == backward); //Sink S116 S116_powered >> (L142_dir == forward || L143_dir == backward); //Sink S105 S105_powered >> (L127_dir == forward || L128_dir == backward); //Sink S111 S111_powered >> (L135_dir == forward || L136_dir == backward); //Sink S6 S6_powered >> (L6_dir == forward || L7_dir == forward || L8_dir == backward); //Sink S92 S92_powered >> (L113_dir == forward || L114_dir == backward); //Sink S38 S38_powered >> (L44_dir == forward || L45_dir == backward); //Sink S93 S93_powered >> (L114_dir == forward || L115_dir == backward); //Sink S107 S107_powered >> (L129_dir == forward || L130_dir == backward); //Sink S52 S52_powered >> (L61_dir == forward || L62_dir == backward); //Sink S8 S8_powered >> (L9_dir == forward || L10_dir == backward); //Sink S94 S94_powered >> (L116_dir == forward || L117_dir == backward || L139_dir == forward); //Sink S41 S41_powered >> (L47_dir == forward || L48_dir == backward || L51_dir == backward); //Sink S110 S110_powered >> (L134_dir == forward || L135_dir == backward || L140_dir == backward); //Sink S37 S37_powered >> (L43_dir == forward || L44_dir == backward); //Sink S90 S90_powered >> (L110_dir == forward || L111_dir == backward); //Sink S108 S108_powered >> (L130_dir == forward || L131_dir == backward); //Sink S34 S34_powered >> (L40_dir == forward || L41_dir == backward || L78_dir == backward); //Sink S81 S81_powered >> (L98_dir == forward || L99_dir == backward || L107_dir == backward); //Sink S2 S2_powered >> (L2_dir == forward || L3_dir == backward); //Sink S91 S91_powered >> (L112_dir == forward || L113_dir == backward); //Sink S20 S20_powered >> (L22_dir == forward || L23_dir == backward); //Sink S48 S48_powered >> (L57_dir == forward || L58_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 S61 S61_powered >> (L73_dir == forward || L74_dir == backward); //Sink S56 S56_powered >> (L67_dir == forward || L68_dir == backward || L83_dir == backward); //Sink S33 S33_powered >> (L39_dir == forward || L40_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 S104 S104_powered >> (L126_dir == forward || L127_dir == backward); //Sink S27 S27_powered >> (L32_dir == forward || L33_dir == backward); //Sink S101 S101_powered >> (L123_dir == forward || L124_dir == backward); //Sink S47 S47_powered >> (L56_dir == forward || L57_dir == backward || L65_dir == forward); //Sink S31 S31_powered >> (L36_dir == forward || L37_dir == backward); //Sink S63 S63_powered >> (L75_dir == forward || L76_dir == forward); //Sink S3 S3_powered >> (L3_dir == forward || L4_dir == backward); //Sink S73 S73_powered >> (L89_dir == forward || L90_dir == backward); //Sink S45 S45_powered >> (L54_dir == forward || L55_dir == backward); //Sink S32 S32_powered >> (L37_dir == forward || L38_dir == backward || L39_dir == backward); //Sink S10 S10_powered >> (L11_dir == forward || L12_dir == backward); //Sink S99 S99_powered >> (L121_dir == forward || L122_dir == backward || L132_dir == forward); //Sink S80 S80_powered >> (L97_dir == forward || L98_dir == backward); //Sink S26 S26_powered >> (L30_dir == forward || L31_dir == backward || L32_dir == backward); //Sink S109 S109_powered >> (L131_dir == forward || L132_dir == backward || L133_dir == backward); //Sink S46 S46_powered >> (L55_dir == forward || L56_dir == backward); //Sink S9 S9_powered >> (L10_dir == forward || L11_dir == backward); //Sink S43 S43_powered >> (L51_dir == forward || L52_dir == backward || L70_dir == backward); //Sink S23 S23_powered >> (L26_dir == forward || L27_dir == backward || L38_dir == forward); //Sink S70 S70_powered >> (L86_dir == forward || L87_dir == backward); //Sink S87 S87_powered >> (L107_dir == forward || L108_dir == backward); //Sink S54 S54_powered >> (L63_dir == forward || L64_dir == backward || L67_dir == backward); //Sink S28 S28_powered >> (L33_dir == forward || L34_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 S4 S4_powered >> (L4_dir == forward || L5_dir == backward); //Sink S62 S62_powered >> (L74_dir == forward || L75_dir == backward); //Sink S19 S19_powered >> (L21_dir == forward || L22_dir == backward); //Sink S84 S84_powered >> (L103_dir == forward || L104_dir == backward); //Sink S83 S83_powered >> (L100_dir == forward || L101_dir == backward || L102_dir == forward); //Sink S42 S42_powered >> (L48_dir == forward || L49_dir == forward); //Sink S86 S86_powered >> (L105_dir == forward || L106_dir == backward); //Sink S1 S1_powered >> (L1_dir == forward || L2_dir == backward); //Sink S98 S98_powered >> (L120_dir == forward || L121_dir == backward); //Sink S29 S29_powered >> (L34_dir == forward || L35_dir == backward); //Sink S53 S53_powered >> (L62_dir == forward || L63_dir == backward); //Sink S60 S60_powered >> (L72_dir == forward || L73_dir == backward); //Sink S115 S115_powered >> (L141_dir == forward || L142_dir == backward); //Sink S22 S22_powered >> (L25_dir == forward || L26_dir == backward); //Sink S39 S39_powered >> (L45_dir == forward || L46_dir == backward || L47_dir == backward); //Sink S97 S97_powered >> (L119_dir == forward || L120_dir == backward); //Sink S17 S17_powered >> (L19_dir == forward || L20_dir == backward); //Sink S59 S59_powered >> (L71_dir == forward || L72_dir == backward); //Sink S88 S88_powered >> (L108_dir == forward || L109_dir == backward); //Sink S44 S44_powered >> (L52_dir == forward || L53_dir == forward || L54_dir == backward); //Sink S51 S51_powered >> (L60_dir == forward || L61_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 S50 S50_powered >> (L59_dir == forward || L60_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);