In the documentation: http://web3py.readthedocs.io/en/latest/filters.html
Quote "Subsequent topic items are the hex encoded values for indexed event arguments. In the above example, the second item is the arg1 value 10 encoded to its hex string representation."
So how to make "0x000000000000000000000000000000000000000000000000000000000000000a" from arg1 and 10 ? Please advise. Thank you