model kbo_models.txt; data kbo_data.txt; let k := "NC"; display t; # assume NC wins 24 more games let w[k] := 66; let t[k] := 10; # maxties let l[k] := M - w[k] - l[k]; display w[k]+l[k]+t[k]; display w[k]/(w[k]+l[k]); display {i in TEAMS diff {k}} g[member(min(ord(i,TEAMS),ord(k,TEAMS)),TEAMS),member(max(ord(i,TEAMS),ord(k,TEAMS)),TEAMS)]; # assuming at most 10 ties per team, determine the average number of additional wins per team (rounded down) # if every team gets average number of additional wins and finishes with 10 ties, do any of them finish head of NC?