SCPT in COQ Handel | Konvertieren von Script Network in Coq Inu auf SimpleSwap