/* Generated by Frama-C */
#include "errno.h"
#include "signal.h"
#include "stdarg.h"
#include "stdio.h"
#include "stdlib.h"
#include "time.h"
int main(void)
{
  int __retres;
  unsigned int i;
  unsigned int j;
  unsigned int t[64];
  time_t tmp;
  unsigned int a = (unsigned int)0;
  tmp = time((time_t *)0);
  srand((unsigned int)tmp);
  while (~ a >> 8) {
    j = (unsigned int)0;
    i = j;
    while (1) {
      int tmp_1;
      int tmp_2;
      unsigned int tmp_0;
      tmp_1 = getchar();
      a = (unsigned int)tmp_1;
      if (~ i >> 6) 
        if (a >> 7 == (unsigned int)1) tmp_2 = 1;
        else 
          if ((a | (unsigned int)32) - (unsigned int)97 < (unsigned int)26) 
            tmp_2 = 1;
          else tmp_2 = 0;
      else tmp_2 = 0;
      if (! tmp_2) break;
      tmp_0 = i;
      i ++;
      t[tmp_0] = a;
    }
    i --;
    while (i + (unsigned int)1) {
      unsigned int tmp_4;
      putchar((int)t[j]);
      tmp_4 = i;
      i --;
      t[j] = t[tmp_4];
      if (i) {
        int tmp_3;
        tmp_3 = rand();
        j = (unsigned int)tmp_3 % i + (unsigned int)1;
      }
      else j = (unsigned int)0;
    }
    if (! (a >> 8)) putchar((int)a);
  }
  __retres = 0;
  return __retres;
}