Tree packing conjecture verification evidence