#include<bits/stdc++.h>
using namespace std;
int a[8][6]={
{0,0,9,5,10,0},
{0,0,9,5,0,20},
{10,0,9,5,11,5},
{10,0,11,5,20,0},
{20,0,11,5,20,20},
{20,20,10,20,11,5},
{10,20,11,5,9,5},
{10,20,9,5,0,20}
};
int b[9][6]={
{0,0,5,4,9,0},
{0,0,5,4,0,7},
{0,7,8,9,5,4},
{0,7,8,9,0,20},
{9,0,10,5,20,0},
{10,5,20,0,20,20},
{0,20,10,5,20,20},
{5,4,8,9,10,5},
{5,4,10,5,9,0}
};
int c[10][6]={
{0,0,9,0,8,4},
{10,3,8,4,9,0},
{10,3,9,0,11,0},
{10,3,11,0,12,4},
{10,3,8,4,10,5},
{10,3,12,4,10,5},
{20,0,11,0,12,4},
{20,20,10,5,20,0},
{0,20,10,5,20,20},
{0,0,10,5,0,20}
};
struct tri {
int x1,y1,x2,y2,x3,y3;
};
queue<tri> q;
void pt(int k) {
while(k) {
tri t=q.front(); q.pop();
if((t.x1&1)||(t.x2&1)||(t.x3&1)||(t.y1&1)||(t.y2&1)||(t.y3&1)) {
cout<<"?\n";
q.push(t);
continue;
}
q.push((tri){(t.x1+t.x2)/2,(t.y1+t.y2)/2,(t.x1+t.x3)/2,(t.y1+t.y3)/2,(t.x2+t.x3)/2,(t.y2+t.y3)/2});
q.push((tri){(t.x1+t.x2)/2,(t.y1+t.y2)/2,(t.x1+t.x3)/2,(t.y1+t.y3)/2,t.x1,t.y1});
q.push((tri){(t.x2+t.x1)/2,(t.y2+t.y1)/2,(t.x2+t.x3)/2,(t.y2+t.y3)/2,t.x2,t.y2});
q.push((tri){(t.x3+t.x1)/2,(t.y3+t.y1)/2,(t.x3+t.x2)/2,(t.y3+t.y2)/2,t.x3,t.y3});
k--;
}
while(q.size()) {
tri t=q.front(); q.pop();
// check(t);
cout<<t.x1<<' '<<t.y1<<' '<<t.x2<<' '<<t.y2<<' '<<t.x3<<' '<<t.y3<<'\n';
}
return ;
}
int main() {
ios::sync_with_stdio(false);
cin.tie(0), cout.tie(0);
for(int i=0;i<8;i++) {
for(int j=0;j<6;j++) a[i][j]*=5e7;
}
for(int i=0;i<9;i++) {
for(int j=0;j<6;j++) b[i][j]*=5e7;
}
for(int i=0;i<10;i++) {
for(int j=0;j<6;j++) c[i][j]*=5e7;
}
int k; cin>>k;
if(k<8) cout<<"No\n";
else {
cout<<"Yes\n";
if(k%3==0) {
for(int i=0;i<9;i++) q.push((tri){b[i][0],b[i][1],b[i][2],b[i][3],b[i][4],b[i][5]});
pt((k-9)/3);
}
if(k%3==1) {
for(int i=0;i<10;i++) q.push((tri){c[i][0],c[i][1],c[i][2],c[i][3],c[i][4],c[i][5]});
pt((k-10)/3);
}
if(k%3==2) {
for(int i=0;i<8;i++) q.push((tri){a[i][0],a[i][1],a[i][2],a[i][3],a[i][4],a[i][5]});
pt((k-8)/3);
}
}
return 0;
}#include<bits/stdc++.h>
using namespace std;
int a[8][6]={
{0,0,9,5,10,0},
{0,0,9,5,0,20},
{10,0,9,5,11,5},
{10,0,11,5,20,0},
{20,0,11,5,20,20},
{20,20,10,20,11,5},
{10,20,11,5,9,5},
{10,20,9,5,0,20}
};
int b[9][6]={
{0,0,5,5,9,0},
{0,0,5,5,0,6},
{0,6,9,7,5,5},
{0,6,9,7,0,20},
{9,0,10,5,20,0},
{10,5,20,0,20,20},
{0,20,10,5,20,20},
{5,5,9,7,10,5},
{5,5,10,5,9,0}
};
int c[10][6]={
{0,0,9,0,8,4},
{10,3,8,4,9,0},
{10,3,9,0,11,0},
{10,3,11,0,12,4},
{10,3,8,4,10,5},
{10,3,12,4,10,5},
{20,0,11,0,12,4},
{20,20,10,5,20,0},
{0,20,10,5,20,20},
{0,0,10,5,0,20}
};
struct tri {
int x1,y1,x2,y2,x3,y3;
};
queue<tri> q;
void pt(int k) {
while(k) {
tri t=q.front(); q.pop();
if((t.x1&1)||(t.x2&1)||(t.x3&1)||(t.y1&1)||(t.y2&1)||(t.y3&1)) {
q.push(t);
continue;
}
q.push((tri){(t.x1+t.x2)/2,(t.y1+t.y2)/2,(t.x1+t.x3)/2,(t.y1+t.y3)/2,(t.x2+t.x3)/2,(t.y2+t.y3)/2});
q.push((tri){(t.x1+t.x2)/2,(t.y1+t.y2)/2,(t.x1+t.x3)/2,(t.y1+t.y3)/2,t.x1,t.y1});
q.push((tri){(t.x2+t.x1)/2,(t.y2+t.y1)/2,(t.x2+t.x3)/2,(t.y2+t.y3)/2,t.x2,t.y2});
q.push((tri){(t.x3+t.x1)/2,(t.y3+t.y1)/2,(t.x3+t.x2)/2,(t.y3+t.y2)/2,t.x3,t.y3});
k--;
}
while(q.size()) {
tri t=q.front(); q.pop();
cout<<t.x1<<' '<<t.y1<<' '<<t.x2<<' '<<t.y2<<' '<<t.x3<<' '<<t.y3<<'\n';
}
return ;
}
int main() {
ios::sync_with_stdio(false);
cin.tie(0), cout.tie(0);
for(int i=0;i<8;i++) {
for(int j=0;j<6;j++) a[i][j]*=5e7;
}
for(int i=0;i<9;i++) {
for(int j=0;j<6;j++) b[i][j]*=5e7;
}
for(int i=0;i<10;i++) {
for(int j=0;j<6;j++) c[i][j]*=5e7;
}
int k; cin>>k;
if(k<8) cout<<"No\n";
else {
cout<<"Yes\n";
if(k%3==0) {
for(int i=0;i<9;i++) q.push((tri){b[i][0],b[i][1],b[i][2],b[i][3],b[i][4],b[i][5]});
pt((k-9)/3);
}
if(k%3==1) {
for(int i=0;i<10;i++) q.push((tri){c[i][0],c[i][1],c[i][2],c[i][3],c[i][4],c[i][5]});
pt((k-10)/3);
}
if(k%3==2) {
for(int i=0;i<8;i++) q.push((tri){a[i][0],a[i][1],a[i][2],a[i][3],a[i][4],a[i][5]});
pt((k-8)/3);
}
}
return 0;
}