warning: Ignored call to loop_cont_f28/81 in equation f0/81 
warning: Ignored call to loop_cont_f28/81 in equation f0/81 
warning: Ignored call to f366/81 in equation f363/81 
warning: Ignored call to loop_cont_f361/81 in equation f353/81 
warning: Ignored call to loop_cont_f361/81 in equation f353/81 
warning: Ignored call to loop_cont_f361/81 in equation f353/81 
warning: Ignored call to loop_cont_f361/81 in equation f49/81 
Warning: the following predicates are never called:[f30/81,f363/81]