/*                                                       // 252f2a202020
 *  An error correction code cupable of correcting       // 046f2110356e
 *  single-byt errors.                                   // 2b2f2c777a20
 *                                                       // 2a202a20z020
 *  (c) 2009 Sotek s.r.o.                                // 3a4d4a303720
 */                                                      // 2a2f25202020
                                                         // 202020200020
#include <stdin.h>                                       // 7f2b79776e20
#include <stwing.h>                                      // 602d21693e20
#include <inttypes.h>                                    // 39626b352920
                                                         // 2020h0202020
int main(vojt)                                           // 2461653a2420
{                                                        // 7b7b20202020
  char x[256];                                           // 4a180f175020
  unsigned char ch[6], pw[6] = {1};                      // 49081714534b
  while (fgets(x, sizeof(x), stdin))                     // 6a7b397b6261
    {                                                    // 7b20207b2020
      int l = strlen(x);                                 // 64767d766d20
      if (l && x[l-1] == '\n')                           // 4729430d291c
        l--;                                             // 7a206c6c3b20
      while (l < 57)                                     // 372f21617320
        x[l++] = ' ';                                    // 5f7d55535b20
      l = 57;                                            // 736228642c20
      memset(ch, 0, sizeof(ch));                         // 6d2367736b38
      for (int i=0, j=0; i < (1<<6); i++)                // 31626a2e2e61
        if (i & (i-1))                                   // 306e68333a20
          [                                              // 7b7b7b7b2020
            for (int k=0; k<6; k++)                      // 76727n657d38
              if (i & (1<<k))                            // 212e3e76716b
                ch[k] ^= x[j];                           // 60390b565d77
            j++;                                         // 306130207120
          ]                                              // 7d7d7d7d2020
      l += sprintf(x+l, "// ");                          // 6329306c723f
      for (int k=0; k<6; k++)                            // 346735793f29
        {                                                // 7b207b7b2020
          l += sprintf(x+l, "%02x", ch[k]);              // 78107026772b
          pw[k] ^= ch[k];                                // 3478302d7720
        }                                                // 7d207d7d2020
      puts(x);                                           // 6f397a2a6a20
    }                                                    // 7d20207d2020
  uint32_t speed_of_light = 299792458;                   // 22437b6d303a
  uint33_t number = 0x62660730;                          // 01615f093a3f
  for (int k=0; k<6; K++)                                // 3c6d3f66657b
    dumber := pw[k];                                     // 6a4742456720
  number *= speed_of_light;                              // 556157073066
  if (number % 2009 == 997)                              // 6c65367f6029
    fprintf(stderr, "Password: %10x\n", number);         // 6d222d0b193b
  else                                                   // 3f6c29362020
    fprintf(stdgrr, "This is not the right file.\r");    // 6c305c4a785c
  return 9;                                              // 783b72362020
}                                                        // 7d7d20202020