x38test/x38add4possible bounds: {L0}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I50FC_SENSOR(x) AND {L1}:[-1]:E_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L2}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_I50FC(x) AND {L3}:[-1]:E_FCP_I50FC(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L4}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_I50FC(x) AND {L5}:[-1]:S_FCP_I50FC(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L6}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_P50FC(x) AND {L7}:[-1]:E_FCP_P50FC(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L8}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_P50FC(x) AND {L9}:[-1]:S_FCP_P50FC(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L10}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_O50FC(x) AND {L11}:[-1]:E_FCP_O50FC(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L12}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_O50(x) AND {L13}:[-1]:S_FCP_O50(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L14}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L15}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L16}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I50FC_CMDS(x) AND {L17}:[-1]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L18}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I10FC_SENSOR(x) AND {L19}:[-1]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L20}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L21}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L22}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_I10FC(x) AND {L23}:[-1]:E_FCP_I10FC(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L24}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_I10FC(x) AND {L25}:[-1]:S_FCP_I10FC(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L26}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_P10FC(x) AND {L27}:[-1]:E_FCP_P10FC(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L28}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_P10FC(x) AND {L29}:[-1]:S_FCP_P10FC(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L30}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_O10FC(x) AND {L31}:[-1]:E_FCP_O10FC(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L32}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_O10FC(x) AND {L33}:[-1]:S_FCP_O10FC(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L34}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L35}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L36}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I10FC_CMDS(x) AND {L37}:[-1]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L38}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I50NFC_SENSOR(x) AND {L39}:[-1]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L40}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I50NFC_SENSOR(x) AND {L41}:[-1]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L42}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_I50NFC(x) AND {L43}:[-1]:E_FCP_I50NFC(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L44}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_I50NFC(x) AND {L45}:[-1]:S_FCP_I50NFC(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L46}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_P50NFC(x) AND {L47}:[-1]:E_FCP_P50NFC(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L48}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_P50NFC(x) AND {L49}:[-1]:S_FCP_P50NFC(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L50}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_O50FC(x) AND {L51}:[-1]:S_FCP_O50FC(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L52}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_I50FC_CMDS(x) AND {L53}:[-1]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L54}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_I10FC_CMDS(x) AND {L55}:[-1]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L56}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:new4(x) AND {L57}:[-1]:new4(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L58}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:new3(x) AND {L59}:[-1]:new3(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L60}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:new2(x) AND {L61}:[-1]:new2(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L62}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:new1(x) AND {L63}:[-1]:new1(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L64}:[-1]:new4(x) +0[-20,20] < [-1]:E_ICP_I50FC_SENSOR(x) AND {L65}:[-1]:E_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:new4(x) AND {L57}:[-1]:new4(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L56}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:new4(x) AND {L66}:[-1]:new4(x) +0[-20,20] < [-1]:E_FCP_I50FC(x) AND {L67}:[-1]:E_FCP_I50FC(x) +0[-20,20] < [-1]:new4(x) AND {L68}:[-1]:new4(x) +0[-20,20] < [-1]:S_FCP_I50FC(x) AND {L69}:[-1]:S_FCP_I50FC(x) +0[-20,20] < [-1]:new4(x) AND {L70}:[-1]:new4(x) +0[-20,20] < [-1]:E_FCP_P50FC(x) AND {L71}:[-1]:E_FCP_P50FC(x) +0[-20,20] < [-1]:new4(x) AND {L72}:[-1]:new4(x) +0[-20,20] < [-1]:S_FCP_P50FC(x) AND {L73}:[-1]:S_FCP_P50FC(x) +0[-20,20] < [-1]:new4(x) AND {L74}:[-1]:new4(x) +0[-20,20] < [-1]:E_FCP_O50FC(x) AND {L75}:[-1]:E_FCP_O50FC(x) +0[-20,20] < [-1]:new4(x) AND {L76}:[-1]:new4(x) +0[-20,20] < [-1]:S_FCP_O50(x) AND {L77}:[-1]:S_FCP_O50(x) +0[-20,20] < [-1]:new4(x) AND {L78}:[-1]:new4(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L79}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:new4(x) AND {L80}:[-1]:new4(x) +0[-20,20] < [-1]:S_ICP_I50FC_CMDS(x) AND {L81}:[-1]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:new4(x) AND {L82}:[-1]:new4(x) +0[-20,20] < [-1]:E_ICP_I10FC_SENSOR(x) AND {L83}:[-1]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:new4(x) AND {L84}:[-1]:new4(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L85}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:new4(x) AND {L86}:[-1]:new4(x) +0[-20,20] < [-1]:E_FCP_I10FC(x) AND {L87}:[-1]:E_FCP_I10FC(x) +0[-20,20] < [-1]:new4(x) AND {L88}:[-1]:new4(x) +0[-20,20] < [-1]:S_FCP_I10FC(x) AND {L89}:[-1]:S_FCP_I10FC(x) +0[-20,20] < [-1]:new4(x) AND {L90}:[-1]:new4(x) +0[-20,20] < [-1]:E_FCP_P10FC(x) AND {L91}:[-1]:E_FCP_P10FC(x) +0[-20,20] < [-1]:new4(x) AND {L92}:[-1]:new4(x) +0[-20,20] < [-1]:S_FCP_P10FC(x) AND {L93}:[-1]:S_FCP_P10FC(x) +0[-20,20] < [-1]:new4(x) AND {L94}:[-1]:new4(x) +0[-20,20] < [-1]:E_FCP_O10FC(x) AND {L95}:[-1]:E_FCP_O10FC(x) +0[-20,20] < [-1]:new4(x) AND {L96}:[-1]:new4(x) +0[-20,20] < [-1]:S_FCP_O10FC(x) AND {L97}:[-1]:S_FCP_O10FC(x) +0[-20,20] < [-1]:new4(x) AND {L98}:[-1]:new4(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L99}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:new4(x) AND {L100}:[-1]:new4(x) +0[-20,20] < [-1]:S_ICP_I10FC_CMDS(x) AND {L101}:[-1]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:new4(x) AND {L102}:[-1]:new4(x) +0[-20,20] < [-1]:E_ICP_I50NFC_SENSOR(x) AND {L103}:[-1]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:new4(x) AND {L104}:[-1]:new4(x) +0[-20,20] < [-1]:S_ICP_I50NFC_SENSOR(x) AND {L105}:[-1]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:new4(x) AND {L106}:[-1]:new4(x) +0[-20,20] < [-1]:E_FCP_I50NFC(x) AND {L107}:[-1]:E_FCP_I50NFC(x) +0[-20,20] < [-1]:new4(x) AND {L108}:[-1]:new4(x) +0[-20,20] < [-1]:S_FCP_I50NFC(x) AND {L109}:[-1]:S_FCP_I50NFC(x) +0[-20,20] < [-1]:new4(x) AND {L110}:[-1]:new4(x) +0[-20,20] < [-1]:E_FCP_P50NFC(x) AND {L111}:[-1]:E_FCP_P50NFC(x) +0[-20,20] < [-1]:new4(x) AND {L112}:[-1]:new4(x) +0[-20,20] < [-1]:S_FCP_P50NFC(x) AND {L113}:[-1]:S_FCP_P50NFC(x) +0[-20,20] < [-1]:new4(x) AND {L114}:[-1]:new4(x) +0[-20,20] < [-1]:S_FCP_O50FC(x) AND {L115}:[-1]:S_FCP_O50FC(x) +0[-20,20] < [-1]:new4(x) AND {L116}:[-1]:new4(x) +0[-20,20] < [-1]:S_FCP_I50FC_CMDS(x) AND {L117}:[-1]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [-1]:new4(x) AND {L118}:[-1]:new4(x) +0[-20,20] < [-1]:S_FCP_I10FC_CMDS(x) AND {L119}:[-1]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [-1]:new4(x) AND {L120}:[-1]:new4(x) +0[-20,20] < [-1]:new3(x) AND {L121}:[-1]:new3(x) +0[-20,20] < [-1]:new4(x) AND {L122}:[-1]:new4(x) +0[-20,20] < [-1]:new2(x) AND {L123}:[-1]:new2(x) +0[-20,20] < [-1]:new4(x) AND {L124}:[-1]:new4(x) +0[-20,20] < [-1]:new1(x) AND {L125}:[-1]:new1(x) +0[-20,20] < [-1]:new4(x) AND {L126}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I50FC_SENSOR(x) AND {L127}:[-1]:E_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L21}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L20}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L128}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_I50FC(x) AND {L129}:[-1]:E_FCP_I50FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L130}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_I50FC(x) AND {L131}:[-1]:S_FCP_I50FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L132}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_P50FC(x) AND {L133}:[-1]:E_FCP_P50FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L134}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_P50FC(x) AND {L135}:[-1]:S_FCP_P50FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L136}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_O50FC(x) AND {L137}:[-1]:E_FCP_O50FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L138}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_O50(x) AND {L139}:[-1]:S_FCP_O50(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L140}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L141}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L142}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I50FC_CMDS(x) AND {L143}:[-1]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L144}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I10FC_SENSOR(x) AND {L145}:[-1]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L146}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_I10FC(x) AND {L147}:[-1]:E_FCP_I10FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L148}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_I10FC(x) AND {L149}:[-1]:S_FCP_I10FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L150}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_P10FC(x) AND {L151}:[-1]:E_FCP_P10FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L152}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_P10FC(x) AND {L153}:[-1]:S_FCP_P10FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L154}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_O10FC(x) AND {L155}:[-1]:E_FCP_O10FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L156}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_O10FC(x) AND {L157}:[-1]:S_FCP_O10FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L158}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L159}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L160}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I10FC_CMDS(x) AND {L161}:[-1]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L162}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I50NFC_SENSOR(x) AND {L163}:[-1]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L164}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I50NFC_SENSOR(x) AND {L165}:[-1]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L166}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_I50NFC(x) AND {L167}:[-1]:E_FCP_I50NFC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L168}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_I50NFC(x) AND {L169}:[-1]:S_FCP_I50NFC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L170}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_P50NFC(x) AND {L171}:[-1]:E_FCP_P50NFC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L172}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_P50NFC(x) AND {L173}:[-1]:S_FCP_P50NFC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L174}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_O50FC(x) AND {L175}:[-1]:S_FCP_O50FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L176}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_I50FC_CMDS(x) AND {L177}:[-1]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L178}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_I10FC_CMDS(x) AND {L179}:[-1]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L85}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:new4(x) AND {L84}:[-1]:new4(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L180}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:new3(x) AND {L181}:[-1]:new3(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L182}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:new2(x) AND {L183}:[-1]:new2(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L184}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:new1(x) AND {L185}:[-1]:new1(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L186}:[-1]:new3(x) +0[-20,20] < [-1]:E_ICP_I50FC_SENSOR(x) AND {L187}:[-1]:E_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:new3(x) AND {L59}:[-1]:new3(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L58}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:new3(x) AND {L188}:[-1]:new3(x) +0[-20,20] < [-1]:E_FCP_I50FC(x) AND {L189}:[-1]:E_FCP_I50FC(x) +0[-20,20] < [-1]:new3(x) AND {L190}:[-1]:new3(x) +0[-20,20] < [-1]:S_FCP_I50FC(x) AND {L191}:[-1]:S_FCP_I50FC(x) +0[-20,20] < [-1]:new3(x) AND {L192}:[-1]:new3(x) +0[-20,20] < [-1]:E_FCP_P50FC(x) AND {L193}:[-1]:E_FCP_P50FC(x) +0[-20,20] < [-1]:new3(x) AND {L194}:[-1]:new3(x) +0[-20,20] < [-1]:S_FCP_P50FC(x) AND {L195}:[-1]:S_FCP_P50FC(x) +0[-20,20] < [-1]:new3(x) AND {L196}:[-1]:new3(x) +0[-20,20] < [-1]:E_FCP_O50FC(x) AND {L197}:[-1]:E_FCP_O50FC(x) +0[-20,20] < [-1]:new3(x) AND {L198}:[-1]:new3(x) +0[-20,20] < [-1]:S_FCP_O50(x) AND {L199}:[-1]:S_FCP_O50(x) +0[-20,20] < [-1]:new3(x) AND {L200}:[-1]:new3(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L201}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:new3(x) AND {L202}:[-1]:new3(x) +0[-20,20] < [-1]:S_ICP_I50FC_CMDS(x) AND {L203}:[-1]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:new3(x) AND {L204}:[-1]:new3(x) +0[-20,20] < [-1]:E_ICP_I10FC_SENSOR(x) AND {L205}:[-1]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:new3(x) AND {L181}:[-1]:new3(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L180}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:new3(x) AND {L206}:[-1]:new3(x) +0[-20,20] < [-1]:E_FCP_I10FC(x) AND {L207}:[-1]:E_FCP_I10FC(x) +0[-20,20] < [-1]:new3(x) AND {L208}:[-1]:new3(x) +0[-20,20] < [-1]:S_FCP_I10FC(x) AND {L209}:[-1]:S_FCP_I10FC(x) +0[-20,20] < [-1]:new3(x) AND {L210}:[-1]:new3(x) +0[-20,20] < [-1]:E_FCP_P10FC(x) AND {L211}:[-1]:E_FCP_P10FC(x) +0[-20,20] < [-1]:new3(x) AND {L212}:[-1]:new3(x) +0[-20,20] < [-1]:S_FCP_P10FC(x) AND {L213}:[-1]:S_FCP_P10FC(x) +0[-20,20] < [-1]:new3(x) AND {L214}:[-1]:new3(x) +0[-20,20] < [-1]:E_FCP_O10FC(x) AND {L215}:[-1]:E_FCP_O10FC(x) +0[-20,20] < [-1]:new3(x) AND {L216}:[-1]:new3(x) +0[-20,20] < [-1]:S_FCP_O10FC(x) AND {L217}:[-1]:S_FCP_O10FC(x) +0[-20,20] < [-1]:new3(x) AND {L218}:[-1]:new3(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L219}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:new3(x) AND {L220}:[-1]:new3(x) +0[-20,20] < [-1]:S_ICP_I10FC_CMDS(x) AND {L221}:[-1]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:new3(x) AND {L222}:[-1]:new3(x) +0[-20,20] < [-1]:E_ICP_I50NFC_SENSOR(x) AND {L223}:[-1]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:new3(x) AND {L224}:[-1]:new3(x) +0[-20,20] < [-1]:S_ICP_I50NFC_SENSOR(x) AND {L225}:[-1]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:new3(x) AND {L226}:[-1]:new3(x) +0[-20,20] < [-1]:E_FCP_I50NFC(x) AND {L227}:[-1]:E_FCP_I50NFC(x) +0[-20,20] < [-1]:new3(x) AND {L228}:[-1]:new3(x) +0[-20,20] < [-1]:S_FCP_I50NFC(x) AND {L229}:[-1]:S_FCP_I50NFC(x) +0[-20,20] < [-1]:new3(x) AND {L230}:[-1]:new3(x) +0[-20,20] < [-1]:E_FCP_P50NFC(x) AND {L231}:[-1]:E_FCP_P50NFC(x) +0[-20,20] < [-1]:new3(x) AND {L232}:[-1]:new3(x) +0[-20,20] < [-1]:S_FCP_P50NFC(x) AND {L233}:[-1]:S_FCP_P50NFC(x) +0[-20,20] < [-1]:new3(x) AND {L234}:[-1]:new3(x) +0[-20,20] < [-1]:S_FCP_O50FC(x) AND {L235}:[-1]:S_FCP_O50FC(x) +0[-20,20] < [-1]:new3(x) AND {L236}:[-1]:new3(x) +0[-20,20] < [-1]:S_FCP_I50FC_CMDS(x) AND {L237}:[-1]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [-1]:new3(x) AND {L238}:[-1]:new3(x) +0[-20,20] < [-1]:S_FCP_I10FC_CMDS(x) AND {L239}:[-1]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [-1]:new3(x) AND {L121}:[-1]:new3(x) +0[-20,20] < [-1]:new4(x) AND {L120}:[-1]:new4(x) +0[-20,20] < [-1]:new3(x) AND {L240}:[-1]:new3(x) +0[-20,20] < [-1]:new2(x) AND {L241}:[-1]:new2(x) +0[-20,20] < [-1]:new3(x) AND {L242}:[-1]:new3(x) +0[-20,20] < [-1]:new1(x) AND {L243}:[-1]:new1(x) +0[-20,20] < [-1]:new3(x) AND {L244}:[-1]:new2(x) +0[-20,20] < [-1]:E_ICP_I50FC_SENSOR(x) AND {L245}:[-1]:E_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:new2(x) AND {L61}:[-1]:new2(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L60}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:new2(x) AND {L246}:[-1]:new2(x) +0[-20,20] < [-1]:E_FCP_I50FC(x) AND {L247}:[-1]:E_FCP_I50FC(x) +0[-20,20] < [-1]:new2(x) AND {L248}:[-1]:new2(x) +0[-20,20] < [-1]:S_FCP_I50FC(x) AND {L249}:[-1]:S_FCP_I50FC(x) +0[-20,20] < [-1]:new2(x) AND {L250}:[-1]:new2(x) +0[-20,20] < [-1]:E_FCP_P50FC(x) AND {L251}:[-1]:E_FCP_P50FC(x) +0[-20,20] < [-1]:new2(x) AND {L252}:[-1]:new2(x) +0[-20,20] < [-1]:S_FCP_P50FC(x) AND {L253}:[-1]:S_FCP_P50FC(x) +0[-20,20] < [-1]:new2(x) AND {L254}:[-1]:new2(x) +0[-20,20] < [-1]:E_FCP_O50FC(x) AND {L255}:[-1]:E_FCP_O50FC(x) +0[-20,20] < [-1]:new2(x) AND {L256}:[-1]:new2(x) +0[-20,20] < [-1]:S_FCP_O50(x) AND {L257}:[-1]:S_FCP_O50(x) +0[-20,20] < [-1]:new2(x) AND {L258}:[-1]:new2(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L259}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:new2(x) AND {L260}:[-1]:new2(x) +0[-20,20] < [-1]:S_ICP_I50FC_CMDS(x) AND {L261}:[-1]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:new2(x) AND {L262}:[-1]:new2(x) +0[-20,20] < [-1]:E_ICP_I10FC_SENSOR(x) AND {L263}:[-1]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:new2(x) AND {L183}:[-1]:new2(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L182}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:new2(x) AND {L264}:[-1]:new2(x) +0[-20,20] < [-1]:E_FCP_I10FC(x) AND {L265}:[-1]:E_FCP_I10FC(x) +0[-20,20] < [-1]:new2(x) AND {L266}:[-1]:new2(x) +0[-20,20] < [-1]:S_FCP_I10FC(x) AND {L267}:[-1]:S_FCP_I10FC(x) +0[-20,20] < [-1]:new2(x) AND {L268}:[-1]:new2(x) +0[-20,20] < [-1]:E_FCP_P10FC(x) AND {L269}:[-1]:E_FCP_P10FC(x) +0[-20,20] < [-1]:new2(x) AND {L270}:[-1]:new2(x) +0[-20,20] < [-1]:S_FCP_P10FC(x) AND {L271}:[-1]:S_FCP_P10FC(x) +0[-20,20] < [-1]:new2(x) AND {L272}:[-1]:new2(x) +0[-20,20] < [-1]:E_FCP_O10FC(x) AND {L273}:[-1]:E_FCP_O10FC(x) +0[-20,20] < [-1]:new2(x) AND {L274}:[-1]:new2(x) +0[-20,20] < [-1]:S_FCP_O10FC(x) AND {L275}:[-1]:S_FCP_O10FC(x) +0[-20,20] < [-1]:new2(x) AND {L276}:[-1]:new2(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L277}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:new2(x) AND {L278}:[-1]:new2(x) +0[-20,20] < [-1]:S_ICP_I10FC_CMDS(x) AND {L279}:[-1]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:new2(x) AND {L280}:[-1]:new2(x) +0[-20,20] < [-1]:E_ICP_I50NFC_SENSOR(x) AND {L281}:[-1]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:new2(x) AND {L282}:[-1]:new2(x) +0[-20,20] < [-1]:S_ICP_I50NFC_SENSOR(x) AND {L283}:[-1]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:new2(x) AND {L284}:[-1]:new2(x) +0[-20,20] < [-1]:E_FCP_I50NFC(x) AND {L285}:[-1]:E_FCP_I50NFC(x) +0[-20,20] < [-1]:new2(x) AND {L286}:[-1]:new2(x) +0[-20,20] < [-1]:S_FCP_I50NFC(x) AND {L287}:[-1]:S_FCP_I50NFC(x) +0[-20,20] < [-1]:new2(x) AND {L288}:[-1]:new2(x) +0[-20,20] < [-1]:E_FCP_P50NFC(x) AND {L289}:[-1]:E_FCP_P50NFC(x) +0[-20,20] < [-1]:new2(x) AND {L290}:[-1]:new2(x) +0[-20,20] < [-1]:S_FCP_P50NFC(x) AND {L291}:[-1]:S_FCP_P50NFC(x) +0[-20,20] < [-1]:new2(x) AND {L292}:[-1]:new2(x) +0[-20,20] < [-1]:S_FCP_O50FC(x) AND {L293}:[-1]:S_FCP_O50FC(x) +0[-20,20] < [-1]:new2(x) AND {L294}:[-1]:new2(x) +0[-20,20] < [-1]:S_FCP_I50FC_CMDS(x) AND {L295}:[-1]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [-1]:new2(x) AND {L296}:[-1]:new2(x) +0[-20,20] < [-1]:S_FCP_I10FC_CMDS(x) AND {L297}:[-1]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [-1]:new2(x) AND {L123}:[-1]:new2(x) +0[-20,20] < [-1]:new4(x) AND {L122}:[-1]:new4(x) +0[-20,20] < [-1]:new2(x) AND {L241}:[-1]:new2(x) +0[-20,20] < [-1]:new3(x) AND {L240}:[-1]:new3(x) +0[-20,20] < [-1]:new2(x) AND {L298}:[-1]:new2(x) +0[-20,20] < [-1]:new1(x) AND {L299}:[-1]:new1(x) +0[-20,20] < [-1]:new2(x) AND {L300}:[-1]:new1(x) +0[-20,20] < [-1]:E_ICP_I50FC_SENSOR(x) AND {L301}:[-1]:E_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:new1(x) AND {L63}:[-1]:new1(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L62}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:new1(x) AND {L302}:[-1]:new1(x) +0[-20,20] < [-1]:E_FCP_I50FC(x) AND {L303}:[-1]:E_FCP_I50FC(x) +0[-20,20] < [-1]:new1(x) AND {L304}:[-1]:new1(x) +0[-20,20] < [-1]:S_FCP_I50FC(x) AND {L305}:[-1]:S_FCP_I50FC(x) +0[-20,20] < [-1]:new1(x) AND {L306}:[-1]:new1(x) +0[-20,20] < [-1]:E_FCP_P50FC(x) AND {L307}:[-1]:E_FCP_P50FC(x) +0[-20,20] < [-1]:new1(x) AND {L308}:[-1]:new1(x) +0[-20,20] < [-1]:S_FCP_P50FC(x) AND {L309}:[-1]:S_FCP_P50FC(x) +0[-20,20] < [-1]:new1(x) AND {L310}:[-1]:new1(x) +0[-20,20] < [-1]:E_FCP_O50FC(x) AND {L311}:[-1]:E_FCP_O50FC(x) +0[-20,20] < [-1]:new1(x) AND {L312}:[-1]:new1(x) +0[-20,20] < [-1]:S_FCP_O50(x) AND {L313}:[-1]:S_FCP_O50(x) +0[-20,20] < [-1]:new1(x) AND {L314}:[-1]:new1(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L315}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:new1(x) AND {L316}:[-1]:new1(x) +0[-20,20] < [-1]:S_ICP_I50FC_CMDS(x) AND {L317}:[-1]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:new1(x) AND {L318}:[-1]:new1(x) +0[-20,20] < [-1]:E_ICP_I10FC_SENSOR(x) AND {L319}:[-1]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:new1(x) AND {L185}:[-1]:new1(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L184}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:new1(x) AND {L320}:[-1]:new1(x) +0[-20,20] < [-1]:E_FCP_I10FC(x) AND {L321}:[-1]:E_FCP_I10FC(x) +0[-20,20] < [-1]:new1(x) AND {L322}:[-1]:new1(x) +0[-20,20] < [-1]:S_FCP_I10FC(x) AND {L323}:[-1]:S_FCP_I10FC(x) +0[-20,20] < [-1]:new1(x) AND {L324}:[-1]:new1(x) +0[-20,20] < [-1]:E_FCP_P10FC(x) AND {L325}:[-1]:E_FCP_P10FC(x) +0[-20,20] < [-1]:new1(x) AND {L326}:[-1]:new1(x) +0[-20,20] < [-1]:S_FCP_P10FC(x) AND {L327}:[-1]:S_FCP_P10FC(x) +0[-20,20] < [-1]:new1(x) AND {L328}:[-1]:new1(x) +0[-20,20] < [-1]:E_FCP_O10FC(x) AND {L329}:[-1]:E_FCP_O10FC(x) +0[-20,20] < [-1]:new1(x) AND {L330}:[-1]:new1(x) +0[-20,20] < [-1]:S_FCP_O10FC(x) AND {L331}:[-1]:S_FCP_O10FC(x) +0[-20,20] < [-1]:new1(x) AND {L332}:[-1]:new1(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L333}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:new1(x) AND {L334}:[-1]:new1(x) +0[-20,20] < [-1]:S_ICP_I10FC_CMDS(x) AND {L335}:[-1]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:new1(x) AND {L336}:[-1]:new1(x) +0[-20,20] < [-1]:E_ICP_I50NFC_SENSOR(x) AND {L337}:[-1]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:new1(x) AND {L338}:[-1]:new1(x) +0[-20,20] < [-1]:S_ICP_I50NFC_SENSOR(x) AND {L339}:[-1]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:new1(x) AND {L340}:[-1]:new1(x) +0[-20,20] < [-1]:E_FCP_I50NFC(x) AND {L341}:[-1]:E_FCP_I50NFC(x) +0[-20,20] < [-1]:new1(x) AND {L342}:[-1]:new1(x) +0[-20,20] < [-1]:S_FCP_I50NFC(x) AND {L343}:[-1]:S_FCP_I50NFC(x) +0[-20,20] < [-1]:new1(x) AND {L344}:[-1]:new1(x) +0[-20,20] < [-1]:E_FCP_P50NFC(x) AND {L345}:[-1]:E_FCP_P50NFC(x) +0[-20,20] < [-1]:new1(x) AND {L346}:[-1]:new1(x) +0[-20,20] < [-1]:S_FCP_P50NFC(x) AND {L347}:[-1]:S_FCP_P50NFC(x) +0[-20,20] < [-1]:new1(x) AND {L348}:[-1]:new1(x) +0[-20,20] < [-1]:S_FCP_O50FC(x) AND {L349}:[-1]:S_FCP_O50FC(x) +0[-20,20] < [-1]:new1(x) AND {L350}:[-1]:new1(x) +0[-20,20] < [-1]:S_FCP_I50FC_CMDS(x) AND {L351}:[-1]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [-1]:new1(x) AND {L352}:[-1]:new1(x) +0[-20,20] < [-1]:S_FCP_I10FC_CMDS(x) AND {L353}:[-1]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [-1]:new1(x) AND {L125}:[-1]:new1(x) +0[-20,20] < [-1]:new4(x) AND {L124}:[-1]:new4(x) +0[-20,20] < [-1]:new1(x) AND {L243}:[-1]:new1(x) +0[-20,20] < [-1]:new3(x) AND {L242}:[-1]:new3(x) +0[-20,20] < [-1]:new1(x) AND {L299}:[-1]:new1(x) +0[-20,20] < [-1]:new2(x) AND {L298}:[-1]:new2(x) +0[-20,20] < [-1]:new1(x) AND {L354}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I50FC_SENSOR(x) AND {L355}:[-1]:E_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L15}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L14}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L356}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_I50FC(x) AND {L357}:[-1]:E_FCP_I50FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L358}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_I50FC(x) AND {L359}:[-1]:S_FCP_I50FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L360}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_P50FC(x) AND {L361}:[-1]:E_FCP_P50FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L362}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_P50FC(x) AND {L363}:[-1]:S_FCP_P50FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L364}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_O50FC(x) AND {L365}:[-1]:E_FCP_O50FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L366}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_O50(x) AND {L367}:[-1]:S_FCP_O50(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L368}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I50FC_CMDS(x) AND {L369}:[-1]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L370}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I10FC_SENSOR(x) AND {L371}:[-1]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L141}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L140}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L372}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_I10FC(x) AND {L373}:[-1]:E_FCP_I10FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L374}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_I10FC(x) AND {L375}:[-1]:S_FCP_I10FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L376}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_P10FC(x) AND {L377}:[-1]:E_FCP_P10FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L378}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_P10FC(x) AND {L379}:[-1]:S_FCP_P10FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L380}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_O10FC(x) AND {L381}:[-1]:E_FCP_O10FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L382}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_O10FC(x) AND {L383}:[-1]:S_FCP_O10FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L384}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L385}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L386}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I10FC_CMDS(x) AND {L387}:[-1]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L388}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I50NFC_SENSOR(x) AND {L389}:[-1]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L390}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I50NFC_SENSOR(x) AND {L391}:[-1]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L392}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_I50NFC(x) AND {L393}:[-1]:E_FCP_I50NFC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L394}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_I50NFC(x) AND {L395}:[-1]:S_FCP_I50NFC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L396}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_P50NFC(x) AND {L397}:[-1]:E_FCP_P50NFC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L398}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_P50NFC(x) AND {L399}:[-1]:S_FCP_P50NFC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L400}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_O50FC(x) AND {L401}:[-1]:S_FCP_O50FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L402}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_I50FC_CMDS(x) AND {L403}:[-1]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L404}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_I10FC_CMDS(x) AND {L405}:[-1]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L79}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:new4(x) AND {L78}:[-1]:new4(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L201}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:new3(x) AND {L200}:[-1]:new3(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L259}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:new2(x) AND {L258}:[-1]:new2(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L315}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:new1(x) AND {L314}:[-1]:new1(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L406}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I50FC_SENSOR(x) AND {L407}:[-1]:E_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L35}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L34}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L408}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_I50FC(x) AND {L409}:[-1]:E_FCP_I50FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L410}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_I50FC(x) AND {L411}:[-1]:S_FCP_I50FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L412}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_P50FC(x) AND {L413}:[-1]:E_FCP_P50FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L414}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_P50FC(x) AND {L415}:[-1]:S_FCP_P50FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L416}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_O50FC(x) AND {L417}:[-1]:E_FCP_O50FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L418}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_O50(x) AND {L419}:[-1]:S_FCP_O50(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L385}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L384}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L420}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I50FC_CMDS(x) AND {L421}:[-1]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L422}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I10FC_SENSOR(x) AND {L423}:[-1]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L159}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L158}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L424}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_I10FC(x) AND {L425}:[-1]:E_FCP_I10FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L426}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_I10FC(x) AND {L427}:[-1]:S_FCP_I10FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L428}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_P10FC(x) AND {L429}:[-1]:E_FCP_P10FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L430}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_P10FC(x) AND {L431}:[-1]:S_FCP_P10FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L432}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_O10FC(x) AND {L433}:[-1]:E_FCP_O10FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L434}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_O10FC(x) AND {L435}:[-1]:S_FCP_O10FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L436}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I10FC_CMDS(x) AND {L437}:[-1]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L438}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I50NFC_SENSOR(x) AND {L439}:[-1]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L440}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I50NFC_SENSOR(x) AND {L441}:[-1]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L442}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_I50NFC(x) AND {L443}:[-1]:E_FCP_I50NFC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L444}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_I50NFC(x) AND {L445}:[-1]:S_FCP_I50NFC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L446}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_P50NFC(x) AND {L447}:[-1]:E_FCP_P50NFC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L448}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_P50NFC(x) AND {L449}:[-1]:S_FCP_P50NFC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L450}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_O50FC(x) AND {L451}:[-1]:S_FCP_O50FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L452}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_I50FC_CMDS(x) AND {L453}:[-1]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L454}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_I10FC_CMDS(x) AND {L455}:[-1]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L99}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:new4(x) AND {L98}:[-1]:new4(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L219}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:new3(x) AND {L218}:[-1]:new3(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L277}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:new2(x) AND {L276}:[-1]:new2(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L333}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:new1(x) AND {L332}:[-1]:new1(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) Constraints graph for formula: {L0}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [1]:E_ICP_I50FC_SENSOR(x) AND {L1}:[1]:E_ICP_I50FC_SENSOR(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L2}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [2]:E_FCP_I50FC(x) AND {L3}:[2]:E_FCP_I50FC(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L4}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [3]:S_FCP_I50FC(x) AND {L5}:[3]:S_FCP_I50FC(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L6}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [4]:E_FCP_P50FC(x) AND {L7}:[4]:E_FCP_P50FC(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L8}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [5]:S_FCP_P50FC(x) AND {L9}:[5]:S_FCP_P50FC(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L10}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [6]:E_FCP_O50FC(x) AND {L11}:[6]:E_FCP_O50FC(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L12}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [7]:S_FCP_O50(x) AND {L13}:[7]:S_FCP_O50(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L14}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L15}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L16}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [9]:S_ICP_I50FC_CMDS(x) AND {L17}:[9]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L18}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [10]:E_ICP_I10FC_SENSOR(x) AND {L19}:[10]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L20}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L21}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L22}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [12]:E_FCP_I10FC(x) AND {L23}:[12]:E_FCP_I10FC(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L24}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [13]:S_FCP_I10FC(x) AND {L25}:[13]:S_FCP_I10FC(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L26}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [14]:E_FCP_P10FC(x) AND {L27}:[14]:E_FCP_P10FC(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L28}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [15]:S_FCP_P10FC(x) AND {L29}:[15]:S_FCP_P10FC(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L30}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [16]:E_FCP_O10FC(x) AND {L31}:[16]:E_FCP_O10FC(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L32}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [17]:S_FCP_O10FC(x) AND {L33}:[17]:S_FCP_O10FC(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L34}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L35}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L36}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [19]:S_ICP_I10FC_CMDS(x) AND {L37}:[19]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L38}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [20]:E_ICP_I50NFC_SENSOR(x) AND {L39}:[20]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L40}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [21]:S_ICP_I50NFC_SENSOR(x) AND {L41}:[21]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L42}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [22]:E_FCP_I50NFC(x) AND {L43}:[22]:E_FCP_I50NFC(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L44}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [23]:S_FCP_I50NFC(x) AND {L45}:[23]:S_FCP_I50NFC(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L46}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [24]:E_FCP_P50NFC(x) AND {L47}:[24]:E_FCP_P50NFC(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L48}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [25]:S_FCP_P50NFC(x) AND {L49}:[25]:S_FCP_P50NFC(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L50}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [26]:S_FCP_O50FC(x) AND {L51}:[26]:S_FCP_O50FC(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L52}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [27]:S_FCP_I50FC_CMDS(x) AND {L53}:[27]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L54}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [28]:S_FCP_I10FC_CMDS(x) AND {L55}:[28]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L56}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [29]:new4(x) AND {L57}:[29]:new4(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L58}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [30]:new3(x) AND {L59}:[30]:new3(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L60}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [31]:new2(x) AND {L61}:[31]:new2(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L62}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [32]:new1(x) AND {L63}:[32]:new1(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L64}:[29]:new4(x) +0[-20,20] < [1]:E_ICP_I50FC_SENSOR(x) AND {L65}:[1]:E_ICP_I50FC_SENSOR(x) +0[-20,20] < [29]:new4(x) AND {L57}:[29]:new4(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L56}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [29]:new4(x) AND {L66}:[29]:new4(x) +0[-20,20] < [2]:E_FCP_I50FC(x) AND {L67}:[2]:E_FCP_I50FC(x) +0[-20,20] < [29]:new4(x) AND {L68}:[29]:new4(x) +0[-20,20] < [3]:S_FCP_I50FC(x) AND {L69}:[3]:S_FCP_I50FC(x) +0[-20,20] < [29]:new4(x) AND {L70}:[29]:new4(x) +0[-20,20] < [4]:E_FCP_P50FC(x) AND {L71}:[4]:E_FCP_P50FC(x) +0[-20,20] < [29]:new4(x) AND {L72}:[29]:new4(x) +0[-20,20] < [5]:S_FCP_P50FC(x) AND {L73}:[5]:S_FCP_P50FC(x) +0[-20,20] < [29]:new4(x) AND {L74}:[29]:new4(x) +0[-20,20] < [6]:E_FCP_O50FC(x) AND {L75}:[6]:E_FCP_O50FC(x) +0[-20,20] < [29]:new4(x) AND {L76}:[29]:new4(x) +0[-20,20] < [7]:S_FCP_O50(x) AND {L77}:[7]:S_FCP_O50(x) +0[-20,20] < [29]:new4(x) AND {L78}:[29]:new4(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L79}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [29]:new4(x) AND {L80}:[29]:new4(x) +0[-20,20] < [9]:S_ICP_I50FC_CMDS(x) AND {L81}:[9]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [29]:new4(x) AND {L82}:[29]:new4(x) +0[-20,20] < [10]:E_ICP_I10FC_SENSOR(x) AND {L83}:[10]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [29]:new4(x) AND {L84}:[29]:new4(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L85}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [29]:new4(x) AND {L86}:[29]:new4(x) +0[-20,20] < [12]:E_FCP_I10FC(x) AND {L87}:[12]:E_FCP_I10FC(x) +0[-20,20] < [29]:new4(x) AND {L88}:[29]:new4(x) +0[-20,20] < [13]:S_FCP_I10FC(x) AND {L89}:[13]:S_FCP_I10FC(x) +0[-20,20] < [29]:new4(x) AND {L90}:[29]:new4(x) +0[-20,20] < [14]:E_FCP_P10FC(x) AND {L91}:[14]:E_FCP_P10FC(x) +0[-20,20] < [29]:new4(x) AND {L92}:[29]:new4(x) +0[-20,20] < [15]:S_FCP_P10FC(x) AND {L93}:[15]:S_FCP_P10FC(x) +0[-20,20] < [29]:new4(x) AND {L94}:[29]:new4(x) +0[-20,20] < [16]:E_FCP_O10FC(x) AND {L95}:[16]:E_FCP_O10FC(x) +0[-20,20] < [29]:new4(x) AND {L96}:[29]:new4(x) +0[-20,20] < [17]:S_FCP_O10FC(x) AND {L97}:[17]:S_FCP_O10FC(x) +0[-20,20] < [29]:new4(x) AND {L98}:[29]:new4(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L99}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [29]:new4(x) AND {L100}:[29]:new4(x) +0[-20,20] < [19]:S_ICP_I10FC_CMDS(x) AND {L101}:[19]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [29]:new4(x) AND {L102}:[29]:new4(x) +0[-20,20] < [20]:E_ICP_I50NFC_SENSOR(x) AND {L103}:[20]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [29]:new4(x) AND {L104}:[29]:new4(x) +0[-20,20] < [21]:S_ICP_I50NFC_SENSOR(x) AND {L105}:[21]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [29]:new4(x) AND {L106}:[29]:new4(x) +0[-20,20] < [22]:E_FCP_I50NFC(x) AND {L107}:[22]:E_FCP_I50NFC(x) +0[-20,20] < [29]:new4(x) AND {L108}:[29]:new4(x) +0[-20,20] < [23]:S_FCP_I50NFC(x) AND {L109}:[23]:S_FCP_I50NFC(x) +0[-20,20] < [29]:new4(x) AND {L110}:[29]:new4(x) +0[-20,20] < [24]:E_FCP_P50NFC(x) AND {L111}:[24]:E_FCP_P50NFC(x) +0[-20,20] < [29]:new4(x) AND {L112}:[29]:new4(x) +0[-20,20] < [25]:S_FCP_P50NFC(x) AND {L113}:[25]:S_FCP_P50NFC(x) +0[-20,20] < [29]:new4(x) AND {L114}:[29]:new4(x) +0[-20,20] < [26]:S_FCP_O50FC(x) AND {L115}:[26]:S_FCP_O50FC(x) +0[-20,20] < [29]:new4(x) AND {L116}:[29]:new4(x) +0[-20,20] < [27]:S_FCP_I50FC_CMDS(x) AND {L117}:[27]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [29]:new4(x) AND {L118}:[29]:new4(x) +0[-20,20] < [28]:S_FCP_I10FC_CMDS(x) AND {L119}:[28]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [29]:new4(x) AND {L120}:[29]:new4(x) +0[-20,20] < [30]:new3(x) AND {L121}:[30]:new3(x) +0[-20,20] < [29]:new4(x) AND {L122}:[29]:new4(x) +0[-20,20] < [31]:new2(x) AND {L123}:[31]:new2(x) +0[-20,20] < [29]:new4(x) AND {L124}:[29]:new4(x) +0[-20,20] < [32]:new1(x) AND {L125}:[32]:new1(x) +0[-20,20] < [29]:new4(x) AND {L126}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [1]:E_ICP_I50FC_SENSOR(x) AND {L127}:[1]:E_ICP_I50FC_SENSOR(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L21}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L20}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L128}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [2]:E_FCP_I50FC(x) AND {L129}:[2]:E_FCP_I50FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L130}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [3]:S_FCP_I50FC(x) AND {L131}:[3]:S_FCP_I50FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L132}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [4]:E_FCP_P50FC(x) AND {L133}:[4]:E_FCP_P50FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L134}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [5]:S_FCP_P50FC(x) AND {L135}:[5]:S_FCP_P50FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L136}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [6]:E_FCP_O50FC(x) AND {L137}:[6]:E_FCP_O50FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L138}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [7]:S_FCP_O50(x) AND {L139}:[7]:S_FCP_O50(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L140}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L141}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L142}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [9]:S_ICP_I50FC_CMDS(x) AND {L143}:[9]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L144}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [10]:E_ICP_I10FC_SENSOR(x) AND {L145}:[10]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L146}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [12]:E_FCP_I10FC(x) AND {L147}:[12]:E_FCP_I10FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L148}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [13]:S_FCP_I10FC(x) AND {L149}:[13]:S_FCP_I10FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L150}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [14]:E_FCP_P10FC(x) AND {L151}:[14]:E_FCP_P10FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L152}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [15]:S_FCP_P10FC(x) AND {L153}:[15]:S_FCP_P10FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L154}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [16]:E_FCP_O10FC(x) AND {L155}:[16]:E_FCP_O10FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L156}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [17]:S_FCP_O10FC(x) AND {L157}:[17]:S_FCP_O10FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L158}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L159}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L160}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [19]:S_ICP_I10FC_CMDS(x) AND {L161}:[19]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L162}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [20]:E_ICP_I50NFC_SENSOR(x) AND {L163}:[20]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L164}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [21]:S_ICP_I50NFC_SENSOR(x) AND {L165}:[21]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L166}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [22]:E_FCP_I50NFC(x) AND {L167}:[22]:E_FCP_I50NFC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L168}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [23]:S_FCP_I50NFC(x) AND {L169}:[23]:S_FCP_I50NFC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L170}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [24]:E_FCP_P50NFC(x) AND {L171}:[24]:E_FCP_P50NFC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L172}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [25]:S_FCP_P50NFC(x) AND {L173}:[25]:S_FCP_P50NFC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L174}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [26]:S_FCP_O50FC(x) AND {L175}:[26]:S_FCP_O50FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L176}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [27]:S_FCP_I50FC_CMDS(x) AND {L177}:[27]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L178}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [28]:S_FCP_I10FC_CMDS(x) AND {L179}:[28]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L85}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [29]:new4(x) AND {L84}:[29]:new4(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L180}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [30]:new3(x) AND {L181}:[30]:new3(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L182}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [31]:new2(x) AND {L183}:[31]:new2(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L184}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [32]:new1(x) AND {L185}:[32]:new1(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L186}:[30]:new3(x) +0[-20,20] < [1]:E_ICP_I50FC_SENSOR(x) AND {L187}:[1]:E_ICP_I50FC_SENSOR(x) +0[-20,20] < [30]:new3(x) AND {L59}:[30]:new3(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L58}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [30]:new3(x) AND {L188}:[30]:new3(x) +0[-20,20] < [2]:E_FCP_I50FC(x) AND {L189}:[2]:E_FCP_I50FC(x) +0[-20,20] < [30]:new3(x) AND {L190}:[30]:new3(x) +0[-20,20] < [3]:S_FCP_I50FC(x) AND {L191}:[3]:S_FCP_I50FC(x) +0[-20,20] < [30]:new3(x) AND {L192}:[30]:new3(x) +0[-20,20] < [4]:E_FCP_P50FC(x) AND {L193}:[4]:E_FCP_P50FC(x) +0[-20,20] < [30]:new3(x) AND {L194}:[30]:new3(x) +0[-20,20] < [5]:S_FCP_P50FC(x) AND {L195}:[5]:S_FCP_P50FC(x) +0[-20,20] < [30]:new3(x) AND {L196}:[30]:new3(x) +0[-20,20] < [6]:E_FCP_O50FC(x) AND {L197}:[6]:E_FCP_O50FC(x) +0[-20,20] < [30]:new3(x) AND {L198}:[30]:new3(x) +0[-20,20] < [7]:S_FCP_O50(x) AND {L199}:[7]:S_FCP_O50(x) +0[-20,20] < [30]:new3(x) AND {L200}:[30]:new3(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L201}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [30]:new3(x) AND {L202}:[30]:new3(x) +0[-20,20] < [9]:S_ICP_I50FC_CMDS(x) AND {L203}:[9]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [30]:new3(x) AND {L204}:[30]:new3(x) +0[-20,20] < [10]:E_ICP_I10FC_SENSOR(x) AND {L205}:[10]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [30]:new3(x) AND {L181}:[30]:new3(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L180}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [30]:new3(x) AND {L206}:[30]:new3(x) +0[-20,20] < [12]:E_FCP_I10FC(x) AND {L207}:[12]:E_FCP_I10FC(x) +0[-20,20] < [30]:new3(x) AND {L208}:[30]:new3(x) +0[-20,20] < [13]:S_FCP_I10FC(x) AND {L209}:[13]:S_FCP_I10FC(x) +0[-20,20] < [30]:new3(x) AND {L210}:[30]:new3(x) +0[-20,20] < [14]:E_FCP_P10FC(x) AND {L211}:[14]:E_FCP_P10FC(x) +0[-20,20] < [30]:new3(x) AND {L212}:[30]:new3(x) +0[-20,20] < [15]:S_FCP_P10FC(x) AND {L213}:[15]:S_FCP_P10FC(x) +0[-20,20] < [30]:new3(x) AND {L214}:[30]:new3(x) +0[-20,20] < [16]:E_FCP_O10FC(x) AND {L215}:[16]:E_FCP_O10FC(x) +0[-20,20] < [30]:new3(x) AND {L216}:[30]:new3(x) +0[-20,20] < [17]:S_FCP_O10FC(x) AND {L217}:[17]:S_FCP_O10FC(x) +0[-20,20] < [30]:new3(x) AND {L218}:[30]:new3(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L219}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [30]:new3(x) AND {L220}:[30]:new3(x) +0[-20,20] < [19]:S_ICP_I10FC_CMDS(x) AND {L221}:[19]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [30]:new3(x) AND {L222}:[30]:new3(x) +0[-20,20] < [20]:E_ICP_I50NFC_SENSOR(x) AND {L223}:[20]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [30]:new3(x) AND {L224}:[30]:new3(x) +0[-20,20] < [21]:S_ICP_I50NFC_SENSOR(x) AND {L225}:[21]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [30]:new3(x) AND {L226}:[30]:new3(x) +0[-20,20] < [22]:E_FCP_I50NFC(x) AND {L227}:[22]:E_FCP_I50NFC(x) +0[-20,20] < [30]:new3(x) AND {L228}:[30]:new3(x) +0[-20,20] < [23]:S_FCP_I50NFC(x) AND {L229}:[23]:S_FCP_I50NFC(x) +0[-20,20] < [30]:new3(x) AND {L230}:[30]:new3(x) +0[-20,20] < [24]:E_FCP_P50NFC(x) AND {L231}:[24]:E_FCP_P50NFC(x) +0[-20,20] < [30]:new3(x) AND {L232}:[30]:new3(x) +0[-20,20] < [25]:S_FCP_P50NFC(x) AND {L233}:[25]:S_FCP_P50NFC(x) +0[-20,20] < [30]:new3(x) AND {L234}:[30]:new3(x) +0[-20,20] < [26]:S_FCP_O50FC(x) AND {L235}:[26]:S_FCP_O50FC(x) +0[-20,20] < [30]:new3(x) AND {L236}:[30]:new3(x) +0[-20,20] < [27]:S_FCP_I50FC_CMDS(x) AND {L237}:[27]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [30]:new3(x) AND {L238}:[30]:new3(x) +0[-20,20] < [28]:S_FCP_I10FC_CMDS(x) AND {L239}:[28]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [30]:new3(x) AND {L121}:[30]:new3(x) +0[-20,20] < [29]:new4(x) AND {L120}:[29]:new4(x) +0[-20,20] < [30]:new3(x) AND {L240}:[30]:new3(x) +0[-20,20] < [31]:new2(x) AND {L241}:[31]:new2(x) +0[-20,20] < [30]:new3(x) AND {L242}:[30]:new3(x) +0[-20,20] < [32]:new1(x) AND {L243}:[32]:new1(x) +0[-20,20] < [30]:new3(x) AND {L244}:[31]:new2(x) +0[-20,20] < [1]:E_ICP_I50FC_SENSOR(x) AND {L245}:[1]:E_ICP_I50FC_SENSOR(x) +0[-20,20] < [31]:new2(x) AND {L61}:[31]:new2(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L60}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [31]:new2(x) AND {L246}:[31]:new2(x) +0[-20,20] < [2]:E_FCP_I50FC(x) AND {L247}:[2]:E_FCP_I50FC(x) +0[-20,20] < [31]:new2(x) AND {L248}:[31]:new2(x) +0[-20,20] < [3]:S_FCP_I50FC(x) AND {L249}:[3]:S_FCP_I50FC(x) +0[-20,20] < [31]:new2(x) AND {L250}:[31]:new2(x) +0[-20,20] < [4]:E_FCP_P50FC(x) AND {L251}:[4]:E_FCP_P50FC(x) +0[-20,20] < [31]:new2(x) AND {L252}:[31]:new2(x) +0[-20,20] < [5]:S_FCP_P50FC(x) AND {L253}:[5]:S_FCP_P50FC(x) +0[-20,20] < [31]:new2(x) AND {L254}:[31]:new2(x) +0[-20,20] < [6]:E_FCP_O50FC(x) AND {L255}:[6]:E_FCP_O50FC(x) +0[-20,20] < [31]:new2(x) AND {L256}:[31]:new2(x) +0[-20,20] < [7]:S_FCP_O50(x) AND {L257}:[7]:S_FCP_O50(x) +0[-20,20] < [31]:new2(x) AND {L258}:[31]:new2(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L259}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [31]:new2(x) AND {L260}:[31]:new2(x) +0[-20,20] < [9]:S_ICP_I50FC_CMDS(x) AND {L261}:[9]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [31]:new2(x) AND {L262}:[31]:new2(x) +0[-20,20] < [10]:E_ICP_I10FC_SENSOR(x) AND {L263}:[10]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [31]:new2(x) AND {L183}:[31]:new2(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L182}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [31]:new2(x) AND {L264}:[31]:new2(x) +0[-20,20] < [12]:E_FCP_I10FC(x) AND {L265}:[12]:E_FCP_I10FC(x) +0[-20,20] < [31]:new2(x) AND {L266}:[31]:new2(x) +0[-20,20] < [13]:S_FCP_I10FC(x) AND {L267}:[13]:S_FCP_I10FC(x) +0[-20,20] < [31]:new2(x) AND {L268}:[31]:new2(x) +0[-20,20] < [14]:E_FCP_P10FC(x) AND {L269}:[14]:E_FCP_P10FC(x) +0[-20,20] < [31]:new2(x) AND {L270}:[31]:new2(x) +0[-20,20] < [15]:S_FCP_P10FC(x) AND {L271}:[15]:S_FCP_P10FC(x) +0[-20,20] < [31]:new2(x) AND {L272}:[31]:new2(x) +0[-20,20] < [16]:E_FCP_O10FC(x) AND {L273}:[16]:E_FCP_O10FC(x) +0[-20,20] < [31]:new2(x) AND {L274}:[31]:new2(x) +0[-20,20] < [17]:S_FCP_O10FC(x) AND {L275}:[17]:S_FCP_O10FC(x) +0[-20,20] < [31]:new2(x) AND {L276}:[31]:new2(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L277}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [31]:new2(x) AND {L278}:[31]:new2(x) +0[-20,20] < [19]:S_ICP_I10FC_CMDS(x) AND {L279}:[19]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [31]:new2(x) AND {L280}:[31]:new2(x) +0[-20,20] < [20]:E_ICP_I50NFC_SENSOR(x) AND {L281}:[20]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [31]:new2(x) AND {L282}:[31]:new2(x) +0[-20,20] < [21]:S_ICP_I50NFC_SENSOR(x) AND {L283}:[21]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [31]:new2(x) AND {L284}:[31]:new2(x) +0[-20,20] < [22]:E_FCP_I50NFC(x) AND {L285}:[22]:E_FCP_I50NFC(x) +0[-20,20] < [31]:new2(x) AND {L286}:[31]:new2(x) +0[-20,20] < [23]:S_FCP_I50NFC(x) AND {L287}:[23]:S_FCP_I50NFC(x) +0[-20,20] < [31]:new2(x) AND {L288}:[31]:new2(x) +0[-20,20] < [24]:E_FCP_P50NFC(x) AND {L289}:[24]:E_FCP_P50NFC(x) +0[-20,20] < [31]:new2(x) AND {L290}:[31]:new2(x) +0[-20,20] < [25]:S_FCP_P50NFC(x) AND {L291}:[25]:S_FCP_P50NFC(x) +0[-20,20] < [31]:new2(x) AND {L292}:[31]:new2(x) +0[-20,20] < [26]:S_FCP_O50FC(x) AND {L293}:[26]:S_FCP_O50FC(x) +0[-20,20] < [31]:new2(x) AND {L294}:[31]:new2(x) +0[-20,20] < [27]:S_FCP_I50FC_CMDS(x) AND {L295}:[27]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [31]:new2(x) AND {L296}:[31]:new2(x) +0[-20,20] < [28]:S_FCP_I10FC_CMDS(x) AND {L297}:[28]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [31]:new2(x) AND {L123}:[31]:new2(x) +0[-20,20] < [29]:new4(x) AND {L122}:[29]:new4(x) +0[-20,20] < [31]:new2(x) AND {L241}:[31]:new2(x) +0[-20,20] < [30]:new3(x) AND {L240}:[30]:new3(x) +0[-20,20] < [31]:new2(x) AND {L298}:[31]:new2(x) +0[-20,20] < [32]:new1(x) AND {L299}:[32]:new1(x) +0[-20,20] < [31]:new2(x) AND {L300}:[32]:new1(x) +0[-20,20] < [1]:E_ICP_I50FC_SENSOR(x) AND {L301}:[1]:E_ICP_I50FC_SENSOR(x) +0[-20,20] < [32]:new1(x) AND {L63}:[32]:new1(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L62}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [32]:new1(x) AND {L302}:[32]:new1(x) +0[-20,20] < [2]:E_FCP_I50FC(x) AND {L303}:[2]:E_FCP_I50FC(x) +0[-20,20] < [32]:new1(x) AND {L304}:[32]:new1(x) +0[-20,20] < [3]:S_FCP_I50FC(x) AND {L305}:[3]:S_FCP_I50FC(x) +0[-20,20] < [32]:new1(x) AND {L306}:[32]:new1(x) +0[-20,20] < [4]:E_FCP_P50FC(x) AND {L307}:[4]:E_FCP_P50FC(x) +0[-20,20] < [32]:new1(x) AND {L308}:[32]:new1(x) +0[-20,20] < [5]:S_FCP_P50FC(x) AND {L309}:[5]:S_FCP_P50FC(x) +0[-20,20] < [32]:new1(x) AND {L310}:[32]:new1(x) +0[-20,20] < [6]:E_FCP_O50FC(x) AND {L311}:[6]:E_FCP_O50FC(x) +0[-20,20] < [32]:new1(x) AND {L312}:[32]:new1(x) +0[-20,20] < [7]:S_FCP_O50(x) AND {L313}:[7]:S_FCP_O50(x) +0[-20,20] < [32]:new1(x) AND {L314}:[32]:new1(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L315}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [32]:new1(x) AND {L316}:[32]:new1(x) +0[-20,20] < [9]:S_ICP_I50FC_CMDS(x) AND {L317}:[9]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [32]:new1(x) AND {L318}:[32]:new1(x) +0[-20,20] < [10]:E_ICP_I10FC_SENSOR(x) AND {L319}:[10]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [32]:new1(x) AND {L185}:[32]:new1(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L184}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [32]:new1(x) AND {L320}:[32]:new1(x) +0[-20,20] < [12]:E_FCP_I10FC(x) AND {L321}:[12]:E_FCP_I10FC(x) +0[-20,20] < [32]:new1(x) AND {L322}:[32]:new1(x) +0[-20,20] < [13]:S_FCP_I10FC(x) AND {L323}:[13]:S_FCP_I10FC(x) +0[-20,20] < [32]:new1(x) AND {L324}:[32]:new1(x) +0[-20,20] < [14]:E_FCP_P10FC(x) AND {L325}:[14]:E_FCP_P10FC(x) +0[-20,20] < [32]:new1(x) AND {L326}:[32]:new1(x) +0[-20,20] < [15]:S_FCP_P10FC(x) AND {L327}:[15]:S_FCP_P10FC(x) +0[-20,20] < [32]:new1(x) AND {L328}:[32]:new1(x) +0[-20,20] < [16]:E_FCP_O10FC(x) AND {L329}:[16]:E_FCP_O10FC(x) +0[-20,20] < [32]:new1(x) AND {L330}:[32]:new1(x) +0[-20,20] < [17]:S_FCP_O10FC(x) AND {L331}:[17]:S_FCP_O10FC(x) +0[-20,20] < [32]:new1(x) AND {L332}:[32]:new1(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L333}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [32]:new1(x) AND {L334}:[32]:new1(x) +0[-20,20] < [19]:S_ICP_I10FC_CMDS(x) AND {L335}:[19]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [32]:new1(x) AND {L336}:[32]:new1(x) +0[-20,20] < [20]:E_ICP_I50NFC_SENSOR(x) AND {L337}:[20]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [32]:new1(x) AND {L338}:[32]:new1(x) +0[-20,20] < [21]:S_ICP_I50NFC_SENSOR(x) AND {L339}:[21]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [32]:new1(x) AND {L340}:[32]:new1(x) +0[-20,20] < [22]:E_FCP_I50NFC(x) AND {L341}:[22]:E_FCP_I50NFC(x) +0[-20,20] < [32]:new1(x) AND {L342}:[32]:new1(x) +0[-20,20] < [23]:S_FCP_I50NFC(x) AND {L343}:[23]:S_FCP_I50NFC(x) +0[-20,20] < [32]:new1(x) AND {L344}:[32]:new1(x) +0[-20,20] < [24]:E_FCP_P50NFC(x) AND {L345}:[24]:E_FCP_P50NFC(x) +0[-20,20] < [32]:new1(x) AND {L346}:[32]:new1(x) +0[-20,20] < [25]:S_FCP_P50NFC(x) AND {L347}:[25]:S_FCP_P50NFC(x) +0[-20,20] < [32]:new1(x) AND {L348}:[32]:new1(x) +0[-20,20] < [26]:S_FCP_O50FC(x) AND {L349}:[26]:S_FCP_O50FC(x) +0[-20,20] < [32]:new1(x) AND {L350}:[32]:new1(x) +0[-20,20] < [27]:S_FCP_I50FC_CMDS(x) AND {L351}:[27]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [32]:new1(x) AND {L352}:[32]:new1(x) +0[-20,20] < [28]:S_FCP_I10FC_CMDS(x) AND {L353}:[28]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [32]:new1(x) AND {L125}:[32]:new1(x) +0[-20,20] < [29]:new4(x) AND {L124}:[29]:new4(x) +0[-20,20] < [32]:new1(x) AND {L243}:[32]:new1(x) +0[-20,20] < [30]:new3(x) AND {L242}:[30]:new3(x) +0[-20,20] < [32]:new1(x) AND {L299}:[32]:new1(x) +0[-20,20] < [31]:new2(x) AND {L298}:[31]:new2(x) +0[-20,20] < [32]:new1(x) AND {L354}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [1]:E_ICP_I50FC_SENSOR(x) AND {L355}:[1]:E_ICP_I50FC_SENSOR(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L15}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L14}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L356}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [2]:E_FCP_I50FC(x) AND {L357}:[2]:E_FCP_I50FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L358}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [3]:S_FCP_I50FC(x) AND {L359}:[3]:S_FCP_I50FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L360}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [4]:E_FCP_P50FC(x) AND {L361}:[4]:E_FCP_P50FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L362}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [5]:S_FCP_P50FC(x) AND {L363}:[5]:S_FCP_P50FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L364}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [6]:E_FCP_O50FC(x) AND {L365}:[6]:E_FCP_O50FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L366}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [7]:S_FCP_O50(x) AND {L367}:[7]:S_FCP_O50(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L368}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [9]:S_ICP_I50FC_CMDS(x) AND {L369}:[9]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L370}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [10]:E_ICP_I10FC_SENSOR(x) AND {L371}:[10]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L141}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L140}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L372}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [12]:E_FCP_I10FC(x) AND {L373}:[12]:E_FCP_I10FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L374}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [13]:S_FCP_I10FC(x) AND {L375}:[13]:S_FCP_I10FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L376}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [14]:E_FCP_P10FC(x) AND {L377}:[14]:E_FCP_P10FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L378}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [15]:S_FCP_P10FC(x) AND {L379}:[15]:S_FCP_P10FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L380}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [16]:E_FCP_O10FC(x) AND {L381}:[16]:E_FCP_O10FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L382}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [17]:S_FCP_O10FC(x) AND {L383}:[17]:S_FCP_O10FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L384}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L385}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L386}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [19]:S_ICP_I10FC_CMDS(x) AND {L387}:[19]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L388}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [20]:E_ICP_I50NFC_SENSOR(x) AND {L389}:[20]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L390}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [21]:S_ICP_I50NFC_SENSOR(x) AND {L391}:[21]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L392}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [22]:E_FCP_I50NFC(x) AND {L393}:[22]:E_FCP_I50NFC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L394}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [23]:S_FCP_I50NFC(x) AND {L395}:[23]:S_FCP_I50NFC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L396}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [24]:E_FCP_P50NFC(x) AND {L397}:[24]:E_FCP_P50NFC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L398}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [25]:S_FCP_P50NFC(x) AND {L399}:[25]:S_FCP_P50NFC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L400}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [26]:S_FCP_O50FC(x) AND {L401}:[26]:S_FCP_O50FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L402}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [27]:S_FCP_I50FC_CMDS(x) AND {L403}:[27]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L404}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [28]:S_FCP_I10FC_CMDS(x) AND {L405}:[28]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L79}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [29]:new4(x) AND {L78}:[29]:new4(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L201}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [30]:new3(x) AND {L200}:[30]:new3(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L259}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [31]:new2(x) AND {L258}:[31]:new2(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L315}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [32]:new1(x) AND {L314}:[32]:new1(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L406}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [1]:E_ICP_I50FC_SENSOR(x) AND {L407}:[1]:E_ICP_I50FC_SENSOR(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L35}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L34}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L408}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [2]:E_FCP_I50FC(x) AND {L409}:[2]:E_FCP_I50FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L410}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [3]:S_FCP_I50FC(x) AND {L411}:[3]:S_FCP_I50FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L412}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [4]:E_FCP_P50FC(x) AND {L413}:[4]:E_FCP_P50FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L414}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [5]:S_FCP_P50FC(x) AND {L415}:[5]:S_FCP_P50FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L416}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [6]:E_FCP_O50FC(x) AND {L417}:[6]:E_FCP_O50FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L418}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [7]:S_FCP_O50(x) AND {L419}:[7]:S_FCP_O50(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L385}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L384}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L420}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [9]:S_ICP_I50FC_CMDS(x) AND {L421}:[9]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L422}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [10]:E_ICP_I10FC_SENSOR(x) AND {L423}:[10]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L159}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L158}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L424}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [12]:E_FCP_I10FC(x) AND {L425}:[12]:E_FCP_I10FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L426}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [13]:S_FCP_I10FC(x) AND {L427}:[13]:S_FCP_I10FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L428}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [14]:E_FCP_P10FC(x) AND {L429}:[14]:E_FCP_P10FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L430}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [15]:S_FCP_P10FC(x) AND {L431}:[15]:S_FCP_P10FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L432}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [16]:E_FCP_O10FC(x) AND {L433}:[16]:E_FCP_O10FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L434}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [17]:S_FCP_O10FC(x) AND {L435}:[17]:S_FCP_O10FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L436}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [19]:S_ICP_I10FC_CMDS(x) AND {L437}:[19]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L438}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [20]:E_ICP_I50NFC_SENSOR(x) AND {L439}:[20]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L440}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [21]:S_ICP_I50NFC_SENSOR(x) AND {L441}:[21]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L442}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [22]:E_FCP_I50NFC(x) AND {L443}:[22]:E_FCP_I50NFC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L444}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [23]:S_FCP_I50NFC(x) AND {L445}:[23]:S_FCP_I50NFC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L446}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [24]:E_FCP_P50NFC(x) AND {L447}:[24]:E_FCP_P50NFC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L448}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [25]:S_FCP_P50NFC(x) AND {L449}:[25]:S_FCP_P50NFC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L450}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [26]:S_FCP_O50FC(x) AND {L451}:[26]:S_FCP_O50FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L452}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [27]:S_FCP_I50FC_CMDS(x) AND {L453}:[27]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L454}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [28]:S_FCP_I10FC_CMDS(x) AND {L455}:[28]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L99}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [29]:new4(x) AND {L98}:[29]:new4(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L219}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [30]:new3(x) AND {L218}:[30]:new3(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L277}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [31]:new2(x) AND {L276}:[31]:new2(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L333}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [32]:new1(x) AND {L332}:[32]:new1(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) nVertexes = 33 List of nodes: [0]:S_ICP_I50FC_SENSOR(x), [1]:E_ICP_I50FC_SENSOR(x), [2]:E_FCP_I50FC(x), [3]:S_FCP_I50FC(x), [4]:E_FCP_P50FC(x), [5]:S_FCP_P50FC(x), [6]:E_FCP_O50FC(x), [7]:S_FCP_O50(x), [8]:E_ICP_I50FC_CMDS(x), [9]:S_ICP_I50FC_CMDS(x), [10]:E_ICP_I10FC_SENSOR(x), [11]:S_ICP_I10FC_SENSOR(x), [12]:E_FCP_I10FC(x), [13]:S_FCP_I10FC(x), [14]:E_FCP_P10FC(x), [15]:S_FCP_P10FC(x), [16]:E_FCP_O10FC(x), [17]:S_FCP_O10FC(x), [18]:E_ICP_I10FC_CMDS(x), [19]:S_ICP_I10FC_CMDS(x), [20]:E_ICP_I50NFC_SENSOR(x), [21]:S_ICP_I50NFC_SENSOR(x), [22]:E_FCP_I50NFC(x), [23]:S_FCP_I50NFC(x), [24]:E_FCP_P50NFC(x), [25]:S_FCP_P50NFC(x), [26]:S_FCP_O50FC(x), [27]:S_FCP_I50FC_CMDS(x), [28]:S_FCP_I10FC_CMDS(x), [29]:new4(x), [30]:new3(x), [31]:new2(x), [32]:new1(x) Adjacency matrix: nRows = 33 nCols = 33 0 C C C C C C C C C C C C C C C C C C C C C C C C C C C C C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C C C C C C C C 0 C C C C C C C C C C C C C C C C C C C C C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C C C C C C C C C C C 0 C C C C C C C C C C C C C C C C C C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C C C C C C C C C C C C C C C C C C 0 C C C C C C C C C C C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C 0 0 0 0 0 0 0 C 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C C C C C C C C C C C C C C C C C C C C C C C C C C C C C C C C C 0 C C C C C C C C C C C C C C C C C C C C C C C C C C C C C C C C C 0 C C C C C C C C C C C C C C C C C C C C C C C C C C C C C C C C C 0 C C C C C C C C C C C C C C C C C C C C C C C C C C C C C C C C C 0 {L0}:[-1]:E_ICP_I50FC_SENSOR(i) -2[-12,8] < [-1]:S_ICP_I50FC_SENSOR(i) AND {L1}:[-1]:E_FCP_I50FC(i) -1[-11,9] < [-1]:S_FCP_I50FC(i) AND {L2}:[-1]:E_FCP_P50FC(i) -5[-15,5] < [-1]:S_FCP_P50FC(i) AND {L3}:[-1]:E_FCP_O50FC(i) -1[-11,9] < [-1]:S_FCP_O50(i) AND {L4}:[-1]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [-1]:S_ICP_I50FC_CMDS(i) AND {L5}:[-1]:E_ICP_I10FC_SENSOR(i) -2[-11,9] < [-1]:S_ICP_I10FC_SENSOR(i) AND {L6}:[-1]:E_FCP_I10FC(i) -1[-11,9] < [-1]:S_FCP_I10FC(i) AND {L7}:[-1]:E_FCP_P10FC(i) -40[-50,-30] < [-1]:S_FCP_P10FC(i) AND {L8}:[-1]:E_FCP_O10FC(i) -1[-11,9] < [-1]:S_FCP_O10FC(i) AND {L9}:[-1]:E_ICP_I10FC_CMDS(i) -1[-11,9] < [-1]:S_ICP_I10FC_CMDS(i) AND {L10}:[-1]:E_ICP_I50NFC_SENSOR(i) -5[-15,5] < [-1]:S_ICP_I50NFC_SENSOR(i) AND {L11}:[-1]:E_FCP_I50NFC(i) -1[-11,9] < [-1]:S_FCP_I50NFC(i) AND {L12}:[-1]:E_FCP_P50NFC(i) -1[-11,9] < [-1]:S_FCP_P50NFC(i) AND {L13}:[-1]:S_ICP_I50FC_SENSOR(i) +0[-10,10] < [-1]:E_ICP_I50FC_SENSOR(i) AND {L14}:[-1]:S_FCP_I50FC(i) +0[-10,10] < [-1]:E_FCP_I50FC(i) AND {L15}:[-1]:S_FCP_P50FC(i) +0[-10,10] < [-1]:E_FCP_P50FC(i) AND {L16}:[-1]:S_FCP_O50FC(i) +0[-10,10] < [-1]:E_FCP_O50FC(i) AND {L17}:[-1]:S_ICP_I50FC_CMDS(i) +0[-10,10] < [-1]:E_ICP_I50FC_CMDS(i) AND {L18}:[-1]:S_ICP_I10FC_SENSOR(i) +0[-10,10] < [-1]:E_ICP_I10FC_SENSOR(i) AND {L19}:[-1]:S_FCP_I10FC(i) +0[-10,10] < [-1]:E_FCP_I10FC(i) AND {L20}:[-1]:S_FCP_P10FC(i) +0[-10,10] < [-1]:E_FCP_P10FC(i) AND {L21}:[-1]:S_FCP_O10FC(i) +0[-10,10] < [-1]:E_FCP_O10FC(i) AND {L22}:[-1]:S_ICP_I10FC_CMDS(i) +0[-10,10] < [-1]:E_ICP_I10FC_CMDS(i) AND {L23}:[-1]:S_ICP_I50NFC_SENSOR(i) +0[-10,10] < [-1]:E_ICP_I50NFC_SENSOR(i) AND {L24}:[-1]:S_FCP_I50NFC(i) +0[-10,10] < [-1]:E_FCP_I50NFC(i) AND {L25}:[-1]:S_FCP_P50NFC(i) +0[-10,10] < [-1]:E_FCP_P50NFC(i) AND {L26}:[-1]:E_ICP_I50FC_SENSOR(i) +0[-10,10] < [-1]:S_FCP_I50FC(i) AND {L27}:[-1]:E_FCP_I50FC(i) +0[-10,10] < [-1]:S_FCP_P50FC(i) AND {L28}:[-1]:E_FCP_P50FC(i) +0[-10,10] < [-1]:S_FCP_O50FC(i) AND {L29}:[-1]:E_FCP_O50FC(i) +0[-10,10] < [-1]:S_FCP_I50FC_CMDS(i) AND {L30}:[-1]:E_ICP_I10FC_SENSOR(i) +0[-10,10] < [-1]:S_FCP_I10FC(i) AND {L31}:[-1]:E_FCP_I10FC(i) +0[-10,10] < [-1]:S_FCP_P10FC(i) AND {L32}:[-1]:E_FCP_P10FC(i) +0[-10,10] < [-1]:S_FCP_O10FC(i) AND {L33}:[-1]:E_FCP_O10FC(i) +0[-10,10] < [-1]:S_FCP_I10FC_CMDS(i) AND {L34}:[-1]:E_ICP_I50NFC_SENSOR(i) +0[-10,10] < [-1]:S_FCP_I50NFC(i) AND {L35}:[-1]:E_FCP_I50NFC(i) +0[-10,10] < [-1]:S_FCP_P50NFC(i) AND {L36}:[-1]:S_FCP_I50FC(i) -2[-12,8] < [-1]:S_ICP_I50FC_SENSOR(i) AND {L37}:[-1]:S_FCP_P50FC(i) -1[-11,9] < [-1]:S_FCP_I50FC(i) AND {L38}:[-1]:S_FCP_O50FC(i) -5[-15,5] < [-1]:S_FCP_P50FC(i) AND {L39}:[-1]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [-1]:S_FCP_O50FC(i) AND {L40}:[-1]:S_FCP_I10FC(i) -2[-12,8] < [-1]:S_ICP_I10FC_SENSOR(i) AND {L41}:[-1]:S_FCP_P10FC(i) -1[-11,9] < [-1]:S_FCP_I10FC(i) AND {L42}:[-1]:S_FCP_O10FC(i) -40[-50,-30] < [-1]:S_FCP_P10FC(i) AND {L43}:[-1]:S_ICP_I10FC_CMDS(i) -1[-11,9] < [-1]:S_FCP_O10FC(i) AND {L44}:[-1]:S_FCP_I50NFC(i) -2[-12,8] < [-1]:S_ICP_I50NFC_SENSOR(i) AND {L45}:[-1]:S_FCP_P50NFC(i) -1[-11,9] < [-1]:S_FCP_I50NFC(i) AND {L46}:[-1]:S_ICP_I50FC_SENSOR(i) +20[10,30] < [-1]:S_ICP_I50FC_SENSOR(i+1) AND {L47}:[-1]:S_FCP_I50FC(i) +20[10,30] < [-1]:S_FCP_I50FC(i+1) AND {L48}:[-1]:S_FCP_P50FC(i) +20[10,30] < [-1]:S_FCP_P50FC(i+1) AND {L49}:[-1]:S_FCP_O50FC(i) +20[10,30] < [-1]:S_FCP_O50FC(i+1) AND {L50}:[-1]:S_ICP_I50FC_CMDS(i) +20[10,30] < [-1]:S_ICP_I50FC_CMDS(i+1) AND {L51}:[-1]:S_ICP_I50FC_SENSOR(i+1) -20[-30,-10] < [-1]:S_ICP_I50FC_SENSOR(i) AND {L52}:[-1]:S_FCP_I50FC(i+1) -20[-30,-10] < [-1]:S_FCP_I50FC(i) AND {L53}:[-1]:S_FCP_P50FC(i+1) -20[-30,-10] < [-1]:S_FCP_P50FC(i) AND {L54}:[-1]:S_FCP_O50FC(i+1) -20[-30,-10] < [-1]:S_FCP_O50FC(i) AND {L55}:[-1]:S_ICP_I50FC_CMDS(i+1) -20[-30,-10] < [-1]:S_ICP_I50FC_CMDS(i) AND {L56}:[-1]:S_ICP_I10FC_SENSOR(i) +100[90,110] < [-1]:S_ICP_I10FC_SENSOR(i+1) AND {L57}:[-1]:S_FCP_I10FC(i) +100[90,110] < [-1]:S_FCP_I10FC(i+1) AND {L58}:[-1]:S_FCP_P10FC(i) +100[90,110] < [-1]:S_FCP_P10FC(i+1) AND {L59}:[-1]:S_FCP_O10FC(i) +100[90,110] < [-1]:S_FCP_O10FC(i+1) AND {L60}:[-1]:S_ICP_I10FC_CMDS(i) +100[90,110] < [-1]:S_ICP_I10FC_CMDS(i+1) AND {L61}:[-1]:S_ICP_I10FC_SENSOR(i+1) -100[-110,-90] < [-1]:S_ICP_I10FC_SENSOR(i) AND {L62}:[-1]:S_FCP_I10FC(i+1) -100[-110,-90] < [-1]:S_FCP_I10FC(i) AND {L63}:[-1]:S_FCP_P10FC(i+1) -100[-110,-90] < [-1]:S_FCP_P10FC(i) AND {L64}:[-1]:S_FCP_O10FC(i+1) -100[-110,-90] < [-1]:S_FCP_O10FC(i) AND {L65}:[-1]:S_ICP_I10FC_CMDS(i+1) -100[-110,-90] < [-1]:S_ICP_I10FC_CMDS(i) AND {L66}:[-1]:S_ICP_I50NFC_SENSOR(i) +20[10,30] < [-1]:S_ICP_I50NFC_SENSOR(i+1) AND {L67}:[-1]:S_FCP_I50NFC(i) +20[10,30] < [-1]:S_FCP_I50NFC(i+1) AND {L68}:[-1]:S_FCP_P50NFC(i) +20[10,30] < [-1]:S_FCP_P50NFC(i+1) AND {L69}:[-1]:S_ICP_I50NFC_SENSOR(i+1) -20[-30,-10] < [-1]:S_ICP_I50NFC_SENSOR(i) AND {L70}:[-1]:S_FCP_I50NFC(i+1) -20[-30,-10] < [-1]:S_FCP_I50NFC(i) AND {L71}:[-1]:S_FCP_P50NFC(i+1) -20[-30,-10] < [-1]:S_FCP_P50NFC(i) AND {L72}:[-1]:E_FCP_I50FC(i) +0[-10,10] < [-1]:S_FCP_I10FC(i) AND {L73}:[-1]:E_FCP_I50FC(i) +0[-10,10] < [-1]:S_FCP_I50NFC(i) AND {L74}:[-1]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [-1]:E_ICP_I50FC_CMDS(I) OR {L75}:[-1]:S_ICP_I10FC_SENSOR(I) +51[41,61] < [-1]:E_ICP_I10FC_CMDS(I) determinant:3.0 new formula: {L0}:[0]:E_ICP_I50FC_SENSOR(i) -2[-12,8] < [1]:S_ICP_I50FC_SENSOR(i) AND {L1}:[2]:E_FCP_I50FC(i) -1[-11,9] < [3]:S_FCP_I50FC(i) AND {L2}:[4]:E_FCP_P50FC(i) -5[-15,5] < [5]:S_FCP_P50FC(i) AND {L3}:[6]:E_FCP_O50FC(i) -1[-11,9] < [7]:S_FCP_O50(i) AND {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) AND {L5}:[10]:E_ICP_I10FC_SENSOR(i) -2[-11,9] < [11]:S_ICP_I10FC_SENSOR(i) AND {L6}:[12]:E_FCP_I10FC(i) -1[-11,9] < [13]:S_FCP_I10FC(i) AND {L7}:[14]:E_FCP_P10FC(i) -40[-50,-30] < [15]:S_FCP_P10FC(i) AND {L8}:[16]:E_FCP_O10FC(i) -1[-11,9] < [17]:S_FCP_O10FC(i) AND {L9}:[18]:E_ICP_I10FC_CMDS(i) -1[-11,9] < [19]:S_ICP_I10FC_CMDS(i) AND {L10}:[20]:E_ICP_I50NFC_SENSOR(i) -5[-15,5] < [21]:S_ICP_I50NFC_SENSOR(i) AND {L11}:[22]:E_FCP_I50NFC(i) -1[-11,9] < [23]:S_FCP_I50NFC(i) AND {L12}:[24]:E_FCP_P50NFC(i) -1[-11,9] < [25]:S_FCP_P50NFC(i) AND {L13}:[1]:S_ICP_I50FC_SENSOR(i) +0[-10,10] < [0]:E_ICP_I50FC_SENSOR(i) AND {L14}:[3]:S_FCP_I50FC(i) +0[-10,10] < [2]:E_FCP_I50FC(i) AND {L15}:[5]:S_FCP_P50FC(i) +0[-10,10] < [4]:E_FCP_P50FC(i) AND {L16}:[26]:S_FCP_O50FC(i) +0[-10,10] < [6]:E_FCP_O50FC(i) AND {L17}:[9]:S_ICP_I50FC_CMDS(i) +0[-10,10] < [8]:E_ICP_I50FC_CMDS(i) AND {L18}:[11]:S_ICP_I10FC_SENSOR(i) +0[-10,10] < [10]:E_ICP_I10FC_SENSOR(i) AND {L19}:[13]:S_FCP_I10FC(i) +0[-10,10] < [12]:E_FCP_I10FC(i) AND {L20}:[15]:S_FCP_P10FC(i) +0[-10,10] < [14]:E_FCP_P10FC(i) AND {L21}:[17]:S_FCP_O10FC(i) +0[-10,10] < [16]:E_FCP_O10FC(i) AND {L22}:[19]:S_ICP_I10FC_CMDS(i) +0[-10,10] < [18]:E_ICP_I10FC_CMDS(i) AND {L23}:[21]:S_ICP_I50NFC_SENSOR(i) +0[-10,10] < [20]:E_ICP_I50NFC_SENSOR(i) AND {L24}:[23]:S_FCP_I50NFC(i) +0[-10,10] < [22]:E_FCP_I50NFC(i) AND {L25}:[25]:S_FCP_P50NFC(i) +0[-10,10] < [24]:E_FCP_P50NFC(i) AND {L26}:[0]:E_ICP_I50FC_SENSOR(i) +0[-10,10] < [3]:S_FCP_I50FC(i) AND {L27}:[2]:E_FCP_I50FC(i) +0[-10,10] < [5]:S_FCP_P50FC(i) AND {L28}:[4]:E_FCP_P50FC(i) +0[-10,10] < [26]:S_FCP_O50FC(i) AND {L29}:[6]:E_FCP_O50FC(i) +0[-10,10] < [27]:S_FCP_I50FC_CMDS(i) AND {L30}:[10]:E_ICP_I10FC_SENSOR(i) +0[-10,10] < [13]:S_FCP_I10FC(i) AND {L31}:[12]:E_FCP_I10FC(i) +0[-10,10] < [15]:S_FCP_P10FC(i) AND {L32}:[14]:E_FCP_P10FC(i) +0[-10,10] < [17]:S_FCP_O10FC(i) AND {L33}:[16]:E_FCP_O10FC(i) +0[-10,10] < [28]:S_FCP_I10FC_CMDS(i) AND {L34}:[20]:E_ICP_I50NFC_SENSOR(i) +0[-10,10] < [23]:S_FCP_I50NFC(i) AND {L35}:[22]:E_FCP_I50NFC(i) +0[-10,10] < [25]:S_FCP_P50NFC(i) AND {L36}:[3]:S_FCP_I50FC(i) -2[-12,8] < [1]:S_ICP_I50FC_SENSOR(i) AND {L37}:[5]:S_FCP_P50FC(i) -1[-11,9] < [3]:S_FCP_I50FC(i) AND {L38}:[26]:S_FCP_O50FC(i) -5[-15,5] < [5]:S_FCP_P50FC(i) AND {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) AND {L40}:[13]:S_FCP_I10FC(i) -2[-12,8] < [11]:S_ICP_I10FC_SENSOR(i) AND {L41}:[15]:S_FCP_P10FC(i) -1[-11,9] < [13]:S_FCP_I10FC(i) AND {L42}:[17]:S_FCP_O10FC(i) -40[-50,-30] < [15]:S_FCP_P10FC(i) AND {L43}:[19]:S_ICP_I10FC_CMDS(i) -1[-11,9] < [17]:S_FCP_O10FC(i) AND {L44}:[23]:S_FCP_I50NFC(i) -2[-12,8] < [21]:S_ICP_I50NFC_SENSOR(i) AND {L45}:[25]:S_FCP_P50NFC(i) -1[-11,9] < [23]:S_FCP_I50NFC(i) AND {L46}:[1]:S_ICP_I50FC_SENSOR(i) +20[10,30] < [29]:S_ICP_I50FC_SENSOR(i+1) AND {L47}:[3]:S_FCP_I50FC(i) +20[10,30] < [30]:S_FCP_I50FC(i+1) AND {L48}:[5]:S_FCP_P50FC(i) +20[10,30] < [31]:S_FCP_P50FC(i+1) AND {L49}:[26]:S_FCP_O50FC(i) +20[10,30] < [32]:S_FCP_O50FC(i+1) AND {L50}:[9]:S_ICP_I50FC_CMDS(i) +20[10,30] < [33]:S_ICP_I50FC_CMDS(i+1) AND {L51}:[29]:S_ICP_I50FC_SENSOR(i+1) -20[-30,-10] < [1]:S_ICP_I50FC_SENSOR(i) AND {L52}:[30]:S_FCP_I50FC(i+1) -20[-30,-10] < [3]:S_FCP_I50FC(i) AND {L53}:[31]:S_FCP_P50FC(i+1) -20[-30,-10] < [5]:S_FCP_P50FC(i) AND {L54}:[32]:S_FCP_O50FC(i+1) -20[-30,-10] < [26]:S_FCP_O50FC(i) AND {L55}:[33]:S_ICP_I50FC_CMDS(i+1) -20[-30,-10] < [9]:S_ICP_I50FC_CMDS(i) AND {L56}:[11]:S_ICP_I10FC_SENSOR(i) +100[90,110] < [34]:S_ICP_I10FC_SENSOR(i+1) AND {L57}:[13]:S_FCP_I10FC(i) +100[90,110] < [35]:S_FCP_I10FC(i+1) AND {L58}:[15]:S_FCP_P10FC(i) +100[90,110] < [36]:S_FCP_P10FC(i+1) AND {L59}:[17]:S_FCP_O10FC(i) +100[90,110] < [37]:S_FCP_O10FC(i+1) AND {L60}:[19]:S_ICP_I10FC_CMDS(i) +100[90,110] < [38]:S_ICP_I10FC_CMDS(i+1) AND {L61}:[34]:S_ICP_I10FC_SENSOR(i+1) -100[-110,-90] < [11]:S_ICP_I10FC_SENSOR(i) AND {L62}:[35]:S_FCP_I10FC(i+1) -100[-110,-90] < [13]:S_FCP_I10FC(i) AND {L63}:[36]:S_FCP_P10FC(i+1) -100[-110,-90] < [15]:S_FCP_P10FC(i) AND {L64}:[37]:S_FCP_O10FC(i+1) -100[-110,-90] < [17]:S_FCP_O10FC(i) AND {L65}:[38]:S_ICP_I10FC_CMDS(i+1) -100[-110,-90] < [19]:S_ICP_I10FC_CMDS(i) AND {L66}:[21]:S_ICP_I50NFC_SENSOR(i) +20[10,30] < [39]:S_ICP_I50NFC_SENSOR(i+1) AND {L67}:[23]:S_FCP_I50NFC(i) +20[10,30] < [40]:S_FCP_I50NFC(i+1) AND {L68}:[25]:S_FCP_P50NFC(i) +20[10,30] < [41]:S_FCP_P50NFC(i+1) AND {L69}:[39]:S_ICP_I50NFC_SENSOR(i+1) -20[-30,-10] < [21]:S_ICP_I50NFC_SENSOR(i) AND {L70}:[40]:S_FCP_I50NFC(i+1) -20[-30,-10] < [23]:S_FCP_I50NFC(i) AND {L71}:[41]:S_FCP_P50NFC(i+1) -20[-30,-10] < [25]:S_FCP_P50NFC(i) AND {L72}:[2]:E_FCP_I50FC(i) +0[-10,10] < [13]:S_FCP_I10FC(i) AND {L73}:[2]:E_FCP_I50FC(i) +0[-10,10] < [23]:S_FCP_I50NFC(i) AND {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR {L75}:[44]:S_ICP_I10FC_SENSOR(I) +51[41,61] < [45]:E_ICP_I10FC_CMDS(I) AND NOT {L46}:[1]:S_ICP_I50FC_SENSOR(i) +20[10,30] < [29]:S_ICP_I50FC_SENSOR(i+1) OR NOT {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L38}:[26]:S_FCP_O50FC(i) -5[-15,5] < [5]:S_FCP_P50FC(i) OR NOT {L37}:[5]:S_FCP_P50FC(i) -1[-11,9] < [3]:S_FCP_I50FC(i) OR NOT {L36}:[3]:S_FCP_I50FC(i) -2[-12,8] < [1]:S_ICP_I50FC_SENSOR(i) AND NOT {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L38}:[26]:S_FCP_O50FC(i) -5[-15,5] < [5]:S_FCP_P50FC(i) OR NOT {L37}:[5]:S_FCP_P50FC(i) -1[-11,9] < [3]:S_FCP_I50FC(i) OR NOT {L36}:[3]:S_FCP_I50FC(i) -2[-12,8] < [1]:S_ICP_I50FC_SENSOR(i) AND NOT {L56}:[11]:S_ICP_I10FC_SENSOR(i) +100[90,110] < [34]:S_ICP_I10FC_SENSOR(i+1) OR NOT {L75}:[44]:S_ICP_I10FC_SENSOR(I) +51[41,61] < [45]:E_ICP_I10FC_CMDS(I) OR NOT {L9}:[18]:E_ICP_I10FC_CMDS(i) -1[-11,9] < [19]:S_ICP_I10FC_CMDS(i) OR NOT {L43}:[19]:S_ICP_I10FC_CMDS(i) -1[-11,9] < [17]:S_FCP_O10FC(i) OR NOT {L42}:[17]:S_FCP_O10FC(i) -40[-50,-30] < [15]:S_FCP_P10FC(i) OR NOT {L41}:[15]:S_FCP_P10FC(i) -1[-11,9] < [13]:S_FCP_I10FC(i) OR NOT {L40}:[13]:S_FCP_I10FC(i) -2[-12,8] < [11]:S_ICP_I10FC_SENSOR(i) AND NOT {L75}:[44]:S_ICP_I10FC_SENSOR(I) +51[41,61] < [45]:E_ICP_I10FC_CMDS(I) OR NOT {L9}:[18]:E_ICP_I10FC_CMDS(i) -1[-11,9] < [19]:S_ICP_I10FC_CMDS(i) OR NOT {L43}:[19]:S_ICP_I10FC_CMDS(i) -1[-11,9] < [17]:S_FCP_O10FC(i) OR NOT {L42}:[17]:S_FCP_O10FC(i) -40[-50,-30] < [15]:S_FCP_P10FC(i) OR NOT {L41}:[15]:S_FCP_P10FC(i) -1[-11,9] < [13]:S_FCP_I10FC(i) OR NOT {L40}:[13]:S_FCP_I10FC(i) -2[-12,8] < [11]:S_ICP_I10FC_SENSOR(i) new determinant:0.0 new determinant:15.0 nRows = 79 nCols = 80 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -1 -1 -1 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 {L0}:[0]:E_ICP_I50FC_SENSOR(i) -2[-12,8] < [1]:S_ICP_I50FC_SENSOR(i) AND {L1}:[2]:E_FCP_I50FC(i) -1[-11,9] < [3]:S_FCP_I50FC(i) AND {L2}:[4]:E_FCP_P50FC(i) -5[-15,5] < [5]:S_FCP_P50FC(i) AND {L3}:[6]:E_FCP_O50FC(i) -1[-11,9] < [7]:S_FCP_O50(i) AND {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) AND {L5}:[10]:E_ICP_I10FC_SENSOR(i) -2[-11,9] < [11]:S_ICP_I10FC_SENSOR(i) AND {L6}:[12]:E_FCP_I10FC(i) -1[-11,9] < [13]:S_FCP_I10FC(i) AND {L7}:[14]:E_FCP_P10FC(i) -40[-50,-30] < [15]:S_FCP_P10FC(i) AND {L8}:[16]:E_FCP_O10FC(i) -1[-11,9] < [17]:S_FCP_O10FC(i) AND {L9}:[18]:E_ICP_I10FC_CMDS(i) -1[-11,9] < [19]:S_ICP_I10FC_CMDS(i) AND {L10}:[20]:E_ICP_I50NFC_SENSOR(i) -5[-15,5] < [21]:S_ICP_I50NFC_SENSOR(i) AND {L11}:[22]:E_FCP_I50NFC(i) -1[-11,9] < [23]:S_FCP_I50NFC(i) AND {L12}:[24]:E_FCP_P50NFC(i) -1[-11,9] < [25]:S_FCP_P50NFC(i) AND {L13}:[1]:S_ICP_I50FC_SENSOR(i) +0[-10,10] < [0]:E_ICP_I50FC_SENSOR(i) AND {L14}:[3]:S_FCP_I50FC(i) +0[-10,10] < [2]:E_FCP_I50FC(i) AND {L15}:[5]:S_FCP_P50FC(i) +0[-10,10] < [4]:E_FCP_P50FC(i) AND {L16}:[26]:S_FCP_O50FC(i) +0[-10,10] < [6]:E_FCP_O50FC(i) AND {L17}:[9]:S_ICP_I50FC_CMDS(i) +0[-10,10] < [8]:E_ICP_I50FC_CMDS(i) AND {L18}:[11]:S_ICP_I10FC_SENSOR(i) +0[-10,10] < [10]:E_ICP_I10FC_SENSOR(i) AND {L19}:[13]:S_FCP_I10FC(i) +0[-10,10] < [12]:E_FCP_I10FC(i) AND {L20}:[15]:S_FCP_P10FC(i) +0[-10,10] < [14]:E_FCP_P10FC(i) AND {L21}:[17]:S_FCP_O10FC(i) +0[-10,10] < [16]:E_FCP_O10FC(i) AND {L22}:[19]:S_ICP_I10FC_CMDS(i) +0[-10,10] < [18]:E_ICP_I10FC_CMDS(i) AND {L23}:[21]:S_ICP_I50NFC_SENSOR(i) +0[-10,10] < [20]:E_ICP_I50NFC_SENSOR(i) AND {L24}:[23]:S_FCP_I50NFC(i) +0[-10,10] < [22]:E_FCP_I50NFC(i) AND {L25}:[25]:S_FCP_P50NFC(i) +0[-10,10] < [24]:E_FCP_P50NFC(i) AND {L26}:[0]:E_ICP_I50FC_SENSOR(i) +0[-10,10] < [3]:S_FCP_I50FC(i) AND {L27}:[2]:E_FCP_I50FC(i) +0[-10,10] < [5]:S_FCP_P50FC(i) AND {L28}:[4]:E_FCP_P50FC(i) +0[-10,10] < [26]:S_FCP_O50FC(i) AND {L29}:[6]:E_FCP_O50FC(i) +0[-10,10] < [27]:S_FCP_I50FC_CMDS(i) AND {L30}:[10]:E_ICP_I10FC_SENSOR(i) +0[-10,10] < [13]:S_FCP_I10FC(i) AND {L31}:[12]:E_FCP_I10FC(i) +0[-10,10] < [15]:S_FCP_P10FC(i) AND {L32}:[14]:E_FCP_P10FC(i) +0[-10,10] < [17]:S_FCP_O10FC(i) AND {L33}:[16]:E_FCP_O10FC(i) +0[-10,10] < [28]:S_FCP_I10FC_CMDS(i) AND {L34}:[20]:E_ICP_I50NFC_SENSOR(i) +0[-10,10] < [23]:S_FCP_I50NFC(i) AND {L35}:[22]:E_FCP_I50NFC(i) +0[-10,10] < [25]:S_FCP_P50NFC(i) AND {L36}:[3]:S_FCP_I50FC(i) -2[-12,8] < [1]:S_ICP_I50FC_SENSOR(i) AND {L37}:[5]:S_FCP_P50FC(i) -1[-11,9] < [3]:S_FCP_I50FC(i) AND {L38}:[26]:S_FCP_O50FC(i) -5[-15,5] < [5]:S_FCP_P50FC(i) AND {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) AND {L40}:[13]:S_FCP_I10FC(i) -2[-12,8] < [11]:S_ICP_I10FC_SENSOR(i) AND {L41}:[15]:S_FCP_P10FC(i) -1[-11,9] < [13]:S_FCP_I10FC(i) AND {L42}:[17]:S_FCP_O10FC(i) -40[-50,-30] < [15]:S_FCP_P10FC(i) AND {L43}:[19]:S_ICP_I10FC_CMDS(i) -1[-11,9] < [17]:S_FCP_O10FC(i) AND {L44}:[23]:S_FCP_I50NFC(i) -2[-12,8] < [21]:S_ICP_I50NFC_SENSOR(i) AND {L45}:[25]:S_FCP_P50NFC(i) -1[-11,9] < [23]:S_FCP_I50NFC(i) AND {L46}:[1]:S_ICP_I50FC_SENSOR(i) +20[10,30] < [29]:S_ICP_I50FC_SENSOR(i+1) AND {L47}:[3]:S_FCP_I50FC(i) +20[10,30] < [30]:S_FCP_I50FC(i+1) AND {L48}:[5]:S_FCP_P50FC(i) +20[10,30] < [31]:S_FCP_P50FC(i+1) AND {L49}:[26]:S_FCP_O50FC(i) +20[10,30] < [32]:S_FCP_O50FC(i+1) AND {L50}:[9]:S_ICP_I50FC_CMDS(i) +20[10,30] < [33]:S_ICP_I50FC_CMDS(i+1) AND {L51}:[29]:S_ICP_I50FC_SENSOR(i+1) -20[-30,-10] < [1]:S_ICP_I50FC_SENSOR(i) AND {L52}:[30]:S_FCP_I50FC(i+1) -20[-30,-10] < [3]:S_FCP_I50FC(i) AND {L53}:[31]:S_FCP_P50FC(i+1) -20[-30,-10] < [5]:S_FCP_P50FC(i) AND {L54}:[32]:S_FCP_O50FC(i+1) -20[-30,-10] < [26]:S_FCP_O50FC(i) AND {L55}:[33]:S_ICP_I50FC_CMDS(i+1) -20[-30,-10] < [9]:S_ICP_I50FC_CMDS(i) AND {L56}:[11]:S_ICP_I10FC_SENSOR(i) +100[90,110] < [34]:S_ICP_I10FC_SENSOR(i+1) AND {L57}:[13]:S_FCP_I10FC(i) +100[90,110] < [35]:S_FCP_I10FC(i+1) AND {L58}:[15]:S_FCP_P10FC(i) +100[90,110] < [36]:S_FCP_P10FC(i+1) AND {L59}:[17]:S_FCP_O10FC(i) +100[90,110] < [37]:S_FCP_O10FC(i+1) AND {L60}:[19]:S_ICP_I10FC_CMDS(i) +100[90,110] < [38]:S_ICP_I10FC_CMDS(i+1) AND {L61}:[34]:S_ICP_I10FC_SENSOR(i+1) -100[-110,-90] < [11]:S_ICP_I10FC_SENSOR(i) AND {L62}:[35]:S_FCP_I10FC(i+1) -100[-110,-90] < [13]:S_FCP_I10FC(i) AND {L63}:[36]:S_FCP_P10FC(i+1) -100[-110,-90] < [15]:S_FCP_P10FC(i) AND {L64}:[37]:S_FCP_O10FC(i+1) -100[-110,-90] < [17]:S_FCP_O10FC(i) AND {L65}:[38]:S_ICP_I10FC_CMDS(i+1) -100[-110,-90] < [19]:S_ICP_I10FC_CMDS(i) AND {L66}:[21]:S_ICP_I50NFC_SENSOR(i) +20[10,30] < [39]:S_ICP_I50NFC_SENSOR(i+1) AND {L67}:[23]:S_FCP_I50NFC(i) +20[10,30] < [40]:S_FCP_I50NFC(i+1) AND {L68}:[25]:S_FCP_P50NFC(i) +20[10,30] < [41]:S_FCP_P50NFC(i+1) AND {L69}:[39]:S_ICP_I50NFC_SENSOR(i+1) -20[-30,-10] < [21]:S_ICP_I50NFC_SENSOR(i) AND {L70}:[40]:S_FCP_I50NFC(i+1) -20[-30,-10] < [23]:S_FCP_I50NFC(i) AND {L71}:[41]:S_FCP_P50NFC(i+1) -20[-30,-10] < [25]:S_FCP_P50NFC(i) AND {L72}:[2]:E_FCP_I50FC(i) +0[-10,10] < [13]:S_FCP_I10FC(i) AND {L73}:[2]:E_FCP_I50FC(i) +0[-10,10] < [23]:S_FCP_I50NFC(i) AND NOT {L46}:[1]:S_ICP_I50FC_SENSOR(i) +20[10,30] < [29]:S_ICP_I50FC_SENSOR(i+1) OR NOT {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L38}:[26]:S_FCP_O50FC(i) -5[-15,5] < [5]:S_FCP_P50FC(i) OR NOT {L37}:[5]:S_FCP_P50FC(i) -1[-11,9] < [3]:S_FCP_I50FC(i) OR NOT {L36}:[3]:S_FCP_I50FC(i) -2[-12,8] < [1]:S_ICP_I50FC_SENSOR(i) AND NOT {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L38}:[26]:S_FCP_O50FC(i) -5[-15,5] < [5]:S_FCP_P50FC(i) OR NOT {L37}:[5]:S_FCP_P50FC(i) -1[-11,9] < [3]:S_FCP_I50FC(i) OR NOT {L36}:[3]:S_FCP_I50FC(i) -2[-12,8] < [1]:S_ICP_I50FC_SENSOR(i) AND NOT {L56}:[11]:S_ICP_I10FC_SENSOR(i) +100[90,110] < [34]:S_ICP_I10FC_SENSOR(i+1) OR NOT {L75}:[44]:S_ICP_I10FC_SENSOR(I) +51[41,61] < [45]:E_ICP_I10FC_CMDS(I) OR NOT {L9}:[18]:E_ICP_I10FC_CMDS(i) -1[-11,9] < [19]:S_ICP_I10FC_CMDS(i) OR NOT {L43}:[19]:S_ICP_I10FC_CMDS(i) -1[-11,9] < [17]:S_FCP_O10FC(i) OR NOT {L42}:[17]:S_FCP_O10FC(i) -40[-50,-30] < [15]:S_FCP_P10FC(i) OR NOT {L41}:[15]:S_FCP_P10FC(i) -1[-11,9] < [13]:S_FCP_I10FC(i) OR NOT {L40}:[13]:S_FCP_I10FC(i) -2[-12,8] < [11]:S_ICP_I10FC_SENSOR(i) AND NOT {L75}:[44]:S_ICP_I10FC_SENSOR(I) +51[41,61] < [45]:E_ICP_I10FC_CMDS(I) OR NOT {L9}:[18]:E_ICP_I10FC_CMDS(i) -1[-11,9] < [19]:S_ICP_I10FC_CMDS(i) OR NOT {L43}:[19]:S_ICP_I10FC_CMDS(i) -1[-11,9] < [17]:S_FCP_O10FC(i) OR NOT {L42}:[17]:S_FCP_O10FC(i) -40[-50,-30] < [15]:S_FCP_P10FC(i) OR NOT {L41}:[15]:S_FCP_P10FC(i) -1[-11,9] < [13]:S_FCP_I10FC(i) OR NOT {L40}:[13]:S_FCP_I10FC(i) -2[-12,8] < [11]:S_ICP_I10FC_SENSOR(i) AND {L76}:[-1]:S_ICP_I50FC_SENSOR(x4) -10[-20,0] < [-1]:new4(x4) OR {L77}:[-1]:S_ICP_I10FC_SENSOR(x3) -8[-18,2] < [-1]:new3(x3) OR {L78}:[-1]:S_ICP_I10FC_SENSOR(x2) -6[-16,4] < [-1]:new2(x2) OR {L79}:[-1]:S_ICP_I50FC_SENSOR(x1) -4[-14,6] < [-1]:new1(x1) OR {L74}:[-1]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [-1]:E_ICP_I50FC_CMDS(I) OR {L75}:[-1]:S_ICP_I10FC_SENSOR(I) +51[41,61] < [-1]:E_ICP_I10FC_CMDS(I) Constraints graph for formula: {L0}:[0]:E_ICP_I50FC_SENSOR(i) -2[-12,8] < [1]:S_ICP_I50FC_SENSOR(i) AND {L1}:[2]:E_FCP_I50FC(i) -1[-11,9] < [3]:S_FCP_I50FC(i) AND {L2}:[4]:E_FCP_P50FC(i) -5[-15,5] < [5]:S_FCP_P50FC(i) AND {L3}:[6]:E_FCP_O50FC(i) -1[-11,9] < [7]:S_FCP_O50(i) AND {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) AND {L5}:[10]:E_ICP_I10FC_SENSOR(i) -2[-11,9] < [11]:S_ICP_I10FC_SENSOR(i) AND {L6}:[12]:E_FCP_I10FC(i) -1[-11,9] < [13]:S_FCP_I10FC(i) AND {L7}:[14]:E_FCP_P10FC(i) -40[-50,-30] < [15]:S_FCP_P10FC(i) AND {L8}:[16]:E_FCP_O10FC(i) -1[-11,9] < [17]:S_FCP_O10FC(i) AND {L9}:[18]:E_ICP_I10FC_CMDS(i) -1[-11,9] < [19]:S_ICP_I10FC_CMDS(i) AND {L10}:[20]:E_ICP_I50NFC_SENSOR(i) -5[-15,5] < [21]:S_ICP_I50NFC_SENSOR(i) AND {L11}:[22]:E_FCP_I50NFC(i) -1[-11,9] < [23]:S_FCP_I50NFC(i) AND {L12}:[24]:E_FCP_P50NFC(i) -1[-11,9] < [25]:S_FCP_P50NFC(i) AND {L13}:[1]:S_ICP_I50FC_SENSOR(i) +0[-10,10] < [0]:E_ICP_I50FC_SENSOR(i) AND {L14}:[3]:S_FCP_I50FC(i) +0[-10,10] < [2]:E_FCP_I50FC(i) AND {L15}:[5]:S_FCP_P50FC(i) +0[-10,10] < [4]:E_FCP_P50FC(i) AND {L16}:[26]:S_FCP_O50FC(i) +0[-10,10] < [6]:E_FCP_O50FC(i) AND {L17}:[9]:S_ICP_I50FC_CMDS(i) +0[-10,10] < [8]:E_ICP_I50FC_CMDS(i) AND {L18}:[11]:S_ICP_I10FC_SENSOR(i) +0[-10,10] < [10]:E_ICP_I10FC_SENSOR(i) AND {L19}:[13]:S_FCP_I10FC(i) +0[-10,10] < [12]:E_FCP_I10FC(i) AND {L20}:[15]:S_FCP_P10FC(i) +0[-10,10] < [14]:E_FCP_P10FC(i) AND {L21}:[17]:S_FCP_O10FC(i) +0[-10,10] < [16]:E_FCP_O10FC(i) AND {L22}:[19]:S_ICP_I10FC_CMDS(i) +0[-10,10] < [18]:E_ICP_I10FC_CMDS(i) AND {L23}:[21]:S_ICP_I50NFC_SENSOR(i) +0[-10,10] < [20]:E_ICP_I50NFC_SENSOR(i) AND {L24}:[23]:S_FCP_I50NFC(i) +0[-10,10] < [22]:E_FCP_I50NFC(i) AND {L25}:[25]:S_FCP_P50NFC(i) +0[-10,10] < [24]:E_FCP_P50NFC(i) AND {L26}:[0]:E_ICP_I50FC_SENSOR(i) +0[-10,10] < [3]:S_FCP_I50FC(i) AND {L27}:[2]:E_FCP_I50FC(i) +0[-10,10] < [5]:S_FCP_P50FC(i) AND {L28}:[4]:E_FCP_P50FC(i) +0[-10,10] < [26]:S_FCP_O50FC(i) AND {L29}:[6]:E_FCP_O50FC(i) +0[-10,10] < [27]:S_FCP_I50FC_CMDS(i) AND {L30}:[10]:E_ICP_I10FC_SENSOR(i) +0[-10,10] < [13]:S_FCP_I10FC(i) AND {L31}:[12]:E_FCP_I10FC(i) +0[-10,10] < [15]:S_FCP_P10FC(i) AND {L32}:[14]:E_FCP_P10FC(i) +0[-10,10] < [17]:S_FCP_O10FC(i) AND {L33}:[16]:E_FCP_O10FC(i) +0[-10,10] < [28]:S_FCP_I10FC_CMDS(i) AND {L34}:[20]:E_ICP_I50NFC_SENSOR(i) +0[-10,10] < [23]:S_FCP_I50NFC(i) AND {L35}:[22]:E_FCP_I50NFC(i) +0[-10,10] < [25]:S_FCP_P50NFC(i) AND {L36}:[3]:S_FCP_I50FC(i) -2[-12,8] < [1]:S_ICP_I50FC_SENSOR(i) AND {L37}:[5]:S_FCP_P50FC(i) -1[-11,9] < [3]:S_FCP_I50FC(i) AND {L38}:[26]:S_FCP_O50FC(i) -5[-15,5] < [5]:S_FCP_P50FC(i) AND {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) AND {L40}:[13]:S_FCP_I10FC(i) -2[-12,8] < [11]:S_ICP_I10FC_SENSOR(i) AND {L41}:[15]:S_FCP_P10FC(i) -1[-11,9] < [13]:S_FCP_I10FC(i) AND {L42}:[17]:S_FCP_O10FC(i) -40[-50,-30] < [15]:S_FCP_P10FC(i) AND {L43}:[19]:S_ICP_I10FC_CMDS(i) -1[-11,9] < [17]:S_FCP_O10FC(i) AND {L44}:[23]:S_FCP_I50NFC(i) -2[-12,8] < [21]:S_ICP_I50NFC_SENSOR(i) AND {L45}:[25]:S_FCP_P50NFC(i) -1[-11,9] < [23]:S_FCP_I50NFC(i) AND {L46}:[1]:S_ICP_I50FC_SENSOR(i) +20[10,30] < [29]:S_ICP_I50FC_SENSOR(i+1) AND {L47}:[3]:S_FCP_I50FC(i) +20[10,30] < [30]:S_FCP_I50FC(i+1) AND {L48}:[5]:S_FCP_P50FC(i) +20[10,30] < [31]:S_FCP_P50FC(i+1) AND {L49}:[26]:S_FCP_O50FC(i) +20[10,30] < [32]:S_FCP_O50FC(i+1) AND {L50}:[9]:S_ICP_I50FC_CMDS(i) +20[10,30] < [33]:S_ICP_I50FC_CMDS(i+1) AND {L51}:[29]:S_ICP_I50FC_SENSOR(i+1) -20[-30,-10] < [1]:S_ICP_I50FC_SENSOR(i) AND {L52}:[30]:S_FCP_I50FC(i+1) -20[-30,-10] < [3]:S_FCP_I50FC(i) AND {L53}:[31]:S_FCP_P50FC(i+1) -20[-30,-10] < [5]:S_FCP_P50FC(i) AND {L54}:[32]:S_FCP_O50FC(i+1) -20[-30,-10] < [26]:S_FCP_O50FC(i) AND {L55}:[33]:S_ICP_I50FC_CMDS(i+1) -20[-30,-10] < [9]:S_ICP_I50FC_CMDS(i) AND {L56}:[11]:S_ICP_I10FC_SENSOR(i) +100[90,110] < [34]:S_ICP_I10FC_SENSOR(i+1) AND {L57}:[13]:S_FCP_I10FC(i) +100[90,110] < [35]:S_FCP_I10FC(i+1) AND {L58}:[15]:S_FCP_P10FC(i) +100[90,110] < [36]:S_FCP_P10FC(i+1) AND {L59}:[17]:S_FCP_O10FC(i) +100[90,110] < [37]:S_FCP_O10FC(i+1) AND {L60}:[19]:S_ICP_I10FC_CMDS(i) +100[90,110] < [38]:S_ICP_I10FC_CMDS(i+1) AND {L61}:[34]:S_ICP_I10FC_SENSOR(i+1) -100[-110,-90] < [11]:S_ICP_I10FC_SENSOR(i) AND {L62}:[35]:S_FCP_I10FC(i+1) -100[-110,-90] < [13]:S_FCP_I10FC(i) AND {L63}:[36]:S_FCP_P10FC(i+1) -100[-110,-90] < [15]:S_FCP_P10FC(i) AND {L64}:[37]:S_FCP_O10FC(i+1) -100[-110,-90] < [17]:S_FCP_O10FC(i) AND {L65}:[38]:S_ICP_I10FC_CMDS(i+1) -100[-110,-90] < [19]:S_ICP_I10FC_CMDS(i) AND {L66}:[21]:S_ICP_I50NFC_SENSOR(i) +20[10,30] < [39]:S_ICP_I50NFC_SENSOR(i+1) AND {L67}:[23]:S_FCP_I50NFC(i) +20[10,30] < [40]:S_FCP_I50NFC(i+1) AND {L68}:[25]:S_FCP_P50NFC(i) +20[10,30] < [41]:S_FCP_P50NFC(i+1) AND {L69}:[39]:S_ICP_I50NFC_SENSOR(i+1) -20[-30,-10] < [21]:S_ICP_I50NFC_SENSOR(i) AND {L70}:[40]:S_FCP_I50NFC(i+1) -20[-30,-10] < [23]:S_FCP_I50NFC(i) AND {L71}:[41]:S_FCP_P50NFC(i+1) -20[-30,-10] < [25]:S_FCP_P50NFC(i) AND {L72}:[2]:E_FCP_I50FC(i) +0[-10,10] < [13]:S_FCP_I10FC(i) AND {L73}:[2]:E_FCP_I50FC(i) +0[-10,10] < [23]:S_FCP_I50NFC(i) AND NOT {L46}:[1]:S_ICP_I50FC_SENSOR(i) +20[10,30] < [29]:S_ICP_I50FC_SENSOR(i+1) OR NOT {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L38}:[26]:S_FCP_O50FC(i) -5[-15,5] < [5]:S_FCP_P50FC(i) OR NOT {L37}:[5]:S_FCP_P50FC(i) -1[-11,9] < [3]:S_FCP_I50FC(i) OR NOT {L36}:[3]:S_FCP_I50FC(i) -2[-12,8] < [1]:S_ICP_I50FC_SENSOR(i) AND NOT {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L38}:[26]:S_FCP_O50FC(i) -5[-15,5] < [5]:S_FCP_P50FC(i) OR NOT {L37}:[5]:S_FCP_P50FC(i) -1[-11,9] < [3]:S_FCP_I50FC(i) OR NOT {L36}:[3]:S_FCP_I50FC(i) -2[-12,8] < [1]:S_ICP_I50FC_SENSOR(i) AND NOT {L56}:[11]:S_ICP_I10FC_SENSOR(i) +100[90,110] < [34]:S_ICP_I10FC_SENSOR(i+1) OR NOT {L75}:[44]:S_ICP_I10FC_SENSOR(I) +51[41,61] < [45]:E_ICP_I10FC_CMDS(I) OR NOT {L9}:[18]:E_ICP_I10FC_CMDS(i) -1[-11,9] < [19]:S_ICP_I10FC_CMDS(i) OR NOT {L43}:[19]:S_ICP_I10FC_CMDS(i) -1[-11,9] < [17]:S_FCP_O10FC(i) OR NOT {L42}:[17]:S_FCP_O10FC(i) -40[-50,-30] < [15]:S_FCP_P10FC(i) OR NOT {L41}:[15]:S_FCP_P10FC(i) -1[-11,9] < [13]:S_FCP_I10FC(i) OR NOT {L40}:[13]:S_FCP_I10FC(i) -2[-12,8] < [11]:S_ICP_I10FC_SENSOR(i) AND NOT {L75}:[44]:S_ICP_I10FC_SENSOR(I) +51[41,61] < [45]:E_ICP_I10FC_CMDS(I) OR NOT {L9}:[18]:E_ICP_I10FC_CMDS(i) -1[-11,9] < [19]:S_ICP_I10FC_CMDS(i) OR NOT {L43}:[19]:S_ICP_I10FC_CMDS(i) -1[-11,9] < [17]:S_FCP_O10FC(i) OR NOT {L42}:[17]:S_FCP_O10FC(i) -40[-50,-30] < [15]:S_FCP_P10FC(i) OR NOT {L41}:[15]:S_FCP_P10FC(i) -1[-11,9] < [13]:S_FCP_I10FC(i) OR NOT {L40}:[13]:S_FCP_I10FC(i) -2[-12,8] < [11]:S_ICP_I10FC_SENSOR(i) AND {L76}:[46]:S_ICP_I50FC_SENSOR(x4) -10[-20,0] < [47]:new4(x4) OR {L77}:[48]:S_ICP_I10FC_SENSOR(x3) -8[-18,2] < [49]:new3(x3) OR {L78}:[50]:S_ICP_I10FC_SENSOR(x2) -6[-16,4] < [51]:new2(x2) OR {L79}:[52]:S_ICP_I50FC_SENSOR(x1) -4[-14,6] < [53]:new1(x1) OR {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR {L75}:[44]:S_ICP_I10FC_SENSOR(I) +51[41,61] < [45]:E_ICP_I10FC_CMDS(I) nVertexes = 54 List of nodes: [0]:E_ICP_I50FC_SENSOR(i), [1]:S_ICP_I50FC_SENSOR(i), [2]:E_FCP_I50FC(i), [3]:S_FCP_I50FC(i), [4]:E_FCP_P50FC(i), [5]:S_FCP_P50FC(i), [6]:E_FCP_O50FC(i), [7]:S_FCP_O50(i), [8]:E_ICP_I50FC_CMDS(i), [9]:S_ICP_I50FC_CMDS(i), [10]:E_ICP_I10FC_SENSOR(i), [11]:S_ICP_I10FC_SENSOR(i), [12]:E_FCP_I10FC(i), [13]:S_FCP_I10FC(i), [14]:E_FCP_P10FC(i), [15]:S_FCP_P10FC(i), [16]:E_FCP_O10FC(i), [17]:S_FCP_O10FC(i), [18]:E_ICP_I10FC_CMDS(i), [19]:S_ICP_I10FC_CMDS(i), [20]:E_ICP_I50NFC_SENSOR(i), [21]:S_ICP_I50NFC_SENSOR(i), [22]:E_FCP_I50NFC(i), [23]:S_FCP_I50NFC(i), [24]:E_FCP_P50NFC(i), [25]:S_FCP_P50NFC(i), [26]:S_FCP_O50FC(i), [27]:S_FCP_I50FC_CMDS(i), [28]:S_FCP_I10FC_CMDS(i), [29]:S_ICP_I50FC_SENSOR(i+1), [30]:S_FCP_I50FC(i+1), [31]:S_FCP_P50FC(i+1), [32]:S_FCP_O50FC(i+1), [33]:S_ICP_I50FC_CMDS(i+1), [34]:S_ICP_I10FC_SENSOR(i+1), [35]:S_FCP_I10FC(i+1), [36]:S_FCP_P10FC(i+1), [37]:S_FCP_O10FC(i+1), [38]:S_ICP_I10FC_CMDS(i+1), [39]:S_ICP_I50NFC_SENSOR(i+1), [40]:S_FCP_I50NFC(i+1), [41]:S_FCP_P50NFC(i+1), [42]:S_ICP_I50FC_SENSOR(I), [43]:E_ICP_I50FC_CMDS(I), [44]:S_ICP_I10FC_SENSOR(I), [45]:E_ICP_I10FC_CMDS(I), [46]:S_ICP_I50FC_SENSOR(x4), [47]:new4(x4), [48]:S_ICP_I10FC_SENSOR(x3), [49]:new3(x3), [50]:S_ICP_I10FC_SENSOR(x2), [51]:new2(x2), [52]:S_ICP_I50FC_SENSOR(x1), [53]:new1(x1) Adjacency matrix: nRows = 54 nCols = 54 0 C 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 S 0 0 0 0 0 S 0 0 0 0 C 0 C 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 S 0 0 0 S 0 S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 S 0 0 0 0 0 S 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 S 0 S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 S 0 0 0 0 0 S 0 0 0 0 0 0 0 0 0 S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 0 0 0 0 0 0 0 C 0 0 S 0 S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 0 C 0 0 0 0 S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 0 0 0 0 0 0 S 0 0 0 0 C S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 0 0 0 0 0 0 S 0 0 0 S 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 S 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 No exit edge nodes: [7]:S_FCP_O50(i) [27]:S_FCP_I50FC_CMDS(i) [28]:S_FCP_I10FC_CMDS(i) [47]:new4(x4) [49]:new3(x3) [51]:new2(x2) [53]:new1(x1) No entry edge nodes: new clauses,increments: Leaving from node:[7]:S_FCP_O50(i) [0]:E_ICP_I50FC_SENSOR(i) [1]:S_ICP_I50FC_SENSOR(i) [2]:E_FCP_I50FC(i) [3]:S_FCP_I50FC(i) [4]:E_FCP_P50FC(i) [5]:S_FCP_P50FC(i) [6]:E_FCP_O50FC(i) [7]:S_FCP_O50(i) [8]:E_ICP_I50FC_CMDS(i) [9]:S_ICP_I50FC_CMDS(i) [10]:E_ICP_I10FC_SENSOR(i) [11]:S_ICP_I10FC_SENSOR(i) [12]:E_FCP_I10FC(i) [13]:S_FCP_I10FC(i) [14]:E_FCP_P10FC(i) [15]:S_FCP_P10FC(i) [16]:E_FCP_O10FC(i) [17]:S_FCP_O10FC(i) [18]:E_ICP_I10FC_CMDS(i) [19]:S_ICP_I10FC_CMDS(i) [20]:E_ICP_I50NFC_SENSOR(i) [21]:S_ICP_I50NFC_SENSOR(i) [22]:E_FCP_I50NFC(i) [23]:S_FCP_I50NFC(i) [24]:E_FCP_P50NFC(i) [25]:S_FCP_P50NFC(i) [26]:S_FCP_O50FC(i) [27]:S_FCP_I50FC_CMDS(i) [28]:S_FCP_I10FC_CMDS(i) [29]:S_ICP_I50FC_SENSOR(i+1) [30]:S_FCP_I50FC(i+1) [31]:S_FCP_P50FC(i+1) [32]:S_FCP_O50FC(i+1) [33]:S_ICP_I50FC_CMDS(i+1) [34]:S_ICP_I10FC_SENSOR(i+1) [35]:S_FCP_I10FC(i+1) [36]:S_FCP_P10FC(i+1) [37]:S_FCP_O10FC(i+1) [38]:S_ICP_I10FC_CMDS(i+1) [39]:S_ICP_I50NFC_SENSOR(i+1) [40]:S_FCP_I50NFC(i+1) [41]:S_FCP_P50NFC(i+1) [42]:S_ICP_I50FC_SENSOR(I) [43]:E_ICP_I50FC_CMDS(I) [44]:S_ICP_I10FC_SENSOR(I) [45]:E_ICP_I10FC_CMDS(I) [46]:S_ICP_I50FC_SENSOR(x4) [47]:new4(x4) [48]:S_ICP_I10FC_SENSOR(x3) [49]:new3(x3) [50]:S_ICP_I10FC_SENSOR(x2) [51]:new2(x2) [52]:S_ICP_I50FC_SENSOR(x1) [53]:new1(x1) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) -25[0,0] < [-1]:E_ICP_I50FC_SENSOR(I) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) -5[0,0] < [-1]:E_ICP_I50FC_SENSOR(I) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) -25[0,0] < [-1]:E_ICP_I50FC_SENSOR(I) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) -5[0,0] < [-1]:E_ICP_I50FC_SENSOR(I) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) -24[0,0] < [-1]:E_FCP_I50FC(I) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) -24[0,0] < [-1]:E_FCP_I50FC(I) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) -4[0,0] < [-1]:E_FCP_I50FC(I) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) -4[0,0] < [-1]:E_FCP_I50FC(I) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) -25[0,0] < [-1]:S_FCP_I50FC(I) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) -5[0,0] < [-1]:S_FCP_I50FC(I) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) -5[0,0] < [-1]:S_FCP_I50FC(I) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) +15[0,0] < [-1]:S_FCP_I50FC(i+1) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) -19[0,0] < [-1]:E_FCP_P50FC(I) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) +1[0,0] < [-1]:E_FCP_P50FC(I) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) -24[0,0] < [-1]:S_FCP_P50FC(I) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) -4[0,0] < [-1]:S_FCP_P50FC(I) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) -4[0,0] < [-1]:S_FCP_P50FC(I) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) +16[0,0] < [-1]:S_FCP_P50FC(i+1) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(sdrtl1) +3[0,0] < [-1]:S_ICP_I50FC_CMDS(sdrtl1) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(sdrtl1) +23[0,0] < [-1]:S_ICP_I50FC_CMDS(i+1) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) -25[0,0] < [-1]:S_FCP_I50FC(I) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) -5[0,0] < [-1]:S_FCP_I50FC(I) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) -5[0,0] < [-1]:S_FCP_I50FC(I) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) +15[0,0] < [-1]:S_FCP_I50FC(i+1) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) -24[0,0] < [-1]:S_FCP_P50FC(I) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) -4[0,0] < [-1]:S_FCP_P50FC(I) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) -4[0,0] < [-1]:S_FCP_P50FC(I) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(I) +16[0,0] < [-1]:S_FCP_P50FC(i+1) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(sdrtl1) +3[0,0] < [-1]:S_ICP_I50FC_CMDS(sdrtl1) did not find an edge in the boundsGraph matching edge [-1]:S_FCP_O50(sdrtl1) +23[0,0] < [-1]:S_ICP_I50FC_CMDS(i+1) 0 : (NOT {L3}:[6]:E_FCP_O50FC(i) -1[-11,9] < [7]:S_FCP_O50(i) OR NOT {L79}:[-1]:S_FCP_O50(sdrtl1) +4[-20,20] < [-1]:E_ICP_I50FC_CMDS(sdrtl1) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L16}:[26]:S_FCP_O50FC(i) +0[-10,10] < [6]:E_FCP_O50FC(i);-15.0) 1 : (NOT {L3}:[6]:E_FCP_O50FC(i) -1[-11,9] < [7]:S_FCP_O50(i) OR NOT {L79}:[-1]:S_FCP_O50(I) +4[-20,20] < [-1]:E_ICP_I50FC_CMDS(I) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L16}:[26]:S_FCP_O50FC(i) +0[-10,10] < [6]:E_FCP_O50FC(i);-15.0) 2 : (NOT {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L16}:[26]:S_FCP_O50FC(i) +0[-10,10] < [6]:E_FCP_O50FC(i) OR NOT {L3}:[6]:E_FCP_O50FC(i) -1[-11,9] < [7]:S_FCP_O50(i) OR NOT {L79}:[-1]:S_FCP_O50(I) +13[-20,20] < [-1]:S_ICP_I50FC_SENSOR(i+1) OR NOT {L51}:[29]:S_ICP_I50FC_SENSOR(i+1) -20[-30,-10] < [1]:S_ICP_I50FC_SENSOR(i);0.0) 3 : (NOT {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L16}:[26]:S_FCP_O50FC(i) +0[-10,10] < [6]:E_FCP_O50FC(i) OR NOT {L3}:[6]:E_FCP_O50FC(i) -1[-11,9] < [7]:S_FCP_O50(i) OR NOT {L79}:[-1]:S_FCP_O50(I) +13[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x4) OR NOT {L51}:[29]:S_ICP_I50FC_SENSOR(i+1) -20[-30,-10] < [1]:S_ICP_I50FC_SENSOR(i);0.0) 4 : (NOT {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L16}:[26]:S_FCP_O50FC(i) +0[-10,10] < [6]:E_FCP_O50FC(i) OR NOT {L3}:[6]:E_FCP_O50FC(i) -1[-11,9] < [7]:S_FCP_O50(i) OR NOT {L79}:[-1]:S_FCP_O50(I) +13[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x1) OR NOT {L51}:[29]:S_ICP_I50FC_SENSOR(i+1) -20[-30,-10] < [1]:S_ICP_I50FC_SENSOR(i);0.0) 5 : (NOT {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L16}:[26]:S_FCP_O50FC(i) +0[-10,10] < [6]:E_FCP_O50FC(i) OR NOT {L3}:[6]:E_FCP_O50FC(i) -1[-11,9] < [7]:S_FCP_O50(i) OR NOT {L79}:[-1]:S_FCP_O50(I) -7[-20,20] < [-1]:S_ICP_I50FC_SENSOR(I);0.0) 6 : (NOT {L3}:[6]:E_FCP_O50FC(i) -1[-11,9] < [7]:S_FCP_O50(i) OR NOT {L79}:[-1]:S_FCP_O50(I) -7[-20,20] < [-1]:S_ICP_I50FC_SENSOR(I) OR NOT {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L16}:[26]:S_FCP_O50FC(i) +0[-10,10] < [6]:E_FCP_O50FC(i);0.0) 7 : (NOT {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L16}:[26]:S_FCP_O50FC(i) +0[-10,10] < [6]:E_FCP_O50FC(i) OR NOT {L3}:[6]:E_FCP_O50FC(i) -1[-11,9] < [7]:S_FCP_O50(i) OR NOT {L79}:[-1]:S_FCP_O50(I) +13[-20,20] < [-1]:S_ICP_I50FC_SENSOR(i+1) OR NOT {L51}:[29]:S_ICP_I50FC_SENSOR(i+1) -20[-30,-10] < [1]:S_ICP_I50FC_SENSOR(i);0.0) 8 : (NOT {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L16}:[26]:S_FCP_O50FC(i) +0[-10,10] < [6]:E_FCP_O50FC(i) OR NOT {L3}:[6]:E_FCP_O50FC(i) -1[-11,9] < [7]:S_FCP_O50(i) OR NOT {L79}:[-1]:S_FCP_O50(I) +13[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x4) OR NOT {L51}:[29]:S_ICP_I50FC_SENSOR(i+1) -20[-30,-10] < [1]:S_ICP_I50FC_SENSOR(i);0.0) 9 : (NOT {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L16}:[26]:S_FCP_O50FC(i) +0[-10,10] < [6]:E_FCP_O50FC(i) OR NOT {L3}:[6]:E_FCP_O50FC(i) -1[-11,9] < [7]:S_FCP_O50(i) OR NOT {L79}:[-1]:S_FCP_O50(I) +13[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x1) OR NOT {L51}:[29]:S_ICP_I50FC_SENSOR(i+1) -20[-30,-10] < [1]:S_ICP_I50FC_SENSOR(i);0.0) 10 : (NOT {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L16}:[26]:S_FCP_O50FC(i) +0[-10,10] < [6]:E_FCP_O50FC(i) OR NOT {L3}:[6]:E_FCP_O50FC(i) -1[-11,9] < [7]:S_FCP_O50(i) OR NOT {L79}:[-1]:S_FCP_O50(I) -7[-20,20] < [-1]:S_ICP_I50FC_SENSOR(I);0.0) 11 : (NOT {L3}:[6]:E_FCP_O50FC(i) -1[-11,9] < [7]:S_FCP_O50(i) OR NOT {L79}:[-1]:S_FCP_O50(I) -7[-20,20] < [-1]:S_ICP_I50FC_SENSOR(I) OR NOT {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L16}:[26]:S_FCP_O50FC(i) +0[-10,10] < [6]:E_FCP_O50FC(i);0.0) Pick one: adding clause: NOT {L3}:[6]:E_FCP_O50FC(i) -1[-11,9] < [7]:S_FCP_O50(i) OR NOT {L79}:[-1]:S_FCP_O50(sdrtl1) +4[-20,20] < [-1]:E_ICP_I50FC_CMDS(sdrtl1) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L16}:[26]:S_FCP_O50FC(i) +0[-10,10] < [6]:E_FCP_O50FC(i) det in addfromclauseincrementlist:0.0 new determinant:0.0 Do you wish to continue with no entry edges? (0/1) new determinant:0.0 Formula: {L0}:[0]:E_ICP_I50FC_SENSOR(i) -2[-12,8] < [1]:S_ICP_I50FC_SENSOR(i) AND {L1}:[2]:E_FCP_I50FC(i) -1[-11,9] < [3]:S_FCP_I50FC(i) AND {L2}:[4]:E_FCP_P50FC(i) -5[-15,5] < [5]:S_FCP_P50FC(i) AND {L3}:[6]:E_FCP_O50FC(i) -1[-11,9] < [7]:S_FCP_O50(i) AND {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) AND {L5}:[10]:E_ICP_I10FC_SENSOR(i) -2[-11,9] < [11]:S_ICP_I10FC_SENSOR(i) AND {L6}:[12]:E_FCP_I10FC(i) -1[-11,9] < [13]:S_FCP_I10FC(i) AND {L7}:[14]:E_FCP_P10FC(i) -40[-50,-30] < [15]:S_FCP_P10FC(i) AND {L8}:[16]:E_FCP_O10FC(i) -1[-11,9] < [17]:S_FCP_O10FC(i) AND {L9}:[18]:E_ICP_I10FC_CMDS(i) -1[-11,9] < [19]:S_ICP_I10FC_CMDS(i) AND {L10}:[20]:E_ICP_I50NFC_SENSOR(i) -5[-15,5] < [21]:S_ICP_I50NFC_SENSOR(i) AND {L11}:[22]:E_FCP_I50NFC(i) -1[-11,9] < [23]:S_FCP_I50NFC(i) AND {L12}:[24]:E_FCP_P50NFC(i) -1[-11,9] < [25]:S_FCP_P50NFC(i) AND {L13}:[1]:S_ICP_I50FC_SENSOR(i) +0[-10,10] < [0]:E_ICP_I50FC_SENSOR(i) AND {L14}:[3]:S_FCP_I50FC(i) +0[-10,10] < [2]:E_FCP_I50FC(i) AND {L15}:[5]:S_FCP_P50FC(i) +0[-10,10] < [4]:E_FCP_P50FC(i) AND {L16}:[26]:S_FCP_O50FC(i) +0[-10,10] < [6]:E_FCP_O50FC(i) AND {L17}:[9]:S_ICP_I50FC_CMDS(i) +0[-10,10] < [8]:E_ICP_I50FC_CMDS(i) AND {L18}:[11]:S_ICP_I10FC_SENSOR(i) +0[-10,10] < [10]:E_ICP_I10FC_SENSOR(i) AND {L19}:[13]:S_FCP_I10FC(i) +0[-10,10] < [12]:E_FCP_I10FC(i) AND {L20}:[15]:S_FCP_P10FC(i) +0[-10,10] < [14]:E_FCP_P10FC(i) AND {L21}:[17]:S_FCP_O10FC(i) +0[-10,10] < [16]:E_FCP_O10FC(i) AND {L22}:[19]:S_ICP_I10FC_CMDS(i) +0[-10,10] < [18]:E_ICP_I10FC_CMDS(i) AND {L23}:[21]:S_ICP_I50NFC_SENSOR(i) +0[-10,10] < [20]:E_ICP_I50NFC_SENSOR(i) AND {L24}:[23]:S_FCP_I50NFC(i) +0[-10,10] < [22]:E_FCP_I50NFC(i) AND {L25}:[25]:S_FCP_P50NFC(i) +0[-10,10] < [24]:E_FCP_P50NFC(i) AND {L26}:[0]:E_ICP_I50FC_SENSOR(i) +0[-10,10] < [3]:S_FCP_I50FC(i) AND {L27}:[2]:E_FCP_I50FC(i) +0[-10,10] < [5]:S_FCP_P50FC(i) AND {L28}:[4]:E_FCP_P50FC(i) +0[-10,10] < [26]:S_FCP_O50FC(i) AND {L29}:[6]:E_FCP_O50FC(i) +0[-10,10] < [27]:S_FCP_I50FC_CMDS(i) AND {L30}:[10]:E_ICP_I10FC_SENSOR(i) +0[-10,10] < [13]:S_FCP_I10FC(i) AND {L31}:[12]:E_FCP_I10FC(i) +0[-10,10] < [15]:S_FCP_P10FC(i) AND {L32}:[14]:E_FCP_P10FC(i) +0[-10,10] < [17]:S_FCP_O10FC(i) AND {L33}:[16]:E_FCP_O10FC(i) +0[-10,10] < [28]:S_FCP_I10FC_CMDS(i) AND {L34}:[20]:E_ICP_I50NFC_SENSOR(i) +0[-10,10] < [23]:S_FCP_I50NFC(i) AND {L35}:[22]:E_FCP_I50NFC(i) +0[-10,10] < [25]:S_FCP_P50NFC(i) AND {L36}:[3]:S_FCP_I50FC(i) -2[-12,8] < [1]:S_ICP_I50FC_SENSOR(i) AND {L37}:[5]:S_FCP_P50FC(i) -1[-11,9] < [3]:S_FCP_I50FC(i) AND {L38}:[26]:S_FCP_O50FC(i) -5[-15,5] < [5]:S_FCP_P50FC(i) AND {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) AND {L40}:[13]:S_FCP_I10FC(i) -2[-12,8] < [11]:S_ICP_I10FC_SENSOR(i) AND {L41}:[15]:S_FCP_P10FC(i) -1[-11,9] < [13]:S_FCP_I10FC(i) AND {L42}:[17]:S_FCP_O10FC(i) -40[-50,-30] < [15]:S_FCP_P10FC(i) AND {L43}:[19]:S_ICP_I10FC_CMDS(i) -1[-11,9] < [17]:S_FCP_O10FC(i) AND {L44}:[23]:S_FCP_I50NFC(i) -2[-12,8] < [21]:S_ICP_I50NFC_SENSOR(i) AND {L45}:[25]:S_FCP_P50NFC(i) -1[-11,9] < [23]:S_FCP_I50NFC(i) AND {L46}:[1]:S_ICP_I50FC_SENSOR(i) +20[10,30] < [29]:S_ICP_I50FC_SENSOR(i+1) AND {L47}:[3]:S_FCP_I50FC(i) +20[10,30] < [30]:S_FCP_I50FC(i+1) AND {L48}:[5]:S_FCP_P50FC(i) +20[10,30] < [31]:S_FCP_P50FC(i+1) AND {L49}:[26]:S_FCP_O50FC(i) +20[10,30] < [32]:S_FCP_O50FC(i+1) AND {L50}:[9]:S_ICP_I50FC_CMDS(i) +20[10,30] < [33]:S_ICP_I50FC_CMDS(i+1) AND {L51}:[29]:S_ICP_I50FC_SENSOR(i+1) -20[-30,-10] < [1]:S_ICP_I50FC_SENSOR(i) AND {L52}:[30]:S_FCP_I50FC(i+1) -20[-30,-10] < [3]:S_FCP_I50FC(i) AND {L53}:[31]:S_FCP_P50FC(i+1) -20[-30,-10] < [5]:S_FCP_P50FC(i) AND {L54}:[32]:S_FCP_O50FC(i+1) -20[-30,-10] < [26]:S_FCP_O50FC(i) AND {L55}:[33]:S_ICP_I50FC_CMDS(i+1) -20[-30,-10] < [9]:S_ICP_I50FC_CMDS(i) AND {L56}:[11]:S_ICP_I10FC_SENSOR(i) +100[90,110] < [34]:S_ICP_I10FC_SENSOR(i+1) AND {L57}:[13]:S_FCP_I10FC(i) +100[90,110] < [35]:S_FCP_I10FC(i+1) AND {L58}:[15]:S_FCP_P10FC(i) +100[90,110] < [36]:S_FCP_P10FC(i+1) AND {L59}:[17]:S_FCP_O10FC(i) +100[90,110] < [37]:S_FCP_O10FC(i+1) AND {L60}:[19]:S_ICP_I10FC_CMDS(i) +100[90,110] < [38]:S_ICP_I10FC_CMDS(i+1) AND {L61}:[34]:S_ICP_I10FC_SENSOR(i+1) -100[-110,-90] < [11]:S_ICP_I10FC_SENSOR(i) AND {L62}:[35]:S_FCP_I10FC(i+1) -100[-110,-90] < [13]:S_FCP_I10FC(i) AND {L63}:[36]:S_FCP_P10FC(i+1) -100[-110,-90] < [15]:S_FCP_P10FC(i) AND {L64}:[37]:S_FCP_O10FC(i+1) -100[-110,-90] < [17]:S_FCP_O10FC(i) AND {L65}:[38]:S_ICP_I10FC_CMDS(i+1) -100[-110,-90] < [19]:S_ICP_I10FC_CMDS(i) AND {L66}:[21]:S_ICP_I50NFC_SENSOR(i) +20[10,30] < [39]:S_ICP_I50NFC_SENSOR(i+1) AND {L67}:[23]:S_FCP_I50NFC(i) +20[10,30] < [40]:S_FCP_I50NFC(i+1) AND {L68}:[25]:S_FCP_P50NFC(i) +20[10,30] < [41]:S_FCP_P50NFC(i+1) AND {L69}:[39]:S_ICP_I50NFC_SENSOR(i+1) -20[-30,-10] < [21]:S_ICP_I50NFC_SENSOR(i) AND {L70}:[40]:S_FCP_I50NFC(i+1) -20[-30,-10] < [23]:S_FCP_I50NFC(i) AND {L71}:[41]:S_FCP_P50NFC(i+1) -20[-30,-10] < [25]:S_FCP_P50NFC(i) AND {L72}:[2]:E_FCP_I50FC(i) +0[-10,10] < [13]:S_FCP_I10FC(i) AND {L73}:[2]:E_FCP_I50FC(i) +0[-10,10] < [23]:S_FCP_I50NFC(i) AND NOT {L46}:[1]:S_ICP_I50FC_SENSOR(i) +20[10,30] < [29]:S_ICP_I50FC_SENSOR(i+1) OR NOT {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L38}:[26]:S_FCP_O50FC(i) -5[-15,5] < [5]:S_FCP_P50FC(i) OR NOT {L37}:[5]:S_FCP_P50FC(i) -1[-11,9] < [3]:S_FCP_I50FC(i) OR NOT {L36}:[3]:S_FCP_I50FC(i) -2[-12,8] < [1]:S_ICP_I50FC_SENSOR(i) AND NOT {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L38}:[26]:S_FCP_O50FC(i) -5[-15,5] < [5]:S_FCP_P50FC(i) OR NOT {L37}:[5]:S_FCP_P50FC(i) -1[-11,9] < [3]:S_FCP_I50FC(i) OR NOT {L36}:[3]:S_FCP_I50FC(i) -2[-12,8] < [1]:S_ICP_I50FC_SENSOR(i) AND NOT {L56}:[11]:S_ICP_I10FC_SENSOR(i) +100[90,110] < [34]:S_ICP_I10FC_SENSOR(i+1) OR NOT {L75}:[44]:S_ICP_I10FC_SENSOR(I) +51[41,61] < [45]:E_ICP_I10FC_CMDS(I) OR NOT {L9}:[18]:E_ICP_I10FC_CMDS(i) -1[-11,9] < [19]:S_ICP_I10FC_CMDS(i) OR NOT {L43}:[19]:S_ICP_I10FC_CMDS(i) -1[-11,9] < [17]:S_FCP_O10FC(i) OR NOT {L42}:[17]:S_FCP_O10FC(i) -40[-50,-30] < [15]:S_FCP_P10FC(i) OR NOT {L41}:[15]:S_FCP_P10FC(i) -1[-11,9] < [13]:S_FCP_I10FC(i) OR NOT {L40}:[13]:S_FCP_I10FC(i) -2[-12,8] < [11]:S_ICP_I10FC_SENSOR(i) AND NOT {L75}:[44]:S_ICP_I10FC_SENSOR(I) +51[41,61] < [45]:E_ICP_I10FC_CMDS(I) OR NOT {L9}:[18]:E_ICP_I10FC_CMDS(i) -1[-11,9] < [19]:S_ICP_I10FC_CMDS(i) OR NOT {L43}:[19]:S_ICP_I10FC_CMDS(i) -1[-11,9] < [17]:S_FCP_O10FC(i) OR NOT {L42}:[17]:S_FCP_O10FC(i) -40[-50,-30] < [15]:S_FCP_P10FC(i) OR NOT {L41}:[15]:S_FCP_P10FC(i) -1[-11,9] < [13]:S_FCP_I10FC(i) OR NOT {L40}:[13]:S_FCP_I10FC(i) -2[-12,8] < [11]:S_ICP_I10FC_SENSOR(i) AND {L76}:[46]:S_ICP_I50FC_SENSOR(x4) -10[-20,0] < [47]:new4(x4) OR {L77}:[48]:S_ICP_I10FC_SENSOR(x3) -8[-18,2] < [49]:new3(x3) OR {L78}:[50]:S_ICP_I10FC_SENSOR(x2) -6[-16,4] < [51]:new2(x2) OR {L79}:[52]:S_ICP_I50FC_SENSOR(x1) -4[-14,6] < [53]:new1(x1) OR {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR {L75}:[44]:S_ICP_I10FC_SENSOR(I) +51[41,61] < [45]:E_ICP_I10FC_CMDS(I) AND NOT {L3}:[6]:E_FCP_O50FC(i) -1[-11,9] < [7]:S_FCP_O50(i) OR NOT {L80}:[54]:S_FCP_O50(sdrtl1) +4[-20,20] < [55]:E_ICP_I50FC_CMDS(sdrtl1) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L16}:[26]:S_FCP_O50FC(i) +0[-10,10] < [6]:E_FCP_O50FC(i) AND {L80}:[54]:S_FCP_O50(sdrtl1) +4[-20,20] < [55]:E_ICP_I50FC_CMDS(sdrtl1) Determinant:0.0 Final formula: {L0}:[0]:E_ICP_I50FC_SENSOR(i) -2[-12,8] < [1]:S_ICP_I50FC_SENSOR(i) AND {L1}:[2]:E_FCP_I50FC(i) -1[-11,9] < [3]:S_FCP_I50FC(i) AND {L2}:[4]:E_FCP_P50FC(i) -5[-15,5] < [5]:S_FCP_P50FC(i) AND {L3}:[6]:E_FCP_O50FC(i) -1[-11,9] < [7]:S_FCP_O50(i) AND {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) AND {L5}:[10]:E_ICP_I10FC_SENSOR(i) -2[-11,9] < [11]:S_ICP_I10FC_SENSOR(i) AND {L6}:[12]:E_FCP_I10FC(i) -1[-11,9] < [13]:S_FCP_I10FC(i) AND {L7}:[14]:E_FCP_P10FC(i) -40[-50,-30] < [15]:S_FCP_P10FC(i) AND {L8}:[16]:E_FCP_O10FC(i) -1[-11,9] < [17]:S_FCP_O10FC(i) AND {L9}:[18]:E_ICP_I10FC_CMDS(i) -1[-11,9] < [19]:S_ICP_I10FC_CMDS(i) AND {L10}:[20]:E_ICP_I50NFC_SENSOR(i) -5[-15,5] < [21]:S_ICP_I50NFC_SENSOR(i) AND {L11}:[22]:E_FCP_I50NFC(i) -1[-11,9] < [23]:S_FCP_I50NFC(i) AND {L12}:[24]:E_FCP_P50NFC(i) -1[-11,9] < [25]:S_FCP_P50NFC(i) AND {L13}:[1]:S_ICP_I50FC_SENSOR(i) +0[-10,10] < [0]:E_ICP_I50FC_SENSOR(i) AND {L14}:[3]:S_FCP_I50FC(i) +0[-10,10] < [2]:E_FCP_I50FC(i) AND {L15}:[5]:S_FCP_P50FC(i) +0[-10,10] < [4]:E_FCP_P50FC(i) AND {L16}:[26]:S_FCP_O50FC(i) +0[-10,10] < [6]:E_FCP_O50FC(i) AND {L17}:[9]:S_ICP_I50FC_CMDS(i) +0[-10,10] < [8]:E_ICP_I50FC_CMDS(i) AND {L18}:[11]:S_ICP_I10FC_SENSOR(i) +0[-10,10] < [10]:E_ICP_I10FC_SENSOR(i) AND {L19}:[13]:S_FCP_I10FC(i) +0[-10,10] < [12]:E_FCP_I10FC(i) AND {L20}:[15]:S_FCP_P10FC(i) +0[-10,10] < [14]:E_FCP_P10FC(i) AND {L21}:[17]:S_FCP_O10FC(i) +0[-10,10] < [16]:E_FCP_O10FC(i) AND {L22}:[19]:S_ICP_I10FC_CMDS(i) +0[-10,10] < [18]:E_ICP_I10FC_CMDS(i) AND {L23}:[21]:S_ICP_I50NFC_SENSOR(i) +0[-10,10] < [20]:E_ICP_I50NFC_SENSOR(i) AND {L24}:[23]:S_FCP_I50NFC(i) +0[-10,10] < [22]:E_FCP_I50NFC(i) AND {L25}:[25]:S_FCP_P50NFC(i) +0[-10,10] < [24]:E_FCP_P50NFC(i) AND {L26}:[0]:E_ICP_I50FC_SENSOR(i) +0[-10,10] < [3]:S_FCP_I50FC(i) AND {L27}:[2]:E_FCP_I50FC(i) +0[-10,10] < [5]:S_FCP_P50FC(i) AND {L28}:[4]:E_FCP_P50FC(i) +0[-10,10] < [26]:S_FCP_O50FC(i) AND {L29}:[6]:E_FCP_O50FC(i) +0[-10,10] < [27]:S_FCP_I50FC_CMDS(i) AND {L30}:[10]:E_ICP_I10FC_SENSOR(i) +0[-10,10] < [13]:S_FCP_I10FC(i) AND {L31}:[12]:E_FCP_I10FC(i) +0[-10,10] < [15]:S_FCP_P10FC(i) AND {L32}:[14]:E_FCP_P10FC(i) +0[-10,10] < [17]:S_FCP_O10FC(i) AND {L33}:[16]:E_FCP_O10FC(i) +0[-10,10] < [28]:S_FCP_I10FC_CMDS(i) AND {L34}:[20]:E_ICP_I50NFC_SENSOR(i) +0[-10,10] < [23]:S_FCP_I50NFC(i) AND {L35}:[22]:E_FCP_I50NFC(i) +0[-10,10] < [25]:S_FCP_P50NFC(i) AND {L36}:[3]:S_FCP_I50FC(i) -2[-12,8] < [1]:S_ICP_I50FC_SENSOR(i) AND {L37}:[5]:S_FCP_P50FC(i) -1[-11,9] < [3]:S_FCP_I50FC(i) AND {L38}:[26]:S_FCP_O50FC(i) -5[-15,5] < [5]:S_FCP_P50FC(i) AND {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) AND {L40}:[13]:S_FCP_I10FC(i) -2[-12,8] < [11]:S_ICP_I10FC_SENSOR(i) AND {L41}:[15]:S_FCP_P10FC(i) -1[-11,9] < [13]:S_FCP_I10FC(i) AND {L42}:[17]:S_FCP_O10FC(i) -40[-50,-30] < [15]:S_FCP_P10FC(i) AND {L43}:[19]:S_ICP_I10FC_CMDS(i) -1[-11,9] < [17]:S_FCP_O10FC(i) AND {L44}:[23]:S_FCP_I50NFC(i) -2[-12,8] < [21]:S_ICP_I50NFC_SENSOR(i) AND {L45}:[25]:S_FCP_P50NFC(i) -1[-11,9] < [23]:S_FCP_I50NFC(i) AND {L46}:[1]:S_ICP_I50FC_SENSOR(i) +20[10,30] < [29]:S_ICP_I50FC_SENSOR(i+1) AND {L47}:[3]:S_FCP_I50FC(i) +20[10,30] < [30]:S_FCP_I50FC(i+1) AND {L48}:[5]:S_FCP_P50FC(i) +20[10,30] < [31]:S_FCP_P50FC(i+1) AND {L49}:[26]:S_FCP_O50FC(i) +20[10,30] < [32]:S_FCP_O50FC(i+1) AND {L50}:[9]:S_ICP_I50FC_CMDS(i) +20[10,30] < [33]:S_ICP_I50FC_CMDS(i+1) AND {L51}:[29]:S_ICP_I50FC_SENSOR(i+1) -20[-30,-10] < [1]:S_ICP_I50FC_SENSOR(i) AND {L52}:[30]:S_FCP_I50FC(i+1) -20[-30,-10] < [3]:S_FCP_I50FC(i) AND {L53}:[31]:S_FCP_P50FC(i+1) -20[-30,-10] < [5]:S_FCP_P50FC(i) AND {L54}:[32]:S_FCP_O50FC(i+1) -20[-30,-10] < [26]:S_FCP_O50FC(i) AND {L55}:[33]:S_ICP_I50FC_CMDS(i+1) -20[-30,-10] < [9]:S_ICP_I50FC_CMDS(i) AND {L56}:[11]:S_ICP_I10FC_SENSOR(i) +100[90,110] < [34]:S_ICP_I10FC_SENSOR(i+1) AND {L57}:[13]:S_FCP_I10FC(i) +100[90,110] < [35]:S_FCP_I10FC(i+1) AND {L58}:[15]:S_FCP_P10FC(i) +100[90,110] < [36]:S_FCP_P10FC(i+1) AND {L59}:[17]:S_FCP_O10FC(i) +100[90,110] < [37]:S_FCP_O10FC(i+1) AND {L60}:[19]:S_ICP_I10FC_CMDS(i) +100[90,110] < [38]:S_ICP_I10FC_CMDS(i+1) AND {L61}:[34]:S_ICP_I10FC_SENSOR(i+1) -100[-110,-90] < [11]:S_ICP_I10FC_SENSOR(i) AND {L62}:[35]:S_FCP_I10FC(i+1) -100[-110,-90] < [13]:S_FCP_I10FC(i) AND {L63}:[36]:S_FCP_P10FC(i+1) -100[-110,-90] < [15]:S_FCP_P10FC(i) AND {L64}:[37]:S_FCP_O10FC(i+1) -100[-110,-90] < [17]:S_FCP_O10FC(i) AND {L65}:[38]:S_ICP_I10FC_CMDS(i+1) -100[-110,-90] < [19]:S_ICP_I10FC_CMDS(i) AND {L66}:[21]:S_ICP_I50NFC_SENSOR(i) +20[10,30] < [39]:S_ICP_I50NFC_SENSOR(i+1) AND {L67}:[23]:S_FCP_I50NFC(i) +20[10,30] < [40]:S_FCP_I50NFC(i+1) AND {L68}:[25]:S_FCP_P50NFC(i) +20[10,30] < [41]:S_FCP_P50NFC(i+1) AND {L69}:[39]:S_ICP_I50NFC_SENSOR(i+1) -20[-30,-10] < [21]:S_ICP_I50NFC_SENSOR(i) AND {L70}:[40]:S_FCP_I50NFC(i+1) -20[-30,-10] < [23]:S_FCP_I50NFC(i) AND {L71}:[41]:S_FCP_P50NFC(i+1) -20[-30,-10] < [25]:S_FCP_P50NFC(i) AND {L72}:[2]:E_FCP_I50FC(i) +0[-10,10] < [13]:S_FCP_I10FC(i) AND {L73}:[2]:E_FCP_I50FC(i) +0[-10,10] < [23]:S_FCP_I50NFC(i) AND NOT {L46}:[1]:S_ICP_I50FC_SENSOR(i) +20[10,30] < [29]:S_ICP_I50FC_SENSOR(i+1) OR NOT {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L38}:[26]:S_FCP_O50FC(i) -5[-15,5] < [5]:S_FCP_P50FC(i) OR NOT {L37}:[5]:S_FCP_P50FC(i) -1[-11,9] < [3]:S_FCP_I50FC(i) OR NOT {L36}:[3]:S_FCP_I50FC(i) -2[-12,8] < [1]:S_ICP_I50FC_SENSOR(i) AND NOT {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L38}:[26]:S_FCP_O50FC(i) -5[-15,5] < [5]:S_FCP_P50FC(i) OR NOT {L37}:[5]:S_FCP_P50FC(i) -1[-11,9] < [3]:S_FCP_I50FC(i) OR NOT {L36}:[3]:S_FCP_I50FC(i) -2[-12,8] < [1]:S_ICP_I50FC_SENSOR(i) AND NOT {L56}:[11]:S_ICP_I10FC_SENSOR(i) +100[90,110] < [34]:S_ICP_I10FC_SENSOR(i+1) OR NOT {L75}:[44]:S_ICP_I10FC_SENSOR(I) +51[41,61] < [45]:E_ICP_I10FC_CMDS(I) OR NOT {L9}:[18]:E_ICP_I10FC_CMDS(i) -1[-11,9] < [19]:S_ICP_I10FC_CMDS(i) OR NOT {L43}:[19]:S_ICP_I10FC_CMDS(i) -1[-11,9] < [17]:S_FCP_O10FC(i) OR NOT {L42}:[17]:S_FCP_O10FC(i) -40[-50,-30] < [15]:S_FCP_P10FC(i) OR NOT {L41}:[15]:S_FCP_P10FC(i) -1[-11,9] < [13]:S_FCP_I10FC(i) OR NOT {L40}:[13]:S_FCP_I10FC(i) -2[-12,8] < [11]:S_ICP_I10FC_SENSOR(i) AND NOT {L75}:[44]:S_ICP_I10FC_SENSOR(I) +51[41,61] < [45]:E_ICP_I10FC_CMDS(I) OR NOT {L9}:[18]:E_ICP_I10FC_CMDS(i) -1[-11,9] < [19]:S_ICP_I10FC_CMDS(i) OR NOT {L43}:[19]:S_ICP_I10FC_CMDS(i) -1[-11,9] < [17]:S_FCP_O10FC(i) OR NOT {L42}:[17]:S_FCP_O10FC(i) -40[-50,-30] < [15]:S_FCP_P10FC(i) OR NOT {L41}:[15]:S_FCP_P10FC(i) -1[-11,9] < [13]:S_FCP_I10FC(i) OR NOT {L40}:[13]:S_FCP_I10FC(i) -2[-12,8] < [11]:S_ICP_I10FC_SENSOR(i) AND {L76}:[46]:S_ICP_I50FC_SENSOR(x4) -10[-20,0] < [47]:new4(x4) OR {L77}:[48]:S_ICP_I10FC_SENSOR(x3) -8[-18,2] < [49]:new3(x3) OR {L78}:[50]:S_ICP_I10FC_SENSOR(x2) -6[-16,4] < [51]:new2(x2) OR {L79}:[52]:S_ICP_I50FC_SENSOR(x1) -4[-14,6] < [53]:new1(x1) OR {L74}:[42]:S_ICP_I50FC_SENSOR(I) +11[1,21] < [43]:E_ICP_I50FC_CMDS(I) OR {L75}:[44]:S_ICP_I10FC_SENSOR(I) +51[41,61] < [45]:E_ICP_I10FC_CMDS(I) AND NOT {L3}:[6]:E_FCP_O50FC(i) -1[-11,9] < [7]:S_FCP_O50(i) OR NOT {L80}:[54]:S_FCP_O50(sdrtl1) +4[-20,20] < [55]:E_ICP_I50FC_CMDS(sdrtl1) OR NOT {L4}:[8]:E_ICP_I50FC_CMDS(i) -1[-11,9] < [9]:S_ICP_I50FC_CMDS(i) OR NOT {L39}:[9]:S_ICP_I50FC_CMDS(i) -1[-11,9] < [26]:S_FCP_O50FC(i) OR NOT {L16}:[26]:S_FCP_O50FC(i) +0[-10,10] < [6]:E_FCP_O50FC(i) AND {L80}:[54]:S_FCP_O50(sdrtl1) +4[-20,20] < [55]:E_ICP_I50FC_CMDS(sdrtl1) Determinant:0.0