Coloring graphs of various maximum degree from random lists. Issue 1 (20th August 2017)