awakeOnInst v[32]:0
brelaz
minVar: 39
K: 0 addition: 1 maxK: 0
awakeOnInst v[8]:0
brelaz
minVar: 39
K: 0 addition: 1 maxK: 0
awakeOnInst v[13]:0
brelaz
minVar: 39
K: 0 addition: 1 maxK: 0
awakeOnInst v[19]:0
brelaz
minVar: 39
K: 0 addition: 1 maxK: 0
awakeOnInst v[26]:0
brelaz
minVar: 39
K: 0 addition: 1 maxK: 0
awakeOnInst v[29]:0
brelaz
minVar: 39
K: 0 addition: 1 maxK: 0
awakeOnInst v[4]:0
brelaz
minVar: 39
K: 0 addition: 1 maxK: 0
awakeOnInst v[37]:0
brelaz
minVar: 39
K: 0 addition: 1 maxK: 0
awakeOnInst v[36]:0
brelaz
minVar: 39
K: 0 addition: 1 maxK: 0
awakeOnInst v[39]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[0]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[1]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[2]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[3]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[5]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[6]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[7]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[9]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[10]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[11]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[12]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[14]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[15]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[16]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[17]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[18]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[20]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[21]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[22]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[23]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[24]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[25]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[27]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[28]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[30]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[31]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[33]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[34]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[35]:0
brelaz
K: 0 addition: 0 maxK: 0
awakeOnInst v[39]:1
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[31]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[12]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[30]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[0]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[24]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[5]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[14]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[20]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[9]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[3]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[23]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[1]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[16]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[27]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[38]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[35]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[6]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[34]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[2]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[33]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[10]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[15]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[18]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[25]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[21]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[7]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[11]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[17]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[22]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[28]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[36]:1
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[25]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[12]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[30]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[17]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[0]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[24]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[20]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[5]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[7]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[9]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[3]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[11]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[23]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[28]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[1]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[16]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[27]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[39]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[38]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[22]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[35]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[6]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[2]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[10]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[15]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[18]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[14]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[21]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[31]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[33]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[37]:1
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[31]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[30]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[17]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[0]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[24]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[14]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[20]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[5]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[7]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[9]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[3]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[11]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[28]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[1]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[16]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[39]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[38]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[36]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[22]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[35]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[6]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[34]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[2]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[33]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[10]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[15]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[18]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[25]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[12]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[21]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[23]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[4]:1
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[23]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[22]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[21]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[20]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[1]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[17]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[16]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[15]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[12]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[0]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[11]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[10]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[7]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[6]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[5]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[2]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[39]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[38]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[35]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[3]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[34]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[33]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[31]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[30]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[28]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[27]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[25]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[24]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[9]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[14]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[18]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[36]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[29]:1
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[10]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[15]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[21]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[25]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[12]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[38]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[37]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[17]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[36]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[35]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[34]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[20]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[24]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[14]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[31]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[7]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[30]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[5]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[0]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[9]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[3]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[11]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[23]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[1]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[16]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[27]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[22]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[6]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[2]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[4]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[18]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[33]:0
brelaz
minVar: 39
K: 1 addition: 1 maxK: 1
awakeOnInst v[28]:0
brelaz
K: 1 addition: 0 maxK: 1
awakeOnInst v[39]:1
brelaz
K: 2 addition: 0 maxK: 2
awakeOnInst v[28]:1
brelaz
K: 2 addition: 0 maxK: 2
awakeOnInst v[39]:1
brelaz
K: 3 addition: 0 maxK: 3
awakeOnInst v[33]:1
brelaz
K: 2 addition: 0 maxK: 3
awakeOnInst v[18]:1
brelaz
K: 2 addition: 0 maxK: 3
awakeOnInst v[28]:0
brelaz
K: 2 addition: 0 maxK: 3
awakeOnInst v[4]:1
brelaz
K: 2 addition: 0 maxK: 3
awakeOnInst v[39]:0
brelaz
K: 2 addition: 0 maxK: 3
awakeOnInst v[33]:0
brelaz
K: 2 addition: 0 maxK: 3
awakeOnInst v[26]:1
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[18]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[2]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[15]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[21]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[25]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[12]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[20]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[14]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[7]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[5]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[0]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[9]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[11]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[23]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[39]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[16]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[1]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[37]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[36]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[35]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[34]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[33]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[31]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[30]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[29]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[28]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[22]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[27]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[4]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[6]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[3]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[10]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[19]:1
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[4]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[2]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[10]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[15]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[18]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[12]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[17]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[39]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[14]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[38]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[37]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[36]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[7]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[9]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[35]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[34]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[31]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[29]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[11]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[28]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[0]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[27]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[26]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[25]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[24]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[23]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[22]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[16]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[1]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[21]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[20]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[3]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[5]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[13]:1
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[16]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[15]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[14]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[4]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[6]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[2]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[10]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[12]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[5]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[39]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[38]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[9]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[37]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[3]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[7]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[36]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[35]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[34]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[33]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[31]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[30]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[29]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[28]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[24]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[23]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[22]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[21]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[1]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[19]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[0]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[18]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[17]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[11]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[20]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[8]:1
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[22]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[1]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[21]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[20]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[19]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[0]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[18]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[17]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[16]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[15]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[14]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[13]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[12]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[6]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[11]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[4]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[10]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[9]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[2]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[5]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[3]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[39]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[38]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[37]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[35]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[33]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[31]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[30]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[29]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[28]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[27]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[25]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[23]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[7]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[24]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[32]:1
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[33]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[21]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[25]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[31]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[12]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[30]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[17]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[24]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[14]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[20]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[7]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[5]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[29]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[0]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[9]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[3]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[28]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[11]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[23]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[16]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[27]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[19]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[13]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[22]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[26]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[4]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[8]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[6]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[39]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[2]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[38]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[37]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[10]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[15]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[35]:0
brelaz
K: 1 addition: 0 maxK: 3
awakeOnInst v[34]:0
brelaz
K: 1 addition: 0 maxK: 3
3 17 83 true
28 29 39