// Generated random file with w 4 and h 10 and bs 3
#include <assert.h>

int qrrswwv ;
int zjwdcwa ;
int vuiiwzs ;
int emntcyx ;
int oesehyb ;

void test_main()
{
	qrrswwv = qrrswwv + 64;
	qrrswwv = qrrswwv + vuiiwzs + oesehyb + 64 + qrrswwv;
	emntcyx = emntcyx + qrrswwv + qrrswwv + 36 + emntcyx;
	if ((emntcyx < vuiiwzs - 58 + 58 - 51) && (qrrswwv < vuiiwzs - 49 - zjwdcwa - 96)) {
		qrrswwv = qrrswwv + 38 + 53 + zjwdcwa + emntcyx;
		zjwdcwa = zjwdcwa + vuiiwzs + vuiiwzs + zjwdcwa + 7;
		qrrswwv = qrrswwv + qrrswwv + 36 + zjwdcwa;
		if ((qrrswwv > zjwdcwa + 21 - 37 - 62) && (emntcyx < qrrswwv + oesehyb)) {
		} else {
		}
	} else {
		emntcyx = emntcyx + 40 + 7 + 5;
		while ((vuiiwzs < 70 + oesehyb + 100) && (zjwdcwa < 86 - 33 + zjwdcwa - 17 - qrrswwv)) {
		}
		if ((qrrswwv > vuiiwzs - vuiiwzs + vuiiwzs - 67 - 23)) {
		} else {
		}
	}
	emntcyx = emntcyx + zjwdcwa + 89;
	vuiiwzs = vuiiwzs + 43 + qrrswwv;
	while ((qrrswwv < vuiiwzs + 37 + 100)) {
		if ((emntcyx < 54 + qrrswwv)) {
			zjwdcwa = 48 + 90 + 13 - 12 + emntcyx;
		} else {
			vuiiwzs = vuiiwzs + 15 + 62 - vuiiwzs - 50;
		}
		while ((qrrswwv > emntcyx + zjwdcwa + qrrswwv - qrrswwv + vuiiwzs)) {
			qrrswwv = 62 + 3;
		}
	}
	if ((emntcyx > 69 + qrrswwv - 23) || (zjwdcwa < 44 + emntcyx + vuiiwzs + 77)) {
	} else {
		vuiiwzs = vuiiwzs + 20;
		while ((qrrswwv < 70 + zjwdcwa + emntcyx + 100)) {
			emntcyx = vuiiwzs + vuiiwzs;
		}
	}
	emntcyx = emntcyx + qrrswwv + zjwdcwa + 31;
	if ((emntcyx > 70 - 10 - 61 + emntcyx) || (emntcyx < 68 - 58)) {
		while ((qrrswwv < vuiiwzs + 59 + 21 + vuiiwzs + vuiiwzs + 100)) {
			emntcyx = zjwdcwa + 9 - oesehyb - 86;
		}
		vuiiwzs = vuiiwzs + 12;
		vuiiwzs = vuiiwzs + zjwdcwa + 20 + 33;
		if ((qrrswwv > oesehyb + qrrswwv - zjwdcwa + vuiiwzs + 4) && (emntcyx > oesehyb - 89 + vuiiwzs - zjwdcwa - emntcyx)) {
			qrrswwv = qrrswwv + oesehyb;
		} else {
			zjwdcwa = zjwdcwa + 89;
		}
	} else {
		while ((vuiiwzs < qrrswwv + zjwdcwa + qrrswwv + 100)) {
			vuiiwzs = oesehyb + 23 + emntcyx - qrrswwv + 16;
		}
		if ((vuiiwzs > 25 + qrrswwv + oesehyb)) {
		} else {
			zjwdcwa = zjwdcwa + 30 + qrrswwv + 39 + vuiiwzs;
			zjwdcwa = zjwdcwa + emntcyx + emntcyx;
		}
		while ((vuiiwzs < zjwdcwa + qrrswwv + 9 + 15 + emntcyx + 100)) {
			zjwdcwa = 33 + 96 + qrrswwv;
			qrrswwv = 92 - 71 + 69;
		}
	}
	while ((qrrswwv < zjwdcwa + vuiiwzs + oesehyb + 48 + emntcyx + 100) || (vuiiwzs < 79 + 66)) {
		if ((qrrswwv > qrrswwv + 22 - zjwdcwa - emntcyx) && (vuiiwzs < 57 + zjwdcwa)) {
			vuiiwzs = 98 - qrrswwv;
		} else {
			vuiiwzs = 65 - 84 - qrrswwv + oesehyb;
		}
		if ((vuiiwzs > 72 + 70 - zjwdcwa)) {
			emntcyx = 68 - 52 - emntcyx;
		} else {
			qrrswwv = 97 - 86;
		}
		vuiiwzs = 8 - qrrswwv - 46 - 80 - emntcyx;
		if ((qrrswwv < 46 + 23 - qrrswwv)) {
			vuiiwzs = emntcyx - 87 + qrrswwv;
		} else {
			qrrswwv = 49 + qrrswwv - 39;
		}
	}
	while ((emntcyx < 27 + 36 + 100)) {
		vuiiwzs = 58 + qrrswwv;
		while ((zjwdcwa > oesehyb - 2 + 89 - emntcyx - 91) && (qrrswwv < 30 + emntcyx - 18 - qrrswwv + oesehyb)) {
		}
	}
	while ((zjwdcwa < 67 + 47 + 90 + 95 + 100) && (vuiiwzs > emntcyx - vuiiwzs)) {
		while ((emntcyx < 54 - 93 - qrrswwv + 27 + 91) || (zjwdcwa < emntcyx + emntcyx)) {
			zjwdcwa = qrrswwv + emntcyx - 36;
		}
		while ((vuiiwzs > 15 - 49 - zjwdcwa) && (emntcyx < 59 - emntcyx)) {
			qrrswwv = emntcyx - oesehyb - emntcyx;
		}
	}
	while ((emntcyx < 31 + 66 + 25 + vuiiwzs + vuiiwzs + 100)) {
		zjwdcwa = vuiiwzs + emntcyx;
		while ((qrrswwv < emntcyx - 79 - 9 - vuiiwzs)) {
		}
	}
	emntcyx = emntcyx + oesehyb + 37 + oesehyb;
	if ((qrrswwv > 9 - oesehyb - qrrswwv + emntcyx) || (vuiiwzs > 34 - vuiiwzs - zjwdcwa + 73)) {
		qrrswwv = qrrswwv + zjwdcwa + zjwdcwa;
	} else {
		zjwdcwa = zjwdcwa + 50 + zjwdcwa + oesehyb;
		if ((emntcyx > zjwdcwa + 85 - 37 - 93 - 46) || (qrrswwv < zjwdcwa - qrrswwv - 40 - zjwdcwa + 96)) {
			qrrswwv = qrrswwv + emntcyx + zjwdcwa;
		} else {
			vuiiwzs = vuiiwzs + vuiiwzs + 59 + zjwdcwa + vuiiwzs;
		}
	}
	if ((vuiiwzs > 77 - qrrswwv - 56 - oesehyb) || (qrrswwv > emntcyx - 32 + 41 + 47 + emntcyx)) {
		qrrswwv = qrrswwv + oesehyb + qrrswwv + vuiiwzs;
		while ((emntcyx < 41 + 99 + 100)) {
		}
	} else {
	}
	vuiiwzs = vuiiwzs + qrrswwv + 66;
	while ((emntcyx < qrrswwv + emntcyx + 90 + zjwdcwa + 100) && (emntcyx < zjwdcwa - 5 + oesehyb)) {
		qrrswwv = vuiiwzs - 65 - 99;
		while ((vuiiwzs > emntcyx - 73 - 23)) {
		}
	}
	if ((zjwdcwa > emntcyx - qrrswwv + zjwdcwa + 63 - 64)) {
		while ((vuiiwzs < 7 + zjwdcwa + 97 + vuiiwzs + 100)) {
			emntcyx = 32 + vuiiwzs + 42 + 48 - 15;
		}
		while ((zjwdcwa < vuiiwzs + qrrswwv + 70 + zjwdcwa + 100) && (qrrswwv < emntcyx - emntcyx)) {
			emntcyx = 96 - 89 + 90 + 99;
		}
	} else {
		emntcyx = emntcyx + vuiiwzs + 77 + qrrswwv;
		while ((qrrswwv < 57 + 66 + oesehyb + 100)) {
		}
	}
	while ((vuiiwzs < vuiiwzs + qrrswwv + oesehyb + vuiiwzs + 99 + 100)) {
		while ((qrrswwv > 87 + 57 + qrrswwv - emntcyx)) {
			zjwdcwa = zjwdcwa - 52 + vuiiwzs + qrrswwv;
			qrrswwv = 37 - 86;
		}
		zjwdcwa = 72 + emntcyx - oesehyb + 10;
		if ((qrrswwv < 95 - qrrswwv + 82 - 91)) {
		} else {
			emntcyx = emntcyx - 32 - oesehyb + oesehyb + 30;
			vuiiwzs = emntcyx - 23 - 59;
		}
		while ((vuiiwzs > 65 - 35 - vuiiwzs + zjwdcwa) && (qrrswwv > vuiiwzs + zjwdcwa + 15)) {
		}
	}
	zjwdcwa = zjwdcwa + vuiiwzs + emntcyx + zjwdcwa;
	vuiiwzs = vuiiwzs + qrrswwv;
	if ((qrrswwv < 23 - emntcyx)) {
	} else {
		while ((emntcyx < vuiiwzs + oesehyb + 100) || (vuiiwzs > 24 - vuiiwzs - 82 + qrrswwv)) {
		}
		zjwdcwa = zjwdcwa + qrrswwv + 4;
		qrrswwv = qrrswwv + qrrswwv;
		if ((qrrswwv < 8 - 20 - 76 - 68)) {
			vuiiwzs = vuiiwzs + zjwdcwa + vuiiwzs + 42;
		} else {
			vuiiwzs = vuiiwzs + vuiiwzs + 25 + oesehyb + 15;
			emntcyx = emntcyx + 49 + zjwdcwa + emntcyx;
		}
	}
	while ((emntcyx < zjwdcwa + 47 + 3 + 71 + 100) && (vuiiwzs > emntcyx + 84 - emntcyx)) {
		if ((zjwdcwa < 55 + 16 + zjwdcwa + emntcyx + vuiiwzs)) {
			qrrswwv = vuiiwzs - 87 - zjwdcwa;
		} else {
		}
		qrrswwv = qrrswwv + vuiiwzs + emntcyx - 5 - zjwdcwa;
		while ((qrrswwv < vuiiwzs + 44 + 68 - vuiiwzs - 95) || (vuiiwzs > 39 + qrrswwv - emntcyx + 91 - oesehyb)) {
		}
	}
	if ((zjwdcwa < 99 - 61) || (emntcyx > qrrswwv - 33)) {
	} else {
		vuiiwzs = vuiiwzs + zjwdcwa + 9 + 93 + 7;
		if ((emntcyx < qrrswwv - 36 + 21 - zjwdcwa + 61) && (zjwdcwa > oesehyb - vuiiwzs + vuiiwzs - vuiiwzs + oesehyb)) {
		} else {
		}
	}
	if ((vuiiwzs > 12 + oesehyb - qrrswwv + vuiiwzs + 48) || (zjwdcwa > vuiiwzs + 91 - qrrswwv - zjwdcwa)) {
		while ((zjwdcwa < emntcyx + emntcyx + 100)) {
			qrrswwv = qrrswwv + 31;
		}
		while ((vuiiwzs < oesehyb + zjwdcwa + oesehyb + 100) && (qrrswwv > vuiiwzs - 85 - vuiiwzs - vuiiwzs)) {
		}
	} else {
		if ((vuiiwzs < 83 + zjwdcwa - vuiiwzs - emntcyx - vuiiwzs) || (vuiiwzs < oesehyb - 91 + zjwdcwa - 55 - 44)) {
			vuiiwzs = vuiiwzs + 85 + qrrswwv + 94;
			emntcyx = emntcyx + vuiiwzs;
		} else {
			zjwdcwa = zjwdcwa + qrrswwv + qrrswwv + emntcyx + qrrswwv;
			zjwdcwa = zjwdcwa + 62 + emntcyx + oesehyb;
		}
		vuiiwzs = vuiiwzs + 32 + qrrswwv + 93 + 15;
		if ((qrrswwv > emntcyx + emntcyx - 94 - 73 - qrrswwv) && (vuiiwzs > zjwdcwa - 78)) {
			zjwdcwa = zjwdcwa + 23 + 54 + zjwdcwa;
			zjwdcwa = zjwdcwa + zjwdcwa + 34 + 16 + qrrswwv;
			emntcyx = emntcyx + 76;
		} else {
			vuiiwzs = vuiiwzs + oesehyb + 12 + qrrswwv;
			vuiiwzs = vuiiwzs + qrrswwv + 82;
		}
		while ((qrrswwv < zjwdcwa + vuiiwzs + zjwdcwa + 100) || (vuiiwzs < 32 + 70)) {
			emntcyx = 94 - 78 + 96 - zjwdcwa - vuiiwzs;
		}
	}
	while ((vuiiwzs < 13 + 92 + 100)) {
		while ((zjwdcwa > 0 + 7 + vuiiwzs + emntcyx + 54) || (emntcyx > emntcyx - 87 - 46 + 45)) {
			qrrswwv = 60 + vuiiwzs + qrrswwv;
		}
		while ((qrrswwv > vuiiwzs + 84 - 58) && (qrrswwv < vuiiwzs - zjwdcwa + 34 + 86)) {
			emntcyx = 53 - oesehyb + vuiiwzs + 55;
		}
	}
	vuiiwzs = vuiiwzs + 93 + qrrswwv + oesehyb + 5;
	emntcyx = emntcyx + 78 + 51;
	while ((zjwdcwa < qrrswwv + 47 + 98 + 24 + vuiiwzs + 100)) {
		zjwdcwa = qrrswwv + zjwdcwa;
		while ((zjwdcwa < 52 + qrrswwv + zjwdcwa + zjwdcwa - 85)) {
		}
	}
	while ((vuiiwzs < 62 + zjwdcwa + 26 + qrrswwv + 100)) {
		if ((vuiiwzs > oesehyb - oesehyb) && (qrrswwv > 16 + zjwdcwa - qrrswwv)) {
		} else {
			zjwdcwa = zjwdcwa - qrrswwv - oesehyb - emntcyx - 90;
		}
		while ((zjwdcwa > emntcyx - qrrswwv + 93) || (vuiiwzs < oesehyb - 31 + 78)) {
			zjwdcwa = zjwdcwa - 12 + 79;
		}
		if ((vuiiwzs > emntcyx + 4 + 48 + vuiiwzs - qrrswwv) && (vuiiwzs > 75 - emntcyx)) {
		} else {
			vuiiwzs = oesehyb + 24;
			qrrswwv = vuiiwzs - 12 - 63 + qrrswwv + 74;
			zjwdcwa = 12 - qrrswwv - 28 - 72;
		}
		while ((zjwdcwa < 16 + 46 + 1 - 1 + qrrswwv) || (emntcyx < 99 - zjwdcwa)) {
			vuiiwzs = zjwdcwa - 72 + oesehyb;
			qrrswwv = emntcyx - vuiiwzs + oesehyb + qrrswwv - emntcyx;
			emntcyx = 85 - 62 - 29 + emntcyx;
		}
	}
	emntcyx = emntcyx + 16 + 84 + 38;
	if ((qrrswwv < 39 + vuiiwzs - zjwdcwa - 28)) {
		vuiiwzs = vuiiwzs + 94;
	} else {
	}
	zjwdcwa = zjwdcwa + 15 + 29 + oesehyb + emntcyx;
	while ((emntcyx < 25 + 9 + vuiiwzs + 7 + 100) && (vuiiwzs > zjwdcwa - 32 - 41 - zjwdcwa)) {
		if ((vuiiwzs < oesehyb - 80 + vuiiwzs - oesehyb - oesehyb)) {
			emntcyx = zjwdcwa - 93 - qrrswwv;
		} else {
		}
		if ((emntcyx < 17 - zjwdcwa)) {
		} else {
		}
	}
	while ((qrrswwv < 43 + oesehyb + 100) && (qrrswwv > zjwdcwa - 91)) {
		if ((emntcyx < 25 - qrrswwv - oesehyb - 71)) {
		} else {
		}
		if ((zjwdcwa < oesehyb + 35 + 58 + 14) || (emntcyx > 69 + 20 - 43 + qrrswwv)) {
			vuiiwzs = 48 + vuiiwzs;
		} else {
			emntcyx = emntcyx - emntcyx + 62;
		}
		while ((qrrswwv > oesehyb + 18 - 44 - 36 + 2) || (emntcyx < 61 - 99 + 69)) {
		}
	}
	while ((emntcyx < emntcyx + qrrswwv + 75 + emntcyx + 100) && (qrrswwv > 92 - 19 + 9 + emntcyx)) {
		vuiiwzs = 22 + oesehyb;
		qrrswwv = 49 - 40 - 50;
		if ((zjwdcwa < 78 + zjwdcwa - qrrswwv)) {
			vuiiwzs = vuiiwzs + zjwdcwa - emntcyx + 0;
		} else {
			emntcyx = 93 - 97 - zjwdcwa;
			qrrswwv = vuiiwzs + 87 - emntcyx + 17;
		}
	}
	qrrswwv = qrrswwv + emntcyx;
	if ((vuiiwzs < qrrswwv - emntcyx + vuiiwzs)) {
		while ((zjwdcwa < vuiiwzs + zjwdcwa + 82 + 96 + 40 + 100)) {
		}
		emntcyx = emntcyx + 1;
		zjwdcwa = zjwdcwa + emntcyx + 74;
		while ((emntcyx < 30 + 86 + 14 + qrrswwv + 79 + 100) || (vuiiwzs > 26 + 31 - oesehyb - vuiiwzs - 92)) {
			emntcyx = qrrswwv - 28;
		}
	} else {
		zjwdcwa = zjwdcwa + qrrswwv + zjwdcwa;
		if ((qrrswwv > qrrswwv + vuiiwzs - 47 - 35)) {
		} else {
		}
	}
	assert ((zjwdcwa > qrrswwv + 60 + vuiiwzs + 23 - 72));
	assert ((qrrswwv < 42 - 18));
	assert ((vuiiwzs < oesehyb - zjwdcwa + 47 - 58 + 98) || (emntcyx > vuiiwzs - 45 + 87));
}