Update Size-Ramsey_Numbers.md add dreding key

3 jobs for !152 with cfg0846-dev-patch-38305 in 39 seconds (queued for 1 second)
latest detached
Status Job ID Name Coverage
  Build
passed #494642
build-www3-dev

00:00:18

 
  Review
passed #494643
review_tuhh

00:00:11

passed #494644
manual
review_tuhh:stop

00:00:09