REPI(i,4)
  REPI(j,13,SPACE)
    REGEX("[A23456789TJQK][CDHS]",card[i*13+j])
  END
  NEWLINE
END
ASSERT(UNIQUE(card))
EOF