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

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

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