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