Wannafly Camp 2020 Day 2J 邦邦的2-SAT模板

#include <bits/stdc++.h>
using namespace std;

int main() {
    int n;
    cin>>n;
    cout<<n<<endl;
    for(int i=1;i<n;i++) cout<<-i<<" "<<i+1<<endl;
    cout<<-n<<" "<<-n<<endl;
}