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 /** ABS **/:if ( abs(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;
}

;