#nullable enable using System.Numerics; object? Solve() { var x = Int(); var y = Int(); var res = new List<(int, int)>(); var t = 1; for (var i = 1; i <= x; i++) { var ti = t; for (var j = 1; j < y; j++) { var nt = ti + 1; res.Add((ti, nt)); ti++; } t += y; } t = 1; for (var i = 1; i <= x; i++) { var nt = t + y; if (i == x) nt = 1; res.Add((t, nt)); t += y; } var k = x * y; Out(k + " " + k); foreach (var (u, v) in res) Out(u + " " + v); return null; } #region AtCoderIO _io_; var _backend_ = new StandardIOBackend(); _io_ = new(){ Backend = _backend_ }; Out(Solve()); _backend_.Flush(); string String() => _io_.Next(); int Int() => int.Parse(String()); void Out(object? x, string? sep = null) => _io_.Out(x, sep ?? Environment.NewLine); class AtCoderIO { public required StandardIOBackend Backend { get; init; } Memory _input = Array.Empty(); int _iter = 0; public string Next() { while (_iter >= _input.Length) (_input, _iter) = (Backend.ReadLine().Trim().Split(' '), 0); return _input.Span[_iter++]; } public void Out(object? x, string separator) { if (x == null) return; if (x is System.Collections.IEnumerable a and not string) { var objects = a.Cast(); if (!objects.Any()) return; x = string.Join(separator, objects); } Backend.WriteLine(x); } } class StandardIOBackend { readonly StreamReader _sr = new(Console.OpenStandardInput()); readonly StreamWriter _sw = new(Console.OpenStandardOutput()) { AutoFlush = false }; public string ReadLine() => _sr.ReadLine()!; public void WriteLine(object? value) => _sw.WriteLine(value); public void Flush() => _sw.Flush(); } #endregion static class Extensions { public static T[] Repeat(this int time, Func F) => Enumerable.Range(0, time).Select(_ => F()).ToArray(); }