fairstr/
liveness/
notacc_black_nogrey/
notacc_init/
notacc_white_ancestor/
notacc_white_nogrey/
notfree_notacc/
until_zero/