<10> 3 4 -1 <15> 1 2 3 -1 <20> 1 2 6 -1 <25> 1 3 4 6 -1 -2
<15> 1 2 6 -1 <20> 5 -1 -2
<10> 1 2 6 -1 -2
<10> 4 7 8 -1 <20> 2 6 -1 <25> 1 7 8 -1 -2