Testing the theory of two envelopes with the Cover's strategy - View it on GitHub