OP-00726 Solution claimed Strong thin-tree conjecture CO · AIM Open Applied Problems · edge connectivity · spanning trees · thin trees