tree 18

18 shallow_auxiliary unsatN2_starter

top
top@156
sat+
bot
top@156
top
@169
bot
@169
top
headcatnc|np
sat-
bot
headcatnc|np
sat-
top
top@156
bot
top@156