The 40 bits in the ULA global prefix fdce:73a4:0b00::/48 were generated by Python's `random.randint(0,2**40-1)` call