#include <bits/stdc++.h>

using namespace std;

#define FOR(i, a, b) for (int i = (a); i < (b); i++)
#define RFOR(i, a, b) for (int i = (a) - 1; i >= (b); i--)
#define SZ(a) int(a.size())
#define ALL(a) a.begin(), a.end()
#define PB push_back
#define MP make_pair
#define F first
#define S second

typedef long long LL;
typedef vector<int> VI;
typedef pair<int, int> PII;
typedef double db;

int main()
{
	ios::sync_with_stdio(0);
	cin.tie(0);
	cout << fixed << setprecision(15);
	
	int n;
	cin >> n;
	int bx, by;
	cin >> bx >> by;
	bool sw = false;
	if (n - by < n - bx)
	{
		swap(bx, by);
		sw = true;
	}
	int c = n - bx + 1;
	int a = by - 1;
	int b = n - c - a;
	int x = bx + c - 1;
	int y = by + c - 1;
	int cp = c - 1;
	//cerr << c << ' ' << bx << ' ' << by << '\n';
	vector<VI> ans;
	while (cp)
	{
		ans.PB({x, y, -cp, -cp});
		cp--;
		x--;
		y--;
		//cerr << x << ' ' << y << '\n';
	}
	assert(x == bx && y == by);
	FOR (i, 0, a)
	{
		ans.PB({i + 1, i + 1, n - i - 1, n - i - 1});
	}
	x = a + 1;
	y = n;
	FOR (i, 0, b)
	{
		ans.PB({x + i, y - i, b + c - 1 - i, -(b + c - 1 - i)});
	}
	if (sw)
	{
		for (auto& v : ans)
		{
			swap(v[0], v[1]);
			swap(v[2], v[3]);
		}
	}
	cout << "Yes\n";
	cout << SZ(ans) << '\n';
	for (auto v : ans)
	{
		FOR (i, 0, 4)
		{
			if (i)
				cout << ' ';
			cout << v[i];
		}
		cout << '\n';
	}
	
	
	return 0;	
}