tree-like tested 19569 fails 0 exceed 2r-2 0 max(a-b2) 0
