Add a couple example Ramsey sequences