extern int __VERIFIER_nondet_int();
extern int input();
int __SELECTED_FEATURE_FOOBAR_SPL;
int __SELECTED_FEATURE_LE;
int __SELECTED_FEATURE_GR;
int __SELECTED_FEATURE_PLUS;
int __SELECTED_FEATURE_MINUS;
int __SELECTED_FEATURE_NOTNEGATIVE;
int __SELECTED_FEATURE_COMP;
int __SELECTED_FEATURE_OP;
int validProduct() {
if (__SELECTED_FEATURE_FOOBAR_SPL && (!__SELECTED_FEATURE_FOOBAR_SPL || __SELECTED_FEATURE_COMP) && (!__SELECTED_FEATURE_FOOBAR_SPL || __SELECTED_FEATURE_OP) && (!__SELECTED_FEATURE_COMP || __SELECTED_FEATURE_FOOBAR_SPL) && (!__SELECTED_FEATURE_OP || __SELECTED_FEATURE_FOOBAR_SPL) && (!__SELECTED_FEATURE_NOTNEGATIVE || __SELECTED_FEATURE_FOOBAR_SPL) && (!__SELECTED_FEATURE_COMP || __SELECTED_FEATURE_LE || __SELECTED_FEATURE_GR) && (!__SELECTED_FEATURE_LE || __SELECTED_FEATURE_COMP) && (!__SELECTED_FEATURE_GR || __SELECTED_FEATURE_COMP) && (!__SELECTED_FEATURE_LE || !__SELECTED_FEATURE_GR) && (!__SELECTED_FEATURE_OP || __SELECTED_FEATURE_PLUS || __SELECTED_FEATURE_MINUS) && (!__SELECTED_FEATURE_PLUS || __SELECTED_FEATURE_OP) && (!__SELECTED_FEATURE_MINUS || __SELECTED_FEATURE_OP) && (!__SELECTED_FEATURE_PLUS || !__SELECTED_FEATURE_MINUS) && (!__SELECTED_FEATURE_NOTNEGATIVE || __SELECTED_FEATURE_MINUS) && (__SELECTED_FEATURE_LE || __SELECTED_FEATURE_PLUS || __SELECTED_FEATURE_NOTNEGATIVE || __SELECTED_FEATURE_GR || __SELECTED_FEATURE_MINUS || 1)) {
return 1;
}
return 0;
}
;
int foobar ( int x , int y , int z )
{
int a ;
if ( __SELECTED_FEATURE_LE ) {
MUTATION /** UOI **/:if ( (x++) < y )
a = x ;
else a = y ;
}
else if ( __SELECTED_FEATURE_GR ) {
if ( x > y )
a = x ;
else a = y ;
}
if ( __SELECTED_FEATURE_PLUS ) {
z += a ;
}
else if ( __SELECTED_FEATURE_MINUS ) {
if ( __SELECTED_FEATURE_NOTNEGATIVE ) {
if ( ( z - a ) < 0 )
a *= - 1 ;
;
}
z -= a ;
}
return z ;
}
int main() {
int x = input();
int y = input();
int z = input();
__SELECTED_FEATURE_FOOBAR_SPL = __VERIFIER_nondet_int();
__SELECTED_FEATURE_GR = __VERIFIER_nondet_int();
__SELECTED_FEATURE_LE = __VERIFIER_nondet_int();
__SELECTED_FEATURE_MINUS = __VERIFIER_nondet_int();
__SELECTED_FEATURE_NOTNEGATIVE = __VERIFIER_nondet_int();
__SELECTED_FEATURE_PLUS = __VERIFIER_nondet_int();
__SELECTED_FEATURE_COMP = __VERIFIER_nondet_int();
__SELECTED_FEATURE_OP = __VERIFIER_nondet_int();
if (validProduct()) {
foobar(x, y, z);
}
return 0;
}
;