How to use MerkleProof library?

A post was split to a new topic: What to provide in the proof parameter of the verify function for the MerkleProof library