*$MST_FROM_ENTRY;

*$MATCHING ForRepeatedSpecialization ;

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

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


$ENTRY Go {
 (e.101) =  <F179 e.101>;
}

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

/*
*  InputFormat: <F179 e.101 >
*  OutputFormat: ==> s.3440 
*/
F179 {
 ('xs -> empty') e.101 =  <F201 e.101>;
 ('xs -> A xs') ('xs -> empty') ('ys -> empty') e.101 =  False;
 ('xs -> A xs') ('xs -> empty') ('ys -> B ys') ('ys -> empty') e.101 =  False;
 ('xs -> A xs') ('xs -> empty') ('ys -> B ys') ('ys -> A ys') ('ys -> empty') e.101 =  False;
 ('xs -> A xs') ('xs -> empty') ('ys -> B ys') ('ys -> A ys') ('ys -> A ys') ('ys -> empty') e.101 =  False;
 ('xs -> A xs') ('xs -> empty') ('ys -> B ys') ('ys -> A ys') ('ys -> A ys') ('ys -> A ys') ('ys -> empty') e.101 =  False;
 ('xs -> A xs') ('xs -> empty') ('ys -> B ys') ('ys -> A ys') ('ys -> A ys') ('ys -> A ys') ('ys -> B ys') e.101 =  <F201 e.101>;
 ('xs -> A xs') ('xs -> empty') e.101 =  False;
 ('xs -> A xs') ('xs -> B xs') ('xs -> empty') ('ys -> empty') e.101 =  False;
 ('xs -> A xs') ('xs -> B xs') ('xs -> empty') ('ys -> A ys') ('ys -> empty') e.101 =  False;
 ('xs -> A xs') ('xs -> B xs') ('xs -> empty') ('ys -> A ys') ('ys -> A ys') ('ys -> empty') e.101 =  False;
 ('xs -> A xs') ('xs -> B xs') ('xs -> empty') ('ys -> A ys') ('ys -> A ys') ('ys -> A ys') ('ys -> empty') e.101 =  False;
 ('xs -> A xs') ('xs -> B xs') ('xs -> empty') ('ys -> A ys') ('ys -> A ys') ('ys -> A ys') ('ys -> B ys') e.101 =  <F201 e.101>;
 ('xs -> A xs') ('xs -> B xs') ('xs -> empty') e.101 =  False;
 ('xs -> A xs') ('xs -> B xs') ('xs -> A xs') ('xs -> empty') ('ys -> empty') e.101 =  False;
 ('xs -> A xs') ('xs -> B xs') ('xs -> A xs') ('xs -> empty') ('ys -> A ys') ('ys -> empty') e.101 =  False;
 ('xs -> A xs') ('xs -> B xs') ('xs -> A xs') ('xs -> empty') ('ys -> A ys') ('ys -> A ys') ('ys -> empty') e.101 =  False;
 ('xs -> A xs') ('xs -> B xs') ('xs -> A xs') ('xs -> empty') ('ys -> A ys') ('ys -> A ys') ('ys -> B ys') e.101 =  <F201 e.101>;
 ('xs -> A xs') ('xs -> B xs') ('xs -> A xs') ('xs -> empty') e.101 =  False;
 ('xs -> A xs') ('xs -> B xs') ('xs -> A xs') ('xs -> A xs') ('xs -> empty') ('ys -> empty') e.101 =  False;
 ('xs -> A xs') ('xs -> B xs') ('xs -> A xs') ('xs -> A xs') ('xs -> empty') ('ys -> A ys') ('ys -> empty') e.101 =  False;
 ('xs -> A xs') ('xs -> B xs') ('xs -> A xs') ('xs -> A xs') ('xs -> empty') ('ys -> A ys') ('ys -> B ys') e.101 =  <F201 e.101>;
 ('xs -> A xs') ('xs -> B xs') ('xs -> A xs') ('xs -> A xs') ('xs -> empty') e.101 =  False;
 ('xs -> A xs') ('xs -> B xs') ('xs -> A xs') ('xs -> A xs') ('xs -> A xs') ('xs -> empty') ('ys -> empty') e.101 =  False;
 ('xs -> A xs') ('xs -> B xs') ('xs -> A xs') ('xs -> A xs') ('xs -> A xs') ('xs -> empty') ('ys -> B ys') e.101 =  <F201 e.101>;
 ('xs -> A xs') ('xs -> B xs') ('xs -> A xs') ('xs -> A xs') ('xs -> A xs') ('xs -> empty') e.101 =  False;
 ('xs -> A xs') ('xs -> B xs') ('xs -> A xs') ('xs -> A xs') ('xs -> A xs') ('xs -> B xs') e.101 =  <F179 e.101>;
 e.101 =  False;
}

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