set V := {"v1", "v2", "v3", "v4", "v5", "v6", "v7", "v8", "v9", "v10", "v11", "v12", "v13", "v14", "v15", "v16", "v17", "v18", "v19", "v20", "v22", "v23", "v24", "v25","v26", "v27", "v21"}; set E := { <"v1", "v2">, <"v1", "v14">, <"v1", "v13">, <"v2", "v3">, <"v2", "v15">, <"v3", "v4">, <"v4", "v5">, <"v4", "v16">, <"v5", "v6">, <"v5", "v17">, <"v6", "v7">, <"v6", "v18">, <"v7", "v8">, <"v8", "v9">, <"v8", "v19">, <"v9", "v10">, <"v9", "v19">, <"v10", "v11">, <"v10", "v20">, <"v11", "v12">, <"v11", "v21">, <"v12", "v13">, <"v12", "v22">, <"v14", "v22">, <"v14", "v23">, <"v15", "v16">, <"v15", "v23">, <"v16", "v17">, <"v17", "v18">, <"v18", "v19">, <"v18", "v26">, <"v20", "v26">, <"v20", "v21">, <"v22", "v23">, <"v22", "v27">, <"v23", "v24">, <"v24", "v25">, <"v24", "v27">, <"v25", "v26">, <"v25", "v27">, <"v27", "v21"> }; defset delta(v) := { in E } union { in E } ;