int main() {
int w = 1;
int z = 0;
int x= 0;
int y=0;
while(unknown2()){
if(w) {
x++;
w=!w;
};
if(!z) {
y++;
z=!z;
};
}
if (!(x==y)) return 42;
UFO: goto UFO;
//static_assert(x==y);
}
int main(int argc, char* argv[]) {
RECORD(6, i, j, k, n, t, pvlen);
INIT_j(unknown);
INIT_n(unknown);
INIT_t(unknown);
INIT_pvlen(unknown);
k = 0;
i = 0;
// pkt = pktq->tqh_first;
while (unknown1()) {
PRINT_VARS();
i = i + 1;
}
PRINT_VARS();
PRINT_BAR(1);
if (i > pvlen) {
pvlen = i;
} else {
}
i = 0;
while (unknown2()) {
PRINT_VARS();
t = i;
i = i + 1;
k = k + 1;
}
PRINT_VARS();
PRINT_BAR(2);
while (unknown3()) {
PRINT_VARS();
;
}
PRINT_VARS();
PRINT_BAR(3);
j = 0;
n = i;
assert(k >= 0);
k = k - 1;
i = i - 1;
j = j + 1;
while (j < n) {
PRINT_VARS();
assert(k >= 0);
k = k - 1;
i = i - 1;
j = j + 1;
}
PRINT_VARS();
PRINT_BAR(4);
return 0;
}
int main()
{
int k=1;
int w = 1;
while(unknown1()) {
int z = unknown2();
if(z>5) w++;
k+=w;
}
if (!(k > 0)) {
ERROR:
__VERIFIER_error();
goto ERROR;
}
return 0;
}
void main(){
int i = input();
int pvlen = input();
int t = input();
int k = 0;
int n = input();
int j = input();
i = 0;
// pkt = pktq->tqh_first;
while (unknown1())
i = i + 1;
if (i >= pvlen+1) {
pvlen = i;
} else {
if(i > pvlen)
return;
}
i = 0;
while (unknown2()) {
t = i;
i = i + 1;
k = k +1;
}
while (unknown3());
j = 0;
n = i;
while (1) {
if (!(k > -1)) {
ERROR:
__VERIFIER_error();
goto ERROR;
}
k = k -1;
i = i - 1;
j = j + 1;
if (j <= n-1) {
} else {
break;
}
}
}
int main(int argc, char * argv[]) {
RECORD(6, a, b, i, j, k, flag);
INIT_a(unknown);
INIT_b(unknown);
INIT_k(unknown);
INIT_flag(unknown);
j = 1;
if (flag != 0) {
i = 0;
} else {
i = 1;
}
while (unknown1()) {
PRINT_VARS();
i += 2;
if (i % 2 == 0) {
j += 2;
} else
j++;
}
PRINT_VARS();
PRINT_BAR(1);
a = 0;
b = 0;
while (unknown2()) {
PRINT_VARS();
a++;
b += (j - i);
}
PRINT_VARS();
PRINT_BAR(2);
if (flag != 0) assert(a == b);
}
int main()
{
int flag = unknown1();
int t = 0;
int s = 0;
int a = 0;
int b = 0;
int x = unknown1();
int y = unknown1();
while(unknown1()){
a++;
b++;
s+=a;
t+=b;
if(flag){
t+=a;
}
t = t;
}
//2s >= t
x = 1;
if(flag){
x = t-2*s+2;
}
//x <= 2
y = 0;
while(y<=x){
if(unknown2())
y++;
else
y+=2;
y = y;
}
if (!(y < 5)) {
ERROR:
__VERIFIER_error();
goto ERROR;
}
}
