Enumerating orientations of the free spikes

We show that there are exactly 2k−1Dk2k−1Dk inequivalent orientations of the rank-kk free spike (k≥4k≥4) where DkDk is the kth Dedekind number. Our proof of this result is constructive and employs the monotone boolean functions.