1st: go to your Safari and open devtool, try to get some random values:
2nd: go to index.py and change the:
sequence = [
0.9065404032451221,
0.1705210652689907,
0.08764227924002821,
0.29180443582608384,
]into your random values, for example:
sequence = [
0.8555105371543132,
0.20107801644721957,
0.7757138754561511,
0.9237133452405625,
0.9861197419272029,
]3rd: run index.py file (please install z3 first):
python3 index.py