class Start
  def main
    n, len = gets.chomp.split.map(&:to_i)
    ans = []
    a = []
    for k in 0...n
      j = 1 + k * len
      a.append j
      for i in 0...len - 1
        ans.append [j + i, j + i + 1]
      end
    end
    for i in 0...n
      ans.append [a[i], a[(i + 1) % n]]
    end
    echo [ans.size, ans.size].join(" ")
    for i in 0...ans.size
      echo (ans[i]).join(" ")
    end
    nil
  end

  def echo(*x)
    print(*x)
    puts
  end
end

Start.new.main