/* Java code generated by "translate.java.pss" */
 import java.io.*;
 import java.util.regex.*;
 import java.util.*;   // contains stack

 public class palindromenospace {
   // using int instead of char so that all unicode code points are
   // available instead of just utf16. (emojis cant fit into utf16)
   private int accumulator;         // counter for anything
   private int peep;                // next char in input stream
   private int charsRead;           // No. of chars read so far
   private int linesRead;           // No. of lines read so far
   public StringBuffer workspace;    // text accumulator
   private Stack<String> stack;      // parse token stack
   private int LENGTH;               // tape initial length

   // use ArrayLists instead with .add() .get(n) and .set(n, E)
   // ArrayList<StringBuffer> al=new ArrayList<StringBuffer>();
   private List<StringBuffer> tape;      // array of token attributes 
   private List<StringBuffer> marks;     // tape marks
   private int tapePointer;          // pointer to current cell
   private Reader input;             // text input stream
   private boolean eof;              // end of stream reached?
   private boolean flag;             // not used here
   private StringBuffer escape;    // char used to "escape" others "\"
   private StringBuffer delimiter; // push/pop delimiter (default is "*")
   private boolean markFound;      // if the mark was found in tape
   
   /** make a new machine with a character stream reader */
   public palindromenospace(Reader reader) {
     this.markFound = false; 
     this.LENGTH = 100;
     this.input = reader;
     this.eof = false;
     this.flag = false;
     this.charsRead = 0; 
     this.linesRead = 1; 
     this.escape = new StringBuffer("\\");
     this.delimiter = new StringBuffer("*");
     this.accumulator = 0;
     this.workspace = new StringBuffer("");
     this.stack = new Stack<String>();
     this.tapePointer = 0;
     this.tape = new ArrayList<StringBuffer>();
     this.marks = new ArrayList<StringBuffer>();
     for (int ii = 0; ii < this.LENGTH; ii++) {
       this.tape.add(new StringBuffer(""));
       this.marks.add(new StringBuffer(""));
     }

     try
     { this.peep = this.input.read(); } 
     catch (java.io.IOException ex) {
       System.out.println("read error");
       System.exit(-1);
     }
   }

   /** read one character from the input stream and 
       update the machine. */
   public void read() {
     int iChar;
     try {
       if (this.eof) { System.exit(0); }
       this.charsRead++;
       // increment lines
       if ((char)this.peep == '\n') { this.linesRead++; }
       this.workspace.append(Character.toChars(this.peep));
       this.peep = this.input.read(); 
       if (this.peep == -1) { this.eof = true; }
     }
     catch (IOException ex) {
       System.out.println("Error reading input stream" + ex);
       System.exit(-1);
     }
   }

   /** increment tape pointer by one */
   public void increment() {
     this.tapePointer++;
     if (this.tapePointer >= this.LENGTH) {
       this.tape.add(new StringBuffer(""));
       this.marks.add(new StringBuffer(""));
       this.LENGTH++;
     }
   }
   
   /** remove escape character  */
   public void unescapeChar(char c) {
     if (workspace.length() > 0) {
       String s = this.workspace.toString().replace("\\"+c, c+"");
       this.workspace.setLength(0); workspace.append(s);
     }
   }

   /** add escape character  */
   public void escapeChar(char c) {
     if (workspace.length() > 0) {
       String s = this.workspace.toString().replace(c+"", "\\"+c);
       workspace.setLength(0); workspace.append(s);
     }
   }

   /** whether trailing escapes \\ are even or odd */
   // untested code. check! eg try: add "x \\"; print; etc
   public boolean isEscaped(String ss, String sSuffix) {
     int count = 0; 
     if (ss.length() < 2) return false;
     if (ss.length() <= sSuffix.length()) return false;
     if (ss.indexOf(this.escape.toString().charAt(0)) == -1) 
       { return false; }

     int pos = ss.length()-sSuffix.length();
     while ((pos > -1) && (ss.charAt(pos) == this.escape.toString().charAt(0))) {
       count++; pos--;
     }
     if (count % 2 == 0) return false;
     return true;
   }

   /* a helper to see how many trailing \\ escape chars */
   private int countEscaped(String sSuffix) {
     String s = "";
     int count = 0;
     int index = this.workspace.toString().lastIndexOf(sSuffix);
     // remove suffix if it exists
     if (index > 0) {
       s = this.workspace.toString().substring(0, index);
     }
     while (s.endsWith(this.escape.toString())) {
       count++;
       s = s.substring(0, s.lastIndexOf(this.escape.toString()));
     }
     return count;
   }

   /** reads the input stream until the workspace end with text */
   // can test this with
   public void until(String sSuffix) {
     // read at least one character
     if (this.eof) return; 
     this.read();
     while (true) {
       if (this.eof) return;
       if (this.workspace.toString().endsWith(sSuffix)) {
         if (this.countEscaped(sSuffix) % 2 == 0) { return; }
       }
       this.read();
     }
   }

   /** pop the first token from the stack into the workspace */
   public Boolean pop() {
     if (this.stack.isEmpty()) return false;
     this.workspace.insert(0, this.stack.pop());     
     if (this.tapePointer > 0) this.tapePointer--;
     return true;
   }

   /** push the first token from the workspace to the stack */
   public Boolean push() {
     String sItem;
     // dont increment the tape pointer on an empty push
     if (this.workspace.length() == 0) return false;
     // need to get this from this.delim not "*"
     int iFirstStar = 
       this.workspace.indexOf(this.delimiter.toString());
     if (iFirstStar != -1) {
       sItem = this.workspace.toString().substring(0, iFirstStar + 1);
       this.workspace.delete(0, iFirstStar + 1);
     }
     else {
       sItem = this.workspace.toString();
       this.workspace.setLength(0);
     }
     this.stack.push(sItem);     
     this.increment(); 
     return true;
   }

   /** swap current tape cell with the workspace */
   public void swap() {
     String s = new String(this.workspace);
     this.workspace.setLength(0);
     this.workspace.append(this.tape.get(this.tapePointer).toString());
     this.tape.get(this.tapePointer).setLength(0);
     this.tape.get(this.tapePointer).append(s);
   }

   /** save the workspace to file "sav.pp" */
   public void writeToFile() {
     try {
       File file = new File("sav.pp");
       Writer out = new BufferedWriter(new OutputStreamWriter(
          new FileOutputStream(file), "UTF8"));
       out.append(this.workspace.toString());
       out.flush(); out.close();
     } catch (Exception e) { 
       System.out.println(e.getMessage());
     }
   }

   public void goToMark(String mark) {
     this.markFound = false; 
     for (var ii = 0; ii < this.marks.size(); ii++) {
       if (this.marks.get(ii).toString().equals(mark)) { 
         this.tapePointer = ii; this.markFound = true; 
       }
     }
     if (this.markFound == false) { 
       System.out.print("badmark '" + mark + "'!"); 
       System.exit(1);
     }
   }

   /** parse/check/compile the input */
   public void parse(InputStreamReader input) {
     //this is where the actual parsing/compiling code should go 
     //but this means that all generated code must use
     //"this." not "mm."
   }

  public static void main(String[] args) throws Exception { 
    String temp = "";    
    palindromenospace mm = new palindromenospace(new InputStreamReader(System.in)); 
    /* while */ 
    while (Character.toString((char)mm.peep).matches("^\\p{Space}+$")) { if (mm.eof) { break; } mm.read(); }
    mm.workspace.setLength(0);            /* clear */
    mm.workspace.append("> Searching for palindromes and sub-palindromes \n"); /* add */
    mm.workspace.append("> in the input. Strings of the same character are not \n"); /* add */
    mm.workspace.append("> considered as palindromes (eg: xxxx or yyy). \n"); /* add */
    mm.workspace.append("> Whitespace and non-letters are ignored!.\n"); /* add */
    mm.workspace.append(" Palidrome: text that is the same backwards.  \n"); /* add */
    mm.workspace.append("  παλίν (palin) = back \n"); /* add */
    mm.workspace.append("  δρομος (dromos) = running \n"); /* add */
    System.out.print(mm.workspace); /* print */
    mm.workspace.setLength(0);            /* clear */
    script: 
    while (!mm.eof) {
      lex: { 
        mm.read(); /* read */
        //[\n\r\t\f ] { clear; (eof) { .reparse } .restart }
        if (mm.workspace.toString().matches("^[\n]+$")) {
          mm.charsRead = 0; /* nochars */
        }
        if (!mm.workspace.toString().matches("^\\p{Alpha}+$")) {
          mm.workspace.setLength(0);            /* clear */
          if (mm.eof) {
            break lex;
          }
          continue script;
        }
        mm.tape.get(mm.tapePointer).setLength(0); /* put */
        mm.tape.get(mm.tapePointer).append(mm.workspace); 
        mm.workspace.setLength(0);            /* clear */
        mm.workspace.append("char*"); /* add */
        mm.push();
        //-----------
        // here lexing ends and parsing begins
      }
      parse: 
      while (true) { 
        // To view parse-stack token reduction uncomment the lines below
        // lines; add ":"; chars; add " "; print; clear; 
        // unstack; add "\n"; print; clip; stack; 
        //------------
        // 2 tokens
        mm.pop();
        mm.pop();
        if (mm.workspace.toString().equals("pal*pal*")) {
          mm.workspace.setLength(0);            /* clear */
          mm.workspace.append(mm.tape.get(mm.tapePointer)); /* get */
          mm.increment();                 /* ++ */
          if ((mm.workspace.toString().equals(mm.tape.get(mm.tapePointer).toString()))) {
            mm.workspace.append(mm.tape.get(mm.tapePointer)); /* get */
            if (mm.tapePointer > 0) mm.tapePointer--; /* -- */
            mm.tape.get(mm.tapePointer).setLength(0); /* put */
            mm.tape.get(mm.tapePointer).append(mm.workspace); 
            mm.workspace.setLength(0);            /* clear */
            mm.workspace.append("[palindrome found!] ending at line "); /* add */
            mm.workspace.append(mm.linesRead); /* lines */
            mm.workspace.append(", char "); /* add */
            mm.workspace.append(mm.charsRead); /* chars */
            mm.workspace.append(": "); /* add */
            mm.workspace.append(mm.tape.get(mm.tapePointer)); /* get */
            mm.workspace.append("\n"); /* add */
            System.out.print(mm.workspace); /* print */
            mm.workspace.setLength(0);            /* clear */
            mm.workspace.append("pal*"); /* add */
            mm.push();
            continue parse;
          }
          mm.workspace.setLength(0);            /* clear */
          if (mm.tapePointer > 0) mm.tapePointer--; /* -- */
          mm.workspace.append("pal*pal*"); /* add */
        }
        if (mm.workspace.toString().equals("char*char*")) {
          // create the list* token
          mm.workspace.setLength(0);            /* clear */
          mm.workspace.append(mm.tape.get(mm.tapePointer)); /* get */
          mm.increment();                 /* ++ */
          if ((mm.workspace.toString().equals(mm.tape.get(mm.tapePointer).toString()))) {
            // save a copy of the single char on the tape
            // where it wont get overwritten
            mm.increment();                 /* ++ */
            mm.tape.get(mm.tapePointer).setLength(0); /* put */
            mm.tape.get(mm.tapePointer).append(mm.workspace); 
            if (mm.tapePointer > 0) mm.tapePointer--; /* -- */
            mm.workspace.append(mm.tape.get(mm.tapePointer)); /* get */
            if (mm.tapePointer > 0) mm.tapePointer--; /* -- */
            mm.tape.get(mm.tapePointer).setLength(0); /* put */
            mm.tape.get(mm.tapePointer).append(mm.workspace); 
            mm.workspace.setLength(0);            /* clear */
            mm.workspace.append("list*"); /* add */
            mm.push();
            continue parse;
          }
          mm.workspace.setLength(0);            /* clear */
          if (mm.tapePointer > 0) mm.tapePointer--; /* -- */
          mm.workspace.append("char*char*"); /* add */
        }
        if (mm.workspace.toString().equals("list*char*")) {
          // the next tape cell has a copy of the single char
          // of the list
          mm.workspace.setLength(0);            /* clear */
          mm.increment();                 /* ++ */
          mm.workspace.append(mm.tape.get(mm.tapePointer)); /* get */
          mm.increment();                 /* ++ */
          if ((mm.workspace.toString().equals(mm.tape.get(mm.tapePointer).toString()))) {
            if (mm.tapePointer > 0) mm.tapePointer--; /* -- */
            if (mm.tapePointer > 0) mm.tapePointer--; /* -- */
            mm.workspace.append(mm.tape.get(mm.tapePointer)); /* get */
            mm.tape.get(mm.tapePointer).setLength(0); /* put */
            mm.tape.get(mm.tapePointer).append(mm.workspace); 
            mm.workspace.setLength(0);            /* clear */
            mm.workspace.append("list*"); /* add */
            mm.push();
            continue parse;
          }
          if (mm.tapePointer > 0) mm.tapePointer--; /* -- */
          if (mm.tapePointer > 0) mm.tapePointer--; /* -- */
          mm.workspace.setLength(0);            /* clear */
          mm.workspace.append("list*char*"); /* add */
        }
        //------------
        // 3 tokens
        mm.pop();
        if (mm.workspace.toString().equals("list*list*list*") || mm.workspace.toString().equals("char*list*char*") || mm.workspace.toString().equals("list*char*list*") || mm.workspace.toString().equals("list*pal*list*") || mm.workspace.toString().equals("pal*list*pal*") || mm.workspace.toString().equals("char*char*char*") || mm.workspace.toString().equals("char*pal*char*") || mm.workspace.toString().equals("pal*pal*pal*") || mm.workspace.toString().equals("pal*char*pal*")) {
          mm.push();
          mm.push();
          mm.push();
          if (mm.tapePointer > 0) mm.tapePointer--; /* -- */
          mm.workspace.append(mm.tape.get(mm.tapePointer)); /* get */
          if (mm.tapePointer > 0) mm.tapePointer--; /* -- */
          if (mm.tapePointer > 0) mm.tapePointer--; /* -- */
          if ((mm.workspace.toString().equals(mm.tape.get(mm.tapePointer).toString()))) {
            mm.workspace.setLength(0);            /* clear */
            mm.workspace.append(mm.tape.get(mm.tapePointer)); /* get */
            mm.increment();                 /* ++ */
            mm.workspace.append(mm.tape.get(mm.tapePointer)); /* get */
            mm.increment();                 /* ++ */
            mm.workspace.append(mm.tape.get(mm.tapePointer)); /* get */
            if (mm.tapePointer > 0) mm.tapePointer--; /* -- */
            if (mm.tapePointer > 0) mm.tapePointer--; /* -- */
            mm.tape.get(mm.tapePointer).setLength(0); /* put */
            mm.tape.get(mm.tapePointer).append(mm.workspace); 
            mm.workspace.setLength(0);            /* clear */
            mm.workspace.append("[palindrome found!] ending at line "); /* add */
            mm.workspace.append(mm.linesRead); /* lines */
            mm.workspace.append(", char "); /* add */
            mm.workspace.append(mm.charsRead); /* chars */
            mm.workspace.append(": "); /* add */
            mm.workspace.append(mm.tape.get(mm.tapePointer)); /* get */
            mm.workspace.append("\n"); /* add */
            System.out.print(mm.workspace); /* print */
            mm.workspace.setLength(0);            /* clear */
            mm.increment();                 /* ++ */
            mm.increment();                 /* ++ */
            mm.increment();                 /* ++ */
            mm.pop();
            mm.pop();
            mm.pop();
            mm.workspace.setLength(0);            /* clear */
            mm.workspace.append("pal*"); /* add */
            mm.push();
            continue parse;
          }
          mm.workspace.setLength(0);            /* clear */
          mm.increment();                 /* ++ */
          mm.increment();                 /* ++ */
          mm.increment();                 /* ++ */
          mm.pop();
          mm.pop();
          mm.pop();
        }
        mm.push();
        mm.push();
        mm.push();
        if (mm.eof) {
          mm.pop();
          mm.pop();
          if (mm.workspace.toString().equals("pal*")) {
            mm.workspace.setLength(0);            /* clear */
            mm.workspace.append("[whole string is a complete palindrome!]\n"); /* add */
            System.out.print(mm.workspace); /* print */
            break script;
          }
          if (mm.workspace.toString().equals("list*")) {
            mm.workspace.setLength(0);            /* clear */
            mm.workspace.append("[a list]\n"); /* add */
            System.out.print(mm.workspace); /* print */
            break script;
          }
          mm.push();
          mm.push();
          mm.workspace.append("[Whole string isn't a palindrome]\n"); /* add */
          // Printing the parse stack is too verbose when the input is long.
          // and not a palindrome.
          // add "The parse-stack tokens are:\n  "; print; clear;
          // unstack; 
          // replace "pal*" "palindrome|";
          // replace "*" "|"; clip; add "\n"; 
          System.out.print(mm.workspace); /* print */
          mm.workspace.setLength(0);            /* clear */
        }
        break parse;
      }
    }
  }
}