reactortest/reactoradd2possible bounds: {L0}:[-1]:GRANT1true(x) +0[-20,20] < [-1]:BUTTON1(x) AND {L1}:[-1]:BUTTON1(x) +0[-20,20] < [-1]:GRANT1true(x) AND {L2}:[-1]:GRANT1true(x) +0[-20,20] < [-1]:StartRA1(x) AND {L3}:[-1]:StartRA1(x) +0[-20,20] < [-1]:GRANT1true(x) AND {L4}:[-1]:GRANT1true(x) +0[-20,20] < [-1]:StopRA1(x) AND {L5}:[-1]:StopRA1(x) +0[-20,20] < [-1]:GRANT1true(x) AND {L6}:[-1]:GRANT1true(x) +0[-20,20] < [-1]:StartMOVE1(x) AND {L7}:[-1]:StartMOVE1(x) +0[-20,20] < [-1]:GRANT1true(x) AND {L8}:[-1]:GRANT1true(x) +0[-20,20] < [-1]:StopMOVE1(x) AND {L9}:[-1]:StopMOVE1(x) +0[-20,20] < [-1]:GRANT1true(x) AND {L10}:[-1]:GRANT1true(x) +0[-20,20] < [-1]:BUTTON2(x) AND {L11}:[-1]:BUTTON2(x) +0[-20,20] < [-1]:GRANT1true(x) AND {L12}:[-1]:GRANT1true(x) +0[-20,20] < [-1]:StartRA2(x) AND {L13}:[-1]:StartRA2(x) +0[-20,20] < [-1]:GRANT1true(x) AND {L14}:[-1]:GRANT1true(x) +0[-20,20] < [-1]:StopRA2(x) AND {L15}:[-1]:StopRA2(x) +0[-20,20] < [-1]:GRANT1true(x) AND {L16}:[-1]:GRANT1true(x) +0[-20,20] < [-1]:GRANT2true(x) AND {L17}:[-1]:GRANT2true(x) +0[-20,20] < [-1]:GRANT1true(x) AND {L18}:[-1]:GRANT1true(x) +0[-20,20] < [-1]:StartMOVE2(x) AND {L19}:[-1]:StartMOVE2(x) +0[-20,20] < [-1]:GRANT1true(x) AND {L20}:[-1]:GRANT1true(x) +0[-20,20] < [-1]:StopMOVE2(x) AND {L21}:[-1]:StopMOVE2(x) +0[-20,20] < [-1]:GRANT1true(x) AND {L22}:[-1]:GRANT1true(x) +0[-20,20] < [-1]:GRANT1false(x) AND {L23}:[-1]:GRANT1false(x) +0[-20,20] < [-1]:GRANT1true(x) AND {L24}:[-1]:GRANT1true(x) +0[-20,20] < [-1]:GRANT2false(x) AND {L25}:[-1]:GRANT2false(x) +0[-20,20] < [-1]:GRANT1true(x) AND {L26}:[-1]:GRANT1true(x) +0[-20,20] < [-1]:new1(x) AND {L27}:[-1]:new1(x) +0[-20,20] < [-1]:GRANT1true(x) AND {L28}:[-1]:GRANT1true(x) +0[-20,20] < [-1]:new2(x) AND {L29}:[-1]:new2(x) +0[-20,20] < [-1]:GRANT1true(x) AND {L30}:[-1]:new1(x) +0[-20,20] < [-1]:BUTTON1(x) AND {L31}:[-1]:BUTTON1(x) +0[-20,20] < [-1]:new1(x) AND {L32}:[-1]:new1(x) +0[-20,20] < [-1]:StartRA1(x) AND {L33}:[-1]:StartRA1(x) +0[-20,20] < [-1]:new1(x) AND {L34}:[-1]:new1(x) +0[-20,20] < [-1]:StopRA1(x) AND {L35}:[-1]:StopRA1(x) +0[-20,20] < [-1]:new1(x) AND {L27}:[-1]:new1(x) +0[-20,20] < [-1]:GRANT1true(x) AND {L26}:[-1]:GRANT1true(x) +0[-20,20] < [-1]:new1(x) AND {L36}:[-1]:new1(x) +0[-20,20] < [-1]:StartMOVE1(x) AND {L37}:[-1]:StartMOVE1(x) +0[-20,20] < [-1]:new1(x) AND {L38}:[-1]:new1(x) +0[-20,20] < [-1]:StopMOVE1(x) AND {L39}:[-1]:StopMOVE1(x) +0[-20,20] < [-1]:new1(x) AND {L40}:[-1]:new1(x) +0[-20,20] < [-1]:BUTTON2(x) AND {L41}:[-1]:BUTTON2(x) +0[-20,20] < [-1]:new1(x) AND {L42}:[-1]:new1(x) +0[-20,20] < [-1]:StartRA2(x) AND {L43}:[-1]:StartRA2(x) +0[-20,20] < [-1]:new1(x) AND {L44}:[-1]:new1(x) +0[-20,20] < [-1]:StopRA2(x) AND {L45}:[-1]:StopRA2(x) +0[-20,20] < [-1]:new1(x) AND {L46}:[-1]:new1(x) +0[-20,20] < [-1]:GRANT2true(x) AND {L47}:[-1]:GRANT2true(x) +0[-20,20] < [-1]:new1(x) AND {L48}:[-1]:new1(x) +0[-20,20] < [-1]:StartMOVE2(x) AND {L49}:[-1]:StartMOVE2(x) +0[-20,20] < [-1]:new1(x) AND {L50}:[-1]:new1(x) +0[-20,20] < [-1]:StopMOVE2(x) AND {L51}:[-1]:StopMOVE2(x) +0[-20,20] < [-1]:new1(x) AND {L52}:[-1]:new1(x) +0[-20,20] < [-1]:GRANT1false(x) AND {L53}:[-1]:GRANT1false(x) +0[-20,20] < [-1]:new1(x) AND {L54}:[-1]:new1(x) +0[-20,20] < [-1]:GRANT2false(x) AND {L55}:[-1]:GRANT2false(x) +0[-20,20] < [-1]:new1(x) AND {L56}:[-1]:new1(x) +0[-20,20] < [-1]:new2(x) AND {L57}:[-1]:new2(x) +0[-20,20] < [-1]:new1(x) AND {L58}:[-1]:GRANT2true(x) +0[-20,20] < [-1]:BUTTON1(x) AND {L59}:[-1]:BUTTON1(x) +0[-20,20] < [-1]:GRANT2true(x) AND {L60}:[-1]:GRANT2true(x) +0[-20,20] < [-1]:StartRA1(x) AND {L61}:[-1]:StartRA1(x) +0[-20,20] < [-1]:GRANT2true(x) AND {L62}:[-1]:GRANT2true(x) +0[-20,20] < [-1]:StopRA1(x) AND {L63}:[-1]:StopRA1(x) +0[-20,20] < [-1]:GRANT2true(x) AND {L17}:[-1]:GRANT2true(x) +0[-20,20] < [-1]:GRANT1true(x) AND {L16}:[-1]:GRANT1true(x) +0[-20,20] < [-1]:GRANT2true(x) AND {L64}:[-1]:GRANT2true(x) +0[-20,20] < [-1]:StartMOVE1(x) AND {L65}:[-1]:StartMOVE1(x) +0[-20,20] < [-1]:GRANT2true(x) AND {L66}:[-1]:GRANT2true(x) +0[-20,20] < [-1]:StopMOVE1(x) AND {L67}:[-1]:StopMOVE1(x) +0[-20,20] < [-1]:GRANT2true(x) AND {L68}:[-1]:GRANT2true(x) +0[-20,20] < [-1]:BUTTON2(x) AND {L69}:[-1]:BUTTON2(x) +0[-20,20] < [-1]:GRANT2true(x) AND {L70}:[-1]:GRANT2true(x) +0[-20,20] < [-1]:StartRA2(x) AND {L71}:[-1]:StartRA2(x) +0[-20,20] < [-1]:GRANT2true(x) AND {L72}:[-1]:GRANT2true(x) +0[-20,20] < [-1]:StopRA2(x) AND {L73}:[-1]:StopRA2(x) +0[-20,20] < [-1]:GRANT2true(x) AND {L74}:[-1]:GRANT2true(x) +0[-20,20] < [-1]:StartMOVE2(x) AND {L75}:[-1]:StartMOVE2(x) +0[-20,20] < [-1]:GRANT2true(x) AND {L76}:[-1]:GRANT2true(x) +0[-20,20] < [-1]:StopMOVE2(x) AND {L77}:[-1]:StopMOVE2(x) +0[-20,20] < [-1]:GRANT2true(x) AND {L78}:[-1]:GRANT2true(x) +0[-20,20] < [-1]:GRANT1false(x) AND {L79}:[-1]:GRANT1false(x) +0[-20,20] < [-1]:GRANT2true(x) AND {L80}:[-1]:GRANT2true(x) +0[-20,20] < [-1]:GRANT2false(x) AND {L81}:[-1]:GRANT2false(x) +0[-20,20] < [-1]:GRANT2true(x) AND {L47}:[-1]:GRANT2true(x) +0[-20,20] < [-1]:new1(x) AND {L46}:[-1]:new1(x) +0[-20,20] < [-1]:GRANT2true(x) AND {L82}:[-1]:GRANT2true(x) +0[-20,20] < [-1]:new2(x) AND {L83}:[-1]:new2(x) +0[-20,20] < [-1]:GRANT2true(x) AND {L84}:[-1]:new2(x) +0[-20,20] < [-1]:BUTTON1(x) AND {L85}:[-1]:BUTTON1(x) +0[-20,20] < [-1]:new2(x) AND {L86}:[-1]:new2(x) +0[-20,20] < [-1]:StartRA1(x) AND {L87}:[-1]:StartRA1(x) +0[-20,20] < [-1]:new2(x) AND {L88}:[-1]:new2(x) +0[-20,20] < [-1]:StopRA1(x) AND {L89}:[-1]:StopRA1(x) +0[-20,20] < [-1]:new2(x) AND {L29}:[-1]:new2(x) +0[-20,20] < [-1]:GRANT1true(x) AND {L28}:[-1]:GRANT1true(x) +0[-20,20] < [-1]:new2(x) AND {L90}:[-1]:new2(x) +0[-20,20] < [-1]:StartMOVE1(x) AND {L91}:[-1]:StartMOVE1(x) +0[-20,20] < [-1]:new2(x) AND {L92}:[-1]:new2(x) +0[-20,20] < [-1]:StopMOVE1(x) AND {L93}:[-1]:StopMOVE1(x) +0[-20,20] < [-1]:new2(x) AND {L94}:[-1]:new2(x) +0[-20,20] < [-1]:BUTTON2(x) AND {L95}:[-1]:BUTTON2(x) +0[-20,20] < [-1]:new2(x) AND {L96}:[-1]:new2(x) +0[-20,20] < [-1]:StartRA2(x) AND {L97}:[-1]:StartRA2(x) +0[-20,20] < [-1]:new2(x) AND {L98}:[-1]:new2(x) +0[-20,20] < [-1]:StopRA2(x) AND {L99}:[-1]:StopRA2(x) +0[-20,20] < [-1]:new2(x) AND {L83}:[-1]:new2(x) +0[-20,20] < [-1]:GRANT2true(x) AND {L82}:[-1]:GRANT2true(x) +0[-20,20] < [-1]:new2(x) AND {L100}:[-1]:new2(x) +0[-20,20] < [-1]:StartMOVE2(x) AND {L101}:[-1]:StartMOVE2(x) +0[-20,20] < [-1]:new2(x) AND {L102}:[-1]:new2(x) +0[-20,20] < [-1]:StopMOVE2(x) AND {L103}:[-1]:StopMOVE2(x) +0[-20,20] < [-1]:new2(x) AND {L104}:[-1]:new2(x) +0[-20,20] < [-1]:GRANT1false(x) AND {L105}:[-1]:GRANT1false(x) +0[-20,20] < [-1]:new2(x) AND {L106}:[-1]:new2(x) +0[-20,20] < [-1]:GRANT2false(x) AND {L107}:[-1]:GRANT2false(x) +0[-20,20] < [-1]:new2(x) AND {L57}:[-1]:new2(x) +0[-20,20] < [-1]:new1(x) AND {L56}:[-1]:new1(x) +0[-20,20] < [-1]:new2(x) AND {L108}:[-1]:GRANT1false(x) +0[-20,20] < [-1]:BUTTON1(x) AND {L109}:[-1]:BUTTON1(x) +0[-20,20] < [-1]:GRANT1false(x) AND {L110}:[-1]:GRANT1false(x) +0[-20,20] < [-1]:StartRA1(x) AND {L111}:[-1]:StartRA1(x) +0[-20,20] < [-1]:GRANT1false(x) AND {L112}:[-1]:GRANT1false(x) +0[-20,20] < [-1]:StopRA1(x) AND {L113}:[-1]:StopRA1(x) +0[-20,20] < [-1]:GRANT1false(x) AND {L23}:[-1]:GRANT1false(x) +0[-20,20] < [-1]:GRANT1true(x) AND {L22}:[-1]:GRANT1true(x) +0[-20,20] < [-1]:GRANT1false(x) AND {L114}:[-1]:GRANT1false(x) +0[-20,20] < [-1]:StartMOVE1(x) AND {L115}:[-1]:StartMOVE1(x) +0[-20,20] < [-1]:GRANT1false(x) AND {L116}:[-1]:GRANT1false(x) +0[-20,20] < [-1]:StopMOVE1(x) AND {L117}:[-1]:StopMOVE1(x) +0[-20,20] < [-1]:GRANT1false(x) AND {L118}:[-1]:GRANT1false(x) +0[-20,20] < [-1]:BUTTON2(x) AND {L119}:[-1]:BUTTON2(x) +0[-20,20] < [-1]:GRANT1false(x) AND {L120}:[-1]:GRANT1false(x) +0[-20,20] < [-1]:StartRA2(x) AND {L121}:[-1]:StartRA2(x) +0[-20,20] < [-1]:GRANT1false(x) AND {L122}:[-1]:GRANT1false(x) +0[-20,20] < [-1]:StopRA2(x) AND {L123}:[-1]:StopRA2(x) +0[-20,20] < [-1]:GRANT1false(x) AND {L79}:[-1]:GRANT1false(x) +0[-20,20] < [-1]:GRANT2true(x) AND {L78}:[-1]:GRANT2true(x) +0[-20,20] < [-1]:GRANT1false(x) AND {L124}:[-1]:GRANT1false(x) +0[-20,20] < [-1]:StartMOVE2(x) AND {L125}:[-1]:StartMOVE2(x) +0[-20,20] < [-1]:GRANT1false(x) AND {L126}:[-1]:GRANT1false(x) +0[-20,20] < [-1]:StopMOVE2(x) AND {L127}:[-1]:StopMOVE2(x) +0[-20,20] < [-1]:GRANT1false(x) AND {L128}:[-1]:GRANT1false(x) +0[-20,20] < [-1]:GRANT2false(x) AND {L129}:[-1]:GRANT2false(x) +0[-20,20] < [-1]:GRANT1false(x) AND {L53}:[-1]:GRANT1false(x) +0[-20,20] < [-1]:new1(x) AND {L52}:[-1]:new1(x) +0[-20,20] < [-1]:GRANT1false(x) AND {L105}:[-1]:GRANT1false(x) +0[-20,20] < [-1]:new2(x) AND {L104}:[-1]:new2(x) +0[-20,20] < [-1]:GRANT1false(x) AND {L130}:[-1]:GRANT2false(x) +0[-20,20] < [-1]:BUTTON1(x) AND {L131}:[-1]:BUTTON1(x) +0[-20,20] < [-1]:GRANT2false(x) AND {L132}:[-1]:GRANT2false(x) +0[-20,20] < [-1]:StartRA1(x) AND {L133}:[-1]:StartRA1(x) +0[-20,20] < [-1]:GRANT2false(x) AND {L134}:[-1]:GRANT2false(x) +0[-20,20] < [-1]:StopRA1(x) AND {L135}:[-1]:StopRA1(x) +0[-20,20] < [-1]:GRANT2false(x) AND {L25}:[-1]:GRANT2false(x) +0[-20,20] < [-1]:GRANT1true(x) AND {L24}:[-1]:GRANT1true(x) +0[-20,20] < [-1]:GRANT2false(x) AND {L136}:[-1]:GRANT2false(x) +0[-20,20] < [-1]:StartMOVE1(x) AND {L137}:[-1]:StartMOVE1(x) +0[-20,20] < [-1]:GRANT2false(x) AND {L138}:[-1]:GRANT2false(x) +0[-20,20] < [-1]:StopMOVE1(x) AND {L139}:[-1]:StopMOVE1(x) +0[-20,20] < [-1]:GRANT2false(x) AND {L140}:[-1]:GRANT2false(x) +0[-20,20] < [-1]:BUTTON2(x) AND {L141}:[-1]:BUTTON2(x) +0[-20,20] < [-1]:GRANT2false(x) AND {L142}:[-1]:GRANT2false(x) +0[-20,20] < [-1]:StartRA2(x) AND {L143}:[-1]:StartRA2(x) +0[-20,20] < [-1]:GRANT2false(x) AND {L144}:[-1]:GRANT2false(x) +0[-20,20] < [-1]:StopRA2(x) AND {L145}:[-1]:StopRA2(x) +0[-20,20] < [-1]:GRANT2false(x) AND {L81}:[-1]:GRANT2false(x) +0[-20,20] < [-1]:GRANT2true(x) AND {L80}:[-1]:GRANT2true(x) +0[-20,20] < [-1]:GRANT2false(x) AND {L146}:[-1]:GRANT2false(x) +0[-20,20] < [-1]:StartMOVE2(x) AND {L147}:[-1]:StartMOVE2(x) +0[-20,20] < [-1]:GRANT2false(x) AND {L148}:[-1]:GRANT2false(x) +0[-20,20] < [-1]:StopMOVE2(x) AND {L149}:[-1]:StopMOVE2(x) +0[-20,20] < [-1]:GRANT2false(x) AND {L129}:[-1]:GRANT2false(x) +0[-20,20] < [-1]:GRANT1false(x) AND {L128}:[-1]:GRANT1false(x) +0[-20,20] < [-1]:GRANT2false(x) AND {L55}:[-1]:GRANT2false(x) +0[-20,20] < [-1]:new1(x) AND {L54}:[-1]:new1(x) +0[-20,20] < [-1]:GRANT2false(x) AND {L107}:[-1]:GRANT2false(x) +0[-20,20] < [-1]:new2(x) AND {L106}:[-1]:new2(x) +0[-20,20] < [-1]:GRANT2false(x) Constraints graph for formula: {L0}:[0]:GRANT1true(x) +0[-20,20] < [1]:BUTTON1(x) AND {L1}:[1]:BUTTON1(x) +0[-20,20] < [0]:GRANT1true(x) AND {L2}:[0]:GRANT1true(x) +0[-20,20] < [2]:StartRA1(x) AND {L3}:[2]:StartRA1(x) +0[-20,20] < [0]:GRANT1true(x) AND {L4}:[0]:GRANT1true(x) +0[-20,20] < [3]:StopRA1(x) AND {L5}:[3]:StopRA1(x) +0[-20,20] < [0]:GRANT1true(x) AND {L6}:[0]:GRANT1true(x) +0[-20,20] < [4]:StartMOVE1(x) AND {L7}:[4]:StartMOVE1(x) +0[-20,20] < [0]:GRANT1true(x) AND {L8}:[0]:GRANT1true(x) +0[-20,20] < [5]:StopMOVE1(x) AND {L9}:[5]:StopMOVE1(x) +0[-20,20] < [0]:GRANT1true(x) AND {L10}:[0]:GRANT1true(x) +0[-20,20] < [6]:BUTTON2(x) AND {L11}:[6]:BUTTON2(x) +0[-20,20] < [0]:GRANT1true(x) AND {L12}:[0]:GRANT1true(x) +0[-20,20] < [7]:StartRA2(x) AND {L13}:[7]:StartRA2(x) +0[-20,20] < [0]:GRANT1true(x) AND {L14}:[0]:GRANT1true(x) +0[-20,20] < [8]:StopRA2(x) AND {L15}:[8]:StopRA2(x) +0[-20,20] < [0]:GRANT1true(x) AND {L16}:[0]:GRANT1true(x) +0[-20,20] < [9]:GRANT2true(x) AND {L17}:[9]:GRANT2true(x) +0[-20,20] < [0]:GRANT1true(x) AND {L18}:[0]:GRANT1true(x) +0[-20,20] < [10]:StartMOVE2(x) AND {L19}:[10]:StartMOVE2(x) +0[-20,20] < [0]:GRANT1true(x) AND {L20}:[0]:GRANT1true(x) +0[-20,20] < [11]:StopMOVE2(x) AND {L21}:[11]:StopMOVE2(x) +0[-20,20] < [0]:GRANT1true(x) AND {L22}:[0]:GRANT1true(x) +0[-20,20] < [12]:GRANT1false(x) AND {L23}:[12]:GRANT1false(x) +0[-20,20] < [0]:GRANT1true(x) AND {L24}:[0]:GRANT1true(x) +0[-20,20] < [13]:GRANT2false(x) AND {L25}:[13]:GRANT2false(x) +0[-20,20] < [0]:GRANT1true(x) AND {L26}:[0]:GRANT1true(x) +0[-20,20] < [14]:new1(x) AND {L27}:[14]:new1(x) +0[-20,20] < [0]:GRANT1true(x) AND {L28}:[0]:GRANT1true(x) +0[-20,20] < [15]:new2(x) AND {L29}:[15]:new2(x) +0[-20,20] < [0]:GRANT1true(x) AND {L30}:[14]:new1(x) +0[-20,20] < [1]:BUTTON1(x) AND {L31}:[1]:BUTTON1(x) +0[-20,20] < [14]:new1(x) AND {L32}:[14]:new1(x) +0[-20,20] < [2]:StartRA1(x) AND {L33}:[2]:StartRA1(x) +0[-20,20] < [14]:new1(x) AND {L34}:[14]:new1(x) +0[-20,20] < [3]:StopRA1(x) AND {L35}:[3]:StopRA1(x) +0[-20,20] < [14]:new1(x) AND {L27}:[14]:new1(x) +0[-20,20] < [0]:GRANT1true(x) AND {L26}:[0]:GRANT1true(x) +0[-20,20] < [14]:new1(x) AND {L36}:[14]:new1(x) +0[-20,20] < [4]:StartMOVE1(x) AND {L37}:[4]:StartMOVE1(x) +0[-20,20] < [14]:new1(x) AND {L38}:[14]:new1(x) +0[-20,20] < [5]:StopMOVE1(x) AND {L39}:[5]:StopMOVE1(x) +0[-20,20] < [14]:new1(x) AND {L40}:[14]:new1(x) +0[-20,20] < [6]:BUTTON2(x) AND {L41}:[6]:BUTTON2(x) +0[-20,20] < [14]:new1(x) AND {L42}:[14]:new1(x) +0[-20,20] < [7]:StartRA2(x) AND {L43}:[7]:StartRA2(x) +0[-20,20] < [14]:new1(x) AND {L44}:[14]:new1(x) +0[-20,20] < [8]:StopRA2(x) AND {L45}:[8]:StopRA2(x) +0[-20,20] < [14]:new1(x) AND {L46}:[14]:new1(x) +0[-20,20] < [9]:GRANT2true(x) AND {L47}:[9]:GRANT2true(x) +0[-20,20] < [14]:new1(x) AND {L48}:[14]:new1(x) +0[-20,20] < [10]:StartMOVE2(x) AND {L49}:[10]:StartMOVE2(x) +0[-20,20] < [14]:new1(x) AND {L50}:[14]:new1(x) +0[-20,20] < [11]:StopMOVE2(x) AND {L51}:[11]:StopMOVE2(x) +0[-20,20] < [14]:new1(x) AND {L52}:[14]:new1(x) +0[-20,20] < [12]:GRANT1false(x) AND {L53}:[12]:GRANT1false(x) +0[-20,20] < [14]:new1(x) AND {L54}:[14]:new1(x) +0[-20,20] < [13]:GRANT2false(x) AND {L55}:[13]:GRANT2false(x) +0[-20,20] < [14]:new1(x) AND {L56}:[14]:new1(x) +0[-20,20] < [15]:new2(x) AND {L57}:[15]:new2(x) +0[-20,20] < [14]:new1(x) AND {L58}:[9]:GRANT2true(x) +0[-20,20] < [1]:BUTTON1(x) AND {L59}:[1]:BUTTON1(x) +0[-20,20] < [9]:GRANT2true(x) AND {L60}:[9]:GRANT2true(x) +0[-20,20] < [2]:StartRA1(x) AND {L61}:[2]:StartRA1(x) +0[-20,20] < [9]:GRANT2true(x) AND {L62}:[9]:GRANT2true(x) +0[-20,20] < [3]:StopRA1(x) AND {L63}:[3]:StopRA1(x) +0[-20,20] < [9]:GRANT2true(x) AND {L17}:[9]:GRANT2true(x) +0[-20,20] < [0]:GRANT1true(x) AND {L16}:[0]:GRANT1true(x) +0[-20,20] < [9]:GRANT2true(x) AND {L64}:[9]:GRANT2true(x) +0[-20,20] < [4]:StartMOVE1(x) AND {L65}:[4]:StartMOVE1(x) +0[-20,20] < [9]:GRANT2true(x) AND {L66}:[9]:GRANT2true(x) +0[-20,20] < [5]:StopMOVE1(x) AND {L67}:[5]:StopMOVE1(x) +0[-20,20] < [9]:GRANT2true(x) AND {L68}:[9]:GRANT2true(x) +0[-20,20] < [6]:BUTTON2(x) AND {L69}:[6]:BUTTON2(x) +0[-20,20] < [9]:GRANT2true(x) AND {L70}:[9]:GRANT2true(x) +0[-20,20] < [7]:StartRA2(x) AND {L71}:[7]:StartRA2(x) +0[-20,20] < [9]:GRANT2true(x) AND {L72}:[9]:GRANT2true(x) +0[-20,20] < [8]:StopRA2(x) AND {L73}:[8]:StopRA2(x) +0[-20,20] < [9]:GRANT2true(x) AND {L74}:[9]:GRANT2true(x) +0[-20,20] < [10]:StartMOVE2(x) AND {L75}:[10]:StartMOVE2(x) +0[-20,20] < [9]:GRANT2true(x) AND {L76}:[9]:GRANT2true(x) +0[-20,20] < [11]:StopMOVE2(x) AND {L77}:[11]:StopMOVE2(x) +0[-20,20] < [9]:GRANT2true(x) AND {L78}:[9]:GRANT2true(x) +0[-20,20] < [12]:GRANT1false(x) AND {L79}:[12]:GRANT1false(x) +0[-20,20] < [9]:GRANT2true(x) AND {L80}:[9]:GRANT2true(x) +0[-20,20] < [13]:GRANT2false(x) AND {L81}:[13]:GRANT2false(x) +0[-20,20] < [9]:GRANT2true(x) AND {L47}:[9]:GRANT2true(x) +0[-20,20] < [14]:new1(x) AND {L46}:[14]:new1(x) +0[-20,20] < [9]:GRANT2true(x) AND {L82}:[9]:GRANT2true(x) +0[-20,20] < [15]:new2(x) AND {L83}:[15]:new2(x) +0[-20,20] < [9]:GRANT2true(x) AND {L84}:[15]:new2(x) +0[-20,20] < [1]:BUTTON1(x) AND {L85}:[1]:BUTTON1(x) +0[-20,20] < [15]:new2(x) AND {L86}:[15]:new2(x) +0[-20,20] < [2]:StartRA1(x) AND {L87}:[2]:StartRA1(x) +0[-20,20] < [15]:new2(x) AND {L88}:[15]:new2(x) +0[-20,20] < [3]:StopRA1(x) AND {L89}:[3]:StopRA1(x) +0[-20,20] < [15]:new2(x) AND {L29}:[15]:new2(x) +0[-20,20] < [0]:GRANT1true(x) AND {L28}:[0]:GRANT1true(x) +0[-20,20] < [15]:new2(x) AND {L90}:[15]:new2(x) +0[-20,20] < [4]:StartMOVE1(x) AND {L91}:[4]:StartMOVE1(x) +0[-20,20] < [15]:new2(x) AND {L92}:[15]:new2(x) +0[-20,20] < [5]:StopMOVE1(x) AND {L93}:[5]:StopMOVE1(x) +0[-20,20] < [15]:new2(x) AND {L94}:[15]:new2(x) +0[-20,20] < [6]:BUTTON2(x) AND {L95}:[6]:BUTTON2(x) +0[-20,20] < [15]:new2(x) AND {L96}:[15]:new2(x) +0[-20,20] < [7]:StartRA2(x) AND {L97}:[7]:StartRA2(x) +0[-20,20] < [15]:new2(x) AND {L98}:[15]:new2(x) +0[-20,20] < [8]:StopRA2(x) AND {L99}:[8]:StopRA2(x) +0[-20,20] < [15]:new2(x) AND {L83}:[15]:new2(x) +0[-20,20] < [9]:GRANT2true(x) AND {L82}:[9]:GRANT2true(x) +0[-20,20] < [15]:new2(x) AND {L100}:[15]:new2(x) +0[-20,20] < [10]:StartMOVE2(x) AND {L101}:[10]:StartMOVE2(x) +0[-20,20] < [15]:new2(x) AND {L102}:[15]:new2(x) +0[-20,20] < [11]:StopMOVE2(x) AND {L103}:[11]:StopMOVE2(x) +0[-20,20] < [15]:new2(x) AND {L104}:[15]:new2(x) +0[-20,20] < [12]:GRANT1false(x) AND {L105}:[12]:GRANT1false(x) +0[-20,20] < [15]:new2(x) AND {L106}:[15]:new2(x) +0[-20,20] < [13]:GRANT2false(x) AND {L107}:[13]:GRANT2false(x) +0[-20,20] < [15]:new2(x) AND {L57}:[15]:new2(x) +0[-20,20] < [14]:new1(x) AND {L56}:[14]:new1(x) +0[-20,20] < [15]:new2(x) AND {L108}:[12]:GRANT1false(x) +0[-20,20] < [1]:BUTTON1(x) AND {L109}:[1]:BUTTON1(x) +0[-20,20] < [12]:GRANT1false(x) AND {L110}:[12]:GRANT1false(x) +0[-20,20] < [2]:StartRA1(x) AND {L111}:[2]:StartRA1(x) +0[-20,20] < [12]:GRANT1false(x) AND {L112}:[12]:GRANT1false(x) +0[-20,20] < [3]:StopRA1(x) AND {L113}:[3]:StopRA1(x) +0[-20,20] < [12]:GRANT1false(x) AND {L23}:[12]:GRANT1false(x) +0[-20,20] < [0]:GRANT1true(x) AND {L22}:[0]:GRANT1true(x) +0[-20,20] < [12]:GRANT1false(x) AND {L114}:[12]:GRANT1false(x) +0[-20,20] < [4]:StartMOVE1(x) AND {L115}:[4]:StartMOVE1(x) +0[-20,20] < [12]:GRANT1false(x) AND {L116}:[12]:GRANT1false(x) +0[-20,20] < [5]:StopMOVE1(x) AND {L117}:[5]:StopMOVE1(x) +0[-20,20] < [12]:GRANT1false(x) AND {L118}:[12]:GRANT1false(x) +0[-20,20] < [6]:BUTTON2(x) AND {L119}:[6]:BUTTON2(x) +0[-20,20] < [12]:GRANT1false(x) AND {L120}:[12]:GRANT1false(x) +0[-20,20] < [7]:StartRA2(x) AND {L121}:[7]:StartRA2(x) +0[-20,20] < [12]:GRANT1false(x) AND {L122}:[12]:GRANT1false(x) +0[-20,20] < [8]:StopRA2(x) AND {L123}:[8]:StopRA2(x) +0[-20,20] < [12]:GRANT1false(x) AND {L79}:[12]:GRANT1false(x) +0[-20,20] < [9]:GRANT2true(x) AND {L78}:[9]:GRANT2true(x) +0[-20,20] < [12]:GRANT1false(x) AND {L124}:[12]:GRANT1false(x) +0[-20,20] < [10]:StartMOVE2(x) AND {L125}:[10]:StartMOVE2(x) +0[-20,20] < [12]:GRANT1false(x) AND {L126}:[12]:GRANT1false(x) +0[-20,20] < [11]:StopMOVE2(x) AND {L127}:[11]:StopMOVE2(x) +0[-20,20] < [12]:GRANT1false(x) AND {L128}:[12]:GRANT1false(x) +0[-20,20] < [13]:GRANT2false(x) AND {L129}:[13]:GRANT2false(x) +0[-20,20] < [12]:GRANT1false(x) AND {L53}:[12]:GRANT1false(x) +0[-20,20] < [14]:new1(x) AND {L52}:[14]:new1(x) +0[-20,20] < [12]:GRANT1false(x) AND {L105}:[12]:GRANT1false(x) +0[-20,20] < [15]:new2(x) AND {L104}:[15]:new2(x) +0[-20,20] < [12]:GRANT1false(x) AND {L130}:[13]:GRANT2false(x) +0[-20,20] < [1]:BUTTON1(x) AND {L131}:[1]:BUTTON1(x) +0[-20,20] < [13]:GRANT2false(x) AND {L132}:[13]:GRANT2false(x) +0[-20,20] < [2]:StartRA1(x) AND {L133}:[2]:StartRA1(x) +0[-20,20] < [13]:GRANT2false(x) AND {L134}:[13]:GRANT2false(x) +0[-20,20] < [3]:StopRA1(x) AND {L135}:[3]:StopRA1(x) +0[-20,20] < [13]:GRANT2false(x) AND {L25}:[13]:GRANT2false(x) +0[-20,20] < [0]:GRANT1true(x) AND {L24}:[0]:GRANT1true(x) +0[-20,20] < [13]:GRANT2false(x) AND {L136}:[13]:GRANT2false(x) +0[-20,20] < [4]:StartMOVE1(x) AND {L137}:[4]:StartMOVE1(x) +0[-20,20] < [13]:GRANT2false(x) AND {L138}:[13]:GRANT2false(x) +0[-20,20] < [5]:StopMOVE1(x) AND {L139}:[5]:StopMOVE1(x) +0[-20,20] < [13]:GRANT2false(x) AND {L140}:[13]:GRANT2false(x) +0[-20,20] < [6]:BUTTON2(x) AND {L141}:[6]:BUTTON2(x) +0[-20,20] < [13]:GRANT2false(x) AND {L142}:[13]:GRANT2false(x) +0[-20,20] < [7]:StartRA2(x) AND {L143}:[7]:StartRA2(x) +0[-20,20] < [13]:GRANT2false(x) AND {L144}:[13]:GRANT2false(x) +0[-20,20] < [8]:StopRA2(x) AND {L145}:[8]:StopRA2(x) +0[-20,20] < [13]:GRANT2false(x) AND {L81}:[13]:GRANT2false(x) +0[-20,20] < [9]:GRANT2true(x) AND {L80}:[9]:GRANT2true(x) +0[-20,20] < [13]:GRANT2false(x) AND {L146}:[13]:GRANT2false(x) +0[-20,20] < [10]:StartMOVE2(x) AND {L147}:[10]:StartMOVE2(x) +0[-20,20] < [13]:GRANT2false(x) AND {L148}:[13]:GRANT2false(x) +0[-20,20] < [11]:StopMOVE2(x) AND {L149}:[11]:StopMOVE2(x) +0[-20,20] < [13]:GRANT2false(x) AND {L129}:[13]:GRANT2false(x) +0[-20,20] < [12]:GRANT1false(x) AND {L128}:[12]:GRANT1false(x) +0[-20,20] < [13]:GRANT2false(x) AND {L55}:[13]:GRANT2false(x) +0[-20,20] < [14]:new1(x) AND {L54}:[14]:new1(x) +0[-20,20] < [13]:GRANT2false(x) AND {L107}:[13]:GRANT2false(x) +0[-20,20] < [15]:new2(x) AND {L106}:[15]:new2(x) +0[-20,20] < [13]:GRANT2false(x) nVertexes = 16 List of nodes: [0]:GRANT1true(x), [1]:BUTTON1(x), [2]:StartRA1(x), [3]:StopRA1(x), [4]:StartMOVE1(x), [5]:StopMOVE1(x), [6]:BUTTON2(x), [7]:StartRA2(x), [8]:StopRA2(x), [9]:GRANT2true(x), [10]:StartMOVE2(x), [11]:StopMOVE2(x), [12]:GRANT1false(x), [13]:GRANT2false(x), [14]:new1(x), [15]:new2(x) Adjacency matrix: nRows = 16 nCols = 16 0 C C C C C C C C C C C C C C C C 0 0 0 0 0 0 0 0 C 0 0 C C C C C 0 0 0 0 0 0 0 0 C 0 0 C C C C C 0 0 0 0 0 0 0 0 C 0 0 C C C C C 0 0 0 0 0 0 0 0 C 0 0 C C C C C 0 0 0 0 0 0 0 0 C 0 0 C C C C C 0 0 0 0 0 0 0 0 C 0 0 C C C C C 0 0 0 0 0 0 0 0 C 0 0 C C C C C 0 0 0 0 0 0 0 0 C 0 0 C C C C C C C C C C C C C 0 C C C C C C C 0 0 0 0 0 0 0 0 C 0 0 C C C C C 0 0 0 0 0 0 0 0 C 0 0 C C C C C C C C C C C C C C C C 0 C C C C C C C C C C C C C C C C 0 C C C C C C C C C C C C C C C C 0 C C C C C C C C C C C C C C C C 0 {L0}:[-1]:BUTTON1(x1) +0[-10,10] < [-1]:StartRA1(x1) AND {L1}:[-1]:StartRA1(x2) +40[30,50] < [-1]:StopRA1(x2) AND {L2}:[-1]:StopRA1(x3) +0[-10,10] < [-1]:GRANT1true(x3) AND {L3}:[-1]:GRANT1true(x4) +0[-10,10] < [-1]:StartMOVE1(x4) AND {L4}:[-1]:StartMOVE1(x4) -5[-15,5] < [-1]:GRANT1true(x4) AND {L5}:[-1]:StopMOVE1(x6) -20[-30,-10] < [-1]:StartMOVE1(x6) AND {L6}:[-1]:BUTTON2(x7) +0[-10,10] < [-1]:StartRA2(x7) AND {L7}:[-1]:StartRA2(x8) +40[30,50] < [-1]:StopRA2(x8) AND {L8}:[-1]:StopRA2(x9) +0[-10,10] < [-1]:GRANT2true(x9) AND {L9}:[-1]:GRANT2true(x10) +0[-10,10] < [-1]:StartMOVE2(x10) AND {L10}:[-1]:StartMOVE2(x10) -5[-15,5] < [-1]:GRANT2true(x10) AND {L11}:[-1]:StopMOVE2(x12) -20[-30,-10] < [-1]:StartMOVE2(x12) AND {L12}:[-1]:GRANT1true(x5) +30[20,40] < [-1]:GRANT1false(x5) AND {L13}:[-1]:GRANT2true(x11) +30[20,40] < [-1]:GRANT2false(x11) AND {L14}:[-1]:GRANT1false(x13) +0[-10,10] < [-1]:GRANT2true(x14) OR {L15}:[-1]:GRANT2false(x14) +0[-10,10] < [-1]:GRANT1true(x13) AND {L16}:[-1]:StartMOVE1(I) +0[-10,10] < [-1]:StopMOVE2(J) AND {L17}:[-1]:StartMOVE2(J) +0[-10,10] < [-1]:StopMOVE1(I) determinant:3.0 new formula: {L0}:[0]:BUTTON1(x1) +0[-10,10] < [1]:StartRA1(x1) AND {L1}:[2]:StartRA1(x2) +40[30,50] < [3]:StopRA1(x2) AND {L2}:[4]:StopRA1(x3) +0[-10,10] < [5]:GRANT1true(x3) AND {L3}:[6]:GRANT1true(x4) +0[-10,10] < [7]:StartMOVE1(x4) AND {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4) AND {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) AND {L6}:[10]:BUTTON2(x7) +0[-10,10] < [11]:StartRA2(x7) AND {L7}:[12]:StartRA2(x8) +40[30,50] < [13]:StopRA2(x8) AND {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) AND {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) AND {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) AND {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) AND {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) AND {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) AND {L14}:[24]:GRANT1false(x13) +0[-10,10] < [25]:GRANT2true(x14) OR {L15}:[26]:GRANT2false(x14) +0[-10,10] < [27]:GRANT1true(x13) AND {L16}:[28]:StartMOVE1(I) +0[-10,10] < [29]:StopMOVE2(J) AND {L17}:[30]:StartMOVE2(J) +0[-10,10] < [31]:StopMOVE1(I) AND NOT {L3}:[6]:GRANT1true(x4) +0[-10,10] < [7]:StartMOVE1(x4) OR NOT {L16}:[28]:StartMOVE1(I) +0[-10,10] < [29]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[26]:GRANT2false(x14) +0[-10,10] < [27]:GRANT1true(x13) AND NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[24]:GRANT1false(x13) +0[-10,10] < [25]:GRANT2true(x14) OR NOT {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) OR NOT {L17}:[30]:StartMOVE2(J) +0[-10,10] < [31]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4) AND NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[24]:GRANT1false(x13) +0[-10,10] < [25]:GRANT2true(x14) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[26]:GRANT2false(x14) +0[-10,10] < [27]:GRANT1true(x13) new determinant:0.0 new determinant:3.0 nRows = 20 nCols = 20 1 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 1 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 1 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 1 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 1 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 1 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 1 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 1 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 -1 0 0 0 0 0 0 -1 -1 0 -1 0 -1 -1 0 0 0 0 0 0 0 -1 -1 0 0 0 -1 0 0 -1 0 -1 0 0 -1 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 1 1 0 0 1 1 {L0}:[0]:BUTTON1(x1) +0[-10,10] < [1]:StartRA1(x1) AND {L1}:[2]:StartRA1(x2) +40[30,50] < [3]:StopRA1(x2) AND {L2}:[4]:StopRA1(x3) +0[-10,10] < [5]:GRANT1true(x3) AND {L3}:[6]:GRANT1true(x4) +0[-10,10] < [7]:StartMOVE1(x4) AND {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4) AND {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) AND {L6}:[10]:BUTTON2(x7) +0[-10,10] < [11]:StartRA2(x7) AND {L7}:[12]:StartRA2(x8) +40[30,50] < [13]:StopRA2(x8) AND {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) AND {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) AND {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) AND {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) AND {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) AND {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) AND {L16}:[28]:StartMOVE1(I) +0[-10,10] < [29]:StopMOVE2(J) AND {L17}:[30]:StartMOVE2(J) +0[-10,10] < [31]:StopMOVE1(I) AND NOT {L3}:[6]:GRANT1true(x4) +0[-10,10] < [7]:StartMOVE1(x4) OR NOT {L16}:[28]:StartMOVE1(I) +0[-10,10] < [29]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[26]:GRANT2false(x14) +0[-10,10] < [27]:GRANT1true(x13) AND NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[24]:GRANT1false(x13) +0[-10,10] < [25]:GRANT2true(x14) OR NOT {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) OR NOT {L17}:[30]:StartMOVE2(J) +0[-10,10] < [31]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4) AND NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[24]:GRANT1false(x13) +0[-10,10] < [25]:GRANT2true(x14) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[26]:GRANT2false(x14) +0[-10,10] < [27]:GRANT1true(x13) AND {L18}:[-1]:GRANT1true(y1) -4[-14,6] < [-1]:new1(y1) OR {L19}:[-1]:GRANT2true(y2) -4[-14,6] < [-1]:new2(y2) OR {L14}:[-1]:GRANT1false(x13) +0[-10,10] < [-1]:GRANT2true(x14) OR {L15}:[-1]:GRANT2false(x14) +0[-10,10] < [-1]:GRANT1true(x13) Constraints graph for formula: {L0}:[0]:BUTTON1(x1) +0[-10,10] < [1]:StartRA1(x1) AND {L1}:[2]:StartRA1(x2) +40[30,50] < [3]:StopRA1(x2) AND {L2}:[4]:StopRA1(x3) +0[-10,10] < [5]:GRANT1true(x3) AND {L3}:[6]:GRANT1true(x4) +0[-10,10] < [7]:StartMOVE1(x4) AND {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4) AND {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) AND {L6}:[10]:BUTTON2(x7) +0[-10,10] < [11]:StartRA2(x7) AND {L7}:[12]:StartRA2(x8) +40[30,50] < [13]:StopRA2(x8) AND {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) AND {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) AND {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) AND {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) AND {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) AND {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) AND {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) AND {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) AND NOT {L3}:[6]:GRANT1true(x4) +0[-10,10] < [7]:StartMOVE1(x4) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) AND NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4) AND NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) AND {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) nVertexes = 36 List of nodes: [0]:BUTTON1(x1), [1]:StartRA1(x1), [2]:StartRA1(x2), [3]:StopRA1(x2), [4]:StopRA1(x3), [5]:GRANT1true(x3), [6]:GRANT1true(x4), [7]:StartMOVE1(x4), [8]:StopMOVE1(x6), [9]:StartMOVE1(x6), [10]:BUTTON2(x7), [11]:StartRA2(x7), [12]:StartRA2(x8), [13]:StopRA2(x8), [14]:StopRA2(x9), [15]:GRANT2true(x9), [16]:GRANT2true(x10), [17]:StartMOVE2(x10), [18]:StopMOVE2(x12), [19]:StartMOVE2(x12), [20]:GRANT1true(x5), [21]:GRANT1false(x5), [22]:GRANT2true(x11), [23]:GRANT2false(x11), [24]:StartMOVE1(I), [25]:StopMOVE2(J), [26]:StartMOVE2(J), [27]:StopMOVE1(I), [28]:GRANT2false(x14), [29]:GRANT1true(x13), [30]:GRANT1false(x13), [31]:GRANT2true(x14), [32]:GRANT1true(y1), [33]:new1(y1), [34]:GRANT2true(y2), [35]:new2(y2) Adjacency matrix: nRows = 36 nCols = 36 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 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 S 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 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 S 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 S 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 0 0 0 0 0 S 0 0 S 0 0 0 0 0 0 0 0 S 0 C 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 0 0 0 0 0 S 0 0 S 0 0 0 0 0 0 0 0 0 C 0 0 S 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 C 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 S 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 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 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 S 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 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 S 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 S 0 0 0 0 0 S 0 0 0 0 0 0 0 0 S 0 0 S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 C 0 0 0 0 S 0 0 0 0 0 0 0 0 S 0 0 S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 S 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 C 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 S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 S 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 S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S S 0 0 0 0 0 0 C 0 0 0 0 0 0 0 S 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 S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 S 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 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 S 0 S 0 0 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 0 0 C 0 0 0 0 0 0 0 0 0 0 0 S S 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 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 S 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 S S 0 0 0 0 0 S 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 0 0 0 S S 0 0 0 0 0 0 0 0 0 0 0 0 0 S 0 0 0 0 0 0 0 0 S 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 S S 0 0 0 0 0 S 0 0 0 0 0 0 0 0 S 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 No exit edge nodes: [33]:new1(y1) [35]:new2(y2) No entry edge nodes: [0]:BUTTON1(x1) [10]:BUTTON2(x7) new clauses,increments: Leaving from node:[33]:new1(y1) [0]:BUTTON1(x1) [1]:StartRA1(x1) [2]:StartRA1(x2) [3]:StopRA1(x2) [4]:StopRA1(x3) [5]:GRANT1true(x3) [6]:GRANT1true(x4) [7]:StartMOVE1(x4) [8]:StopMOVE1(x6) [9]:StartMOVE1(x6) [10]:BUTTON2(x7) [11]:StartRA2(x7) [12]:StartRA2(x8) [13]:StopRA2(x8) [14]:StopRA2(x9) [15]:GRANT2true(x9) [16]:GRANT2true(x10) [17]:StartMOVE2(x10) [18]:StopMOVE2(x12) [19]:StartMOVE2(x12) [20]:GRANT1true(x5) [21]:GRANT1false(x5) [22]:GRANT2true(x11) [23]:GRANT2false(x11) [24]:StartMOVE1(I) [25]:StopMOVE2(J) [26]:StartMOVE2(J) [27]:StopMOVE1(I) [28]:GRANT2false(x14) [29]:GRANT1true(x13) [30]:GRANT1false(x13) [31]:GRANT2true(x14) [32]:GRANT1true(y1) [33]:new1(y1) [34]:GRANT2true(y2) [35]:new2(y2) 0 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(I) -10[-20,20] < [-1]:StartRA2(J) OR NOT {L7}:[12]:StartRA2(x8) +40[30,50] < [13]:StopRA2(x8) OR NOT {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) OR NOT {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);-2.0) 1 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(I) -10[-20,20] < [-1]:BUTTON2(J) OR NOT {L6}:[10]:BUTTON2(x7) +0[-10,10] < [11]:StartRA2(x7) OR NOT {L7}:[12]:StartRA2(x8) +40[30,50] < [13]:StopRA2(x8) OR NOT {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) OR NOT {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);-2.0) 2 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) +10[-20,20] < [-1]:StartMOVE1(y1) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);-2.0) 3 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(I) +10[-20,20] < [-1]:StartMOVE1(I) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);-2.0) 4 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) +5[-20,20] < [-1]:GRANT1true(y1);-2.0) 5 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(sdrtl1) +5[-20,20] < [-1]:GRANT1true(sdrtl1);-2.0) 6 : (NOT {L2}:[4]:StopRA1(x3) +0[-10,10] < [5]:GRANT1true(x3) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(x3) +5[-20,20] < [-1]:StopRA1(x3);-2.0) 7 : (NOT {L2}:[4]:StopRA1(x3) +0[-10,10] < [5]:GRANT1true(x3) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) +5[-20,20] < [-1]:StopRA1(y1);-2.0) 8 : (NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(I) +0[-20,20] < [-1]:GRANT2false(J) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 9 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(I) +0[-20,20] < [-1]:GRANT2false(J) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);0.0) 10 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) +5[-20,20] < [-1]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 11 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) +5[-20,20] < [-1]:GRANT2false(x14) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 12 : (NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) +5[-20,20] < [-1]:GRANT2false(x14);0.0) 13 : (NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(I) -10[-20,20] < [-1]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);0.0) 14 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) +0[-20,20] < [-1]:StopMOVE2(x12) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 15 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(I) -10[-20,20] < [-1]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4) OR NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 16 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) +0[-20,20] < [-1]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 17 : (NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) +0[-20,20] < [-1]:StopMOVE2(x11) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10);0.0) 18 : (NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) +0[-20,20] < [-1]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10);0.0) 19 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) -20[-20,20] < [-1]:StartMOVE2(x10) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 20 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) -20[-20,20] < [-1]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 21 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) -20[-20,20] < [-1]:StartMOVE2(J) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 22 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) +20[-20,20] < [-1]:StartMOVE2(J) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 23 : (NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) +20[-20,20] < [-1]:StartMOVE2(J) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6);0.0) 24 : (NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) +20[-20,20] < [-1]:StartMOVE2(J) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I);0.0) 25 : (NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) -20[-20,20] < [-1]:StartMOVE2(x11) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10);0.0) 26 : (NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) -20[-20,20] < [-1]:StartMOVE2(J) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10);0.0) 27 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) +20[-20,20] < [-1]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 28 : (NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) +20[-20,20] < [-1]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6);0.0) 29 : (NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) +20[-20,20] < [-1]:StopMOVE1(I);0.0) 30 : (NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(I) -10[-20,20] < [-1]:StartMOVE1(I) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);0.0) 31 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) +0[-20,20] < [-1]:StartMOVE1(I) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 32 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(I) -10[-20,20] < [-1]:StartMOVE1(I) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4) OR NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 33 : (NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) +0[-20,20] < [-1]:StartMOVE1(I);0.0) 34 : (NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) +0[-20,20] < [-1]:StartMOVE1(I) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10);0.0) 35 : (NOT {L3}:[6]:GRANT1true(x4) +0[-10,10] < [7]:StartMOVE1(x4) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) +0[-20,20] < [-1]:GRANT1true(I);0.0) 36 : (NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(I) +0[-20,20] < [-1]:GRANT1true(x5);0.0) 37 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) +0[-20,20] < [-1]:GRANT1true(I) OR NOT {L3}:[6]:GRANT1true(x4) +0[-10,10] < [7]:StartMOVE1(x4) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 38 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(I) +0[-20,20] < [-1]:GRANT1true(x5) OR NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);0.0) 39 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(I) +0[-20,20] < [-1]:GRANT1true(x13) OR NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);0.0) 40 : (NOT {L2}:[4]:StopRA1(x3) +0[-10,10] < [5]:GRANT1true(x3) OR NOT {L3}:[6]:GRANT1true(x4) +0[-10,10] < [7]:StartMOVE1(x4) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(y1) +0[-20,20] < [-1]:StopRA1(I);0.0) 41 : (NOT {L2}:[4]:StopRA1(x3) +0[-10,10] < [5]:GRANT1true(x3) OR NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(I) +0[-20,20] < [-1]:StopRA1(x3);0.0) 42 : (NOT {L2}:[4]:StopRA1(x3) +0[-10,10] < [5]:GRANT1true(x3) OR NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(I) +0[-20,20] < [-1]:StopRA1(x5);0.0) Pick one: adding clause: NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[-1]:new1(I) -10[-20,20] < [-1]:StartRA2(J) OR NOT {L7}:[12]:StartRA2(x8) +40[30,50] < [13]:StopRA2(x8) OR NOT {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) OR NOT {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4) det in addfromclauseincrementlist:1.0 new determinant:1.0 Leaving from node:[35]:new2(y2) [0]:BUTTON1(x1) [1]:StartRA1(x1) [2]:StartRA1(x2) [3]:StopRA1(x2) [4]:StopRA1(x3) [5]:GRANT1true(x3) [6]:GRANT1true(x4) [7]:StartMOVE1(x4) [8]:StopMOVE1(x6) [9]:StartMOVE1(x6) [10]:BUTTON2(x7) [11]:StartRA2(x7) [12]:StartRA2(x8) [13]:StopRA2(x8) [14]:StopRA2(x9) [15]:GRANT2true(x9) [16]:GRANT2true(x10) [17]:StartMOVE2(x10) [18]:StopMOVE2(x12) [19]:StartMOVE2(x12) [20]:GRANT1true(x5) [21]:GRANT1false(x5) [22]:GRANT2true(x11) [23]:GRANT2false(x11) [24]:StartMOVE1(I) [25]:StopMOVE2(J) [26]:StartMOVE2(J) [27]:StopMOVE1(I) [28]:GRANT2false(x14) [29]:GRANT1true(x13) [30]:GRANT1false(x13) [31]:GRANT2true(x14) [32]:GRANT1true(y1) [33]:new1(y1) [34]:GRANT2true(y2) [35]:new2(y2) [36]:new1(I) [37]:StartRA2(J) 0 : (NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(y2) +10[-20,20] < [-1]:StartMOVE2(y2) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10);-1.0) 1 : (NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) +10[-20,20] < [-1]:StartMOVE2(J) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10);-1.0) 2 : (NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(y2) +5[-20,20] < [-1]:GRANT2true(y2);-1.0) 3 : (NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(sdrtl1) +5[-20,20] < [-1]:GRANT2true(sdrtl1);-1.0) 4 : (NOT {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(x9) +5[-20,20] < [-1]:StopRA2(x9);-1.0) 5 : (NOT {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(y2) +5[-20,20] < [-1]:StopRA2(y2);-1.0) 6 : (NOT {L1}:[2]:StartRA1(x2) +40[30,50] < [3]:StopRA1(x2) OR NOT {L2}:[4]:StopRA1(x3) +0[-10,10] < [5]:GRANT1true(x3) OR NOT {L3}:[6]:GRANT1true(x4) +0[-10,10] < [7]:StartMOVE1(x4) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) -10[-20,20] < [-1]:StartRA1(I);-1.0) 7 : (NOT {L0}:[0]:BUTTON1(x1) +0[-10,10] < [1]:StartRA1(x1) OR NOT {L1}:[2]:StartRA1(x2) +40[30,50] < [3]:StopRA1(x2) OR NOT {L2}:[4]:StopRA1(x3) +0[-10,10] < [5]:GRANT1true(x3) OR NOT {L3}:[6]:GRANT1true(x4) +0[-10,10] < [7]:StartMOVE1(x4) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) -10[-20,20] < [-1]:BUTTON1(I);-1.0) 8 : (NOT {L3}:[6]:GRANT1true(x4) +0[-10,10] < [7]:StartMOVE1(x4) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) +0[-20,20] < [-1]:GRANT1false(I) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 9 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[36]:new1(I) -10[-20,20] < [37]:StartRA2(J) OR NOT {L7}:[12]:StartRA2(x8) +40[30,50] < [13]:StopRA2(x8) OR NOT {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) +4[-20,20] < [-1]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);0.0) 10 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[36]:new1(I) -10[-20,20] < [37]:StartRA2(J) OR NOT {L7}:[12]:StartRA2(x8) +40[30,50] < [13]:StopRA2(x8) OR NOT {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) +4[-20,20] < [-1]:GRANT1false(x13) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);0.0) 11 : (NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(y2) +5[-20,20] < [-1]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14);0.0) 12 : (NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(y2) +5[-20,20] < [-1]:GRANT1false(x13) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14);0.0) 13 : (NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(y2) +5[-20,20] < [-1]:GRANT1false(x13);0.0) 14 : (NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(y2) +20[-20,20] < [-1]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);0.0) 15 : (NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(y2) +0[-20,20] < [-1]:StartMOVE2(J) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);0.0) 16 : (NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) -10[-20,20] < [-1]:StartMOVE2(J) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 17 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[36]:new1(I) -10[-20,20] < [37]:StartRA2(J) OR NOT {L7}:[12]:StartRA2(x8) +40[30,50] < [13]:StopRA2(x8) OR NOT {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) +4[-20,20] < [-1]:StartMOVE2(J) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);0.0) 18 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[36]:new1(I) -10[-20,20] < [37]:StartRA2(J) OR NOT {L7}:[12]:StartRA2(x8) +40[30,50] < [13]:StopRA2(x8) OR NOT {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) -6[-20,20] < [-1]:StartMOVE2(J) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 19 : (NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) -10[-20,20] < [-1]:StartMOVE2(J) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6);0.0) 20 : (NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[36]:new1(I) -10[-20,20] < [37]:StartRA2(J) OR NOT {L7}:[12]:StartRA2(x8) +40[30,50] < [13]:StopRA2(x8) OR NOT {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) -6[-20,20] < [-1]:StartMOVE2(J) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6);0.0) 21 : (NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) -10[-20,20] < [-1]:StartMOVE2(J) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I);0.0) 22 : (NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[36]:new1(I) -10[-20,20] < [37]:StartRA2(J) OR NOT {L7}:[12]:StartRA2(x8) +40[30,50] < [13]:StopRA2(x8) OR NOT {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) -6[-20,20] < [-1]:StartMOVE2(J) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I);0.0) 23 : (NOT {L3}:[6]:GRANT1true(x4) +0[-10,10] < [7]:StartMOVE1(x4) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) +0[-20,20] < [-1]:GRANT2true(x9) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 24 : (NOT {L3}:[6]:GRANT1true(x4) +0[-10,10] < [7]:StartMOVE1(x4) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) +0[-20,20] < [-1]:GRANT2true(x11) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 25 : (NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(y2) +0[-20,20] < [-1]:GRANT2true(J) OR NOT {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);0.0) 26 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[36]:new1(I) -10[-20,20] < [37]:StartRA2(J) OR NOT {L7}:[12]:StartRA2(x8) +40[30,50] < [13]:StopRA2(x8) OR NOT {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) +4[-20,20] < [-1]:GRANT2true(J) OR NOT {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);0.0) 27 : (NOT {L3}:[6]:GRANT1true(x4) +0[-10,10] < [7]:StartMOVE1(x4) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) +0[-20,20] < [-1]:StopRA2(x8) OR NOT {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 28 : (NOT {L3}:[6]:GRANT1true(x4) +0[-10,10] < [7]:StartMOVE1(x4) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) +0[-20,20] < [-1]:StopRA2(x9) OR NOT {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 29 : (NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(y2) +0[-20,20] < [-1]:StopRA2(J) OR NOT {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) OR NOT {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);0.0) 30 : (NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(y2) +0[-20,20] < [-1]:StopMOVE1(x5) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);0.0) 31 : (NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) -10[-20,20] < [-1]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 32 : (NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(y2) +0[-20,20] < [-1]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);0.0) 33 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[36]:new1(I) -10[-20,20] < [37]:StartRA2(J) OR NOT {L7}:[12]:StartRA2(x8) +40[30,50] < [13]:StopRA2(x8) OR NOT {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) +4[-20,20] < [-1]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);0.0) 34 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[36]:new1(I) -10[-20,20] < [37]:StartRA2(J) OR NOT {L7}:[12]:StartRA2(x8) +40[30,50] < [13]:StopRA2(x8) OR NOT {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) -6[-20,20] < [-1]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13);0.0) 35 : (NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) -10[-20,20] < [-1]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6);0.0) 36 : (NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[36]:new1(I) -10[-20,20] < [37]:StartRA2(J) OR NOT {L7}:[12]:StartRA2(x8) +40[30,50] < [13]:StopRA2(x8) OR NOT {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) -6[-20,20] < [-1]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6);0.0) 37 : (NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) -10[-20,20] < [-1]:StopMOVE1(I);0.0) 38 : (NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) OR NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[36]:new1(I) -10[-20,20] < [37]:StartRA2(J) OR NOT {L7}:[12]:StartRA2(x8) +40[30,50] < [13]:StopRA2(x8) OR NOT {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) -6[-20,20] < [-1]:StopMOVE1(I);0.0) 39 : (NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(y2) -20[-20,20] < [-1]:StartMOVE1(x5) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);0.0) 40 : (NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(y2) -20[-20,20] < [-1]:StartMOVE1(I) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);0.0) 41 : (NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(y2) +20[-20,20] < [-1]:StartMOVE1(I) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);0.0) 42 : (NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[36]:new1(I) -10[-20,20] < [37]:StartRA2(J) OR NOT {L7}:[12]:StartRA2(x8) +40[30,50] < [13]:StopRA2(x8) OR NOT {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) OR NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(J) -16[-20,20] < [-1]:StartMOVE1(I) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4);0.0) Pick one: adding clause: NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L22}:[-1]:new2(y2) +10[-20,20] < [-1]:StartMOVE2(y2) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) 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]:BUTTON1(x1) +0[-10,10] < [1]:StartRA1(x1) AND {L1}:[2]:StartRA1(x2) +40[30,50] < [3]:StopRA1(x2) AND {L2}:[4]:StopRA1(x3) +0[-10,10] < [5]:GRANT1true(x3) AND {L3}:[6]:GRANT1true(x4) +0[-10,10] < [7]:StartMOVE1(x4) AND {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4) AND {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) AND {L6}:[10]:BUTTON2(x7) +0[-10,10] < [11]:StartRA2(x7) AND {L7}:[12]:StartRA2(x8) +40[30,50] < [13]:StopRA2(x8) AND {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) AND {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) AND {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) AND {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) AND {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) AND {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) AND {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) AND {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) AND NOT {L3}:[6]:GRANT1true(x4) +0[-10,10] < [7]:StartMOVE1(x4) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) AND NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4) AND NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) AND {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) AND NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[36]:new1(I) -10[-20,20] < [37]:StartRA2(J) OR NOT {L7}:[12]:StartRA2(x8) +40[30,50] < [13]:StopRA2(x8) OR NOT {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) OR NOT {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4) AND {L20}:[36]:new1(I) -10[-20,20] < [37]:StartRA2(J) AND NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L21}:[35]:new2(y2) +10[-20,20] < [38]:StartMOVE2(y2) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) AND {L21}:[35]:new2(y2) +10[-20,20] < [38]:StartMOVE2(y2) Determinant:0.0 Final formula: {L0}:[0]:BUTTON1(x1) +0[-10,10] < [1]:StartRA1(x1) AND {L1}:[2]:StartRA1(x2) +40[30,50] < [3]:StopRA1(x2) AND {L2}:[4]:StopRA1(x3) +0[-10,10] < [5]:GRANT1true(x3) AND {L3}:[6]:GRANT1true(x4) +0[-10,10] < [7]:StartMOVE1(x4) AND {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4) AND {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) AND {L6}:[10]:BUTTON2(x7) +0[-10,10] < [11]:StartRA2(x7) AND {L7}:[12]:StartRA2(x8) +40[30,50] < [13]:StopRA2(x8) AND {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) AND {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) AND {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) AND {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) AND {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) AND {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) AND {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) AND {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) AND NOT {L3}:[6]:GRANT1true(x4) +0[-10,10] < [7]:StartMOVE1(x4) OR NOT {L16}:[24]:StartMOVE1(I) +0[-10,10] < [25]:StopMOVE2(J) OR NOT {L11}:[18]:StopMOVE2(x12) -20[-30,-10] < [19]:StartMOVE2(x12) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) AND NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4) AND NOT {L12}:[20]:GRANT1true(x5) +30[20,40] < [21]:GRANT1false(x5) OR NOT {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR NOT {L13}:[22]:GRANT2true(x11) +30[20,40] < [23]:GRANT2false(x11) OR NOT {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) AND {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR {L14}:[30]:GRANT1false(x13) +0[-10,10] < [31]:GRANT2true(x14) OR {L15}:[28]:GRANT2false(x14) +0[-10,10] < [29]:GRANT1true(x13) AND NOT {L18}:[32]:GRANT1true(y1) -4[-14,6] < [33]:new1(y1) OR NOT {L20}:[36]:new1(I) -10[-20,20] < [37]:StartRA2(J) OR NOT {L7}:[12]:StartRA2(x8) +40[30,50] < [13]:StopRA2(x8) OR NOT {L8}:[14]:StopRA2(x9) +0[-10,10] < [15]:GRANT2true(x9) OR NOT {L9}:[16]:GRANT2true(x10) +0[-10,10] < [17]:StartMOVE2(x10) OR NOT {L17}:[26]:StartMOVE2(J) +0[-10,10] < [27]:StopMOVE1(I) OR NOT {L5}:[8]:StopMOVE1(x6) -20[-30,-10] < [9]:StartMOVE1(x6) OR NOT {L4}:[7]:StartMOVE1(x4) -5[-15,5] < [6]:GRANT1true(x4) AND {L20}:[36]:new1(I) -10[-20,20] < [37]:StartRA2(J) AND NOT {L19}:[34]:GRANT2true(y2) -4[-14,6] < [35]:new2(y2) OR NOT {L21}:[35]:new2(y2) +10[-20,20] < [38]:StartMOVE2(y2) OR NOT {L10}:[17]:StartMOVE2(x10) -5[-15,5] < [16]:GRANT2true(x10) AND {L21}:[35]:new2(y2) +10[-20,20] < [38]:StartMOVE2(y2) Determinant:0.0