A randomized construction of high girth regular graphs. Issue 2 (18th November 2020)