NODE in COQ Handel | Konvertieren von Whole Network in Coq Inu auf SimpleSwap