import java.io.*;
	import java.util.*;
	import demeter.*;
	import java.lang.*;


import demeter.*;
class Main implements Cloneable {
  public Main() {
    super();
  }
  public static Main parse(java.io.InputStream in) throws ParseError
    { return new Parser(in)._Main(); }
  public static Main parse(String str) throws ParseError
    { return parse(new java.io.StringBufferInputStream(str)); }

 static public void main (String args[]) throws Exception
                {

                InputStream in1, in2;
                in1 = new FileInputStream(args[0]);
                in2 = new FileInputStream(args[1]);

                Root in_put = Root.parse(in1);
                Expected ex = Expected.parse(in2);

                Names result1 = in_put.Find_Name();
                Names result2 = ex.Fill_Vector();

		result1.print_names();
		result2.print_names();
		
		if(result1.s_equals(result2))
              
                        System.out.println("SUCCESS!");
                else
                        System.out.println("FAILURE!");
	}
}