PROVE to F Exchange | Convert Succinct to SynFutures on SimpleSwap