type Dir {forward, backward, off}; State {sink, cp_off, source}; Load_13 [0..1]; variable bool S18_powered; Dir L21_dir; Load_13 L21_load; Dir L20_dir; Load_13 L20_load; bool S17_powered; Dir L19_dir; Load_13 L19_load; bool S16_powered; Dir L18_dir; Load_13 L18_load; bool S15_powered; Dir L17_dir; Load_13 L17_load; bool S14_powered; Dir L16_dir; Load_13 L16_load; bool S9_powered; Dir L10_dir; Load_13 L10_load; Dir L11_dir; Load_13 L11_load; bool S10_powered; Dir L12_dir; Load_13 L12_load; bool S11_powered; Dir L13_dir; Load_13 L13_load; bool S12_powered; Dir L14_dir; Load_13 L14_load; bool S13_powered; Dir L15_dir; Load_13 L15_load; bool S28_powered; Dir L33_dir; Load_13 L33_load; Dir L34_dir; Load_13 L34_load; bool S29_powered; Dir L35_dir; Load_13 L35_load; bool S30_powered; Dir L36_dir; Load_13 L36_load; bool S31_powered; Dir L37_dir; Load_13 L37_load; bool S32_powered; Dir L38_dir; Load_13 L38_load; bool S27_powered; Dir L32_dir; Load_13 L32_load; bool S26_powered; Dir L31_dir; Load_13 L31_load; Dir L30_dir; Load_13 L30_load; bool S25_powered; Dir L29_dir; Load_13 L29_load; bool P2_powered; Dir L28_dir; Load_13 L28_load; bool S24_powered; Dir L27_dir; Load_13 L27_load; bool S23_powered; Dir L26_dir; Load_13 L26_load; bool S22_powered; Dir L25_dir; Load_13 L25_load; bool S19_powered; Dir L22_dir; Load_13 L22_load; bool S20_powered; Dir L23_dir; Load_13 L23_load; bool S21_powered; Dir L24_dir; Load_13 L24_load; bool S3_powered; Dir L4_dir; Load_13 L4_load; Dir L3_dir; Load_13 L3_load; bool S2_powered; Dir L2_dir; Load_13 L2_load; bool S1_powered; Dir L1_dir; Load_13 L1_load; bool S4_powered; Dir L5_dir; Load_13 L5_load; bool S5_powered; Dir L6_dir; Load_13 L6_load; bool S8_powered; Dir L9_dir; Load_13 L9_load; bool S7_powered; Dir L8_dir; Load_13 L8_load; bool S6_powered; Dir L7_dir; Load_13 L7_load; bool P1_powered; rule //Line L28 P2_powered >> ( (L28_dir != forward) ); !P2_powered >> ( (((L28_dir != off) && ((L31_dir == forward)) >> (L28_dir == backward)) && ((L28_dir == backward) >> (L28_dir != off) && ((L31_dir == forward)))) && (((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 ); (L28_dir == backward) >> (L28_load == L27_load + L29_load + ((S24_powered >> 1) && (!S24_powered >> 0)) ); (L28_dir == off) >> (L28_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 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 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 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 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 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 L24 P1_powered >> ( (L24_dir != backward) ); !P1_powered >> ( (((L24_dir != off) && ((L23_dir == forward)) >> (L24_dir == backward)) && ((L24_dir == backward) >> (L24_dir != off) && ((L23_dir == forward)))) && (((L24_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L15_dir == backward) || (L25_dir == backward)) >> (L24_dir == forward)) && ((L24_dir == forward) >> (L24_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L15_dir == backward) || (L25_dir == backward)))) ); (L24_dir == forward) >> (L24_load == L23_load + ((S21_powered >> 1) && (!S21_powered >> 0)) ); (L24_dir == backward) >> (L24_load == L1_load + L7_load + L15_load + L25_load ); (L24_dir == off) >> (L24_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 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)) >> (L17_dir == forward)) && ((L17_dir == forward) >> (L17_dir != off) && ((L16_dir == forward))); (L17_dir == forward) >> (L17_load == L18_load + ((S15_powered >> 1) && (!S15_powered >> 0)) ); (L17_dir == backward) >> (L17_load == L16_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 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 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)) >> (L38_dir == forward)) && ((L38_dir == forward) >> (L38_dir != off) && ((L37_dir == forward))); (L38_dir == forward) >> (L38_load == L26_load + L27_load + ((S23_powered >> 1) && (!S23_powered >> 0)) ); (L38_dir == backward) >> (L38_load == L37_load + ((S32_powered >> 1) && (!S32_powered >> 0)) ); (L38_dir == off) >> (L38_load == 0); //Line L37 ((L37_dir != off) && ((L38_dir == backward)) >> (L37_dir == backward)) && ((L37_dir == backward) >> (L37_dir != off) && ((L38_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 + ((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 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 L15 P1_powered >> ( (L15_dir != backward) ); !P1_powered >> ( (((L15_dir != off) && ((L14_dir == forward)) >> (L15_dir == backward)) && ((L15_dir == backward) >> (L15_dir != off) && ((L14_dir == forward)))) && (((L15_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L24_dir == backward) || (L25_dir == backward)) >> (L15_dir == forward)) && ((L15_dir == forward) >> (L15_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L24_dir == backward) || (L25_dir == backward)))) ); (L15_dir == forward) >> (L15_load == L14_load + ((S13_powered >> 1) && (!S13_powered >> 0)) ); (L15_dir == backward) >> (L15_load == L1_load + L7_load + L24_load + L25_load ); (L15_dir == off) >> (L15_load == 0); //Line L16 ((L16_dir != off) && ((L17_dir == backward)) >> (L16_dir == backward)) && ((L16_dir == backward) >> (L16_dir != off) && ((L17_dir == backward))); ((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 + ((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 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)) >> (L1_dir == forward)) && ((L1_dir == forward) >> (L1_dir != off) && ((L7_dir == backward) || (L15_dir == backward) || (L24_dir == backward) || (L25_dir == backward)))) ); (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 ); (L1_dir == off) >> (L1_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 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 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 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 L31 P2_powered >> ( (L31_dir != forward) ); !P2_powered >> ( (((L31_dir != off) && ((L28_dir == forward)) >> (L31_dir == backward)) && ((L31_dir == backward) >> (L31_dir != off) && ((L28_dir == forward)))) && (((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 ); (L31_dir == backward) >> (L31_load == L30_load + L32_load + ((S26_powered >> 1) && (!S26_powered >> 0)) ); (L31_dir == off) >> (L31_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 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 L23 ((L23_dir != off) && ((L24_dir == forward)) >> (L23_dir == backward)) && ((L23_dir == backward) >> (L23_dir != off) && ((L24_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 + ((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 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)) >> (L7_dir == forward)) && ((L7_dir == forward) >> (L7_dir != off) && ((L1_dir == backward) || (L15_dir == backward) || (L24_dir == backward) || (L25_dir == backward)))) ); (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 ); (L7_dir == off) >> (L7_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 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 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)) >> (L14_dir == backward)) && ((L14_dir == backward) >> (L14_dir != off) && ((L15_dir == forward))); ((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 + ((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 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)) >> (L25_dir == forward)) && ((L25_dir == forward) >> (L25_dir != off) && ((L1_dir == backward) || (L7_dir == backward) || (L15_dir == backward) || (L24_dir == backward)))) ); (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 ); (L25_dir == off) >> (L25_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 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 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 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 L36 ((L36_dir != off) && ((L37_dir == backward)) >> (L36_dir == backward)) && ((L36_dir == backward) >> (L36_dir != off) && ((L37_dir == backward))); ((L36_dir != off) && ((L35_dir == forward)) >> (L36_dir == forward)) && ((L36_dir == forward) >> (L36_dir != off) && ((L35_dir == forward))); (L36_dir == forward) >> (L36_load == L37_load + ((S31_powered >> 1) && (!S31_powered >> 0)) ); (L36_dir == backward) >> (L36_load == L35_load + ((S30_powered >> 1) && (!S30_powered >> 0)) ); (L36_dir == off) >> (L36_load == 0); //Sink S23 S23_powered >> (L26_dir == forward || L27_dir == backward || L38_dir == forward); //Sink S11 S11_powered >> (L12_dir == forward || L13_dir == backward || L16_dir == backward); //Sink S2 S2_powered >> (L2_dir == forward || L3_dir == backward); //Sink S28 S28_powered >> (L33_dir == forward || L34_dir == backward); //Sink S20 S20_powered >> (L22_dir == forward || L23_dir == backward); //Sink S12 S12_powered >> (L13_dir == forward || L14_dir == backward); //Sink S4 S4_powered >> (L4_dir == forward || L5_dir == backward); //Sink S19 S19_powered >> (L21_dir == forward || L22_dir == backward); //Sink S21 S21_powered >> (L23_dir == forward || L24_dir == forward); //Sink S7 S7_powered >> (L8_dir == forward || L9_dir == backward); //Sink S14 S14_powered >> (L16_dir == forward || L17_dir == backward); //Sink S6 S6_powered >> (L6_dir == forward || L7_dir == forward || L8_dir == backward); //Sink S1 S1_powered >> (L1_dir == forward || L2_dir == backward); //Sink S29 S29_powered >> (L34_dir == forward || L35_dir == backward); //Sink S16 S16_powered >> (L18_dir == forward || L19_dir == backward); //Sink S27 S27_powered >> (L32_dir == forward || L33_dir == backward); //Sink S22 S22_powered >> (L25_dir == forward || L26_dir == backward); //Sink S5 S5_powered >> (L5_dir == forward || L6_dir == backward); //Sink S17 S17_powered >> (L19_dir == forward || L20_dir == backward); //Sink S31 S31_powered >> (L36_dir == forward || L37_dir == backward); //Sink S8 S8_powered >> (L9_dir == forward || L10_dir == backward); //Sink S3 S3_powered >> (L3_dir == forward || L4_dir == backward); //Sink S24 S24_powered >> (L27_dir == forward || L28_dir == backward || L29_dir == backward); //Sink S32 S32_powered >> (L37_dir == forward || L38_dir == backward); //Sink S13 S13_powered >> (L14_dir == forward || L15_dir == forward); //Sink S10 S10_powered >> (L11_dir == forward || L12_dir == backward); //Sink S25 S25_powered >> (L29_dir == forward || L30_dir == backward); //Sink S26 S26_powered >> (L30_dir == forward || L31_dir == backward || L32_dir == backward); //Sink S15 S15_powered >> (L17_dir == forward || L18_dir == backward); //Sink S30 S30_powered >> (L35_dir == forward || L36_dir == backward); //Sink S9 S9_powered >> (L10_dir == forward || L11_dir == backward); //Sink S18 S18_powered >> (L20_dir == forward || L21_dir == backward);