0

1
  sum := "INT" • [0-1]
  Γ := sum • [0-1]