Randomized greedy algorithm for independent sets in regular uniform hypergraphs with large girth. Issue 1 (19th January 2021)