((((a . u) (b . u)) . 0)
 (((a . u) (b . d)) . 1)
 (((a . d) (b . u)) . 2)
 (((a . d) (b . d)) . 3)
 (((b . u) (c . u)) . 4)
 (((b . u) (c . d)) . 5)
 (((b . d) (c . u)) . 6)
 (((b . d) (c . d)) . 7)
 (((c . u) (d . u)) . 8)
 (((c . u) (d . d)) . 9)
 (((c . d) (d . u)) . 10)
 (((c . d) (d . d)) . 11)
 (((a . u) (d . u)) . 12)
 (((a . u) (d . d)) . 13)
 (((a . d) (d . u)) . 14)
 (((a . d) (d . d)) . 15))
