If I execute the following code in Python:
df = pd.DataFrame(np.random.rand(20000, 3), columns=[\'key1\', \'key2\', \'key3\']) s = Styler(df, uuid_len=0, cell_ids