Submission #2269611

---

Source Code Expand

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

using Int = __int128_t;
Int abs128(Int val){return val<0?-val:val;}

ostream &operator<<(ostream &os,Int val){
  if(ostream::sentry(os)){
    __uint128_t tmp=abs128(val);
    char buf[64];
    char *d=end(buf);
    do{
      --d;
      *d=char(tmp%10+'0');
      tmp/=10;
    }while(tmp);
    if(val<0) *--d='-';
    Int len=end(buf)-d;
    if(os.rdbuf()->sputn(d,len)!=len){
      os.setstate(ios_base::badbit);
    }
  }
  return os;
}

istream &operator>>(istream &is,Int &val){
  string s;
  is>>s;
  val=0;
  for(Int i=0;i<(Int)s.size();i++)
    if(isdigit(s[i])) val=val*10+s[i]-'0';
  if(s[0]=='-') val*=-1;
  return is;
}


//INSERT ABOVE HERE
signed main(){
  Int y,m;
  cin>>y>>m;
  Int x=(y-2013)*12+m;
  Int l=0,r=1e18;
  while(l+1<r){
    Int m=(l+r)>>1;
    Int s=13*m+m*(m-1)/2;
    //cout<<m<<":"<<x<<" "<<s<<endl;
    if(s<x) l=m;
    else r=m;
  }
  Int n=l;
  Int s=13*n+n*(n-1)/2;
  x-=s;
  cout<<n<<":"<<x<<endl;
  cout<<2013+n<<" "<<x<<endl;
  return 0;
}

Submission Info

Judge Result