*$MST_FROM_ENTRY;

*$MATCHING ForRepeatedSpecialization ;

*$STRATEGY Applicative ;
/*
$ENTRY Go {
 = <Prout <Go e.1 >> ;
}
*/

***
/*
*  InputFormat: <Go e.41 >
*  OutputFormat: ==> e.0 
*/


$ENTRY Go {
 (('xs -> empty') ('p -> t') ('q -> t') ('ys -> empty') ('t -> A')) =  True;
 (('xs -> empty') ('p -> t') ('q -> t') ('ys -> empty') ('t -> A') e.101) =  False;
 (('xs -> empty') ('p -> t') ('q -> t') ('ys -> empty') e.101) =  False;
 (('xs -> empty') ('p -> t') ('q -> t') ('ys ->t ys') ('ys -> empty') ('t -> A')) =  True;
 (('xs -> empty') ('p -> t') ('q -> t') ('ys ->t ys') ('ys -> empty') ('t -> A') e.101) =  False;
 (('xs -> empty') ('p -> t') ('q -> t') ('ys ->t ys') ('ys -> empty') e.101) =  False;
 (('xs -> empty') ('p -> t') ('q -> t') ('ys ->t ys') ('ys ->t ys') e.101) =  <F2596 e.101>;
 (('xs -> empty') ('p -> t') ('q -> t') ('ys ->t ys') e.101) =  False;
 (('xs -> empty') ('p -> t') ('q -> t') e.101) =  False;
 (('xs -> empty') ('p -> t') e.101) =  False;
 (('xs -> empty') e.101) =  False;
 (('xs ->p xs') ('xs -> empty') ('q -> t') ('p -> t') ('ys -> empty') ('t -> A')) =  True;
 (('xs ->p xs') ('xs -> empty') ('q -> t') ('p -> t') ('ys -> empty') ('t -> A') e.101) =  False;
 (('xs ->p xs') ('xs -> empty') ('q -> t') ('p -> t') ('ys -> empty') e.101) =  False;
 (('xs ->p xs') ('xs -> empty') ('q -> t') ('p -> t') ('ys ->t ys') ('ys -> empty') ('t -> A')) =  True;
 (('xs ->p xs') ('xs -> empty') ('q -> t') ('p -> t') ('ys ->t ys') ('ys -> empty') ('t -> A') e.101) =  False;
 (('xs ->p xs') ('xs -> empty') ('q -> t') ('p -> t') ('ys ->t ys') ('ys -> empty') e.101) =  False;
 (('xs ->p xs') ('xs -> empty') ('q -> t') ('p -> t') ('ys ->t ys') ('ys ->t ys') e.101) =  <F2596 e.101>;
 (('xs ->p xs') ('xs -> empty') ('q -> t') ('p -> t') ('ys ->t ys') e.101) =  False;
 (('xs ->p xs') ('xs -> empty') ('q -> t') ('p -> t') e.101) =  False;
 (('xs ->p xs') ('xs -> empty') ('q -> t') e.101) =  False;
 (('xs ->p xs') ('xs -> empty') e.101) =  False;
 (('xs ->p xs') ('xs ->q xs') e.101) =  <F1937 e.101>;
 (('xs ->p xs') e.101) =  False;
 (e.101) =  False;
}

/*
*  InputFormat: <F2596 e.101 >
*  OutputFormat: ==> s.6814 
*/
F2596 {
 ('ys -> empty') ('t -> A') =  True;
 ('ys -> empty') e.101 =  False;
 ('ys ->t ys') e.101 =  <F2596 e.101>;
 e.101 =  False;
}

/*
*  InputFormat: <F1937 e.101 >
*  OutputFormat: ==> s.9386 
*/
F1937 {
 ('xs -> empty') ('p -> t') ('q -> t') ('ys -> empty') ('t -> A') =  True;
 ('xs -> empty') ('p -> t') ('q -> t') ('ys -> empty') e.101 =  False;
 ('xs -> empty') ('p -> t') ('q -> t') ('ys ->t ys') ('ys -> empty') ('t -> A') =  True;
 ('xs -> empty') ('p -> t') ('q -> t') ('ys ->t ys') ('ys -> empty') e.101 =  False;
 ('xs -> empty') ('p -> t') ('q -> t') ('ys ->t ys') ('ys ->t ys') e.101 =  <F2596 e.101>;
 ('xs -> empty') e.101 =  False;
 ('xs ->p xs') ('xs -> empty') ('q -> t') ('p -> t') ('ys -> empty') ('t -> A') =  True;
 ('xs ->p xs') ('xs -> empty') ('q -> t') ('p -> t') ('ys -> empty') e.101 =  False;
 ('xs ->p xs') ('xs -> empty') ('q -> t') ('p -> t') ('ys ->t ys') ('ys -> empty') ('t -> A') =  True;
 ('xs ->p xs') ('xs -> empty') ('q -> t') ('p -> t') ('ys ->t ys') ('ys -> empty') e.101 =  False;
 ('xs ->p xs') ('xs -> empty') ('q -> t') ('p -> t') ('ys ->t ys') ('ys ->t ys') e.101 =  <F2596 e.101>;
 ('xs ->p xs') ('xs -> empty') e.101 =  False;
 ('xs ->p xs') ('xs ->q xs') e.101 =  <F1937 e.101>;
 e.101 =  False;
}

****************************** The End ************************************