#include <iostream>
#include <algorithm>
using namespace std;
 
int main()
  {
   char tb[]="1234567";
   const unsigned size=7;
   for(unsigned nr=0;;++nr)
     {
      unsigned NR=0;
      for(unsigned w=0;w<size-1;NR*=(size-(++w))) for(unsigned v=w+1;v<size;++v) if(tb[v]<tb[w]) ++NR;
      if(NR!=nr)
        {
         cout<<NR<<"!="<<nr<<endl;
         cin.get();
        }
      if(!next_permutation(tb,tb+7)) break;
     }
   cout<<"END"<<endl;
   return 0;
  }

I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8YWxnb3JpdGhtPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKaW50IG1haW4oKQogIHsKICAgY2hhciB0YltdPSIxMjM0NTY3IjsKICAgY29uc3QgdW5zaWduZWQgc2l6ZT03OwogICBmb3IodW5zaWduZWQgbnI9MDs7KytucikKICAgICB7CiAgICAgIHVuc2lnbmVkIE5SPTA7CiAgICAgIGZvcih1bnNpZ25lZCB3PTA7dzxzaXplLTE7TlIqPShzaXplLSgrK3cpKSkgZm9yKHVuc2lnbmVkIHY9dysxO3Y8c2l6ZTsrK3YpIGlmKHRiW3ZdPHRiW3ddKSArK05SOwogICAgICBpZihOUiE9bnIpCiAgICAgICAgewogICAgICAgICBjb3V0PDxOUjw8IiE9Ijw8bnI8PGVuZGw7CiAgICAgICAgIGNpbi5nZXQoKTsKICAgICAgICB9CiAgICAgIGlmKCFuZXh0X3Blcm11dGF0aW9uKHRiLHRiKzcpKSBicmVhazsKICAgICB9CiAgIGNvdXQ8PCJFTkQiPDxlbmRsOwogICByZXR1cm4gMDsKICB9