x38test/x38add1possible 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]:new1(x) AND {L57}:[-1]:new1(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L58}:[-1]:new1(x) +0[-20,20] < [-1]:E_ICP_I50FC_SENSOR(x) AND {L59}:[-1]:E_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:new1(x) AND {L57}:[-1]:new1(x) +0[-20,20] < [-1]:S_ICP_I50FC_SENSOR(x) AND {L56}:[-1]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [-1]:new1(x) AND {L60}:[-1]:new1(x) +0[-20,20] < [-1]:E_FCP_I50FC(x) AND {L61}:[-1]:E_FCP_I50FC(x) +0[-20,20] < [-1]:new1(x) AND {L62}:[-1]:new1(x) +0[-20,20] < [-1]:S_FCP_I50FC(x) AND {L63}:[-1]:S_FCP_I50FC(x) +0[-20,20] < [-1]:new1(x) AND {L64}:[-1]:new1(x) +0[-20,20] < [-1]:E_FCP_P50FC(x) AND {L65}:[-1]:E_FCP_P50FC(x) +0[-20,20] < [-1]:new1(x) AND {L66}:[-1]:new1(x) +0[-20,20] < [-1]:S_FCP_P50FC(x) AND {L67}:[-1]:S_FCP_P50FC(x) +0[-20,20] < [-1]:new1(x) AND {L68}:[-1]:new1(x) +0[-20,20] < [-1]:E_FCP_O50FC(x) AND {L69}:[-1]:E_FCP_O50FC(x) +0[-20,20] < [-1]:new1(x) AND {L70}:[-1]:new1(x) +0[-20,20] < [-1]:S_FCP_O50(x) AND {L71}:[-1]:S_FCP_O50(x) +0[-20,20] < [-1]:new1(x) AND {L72}:[-1]:new1(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L73}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:new1(x) AND {L74}:[-1]:new1(x) +0[-20,20] < [-1]:S_ICP_I50FC_CMDS(x) AND {L75}:[-1]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:new1(x) AND {L76}:[-1]:new1(x) +0[-20,20] < [-1]:E_ICP_I10FC_SENSOR(x) AND {L77}:[-1]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:new1(x) AND {L78}:[-1]:new1(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L79}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:new1(x) AND {L80}:[-1]:new1(x) +0[-20,20] < [-1]:E_FCP_I10FC(x) AND {L81}:[-1]:E_FCP_I10FC(x) +0[-20,20] < [-1]:new1(x) AND {L82}:[-1]:new1(x) +0[-20,20] < [-1]:S_FCP_I10FC(x) AND {L83}:[-1]:S_FCP_I10FC(x) +0[-20,20] < [-1]:new1(x) AND {L84}:[-1]:new1(x) +0[-20,20] < [-1]:E_FCP_P10FC(x) AND {L85}:[-1]:E_FCP_P10FC(x) +0[-20,20] < [-1]:new1(x) AND {L86}:[-1]:new1(x) +0[-20,20] < [-1]:S_FCP_P10FC(x) AND {L87}:[-1]:S_FCP_P10FC(x) +0[-20,20] < [-1]:new1(x) AND {L88}:[-1]:new1(x) +0[-20,20] < [-1]:E_FCP_O10FC(x) AND {L89}:[-1]:E_FCP_O10FC(x) +0[-20,20] < [-1]:new1(x) AND {L90}:[-1]:new1(x) +0[-20,20] < [-1]:S_FCP_O10FC(x) AND {L91}:[-1]:S_FCP_O10FC(x) +0[-20,20] < [-1]:new1(x) AND {L92}:[-1]:new1(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L93}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:new1(x) AND {L94}:[-1]:new1(x) +0[-20,20] < [-1]:S_ICP_I10FC_CMDS(x) AND {L95}:[-1]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:new1(x) AND {L96}:[-1]:new1(x) +0[-20,20] < [-1]:E_ICP_I50NFC_SENSOR(x) AND {L97}:[-1]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:new1(x) AND {L98}:[-1]:new1(x) +0[-20,20] < [-1]:S_ICP_I50NFC_SENSOR(x) AND {L99}:[-1]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:new1(x) AND {L100}:[-1]:new1(x) +0[-20,20] < [-1]:E_FCP_I50NFC(x) AND {L101}:[-1]:E_FCP_I50NFC(x) +0[-20,20] < [-1]:new1(x) AND {L102}:[-1]:new1(x) +0[-20,20] < [-1]:S_FCP_I50NFC(x) AND {L103}:[-1]:S_FCP_I50NFC(x) +0[-20,20] < [-1]:new1(x) AND {L104}:[-1]:new1(x) +0[-20,20] < [-1]:E_FCP_P50NFC(x) AND {L105}:[-1]:E_FCP_P50NFC(x) +0[-20,20] < [-1]:new1(x) AND {L106}:[-1]:new1(x) +0[-20,20] < [-1]:S_FCP_P50NFC(x) AND {L107}:[-1]:S_FCP_P50NFC(x) +0[-20,20] < [-1]:new1(x) AND {L108}:[-1]:new1(x) +0[-20,20] < [-1]:S_FCP_O50FC(x) AND {L109}:[-1]:S_FCP_O50FC(x) +0[-20,20] < [-1]:new1(x) AND {L110}:[-1]:new1(x) +0[-20,20] < [-1]:S_FCP_I50FC_CMDS(x) AND {L111}:[-1]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [-1]:new1(x) AND {L112}:[-1]:new1(x) +0[-20,20] < [-1]:S_FCP_I10FC_CMDS(x) AND {L113}:[-1]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [-1]:new1(x) AND {L114}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I50FC_SENSOR(x) AND {L115}:[-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 {L116}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_I50FC(x) AND {L117}:[-1]:E_FCP_I50FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L118}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_I50FC(x) AND {L119}:[-1]:S_FCP_I50FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L120}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_P50FC(x) AND {L121}:[-1]:E_FCP_P50FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L122}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_P50FC(x) AND {L123}:[-1]:S_FCP_P50FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L124}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_O50FC(x) AND {L125}:[-1]:E_FCP_O50FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L126}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_O50(x) AND {L127}:[-1]:S_FCP_O50(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L128}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I50FC_CMDS(x) AND {L129}:[-1]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L130}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I10FC_SENSOR(x) AND {L131}:[-1]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L132}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L133}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L134}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_I10FC(x) AND {L135}:[-1]:E_FCP_I10FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L136}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_I10FC(x) AND {L137}:[-1]:S_FCP_I10FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L138}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_P10FC(x) AND {L139}:[-1]:E_FCP_P10FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L140}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_P10FC(x) AND {L141}:[-1]:S_FCP_P10FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L142}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_O10FC(x) AND {L143}:[-1]:E_FCP_O10FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L144}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_O10FC(x) AND {L145}:[-1]:S_FCP_O10FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L146}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L147}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L148}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I10FC_CMDS(x) AND {L149}:[-1]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L150}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I50NFC_SENSOR(x) AND {L151}:[-1]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L152}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I50NFC_SENSOR(x) AND {L153}:[-1]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L154}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_I50NFC(x) AND {L155}:[-1]:E_FCP_I50NFC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L156}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_I50NFC(x) AND {L157}:[-1]:S_FCP_I50NFC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L158}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_P50NFC(x) AND {L159}:[-1]:E_FCP_P50NFC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L160}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_P50NFC(x) AND {L161}:[-1]:S_FCP_P50NFC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L162}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_O50FC(x) AND {L163}:[-1]:S_FCP_O50FC(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L164}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_I50FC_CMDS(x) AND {L165}:[-1]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L166}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_I10FC_CMDS(x) AND {L167}:[-1]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L73}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:new1(x) AND {L72}:[-1]:new1(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L168}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I50FC_SENSOR(x) AND {L169}:[-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 {L170}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_I50FC(x) AND {L171}:[-1]:E_FCP_I50FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L172}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_I50FC(x) AND {L173}:[-1]:S_FCP_I50FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L174}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_P50FC(x) AND {L175}:[-1]:E_FCP_P50FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L176}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_P50FC(x) AND {L177}:[-1]:S_FCP_P50FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L178}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_O50FC(x) AND {L179}:[-1]:E_FCP_O50FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L180}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_O50(x) AND {L181}:[-1]:S_FCP_O50(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L133}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L132}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L182}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I50FC_CMDS(x) AND {L183}:[-1]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L184}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I10FC_SENSOR(x) AND {L185}:[-1]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L186}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_I10FC(x) AND {L187}:[-1]:E_FCP_I10FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L188}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_I10FC(x) AND {L189}:[-1]:S_FCP_I10FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L190}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_P10FC(x) AND {L191}:[-1]:E_FCP_P10FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L192}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_P10FC(x) AND {L193}:[-1]:S_FCP_P10FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L194}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_O10FC(x) AND {L195}:[-1]:E_FCP_O10FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L196}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_O10FC(x) AND {L197}:[-1]:S_FCP_O10FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L198}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L199}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L200}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I10FC_CMDS(x) AND {L201}:[-1]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L202}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I50NFC_SENSOR(x) AND {L203}:[-1]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L204}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I50NFC_SENSOR(x) AND {L205}:[-1]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L206}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_I50NFC(x) AND {L207}:[-1]:E_FCP_I50NFC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L208}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_I50NFC(x) AND {L209}:[-1]:S_FCP_I50NFC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L210}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_FCP_P50NFC(x) AND {L211}:[-1]:E_FCP_P50NFC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L212}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_P50NFC(x) AND {L213}:[-1]:S_FCP_P50NFC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L214}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_O50FC(x) AND {L215}:[-1]:S_FCP_O50FC(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L216}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_I50FC_CMDS(x) AND {L217}:[-1]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L218}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:S_FCP_I10FC_CMDS(x) AND {L219}:[-1]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L79}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:new1(x) AND {L78}:[-1]:new1(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L220}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I50FC_SENSOR(x) AND {L221}:[-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 {L222}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_I50FC(x) AND {L223}:[-1]:E_FCP_I50FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L224}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_I50FC(x) AND {L225}:[-1]:S_FCP_I50FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L226}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_P50FC(x) AND {L227}:[-1]:E_FCP_P50FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L228}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_P50FC(x) AND {L229}:[-1]:S_FCP_P50FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L230}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_O50FC(x) AND {L231}:[-1]:E_FCP_O50FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L232}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_O50(x) AND {L233}:[-1]:S_FCP_O50(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L147}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I50FC_CMDS(x) AND {L146}:[-1]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L234}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I50FC_CMDS(x) AND {L235}:[-1]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L236}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I10FC_SENSOR(x) AND {L237}:[-1]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L199}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I10FC_SENSOR(x) AND {L198}:[-1]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L238}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_I10FC(x) AND {L239}:[-1]:E_FCP_I10FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L240}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_I10FC(x) AND {L241}:[-1]:S_FCP_I10FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L242}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_P10FC(x) AND {L243}:[-1]:E_FCP_P10FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L244}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_P10FC(x) AND {L245}:[-1]:S_FCP_P10FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L246}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_O10FC(x) AND {L247}:[-1]:E_FCP_O10FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L248}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_O10FC(x) AND {L249}:[-1]:S_FCP_O10FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L250}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I10FC_CMDS(x) AND {L251}:[-1]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L252}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I50NFC_SENSOR(x) AND {L253}:[-1]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L254}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_ICP_I50NFC_SENSOR(x) AND {L255}:[-1]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L256}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_I50NFC(x) AND {L257}:[-1]:E_FCP_I50NFC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L258}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_I50NFC(x) AND {L259}:[-1]:S_FCP_I50NFC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L260}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_FCP_P50NFC(x) AND {L261}:[-1]:E_FCP_P50NFC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L262}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_P50NFC(x) AND {L263}:[-1]:S_FCP_P50NFC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L264}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_O50FC(x) AND {L265}:[-1]:S_FCP_O50FC(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L266}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_I50FC_CMDS(x) AND {L267}:[-1]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L268}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:S_FCP_I10FC_CMDS(x) AND {L269}:[-1]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [-1]:E_ICP_I10FC_CMDS(x) AND {L93}:[-1]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [-1]:new1(x) AND {L92}:[-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]:new1(x) AND {L57}:[29]:new1(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L58}:[29]:new1(x) +0[-20,20] < [1]:E_ICP_I50FC_SENSOR(x) AND {L59}:[1]:E_ICP_I50FC_SENSOR(x) +0[-20,20] < [29]:new1(x) AND {L57}:[29]:new1(x) +0[-20,20] < [0]:S_ICP_I50FC_SENSOR(x) AND {L56}:[0]:S_ICP_I50FC_SENSOR(x) +0[-20,20] < [29]:new1(x) AND {L60}:[29]:new1(x) +0[-20,20] < [2]:E_FCP_I50FC(x) AND {L61}:[2]:E_FCP_I50FC(x) +0[-20,20] < [29]:new1(x) AND {L62}:[29]:new1(x) +0[-20,20] < [3]:S_FCP_I50FC(x) AND {L63}:[3]:S_FCP_I50FC(x) +0[-20,20] < [29]:new1(x) AND {L64}:[29]:new1(x) +0[-20,20] < [4]:E_FCP_P50FC(x) AND {L65}:[4]:E_FCP_P50FC(x) +0[-20,20] < [29]:new1(x) AND {L66}:[29]:new1(x) +0[-20,20] < [5]:S_FCP_P50FC(x) AND {L67}:[5]:S_FCP_P50FC(x) +0[-20,20] < [29]:new1(x) AND {L68}:[29]:new1(x) +0[-20,20] < [6]:E_FCP_O50FC(x) AND {L69}:[6]:E_FCP_O50FC(x) +0[-20,20] < [29]:new1(x) AND {L70}:[29]:new1(x) +0[-20,20] < [7]:S_FCP_O50(x) AND {L71}:[7]:S_FCP_O50(x) +0[-20,20] < [29]:new1(x) AND {L72}:[29]:new1(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L73}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [29]:new1(x) AND {L74}:[29]:new1(x) +0[-20,20] < [9]:S_ICP_I50FC_CMDS(x) AND {L75}:[9]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [29]:new1(x) AND {L76}:[29]:new1(x) +0[-20,20] < [10]:E_ICP_I10FC_SENSOR(x) AND {L77}:[10]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [29]:new1(x) AND {L78}:[29]:new1(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L79}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [29]:new1(x) AND {L80}:[29]:new1(x) +0[-20,20] < [12]:E_FCP_I10FC(x) AND {L81}:[12]:E_FCP_I10FC(x) +0[-20,20] < [29]:new1(x) AND {L82}:[29]:new1(x) +0[-20,20] < [13]:S_FCP_I10FC(x) AND {L83}:[13]:S_FCP_I10FC(x) +0[-20,20] < [29]:new1(x) AND {L84}:[29]:new1(x) +0[-20,20] < [14]:E_FCP_P10FC(x) AND {L85}:[14]:E_FCP_P10FC(x) +0[-20,20] < [29]:new1(x) AND {L86}:[29]:new1(x) +0[-20,20] < [15]:S_FCP_P10FC(x) AND {L87}:[15]:S_FCP_P10FC(x) +0[-20,20] < [29]:new1(x) AND {L88}:[29]:new1(x) +0[-20,20] < [16]:E_FCP_O10FC(x) AND {L89}:[16]:E_FCP_O10FC(x) +0[-20,20] < [29]:new1(x) AND {L90}:[29]:new1(x) +0[-20,20] < [17]:S_FCP_O10FC(x) AND {L91}:[17]:S_FCP_O10FC(x) +0[-20,20] < [29]:new1(x) AND {L92}:[29]:new1(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L93}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [29]:new1(x) AND {L94}:[29]:new1(x) +0[-20,20] < [19]:S_ICP_I10FC_CMDS(x) AND {L95}:[19]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [29]:new1(x) AND {L96}:[29]:new1(x) +0[-20,20] < [20]:E_ICP_I50NFC_SENSOR(x) AND {L97}:[20]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [29]:new1(x) AND {L98}:[29]:new1(x) +0[-20,20] < [21]:S_ICP_I50NFC_SENSOR(x) AND {L99}:[21]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [29]:new1(x) AND {L100}:[29]:new1(x) +0[-20,20] < [22]:E_FCP_I50NFC(x) AND {L101}:[22]:E_FCP_I50NFC(x) +0[-20,20] < [29]:new1(x) AND {L102}:[29]:new1(x) +0[-20,20] < [23]:S_FCP_I50NFC(x) AND {L103}:[23]:S_FCP_I50NFC(x) +0[-20,20] < [29]:new1(x) AND {L104}:[29]:new1(x) +0[-20,20] < [24]:E_FCP_P50NFC(x) AND {L105}:[24]:E_FCP_P50NFC(x) +0[-20,20] < [29]:new1(x) AND {L106}:[29]:new1(x) +0[-20,20] < [25]:S_FCP_P50NFC(x) AND {L107}:[25]:S_FCP_P50NFC(x) +0[-20,20] < [29]:new1(x) AND {L108}:[29]:new1(x) +0[-20,20] < [26]:S_FCP_O50FC(x) AND {L109}:[26]:S_FCP_O50FC(x) +0[-20,20] < [29]:new1(x) AND {L110}:[29]:new1(x) +0[-20,20] < [27]:S_FCP_I50FC_CMDS(x) AND {L111}:[27]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [29]:new1(x) AND {L112}:[29]:new1(x) +0[-20,20] < [28]:S_FCP_I10FC_CMDS(x) AND {L113}:[28]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [29]:new1(x) AND {L114}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [1]:E_ICP_I50FC_SENSOR(x) AND {L115}:[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 {L116}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [2]:E_FCP_I50FC(x) AND {L117}:[2]:E_FCP_I50FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L118}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [3]:S_FCP_I50FC(x) AND {L119}:[3]:S_FCP_I50FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L120}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [4]:E_FCP_P50FC(x) AND {L121}:[4]:E_FCP_P50FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L122}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [5]:S_FCP_P50FC(x) AND {L123}:[5]:S_FCP_P50FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L124}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [6]:E_FCP_O50FC(x) AND {L125}:[6]:E_FCP_O50FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L126}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [7]:S_FCP_O50(x) AND {L127}:[7]:S_FCP_O50(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L128}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [9]:S_ICP_I50FC_CMDS(x) AND {L129}:[9]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L130}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [10]:E_ICP_I10FC_SENSOR(x) AND {L131}:[10]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L132}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L133}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L134}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [12]:E_FCP_I10FC(x) AND {L135}:[12]:E_FCP_I10FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L136}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [13]:S_FCP_I10FC(x) AND {L137}:[13]:S_FCP_I10FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L138}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [14]:E_FCP_P10FC(x) AND {L139}:[14]:E_FCP_P10FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L140}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [15]:S_FCP_P10FC(x) AND {L141}:[15]:S_FCP_P10FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L142}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [16]:E_FCP_O10FC(x) AND {L143}:[16]:E_FCP_O10FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L144}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [17]:S_FCP_O10FC(x) AND {L145}:[17]:S_FCP_O10FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L146}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L147}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L148}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [19]:S_ICP_I10FC_CMDS(x) AND {L149}:[19]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L150}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [20]:E_ICP_I50NFC_SENSOR(x) AND {L151}:[20]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L152}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [21]:S_ICP_I50NFC_SENSOR(x) AND {L153}:[21]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L154}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [22]:E_FCP_I50NFC(x) AND {L155}:[22]:E_FCP_I50NFC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L156}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [23]:S_FCP_I50NFC(x) AND {L157}:[23]:S_FCP_I50NFC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L158}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [24]:E_FCP_P50NFC(x) AND {L159}:[24]:E_FCP_P50NFC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L160}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [25]:S_FCP_P50NFC(x) AND {L161}:[25]:S_FCP_P50NFC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L162}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [26]:S_FCP_O50FC(x) AND {L163}:[26]:S_FCP_O50FC(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L164}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [27]:S_FCP_I50FC_CMDS(x) AND {L165}:[27]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L166}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [28]:S_FCP_I10FC_CMDS(x) AND {L167}:[28]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L73}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [29]:new1(x) AND {L72}:[29]:new1(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L168}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [1]:E_ICP_I50FC_SENSOR(x) AND {L169}:[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 {L170}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [2]:E_FCP_I50FC(x) AND {L171}:[2]:E_FCP_I50FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L172}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [3]:S_FCP_I50FC(x) AND {L173}:[3]:S_FCP_I50FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L174}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [4]:E_FCP_P50FC(x) AND {L175}:[4]:E_FCP_P50FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L176}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [5]:S_FCP_P50FC(x) AND {L177}:[5]:S_FCP_P50FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L178}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [6]:E_FCP_O50FC(x) AND {L179}:[6]:E_FCP_O50FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L180}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [7]:S_FCP_O50(x) AND {L181}:[7]:S_FCP_O50(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L133}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L132}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L182}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [9]:S_ICP_I50FC_CMDS(x) AND {L183}:[9]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L184}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [10]:E_ICP_I10FC_SENSOR(x) AND {L185}:[10]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L186}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [12]:E_FCP_I10FC(x) AND {L187}:[12]:E_FCP_I10FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L188}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [13]:S_FCP_I10FC(x) AND {L189}:[13]:S_FCP_I10FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L190}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [14]:E_FCP_P10FC(x) AND {L191}:[14]:E_FCP_P10FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L192}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [15]:S_FCP_P10FC(x) AND {L193}:[15]:S_FCP_P10FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L194}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [16]:E_FCP_O10FC(x) AND {L195}:[16]:E_FCP_O10FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L196}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [17]:S_FCP_O10FC(x) AND {L197}:[17]:S_FCP_O10FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L198}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L199}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L200}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [19]:S_ICP_I10FC_CMDS(x) AND {L201}:[19]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L202}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [20]:E_ICP_I50NFC_SENSOR(x) AND {L203}:[20]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L204}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [21]:S_ICP_I50NFC_SENSOR(x) AND {L205}:[21]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L206}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [22]:E_FCP_I50NFC(x) AND {L207}:[22]:E_FCP_I50NFC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L208}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [23]:S_FCP_I50NFC(x) AND {L209}:[23]:S_FCP_I50NFC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L210}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [24]:E_FCP_P50NFC(x) AND {L211}:[24]:E_FCP_P50NFC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L212}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [25]:S_FCP_P50NFC(x) AND {L213}:[25]:S_FCP_P50NFC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L214}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [26]:S_FCP_O50FC(x) AND {L215}:[26]:S_FCP_O50FC(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L216}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [27]:S_FCP_I50FC_CMDS(x) AND {L217}:[27]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L218}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [28]:S_FCP_I10FC_CMDS(x) AND {L219}:[28]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L79}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [29]:new1(x) AND {L78}:[29]:new1(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L220}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [1]:E_ICP_I50FC_SENSOR(x) AND {L221}:[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 {L222}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [2]:E_FCP_I50FC(x) AND {L223}:[2]:E_FCP_I50FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L224}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [3]:S_FCP_I50FC(x) AND {L225}:[3]:S_FCP_I50FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L226}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [4]:E_FCP_P50FC(x) AND {L227}:[4]:E_FCP_P50FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L228}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [5]:S_FCP_P50FC(x) AND {L229}:[5]:S_FCP_P50FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L230}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [6]:E_FCP_O50FC(x) AND {L231}:[6]:E_FCP_O50FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L232}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [7]:S_FCP_O50(x) AND {L233}:[7]:S_FCP_O50(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L147}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [8]:E_ICP_I50FC_CMDS(x) AND {L146}:[8]:E_ICP_I50FC_CMDS(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L234}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [9]:S_ICP_I50FC_CMDS(x) AND {L235}:[9]:S_ICP_I50FC_CMDS(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L236}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [10]:E_ICP_I10FC_SENSOR(x) AND {L237}:[10]:E_ICP_I10FC_SENSOR(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L199}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [11]:S_ICP_I10FC_SENSOR(x) AND {L198}:[11]:S_ICP_I10FC_SENSOR(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L238}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [12]:E_FCP_I10FC(x) AND {L239}:[12]:E_FCP_I10FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L240}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [13]:S_FCP_I10FC(x) AND {L241}:[13]:S_FCP_I10FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L242}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [14]:E_FCP_P10FC(x) AND {L243}:[14]:E_FCP_P10FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L244}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [15]:S_FCP_P10FC(x) AND {L245}:[15]:S_FCP_P10FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L246}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [16]:E_FCP_O10FC(x) AND {L247}:[16]:E_FCP_O10FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L248}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [17]:S_FCP_O10FC(x) AND {L249}:[17]:S_FCP_O10FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L250}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [19]:S_ICP_I10FC_CMDS(x) AND {L251}:[19]:S_ICP_I10FC_CMDS(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L252}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [20]:E_ICP_I50NFC_SENSOR(x) AND {L253}:[20]:E_ICP_I50NFC_SENSOR(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L254}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [21]:S_ICP_I50NFC_SENSOR(x) AND {L255}:[21]:S_ICP_I50NFC_SENSOR(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L256}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [22]:E_FCP_I50NFC(x) AND {L257}:[22]:E_FCP_I50NFC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L258}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [23]:S_FCP_I50NFC(x) AND {L259}:[23]:S_FCP_I50NFC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L260}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [24]:E_FCP_P50NFC(x) AND {L261}:[24]:E_FCP_P50NFC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L262}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [25]:S_FCP_P50NFC(x) AND {L263}:[25]:S_FCP_P50NFC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L264}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [26]:S_FCP_O50FC(x) AND {L265}:[26]:S_FCP_O50FC(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L266}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [27]:S_FCP_I50FC_CMDS(x) AND {L267}:[27]:S_FCP_I50FC_CMDS(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L268}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [28]:S_FCP_I10FC_CMDS(x) AND {L269}:[28]:S_FCP_I10FC_CMDS(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) AND {L93}:[18]:E_ICP_I10FC_CMDS(x) +0[-20,20] < [29]:new1(x) AND {L92}:[29]:new1(x) +0[-20,20] < [18]:E_ICP_I10FC_CMDS(x) nVertexes = 30 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]:new1(x) Adjacency matrix: nRows = 30 nCols = 30 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0 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 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 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 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 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 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 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 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 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 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 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:1.0 nRows = 79 nCols = 77 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 1 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 -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 -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 -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 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(x) -4[-14,6] < [-1]:new1(x) 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(x) -4[-14,6] < [47]:new1(x) 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 = 48 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(x), [47]:new1(x) Adjacency matrix: nRows = 48 nCols = 48 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 C 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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]:new1(x) 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(x) [47]:new1(x) 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);-1.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);-1.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(x) 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) -7[-20,20] < [-1]:S_ICP_I50FC_SENSOR(I);0.0) 5 : (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) 6 : (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) 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(x) 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) -7[-20,20] < [-1]:S_ICP_I50FC_SENSOR(I);0.0) 9 : (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(x) -4[-14,6] < [47]:new1(x) 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 {L77}:[48]:S_FCP_O50(sdrtl1) +4[-20,20] < [49]: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 {L77}:[48]:S_FCP_O50(sdrtl1) +4[-20,20] < [49]: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(x) -4[-14,6] < [47]:new1(x) 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 {L77}:[48]:S_FCP_O50(sdrtl1) +4[-20,20] < [49]: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 {L77}:[48]:S_FCP_O50(sdrtl1) +4[-20,20] < [49]:E_ICP_I50FC_CMDS(sdrtl1) Determinant:0.0