# get # languages and # translators
INT(1,100,n) SPACE INT(1,4500,m) NEWLINE

# English is a language
SET(langs[0]="English")

# get languages
REPI(i,n,SPACE)
  REGEX("[A-Za-z]*",langs[i+1])
END

NEWLINE

# languages can only appear once

# get translators
REPI(i,m)
  REGEX("[A-Za-z]*",l1) SPACE REGEX("[A-Za-z]*",l2) SPACE INT(1,2^31-1) NEWLINE

  # languages must be in the list
  ASSERT(INARRAY(l1,langs))
  ASSERT(INARRAY(l2,langs))

  # add l1:l2 and l2:l1 to the pair list
  SET(pairs1[2*i]=l1,pairs2[2*i]=l2,pairs1[2*i+1]=l2,pairs2[2*i+1]=l1)
END

# language pairs can only occur once
ASSERT(UNIQUE(pairs1,pairs2))