extern void __VERIFIER_error(void); extern int __VERIFIER_nondet_int(void); extern void exit(int); // inputs int d= 4; int f= 6; int a= 1; int e= 5; int c= 3; int b= 2; // outputs int u = 21; int v = 22; int w = 23; int x = 24; int y = 25; int z = 26; int a1 = 1; int a4 = 1; int a0 = 1; int a15 = 1; int a29 = 1; int a10 = 1; int a16 = 1; int a22 = 1; int a2 = 0; int a17 = 0; int a25 = 0; int a7 = 0; int a14 = 0; int a19 = 0; int a20 = 0; int a8 = 0; int a23 = 0; int a21 = 1; int a24 = 1; int a13 = 1; int a9 = 1; int a28 = 1; int a26 = 0; int a6 = 0; int a27 = 1; int a12 = 0; int a3 = 1; int a11 = 0; int a5 = 1; int a18 = 1; int calculate_output(int input) { if((((((a18==1)&&((((a22==1)&&(a4==1))||(a2==1))&&(a0==1)))&&(a11==1))&&(a3==2))&&(!(a8==1)&&(((a5==1)&&((a6==1)&&(((((!(a27==1)&&!(a26==1))&&(a12==1))||(((a26==1)&&(a27==1))&&!(a12==1)))&&(input==5))&&!(a2==1))))&&!(a25==1))))){ if((a18==1)){ a2 = 0; a27 = 1; a25 = 0; a19 = 0; a26 = 1; a11 = 0; a12 = 0; }else{ a12 = 0; a29 = 1; a26 = 1; a27 = 1; a6 = 0; a1 = 1; } return 23; } else if(((((a5==1)&&((a20==1)&&(((!(a26==1)&&(a27==1))||(!(a27==1)&&(a26==1)))&&(input==6))))&&!(a15==1))&&(((a3==2)&&(!(a1==1)&&((a18==1)&&((a19==1)&&(((((a0==1)&&!(a16==1))&&(a12==1))&&(a14==1))&&(a6==1))))))&&!(a11==1)))){ a26 = 1; a3 = 0; a27 = 0; a17 = 1; a25 = 1; a19 = 1; a11 = 1; return -1; } else if(((!(a1==1)||((a10==1)&&((a4==1)&&!(a8==1))))&&((!(a11==1)&&(!(a14==1)&&(((a18==1)&&(!(a12==1)&&((((a3==2)&&(((((a26==1)&&(a27==1))||(!(a26==1)&&(a27==1)))||((a26==1)&&!(a27==1)))&&(input==5)))&&!(a8==1))&&(a16==1))))&&(a6==1))))&&(a5==1)))){ a4 = 1; a26 = 0; a25 = 0; a2 = 0; a27 = 1; return -1; } else if(((((a3==1)&&(!(a6==1)&&((!(a14==1)&&(((input==5)&&!(a26==1))&&(a1==1)))&&!(a8==1))))&&(a27==1))&&(((!(a16==1)||((!(a12==1)&&((a5==1)&&((a29==1)&&!(a25==1))))&&(a18==1)))&&(a10==1))&&!(a11==1)))){ a17 = 0; a1 = 1; a25 = 0; a27 = 0; return 26; } else if(((!(a26==1)&&((a5==1)&&((a18==1)&&(((a4==1)&&!(a11==1))&&!(a6==1)))))&&(((a29==1)&&(!(a23==1)&&(!(a7==1)&&((!(a25==1)&&(((!(a27==1)&&(input==1))&&(a3==1))&&(a10==1)))&&!(a14==1)))))&&!(a12==1)))){ a26 = 1; a11 = 1; a3 = 0; a27 = 1; a6 = 1; a12 = 1;
content may be truncated. 'popout' for larger text window.