Merging matched node 12 with 2
Merging matched node 13 with 3
Merging matched node 14 with 2
Merging matched node 15 with 3
Merging matched node 46 with 17
Merging matched node 47 with 17
Merging matched node 48 with 17
Merging matched node 49 with 17


Sequences:

1 } 
2 } 12  6  2 
3 } 10 13 
4 }  4  5  1 
5 }  4  5 
6 }  8 14  6 
7 }  7  2 
8 }  3  2 
9 }  7 
10}  3 
11} 11 
Runs 280  Nodes used: 184  Max depth: 14
  1>L P0   [  2,  3] { S2  } ( 12 6  2  )
  2>D P1   [  4] { S3  } ( 10 13 )
  4>L P2   [  6,  7] { S4  } ( 4  5  1  )
  6>D P4   [  9] { S6  } ( 8  14 6  )
  9>L P6   [  2,  3] { S8  } ( 3  2  )
  3>D P1   [  5] { S1  } ( )
  5>D P3   [  8] { S5  } ( 4  5  )
  8>L P5   [  2,  3] { S7  } ( 7  2  )
  7>D P4   [ 10, 11] { S1  } ( )
 10>D P7   [ 16] { S9  } ( 7  )
 16>L P10  [ 22, 23] { S8  } ( 3  2  )
 22>D P16  [ 32] { S11 } ( 11 )
 32>D P22  [ 17] { S5  } ( 4  5  )
 17>L P11  [ 24, 25] { S7  } ( 7  2  )
 24>D P17  [ 34] { S11 } ( 11 )
 34>D P24  [ 17] { S5  } ( 4  5  )
 25>D P17  [ 35] { S1  } ( )
 35>D P25  [ 17] { S5  } ( 4  5  )
 23>D P16  [ 33] { S1  } ( )
 33>D P23  [ 17] { S5  } ( 4  5  )
 11>D P7   [ 17] { S10 } ( 3  )


Calling checkTree

  1>L P0   [  2,  3] { S2  } ( 12 6  2  )
  2>D P1   [  4] { S3  } ( 10 13 )
  4>L P2   [  6,  7] { S4  } ( 4  5  1  )
  6>D P4   [  9] { S6  } ( 8  14 6  )
  9>L P6   [  2,  3] { S8  } ( 3  2  )
  3>D P1   [  5] { S1  } ( )
  5>D P3   [  8] { S5  } ( 4  5  )
  8>L P5   [  2,  3] { S7  } ( 7  2  )
  7>D P4   [ 10, 11] { S1  } ( )
 10>D P7   [ 16] { S9  } ( 7  )
 16>L P10  [ 22, 23] { S8  } ( 3  2  )
 22>D P16  [ 32] { S11 } ( 11 )
 32>D P22  [ 17] { S5  } ( 4  5  )
 17>L P11  [ 24, 25] { S7  } ( 7  2  )
 24>D P17  [ 34] { S11 } ( 11 )
 34>D P24  [ 17] { S5  } ( 4  5  )
 25>D P17  [ 35] { S1  } ( )
 35>D P25  [ 17] { S5  } ( 4  5  )
 23>D P16  [ 33] { S1  } ( )
 33>D P23  [ 17] { S5  } ( 4  5  )
 11>D P7   [ 17] { S10 } ( 3  )

****************************************
TRIGGERS
========

Transition 4 : 2  
Transition 7 : 5  
Transition 3 : 1  
****************************************

****************************************
KILLERS
========

Transition 4 : 4  
Transition 7 : 8  7  
Transition 3 : 3  
****************************************
